Implemented final Wasm GC binary and textual format.

mirkosertic · mirkosertic · commit 87d0f4d23c80 · 2023-11-30T21:11:28.000+01:00
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/Cast.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/Cast.java
@@ -31,19 +31,22 @@ public class Cast implements WasmValue {
     @Override
     public void writeTo(final TextWriter writer, final ExportContext context) throws IOException {
         writer.opening();
-        writer.write("ref.cast_static $");
+        writer.write("ref.cast");
+        writer.space();
+        writer.opening();
+        writer.write("ref null $");
         writer.write(structType.getName());
+        writer.closing();
         writer.space();
         source.writeTo(writer, context);
         writer.closing();
-
     }
 
     @Override
     public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext context) throws IOException {
         source.writeTo(binaryWriter, context);
         binaryWriter.writeByte((byte) 0xfb);
-        binaryWriter.writeByte((byte) 0x45);
+        binaryWriter.writeByte((byte) 0x17);
         binaryWriter.writeSignedLeb128(structType.index());
     }
 }
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/ConstExpressions.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/ConstExpressions.java
@@ -487,7 +487,7 @@ public static GetStruct get(final StructType structType, final WasmValue source,
     public static class array {
 
         public static WasmValue newInstance(final WasmType type, final List<WasmValue> arguments) {
-            return new NewWasmArrayStaticInit(type, arguments);
+            return new NewWasmArrayFixed(type, arguments);
         }
 
         public static WasmValue newInstanceDefault(final WasmType type, final WasmValue length) {
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/GetStruct.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/GetStruct.java
@@ -34,7 +34,7 @@ public void writeTo(final TextWriter writer, final ExportContext context) throws
     public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext context) throws IOException {
         source.writeTo(binaryWriter, context);
         binaryWriter.writeByte((byte) 0xfb);
-        binaryWriter.writeByte((byte) 0x03);
+        binaryWriter.writeByte((byte) 0x02);
         binaryWriter.writeUnsignedLeb128(structType.index());
         binaryWriter.writeUnsignedLeb128(structType.indexOfField(fieldName));
     }
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/GetWasmArray.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/GetWasmArray.java
@@ -33,7 +33,7 @@ public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext
         array.writeTo(binaryWriter, context);
         index.writeTo(binaryWriter, context);
         binaryWriter.writeByte((byte) 0xfb);
-        binaryWriter.writeByte((byte) 0x13);
+        binaryWriter.writeByte((byte) 0x0b);
         binaryWriter.writeUnsignedLeb128(type.index());
     }
 }
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/GetWasmArrayLength.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/GetWasmArrayLength.java
@@ -27,6 +27,6 @@ public void writeTo(final TextWriter writer, final ExportContext context) throws
     public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext context) throws IOException {
         array.writeTo(binaryWriter, context);
         binaryWriter.writeByte((byte) 0xfb);
-        binaryWriter.writeByte((byte) 0x19);
+        binaryWriter.writeByte((byte) 0x0f);
     }
 }
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/NewStruct.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/NewStruct.java
@@ -33,7 +33,7 @@ public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext
             arg.writeTo(binaryWriter, context);
         }
         binaryWriter.writeByte((byte) 0xfb);
-        binaryWriter.writeByte((byte) 0x07);
+        binaryWriter.writeByte((byte) 0x00);
         binaryWriter.writeUnsignedLeb128(type.index());
     }
 }
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/NewWasmArrayDefault.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/NewWasmArrayDefault.java
@@ -43,7 +43,7 @@ public void writeTo(final TextWriter writer, final ExportContext context) throws
     public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext context) throws IOException {
         length.writeTo(binaryWriter, context);
         binaryWriter.writeByte((byte) 0xfb);
-        binaryWriter.writeByte((byte) 0x1c);
+        binaryWriter.writeByte((byte) 0x07);
         binaryWriter.writeUnsignedLeb128(type.index());
     }
 }
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/NewWasmArrayFixed.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/NewWasmArrayFixed.java
@@ -3,21 +3,21 @@
 import java.io.IOException;
 import java.util.List;
 
