Index: src/trusted/validator_x86/testdata/64/addrex.tf |
diff --git a/src/trusted/validator_x86/testdata/64/addrex.hex b/src/trusted/validator_x86/testdata/64/addrex.tf |
similarity index 62% |
copy from src/trusted/validator_x86/testdata/64/addrex.hex |
copy to src/trusted/validator_x86/testdata/64/addrex.tf |
index 4b48e57924e2293d61ee73bae71358fac9ba0fbc..e9d001030319970244ae1b88266a8c35c8042203 100644 |
--- a/src/trusted/validator_x86/testdata/64/addrex.hex |
+++ b/src/trusted/validator_x86/testdata/64/addrex.tf |
@@ -1,3 +1,8 @@ |
+BITS: 64 |
+OUTCOME: valid |
+ |
# Sample test to see if we don't complain about a single REX prefix. |
# That is, validate: add %r11d, %eax |
-41 01 C3 |
+asm: add %eax,%r11d |
+hex: 41 01 C3 |
+ |