[all-commits] [llvm/llvm-project] 31b57b: [SelectionDAG] Track demanded concat elements in n...

[Krzysztof Drewniak via All-commits]

  Branch: refs/heads/users/krzysz00/concat-not-undef-poison
  Home:   https://github.com/llvm/llvm-project
  Commit: 31b57b02e7ec0e68f49845647e468d34d57ce169
      https://github.com/llvm/llvm-project/commit/31b57b02e7ec0e68f49845647e468d34d57ce169
  Author: Krzysztof Drewniak <Krzysztof.Drewniak at amd.com>
  Date:   2026-06-05 (Fri, 05 Jun 2026)

  Changed paths:
    M llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
    M llvm/test/CodeGen/X86/freeze-vector.ll

  Log Message:
  -----------
  [SelectionDAG] Track demanded concat elements in noundef checks

Teach isGuaranteedNotToBeUndefOrPoison to distribute fixed-length
demanded element masks across CONCAT_VECTORS operands. This is part of
the series of fixes needed to resolve a SelectionDAG hang by making it
possible to prove certain values don't need to be frozen.

AI note: an LLM generated the code and the test, I've read them

Co-Authored-By: OpenAI Codex <codex at openai.com>


  Commit: 56a4aa0bb08923b179371b7c47045b70643ca6a5
      https://github.com/llvm/llvm-project/commit/56a4aa0bb08923b179371b7c47045b70643ca6a5
  Author: Krzysztof Drewniak <Krzysztof.Drewniak at amd.com>
  Date:   2026-06-05 (Fri, 05 Jun 2026)

  Changed paths:
    M llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp

  Log Message:
  -----------
  Review comments


Compare: https://github.com/llvm/llvm-project/compare/1a3285e6fc2a...56a4aa0bb089

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