[PATCH] D139312: ValueTracking: Teach CannotBeOrderedLessThanZero about copysign

[Sanjay Patel via Phabricator via llvm-commits]

spatel added inline comments.


================
Comment at: llvm/test/Transforms/InstSimplify/floating-point-arithmetic.ll:964
+;
+  %sqrt = call ninf nnan float @llvm.sqrt.f32(float %sign)
+  %copysign = call float @llvm.copysign.f32(float %unknown, float %sqrt)
----------------
Something went wrong - this is a miscompile without 'nsz' on the sqrt (otherwise, it can return -0.0):
https://alive2.llvm.org/ce/z/yqXQmQ


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

https://reviews.llvm.org/D139312