Index: src/trusted/validator_x86/testdata/64/valid_and_store.tf |
diff --git a/src/trusted/validator_x86/testdata/64/valid_and_store.tf b/src/trusted/validator_x86/testdata/64/valid_and_store.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..be6d63b02ac07e176fc394563e9a08cc0ea34dc0 |
--- /dev/null |
+++ b/src/trusted/validator_x86/testdata/64/valid_and_store.tf |
@@ -0,0 +1,14 @@ |
+BITS: 64 |
+OUTCOME: valid |
+ |
+# Sample valid (write sandboxed) store using an and mask. |
+# and %ecx, 0xe0 |
+# mov [%r15+%rcx*8+0x36], %rax |
+asm: and $0xffffffffffffffe0,%ecx |
+hex: 83 e1 e0 |
+ |
+asm: mov %rax,0x36(%r15,%rcx,8) |
+hex: 49 89 44 CF 36 |
+ |
+ |
+ |