--- old/src/share/vm/c1/c1_InstructionPrinter.cpp	2013-10-09 18:09:21.210655817 +0200
+++ new/src/share/vm/c1/c1_InstructionPrinter.cpp	2013-10-09 18:09:20.949690542 +0200
@@ -904,6 +904,12 @@
   output()->put(')');
 }
 
+void InstructionPrinter::do_ProfileReturnType(ProfileReturnType* x) {
+  output()->print("profile ret type ");
+  print_value(x->ret());
+  output()->print(" %s.%s", x->method()->holder()->name()->as_utf8(), x->method()->name()->as_utf8());
+  output()->put(')');
+}
 void InstructionPrinter::do_ProfileInvoke(ProfileInvoke* x) {
   output()->print("profile_invoke ");
   output()->print(" %s.%s", x->inlinee()->holder()->name()->as_utf8(), x->inlinee()->name()->as_utf8());