[all-commits] [llvm/llvm-project] 4e30f8: [DAG] visitFREEZE - remove isGuaranteedNotToBeUnde...

[Simon Pilgrim via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4e30f8101e4bcdc05b2a4a8c26f51a0d4f20b265
      https://github.com/llvm/llvm-project/commit/4e30f8101e4bcdc05b2a4a8c26f51a0d4f20b265
  Author: Simon Pilgrim <llvm-dev at redking.me.uk>
  Date:   2025-07-01 (Tue, 01 Jul 2025)

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

  Log Message:
  -----------
  [DAG] visitFREEZE - remove isGuaranteedNotToBeUndefOrPoison assertion (#146490)

Although nice to have to prove the freeze can be moved, this can fail
immediately after freeze(op(...)) -> op(freeze(),freeze(),...) creation
if any of the new freeze nodes now prevents value tracking from seeing
through to the source values (e.g. shift amounts/element indices are in
bounds etc.).

This will allow us to remove the isGuaranteedNotToBeUndefOrPoison checks
inside canCreateUndefOrPoison that were discussed on #146361



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