[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.

llvm-svn: 292060
This commit is contained in:
Chandler Carruth 2017-01-15 09:29:27 +00:00
parent aac56849a1
commit 0952750fae
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'