1 //===- SystemZ.cpp --------------------------------------------------------===//
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 "ABIInfoImpl.h"
10 #include "TargetInfo.h"
11 #include "clang/Basic/Builtins.h"
12 #include "llvm/IR/IntrinsicsS390.h"
13 
14 using namespace clang;
15 using namespace clang::CodeGen;
16 
17 //===----------------------------------------------------------------------===//
18 // SystemZ ABI Implementation
19 //===----------------------------------------------------------------------===//
20 
21 namespace {
22 
23 class SystemZABIInfo : public ABIInfo {
24   bool HasVector;
25   bool IsSoftFloatABI;
26 
27 public:
28   SystemZABIInfo(CodeGenTypes &CGT, bool HV, bool SF)
29       : ABIInfo(CGT), HasVector(HV), IsSoftFloatABI(SF) {}
30 
31   bool isPromotableIntegerTypeForABI(QualType Ty) const;
32   bool isCompoundType(QualType Ty) const;
33   bool isVectorArgumentType(QualType Ty) const;
34   bool isFPArgumentType(QualType Ty) const;
35   QualType GetSingleElementType(QualType Ty) const;
36 
37   ABIArgInfo classifyReturnType(QualType RetTy) const;
38   ABIArgInfo classifyArgumentType(QualType ArgTy) const;
39 
40   void computeInfo(CGFunctionInfo &FI) const override;
41   Address EmitVAArg(CodeGenFunction &CGF, Address VAListAddr,
42                     QualType Ty) const override;
43 };
44 
45 class SystemZTargetCodeGenInfo : public TargetCodeGenInfo {
46   ASTContext &Ctx;
47 
48   // These are used for speeding up the search for a visible vector ABI.
49   mutable bool HasVisibleVecABIFlag = false;
50   mutable std::set<const Type *> SeenTypes;
51 
52   // Returns true (the first time) if Ty is, or is found to include, a vector
53   // type that exposes the vector ABI. This is any vector >=16 bytes which
54   // with vector support are aligned to only 8 bytes. When IsParam is true,
55   // the type belongs to a value as passed between functions. If it is a
56   // vector <=16 bytes it will be passed in a vector register (if supported).
57   bool isVectorTypeBased(const Type *Ty, bool IsParam) const;
58 
59 public:
60   SystemZTargetCodeGenInfo(CodeGenTypes &CGT, bool HasVector, bool SoftFloatABI)
61       : TargetCodeGenInfo(
62             std::make_unique<SystemZABIInfo>(CGT, HasVector, SoftFloatABI)),
63             Ctx(CGT.getContext()) {
64     SwiftInfo =
65         std::make_unique<SwiftABIInfo>(CGT, /*SwiftErrorInRegister=*/false);
66   }
67 
68   // The vector ABI is different when the vector facility is present and when
69   // a module e.g. defines an externally visible vector variable, a flag
70   // indicating a visible vector ABI is added. Eventually this will result in
71   // a GNU attribute indicating the vector ABI of the module.  Ty is the type
72   // of a variable or function parameter that is globally visible.
73   void handleExternallyVisibleObjABI(const Type *Ty, CodeGen::CodeGenModule &M,
74                                      bool IsParam) const {
75     if (!HasVisibleVecABIFlag && isVectorTypeBased(Ty, IsParam)) {
76       M.getModule().addModuleFlag(llvm::Module::Warning,
77                                   "s390x-visible-vector-ABI", 1);
78       HasVisibleVecABIFlag = true;
79     }
80   }
81 
82   void setTargetAttributes(const Decl *D, llvm::GlobalValue *GV,
83                            CodeGen::CodeGenModule &M) const override {
84     if (!D)
85       return;
86 
87     // Check if the vector ABI becomes visible by an externally visible
88     // variable or function.
89     if (const auto *VD = dyn_cast<VarDecl>(D)) {
90       if (VD->isExternallyVisible())
91         handleExternallyVisibleObjABI(VD->getType().getTypePtr(), M,
92                                       /*IsParam*/false);
93     }
94     else if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
95       if (FD->isExternallyVisible())
96         handleExternallyVisibleObjABI(FD->getType().getTypePtr(), M,
97                                       /*IsParam*/false);
98     }
99   }
100 
101   llvm::Value *testFPKind(llvm::Value *V, unsigned BuiltinID,
102                           CGBuilderTy &Builder,
103                           CodeGenModule &CGM) const override {
104     assert(V->getType()->isFloatingPointTy() && "V should have an FP type.");
105     // Only use TDC in constrained FP mode.
106     if (!Builder.getIsFPConstrained())
107       return nullptr;
108 
109     llvm::Type *Ty = V->getType();
110     if (Ty->isFloatTy() || Ty->isDoubleTy() || Ty->isFP128Ty()) {
111       llvm::Module &M = CGM.getModule();
112       auto &Ctx = M.getContext();
113       llvm::Function *TDCFunc =
114           llvm::Intrinsic::getDeclaration(&M, llvm::Intrinsic::s390_tdc, Ty);
115       unsigned TDCBits = 0;
116       switch (BuiltinID) {
117       case Builtin::BI__builtin_isnan:
118         TDCBits = 0xf;
119         break;
120       case Builtin::BIfinite:
121       case Builtin::BI__finite:
122       case Builtin::BIfinitef:
123       case Builtin::BI__finitef:
124       case Builtin::BIfinitel:
125       case Builtin::BI__finitel:
126       case Builtin::BI__builtin_isfinite:
127         TDCBits = 0xfc0;
128         break;
129       case Builtin::BI__builtin_isinf:
130         TDCBits = 0x30;
131         break;
132       default:
133         break;
134       }
135       if (TDCBits)
136         return Builder.CreateCall(
137             TDCFunc,
138             {V, llvm::ConstantInt::get(llvm::Type::getInt64Ty(Ctx), TDCBits)});
139     }
140     return nullptr;
141   }
142 };
143 }
144 
145 bool SystemZABIInfo::isPromotableIntegerTypeForABI(QualType Ty) const {
146   // Treat an enum type as its underlying type.
147   if (const EnumType *EnumTy = Ty->getAs<EnumType>())
148     Ty = EnumTy->getDecl()->getIntegerType();
149 
150   // Promotable integer types are required to be promoted by the ABI.
151   if (ABIInfo::isPromotableIntegerTypeForABI(Ty))
152     return true;
153 
154   if (const auto *EIT = Ty->getAs<BitIntType>())
155     if (EIT->getNumBits() < 64)
156       return true;
157 
158   // 32-bit values must also be promoted.
159   if (const BuiltinType *BT = Ty->getAs<BuiltinType>())
160     switch (BT->getKind()) {
161     case BuiltinType::Int:
162     case BuiltinType::UInt:
163       return true;
164     default:
165       return false;
166     }
167   return false;
168 }
169 
170 bool SystemZABIInfo::isCompoundType(QualType Ty) const {
171   return (Ty->isAnyComplexType() ||
172           Ty->isVectorType() ||
173           isAggregateTypeForABI(Ty));
174 }
175 
176 bool SystemZABIInfo::isVectorArgumentType(QualType Ty) const {
177   return (HasVector &&
178           Ty->isVectorType() &&
179           getContext().getTypeSize(Ty) <= 128);
180 }
181 
182 bool SystemZABIInfo::isFPArgumentType(QualType Ty) const {
183   if (IsSoftFloatABI)
184     return false;
185 
186   if (const BuiltinType *BT = Ty->getAs<BuiltinType>())
187     switch (BT->getKind()) {
188     case BuiltinType::Float:
189     case BuiltinType::Double:
190       return true;
191     default:
192       return false;
193     }
194 
195   return false;
196 }
197 
198 QualType SystemZABIInfo::GetSingleElementType(QualType Ty) const {
199   const RecordType *RT = Ty->getAs<RecordType>();
200 
201   if (RT && RT->isStructureOrClassType()) {
202     const RecordDecl *RD = RT->getDecl();
203     QualType Found;
204 
205     // If this is a C++ record, check the bases first.
206     if (const CXXRecordDecl *CXXRD = dyn_cast<CXXRecordDecl>(RD))
207       if (CXXRD->hasDefinition())
208         for (const auto &I : CXXRD->bases()) {
209           QualType Base = I.getType();
210 
211           // Empty bases don't affect things either way.
212           if (isEmptyRecord(getContext(), Base, true))
213             continue;
214 
215           if (!Found.isNull())
216             return Ty;
217           Found = GetSingleElementType(Base);
218         }
219 
220     // Check the fields.
221     for (const auto *FD : RD->fields()) {
222       // Unlike isSingleElementStruct(), empty structure and array fields
223       // do count.  So do anonymous bitfields that aren't zero-sized.
224 
225       // Like isSingleElementStruct(), ignore C++20 empty data members.
226       if (FD->hasAttr<NoUniqueAddressAttr>() &&
227           isEmptyRecord(getContext(), FD->getType(), true))
228         continue;
229 
230       // Unlike isSingleElementStruct(), arrays do not count.
231       // Nested structures still do though.
232       if (!Found.isNull())
233         return Ty;
234       Found = GetSingleElementType(FD->getType());
235     }
236 
237     // Unlike isSingleElementStruct(), trailing padding is allowed.
238     // An 8-byte aligned struct s { float f; } is passed as a double.
239     if (!Found.isNull())
240       return Found;
241   }
242 
243   return Ty;
244 }
245 
246 Address SystemZABIInfo::EmitVAArg(CodeGenFunction &CGF, Address VAListAddr,
247                                   QualType Ty) const {
248   // Assume that va_list type is correct; should be pointer to LLVM type:
249   // struct {
250   //   i64 __gpr;
251   //   i64 __fpr;
252   //   i8 *__overflow_arg_area;
253   //   i8 *__reg_save_area;
254   // };
255 
256   // Every non-vector argument occupies 8 bytes and is passed by preference
257   // in either GPRs or FPRs.  Vector arguments occupy 8 or 16 bytes and are
258   // always passed on the stack.
259   const SystemZTargetCodeGenInfo &SZCGI =
260       static_cast<const SystemZTargetCodeGenInfo &>(
261           CGT.getCGM().getTargetCodeGenInfo());
262   Ty = getContext().getCanonicalType(Ty);
263   auto TyInfo = getContext().getTypeInfoInChars(Ty);
264   llvm::Type *ArgTy = CGF.ConvertTypeForMem(Ty);
265   llvm::Type *DirectTy = ArgTy;
266   ABIArgInfo AI = classifyArgumentType(Ty);
267   bool IsIndirect = AI.isIndirect();
268   bool InFPRs = false;
269   bool IsVector = false;
270   CharUnits UnpaddedSize;
271   CharUnits DirectAlign;
272   SZCGI.handleExternallyVisibleObjABI(Ty.getTypePtr(), CGT.getCGM(),
273                                       /*IsParam*/true);
274   if (IsIndirect) {
275     DirectTy = llvm::PointerType::getUnqual(DirectTy);
276     UnpaddedSize = DirectAlign = CharUnits::fromQuantity(8);
277   } else {
278     if (AI.getCoerceToType())
279       ArgTy = AI.getCoerceToType();
280     InFPRs = (!IsSoftFloatABI && (ArgTy->isFloatTy() || ArgTy->isDoubleTy()));
281     IsVector = ArgTy->isVectorTy();
282     UnpaddedSize = TyInfo.Width;
283     DirectAlign = TyInfo.Align;
284   }
285   CharUnits PaddedSize = CharUnits::fromQuantity(8);
286   if (IsVector && UnpaddedSize > PaddedSize)
287     PaddedSize = CharUnits::fromQuantity(16);
288   assert((UnpaddedSize <= PaddedSize) && "Invalid argument size.");
289 
290   CharUnits Padding = (PaddedSize - UnpaddedSize);
291 
292   llvm::Type *IndexTy = CGF.Int64Ty;
293   llvm::Value *PaddedSizeV =
294     llvm::ConstantInt::get(IndexTy, PaddedSize.getQuantity());
295 
296   if (IsVector) {
297     // Work out the address of a vector argument on the stack.
298     // Vector arguments are always passed in the high bits of a
299     // single (8 byte) or double (16 byte) stack slot.
300     Address OverflowArgAreaPtr =
301         CGF.Builder.CreateStructGEP(VAListAddr, 2, "overflow_arg_area_ptr");
302     Address OverflowArgArea =
303         Address(CGF.Builder.CreateLoad(OverflowArgAreaPtr, "overflow_arg_area"),
304                 CGF.Int8Ty, TyInfo.Align);
305     Address MemAddr = OverflowArgArea.withElementType(DirectTy);
306 
307     // Update overflow_arg_area_ptr pointer
308     llvm::Value *NewOverflowArgArea = CGF.Builder.CreateGEP(
309         OverflowArgArea.getElementType(), OverflowArgArea.getPointer(),
310         PaddedSizeV, "overflow_arg_area");
311     CGF.Builder.CreateStore(NewOverflowArgArea, OverflowArgAreaPtr);
312 
313     return MemAddr;
314   }
315 
316   assert(PaddedSize.getQuantity() == 8);
317 
318   unsigned MaxRegs, RegCountField, RegSaveIndex;
319   CharUnits RegPadding;
320   if (InFPRs) {
321     MaxRegs = 4; // Maximum of 4 FPR arguments
322     RegCountField = 1; // __fpr
323     RegSaveIndex = 16; // save offset for f0
324     RegPadding = CharUnits(); // floats are passed in the high bits of an FPR
325   } else {
326     MaxRegs = 5; // Maximum of 5 GPR arguments
327     RegCountField = 0; // __gpr
328     RegSaveIndex = 2; // save offset for r2
329     RegPadding = Padding; // values are passed in the low bits of a GPR
330   }
331 
332   Address RegCountPtr =
333       CGF.Builder.CreateStructGEP(VAListAddr, RegCountField, "reg_count_ptr");
334   llvm::Value *RegCount = CGF.Builder.CreateLoad(RegCountPtr, "reg_count");
335   llvm::Value *MaxRegsV = llvm::ConstantInt::get(IndexTy, MaxRegs);
336   llvm::Value *InRegs = CGF.Builder.CreateICmpULT(RegCount, MaxRegsV,
337                                                  "fits_in_regs");
338 
339   llvm::BasicBlock *InRegBlock = CGF.createBasicBlock("vaarg.in_reg");
340   llvm::BasicBlock *InMemBlock = CGF.createBasicBlock("vaarg.in_mem");
341   llvm::BasicBlock *ContBlock = CGF.createBasicBlock("vaarg.end");
342   CGF.Builder.CreateCondBr(InRegs, InRegBlock, InMemBlock);
343 
344   // Emit code to load the value if it was passed in registers.
345   CGF.EmitBlock(InRegBlock);
346 
347   // Work out the address of an argument register.
348   llvm::Value *ScaledRegCount =
349     CGF.Builder.CreateMul(RegCount, PaddedSizeV, "scaled_reg_count");
350   llvm::Value *RegBase =
351     llvm::ConstantInt::get(IndexTy, RegSaveIndex * PaddedSize.getQuantity()
352                                       + RegPadding.getQuantity());
353   llvm::Value *RegOffset =
354     CGF.Builder.CreateAdd(ScaledRegCount, RegBase, "reg_offset");
355   Address RegSaveAreaPtr =
356       CGF.Builder.CreateStructGEP(VAListAddr, 3, "reg_save_area_ptr");
357   llvm::Value *RegSaveArea =
358       CGF.Builder.CreateLoad(RegSaveAreaPtr, "reg_save_area");
359   Address RawRegAddr(
360       CGF.Builder.CreateGEP(CGF.Int8Ty, RegSaveArea, RegOffset, "raw_reg_addr"),
361       CGF.Int8Ty, PaddedSize);
362   Address RegAddr = RawRegAddr.withElementType(DirectTy);
363 
364   // Update the register count
365   llvm::Value *One = llvm::ConstantInt::get(IndexTy, 1);
366   llvm::Value *NewRegCount =
367     CGF.Builder.CreateAdd(RegCount, One, "reg_count");
368   CGF.Builder.CreateStore(NewRegCount, RegCountPtr);
369   CGF.EmitBranch(ContBlock);
370 
371   // Emit code to load the value if it was passed in memory.
372   CGF.EmitBlock(InMemBlock);
373 
374   // Work out the address of a stack argument.
375   Address OverflowArgAreaPtr =
376       CGF.Builder.CreateStructGEP(VAListAddr, 2, "overflow_arg_area_ptr");
377   Address OverflowArgArea =
378       Address(CGF.Builder.CreateLoad(OverflowArgAreaPtr, "overflow_arg_area"),
379               CGF.Int8Ty, PaddedSize);
380   Address RawMemAddr =
381       CGF.Builder.CreateConstByteGEP(OverflowArgArea, Padding, "raw_mem_addr");
382   Address MemAddr = RawMemAddr.withElementType(DirectTy);
383 
384   // Update overflow_arg_area_ptr pointer
385   llvm::Value *NewOverflowArgArea =
386     CGF.Builder.CreateGEP(OverflowArgArea.getElementType(),
387                           OverflowArgArea.getPointer(), PaddedSizeV,
388                           "overflow_arg_area");
389   CGF.Builder.CreateStore(NewOverflowArgArea, OverflowArgAreaPtr);
390   CGF.EmitBranch(ContBlock);
391 
392   // Return the appropriate result.
393   CGF.EmitBlock(ContBlock);
394   Address ResAddr = emitMergePHI(CGF, RegAddr, InRegBlock, MemAddr, InMemBlock,
395                                  "va_arg.addr");
396 
397   if (IsIndirect)
398     ResAddr = Address(CGF.Builder.CreateLoad(ResAddr, "indirect_arg"), ArgTy,
399                       TyInfo.Align);
400 
401   return ResAddr;
402 }
403 
404 ABIArgInfo SystemZABIInfo::classifyReturnType(QualType RetTy) const {
405   if (RetTy->isVoidType())
406     return ABIArgInfo::getIgnore();
407   if (isVectorArgumentType(RetTy))
408     return ABIArgInfo::getDirect();
409   if (isCompoundType(RetTy) || getContext().getTypeSize(RetTy) > 64)
410     return getNaturalAlignIndirect(RetTy);
411   return (isPromotableIntegerTypeForABI(RetTy) ? ABIArgInfo::getExtend(RetTy)
412                                                : ABIArgInfo::getDirect());
413 }
414 
415 ABIArgInfo SystemZABIInfo::classifyArgumentType(QualType Ty) const {
416   // Handle the generic C++ ABI.
417   if (CGCXXABI::RecordArgABI RAA = getRecordArgABI(Ty, getCXXABI()))
418     return getNaturalAlignIndirect(Ty, RAA == CGCXXABI::RAA_DirectInMemory);
419 
420   // Integers and enums are extended to full register width.
421   if (isPromotableIntegerTypeForABI(Ty))
422     return ABIArgInfo::getExtend(Ty);
423 
424   // Handle vector types and vector-like structure types.  Note that
425   // as opposed to float-like structure types, we do not allow any
426   // padding for vector-like structures, so verify the sizes match.
427   uint64_t Size = getContext().getTypeSize(Ty);
428   QualType SingleElementTy = GetSingleElementType(Ty);
429   if (isVectorArgumentType(SingleElementTy) &&
430       getContext().getTypeSize(SingleElementTy) == Size)
431     return ABIArgInfo::getDirect(CGT.ConvertType(SingleElementTy));
432 
433   // Values that are not 1, 2, 4 or 8 bytes in size are passed indirectly.
434   if (Size != 8 && Size != 16 && Size != 32 && Size != 64)
435     return getNaturalAlignIndirect(Ty, /*ByVal=*/false);
436 
437   // Handle small structures.
438   if (const RecordType *RT = Ty->getAs<RecordType>()) {
439     // Structures with flexible arrays have variable length, so really
440     // fail the size test above.
441     const RecordDecl *RD = RT->getDecl();
442     if (RD->hasFlexibleArrayMember())
443       return getNaturalAlignIndirect(Ty, /*ByVal=*/false);
444 
445     // The structure is passed as an unextended integer, a float, or a double.
446     llvm::Type *PassTy;
447     if (isFPArgumentType(SingleElementTy)) {
448       assert(Size == 32 || Size == 64);
449       if (Size == 32)
450         PassTy = llvm::Type::getFloatTy(getVMContext());
451       else
452         PassTy = llvm::Type::getDoubleTy(getVMContext());
453     } else
454       PassTy = llvm::IntegerType::get(getVMContext(), Size);
455     return ABIArgInfo::getDirect(PassTy);
456   }
457 
458   // Non-structure compounds are passed indirectly.
459   if (isCompoundType(Ty))
460     return getNaturalAlignIndirect(Ty, /*ByVal=*/false);
461 
462   return ABIArgInfo::getDirect(nullptr);
463 }
464 
465 void SystemZABIInfo::computeInfo(CGFunctionInfo &FI) const {
466   const SystemZTargetCodeGenInfo &SZCGI =
467       static_cast<const SystemZTargetCodeGenInfo &>(
468           CGT.getCGM().getTargetCodeGenInfo());
469   if (!getCXXABI().classifyReturnType(FI))
470     FI.getReturnInfo() = classifyReturnType(FI.getReturnType());
471   unsigned Idx = 0;
472   for (auto &I : FI.arguments()) {
473     I.info = classifyArgumentType(I.type);
474     if (FI.isVariadic() && Idx++ >= FI.getNumRequiredArgs())
475       // Check if a vararg vector argument is passed, in which case the
476       // vector ABI becomes visible as the va_list could be passed on to
477       // other functions.
478       SZCGI.handleExternallyVisibleObjABI(I.type.getTypePtr(), CGT.getCGM(),
479                                           /*IsParam*/true);
480   }
481 }
482 
483 bool SystemZTargetCodeGenInfo::isVectorTypeBased(const Type *Ty,
484                                                  bool IsParam) const {
485   if (!SeenTypes.insert(Ty).second)
486     return false;
487 
488   if (IsParam) {
489     // A narrow (<16 bytes) vector will as a parameter also expose the ABI as
490     // it will be passed in a vector register. A wide (>16 bytes) vector will
491     // be passed via "hidden" pointer where any extra alignment is not
492     // required (per GCC).
493     const Type *SingleEltTy = getABIInfo<SystemZABIInfo>()
494                                   .GetSingleElementType(QualType(Ty, 0))
495                                   .getTypePtr();
496     bool SingleVecEltStruct = SingleEltTy != Ty && SingleEltTy->isVectorType() &&
497       Ctx.getTypeSize(SingleEltTy) == Ctx.getTypeSize(Ty);
498     if (Ty->isVectorType() || SingleVecEltStruct)
499       return Ctx.getTypeSize(Ty) / 8 <= 16;
500   }
501 
502   // Assume pointers are dereferenced.
503   while (Ty->isPointerType() || Ty->isArrayType())
504     Ty = Ty->getPointeeOrArrayElementType();
505 
506   // Vectors >= 16 bytes expose the ABI through alignment requirements.
507   if (Ty->isVectorType() && Ctx.getTypeSize(Ty) / 8 >= 16)
508       return true;
509 
510   if (const auto *RecordTy = Ty->getAs<RecordType>()) {
511     const RecordDecl *RD = RecordTy->getDecl();
512     if (const CXXRecordDecl *CXXRD = dyn_cast<CXXRecordDecl>(RD))
513       if (CXXRD->hasDefinition())
514         for (const auto &I : CXXRD->bases())
515           if (isVectorTypeBased(I.getType().getTypePtr(), /*IsParam*/false))
516             return true;
517     for (const auto *FD : RD->fields())
518       if (isVectorTypeBased(FD->getType().getTypePtr(), /*IsParam*/false))
519         return true;
520   }
521 
522   if (const auto *FT = Ty->getAs<FunctionType>())
523     if (isVectorTypeBased(FT->getReturnType().getTypePtr(), /*IsParam*/true))
524       return true;
525   if (const FunctionProtoType *Proto = Ty->getAs<FunctionProtoType>())
526     for (const auto &ParamType : Proto->getParamTypes())
527       if (isVectorTypeBased(ParamType.getTypePtr(), /*IsParam*/true))
528         return true;
529 
530   return false;
531 }
532 
533 std::unique_ptr<TargetCodeGenInfo>
534 CodeGen::createSystemZTargetCodeGenInfo(CodeGenModule &CGM, bool HasVector,
535                                         bool SoftFloatABI) {
536   return std::make_unique<SystemZTargetCodeGenInfo>(CGM.getTypes(), HasVector,
537                                                     SoftFloatABI);
538 }
539