| Index: src/trusted/validator_x86/testdata/64/addrex.tf
|
| diff --git a/src/trusted/validator_x86/testdata/64/addrex.hex b/src/trusted/validator_x86/testdata/64/addrex.tf
|
| similarity index 62%
|
| copy from src/trusted/validator_x86/testdata/64/addrex.hex
|
| copy to src/trusted/validator_x86/testdata/64/addrex.tf
|
| index 4b48e57924e2293d61ee73bae71358fac9ba0fbc..e9d001030319970244ae1b88266a8c35c8042203 100644
|
| --- a/src/trusted/validator_x86/testdata/64/addrex.hex
|
| +++ b/src/trusted/validator_x86/testdata/64/addrex.tf
|
| @@ -1,3 +1,8 @@
|
| +BITS: 64
|
| +OUTCOME: valid
|
| +
|
| # Sample test to see if we don't complain about a single REX prefix.
|
| # That is, validate: add %r11d, %eax
|
| -41 01 C3
|
| +asm: add %eax,%r11d
|
| +hex: 41 01 C3
|
| +
|
|
|