选择排序循环中的问题

Question

我在程序集中实现选择排序方法时遇到问题。

我仍然不明白我要去哪里错了。欢迎任何帮助。

也许在向量中分配数字然后进行比较时是错误的。

遵循C＃中的代码，然后遵循我在汇编中所做的工作。

public static void selecao(int[] vet)
{
   int i, j, min, temp;
   for (i = 0; i < vet.Length - 1; i++)
   {
      min = i;
   for (j = i + 1; j < vet.Length; j++)
   {
      if (vet[j] < vet[min])
      {
         min = j;
      }
   }
   temp = vet[i];
   vet[i] = vet[min];
   vet[min] = temp;
   }
}

组装

addi $t0, $zero, 0 
addi $t1, $zero, 0  
sub $s1, $s0, 1     
addi $s2, $zero, 0  
addi $t1, $zero, 0 
forS1:
slt $t2, $t0, $s1 (i < size v - 1)
beq $t2, $zero, fimForS1

addi $s2, $t0, 0

addi $t3, $t0, 1 
forS2:
slt $t4, $t3, $s0
beq $t4, $zero, fimForS2

add $s6, $s6, 1 
mul $t3, $t3, 4 
lw $s3, vetor($t3)      # vet[j]
mul $s2, $s2, 4
lw $s4, vetor($s2)      # vet[min]
slt $t5, $s3, $s4       # vet[j] < vet[min]
beq $t5, $zero, forS2
add $s7, $s7, 1 
add $s2, $t3, 0         # min = j
addi $t3, $t3, 1 
j forS2

fimForS2:
lw $t6, vetor($t1)      # vet[i]
mul $s5, $s2, 2         # posicao do vet[min]
lw $t7, vetor($s2)      # vet[min]  
addi $t8, $t6, 0        # temp = vet[i]
sw $t6, vetor($s2)          # vet[i] = vet[min];
sw $t7, vetor($t1)          # vet[min] = temp;
addi $t1, $t1, 4 
addi $t0, $t0, 1 

j forS1

Answer 1

首先让我们看一下伪语句的控制流程：

for ( int i = 0; i < n; i++ ) {
    ...body...
}

1. 首先，在循环外执行i=0，一次。
2. 接下来，我们以检查i<n开始循环，看是否完成了循环，
3. 在...body...的代码旁，然后
4. 增量i++，最后是
5. 要重复循环：请回到步骤2。

[（在使用结构编程的时候，我们在循环体中嵌套了另一个控制语句，我们仍然遵循相同的模式，没有改变：]

for ( int i = 0; i < n; i++ ) {
    if ( a < b ) {
         b = a;
    }
}
因此，此处的身体只是一个if语句。因此：

1. 首先，在循环外执行i=0，一次。
2. 接下来，我们以检查i<n开始循环，看是否完成了循环，
3. ...body...的下边，这是if语句：
   • 测试a
   • 捕获b = a
4. 增量i++，最后是
5. 要重复循环：请回到步骤2。

您是否看到嵌套的if语句如何触发，接下来要做的正确的事情就是for语句增量i++？

您不小心将j++增量移到了嵌套的if语句的then部分内部。您的代码没有遵循嵌套控制结构的正确模式-if语句不应干扰嵌套在其中的for语句。因此，与执行if语句无关的j++无关，您仅在if语句触发时才执行j++。因此，这是伪代码的错误翻译，根本无法正常工作。

下面在交换时，您正在使用vet[min]，但数组索引已关闭。

---

请参见内嵌说明：

addi $t0, $zero, 0 
addi $t1, $zero, 0  
sub $s1, $s0, 1     
addi $s2, $zero, 0  
addi $t1, $zero, 0    <--- unnecessary, already done above
forS1:
slt $t2, $t0, $s1 (i < size v - 1)
beq $t2, $zero, fimForS1

addi $s2, $t0, 0

addi $t3, $t0, 1 
forS2:
slt $t4, $t3, $s0
beq $t4, $zero, fimForS2

add $s6, $s6, 1 
mul $t3, $t3, 4 
lw $s3, vetor($t3)      # vet[j]
mul $s2, $s2, 4
lw $s4, vetor($s2)      # vet[min]
slt $t5, $s3, $s4       # vet[j] < vet[min]

beq $t5, $zero, forS2   <--- this if statement skips the then part (good)
                             ***** but also skip the j++ (bad) *****

+------------------------------- this it the then part
add $s7, $s7, 1 
add $s2, $t3, 0         # min = j
addi $t3, $t3, 1        <--- this is j++
+-------------------------------
j forS2

fimForS2:
lw $t6, vetor($t1)      # vet[i]
mul $s5, $s2, 2         # posicao do vet[min]  <--- multiply by 2 (why 2??)
                                                    ***** $s5 is never used *****
lw $t7, vetor($s2)      # vet[min]         <--- here using $s2, min (bad)
                                           ***** you want min*4 instead *****
addi $t8, $t6, 0        # temp = vet[i]
sw $t6, vetor($s2)          # vet[i] = vet[min];
sw $t7, vetor($t1)          # vet[min] = temp;
addi $t1, $t1, 4 
addi $t0, $t0, 1 

j forS1