Lines Matching defs:round
4336 fun dfn'SignedMostSignificantMultiply (round,(d,(n,(m,a)))) =
4343 val result = if round then IntInf.+(result,2147483648) else result
4348 fun dfn'SignedMostSignificantMultiplySubtract (round,(d,(n,(m,a)))) =
4354 val result = if round then IntInf.+(result,2147483648) else result
12824 val round =
12830 (round,
12879 val round =
12885 (round,(Rd,(Rn,(Rm,Ra)))))
19300 | (BitsN.B(0x5,_),(_,(false,round))) =>
19303 (round,(Rd,(Rn,(Rm,Ra)))))
19309 | (BitsN.B(0x6,_),(_,(false,round))) =>
19312 (round,(Rd,(Rn,(Rm,Ra)))))
21540 | SignedMostSignificantMultiply(round,(Rd,(Rn,(Rm,Ra)))) =>
21542 val R = BitsN.fromBit round
21554 | SignedMostSignificantMultiplySubtract(round,(Rd,(Rn,(Rm,Ra)))) =>
21556 val R = BitsN.fromBit round
24112 fun p_smmul (c,(round,l)) =
24118 (round,(rd,(rn,(rm,BitsN.B(0xF,4)))))))
24121 fun p_smmla (c,(round,l)) =
24125 Multiply(SignedMostSignificantMultiply(round,(rd,(rn,(rm,ra))))))
24128 fun p_smmls (c,(round,l)) =
24134 (round,(rd,(rn,(rm,ra))))))
26617 | SignedMostSignificantMultiply(round,(d,(n,(m,a)))) =>
26620 if round then "r" else "",s_cond c],
26624 | SignedMostSignificantMultiplySubtract(round,(d,(n,(m,a)))) =>
26625 (String.concat["smmls",if round then "r" else "",s_cond c],