[PM] Clean up the testing for IVUsers, especially with the new PM.

First, I've moved a test of IVUsers from the LSR tree to a dedicated
IVUsers test directory. I've also simplified its RUN line now that the
new pass manager's loop PM is providing analyses on their own.

No functionality changed, but it makes subsequent changes cleaner.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@292060 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chandler Carruth 2017-01-15 09:29:27 +00:00
parent c110f9b676
commit 0e327f2e11
4 changed files with 11 additions and 1 deletions

View File

@ -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<scalar-evolution>,loop(print<ivusers>))' -S < %s 2>&1| FileCheck %s
; RUN: opt < %s -disable-output -passes='print<ivusers>' 2>&1 | FileCheck %s
; Provide legal integer types.
target datalayout = "n8:16:32:64"

View File

@ -1,4 +1,5 @@
; RUN: opt < %s -analyze -iv-users
; RUN: opt < %s -passes='print<ivusers>'
; PR9633: Tests that SCEV handles the mul.i2 recurrence being folded to
; constant zero.

View File

@ -1,4 +1,5 @@
; RUN: opt < %s -iv-users -S -disable-output
; RUN: opt < %s -passes='require<ivusers>' -S -disable-output
;
; PR12868: Infinite recursion:
; getUDivExpr()->getZeroExtendExpr()->isLoopBackedgeGuardedBy()

View File

@ -1,4 +1,5 @@
; RUN: opt < %s -iv-users
; RUN: opt < %s -passes='require<ivusers>'
; PR4538
; ModuleID = 'bugpoint-reduced-simplified.bc'