equal
deleted
inserted
replaced
1035 final HTMLGenerator gen = new HTMLGenerator(false); |
1035 final HTMLGenerator gen = new HTMLGenerator(false); |
1036 CodeCacheVisitor v = new CodeCacheVisitor() { |
1036 CodeCacheVisitor v = new CodeCacheVisitor() { |
1037 public void prologue(Address start, Address end) { |
1037 public void prologue(Address start, Address end) { |
1038 } |
1038 } |
1039 public void visit(CodeBlob blob) { |
1039 public void visit(CodeBlob blob) { |
1040 fout.println(gen.genHTML(blob.instructionsBegin())); |
1040 fout.println(gen.genHTML(blob.contentBegin())); |
1041 } |
1041 } |
1042 public void epilogue() { |
1042 public void epilogue() { |
1043 } |
1043 } |
1044 |
1044 |
1045 |
1045 |