1 ; RUN: opt < %s -newgvn -S | FileCheck %s 2 3 ; CHECK-LABEL: @test1 4 ; CHECK: ret i32 %arg 5 define i32 @test1(i32 %arg) { 6 %cmp = icmp sge i32 %arg, 5 7 call void @llvm.assume(i1 %cmp) 8 ret i32 %arg 9 } 10 11 ; CHECK-LABEL: @test2 12 ; CHECK: ret i32 %arg 13 define i32 @test2(i32 %arg, i1 %b) { 14 br label %bb 15 16 bb: 17 %a = phi i32 [ 1, %0 ], [ 2, %bb ] 18 %cmp = icmp eq i32 %arg, %a 19 call void @llvm.assume(i1 %cmp) 20 br i1 %b, label %bb, label %end 21 22 end: 23 ret i32 %arg 24 } 25 26 declare void @llvm.assume(i1 %cond) 27
