Use FlushTargetFilter to pre-filter targets before checking their results.

Use FlushTargetFilter to pre-filter targets before checking their results.

This helps to reduce number of checks, so makes flushing faster.
In non-incremental changes it gives 0.32% -> 0.11%.
In incremental changes it gives 10% -> 2.6%.

We still pass both target and result into the second filter for
convenience, e.g. to print them both without need to remember the
current target in a local variable.

R=brianwilkerson@google.com
BUG=

Committed: https://github.com/dart-lang/sdk/commit/2e24662c066e7340f2f60e29fc2f795fd65f6bba

[Brian Wilkerson, 2016-08-24 16:14:47]

lgtm

[scheglov, 2016-08-24 16:44:12]

Description was changed from

==========
Use FlushTargetFilter to pre-filter targets before checking their results.

This helps to reduce number of checks, so makes flushing faster.
In non-incremental changes it gives 0.32% -> 0.11%.
In incremental changes it gives 10% -> 2.6%.

We still pass both target and result into the second filter for
convenience, e.g. to print them both without need to remember the
current target in a local variable.

R=brianwilkerson@google.com
BUG=
==========

to

==========
Use FlushTargetFilter to pre-filter targets before checking their results.

This helps to reduce number of checks, so makes flushing faster.
In non-incremental changes it gives 0.32% -> 0.11%.
In incremental changes it gives 10% -> 2.6%.

We still pass both target and result into the second filter for
convenience, e.g. to print them both without need to remember the
current target in a local variable.

R=brianwilkerson@google.com
BUG=

Committed:
https://github.com/dart-lang/sdk/commit/2e24662c066e7340f2f60e29fc2f795fd65f6bba
==========

[scheglov, 2016-08-24 16:44:13]

Committed patchset #1 (id:1) manually as
2e24662c066e7340f2f60e29fc2f795fd65f6bba (presubmit successful).