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

tests: Add test cases for LLVM commit r251267 

This fixes llvm.org/PR25242

llvm-svn: 251268
This commit is contained in:
Tobias Grosser 2015-10-25 22:56:42 +00:00
parent 28e3e89764
commit 4dc909cbed
2 changed files with 48 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
polly/test/ScopInfo/new-domain-construction-schedule-not-freed.ll → polly/test/ScopDetect/expand-region-correctly-2.ll
View File

@ -1,9 +1,7 @@
; RUN: opt %loadPolly -analyze -polly-scops %s | FileCheck %s
; RUN: opt %loadPolly -polly-detect \
; RUN: -analyze < %s | FileCheck %s
;
; At some point this caused a problem in the schedule generation and we
; keep the test to avoid regressions there.
;
; CHECK: Statements
; CHECK: Valid Region for Scop: if.end.1631 => for.cond.1647.outer
;
target triple = "x86_64-unknown-linux-gnu"

45
polly/test/ScopDetect/expand-region-correctly.ll Normal file
View File

@ -0,0 +1,45 @@
; RUN: opt %loadPolly -polly-detect \
; RUN: -analyze < %s | FileCheck %s
; CHECK: Valid Region for Scop: if.end.1631 => for.cond.1647.outer
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
define void @qtm_decompress() {
entry:
br label %while.cond.outer.outer
while.cond.outer.outer: ; preds = %entry
br label %if.end.1631
if.end.1631: ; preds = %do.end.1721, %while.cond.outer.outer
br i1 false, label %for.cond.1647.preheader, label %if.then.1635
if.then.1635: ; preds = %if.end.1631
br label %for.cond.1647.preheader
for.cond.1647.preheader: ; preds = %if.then.1635, %if.end.1631
br label %for.cond.1647.outer
for.cond.1647.outer: ; preds = %do.end.1685, %for.cond.1647.preheader
%bits_needed.5.ph = phi i8 [ 8, %for.cond.1647.preheader ], [ 0, %do.end.1685 ]
br label %for.cond.1647
for.cond.1647: ; preds = %do.cond.1718, %for.cond.1647.outer
br i1 undef, label %do.cond.1718, label %if.then.1659
if.then.1659: ; preds = %for.cond.1647
br i1 false, label %do.end.1685, label %if.then.1662
if.then.1662: ; preds = %if.then.1659
unreachable
do.end.1685: ; preds = %if.then.1659
br label %for.cond.1647.outer
do.cond.1718: ; preds = %for.cond.1647
br i1 false, label %do.end.1721, label %for.cond.1647
do.end.1721: ; preds = %do.cond.1718
br label %if.end.1631
}