s/ParameterAttributes/Attributes/g

llvm-svn: 56513

Tidy up several unbeseeming casts from pointer to intptr_t.

llvm-svn: 55779

simplify some code by using a helper function. This really really
wants a 'nocapture' predicate.

llvm-svn: 52304

move a bunch of predicates up into their own section
in this file, no other changes.

llvm-svn: 52303

Other parts of this code treat noalias arguments as objects for
the purposes of escape analysis.

llvm-svn: 52302

If we are checking to see if the result of a call aliases a
pointer derived from a local allocation, if the local allocation
never escapes, the pointers can't alias. This implements PR2436

llvm-svn

If we are checking to see if the result of a call aliases a
pointer derived from a local allocation, if the local allocation
never escapes, the pointers can't alias. This implements PR2436

llvm-svn: 52301

show more ...

Refactor basicaa's main alias function somethin' fierce.
This fixes several minor bugs (such as returning noalias
for comparisons between external weak functions an null) but
is mostly a cleanup.

Refactor basicaa's main alias function somethin' fierce.
This fixes several minor bugs (such as returning noalias
for comparisons between external weak functions an null) but
is mostly a cleanup.

llvm-svn: 52299

show more ...

Fixes PR2395. Looking for a constant in a GEP tail (when the first GEP
is longer than the second one) should stop after finding one. Added break
instruction guarantees it. It also changes differenc

Fixes PR2395. Looking for a constant in a GEP tail (when the first GEP
is longer than the second one) should stop after finding one. Added break
instruction guarantees it. It also changes difference between offsets to
absolute value of this difference in the condition.

llvm-svn: 51875

show more ...

Clean up the use of static and anonymous namespaces. This turned up
several things that were neither in an anonymous namespace nor static
but not intended to be global.

llvm-svn: 51017

Fix a "large integer implicitly truncated to unsigned type"
warning.

llvm-svn: 50033

Don't assume a tail call can't reference a byval
argument to the outer function, this isn't correct.

llvm-svn: 49731

Restore isCFGOnly property of various analysis passes.

llvm-svn: 48579

PassInfo keep tracks whether a pass is an analysis pass or not.

llvm-svn: 48554

Fix a compiler warning.

llvm-svn: 47328

In addition to arguments passed to it, memcpy (and all other calls) can ModRef pointers that alias their arguments as well. This fixes PR2057.

llvm-svn: 47317

don't bother calling getUnderlyingObject for non-pointers.

llvm-svn: 47272

Since we're not checking for the more general AllocationInst first, we need to explicitly check
that Object is an Argument before casting it to one.

llvm-svn: 47268

This check is not correct for mallocs, so exclude them earlier.

llvm-svn: 47263

Fix a comment, and a bug where we weren't applying the tail call logic in cases that failed the first test.

llvm-svn: 47253

Fix bugs that Chris noticed in my last patch.

llvm-svn: 47252

bitcasts of pointers are always pointers.
If we see a memcpy of a pointer, make sure to check later
uses of the pointer as well.

llvm-svn: 47250

Teach getModRefInfo that memcpy, memmove, and memset don't "capture" memory addresses.
Also, noalias arguments are be considered "like" stack allocated ones for this purpose, because
the only way the

Teach getModRefInfo that memcpy, memmove, and memset don't "capture" memory addresses.
Also, noalias arguments are be considered "like" stack allocated ones for this purpose, because
the only way they can be modref'ed is if they escape somewhere in the current function.

llvm-svn: 47247

show more ...

getUnderlyingObject can return null, handle this.

llvm-svn: 46318

Teach basicaa that 'byval' arguments define a new memory location that
can't be aliased to other known objects. This allows us to know that byval
pointer args don't alias globals, etc.

llvm-svn: 4

Teach basicaa that 'byval' arguments define a new memory location that
can't be aliased to other known objects. This allows us to know that byval
pointer args don't alias globals, etc.

llvm-svn: 46315

show more ...

Remove attribution from file headers, per discussion on llvmdev.

llvm-svn: 45418