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

   1 @hex:
   2   # Test illegal bit commands.
   3   # btr %rax,(%rax)
   4   48 0F B3 00
   5   # bts %rax,(%rax)
   6   48 0F AB 00
   7   # btc %rax,(%rax)
   8   48 0F BB 00
   9   # btrl $0x1,(%rax)
  10   0F BA 30 01
  11   # btsl $0x1,(%rax)
  12   0F BA 28 01
  13   # btcl $0x1,(%rax)
  14   0F BA 38 01
  15   # Test legal bit commands
  16   # btw    $0x1,(%rsp)
  17   66 0F BA 24 24 01
  18
  19   # Align so that next instruction does not cross bundle boundary.
  20   90 90
  21
  22   # btl    $0x1,(%rsp)
  23   0F BA 24 24 01
  24   # btq    $0x1,(%rsp)
  25   48 0F BA 24 24 01
  26   # btrl   $0x1,(%rsp)
  27   0F BA 34 24 01
  28   # btsl   $0x1,(%rsp)
  29   0F BA 2C 24 01
  30   # btcl   $0x1,(%rsp)
  31   0F BA 3C 24 01
  32 @rval:
  33   VALIDATOR: 0000000000000000: 48 0f b3 00                                  btr [%rax], %rax
  34   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  35   VALIDATOR: 0000000000000000: 48 0f b3 00                                  btr [%rax], %rax
  36   VALIDATOR: ERROR: Invalid base register in memory offset
  37   VALIDATOR: 0000000000000004: 48 0f ab 00                                  bts [%rax], %rax
  38   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  39   VALIDATOR: 0000000000000004: 48 0f ab 00                                  bts [%rax], %rax
  40   VALIDATOR: ERROR: Invalid base register in memory offset
  41   VALIDATOR: 0000000000000008: 48 0f bb 00                                  btc [%rax], %rax
  42   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  43   VALIDATOR: 0000000000000008: 48 0f bb 00                                  btc [%rax], %rax
  44   VALIDATOR: ERROR: Invalid base register in memory offset
  45   VALIDATOR: 000000000000000c: 0f ba 30 01                                  btr [%rax], 0x1
  46   VALIDATOR: ERROR: Invalid base register in memory offset
  47   VALIDATOR: 0000000000000010: 0f ba 28 01                                  bts [%rax], 0x1
  48   VALIDATOR: ERROR: Invalid base register in memory offset
  49   VALIDATOR: 0000000000000014: 0f ba 38 01                                  btc [%rax], 0x1
  50   VALIDATOR: ERROR: Invalid base register in memory offset
  51   VALIDATOR: Checking jump targets: 0 to 3a
  52   VALIDATOR: Checking that basic blocks are aligned
  53   *** <input> IS UNSAFE ***
  54 @rvald:
  55   VALIDATOR: 0000000000000000: 48 0f b3 00                                  btr [%rax], %rax
  56   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  57   VALIDATOR: 0000000000000000: 48 0f b3 00                                  btr [%rax], %rax
  58   VALIDATOR: ERROR: Invalid base register in memory offset
  59   VALIDATOR: 0000000000000004: 48 0f ab 00                                  bts [%rax], %rax
  60   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  61   VALIDATOR: 0000000000000004: 48 0f ab 00                                  bts [%rax], %rax
  62   VALIDATOR: ERROR: Invalid base register in memory offset
  63   VALIDATOR: 0000000000000008: 48 0f bb 00                                  btc [%rax], %rax
  64   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  65   VALIDATOR: 0000000000000008: 48 0f bb 00                                  btc [%rax], %rax
  66   VALIDATOR: ERROR: Invalid base register in memory offset
  67   VALIDATOR: 000000000000000c: 0f ba 30 01                                  btr [%rax], 0x1
  68   VALIDATOR: ERROR: Invalid base register in memory offset
  69   VALIDATOR: 0000000000000010: 0f ba 28 01                                  bts [%rax], 0x1
  70   VALIDATOR: ERROR: Invalid base register in memory offset
  71   VALIDATOR: 0000000000000014: 0f ba 38 01                                  btc [%rax], 0x1
  72   VALIDATOR: ERROR: Invalid base register in memory offset
  73   VALIDATOR: Checking block alignment and jump targets: 0 to 3a
  74   *** <input> IS UNSAFE ***
  75 @vd-rval:
  76   VALIDATOR: 0000000000000000: 48 0f b3 00                                  [P] dontcare(illegal)
  77   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  78   VALIDATOR: 0000000000000004: 48 0f ab 00                                  [P] dontcare(illegal)
  79   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  80   VALIDATOR: 0000000000000008: 48 0f bb 00                                  [P] dontcare(illegal)
  81   VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  82   VALIDATOR: 000000000000000c: 0f ba 30 01                                  [P] dontcare [%rax] (su), 0x1 (u)
  83   VALIDATOR: ERROR: Invalid base register in memory offset
  84   VALIDATOR: 0000000000000010: 0f ba 28 01                                  [P] dontcare [%rax] (su), 0x1 (u)
  85   VALIDATOR: ERROR: Invalid base register in memory offset
  86   VALIDATOR: 0000000000000014: 0f ba 38 01                                  [P] dontcare [%rax] (su), 0x1 (u)
  87   VALIDATOR: ERROR: Invalid base register in memory offset
  88   VALIDATOR: Checking jump targets: 0 to 3a
  89   VALIDATOR: Checking that basic blocks are aligned
  90   *** <input> IS UNSAFE ***
  91 @dis:
  92   0000000000000000: 48 0f b3 00                                  btr [%rax], %rax
  93   0000000000000004: 48 0f ab 00                                  bts [%rax], %rax
  94   0000000000000008: 48 0f bb 00                                  btc [%rax], %rax
  95   000000000000000c: 0f ba 30 01                                  btr [%rax], 0x1
  96   0000000000000010: 0f ba 28 01                                  bts [%rax], 0x1
  97   0000000000000014: 0f ba 38 01                                  btc [%rax], 0x1
  98   0000000000000018: 66 0f ba 24 24 01                            bt [%rsp], 0x1
  99   000000000000001e: 90                                           nop
 100   000000000000001f: 90                                           nop
 101   0000000000000020: 0f ba 24 24 01                               bt [%rsp], 0x1
 102   0000000000000025: 48 0f ba 24 24 01                            bt [%rsp], 0x1
 103   000000000000002b: 0f ba 34 24 01                               btr [%rsp], 0x1
 104   0000000000000030: 0f ba 2c 24 01                               bts [%rsp], 0x1
 105   0000000000000035: 0f ba 3c 24 01                               btc [%rsp], 0x1
 106 @vdis:
 107   0000000000000000: 48 0f b3 00                                  [P] dontcare(illegal)
 108   0000000000000004: 48 0f ab 00                                  [P] dontcare(illegal)
 109   0000000000000008: 48 0f bb 00                                  [P] dontcare(illegal)
 110   000000000000000c: 0f ba 30 01                                  [P] dontcare [%rax] (su), 0x1 (u)
 111   0000000000000010: 0f ba 28 01                                  [P] dontcare [%rax] (su), 0x1 (u)
 112   0000000000000014: 0f ba 38 01                                  [P] dontcare [%rax] (su), 0x1 (u)
 113   0000000000000018: 66 0f ba 24 24 01                            [P] dontcare [%rsp] (u), 0x1 (u)
 114   000000000000001e: 90                                           [P] dontcare
 115   000000000000001f: 90                                           [P] dontcare
 116   0000000000000020: 0f ba 24 24 01                               [P] dontcare [%rsp] (u), 0x1 (u)
 117   0000000000000025: 48 0f ba 24 24 01                            [P] dontcare [%rsp] (u), 0x1 (u)
 118   000000000000002b: 0f ba 34 24 01                               [P] dontcare [%rsp] (su), 0x1 (u)
 119   0000000000000030: 0f ba 2c 24 01                               [P] dontcare [%rsp] (su), 0x1 (u)
 120   0000000000000035: 0f ba 3c 24 01                               [P] dontcare [%rsp] (su), 0x1 (u)
 121 @rdfa_output:
 122   0: [0] unrecognized instruction
 123   4: [1] unrecognized instruction
 124   8: [2] unrecognized instruction
 125   c: [3] improper memory address - bad base
 126   10: [3] improper memory address - bad base
 127   14: [3] improper memory address - bad base
 128   return code: 1