src/native_client/src/trusted/validator_x86/testdata/64/addrex2.test

   1 @hex:
   2   # Sample test to see if we recognize multiple REX prefixes (40 and 41 below).
   3   # Instruction is: add %r11d, %eax
   4   40 41 01 C3
   5 @val:
   6   VALIDATOR: 0000000000000000: 40 41 01 c3                                  add %r11d, %eax
   7   VALIDATOR: ERROR: Multiple use of REX prefix not allowed
   8   VALIDATOR: Checking jump targets: 0 to 4
   9   VALIDATOR: Checking that basic blocks are aligned
  10   *** <input> IS UNSAFE ***
  11 @rval:
  12   VALIDATOR: 0000000000000000: 40 41 01 c3                                  add %r11d, %eax
  13   VALIDATOR: ERROR: Multiple use of REX prefix not allowed
  14   VALIDATOR: Checking jump targets: 0 to 4
  15   VALIDATOR: Checking that basic blocks are aligned
  16   *** <input> IS UNSAFE ***
  17 @rvald:
  18   VALIDATOR: 0000000000000000: 40 41 01 c3                                  add %r11d, %eax
  19   VALIDATOR: ERROR: Multiple use of REX prefix not allowed
  20   VALIDATOR: Checking block alignment and jump targets: 0 to 4
  21   *** <input> IS UNSAFE ***
  22 @vd-rval:
  23   VALIDATOR: 0000000000000000: 40 41 01 c3                                  add %r11d, %eax
  24   VALIDATOR: ERROR: Multiple use of REX prefix not allowed
  25   VALIDATOR: Checking jump targets: 0 to 4
  26   VALIDATOR: Checking that basic blocks are aligned
  27   *** <input> IS UNSAFE ***
  28 @dis:
  29   0000000000000000: 40 41 01 c3                                  add %r11d, %eax
  30 @vdis:
  31   0000000000000000: 40 41 01 c3                                  add %r11d, %eax
  32 @rdfa_output:
  33   0: [0] unrecognized instruction
  34   return code: 1