[llvm-commits] [polly] r157243 - /polly/trunk/lib/Analysis/ScopInfo.cpp

[Tobias Grosser]

Author: grosser
Date: Tue May 22 05:47:17 2012
New Revision: 157243

URL: http://llvm.org/viewvc/llvm-project?rev=157243&view=rev
Log:
ScopInfo: SCEVUnknowns are always parameters

There is no need for special code to handle SCEVUnknowns. SCEVUnkowns are always
parameters and will be handled by the generic parameter handling code in
visit().

Modified:
    polly/trunk/lib/Analysis/ScopInfo.cpp

Modified: polly/trunk/lib/Analysis/ScopInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Analysis/ScopInfo.cpp?rev=157243&r1=157242&r2=157243&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/ScopInfo.cpp Tue May 22 05:47:17 2012
@@ -218,21 +218,7 @@
   }
 
   __isl_give isl_pw_aff *visitUnknown(const SCEVUnknown *Expr) {
-    Value *Value = Expr->getValue();
-
-    isl_space *Space;
-
-    std::string ValueName = Value->getName();
-    isl_id *ID = isl_id_alloc(ctx, ValueName.c_str(), Value);
-    Space = isl_space_set_alloc(ctx, 1, NbLoopSpaces);
-    Space = isl_space_set_dim_id(Space, isl_dim_param, 0, ID);
-
-    isl_set *Domain = isl_set_universe(isl_space_copy(Space));
-    isl_aff *Affine = isl_aff_zero_on_domain(isl_local_space_from_space(Space));
-
-    Affine = isl_aff_add_coefficient_si(Affine, isl_dim_param, 0, 1);
-
-    return isl_pw_aff_alloc(Domain, Affine);
+    llvm_unreachable("Unknowns are always parameters");
   }
 };