Как циклы реализованы в коде сборки PIC24F - PullRequest
Новая
       74

Как циклы реализованы в коде сборки PIC24F

0 голосов
/ 27 августа 2018

Ниже приведена разборка следующего кода C: 

268:                   while (Counter < 250)
269:                   {
270:                       Counter++;
271:                   }

Разборка: 

268:                   while (Counter < 250)
001B08  370003     BRA 0x1B10
001B10  90406E     MOV.B [W14+6], W0
001B12  404FE7     ADD.B W0, #0x7, [W15]
001B14  36FFFA     BRA LEU, 0x1B0A
269:                   {
270:                       Counter++;
001B0A  90406E     MOV.B [W14+6], W0
001B0C  E84000     INC.B W0, W0
001B0E  984760     MOV.B W0, [W14+6]
271:                   }
272:                   
273:                   // call foo
274:                   foo(LAT, 4, Set, &Code);
001B16  203F20     MOV #0x3F2, W0
001B18  40000E     ADD W0, W14, W0
001B1A  780180     MOV W0, W3
001B1C  B3C012     MOV.B #0x1, W2
001B1E  B3C041     MOV.B #0x4, W1
001B20  202C40     MOV #0x2C4, W0
001B22  0709C7     RCALL foo

Не удалось понять, как была получена петля while.Предположим, что [W14 + 6] относится к ОЗУ местоположения, в котором хранится Counter.

Примечание: код, сгенерированный для PIC24FV32KA304

1 Ответ

0 голосов
/ 27 августа 2018

Это изменило порядок вашего кода вашего кода на что-то вроде: 

GOTO A
B:  Counter++;
A:  if (Counter <= 249) GOTO B

Вот переупорядоченная сборка с моими комментариями: 

001B08  370003     BRA 0x1B10               // GOTO A
                         B: Counter++;
001B0A  90406E     MOV.B [W14+6], W0        // Copy Counter to W0
001B0C  E84000     INC.B W0, W0             // Increment W0
001B0E  984760     MOV.B W0, [W14+6]        // Put W0 back in Counter
                         A:  if (Counter <= 249) GOTO B
001B10  90406E     MOV.B [W14+6], W0        // Get counter to W0
001B12  404FE7     ADD.B W0, #0x7, [W15]    // Add 7 in modulo 256.
                                            // This is the same as subtracting 249
001B14  36FFFA     BRA LEU, 0x1B0A          // if result <= 0 GOTO B
                                            // else just drop through to code below

BRA LEU является ключомзацикливание инструкции здесь.Это означает BRA nch, если L ess than или E qual U nsigned.Это означает, что ветвь берется, если C = 0 или Z = 1, как было оставлено предыдущей инструкцией.

Подробности, которые легко запутаться, это то, что C, это carry флаг после добавления.Но если, как в этом примере, мы хотим рассматривать ADD как вычитание, тогда вы должны рассматривать not(C) как займ .Вот почему BRA LEU принимает ветвь, если C = 0.

...