usr/src/tools/smatch/src/cse.c

105

pseudo_t phi;

usr/src/tools/smatch/src/cse.c

132

pseudo_t phi1, phi2;

usr/src/tools/smatch/src/cse.c

25

static int phi_compare(pseudo_t phi1, pseudo_t phi2)

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

1001

pseudo_t p;

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

1119

pseudo_t arg;

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

1159

pseudo_t pseudo;

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

1257

pseudo_t pseudo = entry->pseudo;

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

1299

pseudo_t pseudo = entry->pseudo;

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

141

pseudo_t cc_target;

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

1464

static void write_reg_to_storage(struct bb_state *state, struct hardreg *reg, pseudo_t pseudo, struct storage *storage)

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

1505

static void write_val_to_storage(struct bb_state *state, pseudo_t src, struct storage *storage)

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

1521

static void fill_output(struct bb_state *state, pseudo_t pseudo, struct storage *out)

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

1545

pseudo_t p;

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

1581

static int final_pseudo_flush(struct bb_state *state, pseudo_t pseudo, struct hardreg *reg)

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

1651

pseudo_t p;

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

1805

pseudo_t arg;

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

1853

pseudo_t pseudo = ret->src;

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

1874

pseudo_t pseudo = insn->cond;

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

210

static struct storage_hash *find_storage_hash(pseudo_t pseudo, struct storage_hash_list *list)

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

220

static struct storage_hash *find_or_create_hash(pseudo_t pseudo, struct storage_hash_list **listp)

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

325

static int can_regenerate(struct bb_state *state, pseudo_t pseudo)

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

345

static void flush_one_pseudo(struct bb_state *state, struct hardreg *hardreg, pseudo_t pseudo)

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

383

pseudo_t pseudo;

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

401

static struct storage_hash *find_pseudo_storage(struct bb_state *state, pseudo_t pseudo, struct hardreg *reg)

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

440

static void mark_reg_dead(struct bb_state *state, pseudo_t pseudo, struct hardreg *reg)

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

442

pseudo_t p;

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

455

static void add_pseudo_reg(struct bb_state *state, pseudo_t pseudo, struct hardreg *reg)

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

461

static struct hardreg *preferred_reg(struct bb_state *state, pseudo_t target)

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

486

static struct hardreg *target_reg(struct bb_state *state, pseudo_t pseudo, pseudo_t target)

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

520

static struct hardreg *find_in_reg(struct bb_state *state, pseudo_t pseudo)

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

526

pseudo_t p;

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

540

static void flush_pseudo(struct bb_state *state, pseudo_t pseudo, struct storage *storage)

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

548

static void flush_cc_cache_to_reg(struct bb_state *state, pseudo_t pseudo, struct hardreg *reg)

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

559

pseudo_t pseudo = state->cc_target;

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

573

static void add_cc_cache(struct bb_state *state, int opcode, pseudo_t pseudo)

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

583

static struct hardreg *fill_reg(struct bb_state *state, struct hardreg *hardreg, pseudo_t pseudo)

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

640

static struct hardreg *getreg(struct bb_state *state, pseudo_t pseudo, pseudo_t target)

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

656

static struct hardreg *copy_reg(struct bb_state *state, struct hardreg *src, pseudo_t target)

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

714

static struct operand *get_register_operand(struct bb_state *state, pseudo_t pseudo, pseudo_t target)

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

723

static int get_sym_frame_offset(struct bb_state *state, pseudo_t pseudo)

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

733

static struct operand *get_generic_operand(struct bb_state *state, pseudo_t pseudo)

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

795

static const char *generic(struct bb_state *state, pseudo_t pseudo)

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

854

static const char *reg_or_imm(struct bb_state *state, pseudo_t pseudo)

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

867

pseudo_t p;

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

880

static struct hardreg *target_copy_reg(struct bb_state *state, struct hardreg *src, pseudo_t target)

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

886

static void do_binop(struct bb_state *state, struct instruction *insn, pseudo_t val1, pseudo_t val2)

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

906

static int is_dead_reg(struct bb_state *state, pseudo_t pseudo, struct hardreg *reg)

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

908

pseudo_t p;

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

923

pseudo_t src1, src2;

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

956

static void mark_pseudo_dead(struct bb_state *state, pseudo_t pseudo)

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

994

static void kill_pseudo(struct bb_state *state, pseudo_t pseudo)

usr/src/tools/smatch/src/flow.c

119

pseudo_t phi;

usr/src/tools/smatch/src/flow.c

132

pseudo_t pseudo;

usr/src/tools/smatch/src/flow.c

198

pseudo_t cond = br->cond;

usr/src/tools/smatch/src/flow.c

284

void convert_instruction_target(struct instruction *insn, pseudo_t src)

usr/src/tools/smatch/src/flow.c

286

pseudo_t target;

usr/src/tools/smatch/src/flow.c

305

void convert_load_instruction(struct instruction *insn, pseudo_t src)

usr/src/tools/smatch/src/flow.c

331

static inline int distinct_symbols(pseudo_t a, pseudo_t b)

