11; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
22; RUN: opt -passes='simplifycfg' -S < %s | FileCheck %s
33
4- ; CHECK: br i1 %2, label %loop2, label %loop1
5- ; CHECK-SAME: llvm.loop
64
75define void @test (i32 %1 ) {
86; CHECK-LABEL: define void @test(
@@ -18,24 +16,24 @@ define void @test(i32 %1 ) {
1816; CHECK: [[BB3]]:
1917; CHECK-NEXT: ret void
2018;
21- .critedge :
19+ entry :
2220 br label %loop1
2321
24- loop1: ; preds = %loop2, .critedge
22+ loop1: ; preds = %loop2, %entry
2523 %111 = icmp eq i32 %1 , 0
26- br i1 %111 , label %112 , label %156
24+ br i1 %111 , label %trampoline , label %retlabel
2725
28- 112 : ; preds = %loop1
26+ trampoline : ; preds = %loop1
2927 br label %loop2
3028
31- loop2: ; preds = %149 , %112
32- %148 = phi i1 [ false , %149 ], [ true , %112 ]
33- br i1 %148 , label %149 , label %loop1 , !llvm.loop !32
29+ loop2: ; preds = %loop2latch , %trampoline
30+ %148 = phi i1 [ false , %loop2latch ], [ true , %trampoline ]
31+ br i1 %148 , label %loop2latch , label %loop1 , !llvm.loop !32
3432
35- 149 : ; preds = %loop2
33+ loop2latch : ; preds = %loop2
3634 br label %loop2
3735
38- 156 : ; preds = loop1
36+ retlabel : ; preds = loop1
3937 ret void
4038}
4139
0 commit comments