summaryrefslogtreecommitdiffstats
path: root/polly/lib/Support/SCEVAffinator.cpp
Commit message (Expand)AuthorAgeFilesLines
* [ScopInfo] Move Scop::getPwAffOnly to isl++ [NFC]Tobias Grosser2017-08-061-1/+1
* [ScopInfo] Translate Scop::getIdForParam to isl++ [NFC]Tobias Grosser2017-08-061-1/+1
* [SCEVAffinator] Do not scan redundantly for parametersTobias Grosser2016-11-131-3/+0
* SCEVAffinator: pass parameter-only set to addRestriction if BB=nullptrTobias Grosser2016-11-101-0/+7
* SCEVValidator: add new parameters resulting from constant extractionTobias Grosser2016-11-101-0/+3
* [SCEVAffinator] Make precise modular math more correct.Eli Friedman2016-10-211-55/+25
* SCEVAffinator: Add missing __isl_take annotationsTobias Grosser2016-09-081-1/+2
* Drop '@brief' from doxygen commentsTobias Grosser2016-09-021-8/+8
* [SCEVAffinator] Fix assertion checking for constant divisor.Michael Kruse2016-07-121-1/+1
* Recommit: "Look through IntToPtr & PtrToInt instructions"Tobias Grosser2016-06-111-0/+4
* This reverts recent expression type changesTobias Grosser2016-06-111-4/+0
* [FIX] Model the rounding behaviour of SRem correctlyJohannes Doerfert2016-06-071-8/+8
* Look through IntToPtr & PtrToInt instructionsJohannes Doerfert2016-06-061-0/+4
* Replace getSCEV with getSCEVAtScopeJohannes Doerfert2016-06-061-4/+7
* [NFC] Use the ScalarEvolution member of the SCEVAffinatorJohannes Doerfert2016-06-061-7/+4
* [NFC] Coalesce invariant context sets earlyJohannes Doerfert2016-06-061-0/+2
* [FIX] Correctly translate i1 expressionsJohannes Doerfert2016-06-021-1/+2
* Add and use Scop::contains(Loop/BasicBlock/Instruction) [NFC]Johannes Doerfert2016-05-231-1/+1
* Directly access information through the Scop class [NFC]Johannes Doerfert2016-05-231-3/+3
* Support truncate operationsJohannes Doerfert2016-05-121-3/+36
* Expose interpretAsUnsigned in the SCEVAffinator [NFC]Johannes Doerfert2016-05-101-6/+11
* Rename Conjuncts -> Disjunctions. NFC.Michael Kruse2016-05-021-2/+2
* Typo: isToComplex -> isTooComplex. NFC.Michael Kruse2016-05-021-5/+5
* Allow unsigned divisionsJohannes Doerfert2016-04-291-4/+38
* Refactor SCEVAffinator [NFC]Johannes Doerfert2016-04-291-14/+12
* [FIX] Unsigned comparisons change invalid domainJohannes Doerfert2016-04-291-8/+10
* [FIX] Adjust assumption space for zext instructionsJohannes Doerfert2016-04-261-1/+2
* Do not add but record signed-unsigned assumptionsJohannes Doerfert2016-04-261-1/+1
* Model zext-extend instructionsJohannes Doerfert2016-04-251-4/+116
* Translate SCEVs to isl_pw_aff and their invalid domainJohannes Doerfert2016-04-231-64/+89
* Record wrapping assumptions earlyJohannes Doerfert2016-04-121-39/+22
* Simplify SCEVAffinator code [NFC]Johannes Doerfert2016-04-121-15/+8
* [FIX] Handle multiplications in the SCEVAffinator againJohannes Doerfert2016-04-081-1/+10
* Generalize the domain complexity restrictionsJohannes Doerfert2016-03-261-0/+31
* Pass scope and LoopInfo to SCEVValidator. NFC.Michael Kruse2016-03-031-3/+4
* Separate more constant factors of parametersJohannes Doerfert2016-02-141-15/+10
* Sort includes using Chandler's sort_includes.py scriptTobias Grosser2015-09-251-4/+2
* Use <nsw> AddRecs in the affinator to avoid bounded assumptionsJohannes Doerfert2015-09-201-0/+14
* Use modulo semantic to generate non-integer-overflow assumptionsJohannes Doerfert2015-09-151-4/+95
* Use blocks instead of domains in SCEVAffinatorJohannes Doerfert2015-09-151-13/+11
* [FIX] Keep a copy of the Domain set in the SCEVAffinatorJohannes Doerfert2015-08-301-4/+7
* [NFC] Make SCEVAffinator work without a statementJohannes Doerfert2015-08-281-5/+5
* Use ISL to Determine Loop Trip CountJohannes Doerfert2015-08-271-7/+1
* Make the dimension sizes of in ScopArrayInfo available as isl_pw_affsTobias Grosser2015-08-121-1/+5
* Remove identity operation from SCEVAffinatorJohannes Doerfert2015-08-121-2/+1
* Add caching to the SCEVAffinatorJohannes Doerfert2015-08-121-2/+19
* Expose the SCEVAffinator and make it a member of a SCoP.Johannes Doerfert2015-08-121-0/+236
OpenPOWER on IntegriCloud