36 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -O3 -S < %s | FileCheck %s3; RUN: opt -passes="default<O3>" -S < %s | FileCheck %s4 5define void @PR45682(i32 %x, i32 %y) {6; CHECK-LABEL: @PR45682(7; CHECK-NEXT: entry:8; CHECK-NEXT: ret void9;10entry:11 %x.addr = alloca i32, align 412 %y.addr = alloca i32, align 413 store i32 %x, ptr %x.addr, align 414 store i32 %y, ptr %y.addr, align 415 %0 = load i32, ptr %y.addr, align 416 %cmp = icmp sgt i32 %0, 017 call void @llvm.assume(i1 %cmp)18 %1 = load i32, ptr %y.addr, align 419 %2 = load i32, ptr %x.addr, align 420 %add = add nsw i32 %2, %121 store i32 %add, ptr %x.addr, align 422 %3 = load i32, ptr %x.addr, align 423 %cmp1 = icmp eq i32 %3, -214748364824 br i1 %cmp1, label %if.then, label %if.end25 26if.then:27 call void @v()28 br label %if.end29 30if.end:31 ret void32}33 34declare void @v()35declare void @llvm.assume(i1)36