Jeff Bolz

Right, I'd like to be able to generate an Amber script dynamically inside Vulkan CTS so we can use Amber to execute a bunch of test variants, rather than the...

FWIW, the original issue was reported to me by an internal Vulkan developer. We should definitely answer the question for both GL and Vulkan, and as Ian says it is...

The definitive answer for "what do subgroupBarrier and subgroupMemoryBarrier do" is to take the SPIR-V mappings from the GL_KHR_shader_subgroup extension and interpret them through the https://www.khronos.org/registry/vulkan/specs/1.1-extensions/html/vkspec.html#memory-model appendix in the Vulkan...

IMO yes, they become inactive. If they didn't, then shaders wouldn't have a way to reliably combine only the values for non-helper invocations.

This sounds like it's really a specific instance of us not having a well-defined execution model that says when invocations become inactive and then active again, diverge and reconverge, etc.....

Might be more flexible to support textureND(samplerND) and then you can combine the textureND with a new sampler.

IIRC it was intentional to omit the cross-type conversions. The SPIR-V 16-bit storage extension only allows FConvert to/from fp16 in very limited cases, and doesn't directly allow conversions to other...

I'm a bit torn on this. I like the consistency of having avvisinc everywhere there is an av/vis operation, even if it is redundant. But there's also an appeal to...

I think the Alloy model doesn't allow out of thin air reads because of these rules on reads-from/RFINIT/R: ``` // reads-from maps writes to reads (that don't read-from init) //...

Ah, I see. I'm fine with adding a note if that's the best we can do.