Lines Matching refs:mk_minus
14 (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand, mk_eq,
307 (x, i, mk_minus (x, y), mk_minus (x, mk_times (i, y)),
321 (x, i, mk_minus (mk_minus (x, y), z),
322 mk_minus (x, mk_times (i, mk_plus (y, z))),
402 return mk_minus (vals[0], vals[1])
448 return mk_plus (p, mk_minus (sz, mk_word32 (1)))
456 offs1 = mk_minus (p, p2)
458 offs2 = mk_minus (p2, p)
473 offs1 = mk_minus (p, p2)
476 offs2 = mk_minus (p2, p)
546 [c (mk_minus (offs, offs2))