[all-commits] [llvm/llvm-project] d2a26a: [InstCombine] Do not perform binop-of-shuffle when...

[Antonio Frighetto via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d2a26a7bd5fc7cc5752337b7f4f999642feb37dc
      https://github.com/llvm/llvm-project/commit/d2a26a7bd5fc7cc5752337b7f4f999642feb37dc
  Author: Antonio Frighetto <me at antoniofrighetto.com>
  Date:   2024-02-20 (Tue, 20 Feb 2024)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
    M llvm/test/Transforms/InstCombine/vec_demanded_elts.ll

  Log Message:
  -----------
  [InstCombine] Do not perform binop-of-shuffle when mask is poison

A miscompilation issue has been addressed with refined checking.
Shuffle masks operand may be turned into `poison` if this does
not lead to observable changes. This however may not guarantee
binop to binop-of-shuffle replacement to be sound anymore.

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



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