blob: b0e9ac03612d10c45cc6e51ff9e7f5cf7e206183 [file] [log] [blame]
Eugene Zelenko16ffaf82017-09-13 21:15:20 +00001//===- PreISelIntrinsicLowering.cpp - Pre-ISel intrinsic lowering pass ----===//
Peter Collingbourne74eabdd2016-04-22 21:18:02 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Pete Cooper7c9e35d2018-12-18 22:20:03 +000010// This pass implements IR lowering for the llvm.load.relative and llvm.objc.*
11// intrinsics.
Peter Collingbourne74eabdd2016-04-22 21:18:02 +000012//
13//===----------------------------------------------------------------------===//
14
Michael Kupersteinf3f8fc62016-06-24 20:13:42 +000015#include "llvm/CodeGen/PreISelIntrinsicLowering.h"
Peter Collingbourne74eabdd2016-04-22 21:18:02 +000016#include "llvm/CodeGen/Passes.h"
17#include "llvm/IR/Function.h"
Pete Cooper7c9e35d2018-12-18 22:20:03 +000018#include "llvm/IR/Intrinsics.h"
Peter Collingbourne74eabdd2016-04-22 21:18:02 +000019#include "llvm/IR/IRBuilder.h"
20#include "llvm/IR/Instructions.h"
Peter Collingbourne74eabdd2016-04-22 21:18:02 +000021#include "llvm/IR/Module.h"
Eugene Zelenko16ffaf82017-09-13 21:15:20 +000022#include "llvm/IR/Type.h"
23#include "llvm/IR/User.h"
Peter Collingbourne74eabdd2016-04-22 21:18:02 +000024#include "llvm/Pass.h"
Eugene Zelenko16ffaf82017-09-13 21:15:20 +000025#include "llvm/Support/Casting.h"
Peter Collingbourne74eabdd2016-04-22 21:18:02 +000026
27using namespace llvm;
28
Eugene Zelenko16ffaf82017-09-13 21:15:20 +000029static bool lowerLoadRelative(Function &F) {
Peter Collingbourne74eabdd2016-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);
48 Value *OffsetI32 = B.CreateAlignedLoad(OffsetPtrI32, 4);
49
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
Pete Cooperd2c49ab2018-12-18 22:31:34 +000060static bool lowerObjCCall(Function &F, const char *NewFn,
61 bool setNonLazyBind = false) {
Pete Cooper7c9e35d2018-12-18 22:20:03 +000062 if (F.use_empty())
63 return false;
64
65 // If we haven't already looked up this function, check to see if the
66 // program already contains a function with this name.
67 Module *M = F.getParent();
68 Constant* FCache = M->getOrInsertFunction(NewFn, F.getFunctionType());
Pete Cooper1a95f982018-12-18 22:42:08 +000069
70 if (Function* Fn = dyn_cast<Function>(FCache)) {
71 Fn->setLinkage(F.getLinkage());
72 if (setNonLazyBind && !Fn->isWeakForLinker()) {
73 // If we have Native ARC, set nonlazybind attribute for these APIs for
74 // performance.
Pete Cooperd2c49ab2018-12-18 22:31:34 +000075 Fn->addFnAttr(Attribute::NonLazyBind);
Pete Cooper1a95f982018-12-18 22:42:08 +000076 }
77 }
Pete Cooper7c9e35d2018-12-18 22:20:03 +000078
79 for (auto I = F.use_begin(), E = F.use_end(); I != E;) {
80 auto *CI = dyn_cast<CallInst>(I->getUser());
81 assert(CI->getCalledFunction() && "Cannot lower an indirect call!");
82 ++I;
83
84 IRBuilder<> Builder(CI->getParent(), CI->getIterator());
85 SmallVector<Value *, 8> Args(CI->arg_begin(), CI->arg_end());
86 CallInst *NewCI = Builder.CreateCall(FCache, Args);
87 NewCI->setName(CI->getName());
88 NewCI->setTailCallKind(CI->getTailCallKind());
89 if (!CI->use_empty())
90 CI->replaceAllUsesWith(NewCI);
91 CI->eraseFromParent();
92 }
93
94 return true;
95}
96
Eugene Zelenko16ffaf82017-09-13 21:15:20 +000097static bool lowerIntrinsics(Module &M) {
Peter Collingbourne74eabdd2016-04-22 21:18:02 +000098 bool Changed = false;
99 for (Function &F : M) {
Pete Cooper7c9e35d2018-12-18 22:20:03 +0000100 if (F.getName().startswith("llvm.load.relative.")) {
Peter Collingbourne74eabdd2016-04-22 21:18:02 +0000101 Changed |= lowerLoadRelative(F);
Pete Cooper7c9e35d2018-12-18 22:20:03 +0000102 continue;
103 }
104 switch (F.getIntrinsicID()) {
105 default:
106 break;
107 case Intrinsic::objc_autorelease:
108 Changed |= lowerObjCCall(F, "objc_autorelease");
109 break;
110 case Intrinsic::objc_autoreleasePoolPop:
111 Changed |= lowerObjCCall(F, "objc_autoreleasePoolPop");
112 break;
113 case Intrinsic::objc_autoreleasePoolPush:
114 Changed |= lowerObjCCall(F, "objc_autoreleasePoolPush");
115 break;
116 case Intrinsic::objc_autoreleaseReturnValue:
117 Changed |= lowerObjCCall(F, "objc_autoreleaseReturnValue");
118 break;
119 case Intrinsic::objc_copyWeak:
120 Changed |= lowerObjCCall(F, "objc_copyWeak");
121 break;
122 case Intrinsic::objc_destroyWeak:
123 Changed |= lowerObjCCall(F, "objc_destroyWeak");
124 break;
125 case Intrinsic::objc_initWeak:
126 Changed |= lowerObjCCall(F, "objc_initWeak");
127 break;
128 case Intrinsic::objc_loadWeak:
129 Changed |= lowerObjCCall(F, "objc_loadWeak");
130 break;
131 case Intrinsic::objc_loadWeakRetained:
132 Changed |= lowerObjCCall(F, "objc_loadWeakRetained");
133 break;
134 case Intrinsic::objc_moveWeak:
135 Changed |= lowerObjCCall(F, "objc_moveWeak");
136 break;
137 case Intrinsic::objc_release:
Pete Cooperd2c49ab2018-12-18 22:31:34 +0000138 Changed |= lowerObjCCall(F, "objc_release", true);
Pete Cooper7c9e35d2018-12-18 22:20:03 +0000139 break;
140 case Intrinsic::objc_retain:
Pete Cooperd2c49ab2018-12-18 22:31:34 +0000141 Changed |= lowerObjCCall(F, "objc_retain", true);
Pete Cooper7c9e35d2018-12-18 22:20:03 +0000142 break;
143 case Intrinsic::objc_retainAutorelease:
144 Changed |= lowerObjCCall(F, "objc_retainAutorelease");
145 break;
146 case Intrinsic::objc_retainAutoreleaseReturnValue:
147 Changed |= lowerObjCCall(F, "objc_retainAutoreleaseReturnValue");
148 break;
149 case Intrinsic::objc_retainAutoreleasedReturnValue:
150 Changed |= lowerObjCCall(F, "objc_retainAutoreleasedReturnValue");
151 break;
152 case Intrinsic::objc_retainBlock:
153 Changed |= lowerObjCCall(F, "objc_retainBlock");
154 break;
155 case Intrinsic::objc_storeStrong:
156 Changed |= lowerObjCCall(F, "objc_storeStrong");
157 break;
158 case Intrinsic::objc_storeWeak:
159 Changed |= lowerObjCCall(F, "objc_storeWeak");
160 break;
161 case Intrinsic::objc_unsafeClaimAutoreleasedReturnValue:
162 Changed |= lowerObjCCall(F, "objc_unsafeClaimAutoreleasedReturnValue");
163 break;
164 case Intrinsic::objc_retainedObject:
165 Changed |= lowerObjCCall(F, "objc_retainedObject");
166 break;
167 case Intrinsic::objc_unretainedObject:
168 Changed |= lowerObjCCall(F, "objc_unretainedObject");
169 break;
170 case Intrinsic::objc_unretainedPointer:
171 Changed |= lowerObjCCall(F, "objc_unretainedPointer");
172 break;
173 case Intrinsic::objc_retain_autorelease:
174 Changed |= lowerObjCCall(F, "objc_retain_autorelease");
175 break;
176 case Intrinsic::objc_sync_enter:
177 Changed |= lowerObjCCall(F, "objc_sync_enter");
178 break;
179 case Intrinsic::objc_sync_exit:
180 Changed |= lowerObjCCall(F, "objc_sync_exit");
181 break;
182 }
Peter Collingbourne74eabdd2016-04-22 21:18:02 +0000183 }
184 return Changed;
185}
186
Eugene Zelenko16ffaf82017-09-13 21:15:20 +0000187namespace {
188
Michael Kupersteinf3f8fc62016-06-24 20:13:42 +0000189class PreISelIntrinsicLoweringLegacyPass : public ModulePass {
Peter Collingbourne74eabdd2016-04-22 21:18:02 +0000190public:
191 static char ID;
Eugene Zelenko16ffaf82017-09-13 21:15:20 +0000192
Michael Kupersteinf3f8fc62016-06-24 20:13:42 +0000193 PreISelIntrinsicLoweringLegacyPass() : ModulePass(ID) {}
Peter Collingbourne74eabdd2016-04-22 21:18:02 +0000194
Eugene Zelenko16ffaf82017-09-13 21:15:20 +0000195 bool runOnModule(Module &M) override { return lowerIntrinsics(M); }
Peter Collingbourne74eabdd2016-04-22 21:18:02 +0000196};
197
Eugene Zelenko16ffaf82017-09-13 21:15:20 +0000198} // end anonymous namespace
199
Michael Kupersteinf3f8fc62016-06-24 20:13:42 +0000200char PreISelIntrinsicLoweringLegacyPass::ID;
Peter Collingbourne74eabdd2016-04-22 21:18:02 +0000201
Michael Kupersteinf3f8fc62016-06-24 20:13:42 +0000202INITIALIZE_PASS(PreISelIntrinsicLoweringLegacyPass,
203 "pre-isel-intrinsic-lowering", "Pre-ISel Intrinsic Lowering",
204 false, false)
Peter Collingbourne74eabdd2016-04-22 21:18:02 +0000205
Eugene Zelenko16ffaf82017-09-13 21:15:20 +0000206ModulePass *llvm::createPreISelIntrinsicLoweringPass() {
Michael Kupersteinf3f8fc62016-06-24 20:13:42 +0000207 return new PreISelIntrinsicLoweringLegacyPass;
Peter Collingbourne74eabdd2016-04-22 21:18:02 +0000208}
Michael Kupersteinf3f8fc62016-06-24 20:13:42 +0000209
210PreservedAnalyses PreISelIntrinsicLoweringPass::run(Module &M,
211 ModuleAnalysisManager &AM) {
212 if (!lowerIntrinsics(M))
213 return PreservedAnalyses::all();
214 else
215 return PreservedAnalyses::none();
216}