Index: src/trusted/validator/x86/testing/tf/converted/64/addrex.tf |
diff --git a/src/trusted/validator/x86/testing/tf/converted/64/addrex.tf b/src/trusted/validator/x86/testing/tf/converted/64/addrex.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..e9d001030319970244ae1b88266a8c35c8042203 |
--- /dev/null |
+++ b/src/trusted/validator/x86/testing/tf/converted/64/addrex.tf |
@@ -0,0 +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 |
+asm: add %eax,%r11d |
+hex: 41 01 C3 |
+ |