usr/src/tools/smatch/src/flow.c

346

int dominates(pseudo_t pseudo, struct instruction *insn, struct instruction *dom, int local)

usr/src/tools/smatch/src/flow.c

379

pseudo_t new, phi;

usr/src/tools/smatch/src/flow.c

429

static void kill_dead_stores_bb(pseudo_t pseudo, unsigned long generation, struct basic_block *bb, int local)

usr/src/tools/smatch/src/flow.c

470

pseudo_t pseudo = insn->src;

usr/src/tools/smatch/src/flow.c

488

static struct pseudo_user *first_user(pseudo_t p)

usr/src/tools/smatch/src/flow.c

499

void kill_dead_stores(struct entrypoint *ep, pseudo_t addr, int local)

usr/src/tools/smatch/src/flow.c

50

static int pseudo_truth_value(pseudo_t pseudo)

usr/src/tools/smatch/src/flow.c

542

pseudo_t target = insn->target;

usr/src/tools/smatch/src/flow.c

636

pseudo_t cond = br->cond;

usr/src/tools/smatch/src/flow.c

74

pseudo_t pseudo;

usr/src/tools/smatch/src/flow.h

17

extern void kill_dead_stores(struct entrypoint *ep, pseudo_t addr, int local);

usr/src/tools/smatch/src/flow.h

22

extern void convert_instruction_target(struct instruction *insn, pseudo_t src);

usr/src/tools/smatch/src/flow.h

27

extern void kill_use(pseudo_t *);

usr/src/tools/smatch/src/flow.h

28

extern void remove_use(pseudo_t *);

usr/src/tools/smatch/src/flow.h

42

void convert_load_instruction(struct instruction *, pseudo_t);

usr/src/tools/smatch/src/flow.h

44

int dominates(pseudo_t pseudo, struct instruction *insn, struct instruction *dom, int local);

usr/src/tools/smatch/src/flow.h

47

extern int pseudo_in_list(struct pseudo_list *list, pseudo_t pseudo);

usr/src/tools/smatch/src/ir.c

11

pseudo_t p;

usr/src/tools/smatch/src/ir.c

29

pseudo_t phi;

usr/src/tools/smatch/src/ir.c

62

static int check_user(struct instruction *insn, pseudo_t pseudo)

usr/src/tools/smatch/src/lib.h

290

static inline pseudo_t first_pseudo(struct pseudo_list *head)

usr/src/tools/smatch/src/linearize.c

1004

static pseudo_t linearize_bitfield_insert(struct entrypoint *ep,

usr/src/tools/smatch/src/linearize.c

1005

pseudo_t ori, pseudo_t val, struct symbol *ctype, struct symbol *btype)

usr/src/tools/smatch/src/linearize.c

102

const char *show_pseudo(pseudo_t pseudo)

usr/src/tools/smatch/src/linearize.c

1023

