Здравствуйте. Обнаружил в своем проекте ошибку, и никак не могу понять, в чем причина.
Сначала опишу то, где это возникает:
Я делаю простейший переключатель задач, используя Keil Uvision и процессор STM32. Диспетчер срабатывает от прерывания таймера и в зависимости от статуса и значения «количества шагов» либо выходит из прерывания на нужную задачу, либо переключается на следующую. Реализовано это таким образом:
1. Массив указателей на задачи.



Где ddd – указатель на задачу, вида:



Первое число это статус, второе количество шагов, также есть указатели на метки задачи и метку стэка задачи.
В стэк, для того чтобы из прерывания корректно выходило в задачу, изначально дописываю такие числа:



Структура полностью повторяет то, что делает Cortex-M3 при срабатывании прерывания (0 поставил на месте регистров R1-R4,R12 так как их состояние при первом запуске неважно)
При входе в прерывание диспетчер вызывается так



Вызов задачи делаю так:


Тем самым после BX LR идет выход из диспетчера на команду POP {pc} и срабатывает выход из прерывания на задачу по метке записанной в стэке.
Смену указателей на задачу делаю прибавлением 4 битов к текущему адресу и записью в TaskTableStart. Тем самым перед следующим срабатыванием диспетчера указатель заменяется.
Задачи task1, task2, task3, task4 абсолютно идентичны (отличаются только метками) .
И вот тут возникает проблема со стэками этих задач.
При первом срабатывании диспетчер подгружает указатель и стэк для первой задачи и запускает ее, выходя из прерывания и потом вновь приходит на прерывание. Вид стэка задачи при первом заходе на прерывание и втором (после выполнения команды PUSH {LR} приведены на рисунках.





Как видно все отработало нормально и число 0xfffffff9 осталось на месте.
Однако при переключении на вторую задачу и выполнение тех же самых действий получается вот так:





Причем если выбрать адрес за 4 бита до метки до число 0xfffffff9, используемое для выхода из прерывания окажется там.



Однако так как я вызываю стэк по метке при выполнении команды POP {pc} туда грузится там самая 0x00000001 и уводит в ошибку.
Причем самое интересное, если поменять порядок указателей например на



То сработает первая задача, переключится на третью, третья переключится на вторую и та опять выдаст ошибку. Понять такую ненависть программы к двойке я не могу, потому спрашиваю здесь.

Почему в случае с первой задачей стэк по метке оказался без изменений, а во втором случилась такая беда?