Lines Matching defs:logic
14 import logic
20 from logic import azip
270 if logic.is_int (n_vc[0])
490 return logic.var_subst (ptr, {('r0_input', syntax.word32T):
511 loop_ns = logic.minimal_loop_node_set (p)
554 vds = logic.compute_var_deps (adj_nodes,
570 """computes the same loop dataflow analysis as in the 'logic' module
586 va = logic.compute_loop_var_analysis (p, vds, split,
613 stack_const = logic.mk_stack_wrapper (st_split, stack_const, [])
614 stack_const = logic.mk_eq_selective_wrapper (stack_const,
787 comps = logic.tarjan (graph, ['ENTRY'])
851 comps = logic.tarjan (graph, entries)
986 from logic import split_scalar_pairs
1003 from logic import mk_var_list, mk_stack_sequence
1056 args = [logic.var_subst (arg, arg_input_map) for arg in cc['args']]
1057 rets = [logic.var_subst (ret, ret_output_map) for ret in cc['rets']]
1060 rets_inp = [logic.var_subst (ret, arg_input_map) for ret in cc['rets']]
1061 saved = [logic.var_subst (v, ret_output_map)
1097 node = logic.simplify_node_elementary (node)
1130 from logic import split_scalar_pairs
1134 eqs = logic.mk_eqs_arm_none_eabi_gnu (var_c_args, var_c_rets,
1137 return logic.Pairing (['ASM', 'C'],