llvm-svn: 81172

compile-time constant integers or that are out of bounds for their
corresponding static array types. These can cause aliasing that
GlobalOpt assumes won't happen.

llvm-svn: 81165

an aggregate store overlapping a different aggregate store, despite
the stores having distinct addresses.

llvm-svn: 81164

is missing the inbounds flag. This is slightly conservative, but it
avoids problems with two constants pointing to the same address but
getting distinct entries in the Memory DenseMap.

llvm-svn: 81163

into a getelementptr ConstantExpr.

llvm-svn: 81162

llvm-svn: 81161

llvm-svn: 81138

about by icc (#593, partial).  Patch by Erick Tryzelaar.

llvm-svn: 81115

 - I think there are more instances of this, but I think they are fixed in Dan's
   incoming patch. This one was preventing me from doing a bugpoint reduction
   though.

llvm-svn: 81103

llvm-svn: 81101

breaks MiniSAT on x86_64.

llvm-svn: 81098

into llvm/ADT.

llvm-svn: 81001

Constant uniquing tables. This allows distinct ConstantExpr objects
with the same operation and different flags.

Even though a ConstantExpr "a + b" is either always overflowing or
never overflowing (due to being a ConstantExpr), it's still necessary
to be able to represent it both with and without overflow flags at
the same time within the IR, because the safety of the flag may
depend on the context of the use. If the constant really does overflow,
it wouldn't ever be safe to use with the flag set, however the use
may be in code that is never actually executed.

This also makes it possible to merge all the flags tests into a single test.

llvm-svn: 80998

that these passes are properly preserved.

Fix several transformation passes that claimed to preserve LoopSimplify
form but weren't.

llvm-svn: 80926

instead of a bool argument, and to do the dominator check itself.
This makes it eaiser to use when DominatorTree information is
available.

llvm-svn: 80920

memcpy calls.

llvm-svn: 80915

Removed inverted flag form MaximumSpanningTree, also do not handle so much
information to MaximumSpanningTree.

llvm-svn: 80911

llvm-svn: 80903

simplifylibcalls optimization is thus valid for C++ but not C.
It's not important enough to worry about for C++ apps, so just
remove it.

rdar://7191924

llvm-svn: 80887

llvm-svn: 80871

re-commit r66920 (which has been backed out in r66953) I may have more luck this time. I'll back out if needed...

llvm-svn: 80858

(See http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20090824/085890.html)

llvm-svn: 80789

be instrumented.

llvm-svn: 80788

llvm-svn: 80781

the instruction BBI points to.

llvm-svn: 80768

llvm-svn: 80767

llvm-svn: 80766

return a vector of i1, not i1 itself.

llvm-svn: 80761

This adds the instrumentation and runtime part of OptimalEdgeProfiling.

llvm-svn: 80712

llvm-svn: 80708

llvm-svn: 80706

callgraph.  This is now dead because RAUW does the job.

llvm-svn: 80703

don't alias.  Remove an old and poorly reduced testcase that fails
with this transform for reasons unrelated to the original test.

llvm-svn: 80693

llvm-svn: 80682

llvm-svn: 80680

Add statistics for regular edge profiling, this enables the comparation of the
number of edges inserted by regular and optimal edge profiling.

llvm-svn: 80668

for sanity.  This didn't turn up any bugs.

Change CallGraphNode to maintain its "callsite" information in the 
call edges list as a WeakVH instead of as an instruction*.  This fixes
a broad class of dangling pointer bugs, and makes CallGraph have a number
of useful invariants again.  This fixes the class of problem indicated
by PR4029 and PR3601.

llvm-svn: 80663

from runOnFunction

llvm-svn: 80562

llvm-svn: 80540

llvm-svn: 80539