Index of values


__ocaml_lex_token_rec [C_lexer]

A
add_global_binding_to_env [C_typing]
add_local_binding_to_env [C_typing]
add_name [C_parserhelper]
add_type_to_expr [C_typing]
add_type_to_expr_simple [C_typing]
add_type_to_statement [C_typing]
align_of_builtin_type [Ctt_abstree]
align_of_type [C_typing]
arithmetic_coerce [C_typing]
asr_big_int [Parse_const]
assign_coerce [C_typing]
atomic_c_type [Ctt_printer]

B
big_int_of_byte_list [Parse_const]
big_int_of_float [Reduce]
big_int_of_number [Parse_const]
bits_of_byte [Config]
builtin_to_typespec [Ctt_to_ptree]
byte_list_of_big_int [Parse_const]

C
calculate_bitfields_packing [Config]
calculate_magnitude [Ctt_reduce_mdarray]
cast_coerce [C_typing]
char_is_signed [Config]
chop_last_char [Parse_const]
clear_typedef_name [C_parserhelper]
coerce_at_least_integer [C_typing]
coerce_implicit_pointer [C_typing]
coerce_int_constant [Reduce]
coerce_merge [C_typing]
coerce_merge_numeric [C_typing]
coerce_merge_pointer [C_typing]
coerce_to_boolean [C_typing]
compute_const_ff [Reduce]
compute_const_fi [Reduce]
compute_const_ii [Reduce]
const_expr_of_big_int [Ctt_to_ptree]
constant_exp_of_big_int [Ctt_to_ptree]
constant_exp_of_int [Ctt_to_ptree]
convert_binop [Ctt_to_ptree]
convert_block [Decompose_ssa]
convert_constant [Ctt_to_ptree]
convert_declarator [Ctt_to_ptree]
convert_declarator_anonymous [Ctt_to_ptree]
convert_declarator_iter [Ctt_to_ptree]
convert_expr [Ctt_to_ptree]
convert_funcarg_type [C_typing]
convert_global_declaration [Ctt_to_ptree]
convert_global_storage_class [Ctt_to_ptree]
convert_initializer [Ctt_to_ptree]
convert_local_storage_class [Ctt_to_ptree]
convert_program [Ctt_to_ptree]
convert_statement [Ctt_to_ptree]
convert_struct_declaration [Ctt_to_ptree]
convert_struct_field [Ctt_to_ptree]
convert_target [Decompose_ssa]
convert_type [Ctt_reduce_mdarray]
cvt_binop [Separate_side_effect]
cvt_binop [C_typing]

D
debug [C_parserhelper]
decl_to_type [C_typing]
declare_enum [C_typing]
declare_struct [C_typing]
define_anonymous_struct [C_typing]
define_enum [C_typing]
define_enum_item [C_typing]
define_named_struct [C_typing]
defines_desc [Separate_side_effect]
defines_il0 [Separate_side_effect]
depends_desc [Separate_side_effect]
depends_il0 [Separate_side_effect]
depends_il0expr [Separate_side_effect]
depends_il0lvalue [Separate_side_effect]
do_option [Option]
dominate [Ssa]
dummy_loc [Ctt_to_ptree]

E
eliminate_redundant_move [Ssa]
eliminate_unreachable [Flatten_statement]
eliminate_unused_variable [Ssa]
empty [Set_list]
empty [PropList]
empty_environment [C_typing]
enclose_parallel [Separate_side_effect]
enclose_sequence [Separate_side_effect]
encode_c_string [Ctt_to_ptree]
ensure_integer [C_typing]
ensure_not_void [C_typing]
ensure_numeric [C_typing]
ensure_same_type [C_typing]
ensure_sized_pointer [C_typing]
enter_identifier_scope [C_parserhelper]
enter_merge_identifier_scope [C_parserhelper]
equal_type [C_typing]
exp_constant_one [C_typing]
exp_constant_one_ptrdiff_t [C_typing]
exp_constant_zero [C_typing]
extend_local_frame_env [C_typing]

F
filecnt [C_parserhelper]
filename [C_parserhelper]
find_assignment_node [Ssa]
find_dominance_frontier [Ssa]
find_dominator [Ssa]
find_loop [Ssa]
find_struct_name [Ctt_to_ptree]
fold_constants [C_typing]

G
gentemp [Separate_side_effect]
gentemp_read [Separate_side_effect]
get [PropList]
get_address_of [Ssa]
get_argument_name [Decompose_ssa]
get_field_type [C_typing]
get_field_type_from_desc [C_typing]
get_integer_constant_value [C_typing]
get_max_value_of_type [Ctt_abstree]
get_operator_fa [Reduce]
get_operator_fc [Reduce]
get_operator_i [Reduce]
get_return_type [C_typing]
get_struct_desc [C_typing]
get_type_qualifiers [Ctt_to_ptree]
get_type_qualifiers_speclist [Ctt_to_ptree]

H
has_intersection [Set_list]
hasnobranch_desc [Separate_side_effect]
hoist_declaration [Ssa]

