aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ScalarEvolution.cpp
AgeCommit message (Expand)AuthorFilesLines
2016-08-17SCEV: Don't assert about non-SCEV-able value in isSCEVExprNeverPoison() (PR28...Hans Wennborg1-0/+4
2016-08-17Replace a few more "fall through" comments with LLVM_FALLTHROUGHJustin Bogner1-5/+7
2016-08-16Revert "Enhance SCEV to compute the trip count for some loops with unknown st...Reid Kleckner1-77/+4
2016-08-15Enhance SCEV to compute the trip count for some loops with unknown stride.David L Kreitzer1-4/+77
2016-08-12Use the range variant of remove_if instead of unpacking begin/endDavid Majnemer1-4/+3
2016-08-09Recommit "Use ValueOffsetPair to enhance value reuse during SCEV expansion".Wei Mi1-20/+62
2016-08-09Consistently use FunctionAnalysisManagerSean Silva1-2/+2
2016-08-05[SCEV] Don't infinitely recurse on unreachable codeSanjoy Das1-1/+3
2016-07-26Revert r276136 "Use ValueOffsetPair to enhance value reuse during SCEV expans...Hans Wennborg1-62/+20
2016-07-23[SCEV] Make isImpliedCondOperandsViaRanges smarterSanjoy Das1-11/+1
2016-07-23[SCEV] Change the interface of computeConstantDifference; NFCSanjoy Das1-24/+17
2016-07-22[SCEV] Extract out a helper function; NFCSanjoy Das1-7/+14
2016-07-20Use ValueOffsetPair to enhance value reuse during SCEV expansion.Wei Mi1-20/+62
2016-07-11Teach SCEV to look through returned-argument functionsHal Finkel1-0/+7
2016-07-04Untabify.NAKAMURA Takumi1-1/+1
2016-07-02Use arrays or initializer lists to feed ArrayRefs instead of SmallVector wher...Benjamin Kramer1-6/+2
2016-06-30[SCEV] Compute max be count from shift operator only if all else failsSanjoy Das1-6/+9
2016-06-26Apply clang-tidy's modernize-loop-convert to lib/Analysis.Benjamin Kramer1-8/+8
2016-06-18[SCEV] Fix incorrect trip count computationSanjoy Das1-24/+4
2016-06-15[SCEV] Use dyn_cast<T> instead of dyn_cast<const T>; NFCSanjoy Das1-7/+7
2016-06-15[SCEV] Use cast<> instead of dyn_cast; NFCSanjoy Das1-4/+2
2016-06-15[SCEV] clang-format some sectionsSanjoy Das1-12/+10
2016-06-15[SCEV] Change the interface for SolveQuadraticEquation; NFCSanjoy Das1-21/+14
2016-06-09Minor clean up in loopHasNoAbnormalExits; NFCSanjoy Das1-8/+7
2016-06-09Be wary of abnormal exits from loop when exploiting UBSanjoy Das1-1/+2
2016-06-09Factor out a loopHasNoAbnormalExits; NFCSanjoy Das1-9/+8
2016-06-08Apply most suggestions of clang-tidy's performance-unnecessary-value-paramBenjamin Kramer1-1/+1
2016-06-08[SCEV] Break out of loop if there is no more work to doSanjoy Das1-1/+1
2016-06-08[SCEV] Track no-abnormal-exits instead of no-throw callsSanjoy Das1-10/+10
2016-06-08Fix a bug in SCEV's poison value propagationSanjoy Das1-12/+13
2016-05-29[SCEV] Consolidate comments; NFCSanjoy Das1-240/+86
2016-05-29[SCEV] Rename functions to LLVM style; NFCSanjoy Das1-13/+13
2016-05-29[SCEV] See through op.with.overflow intrinsics (re-apply)Sanjoy Das1-5/+49
2016-05-29[SCEV] Don't always add no-wrap flags to post-inc add recsSanjoy Das1-7/+91
2016-05-25[SCEV] No-wrap flags are not propagated when folding "{S,+,X}+T ==> {S+T,+,X}"Oleg Ranevskyy1-1/+4
2016-05-17[SCEV] Be more aggressive in proving NUWSanjoy Das1-7/+20
2016-05-13[scan-build] fix warnings emiited on LLVM Analysis code baseSilviu Baranga1-0/+2
2016-05-11[SCEV] Be more aggressive around proving no-wrapSanjoy Das1-4/+17
2016-05-10[SCEV] Use guards to prove predicatesSanjoy Das1-3/+44
2016-05-03[SCEV] Tweak the output format and content of -analyzeSanjoy Das1-3/+18
2016-05-01Fixed MSVC 'not all control paths return a value' warningSimon Pilgrim1-0/+1
2016-05-01[SCEV] When printing via -analysis, dump loop dispositionSanjoy Das1-0/+25
2016-04-29Unify XDEBUG and EXPENSIVE_CHECKS (into the latter), and add an option to the...Filipe Cabecinhas1-1/+1
2016-04-22[SCEV] Extract out a `isSCEVExprNeverPoison` helper; NFCISanjoy Das1-29/+41
2016-04-14[SCEV][LAA] Add tests for SCEV expression transformations performed during LAASilviu Baranga1-0/+23
2016-04-12Add space between words in verify-scev-maps option help messageJeroen Ketema1-1/+1
2016-04-11This reverts commit r265913 and r265912Sanjoy Das1-49/+5
2016-04-10[SCEV] See through op.with.overflow intrinsicsSanjoy Das1-5/+49
2016-04-08Re-commit [SCEV] Introduce a guarded backedge taken count and use it in LAA a...Silviu Baranga1-86/+229
2016-04-08Don't IPO over functions that can be de-refinedSanjoy Das1-1/+1