diff --git a/llvm/test/Transforms/LoopStrengthReduce/quadradic-exit-value.ll b/llvm/test/Analysis/IVUsers/quadradic-exit-value.ll similarity index 78% rename from llvm/test/Transforms/LoopStrengthReduce/quadradic-exit-value.ll rename to llvm/test/Analysis/IVUsers/quadradic-exit-value.ll index 09f0e1aa2a09..593c0e388da7 100644 --- a/llvm/test/Transforms/LoopStrengthReduce/quadradic-exit-value.ll +++ b/llvm/test/Analysis/IVUsers/quadradic-exit-value.ll @@ -1,5 +1,12 @@ +; This test ensures that IVUsers works correctly in the legacy pass manager +; without LCSSA and in the specific ways that some of its users (LSR) require. +; +; FIXME: We need some way to match the precision here in the new PM where loop +; passes *always* work on LCSSA. This should stop using a different set of +; checks at that point. + ; RUN: opt < %s -analyze -iv-users | FileCheck %s -; RUN: opt -passes='function(require,loop(print))' -S < %s 2>&1| FileCheck %s +; RUN: opt < %s -disable-output -passes='print' 2>&1 | FileCheck %s ; Provide legal integer types. target datalayout = "n8:16:32:64" diff --git a/llvm/test/Analysis/ScalarEvolution/2011-04-26-FoldAddRec.ll b/llvm/test/Analysis/ScalarEvolution/2011-04-26-FoldAddRec.ll index 973dd7d6dd0d..4f126fbf6b3e 100644 --- a/llvm/test/Analysis/ScalarEvolution/2011-04-26-FoldAddRec.ll +++ b/llvm/test/Analysis/ScalarEvolution/2011-04-26-FoldAddRec.ll @@ -1,4 +1,5 @@ ; RUN: opt < %s -analyze -iv-users +; RUN: opt < %s -passes='print' ; PR9633: Tests that SCEV handles the mul.i2 recurrence being folded to ; constant zero. diff --git a/llvm/test/Analysis/ScalarEvolution/2012-05-18-LoopPredRecurse.ll b/llvm/test/Analysis/ScalarEvolution/2012-05-18-LoopPredRecurse.ll index 66df9d19234f..853d43c4f875 100644 --- a/llvm/test/Analysis/ScalarEvolution/2012-05-18-LoopPredRecurse.ll +++ b/llvm/test/Analysis/ScalarEvolution/2012-05-18-LoopPredRecurse.ll @@ -1,4 +1,5 @@ ; RUN: opt < %s -iv-users -S -disable-output +; RUN: opt < %s -passes='require' -S -disable-output ; ; PR12868: Infinite recursion: ; getUDivExpr()->getZeroExtendExpr()->isLoopBackedgeGuardedBy() diff --git a/llvm/test/Analysis/ScalarEvolution/avoid-infinite-recursion-1.ll b/llvm/test/Analysis/ScalarEvolution/avoid-infinite-recursion-1.ll index f61b667dcfa7..8e519d409ede 100644 --- a/llvm/test/Analysis/ScalarEvolution/avoid-infinite-recursion-1.ll +++ b/llvm/test/Analysis/ScalarEvolution/avoid-infinite-recursion-1.ll @@ -1,4 +1,5 @@ ; RUN: opt < %s -iv-users +; RUN: opt < %s -passes='require' ; PR4538 ; ModuleID = 'bugpoint-reduced-simplified.bc'