V8. ASM-2-WASM. Another asm-types.h revision.

src/wasm/asm-types.cc

 // Copyright 2016 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.
 
 #include "src/v8.h"
 
 #include "src/wasm/asm-types.h"
 
 namespace v8 {
 namespace internal {
 namespace wasm {
 
 AsmCallableType* AsmType::AsCallableType() {
+  if (AsValueType() != nullptr) {
+    return nullptr;
+  }
+
   DCHECK(this->AsFunctionType() != nullptr ||
-         this->AsOverloadedFunctionType() != nullptr);
+         this->AsOverloadedFunctionType() != nullptr ||
+         this->AsFFIType() != nullptr ||
+         this->AsFunctionTableType() != nullptr);
   return reinterpret_cast<AsmCallableType*>(this);
 }
 
 std::string AsmType::Name() {
   AsmValueType* avt = this->AsValueType();
   if (avt != nullptr) {
     switch (avt->Bitset()) {
 #define RETURN_TYPE_NAME(CamelName, string_name, number, parent_types) \
   case AsmValueType::kAsm##CamelName:                                  \
     return string_name;
@@ skipping 132 matching lines @@
 class AsmFroundType final : public AsmFunctionType {
  public:
   bool IsFroundType() const override { return true; }
 
  private:
   friend AsmType;
 
   explicit AsmFroundType(Zone* zone)
       : AsmFunctionType(zone, AsmType::Float()) {}
 
-  AsmType* ValidateCall(AsmType* function_type) override;
+  AsmType* ValidateCall(AsmType* return_type,
+                        const ZoneVector<AsmType*>& args) override;
 };
 }  // namespace
 
 AsmType* AsmType::FroundType(Zone* zone) {
   auto* Fround = new (zone) AsmFroundType(zone);
   return reinterpret_cast<AsmType*>(Fround);
 }
 
-AsmType* AsmFroundType::ValidateCall(AsmType* function_type) {
-  auto* callable = function_type->AsFunctionType();
-  if (callable->Arguments().size() != 1) {
+AsmType* AsmFroundType::ValidateCall(AsmType* return_type,
+                                     const ZoneVector<AsmType*>& args) {
+  if (args.size() != 1) {
     return AsmType::None();
   }
 
-  auto* arg = callable->Arguments()[0];
+  auto* arg = args[0];
   if (!arg->IsA(AsmType::Floatish()) && !arg->IsA(AsmType::DoubleQ()) &&
       !arg->IsA(AsmType::Signed()) && !arg->IsA(AsmType::Unsigned())) {
     return AsmType::None();
   }
 
   return AsmType::Float();
 }
 
 namespace {
 class AsmMinMaxType final : public AsmFunctionType {
  public:
   bool IsMinMaxType() const override { return true; }
 
  private:
   friend AsmType;
 
   AsmMinMaxType(Zone* zone, AsmType* dest, AsmType* src)
       : AsmFunctionType(zone, dest) {
     AddArgument(src);
     AddArgument(src);
   }
 
-  AsmType* ValidateCall(AsmType* function_type) override {
-    auto* callable = function_type->AsFunctionType();
-    if (callable == nullptr) {
-      return nullptr;
-    }
-
-    if (!ReturnType()->IsExactly(callable->ReturnType())) {
+  AsmType* ValidateCall(AsmType* return_type,
+                        const ZoneVector<AsmType*>& args) override {
+    if (!ReturnType()->IsExactly(return_type)) {
       return AsmType::None();
     }
 
-    if (callable->Arguments().size() < 2) {
+    if (args.size() < 2) {
       return AsmType::None();
     }
 
     for (size_t ii = 0; ii < Arguments().size(); ++ii) {
-      if (!Arguments()[0]->IsExactly(callable->Arguments()[ii])) {
+      if (!Arguments()[0]->IsExactly(args[ii])) {
         return AsmType::None();
       }
     }
 
     return ReturnType();
   }
 };
 }  // namespace
 
 AsmType* AsmType::MinMaxType(Zone* zone, AsmType* dest, AsmType* src) {
   DCHECK(dest->AsValueType() != nullptr);
   DCHECK(src->AsValueType() != nullptr);
   auto* MinMax = new (zone) AsmMinMaxType(zone, dest, src);
   return reinterpret_cast<AsmType*>(MinMax);
 }
 
-AsmType* AsmFunctionType::ValidateCall(AsmType* function_type) {
-  auto* callable = function_type->AsFunctionType();
-  if (callable == nullptr) {
-    return nullptr;
+AsmType* AsmFFIType::ValidateCall(AsmType* return_type,
+                                  const ZoneVector<AsmType*>& args) {
+  for (size_t ii = 0; ii < args.size(); ++ii) {
+    if (!args[ii]->IsA(AsmType::Extern())) {
+      return AsmType::None();
+    }
   }
 
-  if (!return_type_->IsExactly(callable->return_type_)) {
+  return return_type;
+}
+
+AsmType* AsmFunctionType::ValidateCall(AsmType* return_type,
+                                       const ZoneVector<AsmType*>& args) {
+  if (!return_type_->IsExactly(return_type)) {
     return AsmType::None();
   }
 
-  if (args_.size() != callable->args_.size()) {
+  if (args_.size() != args.size()) {
     return AsmType::None();
   }
 
   for (size_t ii = 0; ii < args_.size(); ++ii) {
-    if (!args_[ii]->IsExactly(callable->args_[ii])) {
+    if (!args_[ii]->IsExactly(args[ii])) {
       return AsmType::None();
     }
   }
 
   return return_type_;
 }
 
 std::string AsmOverloadedFunctionType::Name() {
   std::string ret;
 
   for (size_t ii = 0; ii < overloads_.size(); ++ii) {
     if (ii != 0) {
       ret += " /\\ ";
     }
     ret += overloads_[ii]->Name();
   }
 
   return ret;
 }
 
-AsmType* AsmOverloadedFunctionType::ValidateCall(AsmType* function_type) {
-  auto* callable = function_type->AsFunctionType();
-  if (callable == nullptr) {
-    return AsmType::None();
-  }
-
+AsmType* AsmOverloadedFunctionType::ValidateCall(
+    AsmType* return_type, const ZoneVector<AsmType*>& args) {
   for (size_t ii = 0; ii < overloads_.size(); ++ii) {
     auto* validated_type =
-        overloads_[ii]->AsCallableType()->ValidateCall(function_type);
+        overloads_[ii]->AsCallableType()->ValidateCall(return_type, args);
     if (validated_type != AsmType::None()) {
       return validated_type;
     }
   }
 
   return AsmType::None();
 }
 
 void AsmOverloadedFunctionType::AddOverload(AsmType* overload) {
   DCHECK(overload->AsFunctionType() != nullptr);
   overloads_.push_back(overload);
 }
 
+AsmFunctionTableType::AsmFunctionTableType(size_t length, AsmType* signature)
+    : length_(length), signature_(signature) {
+  DCHECK(signature_ != nullptr);
+  DCHECK(signature_->AsFunctionType() != nullptr);
+}
+
+std::string AsmFunctionTableType::Name() {
+  return signature_->Name() + "[" + std::to_string(length_) + "]";

[Mostyn Bramley-Moore, 2016/07/04 20:23:36]

std::to_string is in the "C++11 Standard Library Features To Be Discussed"
section of the C++11 use in Chromium doc:
https://chromium-cpp.appspot.com/#library-review

Should this be discussed at cxx@chromium.org first?

+}
+
+AsmType* AsmFunctionTableType::ValidateCall(AsmType* return_type,
+                                            const ZoneVector<AsmType*>& args) {
+  return signature_->AsCallableType()->ValidateCall(return_type, args);
+}
+
 }  // namespace wasm
 }  // namespace internal
 }  // namespace v8