mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-19 19:29:31 +00:00
Use APFloat in UpgradeParser and AsmParser. Change all references to ConstantFP to use the APFloat interface rather than double. Remove the ConstantFP double interfaces. Use APFloat functions for constant folding arithmetic and comparisons. (There are still way too many places APFloat is just a wrapper around host float/double, but we're getting there.) git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@41747 91177308-0d34-0410-b5e6-96231b3b80d8
397 lines
12 KiB
C++
397 lines
12 KiB
C++
//===-- ParserInternals.h - Definitions internal to the parser --*- C++ -*-===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file was developed by the LLVM research group and is distributed under
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This header file defines the various variables that are shared among the
|
|
// different components of the parser...
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef PARSER_INTERNALS_H
|
|
#define PARSER_INTERNALS_H
|
|
|
|
#include "llvm/Constants.h"
|
|
#include "llvm/DerivedTypes.h"
|
|
#include "llvm/Function.h"
|
|
#include "llvm/Instructions.h"
|
|
#include "llvm/ADT/StringExtras.h"
|
|
#include <list>
|
|
#include <iostream>
|
|
|
|
|
|
// Global variables exported from the lexer.
|
|
extern int yydebug;
|
|
extern void error(const std::string& msg, int line = -1);
|
|
extern char* Upgradetext;
|
|
extern int Upgradeleng;
|
|
extern int Upgradelineno;
|
|
|
|
namespace llvm {
|
|
|
|
class Module;
|
|
Module* UpgradeAssembly(const std::string &infile, std::istream& in,
|
|
bool debug, bool addAttrs);
|
|
|
|
extern std::istream* LexInput;
|
|
|
|
// UnEscapeLexed - Run through the specified buffer and change \xx codes to the
|
|
// appropriate character. If AllowNull is set to false, a \00 value will cause
|
|
// an error.
|
|
//
|
|
// If AllowNull is set to true, the return value of the function points to the
|
|
// last character of the string in memory.
|
|
//
|
|
char *UnEscapeLexed(char *Buffer, bool AllowNull = false);
|
|
|
|
/// InlineAsmDescriptor - This is a simple class that holds info about inline
|
|
/// asm blocks, for use by ValID.
|
|
struct InlineAsmDescriptor {
|
|
std::string AsmString, Constraints;
|
|
bool HasSideEffects;
|
|
|
|
InlineAsmDescriptor(const std::string &as, const std::string &c, bool HSE)
|
|
: AsmString(as), Constraints(c), HasSideEffects(HSE) {}
|
|
};
|
|
|
|
/// This class keeps track of the signedness of a type or value. It allows the
|
|
/// signedness of a composite type to be captured in a relatively simple form.
|
|
/// This is needed in order to retain the signedness of pre LLVM 2.0 types so
|
|
/// they can be upgraded properly. Signedness of composite types must be
|
|
/// captured in order to accurately get the signedness of a value through a
|
|
/// GEP instruction.
|
|
/// @brief Class to track signedness of types and values.
|
|
struct Signedness {
|
|
/// The basic kinds of signedness values.
|
|
enum Kind {
|
|
Signless, ///< The type doesn't have any sign.
|
|
Unsigned, ///< The type is an unsigned integer.
|
|
Signed, ///< The type is a signed integer.
|
|
Named, ///< The type is a named type (probably forward ref or up ref).
|
|
Composite ///< The type is composite (struct, array, pointer).
|
|
};
|
|
|
|
private:
|
|
/// @brief Keeps track of Signedness for composite types
|
|
typedef std::vector<Signedness> SignVector;
|
|
Kind kind; ///< The kind of signedness node
|
|
union {
|
|
SignVector *sv; ///< The vector of Signedness for composite types
|
|
std::string *name; ///< The name of the type for named types.
|
|
};
|
|
public:
|
|
/// The Signedness class is used as a member of a union so it cannot have
|
|
/// a constructor or assignment operator. This function suffices.
|
|
/// @brief Copy one signedness value to another
|
|
void copy(const Signedness &that);
|
|
/// The Signedness class is used as a member of a union so it cannot have
|
|
/// a destructor.
|
|
/// @brief Release memory, if any allocated.
|
|
void destroy();
|
|
|
|
/// @brief Make a Signless node.
|
|
void makeSignless() { kind = Signless; sv = 0; }
|
|
/// @brief Make a Signed node.
|
|
void makeSigned() { kind = Signed; sv = 0; }
|
|
/// @brief Make an Unsigned node.
|
|
void makeUnsigned() { kind = Unsigned; sv = 0; }
|
|
/// @brief Make a Named node.
|
|
void makeNamed(const std::string& nm){
|
|
kind = Named; name = new std::string(nm);
|
|
}
|
|
/// @brief Make an empty Composite node.
|
|
void makeComposite() { kind = Composite; sv = new SignVector(); }
|
|
/// @brief Make an Composite node, with the first element given.
|
|
void makeComposite(const Signedness &S) {
|
|
kind = Composite;
|
|
sv = new SignVector();
|
|
sv->push_back(S);
|
|
}
|
|
/// @brief Add an element to a Composite node.
|
|
void add(const Signedness &S) {
|
|
assert(isComposite() && "Must be composite to use add");
|
|
sv->push_back(S);
|
|
}
|
|
bool operator<(const Signedness &that) const;
|
|
bool operator==(const Signedness &that) const;
|
|
bool isSigned() const { return kind == Signed; }
|
|
bool isUnsigned() const { return kind == Unsigned; }
|
|
bool isSignless() const { return kind == Signless; }
|
|
bool isNamed() const { return kind == Named; }
|
|
bool isComposite() const { return kind == Composite; }
|
|
/// This is used by GetElementPtr to extract the sign of an element.
|
|
/// @brief Get a specific element from a Composite node.
|
|
Signedness get(uint64_t idx) const {
|
|
assert(isComposite() && "Invalid Signedness type for get()");
|
|
assert(sv && idx < sv->size() && "Invalid index");
|
|
return (*sv)[idx];
|
|
}
|
|
/// @brief Get the name from a Named node.
|
|
const std::string& getName() const {
|
|
assert(isNamed() && "Can't get name from non-name Sign");
|
|
return *name;
|
|
}
|
|
#ifndef NDEBUG
|
|
void dump() const;
|
|
#endif
|
|
};
|
|
|
|
|
|
// ValID - Represents a reference of a definition of some sort. This may either
|
|
// be a numeric reference or a symbolic (%var) reference. This is just a
|
|
// discriminated union.
|
|
//
|
|
// Note that I can't implement this class in a straight forward manner with
|
|
// constructors and stuff because it goes in a union.
|
|
//
|
|
struct ValID {
|
|
enum {
|
|
NumberVal, NameVal, ConstSIntVal, ConstUIntVal, ConstFPVal, ConstNullVal,
|
|
ConstUndefVal, ConstZeroVal, ConstantVal, InlineAsmVal
|
|
} Type;
|
|
|
|
union {
|
|
int Num; // If it's a numeric reference
|
|
char *Name; // If it's a named reference. Memory must be free'd.
|
|
int64_t ConstPool64; // Constant pool reference. This is the value
|
|
uint64_t UConstPool64;// Unsigned constant pool reference.
|
|
APFloat *ConstPoolFP; // Floating point constant pool reference
|
|
Constant *ConstantValue; // Fully resolved constant for ConstantVal case.
|
|
InlineAsmDescriptor *IAD;
|
|
};
|
|
Signedness S;
|
|
|
|
static ValID create(int Num) {
|
|
ValID D; D.Type = NumberVal; D.Num = Num; D.S.makeSignless();
|
|
return D;
|
|
}
|
|
|
|
static ValID create(char *Name) {
|
|
ValID D; D.Type = NameVal; D.Name = Name; D.S.makeSignless();
|
|
return D;
|
|
}
|
|
|
|
static ValID create(int64_t Val) {
|
|
ValID D; D.Type = ConstSIntVal; D.ConstPool64 = Val;
|
|
D.S.makeSigned();
|
|
return D;
|
|
}
|
|
|
|
static ValID create(uint64_t Val) {
|
|
ValID D; D.Type = ConstUIntVal; D.UConstPool64 = Val;
|
|
D.S.makeUnsigned();
|
|
return D;
|
|
}
|
|
|
|
static ValID create(APFloat* Val) {
|
|
ValID D; D.Type = ConstFPVal; D.ConstPoolFP = Val;
|
|
D.S.makeSignless();
|
|
return D;
|
|
}
|
|
|
|
static ValID createNull() {
|
|
ValID D; D.Type = ConstNullVal;
|
|
D.S.makeSignless();
|
|
return D;
|
|
}
|
|
|
|
static ValID createUndef() {
|
|
ValID D; D.Type = ConstUndefVal;
|
|
D.S.makeSignless();
|
|
return D;
|
|
}
|
|
|
|
static ValID createZeroInit() {
|
|
ValID D; D.Type = ConstZeroVal;
|
|
D.S.makeSignless();
|
|
return D;
|
|
}
|
|
|
|
static ValID create(Constant *Val) {
|
|
ValID D; D.Type = ConstantVal; D.ConstantValue = Val;
|
|
D.S.makeSignless();
|
|
return D;
|
|
}
|
|
|
|
static ValID createInlineAsm(const std::string &AsmString,
|
|
const std::string &Constraints,
|
|
bool HasSideEffects) {
|
|
ValID D;
|
|
D.Type = InlineAsmVal;
|
|
D.IAD = new InlineAsmDescriptor(AsmString, Constraints, HasSideEffects);
|
|
D.S.makeSignless();
|
|
return D;
|
|
}
|
|
|
|
inline void destroy() const {
|
|
if (Type == NameVal)
|
|
free(Name); // Free this strdup'd memory.
|
|
else if (Type == InlineAsmVal)
|
|
delete IAD;
|
|
}
|
|
|
|
inline ValID copy() const {
|
|
if (Type != NameVal) return *this;
|
|
ValID Result = *this;
|
|
Result.Name = strdup(Name);
|
|
return Result;
|
|
}
|
|
|
|
inline std::string getName() const {
|
|
switch (Type) {
|
|
case NumberVal : return std::string("#") + itostr(Num);
|
|
case NameVal : return Name;
|
|
case ConstFPVal : return ftostr(*ConstPoolFP);
|
|
case ConstNullVal : return "null";
|
|
case ConstUndefVal : return "undef";
|
|
case ConstZeroVal : return "zeroinitializer";
|
|
case ConstUIntVal :
|
|
case ConstSIntVal : return std::string("%") + itostr(ConstPool64);
|
|
case ConstantVal:
|
|
if (ConstantValue == ConstantInt::get(Type::Int1Ty, true))
|
|
return "true";
|
|
if (ConstantValue == ConstantInt::get(Type::Int1Ty, false))
|
|
return "false";
|
|
return "<constant expression>";
|
|
default:
|
|
assert(0 && "Unknown value!");
|
|
abort();
|
|
return "";
|
|
}
|
|
}
|
|
|
|
bool operator<(const ValID &V) const {
|
|
if (Type != V.Type) return Type < V.Type;
|
|
switch (Type) {
|
|
case NumberVal: return Num < V.Num;
|
|
case NameVal: return strcmp(Name, V.Name) < 0;
|
|
case ConstSIntVal: return ConstPool64 < V.ConstPool64;
|
|
case ConstUIntVal: return UConstPool64 < V.UConstPool64;
|
|
case ConstFPVal: return ConstPoolFP->compare(*V.ConstPoolFP) ==
|
|
APFloat::cmpLessThan;
|
|
case ConstNullVal: return false;
|
|
case ConstUndefVal: return false;
|
|
case ConstZeroVal: return false;
|
|
case ConstantVal: return ConstantValue < V.ConstantValue;
|
|
default: assert(0 && "Unknown value type!"); return false;
|
|
}
|
|
}
|
|
};
|
|
|
|
/// The following enums are used to keep track of prior opcodes. The lexer will
|
|
/// retain the ability to parse obsolete opcode mnemonics and generates semantic
|
|
/// values containing one of these enumerators.
|
|
enum TermOps {
|
|
RetOp, BrOp, SwitchOp, InvokeOp, UnwindOp, UnreachableOp
|
|
};
|
|
|
|
enum BinaryOps {
|
|
AddOp, SubOp, MulOp,
|
|
DivOp, UDivOp, SDivOp, FDivOp,
|
|
RemOp, URemOp, SRemOp, FRemOp,
|
|
AndOp, OrOp, XorOp,
|
|
ShlOp, ShrOp, LShrOp, AShrOp,
|
|
SetEQ, SetNE, SetLE, SetGE, SetLT, SetGT
|
|
};
|
|
|
|
enum MemoryOps {
|
|
MallocOp, FreeOp, AllocaOp, LoadOp, StoreOp, GetElementPtrOp
|
|
};
|
|
|
|
enum OtherOps {
|
|
PHIOp, CallOp, SelectOp, UserOp1, UserOp2, VAArg,
|
|
ExtractElementOp, InsertElementOp, ShuffleVectorOp,
|
|
ICmpOp, FCmpOp
|
|
};
|
|
|
|
enum CastOps {
|
|
CastOp, TruncOp, ZExtOp, SExtOp, FPTruncOp, FPExtOp, FPToUIOp, FPToSIOp,
|
|
UIToFPOp, SIToFPOp, PtrToIntOp, IntToPtrOp, BitCastOp
|
|
};
|
|
|
|
// An enumeration for the old calling conventions, ala LLVM 1.9
|
|
namespace OldCallingConv {
|
|
enum ID {
|
|
C = 0, CSRet = 1, Fast = 8, Cold = 9, X86_StdCall = 64, X86_FastCall = 65,
|
|
None = 99999
|
|
};
|
|
}
|
|
|
|
/// These structures are used as the semantic values returned from various
|
|
/// productions in the grammar. They simply bundle an LLVM IR object with
|
|
/// its Signedness value. These help track signedness through the various
|
|
/// productions.
|
|
struct TypeInfo {
|
|
const llvm::Type *T;
|
|
Signedness S;
|
|
bool operator<(const TypeInfo& that) const {
|
|
if (this == &that)
|
|
return false;
|
|
if (T < that.T)
|
|
return true;
|
|
if (T == that.T) {
|
|
bool result = S < that.S;
|
|
//#define TYPEINFO_DEBUG
|
|
#ifdef TYPEINFO_DEBUG
|
|
std::cerr << (result?"true ":"false ") << T->getDescription() << " (";
|
|
S.dump();
|
|
std::cerr << ") < " << that.T->getDescription() << " (";
|
|
that.S.dump();
|
|
std::cerr << ")\n";
|
|
#endif
|
|
return result;
|
|
}
|
|
return false;
|
|
}
|
|
bool operator==(const TypeInfo& that) const {
|
|
if (this == &that)
|
|
return true;
|
|
return T == that.T && S == that.S;
|
|
}
|
|
void destroy() { S.destroy(); }
|
|
};
|
|
|
|
struct PATypeInfo {
|
|
llvm::PATypeHolder* PAT;
|
|
Signedness S;
|
|
void destroy() { S.destroy(); delete PAT; }
|
|
};
|
|
|
|
struct ConstInfo {
|
|
llvm::Constant* C;
|
|
Signedness S;
|
|
void destroy() { S.destroy(); }
|
|
};
|
|
|
|
struct ValueInfo {
|
|
llvm::Value* V;
|
|
Signedness S;
|
|
void destroy() { S.destroy(); }
|
|
};
|
|
|
|
struct InstrInfo {
|
|
llvm::Instruction *I;
|
|
Signedness S;
|
|
void destroy() { S.destroy(); }
|
|
};
|
|
|
|
struct TermInstInfo {
|
|
llvm::TerminatorInst *TI;
|
|
Signedness S;
|
|
void destroy() { S.destroy(); }
|
|
};
|
|
|
|
struct PHIListInfo {
|
|
std::list<std::pair<llvm::Value*, llvm::BasicBlock*> > *P;
|
|
Signedness S;
|
|
void destroy() { S.destroy(); delete P; }
|
|
};
|
|
|
|
} // End llvm namespace
|
|
|
|
#endif
|