[Bug middle-end/61734] [4.10 Regression] Regression in ABS_EXPR recognition

2014-07-29 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61734 --- Comment #13 from Eric Botcazou --- > Before your last fix both 32bit and 64bit versions of .original look similar > except a condition. We have (a - b > 0) for 64 bit and (a > b) for 32bit. That's obsolete though, you should look at what hap

[Bug middle-end/61734] [4.10 Regression] Regression in ABS_EXPR recognition

2014-07-29 Thread enkovich.gnu at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61734 --- Comment #12 from Ilya Enkovich --- Before your last fix both 32bit and 64bit versions of .original look similar except a condition. We have (a - b > 0) for 64 bit and (a > b) for 32bit. 64bit version (before and after the patch) { sum = (

[Bug middle-end/61734] [4.10 Regression] Regression in ABS_EXPR recognition

2014-07-29 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61734 --- Comment #11 from Eric Botcazou --- > Is there any reason for ABS_EXPR detection for not working on 64bit target > for the same test? It is probably visible in the .original dump.

[Bug middle-end/61734] [4.10 Regression] Regression in ABS_EXPR recognition

2014-07-29 Thread enkovich.gnu at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61734 --- Comment #10 from Ilya Enkovich --- Thanks for the fix! Is there any reason for ABS_EXPR detection for not working on 64bit target for the same test? The only difference should be the long long type size. How does it affect optimizations?

[Bug middle-end/61734] [4.10 Regression] Regression in ABS_EXPR recognition

2014-07-28 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61734 Eric Botcazou changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug middle-end/61734] [4.10 Regression] Regression in ABS_EXPR recognition

2014-07-28 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61734 --- Comment #8 from Eric Botcazou --- Author: ebotcazou Date: Mon Jul 28 08:55:17 2014 New Revision: 213118 URL: https://gcc.gnu.org/viewcvs?rev=213118&root=gcc&view=rev Log: PR middle-end/61734 * fold-const.c (fold_comparison): Disable

[Bug middle-end/61734] [4.10 Regression] Regression in ABS_EXPR recognition

2014-07-22 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61734 --- Comment #7 from Eric Botcazou --- > Eric, dou you have any plans regarding this issue? Sure, see comment #3.

[Bug middle-end/61734] [4.10 Regression] Regression in ABS_EXPR recognition

2014-07-22 Thread izamyatin at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61734 Igor Zamyatin changed: What|Removed |Added CC||izamyatin at gmail dot com --- Comment #

[Bug middle-end/61734] [4.10 Regression] Regression in ABS_EXPR recognition

2014-07-08 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61734 --- Comment #5 from Marc Glisse --- (In reply to Jakub Jelinek from comment #2) > So perhaps teach fold also about A CMP B ? A - B : -(A - B) etc.? Or teach phiopt about A CMP B ? (U)((T)A - (T)B) : (U)((T)B - (T)A)? Hmm, it is starting to be a

[Bug middle-end/61734] [4.10 Regression] Regression in ABS_EXPR recognition

2014-07-08 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61734 --- Comment #4 from Jakub Jelinek --- Sure, I wouldn't change fold_cond_expr_with_comparison itself. Instead, next to the two spots that call fold_cond_expr_with_comparison add another two, which would if arg1 or op2 is a MINUS_EXPR where the fir

[Bug middle-end/61734] [4.10 Regression] Regression in ABS_EXPR recognition

2014-07-08 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61734 Eric Botcazou changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned a

[Bug middle-end/61734] [4.10 Regression] Regression in ABS_EXPR recognition

2014-07-08 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61734 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #2

[Bug middle-end/61734] [4.10 Regression] Regression in ABS_EXPR recognition

2014-07-07 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61734 Eric Botcazou changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug middle-end/61734] [4.10 Regression] Regression in ABS_EXPR recognition

2014-07-07 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61734 Richard Biener changed: What|Removed |Added CC||ebotcazou at gcc dot gnu.org C