search

opencompl / lean-mlir

A minimal development of SSA theory
Other
88 stars 10 forks source link

feat: pretty printing support for mlir_region #682

Open mathatter997 opened 3 weeks ago

mathatter997 commented 3 weeks ago

Limited pretty printing support for mlir_region syntax category, so that type checking is more human-readable.

Currently does NOT support [llvm ()|...] elaboration.

tobiasgrosser commented 2 weeks ago

This looks good to me. @alexkeizer, can you do a pass?

tobiasgrosser commented 2 weeks ago

Should these changes also affect:

lake exec opt test/LLVMDialect/InstCombine/bb0.mlir
tobiasgrosser commented 2 weeks ago

Also, if you push your branch to this REPO the CI for core library will go through.