llvm-svn: 12437

llvm-svn: 12436

llvm-svn: 12435

http://mail.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20040308/013095.html

Basically, this patch only updated the immediate dominatees of the header node
to tell them that the preheader also dominated them.  In practice, ALL
dominatees of the header node are also dominated by the preheader.

This fixes: LoopSimplify/2004-03-15-IncorrectDomUpdate.
and PR293

llvm-svn: 12434

llvm-svn: 12433

llvm-svn: 12432

llvm-svn: 12431

llvm-svn: 12430

Bug 291!

llvm-svn: 12429

llvm-svn: 12428

client has another VN implementation that can VN calls.

llvm-svn: 12427

llvm-svn: 12426

llvm-svn: 12425

llvm-svn: 12424

horrible hack.

llvm-svn: 12423

have an alias set, just like adds and subtracts don't.

llvm-svn: 12422

llvm-svn: 12421

llvm-svn: 12420

GCSE/call_cse.ll

llvm-svn: 12419

llvm-svn: 12418

Also, add some stuff I missed before.

llvm-svn: 12417

llvm-svn: 12416

sin/cos/strlen calls and stuff.  This implements:
  LICM/call_sink_pure_function.ll
  LICM/call_sink_const_function.ll

llvm-svn: 12415

llvm-svn: 12414

llvm-svn: 12413

llvm-svn: 12412

llvm-svn: 12411

use of the boolean queries

llvm-svn: 12410

llvm-svn: 12409

llvm-svn: 12408

in common cases.

llvm-svn: 12407

llvm-svn: 12406

Simplify the input/output finder.  All elements of a basic block are
instructions.  Any used arguments are also inputs.  An instruction can only
be used by another instruction.

llvm-svn: 12405

llvm-svn: 12404

extracted, and a function that contained a single top-level loop never had
the loop extracted, regardless of how much non-loop code there was.

llvm-svn: 12403

* Don't insert a branch to the switch instruction after the call, just
  make it a single block.
* Insert the new alloca instructions in the entry block of the original
  function instead of having them execute dynamically
* Don't make the default edge of the switch instruction go back to the switch.
  The loop extractor shouldn't create new loops!
* Give meaningful names to the alloca slots and the reload instructions
* Some minor code simplifications

llvm-svn: 12402

This also implements a two minor improvements:
  * Don't insert live-out stores IN the region, insert them on the code path
    that exits the region
  * If the region is exited to the same block from multiple paths, share the
    switch statement entry, live-out store code, and the basic block.

llvm-svn: 12401

a member of the class.  While we're at it, turn the collection into a set
instead of a vector to improve efficiency and make queries simpler.

llvm-svn: 12400

llvm-svn: 12399

miscompiled, try to use the loop extractor to reduce the program down to a
loop nest that is being miscompiled.  In practice, the loop extractor appears
to have too many bugs for this to be useful, but hopefully they will be fixed
soon...

llvm-svn: 12398