[Bug middle-end/23410] New: AIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

[Bug middle-end/23410] New: AIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

[danglin at gcc dot gnu dot org]

New failure:

Executing on host: /test/gnu/gcc-3.3/objdir/gcc/xgcc -B/test/gnu/gcc-3.3/objdir/
gcc/ /test/gnu/gcc-3.3/gcc/gcc/testsuite/gcc.c-torture/execute/950612-1.c  -w  -
O3 -fomit-frame-pointer  -fno-show-column  -lm   -o /test/gnu/gcc-3.3/objdir/gcc
/testsuite/950612-1.x3    (timeout = 300)
PASS: gcc.c-torture/execute/950612-1.c compilation,  -O3 -fomit-frame-pointer
Setting LD_LIBRARY_PATH to :/test/gnu/gcc-3.3/objdir/gcc::/test/gnu/gcc-3.3/objd
ir/gcc
FAIL: gcc.c-torture/execute/950612-1.c execution,  -O3 -fomit-frame-pointer

(gdb) disass main
Dump of assembler code for function main:
0x00002a10 <main+0>:    stw rp,-14(sp)
0x00002a14 <main+4>:    b,l 0x29f8 <abort>,rp
0x00002a18 <main+8>:    ldo 40(sp),sp
0x00002a1c <main+12>:   nop
End of assembler dump.

Looks like the test was optimized into a call to abort!

-- 
           Summary: AIL: gcc.c-torture/execute/950612-1.c execution, at -Os
                    and -O3
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: danglin at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: hppa2.0w-hp-hpux11.11
  GCC host triplet: hppa2.0w-hp-hpux11.11
GCC target triplet: hppa2.0w-hp-hpux11.11


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23410

[Bug middle-end/23410] FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

