| // Copyright 2017 The Clspv Authors. All rights reserved. |
| // |
| // Licensed under the Apache License, Version 2.0 (the "License"); |
| // you may not use this file except in compliance with the License. |
| // You may obtain a copy of the License at |
| // |
| // http://www.apache.org/licenses/LICENSE-2.0 |
| // |
| // Unless required by applicable law or agreed to in writing, software |
| // distributed under the License is distributed on an "AS IS" BASIS, |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| // See the License for the specific language governing permissions and |
| // limitations under the License. |
| |
| #include "llvm/ADT/SmallSet.h" |
| #include "llvm/ADT/UniqueVector.h" |
| #include "llvm/IR/IRBuilder.h" |
| #include "llvm/IR/Instructions.h" |
| #include "llvm/IR/Module.h" |
| #include "llvm/Pass.h" |
| #include "llvm/Support/raw_ostream.h" |
| #include "llvm/Transforms/Utils/Cloning.h" |
| |
| #include "clspv/Option.h" |
| |
| #include "InlineFuncWithPointerBitCastArgPass.h" |
| #include "Types.h" |
| |
| using namespace llvm; |
| |
| #define DEBUG_TYPE "inlinefuncwithpointerbitcastarg" |
| |
| PreservedAnalyses |
| clspv::InlineFuncWithPointerBitCastArgPass::run(Module &M, |
| ModuleAnalysisManager &) { |
| PreservedAnalyses PA; |
| |
| // Loop through our inline pass until they stop changing thing. |
| bool changed = true; |
| while (changed) { |
| changed &= InlineFunctions(M); |
| } |
| |
| return PA; |
| } |
| |
| bool clspv::InlineFuncWithPointerBitCastArgPass::InlineFunctions(Module &M) { |
| bool Changed = false; |
| |
| UniqueVector<CallInst *> WorkList; |
| for (Function &F : M) { |
| for (BasicBlock &BB : F) { |
| for (Instruction &I : BB) { |
| // If we have a bitcast instruction... |
| if (auto Bitcast = dyn_cast<BitCastInst>(&I)) { |
| // ... which is a pointer bitcast... |
| if (Bitcast->getType()->isPointerTy()) { |
| // ... we need to recursively check all the users to find any call |
| // instructions. |
| SmallVector<Value *, 8> ToChecks(Bitcast->user_begin(), |
| Bitcast->user_end()); |
| SmallSet<Instruction *, 8> CheckedPhis; |
| |
| while (!ToChecks.empty()) { |
| auto ToCheck = ToChecks.back(); |
| ToChecks.pop_back(); |
| |
| if (auto Inst = dyn_cast<Instruction>(ToCheck)) { |
| switch (Inst->getOpcode()) { |
| default: |
| break; |
| case Instruction::Call: |
| // We found a call instruction which needs to be inlined! |
| WorkList.insert(cast<CallInst>(Inst)); |
| [[fallthrough]]; |
| case Instruction::PHI: |
| // If we previously checked this phi... |
| if (0 < CheckedPhis.count(Inst)) { |
| // ... then we don't need to check it again! |
| break; |
| } |
| |
| CheckedPhis.insert(Inst); |
| [[fallthrough]]; |
| case Instruction::GetElementPtr: |
| case Instruction::BitCast: |
| // These pointer users could have a call user, and so we |
| // must check them also. |
| ToChecks.append(Inst->user_begin(), Inst->user_end()); |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| |
| // Check if any calls need inlined due to implicit pointer casts from opaque |
| // pointers. |
| DenseMap<Value *, Type *> type_cache; |
| for (auto &F : M) { |
| for (auto &BB : F) { |
| for (auto &I : BB) { |
| if (auto *call = dyn_cast<CallInst>(&I)) { |
| auto *func = call->getCalledFunction(); |
| if (func->isDeclaration()) |
| continue; |
| |
| // Inline the call if the argument's type is inferred to be different |
| // than the parameter's type. |
| for (unsigned i = 0; i < call->arg_size(); i++) { |
| if (call->getArgOperand(i)->getType()->isPointerTy()) { |
| if (clspv::Option::UntypedPointerAddressSpace( |
| call->getArgOperand(i) |
| ->getType() |
| ->getPointerAddressSpace())) { |
| continue; |
| } |
| auto *arg_ty = clspv::InferType(call->getArgOperand(i), |
| M.getContext(), &type_cache); |
| auto *param_ty = clspv::InferType(func->getArg(i), M.getContext(), |
| &type_cache); |
| if (arg_ty != param_ty) { |
| WorkList.insert(call); |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| |
| // TODO: Need to check pointer bitcast, stored to an alloca, then loaded, |
| // then passed into a function? |
| |
| for (CallInst *Call : WorkList) { |
| InlineFunctionInfo IFI; |
| // Disable generation of lifetime intrinsic. |
| Changed |= InlineFunction(*Call, IFI, false, nullptr, false).isSuccess(); |
| } |
| |
| return Changed; |
| } |