[LLVMdev] Verifying InstCombine optimizations

[Nuno Lopes]

Hi,

We built a prototype, named ALIVe, for *automatically* verifying the 
correctness of InstCombine optimizations.
Curently, ALIVe is able to verify transformations involving arithmetic 
operations, and we are working to add support for the remaining operations.

You can read more about the the tool in: http://blog.regehr.org/archives/1170

The tool is open-source, so please use it before adding a new transformation 
to InstCombine :)

Please let us know if you have any question/comment/feedback.

Thanks,
Nuno