[PATCH] [DependenceAnalysis] Fix for PR21585: collectUpperBound triggers asserts
hfinkel at anl.gov
hfinkel at anl.gov
Tue May 5 15:47:56 PDT 2015
REPOSITORY
rL LLVM
================
Comment at: lib/Analysis/DependenceAnalysis.cpp:951
@@ -950,3 +950,3 @@
const SCEV *UB = SE->getBackedgeTakenCount(L);
- return SE->getNoopOrZeroExtend(UB, T);
+ return SE->getTruncateOrZeroExtend(UB, T);
}
----------------
I don't understand this; the answer, then, is not actually the upper bound. Why not return some unknown?
http://reviews.llvm.org/D9455
EMAIL PREFERENCES
http://reviews.llvm.org/settings/panel/emailpreferences/
More information about the llvm-commits
mailing list