Bump xDSL, use MLIR pipeline sugar.

xdslproject · Feb 21, 2024 · 3d5a4c9 · 3d5a4c9
1 parent fd05ce9
commit 3d5a4c9
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 8 deletions.
diff --git a/.github/workflows/ci-mlir-mpi.yml b/.github/workflows/ci-mlir-mpi.yml
@@ -38,7 +38,7 @@ jobs:
       run: |
         pip install -e .[tests]
         pip install mpi4py
-        pip install git+https://github.com/xdslproject/xdsl@46a20b6c346a25172fa2f27aac01eb2a6b579659
+        pip install git+https://github.com/xdslproject/xdsl@91a79f2d7658712c8dbc573c015bc6b1d887f48d
 
     - name: Test with MPI
       run: |

diff --git a/.github/workflows/ci-mlir.yml b/.github/workflows/ci-mlir.yml
@@ -38,7 +38,7 @@ jobs:
       run: |
         pip install -e .[tests]
         pip install mpi4py
-        pip install git+https://github.com/xdslproject/xdsl@46a20b6c346a25172fa2f27aac01eb2a6b579659
+        pip install git+https://github.com/xdslproject/xdsl@91a79f2d7658712c8dbc573c015bc6b1d887f48d
         
     - name: Test no-MPI, no-Openmp
       run: |

diff --git a/devito/core/cpu.py b/devito/core/cpu.py
@@ -949,12 +949,7 @@ def generate_pipeline(passes: Iterable[str]):
 
 def generate_mlir_pipeline(passes: Iterable[str]):
     passes_string = ",".join(passes)
-    return 'mlir-opt{arguments='\
-           '"--mlir-print-op-generic",'\
-           '"--allow-unregistered-dialect"'\
-           ','\
-           f'"-p","builtin.module({passes_string})"'\
-           '}'
+    return f'mlir-opt[{passes_string}]'
 
 
 # small interop shim script for stuff that we don't want to implement in mlir-ir