diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-26 22:51:55 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-26 22:51:55 +0000 |
| commit | 7035f25c5690d3e9d9cb3fa6df58519a754e39c5 (patch) | |
| tree | f7bef1491fe2c9c06155c893c6c4e190b8b3e9ad /src/main/java | |
| parent | 0f4259f445f66ab55d41f2b2139678b8dae15cdd (diff) | |
Store Wasm type for Patio locals
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/backends/wasm/PatioToWasm.java | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/main/java/org/shedlang/compiler/backends/wasm/PatioToWasm.java b/src/main/java/org/shedlang/compiler/backends/wasm/PatioToWasm.java index b14d7a35..9f488b8a 100644 --- a/src/main/java/org/shedlang/compiler/backends/wasm/PatioToWasm.java +++ b/src/main/java/org/shedlang/compiler/backends/wasm/PatioToWasm.java @@ -794,7 +794,10 @@ public class PatioToWasm { } private static class Context { - private record PatioLocalInfo(WasmLocalIndex wasmLocalIndex) {} + private record PatioLocalInfo( + WasmLocalIndex wasmLocalIndex, + WasmValueType wasmType + ) {} public static Context forFunction( WasmTarget platformTarget, @@ -805,7 +808,7 @@ public class PatioToWasm { for (var local : locals) { var wasmLocalIndex = new WasmLocalIndex(patioLocalNameToInfo.size()); - var localInfo = new PatioLocalInfo(wasmLocalIndex); + var localInfo = new PatioLocalInfo(wasmLocalIndex, local.type()); patioLocalNameToInfo = patioLocalNameToInfo.plus( local.name(), localInfo |