| 456 | } |
| 457 | |
| 458 | public String toStringInstrs() { |
| 459 | StringBuilder buf = new StringBuilder(); |
| 460 | |
| 461 | for (BasicBlock b : graph.getInorderData()) { |
| 462 | buf.append(b.toStringInstrs()); |
| 463 | } |
| 464 | buf.append("\n\n------ Rescue block map ------\n"); |
| 465 | List<BasicBlock> e = new ArrayList<BasicBlock>(rescuerMap.keySet()); |
| 466 | Collections.sort(e); |
| 467 | |
| 468 | for (BasicBlock bb : e) { |
| 469 | buf.append("BB ").append(bb.getID()).append(" --> BB ").append(rescuerMap.get(bb).getID()).append("\n"); |
| 470 | } |
| 471 | |
| 472 | return buf.toString(); |
| 473 | } |
| 474 | } |