Steven Perron e935dac9ef Make pointers to isomorphic type interchangeable with option. (#2570) ... * Make pointers to logically matching types interchangeable with option. DXC will be generating code where the function parameters will be a more generic type that the actual parameter. They should be logically matching and the decorations of the actual parameter must be a superset of the decorations of the formal parameter. We want to accept this code with an options so that spirv-opt can then inline and fix the type mismatch. We will accept this under a new options `--before-hlsl-legalization`. The new option will also imply `relax-logical-pointer` so that HLSL frontends will need to use just the one more generic option. Moved the |LogicallyMatches| to the validation state to make it available in more places. Also added a parameter to have it check the decorations. I did not do a separate function for the decorations because checking the decorations involves making sure the types logically match anyway. Fixes #2535		2019-05-13 13:48:17 -04:00
..
instrument.hpp	Bindless Validation: Descriptor Initialization Check (#2419)	2019-03-19 09:53:43 -04:00
libspirv.h	Make pointers to isomorphic type interchangeable with option. (#2570)	2019-05-13 13:48:17 -04:00
libspirv.hpp	Make pointers to isomorphic type interchangeable with option. (#2570)	2019-05-13 13:48:17 -04:00
linker.hpp	Rewrite include guards (#1793)	2018-08-03 08:05:33 -04:00
optimizer.hpp	Add pass to fix some invalid unreachable blocks for WebGPU (#2563)	2019-05-09 12:56:10 -04:00