ocannl
ocannl copied to clipboard
Implement loop hoisting (loop-invariant code motion), prior to vistit counting (the semi-concrete interpretation run)
This will allow more tensor nodes to become virtual.
This entails changing the fix-style construct in Low_level to a let rec-style construct, since the latter is more general.