src/native_client/src/trusted/validator_x86/testdata/64/mov-esi-nop-use.test

   1 @hex:
   2   # Case where we should conclude that the index register rsi in the second move contains
   3   # only 32 bits, and is set by the mov, so it is legal (i.e. it zero extends).
   4   # That is, the two moves:
   5   #     mov %esi, %esi
   6   #     mov [%r15 + %rsi*1 + 0x8], %edx
   7   89 f6 \\
   8   41 89 54 37 08
   9 @val:
  10   VALIDATOR: Checking jump targets: 0 to 7
  11   VALIDATOR: Checking that basic blocks are aligned
  12   *** <input> is safe ***
  13 @rval:
  14   VALIDATOR: Checking jump targets: 0 to 7
  15   VALIDATOR: Checking that basic blocks are aligned
  16   *** <input> is safe ***
  17 @rvald:
  18   VALIDATOR: Checking block alignment and jump targets: 0 to 7
  19   *** <input> is safe ***
  20 @vd-rval:
  21   VALIDATOR: Checking jump targets: 0 to 7
  22   VALIDATOR: Checking that basic blocks are aligned
  23   *** <input> is safe ***
  24 @dis:
  25   0000000000000000: 89 f6                                        mov %esi, %esi
  26   0000000000000002: 41 89 54 37 08                               mov [%r15+%rsi*1+0x8], %edx
  27 @vdis:
  28   0000000000000000: 89 f6                                        mov %esi, %esi
  29   0000000000000002: 41 89 54 37 08                               mov [%r15+%rsi*1+0x8], %edx
  30 @rdfa_output:
  31   return code: 0