[PING][RFC] Assertions as optimization hints

[Soul Studios]

> Does this approach make sense in general? If it does I can probably
> come up with more measurements.

Sounds good to me-not sure why there hasn't been more response to this, it
seems logical-
if functions can make assumptions such as pointerA != pointerB then that
leads the way for avoiding aliasing restrictions.


> As a side note, at least some users may consider this a useful feature:
> http://www.nntp.perl.org/group/perl.perl5.porters/2013/11/msg209482.html

The main problem with __assume is that it should never be used. 
Literally, if you have to use it, then the code it refers to should 
actually be commented out.