Хорошо в EWAVR_CompilerReference.pdf



Намекаете на то что при возврате 1 сегмент инициализируется 0 по выходе из функции?
А как же работает ASM вариант, который тоже возвращает 1 по той же ссылке?

И раз уж пошел конструктивный диалог, давайте предположим что может дело в том что в С варианте затирается весь RSTACK
а в ASM (SIZEOF RSTACK)-10)
Может в этом дело?

Или не затирается, зависит от того в какой секции линкеру указано размещать стеки.

Есественно, что из сишной (как и любой другой) функции которую ВЫЗВАЛИ и даже не первой в цепочке, полностью затирать стек ВОЗВРАТОВ нельзя. Затирать стек, инициализируя полностью можно только в стартапе, о чем сразу и писал. Чем вызвано Ваше такое дикое нежелание дописать несколько строк на ASM в стартапе?

Осторожнее надо быть с RSTACKом, потому что такой код его может подпортить:



когда стартовый код вызывает __low_level_init, он заносит адрес возрата в RSTACK.
отступите от __segment_end("RSTACK") на величину адреса возврата.

И второе,

использование локальных переменных может быть проблематичным и скорее всего будет.
Наверняка при создании этой переменной компилятор задействует CSTACK

Сообщение отредактировал aiwa - Apr 19 2016, 08:40

В старапе код эквивалентен такому:

Т.е. если _low_level_init вернула 0, то это означает, что программист желает, чтобы IAR произвел инициализацию сегментов,
в противном случае программист берет эти процедуры на себя.

Сообщение отредактировал aiwa - Apr 19 2016, 11:46

C точностью до наоборот

Да, наоборот. Подправлю.

Кстати, нетрадиционное решение ИАРовцы приняли.
Логичней было бы пропускать инициализацию при возрате нуля.

Сообщение отредактировал aiwa - Apr 19 2016, 11:55

Так и сделано

Насколько я понимаю он при инициализации сегментов не трогает стеки, а только загружает в DATA переменные?

Что-то у меня с утра не заладилось. Я имел в виду возврат ненулевого значения означает знак ИАРу, что инициализация сегементов уже выполнена,
а возврат 0 - выполнение инициализации ИАРом. Наподобие стандартной процедуры callback-функций, когда при возврате 0 производится стандартная
процедура по умолчанию.



Порядок следующий:
1. в SP заносится значение конца RSTACKа,
2. в Y заносится значение конца СSTACKа,
если разрешена внешняя память, то соответствующая аппаратная инициализация.
Далее вызывается _low_level_init.
Если она вернула ненулевое значение, то вызывается процедура инициализации сегментов _segment_init (Эта процедура уже написана на С.)
И потом вызывается процедура построения статистических объектов классов.

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

Заинтересовало, по быстрому написал первоначальный вариант, но не проверял.


Небольшие комментарии:
1. переменная а служит лишь меткой, для того чтобы компилятор занес в пару регистров начало RSTACKа
По хорошему нужно брать значение из переменной SP, которая уже отступила от вершины стека на 1 адрес.
2. переменная count описана как register чтобы надеяться, что компилятор не трогал софт-стек.
3. определение point_to_lowlevelinit введено лишь для получения размера адреса возврата который уже занесен
в стек - нужно отнять от это количество от count чтобы не затереть этот адрес.
Здесь в документации лучше бы найти более подходящий способ, наверняка должны быть какие-то системные константы.

Для заполнения софт-стека действуем аналогично.
Еще бы нужно добавить через pragma отключение оптимизации для этой функции.

Сообщение отредактировал aiwa - Apr 20 2016, 00:37

Посмотрел с утра - код работать не будет. Не учел, что переменные ИАР располагает в сегментах от конца к началу, и что адресация флеш-памяти вдвое больше.

Этот код прошел в отладчике:

Для частных случаев работоспособен.

P.S. оказалось, что первоначальный вариант тоже работал, сбило то , под сегмент стека ИАР выделил "страницу" памяти и сам стек занимал в нем лишь половину. В том примере нужно лишь добавть инициализацию a[0]='R';

Сообщение отредактировал aiwa - Apr 20 2016, 10:09

Спасибо, круто!

А вот интересно
register char* point=(char*)SP;
SP указывает на ПУСТУЮ ячейку или на ячейку с предыдущими данными?
Иными словами при PUSH сначала копируется данные, а потом инкрементируется SP или наоборот?

Сообщение отредактировал IgorKossak - Apr 20 2016, 17:21

Все четыре варианта на выбор F(full)D(descending)/FA(ascending)/E(empty)D/EA если ARM
У AVR на вскидку не помню, но скорее на Empty указывает.

На пустую. Иначе бы затирался адрес возврата.