On Wed Nov 8 06:48:55 2023 +0000, Conor McCarthy wrote:
Vulkan asserts if we pass invalid SPIR-V, so to fix the runner we'd probably depend on spirv-tools. The problem with emitting errors in the backend is, after the necessary changes are upstream, we'd be handling errors which can't occur and should be handled with an assertion.
Ah, ok. When changing the frontend first would result in invalid code to be generated by the frontend, than it's appropriate to change the backend first. The ideal would be to first change the backend just enough so that it won't emit invalid code, than change the frontend and then change the backend for real. I'll appreciate when you can do this, but I understand if it turns out to be too complicated for some reason.