HLSL 交叉编译器

这个库将 高级着色语言 (HLSL) 着色器源代码编译成高级中间表示法，执行独立于设备的优化，并生成 OpenGL 着色语言 (GLSL) 兼容源代码。这个库在很大程度上基于 Mesa 的 GLSL 编译器。前端已进行大量重新编写，以解析 HLSL 并根据 HLSL 抽象语法树 (AST) 生成 Mesa IR。这个库利用 Mesa 的 IR 优化来简化代码，并根据 Mesa IR 最终生成 GLSL 源代码。GLSL 生成是以 GLSL 优化器中的工作为基础。

除了生成 GLSL 代码以外，这个编译器还将全局一致变量打包成数组以便轻松高效地进行设置，提供一种反射机制以通知高级代码需要哪些一致变量，并提供映射信息以使高级代码在运行时可通过索引而非名称来绑定资源。

主库入口点是 HLSLCrossCompile。此函数使用所请求的选项执行根据源 HLSL 生成 GLSL 代码所需执行的所有步骤。每个阶段的摘要如下所示：

解析

HLSL 解析器分为两部分：词法分析器和解析器。词法分析器通过使正则表达式与相应的标记匹配，将 HLSL 输入标记化。源文件是 hlsl_lexer.ll，并由 flex 处理以生成 C 代码。每一行都以一个正则表达式开头，后跟以 C 代码编写的语句。该正则表达式匹配时，将执行相应的 C 代码。状态存储在许多以 "yy" 为前缀的全局变量中。

解析器将规则与标记化输入匹配，以解释语言的语法并构建 AST。源文件是 hlsl_parser.yy，并由 bison 处理以生成 C 代码。对 bison 所使用的语法进行全面说明超出了本文档的范畴，但通过检视 HLSL 解析器可了解一些基本信息。通常，您将规则定义为与某个以递归方式求值的标记序列匹配。规则匹配时，将执行一些相应的 C 代码，这使您能够构建自己的 AST。C 代码块中的语法如下所示：

$$ = 解析此规则的结果，这通常是抽象语法树中的节点 $1、$2，等等 = 当前规则所匹配的子规则的输出

对词法分析器或解析器进行更改后，必须使用 flex 和 bison 重新生成 C 代码。GenerateParsers 批处理文件可处理此任务，但您必须根据系统上 flex 和 bison 的安装位置来设置目录。README 文件中包含的信息说明了使用的版本，以及可以从什么位置下载用于 Windows 的二进制文件。

编译

在编译期间，将遍历 AST 并使用 AST 来生成 IR 指令。您应掌握的一个重要概念是，IR 是非常低级别的操作序列。因此，它不会执行隐式转换或任何具有隐式转换性质的操作：所有操作都必须显式地执行。

下面是一些有趣的常用函数：

apply_type_conversion - 此函数将一种类型的值转换为另一种类型（如果有可能的话）。是执行隐式转换还是显式转换由参数控制。

arithmetic_result_type 等- 这组函数确定对输入值应用操作的结果类型。

validate_assignment - 确定某个 rvalue 是否可赋予特定类型的 lvalue。必要时，将应用允许的隐式转换。

do_assignment - 将 rvalue 赋予 lvalue（如果可使用 validate_assignment 完成）。

ast_expression::hir - 将 AST 中的表达式节点转换为一组 IR 指令。

process_initializer - 将初始化表达式应用于变量。

ast_struct_specifier::hir - 构建聚集类型，以表示所声明的结构。

ast_cbuffer_declaration::hir - 构建常量缓冲区布局的构造，并将其存储为一致变量块。

process_mul - 这是用于处理 HLSL 内部乘法的特殊代码。

match_function_by_name - 根据输入参数的名称和列表来查找函数特征符。

rank_parameter_lists - 对两个参数列表进行比较，并指定数字排名以指示这两个列表的匹配程度。这是一个辅助函数，用于执行重载解析：排名最低的特征符将胜出，如果有任何特征符的排名与排名最低的特征符相同，那么将函数调用声明为具有歧义。排名为零表示精确匹配。

gen_texture_op - 处理内置 HLSL 纹理和取样对象的方法调用。

_mesa_glsl_initialize_functions - 生成 HLSL 内部函数的内置函数。大部分函数（例如 sin 和 cos）会生成 IR 代码以执行操作，但某些函数（例如 transpose 和 determinant）会保留函数调用以推迟操作，使其由驱动程序的 GLSL 编译器执行。

扩展编译器

下面是一些有关实现某些类型的功能的提示：

新表达式

向 ir_expression_operation 枚举添加一个条目。
在 ir_expression 构造函数中，处理您的新表达式，以根据输入操作数的类型来设置表达式的类型化结果。
如果有可能，请向 ir_expression::constant_expression_value 添加一个处理程序，以便在编译时对常量表达式进行求值。
向 ir_validate::visit_leave(ir_expression *ir) 添加一个处理程序，以验证该表达式的正确性。
向 GLSLExpressionTable 添加一个条目，以将该表达式映射到 GLSL 表达式。
修改词法分析器，使其识别该表达式的标记（如果适用的话）。
修改解析器以使其识别该标记，并创建适当的 ast_expression 节点（如果适用的话）。

内部函数

向 _mesa_glsl_initialize_functions 添加内置函数定义。
在大部分情况下，内部函数将直接映射到单个表达式。如果是这样，您只需添加新的 ir_expression 并使用 make_intrinsic_genType 来生成内部函数。

类型

添加 glsl_type，以在 IR 中表示您的类型。您可将其添加到 _mesa_glsl_initialize_types，或添加到其中一个内置类型表，例如 glsl_type::builtin_core_types。对于模板化类型，请参阅 glsl_type::get_sampler_instance 作为示例。
修改词法分析器以使其识别必要的标记，并修改解析器以使其与您的标记匹配。请参阅 Texture2DArray 作为示例。
修改解析器以使其识别该标记，并创建必要的类型说明符。texture_type_specifier_nonarray 是一个不错的示例。
修改 ast_type_specifier::hir，以执行创建用户定义类型所需的任何处理。请参阅结构的处理作为示例。
修改 ast_type_specifier::glsl_type 以返回适当的 glsl_type。
如果类型包含方法，请修改 _mesa_ast_field_selection_to_hir 以处理这些方法。请参阅 gen_texture_op 作为示例。

属性、标志和限定符

将属性/标志/限定符添加到任何需要它们的 IR 和/或 AST 节点。
修改词法分析器，使其识别必要的标记。
修改解析器，以根据需要添加语法规则。例如，如果您要添加对 [loop] 属性的支持，请修改 iteration_statement 规则以接受其前面的可选属性。操作如下：将 iteration_statement 更改为 base_iteration_statement，并添加

iteration_statement：

iteration_attr base_iteration_statement
{
    // result is the iteration statement
    $$ = $2;
    // apply attribute
    $$->attr = $1;
}
base_iteration_statement
{
    // pass thru if no attribute
    $$ = $1;
}

最后，在编译器中任何需要了解该属性的位置进行修改。

原文：https://docs.unrealengine.com/latest/CHN/Programming/Rendering/ShaderDevelopment/HLSLCrossCompiler/index.html