38 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, i1 %cond3) {8; CHECK: test9 br i1 %cond, label %T1, label %F110 11; CHECK-NOT: T1:12T1: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: %D = and i1 %cond2, %cond324; CHECK-NEXT: br i1 %D25 %A = phi i1 [true, %T1], [false, %F1]26 %B = phi i32 [%v1, %T1], [%v2, %F1]27 %C = and i1 %A, %cond228 %D = and i1 %C, %cond329 br i1 %D, label %T2, label %F230 31T2:32 call void @f3()33 ret i32 %B34 35F2:36 ret i32 %B37}38