[ValueTracking] Pull out logic for detecting if `(sub X, Y)` is non-zero; NFC
authorNoah Goldstein <goldstein.w.n@gmail.com>
Sun, 30 Apr 2023 14:32:44 +0000 (09:32 -0500)
committerNoah Goldstein <goldstein.w.n@gmail.com>
Sun, 30 Apr 2023 15:06:45 +0000 (10:06 -0500)
commit786ce4c4c534f234334b14c25fbcdb31566e79d4
tree4c8c6b8ad5205d603859c4a5c6664ab629f4b9f0
parentc1994e54ffdb80ff310e59e5c3745115f2bb821e
[ValueTracking] Pull out logic for detecting if `(sub X, Y)` is non-zero; NFC

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D149406
llvm/lib/Analysis/ValueTracking.cpp