--- old/src/share/vm/c1/c1_InstructionPrinter.cpp	2013-10-08 14:00:23.151566749 +0200
+++ new/src/share/vm/c1/c1_InstructionPrinter.cpp	2013-10-08 14:00:22.664690123 +0200
@@ -892,6 +892,14 @@
   if (x->known_holder() != NULL) {
     output()->print(", ");
     print_klass(x->known_holder());
+    output()->print(" ");
+  }
+  for (int i = 0; i < x->nb_profiled_args(); i++) {
+    if (i > 0) output()->print(", ");
+    print_value(x->profiled_arg_at(i));
+    if (x->arg_needs_null_check(i)) {
+      output()->print(" [NC]");
+    }
   }
   output()->put(')');
 }