| Issue |
64666
|
| Summary |
[Loop Vectorizer] __builtin_assume_separate_storage is not propagated to LV AA
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
komalon1
|
See reproducer in https://godbolt.org/z/c7ea3b85Y
Adding `restrict` to the function parameters makes vectorization safe.
Using `__builtin_assume_separate_storage(a1, a2);` should provide the same information as the `restrict` in this case, yet the loop is not vectorized.
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
