mk
open fun <T : KFpSort> mkFpFusedMulAddExprNoSimplify(roundingMode: KExpr<KFpRoundingModeSort>, arg0: KExpr<T>, arg1: KExpr<T>, arg2: KExpr<T>): KFpFusedMulAddExpr<T>
Create Fp fused multiplication and addition (fp.fma) expression. Computes (arg0 * arg1) + arg2. The result is rounded according to the provided roundingMode.