llvm-svn: 5600

llvm-svn: 5599

llvm-svn: 5598

  * X*C + X --> X * (C+1)
  * X + X*C --> X * (C+1)
  * X - X*C --> X * (1-C)
  * X*C - X --> X * (C-1)

llvm-svn: 5592

llvm-svn: 5591

llvm-svn: 5590

llvm-svn: 5589

  * A & ~A == 0
  * A / (2^c) == A >> c  if unsigned
  * 0 / A == 0
  * 1.0 * A == A
  * A * (2^c) == A << c
  * A ^ ~A == -1
  * A | ~A == -1
  * 0 % X = 0
  * A % (2^c) == A & (c-1) if unsigned
  * A - (A & B) == A & ~B
  * -1 - A == ~A

llvm-svn: 5588

  * A & ~A == 0
  * A / (2^c) == A >> c  if unsigned
  * 0 / A == 0
  * 1.0 * A == A
  * A * (2^c) == A << c
  * A ^ ~A == -1
  * A | ~A == -1
  * 0 % X = 0
  * A % (2^c) == A & (c-1) if unsigned
  * A - (A & B) == A & ~B
  * -1 - A == ~A

llvm-svn: 5587

llvm-svn: 5586

llvm-svn: 5585

llvm-svn: 5576

llvm-svn: 5572

llvm-svn: 5571

llvm-svn: 5567

This helps a lot of testcases, for example:
            New Time  New #Nodes     Old Time    Old #Nodes
254.gap:    91.1024     21605        91.1397     22657
povray31:    2.7807      8613         3.0152     10338
255.vortex:  1.2034      8153         1.2172     8822
moria:        .6756      3150          .7054     3877
300.twolf:    .1652      2010          .1851     3270

Typically, testcases which use long and ulong integers a lot get better, f.e. povray above.

llvm-svn: 5566

llvm-svn: 5565

This speeds stuff up by 10% on some tests, woot!

llvm-svn: 5564

llvm-svn: 5563

llvm-svn: 5562

llvm-svn: 5561

llvm-svn: 5555

actually intelligable

llvm-svn: 5554

llvm-svn: 5553

This brings a 11.6% speedup to steens, and a 3.6 overall speedup to ds-aa

llvm-svn: 5552

llvm-svn: 5551

llvm-svn: 5550

llvm-svn: 5549

llvm-svn: 5548

llvm-svn: 5547

llvm-svn: 5546

llvm-svn: 5544

llvm-svn: 5542

llvm-svn: 5541

llvm-svn: 5538

llvm-svn: 5537

Referrers list on DSNodes.

llvm-svn: 5536

llvm-svn: 5535

llvm-svn: 5534

llvm-svn: 5533