src/native_client/src/trusted/validator_x86/testdata/64/update-rsp-b32.test

   1 @hex:
   2   # Subtract a 32-bit bounded value from esp and then update rsp.
   3   # 0000000000000000: 81 ec 20 00 00 00                            sub %esp, 0x20
   4   # 0000000000000006: 4c 01 fc                                     add %rsp, %r15
   5   81 ec 20 00 00 00 \\
   6   4c 01 fc
   7 @rval:
   8   VALIDATOR: Checking jump targets: 0 to 9
   9   VALIDATOR: Checking that basic blocks are aligned
  10   *** <input> is safe ***
  11 @dis:
  12   0000000000000000: 81 ec 20 00 00 00                            sub %esp, 0x20
  13   0000000000000006: 4c 01 fc                                     add %rsp, %r15
  14 @rdfa_output:
  15   return code: 0