Skip to content
Snippets Groups Projects
Commit f7695ab5 authored by Forget Julien's avatar Forget Julien
Browse files

Added product C translation.

parent 12118089
Branches
No related tags found
No related merge requests found
(l:1;{5,3,2}) + p:1 + (l:1;{5,3,2}) + p:1 loops: endl
\ No newline at end of file
......@@ -98,7 +98,9 @@ and c_formula_rec out_f f =
| FAnnot (f, a) ->
fprintf out_f "KIND_ANN,@ 0,@ {%a},@ %a,@ %a"
c_annot a c_null_wcet () c_formula_operands [f]
| FProduct (k, f) -> Utils.internal_error "c_formula_rec" "product not supported yet"
| FProduct (k, f) ->
fprintf out_f "KIND_INTMULT,@ 0,@ {%d},@ %a,@ %a"
k c_null_wcet () c_formula_operands [f]
end;
fprintf out_f "}@]"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment