This is semantically required by HLSL, and frequently results in using OpSelect instead of control flow.