en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.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/ScopDetectionDiagnostics/ReportVariantBasePtr-01.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/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#4ab3041a Revert "[NFC] remove explicit default value for strboolattr attribute in tests"This reverts commit bda6e5bee04c75b1f1332b4fd1ac4e8ef6c3c247.See https://lab.llvm.org/buildbot/#/builders/109/builds/15424 for instance List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Mon, 24 May 2021 17:43:40 +0000 serge-sans-paille <sguelton@redhat.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#bda6e5be [NFC] remove explicit default value for strboolattr attribute in testsSince d6de1e1a71406c75a4ea4d5a2fe84289f07ea3a1, no attributes is quivalent tosetting attribute to false.This is a preliminary commit for https://reviews.llvm.org/D99080 List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Sun, 23 May 2021 11:19:23 +0000 serge-sans-paille <sguelton@redhat.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#a36ddf0a Migrate function attribute "no-frame-pointer-elim"="false" to "frame-pointer"="none" as cleanups after D56351 List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Wed, 25 Dec 2019 00:11:33 +0000 Fangrui Song <maskray@google.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#6bbca364 Adjust to debug info metadata format change.Rename variable to retainedNodes. This unbreaks the Polly builds.llvm-svn: 331960 List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Thu, 10 May 2018 07:09:10 +0000 Tobias Grosser <tobias@grosser.es> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#5a4ec5c4 [ScopDetection] Require LoadInst base pointers to be hoisted.Only when load-hoisted we can be sure the base pointer is invariantduring the SCoP's execution. Most of the time it would be added tothe required hoists for the alias checks anyway, except with-polly-ignore-aliasing, -polly-use-runtime-alias-checks=0 or ifAliasAnalysis is already sure it doesn't alias with anything(for instance if there is no other pointer to alias with).Two more parts in Polly assume that this load-hoisting took place:- setNewAccessRelation() which contains an assert which tests this.- BlockGenerator which would use to the base ptr from the original code if not load-hoisted (if the access expression is regenerated)Differential Revision: https://reviews.llvm.org/D30694llvm-svn: 297195 List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Tue, 07 Mar 2017 20:28:43 +0000 Michael Kruse <llvm@meinersbur.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#ad25f0fe Update debug metadata after LLVM commits r266445+r266446llvm-svn: 266473 List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Fri, 15 Apr 2016 20:51:27 +0000 Tobias Grosser <tobias@grosser.es> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#6578f001 Adjust debug metadata to LLVM changes in 252219llvm-svn: 252273 List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Fri, 06 Nov 2015 06:27:39 +0000 Tobias Grosser <tobias@grosser.es> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#09e3697f Allow invariant loads in the SCoP description This patch allows invariant loads to be used in the SCoP description, e.g., as loop bounds, conditions or in memory access functions. First we collect "required invariant loads" during SCoP detection that would otherwise make an expression we care about non-affine. To this end a new level of abstraction was introduced before SCEVValidator::isAffineExpr() namely ScopDetection::isAffine() and ScopDetection::onlyValidRequiredInvariantLoads(). Here we can decide if we want a load inside the region to be optimistically assumed invariant or not. If we do, it will be marked as required and in the SCoP generation we bail if it is actually not invariant. If we don't it will be a non-affine expression as before. At the moment we optimistically assume all "hoistable" (namely non-loop-carried) loads to be invariant. This causes us to expand some SCoPs and dismiss them later but it also allows us to detect a lot we would dismiss directly if we would ask e.g., AliasAnalysis::canBasicBlockModify(). We also allow potential aliases between optimistically assumed invariant loads and other pointers as our runtime alias checks are sound in case the loads are actually invariant. Together with the invariant checks this combination allows to handle a lot more than LICM can. The code generation of the invariant loads had to be extended as we can now have dependences between parameters and invariant (hoisted) loads as well as the other way around, e.g., test/Isl/CodeGen/invariant_load_parameters_cyclic_dependence.ll First, it is important to note that we cannot have real cycles but only dependences from a hoisted load to a parameter and from another parameter to that hoisted load (and so on). To handle such cases we materialize llvm::Values for parameters that are referred by a hoisted load on demand and then materialize the remaining parameters. Second, there are new kinds of dependences between hoisted loads caused by the constraints on their execution. If a hoisted load is conditionally executed it might depend on the value of another hoisted load. To deal with such situations we sort them already in the ScopInfo such that they can be generated in the order they are listed in the Scop::InvariantAccesses list (see compareInvariantAccesses). The dependences between hoisted loads caused by indirect accesses are handled the same way as before.llvm-svn: 249607 List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Wed, 07 Oct 2015 20:17:36 +0000 Johannes Doerfert <doerfert@cs.uni-saarland.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.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/ScopDetectionDiagnostics/ReportVariantBasePtr-01.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/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#adbcf120 DI: Fix testcases after LLVM r246327I ran the script from r246327 and it touched all the right files;committing now to hopefully right the bots, but if my check-pollydoesn't come back clean I'll keep looking.http://lab.llvm.org:8011/builders/polly-amd64-linux/builds/33648llvm-svn: 246341 List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Fri, 28 Aug 2015 22:01:49 +0000 Duncan P. N. Exon Smith <dexonsmith@apple.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#20b50f2b Update testcases after LLVM r243885llvm-svn: 243887 List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Mon, 03 Aug 2015 17:28:43 +0000 Duncan P. N. Exon Smith <dexonsmith@apple.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#c51714a0 Fix polly tests after LLVM IR change in r243774llvm-svn: 243801 List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Fri, 31 Jul 2015 23:58:50 +0000 Duncan P. N. Exon Smith <dexonsmith@apple.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#ddf3a0ef Update polly for LLVM rename of debug info metadata with DI* prefixRan the same rename-md-di-prefix.sh script attached to PR23080 as inLLVM r236120 and CFE r236121.llvm-svn: 236127 List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Wed, 29 Apr 2015 17:02:14 +0000 Duncan P. N. Exon Smith <dexonsmith@apple.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#173ecab7 Remove target triples from test casesI just learned that target triples prevent test cases to be run on otherarchitectures. Polly test cases are until now sufficiently target independentto not require any target triples. Hence, we drop them.llvm-svn: 235384 List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Tue, 21 Apr 2015 14:28:02 +0000 Tobias Grosser <tobias@grosser.es> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#7431fb02 Upgrade testcases after LLVM r234181Until r234181 we were silently upgrading old `@llvm.dbg` intrinsics.Fix testcases in polly that were relying on that.llvm-svn: 234192 List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Mon, 06 Apr 2015 18:25:51 +0000 Duncan P. N. Exon Smith <dexonsmith@apple.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll#23f94dfd Update Polly tests for the great metadata schema changellvm-svn: 231089 List of files: /llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Tue, 03 Mar 2015 18:17:26 +0000 David Blaikie <dblaikie@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.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/ScopDetectionDiagnostics/ReportVariantBasePtr-01.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/ScopDetectionDiagnostics/ReportVariantBasePtr-01.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/ScopDetectionDiagnostics/ReportVariantBasePtr-01.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/ScopDetectionDiagnostics/ReportVariantBasePtr-01.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/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll Thu, 19 Feb 2015 05:31:07 +0000 Tobias Grosser <tobias@grosser.es>