From fb202a70ccc2872aa3849854c09810a6bee268e5 Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 8 May 2011 08:39:30 +0000 Subject: powerpc/PrintAsm.ml arm/PrintAsm.ml: updated (no label elimination). Added -dmach option and corresponding printer for Mach code. CleanupLabelsproof.v: fixed for ARM Driver.ml: -E sends output to stdout; support for .s and .S source files. cparser/Elab.ml: spurious comment deleted. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1648 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- README | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'README') diff --git a/README b/README index 07dd15ff..dfe6653e 100644 --- a/README +++ b/README @@ -154,13 +154,15 @@ a C construct that it cannot process. The "ccomp" command recognizes the following classes of input files: .c C source file .cm Cminor source file + .s Assembly file + .S Assembly file, to be run through the C preprocessor .o Object code file .a Library file The "ccomp" command recognizes the following options: Processing options: - -E Preprocess only, save result in .i + -E Preprocess only, send result to standard output -S Compile to assembler only, save result in .s -c Compile to object file only (no linking), result in .o Preprocessing options: @@ -188,6 +190,7 @@ Tracing options: -dconstprop Save RTL after constant propagation in .constprop.rtl -dcse Save RTL after CSE optimization in .cse.rtl -dalloc Save LTL after register allocation in .alloc.ltl + -dmach Save generated Mach in .mach -dasm Save generated assembly in .s Linking options: -l Link library -- cgit