llvm-svn: 13692

we make the transformation.  This allows us to use interprocedural alias
analyses successfully.

llvm-svn: 13691

llvm-svn: 13690

llvm-svn: 13689

that do not have builtin support for garbage collection.

llvm-svn: 13688

effects as) CloneFunctionInto().

llvm-svn: 13601

CloneTrace, and because it is primarily an operation on ValueMaps.  It
is now a global (non-static) function which can be pulled in using
ValueMapper.h.

llvm-svn: 13600

Add better comments, including a better head-of-file comment.
Prune #includes.
Fix a FIXME that Chris put here by using doInitialization().
Use DEBUG() to print out debug msgs.
Give names to basic blocks inserted by this pass.
Expand tabs.
Use InsertProfilingInitCall() from ProfilingUtils to insert the initialize call.

llvm-svn: 13581

llvm-svn: 13565

in the size calculation.

This is not something you want to see:
Loop Unroll: F[main] Loop %no_exit Loop Size = 2 Trip Count = 2147483648 - UNROLLING!

The problem was that 2*2147483648 == 0.

Now we get:
Loop Unroll: F[main] Loop %no_exit Loop Size = 2 Trip Count = 2147483648 - TOO LARGE: 4294967296>100

Thanks to some anonymous person playing with the demo page that repeatedly
caused zion to go into swapping land.  That's one way to ensure you'll get
a quick bugfix.  :)

Testcase here: Transforms/LoopUnroll/2004-05-13-DontUnrollTooMuch.ll

llvm-svn: 13564

give the extracted function a more useful name than just foo_code.

llvm-svn: 13493

instruction in them.

llvm-svn: 13490

PHI node entries from multiple outside-the-region blocks.  This also fixes
extraction of the entry block in a function.  Yaay.

This has successfully block extracted all (but one) block from the score_move
function in obsequi (out of 33).  Hrm, I wonder which block the bug is in.  :)

llvm-svn: 13489

* Add a stub for the severSplitPHINodes which will allow us to bbextract
  bb's with PHI nodes in them soon.
* Remove unused arguments from findInputsOutputs
* Dramatically simplify the code in findInputsOutputs.  In particular,
  nothing really cares whether or not a PHI node is using something.
* Move moveCodeToFunction to after emitCallAndSwitchStatement as that's the
  order they get called.
* Fix a bug where we would code extract a region that included a call to
  vastart.  Like 'alloca', calls to vastart must stay in the function that
  they are defined in.
* Add some comments.

llvm-svn: 13482

from the extracted region.  If the return has 0 or 1 exit blocks, the new
function returns void.  If it has 2 exits, it returns bool, otherwise it
returns a ushort as before.

This allows us to use a conditional branch instruction when there are two
exit blocks, as often happens during block extraction.

llvm-svn: 13481

  1. Get rid of the silly abort block.  When doing bb extraction, we get one
     abort block for every block extracted, which is kinda annoying.
  2. If the switch ends up having a single destination, turn it into an
     unconditional branch.

I would like to add support for conditional branches, but to do this we will
want to have the function return a bool instead of a ushort.

llvm-svn: 13478

llvm-svn: 13429

        %tmp.0 = getelementptr [50 x sbyte]* %ar, uint 0, int 5         ; <sbyte*> [#uses=2]
        %tmp.7 = getelementptr sbyte* %tmp.0, int 8             ; <sbyte*> [#uses=1]

together.  This patch actually allows us to simplify and generalize the code.

llvm-svn: 13415

llvm-svn: 13400

This fixes PR332 and ADCE/2004-05-04-UnreachableBlock.llx

llvm-svn: 13349

llvm-svn: 13341

llvm-svn: 13340

which case you'll get a null array and zero passed to the profiling function.

llvm-svn: 13336

llvm-svn: 13335

llvm-svn: 13316

llvm-svn: 13315

llvm-svn: 13312

Turning "if (A < B && B < C)" into "if (A < B & B < C)"

llvm-svn: 13311

missing opportunities for combination.

llvm-svn: 13309

when replacing them, missing the opportunity to do simplifications

llvm-svn: 13308

llvm-svn: 13307

llvm-svn: 13306

is only used by a cast, and the casted type is the same size as the original
allocation, it would eliminate the cast by folding it into the allocation.

Unfortunately, it was placing the new allocation instruction right before
the cast, which could pull (for example) alloca instructions into the body
of a function.  This turns statically allocatable allocas into expensive
dynamically allocated allocas, which is bad bad bad.

This fixes the problem by placing the new allocation instruction at the same
place the old one was, duh. :)

llvm-svn: 13289

patch was graciously contributed by Vladimir Prus.

llvm-svn: 13185

llvm-svn: 13172

* Commandline option (for now) controls that flag that is passed in

llvm-svn: 13141

still room for cleanup, but at least the code modification is out of the
analysis now.

llvm-svn: 13135

the function instead of isolating it. This also means the condition is reversed.

llvm-svn: 13112

the Module. The default behavior keeps functionality as before: the chosen
function is the one that remains.

llvm-svn: 13111

llvm-svn: 13108