blob: 427cfef5fa3f5762cbfad0dec961014627a2b0dc [file] [log] [blame]
Nick Lewyckyea08c702014-02-26 03:10:45 +00001//===-- InstrinsicInst.cpp - Intrinsic Instruction Wrappers ---------------===//
Jim Laskey0cf8ed62006-03-23 18:05:12 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Jim Laskey0cf8ed62006-03-23 18:05:12 +00007//
8//===----------------------------------------------------------------------===//
Jim Laskey864e4442006-03-24 10:00:56 +00009//
10// This file implements methods that make it really easy to deal with intrinsic
Devang Patelbe94f232010-01-05 01:10:40 +000011// functions.
Jim Laskey864e4442006-03-24 10:00:56 +000012//
13// All intrinsic function calls are instances of the call instruction, so these
14// are all subclasses of the CallInst class. Note that none of these classes
15// has state or virtual methods, which is an important part of this gross/neat
16// hack working.
17//
18// In some cases, arguments to intrinsics need to be generic and are defined as
19// type pointer to empty struct { }*. To access the real item of interest the
20// cast instruction needs to be stripped away.
21//
22//===----------------------------------------------------------------------===//
Jim Laskey0cf8ed62006-03-23 18:05:12 +000023
Chandler Carruth9fb823b2013-01-02 11:36:10 +000024#include "llvm/IR/IntrinsicInst.h"
25#include "llvm/IR/Constants.h"
26#include "llvm/IR/GlobalVariable.h"
27#include "llvm/IR/Metadata.h"
Reid Klecknerc2752da2016-01-26 22:33:19 +000028#include "llvm/Support/raw_ostream.h"
Jim Laskey0cf8ed62006-03-23 18:05:12 +000029using namespace llvm;
30
31//===----------------------------------------------------------------------===//
32/// DbgInfoIntrinsic - This is the common base class for debug info intrinsics
33///
34
35static Value *CastOperand(Value *C) {
36 if (ConstantExpr *CE = dyn_cast<ConstantExpr>(C))
Reid Spencer6c38f0b2006-11-27 01:05:10 +000037 if (CE->isCast())
Jim Laskey0cf8ed62006-03-23 18:05:12 +000038 return CE->getOperand(0);
Craig Topperc6207612014-04-09 06:08:46 +000039 return nullptr;
Jim Laskey0cf8ed62006-03-23 18:05:12 +000040}
41
42Value *DbgInfoIntrinsic::StripCast(Value *C) {
43 if (Value *CO = CastOperand(C)) {
Jim Laskey70928882006-03-26 22:46:27 +000044 C = StripCast(CO);
Jim Laskey0cf8ed62006-03-23 18:05:12 +000045 } else if (GlobalVariable *GV = dyn_cast<GlobalVariable>(C)) {
46 if (GV->hasInitializer())
47 if (Value *CO = CastOperand(GV->getInitializer()))
Jim Laskey70928882006-03-26 22:46:27 +000048 C = StripCast(CO);
Jim Laskey0cf8ed62006-03-23 18:05:12 +000049 }
Jim Laskey70928882006-03-26 22:46:27 +000050 return dyn_cast<GlobalVariable>(C);
Jim Laskey0cf8ed62006-03-23 18:05:12 +000051}
52
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000053static Value *getValueImpl(Value *Op) {
54 auto *MD = cast<MetadataAsValue>(Op)->getMetadata();
55 if (auto *V = dyn_cast<ValueAsMetadata>(MD))
56 return V->getValue();
57
58 // When the value goes to null, it gets replaced by an empty MDNode.
59 assert(!cast<MDNode>(MD)->getNumOperands() && "Expected an empty MDNode");
60 return nullptr;
61}
62
Jim Laskey0cf8ed62006-03-23 18:05:12 +000063//===----------------------------------------------------------------------===//
Victor Hernandezb324e662010-01-15 19:04:09 +000064/// DbgDeclareInst - This represents the llvm.dbg.declare instruction.
65///
66
67Value *DbgDeclareInst::getAddress() const {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000068 if (!getArgOperand(0))
Craig Topperc6207612014-04-09 06:08:46 +000069 return nullptr;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000070
71 return getValueImpl(getArgOperand(0));
Victor Hernandezb324e662010-01-15 19:04:09 +000072}
73
74//===----------------------------------------------------------------------===//
Chris Lattnercc8c8142009-12-31 01:32:41 +000075/// DbgValueInst - This represents the llvm.dbg.value instruction.
76///
77
Victor Hernandez9ce5b512010-01-11 07:45:19 +000078const Value *DbgValueInst::getValue() const {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000079 return const_cast<DbgValueInst *>(this)->getValue();
Victor Hernandez9ce5b512010-01-11 07:45:19 +000080}
81
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000082Value *DbgValueInst::getValue() { return getValueImpl(getArgOperand(0)); }
Reid Klecknerc2752da2016-01-26 22:33:19 +000083
84int llvm::Intrinsic::lookupLLVMIntrinsicByName(ArrayRef<const char *> NameTable,
85 StringRef Name) {
86 assert(Name.startswith("llvm."));
87
88 // Do successive binary searches of the dotted name components. For
89 // "llvm.gc.experimental.statepoint.p1i8.p1i32", we will find the range of
90 // intrinsics starting with "llvm.gc", then "llvm.gc.experimental", then
91 // "llvm.gc.experimental.statepoint", and then we will stop as the range is
92 // size 1. During the search, we can skip the prefix that we already know is
93 // identical. By using strncmp we consider names with differing suffixes to
94 // be part of the equal range.
95 size_t CmpStart = 0;
96 size_t CmpEnd = 4; // Skip the "llvm" component.
97 const char *const *Low = NameTable.begin();
98 const char *const *High = NameTable.end();
99 const char *const *LastLow = Low;
100 while (CmpEnd < Name.size() && High - Low > 0) {
101 CmpStart = CmpEnd;
102 CmpEnd = Name.find('.', CmpStart + 1);
103 CmpEnd = CmpEnd == StringRef::npos ? Name.size() : CmpEnd;
104 auto Cmp = [CmpStart, CmpEnd](const char *LHS, const char *RHS) {
105 return strncmp(LHS + CmpStart, RHS + CmpStart, CmpEnd - CmpStart) < 0;
106 };
107 LastLow = Low;
108 std::tie(Low, High) = std::equal_range(Low, High, Name.data(), Cmp);
109 }
110 if (High - Low > 0)
111 LastLow = Low;
112
113 if (LastLow == NameTable.end())
114 return -1;
115 StringRef NameFound = *LastLow;
116 if (Name == NameFound ||
117 (Name.startswith(NameFound) && Name[NameFound.size()] == '.'))
118 return LastLow - NameTable.begin();
119 return -1;
120}