29 lines
1.1 KiB
LLVM
29 lines
1.1 KiB
LLVM
|
; Make sure that Loop which was invalidated by loop-deletion
|
||
|
|
; does not lead to problems for -print-after-all and is just skipped.
|
||
|
|
;
|
||
|
|
; RUN: opt < %s -disable-output \
|
||
|
|
; RUN: -passes=loop-instsimplify -print-after-all 2>&1 | FileCheck %s -check-prefix=SIMPLIFY
|
||
|
|
; RUN: opt < %s -disable-output \
|
||
|
|
; RUN: -passes=loop-deletion,loop-instsimplify -print-after-all 2>&1 | FileCheck %s -check-prefix=DELETED
|
||
|
|
; RUN: opt < %s -disable-output \
|
||
|
|
; RUN: -passes=loop-deletion,loop-instsimplify -print-after-all -print-module-scope 2>&1 | FileCheck %s -check-prefix=DELETED-BUT-PRINTED
|
||
|
|
;
|
||
|
|
; SIMPLIFY: IR Dump {{.*}} LoopInstSimplifyPass
|
||
|
|
; DELETED-NOT: IR Dump {{.*}}LoopInstSimplifyPass
|
||
|
|
; DELETED-NOT: IR Dump {{.*}}LoopDeletionPass
|
||
|
|
; DELETED-BUT-PRINTED: IR Dump {{.*}}LoopDeletionPass {{.*invalidated:}}
|
||
|
|
; DELETED-BUT-PRINTED-NOT: IR Dump {{.*}}LoopInstSimplifyPass
|
||
|
|
|
||
|
|
define void @deleteme() {
|
||
|
|
entry:
|
||
|
|
br label %loop
|
||
|
|
loop:
|
||
|
|
%iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
|
||
|
|
%iv.next = add i32 %iv, 1
|
||
|
|
%check = icmp ult i32 %iv.next, 3
|
||
|
|
br i1 %check, label %loop, label %exit
|
||
|
|
exit:
|
||
|
|
ret void
|
||
|
|
}
|
||
|
|
|