[yukIttEft]

Wasn't aware of Alive2. Thx, I'll have look.

I had some success with https://github.com/mrphrazer/msynth But its hard to glue this to LLVM.