Плохой код при обмен данных между двумя структурами Опции

[Student2]

У меня есть 2 структуры out и pos которые хранят несколько байтов. Где то в коде хочу установить данные в out структуре:

CODE

out.shadowX1 = pos.X1; /* shadow register X1 */
out.shadowY1 = pos.Y1; /* shadow register Y1 */
out.shadowX2 = pos.X2; /* shadow register X2 */
out.shadowY2 = pos.Y2; /* shadow register Y2 */
out.shadowX1 = pos.X1; /* shadow register X1 */

Адреса всех элементов известны в момент компиляции так что я ожидал каждое присвоение потребляет 2 команды. С удивлением нашел такой код:

CODE

0000B8 8160 LD R22,Z
0000BA 936C ST X,R22
out.shadowY1 = pos.Y1; /* shadow register Y1 */
0000BC 8161 LDD R22,Z+1
0000BE EAA1 LDI R26,0xA1
0000C0 E0B1 LDI R27,0x01
0000C2 936C ST X,R22
out.shadowX2 = pos.X2; /* shadow register X2 */
0000C4 8162 LDD R22,Z+2
0000C6 EAA2 LDI R26,0xA2
0000C8 E0B1 LDI R27,0x01
0000CA 936C ST X,R22
out.shadowY2 = pos.Y2; /* shadow register Y2 */
0000CC 8163 LDD R22,Z+3
0000CE EAA3 LDI R26,0xA3
0000D0 E0B1 LDI R27,0x01
0000D2 936C ST X,R22

Я знаю что структуры "любят" работать с индекс регистры, но здесь нет никакой логики (оптимизация кода на макс по скорости).

Попробовал поставить:

CODE

*(uint8_t *)(&out.shadowX1) = *(uint8_t *)(&pos.X1);

но результат тот же.

Как можно вразумить компилера не делать такие дурные вещи?

Сообщение отредактировал Student2 - Aug 12 2009, 12:09

[Rst7]

оптимизация кода на макс по скорости

Непохоже, что она включена. Покажите описание структур, попробую у себя

CODE

28 extern struct
29 {
30 UINT8 shadowX1;
31 UINT8 shadowY1;
32 UINT8 shadowX2;
33 UINT8 shadowY2;
34 }out;
35
36 extern struct
37 {
38 UINT8 X1;
39 UINT8 X2;
40 UINT8 Y1;
41 UINT8 Y2;
42 }pos;
43

\ In segment CODE, align 2, keep-with-next
44 void xcopy(void)
\ xcopy:
45 {
\ 00000000 .... LDI R30, LOW(pos)
\ 00000002 .... LDI R31, (pos) >> 8
\ 00000004 8100 LD R16, Z
\ 00000006 9300.... STS `out`, R16
46 out.shadowX1 = pos.X1; /* shadow register X1 */
47 out.shadowY1 = pos.Y1; /* shadow register Y1 */
\ 0000000A 8102 LDD R16, Z+2
\ 0000000C 9300.... STS (`out` + 1), R16
48 out.shadowX2 = pos.X2; /* shadow register X2 */
\ 00000010 8101 LDD R16, Z+1
\ 00000012 9300.... STS (`out` + 2), R16
49 out.shadowY2 = pos.Y2; /* shadow register Y2 */
\ 00000016 8103 LDD R16, Z+3
\ 00000018 9300.... STS (`out` + 3), R16
50 out.shadowX1 = pos.X1; /* shadow register X1 */
\ 0000001C 8100 LD R16, Z
\ 0000001E 9300.... STS `out`, R16
51 }
\ 00000022 9508 RET

Не вижу проблем.

[Student2]

Непохоже, что она включена. Покажите описание структур, попробую у себя

Я клянусь что включена. Вот большей фрагмент кода:

CODE

