Implement jnbe.

--HG--
extra : convert_revision : cdbf1ff5ed3a63787cbd2187a8a3455a41cc5085

diff --git a/src/arch/x86/isa/insts/control_transfer/jump.py b/src/arch/x86/isa/insts/control_transfer/jump.py
index e01925f414b5bc483d493f5f052cc152c379d769..b191730d5d14d72a712933973ec5d125375bd365 100644 (file)
--- a/src/arch/x86/isa/insts/control_transfer/jump.py
+++ b/src/arch/x86/isa/insts/control_transfer/jump.py
@@ -94,6 +94,16 @@ def macroop JBE_I
     wrip t1, t2, flags=(CCvZF,)
 };
 
+def macroop JNBE_I
+{
+    # Make the default data size of jumps 64 bits in 64 bit mode
+    .adjust_env oszIn64Override
+
+    rdip t1
+    limm t2, imm
+    wrip t1, t2, flags=(nCCvZF,)
+};
+
 def macroop JMP_I
 {
     # Make the default data size of jumps 64 bits in 64 bit mode