[all-commits] [llvm/llvm-project] 5336d0: [SelectionDAG] Handle more opcodes in isGuaranteed...

[Björn Pettersson via All-commits]

  Branch: refs/heads/users/bjope/prepare_2
  Home:   https://github.com/llvm/llvm-project
  Commit: 5336d0b9dd7107ba71ec5c9ea7ebb8a4070e2ccb
      https://github.com/llvm/llvm-project/commit/5336d0b9dd7107ba71ec5c9ea7ebb8a4070e2ccb
  Author: Bjorn Pettersson <bjorn.a.pettersson at ericsson.com>
  Date:   2025-07-23 (Wed, 23 Jul 2025)

  Changed paths:
    M llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
    M llvm/test/CodeGen/X86/pr62286.ll

  Log Message:
  -----------
  [SelectionDAG] Handle more opcodes in isGuaranteedNotToBeUndefOrPoison

Add special handling of EXTRACT_SUBVECTOR, INSERT_SUBVECTOR,
EXTRACT_VECTOR_ELT, INSERT_VECTOR_ELT and SCALAR_TO_VECTOR in
isGuaranteedNotToBeUndefOrPoison. Make use of DemandedElts to
improve the analysis and only check relevant elements for each
operand.

Also start using DemandedElts in the recursive calls that
check isGuaranteedNotToBeUndefOrPoison for all operands for
operations that do not create undef/poison. We can do that for
a number of elementwise operations for which the DemandedElts
can be applied to every operand (e.g. ADD, OR, BITREVERSE, TRUNCATE).



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