| Index: src/trusted/validator_x86/testdata/32/bt.tf
|
| diff --git a/src/trusted/validator_x86/testdata/32/bt.tf b/src/trusted/validator_x86/testdata/32/bt.tf
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..cdd4702efec4ccaacc838b887e9053ce250c86c0
|
| --- /dev/null
|
| +++ b/src/trusted/validator_x86/testdata/32/bt.tf
|
| @@ -0,0 +1,32 @@
|
| +BITS: 32
|
| +OUTCOME: invalid
|
| +
|
| +# Test legal bit commands
|
| +# btw $0x1,(%esp)
|
| +asm: btw $0x1,(%esp)
|
| +hex: 66 0f ba 24 24 01
|
| +nc_out: Undefined instruction
|
| +
|
| +asm: nop; nop; nop; nop; nop
|
| +hex: 90 90 90 90 90
|
| +
|
| +# btl $0x1,(%esp)
|
| +asm: btl $0x1,(%esp)
|
| +hex: 0f ba 24 24 01
|
| +nc_out: Illegal instruction
|
| +
|
| +# btrl $0x1,(%esp)
|
| +asm: btrl $0x1,(%esp)
|
| +hex: 0f ba 34 24 01
|
| +nc_out: Illegal instruction
|
| +
|
| +# btsl $0x1,(%esp)
|
| +asm: btsl $0x1,(%esp)
|
| +hex: 0f ba 2c 24 01
|
| +nc_out: Illegal instruction
|
| +
|
| +# btcl $0x1,(%esp)
|
| +asm: btcl $0x1,(%esp)
|
| +hex: 0f ba 3c 24 01
|
| +nc_out: Illegal instruction
|
| +
|
|
|