[all-commits] [llvm/llvm-project] bfa516: [ValueTracking] Support Array and Structure in con...

[aokblast via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bfa516b271a8e113ae84478a4cf7f17e0659274f
      https://github.com/llvm/llvm-project/commit/bfa516b271a8e113ae84478a4cf7f17e0659274f
  Author: aokblast <aokblast at FreeBSD.org>
  Date:   2026-09-29 (Tue, 29 Sep 2026)

  Changed paths:
    M llvm/include/llvm/IR/Constant.h
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/lib/IR/Constants.cpp
    M llvm/test/Transforms/Attributor/nofpclass.ll
    M llvm/test/Transforms/InstCombine/freeze.ll

  Log Message:
  -----------
  [ValueTracking] Support Array and Structure in contains* check (#226748)

Support Vector and Structure in containsUndefinedElement,
containsUndefOrPoisonElement, and containsConstantExpression. We
achieved this by using containsMatchingElement helper function, which
checks type recursively as Structure and Array are aggregates, which can
contain basically anything inside. This allows InstCombine to fold these
two types for freeze correctly.



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