1; RUN: opt < %s -instcombine -S | FileCheck %s
2
3define 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
14define 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
25define 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}
35