1618c555bSEugene Zelenko //===- PreISelIntrinsicLowering.cpp - Pre-ISel intrinsic lowering pass ----===//
27dd8dbf4SPeter Collingbourne //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
67dd8dbf4SPeter Collingbourne //
77dd8dbf4SPeter Collingbourne //===----------------------------------------------------------------------===//
87dd8dbf4SPeter Collingbourne //
9f86db5ceSPete Cooper // This pass implements IR lowering for the llvm.load.relative and llvm.objc.*
10f86db5ceSPete Cooper // intrinsics.
117dd8dbf4SPeter Collingbourne //
127dd8dbf4SPeter Collingbourne //===----------------------------------------------------------------------===//
137dd8dbf4SPeter Collingbourne 
1482d5da5aSMichael Kuperstein #include "llvm/CodeGen/PreISelIntrinsicLowering.h"
15a9a3781dSFrancis Visoiu Mistrih #include "llvm/Analysis/ObjCARCInstKind.h"
161fe8993aSAkira Hatanaka #include "llvm/Analysis/ObjCARCUtil.h"
177dd8dbf4SPeter Collingbourne #include "llvm/CodeGen/Passes.h"
187dd8dbf4SPeter Collingbourne #include "llvm/IR/Function.h"
197dd8dbf4SPeter Collingbourne #include "llvm/IR/IRBuilder.h"
207dd8dbf4SPeter Collingbourne #include "llvm/IR/Instructions.h"
21*1e308204SStefan Gränitz #include "llvm/IR/IntrinsicInst.h"
227dd8dbf4SPeter Collingbourne #include "llvm/IR/Module.h"
23618c555bSEugene Zelenko #include "llvm/IR/Type.h"
2405da2fe5SReid Kleckner #include "llvm/InitializePasses.h"
257dd8dbf4SPeter Collingbourne #include "llvm/Pass.h"
26618c555bSEugene Zelenko #include "llvm/Support/Casting.h"
277dd8dbf4SPeter Collingbourne 
287dd8dbf4SPeter Collingbourne using namespace llvm;
297dd8dbf4SPeter Collingbourne 
lowerLoadRelative(Function & F)30618c555bSEugene Zelenko static bool lowerLoadRelative(Function &F) {
317dd8dbf4SPeter Collingbourne   if (F.use_empty())
327dd8dbf4SPeter Collingbourne     return false;
337dd8dbf4SPeter Collingbourne 
347dd8dbf4SPeter Collingbourne   bool Changed = false;
357dd8dbf4SPeter Collingbourne   Type *Int32Ty = Type::getInt32Ty(F.getContext());
367dd8dbf4SPeter Collingbourne   Type *Int32PtrTy = Int32Ty->getPointerTo();
377dd8dbf4SPeter Collingbourne   Type *Int8Ty = Type::getInt8Ty(F.getContext());
387dd8dbf4SPeter Collingbourne 
396bdb61c5SKazu Hirata   for (Use &U : llvm::make_early_inc_range(F.uses())) {
406bdb61c5SKazu Hirata     auto CI = dyn_cast<CallInst>(U.getUser());
41a58b62b4SCraig Topper     if (!CI || CI->getCalledOperand() != &F)
427dd8dbf4SPeter Collingbourne       continue;
437dd8dbf4SPeter Collingbourne 
447dd8dbf4SPeter Collingbourne     IRBuilder<> B(CI);
457dd8dbf4SPeter Collingbourne     Value *OffsetPtr =
467dd8dbf4SPeter Collingbourne         B.CreateGEP(Int8Ty, CI->getArgOperand(0), CI->getArgOperand(1));
477dd8dbf4SPeter Collingbourne     Value *OffsetPtrI32 = B.CreateBitCast(OffsetPtr, Int32PtrTy);
48279fa8e0SGuillaume Chatelet     Value *OffsetI32 = B.CreateAlignedLoad(Int32Ty, OffsetPtrI32, Align(4));
497dd8dbf4SPeter Collingbourne 
507dd8dbf4SPeter Collingbourne     Value *ResultPtr = B.CreateGEP(Int8Ty, CI->getArgOperand(0), OffsetI32);
517dd8dbf4SPeter Collingbourne 
527dd8dbf4SPeter Collingbourne     CI->replaceAllUsesWith(ResultPtr);
537dd8dbf4SPeter Collingbourne     CI->eraseFromParent();
547dd8dbf4SPeter Collingbourne     Changed = true;
557dd8dbf4SPeter Collingbourne   }
567dd8dbf4SPeter Collingbourne 
577dd8dbf4SPeter Collingbourne   return Changed;
587dd8dbf4SPeter Collingbourne }
597dd8dbf4SPeter Collingbourne 
60a9a3781dSFrancis Visoiu Mistrih // ObjCARC has knowledge about whether an obj-c runtime function needs to be
61a9a3781dSFrancis Visoiu Mistrih // always tail-called or never tail-called.
getOverridingTailCallKind(const Function & F)62a9a3781dSFrancis Visoiu Mistrih static CallInst::TailCallKind getOverridingTailCallKind(const Function &F) {
63a9a3781dSFrancis Visoiu Mistrih   objcarc::ARCInstKind Kind = objcarc::GetFunctionClass(&F);
64a9a3781dSFrancis Visoiu Mistrih   if (objcarc::IsAlwaysTail(Kind))
65a9a3781dSFrancis Visoiu Mistrih     return CallInst::TCK_Tail;
66a9a3781dSFrancis Visoiu Mistrih   else if (objcarc::IsNeverTail(Kind))
67a9a3781dSFrancis Visoiu Mistrih     return CallInst::TCK_NoTail;
68a9a3781dSFrancis Visoiu Mistrih   return CallInst::TCK_None;
69a9a3781dSFrancis Visoiu Mistrih }
70a9a3781dSFrancis Visoiu Mistrih 
lowerObjCCall(Function & F,const char * NewFn,bool setNonLazyBind=false)71d0ffdf87SPete Cooper static bool lowerObjCCall(Function &F, const char *NewFn,
72d0ffdf87SPete Cooper                           bool setNonLazyBind = false) {
73*1e308204SStefan Gränitz   assert(IntrinsicInst::mayLowerToFunctionCall(F.getIntrinsicID()) &&
74*1e308204SStefan Gränitz          "Pre-ISel intrinsics do lower into regular function calls");
75f86db5ceSPete Cooper   if (F.use_empty())
76f86db5ceSPete Cooper     return false;
77f86db5ceSPete Cooper 
78f86db5ceSPete Cooper   // If we haven't already looked up this function, check to see if the
79f86db5ceSPete Cooper   // program already contains a function with this name.
80f86db5ceSPete Cooper   Module *M = F.getParent();
8113680223SJames Y Knight   FunctionCallee FCache = M->getOrInsertFunction(NewFn, F.getFunctionType());
82f86db5ceSPete Cooper 
8313680223SJames Y Knight   if (Function *Fn = dyn_cast<Function>(FCache.getCallee())) {
84a3e0be10SPete Cooper     Fn->setLinkage(F.getLinkage());
85a3e0be10SPete Cooper     if (setNonLazyBind && !Fn->isWeakForLinker()) {
86d0ffdf87SPete Cooper       // If we have Native ARC, set nonlazybind attribute for these APIs for
87d0ffdf87SPete Cooper       // performance.
88d0ffdf87SPete Cooper       Fn->addFnAttr(Attribute::NonLazyBind);
89a3e0be10SPete Cooper     }
90a3e0be10SPete Cooper   }
91d0ffdf87SPete Cooper 
92a9a3781dSFrancis Visoiu Mistrih   CallInst::TailCallKind OverridingTCK = getOverridingTailCallKind(F);
93a9a3781dSFrancis Visoiu Mistrih 
947f00806aSKazu Hirata   for (Use &U : llvm::make_early_inc_range(F.uses())) {
957f00806aSKazu Hirata     auto *CB = cast<CallBase>(U.getUser());
961fe8993aSAkira Hatanaka 
971fe8993aSAkira Hatanaka     if (CB->getCalledFunction() != &F) {
981fe8993aSAkira Hatanaka       objcarc::ARCInstKind Kind = objcarc::getAttachedARCFunctionKind(CB);
991fe8993aSAkira Hatanaka       (void)Kind;
1001fe8993aSAkira Hatanaka       assert((Kind == objcarc::ARCInstKind::RetainRV ||
101e7298464SAhmed Bougacha               Kind == objcarc::ARCInstKind::UnsafeClaimRV) &&
1021fe8993aSAkira Hatanaka              "use expected to be the argument of operand bundle "
1031fe8993aSAkira Hatanaka              "\"clang.arc.attachedcall\"");
1047f00806aSKazu Hirata       U.set(FCache.getCallee());
1051fe8993aSAkira Hatanaka       continue;
1061fe8993aSAkira Hatanaka     }
1071fe8993aSAkira Hatanaka 
1081fe8993aSAkira Hatanaka     auto *CI = cast<CallInst>(CB);
109f86db5ceSPete Cooper     assert(CI->getCalledFunction() && "Cannot lower an indirect call!");
110f86db5ceSPete Cooper 
111f86db5ceSPete Cooper     IRBuilder<> Builder(CI->getParent(), CI->getIterator());
1127bc76fd0SKazu Hirata     SmallVector<Value *, 8> Args(CI->args());
113*1e308204SStefan Gränitz     SmallVector<llvm::OperandBundleDef, 1> BundleList;
114*1e308204SStefan Gränitz     CI->getOperandBundlesAsDefs(BundleList);
115*1e308204SStefan Gränitz     CallInst *NewCI = Builder.CreateCall(FCache, Args, BundleList);
116f86db5ceSPete Cooper     NewCI->setName(CI->getName());
117a9a3781dSFrancis Visoiu Mistrih 
118a9a3781dSFrancis Visoiu Mistrih     // Try to set the most appropriate TailCallKind based on both the current
119a9a3781dSFrancis Visoiu Mistrih     // attributes and the ones that we could get from ObjCARC's special
120a9a3781dSFrancis Visoiu Mistrih     // knowledge of the runtime functions.
121a9a3781dSFrancis Visoiu Mistrih     //
122a9a3781dSFrancis Visoiu Mistrih     // std::max respects both requirements of notail and tail here:
123a9a3781dSFrancis Visoiu Mistrih     // * notail on either the call or from ObjCARC becomes notail
124a9a3781dSFrancis Visoiu Mistrih     // * tail on either side is stronger than none, but not notail
125a9a3781dSFrancis Visoiu Mistrih     CallInst::TailCallKind TCK = CI->getTailCallKind();
126a9a3781dSFrancis Visoiu Mistrih     NewCI->setTailCallKind(std::max(TCK, OverridingTCK));
127a9a3781dSFrancis Visoiu Mistrih 
128f86db5ceSPete Cooper     if (!CI->use_empty())
129f86db5ceSPete Cooper       CI->replaceAllUsesWith(NewCI);
130f86db5ceSPete Cooper     CI->eraseFromParent();
131f86db5ceSPete Cooper   }
132f86db5ceSPete Cooper 
133f86db5ceSPete Cooper   return true;
134f86db5ceSPete Cooper }
135f86db5ceSPete Cooper 
lowerIntrinsics(Module & M)136618c555bSEugene Zelenko static bool lowerIntrinsics(Module &M) {
1377dd8dbf4SPeter Collingbourne   bool Changed = false;
1387dd8dbf4SPeter Collingbourne   for (Function &F : M) {
139f86db5ceSPete Cooper     if (F.getName().startswith("llvm.load.relative.")) {
1407dd8dbf4SPeter Collingbourne       Changed |= lowerLoadRelative(F);
141f86db5ceSPete Cooper       continue;
142f86db5ceSPete Cooper     }
143f86db5ceSPete Cooper     switch (F.getIntrinsicID()) {
144f86db5ceSPete Cooper     default:
145f86db5ceSPete Cooper       break;
146f86db5ceSPete Cooper     case Intrinsic::objc_autorelease:
147f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_autorelease");
148f86db5ceSPete Cooper       break;
149f86db5ceSPete Cooper     case Intrinsic::objc_autoreleasePoolPop:
150f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_autoreleasePoolPop");
151f86db5ceSPete Cooper       break;
152f86db5ceSPete Cooper     case Intrinsic::objc_autoreleasePoolPush:
153f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_autoreleasePoolPush");
154f86db5ceSPete Cooper       break;
155f86db5ceSPete Cooper     case Intrinsic::objc_autoreleaseReturnValue:
156f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_autoreleaseReturnValue");
157f86db5ceSPete Cooper       break;
158f86db5ceSPete Cooper     case Intrinsic::objc_copyWeak:
159f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_copyWeak");
160f86db5ceSPete Cooper       break;
161f86db5ceSPete Cooper     case Intrinsic::objc_destroyWeak:
162f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_destroyWeak");
163f86db5ceSPete Cooper       break;
164f86db5ceSPete Cooper     case Intrinsic::objc_initWeak:
165f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_initWeak");
166f86db5ceSPete Cooper       break;
167f86db5ceSPete Cooper     case Intrinsic::objc_loadWeak:
168f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_loadWeak");
169f86db5ceSPete Cooper       break;
170f86db5ceSPete Cooper     case Intrinsic::objc_loadWeakRetained:
171f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_loadWeakRetained");
172f86db5ceSPete Cooper       break;
173f86db5ceSPete Cooper     case Intrinsic::objc_moveWeak:
174f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_moveWeak");
175f86db5ceSPete Cooper       break;
176f86db5ceSPete Cooper     case Intrinsic::objc_release:
177d0ffdf87SPete Cooper       Changed |= lowerObjCCall(F, "objc_release", true);
178f86db5ceSPete Cooper       break;
179f86db5ceSPete Cooper     case Intrinsic::objc_retain:
180d0ffdf87SPete Cooper       Changed |= lowerObjCCall(F, "objc_retain", true);
181f86db5ceSPete Cooper       break;
182f86db5ceSPete Cooper     case Intrinsic::objc_retainAutorelease:
183f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_retainAutorelease");
184f86db5ceSPete Cooper       break;
185f86db5ceSPete Cooper     case Intrinsic::objc_retainAutoreleaseReturnValue:
186f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_retainAutoreleaseReturnValue");
187f86db5ceSPete Cooper       break;
188f86db5ceSPete Cooper     case Intrinsic::objc_retainAutoreleasedReturnValue:
189f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_retainAutoreleasedReturnValue");
190f86db5ceSPete Cooper       break;
191f86db5ceSPete Cooper     case Intrinsic::objc_retainBlock:
192f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_retainBlock");
193f86db5ceSPete Cooper       break;
194f86db5ceSPete Cooper     case Intrinsic::objc_storeStrong:
195f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_storeStrong");
196f86db5ceSPete Cooper       break;
197f86db5ceSPete Cooper     case Intrinsic::objc_storeWeak:
198f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_storeWeak");
199f86db5ceSPete Cooper       break;
200f86db5ceSPete Cooper     case Intrinsic::objc_unsafeClaimAutoreleasedReturnValue:
201f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_unsafeClaimAutoreleasedReturnValue");
202f86db5ceSPete Cooper       break;
203f86db5ceSPete Cooper     case Intrinsic::objc_retainedObject:
204f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_retainedObject");
205f86db5ceSPete Cooper       break;
206f86db5ceSPete Cooper     case Intrinsic::objc_unretainedObject:
207f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_unretainedObject");
208f86db5ceSPete Cooper       break;
209f86db5ceSPete Cooper     case Intrinsic::objc_unretainedPointer:
210f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_unretainedPointer");
211f86db5ceSPete Cooper       break;
212f86db5ceSPete Cooper     case Intrinsic::objc_retain_autorelease:
213f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_retain_autorelease");
214f86db5ceSPete Cooper       break;
215f86db5ceSPete Cooper     case Intrinsic::objc_sync_enter:
216f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_sync_enter");
217f86db5ceSPete Cooper       break;
218f86db5ceSPete Cooper     case Intrinsic::objc_sync_exit:
219f86db5ceSPete Cooper       Changed |= lowerObjCCall(F, "objc_sync_exit");
220f86db5ceSPete Cooper       break;
221f86db5ceSPete Cooper     }
2227dd8dbf4SPeter Collingbourne   }
2237dd8dbf4SPeter Collingbourne   return Changed;
2247dd8dbf4SPeter Collingbourne }
2257dd8dbf4SPeter Collingbourne 
226618c555bSEugene Zelenko namespace {
227618c555bSEugene Zelenko 
22882d5da5aSMichael Kuperstein class PreISelIntrinsicLoweringLegacyPass : public ModulePass {
2297dd8dbf4SPeter Collingbourne public:
2307dd8dbf4SPeter Collingbourne   static char ID;
231618c555bSEugene Zelenko 
PreISelIntrinsicLoweringLegacyPass()23282d5da5aSMichael Kuperstein   PreISelIntrinsicLoweringLegacyPass() : ModulePass(ID) {}
2337dd8dbf4SPeter Collingbourne 
runOnModule(Module & M)234618c555bSEugene Zelenko   bool runOnModule(Module &M) override { return lowerIntrinsics(M); }
2357dd8dbf4SPeter Collingbourne };
2367dd8dbf4SPeter Collingbourne 
237618c555bSEugene Zelenko } // end anonymous namespace
238618c555bSEugene Zelenko 
23982d5da5aSMichael Kuperstein char PreISelIntrinsicLoweringLegacyPass::ID;
2407dd8dbf4SPeter Collingbourne 
24182d5da5aSMichael Kuperstein INITIALIZE_PASS(PreISelIntrinsicLoweringLegacyPass,
24282d5da5aSMichael Kuperstein                 "pre-isel-intrinsic-lowering", "Pre-ISel Intrinsic Lowering",
24382d5da5aSMichael Kuperstein                 false, false)
2447dd8dbf4SPeter Collingbourne 
createPreISelIntrinsicLoweringPass()245618c555bSEugene Zelenko ModulePass *llvm::createPreISelIntrinsicLoweringPass() {
24682d5da5aSMichael Kuperstein   return new PreISelIntrinsicLoweringLegacyPass;
2477dd8dbf4SPeter Collingbourne }
24882d5da5aSMichael Kuperstein 
run(Module & M,ModuleAnalysisManager & AM)24982d5da5aSMichael Kuperstein PreservedAnalyses PreISelIntrinsicLoweringPass::run(Module &M,
25082d5da5aSMichael Kuperstein                                                     ModuleAnalysisManager &AM) {
25182d5da5aSMichael Kuperstein   if (!lowerIntrinsics(M))
25282d5da5aSMichael Kuperstein     return PreservedAnalyses::all();
25382d5da5aSMichael Kuperstein   else
25482d5da5aSMichael Kuperstein     return PreservedAnalyses::none();
25582d5da5aSMichael Kuperstein }
256