Yeah, and one thing that has been unclear to the WebAssembly CG is what is the performance and binary size impact of not allowing irreducible code. People can write microbenchmarks that show an impact, but we don't have great real world data.
So right now it's not a priority to fix. But the door is open to allowing it in the future.