Searched refs:exp_rotate (Results 1 – 2 of 2) sorted by relevance
1177 exp_rotate (Btor *btor, BtorNode *e0, BtorNode *e1, bool left) in exp_rotate() function1237 return exp_rotate (btor, e0, e1, true); in btor_exp_bv_rol()1243 return exp_rotate (btor, e0, e1, false); in btor_exp_bv_ror()
522 | exp_rotate628 exp_rotate: TOK_ROTATE VAL_INTEGER EOS