Сортировка массива в MIPS с указателем стека

Вы не должны реализовывать циклы, как вы это делаете, с проверкой на входе в цикл. Вам нужна дополнительная ветвь, которая менее эффективна и затрудняет понимание кода.

Если у вас есть петля

for(initial; test; increment) { body }

Просто переведите это на:

   initial
loop:
   body
   increment
   test -> loop

Вам нужна только уникальная ветвь, и это значительно улучшает читаемость кода.

Кроме того, начните с написания кода C с указателями, чтобы упростить перевод.

for (i=0; i<n; i+=1) {
    for (j=i-1, parray=array[i-1]; j>=0 ; j-=1, parray--) {
       if (*parray > *(parray+1)) 
         swap (parray); // the pointer is sufficient
    }
}

Что касается операции подкачки, зачем вам подпрограмма? Вы сохранили значения массива [j] и массива [j+1] в регистрах, и вам просто нужно записать их обратно на свои места.

Вот возможный перевод (пропуская начало и конец, которые остаются неизменными)

...
sort:
addi $sp, $sp, -20
sw $ra, 16($sp)
sw $s3, 12($sp)
sw $s2, 8($sp)
sw $s1, 4($sp)
sw $s0, 0($sp)

   add $s0, $zero, $zero # i=0
   add $s2, $a0, $zero   # @array
   add $s3, $a1, $zero   # N

loop1:
    addi $s1, $s0, -1    # j=i-1
    sll $t1, $s1, 2
    add $t2, $s2, $t1    # @array[j]

loop2:
    lw $t3, 0($t2)         # $t3 array[j]
    lw $t4, 4($t2)         # $t4 array[j+1]
    sgt $t0, $t3, $t4      # array[j] > array[j+1]?
    bne $t0, $zero, noswap # no? -> noswap

swap:
    # just exchange the loaded values of array[j] and array[j+1]
    sw $t3, 4($t2)
    sw $t4, 0($t2)

noswap:

    addi $s1, $s1, -1   # j--
    addi $t2, $t2, -4   # array--
    sge $t0, $s1, $zero # j>=0?
    bne $t0, $zero, loop2

    addi $s0, $s0, 1  #i++
    slt $t0, $s0, $s3 #i<N?
    bne $t0, $zero, loop1

exit1:
...

Количество загрузок может быть уменьшено, так как в каждой итерации у вас уже есть уже загруженный массив[i].