From 546ad2d9fce6b9ed05b0634a9731db3609414c9d Mon Sep 17 00:00:00 2001 From: Sebastian Pop Date: Tue, 16 Aug 2005 11:41:33 +0200 Subject: [PATCH] * tree-ssa-loop-niter.c (scev_probably_wraps_p): Reword a comment. From-SVN: r103152 --- gcc/ChangeLog | 4 ++++ gcc/tree-ssa-loop-niter.c | 21 +++++++++++++-------- 2 files changed, 17 insertions(+), 8 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 24be81187b7..c9df1058600 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2005-08-16 Sebastian Pop + + * tree-ssa-loop-niter.c (scev_probably_wraps_p): Reword a comment. + 2005-08-15 Richard Earnshaw PR target/23355 diff --git a/gcc/tree-ssa-loop-niter.c b/gcc/tree-ssa-loop-niter.c index 8399faf30e2..ce4b3cf7df1 100644 --- a/gcc/tree-ssa-loop-niter.c +++ b/gcc/tree-ssa-loop-niter.c @@ -1891,19 +1891,24 @@ scev_probably_wraps_p (tree type, tree base, tree step, /* If AT_STMT represents a cast operation, we may not be able to take advantage of the undefinedness of signed type evolutions. + + implement-c.texi states: "For conversion to a type of width + N, the value is reduced modulo 2^N to be within range of the + type;" + See PR 21959 for a test case. Essentially, given a cast operation - unsigned char i; - signed char i.0; + unsigned char uc; + signed char sc; ... - i.0_6 = (signed char) i_2; - if (i.0_6 < 0) + sc = (signed char) uc; + if (sc < 0) ... - where i_2 and i.0_6 have the scev {0, +, 1}, we would consider - i_2 to wrap around, but not i.0_6, because it is of a signed - type. This causes VRP to erroneously fold the predicate above - because it thinks that i.0_6 cannot be negative. */ + where uc and sc have the scev {0, +, 1}, we would consider uc to + wrap around, but not sc, because it is of a signed type. This + causes VRP to erroneously fold the predicate above because it + thinks that sc cannot be negative. */ if (at_stmt && TREE_CODE (at_stmt) == MODIFY_EXPR) { tree rhs = TREE_OPERAND (at_stmt, 1); -- 2.30.2