GCC Code Coverage Report

Directory: ../
Coverage: low: ≥ 0% medium: ≥ 75.0% high: ≥ 90.0%
Coverage Exec / Excl / Total
Lines: 100.0% 74 / 6 / 80
Functions: 100.0% 7 / 0 / 7
Branches: 83.3% 55 / 12 / 78
src/symboltablebuilder/TypeQualifiers.cpp
Line Branch Exec Source
1 // Copyright (c) 2021-2026 ChilliBits. All rights reserved.
2
3 #include "TypeQualifiers.h"
4
5 #include <exception/CompilerError.h>
6 #include <symboltablebuilder/TypeChain.h>
7
8 namespace spice::compiler {
9
10 /**
11 * Get default type qualifiers for a given super type
12 *
13 * @param superType Super type
14 * @return Default type qualifiers
15 */
16 5545060 TypeQualifiers TypeQualifiers::of(uint16_t superType) {
17
5/6
✓ Branch 2 → 3 taken 490497 times.
✓ Branch 2 → 5 taken 1443502 times.
✓ Branch 2 → 7 taken 391394 times.
✓ Branch 2 → 9 taken 11490 times.
✓ Branch 2 → 11 taken 3208177 times.
✗ Branch 2 → 13 not taken.
 5545060 switch (superType) {
18 490497 case TY_DOUBLE: // fall-through
19 case TY_INT: // fall-through
20 case TY_SHORT: // fall-through
21 case TY_LONG:
22 490497 return {/*const*/ false, /*signed*/ true, /*unsigned*/ false};
23 1443502 case TY_BYTE: // fall-through
24 case TY_CHAR: // fall-through
25 case TY_STRING: // fall-through
26 case TY_BOOL: // fall-through
27 case TY_PTR: // fall-through
28 case TY_REF: // fall-through
29 case TY_ARRAY: // fall-through
30 case TY_STRUCT: // fall-through
31 case TY_INTERFACE: // fall-through
32 case TY_FUNCTION: // fall-through
33 case TY_PROCEDURE:
34 1443502 return {/*const*/ false, /*signed*/ false, /*unsigned*/ true};
35 391394 case TY_GENERIC:
36 // Generics must be non-signed and non-unsigned at the same time to ensure a proper function matching
37 391394 return {/*const*/ false, /*signed*/ false, /*unsigned*/ false};
38 11490 case TY_ENUM: // fall-through
39 case TY_ALIAS: // fall-through
40 case TY_IMPORT:
41 11490 return {/*const*/ true, /*signed*/ false, /*unsigned*/ true};
42 3208177 case TY_DYN: // fall-through
43 case TY_INVALID: // fall-through
44 case TY_UNRESOLVED:
45 // Return all-false qualifiers to not match anything
46 3208177 return {/*const*/ false, /*signed*/ false, /*unsigned*/ false};
47 − default: // GCOV_EXCL_LINE
48 − throw CompilerError(UNHANDLED_BRANCH, "Symbol qualifier fallthrough"); // GCOV_EXCL_LINE
49 }
50 }
51
52 /**
53 * Merge two sets of type qualifiers. If possible, prefer the opposite of the default of the super type
54 *
55 * @param other Other type qualifiers object
56 * @return Merged qualifiers object
57 */
58 80163 TypeQualifiers TypeQualifiers::merge(const TypeQualifiers &other) const {
59 80163 TypeQualifiers result;
60
6/8
✓ Branch 2 → 3 taken 80163 times.
✗ Branch 2 → 23 not taken.
✓ Branch 3 → 4 taken 77572 times.
✓ Branch 3 → 7 taken 2591 times.
✓ Branch 4 → 5 taken 77572 times.
✗ Branch 4 → 23 not taken.
✓ Branch 5 → 6 taken 70398 times.
✓ Branch 5 → 7 taken 7174 times.
 80163 const bool isGeneric = !getBit(BIT_INDEX_SIGNED) && !getBit(BIT_INDEX_UNSIGNED);
61
2/2
✓ Branch 20 → 9 taken 561141 times.
✓ Branch 20 → 21 taken 80163 times.
 641304 for (uint8_t i = 0; i <= BIT_INDEX_MAX; i++) {
62
1/2
✓ Branch 9 → 10 taken 561141 times.
✗ Branch 9 → 23 not taken.
 561141 const bool x = getBit(i);
63
1/2
✓ Branch 10 → 11 taken 561141 times.
✗ Branch 10 → 23 not taken.
 561141 const bool y = other.getBit(i);
64
65
4/4
✓ Branch 11 → 12 taken 480978 times.
✓ Branch 11 → 13 taken 80163 times.
✓ Branch 12 → 13 taken 80163 times.
✓ Branch 12 → 18 taken 400815 times.
 561141 if (i == BIT_INDEX_SIGNED || i == BIT_INDEX_UNSIGNED) {
66
3/4
✓ Branch 13 → 14 taken 140796 times.
✓ Branch 13 → 15 taken 19530 times.
✓ Branch 16 → 17 taken 160326 times.
✗ Branch 16 → 23 not taken.
 160326 result.setBit(i, isGeneric ? y : x);
67 } else {
68
1/2
✓ Branch 18 → 19 taken 400815 times.
✗ Branch 18 → 23 not taken.
 400815 result.setBit(i, x | y);
69 }
70 }
71 80163 return result;
72 }
73
74 /**
75 * Check if two sets of type qualifiers match
76 *
77 * @param other The rhs qualifiers
78 * @param allowConstify Match when the types are the same, but the lhs type is more const restrictive than the rhs type
79 * @return Matching or not
80 */
81 58574 bool TypeQualifiers::match(TypeQualifiers other, bool allowConstify) const {
82 58574 const TypeQualifiers thisQualifiers = *this;
83
84 // If allowConstify is enabled, only allow to match lhs=const and rhs=non-const
85
4/4
✓ Branch 2 → 3 taken 58559 times.
✓ Branch 2 → 5 taken 15 times.
✓ Branch 3 → 4 taken 7559 times.
✓ Branch 3 → 5 taken 51000 times.
 58574 if (allowConstify && thisQualifiers.isConst)
86 7559 other.isConst = true;
87
88 // Check if qualifiers are equal
89 58574 return thisQualifiers == other;
90 }
91
92 /**
93 * Erase all qualifiers that are set in the mask. This is used in type matching.
94 *
95 * @param mask Bitmask to erase with
96 */
97 22678 void TypeQualifiers::eraseWithMask(const TypeQualifiers &mask) {
98 // Zero out all bits that are set in the mask
99
2/2
✓ Branch 11 → 3 taken 158746 times.
✓ Branch 11 → 12 taken 22678 times.
 181424 for (uint8_t i = 0; i <= BIT_INDEX_MAX; i++) {
100
2/2
✓ Branch 4 → 5 taken 35425 times.
✓ Branch 4 → 10 taken 123321 times.
 158746 if (mask.getBit(i)) {
101 // Zero out the bit
102 35425 setBit(i, false);
103
104 // If we set the signed/unsigned bit to zero, we need to set the other to one
105
2/2
✓ Branch 6 → 7 taken 5659 times.
✓ Branch 6 → 8 taken 29766 times.
 35425 if (i == BIT_INDEX_SIGNED) {
106 5659 setBit(BIT_INDEX_UNSIGNED, true);
107
2/2
✓ Branch 8 → 9 taken 15349 times.
✓ Branch 8 → 10 taken 14417 times.
 29766 } else if (i == BIT_INDEX_UNSIGNED) {
108 15349 setBit(BIT_INDEX_SIGNED, true);
109 }
110 }
111 }
112 22678 }
113
114 58977 bool operator==(const TypeQualifiers &lhs, const TypeQualifiers &rhs) {
115 58977 const bool isConst = lhs.isConst == rhs.isConst;
116 58977 const bool isSigned = lhs.isSigned == rhs.isSigned;
117 58977 const bool isUnsigned = lhs.isUnsigned == rhs.isUnsigned;
118 58977 const bool isHeap = lhs.isHeap == rhs.isHeap;
119
6/8
✓ Branch 2 → 3 taken 58882 times.
✓ Branch 2 → 7 taken 95 times.
✓ Branch 3 → 4 taken 58882 times.
✗ Branch 3 → 7 not taken.
✓ Branch 4 → 5 taken 58882 times.
✗ Branch 4 → 7 not taken.
✓ Branch 5 → 6 taken 58480 times.
✓ Branch 5 → 7 taken 402 times.
 58977 return isConst && isSigned && isUnsigned && isHeap;
120 }
121
122 1438763 bool TypeQualifiers::getBit(uint8_t index) const {
123
7/8
✓ Branch 2 → 3 taken 183004 times.
✓ Branch 2 → 4 taken 263167 times.
✓ Branch 2 → 5 taken 260576 times.
✓ Branch 2 → 6 taken 183004 times.
✓ Branch 2 → 7 taken 183004 times.
✓ Branch 2 → 8 taken 183004 times.
✓ Branch 2 → 9 taken 183004 times.
✗ Branch 2 → 10 not taken.
 1438763 switch (index) {
124 183004 case BIT_INDEX_CONST:
125 183004 return isConst;
126 263167 case BIT_INDEX_SIGNED:
127 263167 return isSigned;
128 260576 case BIT_INDEX_UNSIGNED:
129 260576 return isUnsigned;
130 183004 case BIT_INDEX_HEAP:
131 183004 return isHeap;
132 183004 case BIT_INDEX_PUBLIC:
133 183004 return isPublic;
134 183004 case BIT_INDEX_INLINE:
135 183004 return isInline;
136 183004 case BIT_INDEX_COMPOSITION:
137 183004 return isComposition;
138 − default: // GCOV_EXCL_LINE
139 − throw CompilerError(UNHANDLED_BRANCH, "Bit index fallthrough"); // GCOV_EXCL_LINE
140 }
141 }
142
143 617574 bool TypeQualifiers::setBit(uint8_t index, bool value) {
144
7/8
✓ Branch 2 → 3 taken 83983 times.
✓ Branch 2 → 4 taken 101171 times.
✓ Branch 2 → 5 taken 101171 times.
✓ Branch 2 → 6 taken 80493 times.
✓ Branch 2 → 7 taken 90430 times.
✓ Branch 2 → 8 taken 80163 times.
✓ Branch 2 → 9 taken 80163 times.
✗ Branch 2 → 10 not taken.
 617574 switch (index) {
145 83983 case BIT_INDEX_CONST:
146 83983 return isConst = value;
147 101171 case BIT_INDEX_SIGNED:
148 101171 return isSigned = value;
149 101171 case BIT_INDEX_UNSIGNED:
150 101171 return isUnsigned = value;
151 80493 case BIT_INDEX_HEAP:
152 80493 return isHeap = value;
153 90430 case BIT_INDEX_PUBLIC:
154 90430 return isPublic = value;
155 80163 case BIT_INDEX_INLINE:
156 80163 return isInline = value;
157 80163 case BIT_INDEX_COMPOSITION:
158 80163 return isComposition = value;
159 − default: // GCOV_EXCL_LINE
160 − throw CompilerError(UNHANDLED_BRANCH, "Bit index fallthrough"); // GCOV_EXCL_LINE
161 }
162 }
163
164 } // namespace spice::compiler
165