I
id [Expunge_localstatic]
identifier_of [C_lexer]
indent [Ctt_printer]
insert_phi_function [Ssa]
int_const_64 [Parse_const]
int_of_16_char [Parse_const]
intersection [Set_list]
is_constant_null [C_typing]
is_constant_zero [C_typing]
is_floating_arithmetic_operator [Reduce]
is_next_list_stream [C_typing]
is_next_string_stream [C_typing]
is_numeric [C_typing]
is_pointer_nonnull [C_typing]
is_pointer_or_null [C_typing]
is_printable [Ctt_to_ptree]
is_scalar [Ssa]
is_sized_pointer [C_typing]
is_typedef_name [C_parserhelper]
is_union [Ctt_to_ptree]
is_void_pointer [C_typing]
isempty_stream [C_typing]
iter [Set_list]
iter [Option]
iter_read_expr [Ssa]
iter_read_il [Ssa]
iter_read_lvalue [Ssa]

L
label_counter [Separate_side_effect]
label_direct [Decompose_ssa]
label_trampoline [Decompose_ssa]
land_big_int [Parse_const]
leave_and_save_identifier_scope [C_parserhelper]
leave_identifier_scope [C_parserhelper]
lex_tables [C_lexer]
lineno [C_parserhelper]
list_between [C_parserhelper]
list_map_ordered [Ctt_visitor]
lno_table [C_parserhelper]
loc_of_p [C_typing]
lookup_location [C_parserhelper]
lookup_var_type [C_typing]
lookup_var_type_from_global [C_typing]
lookup_var_type_from_local [C_typing]
lor_big_int [Parse_const]
lsl_big_int [Parse_const]
lsr_big_int [Parse_const]
lxor_big_int [Parse_const]

M
make_basic_block [Flatten_statement]
make_c_type [Ctt_abstree]
make_c_type_ql [Ctt_abstree]
make_compact [Ssa]
make_decl [Ctt_to_ptree]
make_dominance_tree [Ssa]
make_expr [Ctt_to_ptree]
make_expr [Ctt_abstree]
make_expr_l [Ctt_to_ptree]
make_expr_p [C_typing]
make_expr_t [C_typing]
make_il0 [Separate_side_effect]
make_incomplete_struct_definition [C_typing]
make_label [Separate_side_effect]
make_new_struct_id [C_typing]
make_new_tag [PropList]
make_null_pointer [C_typing]
make_phi_assigns [Decompose_ssa]
make_ssa [Ssa]
make_stmt [Ctt_to_ptree]
make_stream [C_typing]
make_struct_declarations [Ctt_to_ptree]
map [Option]
map_expr [Ssa]
map_il [Ssa]
map_lvalue [Ssa]
match_parameter_type [Ssa]
max_bitfield_width [Config]
mem [Set_list]
mem [PropList]

N
name_table [C_parserhelper]
new_tempid [Separate_side_effect]
null_variable_attribute [Ssa]

O
of_list [Set_list]

P
parse_argtypes [C_typing]
parse_argtypes_iter [C_typing]
parse_constant [Parse_const]
parse_enum_definition [C_typing]
parse_global_declarations [C_typing]
parse_global_declarators [C_typing]
parse_initialization [C_typing]
parse_integer [Parse_const]
parse_list_initializations [C_typing]
parse_local_declarations [C_typing]
parse_local_declarators [C_typing]
parse_newline [C_lexer]
parse_sharp_position_directive [C_lexer]
parse_struct_definition [C_typing]
parse_struct_initializations [C_typing]
peek_stream [C_typing]
phase1 [Decompose_ssa]
phase2 [Decompose_ssa]
pop [C_parserhelper]
pop_stream [C_typing]
pp_print_argument_list [C_pp]
pp_print_binop [C_pp]
pp_print_builtin_typespec [C_pp]
pp_print_constant [C_pp]
pp_print_constant_expression [C_pp]
pp_print_declaration [C_pp]
pp_print_declarator [C_pp]
pp_print_enum_entry [C_pp]
pp_print_enum_list [C_pp]
pp_print_expression [C_pp]
pp_print_expression_iter [C_pp]
pp_print_identifier [C_pp]
pp_print_initdeclarator [C_pp]
pp_print_initializer [C_pp]
pp_print_list [C_pp]
pp_print_option [C_pp]
pp_print_option_with_sep [C_pp]
pp_print_paramdecl [C_pp]
pp_print_program [C_pp]
pp_print_sep_comma [C_pp]
pp_print_sep_newline [C_pp]
pp_print_sep_space [C_pp]
pp_print_sq [C_pp]
pp_print_sqlist [C_pp]
pp_print_statement [C_pp]
pp_print_storageclass [C_pp]
pp_print_struct_declaration [C_pp]
pp_print_struct_declaration_list [C_pp]
pp_print_struct_declarator [C_pp]
pp_print_struct_or_union [C_pp]
pp_print_typename [C_pp]
pp_print_typequal [C_pp]
pp_print_typespec [C_pp]
pp_print_unaryop [C_pp]
print_basic_block [Flatten_statement]
print_binary_operator [Ssa]
print_binary_operator [Separate_side_effect]
print_binary_operator [Ctt_printer]
print_builtin_type [Ctt_printer]
print_c_constants [Ctt_printer]
print_c_type [Ctt_printer]
print_ctt_initializer [Ctt_printer]
print_cttm_initializer [Ctt_printer]
print_dominance_tree [Ssa]
print_expr [Ssa]
print_expr [Ctt_printer]
print_field [Ssa]
print_function [Flatten_statement]
print_global_declaration [Ctt_printer]
print_id [Ssa]
print_il [Ssa]
print_il0 [Separate_side_effect]
print_il0expr [Separate_side_effect]
print_il0lv [Separate_side_effect]
print_il1 [Flatten_statement]
print_il_basic_block [Ssa]
print_list [Ctt_printer]
print_local_storage_class [Ctt_printer]
print_lvalue [Ssa]
print_lvalue_field [Ssa]
print_mexpr [Ctt_printer]
print_stmt [Ctt_printer]
print_tempid [Separate_side_effect]
print_unary_operator [Ctt_printer]
print_variable_declaration [Ctt_printer]
promote_KandR [C_typing]
promote_variable [Ssa]
push [C_parserhelper]
put [PropList]

