[Migrated] Image macro doesn't fully enforce valid use of non-sampled storage images

Issue automatically imported from old repo: https://github.com/EmbarkStudios/rust-gpu/issues/812
Old labels: t: bug,s: blocked
Originally creatd by fu5ha on 2021-11-29T20:17:40Z

Currently, if we create an image type with the image macro as such:

Image!(2D, type=f32, sampled=false),

the image will still be able to be .read/.fetched, and the spirv Image object won't be decorated as NonReadable. However, according to vulkan spec, "If shaderStorageImageReadWithoutFormat is not enabled, any variable created with a "Type" of OpTypeImage that has a "Sampled" operand of 2 and an "Image Format" operand of Unknown must be decorated with NonReadable."

This can be solved for now by just using an explicit format=blah in the Image macro instead of type, but I think we could also handle this/validate it in the macro automatically. I think the best way forward would be:

• Make a readable flag in the macro which gets auto-disabled under the above conditions, and when disabled, decorates the OpTypeImage with NonReadable and doesn't allow to do .read/.fetch on the Image.
• However, if it is manually enabled, then we do the current behavior, allowing read etc. (assuming shaderStorageImageReadWithoutFormat is enabled).

Bắt đầu từ macro Image và lần theo cách type, sampled=false và .read/.fetch ảnh hưởng đến OpTypeImage được tạo ra. Kiểm tra cách NonReadable được phát ra và cách các thao tác đọc được cho phép. Hoàn thành khi các storage image không lấy mẫu không hợp lệ được đánh dấu là NonReadable và không thể được đọc trừ khi được bật một cách rõ ràng, với hành vi được kiểm tra đối chiếu với quy tắc Vulkan được mô tả trong issue.