Introduction to Assembly Language
Download as PPT, PDF13 likes4,829 views
The document discusses assembly language and its relationship to computer architecture and programming. It covers the different views of computer design including the programmer's view through instruction set architecture and the logic designer's view through machine organization. It also summarizes how a high-level language program is converted into executable files through compilation, assembly, and linking.
![Below Your Program High-level language program in C void swap(int v[ ], int k) { int temp; temp = v[k]; v[k] = v[k+1]; v[k+1] = temp; } Motaz K. Saad, Dept. of CS swap: muli $2, $5, 4 add $2, $4, $2 lw $15, 0($2) lw $16, 4($2) sw $16, 0($2) sw $15, 4($2) jr $31 Compiler Assembly language Program (for MIPS) 00000000101000010000000000011000 00000000100011100001100000100001 10001100011000100000000000000000 10001100111100100000000000000100 10101100111100100000000000000000 10101100011000100000000000000100 00000011111000000000000000001000 Assembler Binary machine language program (for MIPS)](https://image.slidesharecdn.com/assemblylanguageintro-1220345279381385-9/85/Introduction-to-Assembly-Language-6-320.jpg)
![Trying it out on different architectures! #include <stdio.h> void swap ( int v [ ], int k ); void print_vector ( int v [ ]); int main( int argc , char * argv [ ]) { int v []={1,3,5,7,9,-1}; print_vector(v); swap(v,2); print_vector(v); } void swap ( int v [], int k ) { int temp ; temp = v[k]; v[k] = v[k+1]; v[k+1] = temp; } void print_vector ( int v []) { int i ; for (i=0 ; v[i]>0 ; i++) printf(" \t%d ",v[i]); printf(" \n "); } Motaz K. Saad, Dept. of CS](https://image.slidesharecdn.com/assemblylanguageintro-1220345279381385-9/85/Introduction-to-Assembly-Language-9-320.jpg)
![swap: # vars= 8, regs= 2/0, args= 0, extra= 8 .frame $fp,24,$31 .mask 0x50000000,-4 .fmask 0x00000000,0 .set noreorder .cpload $25 .set reorder subu $sp,$sp,24 .cprestore 0 sw $fp,20($sp) sw $28,16($sp) move $fp,$sp sw $4,24($fp) sw $5,28($fp) lw $2,28($fp) move $3,$2 sll $2,$3,2 lw $3,24($fp) addu $2,$2,$3 lw $3,0($2) sw $3,8($fp) lw $2,28($fp) move $3,$2 sll $2,$3,2 lw $3,24($fp) addu $2,$2,$3 lw $3,28($fp) move $4,$3 sll $3,$4,2 lw $4,24($fp) addu $3,$3,$4 addu $4,$3,4 # page 1 $ gcc -S swap.c [on a MIPS R12K machine] lw $3,0($4) sw $3,0($2) lw $2,28($fp) move $3,$2 sll $2,$3,2 lw $3,24($fp) addu $2,$2,$3 addu $3,$2,4 lw $2,8($fp) sw $2,0($3) # page 2 Motaz K. Saad, Dept. of CS](https://image.slidesharecdn.com/assemblylanguageintro-1220345279381385-9/85/Introduction-to-Assembly-Language-10-320.jpg)
![swap: # vars= 0, regs= 0/0, args= 0, extra= 0 .frame $sp,0,$31 .mask 0x00000000,0 .fmask 0x00000000,0 .set noreorder .cpload $25 .set reorder sll $5,$5,2 addu $5,$5,$4 lw $2,4($5) lw $3,0($5) sw $2,0($5) .set noreorder .set nomacro j $31 sw $3,4($5) .set macro .set reorder .end swap .rdata .align 2 $ gcc -O3 -S swap.c [on a MIPS R12K machine] Motaz K. Saad, Dept. of CS](https://image.slidesharecdn.com/assemblylanguageintro-1220345279381385-9/85/Introduction-to-Assembly-Language-11-320.jpg)
![swap: pushl %ebp movl %esp, %ebp subl $4, %esp movl 12(%ebp), %eax imull $4, %eax, %edx movl 8(%ebp), %eax movl (%eax,%edx), %eax movl %eax, -4(%ebp) movl 12(%ebp), %eax imull $4, %eax, %ecx movl 8(%ebp), %edx movl 12(%ebp), %eax imull $4, %eax, %eax addl 8(%ebp), %eax addl $4, %eax movl (%eax), %eax movl %eax, (%edx,%ecx) movl 12(%ebp), %eax imull $4, %eax, %eax addl 8(%ebp), %eax leal 4(%eax), %edx movl -4(%ebp), %eax movl %eax, (%edx) leave ret $ gcc -S swap.c [on a Pentium III machine] swap: pushl %ebp movl %esp, %ebp movl 8(%ebp), %edx pushl %ebx movl 12(%ebp), %eax movl (%edx,%eax,4), %ebx movl 4(%edx,%eax,4), %ecx movl %ecx, (%edx,%eax,4) movl %ebx, 4(%edx,%eax,4) movl (%esp), %ebx leave ret $ gcc -O3 -S swap.c [on a Pentium III machine] Motaz K. Saad, Dept. of CS](https://image.slidesharecdn.com/assemblylanguageintro-1220345279381385-9/85/Introduction-to-Assembly-Language-12-320.jpg)
![swap: .prologue 2, 2 .vframe r2 mov r2 = r12 ;; .body st8 [r2] = r32 mov r14 = r2 ;; adds r14 = 8, r2 ;; st4 [r14] = r33 mov r14 = r2 adds r16 = 12, r2 ;; mov r14 = r2 ;; adds r14 = 8, r2 ;; ld4 r14 = [r14] ;; sxt4 r15 = r14 addl r14 = 4, r0 ;; setf.sig f6 = r15 setf.sig f7 = r14 ;; xma.l f6 = f6, f7, f0 ;; getf.sig r15 = f6 ld8 r14 = [r2] ;; add r14 = r15, r14 ;; ld4 r14 = [r14] ;; st4 [r16] = r14 mov r14 = r2 ;; adds r14 = 8, r2 ;; ld4 r14 = [r14] ;; sxt4 r15 = r14 addl r14 = 4, r0 ;; setf.sig f6 = r15 setf.sig f7 = r14 ;; xma.l f6 = f6, f7, f0 ;; getf.sig r15 = f6 ld8 r14 = [r2] ;; add r16 = r15, r14 mov r14 = r2 ;; #page 1 adds r14 = 8, r2 ;; $ gcc -S swap.c [on an Itanium I machine] ld4 r14 = [r14] ;; sxt4 r15 = r14 addl r14 = 4, r0 ;; setf.sig f6 = r15 setf.sig f7 = r14 ;; xma.l f6 = f6, f7, f0 ;; getf.sig r15 = f6 ld8 r14 = [r2] ;; add r14 = r15, r14 ;; adds r14 = 4, r14 ;; ld4 r14 = [r14] ;; st4 [r16] = r14 mov r14 = r2 ;; adds r14 = 8, r2 ;; ld4 r14 = [r14] ;; sxt4 r15 = r14 addl r14 = 4, r0 ;; setf.sig f6 = r15 setf.sig f7 = r14 ;; xma.l f6 = f6, f7, f0 ;; getf.sig r15 = f6 ld8 r14 = [r2] ;; add r14 = r15, r14 ;; adds r15 = 4, r14 mov r14 = r2 ;; adds r14 = 12, r2 ;; ld4 r14 = [r14] ;; st4 [r15] = r14 .restore sp mov r12 = r2 br.ret.sptk.many b0 .endp swap# .section .rodata .align 8 # page 2 Motaz K. Saad, Dept. of CS](https://image.slidesharecdn.com/assemblylanguageintro-1220345279381385-9/85/Introduction-to-Assembly-Language-13-320.jpg)
Introduction to Assembly Language
- 1. Assembly Language Basic Concepts Motaz K. Saad Spring 2007 Motaz K. Saad, Dept. of CS
- 2. Introduction Computer Architecture includes the design of: Instruction Set Architecture ( programmer's view) Machine Organization ( logic designer’s view ). Motaz K. Saad, Dept. of CS
- 3. Computer Design Motaz K. Saad, Dept. of CS Programmer’s View Logic Designer’s View Instruction Set Design Machine Organization Machine Language Machine Implementations Computer Interface Hardware Components Compiler/System View Logic Designer’s View
- 4. Computer Architecture Design I/O system Instr. Set Proc. Compiler Operating System Application Digital Design Instruction Set Architecture Datapath & Control Software Hardware Circuit Design Motaz K. Saad, Dept. of CS
- 5. Architectures x86 (including Intel IA-32) HP/Compaq Alpha AXP Sun SPARC Sun UltraSPARC Motorola 68000 PowerPC PowerPC64 ARM Hitachi SuperH IBM S/390 and zSeries MIPS HP PA-RISC Intel IA-64 AMD x86-64 H8/300 V850 and CRIS. Motaz K. Saad, Dept. of CS
- 6. Below Your Program High-level language program in C void swap(int v[ ], int k) { int temp; temp = v[k]; v[k] = v[k+1]; v[k+1] = temp; } Motaz K. Saad, Dept. of CS swap: muli $2, $5, 4 add $2, $4, $2 lw $15, 0($2) lw $16, 4($2) sw $16, 0($2) sw $15, 4($2) jr $31 Compiler Assembly language Program (for MIPS) 00000000101000010000000000011000 00000000100011100001100000100001 10001100011000100000000000000000 10001100111100100000000000000100 10101100111100100000000000000000 10101100011000100000000000000100 00000011111000000000000000001000 Assembler Binary machine language program (for MIPS)
- 7. Try it out ! #include <stdio.h> int main() { printf("Hello World!\n"); return 0; } gcc –S file.c Compile only; do not assemble or link Motaz K. Saad, Dept. of CS
- 8. gcc – S hello.c .file "cprog.c" .section .rodata .LC0: .string "Hello World!" .text .globl main .type main, @function main: leal 4(%esp), %ecx andl $-16, %esp pushl -4(%ecx) pushl %ebp movl %esp, %ebp pushl %ecx subl $4, %esp movl $.LC0, (%esp) call puts movl $0, %eax addl $4, %esp popl %ecx popl %ebp leal -4(%ecx), %esp ret .size main, .-main .ident "GCC: (GNU) 4.1.0 (SUSE Linux)" .section .note.GNU-stack,"",@progbits Motaz K. Saad, Dept. of CS
- 9. Trying it out on different architectures! #include <stdio.h> void swap ( int v [ ], int k ); void print_vector ( int v [ ]); int main( int argc , char * argv [ ]) { int v []={1,3,5,7,9,-1}; print_vector(v); swap(v,2); print_vector(v); } void swap ( int v [], int k ) { int temp ; temp = v[k]; v[k] = v[k+1]; v[k+1] = temp; } void print_vector ( int v []) { int i ; for (i=0 ; v[i]>0 ; i++) printf(" \t%d ",v[i]); printf(" \n "); } Motaz K. Saad, Dept. of CS
- 10. swap: # vars= 8, regs= 2/0, args= 0, extra= 8 .frame $fp,24,$31 .mask 0x50000000,-4 .fmask 0x00000000,0 .set noreorder .cpload $25 .set reorder subu $sp,$sp,24 .cprestore 0 sw $fp,20($sp) sw $28,16($sp) move $fp,$sp sw $4,24($fp) sw $5,28($fp) lw $2,28($fp) move $3,$2 sll $2,$3,2 lw $3,24($fp) addu $2,$2,$3 lw $3,0($2) sw $3,8($fp) lw $2,28($fp) move $3,$2 sll $2,$3,2 lw $3,24($fp) addu $2,$2,$3 lw $3,28($fp) move $4,$3 sll $3,$4,2 lw $4,24($fp) addu $3,$3,$4 addu $4,$3,4 # page 1 $ gcc -S swap.c [on a MIPS R12K machine] lw $3,0($4) sw $3,0($2) lw $2,28($fp) move $3,$2 sll $2,$3,2 lw $3,24($fp) addu $2,$2,$3 addu $3,$2,4 lw $2,8($fp) sw $2,0($3) # page 2 Motaz K. Saad, Dept. of CS
- 11. swap: # vars= 0, regs= 0/0, args= 0, extra= 0 .frame $sp,0,$31 .mask 0x00000000,0 .fmask 0x00000000,0 .set noreorder .cpload $25 .set reorder sll $5,$5,2 addu $5,$5,$4 lw $2,4($5) lw $3,0($5) sw $2,0($5) .set noreorder .set nomacro j $31 sw $3,4($5) .set macro .set reorder .end swap .rdata .align 2 $ gcc -O3 -S swap.c [on a MIPS R12K machine] Motaz K. Saad, Dept. of CS
- 12. swap: pushl %ebp movl %esp, %ebp subl $4, %esp movl 12(%ebp), %eax imull $4, %eax, %edx movl 8(%ebp), %eax movl (%eax,%edx), %eax movl %eax, -4(%ebp) movl 12(%ebp), %eax imull $4, %eax, %ecx movl 8(%ebp), %edx movl 12(%ebp), %eax imull $4, %eax, %eax addl 8(%ebp), %eax addl $4, %eax movl (%eax), %eax movl %eax, (%edx,%ecx) movl 12(%ebp), %eax imull $4, %eax, %eax addl 8(%ebp), %eax leal 4(%eax), %edx movl -4(%ebp), %eax movl %eax, (%edx) leave ret $ gcc -S swap.c [on a Pentium III machine] swap: pushl %ebp movl %esp, %ebp movl 8(%ebp), %edx pushl %ebx movl 12(%ebp), %eax movl (%edx,%eax,4), %ebx movl 4(%edx,%eax,4), %ecx movl %ecx, (%edx,%eax,4) movl %ebx, 4(%edx,%eax,4) movl (%esp), %ebx leave ret $ gcc -O3 -S swap.c [on a Pentium III machine] Motaz K. Saad, Dept. of CS
- 13. swap: .prologue 2, 2 .vframe r2 mov r2 = r12 ;; .body st8 [r2] = r32 mov r14 = r2 ;; adds r14 = 8, r2 ;; st4 [r14] = r33 mov r14 = r2 adds r16 = 12, r2 ;; mov r14 = r2 ;; adds r14 = 8, r2 ;; ld4 r14 = [r14] ;; sxt4 r15 = r14 addl r14 = 4, r0 ;; setf.sig f6 = r15 setf.sig f7 = r14 ;; xma.l f6 = f6, f7, f0 ;; getf.sig r15 = f6 ld8 r14 = [r2] ;; add r14 = r15, r14 ;; ld4 r14 = [r14] ;; st4 [r16] = r14 mov r14 = r2 ;; adds r14 = 8, r2 ;; ld4 r14 = [r14] ;; sxt4 r15 = r14 addl r14 = 4, r0 ;; setf.sig f6 = r15 setf.sig f7 = r14 ;; xma.l f6 = f6, f7, f0 ;; getf.sig r15 = f6 ld8 r14 = [r2] ;; add r16 = r15, r14 mov r14 = r2 ;; #page 1 adds r14 = 8, r2 ;; $ gcc -S swap.c [on an Itanium I machine] ld4 r14 = [r14] ;; sxt4 r15 = r14 addl r14 = 4, r0 ;; setf.sig f6 = r15 setf.sig f7 = r14 ;; xma.l f6 = f6, f7, f0 ;; getf.sig r15 = f6 ld8 r14 = [r2] ;; add r14 = r15, r14 ;; adds r14 = 4, r14 ;; ld4 r14 = [r14] ;; st4 [r16] = r14 mov r14 = r2 ;; adds r14 = 8, r2 ;; ld4 r14 = [r14] ;; sxt4 r15 = r14 addl r14 = 4, r0 ;; setf.sig f6 = r15 setf.sig f7 = r14 ;; xma.l f6 = f6, f7, f0 ;; getf.sig r15 = f6 ld8 r14 = [r2] ;; add r14 = r15, r14 ;; adds r15 = 4, r14 mov r14 = r2 ;; adds r14 = 12, r2 ;; ld4 r14 = [r14] ;; st4 [r15] = r14 .restore sp mov r12 = r2 br.ret.sptk.many b0 .endp swap# .section .rodata .align 8 # page 2 Motaz K. Saad, Dept. of CS
- 14. Converting Source into Executable Files Motaz K. Saad, Dept. of CS
- 15. A More Complete Story Source file Motaz K. Saad, Dept. of CS Compiler Assembler file Object file Assembler Linker Source file Compiler Assembler file Object file Assembler Source file Compiler Assembler file Object file Assembler Program library Program library Executable file
- 16. Converting Source into Executable Files Motaz K. Saad, Dept. of CS
- 17. The Linker Motaz K. Saad, Dept. of CS
- 18. Anatomy of an Object File Motaz K. Saad, Dept. of CS Size and position of other pieces. Machine Code Binary Data Representation. References that must change if the program is moved in memory. Associate addresses with external label. Unresolved references. Compilation information to allow mapping of addresses to source code.
- 19. When to use Assembly Language? When you don’t have the tools to program in higher level: New embedded processors Compilers that check deadlines for real time system do not exist yet When the tools fail: Compilers still generate sub-optimal code When you are building the tools: Compiler designer/builders must know assembly well Motaz K. Saad, Dept. of CS
- 20. Comparing Assembly Language to High-Level Languages Motaz K. Saad, Dept. of CS
- 21. Specific Machine Levels Motaz K. Saad, Dept. of CS