Support DIExpression DebugInfo

[spencer-lunarg]

I have this simple CL kernel

__kernel void addVectors(__global const float* a,
                         __global const float* b,
                         __global float* c)
{
    int id = get_global_id(0);

    float temp = a[id] + b[id];
    c[id] = temp;
}

And ran

$ clang-22 -c -cl-std=CL3.0 -target spir64 -emit-llvm -Xclang -finclude-default-header -g -O3 simple.cl

$ build/tools/llvm-spirv/llvm-spirv --spirv-ext=+all --spirv-max-version=1.3 simple.bc -o simple.spv

and getting

LLVM ERROR: unsupported opcode found in DIExpression
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and instructions to reproduce the bug.
Stack dump:
0.	Program arguments: build/tools/llvm-spirv/llvm-spirv --spirv-ext=+all --spirv-max-version=1.3 simple.bc -o simple.spv
1.	Running pass "SPIRV::LLVMToSPIRVPass" on module "simple.bc"

[MrSidims]

The translator should indeed do a better job in saying, what exactly is not supported.

Yet there are debug expressions in LLVM IR module for the sample that is covered by neither OpenCL.DebugInfo.100 (default for the translator) nor NonSemantic.Shader.DebugInfo.[100] (can be enabled by --spirv-debug-info-version=nonsemantic-shader-100) specs.

Enabling NonSemantic.Shader.DebugInfo.200 (which is on-par with dwarf and llvm for representing expressions) will help:
llvm-spirv --spirv-ext=+all --spirv-max-version=1.3 simple.bc -o simple.spv --spirv-debug-info-version=nonsemantic-shader-200
alternatively (if you don't want to use not-ratified spec) there is a translator's hack:
--spirv-allow-extra-diexpressions - this will help transalte "extra" debug expressions, but only translator will consume it successfully.

[spencer-lunarg]

--spirv-allow-extra-diexpressions worked

the --spirv-debug-info-version=nonsemantic-shader-200 also worked, but hard to use when all the tools don't know what these nonsemantic instructions are

... happy to close this issue, I got what I needed and its hopefully searchable for others

[MrSidims]

Just for the record:
I'd advertise for combination of --spirv-debug-info-version=nonsemantic-shader-100 --spirv-allow-extra-diexpressions to get both the modern debug info representation in SPIR-V + this workaround for the expressions.