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

   1 @hex:
   2   # Example of assigning a value to a segment register, which should be illegal.
   3   8e 00
   4 @val:
   5   VALIDATOR: 0000000000000000: 8e 00                                        mov %es, [%rax]
   6   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
   7   VALIDATOR: 0000000000000000: 8e 00                                        mov %es, [%rax]
   8   VALIDATOR: ERROR: Illegal assignment to segment register RegES
   9   VALIDATOR: Checking jump targets: 0 to 2
  10   VALIDATOR: Checking that basic blocks are aligned
  11   *** <input> IS UNSAFE ***
  12 @rval:
  13   VALIDATOR: 0000000000000000: 8e 00                                        mov %es, [%rax]
  14   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  15   VALIDATOR: 0000000000000000: 8e 00                                        mov %es, [%rax]
  16   VALIDATOR: ERROR: Illegal assignment to segment register RegES
  17   VALIDATOR: 0000000000000000: 8e 00                                        mov %es, [%rax]
  18   VALIDATOR: ERROR: Invalid base register in memory offset
  19   VALIDATOR: Checking jump targets: 0 to 2
  20   VALIDATOR: Checking that basic blocks are aligned
  21   *** <input> IS UNSAFE ***
  22 @rvald:
  23   VALIDATOR: 0000000000000000: 8e 00                                        mov %es, [%rax]
  24   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  25   VALIDATOR: 0000000000000000: 8e 00                                        mov %es, [%rax]
  26   VALIDATOR: ERROR: Illegal assignment to segment register RegES
  27   VALIDATOR: 0000000000000000: 8e 00                                        mov %es, [%rax]
  28   VALIDATOR: ERROR: Invalid base register in memory offset
  29   VALIDATOR: Checking block alignment and jump targets: 0 to 2
  30   *** <input> IS UNSAFE ***
  31 @vd-rval:
  32   VALIDATOR: 0000000000000000: 8e 00                                        [P] dontcare(illegal)
  33   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  34   VALIDATOR: Checking jump targets: 0 to 2
  35   VALIDATOR: Checking that basic blocks are aligned
  36   *** <input> IS UNSAFE ***
  37 @dis:
  38   0000000000000000: 8e 00                                        mov %es, [%rax]
  39 @vdis:
  40   0000000000000000: 8e 00                                        [P] dontcare(illegal)
  41 @rdfa_output:
  42   0: [0] unrecognized instruction
  43   return code: 1