[LLVMdev] PredicateSimplifier questions

[Duncan Sands]

Hi Chris,

> In my experience, starting with a very simple and very cheap approach  
> will get most of the benefit.  For those who really want to eliminate  
> every check possible, a more expensive approach can be used on top of  
> it.  If someone is interested in array bound check elimination, I'd  
> suggest starting with the ABCD (array bounds check elimination on  
> deman) paper.  I believe that vmkit would hugely benefit from this as  
> well.

Ada would also benefit I think: all array accesses are checked.

Ciao,

Duncan.