C에서 조립까지

avr-8bit에 대해 다음과 같은 C 코드가 있다고 가정합니다.

int v1=1;
int v2=2;
v2=v2+v1;

다음과 같은 분해가 예상되었습니다.

ldi r18, 1;
ldi r19, 2;
add r19, r18;

그러나 내가 달린 후에 :

avr-gcc -mmcu=atmega2560 Test.c -o Test.elf

과

avr-objdump -S Test.elf > Test.lss

나는 다음과 같은 분해를 얻었다

    ldi r24, 0x01   ; 1
    ldi r25, 0x00   ; 0
    std Y+2, r25    ; 0x02
    std Y+1, r24    ; 0x01
    ldi r24, 0x02   ; 2
    ldi r25, 0x00   ; 0
    std Y+4, r25    ; 0x04
    std Y+3, r24    ; 0x03
    ldd r18, Y+3    ; 0x03
    ldd r19, Y+4    ; 0x04
    ldd r24, Y+1    ; 0x01
    ldd r25, Y+2    ; 0x02
    add r24, r18
    adc r25, r19
    std Y+4, r25    ; 0x04
    std Y+3, r24    ; 0x03

분해기의 결과를 이해하는 데 도움이 될 사람이 있습니까?

편집 : char을 사용하여 어셈블리는 다음과 같습니다.

ldi r24, 0x01
std Y+1, r24
ldi r24, 0x02
std Y+2, r24
ldd r25, Y+2
ldd r24, Y+1
add r24, r25
std Y+2, r24

표준 교육은 언제입니까?

짧은 대답 : 레지스터는 8 비트이고 값은 16 비트입니다. 따라서 두 조각으로 처리합니다.

긴 대답 :

    ldi r24, 0x01   ; 1
    ldi r25, 0x00   ; 0

16 비트 값 1을 8 비트 레지스터 r24, r25에 저장하십시오.

    std Y+2, r25    ; 0x02
    std Y+1, r24    ; 0x01

스택 위치 Y + 1, Y + 2에 보관하십시오.

    ldi r24, 0x02   ; 2
    ldi r25, 0x00   ; 0

16 비트 값 2를 8 비트 레지스터 r24, r25에 저장하십시오.

    std Y+4, r25    ; 0x04
    std Y+3, r24    ; 0x03

스택 위치 Y + 3, Y + 4에 보관하십시오.

    ldd r18, Y+3    ; 0x03
    ldd r19, Y+4    ; 0x04
    ldd r24, Y+1    ; 0x01
    ldd r25, Y+2    ; 0x02

스택에서 다시 (r18, r19) 및 (r24, r25)로 복사하십시오.

    add r24, r18
    adc r25, r19

두 번째 추가시 캐리를 포함하여 (r18, r19)를 (r24, r25)에 추가

    std Y+4, r25    ; 0x04
    std Y+3, r24    ; 0x03

다시 스택에 보관하십시오.

원래 어셈블리를 얻으려면 다음 두 가지를 시도하십시오.

• "char"변수를 사용하십시오
• "-O2"컴파일러 옵션 사용

편집 : 컴파일러가 변수를 레지스터에 유지하지 않고 스택에 저장하는 이유는 기본 "자동"스토리지 유형으로 저장되기 때문입니다. 그것은 수 레지스터로 최적화 그러나 당신이 그들을 선언 할 경우에도 "등록"스토리지 클래스에 없습니다.

이것은 언어의 엄격한 요구 사항은 아니지만 일반적인 컴파일러 동작입니다. 어떤 시점에서 v1의 주소를 가져 오면 저장 위치를 ​​지정하고 "v1"값이 변경 될 때마다 다시 저장 해야합니다 . 따라서 v1을 레지스터 또는 스택에 저장해야하는지 여부에 대한 부기를 저장하기 위해 스택에 저장하고 각 코드 행을 개별적으로 처리합니다.

예제 코드를 찾았을 때 내 의견에 답을 드리겠습니다. 다른 사람들은 이미 문제를 설명했습니다.

내가 사용하는 많은 임베디드 코드는 예를 들어 부호없는 정수에 대한 "uint8, uint16, uint32"와 같이 크기에 특정한 추가 유형을 정의합니다. 그렇게하면 항상 어떤 종류의 변수를 다루는 지 정확하게 알 수 있습니다. 특히 크기가 작거나 정의되지 않은 작은 임베디드, 부호있는 플로트 "int"의 경우 CPU 사이클을 최고로 소모하고 최악의 경우 심각한 버그가 발생합니다.

다음은 현재 #defines입니다.

/*
 * Example - the basic data types from our embedded code
 */
typedef unsigned char       uint8;  /*  8 bits */
typedef unsigned short int  uint16; /* 16 bits */
typedef unsigned long int   uint32; /* 32 bits */

typedef char                int8;   /*  8 bits */
typedef short int           int16;  /* 16 bits */
typedef int                 int32;  /* 32 bits */

typedef volatile int8       vint8;  /*  8 bits */
typedef volatile int16      vint16; /* 16 bits */
typedef volatile int32      vint32; /* 32 bits */

typedef volatile uint8      vuint8;  /*  8 bits */
typedef volatile uint16     vuint16; /* 16 bits */
typedef volatile uint32     vuint32; /* 32 bits */

C 코드는 16 비트 정수 변수 (int)를 사용합니다. 컴파일러는 마음을 읽을 수 없으므로 소스 파일에있는 내용을 정확하게 컴파일합니다. 따라서 8 비트 변수를 원하면 해당 유형을 사용해야합니다.

결과적으로 여전히 메모리에 값을 저장하게됩니다 (더 간단하지만). 나는 C가 좋지는 않지만 IMHO, RAM 대신 레지스터에 변수를 넣고 싶다면 변수를 레지스터에 할당하는 옵션이 있습니다. 다음과 같은 것 :

register unsigned char VARNAME asm("r3");

이러한 트릭에 모든 레지스터를 사용할 수있는 것은 아닙니다.

결론은? 프로그램을 조립하여 작성하십시오. 그것들은 항상 작고 빠르며 읽기 / 지원하기 쉽습니다.