[ReuseIR] Pipeline

[SchrodingerZhu]

./bin/reuse-opt ../reuse-mlir/test/integration/basic/list_of_i32.mlir -reuse-ir-closure-outlining -reuse-ir-token-reuse -reuse-ir-infer-union-tag -reuse-ir-expand-control-flow=outline-nested-release=0 -reuse-ir-acquire-release-fusion -reuse-ir-expand-control-flow=outline-nested-release=1

• -reuse-ir-closure-outlining outlines closure creations into vtable and other operations.
• -reuse-ir-insert-acquire-release (unimplemented) ping @QuarticCat
• -reuse-ir-token-reuse uses available tokens to replace TokenAllocOp
• -reuse-ir-infer-union-tag is a helper pass to cut off branches on union types if it has a known variant. acquire-release-fusion is conservative about complicated branches (at lease for now).
• -reuse-ir-expand-control-flow=outline-nested-release=0 expands one layer of hidden control flows due to release, destroy and other operations. This will expose the release operations inside destroy for fusion.
• -reuse-ir-acquire-release-fusion fuses consecutive acquire/release on precisely aliased RC pointers.
• -reuse-ir-expand-control-flow=outline-nested-release=1 converts the remaining release/destroy operations into outlined functions (notice that some drop routines are possibly recursive).

After the above:

• convert-scf-to-cf converts structured control flow to branches among basic blocks.
• convert-reuse-ir-to-llvm lowers whatever remains in reuse_ir down to LLVM dialect. (Not complete)
• convert-arith-to-llvm (and other passes of needed) lowers arith operations.

Then, translate mlir to LLVMIR:

 <previous-output> | mlir-translate -mlir-to-llvmir

Then, obtain the optimized machine code

 <previous-output>  | opt -O3 | llc # or use clang to drive the compilation from `.ll` if you want

[SchrodingerZhu]

@anqurvanillapy @Lancern @CyanPineapple Please be aware of current pipeline.

@QuarticCat please notify me when you start to implement the missing passes.

[Lancern]

Not fully related to this issue, but do we have or plan to have a documentation page that explains the ops, types, passes, etc. in ReuseIR just like any other MLIR dialects do?

[SchrodingerZhu]

I would like to have one. I don't yet know how to generate the document from tablegen. Could you check that?

[Lancern]

I would like to have one. I don't yet know how to generate the document from tablegen. Could you check that?

Let me work on this. Opening a new issue to track this.

[Lancern]

Opening a new issue to track this.

Tracked in #69 .