[debuginfo] replace usage of undef with poison as placeholder [NFC]

[RemoveDIs] Print IR with debug records by default (#91724)

This patch makes the final major change of the RemoveDIs project, changing the
default IR output from debug intrinsics to debug records.

[RemoveDIs] Print IR with debug records by default (#91724)

This patch makes the final major change of the RemoveDIs project, changing the
default IR output from debug intrinsics to debug records. This is expected to
break a large number of tests: every single one that tests for uses or
declarations of debug intrinsics and does not explicitly disable writing
records.

If this patch has broken your downstream tests (or upstream tests on a
configuration I wasn't able to run):
1. If you need to immediately unblock a build, pass
`--write-experimental-debuginfo=false` to LLVM's option processing for all
failing tests (remember to use `-mllvm` for clang/flang to forward arguments to
LLVM).
2. For most test failures, the changes are trivial and mechanical, enough that
they can be done by script; see the migration guide for a guide on how to do
this: https://llvm.org/docs/RemoveDIsDebugInfo.html#test-updates
3. If any tests fail for reasons other than FileCheck check lines that need
updating, such as assertion failures, that is most likely a real bug with this
patch and should be reported as such.

For more information, see the recent PSA:
https://discourse.llvm.org/t/psa-ir-output-changing-from-debug-intrinsics-to-debug-records/79578

show more ...

[RemoveDIs] Handle DPValues in LowerDbgDeclare (#73504)

The tests will become "live" once #74090 lands (see for more info).

[DebugInfo][RemoveDIs] Handle DPValues at remaining dbg.value using sites (#73788)

This patch updates the last few places in LLVM using findDbgValues that
don't also collect and handle DPValue obje

[DebugInfo][RemoveDIs] Handle DPValues at remaining dbg.value using sites (#73788)

This patch updates the last few places in LLVM using findDbgValues that
don't also collect and handle DPValue objects. This largely involves
instcombine and mem2reg changes, and are largely mechanical, calling
existing utilities on collections of DPValues instead of just
DbgValuesInsts.

A variety of tests have had RemoveDIs RUN lines added to them to cover
these behaviours. We have some technical debt of the instcombine sinking
code for DPValues not being implemented yet, so I've left FIXME stubs
indicating that we intend to cover tests with RemoveDIs but haven't yet.

show more ...

Revert "Reapply [Verifier] Sanity check alloca size against DILocalVariable fragment size"

This reverts commit 8840da2db237cd714d975c199d5992945d2b71e9.

This results in verifier failures during LTO

Revert "Reapply [Verifier] Sanity check alloca size against DILocalVariable fragment size"

This reverts commit 8840da2db237cd714d975c199d5992945d2b71e9.

This results in verifier failures during LTO, see #68929.

show more ...

Reapply [Verifier] Sanity check alloca size against DILocalVariable fragment size

Reapply now that generation of incorrect debuginfo for FnDef
in rustc has been fixed.

-----

Add a check that the D

Reapply [Verifier] Sanity check alloca size against DILocalVariable fragment size

Reapply now that generation of incorrect debuginfo for FnDef
in rustc has been fixed.

-----

Add a check that the DILocalVariable fragment size in dbg.declare
does not exceed the size of the alloca.

This would have caught the invalid debuginfo regenerated by rustc
in https://github.com/llvm/llvm-project/issues/64149.

Differential Revision: https://reviews.llvm.org/D158743

show more ...

[InferAlignment] Enable InferAlignment pass by default

This gives an improvement of 0.6%:
https://llvm-compile-time-tracker.com/compare.php?from=7d35fe6d08e2b9b786e1c8454cd2391463832167&to=0456c8e8a

[InferAlignment] Enable InferAlignment pass by default

This gives an improvement of 0.6%:
https://llvm-compile-time-tracker.com/compare.php?from=7d35fe6d08e2b9b786e1c8454cd2391463832167&to=0456c8e8a42be06b62ad4c3e3cf34b21f2633d1e&stat=instructions:u

Differential Revision: https://reviews.llvm.org/D158600

show more ...

Revert "Reapply [Verifier] Sanity check alloca size against DILocalVariable fragment size"

This reverts commit 47324cfd7d8ca1a2a5cbb9f948ecff66a28ee6bc.

This exposed incorrect debuginfo in rustc. R

Revert "Reapply [Verifier] Sanity check alloca size against DILocalVariable fragment size"

This reverts commit 47324cfd7d8ca1a2a5cbb9f948ecff66a28ee6bc.

This exposed incorrect debuginfo in rustc. Revert the verification
until this has been fixed.

show more ...

Reapply [Verifier] Sanity check alloca size against DILocalVariable fragment size

Reapply after fixing a clang bug this exposed in D158972 and
adjusting a number of tests that failed for 32-bit targ

Reapply [Verifier] Sanity check alloca size against DILocalVariable fragment size

Reapply after fixing a clang bug this exposed in D158972 and
adjusting a number of tests that failed for 32-bit targets.

-----

Add a check that the DILocalVariable fragment size in dbg.declare
does not exceed the size of the alloca.

This would have caught the invalid debuginfo regenerated by rustc
in https://github.com/llvm/llvm-project/issues/64149.

Differential Revision: https://reviews.llvm.org/D158743

show more ...

Revert "[Verifier] Sanity check alloca size against DILocalVariable fragment size"

This reverts commit 183f49c3e0f4a7facf237581f83ae07e7f4544ab.

The lang/cpp/trivial_abi/TestTrivialABI.py lldb test

Revert "[Verifier] Sanity check alloca size against DILocalVariable fragment size"

This reverts commit 183f49c3e0f4a7facf237581f83ae07e7f4544ab.

The lang/cpp/trivial_abi/TestTrivialABI.py lldb test fails on
buildbots.

show more ...

[Verifier] Sanity check alloca size against DILocalVariable fragment size

Add a check that the DILocalVariable fragment size in dbg.declare
does not exceed the size of the alloca.

This would have c

[Verifier] Sanity check alloca size against DILocalVariable fragment size

Add a check that the DILocalVariable fragment size in dbg.declare
does not exceed the size of the alloca.

This would have caught the invalid debuginfo regenerated by rustc
in https://github.com/llvm/llvm-project/issues/64149.

Differential Revision: https://reviews.llvm.org/D158743

show more ...

[InstCombine][debuginfo] Update valueCoversEntireFragment for fixed size fragment and scalable value.

Update valueCoversEntireFragment to handle new case and add regression test.

Reviewed By: sdesm

[InstCombine][debuginfo] Update valueCoversEntireFragment for fixed size fragment and scalable value.

Update valueCoversEntireFragment to handle new case and add regression test.

Reviewed By: sdesmalen, aprantl

Differential Revision: https://reviews.llvm.org/D144472

show more ...