PixelShaderGen: fix behavior of TEVCOLORARG_HALF.