working/0.2/annotatedIR.sml

15    type cond = exp * rop * exp;
17    datatype anntIR =  TR of cond * anntIR * annt
19                    |  CJ of cond * anntIR * anntIR * annt
166         val cond = to_cond (#instr ((#3 (G.context(cmp_node,gr))):CFG.node),
180         (cond, ((p_cfg,p_start_node), (b_cfg,b_start_node), (r_cfg,r_start_node)), join_node)
201         val cond = to_cond (#instr ((#3 (G.context(cmp_node,gr))):CFG.node),
207         (cond, ((t_cfg,t_start_node), (f_cfg,f_start_node)), join_node)
240                      let val (cond, ((t_cfg,t_start_node),(f_cfg,f_start_node)), join_node) = break_cj cfg n;
243                          SC (CJ (convert_cond cond, convert t_cfg t_start_node, convert f_cfg f_start_node, init_info),
264             let val (cond, ((p_cfg,p_start_node), (b_cfg,b_start_node), (r_cfg,r_start_node)), join_node) = break_rec cfg lab_node
275                 val cond' = convert_cond cond
278                                     SC (TR (cond', r_ir_1, {fspec = thm_t, ins = ins, outs = ins, context = []}),
283                                         val ir1 = TR (cond', ir0, {fspec = thm_t, ins = ins, outs = outs, context = []})
311     |  rm_dummy_inst (TR(cond,ir2,info)) =
312          TR(cond, rm_dummy_inst ir2, info)
313     |  rm_dummy_inst (CJ(cond,ir1,ir2,info)) =
314          CJ(cond, rm_dummy_inst ir1, rm_dummy_inst ir2, info)
360         |  merge_stm (TR(cond, body, info)) =
361              TR(cond, merge_stm body, info)
362         |  merge_stm (CJ(cond, s1, s2, info)) =
363              CJ(cond, merge_stm s1, merge_stm s2, info)
384     |  get_annt (CJ(cond,s1,s2,info)) = info
385     |  get_annt (TR(cond,s,info)) = info
404     |  apply_to_info (CJ(cond,s1,s2,info)) f = CJ(cond, s1, s2, f info)
405     |  apply_to_info (TR(cond,s,info)) f = TR(cond, s, f info)
419     |  get_modified_regs (TR(cond,ir,info)) =
421     |  get_modified_regs (CJ(cond,ir1,ir2,info)) =
449                 |  (CJ (cond,s1,s2,info)) =>
450                        CJ (cond, adjust_ins s1 outer_info, adjust_ins s2 outer_info, outer_info)
451                 |  (TR (cond,s,info)) =>
452                        TR(cond, adjust_ins s info, info)
492     |  back_trace (CJ(cond, s1, s2, inner_info)) (outer_info as {outs = outer_outs, context = contextL, ...}) =
498               val cond_expL = filter_exp (#1 cond) @ filter_exp (#3 cond);
506               CJ(cond, adjust_ins s1' info_0, adjust_ins s2' info_0, info_0)
509     |  back_trace (TR (cond, body, info)) (outer_info as {outs = outer_outs, context = contextL, ...}) =
515               TR(cond, body', info')