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.
