llvm-svn: 60432

llvm-svn: 60431

work in prgress.

llvm-svn: 60430

llvm-svn: 60429

llvm-svn: 60428

llvm-svn: 60427

llvm-svn: 60426

llvm-svn: 60425

llvm-svn: 60423

This may be the case on 64-bit systems. Whether that fact is a bug is a different question, but it's easy to cure the symptom.

llvm-svn: 60422

llvm-svn: 60421

llvm-svn: 60420

llvm-svn: 60418

llvm-svn: 60416

ScalarExprEmitter::VisitBinLOr.

llvm-svn: 60415

llvm-svn: 60414

llvm-svn: 60413

llvm-svn: 60409

straight-forward implementation.  This does not require any extra
alias analysis queries beyond what we already do for non-local loads.

Some programs really really like load PRE.  For example, SPASS triggers
this ~1000 times, ~300 times in 255.vortex, and ~1500 times on 403.gcc.

The biggest limitation to the implementation is that it does not split
critical edges.  This is a huge killer on many programs and should be
addressed after the initial patch is enabled by default.

The implementation of this should incidentally speed up rejection of 
non-local loads because it avoids creating the repl densemap in cases 
when it won't be used for fully redundant loads.

This is currently disabled by default.
Before I turn this on, I need to fix a couple of miscompilations in
the testsuite, look at compile time performance numbers, and look at
perf impact.  This is pretty close to ready though.

llvm-svn: 60408

llvm-svn: 60407

llvm-svn: 60406

llvm-svn: 60405

llvm-svn: 60404

llvm-svn: 60403

llvm-svn: 60402

llvm-svn: 60401

llvm-svn: 60400

  constant. If X is a constant, then this is folded elsewhere.

- Added a note to Target/README.txt to indicate that we'd like to implement
  this when we're able.

llvm-svn: 60399

llvm-svn: 60398

- No need to do a swap on a canonicalized pattern.

No functionality change.

llvm-svn: 60397

llvm-svn: 60395

llvm-svn: 60394

a new value numbering set after splitting a critical edge.  This increases
the number of instances of PRE on 403.gcc from ~60 to ~570.

llvm-svn: 60393

llvm-svn: 60392

llvm-svn: 60391

llvm-svn: 60390

PR3152.

llvm-svn: 60389

- LowerXADDO lowers [SU]ADDO into an ADD with an implicit EFLAGS define. The
  EFLAGS are fed into a SETCC node which has the conditional COND_O or COND_C,
  depending on the type of ADDO requested.

- LowerBRCOND now recognizes if it's coming from a SETCC node with COND_O or
  COND_C set.

llvm-svn: 60388

  - Template parameter scope to hold the template parameters
  - Template parameter context for parsing declarators
  - Actions for template type parameters and non-type template
    parameters

llvm-svn: 60387

a property. Previous scheme of seaching in interface's list of methods
would not work because this list is not yet constructed. This is in preparation
for doing semantic check on viability of setter/getter method declarations.

llvm-svn: 60386