blob: 3bf570dc16cf8057cdf7e2970ddddaa5046f1bbe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
#include "slang-ir-check-unsupported-inst.h"
#include "slang-ir-util.h"
#include "slang-ir.h"
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)
{
for (auto globalInst : module->getGlobalInsts())
{
switch (globalInst->getOp())
{
case kIROp_VectorType:
case kIROp_MatrixType:
{
if (!as<IRBasicType>(globalInst->getOperand(0)))
{
sink->diagnose(
findFirstUseLoc(globalInst),
Diagnostics::unsupportedBuiltinType,
globalInst);
}
break;
}
case kIROp_Func:
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;
}
}
}
} // namespace Slang
|
