Reapply 75252, with a fix to avoid the infinite recursion case. The

check for avoiding re-analyzing a widening cast needed to happen
earlier, as getSCEV itself may result in a isLoopGuardedByCond query.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75511 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman
2009-07-13 21:35:55 +00:00
parent d97ea308ed
commit 85b05a2e60
3 changed files with 577 additions and 121 deletions

View File

@@ -1,7 +1,6 @@
; RUN: llvm-as < %s | opt -indvars | llvm-dis > %t
; RUN: grep {= sext} %t | count 4
; RUN: grep {phi i64} %t | count 2
; XFAIL: *
; Indvars should be able to promote the hiPart induction variable in the
; inner loop to i64.