Факт. Речь шла про V003, а значит ядро V2. V3 и V4 не трогаю,
говорю только про V2. В РМ на V2 сказано " V2 series microprocessors, support hardware to automatically save 10 of the shaped Caller Saved registers to the user stack area, and when an exception or interrupt returns, the hardware automatically restores data from the user stack area to the 10 shaped registers". Это пользовательский стек в RAM. Подтверждено на железе.
При включенном HPE в биты MPOP и MPPOP не записываются 1, и пока не случилось прерывание там 0. И не имеет значения включен HPE или нет. Это работает и для HPE и для SPE. Эти биты в паре используются когда Late Arrivals. Когда работает Tail-Сhaining работает только MPOP. А вот в MIE и MPIE перед прерываниями 1, куда без них. Также подтверждено на железе.