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

Bug fix: opdata for power is loop_id not loop_bound.

parent e77e98eb
Branches
No related tags found
No related merge requests found
......@@ -83,18 +83,9 @@ and c_formula_rec out_f f =
(List.length fl)
c_null_wcet ()
c_formula_operands fl
| FPower (fbody, fexit, lid, it) ->
begin
match it with
| SInt i ->
fprintf out_f "KIND_LOOP,@ 0,@ {%d},@ %a, %a"
i 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
| FPower (fbody, _, lid, _) ->
fprintf out_f "KIND_LOOP,@ 0,@ {%a},@ %a, %a"
c_loopid lid c_null_wcet () c_formula_operands [fbody]
| 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