|
| 1 | +from dbuilder.ast.printer import Printer |
| 2 | +from dbuilder.ast.types.node import Node |
| 3 | +from dbuilder.ast.types.statement import Statement |
| 4 | +from dbuilder.ast.utils import _type_name |
| 5 | + |
| 6 | + |
| 7 | +class AsmMethod(Node): |
| 8 | + statement: Statement |
| 9 | + |
| 10 | + def __init__(self, name, args, annotations, asm_annotations): |
| 11 | + super().__init__() |
| 12 | + self.name = name |
| 13 | + self.args = args |
| 14 | + self.annotations = annotations |
| 15 | + self.asm_annotations = asm_annotations |
| 16 | + self.statement = None |
| 17 | + |
| 18 | + def add_statement(self, statement): |
| 19 | + if statement.type != Statement.RETURN: |
| 20 | + raise RuntimeError("Unexpected statement on asm method") |
| 21 | + self.statement = statement |
| 22 | + |
| 23 | + def _get_specs(self): |
| 24 | + sd = self.annotations.get("_method") |
| 25 | + if not sd: |
| 26 | + return "" |
| 27 | + res = [] |
| 28 | + if sd["impure"]: |
| 29 | + res.append("impure") |
| 30 | + if sd["inline"]: |
| 31 | + res.append("inline") |
| 32 | + elif sd["inline_ref"]: |
| 33 | + res.append("inline_ref") |
| 34 | + elif sd["method_id"]: |
| 35 | + if sd["method_id_v"]: |
| 36 | + res.append("method_id(%d)" % sd["method_id_v"]) |
| 37 | + else: |
| 38 | + res.append("method_id") |
| 39 | + if len(res) == 0: |
| 40 | + return "" |
| 41 | + return " ".join(res) + " " |
| 42 | + |
| 43 | + def print_func(self, printer: Printer): |
| 44 | + type_namer = lambda x: "{type} {name}".format( |
| 45 | + type=_type_name(x[0]), |
| 46 | + name=x[1], |
| 47 | + ) |
| 48 | + tupler = lambda x: (self.annotations[x], x) |
| 49 | + arg_defs = list(map(type_namer, map(tupler, self.args))) |
| 50 | + |
| 51 | + name = self.name |
| 52 | + fname = self.annotations["_fname"] |
| 53 | + name = name if fname is None else fname |
| 54 | + |
| 55 | + entity = self.statement.args[0] |
| 56 | + entity = entity if isinstance(entity, tuple) else (entity,) |
| 57 | + rearrange = [] |
| 58 | + input_order = self.asm_annotations["input_order"] |
| 59 | + out_order = self.asm_annotations["out_order"] |
| 60 | + # TODO: Check Args (Better on annotation side) |
| 61 | + if input_order: |
| 62 | + input_arrange = " ".join(input_order) |
| 63 | + rearrange.append(input_arrange) |
| 64 | + if out_order: |
| 65 | + out_arrange = "-> " + " ".join(str(i) for i in out_order) |
| 66 | + rearrange.append(out_arrange) |
| 67 | + rearrange = " ".join(rearrange) |
| 68 | + if rearrange != "": |
| 69 | + rearrange = f"({rearrange})" |
| 70 | + |
| 71 | + printer.print( |
| 72 | + "{output} {name}({args}) {specs}asm{rearrange} {entity};", |
| 73 | + output=_type_name(self.annotations["return"]), |
| 74 | + name=name, |
| 75 | + args=", ".join(arg_defs), |
| 76 | + specs=self._get_specs(), |
| 77 | + o="{", |
| 78 | + rearrange=rearrange, |
| 79 | + entity=" ".join(f'"{x}"' for x in entity), |
| 80 | + ) |
0 commit comments