Lines Matching defs:s2
926 EXTERNML value mlbvec_add(value s1, value s2) /* ML */
928 return mlbdd_make_bvec(bvec_add(BVEC_val(s1), BVEC_val(s2)));
932 EXTERNML value mlbvec_sub(value s1, value s2) /* ML */
934 return mlbdd_make_bvec(bvec_sub(BVEC_val(s1), BVEC_val(s2)));
944 EXTERNML value mlbvec_mul(value s1, value s2) /* ML */
946 return mlbdd_make_bvec(bvec_mul(BVEC_val(s1), BVEC_val(s2)));
964 EXTERNML value mlbvec_div(value s1, value s2) /* ML */
968 bvec_div(BVEC_val(s1), BVEC_val(s2), &res, &rem);
1003 EXTERNML value mlbvec_lth(value s1, value s2) /* ML */
1005 return mlbdd_make(bvec_lth(BVEC_val(s1), BVEC_val(s2)));
1009 EXTERNML value mlbvec_lte(value s1, value s2) /* ML */
1011 return mlbdd_make(bvec_lte(BVEC_val(s1), BVEC_val(s2)));
1015 EXTERNML value mlbvec_gth(value s1, value s2) /* ML */
1017 return mlbdd_make(bvec_gth(BVEC_val(s1), BVEC_val(s2)));
1021 EXTERNML value mlbvec_gte(value s1, value s2) /* ML */
1023 return mlbdd_make(bvec_gte(BVEC_val(s1), BVEC_val(s2)));
1027 EXTERNML value mlbvec_equ(value s1, value s2) /* ML */
1029 return mlbdd_make(bvec_equ(BVEC_val(s1), BVEC_val(s2)));
1033 EXTERNML value mlbvec_neq(value s1, value s2) /* ML */
1035 return mlbdd_make(bvec_neq(BVEC_val(s1), BVEC_val(s2)));