mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 19:23:23 +01:00
Don't treat numeric (untyped) constants as a ConstInfo, just pass the
string and let ConstVal add the type. llvm-svn: 32096
This commit is contained in:
Reid Spencer
parent
3f151090e6
commit
f20f7dacec
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
@ -29,30 +29,30 @@
|
||||
/* Put the tokens into the symbol table, so that GDB and other debuggers
|
||||
know about them. */
|
||||
enum yytokentype {
|
||||
ESINT64VAL = 258,
|
||||
EUINT64VAL = 259,
|
||||
SINTVAL = 260,
|
||||
UINTVAL = 261,
|
||||
FPVAL = 262,
|
||||
TRUETOK = 263,
|
||||
FALSETOK = 264,
|
||||
NULL_TOK = 265,
|
||||
UNDEF = 266,
|
||||
ZEROINITIALIZER = 267,
|
||||
VOID = 268,
|
||||
BOOL = 269,
|
||||
SBYTE = 270,
|
||||
UBYTE = 271,
|
||||
SHORT = 272,
|
||||
USHORT = 273,
|
||||
INT = 274,
|
||||
UINT = 275,
|
||||
LONG = 276,
|
||||
ULONG = 277,
|
||||
FLOAT = 278,
|
||||
DOUBLE = 279,
|
||||
LABEL = 280,
|
||||
OPAQUE = 281,
|
||||
VOID = 258,
|
||||
BOOL = 259,
|
||||
SBYTE = 260,
|
||||
UBYTE = 261,
|
||||
SHORT = 262,
|
||||
USHORT = 263,
|
||||
INT = 264,
|
||||
UINT = 265,
|
||||
LONG = 266,
|
||||
ULONG = 267,
|
||||
FLOAT = 268,
|
||||
DOUBLE = 269,
|
||||
LABEL = 270,
|
||||
OPAQUE = 271,
|
||||
ESINT64VAL = 272,
|
||||
EUINT64VAL = 273,
|
||||
SINTVAL = 274,
|
||||
UINTVAL = 275,
|
||||
FPVAL = 276,
|
||||
NULL_TOK = 277,
|
||||
UNDEF = 278,
|
||||
ZEROINITIALIZER = 279,
|
||||
TRUETOK = 280,
|
||||
FALSETOK = 281,
|
||||
TYPE = 282,
|
||||
VAR_ID = 283,
|
||||
LABELSTR = 284,
|
||||
@ -141,30 +141,30 @@
|
||||
};
|
||||
#endif
|
||||
/* Tokens. */
|
||||
#define ESINT64VAL 258
|
||||
#define EUINT64VAL 259
|
||||
#define SINTVAL 260
|
||||
#define UINTVAL 261
|
||||
#define FPVAL 262
|
||||
#define TRUETOK 263
|
||||
#define FALSETOK 264
|
||||
#define NULL_TOK 265
|
||||
#define UNDEF 266
|
||||
#define ZEROINITIALIZER 267
|
||||
#define VOID 268
|
||||
#define BOOL 269
|
||||
#define SBYTE 270
|
||||
#define UBYTE 271
|
||||
#define SHORT 272
|
||||
#define USHORT 273
|
||||
#define INT 274
|
||||
#define UINT 275
|
||||
#define LONG 276
|
||||
#define ULONG 277
|
||||
#define FLOAT 278
|
||||
#define DOUBLE 279
|
||||
#define LABEL 280
|
||||
#define OPAQUE 281
|
||||
#define VOID 258
|
||||
#define BOOL 259
|
||||
#define SBYTE 260
|
||||
#define UBYTE 261
|
||||
#define SHORT 262
|
||||
#define USHORT 263
|
||||
#define INT 264
|
||||
#define UINT 265
|
||||
#define LONG 266
|
||||
#define ULONG 267
|
||||
#define FLOAT 268
|
||||
#define DOUBLE 269
|
||||
#define LABEL 270
|
||||
#define OPAQUE 271
|
||||
#define ESINT64VAL 272
|
||||
#define EUINT64VAL 273
|
||||
#define SINTVAL 274
|
||||
#define UINTVAL 275
|
||||
#define FPVAL 276
|
||||
#define NULL_TOK 277
|
||||
#define UNDEF 278
|
||||
#define ZEROINITIALIZER 279
|
||||
#define TRUETOK 280
|
||||
#define FALSETOK 281
|
||||
#define TYPE 282
|
||||
#define VAR_ID 283
|
||||
#define LABELSTR 284
|
||||
|
||||
@ -29,30 +29,30 @@
|
||||
/* Put the tokens into the symbol table, so that GDB and other debuggers
|
||||
know about them. */
|
||||
enum yytokentype {
|
||||
ESINT64VAL = 258,
|
||||
EUINT64VAL = 259,
|
||||
SINTVAL = 260,
|
||||
UINTVAL = 261,
|
||||
FPVAL = 262,
|
||||
TRUETOK = 263,
|
||||
FALSETOK = 264,
|
||||
NULL_TOK = 265,
|
||||
UNDEF = 266,
|
||||
ZEROINITIALIZER = 267,
|
||||
VOID = 268,
|
||||
BOOL = 269,
|
||||
SBYTE = 270,
|
||||
UBYTE = 271,
|
||||
SHORT = 272,
|
||||
USHORT = 273,
|
||||
INT = 274,
|
||||
UINT = 275,
|
||||
LONG = 276,
|
||||
ULONG = 277,
|
||||
FLOAT = 278,
|
||||
DOUBLE = 279,
|
||||
LABEL = 280,
|
||||
OPAQUE = 281,
|
||||
VOID = 258,
|
||||
BOOL = 259,
|
||||
SBYTE = 260,
|
||||
UBYTE = 261,
|
||||
SHORT = 262,
|
||||
USHORT = 263,
|
||||
INT = 264,
|
||||
UINT = 265,
|
||||
LONG = 266,
|
||||
ULONG = 267,
|
||||
FLOAT = 268,
|
||||
DOUBLE = 269,
|
||||
LABEL = 270,
|
||||
OPAQUE = 271,
|
||||
ESINT64VAL = 272,
|
||||
EUINT64VAL = 273,
|
||||
SINTVAL = 274,
|
||||
UINTVAL = 275,
|
||||
FPVAL = 276,
|
||||
NULL_TOK = 277,
|
||||
UNDEF = 278,
|
||||
ZEROINITIALIZER = 279,
|
||||
TRUETOK = 280,
|
||||
FALSETOK = 281,
|
||||
TYPE = 282,
|
||||
VAR_ID = 283,
|
||||
LABELSTR = 284,
|
||||
@ -141,30 +141,30 @@
|
||||
};
|
||||
#endif
|
||||
/* Tokens. */
|
||||
#define ESINT64VAL 258
|
||||
#define EUINT64VAL 259
|
||||
#define SINTVAL 260
|
||||
#define UINTVAL 261
|
||||
#define FPVAL 262
|
||||
#define TRUETOK 263
|
||||
#define FALSETOK 264
|
||||
#define NULL_TOK 265
|
||||
#define UNDEF 266
|
||||
#define ZEROINITIALIZER 267
|
||||
#define VOID 268
|
||||
#define BOOL 269
|
||||
#define SBYTE 270
|
||||
#define UBYTE 271
|
||||
#define SHORT 272
|
||||
#define USHORT 273
|
||||
#define INT 274
|
||||
#define UINT 275
|
||||
#define LONG 276
|
||||
#define ULONG 277
|
||||
#define FLOAT 278
|
||||
#define DOUBLE 279
|
||||
#define LABEL 280
|
||||
#define OPAQUE 281
|
||||
#define VOID 258
|
||||
#define BOOL 259
|
||||
#define SBYTE 260
|
||||
#define UBYTE 261
|
||||
#define SHORT 262
|
||||
#define USHORT 263
|
||||
#define INT 264
|
||||
#define UINT 265
|
||||
#define LONG 266
|
||||
#define ULONG 267
|
||||
#define FLOAT 268
|
||||
#define DOUBLE 269
|
||||
#define LABEL 270
|
||||
#define OPAQUE 271
|
||||
#define ESINT64VAL 272
|
||||
#define EUINT64VAL 273
|
||||
#define SINTVAL 274
|
||||
#define UINTVAL 275
|
||||
#define FPVAL 276
|
||||
#define NULL_TOK 277
|
||||
#define UNDEF 278
|
||||
#define ZEROINITIALIZER 279
|
||||
#define TRUETOK 280
|
||||
#define FALSETOK 281
|
||||
#define TYPE 282
|
||||
#define VAR_ID 283
|
||||
#define LABELSTR 284
|
||||
|
||||
@ -134,12 +134,10 @@ const char* getCastOpcode(TypeInfo& SrcTy, TypeInfo&DstTy) {
|
||||
ConstInfo Const;
|
||||
}
|
||||
|
||||
%token <Const> ESINT64VAL EUINT64VAL SINTVAL UINTVAL FPVAL TRUETOK FALSETOK
|
||||
%token <Const> NULL_TOK UNDEF ZEROINITIALIZER
|
||||
|
||||
%token <Type> VOID BOOL SBYTE UBYTE SHORT USHORT INT UINT LONG ULONG
|
||||
%token <Type> FLOAT DOUBLE LABEL OPAQUE
|
||||
|
||||
%token <Type> VOID BOOL SBYTE UBYTE SHORT USHORT INT UINT LONG ULONG
|
||||
%token <Type> FLOAT DOUBLE LABEL OPAQUE
|
||||
%token <String> ESINT64VAL EUINT64VAL SINTVAL UINTVAL FPVAL
|
||||
%token <String> NULL_TOK UNDEF ZEROINITIALIZER TRUETOK FALSETOK
|
||||
%token <String> TYPE VAR_ID LABELSTR STRINGCONSTANT
|
||||
%token <String> IMPLEMENTATION BEGINTOK ENDTOK
|
||||
%token <String> DECLARE GLOBAL CONSTANT SECTION VOLATILE
|
||||
@ -177,7 +175,8 @@ const char* getCastOpcode(TypeInfo& SrcTy, TypeInfo&DstTy) {
|
||||
%type <Type> IntType SIntType UIntType FPType TypesV Types
|
||||
%type <Type> PrimType UpRTypesV UpRTypes
|
||||
|
||||
%type <Const> IntVal EInt64Val ConstVal
|
||||
%type <String> IntVal EInt64Val
|
||||
%type <Const> ConstVal
|
||||
|
||||
%type <Value> ResolvedVal
|
||||
|
||||
@ -186,7 +185,7 @@ const char* getCastOpcode(TypeInfo& SrcTy, TypeInfo&DstTy) {
|
||||
%%
|
||||
|
||||
// Handle constant integer size restriction and conversion...
|
||||
IntVal : SINTVAL | UINTVAL
|
||||
IntVal : SINTVAL | UINTVAL ;
|
||||
EInt64Val : ESINT64VAL | EUINT64VAL;
|
||||
|
||||
// Operations that are notably excluded from this list include:
|
||||
@ -221,8 +220,8 @@ OptCallingConv
|
||||
: CCC_TOK | CSRETCC_TOK | FASTCC_TOK | COLDCC_TOK | X86_STDCALLCC_TOK
|
||||
| X86_FASTCALLCC_TOK
|
||||
| CC_TOK EUINT64VAL {
|
||||
*$1 += *$2.cnst;
|
||||
$2.destroy();
|
||||
*$1 += *$2;
|
||||
delete $2;
|
||||
$$ = $1;
|
||||
}
|
||||
| /*empty*/ { $$ = new std::string(""); } ;
|
||||
@ -231,14 +230,14 @@ OptCallingConv
|
||||
// a comma before it.
|
||||
OptAlign
|
||||
: /*empty*/ { $$ = new std::string(); }
|
||||
| ALIGN EUINT64VAL { *$1 += " " + *$2.cnst; delete $2.cnst; $$ = $1; };
|
||||
| ALIGN EUINT64VAL { *$1 += " " + *$2; delete $2; $$ = $1; };
|
||||
;
|
||||
OptCAlign
|
||||
: /*empty*/ { $$ = new std::string(); }
|
||||
| ',' ALIGN EUINT64VAL {
|
||||
$2->insert(0, ", ");
|
||||
*$2 += " " + *$3.cnst;
|
||||
delete $3.cnst;
|
||||
*$2 += " " + *$3;
|
||||
delete $3;
|
||||
$$ = $2;
|
||||
};
|
||||
|
||||
@ -265,8 +264,8 @@ GlobalVarAttributes
|
||||
GlobalVarAttribute
|
||||
: SectionString
|
||||
| ALIGN EUINT64VAL {
|
||||
*$1 += " " + *$2.cnst;
|
||||
delete $2.cnst;
|
||||
*$1 += " " + *$2;
|
||||
delete $2;
|
||||
$$ = $1;
|
||||
};
|
||||
|
||||
@ -293,8 +292,8 @@ UpRTypes : OPAQUE | PrimType
|
||||
// Include derived types in the Types production.
|
||||
//
|
||||
UpRTypes : '\\' EUINT64VAL { // Type UpReference
|
||||
$2.cnst->insert(0, "\\");
|
||||
$$.newTy = $2.cnst;
|
||||
$2->insert(0, "\\");
|
||||
$$.newTy = $2;
|
||||
$$.oldTy = OpaqueTy;
|
||||
}
|
||||
| UpRTypesV '(' ArgTypeListI ')' { // Function derived type?
|
||||
@ -304,17 +303,17 @@ UpRTypes : '\\' EUINT64VAL { // Type UpReference
|
||||
$$.oldTy = FunctionTy;
|
||||
}
|
||||
| '[' EUINT64VAL 'x' UpRTypes ']' { // Sized array type?
|
||||
$2.cnst->insert(0,"[ ");
|
||||
*$2.cnst += " x " + *$4.newTy + " ]";
|
||||
$2->insert(0,"[ ");
|
||||
*$2 += " x " + *$4.newTy + " ]";
|
||||
delete $4.newTy;
|
||||
$$.newTy = $2.cnst;
|
||||
$$.newTy = $2;
|
||||
$$.oldTy = ArrayTy;
|
||||
}
|
||||
| '<' EUINT64VAL 'x' UpRTypes '>' { // Packed array type?
|
||||
$2.cnst->insert(0,"< ");
|
||||
*$2.cnst += " x " + *$4.newTy + " >";
|
||||
$2->insert(0,"< ");
|
||||
*$2 += " x " + *$4.newTy + " >";
|
||||
delete $4.newTy;
|
||||
$$.newTy = $2.cnst;
|
||||
$$.newTy = $2;
|
||||
$$.oldTy = PackedTy;
|
||||
}
|
||||
| '{' TypeListI '}' { // Structure type?
|
||||
@ -404,14 +403,14 @@ ConstVal: Types '[' ConstVector ']' { // Nonempty unsized arr
|
||||
| Types NULL_TOK {
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
}
|
||||
| Types UNDEF {
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
}
|
||||
| Types SymbolicValueRef {
|
||||
$$.type = $1;
|
||||
@ -428,38 +427,38 @@ ConstVal: Types '[' ConstVector ']' { // Nonempty unsized arr
|
||||
| Types ZEROINITIALIZER {
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
}
|
||||
| SIntType EInt64Val { // integral constants
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
}
|
||||
| UIntType EUINT64VAL { // integral constants
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
}
|
||||
| BOOL TRUETOK { // Boolean constants
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
}
|
||||
| BOOL FALSETOK { // Boolean constants
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
}
|
||||
| FPType FPVAL { // Float & Double constants
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
};
|
||||
|
||||
|
||||
@ -630,10 +629,10 @@ TargetDefinition
|
||||
$$ = $1;
|
||||
}
|
||||
| POINTERSIZE '=' EUINT64VAL {
|
||||
*$1 += " = " + *$3.cnst;
|
||||
if (*$3.cnst == "64")
|
||||
*$1 += " = " + *$3;
|
||||
if (*$3 == "64")
|
||||
SizeOfPointer = 64;
|
||||
$3.destroy();
|
||||
delete $3;
|
||||
$$ = $1;
|
||||
}
|
||||
| TRIPLE '=' STRINGCONSTANT {
|
||||
@ -770,14 +769,8 @@ OptSideEffect : /* empty */ { $$ = new std::string(); }
|
||||
| SIDEEFFECT;
|
||||
|
||||
ConstValueRef
|
||||
: ESINT64VAL { $$ = $1.cnst; }
|
||||
| EUINT64VAL { $$ = $1.cnst; }
|
||||
| FPVAL { $$ = $1.cnst; }
|
||||
| TRUETOK { $$ = $1.cnst; }
|
||||
| FALSETOK { $$ = $1.cnst; }
|
||||
| NULL_TOK { $$ = $1.cnst; }
|
||||
| UNDEF { $$ = $1.cnst; }
|
||||
| ZEROINITIALIZER { $$ = $1.cnst; }
|
||||
: ESINT64VAL | EUINT64VAL | FPVAL | TRUETOK | FALSETOK | NULL_TOK | UNDEF
|
||||
| ZEROINITIALIZER
|
||||
| '<' ConstVector '>' {
|
||||
$2->insert(0, "<");
|
||||
*$2 += ">";
|
||||
@ -793,7 +786,7 @@ ConstValueRef
|
||||
$$ = $1;
|
||||
};
|
||||
|
||||
SymbolicValueRef : IntVal { $$ = $1.cnst; } | Name ;
|
||||
SymbolicValueRef : IntVal | Name ;
|
||||
|
||||
// ValueRef - A reference to a definition... either constant or symbolic
|
||||
ValueRef : SymbolicValueRef | ConstValueRef;
|
||||
@ -810,8 +803,10 @@ ResolvedVal : Types ValueRef {
|
||||
};
|
||||
|
||||
BasicBlockList : BasicBlockList BasicBlock {
|
||||
$$ = 0;
|
||||
}
|
||||
| BasicBlock { // Do not allow functions with 0 basic blocks
|
||||
$$ = 0;
|
||||
};
|
||||
|
||||
|
||||
@ -819,7 +814,7 @@ BasicBlockList : BasicBlockList BasicBlock {
|
||||
// br, br/cc, switch, ret
|
||||
//
|
||||
BasicBlock : InstructionList BBTerminatorInst {
|
||||
*O << *$2 ;
|
||||
$$ = 0;
|
||||
};
|
||||
|
||||
InstructionList : InstructionList Inst {
|
||||
|
||||
@ -134,12 +134,10 @@ const char* getCastOpcode(TypeInfo& SrcTy, TypeInfo&DstTy) {
|
||||
ConstInfo Const;
|
||||
}
|
||||
|
||||
%token <Const> ESINT64VAL EUINT64VAL SINTVAL UINTVAL FPVAL TRUETOK FALSETOK
|
||||
%token <Const> NULL_TOK UNDEF ZEROINITIALIZER
|
||||
|
||||
%token <Type> VOID BOOL SBYTE UBYTE SHORT USHORT INT UINT LONG ULONG
|
||||
%token <Type> FLOAT DOUBLE LABEL OPAQUE
|
||||
|
||||
%token <Type> VOID BOOL SBYTE UBYTE SHORT USHORT INT UINT LONG ULONG
|
||||
%token <Type> FLOAT DOUBLE LABEL OPAQUE
|
||||
%token <String> ESINT64VAL EUINT64VAL SINTVAL UINTVAL FPVAL
|
||||
%token <String> NULL_TOK UNDEF ZEROINITIALIZER TRUETOK FALSETOK
|
||||
%token <String> TYPE VAR_ID LABELSTR STRINGCONSTANT
|
||||
%token <String> IMPLEMENTATION BEGINTOK ENDTOK
|
||||
%token <String> DECLARE GLOBAL CONSTANT SECTION VOLATILE
|
||||
@ -177,7 +175,8 @@ const char* getCastOpcode(TypeInfo& SrcTy, TypeInfo&DstTy) {
|
||||
%type <Type> IntType SIntType UIntType FPType TypesV Types
|
||||
%type <Type> PrimType UpRTypesV UpRTypes
|
||||
|
||||
%type <Const> IntVal EInt64Val ConstVal
|
||||
%type <String> IntVal EInt64Val
|
||||
%type <Const> ConstVal
|
||||
|
||||
%type <Value> ResolvedVal
|
||||
|
||||
@ -186,7 +185,7 @@ const char* getCastOpcode(TypeInfo& SrcTy, TypeInfo&DstTy) {
|
||||
%%
|
||||
|
||||
// Handle constant integer size restriction and conversion...
|
||||
IntVal : SINTVAL | UINTVAL
|
||||
IntVal : SINTVAL | UINTVAL ;
|
||||
EInt64Val : ESINT64VAL | EUINT64VAL;
|
||||
|
||||
// Operations that are notably excluded from this list include:
|
||||
@ -221,8 +220,8 @@ OptCallingConv
|
||||
: CCC_TOK | CSRETCC_TOK | FASTCC_TOK | COLDCC_TOK | X86_STDCALLCC_TOK
|
||||
| X86_FASTCALLCC_TOK
|
||||
| CC_TOK EUINT64VAL {
|
||||
*$1 += *$2.cnst;
|
||||
$2.destroy();
|
||||
*$1 += *$2;
|
||||
delete $2;
|
||||
$$ = $1;
|
||||
}
|
||||
| /*empty*/ { $$ = new std::string(""); } ;
|
||||
@ -231,14 +230,14 @@ OptCallingConv
|
||||
// a comma before it.
|
||||
OptAlign
|
||||
: /*empty*/ { $$ = new std::string(); }
|
||||
| ALIGN EUINT64VAL { *$1 += " " + *$2.cnst; delete $2.cnst; $$ = $1; };
|
||||
| ALIGN EUINT64VAL { *$1 += " " + *$2; delete $2; $$ = $1; };
|
||||
;
|
||||
OptCAlign
|
||||
: /*empty*/ { $$ = new std::string(); }
|
||||
| ',' ALIGN EUINT64VAL {
|
||||
$2->insert(0, ", ");
|
||||
*$2 += " " + *$3.cnst;
|
||||
delete $3.cnst;
|
||||
*$2 += " " + *$3;
|
||||
delete $3;
|
||||
$$ = $2;
|
||||
};
|
||||
|
||||
@ -265,8 +264,8 @@ GlobalVarAttributes
|
||||
GlobalVarAttribute
|
||||
: SectionString
|
||||
| ALIGN EUINT64VAL {
|
||||
*$1 += " " + *$2.cnst;
|
||||
delete $2.cnst;
|
||||
*$1 += " " + *$2;
|
||||
delete $2;
|
||||
$$ = $1;
|
||||
};
|
||||
|
||||
@ -293,8 +292,8 @@ UpRTypes : OPAQUE | PrimType
|
||||
// Include derived types in the Types production.
|
||||
//
|
||||
UpRTypes : '\\' EUINT64VAL { // Type UpReference
|
||||
$2.cnst->insert(0, "\\");
|
||||
$$.newTy = $2.cnst;
|
||||
$2->insert(0, "\\");
|
||||
$$.newTy = $2;
|
||||
$$.oldTy = OpaqueTy;
|
||||
}
|
||||
| UpRTypesV '(' ArgTypeListI ')' { // Function derived type?
|
||||
@ -304,17 +303,17 @@ UpRTypes : '\\' EUINT64VAL { // Type UpReference
|
||||
$$.oldTy = FunctionTy;
|
||||
}
|
||||
| '[' EUINT64VAL 'x' UpRTypes ']' { // Sized array type?
|
||||
$2.cnst->insert(0,"[ ");
|
||||
*$2.cnst += " x " + *$4.newTy + " ]";
|
||||
$2->insert(0,"[ ");
|
||||
*$2 += " x " + *$4.newTy + " ]";
|
||||
delete $4.newTy;
|
||||
$$.newTy = $2.cnst;
|
||||
$$.newTy = $2;
|
||||
$$.oldTy = ArrayTy;
|
||||
}
|
||||
| '<' EUINT64VAL 'x' UpRTypes '>' { // Packed array type?
|
||||
$2.cnst->insert(0,"< ");
|
||||
*$2.cnst += " x " + *$4.newTy + " >";
|
||||
$2->insert(0,"< ");
|
||||
*$2 += " x " + *$4.newTy + " >";
|
||||
delete $4.newTy;
|
||||
$$.newTy = $2.cnst;
|
||||
$$.newTy = $2;
|
||||
$$.oldTy = PackedTy;
|
||||
}
|
||||
| '{' TypeListI '}' { // Structure type?
|
||||
@ -404,14 +403,14 @@ ConstVal: Types '[' ConstVector ']' { // Nonempty unsized arr
|
||||
| Types NULL_TOK {
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
}
|
||||
| Types UNDEF {
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
}
|
||||
| Types SymbolicValueRef {
|
||||
$$.type = $1;
|
||||
@ -428,38 +427,38 @@ ConstVal: Types '[' ConstVector ']' { // Nonempty unsized arr
|
||||
| Types ZEROINITIALIZER {
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
}
|
||||
| SIntType EInt64Val { // integral constants
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
}
|
||||
| UIntType EUINT64VAL { // integral constants
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
}
|
||||
| BOOL TRUETOK { // Boolean constants
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
}
|
||||
| BOOL FALSETOK { // Boolean constants
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
}
|
||||
| FPType FPVAL { // Float & Double constants
|
||||
$$.type = $1;
|
||||
$$.cnst = new std::string(*$1.newTy);
|
||||
*$$.cnst += " " + *$2.cnst;
|
||||
$2.destroy();
|
||||
*$$.cnst += " " + *$2;
|
||||
delete $2;
|
||||
};
|
||||
|
||||
|
||||
@ -630,10 +629,10 @@ TargetDefinition
|
||||
$$ = $1;
|
||||
}
|
||||
| POINTERSIZE '=' EUINT64VAL {
|
||||
*$1 += " = " + *$3.cnst;
|
||||
if (*$3.cnst == "64")
|
||||
*$1 += " = " + *$3;
|
||||
if (*$3 == "64")
|
||||
SizeOfPointer = 64;
|
||||
$3.destroy();
|
||||
delete $3;
|
||||
$$ = $1;
|
||||
}
|
||||
| TRIPLE '=' STRINGCONSTANT {
|
||||
@ -770,14 +769,8 @@ OptSideEffect : /* empty */ { $$ = new std::string(); }
|
||||
| SIDEEFFECT;
|
||||
|
||||
ConstValueRef
|
||||
: ESINT64VAL { $$ = $1.cnst; }
|
||||
| EUINT64VAL { $$ = $1.cnst; }
|
||||
| FPVAL { $$ = $1.cnst; }
|
||||
| TRUETOK { $$ = $1.cnst; }
|
||||
| FALSETOK { $$ = $1.cnst; }
|
||||
| NULL_TOK { $$ = $1.cnst; }
|
||||
| UNDEF { $$ = $1.cnst; }
|
||||
| ZEROINITIALIZER { $$ = $1.cnst; }
|
||||
: ESINT64VAL | EUINT64VAL | FPVAL | TRUETOK | FALSETOK | NULL_TOK | UNDEF
|
||||
| ZEROINITIALIZER
|
||||
| '<' ConstVector '>' {
|
||||
$2->insert(0, "<");
|
||||
*$2 += ">";
|
||||
@ -793,7 +786,7 @@ ConstValueRef
|
||||
$$ = $1;
|
||||
};
|
||||
|
||||
SymbolicValueRef : IntVal { $$ = $1.cnst; } | Name ;
|
||||
SymbolicValueRef : IntVal | Name ;
|
||||
|
||||
// ValueRef - A reference to a definition... either constant or symbolic
|
||||
ValueRef : SymbolicValueRef | ConstValueRef;
|
||||
@ -810,8 +803,10 @@ ResolvedVal : Types ValueRef {
|
||||
};
|
||||
|
||||
BasicBlockList : BasicBlockList BasicBlock {
|
||||
$$ = 0;
|
||||
}
|
||||
| BasicBlock { // Do not allow functions with 0 basic blocks
|
||||
$$ = 0;
|
||||
};
|
||||
|
||||
|
||||
@ -819,7 +814,7 @@ BasicBlockList : BasicBlockList BasicBlock {
|
||||
// br, br/cc, switch, ret
|
||||
//
|
||||
BasicBlock : InstructionList BBTerminatorInst {
|
||||
*O << *$2 ;
|
||||
$$ = 0;
|
||||
};
|
||||
|
||||
InstructionList : InstructionList Inst {
|
||||
|
||||
Loading…
Reference in New Issue
Block a user