During bailout construction add condition instructions to list of live variables.

lib/compiler/implementation/ssa/bailout.dart

Index: lib/compiler/implementation/ssa/bailout.dart
diff --git a/lib/compiler/implementation/ssa/bailout.dart b/lib/compiler/implementation/ssa/bailout.dart
index 85bb7524c7e5205db6b2b124bcdf2cf74b64a1ae..bbc26d2b2ebc1ad88f82dde102d25f0318874c88 100644
--- a/lib/compiler/implementation/ssa/bailout.dart
+++ b/lib/compiler/implementation/ssa/bailout.dart
@@ -205,6 +205,7 @@ class SsaTypeGuardBuilder extends HBaseVisitor implements OptimizationPhase {
     environment = thenEnvironment;
     visitSubGraph(info.thenGraph);
     environment.addAll(elseEnvironment);
+    environment.add(instruction.condition);

[ngeoffray, 2012/03/30 08:18:50]

Maybe call visitInstruction instead? I know it ends up doing just this, but it
may be safer to call it.

[floitsch, 2012/03/30 17:54:27]

done. But be aware that this became visitInstruction(instruction) and not
visitInstruction(instruction.condition).

   }
 
   void visitGoto(HGoto goto) {
@@ -252,6 +253,7 @@ class SsaTypeGuardBuilder extends HBaseVisitor implements OptimizationPhase {
     // We merge the environment required by the code after the loop,
     // and the code inside the loop.
     environment.addAll(joinEnvironment);
+    environment.add(branch.condition);

[ngeoffray, 2012/03/30 08:18:50]

ditto

[floitsch, 2012/03/30 17:54:27]

ditto (done, but visitInstruction(branch)).

   }
 
   // Deal with all kinds of control flow instructions. In case we add