[llvm-commits] [polly] r144221 - in /polly/trunk: lib/Analysis/TempScopInfo.cpp test/ScopInfo/Alias-4.ll test/ScopInfo/bug_2010_07_16.ll test/ScopInfo/simple_loop_0.ll test/ScopInfo/sum.ll
Tobias Grosser
grosser at fim.uni-passau.de
Wed Nov 9 14:34:24 PST 2011
Author: grosser
Date: Wed Nov 9 16:34:24 2011
New Revision: 144221
URL: http://llvm.org/viewvc/llvm-project?rev=144221&view=rev
Log:
TempScop: Remove more of the buildAffineFunction
Removed:
polly/trunk/test/ScopInfo/bug_2010_07_16.ll
Modified:
polly/trunk/lib/Analysis/TempScopInfo.cpp
polly/trunk/test/ScopInfo/Alias-4.ll
polly/trunk/test/ScopInfo/simple_loop_0.ll
polly/trunk/test/ScopInfo/sum.ll
Modified: polly/trunk/lib/Analysis/TempScopInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Analysis/TempScopInfo.cpp?rev=144221&r1=144220&r2=144221&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/TempScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/TempScopInfo.cpp Wed Nov 9 16:34:24 2011
@@ -213,21 +213,11 @@
const SCEV *Var = I->first;
// Extract the constant part
if (isa<SCEVConstant>(Var))
- // Add the translation component
- FuncToBuild.TransComp = I->second;
+ ;
else if (Var->getType()->isPointerTy()) { // Extract the base address
const SCEVUnknown *BaseAddr = dyn_cast<SCEVUnknown>(Var);
assert(BaseAddr && "Why we got a broken scev?");
FuncToBuild.BaseAddr = BaseAddr->getValue();
- } else { // Extract other affine components.
- FuncToBuild.LnrTrans.insert(*I);
- // Do not add the indvar to the parameter list.
- if (!isIndVar(Var, R, *LI, *SE)) {
- DEBUG(dbgs() << "Non indvar: "<< *Var << '\n');
- assert(isParameter(Var, R, *LI, *SE)
- && "Find non affine function in scop!");
- Params.insert(Var);
- }
}
}
}
Modified: polly/trunk/test/ScopInfo/Alias-4.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/Alias-4.ll?rev=144221&r1=144220&r2=144221&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/Alias-4.ll (original)
+++ polly/trunk/test/ScopInfo/Alias-4.ll Wed Nov 9 16:34:24 2011
@@ -1,5 +1,4 @@
; RUN: opt %loadPolly %defaultOpts -polly-analyze-ir -analyze %s -stats 2>&1 | not FileCheck %s
-; RUN: opt %loadPolly %defaultOpts -polly-analyze-ir -analyze %s | FileCheck %s -check-prefix=MAS
; ModuleID = '/tmp/webcompile/_22751_0.bc'
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
@@ -26,5 +25,3 @@
; CHECK: Found base address alias
-; MAS: Reads %b[4 * {0,+,1}<nuw><nsw><%bb> + 0] Refs: Must alias {%b, } May alias {},
-; MAS: Writes %a[4 * {0,+,1}<nuw><nsw><%bb> + 0] Refs: Must alias {%a, } May alias {},
Removed: polly/trunk/test/ScopInfo/bug_2010_07_16.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/bug_2010_07_16.ll?rev=144220&view=auto
==============================================================================
--- polly/trunk/test/ScopInfo/bug_2010_07_16.ll (original)
+++ polly/trunk/test/ScopInfo/bug_2010_07_16.ll (removed)
@@ -1,52 +0,0 @@
-; RUN: opt %loadPolly %defaultOpts -polly-analyze-ir -analyze %s | FileCheck %s
-
-; ModuleID = '/home/ether/unexpected_parameter.ll'
-target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
-target triple = "x86_64-unknown-linux-gnu"
-
-define void @mdct_sub48([2 x [576 x double]]* %mdct_freq) nounwind {
-entry:
- br label %bb54
-
-bb4: ; preds = %bb54, %bb49
- br label %bb6
-
-bb6: ; preds = %bb6, %bb4
- br i1 undef, label %bb6, label %bb48
-
-bb24: ; preds = %bb48
- br i1 false, label %bb47, label %bb46
-
-bb40: ; preds = %bb46
- %0 = load double* %scevgep74, align 8 ; <double> [#uses=0]
- %indvar.next62 = add i64 %indvar61, 1 ; <i64> [#uses=1]
- br label %bb46
-
-bb46: ; preds = %bb40, %bb24
- %indvar61 = phi i64 [ %indvar.next62, %bb40 ], [ 0, %bb24 ] ; <i64> [#uses=1]
- %scevgep74 = getelementptr [2 x [576 x double]]* %mdct_freq, i64 0, i64 %indvar1, i64 0 ; <double*> [#uses=1]
- store double undef, double* %scevgep74, align 8
- br i1 false, label %bb40, label %bb47
-
-bb47: ; preds = %bb46, %bb24
- br label %bb48
-
-bb48: ; preds = %bb47, %bb6
- br i1 false, label %bb24, label %bb49
-
-bb49: ; preds = %bb48
- br i1 undef, label %bb4, label %bb53
-
-bb53: ; preds = %bb49
- %indvar.next2 = add i64 %indvar1, 1 ; <i64> [#uses=1]
- br label %bb54
-
-bb54: ; preds = %bb53, %entry
- %indvar1 = phi i64 [ %indvar.next2, %bb53 ], [ 0, %entry ] ; <i64> [#uses=2]
- br i1 undef, label %bb4, label %return
-
-return: ; preds = %bb54
- ret void
-}
-
-; CHECK: Scop: bb24 => bb48.region Parameters: ({0,+,1}<%bb54>, ), Max Loop Depth: 1
Modified: polly/trunk/test/ScopInfo/simple_loop_0.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/simple_loop_0.ll?rev=144221&r1=144220&r2=144221&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/simple_loop_0.ll (original)
+++ polly/trunk/test/ScopInfo/simple_loop_0.ll Wed Nov 9 16:34:24 2011
@@ -1,4 +1,3 @@
-; RUN: opt %loadPolly %defaultOpts -polly-analyze-ir -analyze %s | FileCheck %s -check-prefix=WITHAF
; RUN: opt %loadPolly %defaultOpts -polly-analyze-ir -analyze %s | FileCheck %s
;void f(long a[], long N) {
@@ -32,10 +31,3 @@
}
; CHECK: Scop: bb => return Parameters: ()
-; WITHAF: Scop: bb => return Parameters: (), Max Loop Depth: 1
-; WITHAF: Bounds of Loop: bb: { 127 }
-; WITHAF: BB: bb{
-; WITHAF: Reads %a[8 * {0,+,1}<nuw><nsw><%bb> + 0]
-; WITHAF: Reads %a[8 * {0,+,1}<nuw><nsw><%bb> + 16]
-; WITHAF: Writes %a[8 * {0,+,1}<nuw><nsw><%bb> + 0]
-; WITHAF: }
Modified: polly/trunk/test/ScopInfo/sum.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/sum.ll?rev=144221&r1=144220&r2=144221&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/sum.ll (original)
+++ polly/trunk/test/ScopInfo/sum.ll Wed Nov 9 16:34:24 2011
@@ -36,9 +36,3 @@
}
; CHECK: Bounds of Loop: bb: { (-2 + %n) }
-; CHECK: BB: bb{
-; CHECK: Reads %k.05.reg2mem[0] Refs: Must alias {%k.05.reg2mem, } May alias {},
-; CHECK: Reads %a[8 * {0,+,1}<%bb> + 8] Refs: Must alias {%a, } May alias {},
-; CHECK: Writes %k.0.lcssa.reg2mem[0] Refs: Must alias {%k.0.lcssa.reg2mem, } May alias {},
-; CHECK: Writes %k.05.reg2mem[0] Refs: Must alias {%k.05.reg2mem, } May alias {},
-; CHECK: }
More information about the llvm-commits
mailing list