>>183
jsの場合jitがその辺はやってるんだよ。型が変わらない変数ぐらいjitは見つけて最適な型で最適なところに割り当ててる、スタックやレジスタレベルでね。refどころか関数のインライン化もやるよ。
c#のjitも凄いけど、それをwasm上でやるのは大変じゃないかな？