This is an archive of the discontinued LLVM Phabricator instance.

Differential D87658

[RegionInfo][NewPM] Fix RegionInfo tests to work under NPM
ClosedPublic

Authored by aeubanks on Sep 14 2020, 6:00 PM.

Details

Reviewers
ychen
asbirlea
Commits
rGe0c7641de65f: [RegionInfo][NewPM] Fix RegionInfo tests to work under NPM
Summary

Pin RUN lines with -analyze to legacy PM, add corresponding NPM RUN line if missing.

Diff Detail

Event Timeline

aeubanks created this revision.Sep 14 2020, 6:00 PM
Herald added a project: Restricted Project. · View Herald TranscriptSep 14 2020, 6:00 PM
Herald added a subscriber: llvm-commits. · View Herald Transcript
aeubanks requested review of this revision.Sep 14 2020, 6:00 PM
aeubanks added reviewers: ychen, asbirlea.Sep 14 2020, 6:02 PM
Harbormaster completed remote builds in B71661: Diff 291748.Sep 14 2020, 6:36 PM
asbirlea accepted this revision.Sep 14 2020, 7:25 PM
This revision is now accepted and ready to land.Sep 14 2020, 7:25 PM
Closed by commit rGe0c7641de65f: [RegionInfo][NewPM] Fix RegionInfo tests to work under NPM (authored by aeubanks). · Explain WhySep 15 2020, 11:12 AM
This revision was automatically updated to reflect the committed changes.
aeubanks added a commit: rGe0c7641de65f: [RegionInfo][NewPM] Fix RegionInfo tests to work under NPM.

Revision Contents

Diff 291977

