usr/src/tools/smatch/src/example.c

1021

add_pseudo_reg(state, insn->target, src);

usr/src/tools/smatch/src/example.c

1036

add_pseudo_reg(state, insn->target, src);

usr/src/tools/smatch/src/example.c

1050

add_pseudo_reg(state, insn->target, dst);

usr/src/tools/smatch/src/example.c

1132

add_pseudo_reg(state, insn->target, hardregs+0);

usr/src/tools/smatch/src/example.c

1142

add_pseudo_reg(state, insn->target, dst);

usr/src/tools/smatch/src/example.c

1634

add_pseudo_reg(state, pseudo, dst);

usr/src/tools/smatch/src/example.c

1700

add_pseudo_reg(state, entry->pseudo, hardregs + regno);

usr/src/tools/smatch/src/example.c

516

add_pseudo_reg(state, pseudo, reg);

usr/src/tools/smatch/src/example.c

897

add_pseudo_reg(state, insn->target, dst);