11b637458SDan Gohman //===-- WebAssemblyFixFunctionBitcasts.cpp - Fix function bitcasts --------===//
21b637458SDan Gohman //
31b637458SDan Gohman //                     The LLVM Compiler Infrastructure
41b637458SDan Gohman //
51b637458SDan Gohman // This file is distributed under the University of Illinois Open Source
61b637458SDan Gohman // License. See LICENSE.TXT for details.
71b637458SDan Gohman //
81b637458SDan Gohman //===----------------------------------------------------------------------===//
91b637458SDan Gohman ///
101b637458SDan Gohman /// \file
111b637458SDan Gohman /// \brief Fix bitcasted functions.
121b637458SDan Gohman ///
131b637458SDan Gohman /// WebAssembly requires caller and callee signatures to match, however in LLVM,
141b637458SDan Gohman /// some amount of slop is vaguely permitted. Detect mismatch by looking for
151b637458SDan Gohman /// bitcasts of functions and rewrite them to use wrapper functions instead.
161b637458SDan Gohman ///
171b637458SDan Gohman /// This doesn't catch all cases, such as when a function's address is taken in
181b637458SDan Gohman /// one place and casted in another, but it works for many common cases.
191b637458SDan Gohman ///
201b637458SDan Gohman /// Note that LLVM already optimizes away function bitcasts in common cases by
211b637458SDan Gohman /// dropping arguments as needed, so this pass only ends up getting used in less
221b637458SDan Gohman /// common cases.
231b637458SDan Gohman ///
241b637458SDan Gohman //===----------------------------------------------------------------------===//
251b637458SDan Gohman 
261b637458SDan Gohman #include "WebAssembly.h"
271b637458SDan Gohman #include "llvm/IR/Constants.h"
281b637458SDan Gohman #include "llvm/IR/Instructions.h"
291b637458SDan Gohman #include "llvm/IR/Module.h"
301b637458SDan Gohman #include "llvm/IR/Operator.h"
311b637458SDan Gohman #include "llvm/Pass.h"
321b637458SDan Gohman #include "llvm/Support/Debug.h"
331b637458SDan Gohman #include "llvm/Support/raw_ostream.h"
341b637458SDan Gohman using namespace llvm;
351b637458SDan Gohman 
361b637458SDan Gohman #define DEBUG_TYPE "wasm-fix-function-bitcasts"
371b637458SDan Gohman 
381b637458SDan Gohman namespace {
391b637458SDan Gohman class FixFunctionBitcasts final : public ModulePass {
401b637458SDan Gohman   StringRef getPassName() const override {
411b637458SDan Gohman     return "WebAssembly Fix Function Bitcasts";
421b637458SDan Gohman   }
431b637458SDan Gohman 
441b637458SDan Gohman   void getAnalysisUsage(AnalysisUsage &AU) const override {
451b637458SDan Gohman     AU.setPreservesCFG();
461b637458SDan Gohman     ModulePass::getAnalysisUsage(AU);
471b637458SDan Gohman   }
481b637458SDan Gohman 
491b637458SDan Gohman   bool runOnModule(Module &M) override;
501b637458SDan Gohman 
511b637458SDan Gohman public:
521b637458SDan Gohman   static char ID;
531b637458SDan Gohman   FixFunctionBitcasts() : ModulePass(ID) {}
541b637458SDan Gohman };
551b637458SDan Gohman } // End anonymous namespace
561b637458SDan Gohman 
571b637458SDan Gohman char FixFunctionBitcasts::ID = 0;
581b637458SDan Gohman ModulePass *llvm::createWebAssemblyFixFunctionBitcasts() {
591b637458SDan Gohman   return new FixFunctionBitcasts();
601b637458SDan Gohman }
611b637458SDan Gohman 
621b637458SDan Gohman // Recursively descend the def-use lists from V to find non-bitcast users of
631b637458SDan Gohman // bitcasts of V.
641b637458SDan Gohman static void FindUses(Value *V, Function &F,
651b637458SDan Gohman                      SmallVectorImpl<std::pair<Use *, Function *>> &Uses) {
661b637458SDan Gohman   for (Use &U : V->uses()) {
671b637458SDan Gohman     if (BitCastOperator *BC = dyn_cast<BitCastOperator>(U.getUser()))
681b637458SDan Gohman       FindUses(BC, F, Uses);
691b637458SDan Gohman     else if (U.get()->getType() != F.getType())
701b637458SDan Gohman       Uses.push_back(std::make_pair(&U, &F));
711b637458SDan Gohman   }
721b637458SDan Gohman }
731b637458SDan Gohman 
741b637458SDan Gohman // Create a wrapper function with type Ty that calls F (which may have a
751b637458SDan Gohman // different type). Attempt to support common bitcasted function idioms:
761b637458SDan Gohman //  - Call with more arguments than needed: arguments are dropped
771b637458SDan Gohman //  - Call with fewer arguments than needed: arguments are filled in with undef
781b637458SDan Gohman //  - Return value is not needed: drop it
791b637458SDan Gohman //  - Return value needed but not present: supply an undef
801b637458SDan Gohman static Function *CreateWrapper(Function *F, FunctionType *Ty) {
811b637458SDan Gohman   Module *M = F->getParent();
821b637458SDan Gohman 
831b637458SDan Gohman   Function *Wrapper =
841b637458SDan Gohman       Function::Create(Ty, Function::PrivateLinkage, "bitcast", M);
851b637458SDan Gohman   BasicBlock *BB = BasicBlock::Create(M->getContext(), "body", Wrapper);
861b637458SDan Gohman 
871b637458SDan Gohman   // Determine what arguments to pass.
881b637458SDan Gohman   SmallVector<Value *, 4> Args;
891b637458SDan Gohman   Function::arg_iterator AI = Wrapper->arg_begin();
901b637458SDan Gohman   FunctionType::param_iterator PI = F->getFunctionType()->param_begin();
911b637458SDan Gohman   FunctionType::param_iterator PE = F->getFunctionType()->param_end();
921b637458SDan Gohman   for (; AI != Wrapper->arg_end() && PI != PE; ++AI, ++PI) {
931b637458SDan Gohman     assert(AI->getType() == *PI &&
941b637458SDan Gohman            "mismatched argument types not supported yet");
951b637458SDan Gohman     Args.push_back(&*AI);
961b637458SDan Gohman   }
971b637458SDan Gohman   for (; PI != PE; ++PI)
981b637458SDan Gohman     Args.push_back(UndefValue::get(*PI));
991b637458SDan Gohman 
1001b637458SDan Gohman   CallInst *Call = CallInst::Create(F, Args, "", BB);
1011b637458SDan Gohman 
1021b637458SDan Gohman   // Determine what value to return.
1031b637458SDan Gohman   if (Ty->getReturnType()->isVoidTy())
1041b637458SDan Gohman     ReturnInst::Create(M->getContext(), BB);
1051b637458SDan Gohman   else if (F->getFunctionType()->getReturnType()->isVoidTy())
1061b637458SDan Gohman     ReturnInst::Create(M->getContext(), UndefValue::get(Ty->getReturnType()),
1071b637458SDan Gohman                        BB);
1081b637458SDan Gohman   else if (F->getFunctionType()->getReturnType() == Ty->getReturnType())
1091b637458SDan Gohman     ReturnInst::Create(M->getContext(), Call, BB);
1101b637458SDan Gohman   else
1111b637458SDan Gohman     llvm_unreachable("mismatched return types not supported yet");
1121b637458SDan Gohman 
1131b637458SDan Gohman   return Wrapper;
1141b637458SDan Gohman }
1151b637458SDan Gohman 
1161b637458SDan Gohman bool FixFunctionBitcasts::runOnModule(Module &M) {
117*d5eda355SDan Gohman   SmallVector<std::pair<Use *, Function *>, 0> Uses;
118*d5eda355SDan Gohman 
1191b637458SDan Gohman   // Collect all the places that need wrappers.
1201b637458SDan Gohman   for (Function &F : M)
1211b637458SDan Gohman     FindUses(&F, F, Uses);
1221b637458SDan Gohman 
1231b637458SDan Gohman   DenseMap<std::pair<Function *, FunctionType *>, Function *> Wrappers;
1241b637458SDan Gohman 
1251b637458SDan Gohman   for (auto &UseFunc : Uses) {
1261b637458SDan Gohman     Use *U = UseFunc.first;
1271b637458SDan Gohman     Function *F = UseFunc.second;
1281b637458SDan Gohman     PointerType *PTy = cast<PointerType>(U->get()->getType());
1291b637458SDan Gohman     FunctionType *Ty = dyn_cast<FunctionType>(PTy->getElementType());
1301b637458SDan Gohman 
1311b637458SDan Gohman     // If the function is casted to something like i8* as a "generic pointer"
1321b637458SDan Gohman     // to be later casted to something else, we can't generate a wrapper for it.
1331b637458SDan Gohman     // Just ignore such casts for now.
1341b637458SDan Gohman     if (!Ty)
1351b637458SDan Gohman       continue;
1361b637458SDan Gohman 
1371b637458SDan Gohman     auto Pair = Wrappers.insert(std::make_pair(std::make_pair(F, Ty), nullptr));
1381b637458SDan Gohman     if (Pair.second)
1391b637458SDan Gohman       Pair.first->second = CreateWrapper(F, Ty);
1401b637458SDan Gohman 
1411b637458SDan Gohman     if (isa<Constant>(U->get()))
1421b637458SDan Gohman       U->get()->replaceAllUsesWith(Pair.first->second);
1431b637458SDan Gohman     else
1441b637458SDan Gohman       U->set(Pair.first->second);
1451b637458SDan Gohman   }
1461b637458SDan Gohman 
1471b637458SDan Gohman   return true;
1481b637458SDan Gohman }
149