| Index: src/trusted/validator_ragel/instruction_definitions/general_purpose_instructions.def
|
| diff --git a/src/trusted/validator_ragel/instruction_definitions/general_purpose_instructions.def b/src/trusted/validator_ragel/instruction_definitions/general_purpose_instructions.def
|
| index e0b961f5a263cec7cd9661b41e71632a6d6d4542..697c9a02bf67d677215916bc3f3d484ff1334048 100644
|
| --- a/src/trusted/validator_ragel/instruction_definitions/general_purpose_instructions.def
|
| +++ b/src/trusted/validator_ragel/instruction_definitions/general_purpose_instructions.def
|
| @@ -118,9 +118,6 @@ bsr Eq Gq, data16 rexw 0x0f 0xbd, amd64 nacl-forbidden
|
| # reference.
|
| bswap ry, 0x0f 0xc8
|
| ######## BT ####################################################################
|
| -# "bt" is not marked as nacl-amd64-zero-extends out of caution. We assume that
|
| -# this instruction is used for bit manipulation rather than computing viable
|
| -# addresses.
|
| bt Gv =Ev, 0x0f 0xa3, nacl-forbidden
|
| bt Ib =Ev, 0x0f 0xba /4, nacl-ia32-forbidden
|
| ######## BTC ###################################################################
|
|
|