llvm/test/Transforms/Reassociate/reassoc_bool_vec.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
   2 ; RUN: opt < %s -passes=reassociate -S | FileCheck %s
   3
   4 define <8 x i1> @vector0(<8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2, <8 x i1> %b3, <8 x i1> %b4, <8 x i1> %b5, <8 x i1> %b6, <8 x i1> %b7) {
   5 ; CHECK-LABEL: define <8 x i1> @vector0(
   6 ; CHECK-SAME: <8 x i1> [[B0:%.*]], <8 x i1> [[B1:%.*]], <8 x i1> [[B2:%.*]], <8 x i1> [[B3:%.*]], <8 x i1> [[B4:%.*]], <8 x i1> [[B5:%.*]], <8 x i1> [[B6:%.*]], <8 x i1> [[B7:%.*]]) {
   7 ; CHECK-NEXT:    [[OR67:%.*]] = or <8 x i1> [[B1]], [[B0]]
   8 ; CHECK-NEXT:    [[OR45:%.*]] = or <8 x i1> [[OR67]], [[B2]]
   9 ; CHECK-NEXT:    [[OR4567:%.*]] = or <8 x i1> [[OR45]], [[B3]]
  10 ; CHECK-NEXT:    [[OR23:%.*]] = or <8 x i1> [[OR4567]], [[B4]]
  11 ; CHECK-NEXT:    [[OR01:%.*]] = or <8 x i1> [[OR23]], [[B5]]
  12 ; CHECK-NEXT:    [[OR0123:%.*]] = or <8 x i1> [[OR01]], [[B6]]
  13 ; CHECK-NEXT:    [[OR01234567:%.*]] = or <8 x i1> [[OR0123]], [[B7]]
  14 ; CHECK-NEXT:    ret <8 x i1> [[OR01234567]]
  15 ;
  16   %or01 = or <8 x i1> %b0, %b1
  17   %or23 = or <8 x i1> %b2, %b3
  18   %or45 = or <8 x i1> %b4, %b5
  19   %or67 = or <8 x i1> %b6, %b7
  20   %or0123 = or <8 x i1> %or01, %or23
  21   %or4567 = or <8 x i1> %or45, %or67
  22   %or01234567 = or <8 x i1> %or0123, %or4567
  23   ret <8 x i1> %or01234567
  24 }
  25
  26 define <8 x i1> @vector1(<8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2, <8 x i1> %b3, <8 x i1> %b4, <8 x i1> %b5, <8 x i1> %b6, <8 x i1> %b7) {
  27 ; CHECK-LABEL: define <8 x i1> @vector1(
  28 ; CHECK-SAME: <8 x i1> [[B0:%.*]], <8 x i1> [[B1:%.*]], <8 x i1> [[B2:%.*]], <8 x i1> [[B3:%.*]], <8 x i1> [[B4:%.*]], <8 x i1> [[B5:%.*]], <8 x i1> [[B6:%.*]], <8 x i1> [[B7:%.*]]) {
  29 ; CHECK-NEXT:    [[OR67:%.*]] = and <8 x i1> [[B1]], [[B0]]
  30 ; CHECK-NEXT:    [[OR45:%.*]] = and <8 x i1> [[OR67]], [[B2]]
  31 ; CHECK-NEXT:    [[OR4567:%.*]] = and <8 x i1> [[OR45]], [[B3]]
  32 ; CHECK-NEXT:    [[OR23:%.*]] = and <8 x i1> [[OR4567]], [[B4]]
  33 ; CHECK-NEXT:    [[OR01:%.*]] = and <8 x i1> [[OR23]], [[B5]]
  34 ; CHECK-NEXT:    [[OR0123:%.*]] = and <8 x i1> [[OR01]], [[B6]]
  35 ; CHECK-NEXT:    [[OR01234567:%.*]] = and <8 x i1> [[OR0123]], [[B7]]
  36 ; CHECK-NEXT:    ret <8 x i1> [[OR01234567]]
  37 ;
  38   %or01 = and <8 x i1> %b0, %b1
  39   %or23 = and <8 x i1> %b2, %b3
  40   %or45 = and <8 x i1> %b4, %b5
  41   %or67 = and <8 x i1> %b6, %b7
  42   %or0123 = and <8 x i1> %or01, %or23
  43   %or4567 = and <8 x i1> %or45, %or67
  44   %or01234567 = and <8 x i1> %or0123, %or4567
  45   ret <8 x i1> %or01234567
  46 }
  47
  48 define <8 x i1> @vector2(<8 x i1> %a, <8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2, <8 x i1> %b3, <8 x i1> %b4, <8 x i1> %b5, <8 x i1> %b6, <8 x i1> %b7) {
  49 ; CHECK-LABEL: define <8 x i1> @vector2(
  50 ; CHECK-SAME: <8 x i1> [[A:%.*]], <8 x i1> [[B0:%.*]], <8 x i1> [[B1:%.*]], <8 x i1> [[B2:%.*]], <8 x i1> [[B3:%.*]], <8 x i1> [[B4:%.*]], <8 x i1> [[B5:%.*]], <8 x i1> [[B6:%.*]], <8 x i1> [[B7:%.*]]) {
  51 ; CHECK-NEXT:    [[OR0:%.*]] = or <8 x i1> [[B0]], [[A]]
  52 ; CHECK-NEXT:    [[OR1:%.*]] = or <8 x i1> [[B1]], [[A]]
  53 ; CHECK-NEXT:    [[OR2:%.*]] = or <8 x i1> [[B2]], [[A]]
  54 ; CHECK-NEXT:    [[OR3:%.*]] = or <8 x i1> [[B3]], [[A]]
  55 ; CHECK-NEXT:    [[OR4:%.*]] = or <8 x i1> [[B4]], [[A]]
  56 ; CHECK-NEXT:    [[OR5:%.*]] = or <8 x i1> [[B5]], [[A]]
  57 ; CHECK-NEXT:    [[OR6:%.*]] = or <8 x i1> [[B6]], [[A]]
  58 ; CHECK-NEXT:    [[OR7:%.*]] = or <8 x i1> [[B7]], [[A]]
  59 ; CHECK-NEXT:    [[XOR2:%.*]] = xor <8 x i1> [[OR1]], [[OR0]]
  60 ; CHECK-NEXT:    [[OR045:%.*]] = xor <8 x i1> [[XOR2]], [[OR2]]
  61 ; CHECK-NEXT:    [[XOR3:%.*]] = xor <8 x i1> [[OR045]], [[OR3]]
  62 ; CHECK-NEXT:    [[XOR4:%.*]] = xor <8 x i1> [[XOR3]], [[OR4]]
  63 ; CHECK-NEXT:    [[XOR5:%.*]] = xor <8 x i1> [[XOR4]], [[OR5]]
  64 ; CHECK-NEXT:    [[XOR6:%.*]] = xor <8 x i1> [[XOR5]], [[OR6]]
  65 ; CHECK-NEXT:    [[XOR7:%.*]] = xor <8 x i1> [[XOR6]], [[OR7]]
  66 ; CHECK-NEXT:    [[OR4560:%.*]] = or <8 x i1> [[OR045]], [[XOR2]]
  67 ; CHECK-NEXT:    [[OR023:%.*]] = or <8 x i1> [[OR4560]], [[XOR3]]
  68 ; CHECK-NEXT:    [[OR001:%.*]] = or <8 x i1> [[OR023]], [[XOR4]]
  69 ; CHECK-NEXT:    [[OR0123:%.*]] = or <8 x i1> [[OR001]], [[XOR5]]
  70 ; CHECK-NEXT:    [[OR01234567:%.*]] = or <8 x i1> [[OR0123]], [[XOR6]]
  71 ; CHECK-NEXT:    [[OR1234567:%.*]] = or <8 x i1> [[OR01234567]], [[XOR7]]
  72 ; CHECK-NEXT:    ret <8 x i1> [[OR1234567]]
  73 ;
  74   %or0 = or <8 x i1> %b0, %a
  75   %or1 = or <8 x i1> %b1, %a
  76   %or2 = or <8 x i1> %b2, %a
  77   %or3 = or <8 x i1> %b3, %a
  78   %or4 = or <8 x i1> %b4, %a
  79   %or5 = or <8 x i1> %b5, %a
  80   %or6 = or <8 x i1> %b6, %a
  81   %or7 = or <8 x i1> %b7, %a
  82   %xor0 = xor <8 x i1> %or0, %or1
  83   %xor1 = xor <8 x i1> %xor0, %or2
  84   %xor2 = xor <8 x i1> %xor1, %or3
  85   %xor3 = xor <8 x i1> %xor2, %or4
  86   %xor4 = xor <8 x i1> %xor3, %or5
  87   %xor5 = xor <8 x i1> %xor4, %or6
  88   %xor6 = xor <8 x i1> %xor5, %or7
  89   %or001 = or <8 x i1> %xor0, %xor1
  90   %or023 = or <8 x i1> %xor2, %xor3
  91   %or045 = or <8 x i1> %xor4, %xor5
  92   %or060 = or <8 x i1> %xor6, %xor0
  93   %or0123 = or <8 x i1> %or001, %or023
  94   %or4560 = or <8 x i1> %or045, %or060
  95   %or01234567 = or <8 x i1> %or0123, %or4560
  96   ret <8 x i1> %or01234567
  97 }
  98
  99 define <8 x i1> @vector3(<8 x i1> %a, <8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2, <8 x i1> %b3, <8 x i1> %b4, <8 x i1> %b5, <8 x i1> %b6, <8 x i1> %b7) {
 100 ; CHECK-LABEL: define <8 x i1> @vector3(
 101 ; CHECK-SAME: <8 x i1> [[A:%.*]], <8 x i1> [[B0:%.*]], <8 x i1> [[B1:%.*]], <8 x i1> [[B2:%.*]], <8 x i1> [[B3:%.*]], <8 x i1> [[B4:%.*]], <8 x i1> [[B5:%.*]], <8 x i1> [[B6:%.*]], <8 x i1> [[B7:%.*]]) {
 102 ; CHECK-NEXT:    [[OR0:%.*]] = or <8 x i1> [[B0]], [[A]]
 103 ; CHECK-NEXT:    [[OR1:%.*]] = or <8 x i1> [[B1]], [[A]]
 104 ; CHECK-NEXT:    [[OR2:%.*]] = or <8 x i1> [[B2]], [[A]]
 105 ; CHECK-NEXT:    [[OR3:%.*]] = or <8 x i1> [[B3]], [[A]]
 106 ; CHECK-NEXT:    [[OR4:%.*]] = or <8 x i1> [[B4]], [[A]]
 107 ; CHECK-NEXT:    [[OR5:%.*]] = or <8 x i1> [[B5]], [[A]]
 108 ; CHECK-NEXT:    [[OR6:%.*]] = or <8 x i1> [[B6]], [[A]]
 109 ; CHECK-NEXT:    [[OR7:%.*]] = or <8 x i1> [[B7]], [[A]]
 110 ; CHECK-NEXT:    [[XOR3:%.*]] = xor <8 x i1> [[OR1]], [[OR0]]
 111 ; CHECK-NEXT:    [[XOR2:%.*]] = xor <8 x i1> [[XOR3]], [[OR2]]
 112 ; CHECK-NEXT:    [[XOR7:%.*]] = xor <8 x i1> [[XOR2]], [[OR3]]
 113 ; CHECK-NEXT:    [[XOR0:%.*]] = xor <8 x i1> [[XOR7]], [[OR4]]
 114 ; CHECK-NEXT:    [[XOR4:%.*]] = xor <8 x i1> [[XOR0]], [[OR5]]
 115 ; CHECK-NEXT:    [[XOR5:%.*]] = xor <8 x i1> [[XOR4]], [[OR6]]
 116 ; CHECK-NEXT:    [[OR4560:%.*]] = xor <8 x i1> [[XOR5]], [[OR7]]
 117 ; CHECK-NEXT:    ret <8 x i1> [[OR4560]]
 118 ;
 119   %or0 = or <8 x i1> %b0, %a
 120   %or1 = or <8 x i1> %b1, %a
 121   %or2 = or <8 x i1> %b2, %a
 122   %or3 = or <8 x i1> %b3, %a
 123   %or4 = or <8 x i1> %b4, %a
 124   %or5 = or <8 x i1> %b5, %a
 125   %or6 = or <8 x i1> %b6, %a
 126   %or7 = or <8 x i1> %b7, %a
 127   %xor0 = xor <8 x i1> %or0, %or1
 128   %xor1 = xor <8 x i1> %or2, %or3
 129   %xor2 = xor <8 x i1> %or4, %or5
 130   %xor3 = xor <8 x i1> %or6, %or7
 131   %or01 = xor <8 x i1> %xor0, %xor1
 132   %or23 = xor <8 x i1> %xor2, %xor3
 133   %or0123 = xor <8 x i1> %or01, %or23
 134   ret <8 x i1> %or0123
 135 }
 136
 137 define <8 x i1> @vector4(<8 x i1> %a, <8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2, <8 x i1> %b3, <8 x i1> %b4, <8 x i1> %b5, <8 x i1> %b6, <8 x i1> %b7) {
 138 ; CHECK-LABEL: define <8 x i1> @vector4(
 139 ; CHECK-SAME: <8 x i1> [[A:%.*]], <8 x i1> [[B0:%.*]], <8 x i1> [[B1:%.*]], <8 x i1> [[B2:%.*]], <8 x i1> [[B3:%.*]], <8 x i1> [[B4:%.*]], <8 x i1> [[B5:%.*]], <8 x i1> [[B6:%.*]], <8 x i1> [[B7:%.*]]) {
 140 ; CHECK-NEXT:    [[XOR0:%.*]] = xor <8 x i1> [[B0]], [[A]]
 141 ; CHECK-NEXT:    [[XOR1:%.*]] = xor <8 x i1> [[B1]], [[A]]
 142 ; CHECK-NEXT:    [[XOR2:%.*]] = xor <8 x i1> [[B2]], [[A]]
 143 ; CHECK-NEXT:    [[XOR3:%.*]] = xor <8 x i1> [[B3]], [[A]]
 144 ; CHECK-NEXT:    [[XOR4:%.*]] = xor <8 x i1> [[B4]], [[A]]
 145 ; CHECK-NEXT:    [[XOR5:%.*]] = xor <8 x i1> [[B5]], [[A]]
 146 ; CHECK-NEXT:    [[XOR6:%.*]] = xor <8 x i1> [[B6]], [[A]]
 147 ; CHECK-NEXT:    [[XOR7:%.*]] = xor <8 x i1> [[B7]], [[A]]
 148 ; CHECK-NEXT:    [[AND3:%.*]] = and <8 x i1> [[XOR1]], [[XOR0]]
 149 ; CHECK-NEXT:    [[AND2:%.*]] = and <8 x i1> [[AND3]], [[XOR2]]
 150 ; CHECK-NEXT:    [[OR23:%.*]] = and <8 x i1> [[AND2]], [[XOR3]]
 151 ; CHECK-NEXT:    [[AND1:%.*]] = and <8 x i1> [[OR23]], [[XOR4]]
 152 ; CHECK-NEXT:    [[AND0:%.*]] = and <8 x i1> [[AND1]], [[XOR5]]
 153 ; CHECK-NEXT:    [[OR01:%.*]] = and <8 x i1> [[AND0]], [[XOR6]]
 154 ; CHECK-NEXT:    [[OR0123:%.*]] = and <8 x i1> [[OR01]], [[XOR7]]
 155 ; CHECK-NEXT:    ret <8 x i1> [[OR0123]]
 156 ;
 157   %xor0 = xor <8 x i1> %b0, %a
 158   %xor1 = xor <8 x i1> %b1, %a
 159   %xor2 = xor <8 x i1> %b2, %a
 160   %xor3 = xor <8 x i1> %b3, %a
 161   %xor4 = xor <8 x i1> %b4, %a
 162   %xor5 = xor <8 x i1> %b5, %a
 163   %xor6 = xor <8 x i1> %b6, %a
 164   %xor7 = xor <8 x i1> %b7, %a
 165   %and0 = and <8 x i1> %xor0, %xor1
 166   %and1 = and <8 x i1> %xor2, %xor3
 167   %and2 = and <8 x i1> %xor4, %xor5
 168   %and3 = and <8 x i1> %xor6, %xor7
 169   %or01 = and <8 x i1> %and0, %and1
 170   %or23 = and <8 x i1> %and2, %and3
 171   %or0123 = and <8 x i1> %or01, %or23
 172   ret <8 x i1> %or0123
 173 }
 174
 175 define <8 x i1> @vector5(<8 x i1> %a, <8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2, <8 x i1> %b3, <8 x i1> %b4, <8 x i1> %b5, <8 x i1> %b6, <8 x i1> %b7) {
 176 ; CHECK-LABEL: define <8 x i1> @vector5(
 177 ; CHECK-SAME: <8 x i1> [[A:%.*]], <8 x i1> [[B0:%.*]], <8 x i1> [[B1:%.*]], <8 x i1> [[B2:%.*]], <8 x i1> [[B3:%.*]], <8 x i1> [[B4:%.*]], <8 x i1> [[B5:%.*]], <8 x i1> [[B6:%.*]], <8 x i1> [[B7:%.*]]) {
 178 ; CHECK-NEXT:    [[XOR0:%.*]] = xor <8 x i1> [[B0]], [[A]]
 179 ; CHECK-NEXT:    [[XOR1:%.*]] = xor <8 x i1> [[B1]], [[A]]
 180 ; CHECK-NEXT:    [[XOR2:%.*]] = xor <8 x i1> [[B2]], [[A]]
 181 ; CHECK-NEXT:    [[XOR3:%.*]] = xor <8 x i1> [[B3]], [[A]]
 182 ; CHECK-NEXT:    [[XOR4:%.*]] = xor <8 x i1> [[B4]], [[A]]
 183 ; CHECK-NEXT:    [[XOR5:%.*]] = xor <8 x i1> [[B5]], [[A]]
 184 ; CHECK-NEXT:    [[XOR6:%.*]] = xor <8 x i1> [[B6]], [[A]]
 185 ; CHECK-NEXT:    [[XOR7:%.*]] = xor <8 x i1> [[B7]], [[A]]
 186 ; CHECK-NEXT:    [[OR3:%.*]] = or <8 x i1> [[B1]], [[B0]]
 187 ; CHECK-NEXT:    [[OR2:%.*]] = or <8 x i1> [[OR3]], [[XOR0]]
 188 ; CHECK-NEXT:    [[OR23:%.*]] = or <8 x i1> [[OR2]], [[B2]]
 189 ; CHECK-NEXT:    [[OR1:%.*]] = or <8 x i1> [[OR23]], [[XOR1]]
 190 ; CHECK-NEXT:    [[OR0:%.*]] = or <8 x i1> [[OR1]], [[B3]]
 191 ; CHECK-NEXT:    [[OR01:%.*]] = or <8 x i1> [[OR0]], [[XOR2]]
 192 ; CHECK-NEXT:    [[OR0123:%.*]] = or <8 x i1> [[OR01]], [[B4]]
 193 ; CHECK-NEXT:    [[OR7:%.*]] = or <8 x i1> [[OR0123]], [[XOR3]]
 194 ; CHECK-NEXT:    [[OR6:%.*]] = or <8 x i1> [[OR7]], [[B5]]
 195 ; CHECK-NEXT:    [[OR67:%.*]] = or <8 x i1> [[OR6]], [[XOR4]]
 196 ; CHECK-NEXT:    [[OR5:%.*]] = or <8 x i1> [[OR67]], [[B6]]
 197 ; CHECK-NEXT:    [[OR4:%.*]] = or <8 x i1> [[OR5]], [[XOR5]]
 198 ; CHECK-NEXT:    [[OR45:%.*]] = or <8 x i1> [[OR4]], [[B7]]
 199 ; CHECK-NEXT:    [[OR4567:%.*]] = or <8 x i1> [[OR45]], [[XOR6]]
 200 ; CHECK-NEXT:    [[OR01234567:%.*]] = or <8 x i1> [[OR4567]], [[XOR7]]
 201 ; CHECK-NEXT:    ret <8 x i1> [[OR01234567]]
 202 ;
 203   %xor0 = xor <8 x i1> %b0, %a
 204   %xor1 = xor <8 x i1> %b1, %a
 205   %xor2 = xor <8 x i1> %b2, %a
 206   %xor3 = xor <8 x i1> %b3, %a
 207   %xor4 = xor <8 x i1> %b4, %a
 208   %xor5 = xor <8 x i1> %b5, %a
 209   %xor6 = xor <8 x i1> %b6, %a
 210   %xor7 = xor <8 x i1> %b7, %a
 211   %or0 = or <8 x i1> %xor0, %xor1
 212   %or1 = or <8 x i1> %xor2, %xor3
 213   %or2 = or <8 x i1> %xor4, %xor5
 214   %or3 = or <8 x i1> %xor6, %xor7
 215   %or4 = or <8 x i1> %b0, %b1
 216   %or5 = or <8 x i1> %b2, %b3
 217   %or6 = or <8 x i1> %b4, %b5
 218   %or7 = or <8 x i1> %b6, %b7
 219   %or01 = or <8 x i1> %or0, %or1
 220   %or23 = or <8 x i1> %or2, %or3
 221   %or45 = or <8 x i1> %or4, %or5
 222   %or67 = or <8 x i1> %or6, %or7
 223   %or0123 = or <8 x i1> %or01, %or23
 224   %or4567 = or <8 x i1> %or45, %or67
 225   %or01234567 = or <8 x i1> %or0123, %or4567
 226   ret <8 x i1> %or01234567
 227 }