llvm/test/Transforms/InstCombine/cast.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; Tests to make sure elimination of casts is working correctly
   3 ; RUN: opt < %s -passes=instcombine -S -data-layout="E-p:64:64:64-p1:32:32:32-p2:64:64:64-p3:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128-n8:16:32:64" | FileCheck %s --check-prefixes=ALL,BE
   4 ; RUN: opt < %s -passes=instcombine -S -data-layout="e-p:64:64:64-p1:32:32:32-p2:64:64:64-p3:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128-n8:16:32:64" | FileCheck %s --check-prefixes=ALL,LE
   5
   6 declare void @use_i32(i32)
   7 declare void @use_v2i32(<2 x i32>)
   8
   9 @inbuf = external global [32832 x i8]
  10
  11 define i32 @test1(i32 %A) {
  12 ; ALL-LABEL: @test1(
  13 ; ALL-NEXT:    ret i32 [[A:%.*]]
  14 ;
  15   %c1 = bitcast i32 %A to i32
  16   %c2 = bitcast i32 %c1 to i32
  17   ret i32 %c2
  18 }
  19
  20 define i64 @test2(i8 %A) {
  21 ; ALL-LABEL: @test2(
  22 ; ALL-NEXT:    [[RET:%.*]] = zext i8 [[A:%.*]] to i64
  23 ; ALL-NEXT:    ret i64 [[RET]]
  24 ;
  25   %c1 = zext i8 %A to i16
  26   %c2 = zext i16 %c1 to i32
  27   %Ret = zext i32 %c2 to i64
  28   ret i64 %Ret
  29 }
  30
  31 define i64 @test3(i64 %A) {
  32 ; ALL-LABEL: @test3(
  33 ; ALL-NEXT:    [[C2:%.*]] = and i64 [[A:%.*]], 255
  34 ; ALL-NEXT:    ret i64 [[C2]]
  35 ;
  36   %c1 = trunc i64 %A to i8
  37   %c2 = zext i8 %c1 to i64
  38   ret i64 %c2
  39 }
  40
  41 define i32 @test4(i32 %A, i32 %B) {
  42 ; ALL-LABEL: @test4(
  43 ; ALL-NEXT:    [[COND:%.*]] = icmp slt i32 [[A:%.*]], [[B:%.*]]
  44 ; ALL-NEXT:    [[RESULT:%.*]] = zext i1 [[COND]] to i32
  45 ; ALL-NEXT:    ret i32 [[RESULT]]
  46 ;
  47   %COND = icmp slt i32 %A, %B
  48   %c = zext i1 %COND to i8
  49   %result = zext i8 %c to i32
  50   ret i32 %result
  51 }
  52
  53 define i32 @test5(i1 %B) {
  54 ; ALL-LABEL: @test5(
  55 ; ALL-NEXT:    [[RESULT:%.*]] = zext i1 [[B:%.*]] to i32
  56 ; ALL-NEXT:    ret i32 [[RESULT]]
  57 ;
  58   %c = zext i1 %B to i8
  59   %result = zext i8 %c to i32
  60   ret i32 %result
  61 }
  62
  63 define i32 @test6(i64 %A) {
  64 ; ALL-LABEL: @test6(
  65 ; ALL-NEXT:    [[C1:%.*]] = trunc i64 [[A:%.*]] to i32
  66 ; ALL-NEXT:    ret i32 [[C1]]
  67 ;
  68   %c1 = trunc i64 %A to i32
  69   %res = bitcast i32 %c1 to i32
  70   ret i32 %res
  71 }
  72
  73 define i64 @test7(i1 %A) {
  74 ; ALL-LABEL: @test7(
  75 ; ALL-NEXT:    [[RES:%.*]] = zext i1 [[A:%.*]] to i64
  76 ; ALL-NEXT:    ret i64 [[RES]]
  77 ;
  78   %c1 = zext i1 %A to i32
  79   %res = sext i32 %c1 to i64
  80   ret i64 %res
  81 }
  82
  83 define i64 @test8(i8 %A) {
  84 ; ALL-LABEL: @test8(
  85 ; ALL-NEXT:    [[C1:%.*]] = sext i8 [[A:%.*]] to i64
  86 ; ALL-NEXT:    ret i64 [[C1]]
  87 ;
  88   %c1 = sext i8 %A to i64
  89   %res = bitcast i64 %c1 to i64
  90   ret i64 %res
  91 }
  92
  93 define i16 @test9(i16 %A) {
  94 ; ALL-LABEL: @test9(
  95 ; ALL-NEXT:    ret i16 [[A:%.*]]
  96 ;
  97   %c1 = sext i16 %A to i32
  98   %c2 = trunc i32 %c1 to i16
  99   ret i16 %c2
 100 }
 101
 102 define i16 @test10(i16 %A) {
 103 ; ALL-LABEL: @test10(
 104 ; ALL-NEXT:    ret i16 [[A:%.*]]
 105 ;
 106   %c1 = sext i16 %A to i32
 107   %c2 = trunc i32 %c1 to i16
 108   ret i16 %c2
 109 }
 110
 111 declare void @varargs(i32, ...)
 112
 113 define void @test11(ptr %P) {
 114 ; ALL-LABEL: @test11(
 115 ; ALL-NEXT:    call void (i32, ...) @varargs(i32 5, ptr [[P:%.*]])
 116 ; ALL-NEXT:    ret void
 117 ;
 118   call void (i32, ...) @varargs( i32 5, ptr %P )
 119   ret void
 120 }
 121
 122 declare i32 @__gxx_personality_v0(...)
 123 define void @test_invoke_vararg_cast(ptr %a, ptr %b) personality ptr @__gxx_personality_v0 {
 124 ; ALL-LABEL: @test_invoke_vararg_cast(
 125 ; ALL-NEXT:  entry:
 126 ; ALL-NEXT:    invoke void (i32, ...) @varargs(i32 1, ptr [[B:%.*]], ptr [[A:%.*]])
 127 ; ALL-NEXT:            to label [[INVOKE_CONT:%.*]] unwind label [[LPAD:%.*]]
 128 ; ALL:       invoke.cont:
 129 ; ALL-NEXT:    ret void
 130 ; ALL:       lpad:
 131 ; ALL-NEXT:    [[TMP0:%.*]] = landingpad { ptr, i32 }
 132 ; ALL-NEXT:            cleanup
 133 ; ALL-NEXT:    ret void
 134 ;
 135 entry:
 136   invoke void (i32, ...) @varargs(i32 1, ptr %b, ptr %a)
 137   to label %invoke.cont unwind label %lpad
 138
 139 invoke.cont:
 140   ret void
 141
 142 lpad:
 143   %0 = landingpad { ptr, i32 }
 144   cleanup
 145   ret void
 146 }
 147
 148 define ptr @test13(i64 %A) {
 149 ; ALL-LABEL: @test13(
 150 ; ALL-NEXT:    [[C:%.*]] = getelementptr [0 x i8], ptr @inbuf, i64 0, i64 [[A:%.*]]
 151 ; ALL-NEXT:    ret ptr [[C]]
 152 ;
 153   %c = getelementptr [0 x i8], ptr @inbuf, i64 0, i64 %A
 154   ret ptr %c
 155 }
 156
 157 define i1 @test14(i8 %A) {
 158 ; ALL-LABEL: @test14(
 159 ; ALL-NEXT:    [[X:%.*]] = icmp sgt i8 [[A:%.*]], -1
 160 ; ALL-NEXT:    ret i1 [[X]]
 161 ;
 162   %c = bitcast i8 %A to i8
 163   %X = icmp ult i8 %c, -128
 164   ret i1 %X
 165 }
 166
 167
 168 ; This just won't occur when there's no difference between ubyte and sbyte
 169 ;bool %test15(ubyte %A) {
 170 ;        %c = cast ubyte %A to sbyte
 171 ;        %X = setlt sbyte %c, 0   ; setgt %A, 127
 172 ;        ret bool %X
 173 ;}
 174
 175 define i1 @test16(ptr %P) {
 176 ; ALL-LABEL: @test16(
 177 ; ALL-NEXT:    [[C:%.*]] = icmp ne ptr [[P:%.*]], null
 178 ; ALL-NEXT:    ret i1 [[C]]
 179 ;
 180   %c = icmp ne ptr %P, null
 181   ret i1 %c
 182 }
 183
 184 define i16 @test17(i1 %x) {
 185 ; ALL-LABEL: @test17(
 186 ; ALL-NEXT:    [[T86:%.*]] = zext i1 [[X:%.*]] to i16
 187 ; ALL-NEXT:    ret i16 [[T86]]
 188 ;
 189   %c = zext i1 %x to i32
 190   %t86 = trunc i32 %c to i16
 191   ret i16 %t86
 192 }
 193
 194 define i16 @test18(i8 %x) {
 195 ; ALL-LABEL: @test18(
 196 ; ALL-NEXT:    [[T86:%.*]] = sext i8 [[X:%.*]] to i16
 197 ; ALL-NEXT:    ret i16 [[T86]]
 198 ;
 199   %c = sext i8 %x to i32
 200   %t86 = trunc i32 %c to i16
 201   ret i16 %t86
 202 }
 203
 204 define i1 @test19(i32 %X) {
 205 ; ALL-LABEL: @test19(
 206 ; ALL-NEXT:    [[Z:%.*]] = icmp slt i32 [[X:%.*]], 12345
 207 ; ALL-NEXT:    ret i1 [[Z]]
 208 ;
 209   %c = sext i32 %X to i64
 210   %Z = icmp slt i64 %c, 12345
 211   ret i1 %Z
 212 }
 213
 214 define <2 x i1> @test19vec(<2 x i32> %X) {
 215 ; ALL-LABEL: @test19vec(
 216 ; ALL-NEXT:    [[Z:%.*]] = icmp slt <2 x i32> [[X:%.*]], <i32 12345, i32 2147483647>
 217 ; ALL-NEXT:    ret <2 x i1> [[Z]]
 218 ;
 219   %c = sext <2 x i32> %X to <2 x i64>
 220   %Z = icmp slt <2 x i64> %c, <i64 12345, i64 2147483647>
 221   ret <2 x i1> %Z
 222 }
 223
 224 define <3 x i1> @test19vec2(<3 x i1> %X) {
 225 ; ALL-LABEL: @test19vec2(
 226 ; ALL-NEXT:    [[CMPEQ:%.*]] = xor <3 x i1> [[X:%.*]], splat (i1 true)
 227 ; ALL-NEXT:    ret <3 x i1> [[CMPEQ]]
 228 ;
 229   %sext = sext <3 x i1> %X to <3 x i32>
 230   %cmpeq = icmp eq <3 x i32> %sext, zeroinitializer
 231   ret <3 x i1> %cmpeq
 232 }
 233
 234 define i1 @test20(i1 %B) {
 235 ; ALL-LABEL: @test20(
 236 ; ALL-NEXT:    ret i1 false
 237 ;
 238   %c = zext i1 %B to i32
 239   %D = icmp slt i32 %c, -1
 240   ret i1 %D
 241 }
 242
 243 define i32 @test21(i32 %X) {
 244 ; ALL-LABEL: @test21(
 245 ; ALL-NEXT:    [[SEXT:%.*]] = and i32 [[X:%.*]], 255
 246 ; ALL-NEXT:    ret i32 [[SEXT]]
 247 ;
 248   %c1 = trunc i32 %X to i8
 249   %c2 = sext i8 %c1 to i32
 250   %RV = and i32 %c2, 255
 251   ret i32 %RV
 252 }
 253
 254 define i32 @test22(i32 %X) {
 255 ; ALL-LABEL: @test22(
 256 ; ALL-NEXT:    [[SEXT:%.*]] = shl i32 [[X:%.*]], 24
 257 ; ALL-NEXT:    ret i32 [[SEXT]]
 258 ;
 259   %c1 = trunc i32 %X to i8
 260   %c2 = sext i8 %c1 to i32
 261   %RV = shl i32 %c2, 24
 262   ret i32 %RV
 263 }
 264
 265 define i32 @test23(i32 %X) {
 266 ; ALL-LABEL: @test23(
 267 ; ALL-NEXT:    [[C2:%.*]] = and i32 [[X:%.*]], 65535
 268 ; ALL-NEXT:    ret i32 [[C2]]
 269 ;
 270   %c1 = trunc i32 %X to i16
 271   %c2 = zext i16 %c1 to i32
 272   ret i32 %c2
 273 }
 274
 275 define i1 @test24(i1 %C) {
 276 ; ALL-LABEL: @test24(
 277 ; ALL-NEXT:    ret i1 true
 278 ;
 279   %X = select i1 %C, i32 14, i32 1234
 280   %c = icmp ne i32 %X, 0
 281   ret i1 %c
 282 }
 283
 284 define i32 @test26(float %F) {
 285 ; ALL-LABEL: @test26(
 286 ; ALL-NEXT:    [[D:%.*]] = fptosi float [[F:%.*]] to i32
 287 ; ALL-NEXT:    ret i32 [[D]]
 288 ;
 289   %c = fpext float %F to double
 290   %D = fptosi double %c to i32
 291   ret i32 %D
 292 }
 293
 294 define ptr @test27(ptr %A) {
 295 ; ALL-LABEL: @test27(
 296 ; ALL-NEXT:    ret ptr [[A:%.*]]
 297 ;
 298   ret ptr %A
 299 }
 300
 301 define ptr @test28(ptr %A) {
 302 ; ALL-LABEL: @test28(
 303 ; ALL-NEXT:    ret ptr [[A:%.*]]
 304 ;
 305   ret ptr %A
 306 }
 307
 308 define i32 @test29(i32 %c1, i32 %c2) {
 309 ; ALL-LABEL: @test29(
 310 ; ALL-NEXT:    [[T21:%.*]] = or i32 [[C2:%.*]], [[C1:%.*]]
 311 ; ALL-NEXT:    [[T10:%.*]] = and i32 [[T21]], 255
 312 ; ALL-NEXT:    ret i32 [[T10]]
 313 ;
 314   %t1 = trunc i32 %c1 to i8
 315   %tmask = trunc i32 %c2 to i8
 316   %t2 = or i8 %tmask, %t1
 317   %t10 = zext i8 %t2 to i32
 318   ret i32 %t10
 319 }
 320
 321 define i32 @test30(i32 %c1) {
 322 ; ALL-LABEL: @test30(
 323 ; ALL-NEXT:    [[C3:%.*]] = and i32 [[C1:%.*]], 255
 324 ; ALL-NEXT:    [[C4:%.*]] = xor i32 [[C3]], 1
 325 ; ALL-NEXT:    ret i32 [[C4]]
 326 ;
 327   %c2 = trunc i32 %c1 to i8
 328   %c3 = xor i8 %c2, 1
 329   %c4 = zext i8 %c3 to i32
 330   ret i32 %c4
 331 }
 332
 333 define i1 @test31(i64 %A) {
 334 ; ALL-LABEL: @test31(
 335 ; ALL-NEXT:    [[C1:%.*]] = and i64 [[A:%.*]], 42
 336 ; ALL-NEXT:    [[D:%.*]] = icmp eq i64 [[C1]], 10
 337 ; ALL-NEXT:    ret i1 [[D]]
 338 ;
 339   %B = trunc i64 %A to i32
 340   %C = and i32 %B, 42
 341   %D = icmp eq i32 %C, 10
 342   ret i1 %D
 343 }
 344
 345 ; FIXME: Vectors should fold too...or not?
 346 ; Does this depend on the whether the source/dest types of the trunc are legal in the data layout?
 347 define <2 x i1> @test31vec(<2 x i64> %A) {
 348 ; ALL-LABEL: @test31vec(
 349 ; ALL-NEXT:    [[B:%.*]] = trunc <2 x i64> [[A:%.*]] to <2 x i32>
 350 ; ALL-NEXT:    [[C:%.*]] = and <2 x i32> [[B]], splat (i32 42)
 351 ; ALL-NEXT:    [[D:%.*]] = icmp eq <2 x i32> [[C]], splat (i32 10)
 352 ; ALL-NEXT:    ret <2 x i1> [[D]]
 353 ;
 354   %B = trunc <2 x i64> %A to <2 x i32>
 355   %C = and <2 x i32> %B, <i32 42, i32 42>
 356   %D = icmp eq <2 x i32> %C, <i32 10, i32 10>
 357   ret <2 x i1> %D
 358 }
 359
 360 ; Verify that the 'and' was narrowed, the zext was eliminated, and the compare was narrowed
 361 ; even for vectors. Earlier folds should ensure that the icmp(and(zext)) pattern never occurs.
 362
 363 define <2 x i1> @test32vec(<2 x i8> %A) {
 364 ; ALL-LABEL: @test32vec(
 365 ; ALL-NEXT:    [[TMP1:%.*]] = and <2 x i8> [[A:%.*]], splat (i8 42)
 366 ; ALL-NEXT:    [[D:%.*]] = icmp eq <2 x i8> [[TMP1]], splat (i8 10)
 367 ; ALL-NEXT:    ret <2 x i1> [[D]]
 368 ;
 369   %B = zext <2 x i8> %A to <2 x i16>
 370   %C = and <2 x i16> %B, <i16 42, i16 42>
 371   %D = icmp eq <2 x i16> %C, <i16 10, i16 10>
 372   ret <2 x i1> %D
 373 }
 374
 375 define i32 @test33(i32 %c1) {
 376 ; ALL-LABEL: @test33(
 377 ; ALL-NEXT:    ret i32 [[C1:%.*]]
 378 ;
 379   %x = bitcast i32 %c1 to float
 380   %y = bitcast float %x to i32
 381   ret i32 %y
 382 }
 383
 384 define i16 @test34(i16 %a) {
 385 ; ALL-LABEL: @test34(
 386 ; ALL-NEXT:    [[TMP1:%.*]] = lshr i16 [[A:%.*]], 8
 387 ; ALL-NEXT:    ret i16 [[TMP1]]
 388 ;
 389   %c1 = zext i16 %a to i32
 390   %t21 = lshr i32 %c1, 8
 391   %c2 = trunc i32 %t21 to i16
 392   ret i16 %c2
 393 }
 394
 395 define i16 @test35(i16 %a) {
 396 ; ALL-LABEL: @test35(
 397 ; ALL-NEXT:    [[T2:%.*]] = lshr i16 [[A:%.*]], 8
 398 ; ALL-NEXT:    ret i16 [[T2]]
 399 ;
 400   %c1 = bitcast i16 %a to i16
 401   %t2 = lshr i16 %c1, 8
 402   %c2 = bitcast i16 %t2 to i16
 403   ret i16 %c2
 404 }
 405
 406 ; rdar://6480391
 407 define i1 @test36(i32 %a) {
 408 ; ALL-LABEL: @test36(
 409 ; ALL-NEXT:    [[D:%.*]] = icmp sgt i32 [[A:%.*]], -1
 410 ; ALL-NEXT:    ret i1 [[D]]
 411 ;
 412   %b = lshr i32 %a, 31
 413   %c = trunc i32 %b to i8
 414   %d = icmp eq i8 %c, 0
 415   ret i1 %d
 416 }
 417
 418 define <2 x i1> @test36vec(<2 x i32> %a) {
 419 ; ALL-LABEL: @test36vec(
 420 ; ALL-NEXT:    [[D:%.*]] = icmp sgt <2 x i32> [[A:%.*]], splat (i32 -1)
 421 ; ALL-NEXT:    ret <2 x i1> [[D]]
 422 ;
 423   %b = lshr <2 x i32> %a, <i32 31, i32 31>
 424   %c = trunc <2 x i32> %b to <2 x i8>
 425   %d = icmp eq <2 x i8> %c, zeroinitializer
 426   ret <2 x i1> %d
 427 }
 428
 429 define i1 @test37(i32 %a) {
 430 ; ALL-LABEL: @test37(
 431 ; ALL-NEXT:    ret i1 false
 432 ;
 433   %b = lshr i32 %a, 31
 434   %c = or i32 %b, 512
 435   %d = trunc i32 %c to i8
 436   %e = icmp eq i8 %d, 11
 437   ret i1 %e
 438 }
 439
 440 define i64 @test38(i32 %a) {
 441 ; ALL-LABEL: @test38(
 442 ; ALL-NEXT:    [[TMP1:%.*]] = icmp ne i32 [[A:%.*]], -2
 443 ; ALL-NEXT:    [[TMP2:%.*]] = zext i1 [[TMP1]] to i64
 444 ; ALL-NEXT:    ret i64 [[TMP2]]
 445 ;
 446   %1 = icmp eq i32 %a, -2
 447   %2 = zext i1 %1 to i8
 448   %3 = xor i8 %2, 1
 449   %4 = zext i8 %3 to i64
 450   ret i64 %4
 451 }
 452
 453 define i16 @test39(i16 %a) {
 454 ; ALL-LABEL: @test39(
 455 ; ALL-NEXT:    [[T32:%.*]] = call i16 @llvm.bswap.i16(i16 [[A:%.*]])
 456 ; ALL-NEXT:    ret i16 [[T32]]
 457 ;
 458   %t = zext i16 %a to i32
 459   %t21 = lshr i32 %t, 8
 460   %t5 = shl i32 %t, 8
 461   %t32 = or i32 %t21, %t5
 462   %r = trunc i32 %t32 to i16
 463   ret i16 %r
 464 }
 465
 466 define i16 @test40(i16 %a) {
 467 ; ALL-LABEL: @test40(
 468 ; ALL-NEXT:    [[T21:%.*]] = lshr i16 [[A:%.*]], 9
 469 ; ALL-NEXT:    [[T5:%.*]] = shl i16 [[A]], 8
 470 ; ALL-NEXT:    [[T32:%.*]] = or disjoint i16 [[T21]], [[T5]]
 471 ; ALL-NEXT:    ret i16 [[T32]]
 472 ;
 473   %t = zext i16 %a to i32
 474   %t21 = lshr i32 %t, 9
 475   %t5 = shl i32 %t, 8
 476   %t32 = or i32 %t21, %t5
 477   %r = trunc i32 %t32 to i16
 478   ret i16 %r
 479 }
 480
 481 define <2 x i16> @test40vec(<2 x i16> %a) {
 482 ; ALL-LABEL: @test40vec(
 483 ; ALL-NEXT:    [[T21:%.*]] = lshr <2 x i16> [[A:%.*]], splat (i16 9)
 484 ; ALL-NEXT:    [[T5:%.*]] = shl <2 x i16> [[A]], splat (i16 8)
 485 ; ALL-NEXT:    [[T32:%.*]] = or disjoint <2 x i16> [[T21]], [[T5]]
 486 ; ALL-NEXT:    ret <2 x i16> [[T32]]
 487 ;
 488   %t = zext <2 x i16> %a to <2 x i32>
 489   %t21 = lshr <2 x i32> %t, <i32 9, i32 9>
 490   %t5 = shl <2 x i32> %t, <i32 8, i32 8>
 491   %t32 = or <2 x i32> %t21, %t5
 492   %r = trunc <2 x i32> %t32 to <2 x i16>
 493   ret <2 x i16> %r
 494 }
 495
 496 define <2 x i16> @test40vec_nonuniform(<2 x i16> %a) {
 497 ; ALL-LABEL: @test40vec_nonuniform(
 498 ; ALL-NEXT:    [[T21:%.*]] = lshr <2 x i16> [[A:%.*]], <i16 9, i16 10>
 499 ; ALL-NEXT:    [[T5:%.*]] = shl <2 x i16> [[A]], <i16 8, i16 9>
 500 ; ALL-NEXT:    [[T32:%.*]] = or disjoint <2 x i16> [[T21]], [[T5]]
 501 ; ALL-NEXT:    ret <2 x i16> [[T32]]
 502 ;
 503   %t = zext <2 x i16> %a to <2 x i32>
 504   %t21 = lshr <2 x i32> %t, <i32 9, i32 10>
 505   %t5 = shl <2 x i32> %t, <i32 8, i32 9>
 506   %t32 = or <2 x i32> %t21, %t5
 507   %r = trunc <2 x i32> %t32 to <2 x i16>
 508   ret <2 x i16> %r
 509 }
 510
 511 define <2 x i16> @test40vec_poison(<2 x i16> %a) {
 512 ; ALL-LABEL: @test40vec_poison(
 513 ; ALL-NEXT:    [[T21:%.*]] = lshr <2 x i16> [[A:%.*]], <i16 9, i16 poison>
 514 ; ALL-NEXT:    [[T5:%.*]] = shl <2 x i16> [[A]], <i16 8, i16 poison>
 515 ; ALL-NEXT:    [[T32:%.*]] = or disjoint <2 x i16> [[T21]], [[T5]]
 516 ; ALL-NEXT:    ret <2 x i16> [[T32]]
 517 ;
 518   %t = zext <2 x i16> %a to <2 x i32>
 519   %t21 = lshr <2 x i32> %t, <i32 9, i32 poison>
 520   %t5 = shl <2 x i32> %t, <i32 8, i32 poison>
 521   %t32 = or <2 x i32> %t21, %t5
 522   %r = trunc <2 x i32> %t32 to <2 x i16>
 523   ret <2 x i16> %r
 524 }
 525
 526 ; PR1263
 527 define ptr @test41(ptr %t1) {
 528 ; ALL-LABEL: @test41(
 529 ; ALL-NEXT:    ret ptr [[T1:%.*]]
 530 ;
 531   ret ptr %t1
 532 }
 533
 534 define ptr addrspace(1) @test41_addrspacecast_smaller(ptr %t1) {
 535 ; ALL-LABEL: @test41_addrspacecast_smaller(
 536 ; ALL-NEXT:    [[T64:%.*]] = addrspacecast ptr [[T1:%.*]] to ptr addrspace(1)
 537 ; ALL-NEXT:    ret ptr addrspace(1) [[T64]]
 538 ;
 539   %t64 = addrspacecast ptr %t1 to ptr addrspace(1)
 540   ret ptr addrspace(1) %t64
 541 }
 542
 543 define ptr @test41_addrspacecast_larger(ptr addrspace(1) %t1) {
 544 ; ALL-LABEL: @test41_addrspacecast_larger(
 545 ; ALL-NEXT:    [[T64:%.*]] = addrspacecast ptr addrspace(1) [[T1:%.*]] to ptr
 546 ; ALL-NEXT:    ret ptr [[T64]]
 547 ;
 548   %t64 = addrspacecast ptr addrspace(1) %t1 to ptr
 549   ret ptr %t64
 550 }
 551
 552 define i32 @test42(i32 %X) {
 553 ; ALL-LABEL: @test42(
 554 ; ALL-NEXT:    [[Z:%.*]] = and i32 [[X:%.*]], 255
 555 ; ALL-NEXT:    ret i32 [[Z]]
 556 ;
 557   %Y = trunc i32 %X to i8
 558   %Z = zext i8 %Y to i32
 559   ret i32 %Z
 560 }
 561
 562 ; rdar://6598839
 563 define zeroext i64 @test43(i8 zeroext %on_off) {
 564 ; ALL-LABEL: @test43(
 565 ; ALL-NEXT:    [[A:%.*]] = zext i8 [[ON_OFF:%.*]] to i64
 566 ; ALL-NEXT:    [[B:%.*]] = add nsw i64 [[A]], -1
 567 ; ALL-NEXT:    ret i64 [[B]]
 568 ;
 569   %A = zext i8 %on_off to i32
 570   %B = add i32 %A, -1
 571   %C = sext i32 %B to i64
 572   ret i64 %C  ;; Should be (add (zext i8 -> i64), -1)
 573 }
 574
 575 define i64 @test44(i8 %T) {
 576 ; ALL-LABEL: @test44(
 577 ; ALL-NEXT:    [[A:%.*]] = zext i8 [[T:%.*]] to i64
 578 ; ALL-NEXT:    [[B:%.*]] = or i64 [[A]], 1234
 579 ; ALL-NEXT:    ret i64 [[B]]
 580 ;
 581   %A = zext i8 %T to i16
 582   %B = or i16 %A, 1234
 583   %C = zext i16 %B to i64
 584   ret i64 %C
 585 }
 586
 587 define i64 @test45(i8 %A, i64 %Q) {
 588 ; ALL-LABEL: @test45(
 589 ; ALL-NEXT:    [[B:%.*]] = sext i8 [[A:%.*]] to i64
 590 ; ALL-NEXT:    [[C:%.*]] = or i64 [[Q:%.*]], [[B]]
 591 ; ALL-NEXT:    [[E:%.*]] = and i64 [[C]], 4294967295
 592 ; ALL-NEXT:    ret i64 [[E]]
 593 ;
 594   %D = trunc i64 %Q to i32  ;; should be removed
 595   %B = sext i8 %A to i32
 596   %C = or i32 %B, %D
 597   %E = zext i32 %C to i64
 598   ret i64 %E
 599 }
 600
 601
 602 define i64 @test46(i64 %A) {
 603 ; ALL-LABEL: @test46(
 604 ; ALL-NEXT:    [[C:%.*]] = shl i64 [[A:%.*]], 8
 605 ; ALL-NEXT:    [[D:%.*]] = and i64 [[C]], 10752
 606 ; ALL-NEXT:    ret i64 [[D]]
 607 ;
 608   %B = trunc i64 %A to i32
 609   %C = and i32 %B, 42
 610   %D = shl i32 %C, 8
 611   %E = zext i32 %D to i64
 612   ret i64 %E
 613 }
 614
 615 define <2 x i64> @test46vec(<2 x i64> %A) {
 616 ; ALL-LABEL: @test46vec(
 617 ; ALL-NEXT:    [[B:%.*]] = trunc <2 x i64> [[A:%.*]] to <2 x i32>
 618 ; ALL-NEXT:    [[C:%.*]] = shl <2 x i32> [[B]], splat (i32 8)
 619 ; ALL-NEXT:    [[D:%.*]] = and <2 x i32> [[C]], splat (i32 10752)
 620 ; ALL-NEXT:    [[E:%.*]] = zext nneg <2 x i32> [[D]] to <2 x i64>
 621 ; ALL-NEXT:    ret <2 x i64> [[E]]
 622 ;
 623   %B = trunc <2 x i64> %A to <2 x i32>
 624   %C = and <2 x i32> %B, <i32 42, i32 42>
 625   %D = shl <2 x i32> %C, <i32 8, i32 8>
 626   %E = zext <2 x i32> %D to <2 x i64>
 627   ret <2 x i64> %E
 628 }
 629
 630 define i64 @test47(i8 %A) {
 631 ; ALL-LABEL: @test47(
 632 ; ALL-NEXT:    [[TMP1:%.*]] = or i8 [[A:%.*]], 42
 633 ; ALL-NEXT:    [[C:%.*]] = sext i8 [[TMP1]] to i64
 634 ; ALL-NEXT:    [[E:%.*]] = and i64 [[C]], 4294967295
 635 ; ALL-NEXT:    ret i64 [[E]]
 636 ;
 637   %B = sext i8 %A to i32
 638   %C = or i32 %B, 42
 639   %E = zext i32 %C to i64
 640   ret i64 %E
 641 }
 642
 643 define i64 @test48(i8 %A1, i8 %a2) {
 644 ; ALL-LABEL: @test48(
 645 ; ALL-NEXT:    [[Z2:%.*]] = zext i8 [[A1:%.*]] to i32
 646 ; ALL-NEXT:    [[C:%.*]] = shl nuw nsw i32 [[Z2]], 8
 647 ; ALL-NEXT:    [[D:%.*]] = or disjoint i32 [[C]], [[Z2]]
 648 ; ALL-NEXT:    [[E:%.*]] = zext nneg i32 [[D]] to i64
 649 ; ALL-NEXT:    ret i64 [[E]]
 650 ;
 651   %Z1 = zext i8 %a2 to i32
 652   %Z2 = zext i8 %A1 to i32
 653   %C = shl i32 %Z2, 8
 654   %D = or i32 %C, %Z2
 655   %E = zext i32 %D to i64
 656   ret i64 %E
 657 }
 658
 659 define i64 @test49(i64 %A) {
 660 ; ALL-LABEL: @test49(
 661 ; ALL-NEXT:    [[C:%.*]] = shl i64 [[A:%.*]], 32
 662 ; ALL-NEXT:    [[SEXT:%.*]] = ashr exact i64 [[C]], 32
 663 ; ALL-NEXT:    [[D:%.*]] = or i64 [[SEXT]], 1
 664 ; ALL-NEXT:    ret i64 [[D]]
 665 ;
 666   %B = trunc i64 %A to i32
 667   %C = or i32 %B, 1
 668   %D = sext i32 %C to i64
 669   ret i64 %D
 670 }
 671
 672 define i64 @test50(i64 %x) {
 673 ; ALL-LABEL: @test50(
 674 ; ALL-NEXT:    [[TMP1:%.*]] = shl i64 [[X:%.*]], 30
 675 ; ALL-NEXT:    [[SEXT:%.*]] = add i64 [[TMP1]], -4294967296
 676 ; ALL-NEXT:    [[E:%.*]] = ashr i64 [[SEXT]], 32
 677 ; ALL-NEXT:    ret i64 [[E]]
 678 ;
 679   %a = lshr i64 %x, 2
 680   %B = trunc i64 %a to i32
 681   %D = add i32 %B, -1
 682   %E = sext i32 %D to i64
 683   ret i64 %E
 684 }
 685
 686 define i64 @test51(i64 %A, i1 %cond) {
 687 ; ALL-LABEL: @test51(
 688 ; ALL-NEXT:    [[C:%.*]] = and i64 [[A:%.*]], 4294967294
 689 ; ALL-NEXT:    [[NOT_COND:%.*]] = xor i1 [[COND:%.*]], true
 690 ; ALL-NEXT:    [[MASKSEL:%.*]] = zext i1 [[NOT_COND]] to i64
 691 ; ALL-NEXT:    [[E:%.*]] = or disjoint i64 [[C]], [[MASKSEL]]
 692 ; ALL-NEXT:    [[SEXT:%.*]] = shl nuw i64 [[E]], 32
 693 ; ALL-NEXT:    [[F:%.*]] = ashr exact i64 [[SEXT]], 32
 694 ; ALL-NEXT:    ret i64 [[F]]
 695 ;
 696   %B = trunc i64 %A to i32
 697   %C = and i32 %B, -2
 698   %D = or i32 %B, 1
 699   %E = select i1 %cond, i32 %C, i32 %D
 700   %F = sext i32 %E to i64
 701   ret i64 %F
 702 }
 703
 704 define i32 @test52(i64 %A) {
 705 ; ALL-LABEL: @test52(
 706 ; ALL-NEXT:    [[B:%.*]] = trunc i64 [[A:%.*]] to i32
 707 ; ALL-NEXT:    [[C:%.*]] = and i32 [[B]], 7224
 708 ; ALL-NEXT:    [[D:%.*]] = or disjoint i32 [[C]], 32962
 709 ; ALL-NEXT:    ret i32 [[D]]
 710 ;
 711   %B = trunc i64 %A to i16
 712   %C = or i16 %B, -32574
 713   %D = and i16 %C, -25350
 714   %E = zext i16 %D to i32
 715   ret i32 %E
 716 }
 717
 718 define i64 @test53(i32 %A) {
 719 ; ALL-LABEL: @test53(
 720 ; ALL-NEXT:    [[TMP1:%.*]] = and i32 [[A:%.*]], 7224
 721 ; ALL-NEXT:    [[TMP2:%.*]] = or disjoint i32 [[TMP1]], 32962
 722 ; ALL-NEXT:    [[D:%.*]] = zext nneg i32 [[TMP2]] to i64
 723 ; ALL-NEXT:    ret i64 [[D]]
 724 ;
 725   %B = trunc i32 %A to i16
 726   %C = or i16 %B, -32574
 727   %D = and i16 %C, -25350
 728   %E = zext i16 %D to i64
 729   ret i64 %E
 730 }
 731
 732 define i32 @test54(i64 %A) {
 733 ; ALL-LABEL: @test54(
 734 ; ALL-NEXT:    [[B:%.*]] = trunc i64 [[A:%.*]] to i32
 735 ; ALL-NEXT:    [[C:%.*]] = and i32 [[B]], 7224
 736 ; ALL-NEXT:    [[D:%.*]] = or disjoint i32 [[C]], -32574
 737 ; ALL-NEXT:    ret i32 [[D]]
 738 ;
 739   %B = trunc i64 %A to i16
 740   %C = or i16 %B, -32574
 741   %D = and i16 %C, -25350
 742   %E = sext i16 %D to i32
 743   ret i32 %E
 744 }
 745
 746 define i64 @test55(i32 %A) {
 747 ; ALL-LABEL: @test55(
 748 ; ALL-NEXT:    [[TMP1:%.*]] = and i32 [[A:%.*]], 7224
 749 ; ALL-NEXT:    [[TMP2:%.*]] = or disjoint i32 [[TMP1]], -32574
 750 ; ALL-NEXT:    [[D:%.*]] = sext i32 [[TMP2]] to i64
 751 ; ALL-NEXT:    ret i64 [[D]]
 752 ;
 753   %B = trunc i32 %A to i16
 754   %C = or i16 %B, -32574
 755   %D = and i16 %C, -25350
 756   %E = sext i16 %D to i64
 757   ret i64 %E
 758 }
 759
 760 define i64 @test56(i16 %A) {
 761 ; ALL-LABEL: @test56(
 762 ; ALL-NEXT:    [[P353:%.*]] = sext i16 [[A:%.*]] to i64
 763 ; ALL-NEXT:    [[P354:%.*]] = lshr i64 [[P353]], 5
 764 ; ALL-NEXT:    [[P355:%.*]] = and i64 [[P354]], 134217727
 765 ; ALL-NEXT:    ret i64 [[P355]]
 766 ;
 767   %p353 = sext i16 %A to i32
 768   %p354 = lshr i32 %p353, 5
 769   %p355 = zext i32 %p354 to i64
 770   ret i64 %p355
 771 }
 772
 773 define <2 x i64> @test56vec(<2 x i16> %A) {
 774 ; ALL-LABEL: @test56vec(
 775 ; ALL-NEXT:    [[P353:%.*]] = sext <2 x i16> [[A:%.*]] to <2 x i32>
 776 ; ALL-NEXT:    [[P354:%.*]] = lshr <2 x i32> [[P353]], splat (i32 5)
 777 ; ALL-NEXT:    [[P355:%.*]] = zext nneg <2 x i32> [[P354]] to <2 x i64>
 778 ; ALL-NEXT:    ret <2 x i64> [[P355]]
 779 ;
 780   %p353 = sext <2 x i16> %A to <2 x i32>
 781   %p354 = lshr <2 x i32> %p353, <i32 5, i32 5>
 782   %p355 = zext <2 x i32> %p354 to <2 x i64>
 783   ret <2 x i64> %p355
 784 }
 785
 786 define i64 @test57(i64 %A) {
 787 ; ALL-LABEL: @test57(
 788 ; ALL-NEXT:    [[C:%.*]] = lshr i64 [[A:%.*]], 8
 789 ; ALL-NEXT:    [[E:%.*]] = and i64 [[C]], 16777215
 790 ; ALL-NEXT:    ret i64 [[E]]
 791 ;
 792   %B = trunc i64 %A to i32
 793   %C = lshr i32 %B, 8
 794   %E = zext i32 %C to i64
 795   ret i64 %E
 796 }
 797
 798 define <2 x i64> @test57vec(<2 x i64> %A) {
 799 ; ALL-LABEL: @test57vec(
 800 ; ALL-NEXT:    [[B:%.*]] = trunc <2 x i64> [[A:%.*]] to <2 x i32>
 801 ; ALL-NEXT:    [[C:%.*]] = lshr <2 x i32> [[B]], splat (i32 8)
 802 ; ALL-NEXT:    [[E:%.*]] = zext nneg <2 x i32> [[C]] to <2 x i64>
 803 ; ALL-NEXT:    ret <2 x i64> [[E]]
 804 ;
 805   %B = trunc <2 x i64> %A to <2 x i32>
 806   %C = lshr <2 x i32> %B, <i32 8, i32 8>
 807   %E = zext <2 x i32> %C to <2 x i64>
 808   ret <2 x i64> %E
 809 }
 810
 811 define i64 @test58(i64 %A) {
 812 ; ALL-LABEL: @test58(
 813 ; ALL-NEXT:    [[C:%.*]] = lshr i64 [[A:%.*]], 8
 814 ; ALL-NEXT:    [[D:%.*]] = and i64 [[C]], 16777087
 815 ; ALL-NEXT:    [[E:%.*]] = or disjoint i64 [[D]], 128
 816 ; ALL-NEXT:    ret i64 [[E]]
 817 ;
 818   %B = trunc i64 %A to i32
 819   %C = lshr i32 %B, 8
 820   %D = or i32 %C, 128
 821   %E = zext i32 %D to i64
 822   ret i64 %E
 823
 824 }
 825
 826 define i64 @test59(i8 %A, i8 %B) {
 827 ; ALL-LABEL: @test59(
 828 ; ALL-NEXT:    [[C:%.*]] = zext i8 [[A:%.*]] to i64
 829 ; ALL-NEXT:    [[D:%.*]] = shl nuw nsw i64 [[C]], 4
 830 ; ALL-NEXT:    [[E:%.*]] = and i64 [[D]], 48
 831 ; ALL-NEXT:    [[TMP1:%.*]] = lshr i8 [[B:%.*]], 4
 832 ; ALL-NEXT:    [[G:%.*]] = zext nneg i8 [[TMP1]] to i64
 833 ; ALL-NEXT:    [[H:%.*]] = or disjoint i64 [[E]], [[G]]
 834 ; ALL-NEXT:    ret i64 [[H]]
 835 ;
 836   %C = zext i8 %A to i32
 837   %D = shl i32 %C, 4
 838   %E = and i32 %D, 48
 839   %F = zext i8 %B to i32
 840   %G = lshr i32 %F, 4
 841   %H = or i32 %G, %E
 842   %I = zext i32 %H to i64
 843   ret i64 %I
 844 }
 845
 846 define <3 x i32> @test60(<4 x i32> %call4) {
 847 ; BE-LABEL: @test60(
 848 ; BE-NEXT:    [[P10:%.*]] = shufflevector <4 x i32> [[CALL4:%.*]], <4 x i32> poison, <3 x i32> <i32 1, i32 2, i32 3>
 849 ; BE-NEXT:    ret <3 x i32> [[P10]]
 850 ;
 851 ; LE-LABEL: @test60(
 852 ; LE-NEXT:    [[P10:%.*]] = shufflevector <4 x i32> [[CALL4:%.*]], <4 x i32> poison, <3 x i32> <i32 0, i32 1, i32 2>
 853 ; LE-NEXT:    ret <3 x i32> [[P10]]
 854 ;
 855   %p11 = bitcast <4 x i32> %call4 to i128
 856   %p9 = trunc i128 %p11 to i96
 857   %p10 = bitcast i96 %p9 to <3 x i32>
 858   ret <3 x i32> %p10
 859
 860 }
 861
 862 define <4 x i32> @test61(<3 x i32> %call4) {
 863 ; BE-LABEL: @test61(
 864 ; BE-NEXT:    [[P10:%.*]] = shufflevector <3 x i32> [[CALL4:%.*]], <3 x i32> <i32 0, i32 poison, i32 poison>, <4 x i32> <i32 3, i32 0, i32 1, i32 2>
 865 ; BE-NEXT:    ret <4 x i32> [[P10]]
 866 ;
 867 ; LE-LABEL: @test61(
 868 ; LE-NEXT:    [[P10:%.*]] = shufflevector <3 x i32> [[CALL4:%.*]], <3 x i32> <i32 0, i32 poison, i32 poison>, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 869 ; LE-NEXT:    ret <4 x i32> [[P10]]
 870 ;
 871   %p11 = bitcast <3 x i32> %call4 to i96
 872   %p9 = zext i96 %p11 to i128
 873   %p10 = bitcast i128 %p9 to <4 x i32>
 874   ret <4 x i32> %p10
 875 }
 876
 877 define <4 x i32> @test62(<3 x float> %call4) {
 878 ; BE-LABEL: @test62(
 879 ; BE-NEXT:    [[TMP1:%.*]] = bitcast <3 x float> [[CALL4:%.*]] to <3 x i32>
 880 ; BE-NEXT:    [[P10:%.*]] = shufflevector <3 x i32> [[TMP1]], <3 x i32> <i32 0, i32 poison, i32 poison>, <4 x i32> <i32 3, i32 0, i32 1, i32 2>
 881 ; BE-NEXT:    ret <4 x i32> [[P10]]
 882 ;
 883 ; LE-LABEL: @test62(
 884 ; LE-NEXT:    [[TMP1:%.*]] = bitcast <3 x float> [[CALL4:%.*]] to <3 x i32>
 885 ; LE-NEXT:    [[P10:%.*]] = shufflevector <3 x i32> [[TMP1]], <3 x i32> <i32 0, i32 poison, i32 poison>, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 886 ; LE-NEXT:    ret <4 x i32> [[P10]]
 887 ;
 888   %p11 = bitcast <3 x float> %call4 to i96
 889   %p9 = zext i96 %p11 to i128
 890   %p10 = bitcast i128 %p9 to <4 x i32>
 891   ret <4 x i32> %p10
 892 }
 893
 894 ; PR7311 - Don't create invalid IR on scalar->vector cast.
 895 define <2 x float> @test63(i64 %t8) {
 896 ; ALL-LABEL: @test63(
 897 ; ALL-NEXT:    [[A:%.*]] = bitcast i64 [[T8:%.*]] to <2 x i32>
 898 ; ALL-NEXT:    [[VCVT_I:%.*]] = uitofp <2 x i32> [[A]] to <2 x float>
 899 ; ALL-NEXT:    ret <2 x float> [[VCVT_I]]
 900 ;
 901   %a = bitcast i64 %t8 to <2 x i32>
 902   %vcvt.i = uitofp <2 x i32> %a to <2 x float>
 903   ret <2 x float> %vcvt.i
 904 }
 905
 906 define <4 x float> @test64(<4 x float> %c) {
 907 ; ALL-LABEL: @test64(
 908 ; ALL-NEXT:    ret <4 x float> [[C:%.*]]
 909 ;
 910   %t0 = bitcast <4 x float> %c to <4 x i32>
 911   %t1 = bitcast <4 x i32> %t0 to <4 x float>
 912   ret <4 x float> %t1
 913 }
 914
 915 define <4 x float> @test65(<4 x float> %c) {
 916 ; ALL-LABEL: @test65(
 917 ; ALL-NEXT:    ret <4 x float> [[C:%.*]]
 918 ;
 919   %t0 = bitcast <4 x float> %c to <2 x double>
 920   %t1 = bitcast <2 x double> %t0 to <4 x float>
 921   ret <4 x float> %t1
 922 }
 923
 924 define <2 x float> @test66(<2 x float> %c) {
 925 ; ALL-LABEL: @test66(
 926 ; ALL-NEXT:    ret <2 x float> [[C:%.*]]
 927 ;
 928   %t0 = bitcast <2 x float> %c to double
 929   %t1 = bitcast double %t0 to <2 x float>
 930   ret <2 x float> %t1
 931 }
 932
 933 define float @test2c() {
 934 ; ALL-LABEL: @test2c(
 935 ; ALL-NEXT:    ret float -1.000000e+00
 936 ;
 937   ret float extractelement (<2 x float> bitcast (double bitcast (<2 x float> <float -1.000000e+00, float -1.000000e+00> to double) to <2 x float>), i32 0)
 938 }
 939
 940 ; PR12514
 941 define i1 @test67(i1 %a, i32 %b) {
 942 ; ALL-LABEL: @test67(
 943 ; ALL-NEXT:    ret i1 false
 944 ;
 945   %t2 = zext i1 %a to i32
 946   %conv6 = xor i32 %t2, 1
 947   %and = and i32 %b, %conv6
 948   %sext = shl nuw nsw i32 %and, 24
 949   %neg.i = xor i32 %sext, -16777216
 950   %conv.i.i = ashr exact i32 %neg.i, 24
 951   %trunc = trunc i32 %conv.i.i to i8
 952   %tobool.i = icmp eq i8 %trunc, 0
 953   ret i1 %tobool.i
 954 }
 955
 956 %s = type { i32, i32, i16 }
 957
 958 define %s @test68(ptr %p, i64 %i) {
 959 ; ALL-LABEL: @test68(
 960 ; ALL-NEXT:    [[O:%.*]] = mul i64 [[I:%.*]], 12
 961 ; ALL-NEXT:    [[PP:%.*]] = getelementptr inbounds i8, ptr [[P:%.*]], i64 [[O]]
 962 ; ALL-NEXT:    [[L:%.*]] = load [[S:%.*]], ptr [[PP]], align 4
 963 ; ALL-NEXT:    ret [[S]] [[L]]
 964 ;
 965   %o = mul i64 %i, 12
 966   %pp = getelementptr inbounds i8, ptr %p, i64 %o
 967   %l = load %s, ptr %pp
 968   ret %s %l
 969 }
 970
 971 ; addrspacecasts should be eliminated.
 972 define %s @test68_addrspacecast(ptr %p, i64 %i) {
 973 ; ALL-LABEL: @test68_addrspacecast(
 974 ; ALL-NEXT:    [[O:%.*]] = mul i64 [[I:%.*]], 12
 975 ; ALL-NEXT:    [[Q:%.*]] = addrspacecast ptr [[P:%.*]] to ptr addrspace(2)
 976 ; ALL-NEXT:    [[PP:%.*]] = getelementptr inbounds i8, ptr addrspace(2) [[Q]], i64 [[O]]
 977 ; ALL-NEXT:    [[R:%.*]] = addrspacecast ptr addrspace(2) [[PP]] to ptr
 978 ; ALL-NEXT:    [[L:%.*]] = load [[S:%.*]], ptr [[R]], align 4
 979 ; ALL-NEXT:    ret [[S]] [[L]]
 980 ;
 981   %o = mul i64 %i, 12
 982   %q = addrspacecast ptr %p to ptr addrspace(2)
 983   %pp = getelementptr inbounds i8, ptr addrspace(2) %q, i64 %o
 984   %r = addrspacecast ptr addrspace(2) %pp to ptr
 985   %l = load %s, ptr %r
 986   ret %s %l
 987 }
 988
 989 define %s @test68_addrspacecast_2(ptr %p, i64 %i) {
 990 ; ALL-LABEL: @test68_addrspacecast_2(
 991 ; ALL-NEXT:    [[O:%.*]] = mul i64 [[I:%.*]], 12
 992 ; ALL-NEXT:    [[Q:%.*]] = addrspacecast ptr [[P:%.*]] to ptr addrspace(2)
 993 ; ALL-NEXT:    [[PP:%.*]] = getelementptr inbounds i8, ptr addrspace(2) [[Q]], i64 [[O]]
 994 ; ALL-NEXT:    [[R:%.*]] = addrspacecast ptr addrspace(2) [[PP]] to ptr addrspace(1)
 995 ; ALL-NEXT:    [[L:%.*]] = load [[S:%.*]], ptr addrspace(1) [[R]], align 4
 996 ; ALL-NEXT:    ret [[S]] [[L]]
 997 ;
 998   %o = mul i64 %i, 12
 999   %q = addrspacecast ptr %p to ptr addrspace(2)
1000   %pp = getelementptr inbounds i8, ptr addrspace(2) %q, i64 %o
1001   %r = addrspacecast ptr addrspace(2) %pp to ptr addrspace(1)
1002   %l = load %s, ptr addrspace(1) %r
1003   ret %s %l
1004 }
1005
1006 define %s @test68_as1(ptr addrspace(1) %p, i32 %i) {
1007 ; ALL-LABEL: @test68_as1(
1008 ; ALL-NEXT:    [[O:%.*]] = mul i32 [[I:%.*]], 12
1009 ; ALL-NEXT:    [[PP:%.*]] = getelementptr inbounds i8, ptr addrspace(1) [[P:%.*]], i32 [[O]]
1010 ; ALL-NEXT:    [[L:%.*]] = load [[S:%.*]], ptr addrspace(1) [[PP]], align 4
1011 ; ALL-NEXT:    ret [[S]] [[L]]
1012 ;
1013   %o = mul i32 %i, 12
1014   %pp = getelementptr inbounds i8, ptr addrspace(1) %p, i32 %o
1015   %l = load %s, ptr addrspace(1) %pp
1016   ret %s %l
1017 }
1018
1019 define double @test69(ptr %p, i64 %i) {
1020 ; ALL-LABEL: @test69(
1021 ; ALL-NEXT:    [[O:%.*]] = shl nsw i64 [[I:%.*]], 3
1022 ; ALL-NEXT:    [[PP:%.*]] = getelementptr inbounds i8, ptr [[P:%.*]], i64 [[O]]
1023 ; ALL-NEXT:    [[L:%.*]] = load double, ptr [[PP]], align 8
1024 ; ALL-NEXT:    ret double [[L]]
1025 ;
1026   %o = shl nsw i64 %i, 3
1027   %pp = getelementptr inbounds i8, ptr %p, i64 %o
1028   %l = load double, ptr %pp
1029   ret double %l
1030 }
1031
1032 define %s @test70(ptr %p, i64 %i) {
1033 ; ALL-LABEL: @test70(
1034 ; ALL-NEXT:    [[O:%.*]] = mul nsw i64 [[I:%.*]], 36
1035 ; ALL-NEXT:    [[PP:%.*]] = getelementptr inbounds i8, ptr [[P:%.*]], i64 [[O]]
1036 ; ALL-NEXT:    [[L:%.*]] = load [[S:%.*]], ptr [[PP]], align 4
1037 ; ALL-NEXT:    ret [[S]] [[L]]
1038 ;
1039   %o = mul nsw i64 %i, 36
1040   %pp = getelementptr inbounds i8, ptr %p, i64 %o
1041   %l = load %s, ptr %pp
1042   ret %s %l
1043 }
1044
1045 define double @test71(ptr %p, i64 %i) {
1046 ; ALL-LABEL: @test71(
1047 ; ALL-NEXT:    [[O:%.*]] = shl i64 [[I:%.*]], 5
1048 ; ALL-NEXT:    [[PP:%.*]] = getelementptr i8, ptr [[P:%.*]], i64 [[O]]
1049 ; ALL-NEXT:    [[L:%.*]] = load double, ptr [[PP]], align 8
1050 ; ALL-NEXT:    ret double [[L]]
1051 ;
1052   %o = shl i64 %i, 5
1053   %pp = getelementptr i8, ptr %p, i64 %o
1054   %l = load double, ptr %pp
1055   ret double %l
1056 }
1057
1058 define double @test72(ptr %p, i32 %i) {
1059 ; ALL-LABEL: @test72(
1060 ; ALL-NEXT:    [[SO:%.*]] = shl nsw i32 [[I:%.*]], 3
1061 ; ALL-NEXT:    [[O:%.*]] = sext i32 [[SO]] to i64
1062 ; ALL-NEXT:    [[PP:%.*]] = getelementptr inbounds i8, ptr [[P:%.*]], i64 [[O]]
1063 ; ALL-NEXT:    [[L:%.*]] = load double, ptr [[PP]], align 8
1064 ; ALL-NEXT:    ret double [[L]]
1065 ;
1066   %so = shl nsw i32 %i, 3
1067   %o = sext i32 %so to i64
1068   %pp = getelementptr inbounds i8, ptr %p, i64 %o
1069   %l = load double, ptr %pp
1070   ret double %l
1071 }
1072
1073 define double @test73(ptr %p, i128 %i) {
1074 ; ALL-LABEL: @test73(
1075 ; ALL-NEXT:    [[I_TR:%.*]] = trunc i128 [[I:%.*]] to i64
1076 ; ALL-NEXT:    [[O:%.*]] = shl i64 [[I_TR]], 3
1077 ; ALL-NEXT:    [[PP:%.*]] = getelementptr inbounds i8, ptr [[P:%.*]], i64 [[O]]
1078 ; ALL-NEXT:    [[L:%.*]] = load double, ptr [[PP]], align 8
1079 ; ALL-NEXT:    ret double [[L]]
1080 ;
1081   %lo = shl nsw i128 %i, 3
1082   %o = trunc i128 %lo to i64
1083   %pp = getelementptr inbounds i8, ptr %p, i64 %o
1084   %l = load double, ptr %pp
1085   ret double %l
1086 }
1087
1088 define double @test74(ptr %p, i64 %i) {
1089 ; ALL-LABEL: @test74(
1090 ; ALL-NEXT:    [[PP:%.*]] = getelementptr inbounds i64, ptr [[P:%.*]], i64 [[I:%.*]]
1091 ; ALL-NEXT:    [[L:%.*]] = load double, ptr [[PP]], align 8
1092 ; ALL-NEXT:    ret double [[L]]
1093 ;
1094   %pp = getelementptr inbounds i64, ptr %p, i64 %i
1095   %l = load double, ptr %pp
1096   ret double %l
1097 }
1098
1099 define ptr @test75(ptr %p, i32 %x) {
1100 ; ALL-LABEL: @test75(
1101 ; ALL-NEXT:    [[Y:%.*]] = shl i32 [[X:%.*]], 3
1102 ; ALL-NEXT:    [[Z:%.*]] = sext i32 [[Y]] to i64
1103 ; ALL-NEXT:    [[R:%.*]] = getelementptr i8, ptr [[P:%.*]], i64 [[Z]]
1104 ; ALL-NEXT:    ret ptr [[R]]
1105 ;
1106   %y = shl i32 %x, 3
1107   %z = sext i32 %y to i64
1108   %r = getelementptr i8, ptr %p, i64 %z
1109   ret ptr %r
1110 }
1111
1112 define %s @test76(ptr %p, i64 %i, i64 %j) {
1113 ; ALL-LABEL: @test76(
1114 ; ALL-NEXT:    [[O:%.*]] = mul i64 [[I:%.*]], 12
1115 ; ALL-NEXT:    [[O2:%.*]] = mul nsw i64 [[O]], [[J:%.*]]
1116 ; ALL-NEXT:    [[PP:%.*]] = getelementptr inbounds i8, ptr [[P:%.*]], i64 [[O2]]
1117 ; ALL-NEXT:    [[L:%.*]] = load [[S:%.*]], ptr [[PP]], align 4
1118 ; ALL-NEXT:    ret [[S]] [[L]]
1119 ;
1120   %o = mul i64 %i, 12
1121   %o2 = mul nsw i64 %o, %j
1122   %pp = getelementptr inbounds i8, ptr %p, i64 %o2
1123   %l = load %s, ptr %pp
1124   ret %s %l
1125 }
1126
1127 define %s @test77(ptr %p, i64 %i, i64 %j) {
1128 ; ALL-LABEL: @test77(
1129 ; ALL-NEXT:    [[O:%.*]] = mul nsw i64 [[I:%.*]], 36
1130 ; ALL-NEXT:    [[O2:%.*]] = mul nsw i64 [[O]], [[J:%.*]]
1131 ; ALL-NEXT:    [[PP:%.*]] = getelementptr inbounds i8, ptr [[P:%.*]], i64 [[O2]]
1132 ; ALL-NEXT:    [[L:%.*]] = load [[S:%.*]], ptr [[PP]], align 4
1133 ; ALL-NEXT:    ret [[S]] [[L]]
1134 ;
1135   %o = mul nsw i64 %i, 36
1136   %o2 = mul nsw i64 %o, %j
1137   %pp = getelementptr inbounds i8, ptr %p, i64 %o2
1138   %l = load %s, ptr %pp
1139   ret %s %l
1140 }
1141
1142 define %s @test78(ptr %p, i64 %i, i64 %j, i32 %k, i32 %l, i128 %m, i128 %n) {
1143 ; ALL-LABEL: @test78(
1144 ; ALL-NEXT:    [[A:%.*]] = mul nsw i32 [[K:%.*]], 36
1145 ; ALL-NEXT:    [[B:%.*]] = mul nsw i32 [[A]], [[L:%.*]]
1146 ; ALL-NEXT:    [[C:%.*]] = sext i32 [[B]] to i128
1147 ; ALL-NEXT:    [[D:%.*]] = mul nsw i128 [[M:%.*]], [[C]]
1148 ; ALL-NEXT:    [[E:%.*]] = mul i128 [[D]], [[N:%.*]]
1149 ; ALL-NEXT:    [[F:%.*]] = trunc i128 [[E]] to i64
1150 ; ALL-NEXT:    [[G:%.*]] = mul nsw i64 [[I:%.*]], [[F]]
1151 ; ALL-NEXT:    [[H:%.*]] = mul nsw i64 [[G]], [[J:%.*]]
1152 ; ALL-NEXT:    [[PP:%.*]] = getelementptr inbounds i8, ptr [[P:%.*]], i64 [[H]]
1153 ; ALL-NEXT:    [[LOAD:%.*]] = load [[S:%.*]], ptr [[PP]], align 4
1154 ; ALL-NEXT:    ret [[S]] [[LOAD]]
1155 ;
1156   %a = mul nsw i32 %k, 36
1157   %b = mul nsw i32 %a, %l
1158   %c = sext i32 %b to i128
1159   %d = mul nsw i128 %c, %m
1160   %e = mul i128 %d, %n
1161   %f = trunc i128 %e to i64
1162   %g = mul nsw i64 %f, %i
1163   %h = mul nsw i64 %g, %j
1164   %pp = getelementptr inbounds i8, ptr %p, i64 %h
1165   %load = load %s, ptr %pp
1166   ret %s %load
1167 }
1168
1169 define %s @test79(ptr %p, i64 %i, i32 %j) {
1170 ; ALL-LABEL: @test79(
1171 ; ALL-NEXT:    [[TMP1:%.*]] = trunc i64 [[I:%.*]] to i32
1172 ; ALL-NEXT:    [[B:%.*]] = mul i32 [[TMP1]], 36
1173 ; ALL-NEXT:    [[C:%.*]] = mul i32 [[B]], [[J:%.*]]
1174 ; ALL-NEXT:    [[TMP2:%.*]] = sext i32 [[C]] to i64
1175 ; ALL-NEXT:    [[PP:%.*]] = getelementptr inbounds i8, ptr [[P:%.*]], i64 [[TMP2]]
1176 ; ALL-NEXT:    [[L:%.*]] = load [[S:%.*]], ptr [[PP]], align 4
1177 ; ALL-NEXT:    ret [[S]] [[L]]
1178 ;
1179   %a = mul nsw i64 %i, 36
1180   %b = trunc i64 %a to i32
1181   %c = mul i32 %b, %j
1182   %pp = getelementptr inbounds i8, ptr %p, i32 %c
1183   %l = load %s, ptr %pp
1184   ret %s %l
1185 }
1186
1187 define double @test80(ptr %p, i32 %i) {
1188 ; ALL-LABEL: @test80(
1189 ; ALL-NEXT:    [[T:%.*]] = shl nsw i32 [[I:%.*]], 3
1190 ; ALL-NEXT:    [[TMP1:%.*]] = sext i32 [[T]] to i64
1191 ; ALL-NEXT:    [[PP:%.*]] = getelementptr i8, ptr [[P:%.*]], i64 [[TMP1]]
1192 ; ALL-NEXT:    [[L:%.*]] = load double, ptr [[PP]], align 8
1193 ; ALL-NEXT:    ret double [[L]]
1194 ;
1195   %t = shl nsw i32 %i, 3
1196   %pp = getelementptr i8, ptr %p, i32 %t
1197   %l = load double, ptr %pp
1198   ret double %l
1199 }
1200
1201 define double @test80_addrspacecast(ptr addrspace(1) %p, i32 %i) {
1202 ; ALL-LABEL: @test80_addrspacecast(
1203 ; ALL-NEXT:    [[T:%.*]] = shl nsw i32 [[I:%.*]], 3
1204 ; ALL-NEXT:    [[Q:%.*]] = addrspacecast ptr addrspace(1) [[P:%.*]] to ptr addrspace(2)
1205 ; ALL-NEXT:    [[TMP1:%.*]] = sext i32 [[T]] to i64
1206 ; ALL-NEXT:    [[PP:%.*]] = getelementptr i8, ptr addrspace(2) [[Q]], i64 [[TMP1]]
1207 ; ALL-NEXT:    [[R:%.*]] = addrspacecast ptr addrspace(2) [[PP]] to ptr addrspace(1)
1208 ; ALL-NEXT:    [[L:%.*]] = load double, ptr addrspace(1) [[R]], align 8
1209 ; ALL-NEXT:    ret double [[L]]
1210 ;
1211   %t = shl nsw i32 %i, 3
1212   %q = addrspacecast ptr addrspace(1) %p to ptr addrspace(2)
1213   %pp = getelementptr i8, ptr addrspace(2) %q, i32 %t
1214   %r = addrspacecast ptr addrspace(2) %pp to ptr addrspace(1)
1215   %l = load double, ptr addrspace(1) %r
1216   ret double %l
1217 }
1218
1219 define double @test80_addrspacecast_2(ptr addrspace(1) %p, i32 %i) {
1220 ; ALL-LABEL: @test80_addrspacecast_2(
1221 ; ALL-NEXT:    [[T:%.*]] = shl nsw i32 [[I:%.*]], 3
1222 ; ALL-NEXT:    [[Q:%.*]] = addrspacecast ptr addrspace(1) [[P:%.*]] to ptr addrspace(2)
1223 ; ALL-NEXT:    [[TMP1:%.*]] = sext i32 [[T]] to i64
1224 ; ALL-NEXT:    [[PP:%.*]] = getelementptr i8, ptr addrspace(2) [[Q]], i64 [[TMP1]]
1225 ; ALL-NEXT:    [[R:%.*]] = addrspacecast ptr addrspace(2) [[PP]] to ptr addrspace(3)
1226 ; ALL-NEXT:    [[L:%.*]] = load double, ptr addrspace(3) [[R]], align 8
1227 ; ALL-NEXT:    ret double [[L]]
1228 ;
1229   %t = shl nsw i32 %i, 3
1230   %q = addrspacecast ptr addrspace(1) %p to ptr addrspace(2)
1231   %pp = getelementptr i8, ptr addrspace(2) %q, i32 %t
1232   %r = addrspacecast ptr addrspace(2) %pp to ptr addrspace(3)
1233   %l = load double, ptr addrspace(3) %r
1234   ret double %l
1235 }
1236
1237 define double @test80_as1(ptr addrspace(1) %p, i16 %i) {
1238 ; ALL-LABEL: @test80_as1(
1239 ; ALL-NEXT:    [[T:%.*]] = shl nsw i16 [[I:%.*]], 3
1240 ; ALL-NEXT:    [[TMP1:%.*]] = sext i16 [[T]] to i32
1241 ; ALL-NEXT:    [[PP:%.*]] = getelementptr i8, ptr addrspace(1) [[P:%.*]], i32 [[TMP1]]
1242 ; ALL-NEXT:    [[L:%.*]] = load double, ptr addrspace(1) [[PP]], align 8
1243 ; ALL-NEXT:    ret double [[L]]
1244 ;
1245   %t = shl nsw i16 %i, 3
1246   %pp = getelementptr i8, ptr addrspace(1) %p, i16 %t
1247   %l = load double, ptr addrspace(1) %pp
1248   ret double %l
1249 }
1250
1251 define double @test81(ptr %p, float %f) {
1252 ; ALL-LABEL: @test81(
1253 ; ALL-NEXT:    [[I:%.*]] = fptosi float [[F:%.*]] to i64
1254 ; ALL-NEXT:    [[PP:%.*]] = getelementptr i8, ptr [[P:%.*]], i64 [[I]]
1255 ; ALL-NEXT:    [[L:%.*]] = load double, ptr [[PP]], align 8
1256 ; ALL-NEXT:    ret double [[L]]
1257 ;
1258   %i = fptosi float %f to i64
1259   %pp = getelementptr i8, ptr %p, i64 %i
1260   %l = load double, ptr %pp
1261   ret double %l
1262 }
1263
1264 define i64 @test82(i64 %A) {
1265 ; ALL-LABEL: @test82(
1266 ; ALL-NEXT:    [[TMP1:%.*]] = shl i64 [[A:%.*]], 1
1267 ; ALL-NEXT:    [[D:%.*]] = and i64 [[TMP1]], 4294966784
1268 ; ALL-NEXT:    ret i64 [[D]]
1269 ;
1270   %B = trunc i64 %A to i32
1271   %C = lshr i32 %B, 8
1272   %D = shl i32 %C, 9
1273   %E = zext i32 %D to i64
1274   ret i64 %E
1275 }
1276
1277 ; PR15959
1278 define i64 @test83(i16 %a, i64 %k) {
1279 ; ALL-LABEL: @test83(
1280 ; ALL-NEXT:    [[CONV:%.*]] = sext i16 [[A:%.*]] to i32
1281 ; ALL-NEXT:    [[TMP1:%.*]] = trunc i64 [[K:%.*]] to i32
1282 ; ALL-NEXT:    [[SH_PROM:%.*]] = add i32 [[TMP1]], -1
1283 ; ALL-NEXT:    [[SHL:%.*]] = shl i32 [[CONV]], [[SH_PROM]]
1284 ; ALL-NEXT:    [[SH_PROM1:%.*]] = zext i32 [[SHL]] to i64
1285 ; ALL-NEXT:    ret i64 [[SH_PROM1]]
1286 ;
1287   %conv = sext i16 %a to i32
1288   %sub = add nsw i64 %k, -1
1289   %sh_prom = trunc i64 %sub to i32
1290   %shl = shl i32 %conv, %sh_prom
1291   %sh_prom1 = zext i32 %shl to i64
1292   ret i64 %sh_prom1
1293 }
1294
1295 define i8 @test84(i32 %a) {
1296 ; ALL-LABEL: @test84(
1297 ; ALL-NEXT:    [[ADD:%.*]] = add i32 [[A:%.*]], 2130706432
1298 ; ALL-NEXT:    [[SHR:%.*]] = lshr i32 [[ADD]], 23
1299 ; ALL-NEXT:    [[TRUNC:%.*]] = trunc i32 [[SHR]] to i8
1300 ; ALL-NEXT:    ret i8 [[TRUNC]]
1301 ;
1302   %add = add nsw i32 %a, -16777216
1303   %shr = lshr exact i32 %add, 23
1304   %trunc = trunc i32 %shr to i8
1305   ret i8 %trunc
1306 }
1307
1308 define i8 @test85(i32 %a) {
1309 ; ALL-LABEL: @test85(
1310 ; ALL-NEXT:    [[ADD:%.*]] = add i32 [[A:%.*]], 2130706432
1311 ; ALL-NEXT:    [[SHR:%.*]] = lshr i32 [[ADD]], 23
1312 ; ALL-NEXT:    [[TRUNC:%.*]] = trunc i32 [[SHR]] to i8
1313 ; ALL-NEXT:    ret i8 [[TRUNC]]
1314 ;
1315   %add = add nuw i32 %a, -16777216
1316   %shr = lshr exact i32 %add, 23
1317   %trunc = trunc i32 %shr to i8
1318   ret i8 %trunc
1319 }
1320
1321 define i16 @test86(i16 %v) {
1322 ; ALL-LABEL: @test86(
1323 ; ALL-NEXT:    [[TMP1:%.*]] = ashr i16 [[V:%.*]], 4
1324 ; ALL-NEXT:    ret i16 [[TMP1]]
1325 ;
1326   %a = sext i16 %v to i32
1327   %s = ashr i32 %a, 4
1328   %t = trunc i32 %s to i16
1329   ret i16 %t
1330 }
1331
1332 define i16 @test87(i16 %v) {
1333 ; ALL-LABEL: @test87(
1334 ; ALL-NEXT:    [[TMP1:%.*]] = ashr i16 [[V:%.*]], 12
1335 ; ALL-NEXT:    ret i16 [[TMP1]]
1336 ;
1337   %c = sext i16 %v to i32
1338   %m = mul nsw i32 %c, 16
1339   %a = ashr i32 %m, 16
1340   %t = trunc i32 %a to i16
1341   ret i16 %t
1342 }
1343
1344 define i16 @test88(i16 %v) {
1345 ; ALL-LABEL: @test88(
1346 ; ALL-NEXT:    [[TMP1:%.*]] = ashr i16 [[V:%.*]], 15
1347 ; ALL-NEXT:    ret i16 [[TMP1]]
1348 ;
1349   %a = sext i16 %v to i32
1350   %s = ashr i32 %a, 18
1351   %t = trunc i32 %s to i16
1352   ret i16 %t
1353 }
1354
1355 define i32 @PR21388(ptr %v) {
1356 ; ALL-LABEL: @PR21388(
1357 ; ALL-NEXT:    [[ICMP:%.*]] = icmp slt ptr [[V:%.*]], null
1358 ; ALL-NEXT:    [[SEXT:%.*]] = sext i1 [[ICMP]] to i32
1359 ; ALL-NEXT:    ret i32 [[SEXT]]
1360 ;
1361   %icmp = icmp slt ptr %v, null
1362   %sext = sext i1 %icmp to i32
1363   ret i32 %sext
1364 }
1365
1366 define float @sitofp_zext(i16 %a) {
1367 ; ALL-LABEL: @sitofp_zext(
1368 ; ALL-NEXT:    [[SITOFP:%.*]] = uitofp i16 [[A:%.*]] to float
1369 ; ALL-NEXT:    ret float [[SITOFP]]
1370 ;
1371   %zext = zext i16 %a to i32
1372   %sitofp = sitofp i32 %zext to float
1373   ret float %sitofp
1374 }
1375
1376 define i1 @PR23309(i32 %A, i32 %B) {
1377 ; ALL-LABEL: @PR23309(
1378 ; ALL-NEXT:    [[SUB:%.*]] = sub i32 [[A:%.*]], [[B:%.*]]
1379 ; ALL-NEXT:    [[TRUNC:%.*]] = trunc i32 [[SUB]] to i1
1380 ; ALL-NEXT:    ret i1 [[TRUNC]]
1381 ;
1382   %add = add i32 %A, -4
1383   %sub = sub nsw i32 %add, %B
1384   %trunc = trunc i32 %sub to i1
1385   ret i1 %trunc
1386 }
1387
1388 define i1 @PR23309v2(i32 %A, i32 %B) {
1389 ; ALL-LABEL: @PR23309v2(
1390 ; ALL-NEXT:    [[SUB:%.*]] = add i32 [[A:%.*]], [[B:%.*]]
1391 ; ALL-NEXT:    [[TRUNC:%.*]] = trunc i32 [[SUB]] to i1
1392 ; ALL-NEXT:    ret i1 [[TRUNC]]
1393 ;
1394   %add = add i32 %A, -4
1395   %sub = add nuw i32 %add, %B
1396   %trunc = trunc i32 %sub to i1
1397   ret i1 %trunc
1398 }
1399
1400 define i16 @PR24763(i8 %V) {
1401 ; ALL-LABEL: @PR24763(
1402 ; ALL-NEXT:    [[TMP1:%.*]] = ashr i8 [[V:%.*]], 1
1403 ; ALL-NEXT:    [[T:%.*]] = sext i8 [[TMP1]] to i16
1404 ; ALL-NEXT:    ret i16 [[T]]
1405 ;
1406   %conv = sext i8 %V to i32
1407   %l = lshr i32 %conv, 1
1408   %t = trunc i32 %l to i16
1409   ret i16 %t
1410 }
1411
1412 define i64 @PR28745() {
1413 ; BE-LABEL: @PR28745(
1414 ; BE-NEXT:    ret i64 1
1415 ;
1416 ; LE-LABEL: @PR28745(
1417 ; LE-NEXT:    ret i64 0
1418 ;
1419   %c = icmp eq i16 extractelement (<2 x i16> bitcast (<1 x i32> <i32 1> to <2 x i16>), i32 0), 0
1420   %s = select i1 %c, { i32 } { i32 1 }, { i32 } zeroinitializer
1421   %e = extractvalue { i32 } %s, 0
1422   %b = zext i32 %e to i64
1423   ret i64 %b
1424 }
1425
1426 define i32 @test89() {
1427 ; BE-LABEL: @test89(
1428 ; BE-NEXT:    ret i32 393216
1429 ;
1430 ; LE-LABEL: @test89(
1431 ; LE-NEXT:    ret i32 6
1432 ;
1433   ret i32 bitcast (<2 x i16> <i16 6, i16 poison> to i32)
1434 }
1435
1436 define <2 x i32> @test90() {
1437 ; BE-LABEL: @test90(
1438 ; BE-NEXT:    ret <2 x i32> <i32 0, i32 15360>
1439 ;
1440 ; LE-LABEL: @test90(
1441 ; LE-NEXT:    ret <2 x i32> <i32 0, i32 1006632960>
1442 ;
1443   %t6 = bitcast <4 x half> <half poison, half poison, half poison, half 0xH3C00> to <2 x i32>
1444   ret <2 x i32> %t6
1445 }
1446
1447 ; Do not optimize to ashr i64 (shift by 48 > 96 - 64)
1448 define i64 @test91(i64 %A) {
1449 ; ALL-LABEL: @test91(
1450 ; ALL-NEXT:    [[B:%.*]] = sext i64 [[A:%.*]] to i96
1451 ; ALL-NEXT:    [[C:%.*]] = lshr i96 [[B]], 48
1452 ; ALL-NEXT:    [[D:%.*]] = trunc nuw nsw i96 [[C]] to i64
1453 ; ALL-NEXT:    ret i64 [[D]]
1454 ;
1455   %B = sext i64 %A to i96
1456   %C = lshr i96 %B, 48
1457   %D = trunc i96 %C to i64
1458   ret i64 %D
1459 }
1460
1461 ; Do optimize to ashr i64 (shift by 32 <= 96 - 64)
1462 define i64 @test92(i64 %A) {
1463 ; ALL-LABEL: @test92(
1464 ; ALL-NEXT:    [[TMP1:%.*]] = ashr i64 [[A:%.*]], 32
1465 ; ALL-NEXT:    ret i64 [[TMP1]]
1466 ;
1467   %B = sext i64 %A to i96
1468   %C = lshr i96 %B, 32
1469   %D = trunc i96 %C to i64
1470   ret i64 %D
1471 }
1472
1473 ; When optimizing to ashr i32, don't shift by more than 31.
1474 define i32 @test93(i32 %A) {
1475 ; ALL-LABEL: @test93(
1476 ; ALL-NEXT:    [[TMP1:%.*]] = ashr i32 [[A:%.*]], 31
1477 ; ALL-NEXT:    ret i32 [[TMP1]]
1478 ;
1479   %B = sext i32 %A to i96
1480   %C = lshr i96 %B, 64
1481   %D = trunc i96 %C to i32
1482   ret i32 %D
1483 }
1484
1485 define i8 @trunc_lshr_sext(i8 %A) {
1486 ; ALL-LABEL: @trunc_lshr_sext(
1487 ; ALL-NEXT:    [[D:%.*]] = ashr i8 [[A:%.*]], 6
1488 ; ALL-NEXT:    ret i8 [[D]]
1489 ;
1490   %B = sext i8 %A to i32
1491   %C = lshr i32 %B, 6
1492   %D = trunc i32 %C to i8
1493   ret i8 %D
1494 }
1495
1496 define i8 @trunc_lshr_sext_exact(i8 %A) {
1497 ; ALL-LABEL: @trunc_lshr_sext_exact(
1498 ; ALL-NEXT:    [[D:%.*]] = ashr exact i8 [[A:%.*]], 6
1499 ; ALL-NEXT:    ret i8 [[D]]
1500 ;
1501   %B = sext i8 %A to i32
1502   %C = lshr exact i32 %B, 6
1503   %D = trunc i32 %C to i8
1504   ret i8 %D
1505 }
1506
1507 define <2 x i8> @trunc_lshr_sext_uniform(<2 x i8> %A) {
1508 ; ALL-LABEL: @trunc_lshr_sext_uniform(
1509 ; ALL-NEXT:    [[D:%.*]] = ashr <2 x i8> [[A:%.*]], splat (i8 6)
1510 ; ALL-NEXT:    ret <2 x i8> [[D]]
1511 ;
1512   %B = sext <2 x i8> %A to <2 x i32>
1513   %C = lshr <2 x i32> %B, <i32 6, i32 6>
1514   %D = trunc <2 x i32> %C to <2 x i8>
1515   ret <2 x i8> %D
1516 }
1517
1518 define <2 x i8> @trunc_lshr_sext_uniform_poison(<2 x i8> %A) {
1519 ; ALL-LABEL: @trunc_lshr_sext_uniform_poison(
1520 ; ALL-NEXT:    [[D:%.*]] = ashr <2 x i8> [[A:%.*]], <i8 6, i8 poison>
1521 ; ALL-NEXT:    ret <2 x i8> [[D]]
1522 ;
1523   %B = sext <2 x i8> %A to <2 x i32>
1524   %C = lshr <2 x i32> %B, <i32 6, i32 poison>
1525   %D = trunc <2 x i32> %C to <2 x i8>
1526   ret <2 x i8> %D
1527 }
1528
1529 define <2 x i8> @trunc_lshr_sext_nonuniform(<2 x i8> %A) {
1530 ; ALL-LABEL: @trunc_lshr_sext_nonuniform(
1531 ; ALL-NEXT:    [[D:%.*]] = ashr <2 x i8> [[A:%.*]], <i8 6, i8 2>
1532 ; ALL-NEXT:    ret <2 x i8> [[D]]
1533 ;
1534   %B = sext <2 x i8> %A to <2 x i32>
1535   %C = lshr <2 x i32> %B, <i32 6, i32 2>
1536   %D = trunc <2 x i32> %C to <2 x i8>
1537   ret <2 x i8> %D
1538 }
1539
1540 define <3 x i8> @trunc_lshr_sext_nonuniform_poison(<3 x i8> %A) {
1541 ; ALL-LABEL: @trunc_lshr_sext_nonuniform_poison(
1542 ; ALL-NEXT:    [[D:%.*]] = ashr <3 x i8> [[A:%.*]], <i8 6, i8 2, i8 poison>
1543 ; ALL-NEXT:    ret <3 x i8> [[D]]
1544 ;
1545   %B = sext <3 x i8> %A to <3 x i32>
1546   %C = lshr <3 x i32> %B, <i32 6, i32 2, i32 poison>
1547   %D = trunc <3 x i32> %C to <3 x i8>
1548   ret <3 x i8> %D
1549 }
1550
1551 define <2 x i8> @trunc_lshr_sext_uses1(<2 x i8> %A) {
1552 ; ALL-LABEL: @trunc_lshr_sext_uses1(
1553 ; ALL-NEXT:    [[B:%.*]] = sext <2 x i8> [[A:%.*]] to <2 x i32>
1554 ; ALL-NEXT:    call void @use_v2i32(<2 x i32> [[B]])
1555 ; ALL-NEXT:    [[D:%.*]] = ashr <2 x i8> [[A]], splat (i8 6)
1556 ; ALL-NEXT:    ret <2 x i8> [[D]]
1557 ;
1558   %B = sext <2 x i8> %A to <2 x i32>
1559   call void @use_v2i32(<2 x i32> %B)
1560   %C = lshr <2 x i32> %B, <i32 6, i32 6>
1561   %D = trunc <2 x i32> %C to <2 x i8>
1562   ret <2 x i8> %D
1563 }
1564
1565 define i8 @trunc_lshr_sext_uses2(i8 %A) {
1566 ; ALL-LABEL: @trunc_lshr_sext_uses2(
1567 ; ALL-NEXT:    [[B:%.*]] = sext i8 [[A:%.*]] to i32
1568 ; ALL-NEXT:    [[C:%.*]] = lshr i32 [[B]], 6
1569 ; ALL-NEXT:    call void @use_i32(i32 [[C]])
1570 ; ALL-NEXT:    [[D:%.*]] = ashr i8 [[A]], 6
1571 ; ALL-NEXT:    ret i8 [[D]]
1572 ;
1573   %B = sext i8 %A to i32
1574   %C = lshr i32 %B, 6
1575   call void @use_i32(i32 %C)
1576   %D = trunc i32 %C to i8
1577   ret i8 %D
1578 }
1579
1580 define <2 x i8> @trunc_lshr_sext_uses3(<2 x i8> %A) {
1581 ; ALL-LABEL: @trunc_lshr_sext_uses3(
1582 ; ALL-NEXT:    [[B:%.*]] = sext <2 x i8> [[A:%.*]] to <2 x i32>
1583 ; ALL-NEXT:    call void @use_v2i32(<2 x i32> [[B]])
1584 ; ALL-NEXT:    [[C:%.*]] = lshr <2 x i32> [[B]], splat (i32 6)
1585 ; ALL-NEXT:    call void @use_v2i32(<2 x i32> [[C]])
1586 ; ALL-NEXT:    [[D:%.*]] = ashr <2 x i8> [[A]], splat (i8 6)
1587 ; ALL-NEXT:    ret <2 x i8> [[D]]
1588 ;
1589   %B = sext <2 x i8 >%A to <2 x i32>
1590   call void @use_v2i32(<2 x i32> %B)
1591   %C = lshr <2 x i32> %B, <i32 6, i32 6>
1592   call void @use_v2i32(<2 x i32> %C)
1593   %D = trunc <2 x i32 >%C to <2 x i8>
1594   ret <2 x i8> %D
1595 }
1596
1597 define <2 x i8> @trunc_lshr_overshift_sext(<2 x i8> %A) {
1598 ; ALL-LABEL: @trunc_lshr_overshift_sext(
1599 ; ALL-NEXT:    [[D:%.*]] = ashr <2 x i8> [[A:%.*]], splat (i8 7)
1600 ; ALL-NEXT:    ret <2 x i8> [[D]]
1601 ;
1602   %B = sext <2 x i8> %A to <2 x i32>
1603   %C = lshr <2 x i32> %B, <i32 8, i32 8>
1604   %D = trunc <2 x i32> %C to <2 x i8>
1605   ret <2 x i8> %D
1606 }
1607
1608 define i8 @trunc_lshr_overshift_sext_uses1(i8 %A) {
1609 ; ALL-LABEL: @trunc_lshr_overshift_sext_uses1(
1610 ; ALL-NEXT:    [[B:%.*]] = sext i8 [[A:%.*]] to i32
1611 ; ALL-NEXT:    call void @use_i32(i32 [[B]])
1612 ; ALL-NEXT:    [[D:%.*]] = ashr i8 [[A]], 7
1613 ; ALL-NEXT:    ret i8 [[D]]
1614 ;
1615   %B = sext i8 %A to i32
1616   call void @use_i32(i32 %B)
1617   %C = lshr i32 %B, 8
1618   %D = trunc i32 %C to i8
1619   ret i8 %D
1620 }
1621
1622 define <2 x i8> @trunc_lshr_overshift_sext_uses2(<2 x i8> %A) {
1623 ; ALL-LABEL: @trunc_lshr_overshift_sext_uses2(
1624 ; ALL-NEXT:    [[B:%.*]] = sext <2 x i8> [[A:%.*]] to <2 x i32>
1625 ; ALL-NEXT:    [[C:%.*]] = lshr <2 x i32> [[B]], splat (i32 8)
1626 ; ALL-NEXT:    call void @use_v2i32(<2 x i32> [[C]])
1627 ; ALL-NEXT:    [[D:%.*]] = ashr <2 x i8> [[A]], splat (i8 7)
1628 ; ALL-NEXT:    ret <2 x i8> [[D]]
1629 ;
1630   %B = sext <2 x i8> %A to <2 x i32>
1631   %C = lshr <2 x i32> %B, <i32 8, i32 8>
1632   call void @use_v2i32(<2 x i32> %C)
1633   %D = trunc <2 x i32> %C to <2 x i8>
1634   ret <2 x i8> %D
1635 }
1636
1637 define i8 @trunc_lshr_overshift_sext_uses3(i8 %A) {
1638 ; ALL-LABEL: @trunc_lshr_overshift_sext_uses3(
1639 ; ALL-NEXT:    [[B:%.*]] = sext i8 [[A:%.*]] to i32
1640 ; ALL-NEXT:    call void @use_i32(i32 [[B]])
1641 ; ALL-NEXT:    [[C:%.*]] = lshr i32 [[B]], 8
1642 ; ALL-NEXT:    call void @use_i32(i32 [[C]])
1643 ; ALL-NEXT:    [[D:%.*]] = ashr i8 [[A]], 7
1644 ; ALL-NEXT:    ret i8 [[D]]
1645 ;
1646   %B = sext i8 %A to i32
1647   call void @use_i32(i32 %B)
1648   %C = lshr i32 %B, 8
1649   call void @use_i32(i32 %C)
1650   %D = trunc i32 %C to i8
1651   ret i8 %D
1652 }
1653
1654 define i8 @trunc_lshr_sext_wide_input(i16 %A) {
1655 ; ALL-LABEL: @trunc_lshr_sext_wide_input(
1656 ; ALL-NEXT:    [[TMP1:%.*]] = ashr i16 [[A:%.*]], 9
1657 ; ALL-NEXT:    [[D:%.*]] = trunc nsw i16 [[TMP1]] to i8
1658 ; ALL-NEXT:    ret i8 [[D]]
1659 ;
1660   %B = sext i16 %A to i32
1661   %C = lshr i32 %B, 9
1662   %D = trunc i32 %C to i8
1663   ret i8 %D
1664 }
1665
1666 define i8 @trunc_lshr_sext_wide_input_exact(i16 %A) {
1667 ; ALL-LABEL: @trunc_lshr_sext_wide_input_exact(
1668 ; ALL-NEXT:    [[TMP1:%.*]] = ashr exact i16 [[A:%.*]], 9
1669 ; ALL-NEXT:    [[D:%.*]] = trunc nsw i16 [[TMP1]] to i8
1670 ; ALL-NEXT:    ret i8 [[D]]
1671 ;
1672   %B = sext i16 %A to i32
1673   %C = lshr exact i32 %B, 9
1674   %D = trunc i32 %C to i8
1675   ret i8 %D
1676 }
1677
1678 define <2 x i8> @trunc_lshr_sext_wide_input_uses1(<2 x i16> %A) {
1679 ; ALL-LABEL: @trunc_lshr_sext_wide_input_uses1(
1680 ; ALL-NEXT:    [[B:%.*]] = sext <2 x i16> [[A:%.*]] to <2 x i32>
1681 ; ALL-NEXT:    call void @use_v2i32(<2 x i32> [[B]])
1682 ; ALL-NEXT:    [[TMP1:%.*]] = ashr <2 x i16> [[A]], splat (i16 9)
1683 ; ALL-NEXT:    [[D:%.*]] = trunc nsw <2 x i16> [[TMP1]] to <2 x i8>
1684 ; ALL-NEXT:    ret <2 x i8> [[D]]
1685 ;
1686   %B = sext <2 x i16> %A to <2 x i32>
1687   call void @use_v2i32(<2 x i32> %B)
1688   %C = lshr <2 x i32> %B, <i32 9, i32 9>
1689   %D = trunc <2 x i32> %C to <2 x i8>
1690   ret <2 x i8> %D
1691 }
1692
1693 define i8 @trunc_lshr_sext_wide_input_uses2(i16 %A) {
1694 ; ALL-LABEL: @trunc_lshr_sext_wide_input_uses2(
1695 ; ALL-NEXT:    [[B:%.*]] = sext i16 [[A:%.*]] to i32
1696 ; ALL-NEXT:    [[C:%.*]] = lshr i32 [[B]], 9
1697 ; ALL-NEXT:    call void @use_i32(i32 [[C]])
1698 ; ALL-NEXT:    [[D:%.*]] = trunc i32 [[C]] to i8
1699 ; ALL-NEXT:    ret i8 [[D]]
1700 ;
1701   %B = sext i16 %A to i32
1702   %C = lshr i32 %B, 9
1703   call void @use_i32(i32 %C)
1704   %D = trunc i32 %C to i8
1705   ret i8 %D
1706 }
1707
1708 define <2 x i8> @trunc_lshr_sext_wide_input_uses3(<2 x i16> %A) {
1709 ; ALL-LABEL: @trunc_lshr_sext_wide_input_uses3(
1710 ; ALL-NEXT:    [[B:%.*]] = sext <2 x i16> [[A:%.*]] to <2 x i32>
1711 ; ALL-NEXT:    call void @use_v2i32(<2 x i32> [[B]])
1712 ; ALL-NEXT:    [[C:%.*]] = lshr <2 x i32> [[B]], splat (i32 9)
1713 ; ALL-NEXT:    call void @use_v2i32(<2 x i32> [[C]])
1714 ; ALL-NEXT:    [[D:%.*]] = trunc <2 x i32> [[C]] to <2 x i8>
1715 ; ALL-NEXT:    ret <2 x i8> [[D]]
1716 ;
1717   %B = sext <2 x i16 >%A to <2 x i32>
1718   call void @use_v2i32(<2 x i32> %B)
1719   %C = lshr <2 x i32> %B, <i32 9, i32 9>
1720   call void @use_v2i32(<2 x i32> %C)
1721   %D = trunc <2 x i32 >%C to <2 x i8>
1722   ret <2 x i8> %D
1723 }
1724
1725 define <2 x i8> @trunc_lshr_overshift_wide_input_sext(<2 x i16> %A) {
1726 ; ALL-LABEL: @trunc_lshr_overshift_wide_input_sext(
1727 ; ALL-NEXT:    [[TMP1:%.*]] = ashr <2 x i16> [[A:%.*]], splat (i16 15)
1728 ; ALL-NEXT:    [[D:%.*]] = trunc nsw <2 x i16> [[TMP1]] to <2 x i8>
1729 ; ALL-NEXT:    ret <2 x i8> [[D]]
1730 ;
1731   %B = sext <2 x i16> %A to <2 x i32>
1732   %C = lshr <2 x i32> %B, <i32 16, i32 16>
1733   %D = trunc <2 x i32> %C to <2 x i8>
1734   ret <2 x i8> %D
1735 }
1736
1737 define i8 @trunc_lshr_overshift_sext_wide_input_uses1(i16 %A) {
1738 ; ALL-LABEL: @trunc_lshr_overshift_sext_wide_input_uses1(
1739 ; ALL-NEXT:    [[B:%.*]] = sext i16 [[A:%.*]] to i32
1740 ; ALL-NEXT:    call void @use_i32(i32 [[B]])
1741 ; ALL-NEXT:    [[TMP1:%.*]] = ashr i16 [[A]], 15
1742 ; ALL-NEXT:    [[D:%.*]] = trunc nsw i16 [[TMP1]] to i8
1743 ; ALL-NEXT:    ret i8 [[D]]
1744 ;
1745   %B = sext i16 %A to i32
1746   call void @use_i32(i32 %B)
1747   %C = lshr i32 %B, 16
1748   %D = trunc i32 %C to i8
1749   ret i8 %D
1750 }
1751
1752 define <2 x i8> @trunc_lshr_overshift_sext_wide_input_uses2(<2 x i16> %A) {
1753 ; ALL-LABEL: @trunc_lshr_overshift_sext_wide_input_uses2(
1754 ; ALL-NEXT:    [[TMP1:%.*]] = ashr <2 x i16> [[A:%.*]], splat (i16 15)
1755 ; ALL-NEXT:    [[C:%.*]] = zext <2 x i16> [[TMP1]] to <2 x i32>
1756 ; ALL-NEXT:    call void @use_v2i32(<2 x i32> [[C]])
1757 ; ALL-NEXT:    [[D:%.*]] = trunc nsw <2 x i16> [[TMP1]] to <2 x i8>
1758 ; ALL-NEXT:    ret <2 x i8> [[D]]
1759 ;
1760   %B = sext <2 x i16> %A to <2 x i32>
1761   %C = lshr <2 x i32> %B, <i32 16, i32 16>
1762   call void @use_v2i32(<2 x i32> %C)
1763   %D = trunc <2 x i32> %C to <2 x i8>
1764   ret <2 x i8> %D
1765 }
1766
1767 define i8 @trunc_lshr_overshift_sext_wide_input_uses3(i16 %A) {
1768 ; ALL-LABEL: @trunc_lshr_overshift_sext_wide_input_uses3(
1769 ; ALL-NEXT:    [[B:%.*]] = sext i16 [[A:%.*]] to i32
1770 ; ALL-NEXT:    call void @use_i32(i32 [[B]])
1771 ; ALL-NEXT:    [[C:%.*]] = lshr i32 [[B]], 16
1772 ; ALL-NEXT:    call void @use_i32(i32 [[C]])
1773 ; ALL-NEXT:    [[D:%.*]] = trunc i32 [[C]] to i8
1774 ; ALL-NEXT:    ret i8 [[D]]
1775 ;
1776   %B = sext i16 %A to i32
1777   call void @use_i32(i32 %B)
1778   %C = lshr i32 %B, 16
1779   call void @use_i32(i32 %C)
1780   %D = trunc i32 %C to i8
1781   ret i8 %D
1782 }
1783
1784 define i16 @trunc_lshr_sext_narrow_input(i8 %A) {
1785 ; ALL-LABEL: @trunc_lshr_sext_narrow_input(
1786 ; ALL-NEXT:    [[TMP1:%.*]] = ashr i8 [[A:%.*]], 6
1787 ; ALL-NEXT:    [[D:%.*]] = sext i8 [[TMP1]] to i16
1788 ; ALL-NEXT:    ret i16 [[D]]
1789 ;
1790   %B = sext i8 %A to i32
1791   %C = lshr i32 %B, 6
1792   %D = trunc i32 %C to i16
1793   ret i16 %D
1794 }
1795
1796 define <2 x i16> @trunc_lshr_sext_narrow_input_uses1(<2 x i8> %A) {
1797 ; ALL-LABEL: @trunc_lshr_sext_narrow_input_uses1(
1798 ; ALL-NEXT:    [[B:%.*]] = sext <2 x i8> [[A:%.*]] to <2 x i32>
1799 ; ALL-NEXT:    call void @use_v2i32(<2 x i32> [[B]])
1800 ; ALL-NEXT:    [[TMP1:%.*]] = ashr <2 x i8> [[A]], splat (i8 6)
1801 ; ALL-NEXT:    [[D:%.*]] = sext <2 x i8> [[TMP1]] to <2 x i16>
1802 ; ALL-NEXT:    ret <2 x i16> [[D]]
1803 ;
1804   %B = sext <2 x i8> %A to <2 x i32>
1805   call void @use_v2i32(<2 x i32> %B)
1806   %C = lshr <2 x i32> %B, <i32 6, i32 6>
1807   %D = trunc <2 x i32> %C to <2 x i16>
1808   ret <2 x i16> %D
1809 }
1810
1811 define i16 @trunc_lshr_sext_narrow_input_uses2(i8 %A) {
1812 ; ALL-LABEL: @trunc_lshr_sext_narrow_input_uses2(
1813 ; ALL-NEXT:    [[B:%.*]] = sext i8 [[A:%.*]] to i32
1814 ; ALL-NEXT:    [[C:%.*]] = lshr i32 [[B]], 6
1815 ; ALL-NEXT:    call void @use_i32(i32 [[C]])
1816 ; ALL-NEXT:    [[D:%.*]] = trunc i32 [[C]] to i16
1817 ; ALL-NEXT:    ret i16 [[D]]
1818 ;
1819   %B = sext i8 %A to i32
1820   %C = lshr i32 %B, 6
1821   call void @use_i32(i32 %C)
1822   %D = trunc i32 %C to i16
1823   ret i16 %D
1824 }
1825
1826 define <2 x i16> @trunc_lshr_sext_narrow_input_uses3(<2 x i8> %A) {
1827 ; ALL-LABEL: @trunc_lshr_sext_narrow_input_uses3(
1828 ; ALL-NEXT:    [[B:%.*]] = sext <2 x i8> [[A:%.*]] to <2 x i32>
1829 ; ALL-NEXT:    call void @use_v2i32(<2 x i32> [[B]])
1830 ; ALL-NEXT:    [[C:%.*]] = lshr <2 x i32> [[B]], splat (i32 6)
1831 ; ALL-NEXT:    call void @use_v2i32(<2 x i32> [[C]])
1832 ; ALL-NEXT:    [[D:%.*]] = trunc <2 x i32> [[C]] to <2 x i16>
1833 ; ALL-NEXT:    ret <2 x i16> [[D]]
1834 ;
1835   %B = sext <2 x i8 >%A to <2 x i32>
1836   call void @use_v2i32(<2 x i32> %B)
1837   %C = lshr <2 x i32> %B, <i32 6, i32 6>
1838   call void @use_v2i32(<2 x i32> %C)
1839   %D = trunc <2 x i32 >%C to <2 x i16>
1840   ret <2 x i16> %D
1841 }
1842
1843 define <2 x i16> @trunc_lshr_overshift_narrow_input_sext(<2 x i8> %A) {
1844 ; ALL-LABEL: @trunc_lshr_overshift_narrow_input_sext(
1845 ; ALL-NEXT:    [[TMP1:%.*]] = ashr <2 x i8> [[A:%.*]], splat (i8 7)
1846 ; ALL-NEXT:    [[D:%.*]] = sext <2 x i8> [[TMP1]] to <2 x i16>
1847 ; ALL-NEXT:    ret <2 x i16> [[D]]
1848 ;
1849   %B = sext <2 x i8> %A to <2 x i32>
1850   %C = lshr <2 x i32> %B, <i32 8, i32 8>
1851   %D = trunc <2 x i32> %C to <2 x i16>
1852   ret <2 x i16> %D
1853 }
1854
1855 define i16 @trunc_lshr_overshift_sext_narrow_input_uses1(i8 %A) {
1856 ; ALL-LABEL: @trunc_lshr_overshift_sext_narrow_input_uses1(
1857 ; ALL-NEXT:    [[B:%.*]] = sext i8 [[A:%.*]] to i32
1858 ; ALL-NEXT:    call void @use_i32(i32 [[B]])
1859 ; ALL-NEXT:    [[TMP1:%.*]] = ashr i8 [[A]], 7
1860 ; ALL-NEXT:    [[D:%.*]] = sext i8 [[TMP1]] to i16
1861 ; ALL-NEXT:    ret i16 [[D]]
1862 ;
1863   %B = sext i8 %A to i32
1864   call void @use_i32(i32 %B)
1865   %C = lshr i32 %B, 8
1866   %D = trunc i32 %C to i16
1867   ret i16 %D
1868 }
1869
1870 define <2 x i16> @trunc_lshr_overshift_sext_narrow_input_uses2(<2 x i8> %A) {
1871 ; ALL-LABEL: @trunc_lshr_overshift_sext_narrow_input_uses2(
1872 ; ALL-NEXT:    [[B:%.*]] = sext <2 x i8> [[A:%.*]] to <2 x i32>
1873 ; ALL-NEXT:    [[C:%.*]] = lshr <2 x i32> [[B]], splat (i32 8)
1874 ; ALL-NEXT:    call void @use_v2i32(<2 x i32> [[C]])
1875 ; ALL-NEXT:    [[D:%.*]] = trunc <2 x i32> [[C]] to <2 x i16>
1876 ; ALL-NEXT:    ret <2 x i16> [[D]]
1877 ;
1878   %B = sext <2 x i8> %A to <2 x i32>
1879   %C = lshr <2 x i32> %B, <i32 8, i32 8>
1880   call void @use_v2i32(<2 x i32> %C)
1881   %D = trunc <2 x i32> %C to <2 x i16>
1882   ret <2 x i16> %D
1883 }
1884
1885 define i16 @trunc_lshr_overshift_sext_narrow_input_uses3(i8 %A) {
1886 ; ALL-LABEL: @trunc_lshr_overshift_sext_narrow_input_uses3(
1887 ; ALL-NEXT:    [[B:%.*]] = sext i8 [[A:%.*]] to i32
1888 ; ALL-NEXT:    call void @use_i32(i32 [[B]])
1889 ; ALL-NEXT:    [[C:%.*]] = lshr i32 [[B]], 8
1890 ; ALL-NEXT:    call void @use_i32(i32 [[C]])
1891 ; ALL-NEXT:    [[D:%.*]] = trunc i32 [[C]] to i16
1892 ; ALL-NEXT:    ret i16 [[D]]
1893 ;
1894   %B = sext i8 %A to i32
1895   call void @use_i32(i32 %B)
1896   %C = lshr i32 %B, 8
1897   call void @use_i32(i32 %C)
1898   %D = trunc i32 %C to i16
1899   ret i16 %D
1900 }
1901
1902 define <2 x i8> @trunc_lshr_overshift2_sext(<2 x i8> %A) {
1903 ; ALL-LABEL: @trunc_lshr_overshift2_sext(
1904 ; ALL-NEXT:    [[B:%.*]] = sext <2 x i8> [[A:%.*]] to <2 x i32>
1905 ; ALL-NEXT:    [[C:%.*]] = lshr <2 x i32> [[B]], splat (i32 25)
1906 ; ALL-NEXT:    [[D:%.*]] = trunc nuw nsw <2 x i32> [[C]] to <2 x i8>
1907 ; ALL-NEXT:    ret <2 x i8> [[D]]
1908 ;
1909   %B = sext <2 x i8> %A to <2 x i32>
1910   %C = lshr <2 x i32> %B, <i32 25, i32 25>
1911   %D = trunc <2 x i32> %C to <2 x i8>
1912   ret <2 x i8> %D
1913 }
1914
1915 define i8 @trunc_lshr_overshift2_sext_uses1(i8 %A) {
1916 ; ALL-LABEL: @trunc_lshr_overshift2_sext_uses1(
1917 ; ALL-NEXT:    [[B:%.*]] = sext i8 [[A:%.*]] to i32
1918 ; ALL-NEXT:    call void @use_i32(i32 [[B]])
1919 ; ALL-NEXT:    [[C:%.*]] = lshr i32 [[B]], 25
1920 ; ALL-NEXT:    [[D:%.*]] = trunc nuw nsw i32 [[C]] to i8
1921 ; ALL-NEXT:    ret i8 [[D]]
1922 ;
1923   %B = sext i8 %A to i32
1924   call void @use_i32(i32 %B)
1925   %C = lshr i32 %B, 25
1926   %D = trunc i32 %C to i8
1927   ret i8 %D
1928 }
1929
1930 define <2 x i8> @trunc_lshr_overshift2_sext_uses2(<2 x i8> %A) {
1931 ; ALL-LABEL: @trunc_lshr_overshift2_sext_uses2(
1932 ; ALL-NEXT:    [[B:%.*]] = sext <2 x i8> [[A:%.*]] to <2 x i32>
1933 ; ALL-NEXT:    [[C:%.*]] = lshr <2 x i32> [[B]], splat (i32 25)
1934 ; ALL-NEXT:    call void @use_v2i32(<2 x i32> [[C]])
1935 ; ALL-NEXT:    [[D:%.*]] = trunc nuw nsw <2 x i32> [[C]] to <2 x i8>
1936 ; ALL-NEXT:    ret <2 x i8> [[D]]
1937 ;
1938   %B = sext <2 x i8> %A to <2 x i32>
1939   %C = lshr <2 x i32> %B, <i32 25, i32 25>
1940   call void @use_v2i32(<2 x i32> %C)
1941   %D = trunc <2 x i32> %C to <2 x i8>
1942   ret <2 x i8> %D
1943 }
1944
1945 define i8 @trunc_lshr_overshift2_sext_uses3(i8 %A) {
1946 ; ALL-LABEL: @trunc_lshr_overshift2_sext_uses3(
1947 ; ALL-NEXT:    [[B:%.*]] = sext i8 [[A:%.*]] to i32
1948 ; ALL-NEXT:    call void @use_i32(i32 [[B]])
1949 ; ALL-NEXT:    [[C:%.*]] = lshr i32 [[B]], 25
1950 ; ALL-NEXT:    call void @use_i32(i32 [[C]])
1951 ; ALL-NEXT:    [[D:%.*]] = trunc nuw nsw i32 [[C]] to i8
1952 ; ALL-NEXT:    ret i8 [[D]]
1953 ;
1954   %B = sext i8 %A to i32
1955   call void @use_i32(i32 %B)
1956   %C = lshr i32 %B, 25
1957   call void @use_i32(i32 %C)
1958   %D = trunc i32 %C to i8
1959   ret i8 %D
1960 }
1961
1962 define i8 @trunc_lshr_zext(i8 %A) {
1963 ; ALL-LABEL: @trunc_lshr_zext(
1964 ; ALL-NEXT:    [[TMP1:%.*]] = lshr i8 [[A:%.*]], 6
1965 ; ALL-NEXT:    ret i8 [[TMP1]]
1966 ;
1967   %B = zext i8 %A to i32
1968   %C = lshr i32 %B, 6
1969   %D = trunc i32 %C to i8
1970   ret i8 %D
1971 }
1972
1973 define i8 @trunc_lshr_zext_exact(i8 %A) {
1974 ; ALL-LABEL: @trunc_lshr_zext_exact(
1975 ; ALL-NEXT:    [[TMP1:%.*]] = lshr i8 [[A:%.*]], 6
1976 ; ALL-NEXT:    ret i8 [[TMP1]]
1977 ;
1978   %B = zext i8 %A to i32
1979   %C = lshr exact i32 %B, 6
1980   %D = trunc i32 %C to i8
1981   ret i8 %D
1982 }
1983
1984 define <2 x i8> @trunc_lshr_zext_uniform(<2 x i8> %A) {
1985 ; ALL-LABEL: @trunc_lshr_zext_uniform(
1986 ; ALL-NEXT:    [[TMP1:%.*]] = lshr <2 x i8> [[A:%.*]], splat (i8 6)
1987 ; ALL-NEXT:    ret <2 x i8> [[TMP1]]
1988 ;
1989   %B = zext <2 x i8> %A to <2 x i32>
1990   %C = lshr <2 x i32> %B, <i32 6, i32 6>
1991   %D = trunc <2 x i32> %C to <2 x i8>
1992   ret <2 x i8> %D
1993 }
1994
1995 define <2 x i8> @trunc_lshr_zext_uniform_poison(<2 x i8> %A) {
1996 ; ALL-LABEL: @trunc_lshr_zext_uniform_poison(
1997 ; ALL-NEXT:    [[C:%.*]] = lshr <2 x i8> [[A:%.*]], <i8 6, i8 poison>
1998 ; ALL-NEXT:    ret <2 x i8> [[C]]
1999 ;
2000   %B = zext <2 x i8> %A to <2 x i32>
2001   %C = lshr <2 x i32> %B, <i32 6, i32 poison>
2002   %D = trunc <2 x i32> %C to <2 x i8>
2003   ret <2 x i8> %D
2004 }
2005
2006 define <2 x i8> @trunc_lshr_zext_nonuniform(<2 x i8> %A) {
2007 ; ALL-LABEL: @trunc_lshr_zext_nonuniform(
2008 ; ALL-NEXT:    [[C:%.*]] = lshr <2 x i8> [[A:%.*]], <i8 6, i8 2>
2009 ; ALL-NEXT:    ret <2 x i8> [[C]]
2010 ;
2011   %B = zext <2 x i8> %A to <2 x i32>
2012   %C = lshr <2 x i32> %B, <i32 6, i32 2>
2013   %D = trunc <2 x i32> %C to <2 x i8>
2014   ret <2 x i8> %D
2015 }
2016
2017 define <3 x i8> @trunc_lshr_zext_nonuniform_poison(<3 x i8> %A) {
2018 ; ALL-LABEL: @trunc_lshr_zext_nonuniform_poison(
2019 ; ALL-NEXT:    [[C:%.*]] = lshr <3 x i8> [[A:%.*]], <i8 6, i8 2, i8 poison>
2020 ; ALL-NEXT:    ret <3 x i8> [[C]]
2021 ;
2022   %B = zext <3 x i8> %A to <3 x i32>
2023   %C = lshr <3 x i32> %B, <i32 6, i32 2, i32 poison>
2024   %D = trunc <3 x i32> %C to <3 x i8>
2025   ret <3 x i8> %D
2026 }
2027
2028 define <2 x i8> @trunc_lshr_zext_uses1(<2 x i8> %A) {
2029 ; ALL-LABEL: @trunc_lshr_zext_uses1(
2030 ; ALL-NEXT:    [[B:%.*]] = zext <2 x i8> [[A:%.*]] to <2 x i32>
2031 ; ALL-NEXT:    call void @use_v2i32(<2 x i32> [[B]])
2032 ; ALL-NEXT:    [[C:%.*]] = lshr <2 x i8> [[A]], splat (i8 6)
2033 ; ALL-NEXT:    ret <2 x i8> [[C]]
2034 ;
2035   %B = zext <2 x i8> %A to <2 x i32>
2036   call void @use_v2i32(<2 x i32> %B)
2037   %C = lshr <2 x i32> %B, <i32 6, i32 6>
2038   %D = trunc <2 x i32> %C to <2 x i8>
2039   ret <2 x i8> %D
2040 }
2041
2042 ; The following four tests sext + lshr + trunc patterns.
2043 ; PR33078
2044
2045 define i8 @pr33078_1(i8 %A) {
2046 ; ALL-LABEL: @pr33078_1(
2047 ; ALL-NEXT:    [[TMP1:%.*]] = ashr i8 [[A:%.*]], 7
2048 ; ALL-NEXT:    ret i8 [[TMP1]]
2049 ;
2050   %B = sext i8 %A to i16
2051   %C = lshr i16 %B, 8
2052   %D = trunc i16 %C to i8
2053   ret i8 %D
2054 }
2055
2056 define i12 @pr33078_2(i8 %A) {
2057 ; ALL-LABEL: @pr33078_2(
2058 ; ALL-NEXT:    [[TMP1:%.*]] = ashr i8 [[A:%.*]], 4
2059 ; ALL-NEXT:    [[D:%.*]] = sext i8 [[TMP1]] to i12
2060 ; ALL-NEXT:    ret i12 [[D]]
2061 ;
2062   %B = sext i8 %A to i16
2063   %C = lshr i16 %B, 4
2064   %D = trunc i16 %C to i12
2065   ret i12 %D
2066 }
2067
2068 define i4 @pr33078_3(i8 %A) {
2069 ; ALL-LABEL: @pr33078_3(
2070 ; ALL-NEXT:    [[B:%.*]] = sext i8 [[A:%.*]] to i16
2071 ; ALL-NEXT:    [[C:%.*]] = lshr i16 [[B]], 12
2072 ; ALL-NEXT:    [[D:%.*]] = trunc nuw i16 [[C]] to i4
2073 ; ALL-NEXT:    ret i4 [[D]]
2074 ;
2075   %B = sext i8 %A to i16
2076   %C = lshr i16 %B, 12
2077   %D = trunc i16 %C to i4
2078   ret i4 %D
2079 }
2080
2081 define i8 @pr33078_4(i3 %x) {
2082 ; Don't turn this in an `ashr`. This was getting miscompiled
2083 ; ALL-LABEL: @pr33078_4(
2084 ; ALL-NEXT:    [[B:%.*]] = sext i3 [[X:%.*]] to i16
2085 ; ALL-NEXT:    [[C:%.*]] = lshr i16 [[B]], 13
2086 ; ALL-NEXT:    [[D:%.*]] = trunc nuw nsw i16 [[C]] to i8
2087 ; ALL-NEXT:    ret i8 [[D]]
2088 ;
2089   %B = sext i3 %x to i16
2090   %C = lshr i16 %B, 13
2091   %D = trunc i16 %C to i8
2092   ret i8 %D
2093 }
2094
2095 ; (sext (xor (cmp), -1)) -> (sext (!cmp))
2096 define i64 @test94(i32 %a) {
2097 ; ALL-LABEL: @test94(
2098 ; ALL-NEXT:    [[TMP1:%.*]] = icmp ne i32 [[A:%.*]], -2
2099 ; ALL-NEXT:    [[TMP2:%.*]] = sext i1 [[TMP1]] to i64
2100 ; ALL-NEXT:    ret i64 [[TMP2]]
2101 ;
2102   %1 = icmp eq i32 %a, -2
2103   %2 = sext i1 %1 to i8
2104   %3 = xor i8 %2, -1
2105   %4 = sext i8 %3 to i64
2106   ret i64 %4
2107 }
2108
2109 ; We should be able to remove the zext and trunc here.
2110 define i32 @test95(i32 %x) {
2111 ; ALL-LABEL: @test95(
2112 ; ALL-NEXT:    [[TMP1:%.*]] = lshr i32 [[X:%.*]], 6
2113 ; ALL-NEXT:    [[TMP2:%.*]] = and i32 [[TMP1]], 2
2114 ; ALL-NEXT:    [[TMP3:%.*]] = or disjoint i32 [[TMP2]], 40
2115 ; ALL-NEXT:    ret i32 [[TMP3]]
2116 ;
2117   %1 = trunc i32 %x to i8
2118   %2 = lshr i8 %1, 6
2119   %3 = and i8 %2, 2
2120   %4 = or i8 %3, 40
2121   %5 = zext i8 %4 to i32
2122   ret i32 %5
2123 }