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

   1 @hex:
   2   # Models a jump to the begining of an atomic instruction sequence.
   3   # jmp 0x2
   4   EB 00
   5   # and %edx, 0xe0
   6   83 e2 e0 \\
   7   # add %rdx, %r15
   8   4c 01 fa \\
   9   # jmp %rdx
  10   ff e2
  11 @val:
  12   VALIDATOR: Checking jump targets: 0 to a
  13   VALIDATOR: Checking that basic blocks are aligned
  14   *** <input> is safe ***
  15 @rval:
  16   VALIDATOR: Checking jump targets: 0 to a
  17   VALIDATOR: Checking that basic blocks are aligned
  18   *** <input> is safe ***
  19 @rvald:
  20   VALIDATOR: Checking block alignment and jump targets: 0 to a
  21   *** <input> is safe ***
  22 @vd-rval:
  23   VALIDATOR: Checking jump targets: 0 to a
  24   VALIDATOR: Checking that basic blocks are aligned
  25   *** <input> is safe ***
  26 @dis:
  27   0000000000000000: eb 00                                        jmp 0x2
  28   0000000000000002: 83 e2 e0                                     and %edx, 0xe0
  29   0000000000000005: 4c 01 fa                                     add %rdx, %r15
  30   0000000000000008: ff e2                                        jmp %rdx
  31 @vdis:
  32   0000000000000000: eb 00                                        [P] dontcarejump %rip (s), 0x2 (u)
  33   0000000000000002: 83 e2 e0                                     and %edx, 0xe0
  34   0000000000000005: 4c 01 fa                                     add %rdx, %r15
  35   0000000000000008: ff e2                                        [P] dontcarejump %rip (s), %rdx (u)
  36 @rdfa_output:
  37   return code: 0