| Index: src/trusted/validator_x86/testdata/64/jmp-16.tf
|
| diff --git a/src/trusted/validator_x86/testdata/64/jmp-16.hex b/src/trusted/validator_x86/testdata/64/jmp-16.tf
|
| similarity index 71%
|
| copy from src/trusted/validator_x86/testdata/64/jmp-16.hex
|
| copy to src/trusted/validator_x86/testdata/64/jmp-16.tf
|
| index 1ede165dd1c59cf7a711083d6e62d04b92e5d787..63cc7c2580c567f713ceadebf429c556abe7bceb 100644
|
| --- a/src/trusted/validator_x86/testdata/64/jmp-16.hex
|
| +++ b/src/trusted/validator_x86/testdata/64/jmp-16.tf
|
| @@ -1,5 +1,11 @@
|
| +BITS: 64
|
| +OUTCOME: invalid
|
| +
|
| # Sample of using a 16-bit indirect jump.
|
| # Note: x86-64 instructions don't define a 32-bit case, and
|
| # so it is not tested here. 64-bit cases alreay are tested elsewhere!
|
| # 0000000000000000: 66 ff e0 jmp %ax
|
| -66 ff e0
|
| +asm: jmpw *%ax
|
| +hex: 66 ff e0
|
| +nc_out: ERROR: Invalid indirect jump
|
| +
|
|
|