public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug middle-end/26817]  New: ICE in verify_ssa
@ 2006-03-23  1:37 uttamp at us dot ibm dot com
  2006-03-23  9:37 ` [Bug middle-end/26817] ICE in verify_ssa with -ftree-loop-linear rguenth at gcc dot gnu dot org
  2006-05-18  5:57 ` pinskia at gcc dot gnu dot org
  0 siblings, 2 replies; 3+ messages in thread
From: uttamp at us dot ibm dot com @ 2006-03-23  1:37 UTC (permalink / raw)
  To: gcc-bugs

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1600 bytes --]

$ cat y.f90
        subroutine test(b,a,n)
        integer, intent(in) :: n
        integer, save :: n2
        real*8, save :: n2inv
        real*8, intent(inout) :: a(0:n/8-1,0:7),b(0:n/8-1,0:7)
        real*8 :: r1,i1,tt


        if(n2==262144)then; a=b; GOTO 1; endif
        if(n2==524288)then
          GOTO 1
        endif
        if(n2==1048576)then
          GOTO 1
        endif
        if(n2==2097152)GOTO 1
        STOP

1       continue

        r1=a(0,4); i1=a(1,4)
        tt=(r1+i1)*(r1-i1); i1=r1*i1
        b(2,0)=    tt *n2inv
        b(3,0)=(i1+i1)*n2inv

        if(n2==8)RETURN
        STOP
        end subroutine test

$ elm3b11:/home/pawar> /opt/gcc-nightly/trunk-20060322/bin/gfortran -c -o y.o
-ftree-loop-linear -O2 -m32   y.f90
y.f90: In function ‘test’:
y.f90:1: error: definition in block 15 follows the use
for SSA_NAME: PARM_NOALIAS.19_70 in statement:
#   VUSE <PARM_NOALIAS.19_70>;
r1_33 = (*a_32)[D.916_30];
y.f90:1: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: ICE in verify_ssa
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: uttamp at us dot ibm dot com
 GCC build triplet: powerpc64-linux
  GCC host triplet: powerpc64-linux
GCC target triplet: powerpc64-linux


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


^ permalink raw reply	[flat|nested] 3+ messages in thread
* [Bug middle-end/26817] ICE in verify_ssa with -ftree-loop-linear
  2006-03-23  1:37 [Bug middle-end/26817] New: ICE in verify_ssa uttamp at us dot ibm dot com
@ 2006-03-23  9:37 ` rguenth at gcc dot gnu dot org
  2006-05-18  5:57 ` pinskia at gcc dot gnu dot org
  1 sibling, 0 replies; 3+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2006-03-23  9:37 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #1 from rguenth at gcc dot gnu dot org  2006-03-23 09:37 -------
Maybe realated to PR25211, but not with PHI nodes here.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2006-03-23 09:37:51
               date|                            |
            Summary|ICE in verify_ssa           |ICE in verify_ssa with -
                   |                            |ftree-loop-linear


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


^ permalink raw reply	[flat|nested] 3+ messages in thread
* [Bug middle-end/26817] ICE in verify_ssa with -ftree-loop-linear
  2006-03-23  1:37 [Bug middle-end/26817] New: ICE in verify_ssa uttamp at us dot ibm dot com
  2006-03-23  9:37 ` [Bug middle-end/26817] ICE in verify_ssa with -ftree-loop-linear rguenth at gcc dot gnu dot org
@ 2006-05-18  5:57 ` pinskia at gcc dot gnu dot org
  1 sibling, 0 replies; 3+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-05-18  5:57 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #2 from pinskia at gcc dot gnu dot org  2006-05-18 05:57 -------
Fixed by:

2006-05-17  Sebastian Pop  <pop@cri.ensmp.fr>

        PR middle-end/20256
        PR middle-end/26435
        * tree-loop-linear.c (linear_transform_loops): Don't test
perfect_nest_p.
        Call rewrite_into_loop_closed_ssa only when something changed.
        * lambda.h (gcc_loopnest_to_lambda_loopnest): Update declaration.
        * lambda-code.c (can_convert_to_perfect_nest): Declared.
        (gcc_loopnest_to_lambda_loopnest): Removed need_perfect_nest parameter.
        Test for perfect_nest_p here.  Fix formating.
        (replace_uses_equiv_to_x_with_y): Fix formating.
        (stmt_uses_op): Removed.
        (can_convert_to_perfect_nest): Removed loopivs parameter.
        Complete the test by checking the scalar dependences.
        (perfect_nestify): Remove the test for can_convert_to_perfect_nest.
        Fix formating.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.2.0


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


^ permalink raw reply	[flat|nested] 3+ messages in thread
end of thread, other threads:[~2006-05-18  5:57 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-03-23  1:37 [Bug middle-end/26817] New: ICE in verify_ssa uttamp at us dot ibm dot com
2006-03-23  9:37 ` [Bug middle-end/26817] ICE in verify_ssa with -ftree-loop-linear rguenth at gcc dot gnu dot org
2006-05-18  5:57 ` pinskia at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).