直接跳转到另一个C++函数

我正在将一个小型的学术操作系统从三叉戟移植到手臂皮质(拇指-2指令集)。为了让调度程序工作,有时我需要直接跳转到另一个函数,而不需要修改堆栈或链接寄存器。

在tricore上(或者更确切地说,在tricore-g++上),这个包装模板(对于任何三个参数函数)工作:

template< class A1, class A2, class A3 > 
inline void __attribute__((always_inline)) 
JUMP3( void (*func)( A1, A2, A3), A1 a1, A2 a2, A3 a3 ) {
    typedef void (* __attribute__((interrupt_handler)) Jump3)( A1, A2, A3);
    ( (Jump3)func )( a1, a2, a3 );
}

//example for using the template:
JUMP3( superDispatch, this, me, next );

这将生成汇编程序指令 J (A.K.A.跳跃)而不是 CALL 当跳转到(否则正常)C++函数时,堆栈和CSA保持不变。 superDispatch(SchedulerImplementation* obj, Task::Id from, Task::Id to) .

现在,我需要在arm cortex(或者,更确切地说,对于arm-none-linux-gnueabi-g++)上有一个等价的行为,即生成一个 B (A.K.A.分支)指令,而不是 BLX (A.K.A.Link and Exchange分支机构)。但是没有 interrupt_handler arm-g++的属性,我找不到任何等效的属性。

所以我想求助于 asm volatile 直接编写asm代码:

template< class A1, class A2, class A3 > 
inline void __attribute__((always_inline)) 
JUMP3( void (*func)( A1, A2, A3), A1 a1, A2 a2, A3 a3 ) {
    asm volatile (
                  "mov.w r0, %1;"
                  "mov.w r1, %2;"
                  "mov.w r2, %3;"
                  "b %0;"
                            :
                            : "r"(func), "r"(a1), "r"(a2), "r"(a3)
                            : "r0", "r1", "r2"
                  );
}

至少在我的理论中,到目前为止,一切都很好。Thumb-2要求在寄存器中传递函数参数,在本例中是r0..r2,因此它应该可以工作。

但后来链接器死了

undefined reference to `r6'

在asm语句的右括号上…我不知道该怎么办。好,我不是C++专家,ASM语法不是很简单…有人给我提示吗?正确的提示 __attribute__ 对于ARM-G++来说,修复ASM代码的提示是另一种方法。另一种方法可能是告诉编译器 a1..a3 应该已经在寄存器中了 r0..r2 当输入asm语句时(我仔细研究了一下,但没有发现任何提示)。