diff options
Diffstat (limited to 'source/slang/slang-ir-check-unsupported-inst.cpp')
| -rw-r--r-- | source/slang/slang-ir-check-unsupported-inst.cpp | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/source/slang/slang-ir-check-unsupported-inst.cpp b/source/slang/slang-ir-check-unsupported-inst.cpp index c89928af5..2a1c0e325 100644 --- a/source/slang/slang-ir-check-unsupported-inst.cpp +++ b/source/slang/slang-ir-check-unsupported-inst.cpp @@ -42,6 +42,23 @@ namespace Slang } } + void checkUnsupportedInst(TargetRequest* target, IRFunc* func, DiagnosticSink* sink) + { + SLANG_UNUSED(target); + for (auto block : func->getBlocks()) + { + for (auto inst : block->getChildren()) + { + switch (inst->getOp()) + { + case kIROp_GetArrayLength: + sink->diagnose(inst, Diagnostics::attemptToQuerySizeOfUnsizedArray); + break; + } + } + } + } + void checkUnsupportedInst(TargetRequest* target, IRModule* module, DiagnosticSink* sink) { HashSet<IRFunc*> checkedFuncsForRecursionDetection; @@ -62,6 +79,16 @@ namespace Slang case kIROp_Func: if (!isCPUTarget(target)) checkRecursion(checkedFuncsForRecursionDetection, as<IRFunc>(globalInst), sink); + checkUnsupportedInst(target, as<IRFunc>(globalInst), sink); + break; + case kIROp_Generic: + { + auto generic = as<IRGeneric>(globalInst); + auto innerFunc = as<IRFunc>(findGenericReturnVal(generic)); + if (innerFunc) + checkUnsupportedInst(target, innerFunc, sink); + break; + } default: break; } |