Переменные

[Pein95]

main()
{
   int k = 1;
}

Что делает этот код?
Я знаю, что переменной k присваивается 1, но на более низком уровне что происходит?

main()
{
1;
}

И что происходит здесь?

[BDA]

Насколько низкий уровень-то нужен?
Если посмотреть дизассемблированный код, то в первом случае будет положена единица на стек, а во втором не произойдет ничего (будто была скомпилирована программа ниже).

main()
{
}

Код смотрел после компилятора GCC (gcc -S helloworld.c).

[Pein95]

x = y;
результатом єтого будет lvalue так?
ну примерно такой уровень и нужен.
Спасибо за второе задание)

[BDA]

В таком коде:

main()
{
   int x, y;
   y = 1;
   x = y;
}

Резервируется место на стеке (как и в первом коде), кладется единица на стек, загружается со стека в регистр eax, из регистра eax кладется на стек.

[Malriser]

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

в первом случае будет положена единица на стек

Как бы на самом деле, то по адресу переменной будет занесена единичка. Адрес переменной находится в секции .data.

Пример:

mov dword ptr DS:[0040356AC], 1

где 0040356AC адрес переменной.

Стек то тут не причем.

Стек будет при том, если у нас будет такой код:

int main()
  {
    int i = 1;
    func(i);
  }

Тогда тут у нас будет выглядить код вот так примерно:

push dword ptr DS:[0040356AC]
call [004035643]

Ну, как пример.

Только вот minGw генерирует немного другой код:

mov [esp*4], dword ptr DS:[0040356AC]
call [004035643]

Ну, как пример

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

кладется единица на стек, загружается со стека в регистр eax, из регистра eax кладется на стек.

Так, что ли?

push 1
pop eax
push eax

А смысл этих действий?! О_о

Не проще ли

mov eax, 1
push eax

[Pein95]

спасибо за ответ)

[Malriser]

Вот что мне на ваш код сгенерировал MingW.




1) Переменная еще не инициализирована, видим что в ней в итоге будет мусор. ( поэтому переменные и надо инициализировать )
2) Инициализируем переменную занося туда единичку.

ebp+var_4 - в итоге будет смещение от текущего значения ebp на значение из var_4

[BDA]

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

Сейчас блевану

Не надо. Лучше объясните.
Обещаю, что не буду спорить, если неправ.

main()
{
   int x, y;
   x = y;
}

Вот что выдал GCC:

	.file	"test.c"
	.def	___main;	.scl	2;	.type	32;	.endef
	.text
.globl _main
	.def	_main;	.scl	2;	.type	32;	.endef
_main:
	pushl	%ebp
	movl	%esp, %ebp
	subl	$24, %esp
	andl	$-16, %esp
	movl	$0, %eax
	addl	$15, %eax
	addl	$15, %eax
	shrl	$4, %eax
	sall	$4, %eax
	movl	%eax, -12(%ebp)
	movl	-12(%ebp), %eax
	call	__alloca
	call	___main
	movl	-8(%ebp), %eax
	movl	%eax, -4(%ebp)
	leave
	ret

Код, находящийся в main (который нас интересует, а не пролог и эпилог):

	movl	-8(%ebp), %eax
	movl	%eax, -4(%ebp)

Разве эти команды не со стеком работают?

[Malriser]

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

Не надо. Лучше объясните.
Обещаю, что не буду спорить, если неправ.

main()
{
   int x, y;
   x = y;
}

Вот что выдал GCC:

	.file	"test.c"
	.def	___main;	.scl	2;	.type	32;	.endef
	.text
.globl _main
	.def	_main;	.scl	2;	.type	32;	.endef
_main:
	pushl	%ebp
	movl	%esp, %ebp
	subl	$24, %esp
	andl	$-16, %esp
	movl	$0, %eax
	addl	$15, %eax
	addl	$15, %eax
	shrl	$4, %eax
	sall	$4, %eax
	movl	%eax, -12(%ebp)
	movl	-12(%ebp), %eax
	call	__alloca
	call	___main
	movl	-8(%ebp), %eax
	movl	%eax, -4(%ebp)
	leave
	ret

Код, находящийся в main (который нас интересует, а не пролог и эпилог):

	movl	-8(%ebp), %eax
	movl	%eax, -4(%ebp)

Разве эти команды не со стеком работают?

Я конечно AT&T синтаксис не знаю, знаю интеловский.

Но movl -8(%ebp), %eax напоминает смещение на 8 байт относительно значение ebp.

Сейчас скомпилирую и дизассемблирую в интеловский синтаксис, тогда расскажу.

mov     eax, [ebp+var_8]
mov     [ebp+var_4], eax

интеловский. Смотрите мой предыдущий пост ( где скриншоты есть ). Я там говорил про смещение.

Картинка из инета:



Тут мы видим, что в ebp находится адрес начала секции где находятся локальные переменные, а в вашем коде цифра 8 это смещение на количество байт до адреса локальной переменной.


Поэтому, нет, не со стеком, а с локальными переменными непосредственно работа идет.

P.S. Глобальные в секции .data

P.P.S. Но я тоже могу ошибаться

P.P.P.S. А быть может мы говорим об одних вещах, но разными языками

[BDA]

Да, наверное, об одних. А где хранятся локальные переменные? Мы не работаем со стеком в привычном понимании (push, pop). Но локальные лежат на нем? Ну то есть вот взяли ebp, который указывает на начало текущего фрейма (на сохраненный ebp). Прибавили к значению отрицательное число. И теперь имеем адрес локальной переменной, расположенной на стеке?

UPD
Из вики (http://en.wikibooks.org/wiki/X86_Assembly/GAS_Syntax):

movl    -4(%ebp), %eax           # Typical example: load a stack variable into eax