最近在做LiteOS系统的移植，需要将任务地址（函数地址）赋值给任务堆栈，但是在过程中发现，被赋值的变量会比实际的函数地址多1。比如有函数地址为0x080033D8，将其赋值给变量a后，则变量a的结果会变成0x080033D9，并且将a和该函数地址做比较结果也是相等的。
目前使用的芯片是
STM32F103R8Tx，据我了解，STM32系列芯片仅支持thumb state，即xPSR的T标志必须保持为1，否则会进入故障。而常用的BX指令会导致T标志清零，但如果BX REG指令中目标地址的LSB（最低有效位）为1则不会清零T标志位。看现象，好像CPU具有根据当前的thumb state模式自动将地址的最低有效位设置为1的功能。在freeRTOS系统中，有下面的操作：
*pxTopOfStack = ( ( StackType_t ) pxCode ) portSTART_ADDRESS_MASK; /* PC */
即它特地使用了portSTART_ADDRESS_MASK在任务地址赋值的时候根据用户设置，决定最低位是否清零。
因此个人推断：
ARM会根据T标志，在对PC寄存器的数据操作时，会相应地操作LSB，如果T标志为1则将PC的值复制到目标寄存器后同时将保障结果的LSB为1.
不知道这种推断是否正确，哪位朋友知道相关的权威资料？
