Eliminate interface bool

runtime/vm/flow_graph_optimizer.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/flow_graph_optimizer.h"
 
 #include "vm/cha.h"
 #include "vm/flow_graph_builder.h"
 #include "vm/hash_map.h"
 #include "vm/il_printer.h"
@@ skipping 773 matching lines @@
   // below to also eliminate the test for non-null and non-constant value.
 
   // We can only eliminate an 'assert boolean' test when the checked value is
   // a constant time constant. Indeed, a variable of the proper compile time
   // type (bool) may still hold null at run time and therefore fail the test.
   if (FLAG_eliminate_type_checks &&
       !comp->is_eliminated() &&
       comp->value()->BindsToConstant() &&
       !comp->value()->BindsToConstantNull() &&
       comp->value()->CompileTypeIsMoreSpecificThan(
-          Type::Handle(Type::BoolInterface()))) {
+          Type::Handle(Type::BoolType()))) {
     // TODO(regis): Remove is_eliminated_ field and support.
     comp->eliminate();
 
     UseVal* use = comp->value()->AsUse();
     ASSERT(use != NULL);
     Definition* result = use->definition();
     ASSERT(result != NULL);
     // Replace uses and remove the current instructions via the iterator.
     instr->ReplaceUsesWith(result);
     ASSERT(current_iterator()->Current() == instr);
     current_iterator()->RemoveCurrentFromGraph();
     if (FLAG_trace_optimization) {
       OS::Print("Replacing v%d with v%d\n",
                 instr->ssa_temp_index(),
                 result->ssa_temp_index());
     }
 
     if (FLAG_trace_type_check_elimination) {
       const String& name = String::Handle(Symbols::New("boolean expression"));
       FlowGraphPrinter::PrintTypeCheck(parsed_function(),
                                        comp->token_pos(),
                                        comp->value(),
-                                       Type::Handle(Type::BoolInterface()),
+                                       Type::Handle(Type::BoolType()),
                                        name,
                                        comp->is_eliminated());
     }
   }
 }
 
 
 void FlowGraphTypePropagator::VisitInstanceOf(InstanceOfComp* comp,
                                               BindInstr* instr) {
   // TODO(regis): Propagate NullType as well and revise the comment and code
@@ skipping 228 matching lines @@
       DirectChainedHashMap<BindInstr*> child_map(*map);  // Copy map.
       OptimizeRecursive(child, &child_map);
     } else {
       OptimizeRecursive(child, map);  // Reuse map for the last child.
     }
   }
 }
 
 
 }  // namespace dart