Path: blob/main/contrib/llvm-project/llvm/lib/Target/PowerPC/PPCLowerMASSVEntries.cpp
35266 views
//===-- PPCLowerMASSVEntries.cpp ------------------------------------------===//1//2// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.3// See https://llvm.org/LICENSE.txt for license information.4// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception5//6//===----------------------------------------------------------------------===//7//8// This file implements lowering of MASSV (SIMD) entries for specific PowerPC9// subtargets.10// Following is an example of a conversion specific to Power9 subtarget:11// __sind2_massv ---> __sind2_P912//13//===----------------------------------------------------------------------===//1415#include "PPC.h"16#include "PPCSubtarget.h"17#include "PPCTargetMachine.h"18#include "llvm/ADT/STLExtras.h"19#include "llvm/Analysis/TargetTransformInfo.h"20#include "llvm/CodeGen/TargetPassConfig.h"21#include "llvm/IR/Instructions.h"22#include "llvm/IR/Module.h"2324#define DEBUG_TYPE "ppc-lower-massv-entries"2526using namespace llvm;2728namespace {2930static StringRef MASSVFuncs[] = {31#define TLI_DEFINE_MASSV_VECFUNCS32#define TLI_DEFINE_VECFUNC(SCAL, VEC, VF, VABI_PREFIX) VEC,33#include "llvm/Analysis/VecFuncs.def"34#undef TLI_DEFINE_MASSV_VECFUNCS35};3637class PPCLowerMASSVEntries : public ModulePass {38public:39static char ID;4041PPCLowerMASSVEntries() : ModulePass(ID) {}4243bool runOnModule(Module &M) override;4445StringRef getPassName() const override { return "PPC Lower MASS Entries"; }4647void getAnalysisUsage(AnalysisUsage &AU) const override {48AU.addRequired<TargetTransformInfoWrapperPass>();49}5051private:52static bool isMASSVFunc(StringRef Name);53static StringRef getCPUSuffix(const PPCSubtarget *Subtarget);54static std::string createMASSVFuncName(Function &Func,55const PPCSubtarget *Subtarget);56bool handlePowSpecialCases(CallInst *CI, Function &Func, Module &M);57bool lowerMASSVCall(CallInst *CI, Function &Func, Module &M,58const PPCSubtarget *Subtarget);59};6061} // namespace6263/// Checks if the specified function name represents an entry in the MASSV64/// library.65bool PPCLowerMASSVEntries::isMASSVFunc(StringRef Name) {66return llvm::is_contained(MASSVFuncs, Name);67}6869// FIXME:70/// Returns a string corresponding to the specified PowerPC subtarget. e.g.:71/// "_P8" for Power8, "_P9" for Power9. The string is used as a suffix while72/// generating subtarget-specific MASSV library functions. Current support73/// includes minimum subtarget Power8 for Linux and Power7 for AIX.74StringRef PPCLowerMASSVEntries::getCPUSuffix(const PPCSubtarget *Subtarget) {75// Assume generic when Subtarget is unavailable.76if (!Subtarget)77return "";78// TODO: add _P10 enties to Linux MASS lib and remove the check for AIX79if (Subtarget->isAIXABI() && Subtarget->hasP10Vector())80return "_P10";81if (Subtarget->hasP9Vector())82return "_P9";83if (Subtarget->hasP8Vector())84return "_P8";85if (Subtarget->isAIXABI())86return "_P7";8788report_fatal_error(89"Mininum subtarget for -vector-library=MASSV option is Power8 on Linux "90"and Power7 on AIX when vectorization is not disabled.");91}9293/// Creates PowerPC subtarget-specific name corresponding to the specified94/// generic MASSV function, and the PowerPC subtarget.95std::string96PPCLowerMASSVEntries::createMASSVFuncName(Function &Func,97const PPCSubtarget *Subtarget) {98StringRef Suffix = getCPUSuffix(Subtarget);99auto GenericName = Func.getName().str();100std::string MASSVEntryName = GenericName + Suffix.str();101return MASSVEntryName;102}103104/// If there are proper fast-math flags, this function creates llvm.pow105/// intrinsics when the exponent is 0.25 or 0.75.106bool PPCLowerMASSVEntries::handlePowSpecialCases(CallInst *CI, Function &Func,107Module &M) {108if (Func.getName() != "__powf4" && Func.getName() != "__powd2")109return false;110111if (Constant *Exp = dyn_cast<Constant>(CI->getArgOperand(1)))112if (ConstantFP *CFP = dyn_cast_or_null<ConstantFP>(Exp->getSplatValue())) {113// If the argument is 0.75 or 0.25 it is cheaper to turn it into pow114// intrinsic so that it could be optimzed as sequence of sqrt's.115if (!CI->hasNoInfs() || !CI->hasApproxFunc())116return false;117118if (!CFP->isExactlyValue(0.75) && !CFP->isExactlyValue(0.25))119return false;120121if (CFP->isExactlyValue(0.25) && !CI->hasNoSignedZeros())122return false;123124CI->setCalledFunction(125Intrinsic::getDeclaration(&M, Intrinsic::pow, CI->getType()));126return true;127}128129return false;130}131132/// Lowers generic MASSV entries to PowerPC subtarget-specific MASSV entries.133/// e.g.: __sind2_massv --> __sind2_P9 for a Power9 subtarget.134/// Both function prototypes and their callsites are updated during lowering.135bool PPCLowerMASSVEntries::lowerMASSVCall(CallInst *CI, Function &Func,136Module &M,137const PPCSubtarget *Subtarget) {138if (CI->use_empty())139return false;140141// Handling pow(x, 0.25), pow(x, 0.75), powf(x, 0.25), powf(x, 0.75)142if (handlePowSpecialCases(CI, Func, M))143return true;144145std::string MASSVEntryName = createMASSVFuncName(Func, Subtarget);146FunctionCallee FCache = M.getOrInsertFunction(147MASSVEntryName, Func.getFunctionType(), Func.getAttributes());148149CI->setCalledFunction(FCache);150151return true;152}153154bool PPCLowerMASSVEntries::runOnModule(Module &M) {155bool Changed = false;156157auto *TPC = getAnalysisIfAvailable<TargetPassConfig>();158if (!TPC)159return Changed;160161auto &TM = TPC->getTM<PPCTargetMachine>();162const PPCSubtarget *Subtarget;163164for (Function &Func : M) {165if (!Func.isDeclaration())166continue;167168if (!isMASSVFunc(Func.getName()))169continue;170171// Call to lowerMASSVCall() invalidates the iterator over users upon172// replacing the users. Precomputing the current list of users allows us to173// replace all the call sites.174SmallVector<User *, 4> MASSVUsers(Func.users());175176for (auto *User : MASSVUsers) {177auto *CI = dyn_cast<CallInst>(User);178if (!CI)179continue;180181Subtarget = &TM.getSubtarget<PPCSubtarget>(*CI->getParent()->getParent());182Changed |= lowerMASSVCall(CI, Func, M, Subtarget);183}184}185186return Changed;187}188189char PPCLowerMASSVEntries::ID = 0;190191char &llvm::PPCLowerMASSVEntriesID = PPCLowerMASSVEntries::ID;192193INITIALIZE_PASS(PPCLowerMASSVEntries, DEBUG_TYPE, "Lower MASSV entries", false,194false)195196ModulePass *llvm::createPPCLowerMASSVEntriesPass() {197return new PPCLowerMASSVEntries();198}199200201