inserted only once, just use vector.  Don't compute ExitBlocks unless we
need it, change std::sort to array_pod_sort.

llvm-svn: 83747

llvm-svn: 83745

PHI nodes inserted.

llvm-svn: 83744

not just at the end.  Add a big comment explaining when this could
be useful (which never happens for jump threading).

llvm-svn: 83741

what it does.

llvm-svn: 83740

llvm-svn: 83707

works on unstructured CFGs.  This implements PR217, our oldest open PR.

llvm-svn: 83705

llvm-svn: 83701

constants used in inlining heuristics (especially
those used in more than one file).  No functional change.

llvm-svn: 83675

not intrinsics.

llvm-svn: 83441

for inlining.

When MallocInst goes away this code will be subsumed as part of
calls and work just fine...

llvm-svn: 83434

where the element is of a basic builtin type.  For example, to get
an i8* use getInt8PtrTy.

llvm-svn: 83379

ConstantFoldLoadThroughGEPConstantExpr.

llvm-svn: 83311

Do away with the strange use of BitVectors in SSI, and just use normal sets.  This makes the code much more C++/LLVM-ish.

llvm-svn: 83286

llvm-svn: 83283

Similarly, it can be marked setPreservesAll, since it does no work in its runOnFunction.

llvm-svn: 83282

while calling changeImmediateDominator, which removes elements from the
vector. This fixes PR5097.

llvm-svn: 83166

llvm-svn: 82991

llvm-svn: 82990

llvm-svn: 82931

update all the callers.

llvm-svn: 82889

computation, and some cosmetics.

llvm-svn: 82660

llvm-svn: 82488

Reviewed by Dan Gohman.

llvm-svn: 82300

Update malloc call creation code (AllocType is now the element type of the malloc, not the resulting type).

In getMallocArraySize(), fix bug in the case that array size is the product of 2 constants.

Extend isArrayMalloc() and getMallocArraySize() to handle case where malloc is used as char array.

Ensure that ArraySize in LowerAllocations::runOnBasicBlock() is correct type.

Extend Instruction::isSafeToSpeculativelyExecute() to handle malloc calls.

Add verification for malloc calls.

Reviewed by Dan Gohman.

llvm-svn: 82257

llvm-svn: 82034

used by a terminator in another.

llvm-svn: 81437

llvm-svn: 81426

loop exit edge -- new PHIs may be needed not only for the additional
splits that are made to preserve LoopSimplify form, but also for the
original split. Factor out the code that inserts new PHIs so that it
can be used for both. Remove LoopRotation.cpp's code for manually
updating LCSSA form, as it is now redundant. This fixes PR4934.

llvm-svn: 81363

llvm-svn: 81360

that get created during loop unswitching, and fix SplitBlockPredecessors'
LCSSA updating code to create new PHIs instead of trying to just move
existing ones.

Also, optimize Loop::verifyLoop, since it gets called a lot. Use
searches on a sorted list of blocks instead of calling the "contains"
function, as is done in other places in the Loop class, since "contains"
does a linear search. Also, don't call verifyLoop from LoopSimplify or
LCSSA, as the PassManager is already calling verifyLoop as part of
LoopInfo's verifyAnalysis.

llvm-svn: 81221

llvm-svn: 81138

llvm-svn: 81101

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

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

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

llvm-svn: 80703

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

Use MDNodes to encode debug info in llvm IR.

llvm-svn: 80406