-public class NewWasmArrayStaticInit implements WasmValue {
+public class NewWasmArrayFixed implements WasmValue {
 
     private final WasmType type;
 
     private final List<WasmValue> arguments;
 
-    NewWasmArrayStaticInit(final WasmType type, final List<WasmValue> arguments) {
+    NewWasmArrayFixed(final WasmType type, final List<WasmValue> arguments) {
         this.type = type;
         this.arguments = arguments;
     }
 
     @Override
     public void writeTo(final TextWriter writer, final ExportContext context) throws IOException {
         writer.opening();
-        writer.write("array.init_static ");
+        writer.write("array.new_fixed ");
         type.writeRefTo(writer);
         for (final WasmValue arg : arguments) {
             writer.space();
@@ -32,7 +32,7 @@ public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext
             arg.writeTo(binaryWriter, context);
         }
         binaryWriter.writeByte((byte) 0xfb);
-        binaryWriter.writeByte((byte) 0x1a);
+        binaryWriter.writeByte((byte) 0x08);
         binaryWriter.writeUnsignedLeb128(type.index());
         binaryWriter.writeUnsignedLeb128(arguments.size());
     }
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/RefEq.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/RefEq.java
@@ -19,6 +19,6 @@
 public class RefEq extends BinaryExpression {
 
     RefEq(final WasmValue left, final WasmValue right) {
-        super(left, right, "ref.eq", (byte) 0xd5);
+        super(left, right, "ref.eq", (byte) 0xd3);
     }
 }
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/RefType.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/RefType.java
@@ -69,9 +69,9 @@ public void writeRefTo(final TextWriter writer) {
     @Override
     public void writeTo(final BinaryWriter.Writer writer) throws IOException {
         if (nullable) {
-            writer.writeByte((byte) 0x6c);
+            writer.writeByte((byte) 0x63);
         } else {
-            writer.writeByte((byte) 0x6b);
+            writer.writeByte((byte) 0x64);
         }
         writer.writeSignedLeb128(type.index());
     }
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/SetStruct.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/SetStruct.java
@@ -54,7 +54,7 @@ public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext
         target.writeTo(binaryWriter, context);
         value.writeTo(binaryWriter, context);
         binaryWriter.writeByte((byte) 0xfb);
-        binaryWriter.writeByte((byte) 0x06);
+        binaryWriter.writeByte((byte) 0x05);
         binaryWriter.writeUnsignedLeb128(structType.index());
         binaryWriter.writeUnsignedLeb128(structType.indexOfField(fieldName));
     }
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/SetWasmArray.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/SetWasmArray.java
@@ -55,7 +55,7 @@ public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext
         index.writeTo(binaryWriter, context);
         value.writeTo(binaryWriter, context);
         binaryWriter.writeByte((byte) 0xfb);
-        binaryWriter.writeByte((byte) 0x16);
+        binaryWriter.writeByte((byte) 0x0e);
         binaryWriter.writeUnsignedLeb128(type.index());
     }
 }
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/StructSubtype.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/StructSubtype.java
@@ -45,14 +45,18 @@ public void writeTo(final TextWriter writer) {
         writer.space();
 
         writer.opening();
-        writer.write("struct_subtype");
+        writer.write("sub");
+        writer.space();
+        writer.write("$");
+        writer.write(supertype.name);
+        writer.space();
+        writer.opening();
+        writer.write("struct");
         for (final Field field : fields) {
             writer.space();
             field.writeTo(writer);
         }
-        writer.space();
-        writer.write("$");
-        writer.write(supertype.name);
+        writer.closing();
         writer.closing();
 
         writer.closing();
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/StructType.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/StructType.java
@@ -87,13 +87,17 @@ public void writeTo(final TextWriter writer) {
         writer.write(name);
         writer.space();
         writer.opening();
+        writer.write("sub");
+        writer.space();
+        writer.opening();
         writer.write("struct");
         for (final Field field : fields) {
             writer.space();
             field.writeTo(writer);
         }
         writer.closing();
         writer.closing();
+        writer.closing();
     }
 
     @Override
@@ -104,6 +108,8 @@ public void writeRefTo(final TextWriter writer) {
 
     @Override
     public void writeTo(final BinaryWriter.Writer writer) throws IOException {
+        writer.writeByte((byte) 0x50);
+        writer.writeByte((byte) 0);
         writer.writeByte(PrimitiveType.struct.getBinaryType());
         writer.writeByte((byte) fields.size());
         for (final Field f : fields) {
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/Wasm GC proposal_ spec for prototype implementation.pdf b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/Wasm GC proposal_ spec for prototype implementation.pdf
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/WasmExternNullRef.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/WasmExternNullRef.java
@@ -30,6 +30,6 @@ public void writeTo(final TextWriter writer, final ExportContext context) {
     @Override
     public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext context) {
         binaryWriter.writeByte((byte) 0xd0);
-        binaryWriter.writeByte((byte) 0x69);
+        binaryWriter.writeByte((byte) 0x72);
     }
 }
diff --git a/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/WasmNullRef.java b/core/src/main/java/de/mirkosertic/bytecoder/core/backend/wasm/ast/WasmNullRef.java
@@ -30,6 +30,6 @@ public void writeTo(final TextWriter writer, final ExportContext context) {
     @Override
     public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext context) {
         binaryWriter.writeByte((byte) 0xd0);
-        binaryWriter.writeByte((byte) 0x65);
+        binaryWriter.writeByte((byte) 0x71);
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -487,7 +487,7 @@ public static GetStruct get(final StructType structType, final WasmValue source,`
`487`	`487`	`public static class array {`
`488`	`488`
`489`	`489`	`public static WasmValue newInstance(final WasmType type, final List<WasmValue> arguments) {`
`490`		`- return new NewWasmArrayStaticInit(type, arguments);`
	`490`	`+ return new NewWasmArrayFixed(type, arguments);`
`491`	`491`	`}`
`492`	`492`
`493`	`493`	`public static WasmValue newInstanceDefault(final WasmType type, final WasmValue length) {`
Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,7 @@ public void writeTo(final TextWriter writer, final ExportContext context) throws`
`34`	`34`	`public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext context) throws IOException {`
`35`	`35`	`source.writeTo(binaryWriter, context);`
`36`	`36`	`binaryWriter.writeByte((byte) 0xfb);`
`37`		`- binaryWriter.writeByte((byte) 0x03);`
	`37`	`+ binaryWriter.writeByte((byte) 0x02);`
`38`	`38`	`binaryWriter.writeUnsignedLeb128(structType.index());`
`39`	`39`	`binaryWriter.writeUnsignedLeb128(structType.indexOfField(fieldName));`
`40`	`40`	`}`
Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext`
`33`	`33`	`array.writeTo(binaryWriter, context);`
`34`	`34`	`index.writeTo(binaryWriter, context);`
`35`	`35`	`binaryWriter.writeByte((byte) 0xfb);`
`36`		`- binaryWriter.writeByte((byte) 0x13);`
	`36`	`+ binaryWriter.writeByte((byte) 0x0b);`
`37`	`37`	`binaryWriter.writeUnsignedLeb128(type.index());`
`38`	`38`	`}`
`39`	`39`	`}`
Original file line number	Diff line number	Diff line change
`@@ -27,6 +27,6 @@ public void writeTo(final TextWriter writer, final ExportContext context) throws`
`27`	`27`	`public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext context) throws IOException {`
`28`	`28`	`array.writeTo(binaryWriter, context);`
`29`	`29`	`binaryWriter.writeByte((byte) 0xfb);`
`30`		`- binaryWriter.writeByte((byte) 0x19);`
	`30`	`+ binaryWriter.writeByte((byte) 0x0f);`
`31`	`31`	`}`
`32`	`32`	`}`
Original file line number	Diff line number	Diff line change
`@@ -43,7 +43,7 @@ public void writeTo(final TextWriter writer, final ExportContext context) throws`
`43`	`43`	`public void writeTo(final BinaryWriter.Writer binaryWriter, final ExportContext context) throws IOException {`
`44`	`44`	`length.writeTo(binaryWriter, context);`
`45`	`45`	`binaryWriter.writeByte((byte) 0xfb);`
`46`		`- binaryWriter.writeByte((byte) 0x1c);`
	`46`	`+ binaryWriter.writeByte((byte) 0x07);`
`47`	`47`	`binaryWriter.writeUnsignedLeb128(type.index());`
`48`	`48`	`}`
`49`	`49`	`}`
Original file line number	Diff line number	Diff line change
`@@ -19,6 +19,6 @@`
`19`	`19`	`public class RefEq extends BinaryExpression {`
`20`	`20`
`21`	`21`	`RefEq(final WasmValue left, final WasmValue right) {`
`22`		`- super(left, right, "ref.eq", (byte) 0xd5);`
	`22`	`+ super(left, right, "ref.eq", (byte) 0xd3);`
`23`	`23`	`}`
`24`	`24`	`}`
Original file line number	Diff line number	Diff line change
`@@ -69,9 +69,9 @@ public void writeRefTo(final TextWriter writer) {`
`69`	`69`	`@Override`
`70`	`70`	`public void writeTo(final BinaryWriter.Writer writer) throws IOException {`
`71`	`71`	`if (nullable) {`
`72`		`- writer.writeByte((byte) 0x6c);`
	`72`	`+ writer.writeByte((byte) 0x63);`
`73`	`73`	`} else {`
`74`		`- writer.writeByte((byte) 0x6b);`
	`74`	`+ writer.writeByte((byte) 0x64);`
`75`	`75`	`}`
`76`	`76`	`writer.writeSignedLeb128(type.index());`
`77`	`77`	`}`