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

   1 @hex:
   2
   3   # For background, see:
   4   # http://code.google.com/p/nativeclient/issues/detail?id=2574
   5
   6   # "f6 /0" encoding of TEST.  This is what assemblers generate.
   7   f6 c3 00
   8
   9   # "f6 /1" encoding of TEST.  This is an alias encoding, which we
  10   # should disallow on the grounds of minimalism.
  11   f6 cb 00
  12
  13   # The same applies to the "f7" versions of TEST.
  14   f7 c3 00 00 00 00
  15   f7 cb 00 00 00 00
  16 @val:
  17   VALIDATOR: 0000000000000003: f6 cb 00                                     test %bl, 0x0
  18   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  19   VALIDATOR: 000000000000000c: f7 cb 00 00 00 00                            test %ebx, 0x0
  20   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  21   VALIDATOR: Checking jump targets: 0 to 12
  22   VALIDATOR: Checking that basic blocks are aligned
  23   *** <input> IS UNSAFE ***
  24 @rval:
  25   VALIDATOR: 0000000000000003: f6 cb 00                                     test %bl, 0x0
  26   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  27   VALIDATOR: 000000000000000c: f7 cb 00 00 00 00                            test %ebx, 0x0
  28   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  29   VALIDATOR: Checking jump targets: 0 to 12
  30   VALIDATOR: Checking that basic blocks are aligned
  31   *** <input> IS UNSAFE ***
  32 @dis:
  33   0000000000000000: f6 c3 00                                     test %bl, 0x0
  34   0000000000000003: f6 cb 00                                     test %bl, 0x0
  35   0000000000000006: f7 c3 00 00 00 00                            test %ebx, 0x0
  36   000000000000000c: f7 cb 00 00 00 00                            test %ebx, 0x0
  37 @rdfa_output:
  38   3: [0] unrecognized instruction
  39   c: [1] unrecognized instruction
  40   return code: 1