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

   1 @hex:
   2   # Sample x87 instruction
   3   # dc c1                                        fadd %st1, %st0
   4   dc c1
   5 @val:
   6   VALIDATOR: Checking jump targets: 0 to 2
   7   VALIDATOR: Checking that basic blocks are aligned
   8   *** <input> is safe ***
   9 @rval:
  10   VALIDATOR: Checking jump targets: 0 to 2
  11   VALIDATOR: Checking that basic blocks are aligned
  12   *** <input> is safe ***
  13 @rvald:
  14   VALIDATOR: Checking block alignment and jump targets: 0 to 2
  15   *** <input> is safe ***
  16 @vd-rval:
  17   VALIDATOR: Checking jump targets: 0 to 2
  18   VALIDATOR: Checking that basic blocks are aligned
  19   *** <input> is safe ***
  20 @val0:
  21   VALIDATOR: 0000000000000000: dc c1                                        fadd %st1, %st0
  22   VALIDATOR: WARNING: CPU model does not support x87 instructions.
  23   VALIDATOR: Checking jump targets: 0 to 2
  24   VALIDATOR: Checking that basic blocks are aligned
  25   Some instructions were replaced with HLTs.
  26   *** <input> is safe ***
  27 @dis:
  28   0000000000000000: dc c1                                        fadd %st1, %st0
  29 @vdis:
  30   0000000000000000: dc c1                                        [P] dontcare
  31 @rdfa_output:
  32   return code: 0