[InstSimplify] icmp poison, X -> poison
authorJuneyoung Lee <aqjune@gmail.com>
Sun, 20 Jun 2021 06:29:05 +0000 (15:29 +0900)
committerJuneyoung Lee <aqjune@gmail.com>
Sun, 20 Jun 2021 06:39:07 +0000 (15:39 +0900)
commit09e8c0d5aaef9f1157460a3ae6ae77c7a2f0966f
tree28b9245817e02b10d12e8fedb219ea4f0d115ed7
parent0873016ceff3ded84bfeaa37b39be675fa178f7d
[InstSimplify] icmp poison, X -> poison

This adds a simple transformation from icmp with poison constant to poison.
Comparing poison with something else is poison, so this is okay.

https://alive2.llvm.org/ce/z/e8iReb
https://alive2.llvm.org/ce/z/q4MurY
llvm/lib/Analysis/InstructionSimplify.cpp
llvm/test/Transforms/InstCombine/getelementptr.ll
llvm/test/Transforms/InstCombine/udiv-simplify.ll
llvm/test/Transforms/InstSimplify/icmp.ll