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

   1 @hex:
   2   # Example of legal add. Uses both lock and DATA16 prefixes.
   3   66 f0 83 05 bb 05 5e 00 ff
   4   f0 66 83 05 bb 05 5e 00 ff
   5 @val:
   6   VALIDATOR: Checking jump targets: 0 to 12
   7   VALIDATOR: Checking that basic blocks are aligned
   8   *** <input> is safe ***
   9 @rval:
  10   VALIDATOR: Checking jump targets: 0 to 12
  11   VALIDATOR: Checking that basic blocks are aligned
  12   *** <input> is safe ***
  13 @rvald:
  14   VALIDATOR: Checking block alignment and jump targets: 0 to 12
  15   *** <input> is safe ***
  16 @vd-rval:
  17   VALIDATOR: Checking jump targets: 0 to 12
  18   VALIDATOR: Checking that basic blocks are aligned
  19   *** <input> is safe ***
  20 @dis:
  21   0000000000000000: 66 f0 83 05 bb 05 5e 00 ff                   add [%rip+0x5e05bb], 0xff
  22   0000000000000009: f0 66 83 05 bb 05 5e 00 ff                   add [%rip+0x5e05bb], 0xff
  23 @rdfa_output:
  24   return code: 0