// During normal cloning below, labels not found in the rename map
// are not cloned.
ii.renameLabel(start);
for (Instr i: instrs) {
if (i instanceof LabelInstr) {
ii.renameLabel(((LabelInstr)i).label);
}
}
// Clone instructions now
b.addInstr(s, new LabelInstr(ii.getRenamedLabel(start)));