search for: nuni

...o automatically convert from C++ to the DSL. Not impossible, AFAICT. Proving absence of loops is a bit more complicated than traditional static analysis. It often requires things like synthesis of ranking functions (to prove that the transition relation is well-founded), which is not trivial. Nuni

On 10 August 2013 15:32, Nuno Lopes <nunoplopes at sapo.pt> wrote: > Hi Jakob, > > Thanks for creating this interesting proposal. > Let me just comment on this part: > > >>> What might be better is to put some abstract interface between >>> instcombine and the IR, so that instcombine can be run on these pseudo-MIs >>> as well as on IR. >>