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 D | bvec.h | 99 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 D | bvec.c | 751 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 D | bdd.h | 534 friend bvec bvec_shlfixed(const bvec &e, int pos, const bdd &c);
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
H A D | muddy.c | 987 return mlbdd_make_bvec(bvec_shlfixed(BVEC_val(s1), Int_val(c), Bdd_val(b)));
|
Completed in 96 milliseconds