개구리 wrote..
: 예전에 제가 켈프 강좌에서 썼던 글입니다.
: 결론은 맨 마지막 줄입니다.
:
: arm용에서 gcc는 스택포인터는 감소시키는가?
: ===========================================
:
: 1. 개요
:
: 이 문서는 ARM용으로 작성된 함수들은 스택 포인터가
: 감소하는가 증가 하는가를 조사한 문서이다.
:
: 2. 검증 과정 및 결과
:
: ARM 의 구조는 스택 포인터에 관련된 명령이 따로 존재하지 않는다.
: 대신에 r13번이 스택포인터로 사용된다.
:
: 그렇기 때문에 스택을 감소 시키는 구조로 관리할지
: 증가 시키는 구조로 관리할지는 프로그래머의 맘이다.
:
: 그렇다면 gcc로 컴파일되는 실행코드의 스택관리는 어떤식으로
: 되었있느가에 대한 검증이 필요했다.
:
: 본인이 부트로더를 작성하면서
: 스택이 감소를 택하는지 증가를 택하는지를 검증하는
: 것은 중요했다.
:
: 이것을 검증하기 위해서
:
: 다음과 같은 프로그램을 작성했다.
:
: int testsum( int a, int b )
: {
: return a, b;
: }
:
: int testfunc( int a, int b )
: {
: int sum;
:
: sum = testsum( 1, 2 );
:
: return sum;
: }
:
: 이것을 어셈블러로 보면 다음과 같다.
:
: ======= test1.s ================================================
: test1.o: file format elf32-littlearm
:
: Disassembly of section .text:
:
: 00000000 :
: 0: e1a0c00d mov r12, sp
: 4: e92dd800 stmdb sp!, {r11, r12, lr, pc}
: 8: e24cb004 sub r11, r12, #4 ; 0x4
: c: e24dd008 sub sp, sp, #8 ; 0x8
: 10: e50b0010 str r0, [r11, -#16]
: 14: e50b1014 str r1, [r11, -#20]
: 18: e51b3014 ldr r3, [r11, -#20]
: 1c: e1a00003 mov r0, r3
: 20: ea000007 b 44
: 24: e91ba800 ldmdb r11, {r11, sp, pc}
:
: 00000028 :
: 28: e1a0c00d mov r12, sp
: 2c: e92dd800 stmdb sp!, {r11, r12, lr, pc}
: 30: e24cb004 sub r11, r12, #4 ; 0x4
: 34: e24dd00c sub sp, sp, #12 ; 0xc
: 38: e50b0010 str r0, [r11, -#16]
: 3c: e50b1014 str r1, [r11, -#20]
: 40: e3a00001 mov r0, #1 ; 0x1
: 44: e3a01002 mov r1, #2 ; 0x2
: 48: ebfffffe bl 48
: 4c: e1a03000 mov r3, r0
: 50: e50b3018 str r3, [r11, -#24]
: 54: e51b3018 ldr r3, [r11, -#24]
: 58: e1a00003 mov r0, r3
: 5c: ea000016 b bc
: 60: e91ba800 ldmdb r11, {r11, sp, pc}
: Disassembly of section .data:
: ======= test1.s ================================================
:
: 이문장에서 다음을 유심히 보아야 한다.
:
: stmdb sp!, {r11, r12, lr, pc}
:
: 이 문장이 스택을 관리하는 방법에 대한 것이다.
:
: 이 문장을 해석하면
:
: sp가 가리키는 주소에 r11, r12, lr, pc를 차례로
: 저장하라는 의미이다.
:
: 이때 sp에 !부호가 붙어 있으므로 sp값이
: 저장될때마다 변한다는 의미이며
:
: sp가 증가 되는가 감소되는가는 stmdb의 접미사
: 를 보면 db라고 되어 있는데 이것은
: 감소라는 의미 이므로
:
: sp는 데이타가 저장될때마다 감소한다는 것을
: 알수 있다.
:
: 결론은 간단하다 gcc에서는 스택 포인터를
: 저장할때마다 감소 시킨다.
이 게시물을...