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

   1 @hex:
   2   # Check that we handle sequence when not crossing block boundaries:
   3   #   mov %ebp, %r11d
   4   #   add %rbp, %r15"
   5   # Note: Instruction sequence used in mv_ebp_add_crossing.hex to show problems
   6   # when crossing block boundaries.
   7   44 89 dd 4c 01 fd
   8
   9
  10
  11 @val:
  12   VALIDATOR: Checking jump targets: 0 to 6
  13   VALIDATOR: Checking that basic blocks are aligned
  14   *** <input> is safe ***
  15 @rval:
  16   VALIDATOR: Checking jump targets: 0 to 6
  17   VALIDATOR: Checking that basic blocks are aligned
  18   *** <input> is safe ***
  19 @rvald:
  20   VALIDATOR: Checking block alignment and jump targets: 0 to 6
  21   *** <input> is safe ***
  22 @vd-rval:
  23   VALIDATOR: Checking jump targets: 0 to 6
  24   VALIDATOR: Checking that basic blocks are aligned
  25   *** <input> is safe ***
  26 @dis:
  27   0000000000000000: 44 89 dd                                     mov %ebp, %r11d
  28   0000000000000003: 4c 01 fd                                     add %rbp, %r15
  29 @vdis:
  30   0000000000000000: 44 89 dd                                     mov %ebp, %r11d
  31   0000000000000003: 4c 01 fd                                     add %rbp, %r15
  32 @rdfa_output:
  33   return code: 0