llvm/test/Analysis/RegionInfo/bad_node_traversal.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -passes='print<regions>' -disable-output < %s 2>&1 | FileCheck %s
; While working on improvements to the region info analysis, this test ; While working on improvements to the region info analysis, this test
; case caused an incorrect region 3 => 8 to be detected. ; case caused an incorrect region 3 => 8 to be detected.
define internal i8 @wibble() { define internal i8 @wibble() {
bb: bb:
br i1 true, label %bb1, label %bb8 br i1 true, label %bb1, label %bb8
Show All 33 Lines

llvm/test/Analysis/RegionInfo/block_sort.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -analyze < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define void @BZ2_blockSort() nounwind { define void @BZ2_blockSort() nounwind {
start: start:
br label %while br label %while
while: while:
br label %while.body134.i.i br label %while.body134.i.i
Show All 30 Lines

llvm/test/Analysis/RegionInfo/cond_loop.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define void @normal_condition() nounwind { define void @normal_condition() nounwind {
"5": "5":
br label %"0" br label %"0"
"0": "0":
br label %"1" br label %"1"
"1": "1":
Show All 21 Lines

llvm/test/Analysis/RegionInfo/condition_complicated.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define internal fastcc zeroext i8 @handle_compress() nounwind { define internal fastcc zeroext i8 @handle_compress() nounwind {
end165: end165:
br i1 1, label %false239, label %true181 br i1 1, label %false239, label %true181
true181: true181:
br i1 1, label %then187, label %else232 br i1 1, label %then187, label %else232
▲ Show 20 Lines • Show All 48 Lines • Show Last 20 Lines

llvm/test/Analysis/RegionInfo/condition_complicated_2.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define internal fastcc void @compress() nounwind { define internal fastcc void @compress() nounwind {
end33: end33:
br i1 1, label %end124, label %lor.lhs.false95 br i1 1, label %end124, label %lor.lhs.false95
lor.lhs.false95: lor.lhs.false95:
br i1 1, label %then107, label %end172 br i1 1, label %then107, label %end172
Show All 32 Lines

llvm/test/Analysis/RegionInfo/condition_forward_edge.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define void @normal_condition() nounwind { define void @normal_condition() nounwind {
"0": "0":
br label %"1" br label %"1"
"1": "1":
br i1 1, label %"2", label %"3" br i1 1, label %"2", label %"3"
"2": "2":
br label %"3" br label %"3"
Show All 14 Lines

llvm/test/Analysis/RegionInfo/condition_same_exit.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define void @normal_condition() nounwind { define void @normal_condition() nounwind {
"0": "0":
br i1 1, label %"1", label %"4" br i1 1, label %"1", label %"4"
"1": "1":
br i1 1, label %"2", label %"3" br i1 1, label %"2", label %"3"
"2": "2":
Show All 19 Lines

llvm/test/Analysis/RegionInfo/condition_simple.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define void @normal_condition() nounwind { define void @normal_condition() nounwind {
"0": "0":
br label %"1" br label %"1"
"1": "1":
br i1 1, label %"2", label %"3" br i1 1, label %"2", label %"3"
"2": "2":
br label %"4" br label %"4"
Show All 16 Lines

llvm/test/Analysis/RegionInfo/exit_in_condition.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define internal fastcc zeroext i8 @handle_compress() nounwind { define internal fastcc zeroext i8 @handle_compress() nounwind {
entry: entry:
br label %outer br label %outer
outer: outer:
br label %body br label %body
Show All 26 Lines

llvm/test/Analysis/RegionInfo/infinite_loop.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s
; RUN: opt -passes='print<regions>' -disable-output < %s 2>&1
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
define void @normal_condition() nounwind { define void @normal_condition() nounwind {
0: 0:
br label %1 br label %1
1: 1:
br i1 1, label %2, label %3 br i1 1, label %2, label %3
2: 2:
Show All 9 Lines

llvm/test/Analysis/RegionInfo/infinite_loop_2.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt -passes='print<regions>' -disable-output < %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define void @normal_condition() nounwind { define void @normal_condition() nounwind {
"0": "0":
br label %"1" br label %"1"
"1": "1":
br i1 1, label %"2", label %"3" br i1 1, label %"2", label %"3"
"2": "2":
br label %"5" br label %"5"
Show All 21 Lines

llvm/test/Analysis/RegionInfo/infinite_loop_3.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define void @normal_condition() nounwind { define void @normal_condition() nounwind {
"0": "0":
br label %"7" br label %"7"
"7": "7":
br i1 1, label %"1", label %"8" br i1 1, label %"1", label %"8"
"1": "1":
br i1 1, label %"2", label %"3" br i1 1, label %"2", label %"3"
Show All 33 Lines

llvm/test/Analysis/RegionInfo/infinite_loop_4.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define void @normal_condition() nounwind { define void @normal_condition() nounwind {
"0": "0":
br label %"7" br label %"7"
"7": "7":
br i1 1, label %"1", label %"8" br i1 1, label %"1", label %"8"
"1": "1":
br i1 1, label %"2", label %"3" br i1 1, label %"2", label %"3"
Show All 38 Lines

llvm/test/Analysis/RegionInfo/infinite_loop_5_a.ll

; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -passes='print<regions>' -disable-output < %s 2>&1 | FileCheck %s
define void @normal_condition() nounwind { define void @normal_condition() nounwind {
"0": "0":
br label %"7" br label %"7"
"7": "7":
br i1 1, label %"1", label %"8" br i1 1, label %"1", label %"8"
"1": "1":
br i1 1, label %"6", label %"3" br i1 1, label %"6", label %"3"
Show All 13 Lines

llvm/test/Analysis/RegionInfo/infinite_loop_5_b.ll

; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -passes='print<regions>' -disable-output < %s 2>&1 | FileCheck %s
define void @normal_condition() nounwind { define void @normal_condition() nounwind {
"0": "0":
br label %"7" br label %"7"
"7": "7":
br i1 1, label %"1", label %"9" br i1 1, label %"1", label %"9"
"9": "9":
br label %"8" br label %"8"
Show All 15 Lines

llvm/test/Analysis/RegionInfo/infinite_loop_5_c.ll

; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -passes='print<regions>' -disable-output < %s 2>&1 | FileCheck %s
define void @normal_condition() nounwind { define void @normal_condition() nounwind {
"0": "0":
br label %"7" br label %"7"
"7": "7":
br i1 1, label %"1", label %"8" br i1 1, label %"1", label %"8"
"1": "1":
br i1 1, label %"6", label %"3" br i1 1, label %"6", label %"3"
Show All 13 Lines

llvm/test/Analysis/RegionInfo/loop_with_condition.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define void @normal_condition() nounwind { define void @normal_condition() nounwind {
"0": "0":
br label %"1" br label %"1"
"1": "1":
br i1 1, label %"6", label %"2" br i1 1, label %"6", label %"2"
"2": "2":
br i1 1, label %"3", label %"4" br i1 1, label %"3", label %"4"
Show All 33 Lines

llvm/test/Analysis/RegionInfo/loops_1.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define internal fastcc zeroext i8 @loops_1() nounwind { define internal fastcc zeroext i8 @loops_1() nounwind {
entry: entry:
br i1 1, label %outer , label %a br i1 1, label %outer , label %a
a: a:
br label %body br label %body
Show All 28 Lines

llvm/test/Analysis/RegionInfo/loops_2.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define void @meread_() nounwind { define void @meread_() nounwind {
entry: entry:
br label %bb23 br label %bb23
bb23: bb23:
br label %bb.i br label %bb.i
Show All 37 Lines

llvm/test/Analysis/RegionInfo/mix_1.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define void @a_linear_impl_fig_1() nounwind { define void @a_linear_impl_fig_1() nounwind {
"0": "0":
br i1 1, label %"1", label %"15" br i1 1, label %"1", label %"15"
"1": "1":
switch i32 0, label %"2" [ i32 0, label %"3" switch i32 0, label %"2" [ i32 0, label %"3"
i32 1, label %"7"] i32 1, label %"7"]
▲ Show 20 Lines • Show All 56 Lines • Show Last 20 Lines

llvm/test/Analysis/RegionInfo/multiple_exiting_edge.ll

; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb -disable-output < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn -disable-output < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define void @normal_condition_0() nounwind { define void @normal_condition_0() nounwind {
bb38: ; preds = %bb34, %bb34, %bb37 bb38: ; preds = %bb34, %bb34, %bb37
switch i32 undef, label %bb42 [ switch i32 undef, label %bb42 [
i32 67, label %bb42 i32 67, label %bb42
i32 90, label %bb41 i32 90, label %bb41
] ]
bb41: ; preds = %bb38 bb41: ; preds = %bb38
Show All 28 Lines

llvm/test/Analysis/RegionInfo/nested_loops.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define internal fastcc zeroext i8 @handle_compress() nounwind { define internal fastcc zeroext i8 @handle_compress() nounwind {
entry: entry:
br label %outer br label %outer
outer: outer:
br label %body br label %body
Show All 20 Lines

llvm/test/Analysis/RegionInfo/next.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt -passes='print<regions>' -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define void @MAIN__() nounwind { define void @MAIN__() nounwind {
entry: entry:
br label %__label_002001.outer br label %__label_002001.outer
__label_002001.outer: ; preds = %bb236, %bb92 __label_002001.outer: ; preds = %bb236, %bb92
br label %__label_002001 br label %__label_002001
Show All 37 Lines

llvm/test/Analysis/RegionInfo/outgoing_edge.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; While working on improvements to the region info analysis, this test ; While working on improvements to the region info analysis, this test
; case caused an incorrect region bb2 => bb3 to be detected. It is incorrect ; case caused an incorrect region bb2 => bb3 to be detected. It is incorrect
; because bb2 has an outgoing edge to bb4. This is interesting because ; because bb2 has an outgoing edge to bb4. This is interesting because
; bb2 dom bb3 and bb3 pdom bb2, which should have been enough to prevent incoming ; bb2 dom bb3 and bb3 pdom bb2, which should have been enough to prevent incoming
; forward edges into the region and outgoing forward edges from the region. ; forward edges into the region and outgoing forward edges from the region.
Show All 23 Lines

llvm/test/Analysis/RegionInfo/outgoing_edge_1.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; While working on improvements to region info analysis, this test ; While working on improvements to region info analysis, this test
; case caused an incorrect region bb2 => bb3 to be detected. ; case caused an incorrect region bb2 => bb3 to be detected.
define internal i8 @main_read() nounwind { define internal i8 @main_read() nounwind {
bb: bb:
br label %bb1 br label %bb1
Show All 29 Lines

llvm/test/Analysis/RegionInfo/paper.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define void @a_linear_impl_fig_1() nounwind { define void @a_linear_impl_fig_1() nounwind {
"0": "0":
br label %"1" br label %"1"
"1": "1":
br label %"2" br label %"2"
"2": "2":
br label %"3" br label %"3"
▲ Show 20 Lines • Show All 43 Lines • Show Last 20 Lines

llvm/test/Analysis/RegionInfo/two_loops_same_header.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s ; RUN: opt -regions -print-region-style=bb -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s ; RUN: opt -regions -print-region-style=rn -analyze -enable-new-pm=0 < %s 2>&1 | FileCheck -check-prefix=RNIT %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
define internal fastcc zeroext i8 @handle_compress() nounwind { define internal fastcc zeroext i8 @handle_compress() nounwind {
entry: entry:
br label %outer br label %outer
outer: outer:
br label %body br label %body
Show All 34 Lines

llvm/test/Analysis/RegionInfo/unreachable_bb.ll

; RUN: opt -regions -analyze < %s | FileCheck %s ; RUN: opt -regions -analyze -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; We should not crash if there are some bbs that are not reachable. ; We should not crash if there are some bbs that are not reachable.
define void @f() { define void @f() {
entry: entry:
br label %for.pre br label %for.pre
notintree: ; No predecessors! notintree: ; No predecessors!
Show All 21 Lines