[all-commits] [llvm/llvm-project] a05e00: [DFAJumpThreading] Unfold select to the incoming b...

[Hongyu Chen via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a05e004b285af92f9bcef12d5ab5537c36002c13
      https://github.com/llvm/llvm-project/commit/a05e004b285af92f9bcef12d5ab5537c36002c13
  Author: Hongyu Chen <xxs_chy at outlook.com>
  Date:   2025-10-01 (Wed, 01 Oct 2025)

  Changed paths:
    M llvm/lib/Transforms/Scalar/DFAJumpThreading.cpp
    M llvm/test/Transforms/DFAJumpThreading/dfa-jump-threading-transform.ll
    M llvm/test/Transforms/DFAJumpThreading/dfa-unfold-select.ll

  Log Message:
  -----------
  [DFAJumpThreading] Unfold select to the incoming block of phi user (#160987)

Fixes #160250
We previously assumed the select to unfold is defined in the incoming
block of phi user, as `isValidSelectInst` filters other cases at the
initial stage. However, the selects not defined in the incoming block
may occur after unfolding the arms of the unfolded select.
This patch sinks the select into the incoming block of the phi user and
unfolds it at the incoming block.



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