[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / pr35515.ll
blob1ad9b2fccd9447d047da71d15d42996aa2f4330c
1 ; RUN: opt -S -instcombine < %s | FileCheck %s
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
7 ; CHECK-LABEL: @func_24(
8 define fastcc void @func_24() {
9 entry:
10   %bf.load81 = load i40, i40* bitcast ({ i8, i8, i8, i8, i8 }* @g_49 to i40*), align 2
11   %bf.clear = and i40 %bf.load81, -274869518337
12   %bf.set = or i40 %bf.clear, shl (i40 zext (i1 icmp sgt (i32 zext (i1 icmp eq (i8* getelementptr inbounds ([6 x i8], [6 x i8]* @g_461, i64 0, i64 2), i8* @g_40) to i32), i32 0) to i40), i40 23)
13   %tmp = lshr i40 %bf.set, 23
14   %tmp1 = trunc i40 %tmp to i32
15   %tmp2 = and i32 1, %tmp1
16   %tmp3 = shl nuw nsw i32 %tmp2, 23
17   %bf.shl154 = zext i32 %tmp3 to i40
18   %bf.set156 = or i40 %bf.clear, %bf.shl154
19   unreachable