llvm-svn: 18693

llvm-svn: 18692

successor block.  This turns cases like this:

x = a op b
if (c) {
  use x
}

into:

if (c) {
  x = a op b
  use x
}

This triggers 3965 times in spec, and is tested by
Regression/Transforms/InstCombine/sink_instruction.ll

This appears to expose a bug in the X86 backend for 177.mesa, which I'm
looking in to.

llvm-svn: 18677

llvm-svn: 18674

llvm-svn: 18670

by Bjørn Wennberg

llvm-svn: 18627

llvm-svn: 18625

Add doInitialization method to avoid overloaded virtuals

llvm-svn: 18602

gccas/gccld more than just a noop.

llvm-svn: 18456

-S

llvm-svn: 18440

llvm-svn: 18439

in scary and unknown ways before we promote it.  This fixes the miscompilation
of 188.ammp that has been plauging us since a globalopt patch went in.

Thanks a ton to Tanya for helping me diagnose the problem!

llvm-svn: 18418

This doesn't fix anything that I'm aware of, just noticed it by inspection

llvm-svn: 18417

llvm-svn: 18387

llvm-svn: 18381

This only fails on darwin or on X86 under valgrind.

llvm-svn: 18377

llvm-svn: 18369

  if (x) {
    code
    ...
  } else {
    code
    ...
  }

Turn it into:

  code
  if (x) {
    ...
  } else {
    ...
  }

This reduces code size and in some common cases allows us to completely
eliminate the conditional.  This turns several if/then/else blocks in loops
into straightline code in 179.art, turning the loops into single basic blocks
(good for modsched even!).

Maybe now brg will leave me alone ;-)

llvm-svn: 18366

llvm-svn: 18363

* Make sure we handle signed to unsigned conversion correctly
* Move this visitSetCondInst case to its own method.

llvm-svn: 18312

llvm-svn: 18309

occurs many times in crafty

llvm-svn: 18273

allows us to hoist more loads in some cases.

llvm-svn: 18265

llvm-svn: 18110

llvm-svn: 18109

Patch contributed by Michael McCracken!

llvm-svn: 18108

llvm-svn: 18028

Morten Ofstad.

llvm-svn: 17996

llvm-svn: 17992

llvm-svn: 17970

llvm-svn: 17956

llvm-svn: 17897

Patch contributed by Morten Ofstad.

llvm-svn: 17830

llvm-svn: 17825

llvm-svn: 17824

llvm-svn: 17821

 1. Speedup getValueState by having it not consider Arguments.  It's better
    to just add them before we start SCCP'ing.
 2. SCCP can delete the contents of dead blocks.  No really, it's ok!  This
    reduces the size of the IR for subsequent passes, even though
    simplifycfg would do the same job.  In practice, simplifycfg does not
    run until much later than sccp in gccas

llvm-svn: 17820

llvm-svn: 17818

class.  The only changes are minor:

 * Do not try to SCCP instructions that return void in the rewrite loop.
   This is silly and fool hardy, wasting a map lookup and adding an entry
   to the map which is never used.
 * If we decide something has an undefined value, rewrite it to undef,
   potentially leading to further simplications.

llvm-svn: 17816

value.  This allows us to turn more globals into constants and eliminate them.
This patch implements GlobalOpt/load-store-global.llx.

Note that this patch speeds up 255.vortex from:

Output/255.vortex.out-cbe.time:program 7.640000
Output/255.vortex.out-llc.time:program 9.810000

to:

Output/255.vortex.out-cbe.time:program 7.250000
Output/255.vortex.out-llc.time:program 9.490000

Which isn't bad at all!

llvm-svn: 17746