#include "adt/strset.h"
#include "adt/util.h"
#include "type_t.h"
+#include "target_architecture.h"
#include <assert.h>
#include <errno.h>
#define strtold(s, e) strtod(s, e)
#endif
-#define HAS_SIGNED_CHAR
-//#define HAS_UNSIGNED_CHAR
-
#if defined HAS_SIGNED_CHAR
typedef signed char char_type;
#elif defined HAS_UNSIGNED_CHAR
static type_t *type_int = NULL;
static type_t *type_uint = NULL;
+static type_t *type_long = NULL;
static type_t *type_ulong = NULL;
static type_t *type_longlong = NULL;
static type_t *type_ulonglong = NULL;
}
}
-static void parse_integer_suffix(void)
+static void parse_integer_suffix(bool is_oct_hex)
{
+ bool is_unsigned = false;
+ bool min_long = false;
+ bool min_longlong = false;
+
if(c == 'U' || c == 'u') {
+ is_unsigned = true;
next_char();
if(c == 'L' || c == 'l') {
+ min_long = true;
next_char();
if(c == 'L' || c == 'l') {
+ min_longlong = true;
next_char();
- lexer_token.datatype = type_ulonglong;
- } else {
- lexer_token.datatype = type_ulong;
}
- } else {
- lexer_token.datatype = type_uint;
}
} else if(c == 'l' || c == 'L') {
+ min_long = true;
next_char();
if(c == 'l' || c == 'L') {
+ min_longlong = true;
next_char();
if(c == 'u' || c == 'U') {
+ is_unsigned = true;
next_char();
- lexer_token.datatype = type_ulonglong;
- } else {
- lexer_token.datatype = type_longlong;
}
} else if(c == 'u' || c == 'U') {
+ is_unsigned = true;
next_char();
lexer_token.datatype = type_ulong;
- } else {
- lexer_token.datatype = type_int;
}
+ }
+
+ if(!is_unsigned) {
+ long long v = lexer_token.v.intvalue;
+ if(!min_long) {
+ if(v >= TARGET_INT_MIN && v <= TARGET_INT_MAX) {
+ lexer_token.datatype = type_int;
+ return;
+ } else if(is_oct_hex && v >= 0 && v <= TARGET_UINT_MAX) {
+ lexer_token.datatype = type_uint;
+ return;
+ }
+ }
+ if(!min_longlong) {
+ if(v >= TARGET_LONG_MIN && v <= TARGET_LONG_MAX) {
+ lexer_token.datatype = type_long;
+ return;
+ } else if(is_oct_hex && v >= 0 && v <= TARGET_ULONG_MAX) {
+ lexer_token.datatype = type_ulong;
+ return;
+ }
+ }
+ unsigned long long uv = (unsigned long long) v;
+ if(is_oct_hex && uv > (unsigned long long) TARGET_LONGLONG_MAX) {
+ lexer_token.datatype = type_ulonglong;
+ return;
+ }
+
+ lexer_token.datatype = type_longlong;
} else {
- lexer_token.datatype = type_int;
+ unsigned long long v = (unsigned long long) lexer_token.v.intvalue;
+ if(!min_long && v <= TARGET_UINT_MAX) {
+ lexer_token.datatype = type_uint;
+ return;
+ }
+ if(!min_longlong && v <= TARGET_ULONG_MAX) {
+ lexer_token.datatype = type_ulong;
+ return;
+ }
+ lexer_token.datatype = type_ulonglong;
}
}
}
obstack_free(&symbol_obstack, string);
- parse_integer_suffix();
+ parse_integer_suffix(true);
}
static inline bool is_octal_digit(int chr)
}
obstack_free(&symbol_obstack, string);
- parse_integer_suffix();
+ parse_integer_suffix(true);
}
static void parse_number_dec(void)
parse_error("invalid number literal");
}
- parse_integer_suffix();
+ parse_integer_suffix(false);
}
obstack_free(&symbol_obstack, string);
}
lexer_token.v.string = result;
}
+static void parse_wide_string_literal(void)
+{
+ const unsigned start_linenr = lexer_token.source_position.linenr;
+
+ assert(c == '"');
+ next_char();
+
+ while(1) {
+ switch(c) {
+ case '\\': {
+ wchar_rep_t tc = parse_escape_sequence();
+ obstack_grow(&symbol_obstack, &tc, sizeof(tc));
+ break;
+ }
+
+ case EOF:
+ error_prefix_at(lexer_token.source_position.input_name,
+ start_linenr);
+ fprintf(stderr, "string has no end\n");
+ lexer_token.type = T_ERROR;
+ return;
+
+ case '"':
+ next_char();
+ goto end_of_string;
+
+ default: {
+ wchar_rep_t tc = c;
+ obstack_grow(&symbol_obstack, &tc, sizeof(tc));
+ next_char();
+ break;
+ }
+ }
+ }
+
+end_of_string:;
+
+ /* TODO: concatenate multiple strings separated by whitespace... */
+
+ /* add finishing 0 to the string */
+ wchar_rep_t nul = L'\0';
+ obstack_grow(&symbol_obstack, &nul, sizeof(nul));
+ const size_t size = (size_t)obstack_object_size(&symbol_obstack) / sizeof(wchar_rep_t);
+ const wchar_rep_t *const string = obstack_finish(&symbol_obstack);
+
+#if 0 /* TODO hash */
+ /* check if there is already a copy of the string */
+ const wchar_rep_t *const result = strset_insert(&stringset, string);
+ if(result != string) {
+ obstack_free(&symbol_obstack, string);
+ }
+#else
+ const wchar_rep_t *const result = string;
+#endif
+
+ lexer_token.type = T_WIDE_STRING_LITERAL;
+ lexer_token.v.wide_string.begin = result;
+ lexer_token.v.wide_string.size = size;
+}
+
static void parse_character_constant(void)
{
eat('\'');
/* might be a wide string ( L"string" ) */
if(c == '"' && (lexer_token.type == T_IDENTIFIER &&
lexer_token.v.symbol == symbol_L)) {
- parse_string_literal();
- return;
+ parse_wide_string_literal();
}
return;
{
strset_init(&stringset);
- type_int = make_atomic_type(ATOMIC_TYPE_INT, TYPE_QUALIFIER_CONST);
- type_uint = make_atomic_type(ATOMIC_TYPE_UINT, TYPE_QUALIFIER_CONST);
- type_ulong = make_atomic_type(ATOMIC_TYPE_ULONG, TYPE_QUALIFIER_CONST);
+ type_int = make_atomic_type(ATOMIC_TYPE_INT, TYPE_QUALIFIER_NONE);
+ type_uint = make_atomic_type(ATOMIC_TYPE_UINT, TYPE_QUALIFIER_NONE);
+ type_long = make_atomic_type(ATOMIC_TYPE_LONG, TYPE_QUALIFIER_NONE);
+ type_ulong = make_atomic_type(ATOMIC_TYPE_ULONG, TYPE_QUALIFIER_NONE);
type_longlong = make_atomic_type(ATOMIC_TYPE_LONGLONG,
- TYPE_QUALIFIER_CONST);
+ TYPE_QUALIFIER_NONE);
type_ulonglong = make_atomic_type(ATOMIC_TYPE_ULONGLONG,
- TYPE_QUALIFIER_CONST);
+ TYPE_QUALIFIER_NONE);
type_float = make_atomic_type(ATOMIC_TYPE_FLOAT, TYPE_QUALIFIER_CONST);
type_double = make_atomic_type(ATOMIC_TYPE_DOUBLE,