I have seen the "__assume()" statement used in Intel examples, such as "__assume(n1%16==0)" used in the recommendations in the article at https://software.intel.com/en-us/articles/data-alignment-to-assist-vecto...
I have not been able to find any discussion of this function in the compiler documentation. I can find a description of "__assume_aligned()", but not for "__assume()". This may be because the search function for the compiler documentation ignores leading punctuation. So searching for "assume_aligned" returns useful results, while searching for "__assume" returns any page that contains the word "assume" -- 71 matches in the Intel version 16 compiler docs. The web-browser-based documentation portal is too slow to look through that many results one at a time, so if anyone knows if there is documentation for this statement, I would appreciate a pointer!