maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[LoopDeletion] Add additional test cases with more nested loops. 

Also remove mustprogress function attribute from one of the tests

Extends test coverage for D103382.
This commit is contained in:
Florian Hahn 2021-05-31 20:23:43 +01:00
parent 23f7f56cec
commit 5c9fe816e3
No known key found for this signature in database
GPG Key ID: 61D7554B5CECDC0D
1 changed files with 73 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

75
llvm/test/Transforms/LoopDeletion/noop-loops-with-subloops.ll
View File

@ -202,7 +202,7 @@ exit:
; Similar to @inner_loop_may_be_infinite, but the parent loop loop1 is marked
; as mustprogress. The loops can be removed.
define void @inner_loop_may_be_infinite_but_top_loop_mustprogress(i1 %c1, i1 %c2) mustprogress {
define void @inner_loop_may_be_infinite_but_top_loop_mustprogress(i1 %c1, i1 %c2) {
; CHECK-LABEL: @inner_loop_may_be_infinite_but_top_loop_mustprogress(
; CHECK-NEXT: br label [[EXIT:%.*]]
; CHECK: exit:
@ -269,7 +269,7 @@ loop2:
br i1 %c2, label %loop3, label %loop2, !llvm.loop !4
loop3:
br i1 %c2, label %loop1.latch, label %loop3
br i1 %c3, label %loop1.latch, label %loop3
loop1.latch:
br i1 false, label %loop1, label %exit
@ -278,7 +278,78 @@ exit:
ret void
}
define void @loop2_finite_but_child_is_not(i1 %c1, i1 %c2, i1 %c3) {
; CHECK-LABEL: @loop2_finite_but_child_is_not(
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[EXIT:%.*]]
; CHECK: exit:
; CHECK-NEXT: ret void
;
entry:
br label %loop1
loop1:
%iv1 = phi i32 [ 0, %entry ], [ %iv1.next, %loop1.latch ]
br i1 %c1, label %loop1.latch, label %loop2
loop2:
%iv = phi i32 [ 0, %loop1 ], [ %iv.next, %loop2.latch ]
br label %loop3
loop3:
br i1 %c2, label %loop2.latch, label %loop3
loop2.latch:
%iv.next = add nuw i32 %iv, 1
%c = icmp ugt i32 %iv, 200
br i1 %c, label %loop1.latch, label %loop2
loop1.latch:
%iv1.next = add nuw i32 %iv1, 1
%c4 = icmp ult i32 %iv1.next, 200
br i1 %c4, label %loop1, label %exit
exit:
ret void
}
define void @loop2_finite_and_child_is_mustprogress(i1 %c1, i1 %c2, i1 %c3) {
; CHECK-LABEL: @loop2_finite_and_child_is_mustprogress(
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[EXIT:%.*]]
; CHECK: exit:
; CHECK-NEXT: ret void
;
entry:
br label %loop1
loop1:
%iv1 = phi i32 [ 0, %entry ], [ %iv1.next, %loop1.latch ]
br i1 %c1, label %loop1.latch, label %loop2
loop2:
%iv = phi i32 [ 0, %loop1 ], [ %iv.next, %loop2.latch ]
br label %loop3
loop3:
br i1 %c2, label %loop2.latch, label %loop3, !llvm.loop !5
loop2.latch:
%iv.next = add nuw i32 %iv, 1
%c = icmp ugt i32 %iv, 200
br i1 %c, label %loop1.latch, label %loop2
loop1.latch:
%iv1.next = add nuw i32 %iv1, 1
%c4 = icmp ult i32 %iv1.next, 200
br i1 %c4, label %loop1, label %exit
exit:
ret void
}
!1 = !{!"llvm.loop.mustprogress"}
!2 = distinct !{!2, !1}
!3 = distinct !{!3, !1}
!4 = distinct !{!4, !1}
!5 = distinct !{!5, !1}