Skip to content

Commit 02f32b3

Browse files
Remove ir_to_mlir.py file
Move function into egglog optimizer
1 parent 3d716d1 commit 02f32b3

File tree

3 files changed

+13
-16
lines changed

3 files changed

+13
-16
lines changed

src/mlir_egglog/egglog_optimizer.py

Lines changed: 12 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66

77
from mlir_egglog.term_ir import Term
88
from mlir_egglog.python_to_ir import interpret
9-
from mlir_egglog.ir_to_mlir import convert_term_to_mlir
9+
from mlir_egglog.mlir_gen import MLIRGen
1010

1111
# Rewrite rules
1212
from mlir_egglog.optimization_rules import basic_math, trig_simplify
@@ -52,3 +52,14 @@ def compile(
5252
argspec = inspect.signature(fn)
5353
params = ",".join(map(str, argspec.parameters))
5454
return convert_term_to_mlir(extracted, params)
55+
56+
57+
def convert_term_to_mlir(tree: Term, argspec: str) -> str:
58+
"""
59+
Convert a term to MLIR.
60+
"""
61+
62+
argnames = map(lambda x: x.strip(), argspec.split(","))
63+
argmap = {k: f"%arg_{k}" for k in argnames}
64+
source = MLIRGen(tree, argmap).generate()
65+
return source

src/mlir_egglog/ir_to_mlir.py

Lines changed: 0 additions & 13 deletions
This file was deleted.

src/mlir_egglog/tutorial.py

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,7 @@
88
from typing import Callable, Any
99

1010
from mlir_egglog.python_to_ir import interpret
11-
from mlir_egglog.egglog_optimizer import extract
12-
from mlir_egglog.ir_to_mlir import convert_term_to_mlir
11+
from mlir_egglog.egglog_optimizer import extract, convert_term_to_mlir
1312
from mlir_egglog.jit_engine import JITEngine
1413
from mlir_egglog.optimization_rules import basic_math
1514

0 commit comments

Comments
 (0)