Отправлено vinogradov aleksei 20 октября 2006 г. 16:39

Изучаю документ AVR201 от ATMEL. Процедура знакового умножения. На входе два 16-битовых числа в доп. коде (первое число в r23:r22, второе в r21:r20), на выходе 32-битный результат:

main_program:
ldi r23,high(392)
ldi r22,low(392)

ldi r21,high(34567)
ldi r20,low(34567)
rcall mul_s_16_16_32

mul_s_16_16_32:
clr r2
muls r23,r21
movw r19:r18, r1:r0
mul r22,r20
movw r17:r16, r1:r0
mulsu r23,r20
sbc r19,r2
add r17,r0
adc r18,r1
adc r19,r2
mulsu r21,r22
sbc r19,r2
add r17,r0
adc r18,r1
adc r19,r2
ret

Все работает, но я никак не могу понять назначения команд "sbc r19,r2". Т.е. если команда mulsu дает отрицательное число, то из r19 нужно вычесть единицу. А зачем ?

• Вот... — -mse-   (20.10.2006 17:09 62.183.50.164, 168 байт)
  • Не понял. Из какого именно результата это отнимается ? — vinogradov aleksei   (20.10.2006 17:18 82.207.59.113, пустое)
    • Ну, например... — -mse-   (20.10.2006 17:40 62.183.50.164, 606 байт)
  • Правильно - это корректный частный случай 16-битного NEG — =AVR=   (20.10.2006 17:14 80.92.96.19, пустое)
    • Я бы сказал, частный случай расширения знака. Во — -mse-   (20.10.2006 20:41 213.132.70.162, пустое)
      • И так верно. Во :) — =AVR=   (20.10.2006 21:58 80.92.96.19, пустое)
• В MULxx бит переноса - это копия старшего (знакового) бита результата. Так как сложение промежуточных результатов тоже должно быть знаковым, то и используется такая схема, позволяющая далее командами ADD делать как бы знаковое сложение — =AVR=   (20.10.2006 16:56 80.92.96.19, пустое)
  • Вот именно этот механизм мне и не понятен ... — vinogradov aleksei   (20.10.2006 17:00 82.207.59.113, пустое)
    • Распиши на бумажке умножение в столбик с использованием только беззнакового сложения - все увидишь как на ладони — =AVR=   (20.10.2006 17:12 80.92.96.19, пустое)
      • Я понимаю, что надо расширять знаковый бит, чтобы промежуточный результат (+) — vinogradov aleksei   (20.10.2006 17:15 82.207.59.113, 224 байт)
        • Вычти из нуля единицу - что получится? — =AVR=   (20.10.2006 17:19 80.92.96.19, пустое)
          • А если старший байт 32-битного результата равен 1, что тогда получится ? Я знаю, что с нулем все в порядке ... — vinogradov aleksei   (20.10.2006 17:21 82.207.59.113, пустое)
            • Я ведь не зря тебе советую - распиши, а объяснять каждый частный случай просто нелепо - их аж 2^32 — =AVR=   (20.10.2006 17:24 80.92.96.19, пустое)
              • Писал. И не раз. Иначе бы не спрашивал ... — vinogradov aleksei   (20.10.2006 17:27 82.207.59.113, пустое)
                • При умножении ЗНАКОВЫХ 16-битных чисел (старший бит каждого - знак, младшие 15 - величина) результат будет 30-битовым (биты 29..0). При промежуточных сложениях бит 30 получится автоматически как перенос из бита 29, а бит 31 нужно КАЖДЫЙ РАЗ получать отдельно - это и делается командами sbc MSB,zeroreg после каждого ПОЛУЗНАКОВОГО (mulsu) умножения - так короче и оптимальней — =AVR=   (20.10.2006 17:57 80.92.96.19, пустое)
                  • Не обязательно MSByte. Это как распространение переноса-заёма. Прибаввить фф или отнять 1 одно%ственно — -mse-   (20.10.2006 20:44 213.132.70.162, пустое)
                    • В данном примере именно MSByte. Всю эту процедуру можно реализовать и чисто беззнаковыми умножениями, но геморроя по распространению переноса будет немеряно больше — =AVR=   (20.10.2006 21:57 80.92.96.19, пустое)
                      • Ымел в виду, что операццыи может подвергнуцца не только МСБ, но и более млачшенькие. При умножении на 3-байтные операнд, например. Там придёцца распространять знак с МСБ-1. — -mse-   (21.10.2006 10:55 62.183.50.164, 264 байт)