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

Woups, messed parametric loop bounds up in power.

parent 888f3806
Branches
No related tags found
No related merge requests found
......@@ -83,9 +83,18 @@ and c_formula_rec out_f f =
(List.length fl)
c_null_wcet ()
c_formula_operands fl
| FPower (fbody, _, lid, _) ->
| FPower (fbody, _, lid, it) ->
begin
match it with
| SInt i ->
fprintf out_f "KIND_LOOP,@ 0,@ {%a},@ %a, %a"
c_loopid lid c_null_wcet () c_formula_operands [fbody]
| SParam p ->
fprintf out_f "KIND_LOOP,@ %d,@ {0},@ %a, %a"
(int_of_string p)
c_null_wcet ()
c_formula_operands [fbody]
end
| FAnnot (f, a) ->
fprintf out_f "KIND_ANN,@ 0,@ {%a},@ %a,@ %a"
c_annot a c_null_wcet () c_formula_operands [f]
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment