[all-commits] [llvm/llvm-project] 47324c: Reapply [Verifier] Sanity check alloca size agains...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 47324cfd7d8ca1a2a5cbb9f948ecff66a28ee6bc
      https://github.com/llvm/llvm-project/commit/47324cfd7d8ca1a2a5cbb9f948ecff66a28ee6bc
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-09-15 (Fri, 15 Sep 2023)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/CodeGen/ARM/stack-frame-layout-remarks.ll
    M llvm/test/CodeGen/BPF/warn-stack.ll
    A llvm/test/CodeGen/X86/stack-frame-layout-remarks-32.ll
    A llvm/test/CodeGen/X86/stack-frame-layout-remarks-64.ll
    R llvm/test/CodeGen/X86/stack-frame-layout-remarks.ll
    R llvm/test/DebugInfo/Generic/PR20038.ll
    M llvm/test/DebugInfo/Generic/discriminated-union.ll
    R llvm/test/DebugInfo/Generic/dwarf-public-names.ll
    R llvm/test/DebugInfo/Generic/member-order.ll
    R llvm/test/DebugInfo/Generic/tu-composite.ll
    M llvm/test/DebugInfo/Generic/univariant-discriminated-union.ll
    A llvm/test/DebugInfo/X86/PR20038.ll
    M llvm/test/DebugInfo/X86/fi-piece.ll
    A llvm/test/DebugInfo/X86/member-order.ll
    A llvm/test/DebugInfo/X86/tu-composite.ll
    A llvm/test/DebugInfo/invalid-sizes.ll
    M llvm/test/Linker/type-unique-odr-a.ll
    M llvm/test/Linker/type-unique-odr-b.ll
    M llvm/test/Linker/type-unique-simple2-a.ll
    M llvm/test/Linker/type-unique-simple2-b.ll
    M llvm/test/Transforms/InstCombine/dbg-scalable-store-fixed-frag.ll
    M llvm/test/Transforms/InstCombine/dbg-simplify-alloca-size.ll
    M llvm/test/Transforms/Util/dbg-user-of-aext.ll

  Log Message:
  -----------
  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