Index: src/trusted/validator_x86/testdata/64/addrex2.tf |
diff --git a/src/trusted/validator_x86/testdata/64/addrex2.tf b/src/trusted/validator_x86/testdata/64/addrex2.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..e8a54f22614e228fa5939fff96b7f63c2fd3f334 |
--- /dev/null |
+++ b/src/trusted/validator_x86/testdata/64/addrex2.tf |
@@ -0,0 +1,9 @@ |
+BITS: 64 |
+OUTCOME: invalid |
+ |
+# Sample test to see if we recognize multiple REX prefixes (40 and 41 below). |
+# Instruction is: add %r11d, %eax |
+asm: rex; add %eax,%r11d |
+hex: 40 41 01 C3 |
+nc_out: ERROR: Multiple use of REX prefix not allowed |
+ |