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

   1 @hex:
   2   # Example of using multiple prefixes that are illegal. In this case the CS
   3   # and GS semgment prefixes. Instruction is:
   4   #       add %al, %al
   5   2e 36 00 c0
   6 @val:
   7   VALIDATOR: 0000000000000000: 2e 36 00 c0                                  add %al, %al
   8   VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
   9   VALIDATOR: 0000000000000000: 2e 36 00 c0                                  add %al, %al
  10   VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
  11   VALIDATOR: 0000000000000000: 2e 36 00 c0                                  add %al, %al
  12   VALIDATOR: ERROR: Specifying different segment registers using prefix bytes is not allowed by Native Client
  13   VALIDATOR: Checking jump targets: 0 to 4
  14   VALIDATOR: Checking that basic blocks are aligned
  15   *** <input> IS UNSAFE ***
  16 @rval:
  17   VALIDATOR: 0000000000000000: 2e 36 00 c0                                  add %al, %al
  18   VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
  19   VALIDATOR: 0000000000000000: 2e 36 00 c0                                  add %al, %al
  20   VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
  21   VALIDATOR: 0000000000000000: 2e 36 00 c0                                  add %al, %al
  22   VALIDATOR: ERROR: Specifying different segment registers using prefix bytes is not allowed by Native Client
  23   VALIDATOR: Checking jump targets: 0 to 4
  24   VALIDATOR: Checking that basic blocks are aligned
  25   *** <input> IS UNSAFE ***
  26 @rvald:
  27   VALIDATOR: 0000000000000000: 2e 36 00 c0                                  add %al, %al
  28   VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
  29   VALIDATOR: 0000000000000000: 2e 36 00 c0                                  add %al, %al
  30   VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
  31   VALIDATOR: 0000000000000000: 2e 36 00 c0                                  add %al, %al
  32   VALIDATOR: ERROR: Specifying different segment registers using prefix bytes is not allowed by Native Client
  33   VALIDATOR: Checking block alignment and jump targets: 0 to 4
  34   *** <input> IS UNSAFE ***
  35 @vd-rval:
  36   VALIDATOR: 0000000000000000: 2e 36 00 c0                                  add %al, %al
  37   VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
  38   VALIDATOR: 0000000000000000: 2e 36 00 c0                                  add %al, %al
  39   VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
  40   VALIDATOR: 0000000000000000: 2e 36 00 c0                                  add %al, %al
  41   VALIDATOR: ERROR: Specifying different segment registers using prefix bytes is not allowed by Native Client
  42   VALIDATOR: Checking jump targets: 0 to 4
  43   VALIDATOR: Checking that basic blocks are aligned
  44   *** <input> IS UNSAFE ***
  45 @dis:
  46   0000000000000000: 2e 36 00 c0                                  add %al, %al
  47 @vdis:
  48   0000000000000000: 2e 36 00 c0                                  add %al, %al
  49 @rdfa_output:
  50   0: [0] unrecognized instruction
  51   return code: 1