KhronosGroup / SPIRV-Tools

Apache License 2.0
1.09k stars 559 forks source link

[SPV_KHR_untyped_pointers] Fix verification for OpenCL.std instructions #5810

Closed vmaksimo closed 2 months ago

vmaksimo commented 2 months ago

Allow p to be untyped pointer for fract, frexp, lgamma_r, modf, remquo, and sincos:

operand must be a pointer(p1, ...).If it is a typed pointer, it must
point to data types.

https://htmlpreview.github.io/?https://github.com/KhronosGroup/SPIRV-Registry/blob/main/extensions/KHR/SPV_KHR_untyped_pointers.html#_modifications_to_the_opencl_std_extended_instruction_set

Also fix check for module-scope variables.