如何去优化KEIL AC6的__rt_ffs函数编译器呢？

编译环境
KEIL MDK5.38
AC6 V6.19
STM32H750 ART-PI

使用场景
使用到了SD卡,使用了SDIO驱动
编译优化选择-OZ优化下,SD卡初始化失败
编译优化选择-O0优化下,SD卡初始化成功

问题
排查之后,发现在mmcsd_select_voltage函数中__rt_ffs函数执行后有问题.

具体问题代码如下

/*

Mask off any voltages we don't support and select
the lowest voltage
*/
rt_uint32_t mmcsd_select_voltage(struct rt_mmcsd_host *host, rt_uint32_t ocr)
{
int bit;
extern int __rt_ffs(int value);
ocr &= host->valid_ocr;
bit = __rt_ffs(ocr);
if (bit)
{
bit -= 1;
ocr &= 3 << bit;
host->io_cfg.vdd = bit;
mmcsd_set_iocfg(host);
}
AC6编译器的 __rt_ffs 函数代码如下
#elif defined(clang)
int __rt_ffs(int value)
{
asm volatile(
"CMP %1, #0x00 \n"
"BEQ 1f \n"
"RBIT %1, %1 \n"
"CLZ %0, %1 \n"
"ADDS %0, %0, #0x01 \n"
"1: \n"
: "=r"(value)
: "r"(value)
);
return value;
}
单独对rt_ffs函数使用attribute((optnone))不优化 SD卡初始化成功

细节如下

进入__rt_ffs函数前ocr = 0x00300000
进入__rt_ffs函数后ocr = 0x00300000

导致返回ocr为0x00300000,SD卡初始化成功

使用-Oz优化 勾选LTO SD卡初始化失败
细节如下
进入__rt_ffs函数前ocr = 0x00300000

进入__rt_ffs函数后ocr = 0x00C00000

导致返回ocr为0,SD卡初始化失败
__rt_ffs函数汇编代码如下 使用-Oz优化 勾选LTO

rt_ffs函数汇编代码如下 使用attribute__((optnone))不优化

疑惑
为什么会造成这个情况?汇编代码不熟悉,明天学一下,看一下是什么问题.有没有大佬可以先帮忙看一下是什么原因.
我在其他工程中,调度器中使用了__rt_ffs函数,不优化也会造成运行不正常.
是否应该rtt的此段代码就应该默认添加上attribute((optnone))进行不优化呢?