Есть ли у вас вопросы?

сравнения?

В чем отличие логических операций от битовых?

Какие вы помните логические

операции?

А битовые?

Чем опасны сдвиги в С?

С

Функции в ассемблере

Еще о командах перехода

известен при компиляции; там хранятся глобальные и статические (static) переменные,

там могу хранится константы.

Куча – область, из которой выделяется динамическая память (malloc() в С, new в С++ ). Ее максимальный размер задается как-то (например, программист просто выбирает число).

Стек – его размер меняется при работе программы. Максимальный размер задается как-то.

Плохие ситуации: выход за границы стека, выход за границы кучи, встреча кучи и стека.

объявление?
Это «обещание», что где-то написано тело функции.
Пример: char foo(int a);

Где должно располагаться объявление?
До вызова. Т.е. выше по тексту.
В заголовочном файле (.h), если это глобальная функция.
В том же файле .с, если это функция static.

Объявление может быть совмещено с телом функции.

Ошибки линкера «undefined symbol имяФункции» означают, что есть объявление, но нет тела.

тип возвращаемого значения

foo – имя функции

int a – тип и

имя параметра (аргумента)
аргументов может быть много, они разделяются запятой
аргументов может быть переменное количество

; - обязательный элемент синтаксиса, если дальше нет тела функции

сам код функции, который будет выполняться при вызове.

char foo(int a)
{

...
}

//определение должно быть до вызова

char result = foo(2);
2 –

параметр, передаваемый в функцию
result – переменная, в которую запишется возвращаемое значение

foo(2);

После этой строки управление «мистическим» образом передается на первую

строку тела функции, причем параметр a будет равным 2.

Параметры функции внутри нее – просто локальные переменные.

а функции – могут возвращать (но не обязательно).

с сохранением адреса возврата в регистре R14 (Link Register, LR).

Адрес

возврата – адрес следующей команды после BL.

А по какому адресу нужно перейти, чтобы попасть в функцию?
По адресу первой инструкции в ее теле.

передать управление
Как-то вернуться к месту вызова
Как-то вернуть значение

При этом:
Внутри функции

тоже могут вызвать функцию
Может быть даже ту же самую (рекурсия)
Ничего не должно сломаться!

регистры.
Код в функции тоже использует регистры.

int a = 1 +

sin(3.14);
MOV r0, 1 ; собираюсь складывать 1 и синус
(вызов sin) ; вызываю sin
.. а если функция sin тоже использовала r0?

Что же делать?

при вызове функций. Что делать?

Содержимое регистров нужно куда-то сохранять до

вызова и восстанавливать после.

Куда сохранять?

область памяти (архитектура 8051)
Аппаратно в теневые регистры
В стек

Число регистров неизменно

– всегда известно, сколько памяти нужно для сохранения.

для текущей функции (но это регистр)
Локальные переменные текущей функции?

Кстати, а

где хранятся локальные переменные?

Локальные переменные хранятся:
В регистрах
В специальной статической области памяти
В стеке

Поэтому их не надо сохранять, но нужно не задеть случайно.

равно сохраняем)
В специальной статической области памяти
В куче
В стеке

А как возвращать

значение?
См. выше

указатель стека)
или через еще какой-нибудь регистр

Т.е. к стеку можно обращаться

через косвенно-регистровую адресацию.
Словно это обычный массив.
Собственно, в ARM стек и есть массив.

r0-lr
2.2: push 50
2.3: BL bar;
3: a++;
4: return a;
}
Упрощенный вид:

push 77
1.3: BL buzz;
3: return 0;
}
Упрощенный вид:

восстанавливает контекст?

Все это называется «соглашение о вызове».

Соглашение о вызове может

быть разным в зависимости от процессора, ОС, языка, желания левой пятки (fastcall, stdcall...)

(очень упрощенно):

До четырех параметров передаются на регистрах (r0-r3); остальные через

стек

Контекст сохраняет тот, кого вызвали

Восстанавливает контекст тот, кого вызвали

Возвращаемое значение передается через r0 (r0 и r1 для long long и double)

Т.е. слайды 18-19 были только для примера!

регистрах или в стеке

Доступ к переменным в стеке осуществляется через

косвенно-регистровую адресацию (например, через SP)

Перед вызовом функции нужно сохранить контекст, после вызова – восстановить

Возвращаемое значение передается через регистр r0 (и r1)

процесс.
Разные стадии часто не связаны.

Если их выполнять параллельно, можно получить

прирост производительности!

срывают конвеер и вызывают простой

Долгие команды вызывают простой

исполнение
И команда NOP

Срывы из-за переходов:
Размотка циклов
Условное выполнение вместо условных переходов
Inlining

функций вместо перехода
Предсказание переходов

И еще много всего

конвейера

Кэш-промах

Накладные расходы на передачу параметров, переключение контекста и возврат

глобальные переменные вместо параметров
бездумно использовать макросы
вообще не использовать функции

Что следует

делать:
думать до того, как писать код
написать и отладить, потом оптимизировать
включить оптимизацию в компиляторе
аккуратно использовать inline и макросы

не меняет глобальное состояние.
Ее результат постоянен.

Например: синус, косинус и т.д.

Чистые

функции это хорошо!

одновременно вызывают несколько потоков.

Чистые функции реентерабельны.