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

   1 @hex:
   2   # Show example of:
   3   #   mov %esp, %r13d
   4   #   add %rsp, %r15
   5   # Should be legal since the mov zero extends a 32-bit address for a legal value for the corresponding
   6   # rsp.
   7   44 89 ec \\
   8   4c 01 fc
   9 @val:
  10   VALIDATOR: Checking jump targets: 0 to 6
  11   VALIDATOR: Checking that basic blocks are aligned
  12   *** <input> is safe ***
  13 @rval:
  14   VALIDATOR: Checking jump targets: 0 to 6
  15   VALIDATOR: Checking that basic blocks are aligned
  16   *** <input> is safe ***
  17 @rvald:
  18   VALIDATOR: Checking block alignment and jump targets: 0 to 6
  19   *** <input> is safe ***
  20 @vd-rval:
  21   VALIDATOR: Checking jump targets: 0 to 6
  22   VALIDATOR: Checking that basic blocks are aligned
  23   *** <input> is safe ***
  24 @dis:
  25   0000000000000000: 44 89 ec                                     mov %esp, %r13d
  26   0000000000000003: 4c 01 fc                                     add %rsp, %r15
  27 @vdis:
  28   0000000000000000: 44 89 ec                                     mov %esp, %r13d
  29   0000000000000003: 4c 01 fc                                     add %rsp, %r15
  30 @rdfa_output:
  31   return code: 0