C 프로그램에서 디코딩 어셈블리 출력

Question

XOR을 사용하여 2 개의 변수를 바꾸는 프로그램을 작성합니다.

var1 = var1^var2; 
var2 = var2^var1; 
var1 = var1^var2; 

나는 86 어셈블리에 익숙하지 않은 나는 ... 나는 어셈블리 형식에서 출력을 얻을

$ gcc Q1.c -save-temps -o Q1 

다른 사람과 함께 조립 출력을 얻을 수

movl 24(%esp), %edx 
movl 28(%esp), %eax 
xorl %edx, %eax 
movl %eax, 24(%esp) 
movl 28(%esp), %edx 
movl 24(%esp), %eax 
xorl %edx, %eax 
movl %eax, 28(%esp) 
movl 24(%esp), %edx 
movl 28(%esp), %eax 
xorl %edx, %eax 

그것을 컴파일 하지만 난 ARM 어셈블리에서 일해 왔습니다. 숫자는 무엇입니까 및 은 여기에 의미합니까?

movl 28(%esp), %edx 
movl 24(%esp), %eax 

Answer 1

%esp은 스택 포인터입니다. 24(%esp)는 주소 값을 읽어 %esp + 24

Answer 2

그 오프셋, 당신은

Answer 3

내가 프로그래밍 밑바닥를 통해보고하는 것이 좋습니다 실제 주소를 얻기 위해 ESP의 값을 추가 할 필요가 있습니다 (86 어셈블리에게, GAS 구문)

http://gnu.mirrors.pair.com/savannah/savannah//pgubook/ProgrammingGroundUp-1-0-booksize.pdf

당신은 또한이

gcc -S -masm=intel test.c 

을 시도 할 수 있습니다 대신 intel 구문보기

Answer 4

쉽게 혼동을 볼 수 있습니다. 어떤 사람은 저를 고치지 만, 그것은 AT & T 문법입니다. 저는 "%"기호와 괄호를 사용하는 방식이나 방법에 대해 컴파일러 작성자가 원하는만큼 정확하게 할 수 있다고 생각합니다. (그들이 한 일이 마음에 들지 않는다면, 자신의 컴파일러를 작성하고 무료로해라.)

나는 이것을 인텔 구문으로 다시 작성했다. 나는 그들이 그것을 무엇이라고 부르는 지 정확히 잊어 버린다. 그러나 어쨌든, 구문에서 목적지는 명령에서 제일 먼저 나오고 다른 부분은 그것을 따른다. 레지스터 이름 주위의 대괄호는 "이 레지스터가 가리키는 주소에있는 것을 찾을 수 있습니다."레지스터가 많으면 자신의 오프셋을 추가 할 수 있으며 칩에 오프셋이 추가 된 주소가 생성됩니다.

경고하지만이 부분이 맞다고 생각하지만 지금은 잠 들어 있어야합니다. 이 그것에 대해 너무 많이

 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
     ;             ; 
     ; Arun's Swap Via Xor Function      ; 
     ;             ; 
     ; Arun is studying C and ASM      ; 
     ;             ; 
     ; On Entry: var1 is at the 24th place in the stack ; 
     ;             ; 
     ;   var2 is at the 28th place in the stack ; 
     ;             ; 
     ;   Both of these are 32 bit numbers which ; 
     ;   is why they are 4 bytes apart   ; 
     ;             ; 
     ; On Exit: var1 is in Eax       ; 
     ;             ; 
     ;   var2 is in Edx       ; 
     ;             ; 
     ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 


Aruns_Swap_Via_Xor_Function: 

     MovL Edx, [Esp + 24]  ;var1 goes into Edx 
     MovL Eax, [Esp + 28]  ;var2 goes into Eax 

     XorL Eax, Edx    ;Xor them and put the result in Eax 

     MovL [Esp + 24], Eax  ;Store the result in var1 on the stack 

     MovL Edx, [Esp + 28]  ;Original var2 goes in Edx this time 

     MovL Eax, [Esp + 24]  ;The bit fiddled var1 is now in Eax 
            ;Be aware, this is not exactly optimized 
            ; but it will work, and this compiler apparently 
            ; doesn't want to take chances. 
            ; The brass tacks are that this instruction 
            ; as it appears here, is a defacto Nop 

     XorL Eax, Edx    ;Now Xor both of those values and put the result in Eax 
     MovL [Esp + 28], Eax  ;That modified value goes into var2 
            ;(Be alert, this is really the original var1) 

     MovL  Edx, [Esp + 24]  ;The original var2 is now in Edx 
     MovL  Eax, [Esp + 28]  ;The modified var2 is now in Eax 

     XorL Eax, Edx    ;Xor those two and put the result in Eax 
            ;Now Eax and Edx hold each other's original contents 
            ; 
            ;(and life goes on) 

을 도움이된다면

어쨌든, 참조하십시오. 몇 가지 어셈블리 언어 과정에서이 문제에 직면 한 경우를 대비하여이 문제는 수년 동안 사람들을 (나를 포함하여) 매료 시켰습니다. 교수님이 찾고있는 부분은 다음과 같습니다. 그건 그렇고, 당신은 실제로 인터넷, 위키 백과에서 찾을 수 있습니다.

이전 11 설명

3 개 지시

 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
     ;             ; 
     ; A slightly optimized swap function    ; 
     ;             ; 
     ; Arun is studying C and ASM      ; 
     ;             ; 
     ; On Entry: var1 is in Eax       ; 
     ;             ; 
     ;   var2 is in Ebx       ; 
     ;             ; 
     ;   Both of these are 32 bit numbers, and ; 
     ;   so we will use 32 bit instructions. ; 
     ;             ; 
     ; On Exit: var1 is in Ebx       ; 
     ;             ; 
     ;   var2 is in Eax       ; 
     ;             ; 
     ;             ; 
     ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 

Slightly_Optimized_Swap_Routine: 


     XorL Eax, Ebx    ;Xor them and put the result in Ebx 
            ;At this point Eax is var1 and Ebx is weird number 

     XorL Ebx, Eax    ;Xor that result with the origial var1 
            ;At this point, Eax is var2 and Ebx is still weird number 

     XorL Eax, Ebx    ;Xor them and put the result in Ebx 
            ;At this point, Eax is var2 and Ebx is Var1 
            ; 
            ;(and life goes on) 

로 감소 될 수있다 마지막으로, 하드웨어 설계자와 구조에 마이크로 프로세서 ...

 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
     ;             ; 
     ; A slightly better optimized swap function  ; 
     ;             ; 
     ; Brought to you by Clint on Stack Overflow  ; 
     ;             ; 
     ; On Entry: var1 is in Eax       ; 
     ;             ; 
     ;   var2 is in Ebx       ; 
     ;             ; 
     ;   Both of these are 32 bit numbers, and ; 
     ;   so we will use 32 bit instructions. ; 
     ;             ; 
     ; On Exit: var1 is in Ebx       ; 
     ;             ; 
     ;   var2 is in Eax       ; 
     ;             ; 
     ;             ; 
     ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 


Slightly_Better_Swap_Routine: 


     XchgL Eax, Ebx    ;Microprocessor magic, exchange them in one instruction. 
            ; Honest, hardware guys can do stuff like that. The previous 
            ; eleven instructions have been reduced to one. Ta-Da 
            ; 
            ;(and life goes on)