Commit 21208aea authored by Lovis J.I. Zenz's avatar Lovis J.I. Zenz
Browse files

fix 325 - fixed fusion.ml & rreil-opt.ml 018 & 001

parent 3249f777
Pipeline #836 failed with stage
in 54 seconds
......@@ -34,7 +34,7 @@ val fuse-bodies-stmt-list stmts = case stmts of
fusable <- return (get-fusable t.cond fusable stmts);
head <- return (fuse-bodies-ite-list s.hd fusable);
tail <- return (get-remainder fusable stmts);
continued <- return (fuse-bodies-stmt-list tail);
continued <- fuse-bodies-stmt-list tail;
return (SEM_CONS {hd=head, tl=continued})
end
| _ : do
......
......@@ -3,7 +3,7 @@ export traverse-insn-list: (insn_list, insn_list_obj, (insn_list_obj, insndata)
export optimization-config : configuration[vec=optimization-configuration]
#for optimization-sweep
export propagate-contextful: (|1|, |1|, {insns:sem_stmt_list, succ_a:stmts_option, succ_b:stmts_option}) -> S {insns:sem_stmt_list, succ_a:stmts_option, succ_b:stmts_option} <{} => {}>
export propagate-contextful: (|1|, |1|, |1|, {insns:sem_stmt_list, succ_a:stmts_option, succ_b:stmts_option}) -> S {insns:sem_stmt_list, succ_a:stmts_option, succ_b:stmts_option} <{} => {}>
type optimization-configuration = |6|
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment