llvm-project.git/llvm/test/Transforms/LoopFusion, branch users/nico/python-2

[LoopFusion] Sorting of undominated FusionCandidates crashes

2023-01-12T04:15:40+00:00

This patch tries to fix [[ https://github.com/llvm/llvm-project/issues/56263 | issue ]].

If two **FusionCandidates** are in same level of dominator tree then, they will not be dominates each other. But they are control flow equivalent. To sort those FusionCandidates **nonStrictlyPostDominate** check is needed.

Reviewed By: Narutoworld

Differential Revision: https://reviews.llvm.org/D139993

[Transforms] Convert some tests to opaque pointers (NFC)

2023-01-05T11:43:45+00:00

These are all tests where conversion worked automatically, and
required no manual fixup.

[LoopFusion] Exit early if one of fusion candidate has guarded branch but the another has not

2023-01-03T15:18:58+00:00

Fixes: https://github.com/llvm/llvm-project/issues/59024

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D138269

[LoopFusion][NFC] Regenerate test checks

2022-12-15T05:57:57+00:00

[LoopFusion] sink second loop PHIs

2022-12-13T18:13:39+00:00

Fixes https://github.com/llvm/llvm-project/issues/59023

PHI nodes that are in the second loop only have the first loop as its
predecessor. These PHI nodes should be sunk to the end of the fused
loop. If the second loop uses the PHI, then the loops cannot be fused.

I don't think this should happen in typical compilation workflows.
The PHI will be in a dedicated exit block of the first loop following
LCSSA transformations.

Reviewed By: aeubanks

Differential Revision: https://reviews.llvm.org/D139812

Revert "Update tests by update_test_checks.py"

2022-12-13T15:27:00+00:00

This reverts commit 3a8f4649a0a4b7b9cab93d73c0651a14b0fd1c34.
Broke check-llvm everywhere, see e.g.:
* https://lab.llvm.org/buildbot/#/builders/139/builds/32724
* http://45.33.8.238/linux/94174/step_12.txt
* http://45.33.8.238/macm1/50831/step_11.txt
* http://45.33.8.238/win/71928/step_11.txt

Update tests by update_test_checks.py

2022-12-13T14:53:35+00:00

[NFC] Port all LoopFusion tests to `-passes=` syntax

2022-12-07T23:38:46+00:00

[LoopFuse] Ensure inner loops are in loop simplified form under new PM

2022-11-11T20:55:59+00:00

LoopInfo doesn't give all loops in a loop nest, it gives top level loops
only. While isLoopSimplifyForm() only checkes for the outter most loop of a
loop nest. As a result, inner loops that are not in simplied form can
not be simplified with the original code.

Reviewed By: aeubanks

Differential Revision: https://reviews.llvm.org/D137672

[LoopFuse] Ensure loops are in loop simplified form under new PM

2022-10-31T15:46:28+00:00

Loop Fusion (Function Pass) requires loops in simplified form. With
legacy-pm, loop-simplify pass is added as a dependency for loop-fusion.
But the new pass manager does not always ensure this format. This patch
tries to invoke simplifyLoop() on loops that are not in simplified form
only for new PM.

Reviewed By: aeubanks

Differential Revision: https://reviews.llvm.org/D136781