Fix the CullPrimitiveEXT VUID's

[pmistryNV]

• Remove VUID 07037 that wrongly was needing the builtin to be of type array
• Updated the VUID 7036 to make the type a boolean value

Fixes bug https://gitlab.khronos.org/vulkan/vulkan/-/issues/3296

[CLAassistant]

All committers have signed the CLA.

[dgkoch]

LGTM

[HansKristian-Work]

I don't think this is correct.

When CullPrimitiveEXT is part of a Block, it must be a plain bool, but if it's declared as a standalone OpVariable, i.e. not in a Block, it must be an array of booleans, so I think this VUID needs to cover both cases.

[HansKristian-Work]

Not correct I think as stated above.

[pmistryNV]

Not correct I think as stated above.

GLSL spec has folowing definition

      // write only access
      perprimitiveEXT out gl_MeshPerPrimitiveEXT {
        int  gl_PrimitiveID;
        int  gl_Layer;
        int  gl_ViewportIndex;
        bool gl_CullPrimitiveEXT;
        int  gl_PrimitiveShadingRateEXT;
      } gl_MeshPrimitivesEXT[];

Then the array validation rule will applly to all the other builtins like PrimitiveId , Layer etc? Because currently none of the other builtins have such a validation rule

[pmistryNV]

Not correct I think as stated above.

GLSL spec has folowing definition

      // write only access
      perprimitiveEXT out gl_MeshPerPrimitiveEXT {
        int  gl_PrimitiveID;
        int  gl_Layer;
        int  gl_ViewportIndex;
        bool gl_CullPrimitiveEXT;
        int  gl_PrimitiveShadingRateEXT;
      } gl_MeshPrimitivesEXT[];

Then the array validation rule will applly to all the other builtins like PrimitiveId , Layer etc? Because currently none of the other builtins have such a validation rule

We will then probably need new VUID's for each of the above builtins. Kindly review these three new VUID's for CullPrimitiveEXT, i can replicate it for all the other builtins:

• CullPrimitiveEXT can be member of a block or a variable
• If CullPrimitiveEXT is a variable it must be declared as an array of boolean values
• If CullPrimitiveEXT is member of a block it must be declared as a boolean value