[all-commits] [llvm/llvm-project] 8d2bae: [InstSimplify] Clarify simplifyWithOpReplaced() re...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8d2bae8c227debdcd0632ce364c58883bd12ad84
      https://github.com/llvm/llvm-project/commit/8d2bae8c227debdcd0632ce364c58883bd12ad84
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-05-16 (Tue, 16 May 2023)

  Changed paths:
    M llvm/include/llvm/Analysis/InstructionSimplify.h

  Log Message:
  -----------
  [InstSimplify] Clarify simplifyWithOpReplaced() refinement requirement (NFC)

In order to justify some of the special cases we have, we need to
assume that Op/RepOp are non-poison. For the places where this
function is used, if one of these is poison, then the select result
is poison anyway.