SCCP propagates more constants and prunes unexecuted paths from branches.
The SCCP pass now more aggressively propagates constant values through
the code. Combined with changes to the LiteralOpUpgrader, instructions
with known constant results will be replaced with a simple const
instruction.
In addition, the SCCP pass can now find branches with constant conditions
and remove the branch path that never ends up being executed. Because of
the way finally blocks end up being replicated, this tends to prune away
error handling when no exception occurs, and hard code error handling
when an exception happens.
Change-Id: I6f3330151ec387c8a1e7ce098ff6cdb8d0ce5606
8 files changed
