This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/31531] A microoptimization of isnegative of signed integer
- From: "pinskia at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Sun, 12 Feb 2012 22:58:41 +0000
- Subject: [Bug middle-end/31531] A microoptimization of isnegative of signed integer
- Auto-submitted: auto-generated
- References: <bug-31531-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31531
--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-02-12 22:58:41 UTC ---
(In reply to comment #8)
> forwprop already handles:
> int f(int a)
> {
> int b = ~a;
> return b<0;
> }
>
> It just needs to handle:
> int f(unsigned a)
> {
> int b = ~a;
> return b<0;
> }
forward_propagate_into_comparison only handles combing of two SSA_NAMEs, it
could handle dealing with a conversion also.