https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110337
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |DUPLICATE
Status|UNCONFIRMED |RESOLVED
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Dup of bug 110252.
if (i_9 >= 0)
goto <bb 3>; [59.00%]
else
goto <bb 4>; [41.00%]
;; succ: 3 [59.0% (guessed)] count:633507680 (estimated locally)
(TRUE_VALUE,EXECUTABLE)
;; 4 [41.0% (guessed)] count:440234144 (estimated locally)
(FALSE_VALUE,EXECUTABLE)
;; basic block 3, loop depth 0, count 633507681 (estimated locally)
;; prev block 2, next block 4, flags: (NEW, REACHABLE, VISITED)
;; pred: 2 [59.0% (guessed)] count:633507680 (estimated locally)
(TRUE_VALUE,EXECUTABLE)
# RANGE [irange] int [0, 1] NONZERO 0x1
iftmp.6_10 = i_9 >> 14;
;; succ: 4 [always] count:633507681 (estimated locally)
(FALLTHRU,EXECUTABLE)
;; basic block 4, loop depth 0, count 1073741824 (estimated locally), maybe
hot
;; prev block 3, next block 1, flags: (NEW, REACHABLE, VISITED)
;; pred: 3 [always] count:633507681 (estimated locally)
(FALLTHRU,EXECUTABLE)
;; 2 [41.0% (guessed)] count:440234144 (estimated locally)
(FALSE_VALUE,EXECUTABLE)
i_9 >= 0 ? iftmp.6_10 : 1
Matching expression match.pd:1990, gimple-match-5.cc:23
Matching expression match.pd:1990, gimple-match-5.cc:23
Applying pattern match.pd:5283, gimple-match-4.cc:870
Applying pattern match.pd:1378, gimple-match-3.cc:7714
Applying pattern match.pd:1885, gimple-match-9.cc:1391
Applying pattern match.pd:4745, gimple-match-2.cc:16250
Folded into the sequence:
_4 = i_9 >= 0;
_2 = (int) _4;
_8 = i_9 < 0;
_13 = (int) _8;
_14 = iftmp.6_10 | _13;
The problem is i_9 >> 14 is only [0,1] iff inside the condition.
*** This bug has been marked as a duplicate of bug 110252 ***
