1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68
|
; RUN: opt -mergereturn -enable-new-pm=0 -S < %s | FileCheck %s
; RUN: opt -passes='break-crit-edges,lowerswitch,mergereturn' -S < %s | FileCheck %s
; The pass did previously not report the correct Modified status in the case
; where a function had at most one return block, and an unified unreachable
; block was created. This was caught by the pass return status check that is
; hidden under EXPENSIVE_CHECKS.
; CHECK: for.foo.body2:
; CHECK-NEXT: br label %UnifiedUnreachableBlock
; CHECK: for.foo.end:
; CHECK-NEXT: br label %UnifiedUnreachableBlock
; CHECK: UnifiedUnreachableBlock:
; CHECK-NEXT: unreachable
define i32 @foo() {
entry:
br label %for.foo.cond
for.foo.cond: ; preds = %entry
br i1 false, label %for.foo.body, label %for.foo.end3
for.foo.body: ; preds = %for.foo.cond
br label %for.foo.cond1
for.foo.cond1: ; preds = %for.foo.body
br i1 false, label %for.foo.body2, label %for.foo.end
for.foo.body2: ; preds = %for.foo.cond1
unreachable
for.foo.end: ; preds = %for.foo.cond1
unreachable
for.foo.end3: ; preds = %for.foo.cond
ret i32 undef
}
; CHECK: for.bar.body2:
; CHECK-NEXT: br label %UnifiedUnreachableBlock
; CHECK: for.bar.end:
; CHECK-NEXT: br label %UnifiedUnreachableBlock
; CHECK: UnifiedUnreachableBlock:
; CHECK-NEXT: unreachable
define void @bar() {
entry:
br label %for.bar.cond
for.bar.cond: ; preds = %entry
br i1 false, label %for.bar.body, label %for.bar.end
for.bar.body: ; preds = %for.bar.cond
br label %for.bar.cond1
for.bar.cond1: ; preds = %for.bar.body
br i1 false, label %for.bar.body2, label %for.bar.end
for.bar.body2: ; preds = %for.bar.cond1
unreachable
for.bar.end: ; preds = %for.bar.cond1
unreachable
}
|