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

   1 @hex:
   2   # This file tests how we handle a 16-bit direct jump. In particular, it tests
   3   # whether we actually disallow prefix 66 on the direct jump.
   4   #
   5   # Define direct (16-bit) jump, which NaCl doesn't allow
   6   66 e9 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 90
  11
  12 @rval:
  13   VALIDATOR: 0000000000000000: 66 e9                                        invalid
  14   VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction
  15   VALIDATOR: 0000000000000000: 66 e9                                        invalid
  16   VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Native Client
  17   VALIDATOR: Checking jump targets: 0 to 8
  18   VALIDATOR: Checking that basic blocks are aligned
  19   *** <input> IS UNSAFE ***
  20 @dis:
  21   0000000000000000: 66 e9                                        invalid
  22   0000000000000002: 05 00 90 90 90                               add %eax, 0x90909000
  23   0000000000000007: 90                                           nop
  24 @rdfa_output:
  25   0: [0] unrecognized instruction
  26   return code: 1