Home
last modified time | relevance | path

Searched defs:btor (Results 1 – 1 of 1) sorted by relevance

/third_party/ltp/tools/sparse/sparse-src/
Dscheck.c42 static BoolectorSort get_sort(Btor *btor, struct symbol *type, struct position pos) in get_sort()
51 static BoolectorNode *mkvar(Btor *btor, BoolectorSort s, pseudo_t pseudo) in mkvar()
74 static BoolectorNode *get_arg(Btor *btor, struct instruction *insn, int idx) in get_arg()
83 static BoolectorNode *zext(Btor *btor, struct instruction *insn, BoolectorNode *s) in zext()
90 static BoolectorNode *sext(Btor *btor, struct instruction *insn, BoolectorNode *s) in sext()
97 static BoolectorNode *slice(Btor *btor, struct instruction *insn, BoolectorNode *s) in slice()
104 static void binary(Btor *btor, BoolectorSort s, struct instruction *insn) in binary()
143 static void binop(Btor *btor, struct instruction *insn) in binop()
149 static void icmp(Btor *btor, struct instruction *insn) in icmp()
155 static void unop(Btor *btor, struct instruction *insn) in unop()
[all …]