Searched defs: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() 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 …]
|