Thomas Lively
Thomas Lively
@takikawa is the best person to say whether anything here is unintentional. @mhofman and @bakkot, it would be helpful if you could tease out things that are underspecified or clear...
Great, I had forgotten we already did that.
This is primarily a performance improvement. `ref.cast_desc` is faster than other casts.
cc @aheejin
cc @aheejin. This is also true of e.g. tables, memories, tags, etc.
It's nice to see how much boilerplate can be removed by using an explicit stack, even in this minimal change to the existing interpreter. I think the 2x performance difference...
This change to intentionally-designed behavior should be discussed with the CG first. Let's keep further discussion on #2008.
Are you seeing that the full type section is duplicated across all of your split modules after wasm-split? If so, you can try running `--minimize-recursion-groups` as the last optimization in...
@kmiller68, any concerns about disallowing -0 or i31ref? @Liedtke, extending the test would be good.