xref: /llvm-project/clang/lib/CodeGen/Targets/AVR.cpp (revision 992cb98462abb7630e87003516b75b241628f64c)
1*992cb984SSergei Barannikov //===- AVR.cpp ------------------------------------------------------------===//
2*992cb984SSergei Barannikov //
3*992cb984SSergei Barannikov // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*992cb984SSergei Barannikov // See https://llvm.org/LICENSE.txt for license information.
5*992cb984SSergei Barannikov // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*992cb984SSergei Barannikov //
7*992cb984SSergei Barannikov //===----------------------------------------------------------------------===//
8*992cb984SSergei Barannikov 
9*992cb984SSergei Barannikov #include "ABIInfoImpl.h"
10*992cb984SSergei Barannikov #include "TargetInfo.h"
11*992cb984SSergei Barannikov #include "clang/Basic/DiagnosticFrontend.h"
12*992cb984SSergei Barannikov 
13*992cb984SSergei Barannikov using namespace clang;
14*992cb984SSergei Barannikov using namespace clang::CodeGen;
15*992cb984SSergei Barannikov 
16*992cb984SSergei Barannikov //===----------------------------------------------------------------------===//
17*992cb984SSergei Barannikov // AVR ABI Implementation. Documented at
18*992cb984SSergei Barannikov // https://gcc.gnu.org/wiki/avr-gcc#Calling_Convention
19*992cb984SSergei Barannikov // https://gcc.gnu.org/wiki/avr-gcc#Reduced_Tiny
20*992cb984SSergei Barannikov //===----------------------------------------------------------------------===//
21*992cb984SSergei Barannikov 
22*992cb984SSergei Barannikov namespace {
23*992cb984SSergei Barannikov class AVRABIInfo : public DefaultABIInfo {
24*992cb984SSergei Barannikov private:
25*992cb984SSergei Barannikov   // The total amount of registers can be used to pass parameters. It is 18 on
26*992cb984SSergei Barannikov   // AVR, or 6 on AVRTiny.
27*992cb984SSergei Barannikov   const unsigned ParamRegs;
28*992cb984SSergei Barannikov   // The total amount of registers can be used to pass return value. It is 8 on
29*992cb984SSergei Barannikov   // AVR, or 4 on AVRTiny.
30*992cb984SSergei Barannikov   const unsigned RetRegs;
31*992cb984SSergei Barannikov 
32*992cb984SSergei Barannikov public:
AVRABIInfo(CodeGenTypes & CGT,unsigned NPR,unsigned NRR)33*992cb984SSergei Barannikov   AVRABIInfo(CodeGenTypes &CGT, unsigned NPR, unsigned NRR)
34*992cb984SSergei Barannikov       : DefaultABIInfo(CGT), ParamRegs(NPR), RetRegs(NRR) {}
35*992cb984SSergei Barannikov 
classifyReturnType(QualType Ty,bool & LargeRet) const36*992cb984SSergei Barannikov   ABIArgInfo classifyReturnType(QualType Ty, bool &LargeRet) const {
37*992cb984SSergei Barannikov     // On AVR, a return struct with size less than or equals to 8 bytes is
38*992cb984SSergei Barannikov     // returned directly via registers R18-R25. On AVRTiny, a return struct
39*992cb984SSergei Barannikov     // with size less than or equals to 4 bytes is returned directly via
40*992cb984SSergei Barannikov     // registers R22-R25.
41*992cb984SSergei Barannikov     if (isAggregateTypeForABI(Ty) &&
42*992cb984SSergei Barannikov         getContext().getTypeSize(Ty) <= RetRegs * 8)
43*992cb984SSergei Barannikov       return ABIArgInfo::getDirect();
44*992cb984SSergei Barannikov     // A return value (struct or scalar) with larger size is returned via a
45*992cb984SSergei Barannikov     // stack slot, along with a pointer as the function's implicit argument.
46*992cb984SSergei Barannikov     if (getContext().getTypeSize(Ty) > RetRegs * 8) {
47*992cb984SSergei Barannikov       LargeRet = true;
48*992cb984SSergei Barannikov       return getNaturalAlignIndirect(Ty);
49*992cb984SSergei Barannikov     }
50*992cb984SSergei Barannikov     // An i8 return value should not be extended to i16, since AVR has 8-bit
51*992cb984SSergei Barannikov     // registers.
52*992cb984SSergei Barannikov     if (Ty->isIntegralOrEnumerationType() && getContext().getTypeSize(Ty) <= 8)
53*992cb984SSergei Barannikov       return ABIArgInfo::getDirect();
54*992cb984SSergei Barannikov     // Otherwise we follow the default way which is compatible.
55*992cb984SSergei Barannikov     return DefaultABIInfo::classifyReturnType(Ty);
56*992cb984SSergei Barannikov   }
57*992cb984SSergei Barannikov 
classifyArgumentType(QualType Ty,unsigned & NumRegs) const58*992cb984SSergei Barannikov   ABIArgInfo classifyArgumentType(QualType Ty, unsigned &NumRegs) const {
59*992cb984SSergei Barannikov     unsigned TySize = getContext().getTypeSize(Ty);
60*992cb984SSergei Barannikov 
61*992cb984SSergei Barannikov     // An int8 type argument always costs two registers like an int16.
62*992cb984SSergei Barannikov     if (TySize == 8 && NumRegs >= 2) {
63*992cb984SSergei Barannikov       NumRegs -= 2;
64*992cb984SSergei Barannikov       return ABIArgInfo::getExtend(Ty);
65*992cb984SSergei Barannikov     }
66*992cb984SSergei Barannikov 
67*992cb984SSergei Barannikov     // If the argument size is an odd number of bytes, round up the size
68*992cb984SSergei Barannikov     // to the next even number.
69*992cb984SSergei Barannikov     TySize = llvm::alignTo(TySize, 16);
70*992cb984SSergei Barannikov 
71*992cb984SSergei Barannikov     // Any type including an array/struct type can be passed in rgisters,
72*992cb984SSergei Barannikov     // if there are enough registers left.
73*992cb984SSergei Barannikov     if (TySize <= NumRegs * 8) {
74*992cb984SSergei Barannikov       NumRegs -= TySize / 8;
75*992cb984SSergei Barannikov       return ABIArgInfo::getDirect();
76*992cb984SSergei Barannikov     }
77*992cb984SSergei Barannikov 
78*992cb984SSergei Barannikov     // An argument is passed either completely in registers or completely in
79*992cb984SSergei Barannikov     // memory. Since there are not enough registers left, current argument
80*992cb984SSergei Barannikov     // and all other unprocessed arguments should be passed in memory.
81*992cb984SSergei Barannikov     // However we still need to return `ABIArgInfo::getDirect()` other than
82*992cb984SSergei Barannikov     // `ABIInfo::getNaturalAlignIndirect(Ty)`, otherwise an extra stack slot
83*992cb984SSergei Barannikov     // will be allocated, so the stack frame layout will be incompatible with
84*992cb984SSergei Barannikov     // avr-gcc.
85*992cb984SSergei Barannikov     NumRegs = 0;
86*992cb984SSergei Barannikov     return ABIArgInfo::getDirect();
87*992cb984SSergei Barannikov   }
88*992cb984SSergei Barannikov 
computeInfo(CGFunctionInfo & FI) const89*992cb984SSergei Barannikov   void computeInfo(CGFunctionInfo &FI) const override {
90*992cb984SSergei Barannikov     // Decide the return type.
91*992cb984SSergei Barannikov     bool LargeRet = false;
92*992cb984SSergei Barannikov     if (!getCXXABI().classifyReturnType(FI))
93*992cb984SSergei Barannikov       FI.getReturnInfo() = classifyReturnType(FI.getReturnType(), LargeRet);
94*992cb984SSergei Barannikov 
95*992cb984SSergei Barannikov     // Decide each argument type. The total number of registers can be used for
96*992cb984SSergei Barannikov     // arguments depends on several factors:
97*992cb984SSergei Barannikov     // 1. Arguments of varargs functions are passed on the stack. This applies
98*992cb984SSergei Barannikov     //    even to the named arguments. So no register can be used.
99*992cb984SSergei Barannikov     // 2. Total 18 registers can be used on avr and 6 ones on avrtiny.
100*992cb984SSergei Barannikov     // 3. If the return type is a struct with too large size, two registers
101*992cb984SSergei Barannikov     //    (out of 18/6) will be cost as an implicit pointer argument.
102*992cb984SSergei Barannikov     unsigned NumRegs = ParamRegs;
103*992cb984SSergei Barannikov     if (FI.isVariadic())
104*992cb984SSergei Barannikov       NumRegs = 0;
105*992cb984SSergei Barannikov     else if (LargeRet)
106*992cb984SSergei Barannikov       NumRegs -= 2;
107*992cb984SSergei Barannikov     for (auto &I : FI.arguments())
108*992cb984SSergei Barannikov       I.info = classifyArgumentType(I.type, NumRegs);
109*992cb984SSergei Barannikov   }
110*992cb984SSergei Barannikov };
111*992cb984SSergei Barannikov 
112*992cb984SSergei Barannikov class AVRTargetCodeGenInfo : public TargetCodeGenInfo {
113*992cb984SSergei Barannikov public:
AVRTargetCodeGenInfo(CodeGenTypes & CGT,unsigned NPR,unsigned NRR)114*992cb984SSergei Barannikov   AVRTargetCodeGenInfo(CodeGenTypes &CGT, unsigned NPR, unsigned NRR)
115*992cb984SSergei Barannikov       : TargetCodeGenInfo(std::make_unique<AVRABIInfo>(CGT, NPR, NRR)) {}
116*992cb984SSergei Barannikov 
getGlobalVarAddressSpace(CodeGenModule & CGM,const VarDecl * D) const117*992cb984SSergei Barannikov   LangAS getGlobalVarAddressSpace(CodeGenModule &CGM,
118*992cb984SSergei Barannikov                                   const VarDecl *D) const override {
119*992cb984SSergei Barannikov     // Check if global/static variable is defined in address space
120*992cb984SSergei Barannikov     // 1~6 (__flash, __flash1, __flash2, __flash3, __flash4, __flash5)
121*992cb984SSergei Barannikov     // but not constant.
122*992cb984SSergei Barannikov     if (D) {
123*992cb984SSergei Barannikov       LangAS AS = D->getType().getAddressSpace();
124*992cb984SSergei Barannikov       if (isTargetAddressSpace(AS) && 1 <= toTargetAddressSpace(AS) &&
125*992cb984SSergei Barannikov           toTargetAddressSpace(AS) <= 6 && !D->getType().isConstQualified())
126*992cb984SSergei Barannikov         CGM.getDiags().Report(D->getLocation(),
127*992cb984SSergei Barannikov                               diag::err_verify_nonconst_addrspace)
128*992cb984SSergei Barannikov             << "__flash*";
129*992cb984SSergei Barannikov     }
130*992cb984SSergei Barannikov     return TargetCodeGenInfo::getGlobalVarAddressSpace(CGM, D);
131*992cb984SSergei Barannikov   }
132*992cb984SSergei Barannikov 
setTargetAttributes(const Decl * D,llvm::GlobalValue * GV,CodeGen::CodeGenModule & CGM) const133*992cb984SSergei Barannikov   void setTargetAttributes(const Decl *D, llvm::GlobalValue *GV,
134*992cb984SSergei Barannikov                            CodeGen::CodeGenModule &CGM) const override {
135*992cb984SSergei Barannikov     if (GV->isDeclaration())
136*992cb984SSergei Barannikov       return;
137*992cb984SSergei Barannikov     const auto *FD = dyn_cast_or_null<FunctionDecl>(D);
138*992cb984SSergei Barannikov     if (!FD) return;
139*992cb984SSergei Barannikov     auto *Fn = cast<llvm::Function>(GV);
140*992cb984SSergei Barannikov 
141*992cb984SSergei Barannikov     if (FD->getAttr<AVRInterruptAttr>())
142*992cb984SSergei Barannikov       Fn->addFnAttr("interrupt");
143*992cb984SSergei Barannikov 
144*992cb984SSergei Barannikov     if (FD->getAttr<AVRSignalAttr>())
145*992cb984SSergei Barannikov       Fn->addFnAttr("signal");
146*992cb984SSergei Barannikov   }
147*992cb984SSergei Barannikov };
148*992cb984SSergei Barannikov }
149*992cb984SSergei Barannikov 
150*992cb984SSergei Barannikov std::unique_ptr<TargetCodeGenInfo>
createAVRTargetCodeGenInfo(CodeGenModule & CGM,unsigned NPR,unsigned NRR)151*992cb984SSergei Barannikov CodeGen::createAVRTargetCodeGenInfo(CodeGenModule &CGM, unsigned NPR,
152*992cb984SSergei Barannikov                                     unsigned NRR) {
153*992cb984SSergei Barannikov   return std::make_unique<AVRTargetCodeGenInfo>(CGM.getTypes(), NPR, NRR);
154*992cb984SSergei Barannikov }
155