[PATCH] D24542: Make vector operation with variable index unsafe to speculate

[Philip Reames via llvm-commits]

reames added a subscriber: reames.
reames added a comment.

It's not clear this is the right model for this.  I agree we have to consider out of bounds indices (as specified by the LangRef), but perhaps we'd be better off treating the result as undef/poison as we do for other bits of undefined behaviour?  I'm not really the right person to help debate this; you might want to get Sanjoy or David Majnemer involved.  They tend to be really good with this family of issues.


https://reviews.llvm.org/D24542