。

比如编译器会将if和else展开#xff0c;分别执行其中的代…Shader中的if分支

我们在shader中写if语句例如

}实际上编译器会进行优化以及处理成多种不同的情况。

比如编译器会将if和else展开分别执行其中的代码然后根据测试条件选择一个结果这被称为Flatten。

或者编译器会真的编译出if指令真正的动态分支。

这取决于平台是否支持。

比如在老的OpenGL

2.0平台编译器总是进行Flatten所以if分支才被视作性能杀手。

当然即便是没有Flatten真正的动态分支由于会让同一个Warp中的线程不能同步执行而互相等待也会造成性能问题。

在DX11中编译器支持[branch]和[flatten]指令这样就可以主动选择是flatten还是真动态分支了:

[branch]

}具体参考https://docs.microsoft.com/en-us/windows/win32/direct3dhlsl/dx-graphics-hlsl-if

另外如果if中的测试条件是uniform这样编译器也是可以安全的优化为只执行一个分支的代码的效率和没有分支一样。

关于shader分支优化还有很多的说法比如使用lerp以及使用一些特殊的函数计算来代替分支还有三元运算符等等但是随着硬件平台和编译器的发展一些方法已经不能优化甚至反而是负优化了这儿就不展开了其实是我也没完全弄明白。

本文只想说一下Unity

由于Unity

Shader是跨平台的不仅仅是DX系列的HLSL还支持OpenGL,

Metal,

Vulkan等平台的Shader因此对branch和flatten进行了包装也就是UNITY_BRANCH和UNITY_FLATTEN。

例如

UNITY_BRANCH

}使用UNITY_BRANCH时if分支只会执行满足条件的那个分支而使用UNITY_FLATTEN两种情况都需要执行。

看起来我们应该总使用branch但是branch指令本身也是有消耗的如果if两边的操作都比较简单使用branch反而可能得不偿失。

在OpenGL中其实是没有branch指令的编译器会自己选择是否flatten。

以及上面说过的GLES

2.0直接就只有flatten。

所以这个指令只是一个hint具体还是要看平台。

fixed4

只在if分支中计算这不能保证可以计算出导数因为导数需要邻近像素的数据。

修改方法如下

fixed4

ApplyLut2D(TEXTURE2D_ARGS(userLutTex,

userLutSampler),

SRGBToLinear(input.rgb);}因为if中需要采样LUT贴图如果不是动态分支不使用

附加光realtime阴影

mul(_AdditionalShadowsBuffer[lightIndex].worldToShadowMatrix,

float4(positionWS,

mul(_AdditionalLightsWorldToShadow[lightIndex],

float4(positionWS,

GetAdditionalLightShadowParams(lightIndex);return

SampleShadowmap(TEXTURE2D_ARGS(_AdditionalLightsShadowmapTexture,

sampler_AdditionalLightsShadowmapTexture),

shadowCoord,

https://forum.unity.com/threads/correct-use-of-unity_branch.476804/https://zhuanlan.zhihu.com/p/122467342https://docs.microsoft.com/en-us/windows/win32/direct3dhlsl/dx-graphics-hlsl-ifhttps://zhuanlan.zhihu.com/p/525931936