| //===-- InstrinsicInst.cpp - Intrinsic Instruction Wrappers ---------------===// | |
| // | |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. | |
| // See https://llvm.org/LICENSE.txt for license information. | |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | |
| // | |
| //===----------------------------------------------------------------------===// | |
| // | |
| // This file implements methods that make it really easy to deal with intrinsic | |
| // functions. | |
| // | |
| // All intrinsic function calls are instances of the call instruction, so these | |
| // are all subclasses of the CallInst class. Note that none of these classes | |
| // has state or virtual methods, which is an important part of this gross/neat | |
| // hack working. | |
| // | |
| // In some cases, arguments to intrinsics need to be generic and are defined as | |
| // type pointer to empty struct { }*. To access the real item of interest the | |
| // cast instruction needs to be stripped away. | |
| // | |
| //===----------------------------------------------------------------------===// | |
| #include "llvm/IR/IntrinsicInst.h" | |
| #include "llvm/IR/Operator.h" | |
| #include "llvm/ADT/StringSwitch.h" | |
| #include "llvm/IR/Constants.h" | |
| #include "llvm/IR/DebugInfoMetadata.h" | |
| #include "llvm/IR/GlobalVariable.h" | |
| #include "llvm/IR/Metadata.h" | |
| #include "llvm/IR/Module.h" | |
| #include "llvm/Support/raw_ostream.h" | |
| using namespace llvm; | |
| //===----------------------------------------------------------------------===// | |
| /// DbgVariableIntrinsic - This is the common base class for debug info | |
| /// intrinsics for variables. | |
| /// | |
| Value *DbgVariableIntrinsic::getVariableLocation(bool AllowNullOp) const { | |
| Value *Op = getArgOperand(0); | |
| if (AllowNullOp && !Op) | |
| return nullptr; | |
| auto *MD = cast<MetadataAsValue>(Op)->getMetadata(); | |
| if (auto *V = dyn_cast<ValueAsMetadata>(MD)) | |
| return V->getValue(); | |
| // When the value goes to null, it gets replaced by an empty MDNode. | |
| assert(!cast<MDNode>(MD)->getNumOperands() && "Expected an empty MDNode"); | |
| return nullptr; | |
| } | |
| Optional<uint64_t> DbgVariableIntrinsic::getFragmentSizeInBits() const { | |
| if (auto Fragment = getExpression()->getFragmentInfo()) | |
| return Fragment->SizeInBits; | |
| return getVariable()->getSizeInBits(); | |
| } | |
| int llvm::Intrinsic::lookupLLVMIntrinsicByName(ArrayRef<const char *> NameTable, | |
| StringRef Name) { | |
| assert(Name.startswith("llvm.")); | |
| // Do successive binary searches of the dotted name components. For | |
| // "llvm.gc.experimental.statepoint.p1i8.p1i32", we will find the range of | |
| // intrinsics starting with "llvm.gc", then "llvm.gc.experimental", then | |
| // "llvm.gc.experimental.statepoint", and then we will stop as the range is | |
| // size 1. During the search, we can skip the prefix that we already know is | |
| // identical. By using strncmp we consider names with differing suffixes to | |
| // be part of the equal range. | |
| size_t CmpEnd = 4; // Skip the "llvm" component. | |
| const char *const *Low = NameTable.begin(); | |
| const char *const *High = NameTable.end(); | |
| const char *const *LastLow = Low; | |
| while (CmpEnd < Name.size() && High - Low > 0) { | |
| size_t CmpStart = CmpEnd; | |
| CmpEnd = Name.find('.', CmpStart + 1); | |
| CmpEnd = CmpEnd == StringRef::npos ? Name.size() : CmpEnd; | |
| auto Cmp = [CmpStart, CmpEnd](const char *LHS, const char *RHS) { | |
| return strncmp(LHS + CmpStart, RHS + CmpStart, CmpEnd - CmpStart) < 0; | |
| }; | |
| LastLow = Low; | |
| std::tie(Low, High) = std::equal_range(Low, High, Name.data(), Cmp); | |
| } | |
| if (High - Low > 0) | |
| LastLow = Low; | |
| if (LastLow == NameTable.end()) | |
| return -1; | |
| StringRef NameFound = *LastLow; | |
| if (Name == NameFound || | |
| (Name.startswith(NameFound) && Name[NameFound.size()] == '.')) | |
| return LastLow - NameTable.begin(); | |
| return -1; | |
| } | |
| Value *InstrProfIncrementInst::getStep() const { | |
| if (InstrProfIncrementInstStep::classof(this)) { | |
| return const_cast<Value *>(getArgOperand(4)); | |
| } | |
| const Module *M = getModule(); | |
| LLVMContext &Context = M->getContext(); | |
| return ConstantInt::get(Type::getInt64Ty(Context), 1); | |
| } | |
| Optional<fp::RoundingMode> ConstrainedFPIntrinsic::getRoundingMode() const { | |
| unsigned NumOperands = getNumArgOperands(); | |
| Metadata *MD = | |
| cast<MetadataAsValue>(getArgOperand(NumOperands - 2))->getMetadata(); | |
| if (!MD || !isa<MDString>(MD)) | |
| return None; | |
| return StrToRoundingMode(cast<MDString>(MD)->getString()); | |
| } | |
| Optional<fp::ExceptionBehavior> | |
| ConstrainedFPIntrinsic::getExceptionBehavior() const { | |
| unsigned NumOperands = getNumArgOperands(); | |
| Metadata *MD = | |
| cast<MetadataAsValue>(getArgOperand(NumOperands - 1))->getMetadata(); | |
| if (!MD || !isa<MDString>(MD)) | |
| return None; | |
| return StrToExceptionBehavior(cast<MDString>(MD)->getString()); | |
| } | |
| FCmpInst::Predicate | |
| ConstrainedFPCmpIntrinsic::getPredicate() const { | |
| Metadata *MD = | |
| cast<MetadataAsValue>(getArgOperand(2))->getMetadata(); | |
| if (!MD || !isa<MDString>(MD)) | |
| return FCmpInst::BAD_FCMP_PREDICATE; | |
| return StringSwitch<FCmpInst::Predicate>(cast<MDString>(MD)->getString()) | |
| .Case("oeq", FCmpInst::FCMP_OEQ) | |
| .Case("ogt", FCmpInst::FCMP_OGT) | |
| .Case("oge", FCmpInst::FCMP_OGE) | |
| .Case("olt", FCmpInst::FCMP_OLT) | |
| .Case("ole", FCmpInst::FCMP_OLE) | |
| .Case("one", FCmpInst::FCMP_ONE) | |
| .Case("ord", FCmpInst::FCMP_ORD) | |
| .Case("uno", FCmpInst::FCMP_UNO) | |
| .Case("ueq", FCmpInst::FCMP_UEQ) | |
| .Case("ugt", FCmpInst::FCMP_UGT) | |
| .Case("uge", FCmpInst::FCMP_UGE) | |
| .Case("ult", FCmpInst::FCMP_ULT) | |
| .Case("ule", FCmpInst::FCMP_ULE) | |
| .Case("une", FCmpInst::FCMP_UNE) | |
| .Default(FCmpInst::BAD_FCMP_PREDICATE); | |
| } | |
| bool ConstrainedFPIntrinsic::isUnaryOp() const { | |
| switch (getIntrinsicID()) { | |
| default: | |
| return false; | |
| #define INSTRUCTION(NAME, NARG, ROUND_MODE, INTRINSIC, DAGN) \ | |
| case Intrinsic::INTRINSIC: \ | |
| return NARG == 1; | |
| #include "llvm/IR/ConstrainedOps.def" | |
| } | |
| } | |
| bool ConstrainedFPIntrinsic::isTernaryOp() const { | |
| switch (getIntrinsicID()) { | |
| default: | |
| return false; | |
| #define INSTRUCTION(NAME, NARG, ROUND_MODE, INTRINSIC, DAGN) \ | |
| case Intrinsic::INTRINSIC: \ | |
| return NARG == 3; | |
| #include "llvm/IR/ConstrainedOps.def" | |
| } | |
| } | |
| bool ConstrainedFPIntrinsic::classof(const IntrinsicInst *I) { | |
| switch (I->getIntrinsicID()) { | |
| #define INSTRUCTION(NAME, NARGS, ROUND_MODE, INTRINSIC, DAGN) \ | |
| case Intrinsic::INTRINSIC: | |
| #include "llvm/IR/ConstrainedOps.def" | |
| return true; | |
| default: | |
| return false; | |
| } | |
| } | |
| Instruction::BinaryOps BinaryOpIntrinsic::getBinaryOp() const { | |
| switch (getIntrinsicID()) { | |
| case Intrinsic::uadd_with_overflow: | |
| case Intrinsic::sadd_with_overflow: | |
| case Intrinsic::uadd_sat: | |
| case Intrinsic::sadd_sat: | |
| return Instruction::Add; | |
| case Intrinsic::usub_with_overflow: | |
| case Intrinsic::ssub_with_overflow: | |
| case Intrinsic::usub_sat: | |
| case Intrinsic::ssub_sat: | |
| return Instruction::Sub; | |
| case Intrinsic::umul_with_overflow: | |
| case Intrinsic::smul_with_overflow: | |
| return Instruction::Mul; | |
| default: | |
| llvm_unreachable("Invalid intrinsic"); | |
| } | |
| } | |
| bool BinaryOpIntrinsic::isSigned() const { | |
| switch (getIntrinsicID()) { | |
| case Intrinsic::sadd_with_overflow: | |
| case Intrinsic::ssub_with_overflow: | |
| case Intrinsic::smul_with_overflow: | |
| case Intrinsic::sadd_sat: | |
| case Intrinsic::ssub_sat: | |
| return true; | |
| default: | |
| return false; | |
| } | |
| } | |
| unsigned BinaryOpIntrinsic::getNoWrapKind() const { | |
| if (isSigned()) | |
| return OverflowingBinaryOperator::NoSignedWrap; | |
| else | |
| return OverflowingBinaryOperator::NoUnsignedWrap; | |
| } |