Changes in complex-loop-nesting.ll

5c028081 - [polly] Introduce -polly-print-* passes to replace -analyze.

Mon, 14 Mar 2022 13:39:25 +0000

[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/complex-loop-nesting.ll

beffdb9d - [ScopDetect] Reject loop with multiple exit blocks.

Wed, 25 Apr 2018 18:53:33 +0000

[ScopDetect] Reject loop with multiple exit blocks.The current statement domain derivation algorithm does not (always)consider that different exit blocks of a loop can have differentconditions to be reached.From the code for (int i = n; ; i-=2) { if (i <= 0) goto even; if (i <= 1) goto odd; A[i] = i; } even: A[0] = 42; return; odd: A[1] = 21; return;Polly currently derives the following domains: Stmt_even_critedge Domain := [n] -> { Stmt_even_critedge[] }; Stmt_odd Domain := [n] -> { Stmt_odd[] : (1 + n) mod 2 = 0 and n > 0 };while the domain for the odd case is correct, Stmt_even is assumed to beexecuted unconditionally, which is obviously wrong. While projecting outthe loop dimension in `adjustDomainDimensions`, it does not considerthat there are other exit condition that have matched before.I don't know a how to fix this without changing a lot of code. ThereforeThis patch rejects loops with multiple exist blocks to fix themiscompile of test-suite's uuencode.The odd condition is transformed by LLVM to %cmp1 = icmp eq i64 %indvars.iv, 1such that the project_out in adjustDomainDimensions() indeed onlymatches for odd n (using this condition only, we'd have an infinite loopotherwise).The even condition manifests as %cmp = icmp slt i64 %indvars.iv, 3Because buildDomainsWithBranchConstraints() does not consider other exitconditions, it has to assume that the induction variable will eventuallybe lower than 3 and taking this exit.IMHO we need to reuse the algorithm that determines the number ofiterations (addLoopBoundsToHeaderDomain) to determine which exitcondition applies first. It has to happen inbuildDomainsWithBranchConstraints() because the result will need topropagate to successor BBs. Currently addLoopBoundsToHeaderDomain() justlook for union of all backedge conditions (which means leaving not theloop here). The patch in llvm.org/PR35465 changes it to look for exitconditions instead. This is required because there might be other exitconditions that do not alternatively go back to the loop header.Differential Revision: https://reviews.llvm.org/D45649llvm-svn: 330858 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/complex-loop-nesting.ll

959a8dc3 - Update to ISL 0.16.1

Fri, 15 Jan 2016 15:54:45 +0000

Update to ISL 0.16.1llvm-svn: 257898 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/complex-loop-nesting.ll

5a9a65e4 - Prepare unit tests for update to ISL 0.16

Fri, 15 Jan 2016 00:48:42 +0000

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/complex-loop-nesting.ll

30e2307f - [FIX] Schedule generation for block exiting multiple loops.

Sun, 20 Dec 2015 17:12:22 +0000

[FIX] Schedule generation for block exiting multiple loops. This fixes bug PR25604.llvm-svn: 256125 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/complex-loop-nesting.ll