Assembly Language
Syntax
Two main x86 assembly syntax:
- AT&T: Lots of $ and % symbols. Default for most disassembly tools on Linux.
- Intel: Cleaner and easier to read, requires the
-M intelcommand line option toobjdump.
Generating assembly from C
Generating assembly: Use the -S flag in gcc or clang, e.g. gcc -S foo.c produces foo.s.
Comparison expression in C, such as i < 10 (in a for loop), appear to be translated to different assembly by different compilers, and not necessarily what you would expect.
GCC:
cmpl $9, -4(%rbp) jle .L3
'if i <= 9, jump to the beginning of the loop'.
clang:
cmpl $10, -8(%rbp) jge .LBB0_4
'if i >= 10, jump to the code block after the loop'.
Neither compiler compares the integer 10 with the contents of i. Although the approaches taken by the compilers are functionally identical, it is interesting that they have both decided to generate assembly with different logic to the original code, yet in two different ways.
Furthermore, in both cases the compiler does not compile the i++ statement within the for loop to an inc command, contrary to what most C programming books would claim. Possibly the case that the difference between inc and add is non-existent on modern processors, or that the processor itself will automatically treat inc (source) and add $1, (source) as the same.
Registers
16-bit registers: AX, BX, CX, DX, FLAGS
32-bit registers: EAX (Extended AX), EFLAGS etc.
64-bit registers: RAX etc.
Named registers:
- EAX: Accumulator
- EBX: Base
- ECX: Counter
- EDX: Data
- ESP: Stack Pointer
- EBP: Base Pointer
- ESI: Source Index
- EDI: Destination Index
- EIP: Instruction Point
Makefile
Skeleton Makefile to assemble and link a source file into an executable
%: %.o
gcc -o $@ $<
%.o: %.s
as -o $@ $<