diff options
author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2022-05-03 18:08:09 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-04 01:08:09 +0000 |
commit | 60e602896e82e988e4fcbfac74aa9639b4ac8814 (patch) | |
tree | 7f6ccb1b148235fcfd47212f9d3732e8429ecb26 /test/gtest | |
parent | 737f65a593226119d085e34393592e7462f60cba (diff) | |
download | binaryen-60e602896e82e988e4fcbfac74aa9639b4ac8814.tar.gz binaryen-60e602896e82e988e4fcbfac74aa9639b4ac8814.tar.bz2 binaryen-60e602896e82e988e4fcbfac74aa9639b4ac8814.zip |
Remove externref (#4633)
Remove `Type::externref` and `HeapType::ext` and replace them with uses of
anyref and any, respectively, now that we have unified these types in the GC
proposal. For backwards compatibility, continue to parse `extern` and
`externref` and maintain their relevant C API functions.
Diffstat (limited to 'test/gtest')
-rw-r--r-- | test/gtest/type-builder.cpp | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/test/gtest/type-builder.cpp b/test/gtest/type-builder.cpp index 7817939ce..42b388532 100644 --- a/test/gtest/type-builder.cpp +++ b/test/gtest/type-builder.cpp @@ -118,7 +118,7 @@ TEST_F(TypeTest, IndexedTypePrinter) { TEST_F(EquirecursiveTest, Basics) { // (type $sig (func (param (ref $struct)) (result (ref $array) i32))) // (type $struct (struct (field (ref null $array) (mut rtt 0 $array)))) - // (type $array (array (mut externref))) + // (type $array (array (mut anyref))) TypeBuilder builder(3); ASSERT_EQ(builder.size(), size_t{3}); @@ -127,11 +127,11 @@ TEST_F(EquirecursiveTest, Basics) { Type refArray = builder.getTempRefType(builder[2], NonNullable); Type refNullArray = builder.getTempRefType(builder[2], Nullable); Type rttArray = builder.getTempRttType(Rtt(0, builder[2])); - Type refNullExt(HeapType::ext, Nullable); + Type refNullAny(HeapType::any, Nullable); Signature sig(refStruct, builder.getTempTupleType({refArray, Type::i32})); Struct struct_({Field(refNullArray, Immutable), Field(rttArray, Mutable)}); - Array array(Field(refNullExt, Mutable)); + Array array(Field(refNullAny, Mutable)); builder[0] = sig; builder[1] = struct_; @@ -159,7 +159,7 @@ TEST_F(EquirecursiveTest, Basics) { EXPECT_EQ( built[1].getStruct(), Struct({Field(newRefNullArray, Immutable), Field(newRttArray, Mutable)})); - EXPECT_EQ(built[2].getArray(), Array(Field(refNullExt, Mutable))); + EXPECT_EQ(built[2].getArray(), Array(Field(refNullAny, Mutable))); // The built types should be different from the temporary types. EXPECT_NE(newRefSig, refSig); @@ -475,14 +475,14 @@ TEST_F(IsorecursiveTest, CanonicalizeTypesBeforeSubtyping) { static void testCanonicalizeBasicTypes() { TypeBuilder builder(5); - Type externref = builder.getTempRefType(builder[0], Nullable); - Type externrefs = builder.getTempTupleType({externref, externref}); + Type anyref = builder.getTempRefType(builder[0], Nullable); + Type anyrefs = builder.getTempTupleType({anyref, anyref}); - builder[0] = HeapType::ext; - builder[1] = Struct({Field(externref, Immutable)}); - builder[2] = Struct({Field(Type::externref, Immutable)}); - builder[3] = Signature(externrefs, Type::none); - builder[4] = Signature({Type::externref, Type::externref}, Type::none); + builder[0] = HeapType::any; + builder[1] = Struct({Field(anyref, Immutable)}); + builder[2] = Struct({Field(Type::anyref, Immutable)}); + builder[3] = Signature(anyrefs, Type::none); + builder[4] = Signature({Type::anyref, Type::anyref}, Type::none); auto result = builder.build(); ASSERT_TRUE(result); |