Symbol: insert_select
usr/src/tools/smatch/src/linearize.h
308
extern void insert_select(struct basic_block *bb, struct instruction *br, struct instruction *phi, pseudo_t if_true, pseudo_t if_false);
usr/src/tools/smatch/src/simplify.c
170
insert_select(source, br, insn, p1, p2);