On Thu, Aug 20, 2015 at 11:18 AM, Hurugalawadi, Naveen
<[email protected]> wrote:
> Hi,
>
>>> Works for me if you specify -fno-math-errno. I think that's a
>>> "regression" we can accept.
>
> Modified the pattern with "fno-math-errno" as a condition.
>
>>> Can you re-post with the typo fix and the missing :s?
>
> Please find attached the modified patch as per the review comments.
> Please suggest if there should be any further modifications.
You marked
+ /* Simplify x * pow(x,c) -> pow(x,c+1). */
+ (simplify
+ (mult @0 (POW:s @0 REAL_CST@1))
+ (if (!flag_errno_math
+ && !TREE_OVERFLOW (@1))
+ (POW @0 (plus @1 { build_one_cst (type); }))))
with !flag_errno_math to avoid ICEs when replacing a non-call with a call.
But ...
+ /* Simplify sin(x) / cos(x) -> tan(x). */
+ (simplify
+ (rdiv (SIN:s @0) (COS:s @0))
+ (TAN @0))
has exactly the same issue, so does the following (and maybe others)
+ /* Simplify cos(x) / sin(x) -> 1 / tan(x). */
+ (simplify
+ (rdiv (COS:s @0) (SIN:s @0))
+ (rdiv { build_one_cst (type); } (TAN @0)))
so I presume those simply do not trigger late (on GIMPLE) for any existing
testcases.
So to not expose this (latent) issue please wait until I find the time to fix
the underlying issue in a more generic way. I will have a look today.
Thanks,
Richard.
> Thanks,
> Naveen
>
> ChangeLog
>
> 2015-08-20 Naveen H.S <[email protected]>
>
> * fold-const.c (fold_binary_loc) : Move sqrt(x)*sqrt(x) as x
> to match.pd.
> Move Optimize pow(x,y)*pow(z,y) as pow(x*z,y)to match.pd.
> Move Optimize tan(x)*cos(x) as sin(x) to match.pd.
> Move Optimize x*pow(x,c) as pow(x,c+1) to match.pd.
> Move Optimize pow(x,c)*x as pow(x,c+1) to match.pd.
> Move Optimize sin(x)/cos(x) as tan(x) to match.pd.
> Move Optimize cos(x)/sin(x) as 1.0/tan(x) to match.pd.
> Move Optimize sin(x)/tan(x) as cos(x) to match.pd.
> Move Optimize tan(x)/sin(x) as 1.0/cos(x) to match.pd.
> Move Optimize pow(x,c)/x as pow(x,c-1) to match.pd.
> Move Optimize x/pow(y,z) into x*pow(y,-z) to match.pd.
>
> * match.pd (SIN ) : New Operator.
> (TAN) : New Operator.
> (mult (SQRT@1 @0) @1) : New simplifier.
> (mult (POW:s @0 @1) (POW:s @2 @1)) : New simplifier.
> (mult:c (TAN:s @0) (COS:s @0)) : New simplifier.
> (mult:c (TAN:s @0) (COS:s @0)) : New simplifier.
> (rdiv (SIN:s @0) (COS:s @0)) : New simplifier.
> (rdiv (COS:s @0) (SIN:s @0)) : New simplifier.
> (rdiv (SIN:s @0) (TAN:s @0)) : New simplifier.
> (rdiv (TAN:s @0) (SIN:s @0)) : New simplifier.
> (rdiv (POW:s @0 REAL_CST@1) @0) : New simplifier.
> (rdiv @0 (SQRT:s (rdiv:s @1 @2))) : New simplifier.
> (rdiv @0 (POW:s @1 @2)) : New simplifier.
