[all-commits] [llvm/llvm-project] 591f2e: [SCCP] Implement Structure support in Selection (#...

[aokblast via All-commits]

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

  Changed paths:
    M llvm/lib/Transforms/Utils/SCCPSolver.cpp
    A llvm/test/Transforms/SCCP/select-struct.ll

  Log Message:
  -----------
  [SCCP] Implement Structure support in Selection (#225946)

Same as my previous work on PhiNode, we support structure in SelectInst
if there is at least one member is not overdefined.

As structure type check code has multiple consumers now, we create a
helper function forEachLatticeElement, which accept a function to
indicate what we want to do for a single lattice element. The lattice
getter function is passed as a currying function of the callback.

Also, remove an assertion for testing DenseMap reference as
isInstFullyOverDefined has already emit elements in DenseMap.



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