[all-commits] [llvm/llvm-project] 950111: [Verifier] Make verifier fail when global variable...

[Steffen Larsen via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9501114ca015793c2fa6fe40236314a2db428e14
      https://github.com/llvm/llvm-project/commit/9501114ca015793c2fa6fe40236314a2db428e14
  Author: Steffen Larsen <sholstla at amd.com>
  Date:   2026-02-10 (Tue, 10 Feb 2026)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/CodeGen/LoongArch/merge-base-offset-tlsle.ll
    M llvm/test/CodeGen/LoongArch/merge-base-offset.ll
    M llvm/test/Transforms/GlobalOpt/large-element-size.ll
    A llvm/test/Verifier/global-var-too-big.ll

  Log Message:
  -----------
  [Verifier] Make verifier fail when global variable size exceeds address space size (#179625)

When a global variable has a size that exceeds the size of the address
space it resides in, the verifier should fail as the variable can
neither be materialized nor fully accessed. This patch adds a check to
the verifier to enforce it.

---------

Signed-off-by: Steffen Holst Larsen <HolstLarsen.Steffen at amd.com>
Co-authored-by: Steffen Holst Larsen <HolstLarsen.Steffen at amd.com>



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications