MCExpr.h revision b4d1721eff7b43577e5f2e53f885973fb6c43683
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, 140b4d1721eff7b43577e5f2e53f885973fb6c43683Rafael Espindola VK_TLSLD, 141a264f72d3fb9dec1427480fcf17ef3c746ea723aRafael Espindola VK_TLSLDM, 14218c1021ec108722506125926087b1e5fcfb28046Rafael Espindola VK_TPOFF, 1430cf15d61b7e3bf53f5a99f58ada37b93bc039559Rafael Espindola VK_DTPOFF, 14418c1021ec108722506125926087b1e5fcfb28046Rafael Espindola VK_ARM_HI16, // The R_ARM_MOVT_ABS relocation (:upper16: in the asm file) 14596ac5156cadde7e4494990d5b4f873e76787a370Eric Christopher VK_ARM_LO16, // The R_ARM_MOVW_ABS_NC relocation (:lower16: in the asm file) 146637d89fe0eca4fa2b9c95f6c15eb69a99bae83bcJim Grosbach VK_ARM_PLT, // ARM-style PLT symbol references. i.e., (PLT) instead of @PLT 14796ac5156cadde7e4494990d5b4f873e76787a370Eric Christopher VK_TLVP // Mach-O thread local variable relocation 1484e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar }; 1494e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1504e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbarprivate: 1514e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// The symbol being referenced. 1529643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCSymbol *Symbol; 153fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 1544e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// The symbol reference modifier. 1554e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar const VariantKind Kind; 1564e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1574e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar explicit MCSymbolRefExpr(const MCSymbol *_Symbol, VariantKind _Kind) 1584e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar : MCExpr(MCExpr::SymbolRef), Symbol(_Symbol), Kind(_Kind) {} 159fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 1609643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbarpublic: 1619643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Construction 1629643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 1639643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1644e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static const MCSymbolRefExpr *Create(const MCSymbol *Symbol, MCContext &Ctx) { 1654e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar return MCSymbolRefExpr::Create(Symbol, VK_None, Ctx); 1664e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar } 1674e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1684e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static const MCSymbolRefExpr *Create(const MCSymbol *Symbol, VariantKind Kind, 1694e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar MCContext &Ctx); 1704e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static const MCSymbolRefExpr *Create(StringRef Name, VariantKind Kind, 1714e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar MCContext &Ctx); 17298cdab53c302a2d6686fa428c0e896b1fb195311Chris Lattner 1739643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 1749643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Accessors 1759643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 1769643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1779643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCSymbol &getSymbol() const { return *Symbol; } 1789643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1794e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VariantKind getKind() const { return Kind; } 1804e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1814e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// @} 1824e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// @name Static Utility Functions 1834e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// @{ 1844e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1854e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static StringRef getVariantKindName(VariantKind Kind); 1864e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1874e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static VariantKind getVariantKindForName(StringRef Name); 1884e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1899643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 1909643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1919643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static bool classof(const MCExpr *E) { 1929643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return E->getKind() == MCExpr::SymbolRef; 193fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 19428c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar static bool classof(const MCSymbolRefExpr *) { return true; } 195fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar}; 196fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 19728c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar/// MCUnaryExpr - Unary assembler expressions. 19828c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbarclass MCUnaryExpr : public MCExpr { 199fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarpublic: 200fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar enum Opcode { 2011aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar LNot, ///< Logical negation. 2021aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Minus, ///< Unary minus. 2031aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Not, ///< Bitwise negation. 2041aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Plus ///< Unary plus. 205fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar }; 206fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 207fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarprivate: 208fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar Opcode Op; 2099643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *Expr; 210fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2119643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCUnaryExpr(Opcode _Op, const MCExpr *_Expr) 21228c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar : MCExpr(MCExpr::Unary), Op(_Op), Expr(_Expr) {} 2139643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2149643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbarpublic: 2159643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Construction 2169643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 2179643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2189643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *Create(Opcode Op, const MCExpr *Expr, 2199643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx); 2209643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *CreateLNot(const MCExpr *Expr, MCContext &Ctx) { 2219643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LNot, Expr, Ctx); 2229643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2239643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *CreateMinus(const MCExpr *Expr, MCContext &Ctx) { 2249643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Minus, Expr, Ctx); 2259643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2269643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *CreateNot(const MCExpr *Expr, MCContext &Ctx) { 2279643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Not, Expr, Ctx); 228fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 2299643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *CreatePlus(const MCExpr *Expr, MCContext &Ctx) { 2309643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Plus, Expr, Ctx); 2319643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2329643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2339643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 2349643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Accessors 2359643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 236fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2379643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// getOpcode - Get the kind of this unary expression. 238fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar Opcode getOpcode() const { return Op; } 239fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2409643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// getSubExpr - Get the child of this unary expression. 2419643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *getSubExpr() const { return Expr; } 242fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2439643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 2449643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2459643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static bool classof(const MCExpr *E) { 2469643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return E->getKind() == MCExpr::Unary; 247fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 24828c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar static bool classof(const MCUnaryExpr *) { return true; } 249fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar}; 250fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 25128c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar/// MCBinaryExpr - Binary assembler expressions. 25228c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbarclass MCBinaryExpr : public MCExpr { 253fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarpublic: 254fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar enum Opcode { 2551aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Add, ///< Addition. 2561aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar And, ///< Bitwise and. 257036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman Div, ///< Signed division. 2581aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar EQ, ///< Equality comparison. 259036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman GT, ///< Signed greater than comparison (result is either 0 or some 260036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman ///< target-specific non-zero value) 261036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman GTE, ///< Signed greater than or equal comparison (result is either 0 or 262036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman ///< some target-specific non-zero value). 2631aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar LAnd, ///< Logical and. 2641aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar LOr, ///< Logical or. 265036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman LT, ///< Signed less than comparison (result is either 0 or 266036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman ///< some target-specific non-zero value). 267036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman LTE, ///< Signed less than or equal comparison (result is either 0 or 268036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman ///< some target-specific non-zero value). 269036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman Mod, ///< Signed remainder. 2701aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Mul, ///< Multiplication. 2711aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar NE, ///< Inequality comparison. 2721aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Or, ///< Bitwise or. 273036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman Shl, ///< Shift left. 274036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman Shr, ///< Shift right (arithmetic or logical, depending on target) 2751aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Sub, ///< Subtraction. 2761aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Xor ///< Bitwise exclusive or. 277fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar }; 278fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 279fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarprivate: 280fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar Opcode Op; 2819643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *LHS, *RHS; 282fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2839643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCBinaryExpr(Opcode _Op, const MCExpr *_LHS, const MCExpr *_RHS) 28428c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar : MCExpr(MCExpr::Binary), Op(_Op), LHS(_LHS), RHS(_RHS) {} 2859643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2869643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbarpublic: 2879643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Construction 2889643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 2899643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2909643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *Create(Opcode Op, const MCExpr *LHS, 2919643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *RHS, MCContext &Ctx); 2929643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateAdd(const MCExpr *LHS, const MCExpr *RHS, 2939643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 2949643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Add, LHS, RHS, Ctx); 2959643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2969643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateAnd(const MCExpr *LHS, const MCExpr *RHS, 2979643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 2989643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(And, LHS, RHS, Ctx); 2999643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3009643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateDiv(const MCExpr *LHS, const MCExpr *RHS, 3019643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3029643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Div, LHS, RHS, Ctx); 3039643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3049643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateEQ(const MCExpr *LHS, const MCExpr *RHS, 3059643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3069643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(EQ, LHS, RHS, Ctx); 3079643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3089643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateGT(const MCExpr *LHS, const MCExpr *RHS, 3099643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3109643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(GT, LHS, RHS, Ctx); 3119643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3129643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateGTE(const MCExpr *LHS, const MCExpr *RHS, 3139643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3149643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(GTE, LHS, RHS, Ctx); 3159643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3169643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateLAnd(const MCExpr *LHS, const MCExpr *RHS, 3179643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3189643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LAnd, LHS, RHS, Ctx); 319fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 3209643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateLOr(const MCExpr *LHS, const MCExpr *RHS, 3219643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3229643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LOr, LHS, RHS, Ctx); 3239643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3249643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateLT(const MCExpr *LHS, const MCExpr *RHS, 3259643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3269643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LT, LHS, RHS, Ctx); 3279643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3289643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateLTE(const MCExpr *LHS, const MCExpr *RHS, 3299643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3309643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LTE, LHS, RHS, Ctx); 3319643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3329643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateMod(const MCExpr *LHS, const MCExpr *RHS, 3339643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3349643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Mod, LHS, RHS, Ctx); 3359643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3369643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateMul(const MCExpr *LHS, const MCExpr *RHS, 3379643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3389643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Mul, LHS, RHS, Ctx); 3399643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3409643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateNE(const MCExpr *LHS, const MCExpr *RHS, 3419643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3429643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(NE, LHS, RHS, Ctx); 3439643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3449643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateOr(const MCExpr *LHS, const MCExpr *RHS, 3459643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3469643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Or, LHS, RHS, Ctx); 3479643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3489643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateShl(const MCExpr *LHS, const MCExpr *RHS, 3499643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3509643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Shl, LHS, RHS, Ctx); 3519643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3529643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateShr(const MCExpr *LHS, const MCExpr *RHS, 3539643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3549643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Shr, LHS, RHS, Ctx); 3559643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3569643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateSub(const MCExpr *LHS, const MCExpr *RHS, 3579643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3589643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Sub, LHS, RHS, Ctx); 3599643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3609643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateXor(const MCExpr *LHS, const MCExpr *RHS, 3619643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3629643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Xor, LHS, RHS, Ctx); 3639643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3649643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 3659643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 3669643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Accessors 3679643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 368fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 3699643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// getOpcode - Get the kind of this binary expression. 370fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar Opcode getOpcode() const { return Op; } 371fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 3721aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar /// getLHS - Get the left-hand side expression of the binary operator. 3739643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *getLHS() const { return LHS; } 3741aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar 3751aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar /// getRHS - Get the right-hand side expression of the binary operator. 3769643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *getRHS() const { return RHS; } 3779643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 3789643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 379fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 3809643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static bool classof(const MCExpr *E) { 3819643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return E->getKind() == MCExpr::Binary; 382fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 38328c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar static bool classof(const MCBinaryExpr *) { return true; } 384fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar}; 385fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 3865d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// MCTargetExpr - This is an extension point for target-specific MCExpr 3875d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// subclasses to implement. 3885d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// 3895d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// NOTE: All subclasses are required to have trivial destructors because 3905d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// MCExprs are bump pointer allocated and not destructed. 3915d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattnerclass MCTargetExpr : public MCExpr { 392df9c4380ee7e60c1de5cae32685b113170b1faa2Chris Lattner virtual void Anchor(); 3935d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattnerprotected: 3945d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner MCTargetExpr() : MCExpr(Target) {} 395e3e7a369f20af66a96830d8bfe52668c9e2e1fa1Chris Lattner virtual ~MCTargetExpr() {} 3965d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattnerpublic: 397a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar 3985d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner virtual void PrintImpl(raw_ostream &OS) const = 0; 399f82f4490b130eca55b08d605456a4ceacccf288aDaniel Dunbar virtual bool EvaluateAsRelocatableImpl(MCValue &Res, 400a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar const MCAsmLayout *Layout) const = 0; 401a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar 4025d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner 4035d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner static bool classof(const MCExpr *E) { 4045d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner return E->getKind() == MCExpr::Target; 4055d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner } 4065d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner static bool classof(const MCTargetExpr *) { return true; } 4075d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner}; 4085d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner 409fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar} // end namespace llvm 410fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 411fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar#endif 412