39,41d38
< srli t1, t1, 11, dataSize=2
< andi t1, t1, 0x7, dataSize=2
< wrval "InstRegIndex(MISCREG_X87_TOP)", t1