src/native_client/src/trusted/validator_x86/testdata/64/direct-cond-jump-16.test

   1 @hex:
   2   # This file tests how we handle a 16-bit conditional direct jump. In particular,
   3   # it tests whether we actually disallow prefix 66 on direct jumps.
   4   #
   5   # Define direct (16-bit) conditional jump, which NaCl doesn't allow
   6   66 0f 84 05 00
   7
   8   # Padding in case the parser of the previous instruction recognizes
   9   # the wrong byte length for the jump constant.
  10   90 90 90
  11 @rval:
  12   VALIDATOR: 0000000000000000: 66 0f 84                                     invalid
  13   VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction
  14   VALIDATOR: 0000000000000000: 66 0f 84                                     invalid
  15   VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Native Client
  16   VALIDATOR: Checking jump targets: 0 to 8
  17   VALIDATOR: Checking that basic blocks are aligned
  18   *** <input> IS UNSAFE ***
  19 @dis:
  20   0000000000000000: 66 0f 84                                     invalid
  21   0000000000000003: 05 00 90 90 90                               add %eax, 0x90909000
  22 @rdfa_output:
  23   0: [0] unrecognized instruction
  24   return code: 1