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

[aokblast via All-commits]

  Branch: refs/heads/users/aokblast/valuetracker/support_struct
  Home:   https://github.com/llvm/llvm-project
  Commit: 39e419c8dc0f17e99668242ebe767c602e2c906e
      https://github.com/llvm/llvm-project/commit/39e419c8dc0f17e99668242ebe767c602e2c906e
  Author: ShengYi Hung <aokblast at FreeBSD.org>
  Date:   2026-09-26 (Sat, 26 Sep 2026)

  Changed paths:
    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

Support Vector and Structure in containsUndefinedElement,
containsUndefOrPoisonElement, and containsConstantExpression. This is
achieved 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 correctly.



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