src/symboltablebuilder/TypeChain.cpp
| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | // Copyright (c) 2021-2026 ChilliBits. All rights reserved. | ||
| 2 | |||
| 3 | #include "TypeChain.h" | ||
| 4 | |||
| 5 | #include <exception/CompilerError.h> | ||
| 6 | #include <global/TypeNameDisambiguator.h> | ||
| 7 | |||
| 8 | namespace spice::compiler { | ||
| 9 | |||
| 10 | 2105700809 | bool operator==(const TypeChainElement &lhs, const TypeChainElement &rhs) { | |
| 11 | // Check super type | ||
| 12 |
2/2✓ Branch 2 → 3 taken 1433655 times.
✓ Branch 2 → 4 taken 2104267154 times.
|
2105700809 | if (lhs.superType != rhs.superType) |
| 13 | 1433655 | return false; | |
| 14 | |||
| 15 | // Check data | ||
| 16 |
8/8✓ Branch 4 → 5 taken 22186 times.
✓ Branch 4 → 6 taken 1983321593 times.
✓ Branch 4 → 16 taken 1939707 times.
✓ Branch 4 → 17 taken 208 times.
✓ Branch 4 → 27 taken 27549 times.
✓ Branch 4 → 36 taken 8645973 times.
✓ Branch 4 → 50 taken 17361149 times.
✓ Branch 4 → 51 taken 92948789 times.
|
2104267154 | switch (lhs.superType) { |
| 17 | 22186 | case TY_ARRAY: | |
| 18 | 22186 | return lhs.data.arraySize == rhs.data.arraySize; | |
| 19 | 1983321593 | case TY_STRUCT: | |
| 20 |
2/4✓ Branch 6 → 7 taken 1983321593 times.
✗ Branch 6 → 9 not taken.
✓ Branch 7 → 8 taken 1983321593 times.
✗ Branch 7 → 9 not taken.
|
1983321593 | assert(lhs.data.bodyScope != nullptr && rhs.data.bodyScope != nullptr); |
| 21 |
4/4✓ Branch 10 → 11 taken 1982810735 times.
✓ Branch 10 → 14 taken 510858 times.
✓ Branch 12 → 13 taken 1982809173 times.
✓ Branch 12 → 14 taken 1562 times.
|
1983321593 | return lhs.typeId == rhs.typeId && lhs.templateTypes == rhs.templateTypes; |
| 22 | 1939707 | case TY_INTERFACE: | |
| 23 | 1939707 | return lhs.typeId == rhs.typeId; | |
| 24 | 208 | case TY_UNION: | |
| 25 |
2/4✓ Branch 17 → 18 taken 208 times.
✗ Branch 17 → 20 not taken.
✓ Branch 18 → 19 taken 208 times.
✗ Branch 18 → 20 not taken.
|
208 | assert(lhs.data.bodyScope != nullptr && rhs.data.bodyScope != nullptr); |
| 26 |
2/4✓ Branch 21 → 22 taken 208 times.
✗ Branch 21 → 25 not taken.
✓ Branch 23 → 24 taken 208 times.
✗ Branch 23 → 25 not taken.
|
208 | return lhs.typeId == rhs.typeId && lhs.templateTypes == rhs.templateTypes; |
| 27 | 27549 | case TY_ENUM: | |
| 28 |
2/4✓ Branch 27 → 28 taken 27549 times.
✗ Branch 27 → 30 not taken.
✓ Branch 28 → 29 taken 27549 times.
✗ Branch 28 → 30 not taken.
|
27549 | assert(lhs.data.bodyScope != nullptr && rhs.data.bodyScope != nullptr); |
| 29 |
2/4✓ Branch 31 → 32 taken 27549 times.
✗ Branch 31 → 34 not taken.
✓ Branch 32 → 33 taken 27549 times.
✗ Branch 32 → 34 not taken.
|
27549 | return lhs.typeId == rhs.typeId && lhs.data.bodyScope == rhs.data.bodyScope; |
| 30 | 8645973 | case TY_FUNCTION: // fall-through | |
| 31 | case TY_PROCEDURE: | ||
| 32 |
1/2✗ Branch 38 → 39 not taken.
✓ Branch 38 → 40 taken 8645973 times.
|
8645973 | if (lhs.paramTypes.size() != rhs.paramTypes.size()) |
| 33 | ✗ | return false; | |
| 34 |
2/2✓ Branch 48 → 41 taken 13186374 times.
✓ Branch 48 → 49 taken 8645795 times.
|
21832169 | for (size_t i = 0; i < lhs.paramTypes.size(); i++) |
| 35 |
2/2✓ Branch 44 → 45 taken 178 times.
✓ Branch 44 → 46 taken 13186196 times.
|
13186374 | if (lhs.paramTypes.at(i) != rhs.paramTypes.at(i)) |
| 36 | 178 | return false; | |
| 37 | 8645795 | return true; | |
| 38 | 17361149 | case TY_GENERIC: | |
| 39 | 17361149 | return lhs.subType == rhs.subType; | |
| 40 | 92948789 | default: | |
| 41 | 92948789 | return true; | |
| 42 | } | ||
| 43 | } | ||
| 44 | |||
| 45 | 6017183 | bool operator!=(const TypeChainElement &lhs, const TypeChainElement &rhs) { return !(lhs == rhs); } | |
| 46 | |||
| 47 | 80863907 | void TypeChainElement::getName(std::stringstream &name, bool withSize, bool ignorePublic, bool withAliases) const { | |
| 48 |
19/21✓ Branch 2 → 3 taken 12274368 times.
✓ Branch 2 → 4 taken 8406480 times.
✓ Branch 2 → 6 taken 48301 times.
✓ Branch 2 → 15 taken 68538 times.
✓ Branch 2 → 17 taken 2301534 times.
✓ Branch 2 → 19 taken 71542 times.
✓ Branch 2 → 21 taken 6102261 times.
✓ Branch 2 → 23 taken 1210116 times.
✓ Branch 2 → 25 taken 275723 times.
✓ Branch 2 → 27 taken 891929 times.
✓ Branch 2 → 32 taken 2126674 times.
✓ Branch 2 → 34 taken 23639422 times.
✓ Branch 2 → 51 taken 31899 times.
✓ Branch 2 → 55 taken 11366624 times.
✓ Branch 2 → 57 taken 836 times.
✓ Branch 2 → 59 taken 3691635 times.
✓ Branch 2 → 79 taken 4191372 times.
✓ Branch 2 → 93 taken 247801 times.
✗ Branch 2 → 95 not taken.
✓ Branch 2 → 97 taken 3916852 times.
✗ Branch 2 → 99 not taken.
|
80863907 | switch (superType) { |
| 49 | 12274368 | case TY_PTR: | |
| 50 | 12274368 | name << "*"; | |
| 51 | 12274368 | break; | |
| 52 | 8406480 | case TY_REF: | |
| 53 | 8406480 | name << "&"; | |
| 54 | 8406480 | break; | |
| 55 | 48301 | case TY_ARRAY: | |
| 56 | 48301 | name << "["; | |
| 57 |
4/4✓ Branch 7 → 8 taken 45928 times.
✓ Branch 7 → 13 taken 2373 times.
✓ Branch 8 → 9 taken 36772 times.
✓ Branch 8 → 13 taken 9156 times.
|
48301 | if (withSize && data.arraySize != ARRAY_SIZE_UNKNOWN) |
| 58 |
1/2✓ Branch 10 → 11 taken 36772 times.
✗ Branch 10 → 109 not taken.
|
36772 | name << std::to_string(data.arraySize); |
| 59 | 48301 | name << "]"; | |
| 60 | 48301 | break; | |
| 61 | 68538 | case TY_DOUBLE: | |
| 62 | 68538 | name << "double"; | |
| 63 | 68538 | break; | |
| 64 | 2301534 | case TY_INT: | |
| 65 | 2301534 | name << "int"; | |
| 66 | 2301534 | break; | |
| 67 | 71542 | case TY_SHORT: | |
| 68 | 71542 | name << "short"; | |
| 69 | 71542 | break; | |
| 70 | 6102261 | case TY_LONG: | |
| 71 | 6102261 | name << "long"; | |
| 72 | 6102261 | break; | |
| 73 | 1210116 | case TY_BYTE: | |
| 74 | 1210116 | name << "byte"; | |
| 75 | 1210116 | break; | |
| 76 | 275723 | case TY_CHAR: | |
| 77 | 275723 | name << "char"; | |
| 78 | 275723 | break; | |
| 79 | 891929 | case TY_STRING: | |
| 80 |
2/2✓ Branch 27 → 28 taken 726746 times.
✓ Branch 27 → 29 taken 165183 times.
|
891929 | name << (withAliases ? "string" : "const char*"); |
| 81 | 891929 | break; | |
| 82 | 2126674 | case TY_BOOL: | |
| 83 | 2126674 | name << "bool"; | |
| 84 | 2126674 | break; | |
| 85 | 23639422 | case TY_STRUCT: // fall-through | |
| 86 | case TY_INTERFACE: | ||
| 87 | case TY_UNION: | ||
| 88 |
2/4✓ Branch 35 → 36 taken 23639422 times.
✗ Branch 35 → 114 not taken.
✓ Branch 36 → 37 taken 23639422 times.
✗ Branch 36 → 112 not taken.
|
23639422 | name << subType << TypeNameDisambiguator::getDisambiguationSuffix(subType, typeId); |
| 89 |
2/2✓ Branch 39 → 40 taken 11912455 times.
✓ Branch 39 → 50 taken 11726967 times.
|
23639422 | if (!templateTypes.empty()) { |
| 90 | 11912455 | name << "<"; | |
| 91 |
2/2✓ Branch 48 → 42 taken 15214820 times.
✓ Branch 48 → 49 taken 11912455 times.
|
27127275 | for (size_t i = 0; i < templateTypes.size(); i++) { |
| 92 |
2/2✓ Branch 42 → 43 taken 3302365 times.
✓ Branch 42 → 44 taken 11912455 times.
|
15214820 | if (i > 0) |
| 93 | 3302365 | name << ","; | |
| 94 | 15214820 | templateTypes.at(i).getName(name, withSize, ignorePublic); | |
| 95 | } | ||
| 96 | 11912455 | name << ">"; | |
| 97 | } | ||
| 98 | 23639422 | break; | |
| 99 | 31899 | case TY_ENUM: | |
| 100 | 31899 | name << "enum(" << subType << ")"; | |
| 101 | 31899 | break; | |
| 102 | 11366624 | case TY_GENERIC: // fall-through | |
| 103 | case TY_ALIAS: | ||
| 104 | 11366624 | name << subType; | |
| 105 | 11366624 | break; | |
| 106 | 836 | case TY_DYN: | |
| 107 | 836 | name << "dyn"; | |
| 108 | 836 | break; | |
| 109 | 3691635 | case TY_FUNCTION: { | |
| 110 | 3691635 | name << "f"; | |
| 111 |
2/2✓ Branch 60 → 61 taken 54 times.
✓ Branch 60 → 62 taken 3691581 times.
|
3691635 | if (data.hasCaptures) |
| 112 | 54 | name << "[]"; | |
| 113 |
2/2✓ Branch 63 → 64 taken 3690800 times.
✓ Branch 63 → 68 taken 835 times.
|
3691635 | if (!paramTypes.empty()) { |
| 114 | 3690800 | name << "<"; | |
| 115 | 3690800 | paramTypes.front().getName(name, true, ignorePublic); | |
| 116 | 3690800 | name << ">"; | |
| 117 | } | ||
| 118 | 3691635 | name << "("; | |
| 119 |
2/2✓ Branch 76 → 70 taken 1605995 times.
✓ Branch 76 → 77 taken 3691635 times.
|
5297630 | for (size_t i = 1; i < paramTypes.size(); i++) { |
| 120 |
2/2✓ Branch 70 → 71 taken 482510 times.
✓ Branch 70 → 72 taken 1123485 times.
|
1605995 | if (i > 1) |
| 121 | 482510 | name << ","; | |
| 122 | 1605995 | paramTypes.at(i).getName(name, true, ignorePublic); | |
| 123 | } | ||
| 124 | 3691635 | name << ")"; | |
| 125 | 3691635 | break; | |
| 126 | } | ||
| 127 | 4191372 | case TY_PROCEDURE: { | |
| 128 | 4191372 | name << "p"; | |
| 129 |
2/2✓ Branch 80 → 81 taken 5716 times.
✓ Branch 80 → 82 taken 4185656 times.
|
4191372 | if (data.hasCaptures) |
| 130 | 5716 | name << "[]"; | |
| 131 | 4191372 | name << "("; | |
| 132 |
2/2✓ Branch 90 → 84 taken 3512499 times.
✓ Branch 90 → 91 taken 4191372 times.
|
7703871 | for (size_t i = 1; i < paramTypes.size(); i++) { |
| 133 |
2/2✓ Branch 84 → 85 taken 672611 times.
✓ Branch 84 → 86 taken 2839888 times.
|
3512499 | if (i > 1) |
| 134 | 672611 | name << ","; | |
| 135 | 3512499 | paramTypes.at(i).getName(name, true, ignorePublic); | |
| 136 | } | ||
| 137 | 4191372 | name << ")"; | |
| 138 | 4191372 | break; | |
| 139 | } | ||
| 140 | 247801 | case TY_IMPORT: | |
| 141 | 247801 | name << "import"; | |
| 142 | 247801 | break; | |
| 143 | ✗ | case TY_UNRESOLVED: | |
| 144 | ✗ | name << "unresolved"; | |
| 145 | ✗ | break; | |
| 146 | − | case TY_INVALID: // GCOV_EXCL_LINE | |
| 147 | − | name << "invalid"; // GCOV_EXCL_LINE | |
| 148 | − | break; // GCOV_EXCL_LINE | |
| 149 | − | default: // GCOV_EXCL_LINE | |
| 150 | − | throw CompilerError(INTERNAL_ERROR, "Could not get name of this type chain element"); // GCOV_EXCL_LINE | |
| 151 | } | ||
| 152 | 80863907 | } | |
| 153 | |||
| 154 | /** | ||
| 155 | * Return the type name as string | ||
| 156 | * | ||
| 157 | * @param withSize Also encode array sizes | ||
| 158 | * @param ignorePublic Ignore public qualifier | ||
| 159 | * @param withAliases Print aliases as is and not decompose them | ||
| 160 | * @return Name as string | ||
| 161 | */ | ||
| 162 | 80863907 | std::string TypeChainElement::getName(bool withSize, bool ignorePublic, bool withAliases) const { | |
| 163 |
1/2✓ Branch 2 → 3 taken 80863907 times.
✗ Branch 2 → 11 not taken.
|
80863907 | std::stringstream name; |
| 164 |
1/2✓ Branch 3 → 4 taken 80863907 times.
✗ Branch 3 → 9 not taken.
|
80863907 | getName(name, withSize, ignorePublic, withAliases); |
| 165 |
1/2✓ Branch 4 → 5 taken 80863907 times.
✗ Branch 4 → 9 not taken.
|
161727814 | return name.str(); |
| 166 | 80863907 | } | |
| 167 | |||
| 168 | } // namespace spice::compiler | ||
| 169 |