Potential invalid DXIL allowed to be generated

[weaseltron-sdunkley]

I have a shader that needs to be converted to spirv from dxil for Steam Deck but fails and was told by the author of dxil-spirv that the dxil generated is invalid. I have a shader below that demonstrates the issue. This generates an alloca instruction of type %dx.types.Handle (line 17) which causes the issue with the spirv conversion. It can be circumvented by using the indices directly and I also found unrolling the loop made the problematic allocas go away. However, if this is invalid dxil, should it not then be caught by DXC?

Thank you

https://godbolt.org/z/o95nvYr87