66,67c66
< srli t1, t1, 32, dataSize=8
< mov rdx, rdx, t1, dataSize=4
---
> srli rdx, t1, 32, dataSize=8
76,77c75
< srli t1, t1, 32, dataSize=8
< mov rdx, rdx, t1, dataSize=4
---
> srli rdx, t1, 32, dataSize=8