We currently give up computing effects for indirect calls in Binaryen, which halts many optimizations. We can come up with more precise effects in the closed-world case by aggregating the effects of all functions of the given function type into the indirect call.
We currently give up computing effects for indirect calls in Binaryen, which halts many optimizations. We can come up with more precise effects in the closed-world case by aggregating the effects of all functions of the given function type into the indirect call.