[Bug tree-optimization/58280] Missed Opportunity for Aligned Vectorized Load

[freddie at witherden dot org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58280

--- Comment #3 from Freddie Witherden <freddie at witherden dot org> ---
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 == 0);

(Although in the case of 256-bit AVX ldim % 4 == 0 would sufficient at double
precision.)  It is also worth noting that the current version of ICC doesn't
spot the alignment either with the bit-shifting trick or an explicit
assumption.