dxc编译着色器时如何指定目标模型？

Question

在使用DXC（DirectX Shader Compiler）编译着色器时，如何正确指定目标着色器模型（如`ps_6_0`、`vs_6_2`等）是常见问题。开发者常因未明确指定目标模型而导致编译失败或功能受限。应使用 `-T` 或 `--target-profile` 参数配合目标模型名称，例如：`dxc -T ps_6_0 shader.hlsl`。若未正确设置，DXC 可能默认使用较低模型，导致无法使用新特性。此外，不同着色器阶段（顶点、像素、计算等）需匹配对应的模型前缀。如何确保在跨平台或不同API环境下正确指定并验证目标模型？

Answer 1

1. 基础概念：DXC 与着色器模型简介

DirectX Shader Compiler（DXC）是微软推出的现代着色器编译器，用于将 HLSL（High-Level Shading Language）源码编译为 DXIL（DirectX Intermediate Language）。与旧版 fxc.exe 不同，DXC 支持 Shader Model 6.0 及以上版本，提供了更好的优化、错误报告和跨平台兼容性。

着色器模型（Shader Model）定义了 GPU 支持的功能集，如寄存器数量、指令类型、资源绑定方式等。常见模型包括：

• vs_6_0：顶点着色器，Shader Model 6.0
• ps_6_2：像素着色器，SM 6.2
• cs_6_5：计算着色器，SM 6.5
• lib_6_3：可调用库着色器（Raytracing）

若未显式指定目标模型，DXC 默认可能使用较低版本（如 SM 5.1），导致无法使用新特性（如 Wave Intrinsics、Bindless Resources）。

2. 正确指定目标模型的命令行参数

使用 -T 或 --target-profile 参数来指定目标着色器阶段与模型版本。语法格式为：

dxc -T <stage>_<major>_<minor> shader.hlsl

例如：

用途	命令示例
编译像素着色器（SM 6.0）	dxc -T ps_6_0 pshader.hlsl
编译顶点着色器（SM 6.2）	dxc -T vs_6_2 vshader.hlsl
编译计算着色器（SM 6.6）	dxc -T cs_6_6 cshader.hlsl
使用长参数形式	dxc --target-profile ps_6_0 shader.hlsl

3. 着色器阶段与模型前缀匹配规则

不同着色器阶段必须使用对应的前缀，否则会导致编译失败或运行时行为异常。以下是合法的阶段前缀映射表：

着色器阶段	目标前缀	典型用途
顶点着色器	vs_*	顶点变换
像素/片段着色器	ps_*	光照计算、纹理采样
几何着色器	gs_*	图元生成
曲面细分控制	hs_*	Hull Shader
曲面细分评估	ds_*	Domain Shader
计算着色器	cs_*	通用GPU计算
光线生成	rgen_*	Ray Tracing
相交着色器	rint_*	自定义求交
可调用着色器	call_*	递归调用
库着色器	lib_*	模块化代码复用

4. 跨平台与多API环境下的模型适配策略

在 Vulkan、D3D12 或通过 DirectX on Windows 和 Metal via MoltenVK 等跨平台场景中，需确保目标模型被底层驱动支持。例如：

• D3D12 最低要求 SM 6.0，推荐使用 SM 6.6 以启用 AI 加速指令（如 WMMA）
• Vulkan SPIR-V 编译链通常通过 dxil-spirv 转换工具桥接，需验证转换后是否保留高级特性
• Apple Metal 不直接支持 DXIL，但可通过 DirectX over Metal (DXOM) 层间接运行，此时应避免使用未映射的波阵列操作

建议构建自动化检测脚本，查询设备支持的最大着色器模型：

// 示例：D3D12 查询最高支持模型
D3D12_FEATURE_DATA_SHADER_MODEL featureData;
featureData.HighestShaderModel = D3D_SHADER_MODEL_6_6;
if (SUCCEEDED(device->CheckFeatureSupport(D3D12_FEATURE_SHADER_MODEL, &featureData, sizeof(featureData)))) {
    // 支持 SM 6.6
}

5. 验证目标模型是否生效的方法

仅指定 -T 参数不足以保证功能可用，还需验证输出二进制是否符合预期。可通过以下手段确认：

1. 使用 -E 指定入口函数并结合 -Vd 禁用优化进行调试
2. 导出 DXIL 并反汇编分析：
   dxc -T ps_6_5 -Fo output.dxil shader.hlsl
   使用 dxil-disasm 工具查看是否包含 WaveActiveSum 等 SM 6.x 特有指令
3. 静态断言检查：在 HLSL 中插入条件判断

#if __SHADER_MODEL__ < 650
#error "This shader requires Shader Model 6.5 or higher"
#endif

6. 构建系统集成与自动化最佳实践

在大型项目中，应将着色器编译流程纳入 CMake、MSBuild 或自定义构建管道。以下是一个 CMake 函数示例：

function(compile_hlsl_shader OUTPUT_NAME SHADER_FILE ENTRY TARGET_PROFILE)
    add_custom_command(
        OUTPUT ${OUTPUT_NAME}
        COMMAND dxc -T ${TARGET_PROFILE} -E ${ENTRY} -Fo ${OUTPUT_NAME} ${SHADER_FILE}
        DEPENDS ${SHADER_FILE}
        COMMENT "Compiling ${SHADER_FILE} with ${TARGET_PROFILE}"
    )
    add_custom_target(${OUTPUT_NAME}_target DEPENDS ${OUTPUT_NAME})
endfunction()

此外，建议引入版本宏定义机制：

dxc -T cs_6_6 -D SHADER_MODEL=660 compute.hlsl

以便在代码中动态启用高级功能：

#ifdef SHADER_MODEL
    #if SHADER_MODEL >= 660
        float4 result = WaveReduceAdd(value);
    #endif
#endif

7. 常见问题排查流程图

graph TD A[编译失败或功能缺失] --> B{是否指定-T参数?} B -- 否 --> C[添加-T vs_6_0/ps_6_0/cs_6_x] B -- 是 --> D[检查阶段前缀是否正确] D --> E[确认目标平台支持该模型] E --> F[使用dxil-disasm验证输出] F --> G[查看是否含预期高级指令] G -- 是 --> H[成功] G -- 否 --> I[升级DXC版本或调整代码]