1 ; RUN: opt < %s -instcombine -S | FileCheck %s
5 ;CHECK: icmp ne i32 %0, 12
7 define i1 @and_consts(i32 %k, i32 %c1, i32 %c2) {
10 %tmp2 = icmp eq i32 %tmp1, 0
12 %tmp6 = icmp eq i32 %tmp5, 0
13 %or = or i1 %tmp2, %tmp6
18 ;CHECK: shl i32 1, %c1
19 ;CHECK-NEXT: lshr i32 -2147483648, %c2
22 ;CHECK-NEXT: icmp ne i32 %1, %0
24 define i1 @foo1_and(i32 %k, i32 %c1, i32 %c2) {
27 %tmp4 = lshr i32 -2147483648, %c2
28 %tmp1 = and i32 %tmp, %k
29 %tmp2 = icmp eq i32 %tmp1, 0
30 %tmp5 = and i32 %tmp4, %k
31 %tmp6 = icmp eq i32 %tmp5, 0
32 %or = or i1 %tmp2, %tmp6