How to revert the mutated IR into source code? about tzer HOT 5 OPEN

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

from tzer.

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?

from tzer.

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!

from tzer.

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

from tzer.

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.

from tzer.