Index: src/trusted/validator/x86/testing/tf/converted/64/jmp-16.tf |
diff --git a/src/trusted/validator/x86/testing/tf/converted/64/jmp-16.tf b/src/trusted/validator/x86/testing/tf/converted/64/jmp-16.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..63cc7c2580c567f713ceadebf429c556abe7bceb |
--- /dev/null |
+++ b/src/trusted/validator/x86/testing/tf/converted/64/jmp-16.tf |
@@ -0,0 +1,11 @@ |
+BITS: 64 |
+OUTCOME: invalid |
+ |
+# Sample of using a 16-bit indirect jump. |
+# Note: x86-64 instructions don't define a 32-bit case, and |
+# so it is not tested here. 64-bit cases alreay are tested elsewhere! |
+# 0000000000000000: 66 ff e0 jmp %ax |
+asm: jmpw *%ax |
+hex: 66 ff e0 |
+nc_out: ERROR: Invalid indirect jump |
+ |