Loading [MathJax]/extensions/tex2jax.js
CIRCT 21.0.0git
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
support.py
Go to the documentation of this file.
1# Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
2# See https://llvm.org/LICENSE.txt for license information.
3# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
4
5from . import ir
6
7from ._mlir_libs._circt._support import _walk_with_filter
8from .ir import Operation
9from contextlib import AbstractContextManager
10from contextvars import ContextVar
11from typing import List
12
13_current_backedge_builder = ContextVar("current_bb")
14
15
17 pass
18
19
21
22 def __init__(self, module: str, port_names: List[str]):
23 super().__init__(
24 f"Ports {port_names} unconnected in design module {module}.")
25
26
27def get_value(obj) -> ir.Value:
28 """Resolve a Value from a few supported types."""
29
30 if isinstance(obj, ir.Value):
31 return obj
32 if hasattr(obj, "result"):
33 return obj.result
34 if hasattr(obj, "value"):
35 return obj.value
36 return None
37
38
39def connect(destination, source):
40 """A convenient way to use BackedgeBuilder."""
41 if not isinstance(destination, OpOperand):
42 raise TypeError(
43 f"cannot connect to destination of type {type(destination)}. "
44 "Must be OpOperand.")
45 value = get_value(source)
46 if value is None:
47 raise TypeError(f"cannot connect from source of type {type(source)}")
48
49 index = destination.index
50 destination.operation.operands[index] = value
51 if destination.backedge_owner and \
52 index in destination.backedge_owner.backedges:
53 destination.backedge_owner.backedges[index].erase()
54 del destination.backedge_owner.backedges[index]
55
56
57def var_to_attribute(obj, none_on_fail: bool = False) -> ir.Attribute:
58 """Create an MLIR attribute from a Python object for a few common cases."""
59 if isinstance(obj, ir.Attribute):
60 return obj
61 if isinstance(obj, bool):
62 return ir.BoolAttr.get(obj)
63 if isinstance(obj, int):
64 attrTy = ir.IntegerType.get_signless(64)
65 return ir.IntegerAttr.get(attrTy, obj)
66 if isinstance(obj, str):
67 return ir.StringAttr.get(obj)
68 if isinstance(obj, list):
69 arr = [var_to_attribute(x, none_on_fail) for x in obj]
70 if all(arr):
71 return ir.ArrayAttr.get(arr)
72 return None
73 if none_on_fail:
74 return None
75 raise TypeError(f"Cannot convert type '{type(obj)}' to MLIR attribute")
76
77
78# There is currently no support in MLIR for querying type types. The
79# conversation regarding how to achieve this is ongoing and I expect it to be a
80# long one. This is a way that works for now.
81def type_to_pytype(t) -> ir.Type:
82
83 if not isinstance(t, ir.Type):
84 raise TypeError("type_to_pytype only accepts MLIR Type objects")
85
86 # If it's not the root type, assume it's already been downcasted and don't do
87 # the expensive probing below.
88 if t.__class__ != ir.Type:
89 return t
90
91 from .dialects import esi, hw, seq, rtg, rtgtest
92 try:
93 return ir.IntegerType(t)
94 except ValueError:
95 pass
96 try:
97 return ir.NoneType(t)
98 except ValueError:
99 pass
100 try:
101 return ir.TupleType(t)
102 except ValueError:
103 pass
104 try:
105 return hw.ArrayType(t)
106 except ValueError:
107 pass
108 try:
109 return hw.StructType(t)
110 except ValueError:
111 pass
112 try:
113 return hw.TypeAliasType(t)
114 except ValueError:
115 pass
116 try:
117 return hw.InOutType(t)
118 except ValueError:
119 pass
120 try:
121 return seq.ClockType(t)
122 except ValueError:
123 pass
124 try:
125 return esi.ChannelType(t)
126 except ValueError:
127 pass
128 try:
129 return esi.AnyType(t)
130 except ValueError:
131 pass
132 try:
133 return esi.BundleType(t)
134 except ValueError:
135 pass
136 try:
137 return rtg.LabelType(t)
138 except ValueError:
139 pass
140 try:
141 return rtg.SetType(t)
142 except ValueError:
143 pass
144 try:
145 return rtg.BagType(t)
146 except ValueError:
147 pass
148 try:
149 return rtg.SequenceType(t)
150 except ValueError:
151 pass
152 try:
153 return rtg.RandomizedSequenceType(t)
154 except ValueError:
155 pass
156 try:
157 return rtg.DictType(t)
158 except ValueError:
159 pass
160 try:
161 return rtg.ImmediateType(t)
162 except ValueError:
163 pass
164 try:
165 return rtg.ArrayType(t)
166 except ValueError:
167 pass
168 try:
169 return rtgtest.IntegerRegisterType(t)
170 except ValueError:
171 pass
172
173 raise TypeError(f"Cannot convert {repr(t)} to python type")
174
175
176# There is currently no support in MLIR for querying attribute types. The
177# conversation regarding how to achieve this is ongoing and I expect it to be a
178# long one. This is a way that works for now.
179def attribute_to_var(attr):
180
181 if attr is None:
182 return None
183 if not isinstance(attr, ir.Attribute):
184 raise TypeError("attribute_to_var only accepts MLIR Attributes")
185
186 # If it's not the root type, assume it's already been downcasted and don't do
187 # the expensive probing below.
188 if attr.__class__ != ir.Attribute and hasattr(attr, "value"):
189 return attr.value
190
191 from .dialects import hw, om
192 try:
193 return ir.BoolAttr(attr).value
194 except ValueError:
195 pass
196 try:
197 return ir.IntegerAttr(attr).value
198 except ValueError:
199 pass
200 try:
201 return ir.StringAttr(hw.InnerSymAttr(attr).symName).value
202 except ValueError:
203 pass
204 try:
205 return ir.StringAttr(attr).value
206 except ValueError:
207 pass
208 try:
209 return ir.FlatSymbolRefAttr(attr).value
210 except ValueError:
211 pass
212 try:
213 return ir.TypeAttr(attr).value
214 except ValueError:
215 pass
216 try:
217 arr = ir.ArrayAttr(attr)
218 return [attribute_to_var(x) for x in arr]
219 except ValueError:
220 pass
221 try:
222 dict = ir.DictAttr(attr)
223 return {i.name: attribute_to_var(i.attr) for i in dict}
224 except ValueError:
225 pass
226 try:
227 return attribute_to_var(om.ReferenceAttr(attr).inner_ref)
228 except ValueError:
229 pass
230 try:
231 ref = hw.InnerRefAttr(attr)
232 return (ir.StringAttr(ref.module).value, ir.StringAttr(ref.name).value)
233 except ValueError:
234 pass
235 try:
236 return list(map(attribute_to_var, om.ListAttr(attr)))
237 except ValueError:
238 pass
239 try:
240 return {name: attribute_to_var(value) for name, value in om.MapAttr(attr)}
241 except ValueError:
242 pass
243 try:
244 return int(str(om.OMIntegerAttr(attr)))
245 except ValueError:
246 pass
247 try:
248 return om.PathAttr(attr).value
249 except ValueError:
250 pass
251
252 raise TypeError(f"Cannot convert {repr(attr)} to python value")
253
254
255def get_self_or_inner(mlir_type):
256 from .dialects import hw
257 if type(mlir_type) is ir.Type:
258 mlir_type = type_to_pytype(mlir_type)
259 if isinstance(mlir_type, hw.TypeAliasType):
260 return type_to_pytype(mlir_type.inner_type)
261 return mlir_type
262
263
264class BackedgeBuilder(AbstractContextManager):
265
266 class Edge:
267
268 def __init__(self,
269 creator,
270 type: ir.Type,
271 backedge_name: str,
272 op_view,
273 instance_of: ir.Operation,
274 loc: ir.Location = None):
275 self.creator: BackedgeBuilder = creator
276 self.dummy_op = ir.Operation.create("builtin.unrealized_conversion_cast",
277 [type],
278 loc=loc)
279 self.instance_of = instance_of
280 self.op_view = op_view
281 self.port_name = backedge_name
282 self.loc = loc
283 self.erased = False
284
285 @property
286 def result(self):
287 return self.dummy_op.result
288
289 def erase(self):
290 if self.erased:
291 return
292 if self in self.creator.edges:
293 self.creator.edges.remove(self)
294 self.dummy_op.operation.erase()
295
296 def __init__(self, circuit_name: str = ""):
297 self.circuit_name = circuit_name
298 self.edges = set()
299
300 @staticmethod
301 def current():
302 bb = _current_backedge_builder.get(None)
303 if bb is None:
304 raise RuntimeError("No backedge builder found in context!")
305 return bb
306
307 @staticmethod
308 def create(*args, **kwargs):
309 return BackedgeBuilder.current()._create(*args, **kwargs)
310
311 def _create(self,
312 type: ir.Type,
313 port_name: str,
314 op_view,
315 instance_of: ir.Operation = None,
316 loc: ir.Location = None):
317 edge = BackedgeBuilder.Edge(self, type, port_name, op_view, instance_of,
318 loc)
319 self.edges.add(edge)
320 return edge
321
322 def __enter__(self):
323 self.old_bb_token = _current_backedge_builder.set(self)
324
325 def __exit__(self, exc_type, exc_value, traceback):
326 if exc_value is not None:
327 return
328 _current_backedge_builder.reset(self.old_bb_token)
329 errors = []
330 for edge in list(self.edges):
331 # TODO: Make this use `UnconnectedSignalError`.
332 msg = "Backedge: " + edge.port_name + "\n"
333 if edge.instance_of is not None:
334 msg += "InstanceOf: " + str(edge.instance_of).split(" {")[0] + "\n"
335 if edge.op_view is not None:
336 op = edge.op_view.operation
337 msg += "Instance: " + str(op)
338 if edge.loc is not None:
339 msg += "Location: " + str(edge.loc)
340 errors.append(msg)
341
342 if errors:
343 errors.insert(
344 0, f"Uninitialized backedges remain in module '{self.circuit_name}'")
345 raise RuntimeError("\n".join(errors))
346
347
349 __slots__ = ["index", "operation", "value", "backedge_owner"]
350
351 def __init__(self,
352 operation: ir.Operation,
353 index: int,
354 value,
355 backedge_owner=None):
356 if not isinstance(index, int):
357 raise TypeError("Index must be int")
358 self.index = index
359
360 if not hasattr(operation, "operands"):
361 raise TypeError("Operation must be have 'operands' attribute")
362 self.operation = operation
363
364 self.value = value
365 self.backedge_owner = backedge_owner
366
367 @property
368 def type(self):
369 return self.value.type
370
371
373 """Helper class to incrementally construct an instance of an operation that
374 names its operands and results"""
375
376 def __init__(self,
377 cls,
378 data_type=None,
379 input_port_mapping=None,
380 pre_args=None,
381 post_args=None,
382 needs_result_type=False,
383 **kwargs):
384 # Set defaults
385 if input_port_mapping is None:
386 input_port_mapping = {}
387 if pre_args is None:
388 pre_args = []
389 if post_args is None:
390 post_args = []
391
392 # Set result_indices to name each result.
393 result_names = self.result_names()
394 result_indices = {}
395 for i in range(len(result_names)):
396 result_indices[result_names[i]] = i
397
398 # Set operand_indices to name each operand. Give them an initial value,
399 # either from input_port_mapping or a default value.
400 backedges = {}
401 operand_indices = {}
402 operand_values = []
403 operand_names = self.operand_names()
404 for i in range(len(operand_names)):
405 arg_name = operand_names[i]
406 operand_indices[arg_name] = i
407 if arg_name in input_port_mapping:
408 value = get_value(input_port_mapping[arg_name])
409 operand = value
410 else:
411 backedge = self.create_default_value(i, data_type, arg_name)
412 backedges[i] = backedge
413 operand = backedge.result
414 operand_values.append(operand)
415
416 # Some ops take a list of operand values rather than splatting them out.
417 if isinstance(data_type, list):
418 operand_values = [operand_values]
419
420 # In many cases, result types are inferred, and we do not need to pass
421 # data_type to the underlying constructor. It must be provided to
422 # NamedValueOpView in cases where we need to build backedges, but should
423 # generally not be passed to the underlying constructor in this case. There
424 # are some oddball ops that must pass it, even when building backedges, and
425 # these set needs_result_type=True.
426 if data_type is not None and (needs_result_type or len(backedges) == 0):
427 pre_args.insert(0, data_type)
428
429 self.opview = cls(*pre_args, *operand_values, *post_args, **kwargs)
430 self.operand_indices = operand_indices
431 self.result_indices = result_indices
432 self.backedges = backedges
433
434 def __getattr__(self, name):
435 # Check for the attribute in the arg name set.
436 if "operand_indices" in dir(self) and name in self.operand_indices:
437 index = self.operand_indices[name]
438 value = self.opview.operands[index]
439 return OpOperand(self.opview.operation, index, value, self)
440
441 # Check for the attribute in the result name set.
442 if "result_indices" in dir(self) and name in self.result_indices:
443 index = self.result_indices[name]
444 value = self.opview.results[index]
445 return OpOperand(self.opview.operation, index, value, self)
446
447 # Forward "attributes" attribute from the operation.
448 if name == "attributes":
449 return self.opview.operation.attributes
450
451 # If we fell through to here, the name isn't a result.
452 raise AttributeError(f"unknown port name {name}")
453
454 def create_default_value(self, index, data_type, arg_name):
455 return BackedgeBuilder.create(data_type, arg_name, self)
456
457 @property
458 def operation(self):
459 """Get the operation associated with this builder."""
460 return self.opview.operation
461
462
463# Helper function to walk operation with a filter on operation names.
464# `op_views` is a list of operation views to visit. This is a wrapper
465# around the C++ implementation of walk_with_filter.
466def walk_with_filter(operation: Operation, op_views: List[ir.OpView], callback,
467 walk_order):
468 op_names_identifiers = [name.OPERATION_NAME for name in op_views]
469 return _walk_with_filter(operation, op_names_identifiers, callback,
470 walk_order)
__init__(self, creator, ir.Type type, str backedge_name, op_view, ir.Operation instance_of, ir.Location loc=None)
Definition support.py:274
__init__(self, str circuit_name="")
Definition support.py:296
create(*args, **kwargs)
Definition support.py:308
_create(self, ir.Type type, str port_name, op_view, ir.Operation instance_of=None, ir.Location loc=None)
Definition support.py:316
__exit__(self, exc_type, exc_value, traceback)
Definition support.py:325
__init__(self, cls, data_type=None, input_port_mapping=None, pre_args=None, post_args=None, needs_result_type=False, **kwargs)
Definition support.py:383
create_default_value(self, index, data_type, arg_name)
Definition support.py:454
__init__(self, ir.Operation operation, int index, value, backedge_owner=None)
Definition support.py:355
__init__(self, str module, List[str] port_names)
Definition support.py:22
The "any" type is a special type which can be used to represent any type, as identified by the type i...
Definition Types.h:92
Bundles represent a collection of channels.
Definition Types.h:44
Channels are the basic communication primitives.
Definition Types.h:70
get_self_or_inner(mlir_type)
Definition support.py:255
walk_with_filter(Operation operation, List[ir.OpView] op_views, callback, walk_order)
Definition support.py:467
ir.Type type_to_pytype(t)
Definition support.py:81
connect(destination, source)
Definition support.py:39