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

   1 @hex:
   2   # Sample test to see if we don't complain about a single REX prefix.
   3   # That is, validate: add %r11d, %eax
   4   41 01 C3
   5 @val:
   6   VALIDATOR: Checking jump targets: 0 to 3
   7   VALIDATOR: Checking that basic blocks are aligned
   8   *** <input> is safe ***
   9 @rval:
  10   VALIDATOR: Checking jump targets: 0 to 3
  11   VALIDATOR: Checking that basic blocks are aligned
  12   *** <input> is safe ***
  13 @rvald:
  14   VALIDATOR: Checking block alignment and jump targets: 0 to 3
  15   *** <input> is safe ***
  16 @vd-rval:
  17   VALIDATOR: Checking jump targets: 0 to 3
  18   VALIDATOR: Checking that basic blocks are aligned
  19   *** <input> is safe ***
  20 @dis:
  21   0000000000000000: 41 01 c3                                     add %r11d, %eax
  22 @vdis:
  23   0000000000000000: 41 01 c3                                     add %r11d, %eax
  24 @rdfa_output:
  25   return code: 0