ARM - 搜索字符串时无限循环

Question

有人能指出原因吗？我看不出问题所在。

要搜索的字符串：“aassaas”

要搜索的字符串：“as”

SEARCHSTRING:
  STMFD SP!, {R4-R7, LR} 

  MOV R6, #0               @Matches found
  MOV R3, #0               @Placeholder     

LOOP: LDRB R4, [R0]        @R4 = String to search
  LDRB R5, [R1]            @R5 = String to search with

  CMP R4, R5               @Do they match?
  ADDEQ R3, R3, #1         @If yes, increase placeholder
  LDREQB R4, [R0, #1]!     @Get next char
  LDREQB R5, [R1, #1]!     @Get next char
  BLNE RESET               @If not, reset placeholder and strings.
                           @R0 is nevertheless initial pos+1
  CMP R5, #0               @Is string to search with at the end?
  ADDEQ R6, R6, #1         @If so, add +1 to matches
  BLEQ RESET               @Reset placeholder and strings.

  CMP R4, #0               @Is the string to search finished?
  BNE LOOP                 @If not, start over.

  MOV R0, R6               @If so, move answer into R0.
  LDMFD SP!, {R4-R7, PC}   @Jump back.

RESET:
  STMFD SP!, {LR}

  CMP R3, #0               @Is the placeholder at 0? (initial position)
  SUBNE R0, R0, R3         @If not, subtract from String to search pos
  SUBNE R1, R1, R3         @And string to be searched pos
  ADDNE R0, R0, #1         @Increment string to search+1 so we don't start at the same spot
  MOVNE R3, #0             @Empty the placeholder

  LDMFD SP!, {PC}          @Jump back

Answer 1

我不明白为什么 a) 你用汇编程序而不是 C 编写这个，b) 为什么你不使用一些基于 strstr 的例程。最有可能的情况是，这是一个家庭作业问题，或者某种其他形式的学习练习，所以我不想透露太多。无论如何，我注意到了一些问题。我注意到的第一点是在 RESET 例程中：

RESET:
  STMFD SP!, {LR}

  CMP R3, #0               @Is the placeholder at 0? (initial position)
  SUBNE R0, R0, R3         @If not, subtract from String to search pos
  SUBNE R1, R1, R3         @And string to be searched pos
  ADDNE R0, R0, #1         @Increment string to search+1 so we don't start at the same spot
  MOVNE R3, #0             @Empty the placeholder

  LDMFD SP!, {PC}          @Jump back

CMP 是不必要的 - 考虑如果 R3 为 R3 调用 SUBNE 的效果0，您将看到可以无条件执行减法。您希望无条件地运行 ADD R0, R0, #1 - 事实上，这是导致无限循环的一个重要原因。如果您进入 RESET 子例程，并且 R3 为 0，则它不会更改任何状态。我还注意到 STMFD / LDMFD 对确实没有必要 - LR 不会在这个子例程中被修改，所以它不会需要入栈。

接下来，我注意到您对于何时终止循环不够仔细。考虑一下如果将两个空字符串作为 SEARCHSTRING 的参数给出会发生什么。使用两个空字符串作为参数调用它，并单步执行汇编代码以查看问题。当编译为汇编时，for 循环的一般形式将类似于：

for(initial; comparison; increment) {
  body;
}

INITIAL:
    MOV R0, #0         @initialize variables
    B CONDITION        @jump to condition check
BODY:
    LDR R1, [R0]
INCREMENT:             @really, part of the for-loop body.
    ADD R0, R0, #1
CONDITION:
    CMP BLAH, BLAH     @test-condition
    BLT BODY           @restart loop if condition indicates we should do so.

希望这将帮助您以更直接的方式重新组织代码。