[PATCH] D139312: ValueTracking: Teach CannotBeOrderedLessThanZero about copysign
Jay Foad via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Dec 5 05:43:08 PST 2022
foad added a comment.
Seems reasonable. Can we get alive2 proofs for floating point things like this yet @nlopes?
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D139312/new/
https://reviews.llvm.org/D139312
More information about the llvm-commits
mailing list