GNUアセンブリについて

Question

すみません。困っていることがあるので、助けてください。
興味があったので、以下のC言語をGCCを使って逆アセンブルしました。

#include <stdio.h>

int main(void)
{
    printf("Hello World");
    return 0;
}

$gcc -S -fno-asynchronous-unwind-tables test.c

その結果以下のようなアセンブリが出ました。

	.file	"test.c"
	.text
	.def	___main;	.scl	2;	.type	32;	.endef
	.section .rdata,"dr"
LC0:
	.ascii "Hello World\0"
	.text
	.globl	_main
	.def	_main;	.scl	2;	.type	32;	.endef
_main:
	pushl	%ebp
	movl	%esp, %ebp
	andl	$-16, %esp
	subl	$16, %esp
	call	___main
	movl	$LC0, (%esp)
	call	_printf
	movl	$0, %eax
	leave
	ret
	.ident	"GCC: (i686-posix-dwarf-rev0, Built by MinGW-W64 project) 8.1.0"
	.def	_printf;	.scl	2;	.type	32;	.endef

この時、

    pushl   %ebp
	movl	%esp, %ebp
	andl	$-16, %esp
	subl	$16, %esp

の部分が何を表しているのか分かりません。pushl %ebpはebpの値をプッシュしていますが、ebpにはこの時、何の値があるのですか？and命令は論理積をとる命令なのにも関わらず、なぜここで使用されているのでしょうか？またsub命令の第1オペランドの値もよく分かりません。32の時もあります。
多少語彙力に乏しい面もありますが、詳しい方、ご教授頂けないでしょうか。
#環境
Windwos64bit
MinGW

Answer 1

pushl %ebpはebpの値をプッシュしていますが、ebpにはこの時、何の値があるのですか？

何があるかは気にしなくて構いません。ルールとして、「関数から戻る際にebpはもとの値と同じでなければならない」ので、きちんと戻せるようにもとの値を確保しています。

and命令は論理積をとる命令なのにも関わらず、なぜここで使用されているのでしょうか？

まさに、ビットごとの論理積を取っています。アライメントといって、キリのいい位置から変数を始めないといけないという都合があるので、andで下位のビットを0クリアしています。

またsub命令の第1オペランドの値もよく分かりません。32の時もあります。

その関数内で使うスタックの量だけespをずらしています。関数内のコードの状況によって、必要な量は違います。

Comments

[akisan55]

なるほど、それぞれのコードが何を表しているかが理解出来ました。
有難うございました。

Answer 2

ebp は、gcc では、フレームポインタとして利用しています。
関数に入ってきたときのスタックの位置を覚えさせて、
引数の位置や変数の位置を、ebpからの相対位置で指定します。

-fomit-frame-pointer
を付けると、ebp のフレームポインタは作らず、
esp からの相対位置でコードを生成するようになります。

Comments

[akisan55]

有難うございます。
gccでのebpレジスタの役割が理解できました。
助かりました。