unSSAGuards (ir);
  public void translateFromSSA (OPT_IR ir) {    // 1. re-compute dominator tree in case of control flow changes    //    (parmeter specifies we want regular dominators, not post-doms)    OPT_LTDominators.perform(ir, true);    OPT_DominatorTree dom = new OPT_DominatorTree(ir, true);    // 2. compute liveness    OPT_LiveAnalysis live =       new OPT_LiveAnalysis(false,  // don't create GC maps			   true);  // skip (final) local propagation step                                   // of live analysis    live.perform(ir);    // 3. initialization    VariableStacks s = new VariableStacks();    // 4. convert phi nodes into copies    OPT_BasicBlock b = ((OPT_DominatorTreeNode)dom.getRoot()).getBlock();    insertCopies(b, dom, live, s);    // 5. phis are now redundant    removeAllPhis(ir);  }