123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441 |
- /* Copyright (C) 2016 Jeremiah Orians
- * Copyright (C) 2021 Andrius Štikonas <andrius@stikonas.eu>
- * This file is part of M2-Planet.
- *
- * M2-Planet is free software: you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
- * (at your option) any later version.
- *
- * M2-Planet is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with M2-Planet. If not, see <http://www.gnu.org/licenses/>.
- */
- #include "cc.h"
- int strtoint(char *a);
- /* Globals */
- FILE* input;
- struct token_list* token;
- int line;
- char* file;
- int grab_byte()
- {
- int c = fgetc(input);
- if(10 == c) line = line + 1;
- return c;
- }
- int clearWhiteSpace(int c)
- {
- if((32 == c) || (9 == c)) return clearWhiteSpace(grab_byte());
- return c;
- }
- int consume_byte(int c)
- {
- hold_string[string_index] = c;
- string_index = string_index + 1;
- require(MAX_STRING > string_index, "Token exceeded MAX_STRING char limit\nuse --max-string number to increase\n");
- return grab_byte();
- }
- int preserve_string(int c)
- {
- int frequent = c;
- int escape = FALSE;
- do
- {
- if(!escape && '\\' == c ) escape = TRUE;
- else escape = FALSE;
- c = consume_byte(c);
- require(EOF != c, "Unterminated string\n");
- } while(escape || (c != frequent));
- return grab_byte();
- }
- void copy_string(char* target, char* source, int max)
- {
- int i = 0;
- while(0 != source[i])
- {
- target[i] = source[i];
- i = i + 1;
- if(i == max) break;
- }
- }
- void fixup_label()
- {
- int hold = ':';
- int prev;
- int i = 0;
- do
- {
- prev = hold;
- hold = hold_string[i];
- hold_string[i] = prev;
- i = i + 1;
- } while(0 != hold);
- }
- int preserve_keyword(int c, char* S)
- {
- while(in_set(c, S))
- {
- c = consume_byte(c);
- }
- return c;
- }
- void reset_hold_string()
- {
- int i = MAX_STRING;
- while(0 <= i)
- {
- hold_string[i] = 0;
- i = i - 1;
- }
- string_index = 0;
- }
- /* note if this is the first token in the list, head needs fixing up */
- struct token_list* eat_token(struct token_list* token)
- {
- if(NULL != token->prev)
- {
- token->prev->next = token->next;
- }
- /* update backlinks */
- if(NULL != token->next)
- {
- token->next->prev = token->prev;
- }
- return token->next;
- }
- struct token_list* eat_until_newline(struct token_list* head)
- {
- while (NULL != head)
- {
- if('\n' == head->s[0])
- {
- return head;
- }
- else
- {
- head = eat_token(head);
- }
- }
- return NULL;
- }
- struct token_list* remove_line_comments(struct token_list* head)
- {
- struct token_list* first = NULL;
- while (NULL != head)
- {
- if(match("//", head->s))
- {
- head = eat_until_newline(head);
- }
- else
- {
- if(NULL == first)
- {
- first = head;
- }
- head = head->next;
- }
- }
- return first;
- }
- struct token_list* remove_line_comment_tokens(struct token_list* head)
- {
- struct token_list* first = NULL;
- while (NULL != head)
- {
- if(match("//", head->s))
- {
- head = eat_token(head);
- }
- else
- {
- if(NULL == first)
- {
- first = head;
- }
- head = head->next;
- }
- }
- return first;
- }
- struct token_list* remove_preprocessor_directives(struct token_list* head)
- {
- struct token_list* first = NULL;
- while (NULL != head)
- {
- if('#' == head->s[0])
- {
- head = eat_until_newline(head);
- }
- else
- {
- if(NULL == first)
- {
- first = head;
- }
- head = head->next;
- }
- }
- return first;
- }
- void new_token(char* s, int size)
- {
- struct token_list* current = calloc(1, sizeof(struct token_list));
- require(NULL != current, "Exhausted memory while getting token\n");
- /* More efficiently allocate memory for string */
- current->s = calloc(size, sizeof(char));
- require(NULL != current->s, "Exhausted memory while trying to copy a token\n");
- copy_string(current->s, s, MAX_STRING);
- current->prev = token;
- current->next = token;
- current->linenumber = line;
- current->filename = file;
- token = current;
- }
- int get_token(int c)
- {
- struct token_list* current = calloc(1, sizeof(struct token_list));
- require(NULL != current, "Exhausted memory while getting token\n");
- reset:
- reset_hold_string();
- string_index = 0;
- c = clearWhiteSpace(c);
- if(c == EOF)
- {
- free(current);
- return c;
- }
- else if('#' == c)
- {
- c = consume_byte(c);
- c = preserve_keyword(c, "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789_");
- }
- else if(in_set(c, "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789_"))
- {
- c = preserve_keyword(c, "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789_");
- if(':' == c)
- {
- fixup_label();
- c = ' ';
- }
- }
- else if(in_set(c, "<=>|&!^%"))
- {
- c = preserve_keyword(c, "<=>|&!^%");
- }
- else if(in_set(c, "'\""))
- {
- c = preserve_string(c);
- }
- else if(c == '/')
- {
- c = consume_byte(c);
- if(c == '*')
- {
- c = grab_byte();
- while(c != '/')
- {
- while(c != '*')
- {
- c = grab_byte();
- require(EOF != c, "Hit EOF inside of block comment\n");
- }
- c = grab_byte();
- require(EOF != c, "Hit EOF inside of block comment\n");
- }
- c = grab_byte();
- goto reset;
- }
- else if(c == '/')
- {
- c = consume_byte(c);
- }
- else if(c == '=')
- {
- c = consume_byte(c);
- }
- }
- else if (c == '\n')
- {
- c = consume_byte(c);
- }
- else if(c == '*')
- {
- c = consume_byte(c);
- if(c == '=')
- {
- c = consume_byte(c);
- }
- }
- else if(c == '+')
- {
- c = consume_byte(c);
- if(c == '=')
- {
- c = consume_byte(c);
- }
- if(c == '+')
- {
- c = consume_byte(c);
- }
- }
- else if(c == '-')
- {
- c = consume_byte(c);
- if(c == '=')
- {
- c = consume_byte(c);
- }
- if(c == '>')
- {
- c = consume_byte(c);
- }
- if(c == '-')
- {
- c = consume_byte(c);
- }
- }
- else
- {
- c = consume_byte(c);
- }
- new_token(hold_string, string_index + 2);
- return c;
- }
- int consume_filename(int c)
- {
- reset_hold_string();
- int done = FALSE;
- while(!done)
- {
- if(c == EOF)
- {
- fputs("we don't support EOF as a filename in #FILENAME statements\n", stderr);
- exit(EXIT_FAILURE);
- }
- else if((32 == c) || (9 == c) || (c == '\n'))
- {
- c = grab_byte();
- }
- else
- {
- do
- {
- c = consume_byte(c);
- require(EOF != c, "Unterminated filename in #FILENAME\n");
- } while((32 != c) && (9 != c) && ('\n' != c));
- done = TRUE;
- }
- }
- /* with just a little extra to put in the matching at the end */
- new_token(hold_string, string_index + 3);
- return c;
- }
- int change_filename(int ch)
- {
- require(EOF != ch, "#FILENAME failed to receive filename\n");
- /* Remove the #FILENAME */
- token = token->next;
- /* Get new filename */
- ch = consume_filename(ch);
- file = token->s;
- /* Remove it from the processing list */
- token = token->next;
- require(EOF != ch, "#FILENAME failed to receive filename\n");
- /* Get new line number */
- ch = get_token(ch);
- line = strtoint(token->s);
- if(0 == line)
- {
- if('0' != token->s[0])
- {
- fputs("non-line number: ", stderr);
- fputs(token->s, stderr);
- fputs(" provided to #FILENAME\n", stderr);
- exit(EXIT_FAILURE);
- }
- }
- /* Remove it from the processing list */
- token = token->next;
- return ch;
- }
- struct token_list* reverse_list(struct token_list* head)
- {
- struct token_list* root = NULL;
- struct token_list* next;
- while(NULL != head)
- {
- next = head->next;
- head->next = root;
- root = head;
- head = next;
- }
- return root;
- }
- struct token_list* read_all_tokens(FILE* a, struct token_list* current, char* filename)
- {
- input = a;
- line = 1;
- file = filename;
- token = current;
- int ch = grab_byte();
- while(EOF != ch)
- {
- ch = get_token(ch);
- require(NULL != token, "Empty files don't need to be compiled\n");
- if(match("#FILENAME", token->s)) ch = change_filename(ch);
- }
- return token;
- }
|