summaryrefslogtreecommitdiffstats
path: root/polly/www
Commit message (Collapse)AuthorAgeFilesLines
...
* www: Update links to LLVM bug trackerTobias Grosser2016-01-221-4/+4
| | | | | | | | Polly recently got its own product in LLVM's bug tracker, which will make it easier for people to file Polly bugs. This change updates the bugtracker links on the Polly website. llvm-svn: 258494
* TODO: Polly can handle boolean expressions (Open->Done)Tobias Grosser2016-01-051-1/+1
| | | | | | The necessary support was committed by Johannes in r249971. llvm-svn: 256826
* TODO: We do not use -independent-blocks any more (Open -> Done)Tobias Grosser2016-01-051-1/+1
| | | | llvm-svn: 256825
* Mark a couple of issues as doneTobias Grosser2015-09-241-4/+4
| | | | llvm-svn: 248492
* Do not use negative option nameTobias Grosser2015-08-191-1/+1
| | | | | | Instead of -polly-no-tiling, we use -polly-tiling=false to disable tiling. llvm-svn: 245423
* AST Generation Paper published in TOPLASTobias Grosser2015-08-152-0/+49
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The July issue of TOPLAS contains a 50 page discussion of the AST generation techniques used in Polly. This discussion gives not only an in-depth description of how we (re)generate an imperative AST from our polyhedral based mathematical program description, but also gives interesting insights about: - Schedule trees: A tree-based mathematical program description that enables us to perform loop transformations on an abstract level, while issues like the generation of the correct loop structure and loop bounds will be taken care of by our AST generator. - Polyhedral unrolling: We discuss techniques that allow the unrolling of non-trivial loops in the context of parameteric loop bounds, complex tile shapes and conditionally executed statements. Such unrolling support enables the generation of predicated code e.g. in the context of GPGPU computing. - Isolation for full/partial tile separation: We discuss native support for handling full/partial tile separation and -- in general -- native support for isolation of boundary cases to enable smooth code generation for core computations. - AST generation with modulo constraints: We discuss how modulo mappings are lowered to efficient C/LLVM code. - User-defined constraint sets for run-time checks We discuss how arbitrary sets of constraints can be used to automatically create run-time checks that ensure a set of constrainst actually hold. This feature is very useful to verify at run-time various assumptions that have been taken program optimization. Polyhedral AST generation is more than scanning polyhedra Tobias Grosser, Sven Verdoolaege, Albert Cohen ACM Transations on Programming Languages and Systems (TOPLAS), 37(4), July 2015 llvm-svn: 245157
* Update link to Polly paperTobias Grosser2015-08-151-3/+1
| | | | | | By going through my personal website, people can go directly to the paper. llvm-svn: 245156
* Update links to lists.llvm.org.Tanya Lattner2015-08-052-2/+2
| | | | llvm-svn: 244009
* Mark a couple of items as completedTobias Grosser2015-07-142-2/+13
| | | | llvm-svn: 242136
* Drop outdated videoTobias Grosser2015-07-141-27/+0
| | | | llvm-svn: 242135
* www: Add link to llvm.orgTobias Grosser2015-07-141-0/+4
| | | | llvm-svn: 242134
* [doc] Rename -polly-detect-only= to -polly-only-func=Tobias Grosser2015-06-031-1/+1
| | | | llvm-svn: 238930
* Rename 'scattering' to 'schedule'Tobias Grosser2015-04-217-21/+21
| | | | | | | | | | | | | | | | In Polly we used both the term 'scattering' and the term 'schedule' to describe the execution order of a statement without actually distinguishing between them. We now uniformly use the term 'schedule' for the execution order. This corresponds to the terminology of isl. History: CLooG introduced the term scattering as the generated code can be used as a sequential execution order (schedule) or as a parallel dimension enumerating different threads of execution (placement). In Polly and/or isl the term placement was never used, but we uniformly refer to an execution order as a schedule and only later introduce parallelism. When doing so we do not talk about about specific placement dimensions. llvm-svn: 235380
* Drop ISL_INSTALL pathTobias Grosser2015-04-101-2/+2
| | | | | | There is no need for an isl install path anymore. isl is now part of Polly. llvm-svn: 234605
* Do not recommend -polly-vectorizer=pollyTobias Grosser2015-04-091-2/+2
| | | | | | | Instead, we recommend -polly-vectorizer=stripmine, which pre-vectorizers outer loops for the LoopVectorizer to take over. llvm-svn: 234478
* Adjust documentation to old -enable-polly-openmp -> -polly-parallel renameTobias Grosser2015-04-053-4/+4
| | | | | Reported-by: Tomofumi Yuki <tomofumi.yuki@gmail.com> llvm-svn: 234124
* Delete some leftovers from scoplibTobias Grosser2015-03-301-4/+0
| | | | llvm-svn: 233571
* Drop libpluto supportTobias Grosser2015-03-301-1/+10
| | | | | | | | We do not have buildbots or anything that tests this functionality, hence it most likely bitrots. People interested to use this functionality can always recover it from svn history. llvm-svn: 233570
* Format non-affine subregions news itemJohannes Doerfert2015-02-281-3/+5
| | | | llvm-svn: 230852
* Add non-affine subregions to the newsJohannes Doerfert2015-02-281-0/+7
| | | | llvm-svn: 230851
* Add the IMPACT2015 publicationsJohannes Doerfert2015-02-251-1/+14
| | | | | | | It is important we add more publications with/about Polly so people can see that work and research is actually ongoing. llvm-svn: 230552
* Add myself to the contributors of PollyJohannes Doerfert2015-02-251-0/+4
| | | | llvm-svn: 230546
* Add non-affine subregions to the TODO listJohannes Doerfert2015-02-251-0/+6
| | | | llvm-svn: 230545
* www: update installation instructions to not include gmp/islTobias Grosser2015-02-151-1/+74
| | | | llvm-svn: 229305
* Remove isl/cloog build scriptsTobias Grosser2015-02-151-12/+0
| | | | | | isl is not distributed as part of Polly. llvm-svn: 229304
* www: Add code coverage and scan-build results againTobias Grosser2015-02-151-3/+0
| | | | | | | Sylvestre Ledru (re)enabled them after the import of isl into polly significantly simplified the build. llvm-svn: 229303
* Update TODO list.Johannes Doerfert2015-02-111-2/+2
| | | | llvm-svn: 228858
* isl is now distributed with pollyTobias Grosser2015-02-091-1/+1
| | | | llvm-svn: 228575
* todo: Remove some redundant topicsTobias Grosser2015-01-071-18/+0
| | | | llvm-svn: 225395
* www: Make sure the main content pane does not overlap with the menuTobias Grosser2015-01-071-2/+2
| | | | llvm-svn: 225391
* todo: Adding native OpenSCoP support to Polly does not seem desirableTobias Grosser2015-01-071-5/+0
| | | | | | | | This would add another library dependency to Polly. In many cases the JSCoP interface we have should be enough and an external JSCoP <> OpenSCoP converter could be written. We can reconsider this if new use cases show up. llvm-svn: 225390
* Add updated TODO listTobias Grosser2015-01-071-5/+220
| | | | llvm-svn: 225388
* www: Draft changelog for the upcoming release.Tobias Grosser2015-01-062-0/+40
| | | | llvm-svn: 225264
* Fix htmlTobias Grosser2015-01-061-2/+2
| | | | llvm-svn: 225263
* We currently do not create these result for pollyTobias Grosser2015-01-061-0/+3
| | | | | | | | We should reconsider this after having switched to imath (instead of gmp) as the default isl backend, as this would allow us to keep a copy of isl in the polly svn and to consequently make it easier to distribute Polly. llvm-svn: 225262
* www-todo: No need to directly integrate with the basic block vectorizerTobias Grosser2014-12-071-7/+0
| | | | llvm-svn: 223606
* www-todo: We assume accesses to fixed-size arrays are in-boundsTobias Grosser2014-12-071-2/+2
| | | | llvm-svn: 223605
* Drop Cloog supportJohannes Doerfert2014-12-026-59/+56
| | | | | | | | | This commit drops the Cloog support for Polly. The scripts and documentation are changed to only use isl as prerequisity. In the code all Cloog specific parts have been removed and all relevant tests have been ported to the isl backend when it was created. llvm-svn: 223141
* todo: We can support modifiable memory access functionsTobias Grosser2014-11-191-3/+2
| | | | llvm-svn: 222366
* todo: We now have OpenMP support in isl backendTobias Grosser2014-11-191-4/+4
| | | | llvm-svn: 222365
* Change states in the www/todo.html listJohannes Doerfert2014-11-191-7/+12
| | | | llvm-svn: 222362
* [www] Update formatting of news feedTobias Grosser2014-09-222-9/+11
| | | | llvm-svn: 218238
* [www] Unbreak the newsfeed from polyhedral.infoTobias Grosser2014-09-221-3/+8
| | | | llvm-svn: 218237
* Added arcanist linters and cleaned errors and warningsJohannes Doerfert2014-08-181-7/+7
| | | | | | | | | | | | | | | | | | | | | | | | | Arcanist (arc) will now always run linters before uploading any new commit to Phabricator. All errors/warnings (or their absence) will be shown in the web interface together with a explanation by the commiter (arcanist will ask the commiter if the build was not clean). The linters include: - clang-format - spelling check - permissions check (aka. chmod) - filename check - merge conflict marker check Note, that their scope is sometimes limited (see .arclint for details). This commit also fixes all errors and warnings these linters reported, namely: - spelling mistakes and typos - executable permissions for various text files Differential Revision: http://reviews.llvm.org/D4916 llvm-svn: 215871
* [Polly] Remove the PoCC and ScopLib supportJohannes Doerfert2014-08-134-11/+22
| | | | | | | | | Remove the PoCC and ScopLib support from Polly as we do not have a user/maintainer for it. Differential Revision: http://reviews.llvm.org/D4871 llvm-svn: 215563
* www: Fix grammar.Tobias Grosser2014-06-101-3/+3
| | | | | Reported-by: Jules Gagnon-Marchand <jules_gagnonm@hotmail.com> llvm-svn: 210576
* www: Polly can be built without any GPLed softwareTobias Grosser2014-06-041-0/+12
| | | | | | Thanks to Sebastian Pop and David Peixotto. llvm-svn: 210176
* www: Reference phone call notesTobias Grosser2014-04-231-0/+3
| | | | llvm-svn: 207006
* Link to notes of our last phone callTobias Grosser2014-04-171-0/+3
| | | | llvm-svn: 206488
* Remove OpenScopTobias Grosser2014-04-114-18/+3
| | | | | | | | | We only supported a very old version of OpenScop that was entirely different to what OpenScop is today. To not confuse people, we remove this old and unusable support. If anyone is interested to add OpenScop support back in, the relevant patches are available in version control. llvm-svn: 206026
OpenPOWER on IntegriCloud