blob: cd15f6b7fcb9d163c53ed1767346f7419ae3b08a [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//
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 Cooperf86db5c2018-12-18 22:20:03 +000010// This pass implements IR lowering for the llvm.load.relative and llvm.objc.*
11// intrinsics.
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +000012//
13//===----------------------------------------------------------------------===//
14
Michael Kuperstein82d5da52016-06-24 20:13:42 +000015#include "llvm/CodeGen/PreISelIntrinsicLowering.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);
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 Cooperf86db5c2018-12-18 22:20:03 +000060static bool lowerObjCCall(Function &F, const char *NewFn) {
61 if (F.use_empty())
62 return false;
63
64 // If we haven't already looked up this function, check to see if the
65 // program already contains a function with this name.
66 Module *M = F.getParent();
67 Constant* FCache = M->getOrInsertFunction(NewFn, F.getFunctionType());
68
69 for (auto I = F.use_begin(), E = F.use_end(); I != E;) {
70 auto *CI = dyn_cast<CallInst>(I->getUser());
71 assert(CI->getCalledFunction() && "Cannot lower an indirect call!");
72 ++I;
73
74 IRBuilder<> Builder(CI->getParent(), CI->getIterator());
75 SmallVector<Value *, 8> Args(CI->arg_begin(), CI->arg_end());
76 CallInst *NewCI = Builder.CreateCall(FCache, Args);
77 NewCI->setName(CI->getName());
78 NewCI->setTailCallKind(CI->getTailCallKind());
79 if (!CI->use_empty())
80 CI->replaceAllUsesWith(NewCI);
81 CI->eraseFromParent();
82 }
83
84 return true;
85}
86
Eugene Zelenko618c5552017-09-13 21:15:20 +000087static bool lowerIntrinsics(Module &M) {
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +000088 bool Changed = false;
89 for (Function &F : M) {
Pete Cooperf86db5c2018-12-18 22:20:03 +000090 if (F.getName().startswith("llvm.load.relative.")) {
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +000091 Changed |= lowerLoadRelative(F);
Pete Cooperf86db5c2018-12-18 22:20:03 +000092 continue;
93 }
94 switch (F.getIntrinsicID()) {
95 default:
96 break;
97 case Intrinsic::objc_autorelease:
98 Changed |= lowerObjCCall(F, "objc_autorelease");
99 break;
100 case Intrinsic::objc_autoreleasePoolPop:
101 Changed |= lowerObjCCall(F, "objc_autoreleasePoolPop");
102 break;
103 case Intrinsic::objc_autoreleasePoolPush:
104 Changed |= lowerObjCCall(F, "objc_autoreleasePoolPush");
105 break;
106 case Intrinsic::objc_autoreleaseReturnValue:
107 Changed |= lowerObjCCall(F, "objc_autoreleaseReturnValue");
108 break;
109 case Intrinsic::objc_copyWeak:
110 Changed |= lowerObjCCall(F, "objc_copyWeak");
111 break;
112 case Intrinsic::objc_destroyWeak:
113 Changed |= lowerObjCCall(F, "objc_destroyWeak");
114 break;
115 case Intrinsic::objc_initWeak:
116 Changed |= lowerObjCCall(F, "objc_initWeak");
117 break;
118 case Intrinsic::objc_loadWeak:
119 Changed |= lowerObjCCall(F, "objc_loadWeak");
120 break;
121 case Intrinsic::objc_loadWeakRetained:
122 Changed |= lowerObjCCall(F, "objc_loadWeakRetained");
123 break;
124 case Intrinsic::objc_moveWeak:
125 Changed |= lowerObjCCall(F, "objc_moveWeak");
126 break;
127 case Intrinsic::objc_release:
128 Changed |= lowerObjCCall(F, "objc_release");
129 break;
130 case Intrinsic::objc_retain:
131 Changed |= lowerObjCCall(F, "objc_retain");
132 break;
133 case Intrinsic::objc_retainAutorelease:
134 Changed |= lowerObjCCall(F, "objc_retainAutorelease");
135 break;
136 case Intrinsic::objc_retainAutoreleaseReturnValue:
137 Changed |= lowerObjCCall(F, "objc_retainAutoreleaseReturnValue");
138 break;
139 case Intrinsic::objc_retainAutoreleasedReturnValue:
140 Changed |= lowerObjCCall(F, "objc_retainAutoreleasedReturnValue");
141 break;
142 case Intrinsic::objc_retainBlock:
143 Changed |= lowerObjCCall(F, "objc_retainBlock");
144 break;
145 case Intrinsic::objc_storeStrong:
146 Changed |= lowerObjCCall(F, "objc_storeStrong");
147 break;
148 case Intrinsic::objc_storeWeak:
149 Changed |= lowerObjCCall(F, "objc_storeWeak");
150 break;
151 case Intrinsic::objc_unsafeClaimAutoreleasedReturnValue:
152 Changed |= lowerObjCCall(F, "objc_unsafeClaimAutoreleasedReturnValue");
153 break;
154 case Intrinsic::objc_retainedObject:
155 Changed |= lowerObjCCall(F, "objc_retainedObject");
156 break;
157 case Intrinsic::objc_unretainedObject:
158 Changed |= lowerObjCCall(F, "objc_unretainedObject");
159 break;
160 case Intrinsic::objc_unretainedPointer:
161 Changed |= lowerObjCCall(F, "objc_unretainedPointer");
162 break;
163 case Intrinsic::objc_retain_autorelease:
164 Changed |= lowerObjCCall(F, "objc_retain_autorelease");
165 break;
166 case Intrinsic::objc_sync_enter:
167 Changed |= lowerObjCCall(F, "objc_sync_enter");
168 break;
169 case Intrinsic::objc_sync_exit:
170 Changed |= lowerObjCCall(F, "objc_sync_exit");
171 break;
172 }
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000173 }
174 return Changed;
175}
176
Eugene Zelenko618c5552017-09-13 21:15:20 +0000177namespace {
178
Michael Kuperstein82d5da52016-06-24 20:13:42 +0000179class PreISelIntrinsicLoweringLegacyPass : public ModulePass {
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000180public:
181 static char ID;
Eugene Zelenko618c5552017-09-13 21:15:20 +0000182
Michael Kuperstein82d5da52016-06-24 20:13:42 +0000183 PreISelIntrinsicLoweringLegacyPass() : ModulePass(ID) {}
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000184
Eugene Zelenko618c5552017-09-13 21:15:20 +0000185 bool runOnModule(Module &M) override { return lowerIntrinsics(M); }
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000186};
187
Eugene Zelenko618c5552017-09-13 21:15:20 +0000188} // end anonymous namespace
189
Michael Kuperstein82d5da52016-06-24 20:13:42 +0000190char PreISelIntrinsicLoweringLegacyPass::ID;
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000191
Michael Kuperstein82d5da52016-06-24 20:13:42 +0000192INITIALIZE_PASS(PreISelIntrinsicLoweringLegacyPass,
193 "pre-isel-intrinsic-lowering", "Pre-ISel Intrinsic Lowering",
194 false, false)
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000195
Eugene Zelenko618c5552017-09-13 21:15:20 +0000196ModulePass *llvm::createPreISelIntrinsicLoweringPass() {
Michael Kuperstein82d5da52016-06-24 20:13:42 +0000197 return new PreISelIntrinsicLoweringLegacyPass;
Peter Collingbourne7dd8dbf2016-04-22 21:18:02 +0000198}
Michael Kuperstein82d5da52016-06-24 20:13:42 +0000199
200PreservedAnalyses PreISelIntrinsicLoweringPass::run(Module &M,
201 ModuleAnalysisManager &AM) {
202 if (!lowerIntrinsics(M))
203 return PreservedAnalyses::all();
204 else
205 return PreservedAnalyses::none();
206}