From c7492fbd4e85632a05428bd0281fcfd06f1fff6c Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Tue, 17 Dec 2019 16:46:42 -0500 Subject: [PATCH] [InstCombine] add tests for copysign; NFC --- llvm/test/Transforms/InstCombine/copysign.ll | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/llvm/test/Transforms/InstCombine/copysign.ll b/llvm/test/Transforms/InstCombine/copysign.ll index 49ca1b8..c769cce 100644 --- a/llvm/test/Transforms/InstCombine/copysign.ll +++ b/llvm/test/Transforms/InstCombine/copysign.ll @@ -1,6 +1,7 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -S -instcombine < %s | FileCheck %s +declare float @llvm.fabs.f32(float) declare float @llvm.copysign.f32(float, float) declare <3 x double> @llvm.copysign.v3f64(<3 x double>, <3 x double>) @@ -41,3 +42,25 @@ define <3 x double> @negative_sign_arg_vec_splat(<3 x double> %x) { %r = call fast <3 x double> @llvm.copysign.v3f64(<3 x double> %x, <3 x double> ) ret <3 x double> %r } + +define float @known_positive_sign_arg(float %x, float %y) { +; CHECK-LABEL: @known_positive_sign_arg( +; CHECK-NEXT: [[FABS:%.*]] = call float @llvm.fabs.f32(float [[Y:%.*]]) +; CHECK-NEXT: [[R:%.*]] = call ninf float @llvm.copysign.f32(float [[X:%.*]], float [[FABS]]) +; CHECK-NEXT: ret float [[R]] +; + %fabs = call float @llvm.fabs.f32(float %y) + %r = call ninf float @llvm.copysign.f32(float %x, float %fabs) + ret float %r +} + +define <3 x double> @known_positive_sign_arg_vec(<3 x double> %x, <3 x i32> %y) { +; CHECK-LABEL: @known_positive_sign_arg_vec( +; CHECK-NEXT: [[YF:%.*]] = uitofp <3 x i32> [[Y:%.*]] to <3 x double> +; CHECK-NEXT: [[R:%.*]] = call arcp <3 x double> @llvm.copysign.v3f64(<3 x double> [[X:%.*]], <3 x double> [[YF]]) +; CHECK-NEXT: ret <3 x double> [[R]] +; + %yf = uitofp <3 x i32> %y to <3 x double> + %r = call arcp <3 x double> @llvm.copysign.v3f64(<3 x double> %x, <3 x double> %yf) + ret <3 x double> %r +} -- 2.7.4