[polly] r227524 - [FIX] Activated a pointer test and removed obsolete comment

Johannes Doerfert doerfert at cs.uni-saarland.de
Thu Jan 29 16:36:13 PST 2015


Author: jdoerfert
Date: Thu Jan 29 18:36:13 2015
New Revision: 227524

URL: http://llvm.org/viewvc/llvm-project?rev=227524&view=rev
Log:
[FIX] Activated a pointer test and removed obsolete comment

Modified:
    polly/trunk/lib/Support/SCEVValidator.cpp
    polly/trunk/test/Isl/CodeGen/20120316-InvalidCast.ll

Modified: polly/trunk/lib/Support/SCEVValidator.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Support/SCEVValidator.cpp?rev=227524&r1=227523&r2=227524&view=diff
==============================================================================
--- polly/trunk/lib/Support/SCEVValidator.cpp (original)
+++ polly/trunk/lib/Support/SCEVValidator.cpp Thu Jan 29 18:36:13 2015
@@ -329,13 +329,6 @@ public:
   ValidatorResult visitUnknown(const SCEVUnknown *Expr) {
     Value *V = Expr->getValue();
 
-    // We currently only support integer types. It may be useful to support
-    // pointer types, e.g. to support code like:
-    //
-    //   if (A)
-    //     A[i] = 1;
-    //
-    // See test/CodeGen/20120316-InvalidCast.ll
     if (!(Expr->getType()->isIntegerTy() || Expr->getType()->isPointerTy())) {
       DEBUG(dbgs() << "INVALID: UnknownExpr is not an integer or pointer type");
       return ValidatorResult(SCEVType::INVALID);

Modified: polly/trunk/test/Isl/CodeGen/20120316-InvalidCast.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/20120316-InvalidCast.ll?rev=227524&r1=227523&r2=227524&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/20120316-InvalidCast.ll (original)
+++ polly/trunk/test/Isl/CodeGen/20120316-InvalidCast.ll Thu Jan 29 18:36:13 2015
@@ -1,7 +1,8 @@
-; RUN: opt %loadPolly -polly-codegen-isl < %s
+; RUN: opt %loadPolly -S -polly-detect-scops-in-functions-without-loops -polly-detect-scops-in-regions-without-loops -polly-codegen-isl < %s | FileCheck %s
+
+; CHECK: polly.start
 
 target datalayout = "e-p:32:32:32-i64:64:64-i32:32:32-i16:16:16-i1:32:32-f64:64:64-f32:32:32-a0:0-n32"
-target triple = "hexagon-unknown-linux-gnu"
 
 define void @fixup_gotos(i32* %A, i32* %data) nounwind {
 entry:





More information about the llvm-commits mailing list