ValueTracking: Teach CannotBeOrderedLessThanZero about rounding intrinsics
authorMatt Arsenault <Matthew.Arsenault@amd.com>
Sun, 4 Dec 2022 04:24:01 +0000 (23:24 -0500)
committerMatt Arsenault <Matthew.Arsenault@amd.com>
Sun, 15 Jan 2023 14:44:45 +0000 (09:44 -0500)
commitc663b8c4295e70ccfde9a88cb22d0d0b42d5288f
tree333cbbf2f5b593dec8af0d84d008ec6b20073573
parent1500e55910eee2e65a6fd153f6db70889265229e
ValueTracking: Teach CannotBeOrderedLessThanZero about rounding intrinsics

These should obviously preserve the sign although the variety of these
always confuses me.
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Transforms/InstSimplify/floating-point-arithmetic.ll