// Add stores, assigning an equivalent tmp-var for each local var
Map<Operand, Operand> varRenameMap = new HashMap<Operand, Operand>();
slvp.addStores(varRenameMap);
// Once stores have been added, figure out required loads
LoadLocalVarPlacementProblem llvp = new LoadLocalVarPlacementProblem();
llvp.setup(s);
llvp.compute_MOP_Solution();
// Add loads,
llvp.addLoads(varRenameMap);
// Rename all local var uses with their tmp-var stand-ins
for (BasicBlock b: s.getCFG().getBasicBlocks()) {
for (Instr i: b.getInstrs()) i.renameVars(varRenameMap);
}