[turbofan] Combine Word32And with Int32Add and negative power of two.

[turbofan] Combine Word32And with Int32Add and negative power of two.

TEST=unittests
R=jarin@chromium.org

Committed: https://chromium.googlesource.com/v8/v8/+/94f5b78b96cbfc3dac55364c2672b2de213b493d

[Benedikt Meurer, 2014-11-24 12:07:55]

bmeurer@chromium.org changed reviewers:
+ jarin@chromium.org

[Benedikt Meurer, 2014-11-24 12:07:56]

PTAL

[Jarin, 2014-11-24 12:28:09]

lgtm

https://codereview.chromium.org/749233002/diff/20001/src/compiler/machine-ope...
File src/compiler/machine-operator-reducer.cc (right):

https://codereview.chromium.org/749233002/diff/20001/src/compiler/machine-ope...
src/compiler/machine-operator-reducer.cc:145: // (x + K) & K => (x & K) + K
How about (x + K1) & K2 => (x & K2) + K1?

https://codereview.chromium.org/749233002/diff/20001/src/compiler/machine-ope...
src/compiler/machine-operator-reducer.cc:150: mleft.right().node()));
Funny indentation.

[Benedikt Meurer, 2014-11-24 12:29:33]

https://codereview.chromium.org/749233002/diff/20001/src/compiler/machine-ope...
File src/compiler/machine-operator-reducer.cc (right):

https://codereview.chromium.org/749233002/diff/20001/src/compiler/machine-ope...
src/compiler/machine-operator-reducer.cc:145: // (x + K) & K => (x & K) + K
On 2014/11/24 12:28:09, jarin wrote:
> How about (x + K1) & K2 => (x & K2) + K1?

This was the terminology that we always used here. Don't want to change that
now.

https://codereview.chromium.org/749233002/diff/20001/src/compiler/machine-ope...
src/compiler/machine-operator-reducer.cc:150: mleft.right().node()));
On 2014/11/24 12:28:09, jarin wrote:
> Funny indentation.

clang-format...

[Benedikt Meurer, 2014-11-24 12:30:37]

Committed patchset #2 (id:20001) manually as
94f5b78b96cbfc3dac55364c2672b2de213b493d (presubmit successful).