[PATCH] D16014: CannotBeOrderedLessThanZero: add some missing cases

[Sanjay Patel via llvm-commits]

spatel added inline comments.

================
Comment at: test/Transforms/InstSimplify/floating-point-compare.ll:72-80
@@ +71,11 @@
+; CHECK-LABEL: @orderedLessZeroSelect(
+define i1 @orderedLessZeroSelect(float, float) {
+  %a = call float @llvm.exp.f32(float %0)
+  %b = call float @llvm.fabs.f32(float %1)
+  %c = fcmp olt float %0, %1
+  %d = select i1 %c, float %a, float %b
+  %uge = fcmp uge float %d, 0.000000e+00
+; CHECK: ret i1 true
+  ret i1 %uge
+}
+
----------------
This test already works via ThreadCmpOverSelect(). Is there some other way to expose this case?


Repository:
  rL LLVM

http://reviews.llvm.org/D16014