aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/phi-ret.c
AgeCommit message (Collapse)AuthorFilesLines
2018-03-14optim: kill unreachable BBS after CFG simplificationLuc Van Oostenryck1-1/+0
Normal instruction simplification & CSE must not be done on dead block (otherwise it's possible to have unsound situations like having an instruction defining its own operand with possible infinite loops as consequence). This is insured by the main optimization loop but not after BB packing or flow simplification. Fix this by calling kill_unreachabe_bbs() after BB packing and flow simplification. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2018-03-14optim: add some more optimization testsLuc Van Oostenryck1-0/+22
Add some tests showing missed optimization opportunities. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>