Index: src/trusted/validator_x86/testdata/64/rex_invalid.tf |
diff --git a/src/trusted/validator_x86/testdata/64/rex_invalid.tf b/src/trusted/validator_x86/testdata/64/rex_invalid.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..3ed7ae4e4c8ffed219e7e563b5f9bd8a14e445eb |
--- /dev/null |
+++ b/src/trusted/validator_x86/testdata/64/rex_invalid.tf |
@@ -0,0 +1,32 @@ |
+BITS: 64 |
+OUTCOME: valid |
+ |
+# mov %rax,%rax |
+# test that we accept rex prefixes with bits which are not used by |
+# the command. |
+asm: mov %rax,%rax |
+hex: 48 89 C0 |
+ |
+hex: 47 89 C0 |
+ |
+hex: 46 89 C0 |
+ |
+asm: mov %r8d,%r8d |
+hex: 45 89 C0 |
+ |
+asm: mov %r8d,%eax |
+hex: 44 89 C0 |
+ |
+hex: 43 89 C0 |
+ |
+asm: rex.X mov %eax,%eax |
+hex: 42 89 C0 |
+ |
+asm: mov %eax,%r8d |
+hex: 41 89 C0 |
+ |
+asm: rex mov %eax,%eax |
+hex: 40 89 C0 |
+ |
+hex: 4F 89 C0 |
+ |