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

   1 @hex:
   2   # Models a jump where the mask and the jump registers don't match.
   3   # and %ebx, $~0x1f
   4   83 e3 e0
   5   # add %rbx, %r15
   6   4c 01 fb
   7   # jmp %rax
   8   ff e0
   9 @val:
  10   VALIDATOR: 0000000000000006: ff e0                                        jmp %rax
  11   VALIDATOR: ERROR: Invalid indirect jump
  12   VALIDATOR: Checking jump targets: 0 to 8
  13   VALIDATOR: Checking that basic blocks are aligned
  14   *** <input> IS UNSAFE ***
  15 @rval:
  16   VALIDATOR: 0000000000000006: ff e0                                        jmp %rax
  17   VALIDATOR: ERROR: Invalid indirect jump
  18   VALIDATOR: Checking jump targets: 0 to 8
  19   VALIDATOR: Checking that basic blocks are aligned
  20   *** <input> IS UNSAFE ***
  21 @rvald:
  22   VALIDATOR: 0000000000000006: ff e0                                        jmp %rax
  23   VALIDATOR: ERROR: Invalid indirect jump
  24   VALIDATOR: Checking block alignment and jump targets: 0 to 8
  25   *** <input> IS UNSAFE ***
  26 @vd-rval:
  27   VALIDATOR: 0000000000000006: ff e0                                        [P] dontcarejump %rip (s), %rax (u)
  28   VALIDATOR: ERROR: Invalid indirect jump
  29   VALIDATOR: Checking jump targets: 0 to 8
  30   VALIDATOR: Checking that basic blocks are aligned
  31   *** <input> IS UNSAFE ***
  32 @dis:
  33   0000000000000000: 83 e3 e0                                     and %ebx, 0xe0
  34   0000000000000003: 4c 01 fb                                     add %rbx, %r15
  35   0000000000000006: ff e0                                        jmp %rax
  36 @vdis:
  37   0000000000000000: 83 e3 e0                                     and %ebx, 0xe0
  38   0000000000000003: 4c 01 fb                                     add %rbx, %r15
  39   0000000000000006: ff e0                                        [P] dontcarejump %rip (s), %rax (u)
  40 @rdfa_output:
  41   6: [0] unrecognized instruction
  42   return code: 1
  43 @validators_disagree:
  44   errors reported by rdfa  but not old validator:
  45     0x0 (both report 0x6).