[Fortran Support] Add pattern match for Fortran Arrays that are parameters.
- This breaks the previous assumption that Fortran Arrays are `GlobalValue`.
- The names of functions were getting unwieldy. So, I renamed the
Fortran related functions.
Differential Revision: https://reviews.llvm.org/D33075
llvm-svn: 303040
diff --git a/polly/lib/Analysis/ScopInfo.cpp b/polly/lib/Analysis/ScopInfo.cpp
index 901fbd6..c89b6e8 100644
--- a/polly/lib/Analysis/ScopInfo.cpp
+++ b/polly/lib/Analysis/ScopInfo.cpp
@@ -1034,21 +1034,7 @@
return OS;
}
-void MemoryAccess::setFortranArrayDescriptor(GlobalValue *FAD) {
- this->FAD = FAD;
-
-// TODO: write checks to make sure it looks _exactly_ like a Fortran array
-// descriptor
-#ifndef NDEBUG
- StructType *ty = dyn_cast<StructType>(FAD->getValueType());
- assert(ty && "expected value of type Fortran array descriptor");
- assert(ty->hasName() && ty->getName().startswith("struct.array") &&
- "expected global to follow Fortran array descriptor type naming "
- "convention");
- assert(ty->getNumElements() == 4 &&
- "expected layout to be like Fortran array descriptor type");
-#endif
-}
+void MemoryAccess::setFortranArrayDescriptor(Value *FAD) { this->FAD = FAD; }
void MemoryAccess::print(raw_ostream &OS) const {
switch (AccType) {