spirv-val: Add DotProduce Capability

[spencer-lunarg]

I realized in #6524 I forgot the validation around DotProductInputAll, DotProductInput4x8Bit and DotProductInput4x8BitPacked

[jmmartinez]

Thanks @spencer-lunarg ! This should fix the failures we've seen in LLVM upstream buildbots. https://github.com/llvm/llvm-project/actions/runs/21590282003/job/62208420883

[spencer-lunarg]

@jmmartinez the error I see is

# | error: line 20: 'Vector 1' and 'Vector 2' are a 32-bit int scalar, but no Packed Vector Format was provided.
# |   %8 = OpUDot %uint %x %y

that won't be fixed here, that is a bug in the spirv output of LLVM, the spec says

and assume %x here is a scalar by the message, it is missing the optional PackedVectorFormat4x8Bit operand (which I assume has "just worked" as its the only option currently)

[jmmartinez]

@jmmartinez the error I see is

# | error: line 20: 'Vector 1' and 'Vector 2' are a 32-bit int scalar, but no Packed Vector Format was provided.
# |   %8 = OpUDot %uint %x %y

that won't be fixed here, that is a bug in the spirv output of LLVM, the spec says

and assume `%x` here is a scalar by the message, it is missing the optional `PackedVectorFormat4x8Bit` operand (which I assume has "just worked" as its the only option currently)

Thanks ! I've missed the part of adding PackedVectorFormat4x8Bit. I'll get some time to fix that tomorrow.