Searched refs:btor (Results 1 – 1 of 1) sorted by relevance
| /third_party/ltp/tools/sparse/sparse-src/ |
| D | scheck.c | 42 static BoolectorSort get_sort(Btor *btor, struct symbol *type, struct position pos) in get_sort() argument
48 return boolector_bitvec_sort(btor, type->bit_size); in get_sort()
51 static BoolectorNode *mkvar(Btor *btor, BoolectorSort s, pseudo_t pseudo) in mkvar() argument
62 return boolector_consth(btor, s, buff); in mkvar()
65 n = boolector_var(btor, s, show_pseudo(pseudo)); in mkvar()
74 static BoolectorNode *get_arg(Btor *btor, struct instruction *insn, int idx) in get_arg() argument
78 BoolectorSort s = get_sort(btor, type, insn->pos); in get_arg()
80 return mkvar(btor, s, arg); in get_arg()
83 static BoolectorNode *zext(Btor *btor, struct instruction *insn, BoolectorNode *s) in zext() argument
85 int old = boolector_get_width(btor, s); in zext()
[all …]
|