From 3900f3f18c610092bb05292fcce76af2e9ae6c53 Mon Sep 17 00:00:00 2001 From: Arthur Eubanks Date: Mon, 7 Dec 2020 15:25:43 -0800 Subject: [PATCH] Pin -loop-reduce to legacy PM LSR currently only runs in the codegen pass manager. There are a couple issues with LSR and the NPM. 1) Lots of tests assume that LCSSA isn't run before LSR. This breaks a bunch of tests' expected output. This is fixable with some time put in. 2) LSR doesn't preserve LCSSA. See llvm/test/Analysis/MemorySSA/update-remove-deadblocks.ll. LSR's use of SCEVExpander is the only use of SCEVExpander where the PreserveLCSSA option is off. Turning it on causes some code sinking out of loops to fail due to SCEVExpander's inability to handle the newly created trivial PHI nodes in the broken critical edge (I was looking at llvm/test/Transforms/LoopStrengthReduce/X86/2011-11-29-postincphi.ll). I also tried simply just calling formLCSSA() at the end of LSR, but the extra PHI nodes cause regressions in codegen tests. We'll delay figuring these issues out until later. This causes the number of check-llvm failures with -enable-new-pm true by default to go from 60 to 29. Reviewed By: asbirlea Differential Revision: https://reviews.llvm.org/D92796 --- llvm/tools/opt/opt.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/llvm/tools/opt/opt.cpp b/llvm/tools/opt/opt.cpp index 5e64178..36b82b2 100644 --- a/llvm/tools/opt/opt.cpp +++ b/llvm/tools/opt/opt.cpp @@ -477,7 +477,8 @@ static bool shouldPinPassToLegacyPM(StringRef Pass) { "mve-tail-predication", "interleaved-access", "global-merge", "pre-isel-intrinsic-lowering", "expand-reductions", "indirectbr-expand", - "generic-to-nvvm", "expandmemcmp"}; + "generic-to-nvvm", "expandmemcmp", + "loop-reduce"}; for (const auto &P : PassNamePrefix) if (Pass.startswith(P)) return true; -- 2.7.4