gcc-2.96-99 optimization bug?

[Atsushi Nemoto <nemoto@toshiba-tops.co.jp>]

I found gcc 2.96 (gcc-2.96-99.1.mipsel.rpm in H.J.Lu's RedHat 7.1)
outputs wrong code for this short program.

int foo(unsigned long long a, unsigned long long b)
{
	int as, bs;
	as = a >> 63;
	bs = b >> 63;
	if (as != bs)
		return as || !(b << 1);
	return (a == b) || as;
}

int main(int argc, char **argv)
{
	return foo(0, 0xffffffffffffffffull);
}

This program must return 0.  But compiling with -O2 it returns 1 !!

# gcc -O -o foo foo.c;./foo;echo $?
0
# gcc -O2 -o foo foo.c;./foo;echo $?
1

Output wth -O -g are:

00400780 <foo>:
  400780:	3c1c0fc0 	lui	gp,0xfc0
  400784:	279c78b0 	addiu	gp,gp,30896
  400788:	0399e021 	addu	gp,gp,t9
  40078c:	00804021 	move	t0,a0
  400790:	00a04821 	move	t1,a1
  400794:	000917c2 	srl	v0,t1,0x1f
  400798:	00402821 	move	a1,v0
  40079c:	000717c2 	srl	v0,a3,0x1f
  4007a0:	10a2000d 	beq	a1,v0,4007d8 <foo+0x58>
  4007a4:	00001821 	move	v1,zero
  4007a8:	14a00008 	bnez	a1,4007cc <foo+0x4c>
  4007ac:	00004021 	move	t0,zero
  4007b0:	00071840 	sll	v1,a3,0x1
  4007b4:	000627c2 	srl	a0,a2,0x1f
  4007b8:	00641825 	or	v1,v1,a0
  4007bc:	00061040 	sll	v0,a2,0x1
  4007c0:	00621025 	or	v0,v1,v0
  4007c4:	14400002 	bnez	v0,4007d0 <foo+0x50>
  4007c8:	00000000 	nop
  4007cc:	24080001 	li	t0,1
  4007d0:	03e00008 	jr	ra
  4007d4:	01001021 	move	v0,t0
  4007d8:	15060003 	bne	t0,a2,4007e8 <foo+0x68>
  4007dc:	00001021 	move	v0,zero
  4007e0:	11270003 	beq	t1,a3,4007f0 <foo+0x70>
  4007e4:	00000000 	nop
  4007e8:	10a00002 	beqz	a1,4007f4 <foo+0x74>
  4007ec:	00000000 	nop
  4007f0:	24020001 	li	v0,1
  4007f4:	03e00008 	jr	ra
  4007f8:	00000000 	nop

Output with -O2 -g are:

00400780 <foo>:
  400780:	3c1c0fc0 	lui	gp,0xfc0
  400784:	279c78b0 	addiu	gp,gp,30896
  400788:	0399e021 	addu	gp,gp,t9
  40078c:	00805021 	move	t2,a0
  400790:	00c04021 	move	t0,a2
  400794:	00a05821 	move	t3,a1
  400798:	00e04821 	move	t1,a3
  40079c:	000b17c2 	srl	v0,t3,0x1f
  4007a0:	000927c2 	srl	a0,t1,0x1f
  4007a4:	00001821 	move	v1,zero
  4007a8:	1044000a 	beq	v0,a0,4007d4 <foo+0x54>
  4007ac:	00002821 	move	a1,zero
  4007b0:	14400006 	bnez	v0,4007cc <foo+0x4c>
  4007b4:	24050001 	li	a1,1
  4007b8:	00091840 	sll	v1,t1,0x1
  4007bc:	000827c2 	srl	a0,t0,0x1f
  4007c0:	00641825 	or	v1,v1,a0
  4007c4:	00081040 	sll	v0,t0,0x1
  4007c8:	00621025 	or	v0,v1,v0
  4007cc:	03e00008 	jr	ra
  4007d0:	00a01021 	move	v0,a1
  4007d4:	15480003 	bne	t2,t0,4007e4 <foo+0x64>
  4007d8:	00001821 	move	v1,zero
  4007dc:	11690003 	beq	t3,t1,4007ec <foo+0x6c>
  4007e0:	00000000 	nop
  4007e4:	10400002 	beqz	v0,4007f0 <foo+0x70>
  4007e8:	00000000 	nop
  4007ec:	24030001 	li	v1,1
  4007f0:	03e00008 	jr	ra
  4007f4:	00601021 	move	v0,v1


It seems one 'bnez' in good code (at 4007c4) was lost in bad code.

Is this a know problem?  If so, is there any patches available?

Thank you.
---
Atsushi Nemoto