Right now we do constant folding in specific locations. We could systematically check if a node is constant before generating it. BUT it requires to separate type checking in their own functions so we could do:
type checking -> is it constant ? yes -> toValue
no -> generate
We already do this work in the JIT since type checking has already been done at this point.
Right now we do constant folding in specific locations. We could systematically check if a node is constant before generating it. BUT it requires to separate type checking in their own functions so we could do:
We already do this work in the JIT since type checking has already been done at this point.