有没有办法在Vulkan SPIR-V中使用OpenCL C mad函数？

Question

众所周知，至少有两种方法可以计算a * b + c ：

1. ret := a*b; ret := ret + c;

2. ret := fma(a, b, c);

但是在OpenCL C中，还有第三个函数“ mad”，它将精度与性能进行了权衡。

在LunarG sdk中，默认的SPIR-V编译器将编译GLSL和HLSL着色语言，并且GLSL规范v4.60中未提及“ mad”功能。

如何在Vulkan中使用“疯狂”功能？

Answer 1

这里有些误会。

融合的乘法加法并不意味着精度降低。 由于在操作步骤之间保持内部硬件精度差异，因此与使用乘法然后加上与fma相比，该数字可能略有不同。 因此，在某些API /语言中，默认情况下未启用自动FMA，只有在编译器中使用了快速运算符或特定标志时，才会启用FMA。 可能在某些系统中精度会降低，但这并不是它的含义。

但是，在SPIR-V中，虽然似乎没有针对FMA的特定说明，但该规范明确预测并允许在SPIR-V-> gpu汇编编译之后进行。 它甚至在该语言中都具有NoContraction装饰。

NoContraction应用于算术指令，以指示该操作不能与另一条指令合并以形成单个操作。 例如，如果应用于OpFMul，则该乘法不能与加法运算相结合以产生融合的乘法加法运算。 此外，不允许此类操作重新关联； 例如，add（a + add（b + c））无法转换为add（add（a + b）+ c）。

请注意，SPIR-V并不是着色器的全部。 它只是着色器的可移植中间表示，然后由供应商vulkan驱动程序进一步编译。 没有机器直接运行SPIR-V。 这类优化留给驱动程序执行，而不是由程序员执行。 您通常可以假设这样的优化将在适当的条件下发生，这对于缺少显式FMA内置功能的其他编程语言是相同的。