diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-04-26 19:14:08 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-02-13 00:15:29 +0100 |
| commit | f5a6877758aa1ee86a41bdecaa2747e88d74aaef (patch) | |
| tree | 9bfe747d021856f0bded8b40d2c9cbda52c5fc7c | |
| parent | a407894e929b1061ee17e8cb175dd846b8af7071 (diff) | |
| download | sparse-dev-f5a6877758aa1ee86a41bdecaa2747e88d74aaef.tar.gz | |
let kill_instruction() report if changes were made
This let us take others actions if no changes have been made
and allow simpler call to this function since its effect on
'repeat_phase' can be directly returned.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
| -rw-r--r-- | flow.h | 10 | ||||
| -rw-r--r-- | simplify.c | 17 |
2 files changed, 13 insertions, 14 deletions
@@ -26,14 +26,14 @@ extern void kill_bb(struct basic_block *); extern void kill_use(pseudo_t *); extern void kill_unreachable_bbs(struct entrypoint *ep); -extern void kill_insn(struct instruction *, int force); -static inline void kill_instruction(struct instruction *insn) +extern int kill_insn(struct instruction *, int force); +static inline int kill_instruction(struct instruction *insn) { - kill_insn(insn, 0); + return kill_insn(insn, 0); } -static inline void kill_instruction_force(struct instruction *insn) +static inline int kill_instruction_force(struct instruction *insn) { - kill_insn(insn, 1); + return kill_insn(insn, 1); } void check_access(struct instruction *insn); @@ -221,10 +221,10 @@ static void kill_use_list(struct pseudo_list *list) * the function does that unconditionally (must only be used * for unreachable instructions. */ -void kill_insn(struct instruction *insn, int force) +int kill_insn(struct instruction *insn, int force) { if (!insn || !insn->bb) - return; + return 0; switch (insn->opcode) { case OP_SEL: @@ -266,9 +266,9 @@ void kill_insn(struct instruction *insn, int force) if (!force) { /* a "pure" function can be killed too */ if (!(insn->func->type == PSEUDO_SYM)) - return; + return 0; if (!(insn->func->sym->ctype.modifiers & MOD_PURE)) - return; + return 0; } kill_use_list(insn->arguments); if (insn->func->type == PSEUDO_REG) @@ -277,20 +277,20 @@ void kill_insn(struct instruction *insn, int force) case OP_LOAD: if (!force && insn->type->ctype.modifiers & MOD_VOLATILE) - return; + return 0; kill_use(&insn->src); break; case OP_STORE: if (!force) - return; + return 0; kill_use(&insn->src); kill_use(&insn->target); break; case OP_ENTRY: /* ignore */ - return; + return 0; case OP_BR: case OP_SETFVAL: @@ -299,8 +299,7 @@ void kill_insn(struct instruction *insn, int force) } insn->bb = NULL; - repeat_phase |= REPEAT_CSE; - return; + return repeat_phase |= REPEAT_CSE; } /* |