search

AnyDSL / MimIR

MimIR is my Intermediate Representation
https://anydsl.github.io/MimIR/
MIT License
46 stars 9 forks source link

Invalid intermediate code #249

Open NeuralCoder3 opened 1 year ago

NeuralCoder3 commented 1 year ago

When running a trivial example (lit/ret_argc) with -VVVV to print intermediate programs, Thorin crashed with the error

thorin2/thorin/analyses/deptree.cpp:36: thorin::VarSet thorin::DepTree::run(thorin::Def*): Assertion `n && "Old var still around?"' failed.

The error does not occur with log level 3 or using --dump-recursive-

Repository: AnyDSL/thorin2 Branch: master

NeuralCoder3 commented 1 year ago

To prevent such errors, we probably also want tests that take debug logging into account.

leissa commented 1 year ago

The output is still a mess. I hope I have in early autumn some time to pursue this link/cut tree thing in order to maintain a nesting structure under the hood. This would certainly help a lot with the output.

leissa commented 7 months ago

fixed in #269