Index: src/trusted/validator_x86/testdata/64/jmp-16.tf |
diff --git a/src/trusted/validator_x86/testdata/64/jmp-16.hex b/src/trusted/validator_x86/testdata/64/jmp-16.tf |
similarity index 71% |
copy from src/trusted/validator_x86/testdata/64/jmp-16.hex |
copy to src/trusted/validator_x86/testdata/64/jmp-16.tf |
index 1ede165dd1c59cf7a711083d6e62d04b92e5d787..63cc7c2580c567f713ceadebf429c556abe7bceb 100644 |
--- a/src/trusted/validator_x86/testdata/64/jmp-16.hex |
+++ b/src/trusted/validator_x86/testdata/64/jmp-16.tf |
@@ -1,5 +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 |
-66 ff e0 |
+asm: jmpw *%ax |
+hex: 66 ff e0 |
+nc_out: ERROR: Invalid indirect jump |
+ |