diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/Driver.ml | 34 |
1 files changed, 31 insertions, 3 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index c35ac1f..47061cd 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -102,8 +102,6 @@ let parse_c_file sourcename ifile = match Parse.preprocessed_file simplifs sourcename ifile with | None -> exit 2 | Some p -> p in - (* Remove preprocessed file (always a temp file) *) - safe_remove ifile; (* Save C AST if requested *) if !option_dparse then begin let ofile = output_filename sourcename ".c" ".parsed.c" in @@ -238,11 +236,13 @@ let process_c_file sourcename = preprocess sourcename preproname; if !option_interp then begin let csyntax = parse_c_file sourcename preproname in + safe_remove preproname; Interp.execute csyntax; "" end else if !option_S then begin compile_c_file sourcename preproname (output_filename ~final:true sourcename ".c" ".s"); + safe_remove preproname; "" end else begin let asmname = @@ -250,6 +250,7 @@ let process_c_file sourcename = then output_filename sourcename ".c" ".s" else Filename.temp_file "compcert" ".s" in compile_c_file sourcename preproname asmname; + safe_remove preproname; let objname = output_filename ~final: !option_c sourcename ".c" ".o" in assemble asmname objname; if not !option_dasm then safe_remove asmname; @@ -257,6 +258,29 @@ let process_c_file sourcename = end end +(* Processing of a .i / .p file (preprocessed C) *) + +let process_i_file sourcename = + if !option_interp then begin + let csyntax = parse_c_file sourcename sourcename in + Interp.execute csyntax; + "" + end else if !option_S then begin + compile_c_file sourcename sourcename + (output_filename ~final:true sourcename ".c" ".s"); + "" + end else begin + let asmname = + if !option_dasm + then output_filename sourcename ".c" ".s" + else Filename.temp_file "compcert" ".s" in + compile_c_file sourcename sourcename asmname; + let objname = output_filename ~final: !option_c sourcename ".c" ".o" in + assemble asmname objname; + if not !option_dasm then safe_remove asmname; + objname + end + (* Processing of a .cm file *) let process_cminor_file sourcename = @@ -375,9 +399,10 @@ let usage_string = Usage: ccomp [options] <source files> Recognized source files: .c C source file + .i or .p C source file that should not be preprocessed .cm Cminor source file .s Assembly file - .S Assembly file, to be run through the preprocessor + .S Assembly file that must be preprocessed .o Object file .a Library file Processing options: @@ -480,6 +505,9 @@ let cmdline_actions = ".*\\.c$", Self (fun s -> push_action process_c_file s; incr num_source_files); + ".*\\.[ip]$", Self (fun s -> + push_action process_i_file s; + incr num_source_files); ".*\\.cm$", Self (fun s -> push_action process_cminor_file s; incr num_source_files); |