| |
|
|
|
|
|
|
|
|
|
|
|
| |
Loads and Stores take a field offset instead of a field name; the name remains for debugging.
NewNode takes a size and produces a pre-initialized chunk of memory with updated memory aliases for all fields.
Field picks up an alias; TypeStruct loses one.
TypeArray is a subclass of TypeStruct for now.
TypeMem tracks a conservative value for its alias.
TypeStruct computes field layouts.
Now ProjNodes can have non-CFG input 0 - NewNode does, but so would a combined ModRem op from a divide, or a CAS producing both a success boolean and the old value. This impacts all the schedulers (IRPrinter, GCM, Scheduler) which previously believe slot 0 only held control nows, or could be modified to a control now.
Aliases are now computed in the Parser instead of Start; Parser gets new Field math.
|
