https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58280
Andrew Pinski changed:
What|Removed |Added
Severity|normal |enhancement
See Also|
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58280
--- Comment #5 from Freddie Witherden ---
Thank you for this information. As an alternative would it be worth
considering a pragma along the lines of:
#pragma gcc aligned(32)
which would confer that "in the first iteration of the loop which fol
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58280
--- Comment #4 from Jakub Jelinek ---
We have a way to say assume something,
if (ldim % 32 != 0) __builtin_unreachable (), and you can define a __assume
macro using it.
But, as we don't record the non-zero bitmasks from it anywhere, it can't be
us
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58280
--- Comment #3 from Freddie Witherden ---
Would it be any easier --- from an implementation standpoint --- to adopt
something similar to the "__assume(predicate)" directive in ICC? This would
allow one to state explicitly:
__assume(ldim % 32 ==
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58280
--- Comment #2 from Richard Biener ---
(In reply to Jakub Jelinek from comment #1)
> We still don't preserve VRP info (patches exist) and furthermore, don't
> record non-zero bits bitmask there either. Only after we do that we could
> perhaps han
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58280
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #1 f
