search

ryukzak / nitta

BSD 3-Clause "New" or "Revised" License
21 stars 6 forks source link

Synthesis failes #217

Closed BasicEC closed 9 months ago

BasicEC commented 2 years ago

Lua code:

function sum(x1, x2)
     x1 = x1 + x2
     x2 = x2 + 3
     sum(x1, x2)
end
sum(1,2,3)

DFG at the moment of stop: image

BasicEC commented 2 years ago

My guess is that the FRAM can't overwrite x2 variable because it is needed for second add function. So we have dead lock here.

Maybe related: #213

ryukzak commented 9 months ago

Not reproduce. But highlight the following problem https://github.com/ryukzak/nitta/issues/267