[Polly] Insert !dbg metadata for emitted CallInsts.
authorMichael Kruse <llvm-project@meinersbur.de>
Wed, 27 Jul 2022 00:02:21 +0000 (19:02 -0500)
committerMichael Kruse <llvm-project@meinersbur.de>
Wed, 27 Jul 2022 00:43:53 +0000 (19:43 -0500)
commitfe0e5b3e43b7326ddce7bb5fc381ecbbc786a797
treef3a22d6f6f60ef8dc6ab76a2a23be7e971e12df6
parent9981afdd42fad55f9a1b61bd2f38d4db5fe53250
[Polly] Insert !dbg metadata for emitted CallInsts.

The IR Verifier requires that every call instruction to an inlineable
function (among other things, its implementation must be visible in the
translation unit) must also have !dbg metadata attached to it. When
parallelizing, Polly emits calls to OpenMP runtime function out of thin
air, or at least not directly derived from a bounded list of previous
instruction. While we could search for instructions in the SCoP that has
some debug info attached to it, there is no guarantee that we find any.
Our solution is to generate a new DILocation that points to line 0 to
represent optimized code.

The OpenMP function implementation is usually not available in the
user's translation unit, but can become visible in an LTO build. For
the bug to appear, libomp must also be built with debug symbols.

IMHO, the IR verifier rule is too strict. Runtime functions can
also be inserted by other optimization passes, such as
LoopIdiomRecognize. When inserting a call to e.g. memset, it uses the
DebugLoc from a StoreInst from the unoptimized code. It is not
required to have !dbg metadata attached either.

Fixes #56692
polly/include/polly/CodeGen/LoopGenerators.h
polly/lib/CodeGen/LoopGenerators.cpp
polly/lib/CodeGen/LoopGeneratorsGOMP.cpp
polly/lib/CodeGen/LoopGeneratorsKMP.cpp
polly/test/CodeGen/issue56692.ll [new file with mode: 0644]