PowerPC ASM：insrdi指令

Question

IBM documentation将该操作定义为“从右立即插入双字”，但并未真正阐明其作用。

我试图了解以下操作的作用：

insrdi r10, r25, 32, 20  #r25 = 0x817

根据我的收集，它从0x817中夺走了r25，并且似乎正在发生某种转变。但是，我不知道数学上发生了什么，需要澄清一下。