@yingopq do you have any interesting on it?

OK, I would do research on it.

The C code for it is like

int x[114500];
void f() {
   for (int i = 0; i < 114500; i++)
       x[i] = 5;
}

@llvm/issue-subscribers-backend-mips

Author: YunQiang Su (wzssyqa)

        .set    reorder
xxx:
$BB0_1:                                 # %for.body
        addiu   $2, $2, 4
        sw      $4, -4($2)
        bne     $2, $3, $BB0_1

After ./build/bin/clang --target=mipsel-linux-gnu -O3 -S 1.c -o 1.s, the result is:

$BB0_1:                                 # %for.body
                                        # =>This Inner Loop Header: Depth=1
	addu	$1, $3, $2
	addiu	$2, $2, 4
	bne	$2, $5, $BB0_1
	sw	$4, 0($1)
# %bb.2:                                # %for.cond.cleanup
	jr	$ra
	nop

sw has been placed in the delay slot of bne.

I can not reproduce sw+addiu+bne.

@wzssyqa

After ./build/bin/clang --target=mipsel-linux-gnu -O3 -S 1.c -o 1.s, the result is:

$BB0_1:                                 # %for.body
                                        # =>This Inner Loop Header: Depth=1
	addu	$1, $3, $2
	addiu	$2, $2, 4
	bne	$2, $5, $BB0_1
	sw	$4, 0($1)
# %bb.2:                                # %for.cond.cleanup
	jr	$ra
	nop

sw has been placed in the delay slot of bne.

I can not reproduce sw+addiu+bne.

Just use my asm example.

Another example that delay slot is not used

        .set    reorder
xxx:
$BB0_1:                                 # %for.body
        mfhc1   $2, $f12
        jr      $ra

Ping.

After ./build/bin/clang --target=mipsel-linux-gnu -O3 -S 1.c -o 1.s, the result is:

$BB0_1:                                 # %for.body
                                        # =>This Inner Loop Header: Depth=1
	addu	$1, $3, $2
	addiu	$2, $2, 4
	bne	$2, $5, $BB0_1
	sw	$4, 0($1)
# %bb.2:                                # %for.cond.cleanup
	jr	$ra
	nop

sw has been placed in the delay slot of bne.
I can not reproduce sw+addiu+bne.

Just use my asm example.

Did you mean doing optimization in MipsAsmParser?