https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114995
--- Comment #8 from Pratik Chowdhury ---
> if you just try to compare __builtin_assume_aligned (x, 32) == x, it will
> just fold as always true
Aah. Dead code elimination.
> CCing Aldy/Andrew for whether prange can or could be taught to handl
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114995
--- Comment #6 from Pratik Chowdhury ---
> [[assume((uintptr_t(x_array) & (32-1)) == 0)]];
The Parans in the & have definitely given someone sleepless nights LOL. I
myself was saved by the warnings.
> Right now we don't always prop back what i
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114995
--- Comment #3 from Pratik Chowdhury ---
Yeah definitely.
My bad.
Sorry.
@Andrew Pinski [however even that change does not seem to change the results
for GCC with Aligned Loads not being used](https://gcc.godbolt.org/z/9WbMbePc1)
Added the m
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114995
Bug ID: 114995
Summary: C++23 Assume keyword not being used for vectorization
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Co
