Address review comments from https://chromiumcodereview.appspot.com/10454049/.

lib/compiler/implementation/ssa/validate.dart

Index: lib/compiler/implementation/ssa/validate.dart
===================================================================
--- lib/compiler/implementation/ssa/validate.dart	(revision 8091)
+++ lib/compiler/implementation/ssa/validate.dart	(working copy)
@@ -83,8 +83,9 @@
     if (!isValid) return;
     block.forEachPhi(visitInstruction);
 
-    // Make sure the parameters of a phi are dominating the
-    // corresponding predecessor block.
+    // Make sure the blocks of the parameters of a phi are dominating the

[Lasse Reichstein Nielsen, 2012/05/31 07:11:58]

Pedantry: "Make sure" -> "Check that". If you "make sure", you are willing to
change something to make it so. If you merely check it, the check can fail.
Ditto below.

[ngeoffray, 2012/05/31 08:16:16]

Done.

+    // corresponding predecessor block. Note that block dominates

[Lasse Reichstein Nielsen, 2012/05/31 07:11:58]

"block dominates" -> "blocks dominate" (or "a block dominates itself").

[ngeoffray, 2012/05/31 08:16:16]

Done.

+    // themselves.
     block.forEachPhi((HPhi phi) {
       for (int i = 0; i < phi.inputs.length; i++) {
         HInstruction input = phi.inputs[i];
@@ -94,8 +95,8 @@
       }
     });
 
-    // Make sure the inputs of an instruction dominate the
-    // instruction.
+    // Make sure the blocks of the inputs of an instruction dominate the
+    // instruction's block.
     block.forEachInstruction((HInstruction instruction) {
       for (HInstruction input in instruction.inputs) {
         if (!input.block.dominates(block)) {