[danglin at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|AIL: gcc.c-                 |FAIL: gcc.c-
                   |torture/execute/950612-1.c  |torture/execute/950612-1.c
                   |execution, at -Os and -O3   |execution, at -Os and -O3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23410

[Bug tree-optimization/23410] [4.1 Regression] FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-15 23:07 -------
This is also reproduciable on i686-pc-linux-gnu.

When was this last updated?

Was this before:
2005-08-15  Sebastian Pop  <pop@cri.ensmp.fr>

        PR 23386
        * tree-data-ref.c (estimate_niter_from_size_of_data): When
        step is negative compute the estimation from init downwards to zero.

you might want to test after that because I only tested x86 before this patch.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|middle-end                  |tree-optimization
  GCC build triplet|hppa2.0w-hp-hpux11.11       |
   GCC host triplet|hppa2.0w-hp-hpux11.11       |
 GCC target triplet|hppa2.0w-hp-hpux11.11       |i686-pc-linux-gnu, hppa2.0w-
                   |                            |hp-hpux11.11
           Keywords|                            |wrong-code
            Summary|FAIL: gcc.c-                |[4.1 Regression] FAIL:
                   |torture/execute/950612-1.c  |gcc.c-
                   |execution, at -Os and -O3   |torture/execute/950612-1.c
                   |                            |execution, at -Os and -O3
   Target Milestone|---                         |4.1.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23410

[Bug tree-optimization/23410] [4.1 Regression] FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

[dave at hiauly1 dot hia dot nrc dot ca]

------- Additional Comments From dave at hiauly1 dot hia dot nrc dot ca  2005-08-15 23:07 -------
Subject: Re:  FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

> ------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-15 23:01 -------
> Hmm, does hppa2.0w-hp-hpux11.11 use HOST_WIDE_INT as 32?

No.  It should be 64 as the target supports long long.  The bootstrap
compiler was gcc.

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23410

[Bug middle-end/23410] FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-15 23:01 -------
Hmm, does hppa2.0w-hp-hpux11.11 use HOST_WIDE_INT as 32?

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23410

[Bug tree-optimization/23410] [4.1 Regression] FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

[dave at hiauly1 dot hia dot nrc dot ca]

------- Additional Comments From dave at hiauly1 dot hia dot nrc dot ca  2005-08-15 23:11 -------
Subject: Re:  [4.1 Regression] FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

> This is also reproduciable on i686-pc-linux-gnu.
> 
> When was this last updated?
> 
> Was this before:
> 2005-08-15  Sebastian Pop  <pop@cri.ensmp.fr>
> 
>         PR 23386
>         * tree-data-ref.c (estimate_niter_from_size_of_data): When
>         step is negative compute the estimation from init downwards to zero.
> 
> you might want to test after that because I only tested x86 before this patch.

After.  It was updated at Mon Aug 15 13:59:26 UTC 2005 and has

2005-08-15  Sebastian Pop  <pop@cri.ensmp.fr>

	PR 23391
	* Makefile.in (tree-chrec.o): Depends on real.h.

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23410

[Bug middle-end/23410] [4.1 Regression] FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-15 23:31 -------
It works on PPC-darwin for some reason.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
          Component|tree-optimization           |middle-end


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23410

[Bug middle-end/23410] [4.1 Regression] FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-17 02:33 -------
Confirmed, based on http://gcc.gnu.org/ml/gcc-testresults/2005-08/msg00937.html and trying it my 
self on i686-pc-linux-gnu.


looking at config.gcc, I noticed that need_64bit_hwint for hppa2.0w-hp-hpux11.11 is not set so that 
what this bug is.

This is a 32bit HOST_WIDE_INT bug.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
 GCC target triplet|i686-pc-linux-gnu, hppa2.0w-|HOST_WIDE_INT == 32bits
                   |hp-hpux11.11                |
   Last reconfirmed|0000-00-00 00:00:00         |2005-08-17 02:33:34
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23410

[Bug middle-end/23410] [4.1 Regression] FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

[dave at hiauly1 dot hia dot nrc dot ca]

------- Additional Comments From dave at hiauly1 dot hia dot nrc dot ca  2005-08-17 03:17 -------
Subject: Re:  [4.1 Regression] FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

> looking at config.gcc, I noticed that need_64bit_hwint for hppa2.0w-hp-hpux11.11 is not set so that 
> what this bug is.

I believe that my recollection regarding HOST_WIDE_INT was faulty.
need_64bit_hwint not being set is correct.

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23410

[Bug middle-end/23410] [4.1 Regression] FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

[sebastian dot pop at cri dot ensmp dot fr]

------- Additional Comments From sebastian dot pop at cri dot ensmp dot fr  2005-08-18 11:51 -------
Reduced testcase is:

unsigned long long
f4 (unsigned long long diff)
{
  return ((unsigned long long) ((signed long long) diff < 0 ? -diff : diff));
}

main ()
{
  int i;
  for (i = 0; i <= 10; i++)
    if (f4 ((long long) -i) != i)
      abort ();
  
  exit (0);
}

And the problem is in VRP:

Visiting statement:
diff.0D.1338_6 = (long long intD.5) diffD.1337_4;

(analyze_scalar_evolution 
  (loop_nb = 1)
  (scalar = diff.0_6)
(get_scalar_evolution 
  (scalar = diff.0_6)
  (scalar_evolution = (long long int) {0, +, ffffffffffffffff}_1))
(set_scalar_evolution 
  (scalar = diff.0_6)
  (scalar_evolution = (long long int) {0, +, ffffffffffffffff}_1))
)
(instantiate_parameters 
  (loop_nb = 1)
  (chrec = (long long int) {0, +, ffffffffffffffff}_1)
  (res = (long long int) {0, +, ffffffffffffffff}_1))
Found new range for diff.0_6: [0, 0]

The computation of the min bound is not correct.  I'm working on a patch.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23410

[Bug middle-end/23410] [4.1 Regression] FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

[amylaar at gcc dot gnu dot org]

------- Additional Comments From amylaar at gcc dot gnu dot org  2005-08-31 13:14 -------
(In reply to comment #8)
 
> The computation of the min bound is not correct.  I'm working on a patch.

What is the current status on this?



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |joern dot rennecke at st dot
                   |                            |com
   Last reconfirmed|2005-08-17 02:33:34         |2005-08-31 13:14:04
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23410

[Bug middle-end/23410] [4.1 Regression] FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-09-01 15:10 -------
Subject: Bug 23410

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	spop@gcc.gnu.org	2005-09-01 15:09:42

Modified files:
	gcc            : ChangeLog tree-ssa-loop-niter.c 

Log message:
	PR tree-optimization/23410
	* tree-ssa-loop-niter.c (scev_probably_wraps_p): Check that the
	sequence is not wrapping during the first step.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9874&r2=2.9875
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-loop-niter.c.diff?cvsroot=gcc&r1=2.40&r2=2.41



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23410

[Bug middle-end/23410] [4.1 Regression] FAIL: gcc.c-torture/execute/950612-1.c execution, at -Os and -O3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-01 16:41 -------
Fixed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23410