/seL4-l4v-master/graph-refine/graph-to-graph/ |
H A D | graph_to_graph.py | 23 print "args: <dir_name> <function_name> <flag>" 25 print '''flags: --l generate loop heads at dir_name/loop_counts.py NOTE: this will override an existing file 26 --L use loop counts at the file dir_name/loop_counts.py to generate ILP problem 45 dir_name = sys.argv[1] 46 print 'dir_name: %s' % dir_name 51 bench.bench(dir_name, entry_point_function, gen_heads, load_counts,interactive) 61 asm_fs = bench.init(dir_name) 64 analyseFunction(entry_point_function,asm_fs, dir_name, True, False, False) 66 convert_loop_bounds.convert_loop_bounds(dir_name) [all...] |
H A D | bench.py | 74 def toElfImmFun(f,dir_name,load_counts): 80 def toImmFun(f,dir_name,load_counts=False): 81 _, imm_fun, _ = toElfImmFun(f,dir_name,load_counts) 84 def analyseFunction(f,asm_fs,dir_name,gen_heads,load_counts,emit_graphs, stopAtILP=False): 86 elf_fun,imm_fun, ef = toElfImmFun(f, dir_name,load_counts) 94 imm_utils.genLoopheads(imm_fun.bin_loops_by_fs,dir_name) 101 elf_correlate.immFunc().loaded_loops_by_fs = elf_correlate.loadCounts(dir_name) 107 emitter = chronos.emitter.ChronosEmitter(dir_name, f, imm_fun) 121 def init(dir_name): 123 target_objects.load_target(dir_name) [all...] |
H A D | auto_infea.py | 39 def auto_infea(dir_name, entry_point_function, manual_conflicts_file, results_dir, initial_case_iteration, preemption_limit): 40 kernel_elf_file = dir_name+'/kernel.elf' 41 tcfg_map = dir_name + '/%s.imm.map' % entry_point_function 42 kernel_elf_file = dir_name+'/kernel.elf' 43 ilp_nofooter = cplex.stripFooter(dir_name + '/%s.imm.ilp' % entry_point_function) 57 target = '%s/target.py' % dir_name 58 target_dir.set_dir(dir_name) 71 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) 83 p = Popen(['python', 'reconstruct.py', '--refutable', dir_name, sol_file, tcfg_map, kernel_elf_file], stdout=f_refutables) 125 print 'Usage: python auto_infea.py <dir_name> <entr 130 dir_name = sys.argv[1] variable [all...] |
H A D | elf_file.py | 37 def __init__ (self,dir_name=None,ignore_funs=None,elf_only=False): 39 if not (dir_name): 42 self.f_text = open('%s/kernel.elf.txt' %dir_name) 43 self.f_symtab = open('%s/kernel.elf.symtab' %dir_name) 45 print "kernel.elf.* can't be opened at directory %s" %dir_name 74 self.dir_name = dir_name
|
H A D | call_graph_utils.py | 23 def funsCallGraph(funs,dir_name,ignore_funs): 42 def dotCallGraph(fun,cg,dir_name): 80 #graph.write_raw('%s/graphs/call_graph_%s.dot' % (dir_name,fun)) 82 graph.write_svg('%s/graphs/call_graph_%s.svg' % (dir_name,fun)) 84 def makeCallGraph(fun,functions,dir_name): 85 cg = funsCallGraph(functions,dir_name,[]) 86 dotCallGraph(fun,cg,dir_name)
|
H A D | elf_parser.py | 108 def parseElf(dir_name): 109 ef = elfFile(dir_name)
|
H A D | imm_utils.py | 15 def genLoopheads(bin_loops_by_fs, dir_name, incremental_head=None ): 17 write all loop heads with current bound (can be dummy) to dir_name/loop_counts.py 20 loop_counts_file_name = '%s/loop_counts.py' % dir_name 32 imm_l_f = open ('%s/imm_counts' % dir_name,'w')
|
H A D | conflict.py | 488 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): 492 conflict_files.append(convert_loop_bounds.phantomPreemptsAnnoFileName(dir_name)) 496 bench.bench(dir_name, entry_point_function,False,True,False,parse_only=True ) 529 dir_name = sys.argv[5] variable 550 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 | 25 def loadCounts(dir_name): 28 execfile('%s/loop_counts.py' % dir_name,context) 55 self.loaded_loops_by_fs = loadCounts(elfFile().dir_name)
|
H A D | reconstruct.py | 476 print "Usage: reconstruct [OPTION] <dir_name> sol_file map elf_file" 484 dir_name = argv[1] variable 493 elfFile(dir_name=dir_name,elf_only=True)
|
/seL4-l4v-master/graph-refine/graph-to-graph/chronos/ |
H A D | emitter.py | 15 def __init__(self, dir_name, function_name, imm_fun, emit_as_dummy=None): 18 self.imm_file_name = '%s/%s.imm' % (dir_name, function_name) 20 self.debug_f = open('%s/d_%s.imm' % (dir_name, function_name),'w') 21 self.emitted_loop_counts_file = open('%s/%s_emittedLoopCounts' % (dir_name, function_name),'w')
|
/seL4-l4v-master/seL4/manual/tools/ |
H A D | parse_doxygen_xml.py | 508 dir_name = os.path.dirname(input_file_name) 522 new_input_file = os.path.join(dir_name, new_input_file_name) 568 dir_name = os.path.dirname(args.input) 572 for (r, d, files) in os.walk(dir_name): 576 with open(os.path.join(dir_name, f), "r") as source:
|
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | ssh.scala | 384 val dir_name = remote_path(path) 385 val dir = sftp.ls(dir_name) 396 try { sftp.stat(dir_name + "/" + name).isDir }
|
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | ssh.scala | 384 val dir_name = remote_path(path) 385 val dir = sftp.ls(dir_name) 396 try { sftp.stat(dir_name + "/" + name).isDir }
|