/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)
|