//
void Interpreter::printCurrentInstruction() {
if (!ECStack.empty()) {
//
void Interpreter::printCurrentInstruction() {
if (!ECStack.empty()) {
+ if (ECStack.back().CurBB->begin() == ECStack.back().CurInst) // print label
+ WriteAsOperand(cout, ECStack.back().CurBB) << ":\n";
+
Instruction *I = *ECStack.back().CurInst;
InstNumber *IN = (InstNumber*)I->getAnnotation(SlotNumberAID);
assert(IN && "Instruction has no numbering annotation!");
Instruction *I = *ECStack.back().CurInst;
InstNumber *IN = (InstNumber*)I->getAnnotation(SlotNumberAID);
assert(IN && "Instruction has no numbering annotation!");