- No functionality change.

llvm-svn: 58355

 - No functionality change.

llvm-svn: 58352

llvm-svn: 57864

llvm-svn: 57305

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

Why?  Because it was there!

llvm-svn: 56996

llvm-svn: 56917

llvm-svn: 56887

llvm-svn: 56868

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: 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

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

llvm-svn: 56005

llvm-svn: 56001

llvm-svn: 55896

llvm-svn: 55895

long as the callgraph is correct.  It checks
for wrong callgraphs more strictly.

llvm-svn: 55894

llvm-svn: 55883

this pass doesnt seem to be used, but still it's now a little more correct

llvm-svn: 55873

call (thus changing the call site) it didn't
inform the callgraph about this.  But the
call site does matter - as shown by the testcase,
the callgraph become invalid after the inliner
ran (with an edge between two functions simply
missing), resulting in wrong deductions by
GlobalsModRef.

llvm-svn: 55872

llvm-svn: 55865

because it does not maintain a correct list
of callsites.  I discovered (see following
commit) that the inliner will create a wrong
callgraph if it is fed a callgraph with
correct edges but incorrect callsites.  These
were created by Prune-EH, and while it wasn't
done via removeCallEdgeTo, it could have been
done via removeCallEdgeTo, which is an accident
waiting to happen.  Use removeCallEdgeFor
instead.

llvm-svn: 55859

edges one by one by hand.

llvm-svn: 55836

it modifies a functions attributes.

llvm-svn: 55831

llvm-svn: 55785

llvm-svn: 55779