Partial implementation of static_assert (#4294)

* Error out for types not supported by texture sample functions

This commit prints errors with a new keyword, `static_assert`, when the
given texture type is not supported for the target.

* Moving the check to linkAndOptimizeIR after specialization is done

* Remove unnecessary change

* Adding test

* Remove kIROp_StaticAssert once processed

* Do not remove StaticAssert because it is needed for the next
specialization

* Remove after iteration of child is done

---------

Co-authored-by: Yong He <yonghe@outlook.com>

1 files changed, 1 insertions, 0 deletions

diff --git a/source/slang/slang-emit-spirv.cpp b/source/slang/slang-emit-spirv.cpp
index d7c6c64a5..1db323993 100644
--- a/source/slang/slang-emit-spirv.cpp
+++ b/source/slang/slang-emit-spirv.cpp
@@ -2632,6 +2632,7 @@ struct SPIRVEmitContext
             }
         case kIROp_Specialize:
         case kIROp_MissingReturn:
+        case kIROp_StaticAssert:
             break;
         case kIROp_Var:
             result = emitVar(parent, inst);