diff options
| -rw-r--r-- | lib/AsmParser/Lexer.cpp | 2065 | ||||
| -rw-r--r-- | lib/AsmParser/Lexer.l | 1 | ||||
| -rw-r--r-- | lib/AsmParser/llvmAsmParser.h | 91 | ||||
| -rw-r--r-- | lib/AsmParser/llvmAsmParser.y | 66 |
4 files changed, 38 insertions, 2185 deletions
diff --git a/lib/AsmParser/Lexer.cpp b/lib/AsmParser/Lexer.cpp deleted file mode 100644 index c325f4b..0000000 --- a/lib/AsmParser/Lexer.cpp +++ /dev/null @@ -1,2065 +0,0 @@ -#define yy_create_buffer llvmAsm_create_buffer -#define yy_delete_buffer llvmAsm_delete_buffer -#define yy_scan_buffer llvmAsm_scan_buffer -#define yy_scan_string llvmAsm_scan_string -#define yy_scan_bytes llvmAsm_scan_bytes -#define yy_flex_debug llvmAsm_flex_debug -#define yy_init_buffer llvmAsm_init_buffer -#define yy_flush_buffer llvmAsm_flush_buffer -#define yy_load_buffer_state llvmAsm_load_buffer_state -#define yy_switch_to_buffer llvmAsm_switch_to_buffer -#define yyin llvmAsmin -#define yyleng llvmAsmleng -#define yylex llvmAsmlex -#define yyout llvmAsmout -#define yyrestart llvmAsmrestart -#define yytext llvmAsmtext -#define yylineno llvmAsmlineno - -#line 20 "Lexer.cpp" -/* A lexical scanner generated by flex */ - -/* Scanner skeleton version: - * $Header$ - */ - -#define FLEX_SCANNER -#define YY_FLEX_MAJOR_VERSION 2 -#define YY_FLEX_MINOR_VERSION 5 - -#include <stdio.h> - - -/* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */ -#ifdef c_plusplus -#ifndef __cplusplus -#define __cplusplus -#endif -#endif - - -#ifdef __cplusplus - -#include <stdlib.h> -#include <unistd.h> - -/* Use prototypes in function declarations. */ -#define YY_USE_PROTOS - -/* The "const" storage-class-modifier is valid. */ -#define YY_USE_CONST - -#else /* ! __cplusplus */ - -#if __STDC__ - -#define YY_USE_PROTOS -#define YY_USE_CONST - -#endif /* __STDC__ */ -#endif /* ! __cplusplus */ - -#ifdef __TURBOC__ - #pragma warn -rch - #pragma warn -use -#include <io.h> -#include <stdlib.h> -#define YY_USE_CONST -#define YY_USE_PROTOS -#endif - -#ifdef YY_USE_CONST -#define yyconst const -#else -#define yyconst -#endif - - -#ifdef YY_USE_PROTOS -#define YY_PROTO(proto) proto -#else -#define YY_PROTO(proto) () -#endif - -/* Returned upon end-of-file. */ -#define YY_NULL 0 - -/* Promotes a possibly negative, possibly signed char to an unsigned - * integer for use as an array index. If the signed char is negative, - * we want to instead treat it as an 8-bit unsigned char, hence the - * double cast. - */ -#define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c) - -/* Enter a start condition. This macro really ought to take a parameter, - * but we do it the disgusting crufty way forced on us by the ()-less - * definition of BEGIN. - */ -#define BEGIN yy_start = 1 + 2 * - -/* Translate the current start state into a value that can be later handed - * to BEGIN to return to the state. The YYSTATE alias is for lex - * compatibility. - */ -#define YY_START ((yy_start - 1) / 2) -#define YYSTATE YY_START - -/* Action number for EOF rule of a given start state. */ -#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1) - -/* Special action meaning "start processing a new file". */ -#define YY_NEW_FILE yyrestart( yyin ) - -#define YY_END_OF_BUFFER_CHAR 0 - -/* Size of default input buffer. */ -#define YY_BUF_SIZE 16384 - -typedef struct yy_buffer_state *YY_BUFFER_STATE; - -extern int yyleng; -extern FILE *yyin, *yyout; - -#define EOB_ACT_CONTINUE_SCAN 0 -#define EOB_ACT_END_OF_FILE 1 -#define EOB_ACT_LAST_MATCH 2 - -/* The funky do-while in the following #define is used to turn the definition - * int a single C statement (which needs a semi-colon terminator). This - * avoids problems with code like: - * - * if ( condition_holds ) - * yyless( 5 ); - * else - * do_something_else(); - * - * Prior to using the do-while the compiler would get upset at the - * "else" because it interpreted the "if" statement as being all - * done when it reached the ';' after the yyless() call. - */ - -/* Return all but the first 'n' matched characters back to the input stream. */ - -#define yyless(n) \ - do \ - { \ - /* Undo effects of setting up yytext. */ \ - *yy_cp = yy_hold_char; \ - YY_RESTORE_YY_MORE_OFFSET \ - yy_c_buf_p = yy_cp = yy_bp + n - YY_MORE_ADJ; \ - YY_DO_BEFORE_ACTION; /* set up yytext again */ \ - } \ - while ( 0 ) - -#define unput(c) yyunput( c, yytext_ptr ) - -/* The following is because we cannot portably get our hands on size_t - * (without autoconf's help, which isn't available because we want - * flex-generated scanners to compile on their own). - */ -typedef unsigned int yy_size_t; - - -struct yy_buffer_state - { - FILE *yy_input_file; - - char *yy_ch_buf; /* input buffer */ - char *yy_buf_pos; /* current position in input buffer */ - - /* Size of input buffer in bytes, not including room for EOB - * characters. - */ - yy_size_t yy_buf_size; - - /* Number of characters read into yy_ch_buf, not including EOB - * characters. - */ - int yy_n_chars; - - /* Whether we "own" the buffer - i.e., we know we created it, - * and can realloc() it to grow it, and should free() it to - * delete it. - */ - int yy_is_our_buffer; - - /* Whether this is an "interactive" input source; if so, and - * if we're using stdio for input, then we want to use getc() - * instead of fread(), to make sure we stop fetching input after - * each newline. - */ - int yy_is_interactive; - - /* Whether we're considered to be at the beginning of a line. - * If so, '^' rules will be active on the next match, otherwise - * not. - */ - int yy_at_bol; - - /* Whether to try to fill the input buffer when we reach the - * end of it. - */ - int yy_fill_buffer; - - int yy_buffer_status; -#define YY_BUFFER_NEW 0 -#define YY_BUFFER_NORMAL 1 - /* When an EOF's been seen but there's still some text to process - * then we mark the buffer as YY_EOF_PENDING, to indicate that we - * shouldn't try reading from the input source any more. We might - * still have a bunch of tokens to match, though, because of - * possible backing-up. - * - * When we actually see the EOF, we change the status to "new" - * (via yyrestart()), so that the user can continue scanning by - * just pointing yyin at a new input file. - */ -#define YY_BUFFER_EOF_PENDING 2 - }; - -static YY_BUFFER_STATE yy_current_buffer = 0; - -/* We provide macros for accessing buffer states in case in the - * future we want to put the buffer states in a more general - * "scanner state". - */ -#define YY_CURRENT_BUFFER yy_current_buffer - - -/* yy_hold_char holds the character lost when yytext is formed. */ -static char yy_hold_char; - -static int yy_n_chars; /* number of characters read into yy_ch_buf */ - - -int yyleng; - -/* Points to current character in buffer. */ -static char *yy_c_buf_p = (char *) 0; -static int yy_init = 1; /* whether we need to initialize */ -static int yy_start = 0; /* start state number */ - -/* Flag which is used to allow yywrap()'s to do buffer switches - * instead of setting up a fresh yyin. A bit of a hack ... - */ -static int yy_did_buffer_switch_on_eof; - -void yyrestart YY_PROTO(( FILE *input_file )); - -void yy_switch_to_buffer YY_PROTO(( YY_BUFFER_STATE new_buffer )); -void yy_load_buffer_state YY_PROTO(( void )); -YY_BUFFER_STATE yy_create_buffer YY_PROTO(( FILE *file, int size )); -void yy_delete_buffer YY_PROTO(( YY_BUFFER_STATE b )); -void yy_init_buffer YY_PROTO(( YY_BUFFER_STATE b, FILE *file )); -void yy_flush_buffer YY_PROTO(( YY_BUFFER_STATE b )); -#define YY_FLUSH_BUFFER yy_flush_buffer( yy_current_buffer ) - -YY_BUFFER_STATE yy_scan_buffer YY_PROTO(( char *base, yy_size_t size )); -YY_BUFFER_STATE yy_scan_string YY_PROTO(( yyconst char *yy_str )); -YY_BUFFER_STATE yy_scan_bytes YY_PROTO(( yyconst char *bytes, int len )); - -static void *yy_flex_alloc YY_PROTO(( yy_size_t )); -static inline void *yy_flex_realloc YY_PROTO(( void *, yy_size_t )); -static void yy_flex_free YY_PROTO(( void * )); - -#define yy_new_buffer yy_create_buffer - -#define yy_set_interactive(is_interactive) \ - { \ - if ( ! yy_current_buffer ) \ - yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \ - yy_current_buffer->yy_is_interactive = is_interactive; \ - } - -#define yy_set_bol(at_bol) \ - { \ - if ( ! yy_current_buffer ) \ - yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \ - yy_current_buffer->yy_at_bol = at_bol; \ - } - -#define YY_AT_BOL() (yy_current_buffer->yy_at_bol) - - -#define YY_USES_REJECT - -#define yywrap() 1 -#define YY_SKIP_YYWRAP -typedef unsigned char YY_CHAR; -FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0; -typedef int yy_state_type; -extern int yylineno; -int yylineno = 1; -extern char *yytext; -#define yytext_ptr yytext - -static yy_state_type yy_get_previous_state YY_PROTO(( void )); -static yy_state_type yy_try_NUL_trans YY_PROTO(( yy_state_type current_state )); -static int yy_get_next_buffer YY_PROTO(( void )); -static void yy_fatal_error YY_PROTO(( yyconst char msg[] )); - -/* Done after the current pattern has been matched and before the - * corresponding action - sets up yytext. - */ -#define YY_DO_BEFORE_ACTION \ - yytext_ptr = yy_bp; \ - yyleng = (int) (yy_cp - yy_bp); \ - yy_hold_char = *yy_cp; \ - *yy_cp = '\0'; \ - yy_c_buf_p = yy_cp; - -#define YY_NUM_RULES 59 -#define YY_END_OF_BUFFER 60 -static yyconst short int yy_acclist[115] = - { 0, - 60, 58, 59, 57, 58, 59, 57, 59, 58, 59, - 58, 59, 58, 59, 58, 59, 52, 58, 59, 1, - 58, 59, 58, 59, 58, 59, 58, 59, 58, 59, - 58, 59, 58, 59, 58, 59, 58, 59, 58, 59, - 58, 59, 58, 59, 58, 59, 58, 59, 58, 59, - 58, 59, 58, 59, 58, 59, 50, 49, 54, 53, - 56, 52, 1, 41, 34, 51, 49, 55, 56, 23, - 26, 3, 14, 25, 22, 35, 27, 40, 38, 39, - 24, 9, 36, 37, 45, 46, 16, 4, 20, 15, - 8, 2, 5, 18, 21, 10, 29, 33, 31, 32, - - 30, 28, 12, 47, 11, 17, 44, 19, 43, 42, - 13, 6, 48, 7 - } ; - -static yyconst short int yy_accept[201] = - { 0, - 1, 1, 1, 2, 4, 7, 9, 11, 13, 15, - 17, 20, 23, 25, 27, 29, 31, 33, 35, 37, - 39, 41, 43, 45, 47, 49, 51, 53, 55, 57, - 57, 57, 58, 59, 59, 60, 61, 62, 63, 64, - 64, 64, 64, 64, 65, 65, 65, 65, 65, 65, - 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, - 65, 65, 65, 65, 65, 65, 65, 65, 65, 66, - 66, 66, 66, 66, 66, 66, 66, 67, 68, 69, - 70, 71, 71, 71, 71, 71, 71, 71, 72, 72, - 73, 73, 73, 73, 73, 73, 74, 74, 74, 74, - - 74, 75, 76, 77, 78, 79, 79, 79, 80, 80, - 81, 81, 82, 82, 82, 82, 82, 82, 82, 82, - 82, 82, 82, 83, 84, 85, 85, 85, 85, 85, - 86, 86, 86, 86, 87, 88, 88, 88, 88, 88, - 88, 88, 88, 88, 88, 89, 90, 90, 91, 91, - 91, 92, 92, 93, 93, 93, 94, 95, 95, 95, - 96, 96, 97, 98, 99, 100, 101, 102, 103, 104, - 105, 105, 106, 107, 107, 108, 108, 109, 109, 109, - 110, 111, 112, 113, 113, 113, 113, 113, 113, 113, - 113, 113, 113, 113, 113, 113, 114, 114, 115, 115 - - } ; - -static yyconst int yy_ec[256] = - { 0, - 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 2, 1, 4, 1, 5, 6, 1, 1, 1, - 1, 1, 1, 1, 7, 8, 1, 9, 9, 9, - 9, 9, 9, 9, 9, 9, 9, 10, 11, 1, - 1, 1, 1, 1, 5, 5, 5, 5, 5, 5, - 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, - 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, - 1, 1, 1, 1, 5, 1, 12, 13, 14, 15, - - 16, 17, 18, 19, 20, 5, 5, 21, 22, 23, - 24, 25, 26, 27, 28, 29, 30, 31, 32, 5, - 33, 5, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1 - } ; - -static yyconst int yy_meta[34] = - { 0, - 1, 1, 2, 3, 4, 1, 5, 4, 4, 6, - 1, 4, 4, 4, 4, 4, 4, 4, 4, 4, - 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, - 4, 4, 4 - } ; - -static yyconst short int yy_base[205] = - { 0, - 0, 0, 396, 397, 397, 397, 0, 385, 27, 385, - 29, 0, 25, 31, 32, 33, 38, 42, 35, 49, - 50, 54, 46, 57, 63, 75, 65, 98, 58, 389, - 382, 397, 0, 382, 381, 380, 68, 87, 0, 71, - 80, 92, 89, 378, 93, 73, 96, 70, 102, 99, - 105, 106, 113, 40, 114, 115, 121, 120, 124, 122, - 126, 125, 127, 128, 129, 138, 139, 145, 377, 148, - 149, 130, 154, 151, 157, 159, 397, 0, 377, 161, - 375, 156, 162, 163, 171, 158, 173, 374, 175, 373, - 176, 179, 180, 183, 185, 372, 187, 190, 191, 192, - - 371, 370, 369, 368, 367, 188, 208, 366, 198, 365, - 200, 364, 201, 204, 205, 206, 209, 213, 218, 197, - 223, 222, 363, 362, 361, 229, 230, 233, 224, 360, - 234, 236, 237, 359, 358, 238, 240, 244, 247, 249, - 250, 251, 257, 254, 357, 356, 259, 355, 261, 262, - 354, 271, 353, 264, 272, 352, 351, 274, 275, 350, - 282, 349, 348, 347, 346, 345, 344, 343, 342, 341, - 267, 336, 331, 277, 326, 283, 319, 285, 284, 317, - 315, 311, 310, 288, 291, 292, 293, 295, 298, 301, - 299, 302, 303, 306, 308, 309, 307, 212, 397, 333, - - 336, 339, 344, 89 - } ; - -static yyconst short int yy_def[205] = - { 0, - 199, 1, 199, 199, 199, 199, 200, 201, 202, 199, - 201, 203, 201, 201, 201, 201, 201, 201, 201, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 201, 200, - 201, 199, 204, 199, 199, 199, 201, 201, 203, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, - 201, 201, 201, 201, 201, 201, 199, 204, 199, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, - - 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, - 201, 201, 201, 201, 201, 201, 201, 201, 0, 199, - - 199, 199, 199, 199 - } ; - -static yyconst short int yy_nxt[431] = - { 0, - 4, 5, 6, 7, 8, 9, 10, 8, 11, 4, - 12, 13, 14, 15, 16, 17, 18, 19, 8, 20, - 21, 22, 23, 8, 24, 8, 25, 26, 27, 28, - 29, 8, 8, 34, 32, 35, 37, 38, 32, 40, - 32, 32, 32, 45, 32, 41, 42, 32, 46, 32, - 53, 32, 47, 50, 43, 32, 48, 44, 32, 32, - 49, 56, 51, 32, 95, 58, 32, 32, 52, 60, - 54, 55, 32, 57, 32, 61, 80, 32, 62, 32, - 32, 76, 32, 59, 32, 81, 87, 63, 69, 32, - 64, 70, 78, 65, 37, 38, 32, 71, 32, 89, - - 82, 32, 32, 66, 67, 32, 68, 32, 32, 83, - 72, 32, 84, 85, 32, 32, 90, 73, 74, 91, - 86, 93, 32, 32, 32, 75, 88, 97, 92, 32, - 32, 32, 98, 32, 32, 32, 32, 32, 32, 32, - 100, 94, 96, 99, 101, 103, 104, 32, 32, 108, - 102, 112, 109, 105, 32, 110, 107, 32, 32, 106, - 32, 111, 116, 32, 113, 32, 32, 32, 32, 80, - 32, 32, 32, 115, 118, 119, 117, 114, 120, 121, - 32, 122, 32, 123, 32, 32, 125, 127, 32, 32, - 129, 124, 32, 126, 32, 130, 32, 32, 131, 32, - - 32, 32, 133, 128, 134, 132, 32, 32, 135, 32, - 32, 151, 136, 32, 32, 32, 137, 32, 32, 145, - 146, 32, 32, 138, 142, 139, 143, 32, 140, 144, - 141, 32, 32, 32, 147, 149, 152, 148, 32, 32, - 154, 150, 32, 32, 153, 32, 32, 32, 156, 32, - 155, 159, 157, 32, 158, 162, 32, 160, 32, 32, - 32, 161, 164, 32, 166, 168, 32, 171, 32, 163, - 32, 32, 170, 32, 172, 165, 32, 167, 173, 169, - 32, 32, 175, 32, 32, 181, 32, 177, 174, 178, - 176, 32, 32, 32, 32, 180, 179, 32, 183, 185, - - 32, 32, 32, 186, 32, 182, 184, 32, 32, 191, - 32, 32, 32, 187, 188, 32, 32, 32, 32, 32, - 32, 189, 195, 190, 32, 192, 32, 193, 32, 198, - 194, 197, 196, 30, 30, 32, 30, 30, 30, 31, - 32, 31, 33, 33, 39, 32, 39, 39, 39, 39, - 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, - 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, - 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, - 32, 32, 32, 32, 32, 79, 32, 32, 36, 35, - 79, 32, 77, 36, 32, 199, 3, 199, 199, 199, - - 199, 199, 199, 199, 199, 199, 199, 199, 199, 199, - 199, 199, 199, 199, 199, 199, 199, 199, 199, 199, - 199, 199, 199, 199, 199, 199, 199, 199, 199, 199 - } ; - -static yyconst short int yy_chk[431] = - { 0, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 9, 13, 9, 11, 11, 11, 13, - 14, 15, 16, 15, 19, 13, 14, 17, 16, 54, - 19, 18, 16, 18, 14, 23, 16, 14, 20, 21, - 17, 21, 18, 22, 54, 22, 24, 29, 18, 23, - 20, 20, 25, 21, 27, 24, 37, 37, 25, 48, - 40, 29, 46, 22, 26, 40, 46, 26, 27, 41, - 26, 27, 204, 26, 38, 38, 38, 27, 43, 48, - - 41, 42, 45, 26, 26, 47, 26, 28, 50, 42, - 28, 49, 43, 45, 51, 52, 49, 28, 28, 50, - 45, 52, 53, 55, 56, 28, 47, 56, 51, 58, - 57, 60, 57, 59, 62, 61, 63, 64, 65, 72, - 58, 53, 55, 57, 59, 61, 62, 66, 67, 65, - 60, 67, 65, 62, 68, 65, 64, 70, 71, 63, - 74, 66, 72, 73, 68, 82, 75, 86, 76, 80, - 80, 83, 84, 71, 74, 75, 73, 70, 76, 82, - 85, 83, 87, 84, 89, 91, 86, 89, 92, 93, - 92, 85, 94, 87, 95, 93, 97, 106, 94, 98, - - 99, 100, 97, 91, 98, 95, 120, 109, 99, 111, - 113, 120, 100, 114, 115, 116, 106, 107, 117, 114, - 115, 198, 118, 107, 109, 107, 111, 119, 107, 113, - 107, 122, 121, 129, 116, 118, 121, 117, 126, 127, - 126, 119, 128, 131, 122, 132, 133, 136, 128, 137, - 127, 132, 129, 138, 131, 137, 139, 133, 140, 141, - 142, 136, 139, 144, 140, 141, 143, 144, 147, 138, - 149, 150, 143, 154, 147, 139, 171, 140, 149, 142, - 152, 155, 152, 158, 159, 171, 174, 155, 150, 158, - 154, 161, 176, 179, 178, 161, 159, 184, 176, 179, - - 185, 186, 187, 184, 188, 174, 178, 189, 191, 189, - 190, 192, 193, 185, 186, 194, 197, 195, 196, 183, - 182, 187, 193, 188, 181, 190, 180, 191, 177, 197, - 192, 195, 194, 200, 200, 175, 200, 200, 200, 201, - 173, 201, 202, 202, 203, 172, 203, 203, 203, 203, - 170, 169, 168, 167, 166, 165, 164, 163, 162, 160, - 157, 156, 153, 151, 148, 146, 145, 135, 134, 130, - 125, 124, 123, 112, 110, 108, 105, 104, 103, 102, - 101, 96, 90, 88, 81, 79, 69, 44, 36, 35, - 34, 31, 30, 10, 8, 3, 199, 199, 199, 199, - - 199, 199, 199, 199, 199, 199, 199, 199, 199, 199, - 199, 199, 199, 199, 199, 199, 199, 199, 199, 199, - 199, 199, 199, 199, 199, 199, 199, 199, 199, 199 - } ; - -static yy_state_type yy_state_buf[YY_BUF_SIZE + 2], *yy_state_ptr; -static char *yy_full_match; -static int yy_lp; -#define REJECT \ -{ \ -*yy_cp = yy_hold_char; /* undo effects of setting up yytext */ \ -yy_cp = yy_full_match; /* restore poss. backed-over text */ \ -++yy_lp; \ -goto find_rule; \ -} -#define yymore() yymore_used_but_not_detected -#define YY_MORE_ADJ 0 -#define YY_RESTORE_YY_MORE_OFFSET -char *yytext; -#line 1 "Lexer.l" -#define INITIAL 0 -/*===-- Lexer.l - Scanner for llvm assembly files ----------------*- C++ -*--=// -// -// This file implements the flex scanner for LLVM assembly languages files. -// -//===------------------------------------------------------------------------=*/ -#define YY_NEVER_INTERACTIVE 1 -#line 21 "Lexer.l" -#include "ParserInternals.h" -#include "llvm/BasicBlock.h" -#include "llvm/Method.h" -#include "llvm/Module.h" -#include <list> -#include "llvmAsmParser.h" - -#define RET_TOK(type, Enum, sym) \ - llvmAsmlval.type = Instruction::Enum; return sym - - -// TODO: All of the static identifiers are figured out by the lexer, -// these should be hashed. - - -// atoull - Convert an ascii string of decimal digits into the unsigned long -// long representation... this does not have to do input error checking, -// because we know that the input will be matched by a suitable regex... -// -uint64_t atoull(const char *Buffer) { - uint64_t Result = 0; - for (; *Buffer; Buffer++) { - uint64_t OldRes = Result; - Result *= 10; - Result += *Buffer-'0'; - if (Result < OldRes) { // Uh, oh, overflow detected!!! - ThrowException("constant bigger than 64 bits detected!"); - } - } - return Result; -} - - -#define YY_NEVER_INTERACTIVE 1 -/* Comments start with a ; and go till end of line */ -/* Variable(Value) identifiers start with a % sign */ -/* Label identifiers end with a colon */ -/* Quoted names can contain any character except " and \ */ -/* [PN]Integer: match positive and negative literal integer values that - * are preceeded by a '%' character. These represent unnamed variable slots. - */ -/* E[PN]Integer: match positive and negative literal integer values */ -/* FPConstant - A Floating point constant. - TODO: Expand lexer to support 10e50 FP constant notation */ -#line 620 "Lexer.cpp" - -/* Macros after this point can all be overridden by user definitions in - * section 1. - */ - -#ifndef YY_SKIP_YYWRAP -#ifdef __cplusplus -extern "C" int yywrap YY_PROTO(( void )); -#else -extern int yywrap YY_PROTO(( void )); -#endif -#endif - -#ifndef YY_NO_UNPUT -static inline void yyunput YY_PROTO(( int c, char *buf_ptr )); -#endif - -#ifndef yytext_ptr -static void yy_flex_strncpy YY_PROTO(( char *, yyconst char *, int )); -#endif - -#ifdef YY_NEED_STRLEN -static int yy_flex_strlen YY_PROTO(( yyconst char * )); -#endif - -#ifndef YY_NO_INPUT -#ifdef __cplusplus -static int yyinput YY_PROTO(( void )); -#else -static int input YY_PROTO(( void )); -#endif -#endif - -#if YY_STACK_USED -static int yy_start_stack_ptr = 0; -static int yy_start_stack_depth = 0; -static int *yy_start_stack = 0; -#ifndef YY_NO_PUSH_STATE -static void yy_push_state YY_PROTO(( int new_state )); -#endif -#ifndef YY_NO_POP_STATE -static void yy_pop_state YY_PROTO(( void )); -#endif -#ifndef YY_NO_TOP_STATE -static int yy_top_state YY_PROTO(( void )); -#endif - -#else -#define YY_NO_PUSH_STATE 1 -#define YY_NO_POP_STATE 1 -#define YY_NO_TOP_STATE 1 -#endif - -#ifdef YY_MALLOC_DECL -YY_MALLOC_DECL -#else -#if __STDC__ -#ifndef __cplusplus -#include <stdlib.h> -#endif -#else -/* Just try to get by without declaring the routines. This will fail - * miserably on non-ANSI systems for which sizeof(size_t) != sizeof(int) - * or sizeof(void*) != sizeof(int). - */ -#endif -#endif - -/* Amount of stuff to slurp up with each read. */ -#ifndef YY_READ_BUF_SIZE -#define YY_READ_BUF_SIZE 8192 -#endif - -/* Copy whatever the last rule matched to the standard output. */ - -#ifndef ECHO -/* This used to be an fputs(), but since the string might contain NUL's, - * we now use fwrite(). - */ -#define ECHO (void) fwrite( yytext, yyleng, 1, yyout ) -#endif - -/* Gets input and stuffs it into "buf". number of characters read, or YY_NULL, - * is returned in "result". - */ -#ifndef YY_INPUT -#define YY_INPUT(buf,result,max_size) \ - if ( yy_current_buffer->yy_is_interactive ) \ - { \ - int c = '*', n; \ - for ( n = 0; n < max_size && \ - (c = getc( yyin )) != EOF && c != '\n'; ++n ) \ - buf[n] = (char) c; \ - if ( c == '\n' ) \ - buf[n++] = (char) c; \ - if ( c == EOF && ferror( yyin ) ) \ - YY_FATAL_ERROR( "input in flex scanner failed" ); \ - result = n; \ - } \ - else if ( ((result = fread( buf, 1, max_size, yyin )) == 0) \ - && ferror( yyin ) ) \ - YY_FATAL_ERROR( "input in flex scanner failed" ); -#endif - -/* No semi-colon after return; correct usage is to write "yyterminate();" - - * we don't want an extra ';' after the "return" because that will cause - * some compilers to complain about unreachable statements. - */ -#ifndef yyterminate -#define yyterminate() return YY_NULL -#endif - -/* Number of entries by which start-condition stack grows. */ -#ifndef YY_START_STACK_INCR -#define YY_START_STACK_INCR 25 -#endif - -/* Report a fatal error. */ -#ifndef YY_FATAL_ERROR -#define YY_FATAL_ERROR(msg) yy_fatal_error( msg ) -#endif - -/* Default declaration of generated scanner - a define so the user can - * easily add parameters. - */ -#ifndef YY_DECL -#define YY_DECL int yylex YY_PROTO(( void )) -#endif - -/* Code executed at the beginning of each rule, after yytext and yyleng - * have been set up. - */ -#ifndef YY_USER_ACTION -#define YY_USER_ACTION -#endif - -/* Code executed at the end of each rule. */ -#ifndef YY_BREAK -#define YY_BREAK break; -#endif - -#define YY_RULE_SETUP \ - YY_USER_ACTION - -YY_DECL - { - register yy_state_type yy_current_state; - register char *yy_cp, *yy_bp; - register int yy_act; - -#line 87 "Lexer.l" - - -#line 774 "Lexer.cpp" - - if ( yy_init ) - { - yy_init = 0; - -#ifdef YY_USER_INIT - YY_USER_INIT; -#endif - - if ( ! yy_start ) - yy_start = 1; /* first start state */ - - if ( ! yyin ) - yyin = stdin; - - if ( ! yyout ) - yyout = stdout; - - if ( ! yy_current_buffer ) - yy_current_buffer = - yy_create_buffer( yyin, YY_BUF_SIZE ); - - yy_load_buffer_state(); - } - - while ( 1 ) /* loops until end-of-file is reached */ - { - yy_cp = yy_c_buf_p; - - /* Support of yytext. */ - *yy_cp = yy_hold_char; - - /* yy_bp points to the position in yy_ch_buf of the start of - * the current run. - */ - yy_bp = yy_cp; - - yy_current_state = yy_start; - yy_state_ptr = yy_state_buf; - *yy_state_ptr++ = yy_current_state; -yy_match: - do - { - register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)]; - while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) - { - yy_current_state = (int) yy_def[yy_current_state]; - if ( yy_current_state >= 200 ) - yy_c = yy_meta[(unsigned int) yy_c]; - } - yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; - *yy_state_ptr++ = yy_current_state; - ++yy_cp; - } - while ( yy_current_state != 199 ); - -yy_find_action: - yy_current_state = *--yy_state_ptr; - yy_lp = yy_accept[yy_current_state]; - for ( ; ; ) /* until we find what rule we matched */ - { - if ( yy_lp && yy_lp < yy_accept[yy_current_state + 1] ) - { - yy_act = yy_acclist[yy_lp]; - { - yy_full_match = yy_cp; - break; - } - } - --yy_cp; - yy_current_state = *--yy_state_ptr; - yy_lp = yy_accept[yy_current_state]; - } - - YY_DO_BEFORE_ACTION; - - if ( yy_act != YY_END_OF_BUFFER ) - { - int yyl; - for ( yyl = 0; yyl < yyleng; ++yyl ) - if ( yytext[yyl] == '\n' ) - ++yylineno; - } - -do_action: /* This label is used only to access EOF actions. */ - - - switch ( yy_act ) - { /* beginning of action switch */ -case 1: -YY_RULE_SETUP -#line 89 "Lexer.l" -{ /* Ignore comments for now */ } - YY_BREAK -case 2: -YY_RULE_SETUP -#line 91 "Lexer.l" -{ return BEGINTOK; } - YY_BREAK -case 3: -YY_RULE_SETUP -#line 92 "Lexer.l" -{ return END; } - YY_BREAK -case 4: -YY_RULE_SETUP -#line 93 "Lexer.l" -{ return TRUE; } - YY_BREAK -case 5: -YY_RULE_SETUP -#line 94 "Lexer.l" -{ return FALSE; } - YY_BREAK -case 6: -YY_RULE_SETUP -#line 95 "Lexer.l" -{ return DECLARE; } - YY_BREAK -case 7: -YY_RULE_SETUP -#line 96 "Lexer.l" -{ return IMPLEMENTATION; } - YY_BREAK -case 8: -YY_RULE_SETUP -#line 98 "Lexer.l" -{ llvmAsmlval.TypeVal = Type::VoidTy ; return VOID; } - YY_BREAK -case 9: -YY_RULE_SETUP -#line 99 "Lexer.l" -{ llvmAsmlval.TypeVal = Type::BoolTy ; return BOOL; } - YY_BREAK -case 10: -YY_RULE_SETUP -#line 100 "Lexer.l" -{ llvmAsmlval.TypeVal = Type::SByteTy ; return SBYTE; } - YY_BREAK -case 11: -YY_RULE_SETUP -#line 101 "Lexer.l" -{ llvmAsmlval.TypeVal = Type::UByteTy ; return UBYTE; } - YY_BREAK -case 12: -YY_RULE_SETUP -#line 102 "Lexer.l" -{ llvmAsmlval.TypeVal = Type::ShortTy ; return SHORT; } - YY_BREAK -case 13: -YY_RULE_SETUP -#line 103 "Lexer.l" -{ llvmAsmlval.TypeVal = Type::UShortTy; return USHORT; } - YY_BREAK -case 14: -YY_RULE_SETUP -#line 104 "Lexer.l" -{ llvmAsmlval.TypeVal = Type::IntTy ; return INT; } - YY_BREAK -case 15: -YY_RULE_SETUP -#line 105 "Lexer.l" -{ llvmAsmlval.TypeVal = Type::UIntTy ; return UINT; } - YY_BREAK -case 16: -YY_RULE_SETUP -#line 106 "Lexer.l" -{ llvmAsmlval.TypeVal = Type::LongTy ; return LONG; } - YY_BREAK -case 17: -YY_RULE_SETUP -#line 107 "Lexer.l" -{ llvmAsmlval.TypeVal = Type::ULongTy ; return ULONG; } - YY_BREAK -case 18: -YY_RULE_SETUP -#line 108 "Lexer.l" -{ llvmAsmlval.TypeVal = Type::FloatTy ; return FLOAT; } - YY_BREAK -case 19: -YY_RULE_SETUP -#line 109 "Lexer.l" -{ llvmAsmlval.TypeVal = Type::DoubleTy; return DOUBLE; } - YY_BREAK -case 20: -YY_RULE_SETUP -#line 111 "Lexer.l" -{ llvmAsmlval.TypeVal = Type::TypeTy ; return TYPE; } - YY_BREAK -case 21: -YY_RULE_SETUP -#line 113 "Lexer.l" -{ llvmAsmlval.TypeVal = Type::LabelTy ; return LABEL; } - YY_BREAK -case 22: -YY_RULE_SETUP -#line 116 "Lexer.l" -{ RET_TOK(UnaryOpVal, Not, NOT); } - YY_BREAK -case 23: -YY_RULE_SETUP -#line 118 "Lexer.l" -{ RET_TOK(BinaryOpVal, Add, ADD); } - YY_BREAK -case 24: -YY_RULE_SETUP -#line 119 "Lexer.l" -{ RET_TOK(BinaryOpVal, Sub, SUB); } - YY_BREAK -case 25: -YY_RULE_SETUP -#line 120 "Lexer.l" -{ RET_TOK(BinaryOpVal, Mul, MUL); } - YY_BREAK -case 26: -YY_RULE_SETUP -#line 121 "Lexer.l" -{ RET_TOK(BinaryOpVal, Div, DIV); } - YY_BREAK -case 27: -YY_RULE_SETUP -#line 122 "Lexer.l" -{ RET_TOK(BinaryOpVal, Rem, REM); } - YY_BREAK -case 28: -YY_RULE_SETUP -#line 123 "Lexer.l" -{ RET_TOK(BinaryOpVal, SetNE, SETNE); } - YY_BREAK -case 29: -YY_RULE_SETUP -#line 124 "Lexer.l" -{ RET_TOK(BinaryOpVal, SetEQ, SETEQ); } - YY_BREAK -case 30: -YY_RULE_SETUP -#line 125 "Lexer.l" -{ RET_TOK(BinaryOpVal, SetLT, SETLT); } - YY_BREAK -case 31: -YY_RULE_SETUP -#line 126 "Lexer.l" -{ RET_TOK(BinaryOpVal, SetGT, SETGT); } - YY_BREAK -case 32: -YY_RULE_SETUP -#line 127 "Lexer.l" -{ RET_TOK(BinaryOpVal, SetLE, SETLE); } - YY_BREAK -case 33: -YY_RULE_SETUP -#line 128 "Lexer.l" -{ RET_TOK(BinaryOpVal, SetGE, SETGE); } - YY_BREAK -case 34: -YY_RULE_SETUP -#line 130 "Lexer.l" -{ return TO; } - YY_BREAK -case 35: -YY_RULE_SETUP -#line 131 "Lexer.l" -{ RET_TOK(OtherOpVal, PHINode, PHI); } - YY_BREAK -case 36: -YY_RULE_SETUP -#line 132 "Lexer.l" -{ RET_TOK(OtherOpVal, Call, CALL); } - YY_BREAK -case 37: -YY_RULE_SETUP -#line 133 "Lexer.l" -{ RET_TOK(OtherOpVal, Cast, CAST); } - YY_BREAK -case 38: -YY_RULE_SETUP -#line 134 "Lexer.l" -{ RET_TOK(OtherOpVal, Shl, SHL); } - YY_BREAK -case 39: -YY_RULE_SETUP -#line 135 "Lexer.l" -{ RET_TOK(OtherOpVal, Shr, SHR); } - YY_BREAK -case 40: -YY_RULE_SETUP -#line 137 "Lexer.l" -{ RET_TOK(TermOpVal, Ret, RET); } - YY_BREAK -case 41: -YY_RULE_SETUP -#line 138 "Lexer.l" -{ RET_TOK(TermOpVal, Br, BR); } - YY_BREAK -case 42: -YY_RULE_SETUP -#line 139 "Lexer.l" -{ RET_TOK(TermOpVal, Switch, SWITCH); } - YY_BREAK -case 43: -YY_RULE_SETUP -#line 142 "Lexer.l" -{ RET_TOK(MemOpVal, Malloc, MALLOC); } - YY_BREAK -case 44: -YY_RULE_SETUP -#line 143 "Lexer.l" -{ RET_TOK(MemOpVal, Alloca, ALLOCA); } - YY_BREAK -case 45: -YY_RULE_SETUP -#line 144 "Lexer.l" -{ RET_TOK(MemOpVal, Free, FREE); } - YY_BREAK -case 46: -YY_RULE_SETUP -#line 145 "Lexer.l" -{ RET_TOK(MemOpVal, Load, LOAD); } - YY_BREAK -case 47: -YY_RULE_SETUP -#line 146 "Lexer.l" -{ RET_TOK(MemOpVal, Store, STORE); } - YY_BREAK -case 48: -YY_RULE_SETUP -#line 147 "Lexer.l" -{ RET_TOK(MemOpVal, GetElementPtr, GETELEMENTPTR); } - YY_BREAK -case 49: -YY_RULE_SETUP -#line 150 "Lexer.l" -{ llvmAsmlval.StrVal = strdup(yytext+1); return VAR_ID; } - YY_BREAK -case 50: -YY_RULE_SETUP -#line 151 "Lexer.l" -{ - yytext[strlen(yytext)-1] = 0; // nuke colon - llvmAsmlval.StrVal = strdup(yytext); - return LABELSTR; - } - YY_BREAK -case 51: -YY_RULE_SETUP -#line 157 "Lexer.l" -{ - yytext[strlen(yytext)-1] = 0; // nuke end quote - llvmAsmlval.StrVal = strdup(yytext+1); // Nuke start quote - return STRINGCONSTANT; - } - YY_BREAK -case 52: -YY_RULE_SETUP -#line 164 "Lexer.l" -{ llvmAsmlval.UInt64Val = atoull(yytext); return EUINT64VAL; } - YY_BREAK -case 53: -YY_RULE_SETUP -#line 165 "Lexer.l" -{ - uint64_t Val = atoull(yytext+1); - // +1: we have bigger negative range - if (Val > (uint64_t)INT64_MAX+1) - ThrowException("Constant too large for signed 64 bits!"); - llvmAsmlval.SInt64Val = -Val; - return ESINT64VAL; - } - YY_BREAK -case 54: -YY_RULE_SETUP -#line 175 "Lexer.l" -{ llvmAsmlval.UIntVal = atoull(yytext+1); return UINTVAL; } - YY_BREAK -case 55: -YY_RULE_SETUP -#line 176 "Lexer.l" -{ - uint64_t Val = atoull(yytext+2); - // +1: we have bigger negative range - if (Val > (uint64_t)INT32_MAX+1) - ThrowException("Constant too large for signed 32 bits!"); - llvmAsmlval.SIntVal = -Val; - return SINTVAL; - } - YY_BREAK -case 56: -YY_RULE_SETUP -#line 185 "Lexer.l" -{ llvmAsmlval.FPVal = atof(yytext); return FPVAL; } - YY_BREAK -case 57: -YY_RULE_SETUP -#line 187 "Lexer.l" -{ /* Ignore whitespace */ } - YY_BREAK -case 58: -YY_RULE_SETUP -#line 188 "Lexer.l" -{ /*printf("'%s'", yytext);*/ return yytext[0]; } - YY_BREAK -case 59: -YY_RULE_SETUP -#line 190 "Lexer.l" -YY_FATAL_ERROR( "flex scanner jammed" ); - YY_BREAK -#line 1182 "Lexer.cpp" - case YY_STATE_EOF(INITIAL): - yyterminate(); - - case YY_END_OF_BUFFER: - { - /* Amount of text matched not including the EOB char. */ - int yy_amount_of_matched_text = (int) (yy_cp - yytext_ptr) - 1; - - /* Undo the effects of YY_DO_BEFORE_ACTION. */ - *yy_cp = yy_hold_char; - YY_RESTORE_YY_MORE_OFFSET - - if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_NEW ) - { - /* We're scanning a new file or input source. It's - * possible that this happened because the user - * just pointed yyin at a new source and called - * yylex(). If so, then we have to assure - * consistency between yy_current_buffer and our - * globals. Here is the right place to do so, because - * this is the first action (other than possibly a - * back-up) that will match for the new input source. - */ - yy_n_chars = yy_current_buffer->yy_n_chars; - yy_current_buffer->yy_input_file = yyin; - yy_current_buffer->yy_buffer_status = YY_BUFFER_NORMAL; - } - - /* Note that here we test for yy_c_buf_p "<=" to the position - * of the first EOB in the buffer, since yy_c_buf_p will - * already have been incremented past the NUL character - * (since all states make transitions on EOB to the - * end-of-buffer state). Contrast this with the test - * in input(). - */ - if ( yy_c_buf_p <= &yy_current_buffer->yy_ch_buf[yy_n_chars] ) - { /* This was really a NUL. */ - yy_state_type yy_next_state; - - yy_c_buf_p = yytext_ptr + yy_amount_of_matched_text; - - yy_current_state = yy_get_previous_state(); - - /* Okay, we're now positioned to make the NUL - * transition. We couldn't have - * yy_get_previous_state() go ahead and do it - * for us because it doesn't know how to deal - * with the possibility of jamming (and we don't - * want to build jamming into it because then it - * will run more slowly). - */ - - yy_next_state = yy_try_NUL_trans( yy_current_state ); - - yy_bp = yytext_ptr + YY_MORE_ADJ; - - if ( yy_next_state ) - { - /* Consume the NUL. */ - yy_cp = ++yy_c_buf_p; - yy_current_state = yy_next_state; - goto yy_match; - } - - else - { - yy_cp = yy_c_buf_p; - goto yy_find_action; - } - } - - else switch ( yy_get_next_buffer() ) - { - case EOB_ACT_END_OF_FILE: - { - yy_did_buffer_switch_on_eof = 0; - - if ( yywrap() ) - { - /* Note: because we've taken care in - * yy_get_next_buffer() to have set up - * yytext, we can now set up - * yy_c_buf_p so that if some total - * hoser (like flex itself) wants to - * call the scanner after we return the - * YY_NULL, it'll still work - another - * YY_NULL will get returned. - */ - yy_c_buf_p = yytext_ptr + YY_MORE_ADJ; - - yy_act = YY_STATE_EOF(YY_START); - goto do_action; - } - - else - { - if ( ! yy_did_buffer_switch_on_eof ) - YY_NEW_FILE; - } - break; - } - - case EOB_ACT_CONTINUE_SCAN: - yy_c_buf_p = - yytext_ptr + yy_amount_of_matched_text; - - yy_current_state = yy_get_previous_state(); - - yy_cp = yy_c_buf_p; - yy_bp = yytext_ptr + YY_MORE_ADJ; - goto yy_match; - - case EOB_ACT_LAST_MATCH: - yy_c_buf_p = - &yy_current_buffer->yy_ch_buf[yy_n_chars]; - - yy_current_state = yy_get_previous_state(); - - yy_cp = yy_c_buf_p; - yy_bp = yytext_ptr + YY_MORE_ADJ; - goto yy_find_action; - } - break; - } - - default: - YY_FATAL_ERROR( - "fatal flex scanner internal error--no action found" ); - } /* end of action switch */ - } /* end of scanning one token */ - } /* end of yylex */ - - -/* yy_get_next_buffer - try to read in a new buffer - * - * Returns a code representing an action: - * EOB_ACT_LAST_MATCH - - * EOB_ACT_CONTINUE_SCAN - continue scanning from current position - * EOB_ACT_END_OF_FILE - end of file - */ - -static int yy_get_next_buffer() - { - register char *dest = yy_current_buffer->yy_ch_buf; - register char *source = yytext_ptr; - register int number_to_move, i; - int ret_val; - - if ( yy_c_buf_p > &yy_current_buffer->yy_ch_buf[yy_n_chars + 1] ) - YY_FATAL_ERROR( - "fatal flex scanner internal error--end of buffer missed" ); - - if ( yy_current_buffer->yy_fill_buffer == 0 ) - { /* Don't try to fill the buffer, so this is an EOF. */ - if ( yy_c_buf_p - yytext_ptr - YY_MORE_ADJ == 1 ) - { - /* We matched a single character, the EOB, so - * treat this as a final EOF. - */ - return EOB_ACT_END_OF_FILE; - } - - else - { - /* We matched some text prior to the EOB, first - * process it. - */ - return EOB_ACT_LAST_MATCH; - } - } - - /* Try to read more data. */ - - /* First move last chars to start of buffer. */ - number_to_move = (int) (yy_c_buf_p - yytext_ptr) - 1; - - for ( i = 0; i < number_to_move; ++i ) - *(dest++) = *(source++); - - if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_EOF_PENDING ) - /* don't do the read, it's not guaranteed to return an EOF, - * just force an EOF - */ - yy_current_buffer->yy_n_chars = yy_n_chars = 0; - - else - { - int num_to_read = - yy_current_buffer->yy_buf_size - number_to_move - 1; - - while ( num_to_read <= 0 ) - { /* Not enough room in the buffer - grow it. */ -#ifdef YY_USES_REJECT - YY_FATAL_ERROR( -"input buffer overflow, can't enlarge buffer because scanner uses REJECT" ); -#else - - /* just a shorter name for the current buffer */ - YY_BUFFER_STATE b = yy_current_buffer; - - int yy_c_buf_p_offset = - (int) (yy_c_buf_p - b->yy_ch_buf); - - if ( b->yy_is_our_buffer ) - { - int new_size = b->yy_buf_size * 2; - - if ( new_size <= 0 ) - b->yy_buf_size += b->yy_buf_size / 8; - else - b->yy_buf_size *= 2; - - b->yy_ch_buf = (char *) - /* Include room in for 2 EOB chars. */ - yy_flex_realloc( (void *) b->yy_ch_buf, - b->yy_buf_size + 2 ); - } - else - /* Can't grow it, we don't own it. */ - b->yy_ch_buf = 0; - - if ( ! b->yy_ch_buf ) - YY_FATAL_ERROR( - "fatal error - scanner input buffer overflow" ); - - yy_c_buf_p = &b->yy_ch_buf[yy_c_buf_p_offset]; - - num_to_read = yy_current_buffer->yy_buf_size - - number_to_move - 1; -#endif - } - - if ( num_to_read > YY_READ_BUF_SIZE ) - num_to_read = YY_READ_BUF_SIZE; - - /* Read in more data. */ - YY_INPUT( (&yy_current_buffer->yy_ch_buf[number_to_move]), - yy_n_chars, num_to_read ); - - yy_current_buffer->yy_n_chars = yy_n_chars; - } - - if ( yy_n_chars == 0 ) - { - if ( number_to_move == YY_MORE_ADJ ) - { - ret_val = EOB_ACT_END_OF_FILE; - yyrestart( yyin ); - } - - else - { - ret_val = EOB_ACT_LAST_MATCH; - yy_current_buffer->yy_buffer_status = - YY_BUFFER_EOF_PENDING; - } - } - - else - ret_val = EOB_ACT_CONTINUE_SCAN; - - yy_n_chars += number_to_move; - yy_current_buffer->yy_ch_buf[yy_n_chars] = YY_END_OF_BUFFER_CHAR; - yy_current_buffer->yy_ch_buf[yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR; - - yytext_ptr = &yy_current_buffer->yy_ch_buf[0]; - - return ret_val; - } - - -/* yy_get_previous_state - get the state just before the EOB char was reached */ - -static yy_state_type yy_get_previous_state() - { - register yy_state_type yy_current_state; - register char *yy_cp; - - yy_current_state = yy_start; - yy_state_ptr = yy_state_buf; - *yy_state_ptr++ = yy_current_state; - - for ( yy_cp = yytext_ptr + YY_MORE_ADJ; yy_cp < yy_c_buf_p; ++yy_cp ) - { - register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1); - while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) - { - yy_current_state = (int) yy_def[yy_current_state]; - if ( yy_current_state >= 200 ) - yy_c = yy_meta[(unsigned int) yy_c]; - } - yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; - *yy_state_ptr++ = yy_current_state; - } - - return yy_current_state; - } - - -/* yy_try_NUL_trans - try to make a transition on the NUL character - * - * synopsis - * next_state = yy_try_NUL_trans( current_state ); - */ - -#ifdef YY_USE_PROTOS -static yy_state_type yy_try_NUL_trans( yy_state_type yy_current_state ) -#else -static yy_state_type yy_try_NUL_trans( yy_current_state ) -yy_state_type yy_current_state; -#endif - { - register int yy_is_jam; - - register YY_CHAR yy_c = 1; - while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) - { - yy_current_state = (int) yy_def[yy_current_state]; - if ( yy_current_state >= 200 ) - yy_c = yy_meta[(unsigned int) yy_c]; - } - yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; - yy_is_jam = (yy_current_state == 199); - if ( ! yy_is_jam ) - *yy_state_ptr++ = yy_current_state; - - return yy_is_jam ? 0 : yy_current_state; - } - - -#ifndef YY_NO_UNPUT -#ifdef YY_USE_PROTOS -static inline void yyunput( int c, register char *yy_bp ) -#else -static inline void yyunput( c, yy_bp ) -int c; -register char *yy_bp; -#endif - { - register char *yy_cp = yy_c_buf_p; - - /* undo effects of setting up yytext */ - *yy_cp = yy_hold_char; - - if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 ) - { /* need to shift things up to make room */ - /* +2 for EOB chars. */ - register int number_to_move = yy_n_chars + 2; - register char *dest = &yy_current_buffer->yy_ch_buf[ - yy_current_buffer->yy_buf_size + 2]; - register char *source = - &yy_current_buffer->yy_ch_buf[number_to_move]; - - while ( source > yy_current_buffer->yy_ch_buf ) - *--dest = *--source; - - yy_cp += (int) (dest - source); - yy_bp += (int) (dest - source); - yy_current_buffer->yy_n_chars = - yy_n_chars = yy_current_buffer->yy_buf_size; - - if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 ) - YY_FATAL_ERROR( "flex scanner push-back overflow" ); - } - - *--yy_cp = (char) c; - - if ( c == '\n' ) - --yylineno; - - yytext_ptr = yy_bp; - yy_hold_char = *yy_cp; - yy_c_buf_p = yy_cp; - } -#endif /* ifndef YY_NO_UNPUT */ - - -#ifdef __cplusplus -static int yyinput() -#else -static int input() -#endif - { - int c; - - *yy_c_buf_p = yy_hold_char; - - if ( *yy_c_buf_p == YY_END_OF_BUFFER_CHAR ) - { - /* yy_c_buf_p now points to the character we want to return. - * If this occurs *before* the EOB characters, then it's a - * valid NUL; if not, then we've hit the end of the buffer. - */ - if ( yy_c_buf_p < &yy_current_buffer->yy_ch_buf[yy_n_chars] ) - /* This was really a NUL. */ - *yy_c_buf_p = '\0'; - - else - { /* need more input */ - int offset = yy_c_buf_p - yytext_ptr; - ++yy_c_buf_p; - - switch ( yy_get_next_buffer() ) - { - case EOB_ACT_LAST_MATCH: - /* This happens because yy_g_n_b() - * sees that we've accumulated a - * token and flags that we need to - * try matching the token before - * proceeding. But for input(), - * there's no matching to consider. - * So convert the EOB_ACT_LAST_MATCH - * to EOB_ACT_END_OF_FILE. - */ - - /* Reset buffer status. */ - yyrestart( yyin ); - - /* fall through */ - - case EOB_ACT_END_OF_FILE: - { - if ( yywrap() ) - return EOF; - - if ( ! yy_did_buffer_switch_on_eof ) - YY_NEW_FILE; -#ifdef __cplusplus - return yyinput(); -#else - return input(); -#endif - } - - case EOB_ACT_CONTINUE_SCAN: - yy_c_buf_p = yytext_ptr + offset; - break; - } - } - } - - c = *(unsigned char *) yy_c_buf_p; /* cast for 8-bit char's */ - *yy_c_buf_p = '\0'; /* preserve yytext */ - yy_hold_char = *++yy_c_buf_p; - - if ( c == '\n' ) - ++yylineno; - - return c; - } - - -#ifdef YY_USE_PROTOS -void yyrestart( FILE *input_file ) -#else -void yyrestart( input_file ) -FILE *input_file; -#endif - { - if ( ! yy_current_buffer ) - yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); - - yy_init_buffer( yy_current_buffer, input_file ); - yy_load_buffer_state(); - } - - -#ifdef YY_USE_PROTOS -void yy_switch_to_buffer( YY_BUFFER_STATE new_buffer ) -#else -void yy_switch_to_buffer( new_buffer ) -YY_BUFFER_STATE new_buffer; -#endif - { - if ( yy_current_buffer == new_buffer ) - return; - - if ( yy_current_buffer ) - { - /* Flush out information for old buffer. */ - *yy_c_buf_p = yy_hold_char; - yy_current_buffer->yy_buf_pos = yy_c_buf_p; - yy_current_buffer->yy_n_chars = yy_n_chars; - } - - yy_current_buffer = new_buffer; - yy_load_buffer_state(); - - /* We don't actually know whether we did this switch during - * EOF (yywrap()) processing, but the only time this flag - * is looked at is after yywrap() is called, so it's safe - * to go ahead and always set it. - */ - yy_did_buffer_switch_on_eof = 1; - } - - -#ifdef YY_USE_PROTOS -void yy_load_buffer_state( void ) -#else -void yy_load_buffer_state() -#endif - { - yy_n_chars = yy_current_buffer->yy_n_chars; - yytext_ptr = yy_c_buf_p = yy_current_buffer->yy_buf_pos; - yyin = yy_current_buffer->yy_input_file; - yy_hold_char = *yy_c_buf_p; - } - - -#ifdef YY_USE_PROTOS -YY_BUFFER_STATE yy_create_buffer( FILE *file, int size ) -#else -YY_BUFFER_STATE yy_create_buffer( file, size ) -FILE *file; -int size; -#endif - { - YY_BUFFER_STATE b; - - b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) ); - if ( ! b ) - YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" ); - - b->yy_buf_size = size; - - /* yy_ch_buf has to be 2 characters longer than the size given because - * we need to put in 2 end-of-buffer characters. - */ - b->yy_ch_buf = (char *) yy_flex_alloc( b->yy_buf_size + 2 ); - if ( ! b->yy_ch_buf ) - YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" ); - - b->yy_is_our_buffer = 1; - - yy_init_buffer( b, file ); - - return b; - } - - -#ifdef YY_USE_PROTOS -void yy_delete_buffer( YY_BUFFER_STATE b ) -#else -void yy_delete_buffer( b ) -YY_BUFFER_STATE b; -#endif - { - if ( ! b ) - return; - - if ( b == yy_current_buffer ) - yy_current_buffer = (YY_BUFFER_STATE) 0; - - if ( b->yy_is_our_buffer ) - yy_flex_free( (void *) b->yy_ch_buf ); - - yy_flex_free( (void *) b ); - } - - -#ifndef YY_ALWAYS_INTERACTIVE -#ifndef YY_NEVER_INTERACTIVE -extern int isatty YY_PROTO(( int )); -#endif -#endif - -#ifdef YY_USE_PROTOS -void yy_init_buffer( YY_BUFFER_STATE b, FILE *file ) -#else -void yy_init_buffer( b, file ) -YY_BUFFER_STATE b; -FILE *file; -#endif - - - { - yy_flush_buffer( b ); - - b->yy_input_file = file; - b->yy_fill_buffer = 1; - -#if YY_ALWAYS_INTERACTIVE - b->yy_is_interactive = 1; -#else -#if YY_NEVER_INTERACTIVE - b->yy_is_interactive = 0; -#else - b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0; -#endif -#endif - } - - -#ifdef YY_USE_PROTOS -void yy_flush_buffer( YY_BUFFER_STATE b ) -#else -void yy_flush_buffer( b ) -YY_BUFFER_STATE b; -#endif - - { - if ( ! b ) - return; - - b->yy_n_chars = 0; - - /* We always need two end-of-buffer characters. The first causes - * a transition to the end-of-buffer state. The second causes - * a jam in that state. - */ - b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR; - b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR; - - b->yy_buf_pos = &b->yy_ch_buf[0]; - - b->yy_at_bol = 1; - b->yy_buffer_status = YY_BUFFER_NEW; - - if ( b == yy_current_buffer ) - yy_load_buffer_state(); - } - - -#ifndef YY_NO_SCAN_BUFFER -#ifdef YY_USE_PROTOS -YY_BUFFER_STATE yy_scan_buffer( char *base, yy_size_t size ) -#else -YY_BUFFER_STATE yy_scan_buffer( base, size ) -char *base; -yy_size_t size; -#endif - { - YY_BUFFER_STATE b; - - if ( size < 2 || - base[size-2] != YY_END_OF_BUFFER_CHAR || - base[size-1] != YY_END_OF_BUFFER_CHAR ) - /* They forgot to leave room for the EOB's. */ - return 0; - - b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) ); - if ( ! b ) - YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" ); - - b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */ - b->yy_buf_pos = b->yy_ch_buf = base; - b->yy_is_our_buffer = 0; - b->yy_input_file = 0; - b->yy_n_chars = b->yy_buf_size; - b->yy_is_interactive = 0; - b->yy_at_bol = 1; - b->yy_fill_buffer = 0; - b->yy_buffer_status = YY_BUFFER_NEW; - - yy_switch_to_buffer( b ); - - return b; - } -#endif - - -#ifndef YY_NO_SCAN_STRING -#ifdef YY_USE_PROTOS -YY_BUFFER_STATE yy_scan_string( yyconst char *yy_str ) -#else -YY_BUFFER_STATE yy_scan_string( yy_str ) -yyconst char *yy_str; -#endif - { - int len; - for ( len = 0; yy_str[len]; ++len ) - ; - - return yy_scan_bytes( yy_str, len ); - } -#endif - - -#ifndef YY_NO_SCAN_BYTES -#ifdef YY_USE_PROTOS -YY_BUFFER_STATE yy_scan_bytes( yyconst char *bytes, int len ) -#else -YY_BUFFER_STATE yy_scan_bytes( bytes, len ) -yyconst char *bytes; -int len; -#endif - { - YY_BUFFER_STATE b; - char *buf; - yy_size_t n; - int i; - - /* Get memory for full buffer, including space for trailing EOB's. */ - n = len + 2; - buf = (char *) yy_flex_alloc( n ); - if ( ! buf ) - YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" ); - - for ( i = 0; i < len; ++i ) - buf[i] = bytes[i]; - - buf[len] = buf[len+1] = YY_END_OF_BUFFER_CHAR; - - b = yy_scan_buffer( buf, n ); - if ( ! b ) - YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" ); - - /* It's okay to grow etc. this buffer, and we should throw it - * away when we're done. - */ - b->yy_is_our_buffer = 1; - - return b; - } -#endif - - -#ifndef YY_NO_PUSH_STATE -#ifdef YY_USE_PROTOS -static void yy_push_state( int new_state ) -#else -static void yy_push_state( new_state ) -int new_state; -#endif - { - if ( yy_start_stack_ptr >= yy_start_stack_depth ) - { - yy_size_t new_size; - - yy_start_stack_depth += YY_START_STACK_INCR; - new_size = yy_start_stack_depth * sizeof( int ); - - if ( ! yy_start_stack ) - yy_start_stack = (int *) yy_flex_alloc( new_size ); - - else - yy_start_stack = (int *) yy_flex_realloc( - (void *) yy_start_stack, new_size ); - - if ( ! yy_start_stack ) - YY_FATAL_ERROR( - "out of memory expanding start-condition stack" ); - } - - yy_start_stack[yy_start_stack_ptr++] = YY_START; - - BEGIN(new_state); - } -#endif - - -#ifndef YY_NO_POP_STATE -static void yy_pop_state() - { - if ( --yy_start_stack_ptr < 0 ) - YY_FATAL_ERROR( "start-condition stack underflow" ); - - BEGIN(yy_start_stack[yy_start_stack_ptr]); - } -#endif - - -#ifndef YY_NO_TOP_STATE -static int yy_top_state() - { - return yy_start_stack[yy_start_stack_ptr - 1]; - } -#endif - -#ifndef YY_EXIT_FAILURE -#define YY_EXIT_FAILURE 2 -#endif - -#ifdef YY_USE_PROTOS -static void yy_fatal_error( yyconst char msg[] ) -#else -static void yy_fatal_error( msg ) -char msg[]; -#endif - { - (void) fprintf( stderr, "%s\n", msg ); - exit( YY_EXIT_FAILURE ); - } - - - -/* Redefine yyless() so it works in section 3 code. */ - -#undef yyless -#define yyless(n) \ - do \ - { \ - /* Undo effects of setting up yytext. */ \ - yytext[yyleng] = yy_hold_char; \ - yy_c_buf_p = yytext + n; \ - yy_hold_char = *yy_c_buf_p; \ - *yy_c_buf_p = '\0'; \ - yyleng = n; \ - } \ - while ( 0 ) - - -/* Internal utility routines. */ - -#ifndef yytext_ptr -#ifdef YY_USE_PROTOS -static void yy_flex_strncpy( char *s1, yyconst char *s2, int n ) -#else -static void yy_flex_strncpy( s1, s2, n ) -char *s1; -yyconst char *s2; -int n; -#endif - { - register int i; - for ( i = 0; i < n; ++i ) - s1[i] = s2[i]; - } -#endif - -#ifdef YY_NEED_STRLEN -#ifdef YY_USE_PROTOS -static int yy_flex_strlen( yyconst char *s ) -#else -static int yy_flex_strlen( s ) -yyconst char *s; -#endif - { - register int n; - for ( n = 0; s[n]; ++n ) - ; - - return n; - } -#endif - - -#ifdef YY_USE_PROTOS -static void *yy_flex_alloc( yy_size_t size ) -#else -static void *yy_flex_alloc( size ) -yy_size_t size; -#endif - { - return (void *) malloc( size ); - } - -#ifdef YY_USE_PROTOS -static inline void *yy_flex_realloc( void *ptr, yy_size_t size ) -#else -static inline void *yy_flex_realloc( ptr, size ) -void *ptr; -yy_size_t size; -#endif - { - /* The cast to (char *) in the following accommodates both - * implementations that use char* generic pointers, and those - * that use void* generic pointers. It works with the latter - * because both ANSI C and C++ allow castless assignment from - * any pointer type to void*, and deal with argument conversions - * as though doing an assignment. - */ - return (void *) realloc( (char *) ptr, size ); - } - -#ifdef YY_USE_PROTOS -static void yy_flex_free( void *ptr ) -#else -static void yy_flex_free( ptr ) -void *ptr; -#endif - { - free( ptr ); - } - -#if YY_MAIN -int main() - { - yylex(); - return 0; - } -#endif -#line 190 "Lexer.l" - diff --git a/lib/AsmParser/Lexer.l b/lib/AsmParser/Lexer.l index 159cfbf..1f4ea1a 100644 --- a/lib/AsmParser/Lexer.l +++ b/lib/AsmParser/Lexer.l @@ -94,6 +94,7 @@ true { return TRUE; } false { return FALSE; } declare { return DECLARE; } implementation { return IMPLEMENTATION; } +\.\.\. { return DOTDOTDOT; } void { llvmAsmlval.TypeVal = Type::VoidTy ; return VOID; } bool { llvmAsmlval.TypeVal = Type::BoolTy ; return BOOL; } diff --git a/lib/AsmParser/llvmAsmParser.h b/lib/AsmParser/llvmAsmParser.h deleted file mode 100644 index 7f4e30f..0000000 --- a/lib/AsmParser/llvmAsmParser.h +++ /dev/null @@ -1,91 +0,0 @@ -typedef union { - Module *ModuleVal; - Method *MethodVal; - MethodArgument *MethArgVal; - BasicBlock *BasicBlockVal; - TerminatorInst *TermInstVal; - Instruction *InstVal; - ConstPoolVal *ConstVal; - const Type *TypeVal; - - list<MethodArgument*> *MethodArgList; - list<Value*> *ValueList; - list<const Type*> *TypeList; - list<pair<Value*, BasicBlock*> > *PHIList; // Represent the RHS of PHI node - list<pair<ConstPoolVal*, BasicBlock*> > *JumpTable; - vector<ConstPoolVal*> *ConstVector; - - int64_t SInt64Val; - uint64_t UInt64Val; - int SIntVal; - unsigned UIntVal; - double FPVal; - - char *StrVal; // This memory is allocated by strdup! - ValID ValIDVal; // May contain memory allocated by strdup - - Instruction::UnaryOps UnaryOpVal; - Instruction::BinaryOps BinaryOpVal; - Instruction::TermOps TermOpVal; - Instruction::MemoryOps MemOpVal; - Instruction::OtherOps OtherOpVal; -} YYSTYPE; -#define ESINT64VAL 257 -#define EUINT64VAL 258 -#define SINTVAL 259 -#define UINTVAL 260 -#define FPVAL 261 -#define VOID 262 -#define BOOL 263 -#define SBYTE 264 -#define UBYTE 265 -#define SHORT 266 -#define USHORT 267 -#define INT 268 -#define UINT 269 -#define LONG 270 -#define ULONG 271 -#define FLOAT 272 -#define DOUBLE 273 -#define STRING 274 -#define TYPE 275 -#define LABEL 276 -#define VAR_ID 277 -#define LABELSTR 278 -#define STRINGCONSTANT 279 -#define IMPLEMENTATION 280 -#define TRUE 281 -#define FALSE 282 -#define BEGINTOK 283 -#define END 284 -#define DECLARE 285 -#define TO 286 -#define RET 287 -#define BR 288 -#define SWITCH 289 -#define NOT 290 -#define ADD 291 -#define SUB 292 -#define MUL 293 -#define DIV 294 -#define REM 295 -#define SETLE 296 -#define SETGE 297 -#define SETLT 298 -#define SETGT 299 -#define SETEQ 300 -#define SETNE 301 -#define MALLOC 302 -#define ALLOCA 303 -#define FREE 304 -#define LOAD 305 -#define STORE 306 -#define GETELEMENTPTR 307 -#define PHI 308 -#define CALL 309 -#define CAST 310 -#define SHL 311 -#define SHR 312 - - -extern YYSTYPE llvmAsmlval; diff --git a/lib/AsmParser/llvmAsmParser.y b/lib/AsmParser/llvmAsmParser.y index 28a768d..e3084ba 100644 --- a/lib/AsmParser/llvmAsmParser.y +++ b/lib/AsmParser/llvmAsmParser.y @@ -427,7 +427,7 @@ Module *RunVMAsmParser(const string &Filename, FILE *F) { %type <MethArgVal> ArgVal %type <PHIList> PHIList %type <ValueList> ValueRefList ValueRefListE // For call param lists -%type <TypeList> TypeList +%type <TypeList> TypeList ArgTypeList %type <JumpTable> JumpTable %type <ValIDVal> ValueRef ConstValueRef // Reference to a definition or BB @@ -455,7 +455,7 @@ Module *RunVMAsmParser(const string &Filename, FILE *F) { %type <StrVal> OptVAR_ID OptAssign -%token IMPLEMENTATION TRUE FALSE BEGINTOK END DECLARE TO +%token IMPLEMENTATION TRUE FALSE BEGINTOK END DECLARE TO DOTDOTDOT // Basic Block Terminating Operators %token <TermOpVal> RET BR SWITCH @@ -713,6 +713,10 @@ ArgListH : ArgVal ',' ArgListH { $$ = new list<MethodArgument*>(); $$->push_front($1); } + | DOTDOTDOT { + $$ = new list<MethodArgument*>(); + $$->push_back(new MethodArgument(Type::VoidTy)); + } ArgList : ArgListH { $$ = $1; @@ -819,7 +823,7 @@ Types : ValueRef { ConstPoolType *CPT = (ConstPoolType*)D->castConstantAsserting(); $$ = CPT->getValue(); } - | TypesV '(' TypeList ')' { // Method derived type? + | TypesV '(' ArgTypeList ')' { // Method derived type? MethodType::ParamTypes Params($3->begin(), $3->end()); delete $3; $$ = checkNewType(MethodType::getMethodType($1, Params)); @@ -846,7 +850,6 @@ Types : ValueRef { $$ = checkNewType(PointerType::getPointerType($1)); } - TypeList : Types { $$ = new list<const Type*>(); $$->push_back($1); @@ -855,6 +858,11 @@ TypeList : Types { ($$=$1)->push_back($3); } +ArgTypeList : TypeList + | TypeList ',' DOTDOTDOT { + ($$=$1)->push_back(Type::VoidTy); + } + BasicBlockList : BasicBlockList BasicBlock { $1->getBasicBlocks().push_back($2); @@ -995,41 +1003,41 @@ InstVal : BinaryOps Types ValueRef ',' ValueRef { delete $2; // Free the list... } | CALL Types ValueRef '(' ValueRefListE ')' { - if (!$2->isMethodType()) - ThrowException("Can only call methods: invalid type '" + - $2->getName() + "'!"); - - const MethodType *Ty = (const MethodType*)$2; - - Value *V = getVal(Ty, $3); - if (!V->isMethod() || V->getType() != Ty) - ThrowException("Cannot call: " + $3.getName() + "!"); - - // Create or access a new type that corresponds to the function call... - vector<Value *> Params; + const MethodType *Ty; + + if (!(Ty = $2->isMethodType())) { + // Pull out the types of all of the arguments... + vector<const Type*> ParamTypes; + for (list<Value*>::iterator I = $5->begin(), E = $5->end(); I != E; ++I) + ParamTypes.push_back((*I)->getType()); + Ty = MethodType::get($2, ParamTypes); + } - if ($5) { - // Pull out just the arguments... - Params.insert(Params.begin(), $5->begin(), $5->end()); - delete $5; + Value *V = getVal(Ty, $3); // Get the method we're calling... + // Create the call node... + if (!$5) { // Has no arguments? + $$ = new CallInst(V->castMethodAsserting(), vector<Value*>()); + } else { // Has arguments? // Loop through MethodType's arguments and ensure they are specified // correctly! // MethodType::ParamTypes::const_iterator I = Ty->getParamTypes().begin(); - unsigned i; - for (i = 0; i < Params.size() && I != Ty->getParamTypes().end(); ++i,++I){ - if (Params[i]->getType() != *I) - ThrowException("Parameter " + utostr(i) + " is not of type '" + + MethodType::ParamTypes::const_iterator E = Ty->getParamTypes().end(); + list<Value*>::iterator ArgI = $5->begin(), ArgE = $5->end(); + + for (; ArgI != ArgE && I != E; ++ArgI, ++I) + if ((*ArgI)->getType() != *I) + ThrowException("Parameter " +(*ArgI)->getName()+ " is not of type '" + (*I)->getName() + "'!"); - } - if (i != Params.size() || I != Ty->getParamTypes().end()) + if (I != E || (ArgI != ArgE && !Ty->isVarArg())) ThrowException("Invalid number of parameters detected!"); - } - // Create the call node... - $$ = new CallInst((Method*)V, Params); + $$ = new CallInst(V->castMethodAsserting(), + vector<Value*>($5->begin(), $5->end())); + } + delete $5; } | MemoryInst { $$ = $1; |