forked from OSchip/llvm-project
[LoopDeletion] Add test with irreducible control flow in loop.
Currently the irreducible cycles in the loops are ignored. The irreducible cycle may loop infinitely in irreducible_subloop_no_mustprogress, which is allowed and the loop should not be removed. Discussed in D103382.
This commit is contained in:
parent
abe501f240
commit
ee9bb258bb
|
@ -0,0 +1,58 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -loop-deletion -verify-dom-info -S | FileCheck %s
|
||||
|
||||
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64"
|
||||
|
||||
define void @irreducible_subloop_no_mustprogress(i1 %c1, i1 %c2, i1 %c3) {
|
||||
; CHECK-LABEL: @irreducible_subloop_no_mustprogress(
|
||||
; CHECK-NEXT: br label [[EXIT:%.*]]
|
||||
; CHECK: exit:
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
br label %loop1
|
||||
|
||||
loop1:
|
||||
br i1 %c1, label %loop1.bb1, label %irr.bb1
|
||||
|
||||
loop1.bb1:
|
||||
br label %irr.bb2
|
||||
|
||||
irr.bb1:
|
||||
br i1 %c2, label %loop1.latch, label %irr.bb2
|
||||
|
||||
irr.bb2:
|
||||
br i1 %c3, label %loop1.latch, label %irr.bb1
|
||||
|
||||
loop1.latch:
|
||||
br i1 false, label %loop1, label %exit
|
||||
|
||||
exit:
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @irreducible_subloop_with_mustprogress(i1 %c1, i1 %c2, i1 %c3) mustprogress {
|
||||
; CHECK-LABEL: @irreducible_subloop_with_mustprogress(
|
||||
; CHECK-NEXT: br label [[EXIT:%.*]]
|
||||
; CHECK: exit:
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
br label %loop1
|
||||
|
||||
loop1:
|
||||
br i1 %c1, label %loop1.bb1, label %irr.bb1
|
||||
|
||||
loop1.bb1:
|
||||
br label %irr.bb2
|
||||
|
||||
irr.bb1:
|
||||
br i1 %c2, label %loop1.latch, label %irr.bb2
|
||||
|
||||
irr.bb2:
|
||||
br i1 %c3, label %loop1.latch, label %irr.bb1
|
||||
|
||||
loop1.latch:
|
||||
br i1 false, label %loop1, label %exit
|
||||
|
||||
exit:
|
||||
ret void
|
||||
}
|
Loading…
Reference in New Issue