4181

4 files changed, 374 insertions, 374 deletions

diff --git a/subx/014jump_relative.cc b/subx/014jump_relative.cc
deleted file mode 100644
index c9cdcd1b..00000000
--- a/subx/014jump_relative.cc
+++ /dev/null
@@ -1,252 +0,0 @@
-//: jump to 8-bit offset
-
-//:: jump
-
-:(scenario jump_rel8)
-# op  ModRM   SIB   displacement  immediate
-  eb                05                        # skip 1 instruction
-  05                              00 00 00 01
-  05                              00 00 00 02
-+run: inst: 0x00000001
-+run: jump 5
-+run: inst: 0x00000008
--run: inst: 0x00000003
-
-:(before "End Single-Byte Opcodes")
-case 0xeb: {  // jump rel8
-  int8_t offset = static_cast<int>(next());
-  trace(2, "run") << "jump " << NUM(offset) << end();
-  EIP += offset;
-  break;
-}
-
-//:: jump if equal/zero
-
-:(scenario je_rel8_success)
-% ZF = true;
-# op  ModRM   SIB   displacement  immediate
-  74                05                        # skip 1 instruction
-  05                              00 00 00 01
-  05                              00 00 00 02
-+run: inst: 0x00000001
-+run: jump 5
-+run: inst: 0x00000008
--run: inst: 0x00000003
-
-:(before "End Single-Byte Opcodes")
-case 0x74: {  // jump rel8 if ZF
-  int8_t offset = static_cast<int>(next());
-  if (ZF) {
-    trace(2, "run") << "jump " << NUM(offset) << end();
-    EIP += offset;
-  }
-  break;
-}
-
-:(scenario je_rel8_fail)
-% ZF = false;
-# op  ModRM   SIB   displacement  immediate
-  74                05                        # skip 1 instruction
-  05                              00 00 00 01
-  05                              00 00 00 02
-+run: inst: 0x00000001
-+run: inst: 0x00000003
-+run: inst: 0x00000008
--run: jump 5
-
-//:: jump if not equal/not zero
-
-:(scenario jne_rel8_success)
-% ZF = false;
-# op  ModRM   SIB   displacement  immediate
-  75                05                        # skip 1 instruction
-  05                              00 00 00 01
-  05                              00 00 00 02
-+run: inst: 0x00000001
-+run: jump 5
-+run: inst: 0x00000008
--run: inst: 0x00000003
-
-:(before "End Single-Byte Opcodes")
-case 0x75: {  // jump rel8 unless ZF
-  int8_t offset = static_cast<int>(next());
-  if (!ZF) {
-    trace(2, "run") << "jump " << NUM(offset) << end();
-    EIP += offset;
-  }
-  break;
-}
-
-:(scenario jne_rel8_fail)
-% ZF = true;
-# op  ModRM   SIB   displacement  immediate
-  75                05                        # skip 1 instruction
-  05                              00 00 00 01
-  05                              00 00 00 02
-+run: inst: 0x00000001
-+run: inst: 0x00000003
-+run: inst: 0x00000008
--run: jump 5
-
-//:: jump if greater
-
-:(scenario jg_rel8_success)
-% ZF = false;
-% SF = false;
-% OF = false;
-# op  ModRM   SIB   displacement  immediate
-  7f                05                        # skip 1 instruction
-  05                              00 00 00 01
-  05                              00 00 00 02
-+run: inst: 0x00000001
-+run: jump 5
-+run: inst: 0x00000008
--run: inst: 0x00000003
-
-:(before "End Single-Byte Opcodes")
-case 0x7f: {  // jump rel8 if !SF and !ZF
-  int8_t offset = static_cast<int>(next());
-  if (!ZF && SF == OF) {
-    trace(2, "run") << "jump " << NUM(offset) << end();
-    EIP += offset;
-  }
-  break;
-}
-
-:(scenario jg_rel8_fail)
-% ZF = false;
-% SF = true;
-% OF = false;
-# op  ModRM   SIB   displacement  immediate
-  7f                05                        # skip 1 instruction
-  05                              00 00 00 01
-  05                              00 00 00 02
-+run: inst: 0x00000001
-+run: inst: 0x00000003
-+run: inst: 0x00000008
--run: jump 5
-
-//:: jump if greater or equal
-
-:(scenario jge_rel8_success)
-% SF = false;
-% OF = false;
-# op  ModRM   SIB   displacement  immediate
-  7d                05                        # skip 1 instruction
-  05                              00 00 00 01
-  05                              00 00 00 02
-+run: inst: 0x00000001
-+run: jump 5
-+run: inst: 0x00000008
--run: inst: 0x00000003
-
-:(before "End Single-Byte Opcodes")
-case 0x7d: {  // jump rel8 if !SF
-  int8_t offset = static_cast<int>(next());
-  if (SF == OF) {
-    trace(2, "run") << "jump " << NUM(offset) << end();
-    EIP += offset;
-  }
-  break;
-}
-
-:(scenario jge_rel8_fail)
-% SF = true;
-% OF = false;
-# op  ModRM   SIB   displacement  immediate
-  7d                05                        # skip 1 instruction
-  05                              00 00 00 01
-  05                              00 00 00 02
-+run: inst: 0x00000001
-+run: inst: 0x00000003
-+run: inst: 0x00000008
--run: jump 5
-
-//:: jump if lesser
-
-:(scenario jl_rel8_success)
-% ZF = false;
-% SF = true;
-% OF = false;
-# op  ModRM   SIB   displacement  immediate
-  7c                05                        # skip 1 instruction
-  05                              00 00 00 01
-  05                              00 00 00 02
-+run: inst: 0x00000001
-+run: jump 5
-+run: inst: 0x00000008
--run: inst: 0x00000003
-
-:(before "End Single-Byte Opcodes")
-case 0x7c: {  // jump rel8 if SF and !ZF
-  int8_t offset = static_cast<int>(next());
-  if (SF != OF) {
-    trace(2, "run") << "jump " << NUM(offset) << end();
-    EIP += offset;
-  }
-  break;
-}
-
-:(scenario jl_rel8_fail)
-% ZF = false;
-% SF = false;
-% OF = false;
-# op  ModRM   SIB   displacement  immediate
-  7c                05                        # skip 1 instruction
-  05                              00 00 00 01
-  05                              00 00 00 02
-+run: inst: 0x00000001
-+run: inst: 0x00000003
-+run: inst: 0x00000008
--run: jump 5
-
-//:: jump if lesser or equal
-
-:(scenario jle_rel8_equal)
-% ZF = true;
-% SF = false;
-% OF = false;
-# op  ModRM   SIB   displacement  immediate
-  7e                05                        # skip 1 instruction
-  05                              00 00 00 01
-  05                              00 00 00 02
-+run: inst: 0x00000001
-+run: jump 5
-+run: inst: 0x00000008
--run: inst: 0x00000003
-
-:(scenario jle_rel8_lesser)
-% ZF = false;
-% SF = true;
-% OF = false;
-# op  ModRM   SIB   displacement  immediate
-  7e                05                        # skip 1 instruction
-  05                              00 00 00 01
-  05                              00 00 00 02
-+run: inst: 0x00000001
-+run: jump 5
-+run: inst: 0x00000008
--run: inst: 0x00000003
-
-:(before "End Single-Byte Opcodes")
-case 0x7e: {  // jump rel8 if SF or ZF
-  int8_t offset = static_cast<int>(next());
-  if (ZF || SF != OF) {
-    trace(2, "run") << "jump " << NUM(offset) << end();
-    EIP += offset;
-  }
-  break;
-}
-
-:(scenario jle_rel8_greater)
-% ZF = false;
-% SF = false;
-% OF = false;
-# op  ModRM   SIB   displacement  immediate
-  7e                05                        # skip 1 instruction
-  05                              00 00 00 01
-  05                              00 00 00 02
-+run: inst: 0x00000001
-+run: inst: 0x00000003
-+run: inst: 0x00000008
--run: jump 5
diff --git a/subx/015jump_relative.cc b/subx/015jump_relative.cc
index c4d92030..c9cdcd1b 100644
--- a/subx/015jump_relative.cc
+++ b/subx/015jump_relative.cc
@@ -1,47 +1,41 @@
-//: jump to 16-bit offset
+//: jump to 8-bit offset
 
 //:: jump
 
