Searched refs:dir_name (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dgraph_to_graph.py23 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 Dbench.py74 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 Dauto_infea.py39 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 Delf_file.py37 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 Dcall_graph_utils.py23 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 Delf_parser.py108 def parseElf(dir_name):
109 ef = elfFile(dir_name)
H A Dimm_utils.py15 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 Dconflict.py488 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 Delf_correlate.py25 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 Dreconstruct.py476 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 Demitter.py15 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 Dparse_doxygen_xml.py508 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 Dssh.scala384 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 Dssh.scala384 val dir_name = remote_path(path)
385 val dir = sftp.ls(dir_name)
396 try { sftp.stat(dir_name + "/" + name).isDir }

Completed in 52 milliseconds