| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
| H A D | graph_to_graph.py | 26 print "args: <dir_name> <function_name> <flag>"
28 print '''flags: --l generate loop heads at dir_name/loop_counts.py NOTE: this will override an existing file
29 --L use loop counts at the file dir_name/loop_counts.py to generate ILP problem
48 dir_name = sys.argv[1]
49 print 'dir_name: %s' % dir_name
54 bench.bench(dir_name, entry_point_function, gen_heads, load_counts,interactive)
64 asm_fs = bench.init(dir_name)
67 analyseFunction(entry_point_function,asm_fs, dir_name, True, False, False)
69 convert_loop_bounds.convert_loop_bounds(dir_name)
[all...] |
| H A D | bench.py | 76 def toElfImmFun(f,dir_name,load_counts):
82 def toImmFun(f,dir_name,load_counts=False):
83 _, imm_fun, _ = toElfImmFun(f,dir_name,load_counts)
86 def analyseFunction(f,asm_fs,dir_name,gen_heads,load_counts,emit_graphs, stopAtILP=False):
88 elf_fun,imm_fun, ef = toElfImmFun(f, dir_name,load_counts)
96 imm_utils.genLoopheads(imm_fun.bin_loops_by_fs,dir_name)
103 elf_correlate.immFunc().loaded_loops_by_fs = elf_correlate.loadCounts(dir_name)
109 emitter = chronos.emitter.ChronosEmitter(dir_name, f, imm_fun)
123 def init(dir_name):
125 target_objects.load_target(dir_name)
[all...] |
| 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):
43 kernel_elf_file = dir_name+'/kernel.elf'
44 tcfg_map = dir_name + '/%s.imm.map' % entry_point_function
45 kernel_elf_file = dir_name+'/kernel.elf'
46 ilp_nofooter = cplex.stripFooter(dir_name + '/%s.imm.ilp' % entry_point_function)
60 target = '%s/target.py' % dir_name
61 target_dir.set_dir(dir_name)
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)
86 p = Popen(['python', 'reconstruct.py', '--refutable', dir_name, sol_file, tcfg_map, kernel_elf_file], stdout=f_refutables)
128 print 'Usage: python auto_infea.py <dir_name> <entr
133 dir_name = sys.argv[1] variable
[all...] |
| H A D | elf_file.py | 39 def __init__ (self,dir_name=None,ignore_funs=None,elf_only=False):
41 if not (dir_name):
44 self.f_text = open('%s/kernel.elf.txt' %dir_name)
45 self.f_symtab = open('%s/kernel.elf.symtab' %dir_name)
47 print "kernel.elf.* can't be opened at directory %s" %dir_name
76 self.dir_name = dir_name
|
| H A D | call_graph_utils.py | 26 def funsCallGraph(funs,dir_name,ignore_funs):
45 def dotCallGraph(fun,cg,dir_name):
83 #graph.write_raw('%s/graphs/call_graph_%s.dot' % (dir_name,fun))
85 graph.write_svg('%s/graphs/call_graph_%s.svg' % (dir_name,fun))
87 def makeCallGraph(fun,functions,dir_name):
88 cg = funsCallGraph(functions,dir_name,[])
89 dotCallGraph(fun,cg,dir_name)
|
| H A D | elf_parser.py | 110 def parseElf(dir_name):
111 ef = elfFile(dir_name)
|
| H A D | imm_utils.py | 17 def genLoopheads(bin_loops_by_fs, dir_name, incremental_head=None ):
19 write all loop heads with current bound (can be dummy) to dir_name/loop_counts.py
22 loop_counts_file_name = '%s/loop_counts.py' % dir_name
34 imm_l_f = open ('%s/imm_counts' % dir_name,'w')
|
| 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):
495 conflict_files.append(convert_loop_bounds.phantomPreemptsAnnoFileName(dir_name))
499 bench.bench(dir_name, entry_point_function,False,True,False,parse_only=True )
532 dir_name = sys.argv[5] variable
553 ret = conflict('handleSyscall', tcfg_map,conflict_files,old_ilp,new_ilp,dir_name,sol_file,emit_conflicts=emit_conflicts,do_cplex=do_cplex,interactive=interactive,preempt_limit = preempt_limit, default_phantom_preempt=True)
|
| H A D | elf_correlate.py | 28 def loadCounts(dir_name):
31 execfile('%s/loop_counts.py' % dir_name,context)
58 self.loaded_loops_by_fs = loadCounts(elfFile().dir_name)
|
| H A D | reconstruct.py | 478 print "Usage: reconstruct [OPTION] <dir_name> sol_file map elf_file"
486 dir_name = argv[1] variable
495 elfFile(dir_name=dir_name,elf_only=True)
|
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/chronos/ |
| H A D | emitter.py | 9 def __init__(self, dir_name, function_name, imm_fun, emit_as_dummy=None):
12 self.imm_file_name = '%s/%s.imm' % (dir_name, function_name)
14 self.debug_f = open('%s/d_%s.imm' % (dir_name, function_name),'w')
15 self.emitted_loop_counts_file = open('%s/%s_emittedLoopCounts' % (dir_name, function_name),'w')
|
| /seL4-l4v-10.1.1/seL4/manual/tools/ |
| H A D | parse_doxygen_xml.py | 511 dir_name = os.path.dirname(input_file_name)
526 new_input_file = os.path.join(dir_name, new_input_file_name)
|