From fcc23891bbfd06cff9d3f486a6c73eb9d159aa07 Mon Sep 17 00:00:00 2001
From: Gabe Black <gblack@eecs.umich.edu>
Date: Fri, 20 Jul 2007 15:03:36 -0700
Subject: [PATCH] Implement jnbe.

--HG--
extra : convert_revision : cdbf1ff5ed3a63787cbd2187a8a3455a41cc5085
---
 src/arch/x86/isa/insts/control_transfer/jump.py | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/arch/x86/isa/insts/control_transfer/jump.py b/src/arch/x86/isa/insts/control_transfer/jump.py
index e01925f41..b191730d5 100644
--- 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
-- 
2.30.2