Use asm style type names and improve asm typer.

test/cctest/test-ast-expression-visitor.cc

 // Copyright 2015 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // TODO(jochen): Remove this after the setting is turned on globally.
 #define V8_IMMINENT_DEPRECATION_WARNINGS
 
 #include <stdlib.h>
 
 #include "src/v8.h"
@@ skipping 255 matching lines @@
       // return { geometricMean: geometricMean };
       CHECK_EXPR(ObjectLiteral, Bounds::Unbounded()) {
         CHECK_VAR(geometricMean, Bounds::Unbounded());
       }
     }
   }
   CHECK_TYPES_END
 }
 
 
+TEST(VisitConditional) {
+  v8::V8::Initialize();
+  HandleAndZoneScope handles;
+  ZoneVector<ExpressionTypeEntry> types(handles.main_zone());
+  // Check that traversing the ternary operator works.
+  const char test_function[] =
+      "function foo() {\n"
+      "  var a, b, c;\n"
+      "  var x = a ? b : c;\n"
+      "}\n";
+  CollectTypes(&handles, test_function, &types);
+  CHECK_TYPES_BEGIN {
+    CHECK_EXPR(FunctionLiteral, Bounds::Unbounded()) {
+      CHECK_EXPR(Assignment, Bounds::Unbounded()) {
+        CHECK_VAR(x, Bounds::Unbounded());
+        CHECK_EXPR(Conditional, Bounds::Unbounded()) {
+          CHECK_VAR(a, Bounds::Unbounded());
+          CHECK_VAR(b, Bounds::Unbounded());
+          CHECK_VAR(c, Bounds::Unbounded());
+        }
+      }
+    }
+  }
+  CHECK_TYPES_END
+}
+
+
 TEST(VisitEmptyForStatment) {
   v8::V8::Initialize();
   HandleAndZoneScope handles;
   ZoneVector<ExpressionTypeEntry> types(handles.main_zone());
   // Check that traversing an empty for statement works.
   const char test_function[] =
       "function foo() {\n"
       "  for (;;) {}\n"
       "}\n";
   CollectTypes(&handles, test_function, &types);
@@ skipping 100 matching lines @@
     CHECK_EXPR(FunctionLiteral, Bounds::Unbounded()) {
       CHECK_EXPR(BinaryOperation, Bounds::Unbounded()) {
         // Skip x + x
         CHECK_SKIP();
         CHECK_EXPR(Literal, Bounds::Unbounded());
       }
     }
   }
   CHECK_TYPES_END
 }