Re: [PING][RFC] Assertions as optimization hints

2016-11-27 Thread Allan Sandfeld Jensen
On Wednesday 23 November 2016, Richard Biener wrote: > On Tue, Nov 22, 2016 at 6:52 PM, Yuri Gribov wrote: > > Hi all, > > > > I've recently revisited an ancient patch from Paolo > > (https://gcc.gnu.org/ml/gcc-patches/2004-04/msg00551.html) which uses > > asserts as optimization hints. I've rewr

Re: [PING][RFC] Assertions as optimization hints

2016-11-27 Thread Soul Studios
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. ps. This is a bit of a simplification - I should have stated, if the assumption is wrong, it can lead to dangerous code which breaks.

Re: [PING][RFC] Assertions as optimization hints

2016-11-27 Thread 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 alia

gcc-7-20161127 is now available

2016-11-27 Thread gccadmin
Snapshot gcc-7-20161127 is now available on ftp://gcc.gnu.org/pub/gcc/snapshots/7-20161127/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 7 SVN branch with the following options: svn://gcc.gnu.org/svn/gcc/trunk revision