Slang IR 杂项指令Miscellaneous Opcodes参考catch-all 指令族的组织规则与关键指令剖析【免费下载链接】slangMaking it easier to work with shaders项目地址: https://gitcode.com/GitHub_Trending/sl/slangSlang 编译器维护着一套由 Lua 文件驱动的 IR 指令opcode体系并用一组 IR-reference 家族 文档对每个 opcode 做穷尽式编目。本文以仓库中 ir-reference-misc.md 生成提示词 为核心讲解其中专门承接无法归类指令的 catch-all 页面——misc.md——的目标定位、子表分组规范、AST origin溯源规则以及Each、PackBranch、MakeWitnessPack、getStringHash、CudaKernelLaunch等典型指令的底层实现。读完本文你将掌握 Slang IR 指令编目系统的组织逻辑并能顺着 Lua 定义、降低器源码与 IR pass 快速定位任意杂项指令的产生者与语义。背景IR-reference 家族与 catch-all 页面的定位在 Slang 仓库中全部 IR opcode 由 slang-ir-insts.lua 声明约 3600 行每个条目对应一个kIROp_name枚举与一个 C 包装结构。docs/generated/design/ir-reference/下的家族页面按 IR-reference family contract 对它们做逐条编目每个页面负责一类指令类型types.md、值values.md、控制流control-flow.md、结构structure.md、泛型与存在类型generics-and-existentials.md、资源与原子操作resources-and-atomics.md、微分differentiation.md、装饰decorations.md与元数据metadata.md。这些页面之间存在一个覆盖性问题总有部分指令无法自然归入任何既有类别。misc 页即生成的 misc.md正是为此存在的 catch-all 页面它的核心职责是保证参考文档的覆盖规则coverage rule成立——即 Lua 文件中每个具体 opcode 条目都必须在某个家族页面出现——同时避免把这些杂项指令强行塞进不匹配的分类。从提示词原文看该页面的预期读者是需要在 types/values/control-flow/structure 等页面中找不到某条指令时来这里检索的编译器工程师其内容横跨可变参数泛型值包value pack辅助指令、类型自省谓词、编译期尺寸/对齐/数量查询、存储类型与描述符堆转换、泛型注解基础设施、活跃区间标记、字符串哈希、工作图记录访问与屏障标志转换、编译器内部备忘录字典以及 CPU 端内核启动。目标与典型成员什么样的指令归入杂项页提示词明确了杂项页的典型居民清单这些名字也都可以在 slang-ir-insts.lua 中逐一核实指令Lua 位置大致职责Each第 1130 行从捕获的值包中投影出单个槽位Val层PackBranch第 1050 行依据包是否为空做静态二分支选择MakeWitnessPack第 1117 行将多个 witness 表打包为 witness-pack 值getStringHash第 1631 行字符串字面量的稳定编译期哈希GetPerVertexInputArray第 1674 行逐顶点输入数组访问辅助ForceVarIntoStructTemporarilyBase第 1681 行变量结构体临时包装合法化的分组父节点BindingQuery第 1747 行绑定查询类指令CastStorageToLogicalBase第 2774 行存储类型→逻辑类型转换的分组父节点IsType第 2812 行运行时类型/一致性测试is运算符CudaKernelLaunch第 2869 行CUDA 内核启动供 Torch 发射器消费提示词同时给出了一条重要的负向规则Forbidden content任何在其他ir-reference/页面中有自然归属的指令都必须移到对应页面并同步更新两边的提示词而不是留在杂项页。这一规则保证了 catch-all 页面不会沦为垃圾场而是最后归属地。结构规范## Opcodes子表与分组策略提示词规定杂项页使用一个## Opcodes表格或按用途拆成少量子表例如 pack / unpack helpers打包/解包辅助、binding queries绑定查询、platform-launch平台启动、value packs / each值包/逐元素、string hashing字符串哈希。生成的 misc.md 实际将杂项指令组织为 14 个子表展示了这种分组的落地形态System opcodesnop、Unrecognized反序列化占位Capability setscapabilityConjunction/capabilityDisjunctionTensor and runtime helpersmakeArrayList、makeTensorView、allocTorchTensor、TorchGetCudaStream、TorchTensorGetView、allocateOpaqueHandlePack and expansionExpand、Each、MakeWitnessPack、PackBranch、ExtractFirstFromPack、ExtractLastFromPack、TrimFirstOfPack、TrimLastOfPack、ShapeConcat、ShapePermute、ShapeSwap、ShapeReduce、NonEmptyPackWitnessType queries and predicatesIsType、TypeEquals、IsInt、IsBool、IsFloat、IsCoopFloat、IsHalf、IsUnsignedInt、IsSignedInt、IsVectorSize, alignment, countsizeOf、alignOf、countOf、GetArrayLengthStorage-type legalization castsCastStorageToLogical、CastStorageToLogicalDeref、MakeStorageTypeLoweringConfig及四类未类型化描述符堆句柄转换、TreatAsDynamicUniform、GetLegalizedSPIRVGlobalParamAddrVariable struct-wrapping legalizationForceVarIntoStructTemporarily、ForceVarIntoRayPayloadStructTemporarilyAnnotationsAnnotation、WitnessTableAnnotation、DifferentiableTypeAnnotation、DifferentiableTypeDictionaryItemLiveness markersliveRangeStart、liveRangeEndString hashinggetStringHashKernel launchDispatchKernel、CudaKernelLaunchWork-graph records and barrier flagsnodeOutputRecordGetElementPtr、getEnumBarrierMemoryTypeFlags、getEnumBarrierSemanticFlagsCompiler dictionary and late capability requirementsCompilerDictionary、CompilerDictionaryScope、CompilerDictionaryEntry、CompilerDictionaryValue、LateRequireCapability每个子表统一采用家族契约规定的六列结构列内容OpcodeLua 条目名同时是kIROp_name枚举名反引号包裹C wrapperIRFoo结构名必须带IR前缀手工编写于 slang-ir-insts.h 的包装结构以‡标记OperandsLua 条目声明的操作数列表紧凑逗号分隔变参写(variadic)空操作数写—声明了min_operands但未命名操作数时写(N unnamed)不得臆造名称Flags单字母无分隔编码Hhoistable可提升、Pparent父指令、Gglobal无则留空AST origin指名实际的产生者降低器visit*、IR pass、__intrinsic_op内核模块声明source/中无人构造则标记no producer at HEADSummary一句简短说明除行内代码外不加任何标记家族层级Family hierarchy杂项页的层级很浅仅有 4 个 Lua 分组父节点其余指令都是IRInst的直接子节点。生成的 misc.md 用 mermaid 图给出了这一结构注意CompilerDictionary链看似层级实为运行时包含关系而非 Lua 嵌套字典是其作用域的父指令条目是其值的父指令而条目通过操作数key而非父子关系回溯到作用域。C 包装结构列的细则提示词强调该页每行都有IRFoo包装结构不允许出现 em-dash 占位。Fiddle 工具为每个未被手工编写的结构自动生成包装Lua 条目未设置显式struct_name时生成名是条目名转 PascalCase 再加IR前缀如getStringHash→IRGetStringHash设置struct_name时以它为准如allocTorchTensor→IRAllocateTorchTensor。命名操作数访问器同样由 Lua 操作数列表生成——IRIsType虽然是手工声明且函数体为空其getValue()、getValueWitness()、getTypeOperand()、getTargetWitness()四个访问器仍由 Fiddle 注入。杂项页是手工包装最密集的页面之一。生成的 misc.md 指出有 12 个包装结构在 slang-ir-insts.h 中手工展开行号IRAnnotation740、IRDispatchKernel749、IRTorchTensorGetView761、IRDifferentiableTypeDictionaryItem770、IRAlignOf1788、IRExpand2378、IREach2388、IRLiveRangeStart/IRLiveRangeEnd2629/2649、IRIsType2635、IRCompilerDictionaryValue/IRCompilerDictionaryEntry3084/3090抽象父节点IRLiveRangeMarker2609与IRCastStorageToLogicalBase2701也手工编写但只出现在层级图中绝不出现在表格行中。手工编写的动机分两类一类要补充操作数列表无法表达的访问逻辑如IRExpand::getBlocks()访问指令子节点、IRDispatchKernel::getArgsList()切掉前三个操作数、IRCompilerDictionaryEntry::getValue()跳过被 DCE 重写为Poison的缓存行另一类IRAlignOf、IRIsType、IRCompilerDictionaryValue函数体为空仅为 Fiddle 提供注入访问器的类型定义。AST origin 溯源规则三大来源与 no producer at HEAD提示词对AST origin列的要求最为严格必须指名实际的产生者已废弃的笼统标记(synthesized)不可接受。溯源路径共有三大类AST 降低器来自 slang-lower-to-ir.cpp 中对应的visit*方法。例如IsType来自IsTypeExpris运算符的visitIsTypeExpr约 7457 行PackBranch有两个产生点——visitPackBranchType2239 行结果类型为TypeKind与visitPackBranchSubtypeWitness2363 行结果类型为WitnessTableType。IR pass由某个具体 pass 引入。例如liveRangeStart/liveRangeEnd由 slang-ir-liveness.cpp1663、632、643 行与 phi 消除 pass slang-ir-eliminate-phis.cpp1029 行引入CastStorageToLogical系由 buffer 元素类型降低 pass slang-ir-lower-buffer-element-type.cpp 引入CudaKernelLaunch由 PyTorch 绑定 pass 经IRBuilder::emitCudaKernelLaunchslang-ir.cpp 3787 行产生。__intrinsic_op内核模块声明如getStringHash对应 core.meta.slang 中 3436 行int getStringHash(String string)的__intrinsic_op($(kIROp_GetStringHash))声明。此类指令没有visit*方法溯源应指向声明所在的内核模块文件core.meta.slang、hlsl.meta.slang、diff.meta.slang、workgraph.slang。第四种情况是no producer at HEADsource/中没有任何代码构造该指令。作为 catch-all 页面杂项页继承了最多的无产生者指令提示词明确预期这里会出现若干条真实的no producer at HEAD行。生成的 misc.md 中可看到具体实例nop仅作为操作映射表和比较中的哨兵值存在从不作为构造出的指令出现makeArrayListIRBuilder::emitMakeArrayList是唯一产生者但 HEAD 上没有调用者WitnessTableAnnotation/DifferentiableTypeAnnotationLua 中标记 TODO无构造者DifferentiableTypeDictionaryItem其构建函数addDifferentiableTypeDictionaryDecoration/addDifferentiableTypeEntry无任何调用者。提示词还给出了一个值得注意的诚实性声明页面逐指令引用的slang-ir-*.cpppass 文件不在 watched paths 中因为该 glob 几乎随每次 IR 提交变化会永久性地让页面过期、破坏 staleness 信号。其实际后果是某个 pass 新构造了页面当前记录为 no producer at HEAD 的指令时不会触发页面过期标记——因此这些无产生者声明是页面中最值得重新核验的部分。关键指令深度解析提示词要求杂项页至少深入覆盖五条指令生成的 misc.md 对其语义做了详细阐述。这里结合 Lua 定义与源码逐条展开。Each值包的单槽投影与 IR pass 中的迭代语义Each的 Lua 条目1130 行只声明了一个操作数value但它的真实形态远超单操作数指令。它是Expand1128 行声明一个操作数、实际由 builder 提供变参捕获列表的对偶Expand在其捕获包上展开一个模式pattern 体作为子块保存在指令上IRExpand::getBlocks()可访问Each则从捕获的包中投影出单个槽位通过IREach::getElement()读取。关键约束在于Each仅存在于Val层。它的三个产生者是visitEachIntValslang-lower-to-ir.cpp 2211 行、visitEachType2206 行与visitEachSubtypeWitness2316 行而写在值位置上的each表达式不会到达其中任何一个——visitExpandExpr6584 行给Expand区域的块添加一个int参数并记录为当前展开索引visitEachExpr6573 行则用getTupleElement(pack, index)针对该参数投影捕获的包这才是展开体 dump 中实际出现的形态。消费端是 slang-ir-lower-expand-type.cpp一旦包长度已知该 pass 按每个槽位重新发射模式。这解释了提示词要求引用引入它的 pass的原因——Each的迭代语义只有结合它的产生者Val降低器与消费者展开 pass才能完整理解。PackBranch三操作数编码与静态空包判定PackBranch在 Lua 中的定义1050-1054 行非常清晰operands { pack, emptyValue, nonEmptyValue }且hoistable true。它是一个静态条件指令当pack操作数的长度在编译期为零时取emptyValue否则取nonEmptyValue——因此不会留下任何运行时长度测试。两条产生路径都经由IRBuilder::emitPackBranchInstslang-ir.cpp 3992 行且都恰好携带三个操作数visitPackBranchTypeslang-lower-to-ir.cpp 2239 行结果类型为TypeKind区分的是类型visitPackBranchSubtypeWitness2376 行结果类型为WitnessTableType区分的是一致性 witness。pack操作数本身既可以是类型包也可以是值包。解析工作由maybeSpecializePackBranchslang-ir-specialize.cpp 990 行完成它调用getPackBranchCardinality946 行询问操作数 0判定Empty时用操作数 1 替换指令NonEmpty时用操作数 2Unknown包中仍含泛型参数或未展开的包则原样保留以待固定点fixpoint的下一轮迭代。这正是泛型对零元素包可以表现不同行为而代码永远不需要在运行时测试包长度的机制。MakeWitnessPack让 witness 表随值包机制通行MakeWitnessPack1117-1120 行hoistable是makeValuePack的 witness 表对应物由内联的IRBuilder::emitMakeWitnessPackslang-ir-insts.h 3900 行从变参 witness 操作数列表构建。它最值得注意的一点是结果类型visitTypePackSubtypeWitnessslang-lower-to-ir.cpp 2282 行逐个降低元素 witness收集每个 witness 自身的getFullType()把包类型化为这些 witness 表类型的TypePack——即witness 包是witness 表的包而不是覆盖包的 witness 表。下游代码将其与makeValuePack、MakeTuple同等视为包构造函数emitGetTupleElementslang-ir.cpp 4769 行把范围内的元素访问直接折叠为对应操作数peephole 对ExtractFirstFromPack/ExtractLastFromPack做同样的折叠并通过buildSlicedPack(base, kIROp_TypePack, kIROp_MakeWitnessPack)slang-ir-peephole.cpp 577 行为Trim*形式重建更窄的包。当多个一致性 witness 需要一起随泛型参数列表传递时witness 包正是保持参数列表紧凑的手段。提示词还要求与兄弟页面交叉链接MakeWitnessPack应链接到 structure.md 中的 witness 表章节。getStringHash单操作数布局与稳定哈希语义getStringHash没有专门的Expr节点AST origin 是对内核模块int getStringHash(String string)的调用core.meta.slang 3436 行__intrinsic_op($(kIROp_GetStringHash))Lua 条目恰好声明一个操作数且类型被标注为IRStringLit1631-1634 行——即操作数必须是字符串字面量。合法性检查由checkGetStringHashInstsslang-ir-string-hash.cpp执行对未折叠为字面量的操作数报告Diagnostics::GetStringHashMustBeOnStringLiteral用户可见为E41023getStringHash can only be called when argument is statically resolvable to a string literal。一个值得注意的边界该检查并非处处运行。slang-emit.cpp 的linkAndOptimizeIR用!isCpuLikeTarget(artifactDesc) shouldRunNonEssentialValidation()约 1779 行保护它因此CPU 类目标完全跳过该检查非字面量操作数会一路到达后端——LLVM 发射器 slang-emit-llvm.cpp约 2216 行会自行重新测试操作数其注释称该测试是非字面量操作数与把别的指令的存储当字符串数据读取之间的唯一屏障对非字面量字符串报告Diagnostics::Unimplementedunexpected string hash for non-literal string而非 E41023。把操作数约束为字面量正是结果成为字面量字节的稳定编译期哈希的前提因此反射与 capability 代码可以按哈希对字符串做键控而无需把字节携带到后端。CudaKernelLaunchLua 六操作数与 builder 五操作数的差异CudaKernelLaunch的 Lua 条目2869-2879 行声明了六个操作数kernel, gridDimX, gridDimY, gridDimZ, blockDimX, blockDimY。但生成页面明确指出builder 辅助函数与 Torch 发射器实际使用五操作数编码。IRBuilder::emitCudaKernelLaunchslang-ir.cpp 3778 行的唯一调用者是 PyTorch 主机绑定 pass slang-ir-pytorch-cpp-binding.cpp468 行——同一个 pass 还从TorchGetCudaStream指令提供 stream 操作数。五操作数布局为操作数 0 是函数操作数 1-2 被 bit-cast 为dim3的 grid 与 block 维度操作数 3 是打包的参数数组操作数 4 是 stream。builder 的形态才是实际被构造和消费的形态由 slang-emit-torch.cpp 约 70 行消费没有 IR pass 内省该指令。这类Lua 声明与 builder 实现不一致、以 builder 为准的差异正是提示词要求逐条追踪而非猜测的原因。交叉链接与所有权边界提示词规定杂项页必须与兄弟家族页面交叉链接只要杂项指令与某个家族密切相关。生成的 misc.md 的覆盖缺口说明Coverage gaps against sibling pages提供了所有权划分的实例nodeOutputRecordGetElementPtr在 Lua 文件中紧邻meshOutputRef后者由 resources-and-atomics.md 拥有但没有任何兄弟页面认领记录访问器本身因此留在杂项页getNaturalAlignment与makeValuePack被刻意排除在杂项页表格之外——它们分别由 resources-and-atomics.md 与 values.md 拥有四个描述符句柄转换CastUInt64ToDescriptorHandle等也不在此列出它们是普通转换归 values.md 的 Conversions 表所有杂项页只覆盖无兄弟页面认领的四类Cast*Untyped{Resource,Sampler}Handle*未类型化描述符堆下标机制。另一个值得一提的所有权细节是未类型化句柄转换CastUIntToUntypedResourceHandle、CastUntypedResourceHandleToUInt、CastUIntToUntypedSamplerHandle、CastUntypedSamplerHandleToUInt是纯内部表示——ResourceDescriptorHeap[i]下标产生一个值就是被包裹的uint堆索引的UntypedResourceHandle具体资源类型稍后从转换目标恢复。lowerUntypedResourceHandleToUIntslang-ir-lower-dynamic-resource-heap.cpp 96 行由 slang-emit.cpp 2093 行调度会把每个转换转发到其uint操作数并移除peephole 也会折叠包裹后立即解包的模式各发射器对幸存转换一律以SLANG_UNEXPECTED应答——因此这些指令永远不应到达目标代码。质量检查清单与 32 KB 容量上限提示词为杂项页制定了三条专属检查项与通用清单和家族契约叠加生效无重复归属本页列出的指令不得同时出现在其他ir-reference/页面的## Opcodes表格中Lua 条目全覆盖文件中每个未被其他家族页面认领的 Lua 条目都必须出现在本页若找到无法归置的条目须以显式(unclear)摘要列出而不是忽略容量上限页面必须保持精简上限32 KB超出即意味着有条指令被错误路由到了本页。第三条是信号即治理的体现catch-all 页面天然没有自己的主题规模失控直接暴露所有权划分问题。此外作为 IR-reference 家族页面杂项页还继承了 _common.md 的通用要求——首段须以平实语言说明文档覆盖范围与目标读者、不得复制docs/design/的逐字原文、不得臆造文件路径或符号、标识符须逐一在source/中核验曾有页面断言了 5 个不存在的符号均被脚本化扫描发现。延伸阅读IR-reference 家族契约_common.md所有 IR-reference 页面的通用结构、六列表格契约、操作数命名规则与禁用内容misc.md 生成产物本提示词对应的完整页面包含全部 14 个子表与逐条溯源ir-reference 索引家族页面导航slang-ir-insts.lua全部 opcode 的权威 Lua 定义PackBranch1050、MakeWitnessPack1117、Each1130、getStringHash1631、IsType2812、CudaKernelLaunch2869 等slang-ir-insts.h手工编写的 C 包装结构与 builder 内联实现slang-lower-to-ir.cppAST 降低器杂项指令最主要的visit*产生者slang-ir.h 与 slang-ir.cppIRInst、操作标志位、IRBuilder等基础设施核心模块声明core.meta.slang、hlsl.meta.slang、diff.meta.slang、workgraph.slang【免费下载链接】slangMaking it easier to work with shaders项目地址: https://gitcode.com/GitHub_Trending/sl/slang创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 Slang IR 杂项指令（Miscellaneous Opcodes）参考：catch-all 指令族的组织规则与关键指令剖析
Slang IR 杂项指令Miscellaneous Opcodes参考catch-all 指令族的组织规则与关键指令剖析【免费下载链接】slangMaking it easier to work with shaders项目地址: https://gitcode.com/GitHub_Trending/sl/slangSlang 编译器维护着一套由 Lua 文件驱动的 IR 指令opcode体系并用一组 IR-reference 家族 文档对每个 opcode 做穷尽式编目。本文以仓库中 ir-reference-misc.md 生成提示词 为核心讲解其中专门承接无法归类指令的 catch-all 页面——misc.md——的目标定位、子表分组规范、AST origin溯源规则以及Each、PackBranch、MakeWitnessPack、getStringHash、CudaKernelLaunch等典型指令的底层实现。读完本文你将掌握 Slang IR 指令编目系统的组织逻辑并能顺着 Lua 定义、降低器源码与 IR pass 快速定位任意杂项指令的产生者与语义。背景IR-reference 家族与 catch-all 页面的定位在 Slang 仓库中全部 IR opcode 由 slang-ir-insts.lua 声明约 3600 行每个条目对应一个kIROp_name枚举与一个 C 包装结构。docs/generated/design/ir-reference/下的家族页面按 IR-reference family contract 对它们做逐条编目每个页面负责一类指令类型types.md、值values.md、控制流control-flow.md、结构structure.md、泛型与存在类型generics-and-existentials.md、资源与原子操作resources-and-atomics.md、微分differentiation.md、装饰decorations.md与元数据metadata.md。这些页面之间存在一个覆盖性问题总有部分指令无法自然归入任何既有类别。misc 页即生成的 misc.md正是为此存在的 catch-all 页面它的核心职责是保证参考文档的覆盖规则coverage rule成立——即 Lua 文件中每个具体 opcode 条目都必须在某个家族页面出现——同时避免把这些杂项指令强行塞进不匹配的分类。从提示词原文看该页面的预期读者是需要在 types/values/control-flow/structure 等页面中找不到某条指令时来这里检索的编译器工程师其内容横跨可变参数泛型值包value pack辅助指令、类型自省谓词、编译期尺寸/对齐/数量查询、存储类型与描述符堆转换、泛型注解基础设施、活跃区间标记、字符串哈希、工作图记录访问与屏障标志转换、编译器内部备忘录字典以及 CPU 端内核启动。目标与典型成员什么样的指令归入杂项页提示词明确了杂项页的典型居民清单这些名字也都可以在 slang-ir-insts.lua 中逐一核实指令Lua 位置大致职责Each第 1130 行从捕获的值包中投影出单个槽位Val层PackBranch第 1050 行依据包是否为空做静态二分支选择MakeWitnessPack第 1117 行将多个 witness 表打包为 witness-pack 值getStringHash第 1631 行字符串字面量的稳定编译期哈希GetPerVertexInputArray第 1674 行逐顶点输入数组访问辅助ForceVarIntoStructTemporarilyBase第 1681 行变量结构体临时包装合法化的分组父节点BindingQuery第 1747 行绑定查询类指令CastStorageToLogicalBase第 2774 行存储类型→逻辑类型转换的分组父节点IsType第 2812 行运行时类型/一致性测试is运算符CudaKernelLaunch第 2869 行CUDA 内核启动供 Torch 发射器消费提示词同时给出了一条重要的负向规则Forbidden content任何在其他ir-reference/页面中有自然归属的指令都必须移到对应页面并同步更新两边的提示词而不是留在杂项页。这一规则保证了 catch-all 页面不会沦为垃圾场而是最后归属地。结构规范## Opcodes子表与分组策略提示词规定杂项页使用一个## Opcodes表格或按用途拆成少量子表例如 pack / unpack helpers打包/解包辅助、binding queries绑定查询、platform-launch平台启动、value packs / each值包/逐元素、string hashing字符串哈希。生成的 misc.md 实际将杂项指令组织为 14 个子表展示了这种分组的落地形态System opcodesnop、Unrecognized反序列化占位Capability setscapabilityConjunction/capabilityDisjunctionTensor and runtime helpersmakeArrayList、makeTensorView、allocTorchTensor、TorchGetCudaStream、TorchTensorGetView、allocateOpaqueHandlePack and expansionExpand、Each、MakeWitnessPack、PackBranch、ExtractFirstFromPack、ExtractLastFromPack、TrimFirstOfPack、TrimLastOfPack、ShapeConcat、ShapePermute、ShapeSwap、ShapeReduce、NonEmptyPackWitnessType queries and predicatesIsType、TypeEquals、IsInt、IsBool、IsFloat、IsCoopFloat、IsHalf、IsUnsignedInt、IsSignedInt、IsVectorSize, alignment, countsizeOf、alignOf、countOf、GetArrayLengthStorage-type legalization castsCastStorageToLogical、CastStorageToLogicalDeref、MakeStorageTypeLoweringConfig及四类未类型化描述符堆句柄转换、TreatAsDynamicUniform、GetLegalizedSPIRVGlobalParamAddrVariable struct-wrapping legalizationForceVarIntoStructTemporarily、ForceVarIntoRayPayloadStructTemporarilyAnnotationsAnnotation、WitnessTableAnnotation、DifferentiableTypeAnnotation、DifferentiableTypeDictionaryItemLiveness markersliveRangeStart、liveRangeEndString hashinggetStringHashKernel launchDispatchKernel、CudaKernelLaunchWork-graph records and barrier flagsnodeOutputRecordGetElementPtr、getEnumBarrierMemoryTypeFlags、getEnumBarrierSemanticFlagsCompiler dictionary and late capability requirementsCompilerDictionary、CompilerDictionaryScope、CompilerDictionaryEntry、CompilerDictionaryValue、LateRequireCapability每个子表统一采用家族契约规定的六列结构列内容OpcodeLua 条目名同时是kIROp_name枚举名反引号包裹C wrapperIRFoo结构名必须带IR前缀手工编写于 slang-ir-insts.h 的包装结构以‡标记OperandsLua 条目声明的操作数列表紧凑逗号分隔变参写(variadic)空操作数写—声明了min_operands但未命名操作数时写(N unnamed)不得臆造名称Flags单字母无分隔编码Hhoistable可提升、Pparent父指令、Gglobal无则留空AST origin指名实际的产生者降低器visit*、IR pass、__intrinsic_op内核模块声明source/中无人构造则标记no producer at HEADSummary一句简短说明除行内代码外不加任何标记家族层级Family hierarchy杂项页的层级很浅仅有 4 个 Lua 分组父节点其余指令都是IRInst的直接子节点。生成的 misc.md 用 mermaid 图给出了这一结构注意CompilerDictionary链看似层级实为运行时包含关系而非 Lua 嵌套字典是其作用域的父指令条目是其值的父指令而条目通过操作数key而非父子关系回溯到作用域。C 包装结构列的细则提示词强调该页每行都有IRFoo包装结构不允许出现 em-dash 占位。Fiddle 工具为每个未被手工编写的结构自动生成包装Lua 条目未设置显式struct_name时生成名是条目名转 PascalCase 再加IR前缀如getStringHash→IRGetStringHash设置struct_name时以它为准如allocTorchTensor→IRAllocateTorchTensor。命名操作数访问器同样由 Lua 操作数列表生成——IRIsType虽然是手工声明且函数体为空其getValue()、getValueWitness()、getTypeOperand()、getTargetWitness()四个访问器仍由 Fiddle 注入。杂项页是手工包装最密集的页面之一。生成的 misc.md 指出有 12 个包装结构在 slang-ir-insts.h 中手工展开行号IRAnnotation740、IRDispatchKernel749、IRTorchTensorGetView761、IRDifferentiableTypeDictionaryItem770、IRAlignOf1788、IRExpand2378、IREach2388、IRLiveRangeStart/IRLiveRangeEnd2629/2649、IRIsType2635、IRCompilerDictionaryValue/IRCompilerDictionaryEntry3084/3090抽象父节点IRLiveRangeMarker2609与IRCastStorageToLogicalBase2701也手工编写但只出现在层级图中绝不出现在表格行中。手工编写的动机分两类一类要补充操作数列表无法表达的访问逻辑如IRExpand::getBlocks()访问指令子节点、IRDispatchKernel::getArgsList()切掉前三个操作数、IRCompilerDictionaryEntry::getValue()跳过被 DCE 重写为Poison的缓存行另一类IRAlignOf、IRIsType、IRCompilerDictionaryValue函数体为空仅为 Fiddle 提供注入访问器的类型定义。AST origin 溯源规则三大来源与 no producer at HEAD提示词对AST origin列的要求最为严格必须指名实际的产生者已废弃的笼统标记(synthesized)不可接受。溯源路径共有三大类AST 降低器来自 slang-lower-to-ir.cpp 中对应的visit*方法。例如IsType来自IsTypeExpris运算符的visitIsTypeExpr约 7457 行PackBranch有两个产生点——visitPackBranchType2239 行结果类型为TypeKind与visitPackBranchSubtypeWitness2363 行结果类型为WitnessTableType。IR pass由某个具体 pass 引入。例如liveRangeStart/liveRangeEnd由 slang-ir-liveness.cpp1663、632、643 行与 phi 消除 pass slang-ir-eliminate-phis.cpp1029 行引入CastStorageToLogical系由 buffer 元素类型降低 pass slang-ir-lower-buffer-element-type.cpp 引入CudaKernelLaunch由 PyTorch 绑定 pass 经IRBuilder::emitCudaKernelLaunchslang-ir.cpp 3787 行产生。__intrinsic_op内核模块声明如getStringHash对应 core.meta.slang 中 3436 行int getStringHash(String string)的__intrinsic_op($(kIROp_GetStringHash))声明。此类指令没有visit*方法溯源应指向声明所在的内核模块文件core.meta.slang、hlsl.meta.slang、diff.meta.slang、workgraph.slang。第四种情况是no producer at HEADsource/中没有任何代码构造该指令。作为 catch-all 页面杂项页继承了最多的无产生者指令提示词明确预期这里会出现若干条真实的no producer at HEAD行。生成的 misc.md 中可看到具体实例nop仅作为操作映射表和比较中的哨兵值存在从不作为构造出的指令出现makeArrayListIRBuilder::emitMakeArrayList是唯一产生者但 HEAD 上没有调用者WitnessTableAnnotation/DifferentiableTypeAnnotationLua 中标记 TODO无构造者DifferentiableTypeDictionaryItem其构建函数addDifferentiableTypeDictionaryDecoration/addDifferentiableTypeEntry无任何调用者。提示词还给出了一个值得注意的诚实性声明页面逐指令引用的slang-ir-*.cpppass 文件不在 watched paths 中因为该 glob 几乎随每次 IR 提交变化会永久性地让页面过期、破坏 staleness 信号。其实际后果是某个 pass 新构造了页面当前记录为 no producer at HEAD 的指令时不会触发页面过期标记——因此这些无产生者声明是页面中最值得重新核验的部分。关键指令深度解析提示词要求杂项页至少深入覆盖五条指令生成的 misc.md 对其语义做了详细阐述。这里结合 Lua 定义与源码逐条展开。Each值包的单槽投影与 IR pass 中的迭代语义Each的 Lua 条目1130 行只声明了一个操作数value但它的真实形态远超单操作数指令。它是Expand1128 行声明一个操作数、实际由 builder 提供变参捕获列表的对偶Expand在其捕获包上展开一个模式pattern 体作为子块保存在指令上IRExpand::getBlocks()可访问Each则从捕获的包中投影出单个槽位通过IREach::getElement()读取。关键约束在于Each仅存在于Val层。它的三个产生者是visitEachIntValslang-lower-to-ir.cpp 2211 行、visitEachType2206 行与visitEachSubtypeWitness2316 行而写在值位置上的each表达式不会到达其中任何一个——visitExpandExpr6584 行给Expand区域的块添加一个int参数并记录为当前展开索引visitEachExpr6573 行则用getTupleElement(pack, index)针对该参数投影捕获的包这才是展开体 dump 中实际出现的形态。消费端是 slang-ir-lower-expand-type.cpp一旦包长度已知该 pass 按每个槽位重新发射模式。这解释了提示词要求引用引入它的 pass的原因——Each的迭代语义只有结合它的产生者Val降低器与消费者展开 pass才能完整理解。PackBranch三操作数编码与静态空包判定PackBranch在 Lua 中的定义1050-1054 行非常清晰operands { pack, emptyValue, nonEmptyValue }且hoistable true。它是一个静态条件指令当pack操作数的长度在编译期为零时取emptyValue否则取nonEmptyValue——因此不会留下任何运行时长度测试。两条产生路径都经由IRBuilder::emitPackBranchInstslang-ir.cpp 3992 行且都恰好携带三个操作数visitPackBranchTypeslang-lower-to-ir.cpp 2239 行结果类型为TypeKind区分的是类型visitPackBranchSubtypeWitness2376 行结果类型为WitnessTableType区分的是一致性 witness。pack操作数本身既可以是类型包也可以是值包。解析工作由maybeSpecializePackBranchslang-ir-specialize.cpp 990 行完成它调用getPackBranchCardinality946 行询问操作数 0判定Empty时用操作数 1 替换指令NonEmpty时用操作数 2Unknown包中仍含泛型参数或未展开的包则原样保留以待固定点fixpoint的下一轮迭代。这正是泛型对零元素包可以表现不同行为而代码永远不需要在运行时测试包长度的机制。MakeWitnessPack让 witness 表随值包机制通行MakeWitnessPack1117-1120 行hoistable是makeValuePack的 witness 表对应物由内联的IRBuilder::emitMakeWitnessPackslang-ir-insts.h 3900 行从变参 witness 操作数列表构建。它最值得注意的一点是结果类型visitTypePackSubtypeWitnessslang-lower-to-ir.cpp 2282 行逐个降低元素 witness收集每个 witness 自身的getFullType()把包类型化为这些 witness 表类型的TypePack——即witness 包是witness 表的包而不是覆盖包的 witness 表。下游代码将其与makeValuePack、MakeTuple同等视为包构造函数emitGetTupleElementslang-ir.cpp 4769 行把范围内的元素访问直接折叠为对应操作数peephole 对ExtractFirstFromPack/ExtractLastFromPack做同样的折叠并通过buildSlicedPack(base, kIROp_TypePack, kIROp_MakeWitnessPack)slang-ir-peephole.cpp 577 行为Trim*形式重建更窄的包。当多个一致性 witness 需要一起随泛型参数列表传递时witness 包正是保持参数列表紧凑的手段。提示词还要求与兄弟页面交叉链接MakeWitnessPack应链接到 structure.md 中的 witness 表章节。getStringHash单操作数布局与稳定哈希语义getStringHash没有专门的Expr节点AST origin 是对内核模块int getStringHash(String string)的调用core.meta.slang 3436 行__intrinsic_op($(kIROp_GetStringHash))Lua 条目恰好声明一个操作数且类型被标注为IRStringLit1631-1634 行——即操作数必须是字符串字面量。合法性检查由checkGetStringHashInstsslang-ir-string-hash.cpp执行对未折叠为字面量的操作数报告Diagnostics::GetStringHashMustBeOnStringLiteral用户可见为E41023getStringHash can only be called when argument is statically resolvable to a string literal。一个值得注意的边界该检查并非处处运行。slang-emit.cpp 的linkAndOptimizeIR用!isCpuLikeTarget(artifactDesc) shouldRunNonEssentialValidation()约 1779 行保护它因此CPU 类目标完全跳过该检查非字面量操作数会一路到达后端——LLVM 发射器 slang-emit-llvm.cpp约 2216 行会自行重新测试操作数其注释称该测试是非字面量操作数与把别的指令的存储当字符串数据读取之间的唯一屏障对非字面量字符串报告Diagnostics::Unimplementedunexpected string hash for non-literal string而非 E41023。把操作数约束为字面量正是结果成为字面量字节的稳定编译期哈希的前提因此反射与 capability 代码可以按哈希对字符串做键控而无需把字节携带到后端。CudaKernelLaunchLua 六操作数与 builder 五操作数的差异CudaKernelLaunch的 Lua 条目2869-2879 行声明了六个操作数kernel, gridDimX, gridDimY, gridDimZ, blockDimX, blockDimY。但生成页面明确指出builder 辅助函数与 Torch 发射器实际使用五操作数编码。IRBuilder::emitCudaKernelLaunchslang-ir.cpp 3778 行的唯一调用者是 PyTorch 主机绑定 pass slang-ir-pytorch-cpp-binding.cpp468 行——同一个 pass 还从TorchGetCudaStream指令提供 stream 操作数。五操作数布局为操作数 0 是函数操作数 1-2 被 bit-cast 为dim3的 grid 与 block 维度操作数 3 是打包的参数数组操作数 4 是 stream。builder 的形态才是实际被构造和消费的形态由 slang-emit-torch.cpp 约 70 行消费没有 IR pass 内省该指令。这类Lua 声明与 builder 实现不一致、以 builder 为准的差异正是提示词要求逐条追踪而非猜测的原因。交叉链接与所有权边界提示词规定杂项页必须与兄弟家族页面交叉链接只要杂项指令与某个家族密切相关。生成的 misc.md 的覆盖缺口说明Coverage gaps against sibling pages提供了所有权划分的实例nodeOutputRecordGetElementPtr在 Lua 文件中紧邻meshOutputRef后者由 resources-and-atomics.md 拥有但没有任何兄弟页面认领记录访问器本身因此留在杂项页getNaturalAlignment与makeValuePack被刻意排除在杂项页表格之外——它们分别由 resources-and-atomics.md 与 values.md 拥有四个描述符句柄转换CastUInt64ToDescriptorHandle等也不在此列出它们是普通转换归 values.md 的 Conversions 表所有杂项页只覆盖无兄弟页面认领的四类Cast*Untyped{Resource,Sampler}Handle*未类型化描述符堆下标机制。另一个值得一提的所有权细节是未类型化句柄转换CastUIntToUntypedResourceHandle、CastUntypedResourceHandleToUInt、CastUIntToUntypedSamplerHandle、CastUntypedSamplerHandleToUInt是纯内部表示——ResourceDescriptorHeap[i]下标产生一个值就是被包裹的uint堆索引的UntypedResourceHandle具体资源类型稍后从转换目标恢复。lowerUntypedResourceHandleToUIntslang-ir-lower-dynamic-resource-heap.cpp 96 行由 slang-emit.cpp 2093 行调度会把每个转换转发到其uint操作数并移除peephole 也会折叠包裹后立即解包的模式各发射器对幸存转换一律以SLANG_UNEXPECTED应答——因此这些指令永远不应到达目标代码。质量检查清单与 32 KB 容量上限提示词为杂项页制定了三条专属检查项与通用清单和家族契约叠加生效无重复归属本页列出的指令不得同时出现在其他ir-reference/页面的## Opcodes表格中Lua 条目全覆盖文件中每个未被其他家族页面认领的 Lua 条目都必须出现在本页若找到无法归置的条目须以显式(unclear)摘要列出而不是忽略容量上限页面必须保持精简上限32 KB超出即意味着有条指令被错误路由到了本页。第三条是信号即治理的体现catch-all 页面天然没有自己的主题规模失控直接暴露所有权划分问题。此外作为 IR-reference 家族页面杂项页还继承了 _common.md 的通用要求——首段须以平实语言说明文档覆盖范围与目标读者、不得复制docs/design/的逐字原文、不得臆造文件路径或符号、标识符须逐一在source/中核验曾有页面断言了 5 个不存在的符号均被脚本化扫描发现。延伸阅读IR-reference 家族契约_common.md所有 IR-reference 页面的通用结构、六列表格契约、操作数命名规则与禁用内容misc.md 生成产物本提示词对应的完整页面包含全部 14 个子表与逐条溯源ir-reference 索引家族页面导航slang-ir-insts.lua全部 opcode 的权威 Lua 定义PackBranch1050、MakeWitnessPack1117、Each1130、getStringHash1631、IsType2812、CudaKernelLaunch2869 等slang-ir-insts.h手工编写的 C 包装结构与 builder 内联实现slang-lower-to-ir.cppAST 降低器杂项指令最主要的visit*产生者slang-ir.h 与 slang-ir.cppIRInst、操作标志位、IRBuilder等基础设施核心模块声明core.meta.slang、hlsl.meta.slang、diff.meta.slang、workgraph.slang【免费下载链接】slangMaking it easier to work with shaders项目地址: https://gitcode.com/GitHub_Trending/sl/slang创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考