test/Transforms/InstCombine/apint-shift-simplify.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 define i41 @test0(i41 %A, i41 %B, i41 %C) {
   4         %X = shl i41 %A, %C
   5         %Y = shl i41 %B, %C
   6         %Z = and i41 %X, %Y
   7         ret i41 %Z
   8 ; CHECK-LABEL: @test0(
   9 ; CHECK-NEXT: and i41 %A, %B
  10 ; CHECK-NEXT: shl i41
  11 ; CHECK-NEXT: ret
  12 }
  13
  14 define i57 @test1(i57 %A, i57 %B, i57 %C) {
  15         %X = lshr i57 %A, %C
  16         %Y = lshr i57 %B, %C
  17         %Z = or i57 %X, %Y
  18         ret i57 %Z
  19 ; CHECK-LABEL: @test1(
  20 ; CHECK-NEXT: or i57 %A, %B
  21 ; CHECK-NEXT: lshr i57
  22 ; CHECK-NEXT: ret
  23 }
  24
  25 define i49 @test2(i49 %A, i49 %B, i49 %C) {
  26         %X = ashr i49 %A, %C
  27         %Y = ashr i49 %B, %C
  28         %Z = xor i49 %X, %Y
  29         ret i49 %Z
  30 ; CHECK-LABEL: @test2(
  31 ; CHECK-NEXT: xor i49 %A, %B
  32 ; CHECK-NEXT: ashr i49
  33 ; CHECK-NEXT: ret
  34 }