Searched defs:a_odd (Results 1 – 11 of 11) sorted by relevance
121 Term a_odd = slv.mkTerm(EQUAL, lsb_of_a, slv.mkBitVector(1u, 1u)); in main() local
120 Expr a_odd = em.mkExpr(kind::EQUAL, lsb_of_a, em.mkConst(BitVector(1u, 1u))); in main() local
268 int a_odd = a & 1; in time_t_int_add_ok() local
1606 DVT a_odd; in operator ()() local1628 DVT a_odd; in operator ()() local
6700 int16x4_t a_odd = vreinterpret_s16_u16(vshr_n_u16(a, 8)); in _mm_maddubs_pi16() local