static pseudo_t linearize_store_gen(struct entrypoint *ep,

usr/src/tools/smatch/src/linearize.c

1024

pseudo_t value,

usr/src/tools/smatch/src/linearize.c

1029

pseudo_t store = value;

usr/src/tools/smatch/src/linearize.c

1036

pseudo_t orig = add_load(ep, ad);

usr/src/tools/smatch/src/linearize.c

1045

pseudo_t src2;

usr/src/tools/smatch/src/linearize.c

1060

static pseudo_t add_binary_op(struct entrypoint *ep, struct symbol *ctype, int op, pseudo_t left, pseudo_t right)

usr/src/tools/smatch/src/linearize.c

1063

pseudo_t target = alloc_pseudo(insn);

usr/src/tools/smatch/src/linearize.c

1071

static pseudo_t add_setval(struct entrypoint *ep, struct symbol *ctype, struct expression *val)

usr/src/tools/smatch/src/linearize.c

1074

pseudo_t target = alloc_pseudo(insn);

usr/src/tools/smatch/src/linearize.c

1081

static pseudo_t add_setfval(struct entrypoint *ep, struct symbol *ctype, long double fval)

usr/src/tools/smatch/src/linearize.c

1084

pseudo_t target = alloc_pseudo(insn);

usr/src/tools/smatch/src/linearize.c

1091

static pseudo_t add_symbol_address(struct entrypoint *ep, struct symbol *sym)

usr/src/tools/smatch/src/linearize.c

1094

pseudo_t target = alloc_pseudo(insn);

usr/src/tools/smatch/src/linearize.c

1102

static pseudo_t linearize_bitfield_extract(struct entrypoint *ep,

usr/src/tools/smatch/src/linearize.c

1103

pseudo_t val, struct symbol *ctype, struct symbol *btype)

usr/src/tools/smatch/src/linearize.c

1108

pseudo_t shift = value_pseudo(off);

usr/src/tools/smatch/src/linearize.c

1115

static pseudo_t linearize_load_gen(struct entrypoint *ep, struct access_data *ad)

usr/src/tools/smatch/src/linearize.c

1119

pseudo_t new;

usr/src/tools/smatch/src/linearize.c

1131

static pseudo_t linearize_access(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1134

pseudo_t value;

usr/src/tools/smatch/src/linearize.c

1142

static pseudo_t linearize_inc_dec(struct entrypoint *ep, struct expression *expr, int postop)

usr/src/tools/smatch/src/linearize.c

1145

pseudo_t old, new, one;

usr/src/tools/smatch/src/linearize.c

1166

static pseudo_t add_unop(struct entrypoint *ep, struct symbol *ctype, int op, pseudo_t src)

usr/src/tools/smatch/src/linearize.c

1169

pseudo_t new = alloc_pseudo(insn);

usr/src/tools/smatch/src/linearize.c

1177

static pseudo_t add_cast(struct entrypoint *ep, struct symbol *to,

usr/src/tools/smatch/src/linearize.c

1178

struct symbol *from, int op, pseudo_t src)

usr/src/tools/smatch/src/linearize.c

1180

pseudo_t new = add_unop(ep, to, op, src);

usr/src/tools/smatch/src/linearize.c

1185

static pseudo_t linearize_slice(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1187

pseudo_t pre = linearize_expression(ep, expr->base);

usr/src/tools/smatch/src/linearize.c

1189

pseudo_t new = alloc_pseudo(insn);

usr/src/tools/smatch/src/linearize.c

1199

static pseudo_t linearize_regular_preop(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1201

pseudo_t pre = linearize_expression(ep, expr->unop);

usr/src/tools/smatch/src/linearize.c

1207

pseudo_t zero = value_pseudo(0);

usr/src/tools/smatch/src/linearize.c

1218

static pseudo_t linearize_preop(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1232

static pseudo_t linearize_postop(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1356

static pseudo_t cast_pseudo(struct entrypoint *ep, pseudo_t src, struct symbol *from, struct symbol *to)

usr/src/tools/smatch/src/linearize.c

1359

pseudo_t result;

usr/src/tools/smatch/src/linearize.c

1417

static inline pseudo_t add_convert_to_bool(struct entrypoint *ep, pseudo_t src, struct symbol *type)

usr/src/tools/smatch/src/linearize.c

1419

pseudo_t zero;

usr/src/tools/smatch/src/linearize.c

1438

static pseudo_t linearize_expression_to_bool(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1440

pseudo_t dst;

usr/src/tools/smatch/src/linearize.c

1446

static pseudo_t linearize_assignment(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1452

pseudo_t value;

usr/src/tools/smatch/src/linearize.c

1458

pseudo_t oldvalue = linearize_load_gen(ep, &ad);

usr/src/tools/smatch/src/linearize.c

1459

pseudo_t dst;

usr/src/tools/smatch/src/linearize.c

1488

static pseudo_t linearize_call_expression(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1492

pseudo_t retval, call;

usr/src/tools/smatch/src/linearize.c

1508

pseudo_t new = linearize_expression(ep, arg);

usr/src/tools/smatch/src/linearize.c

1556

static pseudo_t linearize_binop_bool(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1558

pseudo_t src1, src2, dst;

usr/src/tools/smatch/src/linearize.c

1569

static pseudo_t linearize_binop(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1571

pseudo_t src1, src2, dst;

usr/src/tools/smatch/src/linearize.c

1590

static pseudo_t linearize_logical_branch(struct entrypoint *ep, struct expression *expr, struct basic_block *bb_true, struct basic_block *bb_false);

usr/src/tools/smatch/src/linearize.c

1592

static pseudo_t linearize_cond_branch(struct entrypoint *ep, struct expression *expr, struct basic_block *bb_true, struct basic_block *bb_false);

usr/src/tools/smatch/src/linearize.c

1594

static pseudo_t linearize_select(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1596

pseudo_t cond, valt, valf, res;

usr/src/tools/smatch/src/linearize.c

1616

static pseudo_t add_join_conditional(struct entrypoint *ep, struct expression *expr,

usr/src/tools/smatch/src/linearize.c

1617

pseudo_t phi1, pseudo_t phi2)

usr/src/tools/smatch/src/linearize.c

1619

pseudo_t target;

usr/src/tools/smatch/src/linearize.c

1635

static pseudo_t linearize_short_conditional(struct entrypoint *ep, struct expression *expr,

usr/src/tools/smatch/src/linearize.c

1639

pseudo_t src1, src2;

usr/src/tools/smatch/src/linearize.c

1642

pseudo_t phi1, phi2;

usr/src/tools/smatch/src/linearize.c

1662

static pseudo_t linearize_conditional(struct entrypoint *ep, struct expression *expr,

usr/src/tools/smatch/src/linearize.c

1667

pseudo_t src1, src2;

usr/src/tools/smatch/src/linearize.c

1668

pseudo_t phi1, phi2;

usr/src/tools/smatch/src/linearize.c

1692

static void insert_phis(struct basic_block *bb, pseudo_t src, struct symbol *ctype,

usr/src/tools/smatch/src/linearize.c

1699

pseudo_t phi = alloc_phi(parent, src, ctype);

usr/src/tools/smatch/src/linearize.c

1705

static pseudo_t linearize_logical(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1710

pseudo_t src1, src2, phi2;

usr/src/tools/smatch/src/linearize.c

1742

static pseudo_t linearize_compare(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1756

pseudo_t src1 = linearize_expression(ep, expr->left);

usr/src/tools/smatch/src/linearize.c

1757

pseudo_t src2 = linearize_expression(ep, expr->right);

usr/src/tools/smatch/src/linearize.c

1758

pseudo_t dst = add_binary_op(ep, expr->ctype, op, src1, src2);

usr/src/tools/smatch/src/linearize.c

1763

static pseudo_t linearize_cond_branch(struct entrypoint *ep, struct expression *expr, struct basic_block *bb_true, struct basic_block *bb_false)

usr/src/tools/smatch/src/linearize.c

1765

pseudo_t cond;

usr/src/tools/smatch/src/linearize.c

1806

static pseudo_t linearize_logical_branch(struct entrypoint *ep, struct expression *expr, struct basic_block *bb_true, struct basic_block *bb_false)

usr/src/tools/smatch/src/linearize.c

1819

static pseudo_t linearize_cast(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1821

pseudo_t src;

usr/src/tools/smatch/src/linearize.c

1831

static pseudo_t linearize_initializer(struct entrypoint *ep, struct expression *initializer, struct access_data *ad)

usr/src/tools/smatch/src/linearize.c

1846

pseudo_t value = linearize_expression(ep, initializer);

usr/src/tools/smatch/src/linearize.c

1865

static pseudo_t linearize_expression(struct entrypoint *ep, struct expression *expr)

usr/src/tools/smatch/src/linearize.c

1945

static pseudo_t linearize_one_symbol(struct entrypoint *ep, struct symbol *sym)

usr/src/tools/smatch/src/linearize.c

1948

pseudo_t value;

usr/src/tools/smatch/src/linearize.c

1975

static pseudo_t linearize_compound_statement(struct entrypoint *ep, struct statement *stmt)

usr/src/tools/smatch/src/linearize.c

1977

pseudo_t pseudo;

usr/src/tools/smatch/src/linearize.c

1988

static void add_return(struct entrypoint *ep, struct basic_block *bb, struct symbol *ctype, pseudo_t src)

usr/src/tools/smatch/src/linearize.c

1991

pseudo_t phi;

usr/src/tools/smatch/src/linearize.c

2003

static pseudo_t linearize_fn_statement(struct entrypoint *ep, struct statement *stmt)

usr/src/tools/smatch/src/linearize.c

2007

pseudo_t pseudo;

usr/src/tools/smatch/src/linearize.c

2025

static pseudo_t linearize_inlined_call(struct entrypoint *ep, struct statement *stmt)

usr/src/tools/smatch/src/linearize.c

2030

pseudo_t pseudo;

usr/src/tools/smatch/src/linearize.c

2037

pseudo_t value = linearize_one_symbol(ep, sym);

usr/src/tools/smatch/src/linearize.c

2053

static pseudo_t linearize_context(struct entrypoint *ep, struct statement *stmt)

usr/src/tools/smatch/src/linearize.c

2064

static pseudo_t linearize_range(struct entrypoint *ep, struct statement *stmt)

usr/src/tools/smatch/src/linearize.c

2081

pseudo_t pseudo = linearize_expression(ep, expr);

usr/src/tools/smatch/src/linearize.c

2094

pseudo_t pseudo = alloc_pseudo(insn);

usr/src/tools/smatch/src/linearize.c

2107

static pseudo_t linearize_asm_statement(struct entrypoint *ep, struct statement *stmt)

usr/src/tools/smatch/src/linearize.c

2168

static pseudo_t linearize_declaration(struct entrypoint *ep, struct statement *stmt)

usr/src/tools/smatch/src/linearize.c

2180

static pseudo_t linearize_return(struct entrypoint *ep, struct statement *stmt)

usr/src/tools/smatch/src/linearize.c

2186

pseudo_t src = linearize_expression(ep, expr);

usr/src/tools/smatch/src/linearize.c

2195

static pseudo_t linearize_switch(struct entrypoint *ep, struct statement *stmt)

usr/src/tools/smatch/src/linearize.c

2203

pseudo_t pseudo;

usr/src/tools/smatch/src/linearize.c

2265

static pseudo_t linearize_iterator(struct entrypoint *ep, struct statement *stmt)

usr/src/tools/smatch/src/linearize.c

2312

static pseudo_t linearize_statement(struct entrypoint *ep, struct statement *stmt)

usr/src/tools/smatch/src/linearize.c

2366

pseudo_t pseudo;

usr/src/tools/smatch/src/linearize.c

2456

pseudo_t result;

usr/src/tools/smatch/src/linearize.c

26

static pseudo_t linearize_statement(struct entrypoint *ep, struct statement *stmt);

usr/src/tools/smatch/src/linearize.c

27

static pseudo_t linearize_expression(struct entrypoint *ep, struct expression *expr);

usr/src/tools/smatch/src/linearize.c

29

static pseudo_t add_cast(struct entrypoint *ep, struct symbol *to, struct symbol *from, int op, pseudo_t src);

usr/src/tools/smatch/src/linearize.c

30

static pseudo_t add_binary_op(struct entrypoint *ep, struct symbol *ctype, int op, pseudo_t left, pseudo_t right);

usr/src/tools/smatch/src/linearize.c

31

static pseudo_t add_setval(struct entrypoint *ep, struct symbol *ctype, struct expression *val);

usr/src/tools/smatch/src/linearize.c

32

static pseudo_t linearize_one_symbol(struct entrypoint *ep, struct symbol *sym);

usr/src/tools/smatch/src/linearize.c

35

static pseudo_t add_load(struct entrypoint *ep, struct access_data *);

usr/src/tools/smatch/src/linearize.c

36

static pseudo_t linearize_initializer(struct entrypoint *ep, struct expression *initializer, struct access_data *);

usr/src/tools/smatch/src/linearize.c

37

static pseudo_t cast_pseudo(struct entrypoint *ep, pseudo_t src, struct symbol *from, struct symbol *to);

usr/src/tools/smatch/src/linearize.c

413

pseudo_t phi;

usr/src/tools/smatch/src/linearize.c

510

pseudo_t needs, defines;

usr/src/tools/smatch/src/linearize.c

518

pseudo_t phi;

usr/src/tools/smatch/src/linearize.c

561

static void show_symbol_usage(pseudo_t pseudo)

usr/src/tools/smatch/src/linearize.c

702

void insert_select(struct basic_block *bb, struct instruction *br, struct instruction *phi_node, pseudo_t if_true, pseudo_t if_false)

usr/src/tools/smatch/src/linearize.c

704

pseudo_t target;

usr/src/tools/smatch/src/linearize.c

751

static void add_branch(struct entrypoint *ep, pseudo_t cond, struct basic_block *bb_true, struct basic_block *bb_false)

usr/src/tools/smatch/src/linearize.c

769

pseudo_t alloc_pseudo(struct instruction *def)

usr/src/tools/smatch/src/linearize.c

779

static pseudo_t symbol_pseudo(struct entrypoint *ep, struct symbol *sym)

usr/src/tools/smatch/src/linearize.c

781

pseudo_t pseudo;

usr/src/tools/smatch/src/linearize.c

800

pseudo_t value_pseudo(long long val)

usr/src/tools/smatch/src/linearize.c

806

pseudo_t pseudo;

usr/src/tools/smatch/src/linearize.c

822

pseudo_t undef_pseudo(void)

usr/src/tools/smatch/src/linearize.c

824

pseudo_t pseudo = __alloc_pseudo(0);

usr/src/tools/smatch/src/linearize.c

829

static pseudo_t argument_pseudo(struct entrypoint *ep, int nr)

usr/src/tools/smatch/src/linearize.c

831

pseudo_t pseudo = __alloc_pseudo(0);

usr/src/tools/smatch/src/linearize.c

843

struct instruction *alloc_phisrc(pseudo_t pseudo, struct symbol *type)

usr/src/tools/smatch/src/linearize.c

846

pseudo_t phi = __alloc_pseudo(0);

usr/src/tools/smatch/src/linearize.c

858

pseudo_t alloc_phi(struct basic_block *source, pseudo_t pseudo, struct symbol *type)

usr/src/tools/smatch/src/linearize.c

874

pseudo_t phi;

usr/src/tools/smatch/src/linearize.c

915

pseudo_t address; // pseudo containing address ..

usr/src/tools/smatch/src/linearize.c

969

static pseudo_t add_load(struct entrypoint *ep, struct access_data *ad)

usr/src/tools/smatch/src/linearize.c

972

pseudo_t new;

usr/src/tools/smatch/src/linearize.c

988

static void add_store(struct entrypoint *ep, struct access_data *ad, pseudo_t value)

usr/src/tools/smatch/src/linearize.h

101

pseudo_t _cond;

usr/src/tools/smatch/src/linearize.h

105

pseudo_t phi_var; // used for SSA conversion

usr/src/tools/smatch/src/linearize.h

110

pseudo_t phi_src;

usr/src/tools/smatch/src/linearize.h

114

pseudo_t src;

usr/src/tools/smatch/src/linearize.h

118

pseudo_t addr; /* alias .src */

usr/src/tools/smatch/src/linearize.h

123

pseudo_t src1, src2, src3;

usr/src/tools/smatch/src/linearize.h

126

pseudo_t base;

usr/src/tools/smatch/src/linearize.h

136

pseudo_t func;

usr/src/tools/smatch/src/linearize.h

16

pseudo_t *userp;

usr/src/tools/smatch/src/linearize.h

201

static inline pseudo_t *add_pseudo(struct pseudo_list **list, pseudo_t pseudo)

usr/src/tools/smatch/src/linearize.h

206

static inline int remove_pseudo(struct pseudo_list **list, pseudo_t pseudo)

usr/src/tools/smatch/src/linearize.h

21

DECLARE_PTRMAP(phi_map, struct symbol *, pseudo_t);

usr/src/tools/smatch/src/linearize.h

211

static inline int pseudo_in_list(struct pseudo_list *list, pseudo_t pseudo)

usr/src/tools/smatch/src/linearize.h

242

static inline int has_use_list(pseudo_t p)

usr/src/tools/smatch/src/linearize.h

257

static inline int has_users(pseudo_t p)

usr/src/tools/smatch/src/linearize.h

262

static inline bool multi_users(pseudo_t p)

usr/src/tools/smatch/src/linearize.h

267

static inline int nbr_users(pseudo_t p)

usr/src/tools/smatch/src/linearize.h

272

static inline struct pseudo_user *alloc_pseudo_user(struct instruction *insn, pseudo_t *pp)

usr/src/tools/smatch/src/linearize.h

280

static inline void use_pseudo(struct instruction *insn, pseudo_t p, pseudo_t *pp)

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/linearize.h

311

struct instruction *alloc_phisrc(pseudo_t pseudo, struct symbol *type);

usr/src/tools/smatch/src/linearize.h

316

pseudo_t alloc_phi(struct basic_block *source, pseudo_t pseudo, struct symbol *type);

usr/src/tools/smatch/src/linearize.h

317

pseudo_t alloc_pseudo(struct instruction *def);

usr/src/tools/smatch/src/linearize.h

318

pseudo_t value_pseudo(long long val);

usr/src/tools/smatch/src/linearize.h

319

pseudo_t undef_pseudo(void);

usr/src/tools/smatch/src/linearize.h

324

const char *show_pseudo(pseudo_t pseudo);

usr/src/tools/smatch/src/linearize.h

51

static inline bool is_zero(pseudo_t pseudo)

usr/src/tools/smatch/src/linearize.h

56

static inline bool is_nonzero(pseudo_t pseudo)

usr/src/tools/smatch/src/linearize.h

68

pseudo_t pseudo;

usr/src/tools/smatch/src/linearize.h

91

pseudo_t target;

usr/src/tools/smatch/src/linearize.h

97

pseudo_t cond;

usr/src/tools/smatch/src/liveness.c

142

static void add_pseudo_exclusive(struct pseudo_list **list, pseudo_t pseudo)

usr/src/tools/smatch/src/liveness.c

150

static inline int trackable_pseudo(pseudo_t pseudo)

usr/src/tools/smatch/src/liveness.c

155

static void insn_uses(struct basic_block *bb, pseudo_t pseudo)

usr/src/tools/smatch/src/liveness.c

16

static void phi_defines(struct instruction * phi_node, pseudo_t target,

usr/src/tools/smatch/src/liveness.c

164

static void insn_defines(struct basic_block *bb, pseudo_t pseudo)

usr/src/tools/smatch/src/liveness.c

17

void (*defines)(struct basic_block *, pseudo_t))

usr/src/tools/smatch/src/liveness.c

172

pseudo_t needs;

usr/src/tools/smatch/src/liveness.c

19

pseudo_t phi;

usr/src/tools/smatch/src/liveness.c

227

pseudo_t def;

usr/src/tools/smatch/src/liveness.c

244

pseudo_t pseudo;

usr/src/tools/smatch/src/liveness.c

252

pseudo_t phi;

usr/src/tools/smatch/src/liveness.c

275

static void death_def(struct basic_block *bb, pseudo_t pseudo)

usr/src/tools/smatch/src/liveness.c

279

static void death_use(struct basic_block *bb, pseudo_t pseudo)

usr/src/tools/smatch/src/liveness.c

305

pseudo_t dead;

usr/src/tools/smatch/src/liveness.c

32

void (*def)(struct basic_block *, pseudo_t),

usr/src/tools/smatch/src/liveness.c

33

void (*use)(struct basic_block *, pseudo_t))

usr/src/tools/smatch/src/liveness.c

47

void (*def)(struct basic_block *, pseudo_t),

usr/src/tools/smatch/src/liveness.c

48

void (*use)(struct basic_block *, pseudo_t))

usr/src/tools/smatch/src/liveness.c

50

pseudo_t pseudo;

usr/src/tools/smatch/src/memops.c

138

pseudo_t phi;

usr/src/tools/smatch/src/memops.c

158

pseudo_t pseudo = insn->src;

usr/src/tools/smatch/src/memops.c

19

static int find_dominating_parents(pseudo_t pseudo, struct instruction *insn,

usr/src/tools/smatch/src/memops.c

193

pseudo_t pseudo;

usr/src/tools/smatch/src/memops.c

28

pseudo_t phi;

usr/src/tools/smatch/src/memops.c

65

static int address_taken(pseudo_t pseudo)

usr/src/tools/smatch/src/memops.c

78

static int local_pseudo(pseudo_t pseudo)

usr/src/tools/smatch/src/memops.c

94

pseudo_t pseudo = insn->src;

usr/src/tools/smatch/src/optimize.c

22

pseudo_t pseudo;

usr/src/tools/smatch/src/simplify.c

103

pseudo_t p1, p2;

usr/src/tools/smatch/src/simplify.c

1040

pseudo_t old = insn->src1;

usr/src/tools/smatch/src/simplify.c

1156

pseudo_t res = eval_insn(insn);

usr/src/tools/smatch/src/simplify.c

1165

static int simplify_binop_same_args(struct instruction *insn, pseudo_t arg)

usr/src/tools/smatch/src/simplify.c

1211

static void switch_pseudo(struct instruction *insn1, pseudo_t *pp1, struct instruction *insn2, pseudo_t *pp2)

usr/src/tools/smatch/src/simplify.c

1213

pseudo_t p1 = *pp1, p2 = *pp2;

usr/src/tools/smatch/src/simplify.c

1221

static int canonical_order(pseudo_t p1, pseudo_t p2)

usr/src/tools/smatch/src/simplify.c

1252

static inline int simple_pseudo(pseudo_t pseudo)

usr/src/tools/smatch/src/simplify.c

1260

pseudo_t pseudo = insn->src1;

usr/src/tools/smatch/src/simplify.c

1336

static int simplify_one_memop(struct instruction *insn, pseudo_t orig)

usr/src/tools/smatch/src/simplify.c

1338

pseudo_t addr = insn->src;

usr/src/tools/smatch/src/simplify.c

1339

pseudo_t new, off;

usr/src/tools/smatch/src/simplify.c

1393

pseudo_t orig = insn->src;

usr/src/tools/smatch/src/simplify.c

1406

pseudo_t src;

usr/src/tools/smatch/src/simplify.c

1407

pseudo_t val;

usr/src/tools/smatch/src/simplify.c

148

pseudo_t p = p1;

usr/src/tools/smatch/src/simplify.c

1548

pseudo_t cond, src1, src2;

usr/src/tools/smatch/src/simplify.c

1557

pseudo_t *kill, take;

usr/src/tools/smatch/src/simplify.c

1591

static int is_in_range(pseudo_t src, long long low, long long high)

usr/src/tools/smatch/src/simplify.c

1606

pseudo_t src1, src2, src3;

usr/src/tools/smatch/src/simplify.c

1622

static int simplify_cond_branch(struct instruction *br, struct instruction *def, pseudo_t newcond)

usr/src/tools/smatch/src/simplify.c

1635

pseudo_t cond = insn->cond;

usr/src/tools/smatch/src/simplify.c

1694

pseudo_t cond = insn->cond;

usr/src/tools/smatch/src/simplify.c

188

static pseudo_t trivial_phi(pseudo_t pseudo, struct instruction *insn, struct pseudo_list **list)

usr/src/tools/smatch/src/simplify.c

190

pseudo_t target = insn->target;

usr/src/tools/smatch/src/simplify.c

191

pseudo_t phi;

usr/src/tools/smatch/src/simplify.c

197

pseudo_t src;

usr/src/tools/smatch/src/simplify.c

230

pseudo_t pseudo;

usr/src/tools/smatch/src/simplify.c

241

static int delete_pseudo_user_list_entry(struct pseudo_user_list **list, pseudo_t *entry, int count)

usr/src/tools/smatch/src/simplify.c

259

static inline void rem_usage(pseudo_t p, pseudo_t *usep, int kill)

usr/src/tools/smatch/src/simplify.c

270

static inline void remove_usage(pseudo_t p, pseudo_t *usep)

usr/src/tools/smatch/src/simplify.c

275

void kill_use(pseudo_t *usep)

usr/src/tools/smatch/src/simplify.c

278

pseudo_t p = *usep;

usr/src/tools/smatch/src/simplify.c

285

void remove_use(pseudo_t *usep)

usr/src/tools/smatch/src/simplify.c

287

pseudo_t p = *usep;

usr/src/tools/smatch/src/simplify.c

294

pseudo_t p;

usr/src/tools/smatch/src/simplify.c

393

static int dead_insn(struct instruction *insn, pseudo_t *src1, pseudo_t *src2, pseudo_t *src3)

usr/src/tools/smatch/src/simplify.c

427

static inline int constant(pseudo_t pseudo)

usr/src/tools/smatch/src/simplify.c

438

static inline int replace_pseudo(struct instruction *insn, pseudo_t *pp, pseudo_t new)

usr/src/tools/smatch/src/simplify.c

440

pseudo_t old = *pp;

usr/src/tools/smatch/src/simplify.c

446

static int replace_with_pseudo(struct instruction *insn, pseudo_t pseudo)

usr/src/tools/smatch/src/simplify.c

468

static inline int def_opcode(pseudo_t p)

usr/src/tools/smatch/src/simplify.c

494

static unsigned int operand_size(struct instruction *insn, pseudo_t pseudo)

usr/src/tools/smatch/src/simplify.c

514

static pseudo_t eval_insn(struct instruction *insn)

usr/src/tools/smatch/src/simplify.c

56

static struct basic_block *phi_parent(struct basic_block *source, pseudo_t pseudo)

usr/src/tools/smatch/src/simplify.c

647

pseudo_t ora, pseudo_t orb)

usr/src/tools/smatch/src/simplify.c

651

pseudo_t src2 = and->src2;

usr/src/tools/smatch/src/simplify.c

667

pseudo_t *arg = (ora == or->src1) ? &or->src1 : &or->src2;

usr/src/tools/smatch/src/simplify.c

687

pseudo_t src1 = or->src1;

usr/src/tools/smatch/src/simplify.c

688

pseudo_t src2 = or->src2;

usr/src/tools/smatch/src/simplify.c

781

static int simplify_shift(struct instruction *insn, pseudo_t pseudo, long long value)

usr/src/tools/smatch/src/simplify.c

787

pseudo_t src2;

usr/src/tools/smatch/src/simplify.c

80

pseudo_t phi;

usr/src/tools/smatch/src/simplify.c

956

pseudo_t old = insn->src1;

usr/src/tools/smatch/src/sparse-llvm.c

258

static const char *pseudo_name(pseudo_t pseudo, char *buf)

usr/src/tools/smatch/src/sparse-llvm.c

369

static LLVMValueRef pseudo_to_value(struct function *fn, struct symbol *ctype, pseudo_t pseudo)

usr/src/tools/smatch/src/sparse-llvm.c

403

static LLVMValueRef pseudo_to_rvalue(struct function *fn, struct symbol *ctype, pseudo_t pseudo)

usr/src/tools/smatch/src/sparse-llvm.c

460

static LLVMValueRef get_operand(struct function *fn, struct symbol *ctype, pseudo_t pseudo)

usr/src/tools/smatch/src/sparse-llvm.c

471

static LLVMValueRef get_ioperand(struct function *fn, struct symbol *ctype, pseudo_t pseudo)

usr/src/tools/smatch/src/sparse-llvm.c

674

pseudo_t pseudo = insn->src;

usr/src/tools/smatch/src/sparse.c

152

static void check_byte_count(struct instruction *insn, pseudo_t count)

usr/src/tools/smatch/src/sparse.c

166

static pseudo_t argument(struct instruction *call, unsigned int argno)

usr/src/tools/smatch/src/sparse.c

168

pseudo_t args[8];

usr/src/tools/smatch/src/sparse.c

193

pseudo_t fn = insn->func;

usr/src/tools/smatch/src/sparse.c

261

pseudo_t pseudo;

usr/src/tools/smatch/src/ssa.c

126

pseudo_t addr = store->src;

usr/src/tools/smatch/src/ssa.c

181

pseudo_t addr;

usr/src/tools/smatch/src/ssa.c

257

static pseudo_t lookup_var(struct basic_block *bb, struct symbol *var)

usr/src/tools/smatch/src/ssa.c

260

pseudo_t val = phi_map_lookup(bb->phi_map, var);

usr/src/tools/smatch/src/ssa.c

273

pseudo_t addr;

usr/src/tools/smatch/src/ssa.c

274

pseudo_t val;

usr/src/tools/smatch/src/ssa.c

321

static void mark_phi_used(pseudo_t val)

usr/src/tools/smatch/src/ssa.c

348

pseudo_t val = lookup_var(par, var);

usr/src/tools/smatch/src/ssa.c

349

pseudo_t phi = alloc_phi(par, val, var);

usr/src/tools/smatch/src/ssa.c

379

pseudo_t pseudo;

usr/src/tools/smatch/src/ssa.c

96

static void rewrite_local_var(struct basic_block *bb, pseudo_t addr, int nbr_stores, int nbr_uses)

usr/src/tools/smatch/src/ssa.c

99

pseudo_t val = NULL;

usr/src/tools/smatch/src/storage.c

100

void add_storage(struct storage *storage, struct basic_block *bb, pseudo_t pseudo, enum inout_enum inout)

usr/src/tools/smatch/src/storage.c

220

pseudo_t pseudo;

usr/src/tools/smatch/src/storage.c

24

static inline unsigned int storage_hash(struct basic_block *bb, pseudo_t pseudo, enum inout_enum inout)

usr/src/tools/smatch/src/storage.c

250

pseudo_t arg;

usr/src/tools/smatch/src/storage.c

88

struct storage *lookup_storage(struct basic_block *bb, pseudo_t pseudo, enum inout_enum inout)

usr/src/tools/smatch/src/storage.h

46

pseudo_t pseudo;

usr/src/tools/smatch/src/storage.h

58

struct storage *lookup_storage(struct basic_block *, pseudo_t, enum inout_enum);

usr/src/tools/smatch/src/storage.h

59

void add_storage(struct storage *, struct basic_block *, pseudo_t, enum inout_enum);

usr/src/tools/smatch/src/symbol.h

202

pseudo_t pseudo;

usr/src/tools/smatch/src/unssa.c

37

static int simplify_phi_node(struct instruction *phi, pseudo_t tmp)

usr/src/tools/smatch/src/unssa.c

39

pseudo_t target = phi->target;

usr/src/tools/smatch/src/unssa.c

41

pseudo_t src;

usr/src/tools/smatch/src/unssa.c

65

pseudo_t tmp;

usr/src/tools/smatch/src/unssa.c

66

pseudo_t p;

usr/src/tools/smatch/src/unssa.c

79

pseudo_t src;