diff options
| -rw-r--r-- | llvm/test/Transforms/InstCombine/copysign.ll | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/copysign.ll b/llvm/test/Transforms/InstCombine/copysign.ll new file mode 100644 index 0000000..5d30f34 --- /dev/null +++ b/llvm/test/Transforms/InstCombine/copysign.ll @@ -0,0 +1,41 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt -S -instcombine < %s | FileCheck %s + +declare float @llvm.copysign.f32(float, float) +declare <3 x double> @llvm.copysign.v3f64(<3 x double>, <3 x double>) + +define float @positive_sign_arg(float %x) { +; CHECK-LABEL: @positive_sign_arg( +; CHECK-NEXT: [[R:%.*]] = call arcp float @llvm.copysign.f32(float [[X:%.*]], float 0.000000e+00) +; CHECK-NEXT: ret float [[R]] +; + %r = call arcp float @llvm.copysign.f32(float %x, float 0.0) + ret float %r +} + +define <3 x double> @positive_sign_arg_vec_splat(<3 x double> %x) { +; CHECK-LABEL: @positive_sign_arg_vec_splat( +; CHECK-NEXT: [[R:%.*]] = call ninf <3 x double> @llvm.copysign.v3f64(<3 x double> [[X:%.*]], <3 x double> <double 4.200000e+01, double 4.200000e+01, double 4.200000e+01>) +; CHECK-NEXT: ret <3 x double> [[R]] +; + %r = call ninf <3 x double> @llvm.copysign.v3f64(<3 x double> %x, <3 x double> <double 42.0, double 42.0, double 42.0>) + ret <3 x double> %r +} + +define float @negative_sign_arg(float %x) { +; CHECK-LABEL: @negative_sign_arg( +; CHECK-NEXT: [[R:%.*]] = call nnan float @llvm.copysign.f32(float [[X:%.*]], float -0.000000e+00) +; CHECK-NEXT: ret float [[R]] +; + %r = call nnan float @llvm.copysign.f32(float %x, float -0.0) + ret float %r +} + +define <3 x double> @negative_sign_arg_vec_splat(<3 x double> %x) { +; CHECK-LABEL: @negative_sign_arg_vec_splat( +; CHECK-NEXT: [[R:%.*]] = call fast <3 x double> @llvm.copysign.v3f64(<3 x double> [[X:%.*]], <3 x double> <double -4.200000e+01, double -4.200000e+01, double -4.200000e+01>) +; CHECK-NEXT: ret <3 x double> [[R]] +; + %r = call fast <3 x double> @llvm.copysign.v3f64(<3 x double> %x, <3 x double> <double -42.0, double -42.0, double -42.0>) + ret <3 x double> %r +} |