aboutsummaryrefslogtreecommitdiff
path: root/test
AgeCommit message (Collapse)Author
2024-04-27Implement variable length arraysNihal Jere
Variably modified types are required for C23. Since QBE doesn't currently support saving and restoring the stack pointer, a current limitation is that we can't reclaim stack space from VLAs that go out of scope. This is potentially problematic for VLAs appearing in a loop, but this case is uncommon enough that it is silently ignored for now. Implements: https://todo.sr.ht/~mcf/cproc/1 References: https://todo.sr.ht/~mcf/cproc/88 Co-authored-by: Michael Forney <mforney@mforney.org>
2024-04-27qbe: Add extra size for strict alignment with QBE instructionMichael Forney
With upcoming VLA support, the size might not be constant.
2024-04-27Use hlt to implement noreturnMichael Forney
2024-04-19implement _Thread_local storage classDrew DeVault
Implements: https://todo.sr.ht/~mcf/cproc/8
2024-04-16test: Add test for compatible array typesMichael Forney
2024-04-15decl: Support variadic functions with no other parametersMichael Forney
2024-04-15decl: Save and re-open parameter scope for bodyMichael Forney
2024-04-15Remove support for non-prototype function declarations and definitionsMichael Forney
These were removed in C23.
2024-04-04test: Use C23 keywords in test dataMichael Forney
Apparently 8120240c1f missed some.
2024-03-29Use C23 keywords in test dataMichael Forney
2024-03-24decl: Implement GNU packed attributeMichael Forney
Implements: https://todo.sr.ht/~mcf/cproc/72
2024-03-24Add support for C23 attribute syntaxMichael Forney
Currently, all attributes are ignored. References: https://todo.sr.ht/~mcf/cproc/68
2024-03-23Add test for unreachable statementsMichael Forney
This used to trigger a bug. References: https://todo.sr.ht/~mcf/cproc/80
2024-03-23Add tests for standard enum typesMichael Forney
2024-03-23Change type of u8 string literals to unsigned char for C23Michael Forney
2024-03-22Implement C23 nullptr constantMichael Forney
2024-03-22decl: Implement typeof_unqualMichael Forney
2024-03-22Use C23 spelling of typeof in testsMichael Forney
2024-03-21decl: Add support for enums with large values and fixed underlying typesMichael Forney
Fixes: https://todo.sr.ht/~mcf/cproc/64
2024-03-16Fix C23 empty initializersMichael Forney
These should should act as zero initializers, but since init==NULL was used to mean both "no initializer" and "empty initializer", empty initializers weren't zero-initializing the variable.
2022-11-29Implement C23 predefined bool constantsMichael Forney
2022-08-05expr: Fix constant evaluation of struct member addressMichael Forney
fb00ba6978 had the side-effect of introducing an integer to pointer cast, which was not evaluated as a constant expression. To fix this, just set the type of the expression.
2022-06-13Fix tests for x86_64 -> x86_64-sysv target renameMichael Forney
2022-05-09expr: Use integer type for member access intermediate address calculationMichael Forney
2022-03-22init: Allow empty initializersMichael Forney
2022-03-22Add test for typeof on expression with array typeMichael Forney
2022-03-22Allow unnamed parameters in function definitionsMichael Forney
2022-02-10qbe: Switch to new unsigned-float conversion operatorsMichael Forney
2022-02-10qbe: Use new unary negation operatorMichael Forney
2022-01-22Handle unary minus specially instead of 0 - xMichael Forney
This is necessary to fix unary negation of floating-point 0 (also depends on a pending qbe patch).
2021-12-06decl: Fix typedefs with type qualifiersMichael Forney
Previously, the qualifiers were saved, but accidentally ignored when the typedef was referenced.
2021-12-06decl: Use strictest alignment when multiple specifiers are presentMichael Forney
This is specified by the last sentence in C11 6.7.5p6.
2021-10-25decl: Allow alignment > 16 of localsMichael Forney
This is not yet supported by QBE, so for now we allocate a bit extra and choose the address in the allocated region with an aligned address.
2021-10-25decl: Allow alignment > 16 of globals and struct membersMichael Forney
2021-10-25eval: Fix int-to-float conversionsMichael Forney
Also, add bounds checks for float-to-int conversions. If the integer part can't be represented in the result type, C behavior is undefined. Although this means the result is arbitrary, we need to avoid undefined behavior in cproc itself when given such a program as input.
2021-10-25qbe: Use ... to separate named and variadic argumentsMichael Forney
This requires a not-yet-upstream QBE patch, and is needed for riscv64 support, since the calling convention may be different depending on whether the argument is named or variadic.
2021-10-21expr: Add support for UTF-8 character constantsMichael Forney
2021-10-21expr: Implement binary integer constantsMichael Forney
These are in the latest C23 draft.
2021-10-20expr: Fix octal escapes followed by octal digitsMichael Forney
2021-10-20expr: Add support for wide string literalsMichael Forney
Thanks to Nihal Jere for his initial patches implementing this feature. Fixes #35.
2021-10-18expr: Make sure __builtin_va_end argument is evaluated for side-effectsMichael Forney
2021-10-18qbe: Fix jnz controlled by short/char typeMichael Forney
Although we don't need the cnew in this case, we still need to do the appropriate extension to 32-bit.
2021-10-02qbe: Re-add conversion to bool RHS of logical and/orMichael Forney
7e838669 removed conversion to bool for int expressions used only to control jnz, but incorrectly dropped the conversion for the right-hand-side of logical and/or as well. We need the result of the expression to be 0 or 1, so we still need that conversion.
2021-09-29eval: Allow subtraction in address constantsMichael Forney
2021-09-28expr: Skip codegen for unused expression in conditional with constant expressionMichael Forney
This compiles `0 ? e1 : e2` as `e2`, and `1 ? e1 : e2` as `e1` (while still adjusting the type as necessary).
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-14qbe: Fix temporary type for < 8 byte aligned struct copiesMichael Forney
2021-09-13Add test for string concatenation corner caseMichael Forney
2021-09-07expr: Fix varargs again and add more testsMichael Forney
2021-09-06Add tests for char/wchar_t signednessMichael Forney
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-15 04:53:02 +0000