en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll#5c028081 [polly] Introduce -polly-print-* passes to replace -analyze.The `opt -analyze` option only works with the legacy pass manager and might be removed in the future, as explained in llvm.org/PR53733. This patch introduced -polly-print-* passes that print what the pass would print with the `-analyze` option and replaces all uses of `-analyze` in the regression tests.There are two exceptions: `CodeGen\single_loop_param_less_equal.ll` and `CodeGen\loop_with_condition_nested.ll` use `-analyze on the `-loops` pass which is not part of Polly.Reviewed By: aeubanksDifferential Revision: https://reviews.llvm.org/D120782 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll Mon, 14 Mar 2022 13:39:25 +0000 Michael Kruse <llvm-project@meinersbur.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll#2e02d560 Follow uses to create value MemoryAccessesThe previously implemented approach is to follow value definitions andcreate write accesses ("push defs") while searching for uses. Thisrequires the same relatively validity- and requirement conditions to bereplicated at multiple locations (PHI instructions, other instructions,uses by PHIs).We replace this by iterating over the uses in a SCoP ("pull inrequirements"), and add writes only when at least one read has beenadded. It turns out to be simpler code because each use is only iteratedover once and writes are added for the first access that reads it. Weneed another iteration to identify escaping values (uses not in theSCoP), which also makes the difference between such accesses moreobvious. As a side-effect, the order of scalar MemoryAccess can change.Differential Revision: http://reviews.llvm.org/D15706llvm-svn: 259987 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll Sat, 06 Feb 2016 09:19:40 +0000 Michael Kruse <llvm@meinersbur.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll#959a8dc3 Update to ISL 0.16.1llvm-svn: 257898 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll Fri, 15 Jan 2016 15:54:45 +0000 Michael Kruse <llvm@meinersbur.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll#5a9a65e4 Prepare unit tests for update to ISL 0.16ISL 0.16 will change how sets are printed which breaks 117 unit teststhat text-compare printed sets. This patch re-formats most of these unittests using a script and small manual editing on top of that. Whenactually updating ISL, most work is done by just re-running the scriptto adapt to the changed output.Some tests that compare IR and tests with single CHECK-lines that can beeasily updated manually are not included here.The re-format script will also be committed afterwards. The per-testformatter invocation command lines options will not be added in the nearfuture because it is ad hoc and would overwrite the manual edits.Ideally it also shouldn't be required anymore because ISL's set printinghas become more stable in 0.16.Differential Revision: http://reviews.llvm.org/D16095llvm-svn: 257851 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll Fri, 15 Jan 2016 00:48:42 +0000 Michael Kruse <llvm@meinersbur.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll#f4ee371e tests: Drop -polly-detect-unprofitable and -polly-no-early-exitThese flags are now always passed to all tests and need to be disabled ifnot needed. Disabling these flags, rather than passing them to almost alltests, significantly simplfies our RUN: lines.llvm-svn: 249422 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll Tue, 06 Oct 2015 15:36:44 +0000 Tobias Grosser <tobias@grosser.es> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll#92245228 Keep track of ScopArrayInfo objects that model PHI node storageSummary:When translating PHI nodes into memory dependences during code generation werequire two kinds of memory. 'Normal memory' as for all scalar dependences and'PHI node memory' to store the incoming values of the PHI node. With thispatch we now mark and track these two kinds of memories, which we previouslyincorrectly marked as a single memory object.Being aware of PHI node storage makes code generation easier, as we do not needto guess what kind of storage a scalar reference requires. This simplifies thecode nicely.Reviewers: jdoerfertSubscribers: pollydev, llvm-commitsDifferential Revision: http://reviews.llvm.org/D11554llvm-svn: 243420 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll Tue, 28 Jul 2015 14:53:44 +0000 Tobias Grosser <tobias@grosser.es> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll#af4e809c Remove code for scalar and PHI to array translationThis removes old code that has been disabled since several weeks and was hiddenbehind the flags -disable-polly-intra-scop-scalar-to-array=false and-polly-model-phi-nodes=false. Earlier, Polly used to translate scalars andPHI nodes to single element arrays, as this avoided the need for their specialhandling in Polly. With Johannes' patches adding native support for such scalarreferences to Polly, this code is not needed any more. After this commit both-polly-prepare and -polly-independent are now mostly no-ops. Only a couple ofsimple transformations still remain, but they are scheduled for removal too.Thanks again to Johannes Doerfert for his nice work in making all this codeobsolete.llvm-svn: 240766 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll Fri, 26 Jun 2015 07:31:18 +0000 Tobias Grosser <tobias@grosser.es> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll#c825fae0 Tighten the PHI modeling test casesWhile looking through the test cases I realized we did not have a CHECK linefor a duplicate memory access which we may want to eliminate later. To ensurewe do not have (or later introduce) unnecessary memory accesses, we now tightenthe test cases to look for such a pattern (and add the CHECK: line that showsthe redundant memory access).llvm-svn: 238227 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll Tue, 26 May 2015 18:05:45 +0000 Tobias Grosser <tobias@grosser.es> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll#c94eca05 Update Polly tests to handle explicitly typed load changes in LLVM.llvm-svn: 230796 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll Fri, 27 Feb 2015 21:22:50 +0000 David Blaikie <dblaikie@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll#bad3ff20 Update Polly tests to handle explicitly typed gep changes in LLVMllvm-svn: 230784 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll Fri, 27 Feb 2015 19:20:19 +0000 David Blaikie <dblaikie@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll#d1e33e70 ScopDetection: Only detect scops that have at least one read and one writeScops that only read seem generally uninteresting and scops that only write aremost likely initializations where there is also little to optimize. To notwaste compile time we bail early.Differential Revision: http://reviews.llvm.org/D7735llvm-svn: 229820 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll Thu, 19 Feb 2015 05:31:07 +0000 Tobias Grosser <tobias@grosser.es> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll#76e37fe0 [Fix] Broken test casellvm-svn: 228439 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll Fri, 06 Feb 2015 21:20:14 +0000 Johannes Doerfert <doerfert@cs.uni-saarland.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll#0ff23ec5 Model PHI nodes without demoting them This allows us to model PHI nodes in the polyhedral description without demoting them. The modeling however will result in the same accesses as the demotion would have introduced.Differential Revision: http://reviews.llvm.org/D7415llvm-svn: 228433 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/phi_loop_carried_float.ll Fri, 06 Feb 2015 20:13:15 +0000 Johannes Doerfert <doerfert@cs.uni-saarland.de>