[llvm-branch-commits] [llvm] 6ba100a - [InstSimplify] Add test for PR58046 (NFC)

[Tobias Hieta via llvm-branch-commits]

Author: Nikita Popov
Date: 2022-09-30T08:20:33+02:00
New Revision: 6ba100a83f14e3a361c2dd298405dc747a4a02c4

URL: https://github.com/llvm/llvm-project/commit/6ba100a83f14e3a361c2dd298405dc747a4a02c4
DIFF: https://github.com/llvm/llvm-project/commit/6ba100a83f14e3a361c2dd298405dc747a4a02c4.diff

LOG: [InstSimplify] Add test for PR58046 (NFC)

Added: 
    

Modified: 
    llvm/test/Transforms/InstSimplify/floating-point-compare.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstSimplify/floating-point-compare.ll b/llvm/test/Transforms/InstSimplify/floating-point-compare.ll
index a45e39bd20cb0..399950b65de2f 100644
--- a/llvm/test/Transforms/InstSimplify/floating-point-compare.ll
+++ b/llvm/test/Transforms/InstSimplify/floating-point-compare.ll
@@ -999,6 +999,18 @@ define <2 x i1> @known_positive_une_with_negative_constant_splat_vec(<2 x i32> %
   ret <2 x i1> %cmp
 }
 
+; FIXME: Miscompile.
+define i1 @pr58046(i64 %arg) {
+; CHECK-LABEL: @pr58046(
+; CHECK-NEXT:    ret i1 false
+;
+  %fp = uitofp i64 %arg to double
+  %mul = fmul double -0.000000e+00, %fp
+  %div = fdiv double 1.000000e+00, %mul
+  %cmp = fcmp oeq double %div, 0xFFF0000000000000
+  ret i1 %cmp
+}
+
 define i1 @nonans1(double %in1, double %in2) {
 ; CHECK-LABEL: @nonans1(
 ; CHECK-NEXT:    ret i1 false