> One question: The branch changes 'convert' to not fold its result, and > it's not clear to me whether that's part of the expected behavior of a > front end 'convert' function or not.
I don't think that you should change the behavior for front-ends that have an internal representation distinct from the GENERIC trees and thus do a global translation to GENERIC at the end; e.g. in the Ada compiler we'd rather have *more* folding than less during this translation. -- Eric Botcazou