blob: 79d0c80dd35a0f1a0f579206f80c0e9bee7e3ebe [file] [log] [blame]
Eugene Zelenko618c5552017-09-13 21:15:20 +00001//===- PreISelIntrinsicLowering.cpp - Pre-ISel intrinsic lowering pass ----===//
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +00002//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +00006//
7//===----------------------------------------------------------------------===//
8//
Pete Cooperf86db5c2018-12-18 22:20:03 +00009// This pass implements IR lowering for the llvm.load.relative and llvm.objc.*
10// intrinsics.
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +000011//
12//===----------------------------------------------------------------------===//
13
Michael Kuperstein82d5da52016-06-24 20:13:42 +000014#include "llvm/CodeGen/PreISelIntrinsicLowering.h"
Francis Visoiu Mistriha9a37812019-11-06 17:09:55 -080015#include "llvm/Analysis/ObjCARCInstKind.h"
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +000016#include "llvm/CodeGen/Passes.h"
17#include "llvm/IR/Function.h"
Pete Cooperf86db5c2018-12-18 22:20:03 +000018#include "llvm/IR/Intrinsics.h"
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +000019#include "llvm/IR/IRBuilder.h"
20#include "llvm/IR/Instructions.h"
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +000021#include "llvm/IR/Module.h"
Eugene Zelenko618c5552017-09-13 21:15:20 +000022#include "llvm/IR/Type.h"
23#include "llvm/IR/User.h"
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +000024#include "llvm/Pass.h"
Eugene Zelenko618c5552017-09-13 21:15:20 +000025#include "llvm/Support/Casting.h"
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +000026
27using namespace llvm;
28
Eugene Zelenko618c5552017-09-13 21:15:20 +000029static bool lowerLoadRelative(Function &F) {
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +000030 if (F.use_empty())
31 return false;
32
33 bool Changed = false;
34 Type *Int32Ty = Type::getInt32Ty(F.getContext());
35 Type *Int32PtrTy = Int32Ty->getPointerTo();
36 Type *Int8Ty = Type::getInt8Ty(F.getContext());
37
38 for (auto I = F.use_begin(), E = F.use_end(); I != E;) {
39 auto CI = dyn_cast<CallInst>(I->getUser());
40 ++I;
41 if (!CI || CI->getCalledValue() != &F)
42 continue;
43
44 IRBuilder<> B(CI);
45 Value *OffsetPtr =
46 B.CreateGEP(Int8Ty, CI->getArgOperand(0), CI->getArgOperand(1));
47 Value *OffsetPtrI32 = B.CreateBitCast(OffsetPtr, Int32PtrTy);
James Y Knight14359ef2019-02-01 20:44:24 +000048 Value *OffsetI32 = B.CreateAlignedLoad(Int32Ty, OffsetPtrI32, 4);
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +000049
50 Value *ResultPtr = B.CreateGEP(Int8Ty, CI->getArgOperand(0), OffsetI32);
51
52 CI->replaceAllUsesWith(ResultPtr);
53 CI->eraseFromParent();
54 Changed = true;
55 }
56
57 return Changed;
58}
59
Francis Visoiu Mistriha9a37812019-11-06 17:09:55 -080060// ObjCARC has knowledge about whether an obj-c runtime function needs to be
61// always tail-called or never tail-called.
62static CallInst::TailCallKind getOverridingTailCallKind(const Function &F) {
63 objcarc::ARCInstKind Kind = objcarc::GetFunctionClass(&F);
64 if (objcarc::IsAlwaysTail(Kind))
65 return CallInst::TCK_Tail;
66 else if (objcarc::IsNeverTail(Kind))
67 return CallInst::TCK_NoTail;
68 return CallInst::TCK_None;
69}
70
Pete Cooperd0ffdf82018-12-18 22:31:34 +000071static bool lowerObjCCall(Function &F, const char *NewFn,
72 bool setNonLazyBind = false) {
Pete Cooperf86db5c2018-12-18 22:20:03 +000073 if (F.use_empty())
74 return false;
75
76 // If we haven't already looked up this function, check to see if the
77 // program already contains a function with this name.
78 Module *M = F.getParent();
James Y Knight13680222019-02-01 02:28:03 +000079 FunctionCallee FCache = M->getOrInsertFunction(NewFn, F.getFunctionType());
Pete Coopera3e0be12018-12-18 22:42:08 +000080
James Y Knight13680222019-02-01 02:28:03 +000081 if (Function *Fn = dyn_cast<Function>(FCache.getCallee())) {
Pete Coopera3e0be12018-12-18 22:42:08 +000082 Fn->setLinkage(F.getLinkage());
83 if (setNonLazyBind && !Fn->isWeakForLinker()) {
84 // If we have Native ARC, set nonlazybind attribute for these APIs for
85 // performance.
Pete Cooperd0ffdf82018-12-18 22:31:34 +000086 Fn->addFnAttr(Attribute::NonLazyBind);
Pete Coopera3e0be12018-12-18 22:42:08 +000087 }
88 }
Pete Cooperf86db5c2018-12-18 22:20:03 +000089
Francis Visoiu Mistriha9a37812019-11-06 17:09:55 -080090 CallInst::TailCallKind OverridingTCK = getOverridingTailCallKind(F);
91
Pete Cooperf86db5c2018-12-18 22:20:03 +000092 for (auto I = F.use_begin(), E = F.use_end(); I != E;) {
Simon Pilgrimc81f8e42019-09-24 10:46:30 +000093 auto *CI = cast<CallInst>(I->getUser());
Pete Cooperf86db5c2018-12-18 22:20:03 +000094 assert(CI->getCalledFunction() && "Cannot lower an indirect call!");
95 ++I;
96
97 IRBuilder<> Builder(CI->getParent(), CI->getIterator());
98 SmallVector<Value *, 8> Args(CI->arg_begin(), CI->arg_end());
99 CallInst *NewCI = Builder.CreateCall(FCache, Args);
100 NewCI->setName(CI->getName());
Francis Visoiu Mistriha9a37812019-11-06 17:09:55 -0800101
102 // Try to set the most appropriate TailCallKind based on both the current
103 // attributes and the ones that we could get from ObjCARC's special
104 // knowledge of the runtime functions.
105 //
106 // std::max respects both requirements of notail and tail here:
107 // * notail on either the call or from ObjCARC becomes notail
108 // * tail on either side is stronger than none, but not notail
109 CallInst::TailCallKind TCK = CI->getTailCallKind();
110 NewCI->setTailCallKind(std::max(TCK, OverridingTCK));
111
Pete Cooperf86db5c2018-12-18 22:20:03 +0000112 if (!CI->use_empty())
113 CI->replaceAllUsesWith(NewCI);
114 CI->eraseFromParent();
115 }
116
117 return true;
118}
119
Eugene Zelenko618c5552017-09-13 21:15:20 +0000120static bool lowerIntrinsics(Module &M) {
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000121 bool Changed = false;
122 for (Function &F : M) {
Pete Cooperf86db5c2018-12-18 22:20:03 +0000123 if (F.getName().startswith("llvm.load.relative.")) {
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000124 Changed |= lowerLoadRelative(F);
Pete Cooperf86db5c2018-12-18 22:20:03 +0000125 continue;
126 }
127 switch (F.getIntrinsicID()) {
128 default:
129 break;
130 case Intrinsic::objc_autorelease:
131 Changed |= lowerObjCCall(F, "objc_autorelease");
132 break;
133 case Intrinsic::objc_autoreleasePoolPop:
134 Changed |= lowerObjCCall(F, "objc_autoreleasePoolPop");
135 break;
136 case Intrinsic::objc_autoreleasePoolPush:
137 Changed |= lowerObjCCall(F, "objc_autoreleasePoolPush");
138 break;
139 case Intrinsic::objc_autoreleaseReturnValue:
140 Changed |= lowerObjCCall(F, "objc_autoreleaseReturnValue");
141 break;
142 case Intrinsic::objc_copyWeak:
143 Changed |= lowerObjCCall(F, "objc_copyWeak");
144 break;
145 case Intrinsic::objc_destroyWeak:
146 Changed |= lowerObjCCall(F, "objc_destroyWeak");
147 break;
148 case Intrinsic::objc_initWeak:
149 Changed |= lowerObjCCall(F, "objc_initWeak");
150 break;
151 case Intrinsic::objc_loadWeak:
152 Changed |= lowerObjCCall(F, "objc_loadWeak");
153 break;
154 case Intrinsic::objc_loadWeakRetained:
155 Changed |= lowerObjCCall(F, "objc_loadWeakRetained");
156 break;
157 case Intrinsic::objc_moveWeak:
158 Changed |= lowerObjCCall(F, "objc_moveWeak");
159 break;
160 case Intrinsic::objc_release:
Pete Cooperd0ffdf82018-12-18 22:31:34 +0000161 Changed |= lowerObjCCall(F, "objc_release", true);
Pete Cooperf86db5c2018-12-18 22:20:03 +0000162 break;
163 case Intrinsic::objc_retain:
Pete Cooperd0ffdf82018-12-18 22:31:34 +0000164 Changed |= lowerObjCCall(F, "objc_retain", true);
Pete Cooperf86db5c2018-12-18 22:20:03 +0000165 break;
166 case Intrinsic::objc_retainAutorelease:
167 Changed |= lowerObjCCall(F, "objc_retainAutorelease");
168 break;
169 case Intrinsic::objc_retainAutoreleaseReturnValue:
170 Changed |= lowerObjCCall(F, "objc_retainAutoreleaseReturnValue");
171 break;
172 case Intrinsic::objc_retainAutoreleasedReturnValue:
173 Changed |= lowerObjCCall(F, "objc_retainAutoreleasedReturnValue");
174 break;
175 case Intrinsic::objc_retainBlock:
176 Changed |= lowerObjCCall(F, "objc_retainBlock");
177 break;
178 case Intrinsic::objc_storeStrong:
179 Changed |= lowerObjCCall(F, "objc_storeStrong");
180 break;
181 case Intrinsic::objc_storeWeak:
182 Changed |= lowerObjCCall(F, "objc_storeWeak");
183 break;
184 case Intrinsic::objc_unsafeClaimAutoreleasedReturnValue:
185 Changed |= lowerObjCCall(F, "objc_unsafeClaimAutoreleasedReturnValue");
186 break;
187 case Intrinsic::objc_retainedObject:
188 Changed |= lowerObjCCall(F, "objc_retainedObject");
189 break;
190 case Intrinsic::objc_unretainedObject:
191 Changed |= lowerObjCCall(F, "objc_unretainedObject");
192 break;
193 case Intrinsic::objc_unretainedPointer:
194 Changed |= lowerObjCCall(F, "objc_unretainedPointer");
195 break;
196 case Intrinsic::objc_retain_autorelease:
197 Changed |= lowerObjCCall(F, "objc_retain_autorelease");
198 break;
199 case Intrinsic::objc_sync_enter:
200 Changed |= lowerObjCCall(F, "objc_sync_enter");
201 break;
202 case Intrinsic::objc_sync_exit:
203 Changed |= lowerObjCCall(F, "objc_sync_exit");
204 break;
205 }
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000206 }
207 return Changed;
208}
209
Eugene Zelenko618c5552017-09-13 21:15:20 +0000210namespace {
211
Michael Kuperstein82d5da52016-06-24 20:13:42 +0000212class PreISelIntrinsicLoweringLegacyPass : public ModulePass {
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000213public:
214 static char ID;
Eugene Zelenko618c5552017-09-13 21:15:20 +0000215
Michael Kuperstein82d5da52016-06-24 20:13:42 +0000216 PreISelIntrinsicLoweringLegacyPass() : ModulePass(ID) {}
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000217
Eugene Zelenko618c5552017-09-13 21:15:20 +0000218 bool runOnModule(Module &M) override { return lowerIntrinsics(M); }
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000219};
220
Eugene Zelenko618c5552017-09-13 21:15:20 +0000221} // end anonymous namespace
222
Michael Kuperstein82d5da52016-06-24 20:13:42 +0000223char PreISelIntrinsicLoweringLegacyPass::ID;
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000224
Michael Kuperstein82d5da52016-06-24 20:13:42 +0000225INITIALIZE_PASS(PreISelIntrinsicLoweringLegacyPass,
226 "pre-isel-intrinsic-lowering", "Pre-ISel Intrinsic Lowering",
227 false, false)
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000228
Eugene Zelenko618c5552017-09-13 21:15:20 +0000229ModulePass *llvm::createPreISelIntrinsicLoweringPass() {
Michael Kuperstein82d5da52016-06-24 20:13:42 +0000230 return new PreISelIntrinsicLoweringLegacyPass;
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000231}
Michael Kuperstein82d5da52016-06-24 20:13:42 +0000232
233PreservedAnalyses PreISelIntrinsicLoweringPass::run(Module &M,
234 ModuleAnalysisManager &AM) {
235 if (!lowerIntrinsics(M))
236 return PreservedAnalyses::all();
237 else
238 return PreservedAnalyses::none();
239}