diff options
author | Nikita Popov <npopov@redhat.com> | 2022-09-29 15:21:57 +0200 |
---|---|---|
committer | Tobias Hieta <tobias@hieta.se> | 2022-09-30 08:20:33 +0200 |
commit | 6ba100a83f14e3a361c2dd298405dc747a4a02c4 (patch) | |
tree | 4c6d8e8a93a380161710ef82f379e054db831718 | |
parent | bcb9b9fc44e4d58877873b5b4b310b0c235017fe (diff) | |
download | llvm-6ba100a83f14e3a361c2dd298405dc747a4a02c4.tar.gz |
[InstSimplify] Add test for PR58046 (NFC)
-rw-r--r-- | llvm/test/Transforms/InstSimplify/floating-point-compare.ll | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstSimplify/floating-point-compare.ll b/llvm/test/Transforms/InstSimplify/floating-point-compare.ll index a45e39bd20cb..399950b65de2 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 |