Searched refs:bvec_shlfixed (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbvec.h99 extern BVEC bvec_shlfixed(BVEC e, int pos, BDD c);
166 friend bvec bvec_shlfixed(const bvec &e, int pos, const bdd &c);
182 bvec operator<<(int a) const { return bvec_shlfixed(*this,a,bddfalse); }
247 inline bvec bvec_shlfixed(const bvec &e, int pos, const bdd &c) function
248 { return bvec_shlfixed(e.roots, pos, c.root); }
H A Dbvec.c751 bvec newResult = bvec_shlfixed( *result, 1, isSmaller );
759 newRemainder = bvec_shlfixed(tmp, 1, result->bitvec[divisor.bitnum-1]);
796 bvec tmpremainder = bvec_shlfixed(tmp, 1, e.bitvec[e.bitnum-1]);
797 bvec result = bvec_shlfixed(e, 1, bddfalse);
859 div = bvec_shlfixed(divtmp, left.bitnum, bddfalse);
911 PROTO {* bvec bvec_shlfixed(bvec v, int pos, BDD c) *}
917 bvec bvec_shlfixed(bvec e, int pos, BDD c) function
H A Dbdd.h534 friend bvec bvec_shlfixed(const bvec &e, int pos, const bdd &c);
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c987 return mlbdd_make_bvec(bvec_shlfixed(BVEC_val(s1), Int_val(c), Bdd_val(b)));

Completed in 96 milliseconds