Ignore:
Timestamp:
May 19, 2011, 3:06:42 PM (9 years ago)
Author:
campbell
Message:

Clight to Cminor compilation, modulo switch statements, temporary
generation, 32 to 8 bit translation and miscellaneous bugs.

Also, remove (unused) signatures from function call statements in Cminor
and RTLabs; and separate comparison of integers and pointers in Clight
semantics.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/cminorMatitaPrinter.ml

    r776 r816  
    178178        (print_expression p_id e2)
    179179  | Cminor.St_call (None, f, args, sg) ->
    180       Printf.sprintf "%sSt_call (None ?) (%s) [%s] (%s)\n"
     180      Printf.sprintf "%sSt_call (None ?) (%s) [%s]\n"
    181181        (n_spaces n)
    182182        (print_expression p_id f)
    183183        (print_args p_id args)
    184         (print_sig sg)
    185184  | Cminor.St_call (Some id, f, args, sg) ->
    186       Printf.sprintf "%sSt_call (Some ? %s) (%s) [%s] (%s)\n"
     185      Printf.sprintf "%sSt_call (Some ? %s) (%s) [%s]\n"
    187186        (n_spaces n)
    188187        (p_id id)
    189188        (print_expression p_id f)
    190189        (print_args p_id args)
    191         (print_sig sg)
    192190  | Cminor.St_tailcall (f, args, sg) ->
    193       Printf.sprintf "%sSt_tailcall (%s) [%s] (%s)\n"
     191      Printf.sprintf "%sSt_tailcall (%s) [%s]\n"
    194192        (n_spaces n)
    195193        (print_expression p_id f)
    196194        (print_args p_id args)
    197         (print_sig sg)
    198195  | Cminor.St_seq (s1, s2) ->
    199196      Printf.sprintf "%sSt_seq (\n%s%s) (\n%s%s)\n"
Note: See TracChangeset for help on using the changeset viewer.