[all-commits] [llvm/llvm-project] d8a249: [Verifier] Validate !tbaa.struct metadata (#225910)

[Abhay Kanhere via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d8a24983fe52f8deb97eecfdad332499ac5253de
      https://github.com/llvm/llvm-project/commit/d8a24983fe52f8deb97eecfdad332499ac5253de
  Author: Abhay Kanhere <a_kanhere at apple.com>
  Date:   2026-09-28 (Mon, 28 Sep 2026)

  Changed paths:
    M llvm/include/llvm/IR/Verifier.h
    M llvm/lib/Analysis/TypeBasedAliasAnalysis.cpp
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/Transforms/AtomicExpand/AMDGPU/expand-atomic-i16.ll
    M llvm/test/Transforms/InstCombine/struct-assign-tbaa.ll
    M llvm/test/Verifier/tbaa-struct.ll

  Log Message:
  -----------
  [Verifier] Validate !tbaa.struct metadata (#225910)

Check that !tbaa.struct operands come in (offset, size, tag) triples
with constant offset and size.



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