feat: add a macro to directly visualize the generated mlir

Author: avik-pal

docs/src/api/api.md

@@ -27,6 +27,7 @@ within_compile
 @code_hlo
 @code_mhlo
 @code_xla
+@mlir_visualize
 ```
 
 ## Profile XLA

src/Compiler.jl

@@ -2068,6 +2068,51 @@ macro jit(args...)
     #! format: on
 end
 
+"""
+    @mlir_visualize [optimize = ...] [no_nan = <true/false>] f(args...)
+
+Runs `@code_hlo` and visualizes the MLIR module using `model-explorer`. This expects the
+`model-explorer` executable to be in your `PATH`. Installation instructions can be found
+[here](https://github.com/google-ai-edge/model-explorer).
+"""
+macro mlir_visualize(args...)
+    default_options = Dict{Symbol,Any}(
+        :optimize => true,
+        :no_nan => false,
+        :client => nothing,
+        :raise => false,
+        :raise_first => false,
+        :shardy_passes => :(:to_mhlo_shardings),
+        :assert_nonallocating => false,
+        :donated_args => :(:auto),
+        :transpose_propagate => :(:up),
+        :reshape_propagate => :(:up),
+        :optimize_then_pad => true,
+        :optimize_communications => true,
+        :cudnn_hlo_optimize => false,
+    )
+    compile_expr, (; compiled) = compile_call_expr(
+        __module__, compile_mlir, default_options, args...
+    )
+    #! format: off
+    return esc(
+        :(
+            if Sys.which("model-explorer") === nothing
+                error("model-explorer is not in your PATH. Please install it from \
+                       https://github.com/google-ai-edge/model-explorer")
+            end;
+            $(compile_expr);
+            mlir_mod = $(first)($(compiled));
+            tmpfile = tempname() * ".mlir";
+            open(tmpfile, "w") do io
+                print(io, mlir_mod)
+            end;
+            run(`model-explorer $(tmpfile)`)
+        )
+    )
+    #! format: on
+end
+
 function compile_call_expr(mod, compiler, options::Dict, args...)
     while length(args) > 1
         option, args = args[1], args[2:end]

src/Reactant.jl

@@ -201,7 +201,15 @@ function Enzyme.make_zero(
     return res
 end
 
-using .Compiler: @compile, @code_hlo, @code_mhlo, @jit, @code_xla, traced_getfield, compile
+using .Compiler:
+    @compile,
+    @code_hlo,
+    @code_mhlo,
+    @jit,
+    @code_xla,
+    @mlir_visualize,
+    traced_getfield,
+    compile
 export ConcreteRArray,
     ConcreteRNumber,
     ConcretePJRTArray,
@@ -214,6 +222,7 @@ export ConcreteRArray,
     @code_xla,
     @jit,
     @trace,
+    @mlir_visualize,
     within_compile
 
 const registry = Ref{Union{Nothing,MLIR.IR.DialectRegistry}}()