[turbofan] New Register Allocator Validator

The previous validator had trouble handling cases where the move
optimizer was merging phi lowering moves into the node defining the
phi. Addressing such cases proved to be too difficult in the existing
validator.

The new validator addresses this, by making no assumptions on phi
lowering details.

This unblocks 1824303002.

BUG=

Committed: https://crrev.com/48f0597dd41f2edd6ab654b9ac05dabce0a3797e
Cr-Commit-Position: refs/heads/master@{#35557}

[Mircea Trofin, 2016-04-15 19:46:48]

Description was changed from

==========
First draft new validator

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

to

==========
The previous validator had trouble handling cases where the move 
optimizer was merging phi lowering moves into the node defining the 
phi. Addressing such cases proved to be too difficult in the existing 
codebase.

The new validator addresses this, by making no assumptions on phi 
lowering details.

This unblocks 1824303002.

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

[Mircea Trofin, 2016-04-15 19:46:48]

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

[Mircea Trofin, 2016-04-15 23:31:01]

Description was changed from

==========
The previous validator had trouble handling cases where the move 
optimizer was merging phi lowering moves into the node defining the 
phi. Addressing such cases proved to be too difficult in the existing 
codebase.

The new validator addresses this, by making no assumptions on phi 
lowering details.

This unblocks 1824303002.

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

to

==========
The previous validator had trouble handling cases where the move 
optimizer was merging phi lowering moves into the node defining the 
phi. Addressing such cases proved to be too difficult in the existing 
validator.

The new validator addresses this, by making no assumptions on phi 
lowering details.

This unblocks 1824303002.

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

[Benedikt Meurer, 2016-04-18 04:22:12]

LGTM. Thanks.

https://codereview.chromium.org/1855023002/diff/140001/src/compiler/register-...
File src/compiler/register-allocator-verifier.h (right):

https://codereview.chromium.org/1855023002/diff/140001/src/compiler/register-...
src/compiler/register-allocator-verifier.h:206: auto exists = map_.find(op);
Nit: s/exists/it/

[Mircea Trofin, 2016-04-18 04:38:25]

https://codereview.chromium.org/1855023002/diff/140001/src/compiler/register-...
File src/compiler/register-allocator-verifier.h (right):

https://codereview.chromium.org/1855023002/diff/140001/src/compiler/register-...
src/compiler/register-allocator-verifier.h:206: auto exists = map_.find(op);
On 2016/04/18 04:22:12, Benedikt Meurer wrote:
> Nit: s/exists/it/

Done.

[Mircea Trofin, 2016-04-18 04:38:36]

The CQ bit was checked by mtrofin@chromium.org

[Mircea Trofin, 2016-04-18 04:38:37]

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/1855023002/#ps160001
(title: " ")

[commit-bot: I haz the power, 2016-04-18 04:38:39]

CQ is trying da patch. Follow status at
 https://chromium-cq-status.appspot.com/patch-status/1855023002/160001
View timeline at
 https://chromium-cq-status.appspot.com/patch-timeline/1855023002/160001

[commit-bot: I haz the power, 2016-04-18 05:03:38]

Description was changed from

==========
The previous validator had trouble handling cases where the move 
optimizer was merging phi lowering moves into the node defining the 
phi. Addressing such cases proved to be too difficult in the existing 
validator.

The new validator addresses this, by making no assumptions on phi 
lowering details.

This unblocks 1824303002.

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

to

==========
The previous validator had trouble handling cases where the move 
optimizer was merging phi lowering moves into the node defining the 
phi. Addressing such cases proved to be too difficult in the existing 
validator.

The new validator addresses this, by making no assumptions on phi 
lowering details.

This unblocks 1824303002.

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

[commit-bot: I haz the power, 2016-04-18 05:03:38]

Committed patchset #9 (id:160001)

[commit-bot: I haz the power, 2016-04-18 05:05:01]

Description was changed from

==========
The previous validator had trouble handling cases where the move 
optimizer was merging phi lowering moves into the node defining the 
phi. Addressing such cases proved to be too difficult in the existing 
validator.

The new validator addresses this, by making no assumptions on phi 
lowering details.

This unblocks 1824303002.

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

to

==========
The previous validator had trouble handling cases where the move
optimizer was merging phi lowering moves into the node defining the
phi. Addressing such cases proved to be too difficult in the existing
validator.

The new validator addresses this, by making no assumptions on phi
lowering details.

This unblocks 1824303002.

BUG=

Committed: https://crrev.com/48f0597dd41f2edd6ab654b9ac05dabce0a3797e
Cr-Commit-Position: refs/heads/master@{#35557}
==========

[commit-bot: I haz the power, 2016-04-18 05:05:02]

Patchset 9 (id:??) landed as
https://crrev.com/48f0597dd41f2edd6ab654b9ac05dabce0a3797e
Cr-Commit-Position: refs/heads/master@{#35557}