// No explicit return from the protected body

            // - If we dont have any ensure blocks, simply jump to the end of the rescue block

            // - If we do, get the innermost ensure block, set up the return address to the end of the ensure block, and go execute the ensure code.

            if (noEnsure) {

            }

            else {

                // NOTE: rEndLabel is identical to ebi.end, but less confusing to use rEndLabel since that makes more semantic sense

                m.addInstr(new SET_RETADDR_Instr(ebi.returnAddr, rEndLabel));

            }

        }

        else {

            // If the body had an explicit return, the return instruction IR build takes care of setting

            // up execution of all necessary ensure blocks.  So, nothing to do here! 

            // Jump to end of rescue block since we've caught and processed the exception

            if (!_ensureBlockStack.empty()) {

                EnsureBlockInfo ebi = _ensureBlockStack.peek();

                m.addInstr(new SET_RETADDR_Instr(ebi.returnAddr, endLabel));

            }

            else {

            }

        }

        // Uncaught exception -- build other rescue nodes or rethrow!

        if (uncaughtLabel != null) {

            StringLiteral exc = new StringLiteral("retry found outside of rescue clause!");

            s.addInstr(new THROW_EXCEPTION_Instr(exc));

        }

        else {

        }

        return Nil.NIL;

    }

            s.addInstr(new LABEL_Instr(loop.iterEndLabel));

            if (isLoopHeadCondition) {

                // Issue a jump back to the head of the while loop

            }

            else {

                Operand cv = build(conditionNode, s);

                s.addInstr(new BEQInstr(cv, isWhile ? BooleanLiteral.TRUE : BooleanLiteral.FALSE, loop.iterStartLabel));

            }

                if (val instanceof BreakResult) {

                    BreakResult br = (BreakResult)val;

                    i.markDead();

                    instrs.add(new CopyInstr(res, br._result));

                }

            }

            // Optimize some core class method calls for constant values

            else if (iop.isCall()) {

                val = null;

            EnsureBlockInfo[] ebArray = ebStack.toArray(new EnsureBlockInfo[n]);

            for (int i = n-1; i >= 0; i--) {

                Label retLabel = m.getNewLabel();

                m.addInstr(new SET_RETADDR_Instr(ebArray[i].returnAddr, retLabel));

                m.addInstr(new LABEL_Instr(retLabel));

            }

        }

                    if (succs.size() == 1) {

                        BasicBlock tgt = succs.iterator().next()._dst;

                        if ((tgt != next) && ((li == null) || !li.operation.xfersControl())) {

                        }

                    }

                }

                if (curr == _exitBB) {

                    // Add a dummy ret

//                    System.out.println("Exit bb is not the last bb in the layout!  Adding a dummy return!");

                    curr.addInstr(new ReturnInstr(Nil.NIL));

                }

            }

            else if (curr != _exitBB) {

                Set<CFG_Edge> succs = _cfg.outgoingEdgesOf(curr);

                assert succs.size() == 1;

                BasicBlock tgt = succs.iterator().next()._dst;

                if ((li == null) || !li.operation.xfersControl()) {

                }

            }

        }

        return _linearizedBBList;