Index: src/trusted/validator_x86/testdata/64/mv_ebp_alone.tf |
diff --git a/src/trusted/validator_x86/testdata/64/mv_ebp_alone.tf b/src/trusted/validator_x86/testdata/64/mv_ebp_alone.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..52086f543728865309c156de390d961543fcbf5d |
--- /dev/null |
+++ b/src/trusted/validator_x86/testdata/64/mv_ebp_alone.tf |
@@ -0,0 +1,9 @@ |
+BITS: 64 |
+OUTCOME: invalid |
+ |
+# Test that we don't accept "mov %ebp, %r11d" if not followed by an "add %rbp %r15" |
+asm: mov %r11d,%ebp |
+hex: 44 89 dd |
+nc_out: ERROR: Illegal assignment to EBP |
+ |
+ |