| ; RUN: opt -S -passes=instcombine < %s | FileCheck %s |
| |
| @g_40 = external global i8, align 2 |
| @g_461 = external global [6 x i8], align 2 |
| @g_49 = external local_unnamed_addr global { i8, i8, i8, i8, i8 }, align 2 |
| |
| ; CHECK-LABEL: @func_24( |
| define i40 @func_24() { |
| entry: |
| %bf.load81 = load i40, ptr @g_49, align 2 |
| %bf.clear = and i40 %bf.load81, -274869518337 |
| %bf.set = or i40 %bf.clear, shl (i40 zext (i1 icmp sgt (i32 zext (i1 icmp eq (ptr getelementptr inbounds ([6 x i8], ptr @g_461, i64 0, i64 2), ptr @g_40) to i32), i32 0) to i40), i40 23) |
| %tmp = lshr i40 %bf.set, 23 |
| %tmp1 = trunc i40 %tmp to i32 |
| %tmp2 = and i32 1, %tmp1 |
| %tmp3 = shl nuw nsw i32 %tmp2, 23 |
| %bf.shl154 = zext i32 %tmp3 to i40 |
| %bf.set156 = or i40 %bf.clear, %bf.shl154 |
| ret i40 %bf.set156 |
| } |
