26 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes='default<O2>' -S < %s | FileCheck %s3 4define void @PR45687(i32 %0) {5; CHECK-LABEL: @PR45687(6; CHECK-NEXT: ret void7;8 %2 = add i32 %0, 19 %3 = icmp ult i32 %2, 310 tail call void @llvm.assume(i1 %3)11 %4 = icmp slt i32 %0, 012 %5 = sub nsw i32 0, %013 %6 = select i1 %4, i32 %5, i32 %014 %7 = icmp sgt i32 %6, 115 br i1 %7, label %8, label %9168:17 tail call void @g()18 br label %9199:20 ret void21}22 23declare void @llvm.assume(i1)24 25declare void @g()26