1 ; RUN: opt < %s -instcombine -S | FileCheck %s
3 define i64 @test1(i64 %A, i32 %B) {
4 %tmp12 = zext i32 %B to i64
5 %tmp3 = shl i64 %tmp12, 32
6 %tmp5 = add i64 %tmp3, %A
7 %tmp6 = and i64 %tmp5, 123
10 ; CHECK-NEXT: and i64 %A, 123
14 define i32 @test2(i32 %A) {
19 ; CHECK-LABEL: @test2(
20 ; CHECK-NEXT: and i32 %A, 39
24 define i32 @test3(i32 %A) {
29 ; CHECK-LABEL: @test3(
32 ; CHECK-NEXT: or i32 %B, %C
36 define i32 @test4(i32 %A) {
37 %B = add nuw i32 %A, %A
39 ; CHECK-LABEL: @test4(
40 ; CHECK-NEXT: %B = shl nuw i32 %A, 1
41 ; CHECK-NEXT: ret i32 %B
44 define <2 x i1> @test5(<2 x i1> %A, <2 x i1> %B) {
45 %add = add <2 x i1> %A, %B
47 ; CHECK-LABEL: @test5(
48 ; CHECK-NEXT: %add = xor <2 x i1> %A, %B
49 ; CHECK-NEXT: ret <2 x i1> %add
52 define <2 x i64> @test6(<2 x i64> %A) {
53 %shl = shl <2 x i64> %A, <i64 2, i64 3>
54 %add = add <2 x i64> %shl, %A
56 ; CHECK-LABEL: @test6(
57 ; CHECK-NEXT: %add = mul <2 x i64> %A, <i64 5, i64 9>
58 ; CHECK-NEXT: ret <2 x i64> %add
61 define <2 x i64> @test7(<2 x i64> %A) {
62 %shl = shl <2 x i64> %A, <i64 2, i64 3>
63 %mul = mul <2 x i64> %A, <i64 3, i64 4>
64 %add = add <2 x i64> %shl, %mul
66 ; CHECK-LABEL: @test7(
67 ; CHECK-NEXT: %add = mul <2 x i64> %A, <i64 7, i64 12>
68 ; CHECK-NEXT: ret <2 x i64> %add
71 define <2 x i64> @test8(<2 x i64> %A) {
72 %xor = xor <2 x i64> %A, <i64 -1, i64 -1>
73 %add = add <2 x i64> %xor, <i64 2, i64 3>
75 ; CHECK-LABEL: @test8(
76 ; CHECK-NEXT: %add = sub <2 x i64> <i64 1, i64 2>, %A
77 ; CHECK-NEXT: ret <2 x i64> %add