Eliminate partially redundant local variable loads and stores by replacing
them with stack variables and dups.
The algorithm is similar to SSAPRE, except:
We need to place phis for locals at the IDF of the blocks containing defs and
uses (not just defs).