This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH][2/2][RFC] Fix PR49806, promote/demote binary operations in VRP
- From: Ira Rosen <IRAR at il dot ibm dot com>
- To: Richard Guenther <rguenther at suse dot de>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Tue, 2 Aug 2011 13:07:04 +0300
- Subject: Re: [PATCH][2/2][RFC] Fix PR49806, promote/demote binary operations in VRP
> + /* Now we have matched the statement pattern
> +
> + rhs1 = (T1)x;
> + rhs2 = (T1)y;
> + op_result = rhs1 OP rhs2;
> + lhs = (T2)op_result;
Just a note that the patch I proposed for the vectorizer (
http://gcc.gnu.org/ml/gcc-patches/2011-07/msg01472.html) also handles
constants, multiple statements (i.e., op_result doesn't have to be promoted
itself, but the sequence needs to end up with a promotion), and also it may
use an intermediate type for OP. The tests in my patch don't match the
pattern this patch detects.
Thanks,
Ira