[LVI][CVP] Treat undef like a full range on abs(x, false) (#68711)
authorDianQK <dianqk@dianqk.net>
Sun, 15 Oct 2023 22:25:23 +0000 (06:25 +0800)
committerTobias Hieta <tobias@hieta.se>
Tue, 24 Oct 2023 06:24:50 +0000 (08:24 +0200)
commita7101379d75e9a3d9a3d9bf32c10ae01f909209a
tree4c06c287526a45e6887c331ccfc90492a8ccfbde
parentaa03fba83b17bbfcd9ed869efed2818b503875d6
[LVI][CVP] Treat undef like a full range on abs(x, false) (#68711)

Fixes #68682.

(cherry picked from commit 2ad9a658005e6a4204d7ee617c3949632a707aa5)
llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
llvm/test/Transforms/CorrelatedValuePropagation/abs.ll