seL4-l4v-10.1.1/graph-refine/problem.py

52 	def alloc_node (self, tag, detail, loop_id = None, hint = None):
56 		self.node_tags[name] = (tag, detail)
57 		self.node_tag_revs.setdefault ((tag, detail), [])
58 		self.node_tag_revs[(tag, detail)].append (name)
69 	def clone_function (self, fun, tag):
75 			self.node_tags[n] = (tag, detail)
76 			self.node_tag_revs.setdefault ((tag, detail), [])
77 			self.node_tag_revs[(tag, detail)].append (n)
78 		self.outputs[tag] = fun.outputs
79 		self.entries = [(fun.entry, tag, fun.name, fun.inputs)]
81 		self.inline_scripts[tag] = []
83 	def add_function (self, fun, tag, node_renames, loop_id = None):
97 			node_renames[n] = self.alloc_node (tag, (fun.name, n),
106 	def add_entry_function (self, fun, tag):
107 		(ns, vs) = self.add_function (fun, tag, {})
112 		self.entries.append((entry, tag, fun.name, args))
113 		self.outputs[tag] = rets
115 		self.inline_scripts[tag] = []
119 	def get_entry_details (self, tag):
121 			for (e, t, fname, args) in self.entries if t == tag]
124 	def get_entry (self, tag):
125 		(e, fname, args) = self.get_entry_details (tag)
140 		for tag in tags:
141 			(_, fname, args) = self.get_entry_details (tag)
143 			out = self.outputs[tag]
144 			renames[tag + '_IN'] = mk (fun.inputs, args)
145 			renames[tag + '_OUT'] = mk (fun.outputs, out)
169 		entries = [e for (e, tag, nm, args) in self.entries]
372 		for (n, tag, fname, inputs) in self.entries:
373 			xs = ['Entry', '%d' % n, tag, fname,
378 			xs.append ('%d' % len (self.outputs[tag]))
379 			for (nm, typ) in self.outputs[tag]:
408 			(tag, _) = self.node_tags[pred]
409 			name = self.alloc_node (tag, 'MergePadding')
430 	def replay_inline_script (self, tag, script):
432 			n = self.node_tag_revs[(tag, detail)][idx]
494 		tag = bits[2]
499 		p.entries.append ((en, tag, fname, inputs))
500 		p.outputs[tag] = outputs
532 		(tag, details) = node_tags[n]
534 			ident = '%d_%s_%s_0x%x' % (n, tag,
538 			ident = '%d_%s_%s' % (n, tag, details)
540 			ident = '%d_%s_%s' % (n, tag, details)
623 	for (i, (n, tag, inps)) in enumerate (entries):
625 		nm1 = tag + ' ENTRY_POINT'
721 	(tag, detail) = p.node_tags[n]
722 	idx = p.node_tag_revs[(tag, detail)].index (n)
723 	p.inline_scripts[tag].append ((detail, idx, f_nm))
729 	ex = p.alloc_node (tag, (f_nm, 'RetToCaller'))
731 	(ns, vs) = p.add_function (fun, tag, {'Ret': ex})