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