Chromium Code Reviews| Index: src/trusted/validator/x86/testing/tf/converted/64/update-rsp-b32.tf |
| diff --git a/src/trusted/validator/x86/testing/tf/converted/64/update-rsp-b32.tf b/src/trusted/validator/x86/testing/tf/converted/64/update-rsp-b32.tf |
| new file mode 100644 |
| index 0000000000000000000000000000000000000000..9d16fa55bc81b4beef9a49858612f2b3dfc3bfd2 |
| --- /dev/null |
| +++ b/src/trusted/validator/x86/testing/tf/converted/64/update-rsp-b32.tf |
| @@ -0,0 +1,11 @@ |
| +BITS: 64 |
| +OUTCOME: valid |
| + |
| +# Subtract a 32-bit bounded value from esp and then update rsp. |
| +# 0000000000000000: 81 ec 20 00 00 00 sub %esp, 0x20 |
| +# 0000000000000006: 4c 01 fc add %rsp, %r15 |
| +hex: 81 ec 20 00 00 00 |
| + |
| +asm: add %r15,%rsp |
| +hex: 4c 01 fc |
| + |