aboutsummaryrefslogtreecommitdiff
path: root/cc.h
AgeCommit message (Collapse)Author
2021-09-29Rename uint64_t field of constant union to uMichael Forney
This will prepare us for adding a signed int64_t field called i.
2021-09-29Use unsigned long long for sizes and offsetsMichael Forney
We don't need exact-width integer types here.
2021-09-28Skip unnecessary conversion to bool for logical and conditional expressionsMichael Forney
As in ede6a5c9, if an expression is used only to control a jnz, we don't need to convert it to a 0 or 1 value. QBE ignores the upper 32-bits of the argument to jnz, so the conversion is still needed for pointer, long, and floating point types (including float since -0 has non-zero bit representation).
2021-09-13Revert "Add stringconcat function to concatenate adjacent string literals"Michael Forney
This reverts commit c16f07acf655b9f4fb006d8256b4027fb5a13aa8. This incorrectly allows octal escapes to span between adjacent string literals (e.g. "\0" "1" is not the same as "\01").
2021-09-13qbe, init: Handle prefixed string literalsNihal Jere
2021-09-13Make string literal data unsigned charMichael Forney
2021-09-06Fix type-checking of va_list arguments to varargs built-insMichael Forney
If the argument was a function parameter, its type has already been adjusted. So on x86_64, we can't just ignore the automatic array-to-pointer conversion, since it was never a pointer to begin with. Instead, keep track of the adjusted va_list type, and check that the arguments to varargs built-ins match that type.
2021-09-04Use architecture-specific va_list typeMichael Forney
Previously, cproc effectively used used typedef struct { /* 32 bytes, 8-byte aligned */ } __builtin_va_list[1]; However, this is not quite correct for x86_64 nor aarch64, though it was close enough for both to work in most cases. In actuality, for x86_64 we want typedef struct { /* 24 bytes, 8-byte aligned */ } __builtin_va_list[1]; and for aarch64 we want typedef struct { /* 32 bytes, 8-byte aligned */ } __builtin_va_list; The difference only appears when the size of va_list matters, or when va_list is passed as a parameter. However, the former is not often the case, and the aarch64 ABI replaces aggregate arguments with pointers to caller-allocated memory, which is quite similar to arrays decaying to pointers in C except that the struct is not copied. Additionally, riscv64 simply uses typedef void *__builtin_va_list; which again has a different size and calling convention. To fix this, make the __builtin_va_list type architecture-specific and use architecture-specific tests for varargs-related functionality.
2021-09-04Prepare for supporting architecture-specific va_list typeMichael Forney
2021-09-02pp: Implement #line directives and gcc line markersMichael Forney
Fixes #66.
2021-07-02qbe: Remove repr from struct value and use per-instruction class insteadMichael Forney
This way we avoid leaking backend-specific details of type representation outside qbe.c. It also facilitates some future simplifications.
2021-07-01decl: Check that the flexible array member (if present) is lastMichael Forney
2021-06-28Add stringconcat function to concatenate adjacent string literalsMichael Forney
This function also ensures that the string prefixes (if any) are compatible. It should make it easier to implement wide string support.
2021-04-23Make some static data constMichael Forney
2021-04-23targ: Use correct char signedness for aarch64 and riscv64Michael Forney
2021-04-08Remove unused mkswitch declarationMichael Forney
2021-03-31qbe: Use second argument of call/arg to store type nameMichael Forney
2021-03-31qbe: Use separate type for block/labelMichael Forney
Labels are no longer used as instruction arguments.
2020-06-03Revert "decl: Allow out-of-range enum constants when they don't change type"Michael Forney
This reverts commit 6229709b8ae21d7722fef48ad8a9f2f10b900030. I still don't understand how out-of-range enum constants are supposed to work.
2020-06-03decl: Allow out-of-range enum constants when they don't change typeMichael Forney
gcc and clang allow enum constants out of range of int, but this means that the type of enumerator may differ inside and outside the enum specifier. Instead, only allow out-of-range enum constants when their types are compatible with the final enum type.
2020-03-17token: Add TOTHER for other non-whitespace tokensMichael Forney
This is for any non-whitespace character that doesn't match any other token categories, and could be valid if stringified, or the preprocessor is used by itself.
2020-03-17pp: Add support for macro definition and expansionMichael Forney
The token pasting operator `##` still needs to be implemented.
2020-03-16scan: Keep track of whether tokens had preceeding whitespaceMichael Forney
2020-03-16token: Add tokencheck utility functionMichael Forney
This function is like expect(), but operates on a specific token and does not read the following token.
2020-03-16token: Rename some functionsMichael Forney
2020-03-16Allow multiple inputs to main compiler processMichael Forney
This way, we can implement -include in the driver by just passing an additional input to the compiler.
2020-01-30decl: Better check for inline definitionsMichael Forney
2020-01-30decl: Use list link to determine presence in tentative definition listMichael Forney
2019-08-13scan: Add `::` operatorMichael Forney
This is needed for attributes, added in C2X (n2335).
2019-07-03Implement no-op __builtin_expectMichael Forney
2019-06-27Implement prefixed character constantsMichael Forney
2019-06-27Pass target to cc-qbeMichael Forney
2019-05-24Add __attribute__ keywordMichael Forney
This will be needed for weak references and hidden visibility.
2019-05-15Implement asm labelsMichael Forney
2019-05-13Use enum type for expect argumentMichael Forney
2019-05-12eval: Keep track of kind of constant expression we are evaluatingMichael Forney
When we are evaluating an arithmetic constant expression, we don't want to indroduce static data definitions for string or compound literals. Fixes #59.
2019-04-29Add __asm__ keywordMichael Forney
2019-04-24Use a common member for expression baseMichael Forney
2019-04-24Use enum type for expr->builtin.kindMichael Forney
2019-04-24Use a common member for expression opMichael Forney
2019-04-24Free functions when we're done with themMichael Forney
2019-04-23Fix integer promotion on bit-fieldsMichael Forney
Fixes #47.
2019-04-23expr: Use tokstr in ++/-- operator error messagesMichael Forney
2019-04-21Keep track of type properties in typeMichael Forney
2019-04-20Make basic types have their own kindMichael Forney
2019-04-20Shorten some names with 'long'Michael Forney
2019-04-17htab -> mapMichael Forney
2019-04-17Improve token descriptions in errorsMichael Forney
2019-04-17Implement bit-field initializersMichael Forney
2019-04-16Implement __builtin_types_compatible_pMichael Forney
This is used by util-linux.
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-08 08:36:26 +0000