124 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc --mtriple=loongarch32 --mattr=+32s,+f,-d < %s | FileCheck %s --check-prefix=LA32F3; RUN: llc --mtriple=loongarch32 --mattr=+32s,+d < %s | FileCheck %s --check-prefix=LA32D4; RUN: llc --mtriple=loongarch64 --mattr=+f,-d < %s | FileCheck %s --check-prefix=LA64F5; RUN: llc --mtriple=loongarch64 --mattr=+d < %s | FileCheck %s --check-prefix=LA64D6 7declare float @llvm.copysign.f32(float, float)8declare double @llvm.copysign.f64(double, double)9 10define float @fcopysign_s(float %a, float %b) nounwind {11; LA32F-LABEL: fcopysign_s:12; LA32F: # %bb.0:13; LA32F-NEXT: fcopysign.s $fa0, $fa0, $fa114; LA32F-NEXT: ret15;16; LA32D-LABEL: fcopysign_s:17; LA32D: # %bb.0:18; LA32D-NEXT: fcopysign.s $fa0, $fa0, $fa119; LA32D-NEXT: ret20;21; LA64F-LABEL: fcopysign_s:22; LA64F: # %bb.0:23; LA64F-NEXT: fcopysign.s $fa0, $fa0, $fa124; LA64F-NEXT: ret25;26; LA64D-LABEL: fcopysign_s:27; LA64D: # %bb.0:28; LA64D-NEXT: fcopysign.s $fa0, $fa0, $fa129; LA64D-NEXT: ret30 %1 = call float @llvm.copysign.f32(float %a, float %b)31 ret float %132}33 34define double @fcopysign_d(double %a, double %b) nounwind {35; LA32F-LABEL: fcopysign_d:36; LA32F: # %bb.0:37; LA32F-NEXT: srli.w $a2, $a3, 3138; LA32F-NEXT: bstrins.w $a1, $a2, 31, 3139; LA32F-NEXT: ret40;41; LA32D-LABEL: fcopysign_d:42; LA32D: # %bb.0:43; LA32D-NEXT: fcopysign.d $fa0, $fa0, $fa144; LA32D-NEXT: ret45;46; LA64F-LABEL: fcopysign_d:47; LA64F: # %bb.0:48; LA64F-NEXT: srli.d $a1, $a1, 6349; LA64F-NEXT: bstrins.d $a0, $a1, 63, 6350; LA64F-NEXT: ret51;52; LA64D-LABEL: fcopysign_d:53; LA64D: # %bb.0:54; LA64D-NEXT: fcopysign.d $fa0, $fa0, $fa155; LA64D-NEXT: ret56 %1 = call double @llvm.copysign.f64(double %a, double %b)57 ret double %158}59 60define double @fold_promote_d_s(double %a, float %b) nounwind {61; LA32F-LABEL: fold_promote_d_s:62; LA32F: # %bb.0:63; LA32F-NEXT: movfr2gr.s $a2, $fa064; LA32F-NEXT: srli.w $a2, $a2, 3165; LA32F-NEXT: bstrins.w $a1, $a2, 31, 3166; LA32F-NEXT: ret67;68; LA32D-LABEL: fold_promote_d_s:69; LA32D: # %bb.0:70; LA32D-NEXT: fcvt.d.s $fa1, $fa171; LA32D-NEXT: fcopysign.d $fa0, $fa0, $fa172; LA32D-NEXT: ret73;74; LA64F-LABEL: fold_promote_d_s:75; LA64F: # %bb.0:76; LA64F-NEXT: movfr2gr.s $a1, $fa077; LA64F-NEXT: lu12i.w $a2, -52428878; LA64F-NEXT: lu32i.d $a2, 079; LA64F-NEXT: and $a1, $a1, $a280; LA64F-NEXT: slli.d $a1, $a1, 3281; LA64F-NEXT: bstrins.d $a1, $a0, 62, 082; LA64F-NEXT: move $a0, $a183; LA64F-NEXT: ret84;85; LA64D-LABEL: fold_promote_d_s:86; LA64D: # %bb.0:87; LA64D-NEXT: fcvt.d.s $fa1, $fa188; LA64D-NEXT: fcopysign.d $fa0, $fa0, $fa189; LA64D-NEXT: ret90 %c = fpext float %b to double91 %t = call double @llvm.copysign.f64(double %a, double %c)92 ret double %t93}94 95define float @fold_demote_s_d(float %a, double %b) nounwind {96; LA32F-LABEL: fold_demote_s_d:97; LA32F: # %bb.0:98; LA32F-NEXT: movgr2fr.w $fa1, $a199; LA32F-NEXT: fcopysign.s $fa0, $fa0, $fa1100; LA32F-NEXT: ret101;102; LA32D-LABEL: fold_demote_s_d:103; LA32D: # %bb.0:104; LA32D-NEXT: fcvt.s.d $fa1, $fa1105; LA32D-NEXT: fcopysign.s $fa0, $fa0, $fa1106; LA32D-NEXT: ret107;108; LA64F-LABEL: fold_demote_s_d:109; LA64F: # %bb.0:110; LA64F-NEXT: srli.d $a0, $a0, 32111; LA64F-NEXT: movgr2fr.w $fa1, $a0112; LA64F-NEXT: fcopysign.s $fa0, $fa0, $fa1113; LA64F-NEXT: ret114;115; LA64D-LABEL: fold_demote_s_d:116; LA64D: # %bb.0:117; LA64D-NEXT: fcvt.s.d $fa1, $fa1118; LA64D-NEXT: fcopysign.s $fa0, $fa0, $fa1119; LA64D-NEXT: ret120 %c = fptrunc double %b to float121 %t = call float @llvm.copysign.f32(float %a, float %c)122 ret float %t123}124