1 ; RUN: opt < %s -instcombine -S | FileCheck %s 2 3 ;CHECK: @and_consts 4 ;CHECK: and i32 %k, 12 5 ;CHECK: icmp ne i32 %0, 12 6 ;CHECK: ret 7 define i1 @and_consts(i32 %k, i32 %c1, i32 %c2) { 8 bb: 9 %tmp1 = and i32 4, %k 10 %tmp2 = icmp eq i32 %tmp1, 0 11 %tmp5 = and i32 8, %k 12 %tmp6 = icmp eq i32 %tmp5, 0 13 %or = or i1 %tmp2, %tmp6 14 ret i1 %or 15 } 16 17 ;CHECK: @foo1_and 18 ;CHECK: shl i32 1, %c1 19 ;CHECK-NEXT: lshr i32 -2147483648, %c2 20 ;CHECK-NEXT: or i32 21 ;CHECK-NEXT: and i32 22 ;CHECK-NEXT: icmp ne i32 %1, %0 23 ;CHECK: ret 24 define i1 @foo1_and(i32 %k, i32 %c1, i32 %c2) { 25 bb: 26 %tmp = shl i32 1, %c1 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 33 ret i1 %or 34 } 35 36
