Are there any studies or examples of TBAA optimization for C showing substantive performance wins? I have not been able to find any papers or even compelling examples. If this is off-topic let me know. vy -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20210618/1baa45ad/attachment.html>
> Are there any studies or examples of TBAA optimization for C showing > substantive performance wins? I have not been able to find any > papers or even compelling examples.Consider: void square (float *arr, int *bound) { int i; for (i = 0; i <= *bound; i++) arr[i] = arr[i] * arr[i]; } without TBAA you can't hoist the reference to *bound out of the loop. That will prevent almost all loop optimizations.