Consider adding more passes before CHC transformations

d3sformal / hornix

Other

0 stars 0 forks source link

Open blishko opened 3 weeks ago

blishko commented 3 weeks ago

Possible passes that could simplify the IR are instcombine (followed by simplifycfg) and instsimplify.

oglitta commented 2 weeks ago

In many cases, instcombine and simplifycfg pasess adds new instructions, which are not supported yet. So I left only instsimplify.

blishko commented 2 weeks ago

Let's keep this open for future development. Can you document which instructions that are not supported are added by the simplification passes?