Revert "Avoid "=== true" inside code by calling a function that does this for us."

lib/compiler/implementation/ssa/optimize.dart

 // Copyright (c) 2011, 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.
 
 interface OptimizationPhase {
   String get name();
   void visitGraph(HGraph graph);
 }
 
 class SsaOptimizerTask extends CompilerTask {
@@ skipping 275 matching lines @@
     }
 
     if (left.isNonPrimitive() && node.operation.isUserDefinable()) {
       SourceString methodName = Elements.constructOperatorName(
           const SourceString('operator'), node.operation.name);
       return fromInterceptorToDynamicInvocation(node, methodName);
     }
     return node;
   }
 
-  bool allUsersAreBoolifies(HInstruction instruction) {
-    List<HInstruction> users = instruction.usedBy;
-    int length = users.length;
-    for (int i = 0; i < length; i++) {
-      if (users[i] is! HBoolify) return false;
-    }
-    return true;
-  }
-
-  HInstruction visitRelational(HRelational node) {
-    if (allUsersAreBoolifies(node)) {
-      Interceptors interceptors = compiler.builder.interceptors;
-      HStatic oldTarget = node.target;
-      Element boolifiedInterceptor =
-          interceptors.getBoolifiedVersionOf(oldTarget.element);
-      if (boolifiedInterceptor !== null) {
-        HStatic boolifiedTarget = new HStatic(boolifiedInterceptor);
-        // We don't remove the [oldTarget] in case it is used by other
-        // instructions. If it is unused it will be treated as dead code and
-        // discarded.
-        oldTarget.block.addAfter(oldTarget, boolifiedTarget);
-        // Remove us as user from the [oldTarget].
-        HBasicBlock.removeUser(oldTarget, node);
-        // Replace old target with boolified target.
-        assert(node.target == node.inputs[0]);
-        node.inputs[0] = boolifiedTarget;
-        boolifiedTarget.usedBy.add(node);
-        node.usesBoolifiedInterceptor = true;
-        node.propagatedType = HType.BOOLEAN;
-      }
-      // This node stays the same, but the Boolify node will go away.
-    }
-    // Note that we still have to call [super] to make sure that we end up
-    // in the remaining optimizations.
-    return super.visitRelational(node);
-  }
-
   HInstruction handleIdentityCheck(HInvokeBinary node) {
     HInstruction left = node.left;
     HInstruction right = node.right;
     HType leftType = left.propagatedType;
     HType rightType = right.propagatedType;
     assert(!leftType.isConflicting() && !rightType.isConflicting());
 
     // We don't optimize on numbers to preserve the runtime semantics.
     if (!(left.isNumber() && right.isNumber()) &&
         leftType.intersection(rightType).isConflicting()) {
@@ skipping 41 matching lines @@
 
   HInstruction visitEquals(HEquals node) {
     HInstruction left = node.left;
     HInstruction right = node.right;
 
     if (node.builtin) {
       return foldBuiltinEqualsCheck(node);
     }
 
     if (left.isConstant() && right.isConstant()) {
-      return super.visitEquals(node);
+      return visitInvokeBinary(node);
     }
 
     if (left.isNonPrimitive()) {
       HNonPrimitiveType type = left.propagatedType;
       Element element = type.lookupMember(Namer.OPERATOR_EQUALS);
       if (element !== null) {
         // If the left-hand side is guaranteed to be a non-primitive
         // type and and it defines operator==, we emit a call to that
         // operator.
-        return super.visitEquals(node);
+        return visitInvokeBinary(node);
       } else if (right.isConstantNull()) {
         return graph.addConstantBool(false);
       } else {
         // We can just emit an identity check because the type does
         // not implement operator=.
         return foldBuiltinEqualsCheck(node);
       }
     }
 
     if (right.isConstantNull()) {
       if (left.propagatedType.isUseful()) {
         return graph.addConstantBool(false);
       } else {
         // TODO(floitsch): cache interceptors.
-        Interceptors interceptors = compiler.builder.interceptors;
-        Element targetElement = interceptors.getEqualsNullInterceptor();
-        bool onlyUsedInBoolify = allUsersAreBoolifies(node);
-        if (onlyUsedInBoolify) {
-          targetElement = interceptors.getBoolifiedVersionOf(targetElement);
-        }
-        HStatic target = new HStatic(targetElement);
+        HStatic target = new HStatic(
+            compiler.builder.interceptors.getEqualsNullInterceptor());
         node.block.addBefore(node, target);
-        HEquals result = new HEquals(target, node.left, node.right);
-        if (onlyUsedInBoolify) {
-          result.usesBoolifiedInterceptor = true;
-          result.propagatedType = HType.BOOLEAN;
-        }
-        return result;
+        return new HEquals(target, node.left, node.right);
       }
     }
 
-    // All other cases are dealt with by the [visitRelational] and
-    // [visitInvokeBinary], which are visited by invoking the [super]'s
-    // visit method.
-    return super.visitEquals(node);
+    // All other cases are dealt with by the [visitInvokeBinary].
+    return visitInvokeBinary(node);
   }
 
   HInstruction visitTypeGuard(HTypeGuard node) {
     HInstruction value = node.guarded;
     // If the union of the types is still the guarded type than the incoming
     // type was a subtype of the guarded type, and no check is required.
     HType combinedType = value.propagatedType.union(node.guardedType);
     return (combinedType == value.propagatedType) ? value : node;
   }
 
@@ skipping 515 matching lines @@
         }
       }
       if (!canBeMoved) continue;
 
       // This is safe because we are running after GVN.
       // TODO(ngeoffray): ensure GVN has been run.
       set_.add(current);
     }
   }
 }