В принципе, любой компилятор C для любого процессора должен при входе в функцию сохранить в стеке те регистры, которые используются в этой функции. Или переключиться на другой набор регистров.

Надеюсь, Вы понимаете, что это зависит от используемого соглашения о вызовах?

Просто, где это сказано? Где написано, что эти соглашения действуют для gcc с ключами "по умолчанию".
Поиск чертырех букв APCS - абревиатуры названия на сайте gnu ничего не даёт (только как часть имени ключа).

9.3 Calling Convention
In order to keep the binary compatibility with gcc and vc, ucc conforms to the calling convention of these compilers.
(1) When calling a function, the actual parameters will be pushed onto stack from right to left. The caller will pop the parameters.
(2) preserve registers：EBX, ESI and EDI which will be saved by the callee.
scratch registers：EAX, ECX and EDX which will be saved by the caller.
(3) function return value：
if the return value is integer type，EAX holds the return value.
if the return value is floating point type，ST(0) holds the return value.
if the return value is struct/union type in size 1, 2 or 4, EAX holds the return value.
if the return value is struct/union type in size 8, (EAX, EDX) holds the return value.
if the return value is struct/union type in other size, the function’s first parameter is implicit
which is the address of the function return value’s receiver, the function’s return type will be void.

Вот же: Procedure Call Standard for the ARM Architecture.