src/native_client/src/trusted/validator_x86/testdata/64/sub-add-rsp.test

   1 @hex:
   2   # Sample sequence for enter (nativeclient issue 259), part 1.
   3   #   sub %esp, %eax
   4   #   add %rsp, %r15
   5   29 c4 \\
   6   4c 01 fc
   7
   8 @val:
   9   VALIDATOR: Checking jump targets: 0 to 5
  10   VALIDATOR: Checking that basic blocks are aligned
  11   *** <input> is safe ***
  12 @rval:
  13   VALIDATOR: Checking jump targets: 0 to 5
  14   VALIDATOR: Checking that basic blocks are aligned
  15   *** <input> is safe ***
  16 @rvald:
  17   VALIDATOR: Checking block alignment and jump targets: 0 to 5
  18   *** <input> is safe ***
  19 @vd-rval:
  20   VALIDATOR: Checking jump targets: 0 to 5
  21   VALIDATOR: Checking that basic blocks are aligned
  22   *** <input> is safe ***
  23 @dis:
  24   0000000000000000: 29 c4                                        sub %esp, %eax
  25   0000000000000002: 4c 01 fc                                     add %rsp, %r15
  26 @vdis:
  27   0000000000000000: 29 c4                                        sub %esp, %eax
  28   0000000000000002: 4c 01 fc                                     add %rsp, %r15
  29 @rdfa_output:
  30   return code: 0