History log of /llvm-project/llvm/lib/Analysis/ScalarEvolutionNormalization.cpp (Results 26 – 35 of 35)
Revision (<<< Hide revision tags) (Show revision tags >>>) Date Author Comments
Revision tags: llvmorg-3.0.0, llvmorg-3.0.0-rc4, llvmorg-3.0.0-rc3, llvmorg-3.0.0-rc2, llvmorg-3.0.0-rc1
# 7e442569 13-Oct-2011 Andrew Trick <atrick@apple.com>

Fix memory corruption I introduced a few checkins ago.

Self-review easily caught this obvious bug.

llvm-svn: 141880


# 1393ec29 13-Oct-2011 Andrew Trick <atrick@apple.com>

SCEV: Rewrite TrandformForPostIncUse to handle expression DAGs, not
just expression trees.

Partially fixes PR11090. Test case will be with the full fix.

llvm-svn: 141868


Revision tags: llvmorg-2.9.0, llvmorg-2.9.0-rc3, llvmorg-2.9.0-rc2
# 8b55b736 14-Mar-2011 Andrew Trick <atrick@apple.com>

Added SCEV::NoWrapFlags to manage unsigned, signed, and self wrap
properties.
Added the self-wrap flag for SCEV::AddRecExpr.
A slew of temporary FIXMEs indicate the intention of the no-self-wrap flag

Added SCEV::NoWrapFlags to manage unsigned, signed, and self wrap
properties.
Added the self-wrap flag for SCEV::AddRecExpr.
A slew of temporary FIXMEs indicate the intention of the no-self-wrap flag
without changing behavior in this revision.

llvm-svn: 127590

show more ...


Revision tags: llvmorg-2.9.0-rc1, llvmorg-2.8.0, llvmorg-2.8.0-rc3, llvmorg-2.8.0-rc2, llvmorg-2.8.0-rc1, llvmorg-2.8.0-rc0
# 47bec3cb 03-Sep-2010 Dan Gohman <gohman@apple.com>

Disable the asserts that check that normalization is perfectly
invertible. ScalarEvolution's folding routines don't always succeed
in canonicalizing equal expressions to a single canonical form, and

Disable the asserts that check that normalization is perfectly
invertible. ScalarEvolution's folding routines don't always succeed
in canonicalizing equal expressions to a single canonical form, and
this can cause these asserts to fail, even though there's no actual
correctness problem. This fixes PR8066.

llvm-svn: 113021

show more ...


# 625fd229 20-Jul-2010 Dan Gohman <gohman@apple.com>

Fix SCEV denormalization of expressions where the exit value from
one loop is involved in the increment of an addrec for another
loop. This fixes rdar://8168938.

llvm-svn: 108863


# 191f2e4d 20-Jul-2010 Dan Gohman <gohman@apple.com>

Change an argument from an Instruction* to a Value*, which is all
that is needed here.

llvm-svn: 108850


# d1488fd8 20-Jul-2010 Dan Gohman <gohman@apple.com>

Minor code cleanups.

llvm-svn: 108848


# 3ff13aff 20-Jul-2010 Dan Gohman <gohman@apple.com>

Minor code simplification.

llvm-svn: 108793


# 538b413c 04-Jun-2010 Dan Gohman <gohman@apple.com>

Fix normalization and de-normalization of non-affine SCEVs.

llvm-svn: 105480


Revision tags: llvmorg-2.7.0
# d006ab90 07-Apr-2010 Dan Gohman <gohman@apple.com>

Generalize IVUsers to track arbitrary expressions rather than expressions
explicitly split into stride-and-offset pairs. Also, add the
ability to track multiple post-increment loops on the same expre

Generalize IVUsers to track arbitrary expressions rather than expressions
explicitly split into stride-and-offset pairs. Also, add the
ability to track multiple post-increment loops on the same expression.

This refines the concept of "normalizing" SCEV expressions used for
to post-increment uses, and introduces a dedicated utility routine for
normalizing and denormalizing expressions.

This fixes the expansion of expressions which are post-increment users
of more than one loop at a time. More broadly, this takes LSR another
step closer to being able to reason about more than one loop at a time.

llvm-svn: 100699

show more ...


12