Index: src/trusted/validator/x86/testing/tf/converted/64/mv_ebp_add_rbp_r15.tf |
diff --git a/src/trusted/validator/x86/testing/tf/converted/64/mv_ebp_add_rbp_r15.tf b/src/trusted/validator/x86/testing/tf/converted/64/mv_ebp_add_rbp_r15.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..24ecdd14be341b5ebe4a5e1550f5bbf939bd7310 |
--- /dev/null |
+++ b/src/trusted/validator/x86/testing/tf/converted/64/mv_ebp_add_rbp_r15.tf |
@@ -0,0 +1,14 @@ |
+BITS: 64 |
+OUTCOME: valid |
+ |
+# Check that we handle sequence when not crossing block boundaries: |
+# mov %ebp, %r11d |
+# add %rbp, %r15" |
+# Note: Instruction sequence used in mv_ebp_add_crossing.hex to show problems |
+# when crossing block boundaries. |
+asm: mov %r11d,%ebp; add %r15,%rbp |
+hex: 44 89 dd 4c 01 fd |
+ |
+ |
+ |
+ |