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 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
