Searched refs:bvconst_shift_left1 (Results 1 – 1 of 1) sorted by relevance
879 static void bvconst_shift_left1(uint32_t *bv, uint32_t k, uint32_t d, uint32_t r) { in bvconst_shift_left1() function933 bvconst_shift_left1(bv, k, d, r); in bvconst_shift_left()