Index: src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.tf |
diff --git a/src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.hex b/src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.tf |
similarity index 71% |
copy from src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.hex |
copy to src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.tf |
index 67affa7d16906a467cbfb1db5b0eea9721057f97..24ecdd14be341b5ebe4a5e1550f5bbf939bd7310 100644 |
--- a/src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.hex |
+++ b/src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.tf |
@@ -1,9 +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. |
-44 89 dd 4c 01 fd |
+asm: mov %r11d,%ebp; add %r15,%rbp |
+hex: 44 89 dd 4c 01 fd |
+ |