Incorrect validation rule in NonSemantic.Shader.DebugInfo.100 DebugLine

[alan-baker]

See DebugLine.

Line Start is the of a 32-bit integer OpConstant denoting the source line number where the location begins.

Line End is the of a 32-bit integer OpConstant denoting the source line number where the location ends. This may be the same as Line Start if the location doesn’t cover multiple lines.

Column Start is the of a 32-bit integer OpConstant denoting the source column number where the location begins.

Column End is the of a 32-bit integer OpConstant denoting the source column number where the location ends. This must be greater than or equal to Column Start.

The validation for Column End should only apply if Line Start equals Line End. KhronosGroup/SPIRV-Tools#5846 implemented the rule as is, but that causes some multi-line uses to be considered invalid.