Es probable lo que dices, suena lógico.
Pero quiero aclarar que la pila (o stack, r13) y el contador de programa (PC, r15) no son lo mismo.
Dicho eso y sabiendo que el pc almacena las instrucciones que se van ejecutando, no creo que sea allí donde se guarde el offset al que regresar. Sí podría...