]>
Commit | Line | Data |
---|---|---|
48e1416a | 1 | /* Initialization of uninitialized regs. |
d353bf18 | 2 | Copyright (C) 2007-2015 Free Software Foundation, Inc. |
3072d30e | 3 | |
4 | This file is part of GCC. | |
5 | ||
6 | GCC is free software; you can redistribute it and/or modify it under | |
7 | the terms of the GNU General Public License as published by the Free | |
8c4c00c1 | 8 | Software Foundation; either version 3, or (at your option) any later |
3072d30e | 9 | version. |
10 | ||
11 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
12 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
13 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
14 | for more details. | |
15 | ||
16 | You should have received a copy of the GNU General Public License | |
8c4c00c1 | 17 | along with GCC; see the file COPYING3. If not see |
18 | <http://www.gnu.org/licenses/>. */ | |
3072d30e | 19 | |
20 | #include "config.h" | |
21 | #include "system.h" | |
22 | #include "coretypes.h" | |
9ef16211 | 23 | #include "backend.h" |
3072d30e | 24 | #include "rtl.h" |
7c29e30e | 25 | #include "tree.h" |
9ef16211 | 26 | #include "df.h" |
7c29e30e | 27 | #include "expmed.h" |
28 | #include "insn-config.h" | |
3072d30e | 29 | #include "regs.h" |
7c29e30e | 30 | #include "emit-rtl.h" |
31 | #include "alias.h" | |
d53441c8 | 32 | #include "flags.h" |
d53441c8 | 33 | #include "dojump.h" |
34 | #include "explow.h" | |
35 | #include "calls.h" | |
d53441c8 | 36 | #include "varasm.h" |
37 | #include "stmt.h" | |
3072d30e | 38 | #include "expr.h" |
39 | #include "tree-pass.h" | |
3072d30e | 40 | |
41 | /* Check all of the uses of pseudo variables. If any use that is MUST | |
42 | uninitialized, add a store of 0 immediately before it. For | |
43 | subregs, this makes combine happy. For full word regs, this makes | |
44 | other optimizations, like the register allocator and the reg-stack | |
45 | happy as well as papers over some problems on the arm and other | |
46 | processors where certain isa constraints cannot be handled by gcc. | |
47 | These are of the form where two operands to an insn my not be the | |
48 | same. The ra will only make them the same if they do not | |
49 | interfere, and this can only happen if one is not initialized. | |
50 | ||
51 | There is also the unfortunate consequence that this may mask some | |
52 | buggy programs where people forget to initialize stack variable. | |
53 | Any programmer with half a brain would look at the uninitialized | |
54 | variable warnings. */ | |
55 | ||
56 | static void | |
57 | initialize_uninitialized_regs (void) | |
58 | { | |
59 | basic_block bb; | |
60 | bitmap already_genned = BITMAP_ALLOC (NULL); | |
61 | ||
deb2741b | 62 | if (optimize == 1) |
63 | { | |
64 | df_live_add_problem (); | |
65 | df_live_set_all_dirty (); | |
66 | } | |
67 | ||
3072d30e | 68 | df_analyze (); |
69 | ||
fc00614f | 70 | FOR_EACH_BB_FN (bb, cfun) |
3072d30e | 71 | { |
570df417 | 72 | rtx_insn *insn; |
3072d30e | 73 | bitmap lr = DF_LR_IN (bb); |
74 | bitmap ur = DF_LIVE_IN (bb); | |
75 | bitmap_clear (already_genned); | |
76 | ||
77 | FOR_BB_INSNS (bb, insn) | |
78 | { | |
be10bb5a | 79 | df_ref use; |
9845d120 | 80 | if (!NONDEBUG_INSN_P (insn)) |
3072d30e | 81 | continue; |
82 | ||
be10bb5a | 83 | FOR_EACH_INSN_USE (use, insn) |
3072d30e | 84 | { |
3072d30e | 85 | unsigned int regno = DF_REF_REGNO (use); |
86 | ||
87 | /* Only do this for the pseudos. */ | |
88 | if (regno < FIRST_PSEUDO_REGISTER) | |
89 | continue; | |
90 | ||
a9d8ab38 | 91 | /* Ignore pseudo PIC register. */ |
92 | if (pic_offset_table_rtx | |
93 | && regno == REGNO (pic_offset_table_rtx)) | |
94 | continue; | |
95 | ||
3072d30e | 96 | /* Do not generate multiple moves for the same regno. |
97 | This is common for sequences of subreg operations. | |
98 | They would be deleted during combine but there is no | |
99 | reason to churn the system. */ | |
100 | if (bitmap_bit_p (already_genned, regno)) | |
101 | continue; | |
102 | ||
103 | /* A use is MUST uninitialized if it reaches the top of | |
104 | the block from the inside of the block (the lr test) | |
105 | and no def for it reaches the top of the block from | |
106 | outside of the block (the ur test). */ | |
107 | if (bitmap_bit_p (lr, regno) | |
108 | && (!bitmap_bit_p (ur, regno))) | |
109 | { | |
570df417 | 110 | rtx_insn *move_insn; |
3072d30e | 111 | rtx reg = DF_REF_REAL_REG (use); |
112 | ||
48e1416a | 113 | bitmap_set_bit (already_genned, regno); |
3072d30e | 114 | |
115 | start_sequence (); | |
116 | emit_move_insn (reg, CONST0_RTX (GET_MODE (reg))); | |
117 | move_insn = get_insns (); | |
118 | end_sequence (); | |
4d9a38ce | 119 | emit_insn_before (move_insn, insn); |
3072d30e | 120 | if (dump_file) |
48e1416a | 121 | fprintf (dump_file, |
122 | "adding initialization in %s of reg %d at in block %d for insn %d.\n", | |
be10bb5a | 123 | current_function_name (), regno, bb->index, |
124 | INSN_UID (insn)); | |
3072d30e | 125 | } |
126 | } | |
127 | } | |
128 | } | |
129 | ||
deb2741b | 130 | if (optimize == 1) |
dea7b504 | 131 | { |
48e1416a | 132 | if (dump_file) |
dea7b504 | 133 | df_dump (dump_file); |
134 | df_remove_problem (df_live); | |
135 | } | |
deb2741b | 136 | |
3072d30e | 137 | BITMAP_FREE (already_genned); |
138 | } | |
139 | ||
7620bc82 | 140 | namespace { |
141 | ||
142 | const pass_data pass_data_initialize_regs = | |
3072d30e | 143 | { |
cbe8bda8 | 144 | RTL_PASS, /* type */ |
145 | "init-regs", /* name */ | |
146 | OPTGROUP_NONE, /* optinfo_flags */ | |
cbe8bda8 | 147 | TV_NONE, /* tv_id */ |
148 | 0, /* properties_required */ | |
149 | 0, /* properties_provided */ | |
150 | 0, /* properties_destroyed */ | |
151 | 0, /* todo_flags_start */ | |
152 | TODO_df_finish, /* todo_flags_finish */ | |
3072d30e | 153 | }; |
cbe8bda8 | 154 | |
7620bc82 | 155 | class pass_initialize_regs : public rtl_opt_pass |
cbe8bda8 | 156 | { |
157 | public: | |
9af5ce0c | 158 | pass_initialize_regs (gcc::context *ctxt) |
159 | : rtl_opt_pass (pass_data_initialize_regs, ctxt) | |
cbe8bda8 | 160 | {} |
161 | ||
162 | /* opt_pass methods: */ | |
31315c24 | 163 | virtual bool gate (function *) { return optimize > 0; } |
65b0537f | 164 | virtual unsigned int execute (function *) |
165 | { | |
166 | initialize_uninitialized_regs (); | |
167 | return 0; | |
168 | } | |
cbe8bda8 | 169 | |
170 | }; // class pass_initialize_regs | |
171 | ||
7620bc82 | 172 | } // anon namespace |
173 | ||
cbe8bda8 | 174 | rtl_opt_pass * |
175 | make_pass_initialize_regs (gcc::context *ctxt) | |
176 | { | |
177 | return new pass_initialize_regs (ctxt); | |
178 | } |