#include "driver/firm_cmdline.h"
#include "adt/error.h"
#include "write_fluffy.h"
+#include "write_caml.h"
#include "revision.h"
#include "warning.h"
#ifndef PREPROCESSOR
-#define PREPROCESSOR "cpp -std=c99 -U__WCHAR_TYPE__ -D__WCHAR_TYPE__=int -m32"
+#define PREPROCESSOR "cpp -std=c99 -U__WCHAR_TYPE__ -D__WCHAR_TYPE__=int -U__SIZE_TYPE__ -D__SIZE_TYPE__=__SIZE_TYPE__ -m32"
#endif
#ifndef LINKER
/** true for strict language checking. */
bool strict_mode = false;
+/** use builtins for some libc functions */
+bool use_builtins = false;
+
/* to switch on printing of implicit casts */
extern bool print_implicit_casts;
memcpy(buf+last_dot, newext, extlen);
}
+#include "builtins.h"
+
static translation_unit_t *do_parsing(FILE *const in, const char *const input_name)
{
+ start_parsing();
+
+ if (use_builtins) {
+ lexer_open_buffer(builtins, sizeof(builtins)-1, "<builtin>");
+ parse();
+ }
+
lexer_open_stream(in, input_name);
- translation_unit_t *unit = parse();
+ parse();
+
+ translation_unit_t *unit = finish_parsing();
return unit;
}
} while(lexer_token.type != T_EOF);
}
-static FILE *preprocess(FILE *in, const char *fname, bool to_stdout)
+static void add_flag(struct obstack *obst, const char *format, ...)
+{
+ va_list ap;
+ va_start(ap, format);
+
+ char buf[4096];
+ vsnprintf(buf, sizeof(buf), format, ap);
+
+ /* escape stuff... */
+ obstack_1grow(obst, ' ');
+ for (char *c = buf; *c != '\0'; ++c) {
+ switch(*c) {
+ case '"':
+ case '\'':
+ case '`':
+ case ' ':
+ case '\t':
+ case '\n':
+ case '\r':
+ case '\\':
+ case '$':
+ case '(':
+ case ')':
+ obstack_1grow(obst, '\\');
+ /* fallthrough */
+ default:
+ obstack_1grow(obst, *c);
+ break;
+ }
+ }
+
+ va_end(ap);
+}
+
+static FILE *preprocess(FILE *in, const char *fname)
{
char buf[4096];
obstack_1grow(&cppflags_obst, '\0');
if(verbose) {
puts(buf);
}
- if(to_stdout) {
- int res = system(buf);
- exit(res);
- } else {
- FILE *f = popen(buf, "r");
- if(f == NULL) {
- fprintf(stderr, "invoking preprocessor failed\n");
- exit(1);
- }
- return f;
+
+ FILE *f = popen(buf, "r");
+ if(f == NULL) {
+ fprintf(stderr, "invoking preprocessor failed\n");
+ exit(1);
}
+ return f;
}
static void do_link(const char *out, const char *in)
LexTest,
PrintAst,
PrintFluffy,
- Link
+ PrintCaml,
+ Link,
+ Assemble,
+ AssemblePreprocessed,
} compile_mode_t;
static void usage(const char *argv0)
puts(")\n");
}
+static void set_be_option(const char *arg)
+{
+ int res = firm_be_option(arg);
+ (void) res;
+ assert(res);
+}
+
+static void set_option(const char *arg)
+{
+ int res = firm_option(arg);
+ (void) res;
+ assert(res);
+}
+
+static void copy_file(FILE *dest, FILE *input)
+{
+ char buf[16384];
+
+ while (!feof(input) && !ferror(dest)) {
+ size_t read = fread(buf, 1, sizeof(buf), input);
+ if(fwrite(buf, 1, read, dest) != read) {
+ perror("couldn't write output");
+ }
+ }
+}
+
int main(int argc, char **argv)
{
initialize_firm();
/* apply optimisation level */
switch(opt_level) {
case 0:
- firm_option("no-opt");
+ set_option("no-opt");
break;
case 1:
- firm_option("no-inline");
+ set_option("no-inline");
break;
default:
case 4:
- firm_option("strict-aliasing");
+ set_option("strict-aliasing");
/* fallthrough */
case 3:
- firm_option("cond-eval");
- firm_option("if-conv");
+ set_option("cond-eval");
+ set_option("if-conv");
+ use_builtins = true;
/* fallthrough */
case 2:
- firm_option("inline");
- firm_option("deconv");
- firm_be_option("omitfp");
+ set_option("inline");
+ set_option("deconv");
+ set_be_option("omitfp");
break;
}
if(option[0] == 'o') {
GET_ARG_AFTER(outname, "-o");
} else if(option[0] == 'g') {
- firm_be_option("stabs=yes");
- firm_be_option("omitfp=no");
- firm_be_option("ia32-nooptcc=yes");
+ set_be_option("debuginfo=stabs");
+ set_be_option("omitfp=no");
+ set_be_option("ia32-nooptcc=yes");
} else if(SINGLE_OPTION('c')) {
mode = CompileAssemble;
} else if(SINGLE_OPTION('E')) {
} else if(option[0] == 'I') {
const char *opt;
GET_ARG_AFTER(opt, "-I");
- obstack_printf(&cppflags_obst, " -I%s", opt);
+ add_flag(&cppflags_obst, "-I%s", opt);
} else if(option[0] == 'D') {
const char *opt;
GET_ARG_AFTER(opt, "-D");
- obstack_printf(&cppflags_obst, " -D%s", opt);
+ add_flag(&cppflags_obst, "-D%s", opt);
} else if(option[0] == 'U') {
const char *opt;
GET_ARG_AFTER(opt, "-U");
- obstack_printf(&cppflags_obst, " -U%s", opt);
+ add_flag(&cppflags_obst, "-U%s", opt);
} else if(option[0] == 'l') {
const char *opt;
GET_ARG_AFTER(opt, "-l");
- obstack_printf(&ldflags_obst, " -l%s", opt);
+ add_flag(&ldflags_obst, "-l%s", opt);
} else if(option[0] == 'L') {
const char *opt;
GET_ARG_AFTER(opt, "-L");
- obstack_printf(&ldflags_obst, " -L%s", opt);
+ add_flag(&ldflags_obst, "-L%s", opt);
} else if(SINGLE_OPTION('v')) {
verbose = 1;
} else if(SINGLE_OPTION('w')) {
inhibit_all_warnings = true;
+ } else if(strcmp(option, "M") == 0) {
+ mode = PreprocessOnly;
+ add_flag(&cppflags_obst, "-M");
+ } else if(strcmp(option, "MMD") == 0
+ || strcmp(option, "MD") == 0
+ || strcmp(option, "MM") == 0) {
+ add_flag(&cppflags_obst, "-%s", option);
+ } else if(strcmp(option, "MT") == 0
+ || strcmp(option, "MQ") == 0
+ || strcmp(option, "MF") == 0) {
+ const char *opt;
+ GET_ARG_AFTER(opt, "-MT");
+ add_flag(&cppflags_obst, "-%s", option);
+ add_flag(&cppflags_obst, "%s", opt);
+ } else if(strcmp(option, "pipe") == 0) {
+ /* here for gcc compatibility */
} else if(option[0] == 'f') {
const char *opt;
GET_ARG_AFTER(opt, "-f");
if(strcmp(opt, "syntax-only") == 0) {
mode = ParseOnly;
} else if(strcmp(opt, "omit-frame-pointer") == 0) {
- firm_be_option("omitfp");
+ set_be_option("omitfp");
} else if(strcmp(opt, "no-omit-frame-pointer") == 0) {
- firm_be_option("omitfp=no");
+ set_be_option("omitfp=no");
+ } else if(strcmp(opt, "strength-reduce") == 0) {
+ firm_option("strength-red");
+ } else if(strcmp(opt, "fast-math") == 0
+ || strcmp(opt, "unroll-loops") == 0
+ || strcmp(opt, "expensive-optimizations") == 0
+ || strcmp(opt, "no-common") == 0
+ || strncmp(opt, "align-loops=", sizeof("align-loops=")-1) == 0
+ || strncmp(opt, "align-jumps=", sizeof("align-jumps=")-1) == 0
+ || strncmp(opt, "align-functions=", sizeof("align-functions=")-1) == 0) {
+ fprintf(stderr, "ignoring gcc option '-f %s'\n", opt);
} else {
int res = firm_option(opt);
if (res == 0) {
if (res == 0)
argument_errors = true;
} else if(strcmp(opt, "omit-leaf-frame-pointer") == 0) {
- int res = firm_be_option("omitleaffp=1");
- if (res == 0)
- argument_errors = true;
+ set_be_option("omitleaffp=1");
} else if(strcmp(opt, "no-omit-leaf-frame-pointer") == 0) {
- int res = firm_be_option("omitleaffp=0");
- if (res == 0)
- argument_errors = true;
+ set_be_option("omitleaffp=0");
} else {
char *endptr;
long int value = strtol(opt, &endptr, 10);
input = arg;
}
} else if(strcmp(option, "pg") == 0) {
- firm_be_option("-b gprof");
- obstack_printf(&ldflags_obst, " -pg");
+ set_be_option("gprof");
+ add_flag(&ldflags_obst, "-pg");
} else if(strcmp(option, "pedantic") == 0) {
fprintf(stderr, "warning: ignoring gcc option '%s'\n", arg);
+ } else if(strcmp(option, "shared") == 0) {
+ add_flag(&ldflags_obst, "-shared");
} else if(strncmp(option, "std=", 4) == 0) {
if(strcmp(&option[4], "c99") == 0) {
c_mode = _C89|_C99;
print_parenthesis = true;
} else if(strcmp(option, "print-fluffy") == 0) {
mode = PrintFluffy;
+ } else if(strcmp(option, "print-caml") == 0) {
+ mode = PrintCaml;
} else if(strcmp(option, "version") == 0) {
print_cparser_version();
exit(EXIT_SUCCESS);
continue;
}
- if (strcmp(arg+len-2, ".c") == 0) {
+ if (strcmp(arg+len-2, ".c") == 0
+ || strcmp(arg+len-2, ".h") == 0) {
entry->next = c_files;
c_files = entry;
- } else if (strcmp(arg+len-2, ".s") == 0) {
+ } else if (strcmp(arg+len-2, ".s") == 0 || strcmp(arg+len-2, ".S") == 0) {
entry->next = s_files;
s_files = entry;
} else if (strcmp(arg+len-2, ".o") == 0) {
mode = Link;
} else if (c_files != NULL && c_files->next == NULL) {
input = c_files->filename;
+ } else if (s_files != NULL && s_files->next == NULL) {
+ input = s_files->filename;
+ if(!strcmp(input + strlen(input) - 2, ".S"))
+ mode = AssemblePreprocessed;
+ else
+ mode = Assemble;
} else {
- if (c_files == NULL) {
+ if (c_files == NULL && s_files == NULL) {
fprintf(stderr, "error: no input files specified\n");
} else {
fprintf(stderr, "error: multiple input files specified\n");
case BenchmarkParser:
case PrintAst:
case PrintFluffy:
+ case PrintCaml:
case LexTest:
- if(outname == NULL)
- outname = "-";
- break;
case PreprocessOnly:
+ outname = "-";
break;
case ParseOnly:
break;
}
}
+ if (mode == Assemble) {
+ assemble(outname, input);
+ return 0;
+ }
+
if (mode == Link) {
obstack_1grow(&ldflags_obst, '\0');
const char *flags = obstack_finish(&ldflags_obst);
}
obstack_printf(&file_obst, " -o %s %s", outname, flags);
+ obstack_1grow(&file_obst, '\0');
char *buf = obstack_finish(&file_obst);
return 0;
}
- FILE *preprocessed_in = preprocess(in, input, mode == PreprocessOnly);
+ FILE *preprocessed_in = preprocess(in, input);
+ if (mode == PreprocessOnly) {
+ copy_file(out, preprocessed_in);
+ return pclose(preprocessed_in);
+ }
+
+ if (mode == AssemblePreprocessed) {
+ FILE *asm_pp;
+ char asm_tempfile[1024];
+
+ /* write preprocessed assembler to a temporary file */
+ asm_pp = make_temp_file(asm_tempfile, sizeof(asm_tempfile), "cc", ".s");
+ copy_file(asm_pp, preprocessed_in);
+ fclose(asm_pp);
+ int res = pclose(preprocessed_in);
+ if (res != 0)
+ return res;
+
+ /* and assemble it */
+ assemble(outname, asm_tempfile);
+ return 0;
+ }
+
translation_unit_t *const unit = do_parsing(preprocessed_in, input);
int res = pclose(preprocessed_in);
- if(res != 0) {
+ if (res != 0) {
return res;
}
return result;
if(mode == PrintFluffy) {
- type_set_output(out);
- ast_set_output(out);
write_fluffy_decls(out, unit);
}
+ if (mode == PrintCaml) {
+ write_caml_decls(out, unit);
+ }
translation_unit_to_firm(unit);
projects / cparser / blobdiff