MCExpr.h revision a0a2f8734cdfc19d44201b791a969bcdda96bb70
128c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar//===- MCExpr.h - Assembly Level Expressions --------------------*- C++ -*-===// 2fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar// 3fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar// The LLVM Compiler Infrastructure 4fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar// 5fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar// This file is distributed under the University of Illinois Open Source 6fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar// License. See LICENSE.TXT for details. 7fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar// 8fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar//===----------------------------------------------------------------------===// 9fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 1028c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar#ifndef LLVM_MC_MCEXPR_H 1128c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar#define LLVM_MC_MCEXPR_H 12fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 13fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar#include "llvm/Support/Casting.h" 148b67f774e9c38b7718b2b300b628388f966df4e0Chandler Carruth#include "llvm/System/DataTypes.h" 15fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 16fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarnamespace llvm { 17684c593d05db0bd277268fc9d8c05bce138c745aChris Lattnerclass MCAsmInfo; 18f82f4490b130eca55b08d605456a4ceacccf288aDaniel Dunbarclass MCAsmLayout; 19fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarclass MCContext; 20fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarclass MCSymbol; 2115d170709608e2f1efcada74c297c10c8c71fdcfDaniel Dunbarclass MCValue; 2287392fde1f261fea161b48886fafbedddb18dcceDaniel Dunbarclass raw_ostream; 234f3e7aa154577c86791908e73a9fec075fdea0baChris Lattnerclass StringRef; 24fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2528c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar/// MCExpr - Base class for the full range of assembler expressions which are 269643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar/// needed for parsing. 2728c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbarclass MCExpr { 28fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarpublic: 2928c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar enum ExprKind { 301aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Binary, ///< Binary expressions. 311aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Constant, ///< Constant expressions. 321aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar SymbolRef, ///< References to labels and assigned expressions. 335d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner Unary, ///< Unary expressions. 345d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner Target ///< Target specific expression. 35fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar }; 369643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 37fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarprivate: 3828c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar ExprKind Kind; 399643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 409643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCExpr(const MCExpr&); // DO NOT IMPLEMENT 419643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar void operator=(const MCExpr&); // DO NOT IMPLEMENT 429643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 43fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarprotected: 44159f527cb269002de85e671023b9231a2c8792e9Dan Gohman explicit MCExpr(ExprKind _Kind) : Kind(_Kind) {} 459643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 46f230df9af4012f9510de664b6d62b128e26a5861Rafael Espindola bool EvaluateAsRelocatableImpl(MCValue &Res, const MCAsmLayout *Layout, 47f230df9af4012f9510de664b6d62b128e26a5861Rafael Espindola bool InSet) const; 48fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarpublic: 499643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Accessors 509643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 51fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 5228c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar ExprKind getKind() const { return Kind; } 53fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 549643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 5587392fde1f261fea161b48886fafbedddb18dcceDaniel Dunbar /// @name Utility Methods 5687392fde1f261fea161b48886fafbedddb18dcceDaniel Dunbar /// @{ 5787392fde1f261fea161b48886fafbedddb18dcceDaniel Dunbar 588cb9a3b13f3226b7e741768b69d26ecd6b5231f1Chris Lattner void print(raw_ostream &OS) const; 5987392fde1f261fea161b48886fafbedddb18dcceDaniel Dunbar void dump() const; 6087392fde1f261fea161b48886fafbedddb18dcceDaniel Dunbar 6187392fde1f261fea161b48886fafbedddb18dcceDaniel Dunbar /// @} 629643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Expression Evaluation 639643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 649643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 65fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar /// EvaluateAsAbsolute - Try to evaluate the expression to an absolute value. 66fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar /// 6715d170709608e2f1efcada74c297c10c8c71fdcfDaniel Dunbar /// @param Res - The absolute value, if evaluation succeeds. 68f82f4490b130eca55b08d605456a4ceacccf288aDaniel Dunbar /// @param Layout - The assembler layout object to use for evaluating symbol 69f82f4490b130eca55b08d605456a4ceacccf288aDaniel Dunbar /// values. If not given, then only non-symbolic expressions will be 70f82f4490b130eca55b08d605456a4ceacccf288aDaniel Dunbar /// evaluated. 71fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar /// @result - True on success. 72a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar bool EvaluateAsAbsolute(int64_t &Res, const MCAsmLayout *Layout = 0) const; 73fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 7415d170709608e2f1efcada74c297c10c8c71fdcfDaniel Dunbar /// EvaluateAsRelocatable - Try to evaluate the expression to a relocatable 751aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar /// value, i.e. an expression of the fixed form (a - b + constant). 7615d170709608e2f1efcada74c297c10c8c71fdcfDaniel Dunbar /// 7715d170709608e2f1efcada74c297c10c8c71fdcfDaniel Dunbar /// @param Res - The relocatable value, if evaluation succeeds. 78f82f4490b130eca55b08d605456a4ceacccf288aDaniel Dunbar /// @param Layout - The assembler layout object to use for evaluating values. 7915d170709608e2f1efcada74c297c10c8c71fdcfDaniel Dunbar /// @result - True on success. 80a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar bool EvaluateAsRelocatable(MCValue &Res, const MCAsmLayout *Layout = 0) const; 8115d170709608e2f1efcada74c297c10c8c71fdcfDaniel Dunbar 829643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 839643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 8428c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar static bool classof(const MCExpr *) { return true; } 85fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar}; 86a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar 878cb9a3b13f3226b7e741768b69d26ecd6b5231f1Chris Lattnerinline raw_ostream &operator<<(raw_ostream &OS, const MCExpr &E) { 888cb9a3b13f3226b7e741768b69d26ecd6b5231f1Chris Lattner E.print(OS); 898cb9a3b13f3226b7e741768b69d26ecd6b5231f1Chris Lattner return OS; 908cb9a3b13f3226b7e741768b69d26ecd6b5231f1Chris Lattner} 91fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 9228c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar//// MCConstantExpr - Represent a constant integer expression. 9328c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbarclass MCConstantExpr : public MCExpr { 94fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar int64_t Value; 95fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 96159f527cb269002de85e671023b9231a2c8792e9Dan Gohman explicit MCConstantExpr(int64_t _Value) 9728c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar : MCExpr(MCExpr::Constant), Value(_Value) {} 989643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 999643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbarpublic: 1009643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Construction 1019643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 1029643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1039643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCConstantExpr *Create(int64_t Value, MCContext &Ctx); 1049643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1059643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 1069643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Accessors 1079643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 1089643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 109fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar int64_t getValue() const { return Value; } 110fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 1119643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 1129643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1139643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static bool classof(const MCExpr *E) { 1149643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return E->getKind() == MCExpr::Constant; 115fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 11628c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar static bool classof(const MCConstantExpr *) { return true; } 117fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar}; 118fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 11928c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar/// MCSymbolRefExpr - Represent a reference to a symbol from inside an 1201aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar/// expression. 1211aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar/// 1221aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar/// A symbol reference in an expression may be a use of a label, a use of an 1231aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar/// assembler variable (defined constant), or constitute an implicit definition 1241aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar/// of the symbol as external. 12528c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbarclass MCSymbolRefExpr : public MCExpr { 1264e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbarpublic: 1274e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar enum VariantKind { 1284e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_None, 1294e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_Invalid, 1304e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1314e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_GOT, 1324e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_GOTOFF, 1334e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_GOTPCREL, 1344e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_GOTTPOFF, 1354e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_INDNTPOFF, 1364e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_NTPOFF, 137a0a2f8734cdfc19d44201b791a969bcdda96bb70Rafael Espindola VK_GOTNTPOFF, 1384e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_PLT, 1394e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_TLSGD, 14018c1021ec108722506125926087b1e5fcfb28046Rafael Espindola VK_TPOFF, 14118c1021ec108722506125926087b1e5fcfb28046Rafael Espindola VK_ARM_HI16, // The R_ARM_MOVT_ABS relocation (:upper16: in the asm file) 14296ac5156cadde7e4494990d5b4f873e76787a370Eric Christopher VK_ARM_LO16, // The R_ARM_MOVW_ABS_NC relocation (:lower16: in the asm file) 143637d89fe0eca4fa2b9c95f6c15eb69a99bae83bcJim Grosbach VK_ARM_PLT, // ARM-style PLT symbol references. i.e., (PLT) instead of @PLT 14496ac5156cadde7e4494990d5b4f873e76787a370Eric Christopher VK_TLVP // Mach-O thread local variable relocation 1454e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar }; 1464e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1474e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbarprivate: 1484e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// The symbol being referenced. 1499643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCSymbol *Symbol; 150fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 1514e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// The symbol reference modifier. 1524e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar const VariantKind Kind; 1534e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1544e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar explicit MCSymbolRefExpr(const MCSymbol *_Symbol, VariantKind _Kind) 1554e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar : MCExpr(MCExpr::SymbolRef), Symbol(_Symbol), Kind(_Kind) {} 156fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 1579643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbarpublic: 1589643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Construction 1599643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 1609643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1614e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static const MCSymbolRefExpr *Create(const MCSymbol *Symbol, MCContext &Ctx) { 1624e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar return MCSymbolRefExpr::Create(Symbol, VK_None, Ctx); 1634e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar } 1644e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1654e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static const MCSymbolRefExpr *Create(const MCSymbol *Symbol, VariantKind Kind, 1664e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar MCContext &Ctx); 1674e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static const MCSymbolRefExpr *Create(StringRef Name, VariantKind Kind, 1684e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar MCContext &Ctx); 16998cdab53c302a2d6686fa428c0e896b1fb195311Chris Lattner 1709643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 1719643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Accessors 1729643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 1739643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1749643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCSymbol &getSymbol() const { return *Symbol; } 1759643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1764e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VariantKind getKind() const { return Kind; } 1774e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1784e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// @} 1794e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// @name Static Utility Functions 1804e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// @{ 1814e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1824e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static StringRef getVariantKindName(VariantKind Kind); 1834e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1844e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static VariantKind getVariantKindForName(StringRef Name); 1854e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1869643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 1879643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1889643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static bool classof(const MCExpr *E) { 1899643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return E->getKind() == MCExpr::SymbolRef; 190fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 19128c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar static bool classof(const MCSymbolRefExpr *) { return true; } 192fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar}; 193fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 19428c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar/// MCUnaryExpr - Unary assembler expressions. 19528c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbarclass MCUnaryExpr : public MCExpr { 196fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarpublic: 197fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar enum Opcode { 1981aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar LNot, ///< Logical negation. 1991aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Minus, ///< Unary minus. 2001aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Not, ///< Bitwise negation. 2011aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Plus ///< Unary plus. 202fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar }; 203fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 204fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarprivate: 205fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar Opcode Op; 2069643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *Expr; 207fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2089643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCUnaryExpr(Opcode _Op, const MCExpr *_Expr) 20928c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar : MCExpr(MCExpr::Unary), Op(_Op), Expr(_Expr) {} 2109643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2119643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbarpublic: 2129643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Construction 2139643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 2149643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2159643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *Create(Opcode Op, const MCExpr *Expr, 2169643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx); 2179643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *CreateLNot(const MCExpr *Expr, MCContext &Ctx) { 2189643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LNot, Expr, Ctx); 2199643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2209643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *CreateMinus(const MCExpr *Expr, MCContext &Ctx) { 2219643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Minus, Expr, Ctx); 2229643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2239643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *CreateNot(const MCExpr *Expr, MCContext &Ctx) { 2249643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Not, Expr, Ctx); 225fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 2269643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *CreatePlus(const MCExpr *Expr, MCContext &Ctx) { 2279643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Plus, Expr, Ctx); 2289643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2299643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2309643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 2319643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Accessors 2329643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 233fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2349643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// getOpcode - Get the kind of this unary expression. 235fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar Opcode getOpcode() const { return Op; } 236fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2379643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// getSubExpr - Get the child of this unary expression. 2389643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *getSubExpr() const { return Expr; } 239fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2409643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 2419643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2429643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static bool classof(const MCExpr *E) { 2439643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return E->getKind() == MCExpr::Unary; 244fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 24528c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar static bool classof(const MCUnaryExpr *) { return true; } 246fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar}; 247fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 24828c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar/// MCBinaryExpr - Binary assembler expressions. 24928c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbarclass MCBinaryExpr : public MCExpr { 250fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarpublic: 251fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar enum Opcode { 2521aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Add, ///< Addition. 2531aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar And, ///< Bitwise and. 254036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman Div, ///< Signed division. 2551aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar EQ, ///< Equality comparison. 256036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman GT, ///< Signed greater than comparison (result is either 0 or some 257036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman ///< target-specific non-zero value) 258036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman GTE, ///< Signed greater than or equal comparison (result is either 0 or 259036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman ///< some target-specific non-zero value). 2601aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar LAnd, ///< Logical and. 2611aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar LOr, ///< Logical or. 262036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman LT, ///< Signed less than comparison (result is either 0 or 263036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman ///< some target-specific non-zero value). 264036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman LTE, ///< Signed less than or equal comparison (result is either 0 or 265036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman ///< some target-specific non-zero value). 266036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman Mod, ///< Signed remainder. 2671aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Mul, ///< Multiplication. 2681aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar NE, ///< Inequality comparison. 2691aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Or, ///< Bitwise or. 270036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman Shl, ///< Shift left. 271036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman Shr, ///< Shift right (arithmetic or logical, depending on target) 2721aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Sub, ///< Subtraction. 2731aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Xor ///< Bitwise exclusive or. 274fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar }; 275fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 276fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarprivate: 277fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar Opcode Op; 2789643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *LHS, *RHS; 279fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2809643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCBinaryExpr(Opcode _Op, const MCExpr *_LHS, const MCExpr *_RHS) 28128c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar : MCExpr(MCExpr::Binary), Op(_Op), LHS(_LHS), RHS(_RHS) {} 2829643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2839643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbarpublic: 2849643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Construction 2859643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 2869643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2879643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *Create(Opcode Op, const MCExpr *LHS, 2889643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *RHS, MCContext &Ctx); 2899643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateAdd(const MCExpr *LHS, const MCExpr *RHS, 2909643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 2919643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Add, LHS, RHS, Ctx); 2929643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2939643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateAnd(const MCExpr *LHS, const MCExpr *RHS, 2949643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 2959643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(And, LHS, RHS, Ctx); 2969643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2979643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateDiv(const MCExpr *LHS, const MCExpr *RHS, 2989643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 2999643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Div, LHS, RHS, Ctx); 3009643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3019643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateEQ(const MCExpr *LHS, const MCExpr *RHS, 3029643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3039643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(EQ, LHS, RHS, Ctx); 3049643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3059643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateGT(const MCExpr *LHS, const MCExpr *RHS, 3069643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3079643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(GT, LHS, RHS, Ctx); 3089643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3099643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateGTE(const MCExpr *LHS, const MCExpr *RHS, 3109643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3119643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(GTE, LHS, RHS, Ctx); 3129643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3139643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateLAnd(const MCExpr *LHS, const MCExpr *RHS, 3149643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3159643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LAnd, LHS, RHS, Ctx); 316fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 3179643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateLOr(const MCExpr *LHS, const MCExpr *RHS, 3189643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3199643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LOr, LHS, RHS, Ctx); 3209643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3219643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateLT(const MCExpr *LHS, const MCExpr *RHS, 3229643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3239643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LT, LHS, RHS, Ctx); 3249643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3259643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateLTE(const MCExpr *LHS, const MCExpr *RHS, 3269643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3279643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LTE, LHS, RHS, Ctx); 3289643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3299643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateMod(const MCExpr *LHS, const MCExpr *RHS, 3309643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3319643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Mod, LHS, RHS, Ctx); 3329643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3339643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateMul(const MCExpr *LHS, const MCExpr *RHS, 3349643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3359643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Mul, LHS, RHS, Ctx); 3369643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3379643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateNE(const MCExpr *LHS, const MCExpr *RHS, 3389643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3399643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(NE, LHS, RHS, Ctx); 3409643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3419643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateOr(const MCExpr *LHS, const MCExpr *RHS, 3429643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3439643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Or, LHS, RHS, Ctx); 3449643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3459643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateShl(const MCExpr *LHS, const MCExpr *RHS, 3469643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3479643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Shl, LHS, RHS, Ctx); 3489643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3499643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateShr(const MCExpr *LHS, const MCExpr *RHS, 3509643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3519643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Shr, LHS, RHS, Ctx); 3529643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3539643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateSub(const MCExpr *LHS, const MCExpr *RHS, 3549643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3559643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Sub, LHS, RHS, Ctx); 3569643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3579643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateXor(const MCExpr *LHS, const MCExpr *RHS, 3589643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3599643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Xor, LHS, RHS, Ctx); 3609643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3619643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 3629643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 3639643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Accessors 3649643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 365fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 3669643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// getOpcode - Get the kind of this binary expression. 367fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar Opcode getOpcode() const { return Op; } 368fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 3691aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar /// getLHS - Get the left-hand side expression of the binary operator. 3709643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *getLHS() const { return LHS; } 3711aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar 3721aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar /// getRHS - Get the right-hand side expression of the binary operator. 3739643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *getRHS() const { return RHS; } 3749643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 3759643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 376fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 3779643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static bool classof(const MCExpr *E) { 3789643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return E->getKind() == MCExpr::Binary; 379fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 38028c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar static bool classof(const MCBinaryExpr *) { return true; } 381fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar}; 382fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 3835d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// MCTargetExpr - This is an extension point for target-specific MCExpr 3845d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// subclasses to implement. 3855d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// 3865d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// NOTE: All subclasses are required to have trivial destructors because 3875d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// MCExprs are bump pointer allocated and not destructed. 3885d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattnerclass MCTargetExpr : public MCExpr { 389df9c4380ee7e60c1de5cae32685b113170b1faa2Chris Lattner virtual void Anchor(); 3905d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattnerprotected: 3915d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner MCTargetExpr() : MCExpr(Target) {} 392e3e7a369f20af66a96830d8bfe52668c9e2e1fa1Chris Lattner virtual ~MCTargetExpr() {} 3935d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattnerpublic: 394a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar 3955d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner virtual void PrintImpl(raw_ostream &OS) const = 0; 396f82f4490b130eca55b08d605456a4ceacccf288aDaniel Dunbar virtual bool EvaluateAsRelocatableImpl(MCValue &Res, 397a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar const MCAsmLayout *Layout) const = 0; 398a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar 3995d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner 4005d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner static bool classof(const MCExpr *E) { 4015d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner return E->getKind() == MCExpr::Target; 4025d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner } 4035d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner static bool classof(const MCTargetExpr *) { return true; } 4045d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner}; 4055d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner 406fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar} // end namespace llvm 407fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 408fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar#endif 409