optimization/3384: PowerPC -funroll-loops -fbranch-count-reg misoptimization

optimization/3384: PowerPC -funroll-loops -fbranch-count-reg misoptimization

[Zoltan Hidvegi]

>Number:         3384
>Category:       optimization
>Synopsis:       PowerPC -funroll-loops -fbranch-count-reg misoptimization
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          wrong-code
>Submitter-Id:   net
>Arrival-Date:   Fri Jun 22 16:36:01 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Zoltan Hidvegi
>Release:        3.0
>Organization:
>Environment:
System: AIX vlad 3 4 0005BA2F4C00


	
host: powerpc-ibm-aix4.3.3.0
build: powerpc-ibm-aix4.3.3.0
target: powerpc-ibm-aix4.3.3.0
configured with: ../gcc-3.0/configure --enable-languages=c,c++,java --enable-version-specific-runtime-libs --disable-nls
>Description:
gcc-3.0 miscompiles code with -O2 -funroll-loops
Workaround: use -fno-branch-count-reg or do not use -funroll-loops
This is a regression to 2.95.3 but only if you use -funroll-loops.

The testcase:

------------ BEGIN ---------------
typedef unsigned long ulong;

void
set_offsets(ulong *t, ulong idx, ulong n, ulong v)
{
    ulong i;
    for (i = idx; i < n; i += 2) {
	t[i] = v;
    }
}

int
main(void)
{
    ulong a[8];
    set_offsets(a, 0, 7, 0xdeafcabe);
    return 1;
}
------------- END ----------------
>How-To-Repeat:
% gcc -O2 -funroll-loops -o bug bug.c 
% ./bug
zsh: 16798 segmentation fault  ./bug

>Fix:
Use -fno-branch-count-reg or do not use -funroll-loops
>Release-Note:
>Audit-Trail:
>Unformatted:

Re: optimization/3384: PowerPC -funroll-loops -fbranch-count-reg misoptimization

[dje]

Synopsis: PowerPC -funroll-loops -fbranch-count-reg misoptimization

State-Changed-From-To: analyzed->closed
State-Changed-By: dje
State-Changed-When: Tue Apr  2 14:32:22 2002
State-Changed-Why:
    Fixed in GCC 3.1/3.2

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=3384

Re: optimization/3384: PowerPC -funroll-loops -fbranch-count-reg misoptimization

[dje]

Synopsis: PowerPC -funroll-loops -fbranch-count-reg misoptimization

Responsible-Changed-From-To: mmitchel->dje
Responsible-Changed-By: dje
Responsible-Changed-When: Fri Jul 20 20:25:14 2001
Responsible-Changed-Why:
    Proxy for Michael Hayes

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3384&database=gcc

Re: optimization/3384: PowerPC -funroll-loops -fbranch-count-reg misoptimization

[dje]

Synopsis: PowerPC -funroll-loops -fbranch-count-reg misoptimization

Responsible-Changed-From-To: unassigned->mmitchel
Responsible-Changed-By: dje
Responsible-Changed-When: Fri Jul 20 10:39:36 2001
Responsible-Changed-Why:
    GCC 2.95 regression
State-Changed-From-To: open->analyzed
State-Changed-By: dje
State-Changed-When: Fri Jul 20 10:39:36 2001
State-Changed-Why:
    Patch waiting for approval

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3384&database=gcc