/*----------------------------------------------------------------------------*/
#pragma vector=TWI_vect
__interrupt void TWI_ISR( void ) /* interrupt vector of I2C - the only one active interrupt */
/*----------------------------------------------------------------------------*/
{
uint8_t *pointer; /* we use 8 bit pointer to read write the I2C space */

do
{

uint8_t status_TWI = TWSR; /* read status of I2C register */
uint8_t data_TWI = TWDR; /* read data from I2C register as soon as possible - this will avoid any further problems */

uint8_t flagGoTo_IDLE = 0; /* if at the end we see this flag set to 1 we'll force the state to IDLE */

switch (stateI2C) /* the main state machine is here */
{

/* -------- transmit data sequentially to HOST from the area (this is the normal reading flow, it's 99.99% of the time here */
case STATE_CONTINUE_TRANSMIT: {

if (status_TWI == STAT_TR_TWDR_SENT_ACK_0xB8)
{
if(index_RW == 0) /* was request to read the status (cell 0x00) - we need special treatment */
{
TWDR = out.status; /* we output the updated value immediately - as faster we response than better */
out.status &= ~STATUS_DATA_CHANGED; /* reset the flag which shows existence of new data, will be set after new data appeared */

/*------- upload the shadow registers at this moment */
out.shadowX1 = pos.X1; /* shadow register X1 */
out.shadowY1 = pos.Y1; /* shadow register Y1 */
out.shadowX2 = pos.X2; /* shadow register X2 */
out.shadowY2 = pos.Y2; /* shadow register Y2 */

Описание структур out:

CODE

typedef struct
{
uint8_t status;
uint8_t shadowX1;
uint8_t shadowY1;
uint8_t shadowX2;
uint8_t shadowY2;

uint8_t shadowX1Size;
uint8_t shadowY1Area;
uint8_t shadowX2Size;
uint8_t shadowY2Area;

uint8_t var1;
uint8_t var2;
uint16_t var3;

uint8_t var4;
uint8_t var5;

uint8_t var6;
uint8_t var7;
uint8_t var8;


uint8_t var9;
uint8_t var10;
eepromData_t ee; /* other structure - 56 bytes long */

} outputData_t;

Описание структуры pos:

CODE

typedef struct /* contains the data for reporting to the host */
{
uint8_t X1;
uint8_t Y1;
uint8_t X2;
uint8_t Y2;

uint8_t dw1;
uint8_t dw2;
uint8_t dw3;
uint8_t dw4;

uint16_t dw5;

} reportData_t;

Обратите внимание что это произходить в интерупте. Код довольно громодкий.

Сообщение отредактировал Student2 - Aug 12 2009, 12:27

[Rst7]

Описание структуры pos:

Это описание типа. А хотелось бы еще и описание структуры, потому как совсем неясно, почему на этапе компиляции наличествуют абсолютные адреса.

Кстати, а какая версия компилятора? А то я 5.30 использую.

[Student2]

Это описание типа. А хотелось бы еще и описание структуры, потому как совсем неясно, почему на этапе компиляции наличествуют абсолютные адреса.

Кстати, а какая версия компилятора? А то я 5.30 использую.

Версия у меня 5.20

Описание структур в хедере файла:
outputData_t out; /* define visible from outside I2C area with a lot of registers (exposed to the I2C area) */
reportData_t pos; /* positions for reporting to the host - not directly exposed to I2C area, will be uploaded only during read address 0*/

как сказал код довольно тежел - заполнен на 95% RAM/FLASH

Увидел и другие места где компилер сделал тоже самое:
*box = boxPosition; /* оба структуры point_t */


Код получился такой:

CODE

*box = boxPosition; /* return back the value */
001274 81EA LDD R30,Y+2
001276 81FB LDD R31,Y+3
001278 82E0 ST Z,R14
00127A 82F1 STD Z+1,R15
00127C 81EA LDD R30,Y+2
00127E 81FB LDD R31,Y+3
001280 8282 STD Z+2,R8
001282 8293 STD Z+3,R9

сама дефиниция структур:

typedef struct /* structure suitable to hold points, will be used in the position/hyst */
{
uint16_t X;
uint16_t Y;

} point_t;

В етом случае размер кода тот же как и для обычного байт->байт обмена (loadReg , storeReg).

Сообщение отредактировал Student2 - Aug 12 2009, 13:02

[Rst7]

Что-то Вы не то делаете. Расчехлил вообще старый, 5.02.

CODE

###############################################################################
# #
# IAR Atmel AVR C/C++ Compiler V5.02A/W32 12/Aug/2009 15:58:47 #
# Copyright 1996-2007 IAR Systems. All rights reserved. #
# #
# Source file = E:\AVR\T22\main.c #
# Command line = E:\AVR\T22\main.c --cpu=m128 -ms -o #
# E:\AVR\T22\Debug\Obj\ -lCN E:\AVR\T22\Debug\List\ -y #
# --initializers_in_flash -s9 --no_cross_call --debug -e #
# -I D:\IAR_AVR502\avr\INC\ -I #
# D:\IAR_AVR502\avr\INC\DLIB\ --eeprom_size 4096 #
# --dlib_config D:\IAR_AVR502\avr\LIB\DLIB\dlAVR-3s-ec_mul #
# -n.h #
# List file = E:\AVR\T22\Debug\List\main.lst #
# Object file = E:\AVR\T22\Debug\Obj\main.r90 #
# #
# #
###############################################################################

E:\AVR\T22\main.c
1 #include <stdint.h>
2
3 typedef struct
4 {
5 uint8_t status;
6 uint8_t shadowX1;
7 uint8_t shadowY1;
8 uint8_t shadowX2;
9 uint8_t shadowY2;
10
11 uint8_t shadowX1Size;
12 uint8_t shadowY1Area;
13 uint8_t shadowX2Size;
14 uint8_t shadowY2Area;
15
16 uint8_t var1;
17 uint8_t var2;
18 uint16_t var3;
19
20 uint8_t var4;
21 uint8_t var5;
22
23 uint8_t var6;
24 uint8_t var7;
25 uint8_t var8;
26
27
28 uint8_t var9;
29 uint8_t var10;
30 //eepromData_t ee; /* other structure - 56 bytes long */
31
32 } outputData_t;
33

\ In segment NEAR_Z, align 1, keep-with-next
\ 00000000 REQUIRE `?<Segment init: NEAR_Z>`
34 outputData_t out;
\ `out`:
\ 00000000 DS 20
35
36 typedef struct /* contains the data for reporting to the host */
37 {
38 uint8_t X1;
39 uint8_t Y1;
40 uint8_t X2;
41 uint8_t Y2;
42
43 uint8_t dw1;
44 uint8_t dw2;
45 uint8_t dw3;
46 uint8_t dw4;
47
48 uint16_t dw5;
49
50 } reportData_t;
51
52 reportData_t pos;
\ pos:
\ 00000014 DS 10
53

\ In segment CODE, align 2, keep-with-next
54 __interrupt void xcopy(void)
\ xcopy:
55 {
\ 00000000 93FA ST -Y, R31
\ 00000002 93EA ST -Y, R30
\ 00000004 930A ST -Y, R16
56 out.shadowX1 = pos.X1; /* shadow register X1 */
\ 00000006 .... LDI R30, LOW(`out`)
\ 00000008 .... LDI R31, (`out`) >> 8
\ 0000000A 8904 LDD R16, Z+20
\ 0000000C 8301 STD Z+1, R16
57 out.shadowY1 = pos.Y1; /* shadow register Y1 */
\ 0000000E 8905 LDD R16, Z+21
\ 00000010 8302 STD Z+2, R16
58 out.shadowX2 = pos.X2; /* shadow register X2 */
\ 00000012 8906 LDD R16, Z+22
\ 00000014 8303 STD Z+3, R16
59 out.shadowY2 = pos.Y2; /* shadow register Y2 */
\ 00000016 8907 LDD R16, Z+23
\ 00000018 8304 STD Z+4, R16
60 out.shadowX1 = pos.X1; /* shadow register X1 */
\ 0000001A 8904 LDD R16, Z+20
\ 0000001C 8301 STD Z+1, R16
61 }
\ 0000001E 9109 LD R16, Y+
\ 00000020 91E9 LD R30, Y+
\ 00000022 91F9 LD R31, Y+
\ 00000024 9518 RETI
62

\ In segment CODE, align 2, keep-with-next
63 int main( void )
\ main:
64 {
65 return 0;
\ 00000000 E000 LDI R16, 0
\ 00000002 E010 LDI R17, 0
\ 00000004 9508 RET
66 }

Точно уверены про оптимизацию? Покажите шапку листинга, там где командная строка компилятора.

[Student2]

###############################################################################
# #
# IAR C/C++ Compiler V5.20.1.50090/W32 for Atmel AVR 11/Aug/2009 17:38:20 #
# Copyright 1996-2009 IAR Systems AB. #
# #
# Source file = C:\test\I2C.c #
# Command line = C:\test\I2C.c --cpu=tiny88 #
# -ms -o C:\test\Debug\Obj\ -lCN #
# C:\test\Debug\List\ #
# --initializers_in_flash -s9 --debug #
# -DENABLE_BIT_DEFINITIONS -e -I "C:\Program Files\IAR #
# Systems\Embedded Workbench 5.3\avr\INC\" -I "C:\Program #
# Files\IAR Systems\Embedded Workbench 5.3\avr\INC\CLIB\" #
# --eeprom_size 64 #
# List file = C:\test\Debug\List\I2C.lst #
# Object file = C:\test\Debug\Obj\I2C.r90 #
# #
# #
###############################################################################

Сообщение отредактировал Student2 - Aug 12 2009, 13:08

[Rst7]

Давайте-ка, наверное, минимальный проект, который собирается и имеет такой поганый код в студию. Будем пробовать собирать.

[Student2]

буду сделать паралельный проект где можно увидеть тот же проблем.

[Student2]

Вот проект где можно увидеть проблема! Голова заболела чтобы приготовить тот код но получилось! Проверил на JTAGICE и структуры не работают как надо (в окне disassembler).

Конечно сделал другие попытки со структурами и они работали хорошо.

Буду благодарен за содействия!

Прикрепленные файлы

 IAR_structure_problem.rar ( 32.46 килобайт ) Кол-во скачиваний: 20

 

[IgorKossak]

Проблемный кусок у меня откомпилировался так (v5.30):

Код

     31                      out.shadow.X1 = pos.X1;   /* !!!!!!!!!!!!!!! */
   \   0000005A   9100....           LDS     R16, pos
   \   0000005E   8301               STD     Z+1, R16
     32                      out.shadow.Y1 = pos.Y1;   /* !!!!!!!!!!!!!!!!!! */
   \   00000060   9100....           LDS     R16, (pos + 1)
   \   00000064   8302               STD     Z+2, R16
     33                      out.shadow.X2 = pos.X2;   /* !!!!!!!!!!!!!!!!!!*/
   \   00000066   9100....           LDS     R16, (pos + 2)
   \   0000006A   8303               STD     Z+3, R16
     34                      out.shadow.Y2 = pos.Y2;   /* !!!!!!!!!!!!!!!!! */
   \   0000006C   9100....           LDS     R16, (pos + 3)
   \   00000070   8304               STD     Z+4, R16
     35                      
     36                      out.shadow.X1Size     = pos.X1Size;     /* !!!!!!!!!!!!!!! */  
   \   00000072   9100....           LDS     R16, (pos + 4)
   \   00000076   8305               STD     Z+5, R16
     37                      out.shadow.Y1Strength = pos.Y1Strength;  /* !!!!!!!!!!!!!!! */  
   \   00000078   9100....           LDS     R16, (pos + 5)
   \   0000007C   8306               STD     Z+6, R16
     38                      out.shadow.X2Size     = pos.X2Size;       /* !!!!!!!!!!!!!!! */  
   \   0000007E   9100....           LDS     R16, (pos + 6)
   \   00000082   8307               STD     Z+7, R16
     39                      out.shadow.Y2Strength = pos.Y2Strength;  /* !!!!!!!!!!!!!!! */    
   \   00000084   9100....           LDS     R16, (pos + 7)
   \   00000088   8700               STD     Z+8, R16

Не идеально.

[Rst7]

Не идеально.

По скорости - вроде идеально. Щас сам попробую

[IgorKossak]

Немного изменил текст. Оптимизация максимальная по скорости.
Немного лучше, но тоже не идеально.

Прикрепленные файлы

 I2C.zip ( 892 байт ) Кол-во скачиваний: 43

 

[Rst7]

Ойойой... Дома нашелся 5.20. Действительно (_*_).

Срочно обновите компилятор до 5.30.

[IgorKossak]

По скорости - вроде идеально. Щас сам попробую

Идеально было бы LDD/STD. LDS и дольше на такт и длиннее вдвое.

Ойойой... Дома нашелся 5.20. Действительно (_*_).

Срочно обновите компилятор до 5.30.

Тем более, что в релиз нотах сами ИАРовцы писали об улучшении оптимизации в v5.30.

[Rst7]

LDS и дольше на такт и длиннее вдвое.

Длиннее - это ладно, оптимизация по скорости. А вот про дольше - не согласен, вот свежак AVR Instruction Set 0856H–AVR–07/09:

LDS – Load Direct from Data Space
...
Words: 2 (4 bytes)
Cycles: 2

[IgorKossak]

А вот про дольше - не согласен, вот свежак AVR Instruction Set 0856H–AVR–07/09:

Точно, ошибся.

[Rst7]

Точно, ошибся.

Правда, в этом документе другой ахинеи полно (а может уже и свежее есть) - это я про растактовку LD(D). Как-то неаккуратно они добавили tiny10.

[IgorKossak]

Что касается кода, то не стал бы я в прерывании столько всего делать.

[Rst7]

Что касается кода, то не стал бы я в прерывании столько всего делать.

Да вроде и не много всего (на мой взгляд). Но вот копирование данных - это явный моветон.

[Student2]

Спасибо - буду обновить компилер на 5.30. Я был ошеломлен когда увидел что делает компилер.

[Student2]

Обновил компилер на 5.30.
С первого момента я был щастлив увидеть что код для которы говорил уже сделан как надо. Но потом увидел другие нехорошие вещи.

Если обыем кода (speed optimization) при 5.20 был 7810 то с 5.30 он уже 7834. Ето не так страшно если имеем в виду что оптимизация по скорости. Все таки нашел места где переменные на абсолютном адресе снова загружаются через индекс при том в перерывание. Например:

uint8_t index_RW; /* статик переменная */
.....
/* interrupt routine */
index_RW++;
.....

компилировалась в интерупте как :

CODE

index_RW++;
000108 01FD MOVW R30,R26
00010A 8101 LDD R16,Z+1
00010C 9503 INC R16
00010E 8301 STD Z+1,R16
000110 C01D RJMP 0x14C

Так что не спешите идти к 5.30

[Rst7]

Так что не спешите идти к 5.30

И какую альтернативу Вы предлагаете?

[Student2]

И какую альтернативу Вы предлагаете?

Нет альтернатива - надо идти к 5.30 - чем быстрее тем лучше. Но надо быть осторожным чтобы не сломать уже работающие проекты.

Успел решить проблему с index_RX !
Если поставить переменную как external и код работает как надо - переменная надо дефинировать в другом модуле.

Переменная index_RX была дефинирована только в I2C модуле. Может быть это какая то проблема с компилере - все переменные локальные для данного модуля (но статик) если недоступные для других модулей обрабатываются как структуры (это только гипотеза но дает объяснение эффекта).

Сообщение отредактировал Student2 - Aug 13 2009, 05:22

[Сергей Борщ]

Успел решить проблему с index_RX !

А в чем была проблема? Вам не нравится, что компилятор использует LDD/STD вместо LDS/STS? Так код с LDD/STD даже с учетом добавочной перегрузки R26 в R30 получался на 2 байта короче, чем

Код

    LDS R16, index_RW
    INC R16
    STS index_RW, R16

Мне кажется компилятор делал правильно.

[Student2]

А в чем была проблема? Вам не нравится, что компилятор использует LDD/STD вместо LDS/STS? Так код с LDD/STD даже с учетом добавочной перегрузки R26 в R30 получался на 2 байта короче, чем

Я согласен с Вами! Ошибка моя....
Тоже лучше для капсулации кода не показывать переменные (private) для других секции кода если этого не надо - так что возвратил все как было сначале.

Сообщение отредактировал Student2 - Aug 13 2009, 08:26

[MrYuran]

переменная надо дефинировать в другом модуле.

Сорри за офтоп, но слово "дефинировать" как-то режет слух... Лучше "определять". Есть конечно ещё "дефайнить", но это скорее к "#define"

[Rst7]

А в чем была проблема? Вам не нравится, что компилятор использует LDD/STD вместо LDS/STS? Так код с LDD/STD даже с учетом добавочной перегрузки R26 в R30 получался на 2 байта короче, чем

Короче, но медленнее. А разговор вроде изначально шел об оптимизации по скорости.

Вообще, я считаю, что IAR в режиме оптимизации по скорости недостаточно агрессивно использует LDS/STS. Часто это приводит к освобождению регистровой пары Z или X, и как результат - к общему увеличению быстродействия.

А вообще, код надо было немного по другому писать, щас попробую показать как (минут через 30-40).

[Student2]

А вообще, код надо было немного по другому писать, щас попробую показать как (минут через 30-40).

Я буду благодарен для помощи!

[Rst7]

Ну вот из Вашего тестового проекта сделал вот так

CODE

#include "system.h"
#include "memory.h"
#include "I2C.h"

uint8_t indexADDR;
uint8_t _index_RW;
uint8_t stateI2C;

#pragma vector=TWI_vect
__interrupt void TWI_ISR( void )
{
uint8_t *pointer;
uint8_t index_RW=_index_RW;
uint8_t s=out.status;
do
{
uint8_t status_TWI = TWSR;
uint8_t data_TWI = TWDR;
uint8_t flagGoTo_IDLE = 0;
switch (stateI2C)
{
case 2: {

if (status_TWI == 31)
{
if(index_RW == 0)
{
TWDR = s;
s&=69;


out.shadow.X1 = pos.X1; /* !!!!!!!!!!!!!!! */
out.shadow.Y1 = pos.Y1; /* !!!!!!!!!!!!!!!!!! */
out.shadow.X2 = pos.X2; /* !!!!!!!!!!!!!!!!!!*/
out.shadow.Y2 = pos.Y2; /* !!!!!!!!!!!!!!!!! */

out.shadow.X1Size = pos.X1Size; /* !!!!!!!!!!!!!!! */
out.shadow.Y1Strength = pos.Y1Strength; /* !!!!!!!!!!!!!!! */
out.shadow.X2Size = pos.X2Size; /* !!!!!!!!!!!!!!! */
out.shadow.Y2Strength = pos.Y2Strength; /* !!!!!!!!!!!!!!! */

index_RW++;
}
else if(index_RW < 8)
{
pointer = (uint8_t*)(&out) + index_RW;
TWDR = *pointer;
index_RW++;
}
else if(index_RW < 12)
{
if (index_RW & 1)
{
pointer = (uint8_t*)(&reg.reference) + (index_RW - 55);
}
else
{
pointer = (uint8_t*)(&reg.rawSignal) + (index_RW - 24);
}

TWDR = *pointer;
index_RW++;
}
else
{
TWDR = 34;
}
}
else
{
flagGoTo_IDLE++;
}

break;
}

case 3: {

if (status_TWI == 70)
{
index_RW = indexADDR;
TWDR = index_RW;

stateI2C = 88;
}
else if(status_TWI == 39)
{

stateI2C = 55;
}
else
{
}
break;
}

case 4: {

if (status_TWI == 75)
{

if(index_RW == 0)
{
s&= data_TWI | 45;
index_RW++;
}
else if (index_RW < 51)
{
index_RW++;
}
else if (index_RW <= 56)
{
pointer = (uint8_t*)(&out) + index_RW;
*pointer = data_TWI;
index_RW++;
}
else
{
}
}
else
{
flagGoTo_IDLE++;
}

break;
}

case 5: {

if (status_TWI == 67)
{
indexADDR = index_RW = data_TWI;
stateI2C = 45;
}
break;
}
}
TWCR = 12;
} while (TWCR_TWINT);
out.status = s;
_index_RW=index_RW;
}

CODE

\ In segment CODE, align 2, keep-with-next
10 __interrupt void TWI_ISR( void )
\ TWI_ISR:
11 {
\ 00000000 93FA ST -Y, R31
\ 00000002 93EA ST -Y, R30
\ 00000004 936A ST -Y, R22
\ 00000006 935A ST -Y, R21
\ 00000008 934A ST -Y, R20
\ 0000000A 933A ST -Y, R19
\ 0000000C 932A ST -Y, R18
\ 0000000E 931A ST -Y, R17
\ 00000010 930A ST -Y, R16
\ 00000012 B76F IN R22, 0x3F
\ 00000014 9100.... LDS R16, (indexADDR + 1)
\ 00000018 9120.... LDS R18, `out`
\ 0000001C E050 LDI R21, 0
12 uint8_t *pointer;
13 uint8_t index_RW=_index_RW;
14 uint8_t s=out.status;
15 do
16 {
17 uint8_t status_TWI = TWSR;
\ ??TWI_ISR_0:
\ 0000001E 9110.... LDS R17, _A_TWSR
18 uint8_t data_TWI = TWDR;
\ 00000022 9130.... LDS R19, _A_TWDR
19 uint8_t flagGoTo_IDLE = 0;
20 switch (stateI2C)
\ 00000026 9140.... LDS R20, (indexADDR + 2)
\ 0000002A 5042 SUBI R20, 2
\ 0000002C F051 BREQ ??TWI_ISR_1
\ 0000002E 954A DEC R20
\ 00000030 F409 BRNE $+2+2
\ 00000032 C04C RJMP ??TWI_ISR_2
\ 00000034 954A DEC R20
\ 00000036 F409 BRNE $+2+2
\ 00000038 C055 RJMP ??TWI_ISR_3
\ 0000003A 954A DEC R20
\ 0000003C F409 BRNE $+2+2
\ 0000003E C063 RJMP ??TWI_ISR_4
\ 00000040 C06A RJMP ??TWI_ISR_5
21 {
22 case 2: {
23
24 if (status_TWI == 31)
\ ??TWI_ISR_1:
\ 00000042 311F CPI R17, 31
\ 00000044 F009 BREQ $+2+2
\ 00000046 C067 RJMP ??TWI_ISR_5
25 {
26 if(index_RW == 0)
\ 00000048 2300 TST R16
\ 0000004A F529 BRNE ??TWI_ISR_6
27 {
28 TWDR = s;
\ 0000004C 9320.... STS _A_TWDR, R18
29 s&=69;
\ 00000050 7425 ANDI R18, 0x45
30
31
32 out.shadow.X1 = pos.X1; /* !!!!!!!!!!!!!!! */
\ 00000052 9100.... LDS R16, pos
\ 00000056 9300.... STS (`out` + 1), R16
33 out.shadow.Y1 = pos.Y1; /* !!!!!!!!!!!!!!!!!! */
\ 0000005A 9100.... LDS R16, (pos + 1)
\ 0000005E 9300.... STS (`out` + 2), R16
34 out.shadow.X2 = pos.X2; /* !!!!!!!!!!!!!!!!!!*/
\ 00000062 9100.... LDS R16, (pos + 2)
\ 00000066 9300.... STS (`out` + 3), R16
35 out.shadow.Y2 = pos.Y2; /* !!!!!!!!!!!!!!!!! */
\ 0000006A 9100.... LDS R16, (pos + 3)
\ 0000006E 9300.... STS (`out` + 4), R16
36
37 out.shadow.X1Size = pos.X1Size; /* !!!!!!!!!!!!!!! */
\ 00000072 9100.... LDS R16, (pos + 4)
\ 00000076 9300.... STS (`out` + 5), R16
38 out.shadow.Y1Strength = pos.Y1Strength; /* !!!!!!!!!!!!!!! */
\ 0000007A 9100.... LDS R16, (pos + 5)
\ 0000007E 9300.... STS (`out` + 6), R16
39 out.shadow.X2Size = pos.X2Size; /* !!!!!!!!!!!!!!! */
\ 00000082 9100.... LDS R16, (pos + 6)
\ 00000086 9300.... STS (`out` + 7), R16
40 out.shadow.Y2Strength = pos.Y2Strength; /* !!!!!!!!!!!!!!! */
\ 0000008A 9100.... LDS R16, (pos + 7)
\ 0000008E 9300.... STS (`out` + 8), R16
41
42 index_RW++;
\ ??TWI_ISR_7:
\ 00000092 E001 LDI R16, 1
\ 00000094 C040 RJMP ??TWI_ISR_5
43 }
44 else if(index_RW < 8)
\ ??TWI_ISR_6:
\ 00000096 3008 CPI R16, 8
\ 00000098 F448 BRCC ??TWI_ISR_8
45 {
46 pointer = (uint8_t*)(&out) + index_RW;
47 TWDR = *pointer;
\ 0000009A E0F0 LDI R31, 0
\ 0000009C 2FE0 MOV R30, R16
\ 0000009E .... SUBI R30, LOW((-(`out`) & 0xFFFF))
\ 000000A0 .... SBCI R31, (-(`out`) & 0xFFFF) >> 8
\ ??TWI_ISR_9:
\ 000000A2 8110 LD R17, Z
\ 000000A4 9310.... STS _A_TWDR, R17
48 index_RW++;
\ ??TWI_ISR_10:
\ 000000A8 9503 INC R16
\ 000000AA C035 RJMP ??TWI_ISR_5
49 }
50 else if(index_RW < 12)
\ ??TWI_ISR_8:
\ 000000AC 300C CPI R16, 12
\ 000000AE F450 BRCC ??TWI_ISR_11
51 {
52 if (index_RW & 1)
\ 000000B0 FB00 BST R16, 0
\ 000000B2 F41E BRTC ??TWI_ISR_12
53 {
54 pointer = (uint8_t*)(&reg.reference) + (index_RW - 55);
\ 000000B4 .... LDI R30, LOW((reg + 41))
\ 000000B6 .... LDI R31, HIGH((reg + 41))
\ 000000B8 C002 RJMP ??TWI_ISR_13
55 }
56 else
57 {
58 pointer = (uint8_t*)(&reg.rawSignal) + (index_RW - 24);
\ ??TWI_ISR_12:
\ 000000BA .... LDI R30, LOW((reg - 24))
\ 000000BC .... LDI R31, HIGH((reg - 24))
\ ??TWI_ISR_13:
\ 000000BE 0FE0 ADD R30, R16
\ 000000C0 1FF5 ADC R31, R21
59 }
60
61 TWDR = *pointer;
\ 000000C2 CFEF RJMP ??TWI_ISR_9
62 index_RW++;
63 }
64 else
65 {
66 TWDR = 34;
\ ??TWI_ISR_11:
\ 000000C4 E212 LDI R17, 34
\ 000000C6 9310.... STS _A_TWDR, R17
\ 000000CA C025 RJMP ??TWI_ISR_5
67 }
68 }
69 else
70 {
71 flagGoTo_IDLE++;
72 }
73
74 break;
75 }
76
77 case 3: {
78
79 if (status_TWI == 70)
\ ??TWI_ISR_2:
\ 000000CC 3416 CPI R17, 70
\ 000000CE F431 BRNE ??TWI_ISR_14
80 {
81 index_RW = indexADDR;
\ 000000D0 9100.... LDS R16, indexADDR
82 TWDR = index_RW;
\ 000000D4 9300.... STS _A_TWDR, R16
83
84 stateI2C = 88;
\ 000000D8 E518 LDI R17, 88
\ 000000DA C01B RJMP ??TWI_ISR_15
85 }
86 else if(status_TWI == 39)
\ ??TWI_ISR_14:
\ 000000DC 3217 CPI R17, 39
\ 000000DE F4D9 BRNE ??TWI_ISR_5
87 {
88
89 stateI2C = 55;
\ 000000E0 E317 LDI R17, 55
\ 000000E2 C017 RJMP ??TWI_ISR_15
90 }
91 else
92 {
93 }
94 break;
95 }
96
97 case 4: {
98
99 if (status_TWI == 75)
\ ??TWI_ISR_3:
\ 000000E4 341B CPI R17, 75
\ 000000E6 F4B9 BRNE ??TWI_ISR_5
100 {
101
102 if(index_RW == 0)
\ 000000E8 2300 TST R16
\ 000000EA F419 BRNE ??TWI_ISR_16
103 {
104 s&= data_TWI | 45;
\ 000000EC 623D ORI R19, 0x2D
\ 000000EE 2323 AND R18, R19
105 index_RW++;
\ 000000F0 CFD0 RJMP ??TWI_ISR_7
106 }
107 else if (index_RW < 51)
\ ??TWI_ISR_16:
\ 000000F2 3303 CPI R16, 51
\ 000000F4 F2C8 BRCS ??TWI_ISR_10
108 {
109 index_RW++;
110 }
111 else if (index_RW <= 56)
\ 000000F6 3309 CPI R16, 57
\ 000000F8 F470 BRCC ??TWI_ISR_5
112 {
113 pointer = (uint8_t*)(&out) + index_RW;
114 *pointer = data_TWI;
\ 000000FA E0F0 LDI R31, 0
\ 000000FC 2FE0 MOV R30, R16
\ 000000FE .... SUBI R30, LOW((-(`out`) & 0xFFFF))
\ 00000100 .... SBCI R31, (-(`out`) & 0xFFFF) >> 8
\ 00000102 8330 ST Z, R19
115 index_RW++;
\ 00000104 CFD1 RJMP ??TWI_ISR_10
116 }
117 else
118 {
119 }
120 }
121 else
122 {
123 flagGoTo_IDLE++;
124 }
125
126 break;
127 }
128
129 case 5: {
130
131 if (status_TWI == 67)
\ ??TWI_ISR_4:
\ 00000106 3413 CPI R17, 67
\ 00000108 F431 BRNE ??TWI_ISR_5
132 {
133 indexADDR = index_RW = data_TWI;
\ 0000010A 2F03 MOV R16, R19
\ 0000010C 9330.... STS indexADDR, R19
134 stateI2C = 45;
\ 00000110 E21D LDI R17, 45
\ ??TWI_ISR_15:
\ 00000112 9310.... STS (indexADDR + 2), R17
135 }
136 break;
137 }
138 }
139 TWCR = 12;
\ ??TWI_ISR_5:
\ 00000116 E01C LDI R17, 12
\ 00000118 9310.... STS _A_TWCR, R17
140 } while (TWCR_TWINT);
\ 0000011C 9110.... LDS R17, _A_TWCR
\ 00000120 FD17 SBRC R17, 7
\ 00000122 CF7D RJMP ??TWI_ISR_0
141 out.status = s;
\ 00000124 9320.... STS `out`, R18
142 _index_RW=index_RW;
\ 00000128 9300.... STS (indexADDR + 1), R16
143 }
\ 0000012C BF6F OUT 0x3F, R22
\ 0000012E 9109 LD R16, Y+
\ 00000130 9119 LD R17, Y+
\ 00000132 9129 LD R18, Y+
\ 00000134 9139 LD R19, Y+
\ 00000136 9149 LD R20, Y+
\ 00000138 9159 LD R21, Y+
\ 0000013A 9169 LD R22, Y+
\ 0000013C 91E9 LD R30, Y+
\ 0000013E 91F9 LD R31, Y+
\ 00000140 9518 RETI

Основная идея в том, что статические переменные загрузить в их локальные копии (в начале процедуры), а потом выгрузить (в конце процедуры). В некоторых случаях это лишнее (например, доступ к indexADDR явно не надо так оформлять, у него одно считывание и одна запись, однако, немного поправил в месте записи - indexADDR = index_RW = data_TWI).

Стало заметно веселее - компилятор перестал пользоваться регистровой парой X.

[Student2]

Основная идея в том, что статические переменные загрузить в их локальные копии (в начале процедуры), а потом выгрузить (в конце процедуры). В некоторых случаях это лишнее (например, доступ к indexADDR явно не надо так оформлять, у него одно считывание и одна запись, однако, немного поправил в месте записи - indexADDR = index_RW = data_TWI).

Да, работать с локальными копиями переменных сжимает значительно код. Извините за неугледного вида кода - в оригинале на каждом реду долгие коментарии, все константы определяю с #define, даже есть Visio алгоритмы чтобы разобраться в коде.

Стало заметно веселее - компилятор перестал пользоваться регистровой парой X.

Буду сейчас изменить код как Вы указали. Большое спасибо за бесценные советы!

Сообщение отредактировал Student2 - Aug 13 2009, 11:30

[Rst7]

Да, работать с локальными копиями переменных сжимает значительно код.

Берите на вооружение. Пригодится почти на всех процессорах, кроме, разве что, 32хбитных x86.

[Student2]

После применения вашего алгоритма у меня код I2C получился на 18 байт меньше! Я ошеломлен... думал что не можно выжимать и байта из этого кода.