From ea2d6b70ed06c60dba9ba81cf53883c85fb92068 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Fri, 8 Jul 2016 10:15:31 +0200 Subject: Added responsefile support for commandline. Commandline can now be passed in a file specifed with @file on the Commandline. The quoting convention is similar to the one used by gcc, etc. Options are separated by whitespaces and options with whitespaecs need to be quoted. Bug 18303 --- driver/Driver.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'driver/Driver.ml') diff --git a/driver/Driver.ml b/driver/Driver.ml index 7311215d..6d8cf9ac 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -334,6 +334,7 @@ General options:\n\ \ -v Print external commands before invoking them\n\ \ -timings Show the time spent in various compiler passes\n\ \ -version Print the version string and exit\n\ +\ @ Read command line options from \n\ Interpreter mode:\n\ \ -interp Execute given .c files using the reference interpreter\n\ \ -quiet Suppress diagnostic messages for the interpreter\n\ -- cgit From 4ac759d0bceef49d16197e3bb8c9767ece693c5e Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 2 Aug 2016 10:59:27 +0200 Subject: Added -dall which enables all tracing. --- driver/Driver.ml | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'driver/Driver.ml') diff --git a/driver/Driver.ml b/driver/Driver.ml index a0ec07f1..68615727 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -333,6 +333,7 @@ Code generation options: (use -fno- to turn off -f)\n\ \ -dltl Save LTL after register allocation in .ltl\n\ \ -dmach Save generated Mach code in .mach\n\ \ -dasm Save generated assembly in .s\n\ +\ -dall Save all generated intermidate files in .\n\ \ -sdump Save info for post-linking validation in .json\n\ \ -doptions Save the compiler configurations in .opt.json\n\ General options:\n\ @@ -440,6 +441,17 @@ let cmdline_actions = Exact "-dalloctrace", Set option_dalloctrace; Exact "-dmach", Set option_dmach; Exact "-dasm", Set option_dasm; + Exact "-dall", Self (fun _ -> + option_dprepro := true; + option_dparse := true; + option_dcmedium := true; + option_dclight := true; + option_dcminor := true; + option_drtl := true; + option_dalloctrace := true; + option_dmach := true; + option_dasm := true; + dump_options:=true); Exact "-sdump", Set option_sdump; Exact "-sdump-suffix", String (fun s -> option_sdump := true; sdump_suffix:= s); Exact "-doptions", Set dump_options; -- cgit From 028aaefc44b8ed8bafd8b8896fedb53f6e68df3c Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Fri, 5 Aug 2016 14:05:34 +0200 Subject: Implement support for big endian arm targets. Adds support for the big endian arm targets by making the target endianess flag configurable, adding support for the big endian calling conventions, rewriting memory access patterns and adding big endian versions of the runtime functions. Bug 19418 --- driver/Driver.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'driver/Driver.ml') diff --git a/driver/Driver.ml b/driver/Driver.ml index 68615727..9c07dba1 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -524,7 +524,9 @@ let _ = | "powerpc" -> if Configuration.system = "linux" then Machine.ppc_32_bigendian else Machine.ppc_32_diab_bigendian - | "arm" -> Machine.arm_littleendian + | "arm" -> if Configuration.is_big_endian + then Machine.arm_bigendian + else Machine.arm_littleendian | "ia32" -> if Configuration.abi = "macosx" then Machine.x86_32_macosx else Machine.x86_32 -- cgit