| Index: src/trusted/validator/x86/testing/tf/converted/32/test_insts.tf
|
| diff --git a/src/trusted/validator/x86/testing/tf/converted/32/test_insts.tf b/src/trusted/validator/x86/testing/tf/converted/32/test_insts.tf
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..360e21df0aaf9d6dc558736681db409ab440075a
|
| --- /dev/null
|
| +++ b/src/trusted/validator/x86/testing/tf/converted/32/test_insts.tf
|
| @@ -0,0 +1,15 @@
|
| +BITS: 32
|
| +OUTCOME: valid
|
| +
|
| +# Test sample x86 32-bit instructions.
|
| +# push %ebp
|
| +# lea %esi, %ds[%esi+%esp*1]
|
| +# mov %eax, 0x55667788
|
| +# mov %ax, 0x7788
|
| +# mov %al, [0x11223344]
|
| +
|
| +hex: 55 8d 74 26 00 b8 88 77 66 55
|
| +
|
| +asm: mov $0x7788,%ax; mov 0x11223344,%al
|
| +hex: 66 b8 88 77 a0 44 33 22 11
|
| +
|
|
|