summaryrefslogtreecommitdiffstats
path: root/polly/lib
Commit message (Expand)AuthorAgeFilesLines
* Allow unsigned comparisonsJohannes Doerfert2016-04-263-28/+12
* [FIX] Adjust assumption space for zext instructionsJohannes Doerfert2016-04-261-1/+2
* Do not use the number of parameters in the complexity checkJohannes Doerfert2016-04-261-5/+12
* Do not add but record signed-unsigned assumptionsJohannes Doerfert2016-04-261-1/+1
* Extract some constant factors from "SCEVAddExprs"Johannes Doerfert2016-04-251-0/+26
* Do not check all GEPs for assumptionsJohannes Doerfert2016-04-251-10/+11
* Only add user assumptions on known parameters [NFC]Johannes Doerfert2016-04-251-1/+25
* Refactor Scop parameter handlingJohannes Doerfert2016-04-251-43/+37
* Model zext-extend instructionsJohannes Doerfert2016-04-253-21/+119
* Check only loop control of loops that are part of the regionJohannes Doerfert2016-04-252-4/+2
* Initialize the invalid domain of an access with an empty setJohannes Doerfert2016-04-251-1/+3
* Do not propagate invalid domains over back edgesJohannes Doerfert2016-04-251-0/+4
* Introduce a parameter set type [NFC]Johannes Doerfert2016-04-252-19/+15
* Remove unnecessary argument of the SCEVValidator [NFC]Johannes Doerfert2016-04-253-29/+18
* Add an invalid domain to memory accessesJohannes Doerfert2016-04-231-7/+22
* Translate SCEVs to isl_pw_aff and their invalid domainJohannes Doerfert2016-04-232-72/+105
* Track invalid domains not invalid contexts for statementsJohannes Doerfert2016-04-231-35/+52
* Improve accuracy of Scop::hasFeasibleRuntimeContextJohannes Doerfert2016-04-231-3/+6
* Simplify the execution context for dereferencable loadsJohannes Doerfert2016-04-231-5/+40
* Remove simplification calls for the execution domain [NFC]Johannes Doerfert2016-04-231-3/+0
* Bail for complex execution contexts of invariant loadsJohannes Doerfert2016-04-221-1/+10
* Early exit for addInvariantLoadsJohannes Doerfert2016-04-221-0/+3
* Bail for complex alias checksJohannes Doerfert2016-04-221-2/+7
* Relate domains to statements during construction [NFC]Johannes Doerfert2016-04-191-17/+21
* Add user assumptions after domain generation [NFC]Johannes Doerfert2016-04-191-1/+2
* Do not build domains for out of SCoP blocks [NFC]Johannes Doerfert2016-04-191-0/+7
* Mark Scop::getDomainConditions as const [NFC]Johannes Doerfert2016-04-191-2/+2
* SCoPValidator: Use SCEVTraversal to simplify SCEVInRegionDependencesTobias Grosser2016-04-181-101/+33
* [FIX] Check the invalid context agains the context to rule out SCoPsJohannes Doerfert2016-04-121-0/+1
* Do not by default minimize remarksJohannes Doerfert2016-04-121-10/+17
* Record wrapping assumptions earlyJohannes Doerfert2016-04-122-57/+31
* Record assumptions first and add them laterJohannes Doerfert2016-04-121-7/+32
* Introduce and use MemoryAccess::getPwAff() [NFC]Johannes Doerfert2016-04-121-4/+9
* Do not assume switch modeling optimizes a SCoPJohannes Doerfert2016-04-121-1/+0
* Introduce an invalid context for each statementJohannes Doerfert2016-04-121-30/+44
* Simplify SCEVAffinator code [NFC]Johannes Doerfert2016-04-121-15/+8
* Allow overflow of indices with constant dim-sizes.Michael Kruse2016-04-111-0/+60
* Do not bind a non-const reference to a rvalue. NFC.Michael Kruse2016-04-111-2/+3
* Allow pointer expressions in SCEVs again.Johannes Doerfert2016-04-103-99/+35
* [FIX] Do not allow select as a base pointer in the SCoP regionJohannes Doerfert2016-04-091-0/+3
* Do not allow exception handling code in SCoPsJohannes Doerfert2016-04-091-0/+3
* Add __isl_give annotations to return types [NFC]Johannes Doerfert2016-04-094-15/+20
* [FIX] Do not recompute SCEVs but pass them to subfunctionsJohannes Doerfert2016-04-092-20/+8
* [FIX] Do not crash on opaque (unsized) types.Johannes Doerfert2016-04-081-0/+5
* [FIX] Teach the ScopExpander about parallel subfunctionsJohannes Doerfert2016-04-081-5/+14
* Collect and verify generated parallel subfunctionsJohannes Doerfert2016-04-082-0/+5
* [ScopInfo] Fix check for element size mismatch.Michael Kruse2016-04-081-1/+3
* [ScopInfo] Rename variable to AccType. NFC.Michael Kruse2016-04-081-8/+8
* [FIX] Allow to lookup domains for non-affine subregion blocksJohannes Doerfert2016-04-081-21/+10
* [FIX] Adjust execution context of hoisted loads wrt. error domainsJohannes Doerfert2016-04-081-37/+78
OpenPOWER on IntegriCloud