V8. ASM-2-WASM. Migrates asm-wasm-builder to the new asm-typer.

src/asmjs/asm-types.h

 // 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.
 
 #ifndef SRC_ASMJS_ASM_TYPES_H_
 #define SRC_ASMJS_ASM_TYPES_H_
 
 #include <string>
 
 #include "src/base/macros.h"
@@ skipping 92 matching lines @@
   // AsmValueTypes can't be created except through AsmValueType::New.
   DISALLOW_IMPLICIT_CONSTRUCTORS(AsmValueType);
 };
 
 class AsmCallableType : public ZoneObject {
  public:
   virtual std::string Name() = 0;
   virtual AsmType* ValidateCall(AsmType* return_type,
                                 const ZoneVector<AsmType*>& args) = 0;
 
+  virtual bool CanBeInvokedWith(AsmType* return_type,
+                                const ZoneVector<AsmType*>& args) = 0;
+
 #define DECLARE_CAST(CamelName) \
   virtual Asm##CamelName* As##CamelName() { return nullptr; }
   FOR_EACH_ASM_CALLABLE_TYPE_LIST(DECLARE_CAST)
 #undef DECLARE_CAST
 
  protected:
   AsmCallableType() = default;
   virtual ~AsmCallableType() = default;
 
  private:
   DISALLOW_COPY_AND_ASSIGN(AsmCallableType);
 };
 
 class AsmFunctionType : public AsmCallableType {
  public:
   AsmFunctionType* AsFunctionType() final { return this; }
 
   void AddArgument(AsmType* type) { args_.push_back(type); }
   const ZoneVector<AsmType*> Arguments() const { return args_; }
   AsmType* ReturnType() const { return return_type_; }
 
   virtual bool IsMinMaxType() const { return false; }
   virtual bool IsFroundType() const { return false; }
 
   AsmType* ValidateCall(AsmType* return_type,
                         const ZoneVector<AsmType*>& args) override;
+  bool CanBeInvokedWith(AsmType* return_type,
+                        const ZoneVector<AsmType*>& args) override;
 
  protected:
   AsmFunctionType(Zone* zone, AsmType* return_type)
       : return_type_(return_type), args_(zone) {}
 
  private:
   friend AsmType;
 
   std::string Name() override;
 
@@ skipping 12 matching lines @@
   void AddOverload(AsmType* overload);
 
  private:
   friend AsmType;
 
   explicit AsmOverloadedFunctionType(Zone* zone) : overloads_(zone) {}
 
   std::string Name() override;
   AsmType* ValidateCall(AsmType* return_type,
                         const ZoneVector<AsmType*>& args) override;
+  bool CanBeInvokedWith(AsmType* return_type,
+                        const ZoneVector<AsmType*>& args) override;
 
   ZoneVector<AsmType*> overloads_;
 
   DISALLOW_IMPLICIT_CONSTRUCTORS(AsmOverloadedFunctionType);
 };
 
 class AsmFFIType final : public AsmCallableType {
  public:
   AsmFFIType* AsFFIType() override { return this; }
 
   std::string Name() override { return "Function"; }
   AsmType* ValidateCall(AsmType* return_type,
                         const ZoneVector<AsmType*>& args) override;
+  bool CanBeInvokedWith(AsmType* return_type,
+                        const ZoneVector<AsmType*>& args) override;
 
  private:
   friend AsmType;
 
   AsmFFIType() = default;
 
   DISALLOW_COPY_AND_ASSIGN(AsmFFIType);
 };
 
 class AsmFunctionTableType : public AsmCallableType {
  public:
   AsmFunctionTableType* AsFunctionTableType() override { return this; }
 
   std::string Name() override;
 
   AsmType* ValidateCall(AsmType* return_type,
                         const ZoneVector<AsmType*>& args) override;
+  bool CanBeInvokedWith(AsmType* return_type,
+                        const ZoneVector<AsmType*>& args) override;
 
   size_t length() const { return length_; }
   AsmType* signature() { return signature_; }
 
  private:
   friend class AsmType;
 
   AsmFunctionTableType(size_t length, AsmType* signature);
 
   size_t length_;
@@ skipping 128 matching lines @@
   // Returns the store type if this is a heap type. AsmType::None is returned if
   // this is not a heap type.
   AsmType* StoreType();
 };
 
 }  // namespace wasm
 }  // namespace internal
 }  // namespace v8
 
 #endif  // SRC_ASMJS_ASM_TYPES_H_