91,95c91,100
< 75: mulhw({{ int64_t prod = Ra_sq * Rb_sq; Rt = prod >> 32; }});
< 11: mulhwu({{ uint64_t prod = Ra_uq * Rb_uq; Rt = prod >> 32; }});
< 235: mullw({{ int64_t prod = Ra_sq * Rb_sq; Rt = prod; }});
< 747: mullwo({{ int64_t src1 = Ra_sq; int64_t src2 = Rb; int64_t prod = src1 * src2; Rt = prod; }},
< true);
---
> 75: mulhw({{ int64_t prod = Ra_sd * Rb_sd; Rt = prod >> 32; }});
> 11: mulhwu({{ uint64_t prod = Ra_ud * Rb_ud; Rt = prod >> 32; }});
> 235: mullw({{ int64_t prod = Ra_sd * Rb_sd; Rt = prod; }});
> 747: mullwo({{
> int64_t src1 = Ra_sd;
> int64_t src2 = Rb;
> int64_t prod = src1 * src2;
> Rt = prod;
> }},
> true);
562,563c567,568
< Ft_uq = Fb_uq;
< Ft_uq = insertBits(Ft_uq, 63, 0); }});
---
> Ft_ud = Fb_ud;
> Ft_ud = insertBits(Ft_ud, 63, 0); }});
565,566c570,571
< Ft_uq = Fb_uq;
< Ft_uq = insertBits(Ft_uq, 63, 1); }});
---
> Ft_ud = Fb_ud;
> Ft_ud = insertBits(Ft_ud, 63, 1); }});
569,570c574,575
< Ft_uq = Fb_uq;
< Ft_uq = insertBits(Ft_uq, 63, Fa_uq<63:63>);
---
> Ft_ud = Fb_ud;
> Ft_ud = insertBits(Ft_ud, 63, Fa_ud<63:63>);
572c577
< 583: mffs({{ Ft_uq = FPSCR; }});
---
> 583: mffs({{ Ft_ud = FPSCR; }});
578c583
< if (L_FIELD == 1) { FPSCR = Fb_uq; }
---
> if (L_FIELD == 1) { FPSCR = Fb_ud; }
584c589
< bits(Fb_uq, k + 3, k));
---
> bits(Fb_ud, k + 3, k));