Commit 790c187f authored by xleroy's avatar xleroy
Browse files

Renamed C2Clight into C2C

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1468 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
parent a15858a0
...@@ -523,7 +523,7 @@ let print_function oc name code = ...@@ -523,7 +523,7 @@ let print_function oc name code =
currpos := 0; currpos := 0;
fprintf oc " .text\n"; fprintf oc " .text\n";
fprintf oc " .align 2\n"; fprintf oc " .align 2\n";
if not (C2Clight.atom_is_static name) then if not (C2C.atom_is_static name) then
fprintf oc " .global %a\n" print_symb name; fprintf oc " .global %a\n" print_symb name;
fprintf oc " .type %a, %%function\n" print_symb name; fprintf oc " .type %a, %%function\n" print_symb name;
fprintf oc "%a:\n" print_symb name; fprintf oc "%a:\n" print_symb name;
...@@ -616,7 +616,7 @@ let print_var oc (Coq_pair(name, v)) = ...@@ -616,7 +616,7 @@ let print_var oc (Coq_pair(name, v)) =
then fprintf oc " .const\n" then fprintf oc " .const\n"
else fprintf oc " .data\n"; else fprintf oc " .data\n";
fprintf oc " .align 2\n"; fprintf oc " .align 2\n";
if not (C2Clight.atom_is_static name) then if not (C2C.atom_is_static name) then
fprintf oc " .global %a\n" print_symb name; fprintf oc " .global %a\n" print_symb name;
fprintf oc " .type %a, %%object\n" print_symb name; fprintf oc " .type %a, %%object\n" print_symb name;
fprintf oc "%a:\n" print_symb name; fprintf oc "%a:\n" print_symb name;
......
...@@ -84,7 +84,7 @@ let compile_c_file sourcename ifile ofile = ...@@ -84,7 +84,7 @@ let compile_c_file sourcename ifile ofile =
end; end;
(* Conversion to Csyntax *) (* Conversion to Csyntax *)
let csyntax = let csyntax =
match C2Clight.convertProgram ast with match C2C.convertProgram ast with
| None -> exit 2 | None -> exit 2
| Some p -> p in | Some p -> p in
flush stderr; flush stderr;
...@@ -346,7 +346,7 @@ let cmdline_actions = ...@@ -346,7 +346,7 @@ let cmdline_actions =
let _ = let _ =
Cparser.Machine.config := Cparser.Machine.ilp32ll64; Cparser.Machine.config := Cparser.Machine.ilp32ll64;
Cparser.Builtins.set C2Clight.builtins; Cparser.Builtins.set C2C.builtins;
CPragmas.initialize(); CPragmas.initialize();
parse_cmdline cmdline_actions usage_string; parse_cmdline cmdline_actions usage_string;
if !linker_options <> [] if !linker_options <> []
......
...@@ -697,7 +697,7 @@ let print_function oc name code = ...@@ -697,7 +697,7 @@ let print_function oc name code =
let (text, lit, jmptbl) = sections_for_function name in let (text, lit, jmptbl) = sections_for_function name in
section oc text; section oc text;
fprintf oc " .align 2\n"; fprintf oc " .align 2\n";
if not (C2Clight.atom_is_static name) then if not (C2C.atom_is_static name) then
fprintf oc " .globl %a\n" symbol name; fprintf oc " .globl %a\n" symbol name;
fprintf oc "%a:\n" symbol name; fprintf oc "%a:\n" symbol name;
List.iter (print_instruction oc (labels_of_code Labelset.empty code)) code; List.iter (print_instruction oc (labels_of_code Labelset.empty code)) code;
...@@ -917,13 +917,13 @@ let print_var oc (Coq_pair(name, v)) = ...@@ -917,13 +917,13 @@ let print_var oc (Coq_pair(name, v)) =
let sec = let sec =
Sections.section_for_variable name init Sections.section_for_variable name init
and align = and align =
match C2Clight.atom_alignof name with match C2C.atom_alignof name with
| Some a -> log2 a | Some a -> log2 a
| None -> 3 (* 8-alignment is a safe default *) | None -> 3 (* 8-alignment is a safe default *)
in in
section oc sec; section oc sec;
fprintf oc " .align %d\n" align; fprintf oc " .align %d\n" align;
if not (C2Clight.atom_is_static name) then if not (C2C.atom_is_static name) then
fprintf oc " .globl %a\n" symbol name; fprintf oc " .globl %a\n" symbol name;
fprintf oc "%a:\n" symbol name; fprintf oc "%a:\n" symbol name;
print_init_data oc name v.gvar_init; print_init_data oc name v.gvar_init;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment