19 lines · plain
1; RUN: opt < %s -passes=instcombine2 3define i32 @f(i32 %theNumber) {4entry:5 %cmp = icmp sgt i32 %theNumber, -16 call void @llvm.assume(i1 %cmp)7 br i1 true, label %if.then, label %if.end8 9if.then: ; preds = %entry10 %shl = shl nuw i32 %theNumber, 111 br label %if.end12 13if.end: ; preds = %if.then, %entry14 %phi = phi i32 [ %shl, %if.then ], [ undef, %entry ]15 ret i32 %phi16}17 18declare void @llvm.assume(i1)19