blob: 711a5b6a716983b745d98e1378fa5e2e167be33a (
plain) (
tree)
|
|
//: jump to 16-bit offset
//:: jump
:(scenario jump_rel16)
== 0x1
# op ModR/M SIB displacement immediate
e9 05 00 # skip 1 instruction
05 00 00 00 01
05 00 00 00 02
+run: inst: 0x00000001
+run: jump 5
+run: inst: 0x00000009
-run: inst: 0x00000003
:(before "End Single-Byte Opcodes")
case 0xe9: { // jump rel8
int16_t offset = imm16();
trace(2, "run") << "jump " << offset << end();
EIP += offset;
break;
}
:(code)
int16_t imm16() {
int16_t result = next();
result |= (next()<<8);
return result;
}
//:: jump if equal/zero
:(scenario je_rel16_success)
% ZF = true;
== 0x1
# op ModR/M SIB displacement immediate
0f 84 05 00 # skip 1 instruction
05 00 00 00 01
05 00 00 00 02
+run: inst: 0x00000001
+run: jump 5
+run: inst: 0x0000000a
-run: inst: 0x00000005
:(before "End Two-Byte Opcodes Starting With 0f")
case 0x84: { // jump rel16 if ZF
int8_t offset = imm16();
if (ZF) {
trace(2, "run") << "jump " << NUM(offset) << end();
EIP += offset;
}
break;
}
:(scenario je_rel16_fail)
% ZF = false;
== 0x1
# op ModR/M SIB displacement immediate
0f 84 05 00 # skip 1 instruction
05 00 00 00 01
05 00 00 00 02
+run: inst: 0x00000001
+run: inst: 0x00000005
+run: inst: 0x0000000a
-run: jump 5
//:: jump if not equal/not zero
:(scenario jne_rel16_success)
% ZF = false;
== 0x1
# op ModR/M SIB displacement immediate
0f 85 05 00 # skip 1 instruction
05 00 00 00 01
05 00 00 00 02
+run: inst: 0x00000001
+run: jump 5
+run: inst: 0x0000000a
-run: inst: 0x00000005
:(before "End Two-Byte Opcodes Starting With 0f")
case 0x85: { // jump rel16 unless ZF
int8_t offset = imm16();
if (!ZF) {
trace(2, "run") << "jump " << NUM(offset) << end();
EIP += offset;
}
break;
}
:(scenario jne_rel16_fail)
% ZF = true;
== 0x1
# op ModR/M SIB displacement immediate
0f 85 05 00 # skip 1 instruction
05 00 00 00 01
05 00 00 00 02
+run: inst: 0x00000001
+run: inst: 0x00000005
+run: inst: 0x0000000a
-run: jump 5
//:: jump if greater
:(scenario jg_rel16_success)
% ZF = false;
% SF = false;
% OF = false;
== 0x1
# op ModR/M SIB displacement immediate
0f 8f 05 00 # skip 1 instruction
05 00 00 00 01
05 00 00 00 02
+run: inst: 0x00000001
+run: jump 5
+run: inst: 0x0000000a
-run: inst: 0x00000005
:(before "End Two-Byte Opcodes Starting With 0f")
case 0x8f: { // jump rel16 if !SF and !ZF
int8_t offset = imm16();
if (!ZF && SF == OF) {
trace(2, "run") << "jump " << NUM(offset) << end();
EIP += offset;
}
break;
}
:(scenario jg_rel16_fail)
% ZF = false;
% SF = true;
% OF = false;
== 0x1
# op ModR/M SIB displacement immediate
0f 8f 05 00 # skip 1 instruction
05 00 00 00 01
05 00 00 00 02
+run: inst: 0x00000001
+run: inst: 0x00000005
+run: inst: 0x0000000a
-run: jump 5
//:: jump if greater or equal
:(scenario jge_rel16_success)
% SF = false;
% OF = false;
== 0x1
# op ModR/M SIB displacement immediate
0f 8d 05 00 # skip 1 instruction
05 00 00 00 01
05 00 00 00 02
+run: inst: 0x00000001
+run: jump 5
+run: inst: 0x0000000a
-run: inst: 0x00000005
:(before "End Two-Byte Opcodes Starting With 0f")
case 0x8d: { // jump rel16 if !SF
int8_t offset = imm16();
if (SF == OF) {
trace(2, "run") << "jump " << NUM(offset) << end();
EIP += offset;
}
break;
}
:(scenario jge_rel16_fail)
% SF = true;
% OF = false;
== 0x1
# op ModR/M SIB displacement immediate
0f 8d 05 00 # skip 1 instruction
05 00 00 00 01
05 00 00 00 02
+run: inst: 0x00000001
+run: inst: 0x00000005
+run: inst: 0x0000000a
-run: jump 5
//:: jump if lesser
:(scenario jl_rel16_success)
% ZF = false;
% SF = true;
% OF = false;
== 0x1
# op ModR/M SIB displacement immediate
0f 8c 05 00 # skip 1 instruction
05 00 00 00 01
05 00 00 00 02
+run: inst: 0x00000001
+run: jump 5
+run: inst: 0x0000000a
-run: inst: 0x00000005
:(before "End Two-Byte Opcodes Starting With 0f")
case 0x8c: { // jump rel16 if SF and !ZF
int8_t offset = imm16();
if (SF != OF) {
trace(2, "run") << "jump " << NUM(offset) << end();
EIP += offset;
}
break;
}
:(scenario jl_rel16_fail)
% ZF = false;
% SF = false;
% OF = false;
== 0x1
# op ModR/M SIB displacement immediate
0f 8c 05 00 # skip 1 instruction
05 00 00 00 01
05 00 00 00 02
+run: inst: 0x00000001
+run: inst: 0x00000005
+run: inst: 0x0000000a
-run: jump 5
//:: jump if lesser or equal
:(scenario jle_rel16_equal)
% ZF = true;
% SF = false;
% OF = false;
== 0x1
# op ModR/M SIB displacement immediate
0f 8e 05 00 # skip 1 instruction
05 00 00 00 01
05 00 00 00 02
+run: inst: 0x00000001
+run: jump 5
+run: inst: 0x0000000a
-run: inst: 0x00000005
:(scenario jle_rel16_lesser)
% ZF = false;
% SF = true;
% OF = false;
== 0x1
# op ModR/M SIB displacement immediate
0f 8e 05 00 # skip 1 instruction
05 00 00 00 01
05 00 00 00 02
+run: inst: 0x00000001
+run: jump 5
+run: inst: 0x0000000a
-run: inst: 0x00000005
:(before "End Two-Byte Opcodes Starting With 0f")
case 0x8e: { // jump rel16 if SF or ZF
int8_t offset = imm16();
if (ZF || SF != OF) {
trace(2, "run") << "jump " << NUM(offset) << end();
EIP += offset;
}
break;
}
:(scenario jle_rel16_greater)
% ZF = false;
% SF = false;
% OF = false;
== 0x1
# op ModR/M SIB displacement immediate
0f 8e 05 00 # skip 1 instruction
05 00 00 00 01
05 00 00 00 02
+run: inst: 0x00000001
+run: inst: 0x00000005
+run: inst: 0x0000000a
-run: jump 5
|