Age | Commit message (Expand) | Author |
---|---|---|
2017-01-12 | use a less obtuse api for vnew() | Quentin Carbonneaux |
2016-10-24 | fix bug in folding of w comparisons | Quentin Carbonneaux |
2016-08-15 | specify the allocation function in vnew | Quentin Carbonneaux |
2016-04-22 | refine fp conversion instructions | Quentin Carbonneaux |
2016-04-20 | match jumps/ops with il text | Quentin Carbonneaux |
2016-04-19 | use assert for ssa invariants in fold/copy | Quentin Carbonneaux |
2016-04-19 | rename only live phi arguments in fold | Quentin Carbonneaux |
2016-04-17 | compute dead phi args correctly in fold | Quentin Carbonneaux |
2016-04-12 | cosmetic modification in fold | Quentin Carbonneaux |
2016-04-12 | simplify latmerge() | Quentin Carbonneaux |
2016-04-12 | the lattice merge has to be used in update() | Quentin Carbonneaux |
2016-04-12 | oops, dumb bug in folding | Quentin Carbonneaux |
2016-04-12 | diagnose some undefined uses | Quentin Carbonneaux |
2016-04-09 | this can be false | Quentin Carbonneaux |
2016-04-09 | fix wrong assertion in fold | Quentin Carbonneaux |
2016-04-09 | oops, forgot to patch phi arguments | Quentin Carbonneaux |
2016-04-09 | more debug tweaks in fold | Quentin Carbonneaux |
2016-04-09 | add a proper block deletion routine | Quentin Carbonneaux |
2016-04-09 | nicer debug info | Quentin Carbonneaux |
2016-04-09 | quickly hack fold rewriting | Quentin Carbonneaux |
2016-04-07 | use cast in czero() | Quentin Carbonneaux |
2016-04-07 | inline latmerge() (cross fingers) | Quentin Carbonneaux |
2016-04-07 | adjustments in sccp | Quentin Carbonneaux |
2016-04-07 | add boring folding code | Quentin Carbonneaux |
2016-04-06 | start work on constant propagation | Quentin Carbonneaux |