Quentin Carbonneaux
614130e431
remove liveness heuristic in fillphi()
2015-10-30 13:20:42 -04:00
Quentin Carbonneaux
72fc455978
add pool memory management
2015-10-06 22:51:51 -04:00
Quentin Carbonneaux
99ad19546d
use new vector functions instead of reallocs
2015-10-06 20:42:54 -04:00
Quentin Carbonneaux
2273d22ced
do not merge phi classes of interfering temps
2015-09-26 16:34:18 -04:00
Quentin Carbonneaux
f3bd48945e
add union-find based phi-class computation
2015-09-25 13:02:44 -04:00
Quentin Carbonneaux
28110b1439
add a size to all operations (wip)
2015-09-15 23:01:32 -04:00
Quentin Carbonneaux
3b708f506f
use loop frequency in ties of rpo
2015-09-15 23:01:32 -04:00
Quentin Carbonneaux
dcf07ba55c
minor change in rpo walking
2015-09-15 23:01:30 -04:00
Quentin Carbonneaux
9456200d91
use a new Ref type for registers
...
This might not be a good idea, the problem was that
many spurious registers would be added to the Bits
data-structures during compilation (and would
always remain 0). However, doing the above
modification de-uniformizes the handling of temps
and regs, this makes the code longer and not
really nicer. Also, additional Bits structures
are required to track the registers independently.
Overall this might be a bad idea to revert.
2015-09-15 23:01:29 -04:00
Quentin Carbonneaux
8d2d674466
start change of representation for registers
2015-09-15 23:01:29 -04:00
Quentin Carbonneaux
cf307002d9
start work on word/long handling
2015-09-15 23:01:29 -04:00
Quentin Carbonneaux
a280eb6597
export error functions
2015-09-15 23:01:28 -04:00
Quentin Carbonneaux
f3eb798d54
do not use _ in identifiers
2015-09-15 23:01:28 -04:00
Quentin Carbonneaux
d7548fa5d7
add rpo test and some liveness code
2015-09-15 23:01:28 -04:00
Quentin Carbonneaux
7e53000a1f
use argument array for all instructions
2015-09-15 23:01:28 -04:00
Quentin Carbonneaux
17e48f5221
change Ref to a struct
2015-09-15 23:01:28 -04:00
Quentin Carbonneaux
5a21c7af52
patch jumps too in ssafix
2015-09-15 23:01:28 -04:00
Quentin Carbonneaux
9c958d75a3
update ssa module
2015-09-15 23:01:28 -04:00
Quentin Carbonneaux
529920d4f4
give blocks an id
2015-09-15 23:01:27 -04:00
Quentin Carbonneaux
d165818c66
remove useless parameter in top,bot def
2015-09-15 23:01:27 -04:00
Quentin Carbonneaux
8f5548f558
update ssafix, still buggy
2015-09-15 23:01:27 -04:00
Quentin Carbonneaux
cec786d530
first blood at ssa reconstruction
2015-09-15 23:01:27 -04:00
Quentin Carbonneaux
5f39a368ac
free old rpo information before overwriting
2015-09-15 23:01:27 -04:00
Quentin Carbonneaux
851e79f959
add rpo information to functions
2015-09-15 23:01:27 -04:00
Quentin Carbonneaux
11db0b61d9
properly clear predecessors in fillpreds
2015-09-15 23:01:27 -04:00
Quentin Carbonneaux
935ab611f0
add predecessor computation
2015-09-15 23:01:27 -04:00
