Вопрос по выравниванию стэка -> "andl $-16, %esp"

[pompiduskus]

есть программа

_main:
        pushl   %ebp            # 0xbffff418
        movl    %esp, %ebp      # 0xbffff418

        subl    $8, %esp        # 0xbffff410
        andl    $-16, %esp      # 0xbffff3f0

Но если отнять от 0xbffff418 - 8 выходит 0xbffff412
то почему %esp равен 0xbffff410



Тоже самое и с 0xbffff3f0 - 16 = 0xBFFFF3FA

Но он

0xbffff3f0

[pompiduskus]

Что то я напутал наверное

[p51x]

Но если отнять от 0xbffff418 - 8 выходит 0xbffff412
то почему %esp равен 0xbffff410

Ну как из 8 - 8 у вас получилось 2, а не 0?

Тоже самое и с 0xbffff3f0 - 16 = 0xBFFFF3FA

Где вы это нашли? Вы не знаете команду И?

[pompiduskus]

Да это я перепутал. Сам заметил потом уже.

[R71MT]

Сообщение от pompiduskus

Но если отнять от 0xbffff418 - 8 выходит 0xbffff412

..там может валяться адрес возврата

[pompiduskus]

Если "%ebp -> 0xbffff418" то адрес возврата разве не 0xbffff414

получается.

 4(%ebp) # return 0; ?
  (%ebp)  # Если это == 0xbffff418 то 4(%ebp) == 0xbffff414 ??
-4(%ebp)

Адрес %eax == return 0; Же не меняется если я передаю в функцию параметры ?
Или меняется ?

Как я понял схема всега вот такая ?

+---------------+
|  12(%ebp)     | ...
+---------------+
|   8(%ebp)     | == аргументы  передаваемые в функ.
+---------------+
|   4(%ebp)     | == return arddess 
+---------------+
|    (%ebp)     | <= %ebp
+---------------+
|  -4(%ebp)     | переменые локальные, если такие есть
+---------------+
|  -8(%ebp)     | ...
+---------------+
| -12(%ebp)     | ...
+---------------+