Searched refs:entry_point_function (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
H A D | graph_to_graph.py | 41 entry_point_function = sys.argv[2] 54 bench.bench(dir_name, entry_point_function, gen_heads, load_counts,interactive) 67 analyseFunction(entry_point_function,asm_fs, dir_name, True, False, False) 72 analyseFunction(entry_point_function, asm_fs, dir_name, False, True, False, stopAtILP= True) 74 entry_point_function = entry_point_function.strip() 75 prefix = dir_name + '/' + entry_point_function 83 conflict.conflict(entry_point_function, tcfg_map_file_name, [], stripped_ilp, ilp_to_generate, dir_name, sol_to_generate, emit_conflicts=True, do_cplex=True, preempt_limit= preemption_limit,default_phantom_preempt=True) 85 bench_ret = bench.bench(dir_name, entry_point_function, gen_heads,load_counts,interactive)
|
H A D | auto_infea.py | 42 def auto_infea(dir_name, entry_point_function, manual_conflicts_file, results_dir, initial_case_iteration, preemption_limit): 44 tcfg_map = dir_name + '/%s.imm.map' % entry_point_function 46 ilp_nofooter = cplex.stripFooter(dir_name + '/%s.imm.ilp' % entry_point_function) 74 wcet = conflict.conflict(entry_point_function, tcfg_map, [manual_conflicts_file,auto_refutes_file],ilp_nofooter,ilp_file,dir_name, sol_file, emit_conflicts=True, do_cplex=True, silent_cplex=True, preempt_limit=preemption_limit) 134 entry_point_function = sys.argv[2] variable 139 auto_infea(dir_name, entry_point_function,preempt_conflicts_file, results_dir, initial_i, preemption_limit = 5)
|
H A D | bench.py | 151 def bench(dir_name, entry_point_function, gen_heads,load_counts, interactive, parse_only=False, conflict_file=None): 155 t = entry_point_function 161 wcet = analyseFunction(entry_point_function,asm_fs, dir_name, gen_heads, load_counts, emit_graphs=emit_graphs)
|
H A D | conflict.py | 491 def conflict(entry_point_function, tcfg_map, conflict_files, old_ilp, new_ilp, dir_name, sol_file, emit_conflicts=False, do_cplex=False, interactive=False, silent_cplex=False, preempt_limit= None, default_phantom_preempt=False): 499 bench.bench(dir_name, entry_point_function,False,True,False,parse_only=True )
|
Completed in 16 milliseconds