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) {
20 ; CHECK-NEXT: and i32 %A, 39
24 define i32 @test3(i32 %A) {
32 ; CHECK-NEXT: or i32 %B, %C
36 define i32 @test4(i32 %A) {
37 %B = add nuw i32 %A, %A
40 ; CHECK-NEXT: %B = shl nuw i32 %A, 1
41 ; CHECK-NEXT: ret i32 %B