[Bug middle-end/23666] Fold does not reduce C - ~a into a + (C+1)

2006-10-22 Thread rguenth at gcc dot gnu dot org
--- Comment #10 from rguenth at gcc dot gnu dot org 2006-10-22 15:12 --- With the patch for 23295 we get the behavior as noted in comment #7. This is due to negate_expr_p (correctly) containing case BIT_NOT_EXPR: return INTEGRAL_TYPE_P (type) (TYPE_UNSIGNED

[Bug middle-end/23666] Fold does not reduce C - ~a into a + (C+1)

2005-11-30 Thread pinskia at gcc dot gnu dot org
--- Comment #9 from pinskia at gcc dot gnu dot org 2005-11-30 16:48 --- This is exactly the same issue as PR 23295 now (I should copy some of the comments from here to there). -- pinskia at gcc dot gnu dot org changed: What|Removed |Added

[Bug middle-end/23666] Fold does not reduce C - ~a into a + (C+1)

2005-11-28 Thread pinskia at gcc dot gnu dot org
--- Comment #8 from pinskia at gcc dot gnu dot org 2005-11-29 00:39 --- I am not going to fix this now as it exposes too many VRP issues and other issues. -- pinskia at gcc dot gnu dot org changed: What|Removed |Added

[Bug middle-end/23666] Fold does not reduce C - ~a into a + (C+1)

2005-11-27 Thread pinskia at gcc dot gnu dot org
--- Comment #7 from pinskia at gcc dot gnu dot org 2005-11-27 22:26 --- After the patch which I am about to test, we get this with -fwrapv (yes that is weird we get it with something which should be cause optimizations not to happen and not the other way around). --

[Bug middle-end/23666] Fold does not reduce C - ~a into a + (C+1)

2005-11-26 Thread pinskia at gcc dot gnu dot org
--- Comment #4 from pinskia at gcc dot gnu dot org 2005-11-26 21:43 --- The problem here is my fault, slightly. Fold is converting -(~a) in the NEGATE_EXPR but not in the generic functions to do the negation. I will do the patch for this one. (I am saying that -(~a) is more complex

[Bug middle-end/23666] Fold does not reduce C - ~a into a + (C+1)

2005-11-26 Thread pinskia at gcc dot gnu dot org
--- Comment #5 from pinskia at gcc dot gnu dot org 2005-11-26 22:38 --- Actually there is two things that need to be done, first is what I said in comment # 4 and then the second thing is for MINUS_EXPR to use those functions instead of checking explicatly for NEGATE_EXPR. --

[Bug middle-end/23666] Fold does not reduce C - ~a into a + (C+1)

2005-11-26 Thread pinskia at gcc dot gnu dot org
--- Comment #6 from pinskia at gcc dot gnu dot org 2005-11-26 22:53 --- Actually it is just a check for flag_wrapv which looks to be wrong as far as I can tell. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23666

[Bug middle-end/23666] Fold does not reduce C - ~a into a + (C+1)

2005-09-16 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-09-17 02:11 --- Confirmed. -- What|Removed |Added Status|UNCONFIRMED |NEW

[Bug middle-end/23666] Fold does not reduce C - ~a into a + (C+1)

2005-09-01 Thread falk at debian dot org
--- Additional Comments From falk at debian dot org 2005-09-01 06:19 --- Works for me on alphaev68-unknown-linux-gnu tiw with 4.1.0 20050819. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23666

[Bug middle-end/23666] Fold does not reduce C - ~a into a + (C+1)

2005-09-01 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-09-01 11:59 --- (In reply to comment #1) Works for me on alphaev68-unknown-linux-gnu tiw with 4.1.0 20050819. And does not with 4.1.0 20050901 on i686-pc-linux-gnu or on powerpc-darwin. --