[turbofan] Reduces x << y ^ x >>> (32 - y) to x ror (32 - y).

[turbofan] Reduces x << y ^ x >>> (32 - y) to x ror (32 - y).

The MachineOperatorReducer was only reducing word32 expressions of the type x << y | x >>> (32 - y) (and variants) to the equivalent Word32Ror. This CL applies the same pattern-matching logic to Word32Xor.

BUG=

Committed: https://crrev.com/a86397d890d3caa01a947e2a6e71beb1f58e6e6b
Committed: https://crrev.com/2db734df39a6a759b78ac1abb98d7e86ed8fba79
Cr-Original-Commit-Position: refs/heads/master@{#38284}
Cr-Commit-Position: refs/heads/master@{#39757}

[epertoso, 2016-08-03 10:23:13]

Description was changed from

==========
[turbofan] Matches x << y ^ x >>> (32 - y) to ror.

The MachineOperatorReducer was only reducing 'or' word32 expressions of the type
x << y | x >>> (32 - y) (and variants) to Word32Ror. This CL applies the same
pattern-matching logic to Word32Xor.

BUG=
==========

to

==========
[turbofan] Reduces x << y ^ x >>> (32 - y) to x ror (32 - y).

The MachineOperatorReducer was only reducing word32 expressions of the type x <<
y | x >>> (32 - y) (and variants) to the equivalent Word32Ror. This CL applies
the same pattern-matching logic to Word32Xor.

BUG=
==========

[epertoso, 2016-08-03 10:23:14]

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

[Benedikt Meurer, 2016-08-03 10:33:49]

Thanks, LGTM.

[epertoso, 2016-08-03 10:37:26]

The CQ bit was checked by epertoso@chromium.org

[commit-bot: I haz the power, 2016-08-03 10:37:30]

CQ is trying da patch. Follow status at
 
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2016-08-03 10:56:13]

Description was changed from

==========
[turbofan] Reduces x << y ^ x >>> (32 - y) to x ror (32 - y).

The MachineOperatorReducer was only reducing word32 expressions of the type x <<
y | x >>> (32 - y) (and variants) to the equivalent Word32Ror. This CL applies
the same pattern-matching logic to Word32Xor.

BUG=
==========

to

==========
[turbofan] Reduces x << y ^ x >>> (32 - y) to x ror (32 - y).

The MachineOperatorReducer was only reducing word32 expressions of the type x <<
y | x >>> (32 - y) (and variants) to the equivalent Word32Ror. This CL applies
the same pattern-matching logic to Word32Xor.

BUG=
==========

[commit-bot: I haz the power, 2016-08-03 10:56:14]

Committed patchset #1 (id:1)

[commit-bot: I haz the power, 2016-08-03 10:58:16]

Description was changed from

==========
[turbofan] Reduces x << y ^ x >>> (32 - y) to x ror (32 - y).

The MachineOperatorReducer was only reducing word32 expressions of the type x <<
y | x >>> (32 - y) (and variants) to the equivalent Word32Ror. This CL applies
the same pattern-matching logic to Word32Xor.

BUG=
==========

to

==========
[turbofan] Reduces x << y ^ x >>> (32 - y) to x ror (32 - y).

The MachineOperatorReducer was only reducing word32 expressions of the type x <<
y | x >>> (32 - y) (and variants) to the equivalent Word32Ror. This CL applies
the same pattern-matching logic to Word32Xor.

BUG=

Committed: https://crrev.com/a86397d890d3caa01a947e2a6e71beb1f58e6e6b
Cr-Commit-Position: refs/heads/master@{#38284}
==========

[commit-bot: I haz the power, 2016-08-03 10:58:17]

Patchset 1 (id:??) landed as
https://crrev.com/a86397d890d3caa01a947e2a6e71beb1f58e6e6b
Cr-Commit-Position: refs/heads/master@{#38284}

[epertoso, 2016-08-10 12:14:07]

A revert of this CL (patchset #1 id:1) has been created in
https://codereview.chromium.org/2230213002/ by epertoso@chromium.org.

The reason for reverting is: It may or may not have caused a regression in
kraken-crypto-ccm..

[epertoso, 2016-09-27 09:36:05]

Description was changed from

==========
[turbofan] Reduces x << y ^ x >>> (32 - y) to x ror (32 - y).

The MachineOperatorReducer was only reducing word32 expressions of the type x <<
y | x >>> (32 - y) (and variants) to the equivalent Word32Ror. This CL applies
the same pattern-matching logic to Word32Xor.

BUG=

Committed: https://crrev.com/a86397d890d3caa01a947e2a6e71beb1f58e6e6b
Cr-Commit-Position: refs/heads/master@{#38284}
==========

to

==========
[turbofan] Reduces x << y ^ x >>> (32 - y) to x ror (32 - y).

The MachineOperatorReducer was only reducing word32 expressions of the type x <<
y | x >>> (32 - y) (and variants) to the equivalent Word32Ror. This CL applies
the same pattern-matching logic to Word32Xor.

BUG=

Committed: https://crrev.com/a86397d890d3caa01a947e2a6e71beb1f58e6e6b
Cr-Commit-Position: refs/heads/master@{#38284}
==========

[epertoso, 2016-09-27 09:47:39]

The CQ bit was checked by epertoso@chromium.org

[epertoso, 2016-09-27 09:47:39]

The patchset sent to the CQ was uploaded after l-g-t-m from bmeurer@chromium.org
Link to the patchset: https://codereview.chromium.org/2199323003/#ps20001
(title: "Rebaselined.")

[commit-bot: I haz the power, 2016-09-27 09:47:46]

CQ is trying da patch. Follow status at
 
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2016-09-27 10:15:25]

Description was changed from

==========
[turbofan] Reduces x << y ^ x >>> (32 - y) to x ror (32 - y).

The MachineOperatorReducer was only reducing word32 expressions of the type x <<
y | x >>> (32 - y) (and variants) to the equivalent Word32Ror. This CL applies
the same pattern-matching logic to Word32Xor.

BUG=

Committed: https://crrev.com/a86397d890d3caa01a947e2a6e71beb1f58e6e6b
Cr-Commit-Position: refs/heads/master@{#38284}
==========

to

==========
[turbofan] Reduces x << y ^ x >>> (32 - y) to x ror (32 - y).

The MachineOperatorReducer was only reducing word32 expressions of the type x <<
y | x >>> (32 - y) (and variants) to the equivalent Word32Ror. This CL applies
the same pattern-matching logic to Word32Xor.

BUG=

Committed: https://crrev.com/a86397d890d3caa01a947e2a6e71beb1f58e6e6b
Cr-Commit-Position: refs/heads/master@{#38284}
==========

[commit-bot: I haz the power, 2016-09-27 10:15:26]

Committed patchset #2 (id:20001)

[commit-bot: I haz the power, 2016-09-27 10:15:50]

Description was changed from

==========
[turbofan] Reduces x << y ^ x >>> (32 - y) to x ror (32 - y).

The MachineOperatorReducer was only reducing word32 expressions of the type x <<
y | x >>> (32 - y) (and variants) to the equivalent Word32Ror. This CL applies
the same pattern-matching logic to Word32Xor.

BUG=

Committed: https://crrev.com/a86397d890d3caa01a947e2a6e71beb1f58e6e6b
Cr-Commit-Position: refs/heads/master@{#38284}
==========

to

==========
[turbofan] Reduces x << y ^ x >>> (32 - y) to x ror (32 - y).

The MachineOperatorReducer was only reducing word32 expressions of the type x <<
y | x >>> (32 - y) (and variants) to the equivalent Word32Ror. This CL applies
the same pattern-matching logic to Word32Xor.

BUG=

Committed: https://crrev.com/a86397d890d3caa01a947e2a6e71beb1f58e6e6b
Committed: https://crrev.com/2db734df39a6a759b78ac1abb98d7e86ed8fba79
Cr-Original-Commit-Position: refs/heads/master@{#38284}
Cr-Commit-Position: refs/heads/master@{#39757}
==========

[commit-bot: I haz the power, 2016-09-27 10:15:51]

Patchset 2 (id:??) landed as
https://crrev.com/2db734df39a6a759b78ac1abb98d7e86ed8fba79
Cr-Commit-Position: refs/heads/master@{#39757}