[PATCH] [Polly] Enable ISL's small integer optimization

[Tobias Grosser]

This patch looks fine. Only two minor remarks:

1. The isl_config.h change may need minor adjustments to match the old format (see previous review)

2. Performance numbers

After having committed http://reviews.llvm.org/D10505, it would be nice to push this patch to our try performance bots to obtain the latest performance numbers. Having such performance numbers in the commit message and also adding some explanation to the commit message on why sio gives us so nice compile-time reductions would be nice. Many people from the LLVM community may not have followed this discussion, so this is really the location where we want to educate people about this change. Assuming sameone wants to know something about the sio change and it effects on Polly, I would like to be able to point him to this commit message to quickly learn about the change and its impact.


http://reviews.llvm.org/D10506

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/