xref: /llvm-project/llvm/test/Transforms/InstCombine/pr35515.ll (revision deab451e7a7f2dff42097049274637052c87eabd)
1; RUN: opt -S -passes=instcombine < %s | FileCheck %s
2
3@g_40 = external global i8, align 2
4@g_461 = external global [6 x i8], align 2
5@g_49 = external local_unnamed_addr global { i8, i8, i8, i8, i8 }, align 2
6
7; CHECK-LABEL: @func_24(
8define i40 @func_24() {
9entry:
10  %bf.load81 = load i40, ptr @g_49, align 2
11  %bf.clear = and i40 %bf.load81, -274869518337
12  %cmp2 = icmp eq ptr getelementptr inbounds ([6 x i8], ptr @g_461, i64 0, i64 2), @g_40
13  %zext1 = zext i1 %cmp2 to i32
14  %cmp = icmp sgt i32 %zext1, 0
15  %zext2 = zext i1 %cmp to i40
16  %shl = shl i40 %zext2, 23
17  %bf.set = or i40 %bf.clear, %shl
18  %tmp = lshr i40 %bf.set, 23
19  %tmp1 = trunc i40 %tmp to i32
20  %tmp2 = and i32 1, %tmp1
21  %tmp3 = shl nuw nsw i32 %tmp2, 23
22  %bf.shl154 = zext i32 %tmp3 to i40
23  %bf.set156 = or i40 %bf.clear, %bf.shl154
24  ret i40 %bf.set156
25}
26