| Index: src/trusted/validator_x86/testdata/32/test-1.tf
|
| diff --git a/src/trusted/validator_x86/testdata/32/test-1.tf b/src/trusted/validator_x86/testdata/32/test-1.tf
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..ab92805610b420874ddbac08db8fb8ec29eb4182
|
| --- /dev/null
|
| +++ b/src/trusted/validator_x86/testdata/32/test-1.tf
|
| @@ -0,0 +1,37 @@
|
| +BITS: 32
|
| +OUTCOME: invalid
|
| +
|
| +# test 1: a first very simple test with an illegal inst.
|
| +asm: push %ebp
|
| +hex: 55
|
| +
|
| +asm: mov %esp,%ebp
|
| +hex: 89 e5
|
| +
|
| +asm: sub $0x8,%esp
|
| +hex: 83 ec 08
|
| +
|
| +asm: call .+134
|
| +hex: e8 81 00 00 00
|
| +nc_out: JUMP TARGET out of range
|
| +
|
| +asm: call .+216
|
| +hex: e8 d3 00 00 00
|
| +nc_out: JUMP TARGET out of range
|
| +
|
| +asm: call .+1272
|
| +hex: e8 f3 04 00 00
|
| +nc_out: JUMP TARGET out of range
|
| +
|
| +asm: leave
|
| +hex: c9
|
| +
|
| +asm: ret
|
| +hex: c3
|
| +nc_out: ret instruction (not allowed)
|
| +nc_out: Illegal instruction
|
| +
|
| +asm: add %al,(%eax); hlt
|
| +hex: 00 00 f4
|
| +
|
| +
|
|
|