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 23667901 TypeQualifiers TypeQualifiers::of(uint16_t superType) {
17
5/6
✓ Branch 2 → 3 taken 1957978 times.
✓ Branch 2 → 5 taken 6693408 times.
✓ Branch 2 → 7 taken 1632026 times.
✓ Branch 2 → 9 taken 58356 times.
✓ Branch 2 → 11 taken 13326133 times.
✗ Branch 2 → 13 not taken.
 23667901 switch (superType) {
18 1957978 case TY_DOUBLE: // fall-through
19 case TY_INT: // fall-through
20 case TY_SHORT: // fall-through
21 case TY_LONG:
22 1957978 return {/*const*/ false, /*signed*/ true, /*unsigned*/ false};
23 6693408 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_UNION: // fall-through
33 case TY_FUNCTION: // fall-through
34 case TY_PROCEDURE:
35 6693408 return {/*const*/ false, /*signed*/ false, /*unsigned*/ true};
36 1632026 case TY_GENERIC:
37 // Generics must be non-signed and non-unsigned at the same time to ensure a proper function matching
38 1632026 return {/*const*/ false, /*signed*/ false, /*unsigned*/ false};
39 58356 case TY_ENUM: // fall-through
40 case TY_ALIAS: // fall-through
41 case TY_IMPORT:
42 58356 return {/*const*/ true, /*signed*/ false, /*unsigned*/ true};
43 13326133 case TY_DYN: // fall-through
44 case TY_INVALID: // fall-through
45 case TY_UNRESOLVED:
46 // Return all-false qualifiers to not match anything
47 13326133 return {/*const*/ false, /*signed*/ false, /*unsigned*/ false};
48 − default: // GCOV_EXCL_LINE
49 − throw CompilerError(UNHANDLED_BRANCH, "Symbol qualifier fallthrough"); // GCOV_EXCL_LINE
50 }
51 }
52
53 /**
54 * Merge two sets of type qualifiers. If possible, prefer the opposite of the default of the super type
55 *
56 * @param other Other type qualifiers object
57 * @return Merged qualifiers object
58 */
59 290488 TypeQualifiers TypeQualifiers::merge(const TypeQualifiers &other) const {
60 290488 TypeQualifiers result;
61
6/8
✓ Branch 2 → 3 taken 290488 times.
✗ Branch 2 → 23 not taken.
✓ Branch 3 → 4 taken 283997 times.
✓ Branch 3 → 7 taken 6491 times.
✓ Branch 4 → 5 taken 283997 times.
✗ Branch 4 → 23 not taken.
✓ Branch 5 → 6 taken 254298 times.
✓ Branch 5 → 7 taken 29699 times.
 290488 const bool isGeneric = !getBit(BIT_INDEX_SIGNED) && !getBit(BIT_INDEX_UNSIGNED);
62
2/2
✓ Branch 20 → 9 taken 2033416 times.
✓ Branch 20 → 21 taken 290488 times.
 2323904 for (uint8_t i = 0; i <= BIT_INDEX_MAX; i++) {
63
1/2
✓ Branch 9 → 10 taken 2033416 times.
✗ Branch 9 → 23 not taken.
 2033416 const bool x = getBit(i);
64
1/2
✓ Branch 10 → 11 taken 2033416 times.
✗ Branch 10 → 23 not taken.
 2033416 const bool y = other.getBit(i);
65
66
4/4
✓ Branch 11 → 12 taken 1742928 times.
✓ Branch 11 → 13 taken 290488 times.
✓ Branch 12 → 13 taken 290488 times.
✓ Branch 12 → 18 taken 1452440 times.
 2033416 if (i == BIT_INDEX_SIGNED || i == BIT_INDEX_UNSIGNED) {
67
3/4
✓ Branch 13 → 14 taken 508596 times.
✓ Branch 13 → 15 taken 72380 times.
✓ Branch 16 → 17 taken 580976 times.
✗ Branch 16 → 23 not taken.
 580976 result.setBit(i, isGeneric ? y : x);
68 } else {
69
1/2
✓ Branch 18 → 19 taken 1452440 times.
✗ Branch 18 → 23 not taken.
 1452440 result.setBit(i, x | y);
70 }
71 }
72 290488 return result;
73 }
74
75 /**
76 * Check if two sets of type qualifiers match
77 *
78 * @param other The rhs qualifiers
79 * @param allowConstify Match when the types are the same, but the lhs type is more const restrictive than the rhs type
80 * @return Matching or not
81 */
82 248426 bool TypeQualifiers::match(TypeQualifiers other, bool allowConstify) const {
83 248426 const TypeQualifiers thisQualifiers = *this;
84
85 // If allowConstify is enabled, only allow to match lhs=const and rhs=non-const
86
4/4
✓ Branch 2 → 3 taken 248356 times.
✓ Branch 2 → 5 taken 70 times.
✓ Branch 3 → 4 taken 30612 times.
✓ Branch 3 → 5 taken 217744 times.
 248426 if (allowConstify && thisQualifiers.isConst)
87 30612 other.isConst = true;
88
89 // Check if qualifiers are equal
90 248426 return thisQualifiers == other;
91 }
92
93 /**
94 * Erase all qualifiers that are set in the mask. This is used in type matching.
95 *
96 * @param mask Bitmask to erase with
97 */
98 86604 void TypeQualifiers::eraseWithMask(const TypeQualifiers &mask) {
99 // Zero out all bits that are set in the mask
100
2/2
✓ Branch 11 → 3 taken 606228 times.
✓ Branch 11 → 12 taken 86604 times.
 692832 for (uint8_t i = 0; i <= BIT_INDEX_MAX; i++) {
101
2/2
✓ Branch 4 → 5 taken 146773 times.
✓ Branch 4 → 10 taken 459455 times.
 606228 if (mask.getBit(i)) {
102 // Zero out the bit
103 146773 setBit(i, false);
104
105 // If we set the signed/unsigned bit to zero, we need to set the other to one
106
2/2
✓ Branch 6 → 7 taken 16120 times.
✓ Branch 6 → 8 taken 130653 times.
 146773 if (i == BIT_INDEX_SIGNED) {
107 16120 setBit(BIT_INDEX_UNSIGNED, true);
108
2/2
✓ Branch 8 → 9 taken 66813 times.
✓ Branch 8 → 10 taken 63840 times.
 130653 } else if (i == BIT_INDEX_UNSIGNED) {
109 66813 setBit(BIT_INDEX_SIGNED, true);
110 }
111 }
112 }
113 86604 }
114
115 249413 bool operator==(const TypeQualifiers &lhs, const TypeQualifiers &rhs) {
116 249413 const bool isConst = lhs.isConst == rhs.isConst;
117 249413 const bool isSigned = lhs.isSigned == rhs.isSigned;
118 249413 const bool isUnsigned = lhs.isUnsigned == rhs.isUnsigned;
119 249413 const bool isHeap = lhs.isHeap == rhs.isHeap;
120
6/8
✓ Branch 2 → 3 taken 249249 times.
✓ Branch 2 → 7 taken 164 times.
✓ Branch 3 → 4 taken 249249 times.
✗ Branch 3 → 7 not taken.
✓ Branch 4 → 5 taken 249249 times.
✗ Branch 4 → 7 not taken.
✓ Branch 5 → 6 taken 248264 times.
✓ Branch 5 → 7 taken 985 times.
 249413 return isConst && isSigned && isUnsigned && isHeap;
121 }
122
123 5247545 bool TypeQualifiers::getBit(uint8_t index) const {
124
7/8
✓ Branch 2 → 3 taken 667580 times.
✓ Branch 2 → 4 taken 958068 times.
✓ Branch 2 → 5 taken 951577 times.
✓ Branch 2 → 6 taken 667580 times.
✓ Branch 2 → 7 taken 667580 times.
✓ Branch 2 → 8 taken 667580 times.
✓ Branch 2 → 9 taken 667580 times.
✗ Branch 2 → 10 not taken.
 5247545 switch (index) {
125 667580 case BIT_INDEX_CONST:
126 667580 return isConst;
127 958068 case BIT_INDEX_SIGNED:
128 958068 return isSigned;
129 951577 case BIT_INDEX_UNSIGNED:
130 951577 return isUnsigned;
131 667580 case BIT_INDEX_HEAP:
132 667580 return isHeap;
133 667580 case BIT_INDEX_PUBLIC:
134 667580 return isPublic;
135 667580 case BIT_INDEX_INLINE:
136 667580 return isInline;
137 667580 case BIT_INDEX_COMPOSITION:
138 667580 return isComposition;
139 − default: // GCOV_EXCL_LINE
140 − throw CompilerError(UNHANDLED_BRANCH, "Bit index fallthrough"); // GCOV_EXCL_LINE
141 }
142 }
143
144 2263122 bool TypeQualifiers::setBit(uint8_t index, bool value) {
145
7/8
✓ Branch 2 → 3 taken 301930 times.
✓ Branch 2 → 4 taken 373421 times.
✓ Branch 2 → 5 taken 373421 times.
✓ Branch 2 → 6 taken 291856 times.
✓ Branch 2 → 7 taken 341518 times.
✓ Branch 2 → 8 taken 290488 times.
✓ Branch 2 → 9 taken 290488 times.
✗ Branch 2 → 10 not taken.
 2263122 switch (index) {
146 301930 case BIT_INDEX_CONST:
147 301930 return isConst = value;
148 373421 case BIT_INDEX_SIGNED:
149 373421 return isSigned = value;
150 373421 case BIT_INDEX_UNSIGNED:
151 373421 return isUnsigned = value;
152 291856 case BIT_INDEX_HEAP:
153 291856 return isHeap = value;
154 341518 case BIT_INDEX_PUBLIC:
155 341518 return isPublic = value;
156 290488 case BIT_INDEX_INLINE:
157 290488 return isInline = value;
158 290488 case BIT_INDEX_COMPOSITION:
159 290488 return isComposition = value;
160 − default: // GCOV_EXCL_LINE
161 − throw CompilerError(UNHANDLED_BRANCH, "Bit index fallthrough"); // GCOV_EXCL_LINE
162 }
163 }
164
165 } // namespace spice::compiler
166