This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Use assert()s for optimization?
- From: Falk Hueffner <falk dot hueffner at student dot uni-tuebingen dot de>
- To: Richard Guenther <rguenth at tat dot physik dot uni-tuebingen dot de>
- Cc: gcc at gcc dot gnu dot org
- Date: 06 Nov 2003 23:01:26 +0100
- Subject: Re: Use assert()s for optimization?
- References: <Pine.LNX.4.58.0311062248040.599@goofy>
Richard Guenther <rguenth@tat.physik.uni-tuebingen.de> writes:
> Is there a way to turn an assert() into optimization hints for gcc?
> Like in
>
> double mysqrt(double x)
> {
> assert(x >= 0.0);
> return sqrt(x);
> }
Interestingly, Toon Moene just asked for the same thing on gcc-patches :)
I don't think it's currently possible. Maybe we could have
something similar to Microsoft's __assume(), which would then feed the
nonnegative_p etc. functions and the VRP to come. I'm not sure how to
represent it best in the intermediary representation, though.
--
Falk