-:(scenario jump_rel16)
+:(scenario jump_rel8)
 # op  ModRM   SIB   displacement  immediate
-  e9                05 00                     # skip 1 instruction
+  eb                05                        # skip 1 instruction
   05                              00 00 00 01
   05                              00 00 00 02
 +run: inst: 0x00000001
 +run: jump 5
-+run: inst: 0x00000009
++run: inst: 0x00000008
 -run: inst: 0x00000003
 
 :(before "End Single-Byte Opcodes")
-case 0xe9: {  // jump rel8
-  int16_t offset = imm16();
-  trace(2, "run") << "jump " << offset << end();
+case 0xeb: {  // jump rel8
+  int8_t offset = static_cast<int>(next());
+  trace(2, "run") << "jump " << NUM(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)
+:(scenario je_rel8_success)
 % ZF = true;
-# op      ModRM   SIB   displacement  immediate
-  0f 84                 05 00                     # skip 1 instruction
-  05                                  00 00 00 01
-  05                                  00 00 00 02
+# op  ModRM   SIB   displacement  immediate
+  74                05                        # 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
++run: inst: 0x00000008
+-run: inst: 0x00000003
 
-:(before "End Two-Byte Opcodes Starting With 0f")
-case 0x84: {  // jump rel16 if ZF
-  int8_t offset = imm16();
+:(before "End Single-Byte Opcodes")
+case 0x74: {  // jump rel8 if ZF
+  int8_t offset = static_cast<int>(next());
   if (ZF) {
     trace(2, "run") << "jump " << NUM(offset) << end();
     EIP += offset;
@@ -49,33 +43,33 @@ case 0x84: {  // jump rel16 if ZF
   break;
 }
 
-:(scenario je_rel16_fail)
+:(scenario je_rel8_fail)
 % ZF = false;
-# op      ModRM   SIB   displacement  immediate
-  0f 84                 05 00                     # skip 1 instruction
-  05                                  00 00 00 01
-  05                                  00 00 00 02
+# op  ModRM   SIB   displacement  immediate
+  74                05                        # skip 1 instruction
+  05                              00 00 00 01
+  05                              00 00 00 02
 +run: inst: 0x00000001
-+run: inst: 0x00000005
-+run: inst: 0x0000000a
++run: inst: 0x00000003
++run: inst: 0x00000008
 -run: jump 5
 
 //:: jump if not equal/not zero
 
-:(scenario jne_rel16_success)
+:(scenario jne_rel8_success)
 % ZF = false;
-# op      ModRM   SIB   displacement  immediate
-  0f 85                 05 00                     # skip 1 instruction
-  05                                  00 00 00 01
-  05                                  00 00 00 02
+# op  ModRM   SIB   displacement  immediate
+  75                05                        # 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
++run: inst: 0x00000008
+-run: inst: 0x00000003
 
-:(before "End Two-Byte Opcodes Starting With 0f")
-case 0x85: {  // jump rel16 unless ZF
-  int8_t offset = imm16();
+:(before "End Single-Byte Opcodes")
+case 0x75: {  // jump rel8 unless ZF
+  int8_t offset = static_cast<int>(next());
   if (!ZF) {
     trace(2, "run") << "jump " << NUM(offset) << end();
     EIP += offset;
@@ -83,35 +77,35 @@ case 0x85: {  // jump rel16 unless ZF
   break;
 }
 
-:(scenario jne_rel16_fail)
+:(scenario jne_rel8_fail)
 % ZF = true;
-# op      ModRM   SIB   displacement  immediate
-  0f 85                 05 00                     # skip 1 instruction
-  05                                  00 00 00 01
-  05                                  00 00 00 02
+# op  ModRM   SIB   displacement  immediate
+  75                05                        # skip 1 instruction
+  05                              00 00 00 01
+  05                              00 00 00 02
 +run: inst: 0x00000001
-+run: inst: 0x00000005
-+run: inst: 0x0000000a
++run: inst: 0x00000003
++run: inst: 0x00000008
 -run: jump 5
 
 //:: jump if greater
 
-:(scenario jg_rel16_success)
+:(scenario jg_rel8_success)
 % ZF = false;
 % SF = false;
 % OF = false;
-# op      ModRM   SIB   displacement  immediate
-  0f 8f                 05 00                     # skip 1 instruction
-  05                                  00 00 00 01
-  05                                  00 00 00 02
+# op  ModRM   SIB   displacement  immediate
+  7f                05                        # 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
++run: inst: 0x00000008
+-run: inst: 0x00000003
 
-:(before "End Two-Byte Opcodes Starting With 0f")
-case 0x8f: {  // jump rel16 if !SF and !ZF
-  int8_t offset = imm16();
+:(before "End Single-Byte Opcodes")
+case 0x7f: {  // jump rel8 if !SF and !ZF
+  int8_t offset = static_cast<int>(next());
   if (!ZF && SF == OF) {
     trace(2, "run") << "jump " << NUM(offset) << end();
     EIP += offset;
@@ -119,36 +113,36 @@ case 0x8f: {  // jump rel16 if !SF and !ZF
   break;
 }
 
-:(scenario jg_rel16_fail)
+:(scenario jg_rel8_fail)
 % ZF = false;
 % SF = true;
 % OF = false;
-# op      ModRM   SIB   displacement  immediate
-  0f 8f                 05 00                     # skip 1 instruction
-  05                                  00 00 00 01
-  05                                  00 00 00 02
+# op  ModRM   SIB   displacement  immediate
+  7f                05                        # skip 1 instruction
+  05                              00 00 00 01
+  05                              00 00 00 02
 +run: inst: 0x00000001
-+run: inst: 0x00000005
-+run: inst: 0x0000000a
++run: inst: 0x00000003
++run: inst: 0x00000008
 -run: jump 5
 
 //:: jump if greater or equal
 
-:(scenario jge_rel16_success)
+:(scenario jge_rel8_success)
 % SF = false;
 % OF = false;
-# op      ModRM   SIB   displacement  immediate
-  0f 8d                 05 00                     # skip 1 instruction
-  05                                  00 00 00 01
-  05                                  00 00 00 02
+# op  ModRM   SIB   displacement  immediate
+  7d                05                        # 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
++run: inst: 0x00000008
+-run: inst: 0x00000003
 
-:(before "End Two-Byte Opcodes Starting With 0f")
-case 0x8d: {  // jump rel16 if !SF
-  int8_t offset = imm16();
+:(before "End Single-Byte Opcodes")
+case 0x7d: {  // jump rel8 if !SF
+  int8_t offset = static_cast<int>(next());
   if (SF == OF) {
     trace(2, "run") << "jump " << NUM(offset) << end();
     EIP += offset;
@@ -156,36 +150,36 @@ case 0x8d: {  // jump rel16 if !SF
   break;
 }
 
-:(scenario jge_rel16_fail)
+:(scenario jge_rel8_fail)
 % SF = true;
 % OF = false;
-# op      ModRM   SIB   displacement  immediate
-  0f 8d                 05 00                     # skip 1 instruction
-  05                                  00 00 00 01
-  05                                  00 00 00 02
+# op  ModRM   SIB   displacement  immediate
+  7d                05                        # skip 1 instruction
+  05                              00 00 00 01
+  05                              00 00 00 02
 +run: inst: 0x00000001
-+run: inst: 0x00000005
-+run: inst: 0x0000000a
++run: inst: 0x00000003
++run: inst: 0x00000008
 -run: jump 5
 
 //:: jump if lesser
 
-:(scenario jl_rel16_success)
+:(scenario jl_rel8_success)
 % ZF = false;
 % SF = true;
 % OF = false;
-# op      ModRM   SIB   displacement  immediate
-  0f 8c                 05 00                     # skip 1 instruction
-  05                                  00 00 00 01
-  05                                  00 00 00 02
+# op  ModRM   SIB   displacement  immediate
+  7c                05                        # 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
++run: inst: 0x00000008
+-run: inst: 0x00000003
 
-:(before "End Two-Byte Opcodes Starting With 0f")
-case 0x8c: {  // jump rel16 if SF and !ZF
-  int8_t offset = imm16();
+:(before "End Single-Byte Opcodes")
+case 0x7c: {  // jump rel8 if SF and !ZF
+  int8_t offset = static_cast<int>(next());
   if (SF != OF) {
     trace(2, "run") << "jump " << NUM(offset) << end();
     EIP += offset;
@@ -193,50 +187,50 @@ case 0x8c: {  // jump rel16 if SF and !ZF
   break;
 }
 
-:(scenario jl_rel16_fail)
+:(scenario jl_rel8_fail)
 % ZF = false;
 % SF = false;
 % OF = false;
-# op      ModRM   SIB   displacement  immediate
-  0f 8c                 05 00                     # skip 1 instruction
-  05                                  00 00 00 01
-  05                                  00 00 00 02
+# op  ModRM   SIB   displacement  immediate
+  7c                05                        # skip 1 instruction
+  05                              00 00 00 01
+  05                              00 00 00 02
 +run: inst: 0x00000001
-+run: inst: 0x00000005
-+run: inst: 0x0000000a
++run: inst: 0x00000003
++run: inst: 0x00000008
 -run: jump 5
 
 //:: jump if lesser or equal
 
-:(scenario jle_rel16_equal)
+:(scenario jle_rel8_equal)
 % ZF = true;
 % SF = false;
 % OF = false;
-# op      ModRM   SIB   displacement  immediate
-  0f 8e                 05 00                     # skip 1 instruction
-  05                                  00 00 00 01
-  05                                  00 00 00 02
+# op  ModRM   SIB   displacement  immediate
+  7e                05                        # 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
++run: inst: 0x00000008
+-run: inst: 0x00000003
 
-:(scenario jle_rel16_lesser)
+:(scenario jle_rel8_lesser)
 % ZF = false;
 % SF = true;
 % OF = false;
-# op      ModRM   SIB   displacement  immediate
-  0f 8e                 05 00                     # skip 1 instruction
-  05                                  00 00 00 01
-  05                                  00 00 00 02
+# op  ModRM   SIB   displacement  immediate
+  7e                05                        # 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
++run: inst: 0x00000008
+-run: inst: 0x00000003
 
-:(before "End Two-Byte Opcodes Starting With 0f")
-case 0x8e: {  // jump rel16 if SF or ZF
-  int8_t offset = imm16();
+:(before "End Single-Byte Opcodes")
+case 0x7e: {  // jump rel8 if SF or ZF
+  int8_t offset = static_cast<int>(next());
   if (ZF || SF != OF) {
     trace(2, "run") << "jump " << NUM(offset) << end();
     EIP += offset;
@@ -244,15 +238,15 @@ case 0x8e: {  // jump rel16 if SF or ZF
   break;
 }
 
-:(scenario jle_rel16_greater)
+:(scenario jle_rel8_greater)
 % ZF = false;
 % SF = false;
 % OF = false;
-# op      ModRM   SIB   displacement  immediate
-  0f 8e                 05 00                     # skip 1 instruction
-  05                                  00 00 00 01
-  05                                  00 00 00 02
+# op  ModRM   SIB   displacement  immediate
+  7e                05                        # skip 1 instruction
+  05                              00 00 00 01
+  05                              00 00 00 02
 +run: inst: 0x00000001
-+run: inst: 0x00000005
-+run: inst: 0x0000000a
++run: inst: 0x00000003
++run: inst: 0x00000008
 -run: jump 5
diff --git a/subx/016jump_relative.cc b/subx/016jump_relative.cc
new file mode 100644
index 00000000..c4d92030
--- /dev/null
+++ b/subx/016jump_relative.cc
@@ -0,0 +1,258 @@
+//: jump to 16-bit offset
+
+//:: jump
+
+:(scenario jump_rel16)
+# op  ModRM   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;
+# op      ModRM   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;
+# op      ModRM   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;
+# op      ModRM   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;
+# op      ModRM   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;
+# op      ModRM   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;
+# op      ModRM   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;
+# op      ModRM   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;
+# op      ModRM   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;
+# op      ModRM   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;
+# op      ModRM   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;
+# op      ModRM   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;
+# op      ModRM   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;
+# op      ModRM   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
diff --git a/subx/016functions.cc b/subx/017functions.cc
index 7837f080..7837f080 100644
--- a/subx/016functions.cc
+++ b/subx/017functions.cc