test/Transforms/InstSimplify/undef.ll

   1 ; RUN: opt -instsimplify -S < %s | FileCheck %s
   2
   3 define i64 @test0() {
   4 ; CHECK-LABEL: @test0(
   5 ; CHECK:         ret i64 undef
   6 ;
   7   %r = mul i64 undef, undef
   8   ret i64 %r
   9 }
  10
  11 define i64 @test1() {
  12 ; CHECK-LABEL: @test1(
  13 ; CHECK:         ret i64 undef
  14 ;
  15   %r = mul i64 3, undef
  16   ret i64 %r
  17 }
  18
  19 define i64 @test2() {
  20 ; CHECK-LABEL: @test2(
  21 ; CHECK:         ret i64 undef
  22 ;
  23   %r = mul i64 undef, 3
  24   ret i64 %r
  25 }
  26
  27 define i64 @test3() {
  28 ; CHECK-LABEL: @test3(
  29 ; CHECK:         ret i64 0
  30 ;
  31   %r = mul i64 undef, 6
  32   ret i64 %r
  33 }
  34
  35 define i64 @test4() {
  36 ; CHECK-LABEL: @test4(
  37 ; CHECK:         ret i64 0
  38 ;
  39   %r = mul i64 6, undef
  40   ret i64 %r
  41 }
  42
  43 define i64 @test5() {
  44 ; CHECK-LABEL: @test5(
  45 ; CHECK:         ret i64 undef
  46 ;
  47   %r = and i64 undef, undef
  48   ret i64 %r
  49 }
  50
  51 define i64 @test6() {
  52 ; CHECK-LABEL: @test6(
  53 ; CHECK:         ret i64 undef
  54 ;
  55   %r = or i64 undef, undef
  56   ret i64 %r
  57 }
  58
  59 define i64 @test7() {
  60 ; CHECK-LABEL: @test7(
  61 ; CHECK:         ret i64 undef
  62 ;
  63   %r = udiv i64 undef, 1
  64   ret i64 %r
  65 }
  66
  67 define i64 @test8() {
  68 ; CHECK-LABEL: @test8(
  69 ; CHECK:         ret i64 undef
  70 ;
  71   %r = sdiv i64 undef, 1
  72   ret i64 %r
  73 }
  74
  75 define i64 @test9() {
  76 ; CHECK-LABEL: @test9(
  77 ; CHECK:         ret i64 0
  78 ;
  79   %r = urem i64 undef, 1
  80   ret i64 %r
  81 }
  82
  83 define i64 @test10() {
  84 ; CHECK-LABEL: @test10(
  85 ; CHECK:         ret i64 0
  86 ;
  87   %r = srem i64 undef, 1
  88   ret i64 %r
  89 }
  90
  91 define i64 @test11() {
  92 ; CHECK-LABEL: @test11(
  93 ; CHECK:         ret i64 undef
  94 ;
  95   %r = shl i64 undef, undef
  96   ret i64 %r
  97 }
  98
  99 define i64 @test11b(i64 %a) {
 100 ; CHECK-LABEL: @test11b(
 101 ; CHECK:         ret i64 undef
 102 ;
 103   %r = shl i64 %a, undef
 104   ret i64 %r
 105 }
 106
 107 define i64 @test12() {
 108 ; CHECK-LABEL: @test12(
 109 ; CHECK:         ret i64 undef
 110 ;
 111   %r = ashr i64 undef, undef
 112   ret i64 %r
 113 }
 114
 115 define i64 @test12b(i64 %a) {
 116 ; CHECK-LABEL: @test12b(
 117 ; CHECK:         ret i64 undef
 118 ;
 119   %r = ashr i64 %a, undef
 120   ret i64 %r
 121 }
 122
 123 define i64 @test13() {
 124 ; CHECK-LABEL: @test13(
 125 ; CHECK:         ret i64 undef
 126 ;
 127   %r = lshr i64 undef, undef
 128   ret i64 %r
 129 }
 130
 131 define i64 @test13b(i64 %a) {
 132 ; CHECK-LABEL: @test13b(
 133 ; CHECK:         ret i64 undef
 134 ;
 135   %r = lshr i64 %a, undef
 136   ret i64 %r
 137 }
 138
 139 define i1 @test14() {
 140 ; CHECK-LABEL: @test14(
 141 ; CHECK:         ret i1 undef
 142 ;
 143   %r = icmp slt i64 undef, undef
 144   ret i1 %r
 145 }
 146
 147 define i1 @test15() {
 148 ; CHECK-LABEL: @test15(
 149 ; CHECK:         ret i1 undef
 150 ;
 151   %r = icmp ult i64 undef, undef
 152   ret i1 %r
 153 }
 154
 155 define i64 @test16(i64 %a) {
 156 ; CHECK-LABEL: @test16(
 157 ; CHECK:         ret i64 undef
 158 ;
 159   %r = select i1 undef, i64 %a, i64 undef
 160   ret i64 %r
 161 }
 162
 163 define i64 @test17(i64 %a) {
 164 ; CHECK-LABEL: @test17(
 165 ; CHECK:         ret i64 undef
 166 ;
 167   %r = select i1 undef, i64 undef, i64 %a
 168   ret i64 %r
 169 }
 170
 171 define i64 @test18(i64 %a) {
 172 ; CHECK-LABEL: @test18(
 173 ; CHECK:         [[R:%.*]] = call i64 undef(i64 %a)
 174 ; CHECK-NEXT:    ret i64 undef
 175 ;
 176   %r = call i64 (i64) undef(i64 %a)
 177   ret i64 %r
 178 }
 179
 180 define <4 x i8> @test19(<4 x i8> %a) {
 181 ; CHECK-LABEL: @test19(
 182 ; CHECK:         ret <4 x i8> undef
 183 ;
 184   %b = shl <4 x i8> %a, <i8 8, i8 9, i8 undef, i8 -1>
 185   ret <4 x i8> %b
 186 }
 187
 188 define i32 @test20(i32 %a) {
 189 ; CHECK-LABEL: @test20(
 190 ; CHECK:         ret i32 undef
 191 ;
 192   %b = udiv i32 %a, 0
 193   ret i32 %b
 194 }
 195
 196 define <2 x i32> @test20vec(<2 x i32> %a) {
 197 ; CHECK-LABEL: @test20vec(
 198 ; CHECK-NEXT:    ret <2 x i32> undef
 199 ;
 200   %b = udiv <2 x i32> %a, zeroinitializer
 201   ret <2 x i32> %b
 202 }
 203
 204 define i32 @test21(i32 %a) {
 205 ; CHECK-LABEL: @test21(
 206 ; CHECK:         ret i32 undef
 207 ;
 208   %b = sdiv i32 %a, 0
 209   ret i32 %b
 210 }
 211
 212 define <2 x i32> @test21vec(<2 x i32> %a) {
 213 ; CHECK-LABEL: @test21vec(
 214 ; CHECK-NEXT:    ret <2 x i32> undef
 215 ;
 216   %b = sdiv <2 x i32> %a, zeroinitializer
 217   ret <2 x i32> %b
 218 }
 219
 220 define i32 @test22(i32 %a) {
 221 ; CHECK-LABEL: @test22(
 222 ; CHECK:         ret i32 undef
 223 ;
 224   %b = ashr exact i32 undef, %a
 225   ret i32 %b
 226 }
 227
 228 define i32 @test23(i32 %a) {
 229 ; CHECK-LABEL: @test23(
 230 ; CHECK:         ret i32 undef
 231 ;
 232   %b = lshr exact i32 undef, %a
 233   ret i32 %b
 234 }
 235
 236 define i32 @test24() {
 237 ; CHECK-LABEL: @test24(
 238 ; CHECK:         ret i32 undef
 239 ;
 240   %b = udiv i32 undef, 0
 241   ret i32 %b
 242 }
 243
 244 define i32 @test25() {
 245 ; CHECK-LABEL: @test25(
 246 ; CHECK:         ret i32 undef
 247 ;
 248   %b = lshr i32 0, undef
 249   ret i32 %b
 250 }
 251
 252 define i32 @test26() {
 253 ; CHECK-LABEL: @test26(
 254 ; CHECK:         ret i32 undef
 255 ;
 256   %b = ashr i32 0, undef
 257   ret i32 %b
 258 }
 259
 260 define i32 @test27() {
 261 ; CHECK-LABEL: @test27(
 262 ; CHECK:         ret i32 undef
 263 ;
 264   %b = shl i32 0, undef
 265   ret i32 %b
 266 }
 267
 268 define i32 @test28(i32 %a) {
 269 ; CHECK-LABEL: @test28(
 270 ; CHECK:         ret i32 undef
 271 ;
 272   %b = shl nsw i32 undef, %a
 273   ret i32 %b
 274 }
 275
 276 define i32 @test29(i32 %a) {
 277 ; CHECK-LABEL: @test29(
 278 ; CHECK:         ret i32 undef
 279 ;
 280   %b = shl nuw i32 undef, %a
 281   ret i32 %b
 282 }
 283
 284 define i32 @test30(i32 %a) {
 285 ; CHECK-LABEL: @test30(
 286 ; CHECK:         ret i32 undef
 287 ;
 288   %b = shl nsw nuw i32 undef, %a
 289   ret i32 %b
 290 }
 291
 292 define i32 @test31(i32 %a) {
 293 ; CHECK-LABEL: @test31(
 294 ; CHECK:         ret i32 0
 295 ;
 296   %b = shl i32 undef, %a
 297   ret i32 %b
 298 }
 299
 300 define i32 @test32(i32 %a) {
 301 ; CHECK-LABEL: @test32(
 302 ; CHECK:         ret i32 undef
 303 ;
 304   %b = shl i32 undef, 0
 305   ret i32 %b
 306 }
 307
 308 define i32 @test33(i32 %a) {
 309 ; CHECK-LABEL: @test33(
 310 ; CHECK:         ret i32 undef
 311 ;
 312   %b = ashr i32 undef, 0
 313   ret i32 %b
 314 }
 315
 316 define i32 @test34(i32 %a) {
 317 ; CHECK-LABEL: @test34(
 318 ; CHECK:         ret i32 undef
 319 ;
 320   %b = lshr i32 undef, 0
 321   ret i32 %b
 322 }
 323
 324 define i32 @test35(<4 x i32> %V) {
 325 ; CHECK-LABEL: @test35(
 326 ; CHECK:         ret i32 undef
 327 ;
 328   %b = extractelement <4 x i32> %V, i32 4
 329   ret i32 %b
 330 }
 331
 332 define i32 @test36(i32 %V) {
 333 ; CHECK-LABEL: @test36(
 334 ; CHECK:         ret i32 undef
 335 ;
 336   %b = extractelement <4 x i32> undef, i32 %V
 337   ret i32 %b
 338 }
 339
 340 define i32 @test37() {
 341 ; CHECK-LABEL: @test37(
 342 ; CHECK:         ret i32 undef
 343 ;
 344   %b = udiv i32 undef, undef
 345   ret i32 %b
 346 }
 347
 348 define i32 @test38(i32 %a) {
 349 ; CHECK-LABEL: @test38(
 350 ; CHECK:         ret i32 undef
 351 ;
 352   %b = udiv i32 %a, undef
 353   ret i32 %b
 354 }
 355
 356 define i32 @test39() {
 357 ; CHECK-LABEL: @test39(
 358 ; CHECK:         ret i32 undef
 359 ;
 360   %b = udiv i32 0, undef
 361   ret i32 %b
 362 }