36 lines · plain
1; RUN: opt < %s -passes=jump-threading,mem2reg,instcombine,simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s2 3declare i32 @f1()4declare i32 @f2()5declare void @f3()6 7define i32 @test(i1 %cond, i1 %cond2) {8; CHECK: test9 br i1 %cond, label %T1, label %F110 11; CHECK-NOT: T112T1:13 %v1 = call i32 @f1()14 br label %Merge15 16F1:17 %v2 = call i32 @f2()18 br label %Merge19 20Merge:21; CHECK: Merge:22; CHECK: %v1 = call i32 @f1()23; CHECK-NEXT: br i1 %cond224 %A = phi i1 [true, %T1], [false, %F1]25 %B = phi i32 [%v1, %T1], [%v2, %F1]26 %C = and i1 %A, %cond227 br i1 %C, label %T2, label %F228 29T2:30 call void @f3()31 ret i32 %B32 33F2:34 ret i32 %B35}36