| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | // Copyright (c) 2021-2025 ChilliBits. All rights reserved. | ||
| 2 | |||
| 3 | #include "TypeChain.h" | ||
| 4 | |||
| 5 | #include <exception/CompilerError.h> | ||
| 6 | |||
| 7 | namespace spice::compiler { | ||
| 8 | |||
| 9 | 6172130 | bool operator==(const TypeChainElement &lhs, const TypeChainElement &rhs) { | |
| 10 | // Check super type | ||
| 11 |
2/2✓ Branch 2 → 3 taken 31013 times.
✓ Branch 2 → 4 taken 6141117 times.
|
6172130 | if (lhs.superType != rhs.superType) |
| 12 | 31013 | return false; | |
| 13 | |||
| 14 | // Check data | ||
| 15 |
7/7✓ Branch 4 → 5 taken 459 times.
✓ Branch 4 → 6 taken 558761 times.
✓ Branch 4 → 16 taken 12436 times.
✓ Branch 4 → 17 taken 72 times.
✓ Branch 4 → 26 taken 78740 times.
✓ Branch 4 → 40 taken 183179 times.
✓ Branch 4 → 41 taken 5307470 times.
|
6141117 | switch (lhs.superType) { |
| 16 | 459 | case TY_ARRAY: | |
| 17 | 459 | return lhs.data.arraySize == rhs.data.arraySize; | |
| 18 | 558761 | case TY_STRUCT: | |
| 19 |
2/4✓ Branch 6 → 7 taken 558761 times.
✗ Branch 6 → 9 not taken.
✓ Branch 7 → 8 taken 558761 times.
✗ Branch 7 → 9 not taken.
|
558761 | assert(lhs.data.bodyScope != nullptr && rhs.data.bodyScope != nullptr); |
| 20 |
4/4✓ Branch 10 → 11 taken 557736 times.
✓ Branch 10 → 14 taken 1025 times.
✓ Branch 12 → 13 taken 557719 times.
✓ Branch 12 → 14 taken 17 times.
|
558761 | return lhs.typeId == rhs.typeId && lhs.templateTypes == rhs.templateTypes; |
| 21 | 12436 | case TY_INTERFACE: | |
| 22 | 12436 | return lhs.typeId == rhs.typeId; | |
| 23 | 72 | case TY_ENUM: | |
| 24 |
2/4✓ Branch 17 → 18 taken 72 times.
✗ Branch 17 → 20 not taken.
✓ Branch 18 → 19 taken 72 times.
✗ Branch 18 → 20 not taken.
|
72 | assert(lhs.data.bodyScope != nullptr && rhs.data.bodyScope != nullptr); |
| 25 |
2/4✓ Branch 21 → 22 taken 72 times.
✗ Branch 21 → 24 not taken.
✓ Branch 22 → 23 taken 72 times.
✗ Branch 22 → 24 not taken.
|
72 | return lhs.typeId == rhs.typeId && lhs.data.bodyScope == rhs.data.bodyScope; |
| 26 | 78740 | case TY_FUNCTION: // fall-through | |
| 27 | case TY_PROCEDURE: | ||
| 28 |
1/2✗ Branch 28 → 29 not taken.
✓ Branch 28 → 30 taken 78740 times.
|
78740 | if (lhs.paramTypes.size() != rhs.paramTypes.size()) |
| 29 | ✗ | return false; | |
| 30 |
2/2✓ Branch 38 → 31 taken 100515 times.
✓ Branch 38 → 39 taken 78738 times.
|
179253 | for (size_t i = 0; i < lhs.paramTypes.size(); i++) |
| 31 |
2/2✓ Branch 34 → 35 taken 2 times.
✓ Branch 34 → 36 taken 100513 times.
|
100515 | if (lhs.paramTypes.at(i) != rhs.paramTypes.at(i)) |
| 32 | 2 | return false; | |
| 33 | 78738 | return true; | |
| 34 | 183179 | case TY_GENERIC: | |
| 35 | 183179 | return lhs.subType == rhs.subType; | |
| 36 | 5307470 | default: | |
| 37 | 5307470 | return true; | |
| 38 | } | ||
| 39 | } | ||
| 40 | |||
| 41 | 104983 | bool operator!=(const TypeChainElement &lhs, const TypeChainElement &rhs) { return !(lhs == rhs); } | |
| 42 | |||
| 43 | 560687 | void TypeChainElement::getName(std::stringstream &name, bool withSize, bool ignorePublic) const { | |
| 44 |
19/20✓ Branch 2 → 3 taken 52629 times.
✓ Branch 2 → 4 taken 62505 times.
✓ Branch 2 → 6 taken 489 times.
✓ Branch 2 → 20 taken 2470 times.
✓ Branch 2 → 22 taken 31961 times.
✓ Branch 2 → 24 taken 2917 times.
✓ Branch 2 → 26 taken 46357 times.
✓ Branch 2 → 28 taken 14349 times.
✓ Branch 2 → 30 taken 25856 times.
✓ Branch 2 → 32 taken 31609 times.
✓ Branch 2 → 34 taken 34353 times.
✓ Branch 2 → 36 taken 104163 times.
✓ Branch 2 → 50 taken 133 times.
✓ Branch 2 → 54 taken 81484 times.
✓ Branch 2 → 56 taken 169 times.
✓ Branch 2 → 58 taken 30977 times.
✓ Branch 2 → 78 taken 20072 times.
✓ Branch 2 → 92 taken 1418 times.
✓ Branch 2 → 94 taken 16776 times.
✗ Branch 2 → 96 not taken.
|
560687 | switch (superType) { |
| 45 | 52629 | case TY_PTR: | |
| 46 | 52629 | name << "*"; | |
| 47 | 52629 | break; | |
| 48 | 62505 | case TY_REF: | |
| 49 | 62505 | name << "&"; | |
| 50 | 62505 | break; | |
| 51 | 489 | case TY_ARRAY: | |
| 52 |
9/14✓ Branch 7 → 8 taken 235 times.
✓ Branch 7 → 10 taken 254 times.
✓ Branch 8 → 9 taken 113 times.
✓ Branch 8 → 10 taken 122 times.
✓ Branch 12 → 13 taken 376 times.
✗ Branch 12 → 108 not taken.
✓ Branch 13 → 14 taken 489 times.
✗ Branch 13 → 106 not taken.
✓ Branch 14 → 15 taken 489 times.
✗ Branch 14 → 106 not taken.
✓ Branch 16 → 17 taken 376 times.
✓ Branch 16 → 19 taken 113 times.
✗ Branch 108 → 109 not taken.
✗ Branch 108 → 111 not taken.
|
865 | name << "[" << (withSize && data.arraySize != ARRAY_SIZE_UNKNOWN ? std::to_string(data.arraySize) : "") << "]"; |
| 53 | 489 | break; | |
| 54 | 2470 | case TY_DOUBLE: | |
| 55 | 2470 | name << "double"; | |
| 56 | 2470 | break; | |
| 57 | 31961 | case TY_INT: | |
| 58 | 31961 | name << "int"; | |
| 59 | 31961 | break; | |
| 60 | 2917 | case TY_SHORT: | |
| 61 | 2917 | name << "short"; | |
| 62 | 2917 | break; | |
| 63 | 46357 | case TY_LONG: | |
| 64 | 46357 | name << "long"; | |
| 65 | 46357 | break; | |
| 66 | 14349 | case TY_BYTE: | |
| 67 | 14349 | name << "byte"; | |
| 68 | 14349 | break; | |
| 69 | 25856 | case TY_CHAR: | |
| 70 | 25856 | name << "char"; | |
| 71 | 25856 | break; | |
| 72 | 31609 | case TY_STRING: | |
| 73 | 31609 | name << "string"; | |
| 74 | 31609 | break; | |
| 75 | 34353 | case TY_BOOL: | |
| 76 | 34353 | name << "bool"; | |
| 77 | 34353 | break; | |
| 78 | 104163 | case TY_STRUCT: // fall-through | |
| 79 | case TY_INTERFACE: | ||
| 80 | 104163 | name << subType; | |
| 81 |
2/2✓ Branch 38 → 39 taken 52111 times.
✓ Branch 38 → 49 taken 52052 times.
|
104163 | if (!templateTypes.empty()) { |
| 82 | 52111 | name << "<"; | |
| 83 |
2/2✓ Branch 47 → 41 taken 72387 times.
✓ Branch 47 → 48 taken 52111 times.
|
124498 | for (size_t i = 0; i < templateTypes.size(); i++) { |
| 84 |
2/2✓ Branch 41 → 42 taken 20276 times.
✓ Branch 41 → 43 taken 52111 times.
|
72387 | if (i > 0) |
| 85 | 20276 | name << ","; | |
| 86 | 72387 | templateTypes.at(i).getName(name, withSize, ignorePublic); | |
| 87 | } | ||
| 88 | 52111 | name << ">"; | |
| 89 | } | ||
| 90 | 104163 | break; | |
| 91 | 133 | case TY_ENUM: | |
| 92 | 133 | name << "enum(" << subType << ")"; | |
| 93 | 133 | break; | |
| 94 | 81484 | case TY_GENERIC: // fall-through | |
| 95 | case TY_ALIAS: | ||
| 96 | 81484 | name << subType; | |
| 97 | 81484 | break; | |
| 98 | 169 | case TY_DYN: | |
| 99 | 169 | name << "dyn"; | |
| 100 | 169 | break; | |
| 101 | 30977 | case TY_FUNCTION: { | |
| 102 | 30977 | name << "f"; | |
| 103 |
2/2✓ Branch 59 → 60 taken 12 times.
✓ Branch 59 → 61 taken 30965 times.
|
30977 | if (data.hasCaptures) |
| 104 | 12 | name << "[]"; | |
| 105 |
2/2✓ Branch 62 → 63 taken 30773 times.
✓ Branch 62 → 67 taken 204 times.
|
30977 | if (!paramTypes.empty()) { |
| 106 | 30773 | name << "<"; | |
| 107 | 30773 | paramTypes.front().getName(name, true, ignorePublic); | |
| 108 | 30773 | name << ">"; | |
| 109 | } | ||
| 110 | 30977 | name << "("; | |
| 111 |
2/2✓ Branch 75 → 69 taken 29804 times.
✓ Branch 75 → 76 taken 30977 times.
|
60781 | for (size_t i = 1; i < paramTypes.size(); i++) { |
| 112 |
2/2✓ Branch 69 → 70 taken 11246 times.
✓ Branch 69 → 71 taken 18558 times.
|
29804 | if (i > 1) |
| 113 | 11246 | name << ","; | |
| 114 | 29804 | paramTypes.at(i).getName(name, true, ignorePublic); | |
| 115 | } | ||
| 116 | 30977 | name << ")"; | |
| 117 | 30977 | break; | |
| 118 | } | ||
| 119 | 20072 | case TY_PROCEDURE: { | |
| 120 | 20072 | name << "p"; | |
| 121 |
2/2✓ Branch 79 → 80 taken 26 times.
✓ Branch 79 → 81 taken 20046 times.
|
20072 | if (data.hasCaptures) |
| 122 | 26 | name << "[]"; | |
| 123 | 20072 | name << "("; | |
| 124 |
2/2✓ Branch 89 → 83 taken 19580 times.
✓ Branch 89 → 90 taken 20072 times.
|
39652 | for (size_t i = 1; i < paramTypes.size(); i++) { |
| 125 |
2/2✓ Branch 83 → 84 taken 5094 times.
✓ Branch 83 → 85 taken 14486 times.
|
19580 | if (i > 1) |
| 126 | 5094 | name << ","; | |
| 127 | 19580 | paramTypes.at(i).getName(name, true, ignorePublic); | |
| 128 | } | ||
| 129 | 20072 | name << ")"; | |
| 130 | 20072 | break; | |
| 131 | } | ||
| 132 | 1418 | case TY_IMPORT: | |
| 133 | 1418 | name << "import"; | |
| 134 | 1418 | break; | |
| 135 | − | case TY_INVALID: // GCOV_EXCL_LINE | |
| 136 | − | name << "invalid"; // GCOV_EXCL_LINE | |
| 137 | 16776 | break; | |
| 138 | ✗ | default: | |
| 139 | ✗ | throw CompilerError(INTERNAL_ERROR, "Could not get name of this type chain element"); | |
| 140 | } | ||
| 141 | 560687 | } | |
| 142 | |||
| 143 | /** | ||
| 144 | * Return the type name as string | ||
| 145 | * | ||
| 146 | * @param withSize Also encode array sizes | ||
| 147 | * @param ignorePublic Ignore public qualifier | ||
| 148 | * @return Name as string | ||
| 149 | */ | ||
| 150 | 560687 | std::string TypeChainElement::getName(bool withSize, bool ignorePublic) const { | |
| 151 |
1/2✓ Branch 2 → 3 taken 560687 times.
✗ Branch 2 → 11 not taken.
|
560687 | std::stringstream name; |
| 152 |
1/2✓ Branch 3 → 4 taken 560687 times.
✗ Branch 3 → 9 not taken.
|
560687 | getName(name, withSize, ignorePublic); |
| 153 |
1/2✓ Branch 4 → 5 taken 560687 times.
✗ Branch 4 → 9 not taken.
|
1121374 | return name.str(); |
| 154 | 560687 | } | |
| 155 | |||
| 156 | } // namespace spice::compiler | ||
| 157 |