| Index: src/trusted/validator_x86/testdata/64/rbp67.tf
|
| diff --git a/src/trusted/validator_x86/testdata/64/rbp67.tf b/src/trusted/validator_x86/testdata/64/rbp67.tf
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..7e836b94a311553bd35eb5b42da876b62ecd3899
|
| --- /dev/null
|
| +++ b/src/trusted/validator_x86/testdata/64/rbp67.tf
|
| @@ -0,0 +1,16 @@
|
| +BITS: 64
|
| +OUTCOME: invalid
|
| +
|
| +# Mark Dowd example (hello_rbp.c)
|
| +# Issue 390
|
| +
|
| +# mov $0x12345678,%eax
|
| +asm: mov $0x12345678,%eax
|
| +hex: b8 78 56 34 12
|
| +
|
| +
|
| +# addr32 mov %rax,0x63e470(%ebp,%eiz,1)
|
| +hex: 67 48 89 84 25 70 e4 63 00
|
| +nc_out: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client
|
| +nc_out: ERROR: Assignment to non-64 bit memory address
|
| +
|
|
|