Nick Lewycky | ea08c70 | 2014-02-26 03:10:45 +0000 | [diff] [blame] | 1 | //===-- InstrinsicInst.cpp - Intrinsic Instruction Wrappers ---------------===// |
Jim Laskey | 0cf8ed6 | 2006-03-23 18:05:12 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Jim Laskey | 0cf8ed6 | 2006-03-23 18:05:12 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
Jim Laskey | 864e444 | 2006-03-24 10:00:56 +0000 | [diff] [blame] | 9 | // |
| 10 | // This file implements methods that make it really easy to deal with intrinsic |
Devang Patel | be94f23 | 2010-01-05 01:10:40 +0000 | [diff] [blame] | 11 | // functions. |
Jim Laskey | 864e444 | 2006-03-24 10:00:56 +0000 | [diff] [blame] | 12 | // |
| 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 Laskey | 0cf8ed6 | 2006-03-23 18:05:12 +0000 | [diff] [blame] | 23 | |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 24 | #include "llvm/IR/IntrinsicInst.h" |
| 25 | #include "llvm/IR/Constants.h" |
| 26 | #include "llvm/IR/GlobalVariable.h" |
| 27 | #include "llvm/IR/Metadata.h" |
Jim Laskey | 0cf8ed6 | 2006-03-23 18:05:12 +0000 | [diff] [blame] | 28 | using namespace llvm; |
| 29 | |
| 30 | //===----------------------------------------------------------------------===// |
| 31 | /// DbgInfoIntrinsic - This is the common base class for debug info intrinsics |
| 32 | /// |
| 33 | |
| 34 | static Value *CastOperand(Value *C) { |
| 35 | if (ConstantExpr *CE = dyn_cast<ConstantExpr>(C)) |
Reid Spencer | 6c38f0b | 2006-11-27 01:05:10 +0000 | [diff] [blame] | 36 | if (CE->isCast()) |
Jim Laskey | 0cf8ed6 | 2006-03-23 18:05:12 +0000 | [diff] [blame] | 37 | return CE->getOperand(0); |
Craig Topper | c620761 | 2014-04-09 06:08:46 +0000 | [diff] [blame] | 38 | return nullptr; |
Jim Laskey | 0cf8ed6 | 2006-03-23 18:05:12 +0000 | [diff] [blame] | 39 | } |
| 40 | |
| 41 | Value *DbgInfoIntrinsic::StripCast(Value *C) { |
| 42 | if (Value *CO = CastOperand(C)) { |
Jim Laskey | 7092888 | 2006-03-26 22:46:27 +0000 | [diff] [blame] | 43 | C = StripCast(CO); |
Jim Laskey | 0cf8ed6 | 2006-03-23 18:05:12 +0000 | [diff] [blame] | 44 | } else if (GlobalVariable *GV = dyn_cast<GlobalVariable>(C)) { |
| 45 | if (GV->hasInitializer()) |
| 46 | if (Value *CO = CastOperand(GV->getInitializer())) |
Jim Laskey | 7092888 | 2006-03-26 22:46:27 +0000 | [diff] [blame] | 47 | C = StripCast(CO); |
Jim Laskey | 0cf8ed6 | 2006-03-23 18:05:12 +0000 | [diff] [blame] | 48 | } |
Jim Laskey | 7092888 | 2006-03-26 22:46:27 +0000 | [diff] [blame] | 49 | return dyn_cast<GlobalVariable>(C); |
Jim Laskey | 0cf8ed6 | 2006-03-23 18:05:12 +0000 | [diff] [blame] | 50 | } |
| 51 | |
Duncan P. N. Exon Smith | 5bf8fef | 2014-12-09 18:38:53 +0000 | [diff] [blame] | 52 | static Value *getValueImpl(Value *Op) { |
| 53 | auto *MD = cast<MetadataAsValue>(Op)->getMetadata(); |
| 54 | if (auto *V = dyn_cast<ValueAsMetadata>(MD)) |
| 55 | return V->getValue(); |
| 56 | |
| 57 | // When the value goes to null, it gets replaced by an empty MDNode. |
| 58 | assert(!cast<MDNode>(MD)->getNumOperands() && "Expected an empty MDNode"); |
| 59 | return nullptr; |
| 60 | } |
| 61 | |
Jim Laskey | 0cf8ed6 | 2006-03-23 18:05:12 +0000 | [diff] [blame] | 62 | //===----------------------------------------------------------------------===// |
Victor Hernandez | b324e66 | 2010-01-15 19:04:09 +0000 | [diff] [blame] | 63 | /// DbgDeclareInst - This represents the llvm.dbg.declare instruction. |
| 64 | /// |
| 65 | |
| 66 | Value *DbgDeclareInst::getAddress() const { |
Duncan P. N. Exon Smith | 5bf8fef | 2014-12-09 18:38:53 +0000 | [diff] [blame] | 67 | if (!getArgOperand(0)) |
Craig Topper | c620761 | 2014-04-09 06:08:46 +0000 | [diff] [blame] | 68 | return nullptr; |
Duncan P. N. Exon Smith | 5bf8fef | 2014-12-09 18:38:53 +0000 | [diff] [blame] | 69 | |
| 70 | return getValueImpl(getArgOperand(0)); |
Victor Hernandez | b324e66 | 2010-01-15 19:04:09 +0000 | [diff] [blame] | 71 | } |
| 72 | |
| 73 | //===----------------------------------------------------------------------===// |
Chris Lattner | cc8c814 | 2009-12-31 01:32:41 +0000 | [diff] [blame] | 74 | /// DbgValueInst - This represents the llvm.dbg.value instruction. |
| 75 | /// |
| 76 | |
Victor Hernandez | 9ce5b51 | 2010-01-11 07:45:19 +0000 | [diff] [blame] | 77 | const Value *DbgValueInst::getValue() const { |
Duncan P. N. Exon Smith | 5bf8fef | 2014-12-09 18:38:53 +0000 | [diff] [blame] | 78 | return const_cast<DbgValueInst *>(this)->getValue(); |
Victor Hernandez | 9ce5b51 | 2010-01-11 07:45:19 +0000 | [diff] [blame] | 79 | } |
| 80 | |
Duncan P. N. Exon Smith | 5bf8fef | 2014-12-09 18:38:53 +0000 | [diff] [blame] | 81 | Value *DbgValueInst::getValue() { return getValueImpl(getArgOperand(0)); } |