| Index: src/trusted/validator/x86/testing/tf/converted/32/direct-jump-16.tf
|
| diff --git a/src/trusted/validator/x86/testing/tf/converted/32/direct-jump-16.tf b/src/trusted/validator/x86/testing/tf/converted/32/direct-jump-16.tf
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..c35a4a4f3a66b08c9e86260cb54d8036f252c54e
|
| --- /dev/null
|
| +++ b/src/trusted/validator/x86/testing/tf/converted/32/direct-jump-16.tf
|
| @@ -0,0 +1,17 @@
|
| +BITS: 32
|
| +OUTCOME: invalid
|
| +
|
| +# This file tests how we handle a 16-bit direct jump. In particular, it tests
|
| +# whether we actually disallow prefix 66 on the direct jump.
|
| +#
|
| +# Define direct (16-bit) jump, which NaCl doesn't allow
|
| +hex: 66 e9 01 00
|
| +nc_out: Bad prefix usage
|
| +
|
| +
|
| +# Padding in case the parser of the previous instruction recognizes
|
| +# the wrong byte length for the jump constant.
|
| +asm: nop; nop
|
| +hex: 90 90
|
| +
|
| +
|
|
|