Home | History | Annotate | Line # | Download | only in Mips
      1 //===---- MipsCCState.cpp - CCState with Mips specific extensions ---------===//
      2 //
      3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
      4 // See https://llvm.org/LICENSE.txt for license information.
      5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
      6 //
      7 //===----------------------------------------------------------------------===//
      8 
      9 #include "MipsCCState.h"
     10 #include "MipsSubtarget.h"
     11 #include "llvm/IR/Module.h"
     12 
     13 using namespace llvm;
     14 
     15 /// This function returns true if CallSym is a long double emulation routine.
     16 static bool isF128SoftLibCall(const char *CallSym) {
     17   const char *const LibCalls[] = {
     18       "__addtf3",      "__divtf3",     "__eqtf2",       "__extenddftf2",
     19       "__extendsftf2", "__fixtfdi",    "__fixtfsi",     "__fixtfti",
     20       "__fixunstfdi",  "__fixunstfsi", "__fixunstfti",  "__floatditf",
     21       "__floatsitf",   "__floattitf",  "__floatunditf", "__floatunsitf",
     22       "__floatuntitf", "__getf2",      "__gttf2",       "__letf2",
     23       "__lttf2",       "__multf3",     "__netf2",       "__powitf2",
     24       "__subtf3",      "__trunctfdf2", "__trunctfsf2",  "__unordtf2",
     25       "ceill",         "copysignl",    "cosl",          "exp2l",
     26       "expl",          "floorl",       "fmal",          "fmaxl",
     27       "fmodl",         "log10l",       "log2l",         "logl",
     28       "nearbyintl",    "powl",         "rintl",         "roundl",
     29       "sinl",          "sqrtl",        "truncl"};
     30 
     31   // Check that LibCalls is sorted alphabetically.
     32   auto Comp = [](const char *S1, const char *S2) { return strcmp(S1, S2) < 0; };
     33   assert(llvm::is_sorted(LibCalls, Comp));
     34   return std::binary_search(std::begin(LibCalls), std::end(LibCalls), CallSym,
     35                             Comp);
     36 }
     37 
     38 /// This function returns true if Ty is fp128, {f128} or i128 which was
     39 /// originally a fp128.
     40 static bool originalTypeIsF128(const Type *Ty, const char *Func) {
     41   if (Ty->isFP128Ty())
     42     return true;
     43 
     44   if (Ty->isStructTy() && Ty->getStructNumElements() == 1 &&
     45       Ty->getStructElementType(0)->isFP128Ty())
     46     return true;
     47 
     48   // If the Ty is i128 and the function being called is a long double emulation
     49   // routine, then the original type is f128.
     50   return (Func && Ty->isIntegerTy(128) && isF128SoftLibCall(Func));
     51 }
     52 
     53 /// Return true if the original type was vXfXX.
     54 static bool originalEVTTypeIsVectorFloat(EVT Ty) {
     55   if (Ty.isVector() && Ty.getVectorElementType().isFloatingPoint())
     56     return true;
     57 
     58   return false;
     59 }
     60 
     61 /// Return true if the original type was vXfXX / vXfXX.
     62 static bool originalTypeIsVectorFloat(const Type * Ty) {
     63   if (Ty->isVectorTy() && Ty->isFPOrFPVectorTy())
     64     return true;
     65 
     66   return false;
     67 }
     68 
     69 MipsCCState::SpecialCallingConvType
     70 MipsCCState::getSpecialCallingConvForCallee(const SDNode *Callee,
     71                                             const MipsSubtarget &Subtarget) {
     72   MipsCCState::SpecialCallingConvType SpecialCallingConv = NoSpecialCallingConv;
     73   if (Subtarget.inMips16HardFloat()) {
     74     if (const GlobalAddressSDNode *G =
     75             dyn_cast<const GlobalAddressSDNode>(Callee)) {
     76       llvm::StringRef Sym = G->getGlobal()->getName();
     77       Function *F = G->getGlobal()->getParent()->getFunction(Sym);
     78       if (F && F->hasFnAttribute("__Mips16RetHelper")) {
     79         SpecialCallingConv = Mips16RetHelperConv;
     80       }
     81     }
     82   }
     83   return SpecialCallingConv;
     84 }
     85 
     86 void MipsCCState::PreAnalyzeCallResultForF128(
     87     const SmallVectorImpl<ISD::InputArg> &Ins,
     88     const Type *RetTy, const char *Call) {
     89   for (unsigned i = 0; i < Ins.size(); ++i) {
     90     OriginalArgWasF128.push_back(
     91         originalTypeIsF128(RetTy, Call));
     92     OriginalArgWasFloat.push_back(RetTy->isFloatingPointTy());
     93   }
     94 }
     95 
     96 /// Identify lowered values that originated from f128 or float arguments and
     97 /// record this for use by RetCC_MipsN.
     98 void MipsCCState::PreAnalyzeReturnForF128(
     99     const SmallVectorImpl<ISD::OutputArg> &Outs) {
    100   const MachineFunction &MF = getMachineFunction();
    101   for (unsigned i = 0; i < Outs.size(); ++i) {
    102     OriginalArgWasF128.push_back(
    103         originalTypeIsF128(MF.getFunction().getReturnType(), nullptr));
    104     OriginalArgWasFloat.push_back(
    105         MF.getFunction().getReturnType()->isFloatingPointTy());
    106   }
    107 }
    108 
    109 /// Identify lower values that originated from vXfXX and record
    110 /// this.
    111 void MipsCCState::PreAnalyzeCallResultForVectorFloat(
    112     const SmallVectorImpl<ISD::InputArg> &Ins, const Type *RetTy) {
    113   for (unsigned i = 0; i < Ins.size(); ++i) {
    114     OriginalRetWasFloatVector.push_back(originalTypeIsVectorFloat(RetTy));
    115   }
    116 }
    117 
    118 /// Identify lowered values that originated from vXfXX arguments and record
    119 /// this.
    120 void MipsCCState::PreAnalyzeReturnForVectorFloat(
    121     const SmallVectorImpl<ISD::OutputArg> &Outs) {
    122   for (unsigned i = 0; i < Outs.size(); ++i) {
    123     ISD::OutputArg Out = Outs[i];
    124     OriginalRetWasFloatVector.push_back(
    125         originalEVTTypeIsVectorFloat(Out.ArgVT));
    126   }
    127 }
    128 
    129 /// Identify lowered values that originated from f128, float and sret to vXfXX
    130 /// arguments and record this.
    131 void MipsCCState::PreAnalyzeCallOperands(
    132     const SmallVectorImpl<ISD::OutputArg> &Outs,
    133     std::vector<TargetLowering::ArgListEntry> &FuncArgs,
    134     const char *Func) {
    135   for (unsigned i = 0; i < Outs.size(); ++i) {
    136     TargetLowering::ArgListEntry FuncArg = FuncArgs[Outs[i].OrigArgIndex];
    137 
    138     OriginalArgWasF128.push_back(originalTypeIsF128(FuncArg.Ty, Func));
    139     OriginalArgWasFloat.push_back(FuncArg.Ty->isFloatingPointTy());
    140     OriginalArgWasFloatVector.push_back(FuncArg.Ty->isVectorTy());
    141     CallOperandIsFixed.push_back(Outs[i].IsFixed);
    142   }
    143 }
    144 
    145 /// Identify lowered values that originated from f128, float and vXfXX arguments
    146 /// and record this.
    147 void MipsCCState::PreAnalyzeFormalArgumentsForF128(
    148     const SmallVectorImpl<ISD::InputArg> &Ins) {
    149   const MachineFunction &MF = getMachineFunction();
    150   for (unsigned i = 0; i < Ins.size(); ++i) {
    151     Function::const_arg_iterator FuncArg = MF.getFunction().arg_begin();
    152 
    153     // SRet arguments cannot originate from f128 or {f128} returns so we just
    154     // push false. We have to handle this specially since SRet arguments
    155     // aren't mapped to an original argument.
    156     if (Ins[i].Flags.isSRet()) {
    157       OriginalArgWasF128.push_back(false);
    158       OriginalArgWasFloat.push_back(false);
    159       OriginalArgWasFloatVector.push_back(false);
    160       continue;
    161     }
    162 
    163     assert(Ins[i].getOrigArgIndex() < MF.getFunction().arg_size());
    164     std::advance(FuncArg, Ins[i].getOrigArgIndex());
    165 
    166     OriginalArgWasF128.push_back(
    167         originalTypeIsF128(FuncArg->getType(), nullptr));
    168     OriginalArgWasFloat.push_back(FuncArg->getType()->isFloatingPointTy());
    169 
    170     // The MIPS vector ABI exhibits a corner case of sorts or quirk; if the
    171     // first argument is actually an SRet pointer to a vector, then the next
    172     // argument slot is $a2.
    173     OriginalArgWasFloatVector.push_back(FuncArg->getType()->isVectorTy());
    174   }
    175 }
    176