blob: 0e3fa3792a4e9692f9b693450a7ad651b2e86ec7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
(* *********************************************************************)
(* *)
(* The Compcert verified compiler *)
(* *)
(* Bernhard Schommer, AbsInt Angewandte Informatik GmbH *)
(* *)
(* AbsInt Angewandte Informatik GmbH. All rights reserved. This file *)
(* is distributed under the terms of the INRIA Non-Commercial *)
(* License Agreement. *)
(* *)
(* *********************************************************************)
open Clflags
open Json
open Printf
let print_list oc name l =
p_jmember oc name (p_jarray p_jstring) l
let print_clflags oc ((): unit) =
fprintf oc "{";
print_list oc "prepro_options" !prepro_options;
print_list oc "linker_options" !linker_options;
print_list oc "assembler_options" !assembler_options;
p_jmember oc "flongdouble" p_jbool !option_flongdouble;
p_jmember oc "fstruct_passing" p_jbool !option_fstruct_passing;
p_jmember oc "fbitfields" p_jbool !option_fbitfields;
p_jmember oc "fvarag_calls" p_jbool !option_fvararg_calls;
p_jmember oc "funprototyped" p_jbool !option_funprototyped;
p_jmember oc "fpacked_structs" p_jbool !option_fpacked_structs;
p_jmember oc "ffpu" p_jbool !option_ffpu;
p_jmember oc "ffloatconstprop" p_jint !option_ffloatconstprop;
p_jmember oc "ftailcalls" p_jbool !option_ftailcalls;
p_jmember oc "fconstprop" p_jbool !option_fconstprop;
p_jmember oc "fcse" p_jbool !option_fcse;
p_jmember oc "fredundance" p_jbool !option_fredundancy;
p_jmember oc "falignfunctions" (p_jopt p_jint) !option_falignfunctions;
p_jmember oc "falignbranchtargets" p_jint !option_falignbranchtargets;
p_jmember oc "faligncondbranchs" p_jint !option_faligncondbranchs;
p_jmember oc "finline_asm" p_jbool !option_finline_asm;
p_jmember oc "mthumb" p_jbool !option_mthumb;
p_jmember oc "Osize" p_jbool !option_Osize;
p_jmember oc "dprepro" p_jbool !option_dprepro;
p_jmember oc "dparse" p_jbool !option_dparse;
p_jmember oc "dcmedium" p_jbool !option_dcmedium;
p_jmember oc "dclight" p_jbool !option_dclight;
p_jmember oc "dcminor" p_jbool !option_dcminor;
p_jmember oc "drtl" p_jbool !option_drtl;
p_jmember oc "dltl" p_jbool !option_dltl;
p_jmember oc "dalloctrace" p_jbool !option_dalloctrace;
p_jmember oc "dmach" p_jbool !option_dmach;
p_jmember oc "dasm" p_jbool !option_dasm;
p_jmember oc "sdump" p_jbool !option_sdump;
p_jmember oc "g" p_jbool !option_g;
p_jmember oc "gdwarf" p_jint !option_gdwarf;
p_jmember oc "gdepth" p_jint !option_gdepth;
p_jmember oc "o" (p_jopt p_jstring) !option_o;
p_jmember oc "E" p_jbool !option_E;
p_jmember oc "S" p_jbool !option_S;
p_jmember oc "c" p_jbool !option_c;
p_jmember oc "v" p_jbool !option_v;
p_jmember oc "interp" p_jbool !option_interp;
p_jmember oc "small_data" p_jint !option_small_data;
p_jmember oc "small_data" p_jint !option_small_const;
p_jmember oc "timings" p_jbool !option_timings;
p_jmember oc "rename_static" p_jbool !option_rename_static;
fprintf oc "\n}"
let print_struct_passing_style oc = function
| Configuration.SP_ref_callee -> p_jstring oc "SP_ref_callee"
| Configuration.SP_ref_caller -> p_jstring oc "SP_ref_caller"
| Configuration.SP_split_args -> p_jstring oc "SP_split_args"
let print_struct_return_style oc = function
| Configuration.SR_int1248 -> p_jstring oc "SR_int1248"
| Configuration.SR_int1to4 -> p_jstring oc "SR_int1to4"
| Configuration.SR_int1to8 -> p_jstring oc "SR_int1to8"
| Configuration.SR_ref -> p_jstring oc "SR_ref"
let print_configurations oc lib_path =
fprintf oc "{";
p_jmember oc "arch" p_jstring Configuration.arch;
p_jmember oc "model" p_jstring Configuration.model;
p_jmember oc "abi" p_jstring Configuration.abi;
p_jmember oc "system" p_jstring Configuration.abi;
print_list oc "prepro" Configuration.prepro;
print_list oc "asm" Configuration.asm;
print_list oc "linker" Configuration.linker;
p_jmember oc "asm_supports_cfi" p_jbool Configuration.asm_supports_cfi;
p_jmember oc "stdlib_path" p_jstring lib_path;
p_jmember oc "has_runtime_lib" p_jbool Configuration.has_runtime_lib;
p_jmember oc "has_standard_headers" p_jbool Configuration.has_standard_headers;
p_jmember oc "advanced_debug" p_jbool Configuration.advanced_debug;
p_jmember oc "struct_passing_style" print_struct_passing_style Configuration.struct_passing_style;
p_jmember oc "struct_return_style" print_struct_return_style Configuration.struct_return_style;
fprintf oc "\n}"
|
