how to dump kernel generated by mirage and reuse for next time directly?

[MichoChan]

No description provided.

[wmdi]

You can specify the checkpoint file name using the previous_checkpoint parameter in KNGraph.superoptimize. If the file does not exist, the Mirage generator will create it and save the generated mugraphs. If the file exists, Mirage will skip the generation step and reuse the mugraphs stored in the checkpoint file.

Refer to the scripts in the benchmark directory for usage examples.