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

   1 @hex:
   2   # Invalid and store, because the index isn't 32 zero extended bits.
   3   66 83 e1 e0
   4   49 89 44 CF 36
   5
   6 @val:
   7   VALIDATOR: 0000000000000004: 49 89 44 cf 36                               mov [%r15+%rcx*8+0x36], %rax
   8   VALIDATOR: ERROR: Invalid index register in memory offset
   9   VALIDATOR: Checking jump targets: 0 to 9
  10   VALIDATOR: Checking that basic blocks are aligned
  11   *** <input> IS UNSAFE ***
  12 @rval:
  13   VALIDATOR: 0000000000000004: 49 89 44 cf 36                               mov [%r15+%rcx*8+0x36], %rax
  14   VALIDATOR: ERROR: Invalid index register in memory offset
  15   VALIDATOR: Checking jump targets: 0 to 9
  16   VALIDATOR: Checking that basic blocks are aligned
  17   *** <input> IS UNSAFE ***
  18 @rvald:
  19   VALIDATOR: 0000000000000004: 49 89 44 cf 36                               mov [%r15+%rcx*8+0x36], %rax
  20   VALIDATOR: ERROR: Invalid index register in memory offset
  21   VALIDATOR: Checking block alignment and jump targets: 0 to 9
  22   *** <input> IS UNSAFE ***
  23 @vd-rval:
  24   VALIDATOR: 0000000000000004: 49 89 44 cf 36                               mov [%r15+%rcx*8+0x36], %rax
  25   VALIDATOR: ERROR: Invalid index register in memory offset
  26   VALIDATOR: Checking jump targets: 0 to 9
  27   VALIDATOR: Checking that basic blocks are aligned
  28   *** <input> IS UNSAFE ***
  29 @dis:
  30   0000000000000000: 66 83 e1 e0                                  and %cx, 0xe0
  31   0000000000000004: 49 89 44 cf 36                               mov [%r15+%rcx*8+0x36], %rax
  32 @vdis:
  33   0000000000000000: 66 83 e1 e0                                  and %cx, 0xe0
  34   0000000000000004: 49 89 44 cf 36                               mov [%r15+%rcx*8+0x36], %rax
  35 @rdfa_output:
  36   4: [0] improper memory address - bad index
  37   return code: 1