--- old/src/cpu/x86/vm/x86.ad	2017-03-13 09:58:22.035649704 +0100
+++ new/src/cpu/x86/vm/x86.ad	2017-03-13 09:58:18.771650899 +0100
@@ -1806,7 +1806,7 @@
   match(Halt);
   format %{ "int3\t# ShouldNotReachHere" %}
   ins_encode %{
-    __ int3();
+    __ halt();
   %}
   ins_pipe(pipe_slow);
 %}