This is the mail archive of the gcc-help@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: helping the compiler with asserts-hints to optimize

From: Jeff Law <law at redhat dot com>
To: gcc-help at gcc dot gnu dot org
Cc: Agustin Perez Paladini <agudpp at gmail dot com>, David Brown <david at westcontrol dot com>, Jonathan Wakely <jwakely dot gcc at gmail dot com>
Date: Thu, 24 Apr 2014 10:42:40 -0600
Subject: Re: helping the compiler with asserts-hints to optimize
Authentication-results: sourceware.org; auth=none
References: <CAOjwP-tXR+bxSSQGc2uOgaLGMVWSLb8LKPb81zR-eb7wfA3Umg at mail dot gmail dot com> <5357E302 dot 2000709 at redhat dot com> <CAOjwP-vDO1qmwi8GGi-k4uE2S3gbez-oOKenwc0P8QpL6Ckk4g at mail dot gmail dot com> <CAH6eHdQMAXS09rizvsU=2D8vNDbSwrhi1Xjm6E9kopAKs=ifmg at mail dot gmail dot com> <CAH6eHdQgT80pf6Eq+quC80uLe9tEa3hvj2kn4E_zRqVCD1VkBQ at mail dot gmail dot com> <CAOjwP-tVLi4waqjzdcC2KfqnO5_A=ggUvpB6A_4+=Ngb8vzsxw at mail dot gmail dot com> <5358BCB9 dot 1060507 at westcontrol dot com> <CAOjwP-t01P-4_LdeyNreAk0tAD5XoWOxXg8djuZPndvEPEFBUQ at mail dot gmail dot com> <53592E78 dot 4040802 at redhat dot com> <alpine dot DEB dot 2 dot 10 dot 1404241800470 dot 31655 at stedding dot saclay dot inria dot fr>

On 04/24/14 10:09, Marc Glisse wrote:

Anyway, I think its pretty much what I was looking for.

Feel free to file a bug report for this one.  VRP doesn't have a
nonzero/zero bits tracking lattice, but it's something I can see being
added at some point and having examples like this in the BZ database
is often helpful when doing that kind of optimization work.


gcc-4.9 (CCP3) already optimizes this testcase ;-)

Ah, wasn't aware of that.  Excellent.

jeff

Follow-Ups:
- Re: helping the compiler with asserts-hints to optimize
  - From: Agustin Perez Paladini

References:
- helping the compiler with asserts-hints to optimize
  - From: Agustin Perez Paladini
- Re: helping the compiler with asserts-hints to optimize
  - From: Jeff Law
- Re: helping the compiler with asserts-hints to optimize
  - From: Agustin Perez Paladini
- Re: helping the compiler with asserts-hints to optimize
  - From: Jonathan Wakely
- Re: helping the compiler with asserts-hints to optimize
  - From: Jonathan Wakely
- Re: helping the compiler with asserts-hints to optimize
  - From: Agustin Perez Paladini
- Re: helping the compiler with asserts-hints to optimize
  - From: David Brown
- Re: helping the compiler with asserts-hints to optimize
  - From: Agustin Perez Paladini
- Re: helping the compiler with asserts-hints to optimize
  - From: Jeff Law
- Re: helping the compiler with asserts-hints to optimize
  - From: Marc Glisse

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]