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

   1 @hex:
   2   # Sample valid (write sandboxed) store using an and mask.
   3   #   and %ecx, 0xe0
   4   #   mov [%r15+%rcx*8+0x36], %rax
   5   83 e1 e0 \\
   6   49 89 44 CF 36
   7 @val:
   8   VALIDATOR: Checking jump targets: 0 to 8
   9   VALIDATOR: Checking that basic blocks are aligned
  10   *** <input> is safe ***
  11 @rval:
  12   VALIDATOR: Checking jump targets: 0 to 8
  13   VALIDATOR: Checking that basic blocks are aligned
  14   *** <input> is safe ***
  15 @rvald:
  16   VALIDATOR: Checking block alignment and jump targets: 0 to 8
  17   *** <input> is safe ***
  18 @vd-rval:
  19   VALIDATOR: Checking jump targets: 0 to 8
  20   VALIDATOR: Checking that basic blocks are aligned
  21   *** <input> is safe ***
  22 @dis:
  23   0000000000000000: 83 e1 e0                                     and %ecx, 0xe0
  24   0000000000000003: 49 89 44 cf 36                               mov [%r15+%rcx*8+0x36], %rax
  25 @vdis:
  26   0000000000000000: 83 e1 e0                                     and %ecx, 0xe0
  27   0000000000000003: 49 89 44 cf 36                               mov [%r15+%rcx*8+0x36], %rax
  28 @rdfa_output:
  29   return code: 0