310c310
< {{((Rs1 & 0xFFFFFFFF + val2 & 0xFFFFFFFF) >> 31)}},
---
> {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
319c319
< {{(Rs1 & 0xFFFFFFFF + val2 & 0xFFFFFFFF) >> 31}},
---
> {{(Rs1<31:0> + val2<31:0>)<32:0>}},
330c330
< {{((Rs1 & 0xFFFFFFFF + val2 & 0xFFFFFFFF) >> 31)}},
---
> {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
340c340
< {{((Rs1 & 0xFFFFFFFF + val2 & 0xFFFFFFFF) >> 31)}},
---
> {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
350,351c350
< ((Ccr<3:3>
< ^ Ccr<1:1>) << 32);
---
> ((Ccr<3:3> ^ Ccr<1:1>) << 32);
356c355
< {{((multiplicand & 0xFFFFFFFF + multiplier & 0xFFFFFFFF) >> 31)}},
---
> {{((multiplicand<31:0> + multiplier<31:0>)<32:0>)}},