| ; RUN: opt < %s -mergereturn -loop-extract -enable-new-pm=0 -S | FileCheck %s |
| |
| ; This test used to enter an infinite loop, until out of memory (PR3082). |
| |
| define void @test() { |
| ; CHECK-LABEL: define void @test() |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: br label %codeRepl |
| ; CHECK: codeRepl: |
| ; CHECK-NEXT: %targetBlock = call i1 @test.loopentry() |
| ; CHECK-NEXT: br i1 %targetBlock, label %exit.1, label %exit.0 |
| ; CHECK: exit.0: |
| ; CHECK-NEXT: br label %UnifiedReturnBlock |
| ; CHECK: exit.1: |
| ; CHECK-NEXT: br label %UnifiedReturnBlock |
| ; CHECK: UnifiedReturnBlock: |
| ; CHECK-NEXT: ret void |
| |
| entry: |
| br label %loopentry |
| |
| loopentry: ; preds = %loopexit, %entry |
| br i1 undef, label %exit.1, label %loopexit |
| |
| loopexit: ; preds = %loopentry |
| br i1 undef, label %loopentry, label %exit.0 |
| |
| exit.0: ; preds = %loopexit |
| ret void |
| |
| exit.1: ; preds = %loopentry |
| ret void |
| } |
| |
| ; CHECK-LABEL: define internal i1 @test.loopentry() |
| ; CHECK-NEXT: newFuncRoot: |
| ; CHECK-NEXT: br label %loopentry |
| ; CHECK: loopentry: |
| ; CHECK-NEXT: br i1 true, label %exit.1.exitStub, label %loopexit |
| ; CHECK: loopexit: |
| ; CHECK-NEXT: br i1 false, label %loopexit.loopentry_crit_edge, label %exit.0.exitStub |
| ; CHECK: loopexit.loopentry_crit_edge: |
| ; CHECK-NEXT: br label %loopentry |
| ; CHECK: exit.1.exitStub: |
| ; CHECK-NEXT: ret i1 true |
| ; CHECK: exit.0.exitStub: |
| ; CHECK-NEXT: ret i1 false |