cps2ds sometimes introduces ownerless Vars

AnyDSL / thorin2

The Higher ORder INtermediate representation - next gen

https://anydsl.github.io/thorin2/

MIT License

46 stars 9 forks source link

cps2ds sometimes introduces ownerless Vars #271

Open leissa opened 5 months ago

leissa commented 5 months ago

I'm 99% sure it's also broken on current master but most of the time we won't notice because the ownerless Var will be optimized away. However, we sometimes have the effect on master that things break as soon as you print sth. This is the reason for this. I fixed one issue in #269 but this one here remains: `

./bin/thorin ../lit/direct/ad_mem.thorin.disabled2 -p clos

Speaking of this: Why is there also lit/direct/ad_mem.thorin.disabled?

leissa commented 5 months ago

removed old ad_mem.thorin.disabled and moved ad_mem.thorin.disabled2 -> ad_mem.thorin.disabled
there is also ad_mem2.thorin.disabled. do we need this?
both tests are a mess and we should probably come up with simpler tests that provoke the bug