Уважаемые специалисты. Прошу помочь мне с пониманием. Есть фрагмент кода операционной системы на POWERPC. Этот код сравнивает имя файла. Перед его вызовом в регистры r3 и r4 задают два адреса где находятся названия файлов которые надо сравнить, в регистр r5 длина имени файла. По окончании результат выводится в регистр r3. 0 - успешно, 1 - не успешно Работа цикла в принципе понятна. Идет сравнение символов по очереди, с каждым шагом вычитается единица из регистра r5. На понятна как раз ветка когда сравнение символа прошло не удачно. В цикле сравнение велось в промежуточных регистрах r6 и r7. Когда сравление не удачно, условный переход перебрасывает на адрес 1026CF88 где командой clrlwi сравниваемые перед этим байты перебрасываются из регистров r6 и r7 в регистры r11 и r12 и они снова сравниваются. Подскажите пожалуйста, если перед этим, когда сравнивались r6 и r7 сравнение было не удачным, разве может быть ситуация когда второй раз сравнивая их в регистрах r11 и r12 оно будет удачным и программа перейдет по ветке которую я нарисовал красным?
https://yadi.sk/i/RSfO1NokypZE1g
Это фрагмент кода
Перемещено alpha из linux-org-ru
