This repository was archived by the owner on Jun 26, 2020. It is now read-only.

Branch comparison folding and order optimizations#629

Merged

bnjbvr merged 13 commits intobytecodealliance:masterfrom

tyler:tyler/branch-opts

Apr 17, 2019

Commits on Apr 10, 2019

Fold 'ifcmp_imm' + 'brif' where imm is zero and cond is 'eq' or 'ne', into 'brz' or 'brnz'.
tyler
committed
Add note to simple_preopt differentiating its use from the preopt crate.
tyler
committed
Add branch order optimization to simple_preopt to encourage fallthroughs.
tyler
committed
Add tests for branch order and branch comparison folding.
tyler
committed
Questionable change: Remove domtree generation from simple_preopt testing.
tyler
committed
Refactoring of branch ordering and zero-check optimization based on PR feedback.
tyler
committed
Switch ifcmp+brif folding to be icmp+brz folding, which is what frontends actually produce.
tyler
committed
Switch branch order opt from brif/brff to br_icmp, as that's what frontends should produce.
tyler
committed
Add comments to branch folding and reordering functions in simple_preopt.
tyler
committed
Address code review comments, simplifying some bits of branch_opt.
tyler
committed
Switch from fallthrough back to jump.
tyler
committed

Commits on Apr 13, 2019

Remove old commented out code
tyler
committed

Commits on Apr 16, 2019

Style changes in response to code review.
tyler
committed