aboutsummaryrefslogtreecommitdiffhomepage
path: root/c/c.c
Commit message (Collapse)AuthorAgeFilesLines
* c/c.c: cleanup exprparse a little lemon2025-12-221-13/+12
|
* c: allow `return voidfn()` extension lemon2025-12-211-4/+30
|
* c: small typechecking bugfixes lemon2025-12-201-3/+3
|
* backend: unify pass memory allocation strategies lemon2025-12-201-1/+1
| | | | | | It was all over the place for temporary data structures used by individual passes. Now there is an arena specifically for that, which is nicer.
* c: fix a silly C edge case with function redeclaration storage class lemon2025-12-201-14/+21
| | | | | | C (or at least clang and gcc) allows declaring `static int f(...);` and defining it later as `int f(...) {...}`, omitting the 'static' in the latter definition.
* c: factor out to tldecl(), improve error recovery, lemon2025-12-201-73/+97
|
* c: support 0-length arrays as syntax for flexible array members lemon2025-12-191-19/+29
| | | | | Keeping the expr around in the decllist paves the way for VLA support later on
* c: fix incr/decr codegen for floats lemon2025-12-191-2/+2
|
* c: hack to support __FUNCTION__ GNU extension lemon2025-12-191-4/+10
|
* c: fix uninitiliazed field in decltypes lemon2025-12-171-0/+1
|
* c: improve some type error diagnostics lemon2025-12-151-13/+22
|
* create distinct interned string type lemon2025-12-151-50/+51
| | | | | | | | | | | | | | Interned strings are used pervasively, so it's a good idea to add a layer of type safety to differentiate them from general cstrs and avoid potential bugs from comparing non-interned and interned strings. Not that that's happened so far that I can remember, but it could. I'm 90% sure it's legal to alias `struct {char c;}` pointers with `char` pointers. This specific typedef gives type safety but with a simple one-way `internstr -> const char *` typecast (with `&istr->c`). Converting the other way around is more intentional: a straight up cast `(internstr)cstr` which sticks out as unchecked and probably wrong, or calling the intern(cstr) function, which is the right way.
* lexer: use a hashmap to lookup keywords lemon2025-12-151-1/+1
|
* c: error when defining function with incomplete parameter type lemon2025-12-151-0/+4
|
* c: support forward-declared enums lemon2025-12-151-34/+32
| | | | This is a common non-standard GNU extension.
* c: emit data for __func__ lazily lemon2025-12-151-15/+16
|
* c: fix another memory-leak-when-errors case lemon2025-12-141-1/+2
|
* c: as a hack, warn for zero-length array instead of error lemon2025-12-141-1/+1
| | | | | Treated as unsized array T[]. This shows up in some linux headers as a non-standard way to have flexible array members.
* c: fix memory leak if initializer data if error lemon2025-12-141-1/+1
|
* only put dats can in .text now when emitting it lemon2025-12-141-2/+2
|
* various relocation related optimization lemon2025-12-141-3/+3
| | | | | | | | | | With 59ca5a8db, querying if a symbol is defined is cheap. If we're compiling code that calls foo() and we defined foo() in this compilation unit, we already know its offset within the .text section, so use it instead of emitting a relocation for the linker to handle. Also, put small literal data in the .text section instead of .rodata. This seems to improve performance (cache locality?), and as a bonus, it will be good for aarch64's instr encoding with smallish PC-relative offsets.
* c: handle more static eval edgecases for int -> ptr lemon2025-12-131-1/+1
| | | | | sqlite3 was falling back to `((void*)&((char*)0)[X])` for INT_TO_PTR, which this handles now.
* c: case/default labels only create new blocks when necessary lemon2025-12-131-7/+11
|
* fix position independent loads of function symbols. lemon2025-12-131-3/+3
| | | | | | | | For `extern int x[1];`, can use PCREL32 for &x. But for `extern int x(int)`, must use GOTREL, when not being called directly (that's PLT). Therefore the type of an external symbol (actually just whether it denotes a function) matters when deciding what kind of relocation to emit, so keep that information.
* c: switch stmt diagnostics lemon2025-12-121-8/+49
| | | | For duplicate cases, case value overflow
* rename arraylength macro -> countof lemon2025-12-111-23/+23
|
* c: accept C99 `[static N]` style array decls, changes to fn quals lemon2025-12-111-24/+45
| | | | | | Function parameters qualifiers don't matter outside of function definition. `int (const int)` should be compatible with `int(int)` etc. So no need to store them in the typedata.
* _Alignof and stuff lemon2025-12-111-11/+18
|
* c: use a look-up table for isdecltok() lemon2025-12-111-14/+18
|
* c: optimize environment decl lookup lemon2025-12-111-6/+26
| | | | | Use a hashmap for the toplevel, optimizing for the common use case where the file-scope has many more declarations than local scopes do
* c: disallow mismatched nested extern decl, & more diagnostics lemon2025-12-111-17/+24
|
* c: support for noreturn, and decl parsing cleanup lemon2025-12-111-107/+113
|
* c: expr2reloc() change sig to return addend lemon2025-12-111-15/+12
|
* c: fix static relocation for &sym[offset] lemon2025-12-101-7/+6
|
* c: fix compound assignment type conversions when types don't match lemon2025-12-101-2/+3
|
* c: fix some static initialziers lemon2025-12-081-1/+3
|
* c: fix more declaration parsing bugs lemon2025-12-081-7/+17
|
* c: allow redeclaration with K&R and non K&R prototypes lemon2025-12-031-2/+10
|
* c: make tentative definitions work lemon2025-12-021-17/+34
|
* c: narrowing ints of different signedness... lemon2025-12-011-1/+1
|
* c: edgecase for redeclaration of implicit sized array lemon2025-12-011-1/+1
|
* c: fix some decl bugs and diagnostics lemon2025-11-301-18/+34
|
* c/type: make implicit const T* -> T* conversion warning, not error lemon2025-11-261-1/+8
|
* c: more static initializer fixes lemon2025-11-261-7/+7
|
* c: fix elided-braces initializers for nested unions lemon2025-11-261-5/+16
| | | | | | | | For example in ```c struct {int a; union { int b,c; }; int d; } X = {1,2,3}; ``` Fields `a`,`b`,`d` must get initialized to 1,2,3. Not `c`
* c: fix condexprvalue lemon2025-11-241-54/+42
| | | | | The original implementation was broken when presented with nested short-circuiting logical operators.
* c: remove unused function lemon2025-11-241-8/+0
|
* c: create dummy unreachable block after trap lemon2025-11-241-5/+1
| | | | | | Reverts 9abe27f6712. This simplies expr codegen, otherwise would manually have to check `fn->curblk != NULL` repeatedly. Later passes will easily delete those unreachable blocks
* ir: implement cvtu64f. and other bug fixes lemon2025-11-231-1/+4
| | | | | compiler is bootstrapping?! however, stage1 and stage2+ executables aren't bit-identical.. small differences in the codegen.. need to look into that
* c: check actual reachability for non-void func may not return value lemon2025-11-231-2/+6
|
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-02 08:44:15 +0000