Searched refs:mk_bwand (Results 1 - 3 of 3) sorted by path
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | logic.py | 14 (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand, mk_eq,
128 return mk_eq (mk_bwand (w, mask), mk_num (0, w.typ))
438 return mk_bwand (expr, mk_num (((1 << n) - 1), expr.typ))
608 align_req = [mk_eq (mk_bwand (p, mk_word32 (align - 1)), w0)]
|
| H A D | pseudo_compile.py | 16 (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand, mk_eq,
|
| H A D | syntax.py | 1342 def mk_bwand (x, y): function
1485 mks = (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand,
|
Completed in 78 milliseconds