[all-commits] [llvm/llvm-project] dd1163: [InstSimplify] Fix incorrect poison propagation wh...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dd116369f646d023a2e7e5c145a1bed5dcf9a45c
      https://github.com/llvm/llvm-project/commit/dd116369f646d023a2e7e5c145a1bed5dcf9a45c
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-11-07 (Thu, 07 Nov 2024)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/CodeGen/AArch64/convertphitype.ll
    M llvm/test/CodeGen/AArch64/sve-breakdown-scalable-vectortype.ll
    M llvm/test/CodeGen/Hexagon/frame-offset-overflow.ll
    M llvm/test/CodeGen/Hexagon/trunc-mpy.ll
    M llvm/test/CodeGen/PowerPC/sms-phi-5.ll
    M llvm/test/Transforms/InstCombine/phi.ll
    M llvm/test/Transforms/InstSimplify/phi.ll
    M llvm/test/Transforms/LoopDeletion/pr53969.ll
    M llvm/test/Transforms/LoopVectorize/pr31190.ll
    M llvm/test/Transforms/Mem2Reg/UndefValuesMerge.ll
    M llvm/test/Transforms/Mem2Reg/single-store.ll

  Log Message:
  -----------
  [InstSimplify] Fix incorrect poison propagation when folding phi (#96631)

We can only replace phi(X, undef) with X, if X is known not to be
poison. Otherwise, the result may be more poisonous on the undef branch.

Fixes https://github.com/llvm/llvm-project/issues/68683.



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