MCExpr.h revision 4e815f8a8cae6c846cdca52420046cab902865de
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 46fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarpublic: 479643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Accessors 489643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 49fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 5028c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar ExprKind getKind() const { return Kind; } 51fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 529643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 5387392fde1f261fea161b48886fafbedddb18dcceDaniel Dunbar /// @name Utility Methods 5487392fde1f261fea161b48886fafbedddb18dcceDaniel Dunbar /// @{ 5587392fde1f261fea161b48886fafbedddb18dcceDaniel Dunbar 568cb9a3b13f3226b7e741768b69d26ecd6b5231f1Chris Lattner void print(raw_ostream &OS) const; 5787392fde1f261fea161b48886fafbedddb18dcceDaniel Dunbar void dump() const; 5887392fde1f261fea161b48886fafbedddb18dcceDaniel Dunbar 5987392fde1f261fea161b48886fafbedddb18dcceDaniel Dunbar /// @} 609643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Expression Evaluation 619643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 629643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 63fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar /// EvaluateAsAbsolute - Try to evaluate the expression to an absolute value. 64fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar /// 6515d170709608e2f1efcada74c297c10c8c71fdcfDaniel Dunbar /// @param Res - The absolute value, if evaluation succeeds. 66f82f4490b130eca55b08d605456a4ceacccf288aDaniel Dunbar /// @param Layout - The assembler layout object to use for evaluating symbol 67f82f4490b130eca55b08d605456a4ceacccf288aDaniel Dunbar /// values. If not given, then only non-symbolic expressions will be 68f82f4490b130eca55b08d605456a4ceacccf288aDaniel Dunbar /// evaluated. 69fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar /// @result - True on success. 70a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar bool EvaluateAsAbsolute(int64_t &Res, const MCAsmLayout *Layout = 0) const; 71fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 7215d170709608e2f1efcada74c297c10c8c71fdcfDaniel Dunbar /// EvaluateAsRelocatable - Try to evaluate the expression to a relocatable 731aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar /// value, i.e. an expression of the fixed form (a - b + constant). 7415d170709608e2f1efcada74c297c10c8c71fdcfDaniel Dunbar /// 7515d170709608e2f1efcada74c297c10c8c71fdcfDaniel Dunbar /// @param Res - The relocatable value, if evaluation succeeds. 76f82f4490b130eca55b08d605456a4ceacccf288aDaniel Dunbar /// @param Layout - The assembler layout object to use for evaluating values. 7715d170709608e2f1efcada74c297c10c8c71fdcfDaniel Dunbar /// @result - True on success. 78a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar bool EvaluateAsRelocatable(MCValue &Res, const MCAsmLayout *Layout = 0) const; 7915d170709608e2f1efcada74c297c10c8c71fdcfDaniel Dunbar 809643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 819643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 8228c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar static bool classof(const MCExpr *) { return true; } 83fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar}; 84a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar 858cb9a3b13f3226b7e741768b69d26ecd6b5231f1Chris Lattnerinline raw_ostream &operator<<(raw_ostream &OS, const MCExpr &E) { 868cb9a3b13f3226b7e741768b69d26ecd6b5231f1Chris Lattner E.print(OS); 878cb9a3b13f3226b7e741768b69d26ecd6b5231f1Chris Lattner return OS; 888cb9a3b13f3226b7e741768b69d26ecd6b5231f1Chris Lattner} 89fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 9028c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar//// MCConstantExpr - Represent a constant integer expression. 9128c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbarclass MCConstantExpr : public MCExpr { 92fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar int64_t Value; 93fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 94159f527cb269002de85e671023b9231a2c8792e9Dan Gohman explicit MCConstantExpr(int64_t _Value) 9528c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar : MCExpr(MCExpr::Constant), Value(_Value) {} 969643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 979643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbarpublic: 989643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Construction 999643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 1009643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1019643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCConstantExpr *Create(int64_t Value, MCContext &Ctx); 1029643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1039643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 1049643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Accessors 1059643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 1069643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 107fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar int64_t getValue() const { return Value; } 108fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 1099643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 1109643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1119643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static bool classof(const MCExpr *E) { 1129643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return E->getKind() == MCExpr::Constant; 113fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 11428c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar static bool classof(const MCConstantExpr *) { return true; } 115fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar}; 116fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 11728c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar/// MCSymbolRefExpr - Represent a reference to a symbol from inside an 1181aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar/// expression. 1191aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar/// 1201aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar/// A symbol reference in an expression may be a use of a label, a use of an 1211aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar/// assembler variable (defined constant), or constitute an implicit definition 1221aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar/// of the symbol as external. 12328c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbarclass MCSymbolRefExpr : public MCExpr { 1244e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbarpublic: 1254e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar enum VariantKind { 1264e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_None, 1274e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_Invalid, 1284e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1294e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_GOT, 1304e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_GOTOFF, 1314e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_GOTPCREL, 1324e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_GOTTPOFF, 1334e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_INDNTPOFF, 1344e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_NTPOFF, 1354e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_PLT, 1364e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_TLSGD, 1374e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VK_TPOFF 1384e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar }; 1394e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1404e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbarprivate: 1414e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// The symbol being referenced. 1429643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCSymbol *Symbol; 143fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 1444e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// The symbol reference modifier. 1454e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar const VariantKind Kind; 1464e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1474e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar explicit MCSymbolRefExpr(const MCSymbol *_Symbol, VariantKind _Kind) 1484e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar : MCExpr(MCExpr::SymbolRef), Symbol(_Symbol), Kind(_Kind) {} 149fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 1509643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbarpublic: 1519643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Construction 1529643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 1539643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1544e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static const MCSymbolRefExpr *Create(const MCSymbol *Symbol, MCContext &Ctx) { 1554e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar return MCSymbolRefExpr::Create(Symbol, VK_None, Ctx); 1564e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar } 1574e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1584e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static const MCSymbolRefExpr *Create(const MCSymbol *Symbol, VariantKind Kind, 1594e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar MCContext &Ctx); 1604e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static const MCSymbolRefExpr *Create(StringRef Name, VariantKind Kind, 1614e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar MCContext &Ctx); 16298cdab53c302a2d6686fa428c0e896b1fb195311Chris Lattner 16398cdab53c302a2d6686fa428c0e896b1fb195311Chris Lattner /// CreateTemp - Create a reference to an assembler temporary label with the 16498cdab53c302a2d6686fa428c0e896b1fb195311Chris Lattner /// specified name. 1654e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static const MCSymbolRefExpr *CreateTemp(StringRef Name, VariantKind Kind, 1664e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar MCContext &Ctx); 1677eb85194f2b07bc7ba3f274fc00dc389b77b63bfDaniel Dunbar 1689643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 1699643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Accessors 1709643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 1719643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1729643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCSymbol &getSymbol() const { return *Symbol; } 1739643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1744e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar VariantKind getKind() const { return Kind; } 1754e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1764e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// @} 1774e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// @name Static Utility Functions 1784e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar /// @{ 1794e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1804e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static StringRef getVariantKindName(VariantKind Kind); 1814e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1824e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar static VariantKind getVariantKindForName(StringRef Name); 1834e815f8a8cae6c846cdca52420046cab902865deDaniel Dunbar 1849643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 1859643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 1869643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static bool classof(const MCExpr *E) { 1879643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return E->getKind() == MCExpr::SymbolRef; 188fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 18928c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar static bool classof(const MCSymbolRefExpr *) { return true; } 190fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar}; 191fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 19228c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar/// MCUnaryExpr - Unary assembler expressions. 19328c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbarclass MCUnaryExpr : public MCExpr { 194fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarpublic: 195fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar enum Opcode { 1961aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar LNot, ///< Logical negation. 1971aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Minus, ///< Unary minus. 1981aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Not, ///< Bitwise negation. 1991aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Plus ///< Unary plus. 200fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar }; 201fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 202fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarprivate: 203fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar Opcode Op; 2049643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *Expr; 205fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2069643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCUnaryExpr(Opcode _Op, const MCExpr *_Expr) 20728c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar : MCExpr(MCExpr::Unary), Op(_Op), Expr(_Expr) {} 2089643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2099643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbarpublic: 2109643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Construction 2119643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 2129643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2139643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *Create(Opcode Op, const MCExpr *Expr, 2149643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx); 2159643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *CreateLNot(const MCExpr *Expr, MCContext &Ctx) { 2169643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LNot, Expr, Ctx); 2179643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2189643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *CreateMinus(const MCExpr *Expr, MCContext &Ctx) { 2199643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Minus, Expr, Ctx); 2209643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2219643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *CreateNot(const MCExpr *Expr, MCContext &Ctx) { 2229643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Not, Expr, Ctx); 223fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 2249643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCUnaryExpr *CreatePlus(const MCExpr *Expr, MCContext &Ctx) { 2259643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Plus, Expr, Ctx); 2269643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2279643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2289643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 2299643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Accessors 2309643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 231fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2329643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// getOpcode - Get the kind of this unary expression. 233fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar Opcode getOpcode() const { return Op; } 234fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2359643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// getSubExpr - Get the child of this unary expression. 2369643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *getSubExpr() const { return Expr; } 237fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2389643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 2399643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2409643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static bool classof(const MCExpr *E) { 2419643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return E->getKind() == MCExpr::Unary; 242fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 24328c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar static bool classof(const MCUnaryExpr *) { return true; } 244fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar}; 245fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 24628c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar/// MCBinaryExpr - Binary assembler expressions. 24728c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbarclass MCBinaryExpr : public MCExpr { 248fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarpublic: 249fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar enum Opcode { 2501aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Add, ///< Addition. 2511aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar And, ///< Bitwise and. 252036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman Div, ///< Signed division. 2531aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar EQ, ///< Equality comparison. 254036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman GT, ///< Signed greater than comparison (result is either 0 or some 255036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman ///< target-specific non-zero value) 256036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman GTE, ///< Signed greater than or equal comparison (result is either 0 or 257036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman ///< some target-specific non-zero value). 2581aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar LAnd, ///< Logical and. 2591aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar LOr, ///< Logical or. 260036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman LT, ///< Signed less than comparison (result is either 0 or 261036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman ///< some target-specific non-zero value). 262036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman LTE, ///< Signed less than or equal comparison (result is either 0 or 263036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman ///< some target-specific non-zero value). 264036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman Mod, ///< Signed remainder. 2651aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Mul, ///< Multiplication. 2661aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar NE, ///< Inequality comparison. 2671aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Or, ///< Bitwise or. 268036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman Shl, ///< Shift left. 269036c130e90eb5c93b0dc0a70ad07b9343623c2a8Dan Gohman Shr, ///< Shift right (arithmetic or logical, depending on target) 2701aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Sub, ///< Subtraction. 2711aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar Xor ///< Bitwise exclusive or. 272fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar }; 273fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 274fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbarprivate: 275fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar Opcode Op; 2769643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *LHS, *RHS; 277fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 2789643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCBinaryExpr(Opcode _Op, const MCExpr *_LHS, const MCExpr *_RHS) 27928c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar : MCExpr(MCExpr::Binary), Op(_Op), LHS(_LHS), RHS(_RHS) {} 2809643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2819643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbarpublic: 2829643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Construction 2839643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 2849643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 2859643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *Create(Opcode Op, const MCExpr *LHS, 2869643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *RHS, MCContext &Ctx); 2879643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateAdd(const MCExpr *LHS, const MCExpr *RHS, 2889643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 2899643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Add, LHS, RHS, Ctx); 2909643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2919643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateAnd(const MCExpr *LHS, const MCExpr *RHS, 2929643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 2939643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(And, LHS, RHS, Ctx); 2949643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2959643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateDiv(const MCExpr *LHS, const MCExpr *RHS, 2969643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 2979643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Div, LHS, RHS, Ctx); 2989643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 2999643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateEQ(const MCExpr *LHS, const MCExpr *RHS, 3009643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3019643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(EQ, LHS, RHS, Ctx); 3029643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3039643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateGT(const MCExpr *LHS, const MCExpr *RHS, 3049643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3059643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(GT, LHS, RHS, Ctx); 3069643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3079643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateGTE(const MCExpr *LHS, const MCExpr *RHS, 3089643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3099643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(GTE, LHS, RHS, Ctx); 3109643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3119643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateLAnd(const MCExpr *LHS, const MCExpr *RHS, 3129643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3139643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LAnd, LHS, RHS, Ctx); 314fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 3159643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateLOr(const MCExpr *LHS, const MCExpr *RHS, 3169643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3179643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LOr, LHS, RHS, Ctx); 3189643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3199643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateLT(const MCExpr *LHS, const MCExpr *RHS, 3209643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3219643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LT, LHS, RHS, Ctx); 3229643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3239643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateLTE(const MCExpr *LHS, const MCExpr *RHS, 3249643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3259643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(LTE, LHS, RHS, Ctx); 3269643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3279643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateMod(const MCExpr *LHS, const MCExpr *RHS, 3289643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3299643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Mod, LHS, RHS, Ctx); 3309643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3319643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateMul(const MCExpr *LHS, const MCExpr *RHS, 3329643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3339643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Mul, LHS, RHS, Ctx); 3349643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3359643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateNE(const MCExpr *LHS, const MCExpr *RHS, 3369643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3379643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(NE, LHS, RHS, Ctx); 3389643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3399643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateOr(const MCExpr *LHS, const MCExpr *RHS, 3409643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3419643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Or, LHS, RHS, Ctx); 3429643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3439643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateShl(const MCExpr *LHS, const MCExpr *RHS, 3449643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3459643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Shl, LHS, RHS, Ctx); 3469643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3479643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateShr(const MCExpr *LHS, const MCExpr *RHS, 3489643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3499643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Shr, LHS, RHS, Ctx); 3509643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3519643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateSub(const MCExpr *LHS, const MCExpr *RHS, 3529643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3539643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Sub, LHS, RHS, Ctx); 3549643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3559643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static const MCBinaryExpr *CreateXor(const MCExpr *LHS, const MCExpr *RHS, 3569643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar MCContext &Ctx) { 3579643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return Create(Xor, LHS, RHS, Ctx); 3589643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar } 3599643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 3609643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 3619643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @name Accessors 3629643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @{ 363fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 3649643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// getOpcode - Get the kind of this binary expression. 365fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar Opcode getOpcode() const { return Op; } 366fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 3671aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar /// getLHS - Get the left-hand side expression of the binary operator. 3689643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *getLHS() const { return LHS; } 3691aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar 3701aa14aac4198bca0f44e4adad42bf6238cbf9757Daniel Dunbar /// getRHS - Get the right-hand side expression of the binary operator. 3719643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar const MCExpr *getRHS() const { return RHS; } 3729643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar 3739643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar /// @} 374fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 3759643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar static bool classof(const MCExpr *E) { 3769643ac55142d40da404caa8e5fedfef2cd7b4afcDaniel Dunbar return E->getKind() == MCExpr::Binary; 377fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar } 37828c251b54b0b311749f07babe0f6909e71e877bcDaniel Dunbar static bool classof(const MCBinaryExpr *) { return true; } 379fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar}; 380fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 3815d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// MCTargetExpr - This is an extension point for target-specific MCExpr 3825d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// subclasses to implement. 3835d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// 3845d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// NOTE: All subclasses are required to have trivial destructors because 3855d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner/// MCExprs are bump pointer allocated and not destructed. 3865d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattnerclass MCTargetExpr : public MCExpr { 387df9c4380ee7e60c1de5cae32685b113170b1faa2Chris Lattner virtual void Anchor(); 3885d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattnerprotected: 3895d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner MCTargetExpr() : MCExpr(Target) {} 390e3e7a369f20af66a96830d8bfe52668c9e2e1fa1Chris Lattner virtual ~MCTargetExpr() {} 3915d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattnerpublic: 392a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar 3935d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner virtual void PrintImpl(raw_ostream &OS) const = 0; 394f82f4490b130eca55b08d605456a4ceacccf288aDaniel Dunbar virtual bool EvaluateAsRelocatableImpl(MCValue &Res, 395a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar const MCAsmLayout *Layout) const = 0; 396a0e36d55c495b3325805c659ac365b5faea84e34Daniel Dunbar 3975d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner 3985d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner static bool classof(const MCExpr *E) { 3995d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner return E->getKind() == MCExpr::Target; 4005d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner } 4015d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner static bool classof(const MCTargetExpr *) { return true; } 4025d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner}; 4035d917a8952c09a345180ec36f0df4ee5dd5eddeaChris Lattner 404fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar} // end namespace llvm 405fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar 406fc6877aec9826fa830204d49eba7fac7412b841eDaniel Dunbar#endif 407