Recommit "[ValueTracking] Use knownbits interface for determining if `div`/`rem`...
authorNoah Goldstein <goldstein.w.n@gmail.com>
Mon, 1 May 2023 20:37:23 +0000 (15:37 -0500)
committerNoah Goldstein <goldstein.w.n@gmail.com>
Mon, 1 May 2023 22:23:58 +0000 (17:23 -0500)
commit6c667abf3294d61e4fbe1238e1755c79f7547f1b
tree66d0b2013cb359208519e67b679a93aeb2d8db1d
parent6cdc229a64be8dacba40d30a9032c14f51ee30c0
Recommit "[ValueTracking] Use knownbits interface for determining if `div`/`rem` are safe to speculate" (2nd Try)

Add `poison` checks that where missing.

Reviewed By: nikic
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Transforms/LICM/speculate-div.ll