SuccessChanges

Summary

  1. [InstSimplify] Fold division by zero to poison (details)
Commit 766cf7f32e4f0974dbccd9771317a102533aa0df by nikita.ppv
[InstSimplify] Fold division by zero to poison

Div/rem by zero is immediate undefined behavior and anything goes.
Currently we fold it to undef, this patch changes it to fold to
poison instead, which is slightly stronger.

Differential Revision: https://reviews.llvm.org/D93995
The file was modifiedllvm/test/Transforms/SLPVectorizer/X86/alternate-int-inseltpoison.ll
The file was modifiedllvm/test/Transforms/InstCombine/sdiv-exact-by-negative-power-of-two.ll
The file was modifiedllvm/test/Transforms/InstSimplify/div.ll
The file was modifiedllvm/lib/Analysis/InstructionSimplify.cpp
The file was modifiedllvm/test/Transforms/InstCombine/inselt-binop.ll
The file was modifiedllvm/test/Transforms/InstCombine/div.ll
The file was modifiedllvm/test/Transforms/InstCombine/inselt-binop-inseltpoison.ll
The file was modifiedllvm/test/Transforms/InstCombine/rem.ll
The file was modifiedllvm/test/Transforms/InstCombine/shift.ll
The file was modifiedllvm/test/Transforms/InstCombine/vector-udiv.ll
The file was modifiedllvm/test/Transforms/InstCombine/vector-urem.ll
The file was modifiedllvm/test/Transforms/InstSimplify/undef.ll
The file was modifiedllvm/test/Transforms/InstCombine/icmp-div-constant.ll
The file was modifiedllvm/test/Transforms/InstCombine/sdiv-exact-by-power-of-two.ll
The file was modifiedllvm/test/Transforms/InstCombine/add-shl-sdiv-to-srem.ll
The file was modifiedllvm/test/Transforms/InstSimplify/rem.ll