Re: Question about PR 48814 and ivopts and post-increment

2015-12-04 Thread Steve Ellcey
On Fri, 2015-12-04 at 16:22 +0800, Bin.Cheng wrote: > Dump before IVO is as below: > > : > # s1_1 = PHI > # s2_2 = PHI > s1_6 = s1_1 + 1; > c1_8 = *s1_1; > s2_9 = s2_2 + 1; > c2_10 = *s2_2; > if (c1_8 == 0) > goto ; > else > goto ; > > And the iv candidates are as: >

Re: Question about PR 48814 and ivopts and post-increment

2015-12-04 Thread Bin.Cheng
On Fri, Dec 4, 2015 at 11:00 AM, Bin.Cheng wrote: > On Fri, Dec 4, 2015 at 10:48 AM, Bin.Cheng wrote: >> On Wed, Dec 2, 2015 at 5:11 AM, Steve Ellcey wrote: >>> >>> I have a question involving ivopts and PR 48814, which was a fix for >>> the post increment operation. Prior to the fix for PR 488

Re: Question about PR 48814 and ivopts and post-increment

2015-12-03 Thread Bin.Cheng
On Fri, Dec 4, 2015 at 10:48 AM, Bin.Cheng wrote: > On Wed, Dec 2, 2015 at 5:11 AM, Steve Ellcey wrote: >> >> I have a question involving ivopts and PR 48814, which was a fix for >> the post increment operation. Prior to the fix for PR 48814, MIPS >> would generate this loop for strcmp (C code f

Re: Question about PR 48814 and ivopts and post-increment

2015-12-03 Thread Bin.Cheng
On Wed, Dec 2, 2015 at 5:11 AM, Steve Ellcey wrote: > > I have a question involving ivopts and PR 48814, which was a fix for > the post increment operation. Prior to the fix for PR 48814, MIPS > would generate this loop for strcmp (C code from glibc): > > $L4: > lbu $3,0($4) >

Re: Question about PR 48814 and ivopts and post-increment

2015-12-01 Thread Jeff Law
On 12/01/2015 02:11 PM, Steve Ellcey wrote: With the current top-of-tree we now generate: addiu $4,$4,1 $L8: lbu $3,-1($4) addiu $5,$5,1 beq $3,$0,$L7 lbu $2,-1($5) # This is a branch delay slot beq $3,$2,$L8 addiu

Question about PR 48814 and ivopts and post-increment

2015-12-01 Thread Steve Ellcey
I have a question involving ivopts and PR 48814, which was a fix for the post increment operation. Prior to the fix for PR 48814, MIPS would generate this loop for strcmp (C code from glibc): $L4: lbu $3,0($4) lbu $2,0($5) addiu $4,$4,1 beq $3,$0,$L7