todo

kripken · kripken · commit b77d0f952136 · 2025-11-05T10:43:16.000-08:00
diff --git a/src/ir/module-splitting.cpp b/src/ir/module-splitting.cpp
@@ -993,6 +993,7 @@ void ModuleSplitter::updateIR() {
         assert(curr->type.isExact());
         if (wasm.features.hasCustomDescriptors()) {
           // Add a cast, as the parent may depend on the exactness to validate.
+          // TODO: The cast may be needed even without CD enabled
           replaceCurrent(Builder(wasm).makeRefCast(curr, curr->type));
         }
         curr->type = curr->type.with(Inexact);

Original file line number	Diff line number	Diff line change
`@@ -993,6 +993,7 @@ void ModuleSplitter::updateIR() {`
`993`	`993`	`assert(curr->type.isExact());`
`994`	`994`	`if (wasm.features.hasCustomDescriptors()) {`
`995`	`995`	`// Add a cast, as the parent may depend on the exactness to validate.`
	`996`	`+ // TODO: The cast may be needed even without CD enabled`
`996`	`997`	`replaceCurrent(Builder(wasm).makeRefCast(curr, curr->type));`
`997`	`998`	`}`
`998`	`999`	`curr->type = curr->type.with(Inexact);`