Q
qual_dcare [C_typing]
qual_eq [C_typing]
qual_gt [C_typing]
qual_lt [C_typing]

R
read [Test_read]
read_chan [Test_read]
reduce_environment [Ctt_reduce_mdarray]
reduce_expr [Ctt_reduce_mdarray]
reduce_expression [Reduce]
reduce_gdecl [Expunge_localstatic]
reduce_gdecl [Ctt_reduce_mdarray]
reduce_initializer [Ctt_reduce_mdarray]
reduce_ldecl [Ctt_reduce_mdarray]
reduce_ldecls [Expunge_localstatic]
reduce_program [Expunge_localstatic]
reduce_program [Ctt_reduce_mdarray]
reduce_statement [Ctt_reduce_mdarray]
reduce_stmt [Expunge_localstatic]
reduce_struct_desc [Ctt_reduce_mdarray]
reduce_struct_field [Ctt_reduce_mdarray]
reduce_struct_initializations [Ctt_reduce_mdarray]
reduce_variable_type [Ctt_reduce_mdarray]
register_linestart [C_parserhelper]
remove_quotes [C_lexer]
replace_label [Separate_side_effect]
replace_label_localdecl [Separate_side_effect]
reset [C_parserhelper]
resolv_function_type [C_typing]

S
scope_stack [C_parserhelper]
separate_last_branch [Decompose_ssa]
separate_sequence [Separate_side_effect]
set_struct_desc [C_typing]
shrink_local_frame_env [C_typing]
singleton [Set_list]
size_of_builtin_type [Ctt_abstree]
size_of_type [C_typing]
sizeof_char [Config]
sizeof_double [Config]
sizeof_float [Config]
sizeof_int [Config]
sizeof_long [Config]
sizeof_longdouble [Config]
sizeof_longlong [Config]
sizeof_pointer [Config]
sizeof_short [Config]
specs_to_type [C_typing]
split_basic_block [Flatten_statement]
split_list_at_nth [C_typing]
ssa_transform [Ssa]
ssa_transform_function [Ssa]
string_of_string_list [Ctt_printer]
subset_qualifiers [C_typing]
subtract [Set_list]
symbol_of [C_lexer]

T
to_list [Set_list]
token [C_lexer]
topological_sort [Topological_sort]
translate [Cttm_abstree]
translate_address [Cttm_abstree]
translate_assign [Cttm_abstree]
translate_declaration [Cttm_abstree]
translate_field [Cttm_abstree]
translate_initializer [Cttm_abstree]
translate_invoke_lhs [Cttm_abstree]
translate_lvalue [Separate_side_effect]
translate_mexpr [Separate_side_effect]
translate_program [Flatten_statement]
translate_program_to_il0 [Separate_side_effect]
translate_statement [Flatten_statement]
translation_unit [C_parser]
type_boolean [Ctt_abstree]
type_char [Ctt_abstree]
type_char_array [Ctt_abstree]
type_double [Ctt_abstree]
type_float [Ctt_abstree]
type_int [Ctt_abstree]
type_long [Ctt_abstree]
type_long_double [Ctt_abstree]
type_long_long [Ctt_abstree]
type_of [C_typing]
type_of_typename [C_typing]
type_ptrdiff_t [Ctt_abstree]
type_short [Ctt_abstree]
type_signed_char [Ctt_abstree]
type_size_t [Ctt_abstree]
type_unsigned_char [Ctt_abstree]
type_unsigned_int [Ctt_abstree]
type_unsigned_long [Ctt_abstree]
type_unsigned_long_long [Ctt_abstree]
type_unsigned_short [Ctt_abstree]
type_void [Ctt_abstree]

U
union [Set_list]
union_list [Separate_side_effect]
unquote_string [Parse_const]

V
var_seqno [C_typing]
visit_expr [Ctt_visitor]
visit_statement [Ctt_visitor]
void_spectreelist [Ctt_to_ptree]

W
which [Ssa]