132 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4declare float @llvm.fabs.f32(float)5declare float @llvm.copysign.f32(float, float)6declare float @llvm.maxnum.f32(float, float)7declare <3 x double> @llvm.copysign.v3f64(<3 x double>, <3 x double>)8 9define float @positive_sign_arg(float %x) {10; CHECK-LABEL: @positive_sign_arg(11; CHECK-NEXT: [[R:%.*]] = call arcp float @llvm.fabs.f32(float [[X:%.*]])12; CHECK-NEXT: ret float [[R]]13;14 %r = call arcp float @llvm.copysign.f32(float %x, float 0.0)15 ret float %r16}17 18define <3 x double> @positive_sign_arg_vec_splat(<3 x double> %x) {19; CHECK-LABEL: @positive_sign_arg_vec_splat(20; CHECK-NEXT: [[R:%.*]] = call ninf <3 x double> @llvm.fabs.v3f64(<3 x double> [[X:%.*]])21; CHECK-NEXT: ret <3 x double> [[R]]22;23 %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>)24 ret <3 x double> %r25}26 27define float @negative_sign_arg(float %x) {28; CHECK-LABEL: @negative_sign_arg(29; CHECK-NEXT: [[TMP1:%.*]] = call nnan float @llvm.fabs.f32(float [[X:%.*]])30; CHECK-NEXT: [[R:%.*]] = fneg nnan float [[TMP1]]31; CHECK-NEXT: ret float [[R]]32;33 %r = call nnan float @llvm.copysign.f32(float %x, float -0.0)34 ret float %r35}36 37define <3 x double> @negative_sign_arg_vec_splat(<3 x double> %x) {38; CHECK-LABEL: @negative_sign_arg_vec_splat(39; CHECK-NEXT: [[TMP1:%.*]] = call fast <3 x double> @llvm.fabs.v3f64(<3 x double> [[X:%.*]])40; CHECK-NEXT: [[R:%.*]] = fneg fast <3 x double> [[TMP1]]41; CHECK-NEXT: ret <3 x double> [[R]]42;43 %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>)44 ret <3 x double> %r45}46 47define float @known_positive_sign_arg(float %x, float %y) {48; CHECK-LABEL: @known_positive_sign_arg(49; CHECK-NEXT: [[R:%.*]] = call ninf float @llvm.fabs.f32(float [[X:%.*]])50; CHECK-NEXT: ret float [[R]]51;52 %fabs = call float @llvm.fabs.f32(float %y)53 %r = call ninf float @llvm.copysign.f32(float %x, float %fabs)54 ret float %r55}56 57define <3 x double> @known_positive_sign_arg_vec(<3 x double> %x, <3 x i32> %y) {58; CHECK-LABEL: @known_positive_sign_arg_vec(59; CHECK-NEXT: [[R:%.*]] = call arcp <3 x double> @llvm.fabs.v3f64(<3 x double> [[X:%.*]])60; CHECK-NEXT: ret <3 x double> [[R]]61;62 %yf = uitofp <3 x i32> %y to <3 x double>63 %r = call arcp <3 x double> @llvm.copysign.v3f64(<3 x double> %x, <3 x double> %yf)64 ret <3 x double> %r65}66 67; maxnum(-0.0, 0.0) can return -0.0.68 69define float @not_known_positive_sign_arg(float %x, float %y) {70; CHECK-LABEL: @not_known_positive_sign_arg(71; CHECK-NEXT: [[MAX:%.*]] = call float @llvm.maxnum.f32(float [[X:%.*]], float 0.000000e+00)72; CHECK-NEXT: [[R:%.*]] = call ninf float @llvm.copysign.f32(float [[Y:%.*]], float [[MAX]])73; CHECK-NEXT: ret float [[R]]74;75 %max = call float @llvm.maxnum.f32(float %x, float 0.0)76 %r = call ninf float @llvm.copysign.f32(float %y, float %max)77 ret float %r78}79 80; The magnitude operand of the 1st copysign is irrelevant.81; copysign(x, copysign(y, z)) --> copysign(x, z)82 83define float @copysign_sign_arg(float %x, float %y, float %z) {84; CHECK-LABEL: @copysign_sign_arg(85; CHECK-NEXT: [[R:%.*]] = call float @llvm.copysign.f32(float [[X:%.*]], float [[Z:%.*]])86; CHECK-NEXT: ret float [[R]]87;88 %s = call reassoc float @llvm.copysign.f32(float %y, float %z)89 %r = call ninf float @llvm.copysign.f32(float %x, float %s)90 ret float %r91}92 93define float @copysign_sign_arg_nnan(float %x, float %y, float %z) {94; CHECK-LABEL: @copysign_sign_arg_nnan(95; CHECK-NEXT: [[R:%.*]] = call nnan float @llvm.copysign.f32(float [[X:%.*]], float [[Z:%.*]])96; CHECK-NEXT: ret float [[R]]97;98 %s = call nnan float @llvm.copysign.f32(float %y, float %z)99 %r = call nnan float @llvm.copysign.f32(float %x, float %s)100 ret float %r101}102 103define float @copysign_sign_arg_mixed(float %x, float %y, float %z) {104; CHECK-LABEL: @copysign_sign_arg_mixed(105; CHECK-NEXT: [[R:%.*]] = call nsz float @llvm.copysign.f32(float [[X:%.*]], float [[Z:%.*]])106; CHECK-NEXT: ret float [[R]]107;108 %s = call ninf nsz float @llvm.copysign.f32(float %y, float %z)109 %r = call nnan nsz float @llvm.copysign.f32(float %x, float %s)110 ret float %r111}112 113define float @fneg_mag(float %x, float %y) {114; CHECK-LABEL: @fneg_mag(115; CHECK-NEXT: [[R:%.*]] = call float @llvm.copysign.f32(float [[X:%.*]], float [[Y:%.*]])116; CHECK-NEXT: ret float [[R]]117;118 %n = fneg float %x119 %r = call float @llvm.copysign.f32(float %n, float %y)120 ret float %r121}122 123define float @fabs_mag(float %x, float %y) {124; CHECK-LABEL: @fabs_mag(125; CHECK-NEXT: [[R:%.*]] = call float @llvm.copysign.f32(float [[X:%.*]], float [[Y:%.*]])126; CHECK-NEXT: ret float [[R]]127;128 %a = call float @llvm.fabs.f32(float %x)129 %r = call float @llvm.copysign.f32(float %a, float %y)130 ret float %r131}132