How to revert the mutated IR into source code?

[cicilzx]

Hi, I have read your OOPSLA paper and I find the work very interesting!
I would like to ask, after doing mutation on IR, how do you revert to the kind of source code in the bug report? I haven't looked at the code in this repo carefully, can you briefly describe the process or tell me where the code is located? Thanks in advance!

[ganler]

Hi, thanks for your interest. https://github.com/ise-uiuc/tzer/blob/main/src/tzer/context.py#L238

[cicilzx]

Hi, thanks for your interest. https://github.com/ise-uiuc/tzer/blob/main/src/tzer/context.py#L238

Thanks, I guess this is the code related to ${BUG_TYPE}_${BUG_ID}.ctx in output folder? But I'm curious how to generate the corresponding python code (as a test program that can be submit to the compiler developer) based on this context?

[ganler]

In theory you can just print the TIR and rematerialize it with TVM script. I cannot recall the details since it has been a while. I guess the worst case is to manually construct the Python code according to the printed text. Good luck!

[KuiliangL]

Hello, if I reproduce the error code, how can I find the root causes? It seems that you used GDB to find errors, do you use other tips and tools? Thanks

[ganler]

Oftentimes we just compile TVM with debug mode and do gdb --args python YOUR_SCRIPT.py and it can show you the point it crashed. But of course if you can get the original TIR then you may simply do mod = tvm.lower(f) and tvm.build(mod) to see if it can be reproduced -- if reproduced you can just file a bug to the TVM community. Also note that Tzer does not guarantee that generated TIR is runtime-valid -- as such if it crashed at execution time it might not be a real bug.