chromium/v8/test/unittests/wasm/subtyping-unittest.cc

// Copyright 2020 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/wasm/canonical-types.h"
#include "src/wasm/wasm-subtyping.h"
#include "test/common/flag-utils.h"
#include "test/common/wasm/flag-utils.h"
#include "test/unittests/test-utils.h"

namespace v8::internal::wasm::subtyping_unittest {

class WasmSubtypingTest : public TestWithPlatform { … };
FieldInit;

constexpr ValueType ref(uint32_t index) { … }
constexpr ValueType refNull(uint32_t index) { … }

FieldInit mut(ValueType type) { … }
FieldInit immut(ValueType type) { … }

void DefineStruct(WasmModule* module, std::initializer_list<FieldInit> fields,
                  uint32_t supertype = kNoSuperType, bool is_final = false,
                  bool is_shared = false, bool in_singleton_rec_group = true) { … }

void DefineArray(WasmModule* module, FieldInit element_type,
                 uint32_t supertype = kNoSuperType, bool is_final = false,
                 bool is_shared = false, bool in_singleton_rec_group = true) { … }

void DefineSignature(WasmModule* module,
                     std::initializer_list<ValueType> params,
                     std::initializer_list<ValueType> returns,
                     uint32_t supertype = kNoSuperType, bool is_final = false,
                     bool is_shared = false,
                     bool in_singleton_rec_group = true) { … }

TEST_F(WasmSubtypingTest, Subtyping) { … }

}  // namespace v8::internal::wasm::subtyping_unittest