patch by Samuel Tardieu!

llvm-svn: 57288

llvm-svn: 57254

llvm-svn: 57221

This includes not marking a GEP involving a vector as unsafe, but only when it
has all zero indices. This allows scalarrepl to work in a few more cases.

llvm-svn: 57177

shifting and masking inside a bswap expr.  This allows it to handle
the cases from PR2842, which involve the intermediate 'or' 
expressions being shifted, not just the input value.

llvm-svn: 57095

ashr.  It should only apply to lshr.

llvm-svn: 57089

when deciding whether to mark a function readnone/readonly.
Since the pass is currently run before SROA, this may be
quite helpful.  Requested by Chris on IRC.

llvm-svn: 57050

applicable.

llvm-svn: 57033

While hosting instruction check PHI node.

llvm-svn: 57025

Why?  Because it was there!

llvm-svn: 56996

llvm-svn: 56994

pointer bitcasts and GEP's", and centralize the
logic in Value::getUnderlyingObject.  The
difference with stripPointerCasts is that
stripPointerCasts only strips GEPs if all
indices are zero, while getUnderlyingObject
strips GEPs no matter what the indices are.

llvm-svn: 56922

llvm-svn: 56917

instruction, not after. This fixes some uses of free'd memory.

llvm-svn: 56908

llvm-svn: 56887

llvm-svn: 56868

llvm-svn: 56834

huge simply connected components.  Suggested
by Chris.

llvm-svn: 56787

llvm-svn: 56786

llvm-svn: 56784

instead of hasWeakLinkage in a bunch of optimization
passes.

llvm-svn: 56782

llvm-svn: 56716

- return attributes - inreg, zext and sext
- parameter attributes
- function attributes - nounwind, readonly, readnone, noreturn

Return attributes use 0 as the index.
Function attributes use ~0U as the index.

This patch requires corresponding changes in llvm-gcc and clang.

llvm-svn: 56704

s/ParamAttr/Attribute/g
s/PAList/AttrList/g
s/FnAttributeWithIndex/AttributeWithIndex/g
s/FnAttr/Attribute/g

This sets the stage 
- to implement function notes as function attributes and 
- to distinguish between function attributes and return value attributes.

This requires corresponding changes in llvm-gcc and clang.

llvm-svn: 56622

llvm-svn: 56549

llvm-svn: 56546

llvm-svn: 56535

llvm-svn: 56527

Do not check isDeclaration() in hasNote(). It is clients' responsibility.

llvm-svn: 56524

llvm-svn: 56513

Function Notes also. Function notes are stored at index ~0.

llvm-svn: 56511

llvm-svn: 56477

llvm-svn: 56419

of mayReadFromMemory and mayWriteToMemory.

llvm-svn: 56387

Unfortunately this means removing one regression test
of GlobalsModRef because I couldn't work out how to
perform it without MarkModRef.

llvm-svn: 56342

can get the readnone/readonly attributes, and gives them it.
The plan is to remove markmodref (which did the same thing
by querying GlobalsModRef) and delete the analogous
functionality from GlobalsModRef.

llvm-svn: 56341

Fixes PR 2805

llvm-svn: 56321

Thanks to Ji Young Park for the patch!

llvm-svn: 56316

llvm-svn: 56315

llvm-svn: 56286