[ASDAlexander77]

Summary

Building with debug info and optimisation together, --di --opt, failed before any code was generated. It failed for most programs, and for every -mm=rc program:

error: inlinable function call in a function with a DISubprogram location must have a debug location

Cause

--opt ran StripDebugInfo before the inliner, which removed every location. --di still ran DIScopeForLLVMFuncOpPass, which gives every function a subprogram. Any call still standing afterwards had no location inside a function that needed one, and the LLVM dialect verifier rejects that when the callee could be inlined.

Under rc that is every program, because the lowering makes the tsrel_/tsret_ helpers after the inliner has run. Stripping also threw away the very debug information --di asked for.

Fix

1. The strip runs only without --di.
2. A new InlinedLocationPass runs before DIScopeForLLVMFuncOpPass under --di --opt. Keeping the locations exposed two shapes the inliner leaves behind, both of which the upstream pass dereferences without checking, crashing tslang:
   • callsite(unknown at <call>), from an op that was made without a location and then inlined. The pass reads a file name from every call site's callee. The inlined op now takes the location of its call.
   • A call-site location on an op outside any function. The lowering creates a string literal's global with the location of the op that used it, and that op may have been inlined. The pass reads the enclosing function's location, and there is none. Such an op now takes the location it was written at.

Tests

test-compile-debug-info-opt (debug-info-opt.cmake) emits LLVM IR with --di --opt for five programs under gc, rc and none. It is a cmake script, like debug-info-rc.cmake, because test-runner never combines the two flags. Without the fix, four of the five fail in every model.

Every file in test/tester/tests was also swept with --di --opt and compared against --opt alone:

• compiled to LLVM IR under gc, rc and none: none of the 570 fails only because of --di;
• run under JIT, gc and rc: none of the 570 fails only because of --di.

Release ctest: 3293/3293 (one test already disabled).

🤖 Generated with Claude Code