source: Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightUtils.mli @ 1319

Last change on this file since 1319 was 1319, checked in by tranquil, 9 years ago

indexing branch is compiling again:

  • clight interpreter updated
  • clight labeller yet to be completed with single-entry loop detection
File size: 633 bytes
Line 
1
2(*
3val size_of_ctype : Clight.ctype -> int
4
5val memory_q_of_ctype : Clight.ctype -> Memory.memory_q
6
7val is_int_type : Clight.ctype -> bool
8val is_float_type : Clight.ctype -> bool
9val is_pointer_type : Clight.ctype -> bool
10val is_stack_type : Clight.ctype -> bool
11val is_struct : Clight.ctype -> bool
12val is_ptr_to_struct : Clight.ctype -> bool
13val is_function : Clight.ctype -> bool
14
15val region_of_pointer_type : Clight.ctype -> AST.region
16*)
17
18(** [max_loop_index_labld s] calculates the maximal depth plus one of
19    single-entry loops in [s], if [s] has already been labeled *)
20val max_loop_index_lbld : Clight.statement -> int
Note: See TracBrowser for help on using the repository browser.