| Index: src/trusted/validator_x86/testdata/64/rip67.tf
|
| diff --git a/src/trusted/validator_x86/testdata/64/rip67.tf b/src/trusted/validator_x86/testdata/64/rip67.tf
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..bb020c5003d390de6d9787e79016700a725082b1
|
| --- /dev/null
|
| +++ b/src/trusted/validator_x86/testdata/64/rip67.tf
|
| @@ -0,0 +1,17 @@
|
| +BITS: 64
|
| +OUTCOME: invalid
|
| +
|
| +# hello_rip.c example from Mark Dowd.
|
| +# Issue 390
|
| +
|
| +# mov $0x12345678,%eax
|
| +asm: mov $0x12345678,%eax
|
| +hex: b8 78 56 34 12
|
| +
|
| +
|
| +# addr32 mov %rax,0x61e0cf(%eip) 63e420 <_end+0x3da70>
|
| +asm: addr32 mov %rax,0x61e0cf(%eip) # 0x61e0d7;
|
| +hex: 67 48 89 05 cf e0 61 00
|
| +nc_out: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client
|
| +nc_out: ERROR: Assignment to non-64 bit memory address
|
| +
|
|
|