[all-commits] [llvm/llvm-project] 47226b: [SCCP] Implement Structure support in select

aokblast via All-commits all-commits at lists.llvm.org
Wed Sep 23 14:27:41 PDT 2026


  Branch: refs/heads/users/aokblast/sccp/implement_select
  Home:   https://github.com/llvm/llvm-project
  Commit: 47226bb480982f96474207c6f037ae9e7991e2ee
      https://github.com/llvm/llvm-project/commit/47226bb480982f96474207c6f037ae9e7991e2ee
  Author: ShengYi Hung <aokblast at FreeBSD.org>
  Date:   2026-09-23 (Wed, 23 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 select

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

As structure type check code has multiple consumer now, we create a
helper function forEachLatticeElement, which accept a function to
indicate what we want to do for a single lattice eleemnt. 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


More information about the All-commits mailing list