aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2024-04-27Store enum constant value in struct declMichael Forney
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-27qbe: Temporarily set func->end = func->start in funcallocMichael Forney
This way way can just use funcinst.
2024-04-27Use hlt to implement noreturnMichael Forney
2024-04-27expr: Collapse *& when parsingMichael Forney
2024-04-27qbe: Use expression type when loadingMichael Forney
If we are loading the first element of an array, or first member of a structure, the expression type may be different from the object type.
2024-04-26decl: Move isnoreturn to struct declMichael Forney
It is a property of the declaration, not the type.
2024-04-23configure: Set DEFAULT_DYNAMIC_LINKER for riscv64-linux-gnuMichael Forney
2024-04-22README: Add riscv64 to supported targetsMichael Forney
2024-04-21CI: Add debian-riscv64 builderMichael Forney
2024-04-21CI: Simplify alpine-aarch64.yml and debian-aarch64.ymlMichael Forney
2024-04-21CI: Remove obsolete workaround for qemu-binfmt bugMichael Forney
2024-04-21CI: Add alpine-riscv64 builderMichael Forney
2024-04-21expr: Create decl for compound literal during parseMichael Forney
2024-04-20StyleMichael Forney
2024-04-20qbe: Track 'thread' prefix in value kindMichael Forney
Adding a bool field increases the size of struct value by 8 due to alignment. In the future, maybe we just use something like VALUE_DECL instead.
2024-04-20qbe: Disallow address of TLS variables in static initializersMichael Forney
The address of an object with thread storage duration is not an address constant.
2024-04-20qbe: Pass struct decl to mkglobal instead of fields from the declMichael Forney
2024-04-20decl: Keep track of storage duration in struct declMichael Forney
2024-04-19decl: Help gcc see that variable is not used uninitializedMichael 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-16decl: Combine typeof and typeof_unqual switch caseMichael Forney
2024-04-16qbe: Clarify commentMichael Forney
2024-04-15README: Remove mention of trigraphs (they were removed in C23)Michael 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-15decl: Improve check for function prototype consisting of only 'void'Michael Forney
2024-04-13decl: Include offending struct member in error messagesMichael Forney
2024-04-12README: Update builds.sr.ht badge to only consider master branchMichael Forney
2024-04-12Use struct decl for function parametersMichael Forney
2024-04-12decl: Add name field to decl structMichael Forney
2024-04-12decl: Use singly-linked list for tentative definitionsMichael Forney
2024-04-08expr: Remove evalexpr() and just use condexpr() with eval()Michael Forney
evalexpr() was originally named `constexpr`, since it matched the constant-expression rule in the grammar. It had to be renamed due to conflict with the C23 constexpr keyword. However, since 2e3ecc70, eval has just one argument, so just call eval(condexpr()) directly.
2024-04-07Store length expression in array typesMichael Forney
We don't need the length constant anymore, so just use that name for the length expression. References: https://todo.sr.ht/~mcf/cproc/1
2024-04-07eval: Use enum instead of define for float/signed flagsMichael Forney
2024-04-07decl: Remove unsufficient attempt to push qualifiers to array element typeMichael Forney
There may be multiple nested array types, so this doesn't work in general. References: https://todo.sr.ht/~mcf/cproc/79
2024-04-07init: Remove use of u.array.lengthMichael Forney
Instead, keep track of index offset.
2024-04-06Remove some unnecessary use of array type lengthMichael Forney
2024-04-06expr: Check that _Generic association type has complete object typeMichael Forney
2024-04-04test: Use C23 keywords in test dataMichael Forney
Apparently 8120240c1f missed some.
2024-04-04type: Fix qualifiers of adjusted array types of parametersMichael Forney
2024-04-03LICENSE: Update copyright yearMichael Forney
2024-04-03expr: Help gcc see that variables aren't used uninitializedMichael Forney
2024-04-03Use 'bool' in headers instead of '_Bool'Michael Forney
_Bool is deprecated in C23, and using it breaks bootstrap with implementations that don't fully support C99 and define bool to some other type in stdbool.h.
2024-04-02map: Use simpler fnv-1a hash functionMichael Forney
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