/illumos-gate/usr/src/tools/smatch/src/ |
H A D | linearize.h | 16 pseudo_t *userp; 68 pseudo_t pseudo; 91 pseudo_t target; 97 pseudo_t cond; 101 pseudo_t _cond; 110 pseudo_t phi_src; 114 pseudo_t src; 126 pseudo_t base; 136 pseudo_t func; 201 static inline pseudo_t *add_pseudo(struct pseudo_list **list, pseudo_t pseudo) in add_pseudo() [all …]
|
H A D | linearize.c | 30 static pseudo_t add_binary_op(struct entrypoint *ep, struct symbol *ctype, int op, pseudo_t left, p… 413 pseudo_t phi; in show_instruction() 874 pseudo_t phi; in alloc_phi_node() 972 pseudo_t new; in add_load() 1045 pseudo_t src2; in taint_undefined_behaviour() 1119 pseudo_t new; in linearize_load_gen() 1419 pseudo_t zero; in add_convert_to_bool() 1440 pseudo_t dst; in linearize_expression_to_bool() 1617 pseudo_t phi1, pseudo_t phi2) in add_join_conditional() 1821 pseudo_t src; in linearize_cast() [all …]
|
H A D | liveness.c | 19 pseudo_t phi; in phi_defines() 32 void (*def)(struct basic_block *, pseudo_t), in asm_liveness() argument 33 void (*use)(struct basic_block *, pseudo_t)) in asm_liveness() 47 void (*def)(struct basic_block *, pseudo_t), in track_instruction_usage() argument 48 void (*use)(struct basic_block *, pseudo_t)) in track_instruction_usage() 50 pseudo_t pseudo; in track_instruction_usage() 172 pseudo_t needs; in track_bb_liveness() 227 pseudo_t def; in track_pseudo_liveness() 244 pseudo_t pseudo; in merge_pseudo_list() 252 pseudo_t phi; in track_phi_uses() [all …]
|
H A D | simplify.c | 80 pseudo_t phi; in get_phisources() 103 pseudo_t p1, p2; in if_convert_phi() 191 pseudo_t phi; in trivial_phi() 197 pseudo_t src; in trivial_phi() 270 static inline void remove_usage(pseudo_t p, pseudo_t *usep) in remove_usage() 294 pseudo_t p; in kill_use_list() 393 static int dead_insn(struct instruction *insn, pseudo_t *src1, pseudo_t *src2, pseudo_t *src3) in dead_insn() 647 pseudo_t ora, pseudo_t orb) in simplify_mask_or_and() 1221 static int canonical_order(pseudo_t p1, pseudo_t p2) in canonical_order() 1406 pseudo_t src; in simplify_cast() [all …]
|
H A D | flow.h | 17 extern void kill_dead_stores(struct entrypoint *ep, pseudo_t addr, int local); 22 extern void convert_instruction_target(struct instruction *insn, pseudo_t src); 27 extern void kill_use(pseudo_t *); 28 extern void remove_use(pseudo_t *); 42 void convert_load_instruction(struct instruction *, pseudo_t); 44 int dominates(pseudo_t pseudo, struct instruction *insn, struct instruction *dom, int local); 47 extern int pseudo_in_list(struct pseudo_list *list, pseudo_t pseudo);
|
H A D | example.c | 141 pseudo_t cc_target; 383 pseudo_t pseudo; in flush_reg() 442 pseudo_t p; in mark_reg_dead() 526 pseudo_t p; in find_in_reg() 867 pseudo_t p; in kill_dead_reg() 908 pseudo_t p; in is_dead_reg() 1001 pseudo_t p; in kill_pseudo() 1119 pseudo_t arg; in generate_call() 1545 pseudo_t p; in fill_output() 1651 pseudo_t p; in generate_output_storage() [all …]
|
H A D | ssa.c | 99 pseudo_t val = NULL; in rewrite_local_var() 126 pseudo_t addr = store->src; in rewrite_single_store() 181 pseudo_t addr; in ssa_convert_one_var() 257 static pseudo_t lookup_var(struct basic_block *bb, struct symbol *var) in lookup_var() 260 pseudo_t val = phi_map_lookup(bb->phi_map, var); in lookup_var() 273 pseudo_t addr; in ssa_rename_insn() 274 pseudo_t val; in ssa_rename_insn() 321 static void mark_phi_used(pseudo_t val) in mark_phi_used() 348 pseudo_t val = lookup_var(par, var); in ssa_rename_phi() 349 pseudo_t phi = alloc_phi(par, val, var); in ssa_rename_phi() [all …]
|
H A D | unssa.c | 37 static int simplify_phi_node(struct instruction *phi, pseudo_t tmp) in simplify_phi_node() 39 pseudo_t target = phi->target; in simplify_phi_node() 41 pseudo_t src; in simplify_phi_node() 65 pseudo_t tmp; in replace_phi_node() 66 pseudo_t p; in replace_phi_node() 79 pseudo_t src; in replace_phi_node()
|
H A D | memops.c | 19 static int find_dominating_parents(pseudo_t pseudo, struct instruction *insn, in find_dominating_parents() 28 pseudo_t phi; in find_dominating_parents() 65 static int address_taken(pseudo_t pseudo) in address_taken() 78 static int local_pseudo(pseudo_t pseudo) in local_pseudo() 94 pseudo_t pseudo = insn->src; in simplify_loads() 138 pseudo_t phi; in simplify_loads() 158 pseudo_t pseudo = insn->src; in kill_dominated_stores() 193 pseudo_t pseudo; in simplify_memops()
|
H A D | flow.c | 50 static int pseudo_truth_value(pseudo_t pseudo) in pseudo_truth_value() 74 pseudo_t pseudo; in bb_depends_on() 119 pseudo_t phi; in try_to_simplify_bb() 132 pseudo_t pseudo; in try_to_simplify_bb() 198 pseudo_t cond = br->cond; in simplify_phi_branch() 286 pseudo_t target; in convert_instruction_target() 331 static inline int distinct_symbols(pseudo_t a, pseudo_t b) in distinct_symbols() 379 pseudo_t new, phi; in rewrite_load_instruction() 470 pseudo_t pseudo = insn->src; in check_access() 542 pseudo_t target = insn->target; in kill_defs() [all …]
|
H A D | storage.h | 46 pseudo_t pseudo; 58 struct storage *lookup_storage(struct basic_block *, pseudo_t, enum inout_enum); 59 void add_storage(struct storage *, struct basic_block *, pseudo_t, enum inout_enum);
|
H A D | sparse.c | 152 static void check_byte_count(struct instruction *insn, pseudo_t count) in check_byte_count() 166 static pseudo_t argument(struct instruction *call, unsigned int argno) in argument() 168 pseudo_t args[8]; in argument() 193 pseudo_t fn = insn->func; in check_call_instruction() 261 pseudo_t pseudo; in check_context()
|
H A D | storage.c | 24 static inline unsigned int storage_hash(struct basic_block *bb, pseudo_t pseudo, enum inout_enum in… in storage_hash() 88 struct storage *lookup_storage(struct basic_block *bb, pseudo_t pseudo, enum inout_enum inout) in lookup_storage() 100 void add_storage(struct storage *storage, struct basic_block *bb, pseudo_t pseudo, enum inout_enum … in add_storage() 220 pseudo_t pseudo; in set_up_bb_storage() 250 pseudo_t arg; in set_up_argument_storage()
|
H A D | ir.c | 11 pseudo_t p; in nbr_phi_operands() 29 pseudo_t phi; in check_phi_node() 62 static int check_user(struct instruction *insn, pseudo_t pseudo) in check_user()
|
H A D | cse.c | 25 static int phi_compare(pseudo_t phi1, pseudo_t phi2) in phi_compare() 105 pseudo_t phi; in cse_collect() 132 pseudo_t phi1, phi2; in phi_list_compare()
|
H A D | lib.h | 88 typedef struct pseudo *pseudo_t; typedef 290 static inline pseudo_t first_pseudo(struct pseudo_list *head) in first_pseudo()
|
H A D | optimize.c | 22 pseudo_t pseudo; in clear_symbol_pseudos()
|
H A D | sparse-llvm.c | 258 static const char *pseudo_name(pseudo_t pseudo, char *buf) in pseudo_name() 369 static LLVMValueRef pseudo_to_value(struct function *fn, struct symbol *ctype, pseudo_t pseudo) in pseudo_to_value() 403 static LLVMValueRef pseudo_to_rvalue(struct function *fn, struct symbol *ctype, pseudo_t pseudo) in pseudo_to_rvalue() 460 static LLVMValueRef get_operand(struct function *fn, struct symbol *ctype, pseudo_t pseudo) in get_operand() 471 static LLVMValueRef get_ioperand(struct function *fn, struct symbol *ctype, pseudo_t pseudo) in get_ioperand() 674 pseudo_t pseudo = insn->src; in output_op_ret()
|
H A D | symbol.h | 202 pseudo_t pseudo;
|
/illumos-gate/usr/src/tools/smatch/src/Documentation/ |
H A D | IR.rst | 16 * .src1, .src2, .src3: (pseudo_t) operands of binops or ternary ops. 17 * .src: (pseudo_t) operand of unary ops (alias for .src1). 18 * .target: (pseudo_t) result of unary, binary & ternary ops, is 20 * .cond: (pseudo_t) input operands for condition (alias .src/.src1) 371 * .func: (pseudo_t) the function (can be a symbol or a "register", 384 * .func: (pseudo_t) the function (must be a symbol, alias .src)) 392 * .base: (pseudo_t) aggregate (alias .src)
|