[PATCH] D139312: ValueTracking: Teach CannotBeOrderedLessThanZero about copysign

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added a comment.

Alive2 says this is ok and seems to understand copysign. For some of the other complex functions in other patches, it doesn’t complain but it also doesn’t complain when I try things that are obviously wrong


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D139312/new/

https://reviews.llvm.org/D139312