Trying to understand gcc’s complicated stack-alignment at the top of main that copies the return address

by

I’ve had a go at it:

;# As you have already noticed, the compiler wants to align the stack
;# pointer on a 16 byte boundary before it pushes anything. That's
;# because certain instructions' memory access needs to be aligned
;# that way.
;# So in order to first save the original offset of esp (+4), it
;# executes the first instruction:
lea    ecx,[esp+0x4]

;# Now alignment can happen. Without the previous insn the next one
;# would have made the original esp unrecoverable:
and    esp,0xfffffff0

;# Next it pushes the return addresss and creates a stack frame. I
;# assume it now wants to make the stack look like a normal
;# subroutine call:
push   DWORD PTR [ecx-0x4]
push   ebp
mov    ebp,esp

;# Remember that ecx is still the only value that can restore the
;# original esp. Since ecx may be garbled by any subroutine calls,
;# it has to save it somewhere:
push   ecx

More Related Contents:

  1. Responsibility of stack alignment in 32-bit x86 assembly
  2. Assembling 32-bit binaries on a 64-bit system (GNU toolchain)
  3. How to invoke a system call via syscall or sysenter in inline assembly?
  4. Nasm segmentation fault on RET in _start
  5. How to print a number in assembly NASM?
  6. How are the fs/gs registers used in Linux AMD64?
  7. What is better “int 0x80” or “syscall” in 32-bit code on Linux?
  8. Calling printf in x86_64 using GNU assembler
  9. Hello, world in assembly language with Linux system calls?
  10. Minimal executable size now 10x larger after linking than 2 years ago, for tiny programs?
  11. Assembly compiled executable using INT 0x80 on Ubuntu on Windows Subsystem for Linux doesn’t produce output
  12. How do I disassemble raw 16-bit x86 machine code?
  13. How to print a character in Linux x86 NASM?
  14. Using gdb to single-step assembly code outside specified executable causes error “cannot find bounds of current function”
  15. Why can’t I mmap(MAP_FIXED) the highest virtual page in a 32-bit Linux process on a 64-bit kernel?
  16. Number of executed Instructions different for Hello World program Nasm Assembly and C
  17. Assembly segmentation fault after making a system call, at the end of my code
  18. How to calculate time for an asm delay loop on x86 linux?
  19. Is there a way to get gcc to output raw binary?
  20. What is the default register state when program launches (asm, linux)?
  21. calling assembly function from c
  22. get string length in inline GNU Assembler
  23. Running 32 bit assembly code on a 64 bit Linux & 64 bit Processor : Explain the anomaly
  24. /usr/bin/ld: skipping incompatible foo.so when searching for foo
  25. How to convert Linux 32-bit gcc inline assembly to 64-bit code? [closed]
  26. Write system call won’t print characters from a register
  27. Difference in performance between MSVC and GCC for highly optimized matrix multplication code
  28. How to set gcc or clang to use Intel syntax permanently for inline asm() statements?
  29. Where are include files stored – Ubuntu Linux, GCC
  30. What is global _start in assembly language?

Leave a Comment