#define fdopen(fd, mode) _fdopen(fd, mode)
#define popen(cmd, mode) _popen(cmd, mode)
#define pclose(file) _pclose(file)
+#define unlink(filename) _unlink(filename)
#else
#include <unistd.h>
#define HAVE_MKSTEMP
#endif
-#ifndef WITH_LIBCORE
-#define WITH_LIBCORE
-#endif
-
#include <libfirm/firm.h>
#include <libfirm/be.h>
#include "types.h"
#include "type_hash.h"
#include "parser.h"
+#include "type_t.h"
#include "ast2firm.h"
#include "diagnostic.h"
#include "lang_features.h"
#include "write_caml.h"
#include "revision.h"
#include "warning.h"
+#include "mangle.h"
#ifndef PREPROCESSOR
#ifdef __APPLE__
-#define PREPROCESSOR "gcc -E -std=c99 -U__WCHAR_TYPE__ -D__WCHAR_TYPE__=int -U__SIZE_TYPE__ -D__SIZE_TYPE__=unsigned\\ long -m32 -U__STRICT_ANSI__"
+#define PREPROCESSOR "gcc -E -std=c99 -m32 -U__STRICT_ANSI__"
#else
-#define PREPROCESSOR "cpp -std=c99 -U__WCHAR_TYPE__ -D__WCHAR_TYPE__=int -U__SIZE_TYPE__ -D__SIZE_TYPE__=unsigned\\ long -m32 -U__STRICT_ANSI__"
+#define PREPROCESSOR "cpp -std=c99 -m32 -U__STRICT_ANSI__"
#endif
#endif
#endif
/** The current c mode/dialect. */
-unsigned int c_mode = _C89|_C99|_GNUC;
+unsigned int c_mode = _C89 | _ANSI | _C99 | _GNUC;
/** The 'machine size', 16, 32 or 64 bit, 32bit is the default. */
unsigned int machine_size = 32;
/** use builtins for some libc functions */
bool use_builtins = false;
+/** we have extern function with const attribute. */
+bool have_const_functions = false;
+
+atomic_type_kind_t wchar_atomic_kind = ATOMIC_TYPE_INT;
+
/* to switch on printing of implicit casts */
extern bool print_implicit_casts;
FILETYPE_AUTODETECT,
FILETYPE_C,
FILETYPE_PREPROCESSED_C,
+ FILETYPE_CXX,
+ FILETYPE_PREPROCESSED_CXX,
FILETYPE_ASSEMBLER,
FILETYPE_PREPROCESSED_ASSEMBLER,
FILETYPE_OBJECT,
} filetype_t;
struct file_list_entry_t {
- const char *name; /**< filename or NULL for stdin */
- filetype_t type;
+ const char *name; /**< filename or NULL for stdin */
+ filetype_t type;
file_list_entry_t *next;
};
+static file_list_entry_t *temp_files;
+
#if defined(_DEBUG) || defined(FIRM_DEBUG)
/**
* Debug printf implementation.
va_end(ap);
}
+static const char *type_to_string(type_t *type)
+{
+ assert(type->kind == TYPE_ATOMIC);
+ return get_atomic_kind_name(type->atomic.akind);
+}
+
static FILE *preprocess(const char *fname)
{
obstack_1grow(&cppflags_obst, '\0');
const char *flags = obstack_finish(&cppflags_obst);
obstack_printf(&cppflags_obst, "%s", PREPROCESSOR);
+
+ /* setup default defines */
+ add_flag(&cppflags_obst, "-U__WCHAR_TYPE__");
+ add_flag(&cppflags_obst, "-D__WCHAR_TYPE__=%s",
+ type_to_string(type_wchar_t));
+ add_flag(&cppflags_obst, "-U__SIZE_TYPE__");
+ add_flag(&cppflags_obst, "-D__SIZE_TYPE__=%s", type_to_string(type_size_t));
+
+ /* handle dependency generation */
if (dep_target[0] != '\0') {
add_flag(&cppflags_obst, "-MF");
add_flag(&cppflags_obst, "%s", dep_target);
exit(1);
}
+ file_list_entry_t *entry = xmalloc(sizeof(*entry));
+ memset(entry, 0, sizeof(*entry));
+
+ size_t name_len = strlen(buffer) + 1;
+ char *name = malloc(name_len);
+ memcpy(name, buffer, name_len);
+ entry->name = name;
+
+ entry->next = temp_files;
+ temp_files = entry;
+
return out;
}
+static void free_temp_files(void)
+{
+ file_list_entry_t *entry = temp_files;
+ file_list_entry_t *next;
+ for ( ; entry != NULL; entry = next) {
+ next = entry->next;
+
+ unlink(entry->name);
+ free((char*) entry->name);
+ free(entry);
+ }
+ temp_files = NULL;
+}
+
/**
* Do the necessary lowering for compound parameters.
*/
{
if (streq(string, "c") || streq(string, "c-header"))
return FILETYPE_C;
+ if (streq(string, "c++") || streq(string, "c++-header"))
+ return FILETYPE_CXX;
if (streq(string, "assembler"))
return FILETYPE_PREPROCESSED_ASSEMBLER;
if (streq(string, "assembler-with-cpp"))
return FILETYPE_UNKNOWN;
}
+static void init_os_support(void)
+{
+ /* OS option must be set to the backend */
+ switch (firm_opt.os_support) {
+ case OS_SUPPORT_MINGW:
+ set_be_option("ia32-gasmode=mingw");
+ wchar_atomic_kind = ATOMIC_TYPE_USHORT;
+ break;
+ case OS_SUPPORT_LINUX:
+ set_be_option("ia32-gasmode=elf");
+ break;
+ case OS_SUPPORT_MACHO:
+ set_be_option("ia32-gasmode=macho");
+ set_be_option("ia32-stackalign=4");
+ set_be_option("pic");
+ break;
+ }
+}
+
+typedef enum lang_standard_t {
+ STANDARD_DEFAULT, /* gnu99 (for C, GCC does gnu89) or gnu++98 (for C++) */
+ STANDARD_ANSI, /* c89 (for C) or c++98 (for C++) */
+ STANDARD_C89, /* ISO C90 (sic) */
+ STANDARD_C90, /* ISO C90 as modified in amendment 1 */
+ STANDARD_C99, /* ISO C99 */
+ STANDARD_GNU89, /* ISO C90 plus GNU extensions (including some C99) */
+ STANDARD_GNU99, /* ISO C99 plus GNU extensions */
+ STANDARD_CXX98, /* ISO C++ 1998 plus amendments */
+ STANDARD_GNUXX98 /* ISO C++ 1998 plus amendments and GNU extensions */
+} lang_standard_t;
+
int main(int argc, char **argv)
{
initialize_firm();
bool construct_dep_target = false;
struct obstack file_obst;
+ atexit(free_temp_files);
+
+ /* hack for now... */
+ if (strstr(argv[0], "pptest") != NULL) {
+ extern int pptest_main(int argc, char **argv);
+ return pptest_main(argc, argv);
+ }
+
obstack_init(&cppflags_obst);
obstack_init(&ldflags_obst);
obstack_init(&file_obst);
#define SINGLE_OPTION(ch) (option[0] == (ch) && option[1] == '\0')
- /* early options parsing (find out optimisation level) */
- for(int i = 1; i < argc; ++i) {
+ /* early options parsing (find out optimisation level and OS) */
+ for (int i = 1; i < argc; ++i) {
const char *arg = argv[i];
if(arg[0] != '-')
continue;
const char *option = &arg[1];
- if(option[0] == 'O') {
+ if (option[0] == 'O') {
sscanf(&option[1], "%d", &opt_level);
}
+ if (strcmp(arg, "-fwin32") == 0) {
+ firm_opt.os_support = OS_SUPPORT_MINGW;
+ } else if (strcmp(arg, "-fmac") == 0) {
+ firm_opt.os_support = OS_SUPPORT_MACHO;
+ } else if (strcmp(arg, "-flinux") == 0) {
+ firm_opt.os_support = OS_SUPPORT_LINUX;
+ }
}
+ /* set target/os specific stuff */
+ init_os_support();
+
/* apply optimisation level */
switch(opt_level) {
case 0:
default:
case 4:
set_option("strict-aliasing");
+ /* use_builtins = true; */
/* fallthrough */
case 3:
set_option("cond-eval");
set_option("if-conv");
- use_builtins = true;
/* fallthrough */
case 2:
set_option("inline");
}
/* parse rest of options */
- filetype_t forced_filetype = FILETYPE_AUTODETECT;
- bool help_displayed = false;
- bool argument_errors = false;
+ lang_standard_t standard = STANDARD_DEFAULT;
+ unsigned features_on = 0;
+ unsigned features_off = 0;
+ filetype_t forced_filetype = FILETYPE_AUTODETECT;
+ bool help_displayed = false;
+ bool argument_errors = false;
for(int i = 1; i < argc; ++i) {
const char *arg = argv[i];
- if(arg[0] == '-' && arg[1] != 0) {
+ if (arg[0] == '-' && arg[1] != '\0') {
/* an option */
const char *option = &arg[1];
if(option[0] == 'o') {
} else if(SINGLE_OPTION('v')) {
verbose = 1;
} else if(SINGLE_OPTION('w')) {
- inhibit_all_warnings = true;
+ memset(&warning, 0, sizeof(warning));
} else if(option[0] == 'x') {
const char *opt;
GET_ARG_AFTER(opt, "-x");
if (streq(opt, "dollars-in-identifiers")) {
allow_dollar_in_symbol = truth_value;
+ } if (streq(opt, "builtins")) {
+ use_builtins = truth_value;
} else if (streq(opt, "short-wchar")) {
- opt_short_wchar_t = truth_value;
+ wchar_atomic_kind = truth_value ? ATOMIC_TYPE_USHORT
+ : ATOMIC_TYPE_INT;
} else if (streq(opt, "syntax-only")) {
mode = truth_value ? ParseOnly : CompileAssembleLink;
} else if (streq(opt, "omit-frame-pointer")) {
} else if (streq(option, "shared")) {
add_flag(&ldflags_obst, "-shared");
} else if (strstart(option, "std=")) {
- if (streq(&option[4], "c99")) {
- c_mode = _C89|_C99;
- } else if (streq(&option[4], "c89")) {
- c_mode = _C89;
- } else if (streq(&option[4], "gnu99")) {
- c_mode = _C89|_C99|_GNUC;
- } else if (streq(&option[4], "microsoft")) {
- c_mode = _C89|_C99|_MS;
- } else
- fprintf(stderr, "warning: ignoring gcc option '%s'\n", arg);
+ const char *const o = &option[4];
+ standard =
+ streq(o, "c++") ? STANDARD_CXX98 :
+ streq(o, "c++98") ? STANDARD_CXX98 :
+ streq(o, "c89") ? STANDARD_C89 :
+ streq(o, "c99") ? STANDARD_C99 :
+ streq(o, "c9x") ? STANDARD_C99 : // deprecated
+ streq(o, "gnu++98") ? STANDARD_GNUXX98 :
+ streq(o, "gnu89") ? STANDARD_GNU89 :
+ streq(o, "gnu99") ? STANDARD_GNU99 :
+ streq(o, "gnu9x") ? STANDARD_GNU99 : // deprecated
+ streq(o, "iso9899:1990") ? STANDARD_C89 :
+ streq(o, "iso9899:199409") ? STANDARD_C90 :
+ streq(o, "iso9899:1999") ? STANDARD_C99 :
+ streq(o, "iso9899:199x") ? STANDARD_C99 : // deprecated
+ (fprintf(stderr, "warning: ignoring gcc option '%s'\n", arg), standard);
} else if (streq(option, "version")) {
print_cparser_version();
} else if (option[0] == '-') {
/* double dash option */
++option;
if (streq(option, "gcc")) {
- c_mode |= _GNUC;
+ features_on |= _GNUC;
+ features_off &= ~_GNUC;
} else if (streq(option, "no-gcc")) {
- c_mode &= ~_GNUC;
+ features_on &= ~_GNUC;
+ features_off |= _GNUC;
} else if (streq(option, "ms")) {
- c_mode |= _MS;
+ features_on |= _MS;
+ features_off &= ~_MS;
} else if (streq(option, "no-ms")) {
- c_mode &= ~_MS;
+ features_on &= ~_MS;
+ features_off |= _MS;
} else if (streq(option, "signed-chars")) {
char_is_signed = true;
} else if (streq(option, "unsigned-chars")) {
argument_errors = true;
}
} else {
- filetype_t type = forced_filetype;
- const char *filename = arg;
+ filetype_t type = forced_filetype;
if (type == FILETYPE_AUTODETECT) {
- size_t const len = strlen(arg);
- if (len < 2 && arg[0] == '-') {
+ if (streq(arg, "-")) {
/* - implicitly means C source file */
- type = FILETYPE_C;
- filename = NULL;
- } else if (len > 2 && arg[len - 2] == '.') {
- switch (arg[len - 1]) {
- case 'c': type = FILETYPE_C; break;
- case 'h': type = FILETYPE_C; break;
- case 's': type = FILETYPE_PREPROCESSED_ASSEMBLER; break;
- case 'S': type = FILETYPE_ASSEMBLER; break;
-
- case 'a':
- case 'o': type = FILETYPE_OBJECT; break;
- }
- } else if (len > 3 && arg[len - 3] == '.') {
- if (streq(arg + len - 2, "so")) {
- type = FILETYPE_OBJECT;
+ type = FILETYPE_C;
+ } else {
+ const char *suffix = strrchr(arg, '.');
+ /* Ensure there is at least one char before the suffix */
+ if (suffix != NULL && suffix != arg) {
+ ++suffix;
+ type =
+ streq(suffix, "S") ? FILETYPE_ASSEMBLER :
+ streq(suffix, "a") ? FILETYPE_OBJECT :
+ streq(suffix, "c") ? FILETYPE_C :
+ streq(suffix, "cc") ? FILETYPE_CXX :
+ streq(suffix, "cpp") ? FILETYPE_CXX :
+ streq(suffix, "cxx") ? FILETYPE_CXX :
+ streq(suffix, "h") ? FILETYPE_C :
+ streq(suffix, "o") ? FILETYPE_OBJECT :
+ streq(suffix, "s") ? FILETYPE_PREPROCESSED_ASSEMBLER :
+ streq(suffix, "so") ? FILETYPE_OBJECT :
+ FILETYPE_AUTODETECT;
}
}
gen_firm_init();
init_symbol_table();
- init_tokens();
init_types();
init_typehash();
init_basic_types();
init_ast();
init_parser();
init_ast2firm();
+ init_mangle();
if (construct_dep_target) {
if (outname != 0 && strlen(outname) >= 2) {
case PrintCaml:
case LexTest:
case PreprocessOnly:
- outname = "-";
- break;
case ParseOnly:
+ outname = "-";
break;
case Compile:
get_output_name(outnamebuf, sizeof(outnamebuf), filename, ".s");
const char *filename = file->name;
filetype_t filetype = file->type;
- if (file->type == FILETYPE_OBJECT)
+ if (filetype == FILETYPE_OBJECT)
continue;
FILE *in = NULL;
}
FILE *preprocessed_in = NULL;
- if (filetype == FILETYPE_C || filetype == FILETYPE_ASSEMBLER) {
- /* no support for input on FILE* yet */
- if (in != NULL)
- panic("internal compiler error: in for preprocessor != NULL");
-
- preprocessed_in = preprocess(filename);
- if (mode == PreprocessOnly) {
- copy_file(out, preprocessed_in);
- int result = pclose(preprocessed_in);
- fclose(out);
- return result;
- }
+ switch (filetype) {
+ case FILETYPE_C: filetype = FILETYPE_PREPROCESSED_C; goto preprocess;
+ case FILETYPE_CXX: filetype = FILETYPE_PREPROCESSED_CXX; goto preprocess;
+ case FILETYPE_ASSEMBLER: filetype = FILETYPE_PREPROCESSED_ASSEMBLER; goto preprocess;
+preprocess:
+ /* no support for input on FILE* yet */
+ if (in != NULL)
+ panic("internal compiler error: in for preprocessor != NULL");
+
+ preprocessed_in = preprocess(filename);
+ if (mode == PreprocessOnly) {
+ copy_file(out, preprocessed_in);
+ int result = pclose(preprocessed_in);
+ fclose(out);
+ return result;
+ }
- if (filetype == FILETYPE_C) {
- filetype = FILETYPE_PREPROCESSED_C;
- } else if (filetype == FILETYPE_ASSEMBLER) {
- filetype = FILETYPE_PREPROCESSED_ASSEMBLER;
- } else {
- panic("internal compiler error: unknown filetype at preproc");
- }
+ in = preprocessed_in;
+ break;
- in = preprocessed_in;
+ default:
+ break;
}
FILE *asm_out;
if(mode == Compile) {
asm_out = out;
} else {
- asm_out = make_temp_file(asm_tempfile, sizeof(asm_tempfile),
- "ccs");
+ asm_out = make_temp_file(asm_tempfile, sizeof(asm_tempfile), "ccs");
}
if (in == NULL)
/* preprocess and compile */
if (filetype == FILETYPE_PREPROCESSED_C) {
- translation_unit_t *const unit = do_parsing(in, filename);
- if (in == preprocessed_in) {
- int pp_result = pclose(preprocessed_in);
- if (pp_result != EXIT_SUCCESS) {
- exit(EXIT_FAILURE);
- }
+ char const* invalid_mode;
+ switch (standard) {
+ case STANDARD_ANSI:
+ case STANDARD_C89: c_mode = _C89; break;
+ /* TODO ^v determine difference between these two */
+ case STANDARD_C90: c_mode = _C89; break;
+ case STANDARD_C99: c_mode = _C89 | _C99; break;
+ case STANDARD_GNU89: c_mode = _C89 | _GNUC; break;
+
+default_c_warn:
+ fprintf(stderr,
+ "warning: command line option \"-std=%s\" is not valid for C\n",
+ invalid_mode);
+ /* FALLTHROUGH */
+ case STANDARD_DEFAULT:
+ case STANDARD_GNU99: c_mode = _C89 | _C99 | _GNUC; break;
+
+ case STANDARD_CXX98: invalid_mode = "c++98"; goto default_c_warn;
+ case STANDARD_GNUXX98: invalid_mode = "gnu98"; goto default_c_warn;
}
+ goto do_parsing;
+ } else if (filetype == FILETYPE_PREPROCESSED_CXX) {
+ char const* invalid_mode;
+ switch (standard) {
+ case STANDARD_C89: invalid_mode = "c89"; goto default_cxx_warn;
+ case STANDARD_C90: invalid_mode = "c90"; goto default_cxx_warn;
+ case STANDARD_C99: invalid_mode = "c99"; goto default_cxx_warn;
+ case STANDARD_GNU89: invalid_mode = "gnu89"; goto default_cxx_warn;
+ case STANDARD_GNU99: invalid_mode = "gnu99"; goto default_cxx_warn;
+
+ case STANDARD_ANSI:
+ case STANDARD_CXX98: c_mode = _CXX; break;
+
+default_cxx_warn:
+ fprintf(stderr,
+ "warning: command line option \"-std=%s\" is not valid for C++\n",
+ invalid_mode);
+ case STANDARD_DEFAULT:
+ case STANDARD_GNUXX98: c_mode = _CXX | _GNUC; break;
+ }
+
+do_parsing:
+ c_mode |= features_on;
+ c_mode &= ~features_off;
+ init_tokens();
+ translation_unit_t *const unit = do_parsing(in, filename);
/* prints the AST even if errors occurred */
if (mode == PrintAst) {
fprintf(stderr, "%u warning(s)\n", warning_count);
}
+ if (in == preprocessed_in) {
+ int pp_result = pclose(preprocessed_in);
+ if (pp_result != EXIT_SUCCESS) {
+ exit(EXIT_FAILURE);
+ }
+ }
+
if(mode == BenchmarkParser) {
return result;
} else if(mode == PrintFluffy) {
}
gen_firm_finish(asm_out, filename, /*c_mode=*/1,
- /*firm_const_exists=*/0);
+ have_const_functions);
if (asm_out != out) {
fclose(asm_out);
}
-
} else if (filetype == FILETYPE_PREPROCESSED_ASSEMBLER) {
copy_file(asm_out, in);
if (in == preprocessed_in) {
obstack_free(&ldflags_obst, NULL);
obstack_free(&file_obst, NULL);
+ exit_mangle();
exit_ast2firm();
exit_parser();
exit_ast();
projects / cparser / blobdiff