diff options
-rw-r--r-- | src/arch/x86/isa/insts/control_transfer/jump.py | 10 |
1 files changed, 10 insertions, 0 deletions
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 |