Types from beginning to end #37
Commits on Jan 21, 2023
Commits on Jan 23, 2023
-
[Bugfix] Fix error in format string
I forgot we have special ways to do that now
Commits on Jan 27, 2023
Commits on Jan 29, 2023
-
-
-
-
-
[Codegen] Handle subscript operator all at once, instead of split
I'd say it's much easier to see how subscript is handled when it isn't split between two different places :Þ
-
-
-
[Codegen/IR] Make variable allocation instructions pointers to type
This feels like too much bodge; I'm sure there is some refactor that will make this more elegant, but this gets the same amount of tests passing and failing, as well as the same tests.
-
-
-
Commits on Jan 30, 2023
-
-
[Codegen/x86_64] Add
t_pointerprimitive typeThis is most useful when you just need the sizeof a pointer, for example.
-
Commits on Feb 1, 2023
-
-
-
[Codegen] Very basic codegen of string literals
They're still all zeroes, but we're closer!!
-
Commits on Feb 2, 2023
-
[AST] Make
ast_print_nodepublicly availableAlso remove unused bitfield; we can add one if we end up adding a lot of bools there, I guess.
-
Move an `if` into the surrounding switch with `case`. Make needless multiline declarations a single line.
-
-
-
[AST] Remove
idsystem entirelyWith primitives now being implemented as the address of global definitions, we can compare pointers instead of needing a unique id. Plus, the one case that ids were handling (t_integer_literal and t_integer being implicitly equal) was already specifically handled in the one place that used the id system.
-
[Tests] Two tests---one passes, one fails
This is hopefully some motivation to get codegen of static variable initialisation done. The passing one will ensure we can manipulate arrays
-
-
-
[Codegen/IR] Fix overwrite of
rhsof subscript operatorThis was bad due to optimisation expecting an unscaled value in the subscripts `rhs`
-
-
-
Commits on Feb 3, 2023
-
-
-
[Codegen/x86_64] Move further away from variable args...
Still more todo; it's mostly memory interaction stuff
-
-
-
-
-
[Minor/Codegen] Outline places where string literals need handled
Always more todo...
-
Commits on Feb 6, 2023
Commits on Feb 7, 2023
-
-
-
[Sema] Move some
type_is_*functions up toast.hfrom `typechecke……r.c` There are more to come, I'm sure.
-
-
[Minor/Sema] This should now work pretty much as expected
Promise, last one lmao. Still have to fix assignment source location, eventually
-
[Minor/Sema] Very minor formatting
Okay I lied this is the last one, lmao.
-
[Sema] Use
type_is_*instead of direct comparisonsThis will eventually allow for typedefs to be a drop-in-place feature, rather than requiring extensive rewriting
-
[Codegen] Improve codegen of subscript variable reference
This will now allow `ir_static_reference` to take in a direct `IRStaticVariable`, when necessary, instead of just a name span. Still not sure how to go about handling the local version of this, to be honest. Maybe a `copy`?
-
-
-
[Codegen/x86_64] Fix clobber values of
does_clobberfor shift instr……uctions ``` femit_reg_to_reg(context, I_MOV, inst->rhs->result, REG_RCX); femit_reg(context, I_SAR, inst->lhs->result); femit_reg_to_reg(context, I_MOV, inst->lhs->result, inst->result); ``` This clobbers left, not the right.
-
-
-
-
-
-
[Codegen] Rename
varto the more correctvar_declAlso add error for unhandled IR instruction types, just in case.
-
[Sema] Get rid of
is_*wrappers, where possibleThere are still some we need to transfer over, like `is_integer` and such... We'll get there.
-
[Codegen/IR] Fix assigned type of
IR_LOADinstructionsThis is sort of a bodge, but is work towards the final destination.