OSDN Git Service

PR c/448
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
2
3         PR c/448
4         * Makefile.in (USE_GCC_STDINT): Define.
5         (stmp-int-hdrs): Install stdint.h if applicable.
6         * c-common.c (CHAR16_TYPE): Define in terms of UINT_LEAST16_TYPE
7         if known.
8         (CHAR32_TYPE): Define in terms of UINT_LEAST32_TYPE if known.
9         (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, INT32_TYPE, INT64_TYPE,
10         UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, UINT64_TYPE,
11         INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
12         INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
13         UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
14         INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
15         UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
16         UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Define.
17         (c_common_nodes_and_builtins): Initialize
18         underlying_wchar_type_node.  Do not initialize
19         signed_wchar_type_node or unsigned_wchar_type_node.  Initialize
20         nodes for new types.
21         (c_stddef_cpp_builtins): Define macros for new types.
22         * c-common.h (CTI_SIGNED_WCHAR_TYPE, CTI_UNSIGNED_WCHAR_TYPE):
23         Remove.
24         (CTI_UNDERLYING_WCHAR_TYPE, CTI_SIG_ATOMIC_TYPE, CTI_INT8_TYPE,
25         CTI_INT16_TYPE, CTI_INT32_TYPE, CTI_INT64_TYPE, CTI_UINT8_TYPE,
26         CTI_UINT16_TYPE, CTI_UINT32_TYPE, CTI_UINT64_TYPE,
27         CTI_INT_LEAST8_TYPE, CTI_INT_LEAST16_TYPE, CTI_INT_LEAST32_TYPE,
28         CTI_INT_LEAST64_TYPE, CTI_UINT_LEAST8_TYPE, CTI_UINT_LEAST16_TYPE,
29         CTI_UINT_LEAST32_TYPE, CTI_UINT_LEAST64_TYPE, CTI_INT_FAST8_TYPE,
30         CTI_INT_FAST16_TYPE, CTI_INT_FAST32_TYPE, CTI_INT_FAST64_TYPE,
31         CTI_UINT_FAST8_TYPE, CTI_UINT_FAST16_TYPE, CTI_UINT_FAST32_TYPE,
32         CTI_UINT_FAST64_TYPE, CTI_INTPTR_TYPE, CTI_UINTPTR_TYPE): Define.
33         (signed_wchar_type_node, unsigned_wchar_type_node): Remove.
34         (underlying_wchar_type_node, sig_atomic_type_node, int8_type_node,
35         int16_type_node, int32_type_node, int64_type_node,
36         uint8_type_node, uint16_type_node, c_uint32_type_node,
37         c_uint64_type_node, int_least8_type_node, int_least16_type_node,
38         int_least32_type_node, int_least64_type_node,
39         uint_least8_type_node, uint_least16_type_node,
40         uint_least32_type_node, uint_least64_type_node,
41         int_fast8_type_node, int_fast16_type_node, int_fast32_type_node,
42         int_fast64_type_node, uint_fast8_type_node, uint_fast16_type_node,
43         uint_fast32_type_node, uint_fast64_type_node, intptr_type_node,
44         uintptr_type_node): Define.
45         * c-cppbuiltin.c (builtin_define_constants,
46         builtin_define_type_minmax): New.
47         (builtin_define_stdint_macros): Define more macros.
48         (c_cpp_builtins): Define more limit macros.
49         (type_suffix): New.
50         (builtin_define_type_max): Define in terms of
51         builtin_define_type_minmax.  Remove is_long parameter.  All
52         callers changed.
53         * config.gcc (use_gcc_stdint): Define.
54         (tm_file): Add glibc-stdint.h for targets using glibc or uClibc.
55         Add newlib-stdint.h for generic targets.
56         * config/glibc-stdint.h, config/newlib-stdint.h,
57         ginclude/stdint-gcc.h, ginclude/stdint-wrap.h: New.
58         * config/m32c/m32c.h (UINTPTR_TYPE): Define.
59         * config/score/score.h (UINTPTR_TYPE): Define.
60         * config/sol2.h (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE,
61         INT32_TYPE, INT64_TYPE, UINT8_TYPE, UINT16_TYPE, UINT32_TYPE,
62         UINT64_TYPE, INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
63         INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
64         UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
65         INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
66         UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
67         UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Define.
68         * config/spu/spu.h (STDINT_LONG32): Define.
69         * configure.ac (use_gcc_stdint): Substitute.
70         * configure: Regenerate.
71         * doc/cpp.texi (__SIG_ATOMIC_TYPE__, __INT8_TYPE__,
72         __INT16_TYPE__, __INT32_TYPE__, __INT64_TYPE__, __UINT8_TYPE__,
73         __UINT16_TYPE__, __UINT32_TYPE__, __UINT64_TYPE__,
74         __INT_LEAST8_TYPE__, __INT_LEAST16_TYPE__, __INT_LEAST32_TYPE__,
75         __INT_LEAST64_TYPE__, __UINT_LEAST8_TYPE__, __UINT_LEAST16_TYPE__,
76         __UINT_LEAST32_TYPE_, __UINT_LEAST64_TYPE__, __INT_FAST8_TYPE__,
77         __INT_FAST16_TYPE__, __INT_FAST32_TYPE__, __INT_FAST64_TYPE__,
78         __UINT_FAST8_TYPE__, __UINT_FAST16_TYPE__, __UINT_FAST32_TYPE__,
79         __UINT_FAST64_TYPE__, __INTPTR_TYPE__, __UINTPTR_TYPE__,
80         __WINT_MAX__, __SIZE_MAX__, __PTRDIFF_MAX__, __UINTMAX_MAX__,
81         __SIG_ATOMIC_MAX__, __INT8_MAX__, __INT16_MAX__, __INT32_MAX__,
82         __INT64_MAX__, __UINT8_MAX__, __UINT16_MAX__, __UINT32_MAX__,
83         __UINT64_MAX__, __INT_LEAST8_MAX__, __INT_LEAST16_MAX__,
84         __INT_LEAST32_MAX__, __INT_LEAST64_MAX__, __UINT_LEAST8_MAX__,
85         __UINT_LEAST16_MAX__, __UINT_LEAST32_MAX__, __UINT_LEAST64_MAX__,
86         __INT_FAST8_MAX__, __INT_FAST16_MAX__, __INT_FAST32_MAX__,
87         __INT_FAST64_MAX__, __UINT_FAST8_MAX__, __UINT_FAST16_MAX__,
88         __UINT_FAST32_MAX__, __UINT_FAST64_MAX__, __INTPTR_MAX__,
89         __UINTPTR_MAX__, __WCHAR_MIN__, __WINT_MIN__, __SIG_ATOMIC_MIN__,
90         __INT8_C, __INT16_C, __INT32_C, __INT64_C, __UINT8_C, __UINT16_C,
91         __UINT32_C, __UINT64_C, __INTMAX_C, __UINTMAX_C): Document.
92         * doc/tm.texi (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, INT32_TYPE,
93         INT64_TYPE, UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, UINT64_TYPE,
94         INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
95         INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
96         UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
97         INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
98         UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
99         UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Document.
100
101 2009-03-31  Bernd Schmidt  <bernd.schmidt@analog.com>
102
103         * loop-iv.c (suitable_set_for_replacement): Renamed from
104         simplify_using_assignment; changed to return bool and to accept new
105         args DEST and SRC.  Return true iff we find a source/destination pair
106         that can be used to make a replacement, and fill SRC and DEST if so.
107         Remove arg ALTERED.  Don't deal with altered regs here.  All callers
108         changed.
109         (simplify_using_initial_values): Deal with altered regs here and track
110         more precisely the effect they have on the validity of our expression.
111
112         * loop-iv.c (simplify_using_condition): A condition of the form
113         (EQ REG CONST) can be used to simply make a substitution.
114         (simplify_using_initial_values): Keep track of conditions we have seen
115         and keep using them to simplify new expressions, while applying the
116         same substitutions to them as to the expression.
117
118         * simplify-rtx.c (simplify_relational_operation_1): Simplify
119         (LTU (PLUS a C) C) or (LTU (PLUS a C) a) to (GEU a -C); likewise with
120         GEU/LTU reversed.
121
122         * loop-iv.c (determine_max_iter): New arg OLD_NITER.  All callers
123         changed.  Use this when trying to improve the upper bound.
124         Generate the comparison by using simplify_gen_relational.
125
126         * loop-iv.c (simple_rhs_p): Allow more kinds of expressions.
127
128         * loop-iv.c (replace_single_def_regs, replace_in_expr): New static
129         functions.
130         (simplify_using_assignment, simplify_using_initial_values): Call 
131         replace_in_expr to make replacements.  Call replace_single_def_regs
132         once on the initial version of the expression.
133
134 2009-03-31  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
135
136         PR target/27237
137         * doc/invoke.texi (ARM Options): Update documentation for -mthumb.
138         
139 2009-03-31  Richard Guenther  <rguenther@suse.de>
140
141         PR middle-end/31029
142         * fold-const.c (fold_binary): Fold X +- Y CMP X to Y CMP 0 for
143         equality comparisons.  Fold C - X CMP X if C % 2 == 1.
144
145 2009-03-31  Richard Guenther  <rguenther@suse.de>
146
147         * tree.h (div_if_zero_remainder): Declare.
148         * fold-const.c (div_if_zero_remainder): Export.
149         * tree-ssa-forwprop.c
150         (forward_propagate_addr_into_variable_array_index): Handle
151         constant array index addition outside of the variable index.
152
153 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
154
155         PR target/39592
156         * config/i386/i386.md (*floatunssi<mode>2_1, two unnamed
157         define_splits, floatunssi<mode>2): Require x87 conversions from
158         DImode to be permitted.
159
160 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
161
162         PR preprocessor/15638
163         * c-common.c (c_cpp_error): Handle CPP_DL_FATAL.
164
165 2009-03-31  Richard Guenther  <rguenther@suse.de>
166
167         PR middle-end/23401
168         PR middle-end/27810
169         * tree.h (DECL_GIMPLE_FORMAL_TEMP_P): Remove.
170         (struct tree_decl_with_vis): Remove gimple_formal_temp member.
171         * tree-eh.c (lower_eh_constructs_2): Move LHS assignment to
172         a separate statement.
173         * gimplify.c (pop_gimplify_context): Remove formal temp handling.
174         (lookup_tmp_var): Likewise.
175         (is_gimple_formal_tmp_or_call_rhs): Remove.
176         (is_gimple_reg_or_call_rhs): Rename to ...
177         (is_gimple_reg_rhs_or_call): ... this.
178         (is_gimple_mem_or_call_rhs): Rename to ...
179         (is_gimple_mem_rhs_or_call): ... this.
180         (internal_get_tmp_var): Use is_gimple_reg_rhs_or_call.  Set
181         DECL_GIMPLE_REG_P only if is_formal is true.
182         (gimplify_compound_lval): Use is_gimple_reg.  Remove workaround
183         for non-proper post-modify expression gimplification.
184         (gimplify_self_mod_expr): For post-modify expressions gimplify
185         the lvalue to a minimal lvalue.
186         (rhs_predicate_for): Remove formal temp case.
187         (gimplify_modify_expr_rhs): Likewise.
188         (gimplify_addr_expr): Use is_gimple_reg.
189         (gimplify_expr): Remove formal temp cases.
190         (gimple_regimplify_operands): Likewise.
191         * tree-ssa-pre.c (get_or_alloc_expr_for): Treat EXC_PTR_EXPR
192         and FILTER_EXPR like constants.
193         * gimple.c (walk_gimple_op): Fix val_only initialization, use
194         is_gimple_reg.
195         (is_gimple_formal_tmp_rhs): Remove.
196         (is_gimple_reg_rhs): Remove special casing.
197         (is_gimple_mem_rhs): Fix.
198         (is_gimple_reg): Move DECL_GIMPLE_REG_P handling earlier.
199         (is_gimple_formal_tmp_var): Remove.
200         (is_gimple_formal_tmp_reg): Likewise.
201         (is_gimple_min_lval): Allow invariant component ref parts.
202         * gimple.h (is_gimple_formal_tmp_rhs, is_gimple_formal_tmp_var,
203         is_gimple_formal_tmp_reg): Remove declarations.
204         * tree-cfg.c (verify_expr): Verify that variables with address
205         taken do not have DECL_GIMPLE_REG_P set.
206         * tree-mudflap.c (mf_build_check_statement_for): Use
207         force_gimple_operand instead of gimplify_expr.
208
209 2009-03-31  Ayal Zaks  <zaks@il.ibm.com>
210
211         * modulo-sched.c (sms_schedule_by_order): Pass the actual
212         schedulable rows to compute_split_row.
213
214 2009-03-31  Ben Elliston  <bje@au.ibm.com>
215
216         PR target/31635
217         * config/rs6000/rs6000.c (rs6000_handle_option): Handle
218         OPT_mvrsave.
219
220 2009-03-31  Alan Modra  <amodra@bigpond.net.au>
221
222         * doc/invoke.texi (RS/6000 and PowerPC Options):Document mtls-markers.
223         * configure.ac (HAVE_AS_TLS_MARKERS): New gas feature check.
224         * configure: Regenerate.
225         * config.in: Regenerate.
226         * config/rs6000/rs6000.opt (mtls-markers): Add.
227         * config/rs6000/rs6000.h (TARGET_TLS_MARKERS): Define.
228         * config/rs6000/rs6000.md (tls_gd_aix, tls_gd_sysv): Add splitter.
229         (tls_ld_aix, tls_ld_sysv): Likewise.
230         (tls_gd, tls_gd_call_aix, tls_gd_call_sysv): New insns.
231         (tls_ld, tls_ld_call_aix, tls_ld_call_sysv): Likewise.
232
233 2009-03-31  Alan Modra  <amodra@bigpond.net.au>
234
235         * config/spu/spu.c (spu_expand_prologue): Delete redundant code.
236
237 2009-03-30  Jan Hubicka  <jh@suse.cz>
238
239         * tree-eh.c (make_eh_edges): Set probability 100% to first edge
240         out of RESX.
241         (tree_remove_unreachable_handlers): Cleanup EH predecestor
242         detection and label handling.
243
244 2009-03-30  Vladimir Makarov  <vmakarov@redhat.com>
245
246         * ira-int.h (ira_allocno): Rename left_conflicts_num to
247         left_conflicts_size.
248         (ALLOCNO_LEFT_CONFLICTS_NUM): Rename to
249         ALLOCNO_LEFT_CONFLICTS_SIZE.
250
251         * ira-color.c (allocno_spill_priority, push_allocno_to_stack,
252         remove_allocno_from_bucket_and_push,
253         allocno_spill_priority_compare, push_allocnos_to_stack,
254         setup_allocno_available_regs_num): Use ALLOCNO_LEFT_CONFLICTS_SIZE
255         instead of ALLOCNO_LEFT_CONFLICTS_NUM.
256         (setup_allocno_left_conflicts_num): Ditto.  Rename to
257         setup_allocno_left_conflicts_size.
258         (put_allocno_into_bucket): Use ALLOCNO_LEFT_CONFLICTS_SIZE
259         instead of ALLOCNO_LEFT_CONFLICTS_NUM and
260         setup_allocno_left_conflicts_size instead of
261         setup_allocno_left_conflicts_num.
262
263         * ira-build.c (ira_create_allocno): Use
264         ALLOCNO_LEFT_CONFLICTS_SIZE instead of
265         ALLOCNO_LEFT_CONFLICTS_NUM.
266                 
267 2009-03-30  Vladimir Makarov  <vmakarov@redhat.com>
268
269         * reload.c (push_reload, find_dummy_reload): Use df_get_live_out
270         instead of DF_LR_OUT.
271
272         * ira-lives.c (process_bb_node_lives): Ditto.
273
274         * ira-color.c (ira_loop_edge_freq): Use df_get_live_{out,in}
275         instead of DF_LR_{OUT,IN}.
276
277         * ira-emit.c (generate_edge_moves, add_ranges_and_copies): Ditto.
278
279         * ira-build.c (create_bb_allocnos, create_loop_allocnos): Ditto.
280
281 2009-03-30  Jan Hubicka  <jh@suse.cz>
282
283         * except.c (label_to_region_map): Fix thinko.
284
285 2009-03-30  Steve Ellcey  <sje@cup.hp.com>
286
287         PR middle-end/38237
288         * tree.h (tree_find_value): New declaration.
289         * tree.c (tree_find_value): New function.
290         * varasm.c (assemble_external): Avoid duplicate entries on lists.
291
292 2009-03-30  Jakub Jelinek  <jakub@redhat.com>
293
294         PR debug/39563
295         * c-decl.c (struct c_binding): Add locus field.
296         (bind): Add locus argument, set locus field from it.
297         (pop_scope): For b->nested VAR_DECL or FUNCTION_DECL,
298         add a DECL_EXTERNAL copy of b->decl to current BLOCK_VARS.
299         (push_file_scope, pushtag, pushdecl, pushdecl_top_level,
300         implicitly_declare, undeclared_variable, lookup_label,
301         declare_label, c_make_fname_decl, c_builtin_function,
302         c_builtin_function_ext_scope, store_parm_decls_newstyle): Adjust
303         bind callers.
304
305 2008-03-30  H.J. Lu  <hongjiu.lu@intel.com>
306
307         PR target/38781
308         * config/i386/i386.c (classify_argument): Check total size of
309         structure.
310
311 2009-03-30  Martin Jambor  <mjambor@suse.cz>
312
313         * ipa-prop.h (jump_func_type): Rename IPA_UNKNOWN, IPA_CONST,
314         IPA_CONST_MEMBER_PTR, and IPA_PASS_THROUGH to IPA_JF_UNKNOWN,
315         IPA_JF_CONST, IPA_JF_CONST_MEMBER_PTR, and IPA_JF_PASS_THROUGH
316         respectively.
317
318         * tree-dfa.c (get_ref_base_and_extent): Return -1 maxsize if
319         seen_variable_array_ref while also traversing a union.
320
321         * tree-inline.c (optimize_inline_calls): Do not call
322         cgraph_node_remove_callees.
323         * cgraphbuild.c (remove_cgraph_callee_edges): New function.
324         (pass_remove_cgraph_callee_edges): New variable.
325         * passes.c (init_optimization_passes): Add
326         pass_remove_cgraph_callee_edges after early inlining and before all
327         late intraprocedural passes.
328
329         * omp-low.c (expand_omp_taskreg): Always set current_function_decl.
330
331 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
332
333         * config/sparc/sparc.md (*nand<V64mode>_vis, *nand<V32mode>_vis):
334         Fix typos in names.
335
336 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
337
338         * combine.c (simplify_comparison): Use have_insn_for.
339         * dojump.c (do_jump): Likewise.
340
341 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
342
343         * config/sparc/sparc.c (sparc_compare_emitted): Remove.
344         (gen_compare_reg, emit_v9_brxx_insn): Handle MODE_CC
345         sparc_compare_op0 like sparc_compare_emitted used to be handled.
346         (sparc_expand_compare_and_swap_12): Set sparc_compare_op0
347         instead of sparc_compare_emitted.
348         * config/sparc/sparc.h (sparc_compare_emitted): Remove.
349         * config/sparc/sparc.md (stack_protect_test): Set sparc_compare_op0
350         instead of sparc_compare_emitted.
351
352 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
353
354         * bb-reorder.c (partition_hot_cold_basic_blocks): Do not
355         enter/exit cfglayout mode.
356         (pass_partition_block): Require it.
357         * combine.c (find_single_use, reg_dead_at_p): Use CFG.
358         (combine_instructions): Track basic blocks instead of labels.
359         (update_cfg_for_uncondjump): New.
360         (try_combine): Use it.  Update jumps after rescanning.
361         (pass_combine): Require PROP_cfglayout.
362         * passes.c (pass_outof_cfg_layout_mode): Move after regmove.
363
364 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
365
366         * cfglayout.c (pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode):
367         Provide/destroy PROP_cfglayout respectively.
368         * gcse.c (pass_jump_bypass, pass_gcse): Require it.
369         * tree-pass.h (PROP_cfglayout): New.
370
371 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
372
373         * fold-const.c (const_binop, fold_convert_const_real_from_fixed,
374         fold_convert_const_fixed_from_fixed,
375         fold_convert_const_fixed_from_int,
376         fold_convert_const_fixed_from_real, fold_negate_const): Do not
377         set TREE_CONSTANT_OVERFLOW.
378         * tree.def: Remove mention of TREE_CONSTANT_OVERFLOW.
379         * tree.h (TREE_CONSTANT_OVERFLOW): Delete.
380
381 2009-03-30  Ira Rosen  <irar@il.ibm.com>
382
383         * tree-vect-loop-manip.c: New file.
384         * tree-vectorizer.c: Update documentation and included files.
385         (vect_loop_location): Make extern.
386         (rename_use_op): Move to tree-vect-loop-manip.c
387         (rename_variables_in_bb, rename_variables_in_loop, 
388         slpeel_update_phis_for_duplicate_loop, 
389         slpeel_update_phi_nodes_for_guard1,
390         slpeel_update_phi_nodes_for_guard2, slpeel_make_loop_iterate_ntimes,
391         slpeel_tree_duplicate_loop_to_edge_cfg, slpeel_add_loop_guard,
392         slpeel_can_duplicate_loop_p, slpeel_verify_cfg_after_peeling,
393         set_prologue_iterations, slpeel_tree_peel_loop_to_edge, 
394         find_loop_location): Likewise.
395         (new_stmt_vec_info): Move to tree-vect-stmts.c.
396         (init_stmt_vec_info_vec, free_stmt_vec_info_vec, free_stmt_vec_info,
397         get_vectype_for_scalar_type, vect_is_simple_use,
398         supportable_widening_operation, supportable_narrowing_operation):
399         Likewise.
400         (bb_in_loop_p): Move to tree-vect-loop.c.
401         (new_loop_vec_info, destroy_loop_vec_info, 
402         reduction_code_for_scalar_code, report_vect_op, 
403         vect_is_simple_reduction, vect_is_simple_iv_evolution): Likewise.
404         (vect_can_force_dr_alignment_p): Move to tree-vect-data-refs.c.
405         (vect_supportable_dr_alignment): Likewise.
406         * tree-vectorizer.h (tree-data-ref.h): Include.
407         (vect_loop_location): Declare.
408         Reorganize function declarations according to the new file structure.
409         * tree-vect-loop.c: New file.
410         * tree-vect-analyze.c: Remove. Move functions to tree-vect-data-refs.c, 
411         tree-vect-stmts.c, tree-vect-slp.c, tree-vect-loop.c.
412         * tree-vect-data-refs.c: New file.
413         * tree-vect-patterns.c (timevar.h): Don't include.
414         * tree-vect-stmts.c: New file.
415         * tree-vect-transform.c: Remove. Move functions to tree-vect-stmts.c, 
416         tree-vect-slp.c, tree-vect-loop.c.
417         * Makefile.in (OBJS-common): Remove tree-vect-analyze.o and 
418         tree-vect-transform.o. Add tree-vect-data-refs.o, tree-vect-stmts.o, 
419         tree-vect-loop.o, tree-vect-loop-manip.o, tree-vect-slp.o.
420         (tree-vect-analyze.o): Remove.
421         (tree-vect-transform.o): Likewise.
422         (tree-vect-data-refs.o): Add rule.
423         (tree-vect-stmts.o, tree-vect-loop.o, tree-vect-loop-manip.o, 
424         tree-vect-slp.o): Likewise.
425         (tree-vect-patterns.o): Remove redundant dependencies.
426         (tree-vectorizer.o): Likewise.
427         * tree-vect-slp.c: New file.
428
429 2009-03-30  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
430
431         * optc-gen.awk: Warn if an option flag has multiple different
432         help strings.
433
434 2009-03-30  Sebastian Pop  <sebastian.pop@amd.com>
435
436         * doc/invoke.texi (-floop-interchange, -floop-strip-mine,
437         -floop-block): Document dependences on PPL, CLooG and Graphite.
438
439 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
440
441         PR rtl-optimization/323
442         * c-common.c (c_fully_fold, convert_and_check,
443         c_common_truthvalue_conversion): Handle EXCESS_PRECISION_EXPR.
444         (c_fully_fold_internal): Disallow EXCESS_PRECISION_EXPR.
445         * c-common.def (EXCESS_PRECISION_EXPR): New.
446         * c-cppbuiltin.c (builtin_define_float_constants): Define
447         constants with enough digits for long double.
448         * c-lex.c (interpret_float): Interpret constant with excess
449         precision where appropriate.
450         * c-opts.c (c_common_post_options): Set
451         flag_excess_precision_cmdline.  Give an error for
452         -fexcess-precision=standard for C++ for processors where the
453         option is significant.
454         * c-parser.c (c_parser_conditional_expression): Handle excess
455         precision in condition.
456         * c-typeck.c (convert_arguments): Handle arguments with excess
457         precision.
458         (build_unary_op): Move excess precision outside operation.
459         (build_conditional_expr): Likewise.
460         (build_compound_expr): Likewise.
461         (build_c_cast): Do cast on operand of EXCESS_PRECISION_EXPR.
462         (build_modify_expr): Handle excess precision in RHS.
463         (convert_for_assignment): Handle excess precision in converted
464         value.
465         (digest_init, output_init_element, process_init_element): Handle
466         excess precision in initializer.
467         (c_finish_return): Handle excess precision in return value.
468         (build_binary_op): Handle excess precision in operands and add
469         excess precision as needed for operation.
470         * common.opt (-fexcess-precision=): New option.
471         * config/i386/i386.h (X87_ENABLE_ARITH, X87_ENABLE_FLOAT): New.
472         * config/i386/i386.md (float<SSEMODEI24:mode><X87MODEF:mode>2):
473         For standard excess precision, output explicit conversion to and
474         truncation from XFmode.
475         (*float<SSEMODEI24:mode><X87MODEF:mode>2_1,
476         *float<SSEMODEI24:mode><X87MODEF:mode>2_i387_with_temp,
477         *float<SSEMODEI24:mode><X87MODEF:mode>2_i387, two unnamed
478         define_splits, floatdi<X87MODEF:mode>2_i387_with_xmm, two unnamed
479         define_splits, *floatunssi<mode>2_1, two unnamed define_splits,
480         floatunssi<mode>2, add<mode>3, sub<mode>3, mul<mode>3, divdf3,
481         divsf3, *fop_<mode>_comm_i387, *fop_<mode>_1_i387,
482         *fop_<MODEF:mode>_2_i387, *fop_<MODEF:mode>_3_i387,
483         *fop_df_4_i387, *fop_df_5_i387, *fop_df_6_i387, two unnamed
484         define_splits, sqrt<mode>2): Disable where appropriate for
485         standard excess precision.
486         * convert.c (convert_to_real): Do not shorten arithmetic to type
487         for which excess precision would be used.
488         * defaults.h (TARGET_FLT_EVAL_METHOD_NON_DEFAULT): Define.
489         * doc/invoke.texi (-fexcess-precision=): Document option.
490         (-mfpmath=): Correct index entry.
491         * flags.h (enum excess_precision, flag_excess_precision_cmdline,
492         flag_excess_precision): New.
493         * langhooks.c (lhd_post_options): Set
494         flag_excess_precision_cmdline.
495         * opts.c (common_handle_option): Handle -fexcess-precision=.
496         * toplev.c (flag_excess_precision_cmdline, flag_excess_precision,
497         init_excess_precision): New.
498         (lang_dependent_init_target): Call init_excess_precision.
499         * tree.c (excess_precision_type): New.
500         * tree.h (excess_precision_type): Declare.
501
502 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
503
504         PR c/35235
505         * c-typeck.c (build_component_ref): Do not copy qualifiers from
506         non-lvalue to component.
507
508 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
509
510         PR preprocessor/34695
511         * Makefile.in (c-opts.o): Depend on c-tree.h.
512         * c-common.c: Move down include of diagnostic.h.
513         (done_lexing, c_cpp_error): New.
514         * c-common.h (done_lexing): Declare.
515         * c-decl.c (c_write_global_declarations): Don't check cpp_errors
516         (parse_in).
517         * c-opts.c: Include c-tree.h.
518         (c_common_init_options): Set preprocessor error callback.
519         (c_common_handle_option): Do not set preprocessor
520         inhibit_warnings, warnings_are_errors, warn_system_headers,
521         pedantic_errors or inhibit_warnings flags.
522         (c_common_post_options): Do not check cpp_errors (parse_in).
523         (c_common_finish): Do not output dependencies if there were
524         errors.  Do not check return value of cpp_finish.
525         * c-ppoutput.c (pp_file_change): Set input_location.
526         * c-tree.h (c_cpp_error): Declare.
527         * diagnostic.c (diagnostic_set_info_translated): Also initialize
528         override_column.
529         (diagnostic_build_prefix): Check override_column.
530         * diagnostic.h (diagnostic_info): Add override_column field.
531         (diagnostic_override_column): Define.
532
533 2009-03-28  Paolo Bonzini  <bonzini@gnu.org>
534
535         * c-common.c (c_expand_expr, c_staticp): Remove.
536         * c-common.def (COMPOUND_LITERAL_EXPR): Delete.
537         * c-common.h (emit_local_var, c_staticp, COMPOUND_LITERAL_EXPR_DECL,
538         COMPOUND_LITERAL_EXPR_DECL_EXPR): Remove.
539         * c-gimplify.c (gimplify_compound_literal_expr,
540         optimize_compound_literals_in_ctor): Remove.
541         (c_gimplify_expr): Remove COMPOUND_LITERAL_EXPR handling.
542         * c-objc-common.h (LANG_HOOKS_STATICP): Remove.
543         * c-semantics.c (emit_local_var): Remove.
544
545         * langhooks-def.h (lhd_expand_expr): Remove.
546         * langhooks.c (lhd_expand_expr): Remove.
547         * langhooks.h (LANG_HOOKS_DEF): Remove LANG_HOOKS_EXPAND_EXPR.
548
549         * expr.c (expand_expr_real_1): Move COMPOUND_LITERAL_EXPR
550         handling from c-semantics.c; don't call into langhook.
551         (expand_expr_addr_expr_1): Check that we don't get non-GENERIC trees.
552         * gimplify.c (gimplify_compound_literal_expr,
553         optimize_compound_literals_in_ctor): Move from c-gimplify.c.
554         (gimplify_init_constructor): Call optimize_compound_literals_in_ctor.
555         (gimplify_modify_expr_rhs, gimplify_expr): Handle COMPOUND_LITERAL_EXPR
556         as was done in c-gimplify.c.
557         * tree.c (staticp): Move COMPOUND_LITERAL_EXPR handling from c_staticp.
558         * tree.h (COMPOUND_LITERAL_EXPR_DECL, COMPOUND_LITERAL_EXPR_DECL_EXPR):
559         Move from c-common.h.
560         * tree.def (COMPOUND_LITERAL_EXPR): Move from c-common.def.
561
562         * tree.c (staticp): Do not call langhook.
563         * langhooks.c (lhd_staticp): Delete.
564         * langhooks-def.h (lhd_staticp): Delete prototype.
565         (LANG_HOOKS_STATICP): Delete.
566         (LANG_HOOKS_INITIALIZER): Delete LANG_HOOKS_STATICP.
567
568         * doc/c-tree.texi (Expression nodes): Refer to DECL_EXPRs
569         instead of DECL_STMTs.
570
571 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
572
573         PR c/456
574         PR c/5675
575         PR c/19976
576         PR c/29116
577         PR c/31871
578         PR c/35198
579         * builtins.c (fold_builtin_sincos): Build COMPOUND_EXPR in
580         void_type_node.
581         (fold_call_expr): Return a NOP_EXPR from folding rather than the
582         contained expression.
583         * c-common.c (c_fully_fold, c_fully_fold_internal, c_save_expr): New.
584         (c_common_truthvalue_conversion): Use c_save_expr.  Do not fold
585         conditional expressions for C.
586         (decl_constant_value_for_optimization): Move from
587         decl_constant_value_for_broken_optimization in c-typeck.c.  Check
588         whether optimizing and that the expression is a VAR_DECL not of
589         array type instead of doing such checks in the caller.  Do not
590         check pedantic.  Call gcc_unreachable for C++.
591         * c-common.def (C_MAYBE_CONST_EXPR): New.
592         * c-common.h (c_fully_fold, c_save_expr,
593         decl_constant_value_for_optimization): New prototypes.
594         (C_MAYBE_CONST_EXPR_PRE, C_MAYBE_CONST_EXPR_EXPR,
595         C_MAYBE_CONST_EXPR_INT_OPERANDS, C_MAYBE_CONST_EXPR_NON_CONST,
596         EXPR_INT_CONST_OPERANDS): Define.
597         * c-convert.c (convert): Strip nops from expression.
598         * c-decl.c (groktypename): Take extra parameters expr and
599         expr_const_operands.  Update call to grokdeclarator.
600         (start_decl): Update call to grokdeclarator.  Add statement for
601         expressions used in type of decl.
602         (grokparm): Update call to grokdeclarator.
603         (push_parm_decl): Update call to grokdeclarator.
604         (build_compound_literal): Add parameter non_const and build a
605         C_MAYBE_COSNT_EXPR if applicable.
606         (grokdeclarator): Take extra parameters expr and
607         expr_const_operands.  Track expressions used in declaration
608         specifiers and declarators.  Fold array sizes and track whether
609         they are constant expressions and whether they are integer
610         constant expressions.
611         (parser_xref_tag): Set expr and expr_const_operands fields in
612         return value.
613         (grokfield): Update call to grokdeclarator.
614         (start_function): Update call to grokdeclarator.
615         (build_null_declspecs): Set expr and expr_const_operands fields in
616         return value.
617         (declspecs_add_type): Handle expressions in typeof specifiers.
618         * c-parser.c (c_parser_declspecs): Set expr and
619         expr_const_operands fields for declaration specifiers.
620         (c_parser_enum_specifier): Likewise.
621         (c_parser_struct_or_union_specifier): Likewise.
622         (c_parser_typeof_specifier): Likewise.  Update call to
623         groktypename.  Fold expression as needed.  Return expressions with
624         type instead of adding statements.
625         (c_parser_attributes): Update calls to c_parser_expr_list.
626         (c_parser_statement_after_labels): Fold expression before passing
627         to objc_build_throw_stmt.
628         (c_parser_condition): Fold expression.
629         (c_parser_asm_operands): Fold expression.
630         (c_parser_conditional_expression): Use c_save_expr.  Update call
631         to build_conditional_expr.
632         (c_parser_alignof_expression): Update call to groktypename.
633         (c_parser_postfix_expression): Preserve C_MAYBE_CONST_EXPR as
634         original_code.  Fold expression argument of va_arg.  Create
635         C_MAYBE_CONST_EXPR to preserve side effects of expressions in type
636         argument to va_arg.  Update calls to groktypename.  Fold array
637         index for offsetof.  Verify that first argument to
638         __builtin_choose_expr has integer type.
639         (c_parser_postfix_expression_after_paren_type): Update calls to
640         groktypename and build_compound_literal.  Handle expressions with
641         side effects in type name.
642         (c_parser_postfix_expression_after_primary): Update call to
643         c_parser_expr_list.  Set original_code for calls to
644         __builtin_constant_p.
645         (c_parser_expr_list): Take extra parameter fold_p.  Fold
646         expressions if requested.
647         (c_parser_objc_type_name): Update call to groktypename.
648         (c_parser_objc_synchronized_statement): Fold expression.
649         (c_parser_objc_receiver): Fold expression.
650         (c_parser_objc_keywordexpr): Update call to c_parser_expr_list.
651         (c_parser_omp_clause_num_threads, c_parser_omp_clause_schedule,
652         c_parser_omp_atomic, c_parser_omp_for_loop): Fold expressions.
653         * c-tree.h (CONSTRUCTOR_NON_CONST): Define.
654         (struct c_typespec): Add elements expr and expr_const_operands.
655         (struct c_declspecs): Add elements expr and expr_const_operands.
656         (groktypename, build_conditional_expr, build_compound_literal):
657         Update prototypes.
658         (in_late_binary_op): Declare.
659         * c-typeck.c (note_integer_operands): New function.
660         (in_late_binary_op): New variable.
661         (decl_constant_value_for_broken_optimization): Move to c-common.c
662         and rename to decl_constant_value_for_optimization.
663         (default_function_array_conversion): Do not strip nops.
664         (default_conversion): Do not call
665         decl_constant_value_for_broken_optimization.
666         (build_array_ref): Do not fold result.
667         (c_expr_sizeof_expr): Fold operand.  Use C_MAYBE_CONST_EXPR for
668         result when operand is a VLA.
669         (c_expr_sizeof_type): Update call to groktypename.  Handle
670         expressions included in type name.  Use C_MAYBE_CONST_EXPR for
671         result when operand names a VLA type.
672         (build_function_call): Update call to build_compound_literal.
673         Only fold result for calls to __builtin_* functions.  Strip
674         NOP_EXPR from INTEGER_CST returned from such functions.  Fold
675         the function designator.
676         (convert_arguments): Fold arguments.  Update call to
677         convert_for_assignment.
678         (build_unary_op): Handle increment and decrement of
679         C_MAYBE_CONST_EXPR.  Move lvalue checks for increment and
680         decrement earlier.  Fold operand of increment and decrement.
681         Handle address of C_MAYBE_CONST_EXPR.  Only fold expression being
682         built for integer operand.  Wrap returns that are INTEGER_CSTs
683         without being integer constant expressions or that have integer
684         constant operands without being INTEGER_CSTs.
685         (lvalue_p): Handle C_MAYBE_CONST_EXPR.
686         (build_conditional_expr): Add operand ifexp_bcp.  Track whether
687         result is an integer constant expression or can be used in
688         unevaluated parts of one and avoid folding and wrap as
689         appropriate.  Fold operands before possibly doing -Wsign-compare
690         warnings.
691         (build_compound_expr): Wrap result for C99 if operands can be used
692         in integer constant expressions.
693         (build_c_cast): Update call to digest_init.  Do not ignore
694         overflow from casting floating-point constants to integers.  Wrap
695         results that could be confused with integer constant expressions,
696         null pointer constants or floating-point constants.
697         (c_cast_expr): Update call to groktypename.  Handle expressions
698         included in type name.
699         (build_modify_expr): Handle modifying a C_MAYBE_CONST_EXPR.  Fold
700         lhs inside possible SAVE_EXPR.  Fold RHS before assignment.
701         Update calls to convert_for_assignment.
702         (convert_for_assignment): Take new parameter
703         null_pointer_constant.  Do not strip nops or call
704         decl_constant_value_for_broken_optimization.  Set
705         in_late_binary_op for conversions to boolean.
706         (store_init_value): Update call to digest_init.
707         (digest_init): Take new parameter null_pointer_constant.  Do not
708         call decl_constant_value_for_broken_optimization.  pedwarn for
709         initializers not constant expressions.  Update calls to
710         convert_for_assignment.
711         (constructor_nonconst): New.
712         (struct constructor_stack): Add nonconst element.
713         (really_start_incremental_init, push_init_level, pop_init_level):
714         Handle constructor_nonconst and nonconst element.
715         (set_init_index): Call constant_expression_warning for array
716         designators.
717         (output_init_element): Fold value.  Set constructor_nonconst as
718         applicable.  pedwarn for initializers not constant expressions.
719         Update call to digest_init.  Call constant_expression_warning
720         where constant initializers are required.
721         (process_init_element): Use c_save_expr.
722         (c_finish_goto_ptr): Fold expression.
723         (c_finish_return): Fold return value.  Update call to
724         convert_for_assignment.
725         (c_start_case): Fold switch expression.
726         (c_process_expr_stmt): Fold expression.
727         (c_finish_stmt_expr): Create C_MAYBE_CONST_EXPR as needed to
728         ensure statement expression is not evaluated in constant expression.
729         (build_binary_op): Track whether results are integer constant
730         expressions or may occur in such, disable folding and wrap results
731         as applicable.  Fold operands for -Wsign-compare warnings unless
732         in_late_binary_op.
733         (c_objc_common_truthvalue_conversion): Handle results folded to
734         integer constants that are not integer constant expressions.
735         * doc/extend.texi: Document when typeof operands are evaluated,
736         that condition of __builtin_choose_expr is an integer constant
737         expression, and more about use of __builtin_constant_p in
738         initializers.
739
740 2009-03-29  Richard Guenther  <rguenther@suse.de>
741
742         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Properly
743         propagate addresses of array references.
744
745 2009-03-29  Steven Bosscher  <steven@gcc.gnu.org>
746
747         * regmove.c (perhaps_ends_bb_p): Remove.
748         (optimize_reg_copy_1): Don't call perhaps_ends_bb_p.  Get basic block
749         from INSN and check that the main loop stays within that basic block.
750         (optimize_reg_copy_1, optimize_reg_copy_3, fixup_match_2): Likewise.
751         (regmove_forward_pass): Split out from regmove_optimize.  Use
752         FOR_EACH_BB and FOR_BB_INSNS instead of traversing the insns stream.
753         (regmove_backward_pass): Split out from regmove_optimize.  Use
754         FOR_EACH_BB_REVERSE and FOR_BB_INSNS_REVERS_SAFE.
755         (regmove_optimize): Simplify.
756
757 2009-03-29  H.J. Lu  <hongjiu.lu@intel.com>
758
759         PR target/39545
760         * config/i386/i386.c (classify_argument): Ignore flexible array
761         member in struct and warn ABI change.
762
763 2009-03-29  H.J. Lu  <hongjiu.lu@intel.com>
764
765         * config/i386/i386-protos.h (ix86_agi_dependent): New.
766
767         * config/i386/i386.c (ix86_agi_dependent): Rewrite.
768         (ix86_adjust_cost): Updated.
769
770 2009-03-29  Jan Hubicka  <jh@suse.cz>
771
772         PR middle-end/28850
773         * tree-pass.h (pass_cleanup_eh): New function.
774         (remove_unreachable_regions): Break code handling RTL
775         to rtl_remove_unreachable_regions; remove ERT_MUST_NOT_THROW
776         that can not be reached by runtime.
777         (can_be_reached_by_runtime): New function.
778         (label_to_region_map): New function.
779         (num_eh_regions): New function.
780         (rtl_remove_unreachable_regions): New function.
781         (convert_from_eh_region_ranges): Call rtl_remove_unreachable_regions.
782         (remove_eh_region): New function.
783         * except.h: Include sbitmap and vecprim.
784         (remove_eh_region, remove_unreachable_regions, label_to_region_map,
785         num_eh_regions): Declare.
786         * passes.c (init_optimization_passes): Schedule cleanup_eh.
787         * Makefile.in (EXCEPT_H): New; replace all uses of except.h by it.
788         * tree-eh.c (tree_remove_unreachable_handlers): New function.
789         (tree_empty_eh_handler_p): New function.
790         (cleanup_empty_eh): New function.
791         (cleanup_eh): New function.
792         (pass_cleanup_eh): New function.
793
794 2009-03-29  Jan Hubicka  <jh@suse.cz>
795
796         * except.c (verify_eh_tree): Fix handling of fun!=cfun; be ready
797         for removed regions.
798
799 2009-03-29  Jan Hubicka  <jh@suse.cz>
800
801         * except.c (dump_eh_tree): Dump all datastructures.
802
803 2009-03-29  Jan Hubicka  <jh@suse.cz>
804
805         * except.c (duplicate_eh_regions_0): Handle AKA bitmap.
806         (duplicate_eh_regions_1): Likewise.
807         (duplicate_eh_regions): Likewise; cleanup code gorwing the region
808         vector; call EH verification.
809         (foreach_reachable_handler, can_throw_internal_1, can_throw_external_1):
810         Be ready for region being removed.
811
812 2009-03-29  Jan Hubicka  <jh@suse.cz>
813
814         * bitmap.c (bitmap_last_set_bit): New function.
815         * bitmap.h (bitmap_last_set_bit): Declare.
816
817 2009-03-29  David Ayers  <ayers@fsfe.org>
818
819         PR objc/27377
820         * c-typeck.c (build_conditional_expr): Emit ObjC warnings
821         by calling objc_compare_types and surpress warnings about
822         incompatible C pointers that are compatible ObjC pointers.
823         
824 2009-03-29  Adam Nemet  <anemet@caviumnetworks.com>
825
826         * cgraphbuild.c (build_cgraph_edges, rebuild_cgraph_edges): Don't
827         call initialize_inline_failed.
828         (initialize_inline_failed): Move it from here ...
829         * cgraph.c (initialize_inline_failed): ... to here.
830         (cgraph_create_edge): Call initialize_inline_failed rather than
831         setting inline_failed directly.
832
833 2009-03-29  Ben Elliston  <bje@au.ibm.com>
834
835         PR target/32542
836         * sysv4.opt (msdata): Improve comment.
837         * linux64.h (ASM_SPEC32): Do not pass -memb when -msdata is given.
838         * sysv4.h (SVR4_ASM_SPEC): Likewise.
839
840 2009-03-29  Ben Elliston  <bje@au.ibm.com>
841
842         PR target/30451
843         * config/rs6000/rs6000.md (*movti_ppc64): Correct the order of
844         load and store attributes.
845
846 2009-03-29  Ben Elliston  <bje@au.ibm.com>
847
848         * config/i386/i386.c (enum ix86_builtins): Add IX86_BUILTIN_HUGE_VALQ.
849         (ix86_init_builtins): Add built-in function __builtin_huge_valq.
850         (ix86_expand_builtin): Handle IX86_BUILTIN_HUGE_VALQ.
851         * doc/extend.texi (X86 Built-in Functions): Add index entries for
852         __builtin_infq and __builtin_huge_valq.
853
854 2009-03-28  Anatoly Sokolov  <aesok@post.ru>
855
856         * config/avr/avr.c (avr_mcu_t): Add atmega8c1, atmega16c1 and
857         atmega8m1 devices.
858         * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
859         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.)
860
861 2009-03-28  Xinliang David Li  <davidxl@google.com>
862
863         * tree-ssa-ccp.c (ccp_finalize): Add dbg_count support. 
864         (do_dbg_cnt): New function.
865
866 2009-03-28  Jan Hubicka  <jh@suse.cz>
867
868         Merge from pretty-ipa:
869
870         2009-03-27  Jan Hubicka  <jh@suse.cz>
871
872         * cgraph.c (dump_cgraph_node): Add replace output flag by process.
873         * tree-pass.h (function_called_by_processed_nodes_p): Declare.
874         * passes.c (function_called_by_processed_nodes_p): New.
875         * ipa-pure-const.c (check_call): Fix handling of operands.
876         (analyze_function): Dump debug output for skipped bodies.
877         (local_pure_const): Use function_called_by_processed_nodes_p.
878         * dwarf2out.c (reference_to_unused): Use output.
879         * passes.c (do_per_function_toporder): Likewise.
880
881         2008-11-12  Jan Hubicka  <jh@suse.cz>
882
883         * tree-pass.h (pass_fixup_cfg, pass_local_pure_const): Declare.
884         * ipa-pure-const.c (funct_state_d): Add can throw field; make
885         state_set_in_source enum
886         (check_decl): Ignore memory tags; do not set fake looping flags;
887         dump diagnostics.
888         (check_operand, check_tree, check_rhs_var, check_lhs_var,
889         get_asm_expr_operands, scan_function_op, scan_function_stmt): Remove.
890         (check_call, analyze_function): Rewrite.
891         (check_stmt): New.
892         (add_new_function): Update call of analyze_function.
893         (generate_summary): Add call of analyze_function.
894         (propagate): Propagate can_throw; handle state_set_in_source correctly.
895         (local_pure_const): New function.
896         (pass_local_pure_const): New pass.
897         * ipa-inline.c (inline_transform): Set after_inlining.
898         * tree-eh.c (stmt_can_throw_external): New.
899         * tree-optimize.c (execute_fixup_cfg): Do not set after_inlining;
900         work with aliasing built.
901         * tree-flow.h (stmt_can_throw_external): New.
902         * passes.c (init_optimization_passes): Schedule fixup_cfg pass early;
903         and local pure/const pass in early and late optimization queue.
904
905 2009-03-28  Martin Jambor  <mjambor@suse.cz>
906
907         * fold-const.c (get_pointer_modulus_and_residue): New parameter
908         allow_func_align.
909         (fold_binary): Allow function decl aligment consideration is the
910         second argument is integer constant one.
911         * tree-ssa-forwprop.c (simplify_bitwise_and): New function.
912         (tree_ssa_forward_propagate_single_use_vars): Handle assing statements
913         with BIT_AND_EXPR on the RHS by calling simplify_bitwise_and.
914
915 2009-03-28  Jan Hubicka  <jh@suse.cz>
916
917         * dwarf2out.c (dwarf2out_begin_prologue): Use crtl->nothrow
918         * tree-eh.c (stmt_could_throw_p): Remove check for WEAK decls.
919         * function.h (rtl_data): Add nothrow flag.
920         * except.c (set_nothrow_function_flags): Use crtl->nothrow;
921         set DECL_NOTHROW for AVAILABLE functions.
922
923 2009-03-28  Jakub Jelinek  <jakub@redhat.com>
924
925         * config/rs6000/rs6000-c.c (rs6000_macro_to_expand): If macro
926         following vector keyword has expansion starting with pixel or bool
927         keyword, expand vector to __vector and pixel or bool to __pixel or
928         __bool.
929
930         PR c++/39554
931         * opts.c (warning_disallowed_functions, warn_disallowed_functions,
932         warn_if_disallowed_function_p): Removed.
933         (common_handle_option): Don't handle OPT_Wdisallowed_function_list_.
934         * c-parser.c (c_parser_postfix_expression_after_primary): Don't call
935         warning_if_disallowed_function_p.
936         * flags.h (warn_if_disallowed_function_p,
937         warn_disallowed_functions): Removed.
938         * common.opt (Wdisallowed-function-list=): Removed.
939         * doc/invoke.texi (-Wdisallowed-function-list=): Removed.
940
941 2009-03-28  Richard Guenther  <rguenther@suse.de>
942
943         PR tree-optimization/38723
944         * tree-ssa-pre.c (compute_avail): Add all default definitions to
945         the entry block.
946
947 2009-03-28  Jan Hubicka  <jh@suse.cz>
948
949         * tree-ssa-structalias.c (ipa_pta_execute): Fix bogus node->analyzed
950         test introduced by my previous patch.
951
952 2009-03-28  Richard Guenther  <rguenther@suse.de>
953
954         * tree-ssa-copy.c (copy_prop_visit_phi_node): Do not leave
955         the PHIs value undefined.
956
957 2009-03-28  Jan Hubicka  <jh@suse.cz>
958
959         * tree-pass.h (pass_fixup_cfg): New pass.
960         * ipa-inline.c (inline_transform): Set
961         always_inline_functions_inlined/after_inlining.
962         * tree-optimize.c (execute_fixup_cfg): Do not set them here.
963         (pass_fixup_cfg): New pass.
964         * passes.c (init_optimization_passes): Add fixup_cfg.
965
966 2009-03-28  Richard Guenther  <rguenther@suse.de>
967
968         PR tree-optimization/38458
969         * tree-ssa-copy.c (copy_prop_visit_phi_node): For the first
970         argument use the arguments copy-of value.
971
972 2009-03-28  Richard Guenther  <rguenther@suse.de>
973
974         PR tree-optimization/38180
975         * tree-ssa-ccp.c (get_default_value): Simplify.
976         (likely_value): Likewise.
977         (surely_varying_stmt_p): Properly handle VOP case.
978         (ccp_initialize): Likewise.
979         (ccp_fold): Handle propagating through *&.
980         (fold_const_aggregate_ref): Also handle decls.
981
982 2009-03-28  Jan Hubicka  <jh@suse.cz>
983
984         * cgraph.c (dump_cgraph_node): Add replace output flag by process.
985         * cgraph.h (cgraph_node): Likewise.
986         * cgraphunit.c (cgraph_process_new_functions): Set process flag.
987         (cgraph_reset_node): Use process flag.
988         (cgraph_mark_functions_to_output): Likewise.
989         (cgraph_expand_function): Likewise.
990         (cgraph_expand_all_functions): Likewise.
991         (cgraph_output_in_order): Likewise.
992         * dwarf2out.c (reference_to_unused): Likewise.
993         * passes.c do_per_function_toporder): Likewise.
994
995 2009-03-28  Jan Hubicka  <jh@suse.cz>
996
997         Bring from lto-branch:
998
999         2008-09-03  Doug Kwan  <dougkwan@google.com>
1000
1001         * cgraphbuild.c (initialize_inline_failed): Use cgraph_inline_failed_t
1002         enums instead of reason strings.
1003         * cgraph.c (cgraph_create_edge): Same.
1004         (cgraph_inline_failed_string): New function.
1005         * cgraph.h (cgraph_inline_failed_t): New enum type.
1006         (cgraph_inline_failed_string): New prototype.
1007         (struct cgraph_edge): Change type of INLINED_FAILED from constant
1008         char pointer to cgraph_inline_failed_t.
1009         (cgraph_inline_p): Adjust prototype to use cgraph_inline_failed_t.
1010         (cgraph_default_inline_p): Ditto.
1011         * gcc/cgraphunit.c (cgraph_inline_p): Change type of parameter REASON
1012         to cgraph_inline_failed_t pointer.
1013         * cif-code.def: New file.
1014         * ipa-inline.c (cgraph_mark_inline_edge): Use an enum instead of a
1015         reason string.
1016         (cgraph_check_inline_limits): Change type of REASON to pointer to
1017         cgraph_inline_failed_t.  Replace reason strings with enums.
1018         (cgraph_default_inline_p): Ditto.
1019         (cgraph_recursive_inlining_p): Ditto.
1020         (update_caller_keys): Change type of FAILED_REASON to
1021         cgraph_inline_failed_t.
1022         (cgraph_set_inline_failed): Change type of REASON to pointer to
1023         cgraph_inline_failed_t.  Call cgraph_inline_failed_string to
1024         convert enums to strings for text output.
1025         (cgraph_decide_inlining_of_small_function): Change FAILED_REASON
1026         to be of type cgraph_inline_failed_t.  Replace reason strings with
1027         enums.  Call cgraph_inline_failed_string to covert enums
1028         to strings for text output.
1029         (cgraph_decide_inlining): Replace reason strings with enums.
1030         (cgraph_decide_inlining_incrementally): Change type of FAILED_REASON
1031         to cgraph_inline_failed_t type.  Call cgraph_inline_failed_string
1032         for text output.
1033         * tree-inline.c (expand_call_inline): Change type of REASON
1034         to cgraph_inline_failed_t.  Replace reason strings with enums.
1035         Call cgraph_inline_failed_string for text output.
1036         * Makefile.in (CGRAPH_H): Add cif-code.def to dependencies.
1037         (cgraph.o): Ditto.
1038
1039 2009-03-28  Jan Hubicka  <jh@suse.cz>
1040
1041         * cgraph.c (cgraph_node, cgraph_remove_node, dump_cgraph_node,
1042         cgraph_clone_node): Remove master clone handling.
1043         (cgraph_is_master_clone, cgraph_master_clone): Remove.
1044         * cgraph.h (master_clone): Remove.
1045         (cgraph_is_master_clone, cgraph_master_clone): Remove.
1046         * ipa-type-escape.c (type_escape_execute): Remove use of master clone.
1047         (tree-ssa-structalias.c (ipa_pta_execute): Likewise.
1048
1049 2009-03-28  Jan Hubicka  <jh@suse.cz>
1050
1051         * cgraph.c (cgraph_function_body_availability): Functions declared
1052         inline are always safe to assume that it is not going to be replaced.
1053
1054 2009-03-28  Richard Guenther  <rguenther@suse.de>
1055
1056         PR tree-optimization/38513
1057         * tree-ssa-pre.c (eliminate): Remove redundant stores.
1058         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Handle
1059         EXC_PTR_EXPR and FILTER_EXPR.
1060         (get_ref_from_reference_ops): Likewise.
1061
1062 2009-03-28  Richard Guenther  <rguenther@suse.de>
1063
1064         PR tree-optimization/38968
1065         * tree-vect-analyze.c (vect_compute_data_ref_alignment):
1066         Use FLOOR_MOD_EXPR to compute misalignment.
1067
1068 2009-03-28  Richard Guenther  <rguenther@suse.de>
1069
1070         PR tree-optimization/37795
1071         * tree.h (combine_comparisons): Declare.
1072         * fold-const.c (combine_comparisons): Export.
1073         * tree-ssa-ifcombine.c (ifcombine_ifandif): Optimize two successive
1074         comparisons.
1075         (ifcombine_iforif): Use combine_comparisons.
1076
1077 2009-03-28  Jan Hubicka  <jh@suse.cz>
1078
1079         * tree-eh.c (inlinable_call_p): New function.
1080         (make_eh_edges): Use it.
1081         (verify_eh_edges): Use it.
1082         (stmt_can_throw_external, stmt_can_throw_internal): Use it.
1083         * except.c (reachable_next_level): Add inlinable_function argument
1084         (sjlj_find_directly_reachable_regions): Update.
1085         (add_reachable_handler): Do not set saw_any_handlers.
1086         (reachable_next_level): Handle MUST_NOT_THROW more curefully.
1087         (foreach_reachable_handler, can_throw_internal_1, can_throw_external_1):
1088         Add new inlinable call parameter.
1089         (can_throw_internal, can_throw_external): Update.
1090         * except.h (can_throw_internal_1, can_throw_external_1,
1091         foreach_reachable_handler): Update declaration.
1092
1093 2009-03-28  Joseph Myers  <joseph@codesourcery.com>
1094
1095         * config/arm/t-arm-coff, config/h8300/coff.h,
1096         config/i386/i386-aout.h, config/i386/i386-coff.h,
1097         config/libgloss.h, config/m68k/coff.h, config/m68k/m68k-aout.h,
1098         config/pdp11/2bsd.h, config/rs6000/aix41.h,
1099         config/rs6000/aix41.opt, config/rs6000/t-newas, config/sh/coff.h,
1100         fix-header.c, fixproto, gen-protos.c, protoize.c, scan-decls.c,
1101         scan-types.sh, scan.c, scan.h, sort-protos, sys-protos.h,
1102         sys-types.h: Remove.
1103         * Makefile.in: Remove protoize and fixproto support and references
1104         in comments.
1105         (SYSCALLS.c.X-warn, TARGET_GETGROUPS_T, STMP_FIXPROTO,
1106         PROTOIZE_INSTALL_NAME, UNPROTOIZE_INSTALL_NAME, FIXPROTO_DEFINES):
1107         Remove.
1108         (ALL_HOST_OBJS): Remove $(PROTO_OBJS).
1109         (MOSTLYCLEANFILES): Remove protoize$(exeext) and
1110         unprotoize$(exeext).
1111         (rest.encap): Don't depend on $(STMP_FIXPROTO)
1112         (.PHONY): Don't depend on proto.
1113         (libgcc-support): Don't depend on $(STMP_FIXPROTO).
1114         (proto, PROTO_OBJS, protoize$(exeext), unprotoize$(exeext),
1115         protoize.o, unprotoize.o, SYSCALLS.c.X, test-protoize-simple,
1116         deduced.h, GEN_PROTOS_OBJS, build/gen-protos$(build_exeext),
1117         build/gen-protos.o, build/scan.o, xsys-protos.h,
1118         build/fix-header$(build_exeext), build/fix-header.o,
1119         build/scan-decls.o, fixhdr.ready, stmp-fixproto,
1120         stmp-install-fixproto): Remove.
1121         (mostlyclean): Don't remove xsys-protos.hT, SYSCALLS.c.X,
1122         SYSCALLS.c or fixproto files.
1123         (install-common): Don't install protoize.
1124         (install-headers-tar, install-headers-cpio, install-headers-cp):
1125         Don't depend on $(STMP_FIXPROTO).
1126         (install-mkheaders): Don't depend on $(STMP_FIXPROTO).  Don't
1127         install fixproto files or write out fixproto settings.
1128         (uninstall): Don't uninstall protoize.
1129         * config.gcc (use_fixproto): Remove.
1130         (arm-*-coff*, armel-*-coff*, h8300-*-*, i[34567]86-*-aout*,
1131         i[34567]86-*-coff*, m68k-*-aout*, m68k-*-coff*, pdp11-*-bsd,
1132         rs6000-ibm-aix4.[12]*, powerpc-ibm-aix4.[12]*, sh-*-*): Remove.
1133         * config/m32r/t-linux (STMP_FIXPROTO): Remove.
1134         * config/m68k/m68k.c: Remove M68K_TARGET_COFF-conditional code.
1135         * config/mips/t-iris (FIXPROTO_DEFINES): Remove.
1136         * config/pa/t-pa-hpux (FIXPROTO_DEFINES): Remove.
1137         * config/pdp11/pdp11.c: Remove TWO_BSD-conditional code.
1138         * config/t-svr4 (FIXPROTO_DEFINES): Remove.
1139         * config/t-vxworks (STMP_FIXPROTO): Remove.
1140         * configure.ac (AC_TYPE_GETGROUPS, TARGET_GETGROUPS_T,
1141         STMP_FIXPROTO): Remove.
1142         * config.in, configure: Regenerate.
1143         * crtstuff.c (gid_t, uid_t): Don't undefine.
1144         * doc/install.texi: Change m68k-coff to m68k-elf in example.
1145         (arm-*-coff, arm-*-aout: Remove target entries.
1146         (*-ibm-aix*): Mention removal of support for AIX 4.2 and older.
1147         Remove mention of AIX 4.1.
1148         (m68k-*-*): Remove mention of m68k-*-aout and m68k-*-coff*.
1149         * doc/invoke.texi (Running Protoize): Remove.
1150         * doc/trouble.texi (Actual Bugs): Remove mention of fixproto.
1151         (Protoize Caveats): Remove.
1152         * tsystem.h: Update comments on headers assumed to exist.
1153
1154 2009-03-27  Vladimir Makarov  <vmakarov@redhat.com>
1155
1156         * genautomata.c: Add a new year to the copyright.  Add a new
1157         reference.
1158         (struct insn_reserv_decl): Add comments for member bypass_list.
1159         (find_bypass): Remove.
1160         (insert_bypass): New.
1161         (process_decls): Use insert_bypass.
1162         (output_internal_insn_latency_func): Output all bypasses with the
1163         same input insn in one switch case.
1164
1165         * rtl.def (define_bypass): Describe bypass choice.
1166         * doc/md.texi (define_bypass): Ditto.
1167
1168 2009-03-27  Richard Guenther  <rguenther@suse.de>
1169
1170         * gimplify.c (mark_addressable): Export.
1171         * tree-flow.h (mark_addressable): Declare.
1172         * tree-ssa-loop-manip.c (create_iv): Mark the base addressable.
1173         * tree-ssa.c (verify_phi_args): Verify that address taken
1174         variables have TREE_ADDRESSABLE set.
1175
1176 2009-03-27  Richard Guenther  <rguenther@suse.de>
1177
1178         * fold-const.c (build_fold_addr_expr_with_type_1): Rename back to ...
1179         (build_fold_addr_expr_with_type): ... this.  Remove in_fold handling.
1180         Do not mark decls TREE_ADDRESSABLE.
1181         (build_fold_addr_expr): Adjust.
1182         (fold_addr_expr): Remove.
1183         (fold_unary): Use build_fold_addr_expr.
1184         (fold_comparison): Likewise.
1185         (split_address_to_core_and_offset): Likewise.
1186         * coverage.c (tree_coverage_counter_addr): Mark the array decl
1187         TREE_ADDRESSABLE.
1188         * gimplify.c (mark_addressable): Do not exclude RESULT_DECLs.
1189         (gimplify_modify_expr_to_memcpy): Mark source and destination
1190         addressable.
1191         * omp-low.c (create_omp_child_function): Mark the object decl
1192         TREE_ADDRESSABLE.
1193         (lower_rec_input_clauses): Mark the var we take the address of
1194         TREE_ADDRESSABLE.
1195         (lower_omp_taskreg): Mark the sender decl TREE_ADDRESSABLE.
1196
1197 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
1198
1199         PR middle-end/39315
1200         * cfgexpand.c (expand_one_stack_var_at): Change alignment
1201         limit to MAX_SUPPORTED_STACK_ALIGNMENT.
1202
1203 2009-03-27  Richard Guenther  <rguenther@suse.de>
1204
1205         PR tree-optimization/39120
1206         * tree-ssa-structalias.c (handle_rhs_call): Fill out return
1207         constraints.
1208         (handle_lhs_call): Process return constraints.  Add escape
1209         constraints if necessary.
1210         (handle_const_call): Fill out return constraints.  Make nested
1211         case more precise.  Avoid consttmp if possible.
1212         (handle_pure_call): Fill out return constraints.  Avoid
1213         callused if possible.
1214         (find_func_aliases): Simplify call handling.
1215
1216 2009-03-27  Richard Guenther  <rguenther@suse.de>
1217
1218         PR tree-optimization/39120
1219         * tree-ssa-structalias.c (do_sd_constraint): Do not use CALLUSED
1220         as a representative.
1221         (solve_graph): Do propagate CALLUSED.
1222         (handle_pure_call): Use a scalar constraint from CALLUSED for
1223         the return value.
1224         (find_what_p_points_to): CALLUSED shall not appear in poins-to
1225         solutions.
1226
1227 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
1228
1229         PR c/39323
1230         * c-common.c (handle_aligned_attribute): Properly check alignment
1231         overflow.  Use (1U << i) instead of (1 << i).
1232
1233         * emit-rtl.c (get_mem_align_offset): Use "unsigned int" for align.
1234
1235         * expr.h (get_mem_align_offset): Updated.
1236
1237         * tree.h (tree_decl_common): Change align to "unsigned int" and
1238         move it before pointer_alias_set.
1239
1240 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
1241             Jakub Jelinek  <jakub@redhat.com>
1242
1243         PR target/38034
1244         * config/ia64/sync.md (cmpxchg_rel_<mode>): Replace input
1245         gr_register_operand with gr_reg_or_0_operand.
1246         (cmpxchg_rel_di): Likewise.
1247         (sync_lock_test_and_set<mode>): Likewise.
1248
1249 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
1250
1251         * jump.c (rtx_renumbered_equal_p): Use subreg_get_info.
1252         (true_regnum): Likewise.
1253
1254         * rtlanal.c (subreg_info): Moved to ...
1255         * rtl.h (subreg_info): Here.  New.
1256         (subreg_get_info): New.
1257
1258         * rtlanal.c (subreg_get_info): Make it extern.
1259
1260 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
1261
1262         PR target/39472
1263         * config/i386/i386.c (ix86_abi): New.
1264         (override_options): Handle -mabi=.
1265         (ix86_function_arg_regno_p): Replace DEFAULT_ABI with ix86_abi.
1266         (ix86_call_abi_override): Likewise.
1267         (init_cumulative_args): Likewise.
1268         (function_arg_advance): Likewise.
1269         (function_arg_64): Likewise.
1270         (function_arg): Likewise.
1271         (ix86_pass_by_reference): Likewise.
1272         (ix86_function_value_regno_p): Likewise.
1273         (ix86_build_builtin_va_list_abi): Likewise.
1274         (setup_incoming_varargs_64): Likewise.
1275         (is_va_list_char_pointer): Likewise.
1276         (ix86_init_machine_status): Likewise.
1277         (ix86_reg_parm_stack_space): Use enum calling_abi on call_abi.
1278         (ix86_function_type_abi): Return enum calling_abi.  Rewrite
1279         for 64bit.  Replace DEFAULT_ABI with ix86_abi.
1280         (ix86_function_abi): Make it static and return enum calling_abi.
1281         (ix86_cfun_abi): Return enum calling_abi.  Replace DEFAULT_ABI
1282         with ix86_abi.
1283         (ix86_fn_abi_va_list): Updated.
1284
1285         * config/i386/i386.h (ix86_abi): New.
1286         (STACK_BOUNDARY): Replace DEFAULT_ABI with ix86_abi.
1287         (CONDITIONAL_REGISTER_USAGE): Likewise.
1288         (CUMULATIVE_ARGS): Change call_abi type to enum calling_abi.
1289         (machine_function): Likewise.
1290
1291         * config/i386/i386.md (untyped_call): Replace DEFAULT_ABI
1292         with ix86_abi.
1293         * config/i386/cygming.h (TARGET_64BIT_MS_ABI): Likewise.
1294         (STACK_BOUNDARY): Likewise.
1295         * config/i386/mingw32.h (EXTRA_OS_CPP_BUILTINS): Likewise.
1296
1297         * config/i386/i386.opt (mabi=): New.
1298
1299         * config/i386/i386-protos.h (ix86_cfun_abi): Changed to
1300         return enum calling_abi.
1301         (ix86_function_type_abi): Likewise.
1302         (ix86_function_abi): Removed.
1303
1304         * doc/invoke.texi: Document -mabi= option for x86.
1305
1306 2009-03-27  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1307
1308         * builtins.c (real_dconstp): Delete.
1309         (fold_builtin_logarithm): Remove inaccurate log(e) special case.
1310
1311 2009-03-27  Dodji Seketeli  <dodji@redhat.com>
1312             Jakub Jelinek  <jakub@redhat.com>
1313
1314         PR debug/37959
1315         * dwarf2out.c (dwarf_attr_name): Handle DW_AT_explicit attribute.
1316         (gen_subprogram_die): When a function is explicit, generate the
1317         DW_AT_explicit attribute.
1318         * langhooks.h (struct lang_hooks_for_decls): Add
1319         function_decl_explicit_p langhook.
1320         * langhooks-def.h (LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P): Define.
1321         (LANG_HOOKS_DECLS): Add LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P.
1322
1323 2009-03-27  Jakub Jelinek  <jakub@redhat.com>
1324
1325         * builtins.c (fold_builtin_memory_op): Optimize memmove
1326         into memcpy if we can prove source and destination don't overlap.
1327
1328         * tree-inline.c: Include gt-tree-inline.h.
1329         (clone_fn_id_num): New variable.
1330         (clone_function_name): New function.
1331         (tree_function_versioning): Use it.
1332         * Makefile.in (GTFILES): Add tree-inline.c.
1333
1334 2009-03-27  Mark Mitchell  <mark@codesourcery.com>
1335
1336         * BASE-VER: Change to 4.5.0.
1337
1338 2009-03-27  Xinliang David Li  <davidxl@google.com>
1339
1340         PR tree-optimization/39557
1341         * tree-ssa.c (warn_uninitialized_vars): free postdom info.
1342
1343 2009-03-27  Xinliang David Li  <davidxl@google.com>
1344
1345         PR tree-optimization/39548
1346         * tree-ssa-copy.c (copy_prop_visit_phi_node): Add copy 
1347         candidate check.
1348
1349 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
1350
1351         * c-common.c (pointer_int_sum): Use %wd on return from
1352         tree_low_cst.
1353
1354 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
1355
1356         * c-common.c (pointer_int_sum): Use HOST_WIDE_INT_PRINT_DEC
1357         on return from tree_low_cst.
1358
1359 2009-03-27  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1360
1361         PR c++/36799
1362         * ginclude/stdarg.h (va_copy): Define also for
1363         __GXX_EXPERIMENTAL_CXX0X__.
1364
1365 2009-03-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1366
1367         PR c++/35652
1368         * builtins.h (c_strlen): Do not warn here.
1369         * c-typeck.c (build_binary_op): Adjust calls to pointer_int_sum.
1370         * c-common.c (pointer_int_sum): Take an explicit location.
1371         Warn about offsets out of bounds.
1372         * c-common.h (pointer_int_sum): Adjust declaration.
1373
1374 2009-03-26  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1375
1376         * doc/invoke.texi (i386 and x86-64 Windows Options): Fix texinfo
1377         markup glitch.
1378
1379 2009-03-26  Jakub Jelinek  <jakub@redhat.com>
1380
1381         PR c++/39554
1382         * opts.c (warn_if_disallowed_function_p): Don't assume
1383         get_callee_fndecl must return non-NULL.
1384
1385 2009-03-26  Vladimir Makarov  <vmakarov@redhat.com>
1386
1387         PR rtl-optimization/39522
1388         * reload1.c (reload_as_needed): Invalidate reg_last_reload_reg too
1389         when reg_reloaded_valid is set.
1390
1391 2009-03-26  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
1392
1393         * config/spu/divv2df3.c: New file.
1394         * config/spu/t-spu-elf (LIB2FUNCS_STATIC_EXTRA): Add it.
1395         (DPBIT_FUNCS): Filter out _div_df.
1396
1397 2009-03-26  Bernd Schmidt  <bernd.schmidt@analog.com>
1398
1399         * config/bfin/bfin.c (bfin_optimize_loop): If the LSETUP goes before
1400         a jump insn, count that jump in the distance to the loop start.
1401
1402 2009-03-25  Kaz Kojima  <kkojima@gcc.gnu.org>
1403
1404         PR target/39523
1405         * config/sh/sh.c (calc_live_regs): Fix condition for global
1406         registers except PIC_OFFSET_TABLE_REGNUM.
1407
1408 2009-03-25  Kai Tietz  <kai.tietz@onevision.com>
1409
1410         PR/39518
1411         * doc/invoke.texi (-mconsole): New.
1412         (-mcygwin): New.
1413         (-mno-cygwin): New.
1414         (-mdll): New.
1415         (-mnop-fun-dllimport): New.
1416         (-mthread): New.
1417         (-mwin32): New.
1418         (-mwindows): New.
1419         (sub section "i386 and x86-64 Windows Options"): New.
1420
1421 2009-03-25  Ralf Corsépius <ralf.corsepius@rtems.org>
1422
1423         * config/arm/rtems-elf.h: Remove LINK_GCC_C_SEQUENCE_SPEC.
1424         * config/rs6000/t-rtems: Remove MULTILIB_EXTRA_OPTS.
1425
1426 2009-03-25  Richard Guenther  <rguenther@suse.de>
1427
1428         PR middle-end/39497
1429         * Makefile.in (dfp.o-warn): Use -fno-strict-aliasing instead
1430         of -Wno-error.
1431
1432 2009-03-25  Andrey Belevantsev  <abel@ispras.ru>
1433
1434         * config/ia64/ia64.c (ia64_set_sched_flags): Zero spec_info->mask when
1435         neither of haifa/selective schedulers are working.
1436
1437 2009-03-25  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1438
1439         * doc/invoke.texi (Debugging Options): Fix description of
1440         -fno-merge-debug-strings.
1441
1442 2009-03-24  Hans-Peter Nilsson  <hp@axis.com>
1443
1444         * config/cris/libgcc.ver: New version-script.
1445         * config/cris/t-linux (SHLIB_MAPFILES): Use it.
1446
1447         * configure.ac <GAS features, nop mnemonic>: Add pattern
1448         crisv32-*-* for "nop".
1449         <GAS features, Thread-local storage>: Add item for CRIS and CRIS v32.
1450         * configure: Regenerate.
1451
1452 2009-03-24  Ira Rosen  <irar@il.ibm.com>
1453
1454         PR tree-optimization/39529
1455         * tree-vect-transform.c (vect_create_data_ref_ptr): Call
1456         mark_sym_for_renaming for the tag copied to the new vector
1457         pointer.
1458
1459 2009-03-24  Arthur Loiret  <aloiret@debian.org>
1460
1461         * config.host (alpha*-*-linux*): Use driver-alpha.o and alpha/x-alpha.
1462         * config/alpha/linux.h (host_detect_local_cpu): Declare, add to
1463         EXTRA_SPEC_FUNCTIONS.
1464         (MCPU_MTUNE_NATIVE_SPECS, DRIVER_SELF_SPECS): New macros.
1465         * config/alpha/driver-alpha.c, config/alpha/x-alpha: New.
1466         * doc/invoke.texi (DEC Alpha Options): Document 'native' value for
1467         -march and -mtune options.
1468
1469 2009-03-24  Ralf Corsépius <ralf.corsepius@rtems.org>
1470
1471         * config/m68k/t-rtems: Add m5329 multilib.
1472
1473 2009-03-24  Dodji Seketeli  <dodji@redhat.com>
1474             Jakub Jelinek  <jakub@redhat.com>
1475
1476         PR debug/39524
1477         * dwarf2out.c (gen_variable_die): Avoid adding duplicate declaration
1478         nodes.
1479
1480 2009-03-23  Jakub Jelinek  <jakub@redhat.com>
1481
1482         PR c/39495
1483         * c-parser.c (c_parser_omp_for_loop): Call c_parser_binary_expression
1484         instead of c_parser_expression_conv, if original_code isn't one of the
1485         4 allowed comparison codes, fail.
1486
1487 2009-03-23  Richard Guenther  <rguenther@suse.de>
1488
1489         * cgraph.h (struct cgraph_node): Reorder fields for 64-bit hosts.
1490         * tree.h (struct tree_type): Likewise.
1491         * reload.h (struct insn_chain): Likewise.
1492         * dwarf2out.c (struct dw_loc_descr_struct): Likewise.
1493         * function.h (struct function): Likewise.
1494         * tree-ssa-structalias.c (struct equiv_class_label): Likewise.
1495
1496 2009-03-23  Jakub Jelinek  <jakub@redhat.com>
1497
1498         PR tree-optimization/39516
1499         * lambda-code.c (perfect_nestify): Fix type of the uboundvar variable.
1500
1501 2009-03-23 Bingfeng Mei  <bmei@broadcom.com>
1502
1503         * config.gcc (need_64bit_hwint): Make clear that need_64bit_hwint 
1504         should be set true if BITS_PER_WORD of target is bigger than 32
1505
1506 2009-03-22  Hans-Peter Nilsson  <hp@axis.com>
1507
1508         * config/cris/linux.h (CRIS_LINK_SUBTARGET_SPEC):
1509         Translate -B-options to -rpath-link.  Correct existing
1510         rpath-link and conditionalize on !nostdlib.
1511
1512 2009-03-22  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1513
1514         * doc/extend.texi (Function Attributes, Variable Attributes):
1515         Fix typos.
1516         * doc/invoke.texi (Debugging Options, Optimize Options)
1517         (i386 and x86-64 Options, MCore Options): Likewise.
1518
1519 2009-03-20  Jakub Jelinek  <jakub@redhat.com>
1520
1521         PR debug/37890
1522         * dwarf2out.c (gen_namespace_die): Add context_die argument and use
1523         it for block local namespace aliases.
1524         (gen_decl_die): Pass context_die to gen_namespace_die.
1525
1526 2009-03-19  Jakub Jelinek  <jakub@redhat.com>
1527
1528         PR c/39495
1529         * c-omp.c (c_finish_omp_for): Allow NE_EXPR with TREE_TYPE (decl)'s
1530         minimum or maximum value.
1531
1532 2009-03-19  Alexandre Oliva  <aoliva@redhat.com>
1533
1534         * reginfo.c (globalize_reg): Recompute derived reg sets.
1535
1536 2009-03-19  Ozkan Sezer <sezeroz@gmail.com>
1537
1538         PR target/39063
1539         * libgcc2.c (mprotect): Do not use signed arguments for
1540         VirtualProtect, use DWORD arguments.  Also fix the 'may
1541         be used uninitialized' warning for the np variable.
1542
1543 2009-03-19  Jakub Jelinek  <jakub@redhat.com>
1544
1545         PR target/39496
1546         * config/i386/i386.c (ix86_function_regparm): Don't optimize local
1547         functions using regparm calling conventions when not optimizing.
1548         (ix86_function_sseregparm): Similarly for sseregparm calling
1549         conventions.
1550
1551 2009-03-19  Li Feng  <nemokingdom@gmail.com>
1552
1553         PR middle-end/39500
1554         * tree-data-ref.c (analyze_subscript_affine_affine): There is no
1555         dependence if the first conflict is after niter iterations.
1556
1557 2009-03-19  Hans-Peter Nilsson  <hp@axis.com>
1558
1559         PR middle-end/38609
1560         * config/cris/cris.h (FRAME_POINTER_REQUIRED): Force for all
1561         functions with dynamic stack-pointer adjustments.
1562
1563 2009-03-19  Ben Elliston  <bje@au.ibm.com>
1564
1565         * doc/invoke.texi (RS/6000 and PowerPC Options): Fix -msdata-data
1566         option; change to -msdata=data.
1567
1568 2009-03-18  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1569
1570         * c.opt: Unify help texts for -Wdeprecated, -Wsystem-headers,
1571         and -fopenmp.
1572
1573 2009-03-18  Eric Botcazou  <ebotcazou@adacore.com>
1574
1575         PR target/35180
1576         * config/sparc/sparc.md (do_builtin_setjmp_setup): Prettify asm output.
1577
1578 2009-03-18  Sandra Loosemore  <sandra@codesourcery.com>
1579
1580         * doc/invoke.texi (Code Gen Options): Expand discussion of
1581         -fno-common.
1582
1583 2009-03-18  Jakub Jelinek  <jakub@redhat.com>
1584
1585         * dse.c (struct group_info): Reorder fields for 64-bit hosts.
1586         * matrix-reorg.c (struct matrix_info): Likewise.
1587         * tree-ssa-loop-ivopts.c (struct ivopts_data): Likewise.
1588         * rtl.h (struct mem_attrs): Likewise.
1589         * df.h (struct df): Likewise.
1590         * tree-data-ref.h (struct data_dependence_relation): Likewise.
1591         * ira-int.h (struct ira_allocno): Likewise.
1592         * df-scan.c (struct df_collection_rec): Likewise.
1593         * ira.c (struct equivalence): Likewise.
1594         * function.c (struct temp_slot): Likewise.
1595         * cfgloop.h (struct loop): Likewise.
1596
1597         PR debug/39485
1598         * function.c (use_register_for_decl): When not optimizing, disregard
1599         register keyword for variables with types containing methods.
1600
1601 2009-03-18  Sebastian Pop  <sebastian.pop@amd.com>
1602
1603         PR middle-end/39447
1604         * graphite.c (exclude_component_ref): Renamed contains_component_ref_p.
1605         (is_simple_operand): Call contains_component_ref_p before calling data
1606         reference analysis that would fail on COMPONENT_REFs.
1607
1608         * tree-vrp.c (search_for_addr_array): Fix formatting.
1609
1610 2009-03-18  Richard Guenther  <rguenther@suse.de>
1611
1612         * tree-vect-transform.c (vect_loop_versioning): Fold the
1613         generated comparisons.
1614         * tree-vectorizer.c (set_prologue_iterations): Likewise.
1615         (slpeel_tree_peel_loop_to_edge): Likewise.
1616
1617 2009-03-17  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1618
1619         PR middle-end/37805
1620         * opts.c (print_specific_help): In addition to `undocumented',
1621         accept `separate' and `joined' flags if passed alone.  Describe
1622         output by the first matched one of those.
1623         (common_handle_option): Skip over empty strings.
1624         * gcc.c (display_help): Fix help string for `--help='.
1625         * doc/invoke.texi (Option Summary, Overall Options): With
1626         `--help=', classes and qualifiers can both be repeated, but
1627         only the latter can be negated.  One should not pass only
1628         negated qualifiers.  Fix markup and examples.
1629
1630         Revert
1631         2008-10-14  Jakub Jelinek  <jakub@redhat.com>
1632         PR middle-end/37805
1633         * opts.c (common_handle_option): Don't ICE on -fhelp=joined
1634         and -fhelp=separate.
1635
1636 2009-03-17  Jing Yu  <jingyu@google.com>
1637
1638         PR middle-end/39378
1639         * function.h (struct rtl_data): Move is_thunk from here...
1640         (struct function): ...to here.
1641         * cp/method.c (use_thunk): Change is_thunk from crtl to cfun.
1642         * varasm.c (assemble_start_function): Change is_thunk from crtl to
1643         cfun.
1644         * config/alpha/alpha.c (alpha_sa_mask): Change is_thunk from crtl to
1645         cfun.
1646         (alpha_does_function_need_gp, alpha_start_function): Likewise.
1647         (alpha_output_function_end_prologue): Likewise.
1648         (alpha_end_function, alpha_output_mi_thunk_osf): Likewise.
1649         * config/rs6000/rs6000.c (rs6000_ra_ever_killed): Likewise.
1650         (rs6000_output_function_epilogue): Likewise.
1651         * config/arm/arm.h (ARM_DECLARE_FUNCTION_NAME): Likewise.
1652
1653 2009-03-17  Uros Bizjak  <ubizjak@gmail.com>
1654
1655         PR target/39482
1656         * config/i386/i386.md (*truncdfsf_mixed): Avoid combining registers
1657         from different units in a single alternative.
1658         (*truncdfsf_i387): Ditto.
1659         (*truncxfsf2_mixed): Ditto.
1660         (*truncxfdf2_mixed): Ditto.
1661
1662 2009-03-17  Jakub Jelinek  <jakub@redhat.com>
1663
1664         * dwarf2out.c (dwarf2out_imported_module_or_decl_1): Allow
1665         non-NAMESPACE_DECL IMPORTED_DECL_ASSOCIATED_DECL.
1666
1667         PR debug/39474
1668         * tree-ssa-live.c (remove_unused_locals): Don't remove local
1669         unused non-artificial variables when not optimizing.
1670
1671         PR debug/39471
1672         * dwarf2out.c (dwarf2out_imported_module_or_decl_1): Emit
1673         DW_TAG_imported_module even if decl is IMPORTED_DECL with
1674         NAMESPACE_DECL in its DECL_INITIAL.
1675
1676         PR middle-end/39443
1677         * optabs.c (set_user_assembler_libfunc): New function.
1678         * expr.h (set_user_assembler_libfunc): New prototype.
1679         * c-common.c: Include libfuncs.h.
1680         (set_builtin_user_assembler_name): Call set_user_assembler_libfunc
1681         for memcmp, memset, memcpy, memmove and abort.
1682         * Makefile.in (c-common.o): Depend on libfuncs.h.
1683
1684         PR debug/39412
1685         * dwarf2out.c (gen_inlined_enumeration_type_die,
1686         gen_inlined_structure_type_die, gen_inlined_union_type_die,
1687         gen_tagged_type_instantiation_die): Removed.
1688         (gen_decl_die): For TYPE_DECL_IS_STUB with non-NULL decl_origin
1689         do nothing.
1690
1691 2009-03-17  Janis Johnson  <janis187@us.ibm.com>
1692
1693         PR testsuite/38526
1694         * Makefile.in (site.exp): Rename TEST_GCC_EXEC_PREFIX and comment
1695         its use.
1696         (check-%): Don't set GCC_EXEC_PREFIX when invoking runtest.
1697         (check-parallel-%): Ditto.
1698         (check-consistency): Ditto.
1699
1700 2009-03-17  Kai Tietz  <kai.tietz@onevision.com>
1701
1702         * ipa-struct-reorg.c (create_general_new_stmt): Initialize
1703         local variable rhs by NULL_TREE.
1704
1705 2009-03-17  H.J. Lu  <hongjiu.lu@intel.com>
1706
1707         PR target/39477
1708         * doc/extend.texi: Correct register behavior for regparm on Intel 386.
1709
1710 2009-03-17  H.J. Lu  <hongjiu.lu@intel.com>
1711
1712         PR target/39476
1713         * config/i386/i386.c (ix86_function_regparm): Rewrite for 64bit.
1714
1715 2009-03-17  H.J. Lu  <hongjiu.lu@intel.com>
1716
1717         PR target/39473
1718         * config/i386/i386.c (ix86_expand_call): Check extra clobbers
1719         for ms->sysv ABI calls only in 64bit mode.
1720
1721         * config/i386/i386.md (untyped_call): Support 32bit.
1722
1723 2009-03-16  H.J. Lu  <hongjiu.lu@intel.com>
1724
1725         * doc/extend.texi: Replace x86_65 with x86_64.
1726
1727 2009-03-16  Jakub Jelinek  <jakub@redhat.com>
1728
1729         PR tree-optimization/39455
1730         * tree-ssa-loop-niter.c (number_of_iterations_lt_to_ne): Fix types
1731         mismatches for POINTER_TYPE_P (type).
1732         (number_of_iterations_le): Likewise.
1733
1734 2009-03-16  Hariharan Sandanagobalane <hariharan@picochip.com>
1735
1736         * config/picochip/picochip.c: Removed profiling support.
1737         * config/picochip/picochip.md: Removed profiling instruction.
1738         * config/picochip/picochip.h: Removed profiling builtin.
1739
1740 2009-03-16  Joseph Myers  <joseph@codesourcery.com>
1741
1742         * doc/install.texi (--with-host-libstdcxx): Document.
1743
1744 2009-03-14  Anatoly Sokolov  <aesok@post.ru>
1745
1746         PR target/34299
1747         * config/avr/avr.c (avr_handle_fndecl_attribute): Move code for
1748         generate a warning if the function name does not begin with
1749         "__vector" and the function has either the 'signal' or 'interrupt'
1750         attribute, from here to ...
1751         (avr_declare_function_name): ...here. New function.
1752         * config/avr/avr.h (ASM_DECLARE_FUNCTION_NAME): Redefine.
1753         * config/avr/avr-protos.h (avr_declare_function_name): Declare.
1754
1755 2009-03-14  Jakub Jelinek  <jakub@redhat.com>
1756
1757         PR bootstrap/39454
1758         * cse.c (fold_rtx): Don't modify original const_arg1 when
1759         canonicalizing SHIFT_COUNT_TRUNCATED shift count, do it on a
1760         separate variable instead.
1761         * rtlanal.c (nonzero_bits1) <case ASHIFTRT>: Don't assume anything
1762         from out of range shift counts.
1763         (num_sign_bit_copies1) <case ASHIFTRT, case ASHIFT>: Similarly.
1764
1765 2008-03-13  Catherine Moore  <clm@codesourcery.com>
1766
1767         * gcc/config/i386/x-mingw32 (host-mingw32.o): Replace
1768         diagnostic.h with $(DIAGNOSTIC_H).
1769
1770 2008-03-12  Jakub Jelinek  <jakub@redhat.com>
1771
1772         PR target/39431
1773         * config/i386/predicates.md (cmpxchg8b_pic_memory_operand): New
1774         predicate.
1775         * config/i386/sync.md (sync_compare_and_swap<mode>,
1776         sync_compare_and_swap_cc<mode>): For DImode with -m32 -fpic check
1777         if operands[1] is cmpxchg8b_pic_memory_operand, if not force address
1778         into a register.
1779         (sync_double_compare_and_swapdi_pic,
1780         sync_double_compare_and_swap_ccdi_pic): Require operand 1 to be
1781         cmpxchg8b_pic_memory_operand instead of just memory_operand.
1782
1783 2009-03-12  H.J. Lu  <hongjiu.lu@intel.com>
1784
1785         PR target/39445
1786         * config/i386/i386.c (ix86_expand_push): Don't set memory alignment.
1787
1788 2009-03-12  H.J. Lu  <hongjiu.lu@intel.com>
1789
1790         PR target/39327
1791         * config/i386/sse.md (avx_addsubv8sf3): Correct item bits.
1792         (avx_addsubv4df3): Likewise.
1793         (*avx_addsubv4sf3): Likewise.
1794         (sse3_addsubv4sf3): Likewise.
1795
1796 2009-03-12  H.J. Lu  <hongjiu.lu@intel.com>
1797
1798         PR target/38824
1799         * config/i386/i386.md: Compare REGNO on the new peephole2 patterns.
1800
1801 2009-03-12  Vladimir Makarov  <vmakarov@redhat.com>
1802
1803         PR debug/39432
1804         * ira-int.h (struct allocno): Fix comment for calls_crossed_num.
1805         * ira-conflicts.c (ira_build_conflicts): Prohibit call used
1806         registers for allocnos created from user-defined variables.
1807
1808 2009-03-11  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
1809
1810         PR target/39181
1811         * config/spu/spu.c (spu_expand_mov): Handle invalid subregs
1812         of non-integer mode as well.
1813
1814 2009-03-11  Adam Nemet  <anemet@caviumnetworks.com>
1815
1816         * gimplify.c (gimplify_call_expr): Don't set CALL_CANNOT_INLINE_P
1817         for functions for which the parameter types are unknown.
1818
1819 2009-03-11  Jakub Jelinek  <jakub@redhat.com>
1820
1821         PR target/39137
1822         * cfgexpand.c (get_decl_align_unit): Use LOCAL_DECL_ALIGNMENT macro.
1823         * defaults.h (LOCAL_DECL_ALIGNMENT): Define if not yet defined.
1824         * config/i386/i386.h (LOCAL_DECL_ALIGNMENT): Define.
1825         * config/i386/i386.c (ix86_local_alignment): For
1826         -m32 -mpreferred-stack-boundary=2 use 32-bit alignment for
1827         long long variables on the stack to avoid dynamic realignment.
1828         Allow the first argument to be a decl rather than type.
1829         * doc/tm.texi (LOCAL_DECL_ALIGNMENT): Document.
1830
1831 2009-03-11  Nick Clifton  <nickc@redhat.com>
1832
1833         PR target/5362
1834         * config/mcore/mcore.opt: Remove deprecated m4align and m8align
1835         options.
1836         Add description to mno-lsim option.
1837         * config/mcore/mcore.h: Remove comment about deprecated m4align
1838         option.
1839         (TARGET_DEFAULT): Remove deprecated MASK_M8ALIGN.
1840         * doc/invoke.texi: Add description of mno-lsim and
1841         mstack-increment options.
1842
1843         * config/fr30/fr30.opt: Document the -mno-lsim option.
1844         * doc/invoke.texi: Add descriptions of the FR30's -msmall-model
1845         and -mno-lsim options.
1846
1847 2009-03-11  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
1848
1849         * fold-const.c (fold_comparison): Only call fold_inf_compare
1850         if the mode supports infinities.
1851
1852 2009-03-11  Jason Merrill  <jason@redhat.com>
1853
1854         PR debug/39086
1855         * tree-nrv.c (tree_nrv): Don't do this optimization if the front
1856         end already did.  Notice GIMPLE_CALL modifications of the result.
1857         Don't copy debug information from an ignored decl or a decl from
1858         another function.
1859
1860 2009-03-10  Richard Guenther  <rguenther@suse.de>
1861             Nathan Froyd  <froydnj@codesourcery.com>
1862
1863         PR middle-end/37850
1864         * libgcc2.c (__mulMODE3): Use explicit assignments to form the result.
1865         (__divMODE3): Likewise.
1866
1867 2009-03-09  Jakub Jelinek  <jakub@redhat.com>
1868
1869         PR tree-optimization/39394
1870         * gimplify.c (gimplify_type_sizes): Gimplify DECL_SIZE and
1871         DECL_SIZE_UNIT of variable length FIELD_DECLs.
1872
1873 2009-03-09  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
1874
1875         * recog.c (verfiy_changes): Disallow renaming of hard regs in
1876         inline asms for register asm ("") declarations.
1877
1878 2009-03-09  Eric Botcazou  <ebotcazou@adacore.com>
1879
1880         * fold-const.c (fold_unary): Fix comment.
1881
1882 2009-03-07  Jan Hubicka  <jh@suse.cz>
1883
1884         PR target/39361
1885         * tree-inline.c (setup_one_parameter): Do replacement of const
1886         argument by constant in SSA form.
1887
1888 2009-03-07  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
1889
1890         PR middle-end/38028
1891         * function.c (assign_parm_setup_stack): Use STACK_SLOT_ALIGNMENT to
1892         determine alignment passed to assign_stack_local.
1893         (assign_parms_unsplit_complex): Likewise.
1894         * except.c (sjlj_build_landing_pads): Likewise.
1895
1896 2009-03-06  Jakub Jelinek  <jakub@redhat.com>
1897
1898         PR middle-end/39360
1899         * tree-flow.h (add_referenced_var): Return bool instead of void.
1900         * tree-dfa.c (add_referenced_var): Return result of
1901         referenced_var_check_and_insert call.
1902         * tree-inline.c (expand_call_inline): Call add_referenced_var instead
1903         of referenced_var_check_and_insert.
1904
1905         PR debug/39372
1906         * dwarf2out.c (add_abstract_origin_attribute): Return origin_die.
1907         (gen_variable_die): Emit DW_AT_location on abstract static variable's
1908         DIE, don't emit it if abstract origin already has it.
1909         * tree-cfg.c (remove_useless_stmts_bind): GIMPLE_BINDs with any
1910         BLOCK_NONLOCALIZED_VARS in its gimple_bind_block aren't useless.
1911
1912 2009-03-06  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
1913
1914         * genpreds.c (needs_variable): Fix parentheses at variable name
1915         detection.
1916         (write_tm_constrs_h): Indent generated code.
1917
1918 2009-03-06  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
1919
1920         * doc/extend.texi (Function Attributes): Add documentation
1921         for isr attributes.
1922
1923 2009-03-06  Jakub Jelinek  <jakub@redhat.com>
1924
1925         PR debug/39387
1926         * dwarf2out.c (dwarf2out_imported_module_or_decl_1): For IMPORTED_DECL
1927         take locus from its DECL_SOURCE_LOCATION instead of input_location.
1928
1929 2009-03-05  Bernd Schmidt  <bernd.schmidt@analog.com>
1930
1931         * config/bfin/bfin.c (bfin_discover_loop): When retrying fails, mark
1932         the loop as bad.
1933
1934 2009-03-05  Jakub Jelinek  <jakub@redhat.com>
1935
1936         PR debug/39379
1937         * tree-cfg.c (remove_useless_stmts_bind): Don't remove GIMPLE_BINDs
1938         with blocks containing IMPORTED_DECLs in BLOCK_VARS.
1939
1940 2009-03-05  Uros Bizjak  <ubizjak@gmail.com>
1941
1942         * config/i386/i386.md (R8_REG, R9_REG): New constants.
1943         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Use named
1944         constants instead of magic numbers.
1945         (HARD_REGNO_CALLER_SAVE_MODE): Ditto.
1946         (QI_REG_P): Ditto.
1947         * config/i386/i386.c (x86_64_int_parameter_registers): Ditto.
1948         (x86_64_ms_abi_int_parameter_registers): Ditto.
1949         (x86_64_int_return_registers): Ditto.
1950         (ix86_maybe_switch_abi): Ditto.
1951         (ix86_expand_call): Ditto for clobbered_registers array.
1952         (ix86_hard_regno_mode_ok): Ditto.
1953         (x86_extended_QIreg_mentioned_p): Ditto.
1954
1955 2009-03-05  J"orn Rennecke  <joern.rennecke@arc.com>
1956
1957         PR tree-optimization/39349
1958         * cse.c (cse_insn): Fix loop to stop at VOIDmode.
1959
1960         * combine.c (gen_lowpart_for_combine): Use omode when generating
1961         clobber.
1962
1963 2009-03-04  J"orn Rennecke  <joern.rennecke@arc.com>
1964
1965         PR rtl-optimization/39235
1966         * loop-iv.c (get_simple_loop_desc): Use XCNEW.
1967
1968 2009-03-04  Zdenek Dvorak  <ook@ucw.cz>
1969
1970         * graphite.c (nb_reductions_in_loop): Update simple_iv arguments.
1971
1972 2009-03-04  Richard Guenther  <rguenther@suse.de>
1973
1974         PR tree-optimization/39362
1975         * tree-ssa-sccvn.c (visit_use): Stores and copies from SSA_NAMEs
1976         that occur in abnormal PHIs should be varying.
1977
1978 2009-03-04  Zdenek Dvorak  <ook@ucw.cz>
1979
1980         * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop):
1981         Extend comments.
1982         (simple_iv):  Take loop as an argument instead of statement.
1983         * tree-scalar-evolution.h (simple_iv): Declaration changed.
1984         * tree-ssa-loop-niter.c (number_of_iterations_exit): Update calls
1985         to simple_iv.
1986         * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev):
1987         Ditto.
1988         * tree-parloops.c (loop_parallel_p, canonicalize_loop_ivs): Ditto.
1989         * matrix-reorg.c (analyze_transpose): Ditto.
1990         * tree-data-ref.c (dr_analyze_innermost): Ditto.
1991         * tree-vect-analyze.c (vect_analyze_data_refs): Ditto.
1992         * tree-predcom.c (ref_at_iteration): Ditto.
1993         * tree-ssa-loop-prefetch.c (idx_analyze_ref): Ditto.
1994
1995 2009-03-04  Richard Guenther  <rguenther@suse.de>
1996
1997         PR tree-optimization/39358
1998         * tree-ssa-structalias.c (do_sd_constraint): Fix check for
1999         escaped_id and callused_id.
2000         (solve_graph): Likewise.
2001
2002 2009-03-04  Richard Guenther  <rguenther@suse.de>
2003
2004         PR tree-optimization/39339
2005         * tree-sra.c (try_instantiate_multiple_fields): Make it
2006         no longer ICE on the above.
2007
2008 2009-03-03  Joseph Myers  <joseph@codesourcery.com>
2009
2010         * emit-rtl.c (adjust_address_1): Reduce offset to a signed value
2011         that fits within Pmode.
2012
2013 2009-03-03  Steve Ellcey  <sje@cup.hp.com>
2014
2015         PR middle-end/10109
2016         * tm.texi (LIBCALL_VALUE): Update description.
2017
2018 2009-03-03  Steve Ellcey  <sje@cup.hp.com>
2019
2020         PR middle-end/34443
2021         * doc/extend.texi (section): Update description.
2022
2023 2009-03-03  H.J. Lu  <hongjiu.lu@intel.com>
2024
2025         PR middle-end/39345
2026         * tree-inline.c (remapped_type): New.
2027         (can_be_nonlocal): Call remapped_type instead of remap_type.
2028
2029 2009-03-03  Jakub Jelinek  <jakub@redhat.com>
2030
2031         PR fortran/39354
2032         * gimplify.c (goa_stabilize_expr): Handle tcc_comparison,
2033         TRUTH_ANDIF_EXPR and TRUTH_ORIF_EXPR.
2034
2035 2009-03-03  Richard Guenther  <rguenther@suse.de>
2036
2037         PR middle-end/39272
2038         * tree.c (tree_nonartificial_location): New function.
2039         * tree.h (tree_nonartificial_location): Declare.
2040         * builtins.c (expand_builtin_memory_chk): Provide location
2041         of the call location for artificial function pieces.
2042         (maybe_emit_chk_warning): Likewise.
2043         (maybe_emit_sprintf_chk_warning): Likewise.
2044         (maybe_emit_free_warning): Likewise.
2045         * expr.c (expand_expr_real_1): Likewise.
2046
2047 2009-03-03  Jakub Jelinek  <jakub@redhat.com>
2048
2049         PR tree-optimization/39343
2050         * tree-ssa-ccp.c (maybe_fold_offset_to_address): Don't check if
2051         COMPONENT_REF t has ARRAY_TYPE.
2052
2053 2009-03-02  Sebastian Pop  <sebastian.pop@amd.com>
2054
2055         PR middle-end/39335
2056         * tree-parloops.c (canonicalize_loop_ivs): Call fold_convert
2057         when the type precision of the induction variable should be
2058         larger than the type precision of nit.
2059         (gen_parallel_loop): Update use of canonicalize_loop_ivs.
2060         * graphite.c (graphite_loop_normal_form): Same.
2061         * tree-flow.h (canonicalize_loop_ivs): Update declaration.
2062
2063 2009-03-02  Uros Bizjak  <ubizjak@gmail.com>
2064
2065         * config/i386/i386.md (ST?_REG, MM?_REG): New constants.
2066         (*call_1_rex64_ms_sysv): Use named constants instead of magic
2067         numbers to describe clobbered registers.
2068         (*call_value_0_rex64_ms_sysv): Ditto.
2069         * config/i386/mmx.md (mmx_emms): Ditto.
2070         (mmx_femms): Ditto.
2071
2072 2009-03-02  Richard Sandiford  <rdsandiford@googlemail.com>
2073
2074         * config/mips/mips.c (mips_mdebug_abi_name): Fix the handling
2075         of ABI_64.
2076
2077 2009-03-02  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
2078
2079         * config/spu/spu.c (TARGET_SECTION_TYPE_FLAGS): Define.
2080         (spu_section_type_flags): New function.
2081
2082 2009-03-02  Uros Bizjak  <ubizjak@gmail.com>
2083
2084         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Do not copy
2085         reg_class_contents of FLOAT_REGS into a temporary.
2086
2087 2009-03-02  Richard Guenther  <rguenther@suse.de>
2088             Ira Rosen  <irar@il.ibm.com>
2089
2090         PR tree-optimization/39318
2091         * tree-vect-transform.c (vectorizable_call): Transfer the EH region
2092         information to the vectorized statement.
2093
2094 2009-03-01  Uros Bizjak  <ubizjak@gmail.com>
2095
2096         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Do not shadow "i"
2097         variable.  Use defined names instead of magic constants for REX SSE
2098         registers.
2099
2100 2009-03-01  Richard Guenther  <rguenther@suse.de>
2101
2102         PR tree-optimization/39331
2103         * omp-low.c (lower_send_shared_vars): Do not receive new
2104         values for the reference of DECL_BY_REFERENCE parms or results.
2105
2106 2009-03-01  Jan Hubicka  <jh@suse.cz>
2107
2108         PR debug/39267
2109         * tree.h (BLOCK_NONLOCALIZED_VARS, BLOCK_NUM_NONLOCALIZED_VARS,
2110         BLOCK_NONLOCALIZED_VAR): New macros.
2111         (tree_block): Add nonlocalized_vars.
2112         * dwarf2out.c (gen_formal_parameter_die, gen_variable_die,
2113         gen_decl_die): Add origin argument.  Allow generation of die with
2114         origin at hand only.
2115         (gen_member_die, gen_type_die_with_usage, force_decl_die,
2116         declare_in_namespace, gen_namescpace_die, dwarf2out_decl): Update use
2117         of gen_*.
2118         (gen_block_die): Fix checking for unused blocks.
2119         (process_scope_var): Break out from .... ; work with origins only.
2120         (decls_for_scope) ... here; process nonlocalized list.
2121         (dwarf2out_ignore_block): Look for nonlocalized vars.
2122         * tree-ssa-live.c (remove_unused_scope_block_p): Look for nonlocalized
2123         vars.
2124         (dump_scope_block): Dump them.
2125         * tree-inline.c (remap_decls): Handle nonlocalized vars.
2126         (remap_block): Likewise.
2127         (can_be_nonlocal): New predicate.
2128         (copy_bind_expr, copy_gimple_bind): Update use of remap_block.
2129
2130 2009-03-01  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2131
2132         * configure: Regenerate.
2133
2134 2009-03-01  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2135
2136         * optc-gen.awk: No need to duplicate option flags twice.
2137         Reuse help texts for duplicate options which do not have any.
2138
2139         * gcc.c (display_help): Document --version.
2140
2141         * gcc.c (main): If print_help_list and verbose_flag, ensure
2142         driver output comes before subprocess output.
2143
2144         * optc-gen.awk: Assign all remaining fields to help string,
2145         space-separated, for multi-line help in *.opt.
2146
2147         * doc/invoke.texi (Warning Options): -Wsync-nand is C/C++ only.
2148         -Wno-pedantic-ms-format is for MinGW targets only.
2149
2150         * doc/options.texi (Option file format): Fix bad indentation,
2151         restoring dropped sentence.
2152
2153 2009-02-28  Jan Hubicka  <jh@suse.cz>
2154
2155         * tree-inline.c (tree_function_versioning): Output debug info.
2156
2157 2009-02-28  Jan Hubicka  <jh@suse.cz>
2158
2159         PR debug/39267
2160         * tree-inline.c (setup_one_parameter): Do not copy propagate
2161         arguments when not optimizing.
2162
2163 2009-02-28  H.J. Lu  <hongjiu.lu@intel.com>
2164
2165         PR target/39327
2166         * config/i386/sse.md (avx_addsubv8sf3): Correct item bits.
2167         (avx_addsubv4df3): Likewise.
2168         (*avx_addsubv4sf3): Likewise.
2169         (sse3_addsubv4sf3): Likewise.
2170         (*avx_addsubv2df3): Likewise.
2171         (sse3_addsubv2df3): Likewise.
2172         (avx_unpckhps256): Correct item selectors.
2173         (avx_unpcklps256): Likewise.
2174         (avx_unpckhpd256): Likewise.
2175         (avx_unpcklpd256): Likewise.
2176
2177 2009-02-28  Jan Hubicka  <jh@suse.cz>
2178
2179         * tree-inline.c (expand_call_inline): Avoid duplicate declarations of
2180         static vars.
2181         (copy_arguments_for_versioning): If var is declared don't declare it.
2182         (tree_function_versioning): First setup substitutions and then copy
2183         args.
2184
2185 2009-02-27  Jan Hubicka  <jh@suse.cz>
2186
2187         PR debug/39267
2188         * cgraph.h (varpool_output_debug_info): Remove.
2189         * cgraphunit.c (varpool_output_debug_info): Remove.
2190         * dwarf2out.c (deferred_locations_struct): New struct
2191         (deferred_locations): New type.
2192         (deferred_locations_list): New static var.
2193         (deffer_location): New function.
2194         (gen_variable_die): Use it.
2195         (decls_for_scope): Output info on local static vars.
2196         (dwarf2out_finish): Process deferred locations.
2197         * varpool.c (varpool_output_debug_info): Remove.
2198
2199 2009-02-27  Jan Hubicka  <jh@suse.cz>
2200
2201         PR debug/39267
2202         * tree.h (TREE_PROTECTED): Fix comment.
2203         (BLOCK_HANDLER_BLOCK): Remove.
2204         (struct tree_block): Remove handler_block add body_block.
2205         (inlined_function_outer_scope_p): New.
2206         (is_body_block): Remove.
2207         * dbxout.c (dbxout_block): Remove BLOCK_HANDLER_BLOCK.
2208         * dwarf2out.c (is_inlined_entry_point): Remove.
2209         (add_high_low_attributes): Use inlined_function_outer_scope_p.
2210         (gen_block_die): Use is_inlined_entry_point check.  Remove body block
2211         code.
2212         * langhooks.h (struct lang_hooks): Remove no_bodu_blocks.
2213         * gimplify.c (gimplify_expr): Gimplify body blocks.
2214         * tree-ssa-live.c (remove_unused_scope_block_p): Allow removing wrapper
2215         block with multiple subblocks.
2216         (dump_scope_block): Prettier output; dump more flags and info.
2217         (dump_scope_blocks): New.
2218         (remove_unused_locals): Use dump_scope_blocks.
2219         * tree-flow.h (dump_scope_blocks): Declare.
2220         * tree-cfg.c (execute_build_cfg): Dump scope blocks.
2221         * stmt.c (is_body_block): Remove.
2222         * tree-inline.c (remap_block): Copy BODY_BLOCK info.
2223         * langhooks-def.h (LANG_HOOKS_NO_BODY_BLOCKS): Remove.
2224
2225 2009-02-27  Sebastian Pop  <sebastian.pop@amd.com>
2226
2227         PR middle-end/39308
2228         * graphite.c (graphite_loop_normal_form): Do not call 
2229         number_of_iterations_exit from a gcc_assert.
2230
2231 2009-02-27  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
2232
2233         * gcc/config/s390/s390.c (s390_swap_cmp): Look for conditional
2234         jumps if COND is NULL.
2235         (find_cond_jump): New function.
2236         (s390_z10_optimize_cmp): Handling for reg-reg compares added.
2237         * gcc/config/s390/s390.md: Remove z10_cobra attribute value.
2238
2239 2009-02-26  Uros Bizjak  <ubizjak@gmail.com>
2240
2241         * config/alpha/alpha.h (alpha_expand_mov): Return false if
2242         force_const_mem returns NULL_RTX.
2243
2244 2009-02-26  Jan Hubicka  <jh@suse.cz>
2245
2246         PR debug/39267
2247         * cgraph.h (varpool_output_debug_info): Remove.
2248         * cgraphunit.c (varpool_output_debug_info): Remove.
2249         * dwarf2out.c (deferred_locations_struct): New struct
2250         (deferred_locations): New type.
2251         (deferred_locations_list): New static var.
2252         (deffer_location): New function.
2253         (gen_variable_die): Use it.
2254         (decls_for_scope): Output info on local static vars.
2255         (dwarf2out_finish): Process deferred locations.
2256         * varpool.c (varpool_output_debug_info): Remove.
2257
2258 2009-02-25  H.J. Lu  <hongjiu.lu@intel.com>
2259
2260         PR rtl-optimization/39241
2261         * jump.c (rtx_renumbered_equal_p): Remove 2 superfluous calls
2262         to subreg_offset_representable_p.
2263
2264 2009-02-25  Paolo Bonzini  <bonzini@gnu.org>
2265
2266         * regmove.c (regmove_optimize): Conform to struct rtl_opt_pass
2267         execute function prototype.  Get f and nregs from max_reg_num
2268         and get_insns.  Remove the first backward pass as it's dead,
2269         guard the forward pass by flag_expensive_optimizations.
2270         (rest_of_handle_regmove): Delete.
2271         (pass_regmove): Replace it with regmove_optimize.
2272
2273 2009-02-25  Martin Jambor  <mjambor@suse.cz>
2274
2275         PR tree-optimization/39259
2276         * tree-inline.c (initialize_cfun): Remove asserts for calls_setjmp and
2277         calls_alloca function flags.
2278         (copy_bb): Set calls_setjmp and alls_alloca function flags if such
2279         calls are detected.
2280
2281 2009-02-25  Paolo Bonzini  <bonzini@gnu.org>
2282
2283         * regmove.c (discover_flags_reg, flags_set_1, mark_flags_life_zones,
2284         flags_set_1_rtx, flags_set_1_set): Delete.
2285         (regmove_optimize): Do not call mark_flags_life_zones.
2286
2287 2009-02-24  Julian Brown  <julian@codesourcery.com>
2288
2289         PR target/35965
2290         * config/arm/arm.c (require_pic_register): Only set
2291         cfun->machine->pic_reg once per function.
2292
2293 2009-02-24  Sandra Loosemore  <sandra@codesourcery.com>
2294
2295         * doc/invoke.texi (Link Options): Document an easier way to pass
2296         options that take arguments to the GNU linker using -Xlinker and -Wl.
2297
2298 2009-02-24  Steve Ellcey  <sje@cup.hp.com>
2299
2300         PR target/33785
2301         * doc/tm.texi (TARGET_C99_FUNCTIONS): Fix description.
2302
2303 2009-02-24  Richard Guenther  <rguenther@suse.de>
2304
2305         PR debug/39285
2306         * dwarf2out.c (gen_enumeration_type_die): Handle CONST_DECLs.
2307
2308 2009-02-24  Richard Guenther  <rguenther@suse.de>
2309             Zdenek Dvorak  <ook@ucw.cz>
2310
2311         PR tree-optimization/39233
2312         * tree-ssa-loop-ivopts.c (add_candidate_1): Do not except pointers
2313         from converting them to a generic type.
2314
2315 2009-02-23  Sebastian Pop  <sebastian.pop@amd.com>
2316
2317         PR tree-optimization/39260
2318         * graphite.c (harmful_stmt_in_bb): Stop a SCoP when the basic block
2319         contains a condition with a real type.
2320         (build_scop_conditions_1): Conditions are always last_stmt of a bb.
2321
2322 2009-02-23  Jason Merrill  <jason@redhat.com>
2323
2324         PR c++/38880
2325         * varasm.c (initializer_constant_valid_p) [PLUS_EXPR]: Check
2326         narrowing_initializer_constant_valid_p.
2327         (narrowing_initializer_constant_valid_p): Don't return 
2328         null_pointer_node for adding a pointer to itself.
2329
2330 2009-02-23  Jan Hubicka  <jh@suse.cz>
2331
2332         PR c/12245
2333         * ggc.h (htab_create_ggc): Use ggc_free to free hashtable when
2334         resizing.
2335
2336 2009-02-23  Jan Hubicka  <jh@suse.cz>
2337
2338         PR tree-optimization/37709
2339         * tree.c (block_ultimate_origin): Move here from dwarf2out.
2340         * tree.h (block_ultimate_origin): Declare.
2341         * dwarf2out.c (block_ultimate_origin): Move to tree.c
2342         * tree-ssa-live.c (remove_unused_scope_block_p):
2343         Eliminate blocks containig no instructions nor live variables nor
2344         nested blocks.
2345         (dump_scope_block): New function.
2346         (remove_unused_locals): Enable removal of dead blocks by default;
2347         enable dumping at TDF_DETAILS.
2348
2349 2009-02-21  H.J. Lu  <hongjiu.lu@intel.com>
2350
2351         * config/i386/i386.c (classify_argument): Don't allow COImode
2352         and OImode.
2353         (function_arg_advance_32): Don't allow OImode.
2354         (function_arg_32): Likewise.
2355         (function_value_32): Likewise.
2356         (return_in_memory_32): Likewise.
2357         (function_arg_64): Remove OImode comment.
2358
2359 2009-02-21  H.J. Lu  <hongjiu.lu@intel.com>
2360
2361         PR target/39261
2362         * config/i386/i386.c (ix86_expand_vector_init_one_nonzero): Use
2363         ix86_expand_vector_set for V4DImode in 64bit mode only.
2364         (ix86_expand_vector_init_one_var): Likewise.
2365
2366 2009-02-21  Sebastian Pop  <sebastian.pop@amd.com>
2367
2368         * graphite.c (graphite_trans_loop_block): Adjust tile size to 51.
2369
2370 2009-02-21  Richard Sandiford  <rdsandiford@googlemail.com>
2371
2372         PR bootstrap/39257
2373         * loop-iv.c: Revert last change.
2374         * emit-rtl.c: Likewise.
2375
2376 2009-02-21  H.J. Lu  <hongjiu.lu@intel.com>
2377
2378         PR target/39256
2379         * config/i386/i386.c (type_natural_mode): Remove an extra
2380         space in the warning message.
2381         (function_value_32): Handle 32-byte vector modes.
2382         (return_in_memory_32): Likewise.
2383
2384 2009-02-21  Richard Sandiford  <rdsandiford@googlemail.com>
2385
2386         * loop-iv.c (truncate_value): New function.
2387         (iv_subreg, get_iv_value, iv_number_of_iterations): Use it instead
2388         of lowpart_subreg.
2389         (lowpart_subreg): Move to...
2390         * emit-rtl.c: ...here.
2391
2392 2009-02-21  Danny Smith  <dannysmith@users.sourceforge.net>
2393
2394         * config/i386/winnt.c (i386_pe_asm_output_aligned_decl_common): Revert
2395         accidental and undocumented change at revision 140860.
2396
2397 2009-02-21  Joseph Myers  <joseph@codesourcery.com>
2398
2399         * config/arm/arm.c (arm_gimplify_va_arg_expr): Update prototype to
2400         take gimple_seq * arguments.
2401         (arm_mangle_type): Use CONST_CAST_TREE on type argument passed to
2402         types_compatible_p langhook.
2403
2404 2009-02-20  Mark Mitchell  <mark@codesourcery.com>
2405             Joseph Myers  <joseph@codesourcery.com>
2406
2407         * config/arm/arm.c (arm_builtin_va_list): New function.
2408         (arm_expand_builtin_va_start): Likewise.
2409         (arm_gimplify_va_arg_expr): Likewise.
2410         (TARGET_BUILD_BUILTIN_VA_LIST): Define.
2411         (TARGET_BUILD_BUILTIN_VA_START): Likewise.
2412         (TARGET_BUILD_BUILTIN_VA_ARG_EXPR): Likewise.
2413         (va_list_type): New variable.
2414         (arm_mangle_type): Mangle va_list_type appropriately.
2415
2416 2009-02-20  Jakub Jelinek  <jakub@redhat.com>
2417
2418         PR middle-end/39157
2419         * Makefile.in (loop-invariant.o): Depend on $(PARAMS_H).
2420         * params.h (LOOP_INVARIANT_MAX_BBS_IN_LOOP): Define.
2421         * params.def (loop-invariant-max-bbs-in-loop): New parameter.
2422         * opts.c (decode_options): Set loop-invariant-max-bbs-in-loop
2423         parameter to 1000 for -O1 by default.
2424         * doc/invoke.texi (loop-invariant-max-bbs-in-loop): Document new
2425         parameter.
2426         * loop-invariant.c: Include params.h.
2427         (move_loop_invariants): Don't call move_single_loop_invariants on
2428         very large loops.
2429
2430 2009-02-20  Jaka Mocnik  <jaka@xlab.si>
2431
2432         * calls.c (emit_library_call_value_1): Use slot_offset instead of
2433         offset when calculating bounds for indexing stack_usage_map.  Fixes
2434         a buffer overflow with certain target setups.
2435
2436 2009-02-20  Jakub Jelinek  <jakub@redhat.com>
2437
2438         PR target/39240
2439         * calls.c (expand_call): Clear try_tail_call if caller and callee
2440         disagree in promotion of function return value.
2441
2442 2009-02-19  Jakub Jelinek  <jakub@redhat.com>
2443
2444         PR target/39175
2445         * c-common.c (c_determine_visibility): If visibility changed and
2446         DECL_RTL has been already set, call make_decl_rtl to update symbol
2447         flags.
2448
2449 2009-02-19  H.J. Lu  <hongjiu.lu@intel.com>
2450
2451         PR c++/39188
2452         * varasm.c (assemble_variable): Don't check DECL_NAME when
2453         globalizing a variable.
2454
2455 2009-02-19  Joseph Myers  <joseph@codesourcery.com>
2456
2457         PR c/38483
2458         * builtins.c (gimplify_va_arg_expr): Evaluate the va_list
2459         expression before any __builtin_trap call.
2460         * c-typeck.c (build_function_call): Convert and check function
2461         arguments before generating a call to a trap.  Evaluate the
2462         function arguments before the trap.
2463
2464 2009-02-19  Uros Bizjak  <ubizjak@gmail.com>
2465
2466         PR target/39228
2467         * config/i386/i386.md (isinfxf2): Split from isinf<mode>2.
2468         (UNSPEC_FXAM_MEM): New unspec.
2469         (fxam<mode>2_i387_with_temp): New insn and split pattern.
2470         (isinf<mode>2): Use MODEF mode iterator.  Force operand[1] through
2471         memory using fxam<mode>2_i387_with_temp to remove excess precision.
2472
2473 2009-02-19  Richard Guenther  <rguenther@suse.de>
2474
2475         PR tree-optimization/39207
2476         PR tree-optimization/39074
2477         * tree-ssa-structalias.c (storedanything_id, var_storedanything,
2478         storedanything_tree): New.
2479         (do_ds_constraint): Simplify ANYTHING shortcutting.  Update
2480         the STOREDANYTHING solution if the lhs solution contains ANYTHING.
2481         (build_succ_graph): Add edges from STOREDANYTHING to all
2482         non-direct nodes.
2483         (init_base_vars): Initialize STOREDANYTHING.
2484         (compute_points_to_sets): Free substitution info after
2485         building the succ graph.
2486         (ipa_pta_execute): Likewise.
2487
2488         * tree-ssa-structalias.c (struct variable_info): Add may_have_pointers
2489         field.
2490         (do_ds_constraint): Do not add to special var or non-pointer
2491         field solutions.
2492         (type_could_have_pointers): Split out from ...
2493         (could_have_pointers): ... here.  For arrays use the element type.
2494         (create_variable_info_for): Initialize may_have_pointers.
2495         (new_var_info): Likewise.
2496         (handle_lhs_call): Make the HEAP variable unknown-sized.
2497         (intra_create_variable_infos): Use a type with pointers for
2498         PARM_NOALIAS, make it unknown-sized.
2499
2500 2009-02-18  H.J. Lu  <hongjiu.lu@intel.com>
2501
2502         PR target/39224
2503         * config/i386/i386.c (ix86_return_in_memory): Properly check ABI.
2504
2505 2009-02-18  Jason Merrill  <jason@redhat.com>
2506
2507         PR target/39179
2508         * tree-ssa-ccp.c (get_symbol_constant_value): Don't assume zero
2509         value if DECL_EXTERNAL.
2510         * tree-sra.c (sra_walk_gimple_assign): Likewise.
2511         * target.h (gcc_target::binds_local_p): Clarify "module".
2512         * tree.h (TREE_PUBLIC): Clarify "module".
2513
2514 2009-02-17  Xuepeng Guo  <xuepeng.guo@intel.com>
2515
2516         PR target/38891
2517         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Move the hunk of
2518         initialization for MS_ABI prior to the hunk of !TARGET_MMX.
2519
2520 2009-02-17  H.J. Lu  <hongjiu.lu@intel.com>
2521
2522         PR target/39082
2523         * c.opt (Wabi): Support C and ObjC.
2524         (Wpsabi): New.
2525
2526         * c-opts.c (c_common_handle_option): Handle OPT_Wabi.
2527
2528         * config/i386/i386.c (classify_argument): Warn once about the ABI
2529         change when passing union with long double.
2530
2531         * doc/invoke.texi: Update -Wabi for warning psABI changes.
2532
2533 2009-02-18  Joseph Myers  <joseph@codesourcery.com>
2534
2535         PR c/35447
2536         * c-parser.c (c_parser_compound_statement): Always enter and leave
2537         a scope.
2538
2539 2009-02-17  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2540
2541         PR target/34587
2542         * config/darwin.h (SUPPORTS_INIT_PRIORITY): Define.
2543
2544 2009-02-18  Jakub Jelinek  <jakub@redhat.com>
2545
2546         PR tree-optimization/36922
2547         * tree-data-ref.c (initialize_matrix_A): Handle BIT_NOT_EXPR.
2548         * tree-scalar-evolution.c (interpret_rhs_expr, instantiate_scev_1):
2549         Likewise.
2550
2551 2009-02-17  Richard Sandiford  <rdsandiford@googlemail.com>
2552
2553         * config/mips/mips.c (mips_override_options): Set flag_dwarf2_cfi_asm
2554         to 0 for EABI64.
2555
2556 2009-02-17  Richard Sandiford  <rdsandiford@googlemail.com>
2557
2558         * config/mips/mips.md (type): Reclassify lui_movf as "unknown".
2559
2560 2009-02-17  Richard Sandiford  <rdsandiford@googlemail.com>
2561
2562         * config/mips/mips.c (mips_gimplify_va_arg_expr): Fix invalid
2563         tree sharing.
2564
2565 2009-02-17  Ruan Beihong  <ruanbeihong@gmail.com>
2566             Richard Sandiford  <rdsandiford@googlemail.com>
2567
2568         * config/mips/mips.c (CODE_FOR_loongson_biadd): Delete.
2569         * config/mips/loongson.md (reduc_uplus_<mode>): Rename to...
2570         (loongson_biadd): ...this.
2571
2572 2009-02-17  Richard Guenther  <rguenther@suse.de>
2573
2574         PR tree-optimization/39202
2575         * tree-ssa-structalias.c (do_structure_copy): Before collapsing
2576         a var make sure to follow existing collapses.
2577
2578 2009-02-17  Richard Guenther  <rguenther@suse.de>
2579
2580         PR middle-end/39214
2581         * langhooks.c (lhd_print_error_function): Check for NULL block.
2582
2583 2009-02-17  Richard Guenther  <rguenther@suse.de>
2584
2585         PR tree-optimization/39204
2586         * tree-ssa-pre.c (phi_translate_1): Lookup the value-number
2587         of the PHI arg.
2588
2589 2009-02-17  Uros Bizjak  <ubizjak@gmail.com>
2590
2591         * config/soft-fp/double.h: Update from glibc CVS.
2592
2593 2009-02-17  Richard Guenther  <rguenther@suse.de>
2594
2595         PR tree-optimization/39207
2596         * tree-ssa-structalias.c (find_what_p_points_to): Do not emit
2597         strict-aliasing warnings for pointers pointing to NULL.
2598
2599 2009-02-16  Joseph Myers  <joseph@codesourcery.com>
2600
2601         PR c/35446
2602         * c-parser.c (c_parser_braced_init): Call pop_init_level when
2603         skipping until next close brace.
2604
2605 2009-02-16  H.J. Lu  <hongjiu.lu@intel.com>
2606
2607         PR target/37049
2608         * config/i386/i386.c (ix86_expand_push): Set memory alignment
2609         to function argument boundary.
2610
2611 2009-02-16  Hariharan Sandanagobalane  <hariharan@picochip.com>
2612
2613         * config/picochip/picochip.md (lea_add): Allow any nonimmediate
2614         in the lea_add. Reload eventually constraints it properly.
2615         * config/picochip/constraints.md : Remove the target constraint
2616         "b", since it is not needed anymore.
2617
2618 2009-02-16  Jakub Jelinek  <jakub@redhat.com>
2619
2620         * gthr-dce.h: Uglify function parameter and local variable names.
2621         * gthr-gnat.h: Likewise.
2622         * gthr-mipssde.h: Likewise.
2623         * gthr-nks.h: Likewise.
2624         * gthr-posix95.h: Likewise.
2625         * gthr-posix.h: Likewise.
2626         * gthr-rtems.h: Likewise.
2627         * gthr-single.h: Likewise.
2628         * gthr-solaris.h: Likewise.
2629         * gthr-tpf.h: Likewise.
2630         * gthr-vxworks.h: Likewise.
2631         * gthr-win32.h: Likewise.
2632
2633 2009-02-15  H.J. Lu  <hongjiu.lu@intel.com>
2634
2635         PR target/39196
2636         * config/i386/i386.md: Restrict the new peephole2 to move
2637         between MMX/SSE registers.
2638
2639 2009-02-15  Richard Guenther  <rguenther@suse.de>
2640
2641         Revert
2642         2009-02-13  Richard Guenther  <rguenther@suse.de>
2643
2644         * configure.ac: Enable LFS.
2645         * configure: Re-generate.
2646         * config.in: Likewise.
2647
2648 2009-02-13  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
2649
2650         * config/spu/spu_internals.h (spu_sr, spu_sra, spu_srqw,
2651         spu_srqwbyte, spu_srqwbytebc): Define.
2652         * config/spu/spu-builtins.def (spu_sr, spu_sra, spu_srqw,
2653         spu_srqwbyte, spu_srqwbytebc): New overloaded builtins.
2654         * config/spu/spu.md ("shrqbybi_<mode>", "shrqbi_<mode>",
2655         "shrqby_<mode>"): New insn-and-split patterns.
2656         * config/spu/spu.c (expand_builtin_args): Determine and return
2657         number of operands using spu_builtin_description data.
2658         (spu_expand_builtin_1): Use it.
2659
2660 2009-02-13  Steve Ellcey  <sje@cup.hp.com>
2661
2662         PR target/38056
2663         * config/ia64/ia64.c (ia64_function_ok_for_sibcall): Check
2664         TARGET_CONST_GP.
2665
2666 2009-02-13  H.J. Lu  <hongjiu.lu@intel.com>
2667
2668         PR target/39149
2669         * config/i386/i386.c (override_options): Correct warning
2670         messages for -malign-loops, -malign-jumps and -malign-functions.
2671
2672 2009-02-13  H.J. Lu  <hongjiu.lu@intel.com>
2673
2674         PR target/39152
2675         * config/i386/i386.md: Restrict the new peephole2 to move
2676         between the general purpose registers.
2677
2678 2009-02-13  H.J. Lu  <hongjiu.lu@intel.com>
2679
2680         PR target/39162
2681         * config/i386/i386.c (type_natural_mode): Add a new argument.
2682         Return the original mode and warn ABI change if vector size is 32byte.
2683         (function_arg_advance): Updated.
2684         (function_arg): Likewise.
2685         (ix86_function_value): Likewise.
2686         (ix86_return_in_memory): Likewise.
2687         (ix86_sol10_return_in_memory): Likewise.
2688         (ix86_gimplify_va_arg): Likewise.
2689         (function_arg_32): Don't warn ABX ABI change here.
2690         (function_arg_64): Likewise.
2691
2692 2009-02-13  Bernd Schmidt  <bernd.schmidt@analog.com>
2693
2694         * loop-iv.c (implies_p): In the final case, test that operands 0
2695         of the two comparisons match.
2696
2697         * config/bfin/bfin.c (find_prev_insn_start): New function.
2698         (bfin_optimize_loop): Use it in some cases instead of PREV_INSN.
2699         (find_next_insn_start): Move.
2700
2701 2009-02-13  Richard Guenther  <rguenther@suse.de>
2702
2703         * configure.ac: Enable LFS.
2704         * configure: Re-generate.
2705         * config.in: Likewise.
2706
2707 2009-02-13  Joseph Myers  <joseph@codesourcery.com>
2708
2709         PR c/35444
2710         * c-parser.c (c_parser_parms_list_declarator): Discard pending
2711         sizes on syntax error after some arguments have been parsed.
2712
2713 2009-02-12  Jakub Jelinek  <jakub@redhat.com>
2714
2715         * doc/invoke.texi (-fira): Remove.
2716
2717 2009-02-12  H.J. Lu  <hongjiu.lu@intel.com>
2718
2719         * caller-save.c: Replace regclass.c with reginfo.c in comments.
2720         * recog.c: Likewise.
2721         * rtl.h: Likewise.
2722
2723 2009-02-12  Uros Bizjak  <ubizjak@gmail.com>
2724
2725         * longlong.h (sub_ddmmss): New for ia64. Ported from GMP 4.2.
2726         (umul_ppmm): Likewise.
2727         (count_leading_zeros): Likewise.
2728         (count_trailing_zeros): Likewise.
2729         (UMUL_TIME): Likewise.
2730
2731 2009-02-12  H.J. Lu  <hongjiu.lu@intel.com>
2732
2733         * config.gcc (ia64*-*-linux*): Add ia64/t-fprules-softfp and
2734         soft-fp/t-softfp to tmake_file.
2735
2736         * config/ia64/ia64.c (ia64_soft_fp_init_libfuncs): New.
2737         (ia64_expand_compare): Use HPUX library for TFmode only for HPUX.
2738         (ia64_builtins) [IA64_BUILTIN_COPYSIGNQ, IA64_BUILTIN_FABSQ,
2739         IA64_BUILTIN_INFQ]: New.
2740         (ia64_init_builtins): Initialize __builtin_infq,
2741         __builtin_fabsq and __builtin_copysignq if not HPUX.
2742         (ia64_expand_builtin): Handle IA64_BUILTIN_COPYSIGNQ,
2743         IA64_BUILTIN_FABSQ and IA64_BUILTIN_INFQ.
2744
2745         * config/ia64/lib1funcs.asm (__divtf3): Define only if
2746         SHARED is defined.
2747         (__fixtfti): Likewise.
2748         (__fixunstfti): Likewise.
2749         (__floattitf): Likewise.
2750
2751         * config/ia64/libgcc-glibc.ver: New.
2752         * config/ia64/t-fprules-softfp: Likewise.
2753         * config/ia64/sfp-machine.h: Likewise.
2754
2755         * config/ia64/linux.h (LIBGCC2_HAS_TF_MODE): New.
2756         (LIBGCC2_TF_CEXT): Likewise.
2757         (TF_SIZE): Likewise.
2758         (TARGET_INIT_LIBFUNCS): Likewise.
2759
2760         * config/ia64/t-glibc (SHLINB_MAPFILES):
2761         Add $(srcdir)/config/ia64/libgcc-glibc.ver.
2762
2763 2009-02-12  H.J. Lu  <hongjiu.lu@intel.com>
2764
2765         * config/i386/i386.c (construct_container): Rewrite processing
2766         BLKmode with X86_64_SSE_CLASS.
2767
2768 2009-02-12  Paolo Bonzini  <bonzini@gnu.org>
2769
2770         PR target/39152
2771         * config/i386/i386.md: Replace simplify_replace_rtx with
2772         replace_rtx in the new peephole2.
2773
2774 2009-02-12  Nathan Sidwell  <nathan@codesourcery.com>
2775
2776         * doc/invoke.texi (Optimize Options): Stop claiming inlining and
2777         loop unrolling do not happen at -O2.
2778
2779 2009-02-12  Michael Matz  <matz@suse.de>
2780
2781         * gcc.c (ASM_DEBUG_SPEC): Check for -g0.
2782
2783 2009-02-12  Jakub Jelinek  <jakub@redhat.com>
2784
2785         * dwarf2out.c (dwarf2out_finish): Force output of comp_unit_die
2786         for -g3.
2787
2788 2009-02-12  Ben Elliston  <bje@au.ibm.com>
2789
2790         * config/rs6000/rs6000.md (allocate_stack): Use _stack form of
2791         patterns when updating the back chain.  Missed in the 2009-02-10
2792         change.
2793
2794 2009-02-11  Janis Johnson  <janis187@us.ibm.com>
2795
2796         * doc/extend.texi (Decimal Floating Types): Update identifier of
2797         draft TR and list of missing support.
2798
2799 2009-02-11  Jakub Jelinek  <jakub@redhat.com>
2800
2801         PR middle-end/39154
2802         * gimplify.c (omp_notice_variable): If adding GOVD_SEEN
2803         bit to variable length decl's flags, add it also to its
2804         pointer replacement variable.
2805
2806 2009-02-11  Uros Bizjak  <ubizjak@gmail.com>
2807             Jakub Jelinek  <jakub@redhat.com>
2808
2809         PR target/39118
2810         * config/i386/i386.md (UNSPEC_MEMORY_BLOCKAGE): New constant.
2811         (memory_blockage): New expander.
2812         (*memory_blockage): New insn pattern.
2813         * config/i386/i386.c (ix86_expand_prologue): Use memory_blockage
2814         instead of general blockage at the end of function prologue when
2815         frame pointer is used to access red zone area.  Do not emit blockage
2816         when profiling, it is emitted in generic code.
2817         (ix86_expand_epilogue): Emit memory_blockage at the beginning of
2818         function epilogue when frame pointer is used to access red zone area.
2819
2820 2009-02-11  Paolo Bonzini  <bonzini@gnu.org>
2821
2822         PR target/38824
2823         * config/i386/i386.md: Add two new peephole2 to avoid mov followed
2824         by arithmetic with memory operands.
2825         * config/i386/predicates.md (commutative_operator): New.
2826
2827 2009-02-10  Janis Johnson  <janis187@us.ibm.com>
2828
2829         * doc/extend.texi (Fixed-Point Types): Break long paragraphs into
2830         bulleted lists.
2831
2832 2009-02-10  Eric Botcazou  <ebotcazou@adacore.com>
2833
2834         * alias.h (record_alias_subset): Declare.
2835         * alias.c (record_alias_subset): Make global.
2836
2837 2009-02-10  Nick Clifton  <nickc@redhat.com>
2838
2839         * tree-parloops.c: Change license to GPLv3.
2840         * ipa-struct-reorg.c: Change license to GPLv3.
2841         * ipa-struct-reorg.h: Change license to GPLv3.
2842
2843 2009-02-10  Steve Ellcey  <sje@cup.hp.com>
2844
2845         PR c/39084
2846         * c-decl.c (start_struct): Return NULL on error.
2847
2848 2009-02-10  Jakub Jelinek  <jakub@redhat.com>
2849
2850         PR middle-end/39124
2851         * cfgloopmanip.c (remove_path): Call remove_bbs after
2852         cancel_loop_tree, not before it.
2853
2854         PR target/39139
2855         * function.h (struct function): Add has_local_explicit_reg_vars bit.
2856         * gimplify.c (gimplify_bind_expr): Set it if local DECL_HARD_REGISTER
2857         VAR_DECLs were seen.
2858         * tree-ssa-live.c (remove_unused_locals): Recompute
2859         cfun->has_local_explicit_reg_vars.
2860         * tree-ssa-sink.c (statement_sink_location): Don't sink BLKmode
2861         copies or clearings if cfun->has_local_explicit_reg_vars.
2862
2863 2009-02-10  Uros Bizjak  <ubizjak@gmail.com>
2864
2865         PR target/39118
2866         * config/i386/i386.c (expand_prologue): Emit blockage at the end
2867         of function prologue when frame pointer is used to access
2868         red zone area.
2869
2870 2009-02-10  Richard Guenther  <rguenther@suse.de>
2871
2872         PR middle-end/39127
2873         * gimplify.c (gimple_regimplify_operands): Always look if
2874         we need to create a temporary.
2875
2876 2009-02-10  Richard Guenther  <rguenther@suse.de>
2877
2878         PR tree-optimization/39132
2879         * tree-loop-distribution.c (todo): New global var.
2880         (generate_memset_zero): Trigger TODO_rebuild_alias.
2881         (tree_loop_distribution): Return todo.
2882
2883 2009-02-10  H.J. Lu  <hongjiu.lu@intel.com>
2884
2885         PR target/39119
2886         * config/i386/i386.c (x86_64_reg_class): Remove X86_64_AVX_CLASS.
2887         (x86_64_reg_class_name): Removed.
2888         (classify_argument): Return 0 if bytes > 32.  Return 0 if the
2889         first one isn't X86_64_SSE_CLASS or any other ones aren't
2890         X86_64_SSEUP_CLASS when size > 16bytes.  Don't turn
2891         X86_64_SSEUP_CLASS into X86_64_SSE_CLASS if the preceded one
2892         is X86_64_SSEUP_CLASS.  Set AVX modes to 1 X86_64_SSE_CLASS
2893         and 3 X86_64_SSEUP_CLASS.
2894         (construct_container): Remove X86_64_AVX_CLASS.  Handle 4
2895         registers with 1 X86_64_SSE_CLASS and 3 X86_64_SSEUP_CLASS.
2896
2897 2009-02-10  Ben Elliston  <bje@au.ibm.com>
2898
2899         * config/rs6000/rs6000.md (allocate_stack): Always use an update
2900         form instruction to update the stack back chain word, even if the
2901         user has disabled the generation of update instructions.
2902         (movdi_<mode>_update_stack): New.
2903         (movsi_update_stack): Likewise.
2904         * config/rs6000/rs6000.c (rs6000_emit_allocate_stack): Likewise,
2905         always use an update form instruction to update the stack back
2906         chain word.
2907
2908 2009-02-09  Sebastian Pop  <sebastian.pop@amd.com>
2909
2910         PR middle-end/38953
2911         * graphite.c (if_region_set_false_region): After moving a region in
2912         the false branch of a condition, remove the empty dummy basic block.
2913         (gloog): Remove wrong fix for PR38953.
2914
2915 2009-02-09  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
2916
2917         * config/spu/spu.c (array_to_constant): Fix (latent) wrong-code
2918         generation due to implicit sign extension.
2919
2920 2009-02-09  Eric Botcazou  <ebotcazou@adacore.com>
2921
2922         PR middle-end/38981
2923         * tree-ssa-coalesce.c (add_coalesce): Cap the costs of coalesce pairs
2924         at MUST_COALESCE_COST-1 instead of MUST_COALESCE_COST.
2925
2926 2009-02-09  Richard Guenther  <rguenther@suse.de>
2927
2928         PR middle-end/35202
2929         * convert.c (convert_to_real): Disable (float)fn((double)x)
2930         to fnf(x) conversion if errno differences may occur and
2931         -fmath-errno is set.
2932
2933 2009-02-07  Anatoly Sokolov  <aesok@post.ru>
2934
2935         * config/avr/avr.c (avr_mcu_t): Add ata6289 device.
2936         * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
2937         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
2938
2939 2009-02-06  Joseph Myers  <joseph@codesourcery.com>
2940
2941         PR c/35434
2942         * c-common.c (handle_alias_attribute): Disallow attribute for
2943         anything not a FUNCTION_DECL or VAR_DECL.
2944
2945 2009-02-06  Janis Johnson  <janis187@us.ibm.com>
2946
2947         PR c/39035
2948         * real.c (do_compare): Special-case compare of zero against
2949         decimal float value.
2950
2951 2009-02-06  Joseph Myers  <joseph@codesourcery.com>
2952
2953         PR c/36432
2954         * c-decl.c (grokdeclarator): Don't treat [] declarators in fields
2955         as indicating flexible array members unless the field itself is
2956         being declarared as the incomplete array.
2957
2958 2009-02-06  Jan Hubicka  <jh@suse.cz>
2959
2960         PR tree-optimization/38844
2961         * ipa-inline.c (try_inline): Stop inlining recursion when edge
2962         is already inlined.
2963
2964 2009-02-06  Richard Guenther  <rguenther@suse.de>
2965
2966         PR middle-end/38977
2967         * tree-cfg.c (need_fake_edge_p): Force a fake edge for
2968         fork because we may expand it as __gcov_fork.
2969
2970 2009-02-06  Nick Clifton  <nickc@redhat.com>
2971
2972         * config/m32c/m32c.h (PCC_BITFIELD_TYPE_MATTERS): Define to zero.
2973
2974 2009-02-06  Paolo Bonzini  <bonzini@gnu.org>
2975
2976         PR tree-optimization/35659
2977         * tree-ssa-sccvn.c (vn_constant_eq, vn_reference_eq, vn_nary_op_eq
2978         vn_phi_eq): Shortcut if hashcode does not match.
2979         (vn_reference_op_compute_hash): Do not call iterative_hash_expr for
2980         NULL operands.
2981         * tree-ssa-pre.c (pre_expr_hash): Look at hashcode if available,
2982         and avoid iterative_hash_expr.
2983         (FOR_EACH_VALUE_ID_IN_SET): New.
2984         (value_id_compare): Remove.
2985         (sorted_array_from_bitmap_set): Use FOR_EACH_VALUE_ID_IN_SET to
2986         sort expressions by value id.
2987
2988 2009-02-05  Kaz Kojima  <kkojima@gcc.gnu.org>
2989
2990         PR target/38991
2991         * config/sh/predicates.md (general_movsrc_operand): Don't check
2992         the subreg of system registers here.
2993
2994 2009-02-05  Jakub Jelinek  <jakub@redhat.com>
2995
2996         PR c++/39106
2997         * cgraphunit.c (cgraph_function_versioning): Clear also DECL_VIRTUAL_P
2998         on the copied decl.
2999
3000 2009-02-05  Paolo Bonzini  <bonzini@gnu.org>
3001
3002         PR rtl-optimization/39110
3003         * rtlanal.c (rtx_addr_can_trap_p_1): Shortcut unaligned
3004         addresses, not aligned ones.
3005
3006 2009-02-05  Daniel Berlin  <dberlin@dberlin.org>
3007             Richard Guenther  <rguenther@suse.de>
3008
3009         PR tree-optimization/39100
3010         * tree-ssa-structalias.c (do_ds_constraint): Actually do what the
3011         comment says and add edges.
3012
3013 2009-02-05  Joseph Myers  <joseph@codesourcery.com>
3014
3015         PR c/35435
3016         * c-common.c (handle_tls_model_attribute): Ignore attribute for
3017         non-VAR_DECLs without checking DECL_THREAD_LOCAL_P.
3018
3019 2009-02-04  Tobias Grosser  <grosser@fim.uni-passau.de> 
3020
3021         * graphite.c (bb_in_sese_p, sese_build_livein_liveouts_use,
3022         sese_build_livein_liveouts_bb, sese_build_livein_liveouts,
3023         register_bb_in_sese, new_sese, free_sese): Moved.
3024         (dot_scop_1, build_scop_loop_nests, build_loop_iteration_domains,
3025         outermost_loop_in_scop, build_scop_iteration_domain,
3026         expand_scalar_variables_ssa_name, get_vdef_before_scop,
3027         limit_scops): Use bb_in_sese_p instead of bb_in_scop_p.
3028         Use loop_in_sese_p instead of loop_in_scop_p.
3029         (new_graphite_bb, gloog): Do not initialize SCOP_BBS_B.
3030         (new_scop, free_scop): Remove SCOP_LOOP2CLOOG_LOOP and SCOP_BBS_B.
3031         (scopdet_basic_block_info): Fix bug in scop detection.
3032         (new_loop_to_cloog_loop_str, hash_loop_to_cloog_loop,
3033         eq_loop_to_cloog_loop): Remove.
3034         (nb_loops_around_loop_in_scop, nb_loop
3035         ref_nb_loops): Moved here...
3036         * graphite.h (ref_nb_loops): ... from here.
3037         (struct scop): Remove bbs_b bitmap and loop2cloog_loop.
3038         (loop_domain_dim, loop_iteration_vector_dim): Remove.
3039         (SCOP_BBS_B, bb_in_scop_p, loop_in_scop_p): Removed.
3040         * testsuite/gcc.dg/graphite/scop-19.c: New
3041
3042 2009-02-04  Paolo Bonzini  <bonzini@gnu.org>
3043             Hans-Peter Nilsson  <hp@axis.com>
3044
3045         PR rtl-optimization/37889
3046         * rtlanal.c (rtx_addr_can_trap_p_1): Add offset and size arguments.
3047         Move offset handling from PLUS to before the switch.  Use new
3048         arguments when considering SYMBOL_REFs too.
3049         (rtx_addr_can_trap_p): Pass dummy offset and size.
3050         (enum may_trap_p_flags): Remove.
3051         (may_trap_p_1): Pass size from MEM_SIZE.
3052
3053         PR rtl-optimization/38921
3054         * loop-invariant.c (find_invariant_insn): Use may_trap_or_fault_p.
3055         * rtl.h (may_trap_after_code_motion_p): Delete prototype.
3056         * rtlanal.c (may_trap_after_code_motion_p): Delete.
3057         (may_trap_p, may_trap_or_fault_p): Pass 0/1 as flags.
3058
3059 2009-02-04  H.J. Lu  <hongjiu.lu@intel.com>
3060
3061         AVX Programming Reference (January, 2009)
3062         * config/i386/sse.md (*vpclmulqdq): New.
3063
3064 2009-02-04  Jakub Jelinek  <jakub@redhat.com>
3065
3066         PR tree-optimization/38977
3067         PR gcov-profile/38292
3068         * calls.c (special_function_p): Disregard __builtin_ prefix.
3069
3070 2009-02-04  Hariharan Sandanagobalane  <hariharan@picochip.com>
3071
3072         * config/picochip/picochip.c (GO_IF_LEGITIMATE_ADDRESS): Disallow
3073         non-indexable addresses even before reload.
3074
3075 2009-02-03  Joseph Myers  <joseph@codesourcery.com>
3076
3077         PR c/29129
3078         * c-decl.c (grokdeclarator): Mark [*] arrays in field declarators
3079         as having variable size.  Do not give an error for unnamed
3080         parameters with [*] declarators.  Give a warning for type names
3081         with [*] declarators and mark them as variable size.
3082         * c-parser.c (c_parser_sizeof_expression): Do not give an error
3083         for sizeof applied to [*] type names.
3084
3085 2009-02-03  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3086
3087         PR C++/36607
3088         * convert.c (convert_to_integer): Treat OFFSET_TYPE like INTEGER_TYPE.
3089
3090 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
3091
3092         * gcc.c (process_command): Update copyright notice dates.
3093         * gcov.c (print_version): Likewise.
3094         * gcov-dump.c (print_version): Likewise.
3095         * mips-tfile.c (main): Likewise.
3096         * mips-tdump.c (main): Likewise.
3097
3098 2009-02-03  Joseph Myers  <joseph@codesourcery.com>
3099
3100         PR c/35433
3101         * c-typeck.c (composite_type): Set TYPE_SIZE and TYPE_SIZE_UNIT
3102         for composite type involving a zero-length array type.
3103
3104 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
3105
3106         PR target/35318
3107         * function.c (match_asm_constraints_1): Skip over
3108         initial optional % in the constraint.
3109
3110         PR inline-asm/39059
3111         * c-parser.c (c_parser_postfix_expression): If fixed point is not
3112         supported, don't accept FIXED_CSTs.
3113         * c-decl.c (finish_declspecs): Error if fixed point is not supported
3114         and _Sat is used without _Fract/_Accum.  Set specs->type to
3115         integer_type_node for cts_fract/cts_accum if fixed point is not
3116         supported.
3117
3118 2009-02-02  Catherine Moore  <clm@codesourcery.com>
3119
3120         * sde.h (SUBTARGET_ARM_SPEC): Don't assemble -fpic code as -mabicalls.
3121
3122 2009-02-02  Richard Sandiford  <rdsandiford@googlemail.com>
3123
3124         * config/mips/mips.h (FILE_HAS_64BIT_SYMBOLS): New macro.
3125         (ABI_HAS_64BIT_SYMBOLS): Use it.
3126         (DWARF2_ADDR_SIZE): Use it instead of ABI_HAS_64BIT_SYMBOLS.
3127
3128 2009-02-02  Paul Brook  <paul@codesourcery.com>
3129
3130         * config/arm/arm.md (arm_addsi3): Add r/r/k alternative.
3131
3132 2009-02-02  Jakub Jelinek  <jakub@redhat.com>
3133
3134         PR inline-asm/39058
3135         * recog.h (asm_operand_ok): Add constraints argument.
3136         * recog.c (asm_operand_ok): Likewise.  If it is set, for digits
3137         recurse on matching constraint.
3138         (check_asm_operands): Pass constraints as 3rd argument to
3139         asm_operand_ok.  Don't look up matching constraint here.
3140         * stmt.c (expand_asm_operands): Pass NULL as 3rd argument
3141         to asm_operand_ok.
3142
3143 2009-02-02  Ben Elliston  <bje@au.ibm.com>
3144
3145         * doc/tm.texi (Storage Layout): Fix TARGET_ALIGN_ANON_BITFIELD and
3146         TARGET_NARROW_VOLATILE_BITFIELD macro names.
3147
3148 2009-01-31  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3149
3150         * doc/install.texi (hppa*-hp-hpux*): Update binutils and linker
3151         information.  Remove some obsolete information.  Reorganize.
3152
3153         * config/pa/fptr.c: Revert license to GPL 2.
3154         * config/pa/milli64.S: Likewise.
3155
3156 2009-01-31  Dave Korn  <dave.korn.cygwin@gmail.com>
3157
3158         PR target/38904
3159         * mkmap-flat.awk (END):  Use pe_dll command-line arg to pass
3160         LIBRARY name in, instead of hard-coding it.
3161         * config.gcc (i[34567]86-*-pe | i[34567]86-*-cygwin*):  Add an
3162         extra target make frag to tmake_files according to EH model.
3163         (i[34567]86-*-mingw* | x86_64-*-mingw*):  Likewise.
3164         * config/i386/t-dw2-eh, config/i386/t-sjlj-eh:  Add new target
3165         frags that define makefile variable EH_MODEL appropriately.
3166         * config/i386/cygming.h (DWARF2_UNWIND_INFO):  Add comment.
3167         * config/i386/cygwin.h (LIBGCC_EH_EXTN):  Define to nothing or
3168         to "-sjlj" according to type of EH configured.
3169         (LIBGCC_SONAME):  Concatenate it to shared library base name.
3170         * config/i386/mingw32.h (LIBGCC_EH_EXTN):  Define to "_dw2" or
3171         to "_sjlj" according to type of EH configured.
3172         (LIBGCC_SONAME):  Concatenate it to shared library base name.
3173         * config/i386/t-cygming (SHLIB_SONAME):  Use EH_MODEL.
3174         (SHLIB_LINK):  Add missing semicolon to if-else construct.
3175         (SHLIB_MKMAP_OPTS):  Pass library name to mkmap-flat.awk as
3176         string value of "pe_dll" command-line option.
3177         * config/i386/t-cygwin (SHLIB_EH_EXTENSION):  New helper.
3178         (SHLIB_SONAME):  Use it when overriding t-cygming default.
3179         (SHLIB_IMPLIB):  Override t-cygming default.
3180         (SHLIB_MKMAP_OPTS):  Pass library name to mkmap-flat.awk as
3181         string value of "pe_dll" command-line option.
3182
3183 2009-01-31  Dave Korn  <dave.korn.cygwin@gmail.com>
3184
3185         PR target/38952
3186         * config/i386/i386.c (ix86_builtin_setjmp_frame_value): New.
3187         (TARGET_BUILTIN_SETJMP_FRAME_VALUE): Override default to point at it.
3188
3189 2009-01-31  Richard Guenther  <rguenther@suse.de>
3190
3191         PR tree-optimization/38937
3192         * tree-ssa-structalias.c (do_sd_constraint): Do not shortcut
3193         computing the transitive closure.
3194
3195 2009-01-30  Richard Guenther  <rguenther@suse.de>
3196
3197         PR tree-optimization/39041
3198         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1):
3199         Propagate variable indices only if the types match for this stmt.
3200
3201 2009-01-30  Jakub Jelinek  <jakub@redhat.com>
3202
3203         PR target/39013
3204         * c-decl.c (pop_scope): Set DECL_EXTERNAL for functions declared
3205         inline but never defined.
3206
3207 2009-01-30  Wolfgang Gellerich  <gellerich@de.ibm.com>
3208
3209         * config/s390/s390.md (*insv<mode>_reg_extimm): Removed.
3210         (*insv_h_di_reg_extimm): New insn.
3211         (*insv_l<mode>_reg_extimm): New insn.
3212
3213 2009-01-30  Hariharan Sandanagobalane  <hariharan@picochip.com>
3214
3215         * config/picochip/picochip.c (flag_conserve_stack): set
3216         PARAM_LARGE_STACK_FRAME and PARAM_STACK_FRAME_GROWTH to zero under
3217         fconserve-stack. Reduce call-overhead used by inliner.
3218
3219 2009-01-30  Hariharan Sandanagobalane  <hariharan@picochip.com>
3220
3221         PR/38157
3222         * common.opt (flag_conserve_stack): Initialised to zero.
3223
3224 2009-01-30  Kai Tietz  <kai.tietz@onevision.com>
3225
3226         PR/39002
3227         * config/i386/i386.c (ix86_can_use_return_insn_p): Check for nsseregs.
3228         (ix86_expand_epilogue): Take nsseregs in account to use proper restore
3229         method.
3230
3231 2009-01-29  H.J. Lu  <hongjiu.lu@intel.com>
3232
3233         * ira-color.c (allocno_reload_assign): Update comments.
3234         * regmove.c (regmove_optimize): Likewise.
3235
3236         * ra.h: Removed.
3237
3238 2009-01-29  Robert Millan  <rmh@aybabtu.com>
3239
3240         * gcc/config.gcc: Recognize GNU/kOpenSolaris (*-*-kopensolaris*-gnu).
3241         * gcc/config/i386/kopensolaris-gnu.h: New file.  Undefine
3242         `MD_UNWIND_SUPPORT'.
3243         * gcc/config/kopensolaris-gnu.h: New file (based on kfreebsd-gnu.h).
3244
3245 2009-01-29  Kazu Hirata  <kazu@codesourcery.com>
3246
3247         PR tree-optimization/39007
3248         * tree-loop-distribution.c (generate_builtin): Use
3249         recompute_dominator to compute the immediate dominator of the
3250         basic block just after the loop.
3251
3252 2009-01-29  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
3253
3254         * config/i386/sol2-10.h [!HAVE_AS_IX86_DIFF_SECT_DELTA]
3255         (ASM_OUTPUT_DWARF_PCREL): Define.
3256
3257 2009-01-29  Vladimir Makarov  <vmakarov@redhat.com>
3258
3259         * doc/tm.texi (TARGET_IRA_COVER_CLASSES): Modify description.
3260         * doc/passes.texi: Remove entries about regclass, local-alloc, and
3261         global.  Modify entries about regmove and IRA.
3262
3263         * ra-conflict.c: Remove the file.
3264
3265         * reload.c (push_reload, find_dummy_reload): Remove flag_ira.
3266
3267         * tree-pass.h (pass_local_alloc, pass_global_alloc): Remove.
3268         (pass_regclass_init): Rename to pass_reginfo_init.
3269
3270         * cfgloopanal.c (estimate_reg_pressure_cost): Remove flag_ira.
3271
3272         * toplev.h (flag_ira): Remove.
3273
3274         * caller-save.c (setup_save_areas): Remove flag_ira.
3275
3276         * ira-color.c (ira_reuse_stack_slot, ira_mark_new_stack_slot): Ditto.
3277
3278         * global.c: Remove the file.
3279
3280         * opts.c (decode_options): Remove flag_ira.
3281
3282         * hard-reg-set.h (losing_caller_save_reg_set): Remove.
3283
3284         * regmove.c: Modify file description.
3285         (find_use_as_address, try_auto_increment): Define them only if
3286         AUTO_INC_DEC is defined.
3287         (replacement_quality, replace_in_call_usage, fixup_match_1,
3288         stable_and_no_regs_but_for_p): Remove.
3289         (reg_set_in_bb): Make it static.
3290         (regmove_optimize): Remove flag_ira and code which worked for
3291         !flag_ira.
3292
3293         * local-alloc.c: Remove the file.
3294
3295         * common.opt (fira): Remove.
3296
3297         * ira.c: Include except.h.
3298         (eliminable_regset): Move from global.c.
3299         (mark_elimination): Ditto.  Remove flag_ira.
3300         (reg_renumber, struct equivalence, reg_equiv, equiv_mem,
3301         equiv_mem_modified, validate_equiv_mem_from_store,
3302         validate_equiv_mem, equiv_init_varies_p, equiv_init_movable_p,
3303         contains_replace_regs, memref_referenced_p, memref_used_between_p,
3304         no_equiv, recorded_label_ref): Move from local-alloc.c.
3305         (update_equiv_regs): Ditto.  Make it static.
3306         (print_insn_chain, print_insn_chains): Move it from global.c.
3307         (pseudo_for_reload_consideration_p): Ditto.  Remove flag_ira.
3308         (build_insn_chain): Ditto.  Make it static.
3309         (ra_init_live_subregs): Move from ra-conflict.c.  Make it static.
3310         Rename to init_live_subregs.
3311         (gate_ira): Remove flag_ira.
3312
3313         * regclass.c: Rename reginfo.c.  Change file description.
3314         (FORBIDDEN_INC_DEC_CLASSES): Remove.
3315         (reg_class_superclasses, forbidden_inc_dec_class, in_inc_dec): Remove.
3316         (init_reg_sets_1): Remove code for evaluation of
3317         reg_class_superclasses and losing_caller_save_reg_set.
3318         (init_regs): Remove init_reg_autoinc.
3319         (struct costs, costs, init_cost, ok_for_index_p_nonstrict,
3320         ok_for_base_p_nonstrict): Remove.
3321         (regclass_init): Rename to reginfo_init.  Don't initialize init_cost.
3322         (pass_regclass_init): Rename to pass_reginfo_init.  Modify
3323         corresponding entries.
3324         (dump_regclass, record_operand_costs, scan_one_insn,
3325         init_reg_autoinc, regclass, record_reg_classes, copy_cost,
3326         record_address_regs, auto_inc_dec_reg_p): Remove.
3327         (gt-regclass.h): Rename to gt-reginfo.h.
3328
3329         * rtl.h (dump_global_regs, retry_global_alloc,
3330         build_insn_chain, dump_local_alloc, update_equiv_regs): Remove.
3331
3332         * Makefile.in (RA_H): Remove.
3333         (OBJS-common): Remove global.o, local-alloc.o, and ra-conflict.o.
3334         Rename regclass.o to reginfo.o.
3335         (regclass.o): Rename to reginfo.o.  Rename gt-regclass.h to
3336         gt-reginfo.h.
3337         (global.o, local-alloc.o, ra-conflict.o): Remove entries.
3338         (GTFILES): Rename regclass.c to reginfo.c.
3339
3340         * passes.c (init_optimization_passes): Remove pass_local_alloc and
3341         pass_global_alloc.  Rename pass_regclass_init to pass_reginfo_init.
3342
3343         * reload1.c (compute_use_by_pseudos, reload, count_pseudo,
3344         count_spilled_pseudo, find_reg, alter_reg, delete_output_reload):
3345         Remove flag_ira.
3346         (finish_spills): Ditto.  Remove code for !flag_ira.
3347         
3348 2009-01-29  Kenneth Zadeck  <zadeck@naturalbridge.com>
3349
3350         PR middle-end/35854
3351         * doc/invoke.texi (rtl debug options): Complete rewrite.
3352         * auto-inc-dec.c (pass_inc_dec): Rename pass from "auto-inc-dec"
3353         to auto_inc_dec".
3354         * mode-switching.c (pass_mode_switching): Rename pass from
3355         "mode-sw" to "mode_sw".
3356         * except.c (pass_convert_to_eh_ranges): Rename pass from
3357         "eh-ranges" to "eh_ranges".
3358         * lower-subreg.c (pass_lower_subreg): Renamed pass from "subreg"
3359         to "subreg1".
3360                 
3361         
3362 2009-01-29  Andrey Belevantsev  <abel@ispras.ru>
3363             Alexander Monakov  <amonakov@ispras.ru>
3364
3365         PR middle-end/38857
3366         * sel-sched.c (count_occurrences_1): Check that *cur_rtx is a hard
3367         register.
3368         (move_exprs_to_boundary): Change return type and pass through
3369         should_move from move_op.  Relax assert.  Update usage ...
3370         (schedule_expr_on_boundary): ... here.  Use should_move instead of
3371         cant_move.
3372         (move_op_orig_expr_found): Indicate that insn was disconnected from
3373         stream.
3374         (code_motion_process_successors): Do not call after_merge_succs
3375         callback if original expression was not found when traversing any of
3376         the branches.
3377         (code_motion_path_driver): Change return type.  Update prototype.
3378         (move_op): Update comment.  Add a new parameter (should_move).  Update
3379         prototype.  Set *should_move based on indication provided by
3380         move_op_orig_expr_found.
3381
3382 2009-01-28  Pat Haugen  <pthaugen@us.ibm.com>
3383
3384         * doc/invoke.texi (avoid-indexed-addresses): Document new option.
3385         * config/rs6000/rs6000-protos.h (avoiding_indexed_address_p): Declare.
3386         * config/rs6000/rs6000.opt (avoid-indexed-addresses): New option.
3387         * config/rs6000/rs6000.c (rs6000_override_options): Default
3388         avoid-indexed-addresses on for Power6, off for everything else.
3389         (avoiding_indexed_address_p): New function.
3390         (rs6000_legitimize_address): Use it.
3391         (rs6000_legitimate_address): Likewise.
3392         * config/rs6000/rs6000.md (movXX_updateX): Likewise
3393
3394 2009-01-28  Kazu Hirata  <kazu@codesourcery.com>
3395
3396         PR tree-optimization/38997
3397         * tree-loop-distribution.c (generate_memset_zero): Use
3398         POINTER_PLUS_EXPR for a pointer addition.
3399
3400 2009-01-28  Andreas Krebbel  <krebbel1@de.ibm.com>
3401
3402         * config/s390/s390.md (bswap<mode>2): New pattern added.
3403
3404 2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>
3405
3406         * config/s390/s390.md (*tls_load_31): Added type attribute.
3407
3408 2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>
3409
3410         * config/s390/s390.md: Fix a few comments.
3411
3412 2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>
3413
3414         * config/s390/s390.md (*tmsi_reg): Fixed z10prop attribute.
3415         (*tm<mode>_full): Fixed z10prop attribute.
3416         (*tst<mode>_extimm): Fixed z10prop attribute.
3417         (*tst<mode>_cconly_extimm): Fixed z10prop attribute.
3418         (*tstqiCCT_cconly): Fixed z10prop attribute.
3419         (*cmpsi_ccu_zerohi_rlsi): Fixed z10prop attribute.
3420         (*movsi_larl): Fixed z10prop attribute.
3421         (*movsi_zarch): Fixed z10prop attribute.
3422         (*movsi_eas): Fixed z10prop attribute.
3423         (*movhi): Fixed z10prop attribute.
3424         (*movqi): Fixed z10prop attribute.
3425         (*movstrictqi): Fixed z10prop attribute.
3426         (*mov<mode>): Fixed z10prop attribute.
3427         (*movcc): Fixed z10prop attribute.
3428         (*sethighpartdi_64): Fixed z10prop attribute.
3429         (*zero_extendhi<mode>2_z10): Fixed z10prop attribute.
3430         (*negdi2_sign_cc): Fixed z10prop attribute.
3431         (*negdi2_sign): Fixed z10prop attribute.
3432         (*absdi2_sign_cc): Fixed z10prop attribute.
3433         (*absdi2_sign): Fixed z10prop attribute.
3434         (*negabsdi2_sign_cc): Fixed z10prop attribute.
3435         (*negabsdi2_sign): Fixed z10prop attribute.
3436         (*cmp_and_trap_signed_int<mode>): Fixed z10prop attribute.
3437         (*cmp_and_trap_unsigned_int<mode>): Fixed z10prop attribute.
3438         (doloop_si64): Fixed z10prop attribute.
3439         (doloop_si31): Fixed z10prop attribute.
3440         (doloop_long): Fixed z10prop attribute.
3441         (indirect_jump): Fixed z10prop attribute.
3442         (nop): Fixed z10prop attribute.
3443         (main_base_64): Fixed z10prop attribute.
3444         (reload_base_64): Fixed z10prop attribute.
3445
3446 2009-01-28  Jakub Jelinek  <jakub@redhat.com>
3447
3448         PR rtl-optimization/38740
3449         * reorg.c (gate_handle_delay_slots): Avoid dbr scheduling
3450         if !optimize.
3451         * config/mips/mips.c (mips_reorg): Likewise.
3452
3453 2009-01-28  Richard Guenther  <rguenther@suse.de>
3454
3455         PR tree-optimization/38926
3456         * tree-ssa-pre.c (add_to_value): Assert we add only expressions
3457         with the correct value id to a value.
3458         (do_regular_insertion): Use the value number of edoubleprime
3459         for the value number of the expr.
3460
3461         Revert
3462         2008-08-21  Richard Guenther  <rguenther@suse.de>
3463
3464         * tree-ssa-pre.c (insert_into_preds_of_block): Before inserting
3465         a PHI ask VN if it is already available.
3466         * tree-ssa-sccvn.h (vn_phi_lookup): Declare.
3467         * tree-ssa-sccvn.c (vn_phi_lookup): Export.
3468
3469 2009-01-28  Jakub Jelinek  <jakub@redhat.com>
3470
3471         PR middle-end/38934
3472         * tree-vrp.c (extract_range_from_assert): For LE_EXPR and LT_EXPR
3473         set to varying whenever max has TREE_OVERFLOW set, similarly
3474         for GE_EXPR and GT_EXPR and TREE_OVERFLOW min.
3475
3476 2009-01-28  Richard Guenther  <rguenther@suse.de>
3477
3478         PR middle-end/38908
3479         * tree-ssa.c (warn_uninitialized_var): Do not warn for seemingly
3480         uninitialized aggregate uses in call arguments.
3481
3482 2009-01-28  Paolo Bonzini  <bonzini@gnu.org>
3483
3484         PR tree-optimization/38984
3485         * tree-ssa-structalias.c (get_constraints_for_1): Do not use
3486         the nothing_id variable if -fno-delete-null-pointer-checks.
3487
3488 2009-01-28  Uros Bizjak  <ubizjak@gmail.com>
3489
3490         PR target/38988
3491         * config/i386/i386.md (set_rip_rex64): Wrap operand 1 in label_ref.
3492         (set_got_offset_rex64): Ditto.
3493
3494 2009-01-27  H.J. Lu  <hongjiu.lu@intel.com>
3495
3496         PR target/38941
3497         * doc/extend.texi: Improve local variable with asm reg.
3498
3499 2009-01-27  Adam Nemet  <anemet@caviumnetworks.com>
3500
3501         * c.opt (Wpacked-bitfield-compat): Change init value to -1.
3502         * c-opts.c (c_common_post_options): If -W*packed-bitfield-compat
3503         was not supplied then set warn_packed_bitfield_compat to the
3504         default value of 1.
3505         * stor-layout.c (place_field): Check warn_packed_bitfield_compat
3506         against 1.
3507
3508 2009-01-27  Richard Guenther  <rguenther@suse.de>
3509
3510         PR tree-optimization/38503
3511         * cfgexpand.c (expand_gimple_basic_block): Ignore
3512         GIMPLE_CHANGE_DYNAMIC_TYPE during expansion.
3513         * tree-ssa-structalias.c (set_uids_in_ptset): Do not prune
3514         variables that cannot have TBAA applied.
3515         (compute_points_to_sets): Do not remove GIMPLE_CHANGE_DYNAMIC_TYPE
3516         statements.
3517
3518 2009-01-27  Uros Bizjak  <ubizjak@gmail.com>
3519
3520         PR middle-end/38969
3521         * calls.c (initialize_argument_information): Do not wrap complex
3522         arguments in SAVE_EXPR.
3523
3524 2009-01-26  Andreas Tobler  <a.tobler@schweiz.org>
3525
3526         * config/t-vxworks (LIBGCC2_INCLUDES): Fix typo.
3527         (INSTALL_LIBGCC): Revert typo commit.
3528
3529 2009-01-26  Richard Guenther  <rguenther@suse.de>
3530
3531         PR tree-optimization/38745
3532         * tree-ssa-alias.c (update_alias_info_1): Exclude RESULT_DECL
3533         from special handling.
3534
3535 2009-01-26  Richard Guenther  <rguenther@suse.de>
3536
3537         PR tree-optimization/38745
3538         * tree-ssa.c (execute_update_addresses_taken): Do not include
3539         variables that cannot possibly be a register in not_reg_needs.
3540         Do not clear TREE_ADDRESSABLE on vars that may not become
3541         registers.
3542         * tree-ssa.c (update_alias_info_1): Include those in the set
3543         of addressable vars.
3544
3545 2009-01-26  Richard Guenther  <rguenther@suse.de>
3546
3547         PR middle-end/38851
3548         * Makefile.in (tree-ssa-dse.o): Add langhooks.h.
3549         * tree-ssa-dse.c: Include langhooks.h
3550         (execute_simple_dse): Remove stores with zero size.
3551
3552 2009-01-24  Jakub Jelinek  <jakub@redhat.com>
3553
3554         PR c/38957
3555         * c-typeck.c (c_finish_return): Handle POINTER_PLUS_EXPR the same way
3556         as PLUS_EXPR.
3557
3558 2009-01-24  Julian Brown  <julian@codesourcery.com>
3559
3560         * config/arm/t-linux-eabi (LIB2FUNCS_STATIC_EXTRA): Add
3561         config/arm/linux-atomic.c.
3562         * config/arm/linux-atomic.c: New.
3563
3564 2009-01-24  Eric Botcazou  <ebotcazou@adacore.com>
3565
3566         * config/sparc/linux.h (DBX_REGISTER_NUMBER): Delete.
3567         * config/sparc/linux64.h (DBX_REGISTER_NUMBER): Likewise.
3568         * config/sparc/sysv4.h (DBX_REGISTER_NUMBER): Likewise.
3569
3570 2009-01-24  H.J. Lu  <hongjiu.lu@intel.com>
3571
3572         PR c/38938
3573         * c-opts.c (c_common_handle_option): Update warn_pointer_sign
3574         properly.
3575
3576 2009-01-24  Sebastian Pop  <sebastian.pop@amd.com>
3577
3578         PR tree-optimization/38953
3579         * graphite.c (graphite_verify): Add a call to verify_loop_closed_ssa.
3580         (scop_adjust_phis_for_liveouts): Initialize false_i to zero.
3581         (gloog): Split the exit of the scop when the scop exit is a loop exit.
3582         (graphite_transform_loops): Only call cleanup_tree_cfg if gloog
3583         changed the CFG.
3584
3585 2009-01-24  Paul Brook  <paul@codesourcery.com>
3586
3587         * config/arm/neon.md (neon_type): Move to arm.md.
3588         (neon_mov<VSTRUCT>): Add neon_type attribute.
3589         * config/arm/arm.md (neon_type): Move to here.
3590         (conds): Add "unconditioal" and use as default for NEON insns.
3591
3592 2009-01-24  Ben Elliston  <bje@au.ibm.com>
3593
3594         * bitmap.h (BITMAP_FREE): Eliminate `implicit conversion from
3595         void *' warning from -Wc++-compat.
3596         * Makefile.in (dominance.o-warn): Remove.
3597
3598 2009-01-23  Paolo Bonzini  <bonzini@gnu.org>
3599
3600         PR tree-optimization/38932
3601         * fold-const.c (fold_unary_ignore_overflow): New.
3602         * tree.h (fold_unary_ignore_overflow): Declare.
3603         * tree-ssa-ccp.c (ccp_fold): Use fold_unary_ignore_overflow.
3604         * tree-ssa-sccvn.c (visit_reference_op_load,
3605         simplify_unary_expression): Likewise.
3606
3607 2009-01-22  Adam Nemet  <anemet@caviumnetworks.com>
3608
3609         * c-decl.c (finish_struct): Move code to set DECL_PACKED after
3610         DECL_BIT_FIELD is alreay known.  Also inherit packed for bitfields
3611         regardless of their type.
3612         * c-common.c (handle_packed_attribute): Don't ignore packed on
3613         bitfields.
3614         * c.opt (Wpacked-bitfield-compat): New warning option.
3615         * stor-layout.c (place_field): Warn if offset of a field changed.
3616         * doc/extend.texi (packed): Mention the ABI change.
3617         * doc/invoke.texi (-Wpacked-bitfield-compat): Document.
3618         (Warning Options): Add it to the list.
3619
3620 2009-01-22  H.J. Lu  <hongjiu.lu@intel.com>
3621
3622         * c-opts.c (c_common_post_options): Fix a typo in comments.
3623
3624 2009-01-22  Steve Ellcey  <sje@cup.hp.com>
3625
3626         PR middle-end/38615
3627         * gimplify.c (gimplify_init_constructor): Fix promotion of const
3628         variables to static.
3629         * doc/invoke.texi (-fmerge-all-constants): Update description.
3630
3631 2009-01-22  Uros Bizjak  <ubizjak@gmail.com>
3632
3633         PR target/38931
3634         * config/i386/i386.md (*movsi_1): Use type "mmx" for alternative 2.
3635         (*movdi_1_rex64): Use type "mmx" for alternative 5.
3636
3637 2009-01-22  Richard Earnshaw  <rearnsha@arm.com>
3638
3639         * arm.h (DATA_ALIGNMENT): Align structures, unions and arrays to
3640         a word boundary.
3641         (LOCAL_ALIGNMENT): Similarly.
3642
3643 2009-01-22  Mark Shinwell  <shinwell@codesourcery.com>
3644             Joseph Myers  <joseph@codesourcery.com>
3645
3646         * config/arm/arm.c (all_architectures): Add iWMMXt2 entry.
3647         * config/arm/arm-cores.def: New ARM_CORE entry for iWMMXt2.
3648         * config/arm/arm-tune.md: Regenerate.
3649         * doc/invoke.texi (ARM Options): Document -mcpu=iwmmxt2 and
3650         -march=iwmmxt2.
3651
3652 2009-01-22  Mark Shinwell  <shinwell@codesourcery.com>
3653
3654         * config/arm/bpabi.h (SUBTARGET_EXTRA_ASM_SPEC): Bump EABI
3655         version number to five.
3656
3657 2009-01-22  Dodji Seketeli  <dodji@redhat.com>
3658
3659         PR c++/38930
3660         * c-decl.c (clone_underlying_type): Revert PR c++/26693 changes.
3661         * c-common.c (set_underlying_type): Likewise.
3662         (is_typedef_decl ): Likewise
3663         * tree.h: Likewise
3664         (set_underlying_type): Likewise.
3665         (is_typedef_type): Likewise.
3666
3667 2009-01-21  Vladimir Makarov  <vmakarov@redhat.com>
3668
3669         PR middle-end/38587
3670         * ira-color.c (coalesce_spill_slots): Don't coalesce allocnos
3671         crossing setjmps.
3672
3673 2009-01-21  Dave Korn  <dave.korn.cygwin@gmail.com>
3674
3675         PR bootstrap/37660
3676         * config/i386/cygwin.h (SHARED_LIBGCC_SPEC):  New helper macro.
3677         (LIBGCC_SPEC):  Don't define.
3678         (REAL_LIBGCC_SPEC):  Define instead, using SHARED_LIBGCC_SPEC.
3679
3680 2009-01-21  Uros Bizjak  <ubizjak@gmail.com>
3681
3682         PR rtl-optimization/38879
3683         * alias.c (base_alias_check): Unaligned access via AND address can
3684         alias all surrounding object types except those with sizes equal
3685         or wider than the size of unaligned access.
3686
3687 2009-01-21  Dodji Seketeli  <dodji@redhat.com>
3688
3689         PR c++/26693
3690         * c-decl.c (clone_underlying_type): Move this ...
3691         * c-common.c (set_underlying_type): ... here.
3692         Also, make sure the function properly sets TYPE_STUB_DECL() on
3693         the newly created typedef variant type.
3694         (is_typedef_decl ): New entry point.
3695         * tree.h: Added a new member member_types_needing_access_check to
3696         struct tree_decl_non_common.
3697         (set_underlying_type): New entry point.
3698         (is_typedef_type): Likewise.
3699
3700 2009-01-21  Bingfeng Mei  <bmei@broadcom.com>
3701
3702         * alias.c (walk_mems_1, walk_mems_2, insn_alias_sets_conflict_p):
3703         Check whether two instructions have memory references that
3704         belong to conflicting alias sets.  walk_mems_1 and walk_mems_2
3705         are helper functions for traversing.
3706         * alias.h (insn_alias_sets_confilict_p): New prototypes.
3707         * ddg.c (add_inter_loop_mem_dep): Call insn_alias_sets_conflict_p
3708         not to draw dependency edge for instructions with non-conflicting
3709         alias sets.
3710
3711 2009-01-20  Joseph Myers  <joseph@codesourcery.com>
3712
3713         PR other/38758
3714         * longlong.h: Update copyright years.  Use soft-fp license notice.
3715         Sync __clz_tab declaration with glibc.
3716
3717 2009-01-20  Steve Ellcey  <sje@cup.hp.com>
3718
3719         PR target/30687
3720         * doc/extend.texi (syscall_linkage): New.
3721         (version_id): Modify.
3722
3723 2009-01-20  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3724             Richard Guenther  <rguenther@suse.de>
3725
3726         PR tree-optimization/38747
3727         PR tree-optimization/38748
3728         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Disable the VCE
3729         conversion if the base address is an indirect reference and the
3730         aliasing sets could cause issues.
3731
3732 2009-01-20  Sebastian Pop  <sebastian.pop@amd.com>
3733
3734         * common.opt (fgraphite, fgraphite-identity): Add comment for 
3735         explaining why these options are not documented.
3736
3737 2009-01-20  Sebastian Pop  <sebastian.pop@amd.com>
3738
3739         * graphite.c (stmt_simple_for_scop_p): Also handle cases when
3740         gimple_call_lhs is NULL.
3741
3742 2009-01-20  Paolo Bonzini  <bonzini@gnu.org>
3743
3744         PR target/38868
3745         * emit-rtl.c (adjust_address_1): Make sure memref is never
3746         overwritten.
3747
3748 2009-01-20  Ben Elliston  <bje@au.ibm.com>
3749
3750         * libgcov.c (__gcov_execl, __gcov_execlp, __gcov_execle): Remove
3751         const qualifier from arg parameter. Remove unnecessary cast to char *.
3752         * gcov-io.h (__gcov_execl, __gcov_execlp, __gcov_execle): Remove
3753         const qualifier from arg 2.
3754
3755 2009-01-19  Iain Sandoe  <iain.sandoe@sandoe-acoustics.co.uk>
3756
3757         * config/darwin.h: Add static-libgfortran to LINK_SPEC.
3758
3759 2009-01-19  Vladimir Makarov  <vmakarov@redhat.com>
3760
3761         PR c/38869
3762         * rtl.h (reinit_regs): New prototype.
3763         * regclass.c: Include ira.h.
3764         (reinit_regs): New.
3765         * Makefile.in (regclass.o): Add ira.h.
3766         * config/i386/i386.c (ix86_maybe_switch_abi): Use reinit_regs.
3767
3768 2009-01-18  H.J. Lu  <hongjiu.lu@intel.com>
3769
3770         PR target/38736
3771         * c-common.c (handle_aligned_attribute): Use
3772         ATTRIBUTE_ALIGNED_VALUE instead of BIGGEST_ALIGNMENT for
3773         default alignment value.
3774
3775         * c-cppbuiltin.c (c_cpp_builtins): Define __BIGGEST_ALIGNMENT__.
3776
3777         * defaults.h (ATTRIBUTE_ALIGNED_VALUE): New.
3778         * config/i386/i386.h (ATTRIBUTE_ALIGNED_VALUE): Likewise.
3779
3780         * doc/extend.texi: Update __attribute__ ((aligned)).  Document
3781         __BIGGEST_ALIGNMENT__.
3782
3783         * doc/tm.texi: Document ATTRIBUTE_ALIGNED_VALUE.
3784
3785 2009-01-18  Richard Guenther  <rguenther@suse.de>
3786
3787         PR tree-optimization/38819
3788         * tree-flow.h (operation_could_trap_helper_p): Declare.
3789         * tree-eh.c (operation_could_trap_helper_p): Export.
3790         * tree-ssa-sccvn.h (vn_nary_may_trap): Declare.
3791         * tree-ssa-sccvn.c (vn_nary_may_trap): New function.
3792         * tree-ssa-pre.c (insert_into_preds_of_block): Check if we
3793         are about to insert a possibly trapping instruction and fail
3794         in this case.
3795
3796 2009-01-18  Andreas Schwab  <schwab@suse.de>
3797
3798         * doc/install.texi (Configuration): Remove obsolete paragraph
3799         about use of --with-gnu-ld with --with-gnu-as.
3800
3801 2009-01-18  Kazu Hirata  <kazu@codesourcery.com>
3802
3803         * doc/extend.texi, doc/gimple.texi, doc/invoke.texi,
3804         doc/md.texi, doc/sourcebuild.texi, doc/tm.texi: Fix typos.
3805         Follow spelling conventions.
3806
3807 2009-01-18  Ben Elliston  <bje@au.ibm.com>
3808
3809         * bitmap.c (bitmap_obstack_alloc_stat): Adjust cast to eliminate
3810         C++ warning about implicit conversion from void * to struct
3811         bitmap_head_def *.
3812         (bitmap_obstack_free): Likewise for bitmap_element *.
3813         * Makefile.in (bitmap.o-warn): Remove.
3814
3815 2009-01-17  Dave Korn  <dave.korn.cygwin@gmail.com>
3816
3817         * Makefile.in (BACKENDLIBS):  Reorder to match dependencies.
3818
3819 2009-01-17  Sebastian Pop  <sebastian.pop@amd.com>
3820             Tobias Grosser  <tobi.grosser@amd.com>
3821
3822         * graphite.c (graphite_trans_scop_block): Do not block single
3823         nested loops.
3824
3825 2009-01-16  Alexandre Oliva  <aoliva@redhat.com>
3826
3827         * ebitmap.h (ebitmap_iter_init): Initialize all fields.
3828         * ipa-struct-reorg.c (gen_struct_type): Replace known-true
3829         test with assertion.
3830
3831 2009-01-16  Richard Guenther  <rguenther@suse.de>
3832
3833         PR tree-optimization/38835
3834         PR middle-end/36227
3835         * fold-const.c (fold_binary): Remove PTR + INT -> (INT)(PTR p+ INT)
3836         and INT + PTR -> (INT)(PTR p+ INT) folding.
3837         * tree-ssa-address.c (create_mem_ref): Properly use POINTER_PLUS_EXPR.
3838
3839 2009-01-16  Adam Nemet  <anemet@caviumnetworks.com>
3840
3841         PR target/38554
3842         * expmed.c (expand_shift): With SHIFT_COUNT_TRUNCATED, don't lift
3843         the subreg from a lowpart subreg if it is also casting the value.
3844
3845 2009-01-16  Sebastian Pop  <sebastian.pop@amd.com>
3846             Tobias Grosser  <tobi.grosser@amd.com>
3847
3848         * graphite.c (compare_prefix_loops): New.
3849         (build_scop_canonical_schedules): Rewritten.
3850         (graphite_transform_loops): Move build_scop_canonical_schedules
3851         after build_scop_iteration_domain.
3852
3853 2009-01-16  Sebastian Pop  <sebastian.pop@amd.com>
3854             Tobias Grosser  <tobi.grosser@amd.com>
3855
3856         * graphite.c (add_conditions_to_domain): Add the loops to 
3857         the dimension of the iteration domain.  Do copy the domain
3858         only when it exists.
3859         (build_scop_conditions_1): Do not call add_conditions_to_domain.
3860         (add_conditions_to_constraints): New.
3861         (can_generate_code_stmt, can_generate_code): Removed.
3862         (gloog): Do not call can_generate_code.
3863         (graphite_transform_loops): Call add_conditions_to_constraints
3864         after building the iteration domain.
3865
3866 2009-01-16  Jakub Jelinek  <jakub@redhat.com>
3867
3868         PR tree-optimization/38789
3869         * tree-ssa-threadedge.c
3870         (record_temporary_equivalences_from_stmts_at_dest): Ignore calls to
3871         __builtin_constant_p.
3872
3873 2009-01-16  Kenneth Zadeck  <zadeck@naturalbridge.com>
3874
3875         * dce.c (delete_unmarked_insns): Reversed the order that insns are
3876         examined before deleting them.
3877         
3878 2009-01-16  Richard Earnshaw  <rearnsha@arm.com>
3879
3880         * function.c (aggregate_value_p): Correctly extract the function
3881         type from CALL_EXPR_FN lookup.
3882
3883 2009-01-16  Hariharan Sandanagobalane  <hariharan@picochip.com>
3884
3885         * config/picochip/picochip.c (picochip_override_options): Revert
3886         CFI asm flag disable commited previously.
3887
3888 2009-01-15  Sebastian Pop  <sebastian.pop@amd.com>
3889             Tobias Grosser  <tobi.grosser@amd.com>
3890             Jan Sjodin  <jan.sjodin@amd.com>
3891
3892         * graphite.c (scan_tree_for_params): On substractions negate
3893         all the coefficients of the term.
3894         (clast_to_gcc_expression_red): New.  Handle reduction expressions
3895         of more than two operands.
3896         (clast_to_gcc_expression): Call clast_to_gcc_expression_red.
3897         (get_vdef_before_scop): Handle also the case of default definitions.
3898
3899 2009-01-15  Richard Sandiford  <rdsandiford@googlemail.com>
3900
3901         * caller-save.c (add_used_regs_1, add_used_regs): New functions.
3902         (insert_one_insn): Use them instead of REG_DEAD and REG_INC notes.
3903         Also use them when walking CALL_INSN_FUNCTION_USAGE.
3904
3905 2009-01-15  H.J. Lu  <hongjiu.lu@intel.com>
3906             Joey Ye  <joey.ye@intel.com>
3907
3908         PR middle-end/37843
3909         * cfgexpand.c (expand_stack_alignment): Don't update stack
3910         boundary nor check incoming stack boundary here.
3911         (gimple_expand_cfg): Update stack boundary and check incoming
3912         stack boundary here.
3913
3914 2009-01-15  Kenneth Zadeck  <zadeck@naturalbridge.com>
3915
3916         * dce.c (find_call_stack_args, delete_unmarked_insns): Fixed comments.
3917         
3918 2009-01-14  Jakub Jelinek  <jakub@redhat.com>
3919
3920         PR rtl-optimization/38245
3921         * calls.c (expand_call): Add stack arguments to
3922         CALL_INSN_FUNCTION_USAGE even for pure calls (when
3923         ACCUMULATE_OUTGOING_ARGS) and even for args partially passed
3924         in regs and partially in memory or BLKmode arguments.
3925         (emit_library_call_value_1): Add stack arguments to
3926         CALL_INSN_FUNCTION_USAGE even for pure calls (when
3927         ACCUMULATE_OUTGOING_ARGS).
3928         * dce.c: Include tm_p.h.
3929         (find_call_stack_args): New function.
3930         (deletable_insn_p): Call it for CALL_P insns.  Add ARG_STORES
3931         argument.
3932         (mark_insn): Call find_call_stack_args for CALL_Ps.
3933         (prescan_insns_for_dce): Walk insns backwards in bb rather than
3934         forwards.  Allocate and free arg_stores bitmap if needed, pass it
3935         down to deletable_insn_p, don't mark stores set in arg_stores
3936         bitmap, clear the bitmap at the beginning of each bb.
3937         * Makefile.in (dce.o): Depend on $(TM_P_H).
3938
3939 2009-01-14  Michael Meissner  <gnu@the-meissners.org>
3940
3941         PR target/22599
3942         * config/i386/i386.c (print_operand): Add tests for 'D', 'C', 'F', 'f'
3943         to make sure the insn is a conditional test (bug 22599).  Reformat a
3944         few long lines.
3945
3946 2009-01-14  Sebastian Pop  <sebastian.pop@amd.com>
3947
3948         PR middle-end/38431
3949         * graphite.c (get_vdef_before_scop, scop_adjust_vphi): New.
3950         (scop_adjust_phis_for_liveouts): Call scop_adjust_vphi.
3951         (gloog): Do not call cleanup_tree_cfg.
3952         (graphite_transform_loops): Call cleanup_tree_cfg after all 
3953         scops have been code generated.
3954
3955 2009-01-14  Basile Starynkevitch  <basile@starynkevitch.net>
3956         * doc/gty.texi (Invoking the garbage collector): Added new node
3957         and section documenting ggc_collect.
3958
3959 2009-01-14  Richard Guenther  <rguenther@suse.de>
3960
3961         PR tree-optimization/38826
3962         PR middle-end/38477
3963         * tree-ssa-structalias.c (emit_alias_warning): Emit the pointer
3964         initialization notes only if we actually emitted a warning.
3965         (intra_create_variable_infos): Add constraints for a result decl
3966         that is passed by hidden reference.
3967         (build_pred_graph): Mark all related variables non-direct on
3968         address-taking.
3969
3970 2009-01-14  Nick Clifton  <nickc@redhat.com>
3971
3972         * ira-conflicts.c: Include addresses.h for the definition of
3973         base_reg_class.
3974         (ira_build_conflicts): Use base_reg_class instead of BASE_REG_CLASS.
3975         * Makefile.in: Add a dependency of ira-conflicts.o on addresses.h.
3976
3977 2009-01-13  Vladimir Makarov  <vmakarov@redhat.com>
3978
3979         PR target/38811
3980         * Makefile.in (ira-lives.o): Add except.h.
3981
3982         * ira-lives.c: Include except.h.
3983         (process_bb_node_lives): Process can_throw_internal.
3984
3985 2009-01-13  Jakub Jelinek  <jakub@redhat.com>
3986
3987         PR rtl-optimization/38774
3988         * combine.c (simplify_set): When undoing cc_use change, don't do
3989         PUT_CODE on the newly created comparison, but instead put back the
3990         old comparison.
3991
3992 2009-01-13  Joseph Myers  <joseph@codesourcery.com>
3993
3994         * doc/invoke.texi (ARM Options): Update lists of -mcpu and -march
3995         values.  Remove duplicate arm8 entry.
3996
3997 2009-01-13  Sebastian Pop  <sebastian.pop@amd.com>
3998
3999         PR tree-optimization/38786
4000         * graphite.c (expand_scalar_variables_ssa_name): New, outlined from
4001         the SSA_NAME case of expand_scalar_variables_expr.
4002         Set the type of an expression to the type of its assign statement.
4003         (expand_scalar_variables_expr): Also gather the scalar computation
4004         used to index the memory access.  Do not pass loop_p.
4005         Fix comment.  Stop recursion on tcc_constant or tcc_declaration.
4006         (expand_scalar_variables_stmt): Pass to expand_scalar_variables_expr
4007         the gimple_stmt_iterator where it inserts new code.
4008         Do not pass loop_p.
4009         (copy_bb_and_scalar_dependences): Do not pass loop_p.
4010         (translate_clast): Update call to copy_bb_and_scalar_dependences.
4011
4012 2009-01-13  Sebastian Pop  <sebastian.pop@amd.com>
4013
4014         * graphite.h (debug_value): Removed.
4015         * graphite.c (debug_value): Removed.
4016
4017 2009-01-13  Richard Earnshaw  <rearnsha@arm.com>
4018
4019         * config/arm/arm.c (output_move_double): Don't synthesize thumb-2
4020         ldrd/strd with two 32-bit instructions.
4021
4022 2009-01-13  Richard Earnshaw  <rearnsha@arm.com>
4023
4024         * config/arm/arm.c (struct processors): Pass for speed down into
4025         cost helper functions.
4026         (const_ok_for_op): Handle COMPARE and inequality nodes.
4027         (arm_rtx_costs_1): Rewrite.
4028         (arm_size_rtx_costs): Update prototype.
4029         (arm_rtx_costs): Pass speed down to helper functions.
4030         (arm_slowmul_rtx_costs): Rework cost calculations.
4031         (arm_fastmul_rtx_costs, arm_xscale_rtx_costs): Likewise.
4032         (arm_9e_rtx_costs): Likewise.
4033
4034 2009-01-13  Uros Bizjak  <ubizjak@gmail.com>
4035
4036         * config/alpha/alpha.c (alpha_legitimate_address_p): Explicit
4037         relocations of local symbols wider than UNITS_PER_WORD are not valid.
4038         (alpha_legitimize_address): Do not split local symbols wider than
4039         UNITS_PER_WORD into HIGH/LO_SUM parts.
4040
4041 2009-01-13  Danny Smith  <dannysmith@users.sourceforge.net>
4042
4043         PR bootstrap/38580
4044         * gcc.c (process_command): Replace call to execvp with calls
4045         to pex_one and exit.
4046
4047 2009-01-03  Anatoly Sokolov  <aesok@post.ru>
4048
4049         PR target/29141
4050         * config/avr/t-avr (LIB1ASMFUNCS): Add _tablejump_elpm.
4051         * config/avr/libgcc.S (__do_global_ctors, __do_global_dtors): Add
4052         variant for devices with 3-byte PC.
4053         (__tablejump_elpm__): New.
4054
4055 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
4056
4057         PR c/32041
4058         * c-parser.c (c_parser_postfix_expression): Allow `->' in
4059         offsetof member-designator, handle it as `[0].'.
4060
4061 2009-01-12  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
4062
4063         * pa.c (pa_asm_output_mi_thunk): Use pc-relative branch to thunk
4064         function when not using named sections on targets with named sections
4065         if branch distance is less than 262132.
4066
4067 2009-01-12  Richard Earnshaw  <rearnsha@arm.com>
4068
4069         * combine.c (combine_instructions):  Recompute
4070         optimize_this_for_speed_p  for each BB in the main combine loop.
4071
4072 2009-01-12  Tomas Bily  <tbily@suse.cz>
4073
4074         PR middlend/38385
4075         * tree-loop-distribution.c (prop_phis): New function.
4076         (generate_builtin): Call prop_phis.
4077         * testsuite/gcc.dg/tree-ssa/pr38385.c: New file.
4078
4079 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
4080
4081         PR tree-optimization/38807
4082         * tree-ssa-reassoc.c (remove_visited_stmt_chain): Don't look at
4083         gimple_visited_p unless stmt is GIMPLE_ASSIGN.
4084
4085 2009-01-11  Adam Nemet  <anemet@caviumnetworks.com>
4086
4087         * expmed.c (store_bit_field_1): Properly truncate the paradoxical
4088         subreg of op0 to the original op0.
4089
4090 2009-01-11  Laurent GUERBY  <laurent@guerby.net>
4091
4092         * doc/sourcebuild.texi (Source Tree): Move up intl and fixinc.
4093         
4094 2009-01-11  Markus Schoepflin  <markus.schoepflin@comsoft.de>
4095
4096         PR debug/7055
4097         * gcc/mips-tfile.c (parse_def): Fix parsing of def strings
4098         starting with digits.
4099
4100 2009-01-10  Jakub Jelinek  <jakub@redhat.com>
4101
4102         PR target/38695
4103         * config/arm/arm.c (arm_is_long_call_p): Don't call
4104         arm_function_in_section_p if decl isn't a FUNCTION_DECL.
4105
4106 2009-01-09  Steven Bosscher  <steven@gcc.gnu.org>
4107
4108         * regrename.c (regrename_optimize): Fix dumping.
4109         (find_oldest_value_reg): Preserve REG_POINTER.
4110         (copy_hardreg_forward_1): Likewise.
4111
4112 2009-01-09  Diego Novillo  <dnovillo@google.com>
4113
4114         * gimple.h (struct gimple_statement_base) <uid>: Document
4115         the restrictions on its use.
4116         (gimple_uid): Tidy.
4117         (gimple_set_uid): Tidy.
4118
4119 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
4120
4121         * config/i386/i386.c (ix86_expand_movmem, ix86_expand_setmem): Add
4122         zero guard even if align_bytes != 0 and count is smaller than
4123         size_needed.
4124
4125 2009-01-09  Vladimir Makarov  <vmakarov@redhat.com>
4126
4127         PR rtl-optimization/38495
4128         * ira-emit.c (print_move_list, ira_debug_move_list): New functions.
4129         (add_range_and_copies_from_move_list): Print all added ranges.
4130         Add ranges to memory optimized destination.
4131
4132 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
4133
4134         PR target/38686
4135         PR target/38708
4136         * config/i386/i386.c (override_options): Reject
4137         -mstringop-strategy=rep_8byte with -m32.
4138         (ix86_expand_movmem): For size_needed == 1 set epilogue_size_needed
4139         to 1.  Do count comparison against epilogue_size_needed at compile
4140         time even when count_exp was constant forced into register.  For
4141         size_needed don't jump to epilogue, instead just avoid aligning
4142         and invoke the body algorithm.  If need_zero_guard, add zero guard
4143         even if count is non-zero, but smaller than size_needed + number of
4144         bytes that could be stored for alignment.
4145         (ix86_expand_setmem): For size_needed == 1 set epilogue_size_needed
4146         to 1.  If need_zero_guard, add zero guard even if count is non-zero,
4147         but smaller than size_needed + number of bytes that could be stored
4148         for alignment.  Compare size_needed with epilogue_size_needed instead
4149         of desired_align - align, don't adjust size_needed, pass
4150         epilogue_size_needed to the epilogue expanders.
4151
4152         PR c/35742
4153         * c-pretty-print.c (pp_c_expression): Handle GOTO_EXPR like BIND_EXPR.
4154
4155 2009-01-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
4156
4157         * pa.c (last_address): Change to unsigned.
4158         (update_total_code_bytes): Change argument to unsigned.  Don't
4159         check if insn addresses are set.
4160         (pa_output_function_epilogue): Set last_address to UINT_MAX if insn
4161         addresses are not set.
4162         (pa_asm_output_mi_thunk): Handle wrap when updating last_address.
4163
4164 2009-01-09  Nick Clifton  <nickc@redhat.com>
4165
4166         * config/sh/symbian.c: Replace uses of DECL_INLINE with
4167         DECL_DECLARED_INLINE_P.
4168
4169 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
4170
4171         PR middle-end/38347
4172         * dojump.c (do_jump_by_parts_zero_rtx): Use mode instead of
4173         GET_MODE (op0) in operand_subword_force calls.
4174
4175         PR middle-end/38771
4176         * fold-const.c (fold_unary): For COMPOUND_EXPR and COND_EXPR,
4177         fold_convert arg0 operands to TREE_TYPE (op0) first.
4178
4179 2009-01-08  Vladimir Makarov  <vmakarov@redhat.com>
4180
4181         * params.def (ira-max-conflict-table-size): Decrease default value
4182         to 1000.
4183
4184 2009-01-08  Jakub Jelinek  <jakub@redhat.com>
4185
4186         PR tree-optimization/37031
4187         * lambda-code.c (lambda_collect_parameters): Call pointer_set_destroy
4188         on parameter_set.
4189         (build_access_matrix): Reserve correct size for AM_MATRIX vector,
4190         allocate it using gc instead of heap, use VEC_quick_push instead of
4191         VEC_safe_push.
4192         * graphite.c (build_access_matrix): Allocate AM_MATRIX vector using gc
4193         instead of heap, use VEC_quick_push instead of VEC_safe_push.
4194         * tree-data-ref.h (struct access_matrix): Change matrix to gc
4195         allocated vector from heap allocated.
4196         * lambda.h: Add DEF_VEC_ALLOC_P for gc allocated lambda_vector.
4197         * tree-loop-linear.c (linear_transform_loops): Allocate nest
4198         vector only after perfect_loop_nest_depth call.
4199
4200 2009-01-08  Sebastian Pop  <sebastian.pop@amd.com>
4201             Jan Sjodin  <jan.sjodin@amd.com>
4202
4203         PR tree-optimization/38559
4204         * graphite.c (debug_value, copy_constraint,
4205         swap_constraint_variables, scale_constraint_variable, ): New.
4206         (get_lower_bound, get_upper_bound): Removed.
4207         (graphite_trans_bb_strip_mine): Clean up this code that works
4208         only for constant number of iterations.  Fully copy upper and
4209         lower bound constraints, not only the constant part of them.
4210         * graphite.h (debug_value): Declared.
4211
4212 2009-01-08  Ira Rosen  <irar@il.ibm.com>
4213
4214         PR tree-optimization/37194
4215         * tree-vect-transform.c (vect_estimate_min_profitable_iters):
4216         Don't add the cost of cost model guard in prologue to scalar 
4217         outside cost in case of known number of iterations.
4218
4219 2009-01-07  Nathan Froyd  <froydnj@codesourcery.com>
4220             Alan Modra  <amodra@bigpond.net.au>
4221
4222         * config/rs6000/rs6000.c (rs6000_legitimize_address): Check for
4223         non-word-aligned REG+CONST addressing.
4224
4225 2009-01-07  Uros Bizjak  <ubizjak@gmail.com>
4226
4227         PR target/38706
4228         * config/alpha/alpha.c (alpha_end_function): For TARGET_ABI_OSF, call
4229         free_after_compilation when outputting a thunk.
4230         (alpha_output_mi_thunk_osf): Assert that we are processing a thunk.
4231         Do not call free_after_compilation here.
4232
4233 2009-01-07  Uros Bizjak  <ubizjak@gmail.com>
4234
4235         * config/i386/i386.c (ix86_target_string): Use ARRAY_SIZE.
4236         (ix86_valid_target_attribute_inner_p): Ditto.
4237
4238 2009-01-07  Jan Sjodin  <jan.sjodin@amd.com>
4239
4240         PR tree-optimization/38492
4241         PR tree-optimization/38498
4242         * tree-check.c (operator_is_linear, scev_is_linear_expression): New.
4243         * tree-chrec.h (scev_is_linear_expression): Declared.
4244         * graphite.c (graphite_cannot_represent_loop_niter): New.
4245         (scopdet_basic_block_info): Call graphite_cannot_represent_loop_niter.
4246         (graphite_loop_normal_form): Use gcc_assert.
4247         (scan_tree_for_params): Use CASE_CONVERT.
4248         (phi_node_is_iv, bb_contains_non_iv_scalar_phi_nodes): New.
4249         (build_scop_conditions_1): Call bb_contains_non_iv_scalar_phi_nodes.
4250         Use gcc_assert.  Discard scops that contain unhandled cases.
4251         (build_scop_conditions): Return a boolean status for unhandled cases.
4252         (strip_mine_profitable_p): Print the loop number, not its depth.
4253         (is_interchange_valid): Pass the depth of the loop nest, don't
4254         recompute it wrongly.
4255         (graphite_trans_bb_block): Same.
4256         (graphite_trans_bb_block): Print tentative of loop blocking.
4257         (graphite_trans_scop_block): Do not print that the loop has been
4258         blocked.
4259         (graphite_transform_loops): Do not handle scops that contain condition
4260         scalar phi nodes.
4261
4262 2009-01-07  H.J. Lu  <hongjiu.lu@intel.com>
4263
4264         AVX Programming Reference (December, 2008)
4265         * config/i386/avxintrin.h (_mm256_stream_si256): New.
4266         (_mm256_stream_pd): Likewise.
4267         (_mm256_stream_ps): Likewise.
4268
4269         * config/i386/i386.c (ix86_builtins): Add IX86_BUILTIN_MOVNTDQ256,
4270         IX86_BUILTIN_MOVNTPD256 and IX86_BUILTIN_MOVNTPS256.
4271         (ix86_special_builtin_type): Add VOID_FTYPE_PV4DI_V4DI.
4272         (bdesc_special_args): Add __builtin_ia32_movntdq256,
4273         __builtin_ia32_movntpd256 and __builtin_ia32_movntps256.
4274         (ix86_init_mmx_sse_builtins): Handle VOID_FTYPE_PV4DI_V4DI.
4275         (ix86_expand_special_args_builtin): Likewise.
4276
4277         * config/i386/sse.md (AVXMODEDI): New.
4278         (avx_movnt<mode>): Likewise.
4279         (avx_movnt<mode>): Likewise.
4280         (<sse>_movnt<mode>): Remove AVX support.
4281         (sse2_movntv2di): Likewise.
4282
4283 2009-01-07  Richard Guenther  <rguenther@suse.de>
4284
4285         PR middle-end/38751
4286         * fold-const.c (extract_muldiv): Remove obsolete comment.
4287         (fold_plusminus_mult_expr): Undo MINUS_EXPR
4288         to PLUS_EXPR canonicalization for the canonicalization.
4289
4290 2009-01-07  Gerald Pfeifer  <gerald@pfeifer.com>
4291
4292         * doc/install.texi (alpha*-dec-osf*): Remove note on 32-bit
4293         hosted cross-compilers generating less efficient code.
4294
4295 2009-01-06  Richard Sandiford  <rdsandiford@googlemail.com>
4296
4297         * function.h (rtl_data): Add a dbr_scheduled_p field.
4298         * reorg.c (dbr_schedule): Set it.
4299         (gate_handle_delay_slots): Check it.
4300         * config/mips/mips.c (mips_base_delayed_branch): Delete.
4301         (mips_reorg): Check flag_delayed_branch instead of
4302         mips_base_delayed_branch.
4303         (mips_override_options): Don't set mips_base_delayed_branch
4304         or flag_delayed_branch.
4305
4306 2009-01-06  Richard Sandiford  <rdsandiford@googlemail.com>
4307
4308         PR rtl-optimization/38426.
4309         * ira.c (ira): Set current_function_is_leaf earlier.
4310
4311 2009-01-06  Jakub Jelinek  <jakub@redhat.com>
4312
4313         PR rtl-optimization/38722
4314         * combine.c (try_combine): Don't modify PATTERN (i3) and notes
4315         too early, only set a flag and modify after last possible
4316         undo_all point.
4317
4318 2009-01-06  Janis Johnson  <janis187@us.ibm.com>
4319
4320         PR c/34252
4321         * ginclude/float.h: Rename DECnn_DEN to DECnn_SUBNORMAL_MIN.
4322         * real.c (decimal_single_format): Correct values of emin and emax.
4323         (decimal_double_format): Ditto.
4324         (decimal_quad_format): Ditto.
4325         * c-cppbuiltin.c (builtin_define_decimal_float_constants): Adjust
4326         computation of DECnn_MIN and DECnn_MAX for corrected values of
4327         emin and emax.  Define __DECnn_SUBNORMAL_MIN__ instead of
4328         __DECnn_MIN__, and adjust its computation for the corrected value
4329         of emin.
4330
4331 2009-01-06  Jan Hubicka  <jh@suse.cz>
4332
4333         PR target/38744
4334         * config/i386/i386.c (ix86_expand_call): Use ARRAY_SIZE.
4335
4336 2009-01-06  Gerald Pfeifer  <gerald@pfeifer.com>
4337
4338         * doc/contrib.texi (Contributors): Slightly adjust the end note.
4339         Add Robert Clark to the list of testers.
4340
4341 2009-01-06  Jan Hubicka  <jh@suse.cz>
4342             Kai Tietz  <kai.tietz@onevision.com>
4343
4344         * config/i386/i386.md (*msabi_syvabi): Add SSE regs clobbers.
4345         * config/i386/i386.c (ix86_expand_call): Add clobbers.
4346
4347 2009-01-06  Jan Hubicka  <jh@suse.cz>
4348             Kai Tietz  <kai.tietz@onevision.com>
4349
4350         * config/i386/i386.h (CONDITIONAL_CALL_USAGE): SSE regs are not used
4351         for w64 ABI.
4352         * config/i386/i386.c (struct ix86_frame): Add padding0 and nsseregs.
4353         (ix86_nsaved_regs): Count only general purpose regs.
4354         (ix86_nsaved_sseregs): New.
4355         (ix86_compute_frame_layout): Update nsseregs; set preferred alignment
4356         to 16 for w64; compute padding and size of sse reg save area.
4357         (ix86_emit_save_regs, ix86_emit_save_regs_using_mov): Save only
4358         general purpose regs.
4359         (ix86_emit_save_sse_regs_using_mov): New.
4360         (ix86_expand_prologue): Save SSE regs if needed.
4361         (ix86_emit_restore_regs_using_mov): Use only general purpose regs.
4362         (ix86_emit_restore_sse_regs_using_mov): New.
4363         (ix86_expand_epilogue): Save SSE regs if needed.
4364
4365 2009-01-06  Jan Hubicka  <jh@suse.cz>
4366             Kai Tietz  <kai.tietz@onevision.com>
4367
4368         * config/i386/i386.h (ACCUMULATE_OUTGOING_ARGS): Enable for MSABI
4369         * config/i386/i386.c (init_cumulative_args): Disallow calls of MSABI
4370         functions when accumulate outgoing args is off.
4371
4372 2009-01-06  H.J. Lu  <hongjiu.lu@intel.com>
4373
4374         PR bootstrap/38742
4375         * ira-color.c (ira_reuse_stack_slot): Check ENABLE_IRA_CHECKING
4376         before using pseudos_have_intersected_live_ranges_p.
4377
4378         * ira-int.h (ira_assert): Always define.
4379
4380 2009-01-06  H.J. Lu  <hongjiu.lu@intel.com>
4381
4382         AVX Programming Reference (December, 2008)
4383         * config/i386/avxintrin.h (_mm_permute2_pd): Removed.
4384         (_mm256_permute2_pd): Likewise.
4385         (_mm_permute2_ps): Likewise.
4386         (_mm256_permute2_ps): Likewise.
4387         * config/i386/i386.md (UNSPEC_VPERMIL2): Likewise.
4388         * config/i386/sse.md (avx_vpermil2<mode>3): Likewise.
4389
4390         * config/i386/i386.c (ix86_builtins): Remove
4391         IX86_BUILTIN_VPERMIL2PD, IX86_BUILTIN_VPERMIL2PS,
4392         IX86_BUILTIN_VPERMIL2PD256 and IX86_BUILTIN_VPERMIL2PS256.
4393         (ix86_builtin_type): Remove V8SF_FTYPE_V8SF_V8SF_V8SI_INT,
4394         V4DF_FTYPE_V4DF_V4DF_V4DI_INT, V4SF_FTYPE_V4SF_V4SF_V4SI_INT
4395         and V2DF_FTYPE_V2DF_V2DF_V2DI_INT.
4396         (bdesc_args): Remove __builtin_ia32_vpermil2pd,
4397         __builtin_ia32_vpermil2ps, __builtin_ia32_vpermil2pd256 and
4398         __builtin_ia32_vpermil2ps256.
4399         (ix86_init_mmx_sse_builtins): Updated.
4400         (ix86_expand_args_builtin): Likewise.
4401
4402 2009-01-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
4403
4404         * pa.c (output_call): Relocate non-jump insns in the delay slot of
4405         long absolute calls when generating PA 2.0 code.
4406
4407 2009-01-05  Vladimir Makarov  <vmakarov@redhat.com>
4408
4409         PR rtl-optimization/38583
4410         * params.h (IRA_MAX_CONFLICT_TABLE_SIZE): New macro.
4411
4412         * params.def (ira-max-conflict-table-size): New.
4413
4414         * doc/invoke.texi (ira-max-conflict-table-size): Decribe.
4415         
4416         * ira.h (ira_conflicts_p): New external definition.
4417         
4418         * ira-conflicts.c (build_conflict_bit_table): Do not build too big
4419         table.  Report this.  Return result of building.
4420         (ira_build_conflicts): Use ira_conflicts_p.  Check result of
4421         building conflict table.
4422
4423         * ira-color.c (fast_allocation): Use num instead of ira_allocnos_num.
4424         (ira_color): Use ira_conflicts_p.
4425         
4426         * global.c: Include ira.h.
4427         (pseudo_for_reload_consideration_p, build_insn_chain): Use
4428         ira_conflicts_p.
4429
4430         * Makefile.in (global.o): Add ira.h.
4431         
4432         * ira-build.c (mark_all_loops_for_removal,
4433         propagate_some_info_from_allocno): New.
4434         (remove_unnecessary_allocnos): Call
4435         propagate_some_info_from_allocno.
4436         (remove_low_level_allocnos): New.
4437         (remove_unnecessary_regions): Add parameter.  Call
4438         mark_all_loops_for_removal and remove_low_level_allocnos.  Pass
4439         parameter to remove_unnecessary_regions.
4440         (ira_build): Remove all regions but root if the conflict table was
4441         not built.  Update conflict hard regs for allocnos crossing calls.
4442
4443         * ira.c (ira_conflicts_p): New global.
4444         (ira): Define and use ira_conflicts_p.
4445
4446         * reload1.c (compute_use_by_pseudos, reload, count_pseudo,
4447         count_spilled_pseudo, find_reg, alter_reg, finish_spills,
4448         emit_input_reload_insns, delete_output_reload): Use ira_conflicts_p.
4449         
4450 2009-01-06  Ben Elliston  <bje@au.ibm.com>
4451
4452         * gengtype-lex.l (YY_NO_INPUT): Define.
4453
4454 2009-01-05  Andrew Pinski  <andrew_pinski@playstation.sony.com>
4455
4456         PR c/34911
4457         * c-common.c (handle_vector_size_attribute): Also reject
4458         BOOLEAN_TYPE types.
4459
4460 2009-01-05  Sebastian Pop  <sebastian.pop@amd.com>
4461
4462         PR tree-optimization/38492
4463         * graphite.c (rename_map_elt, debug_rename_elt,
4464         debug_rename_map_1, debug_rename_map, new_rename_map_elt,
4465         rename_map_elt_info, eq_rename_map_elts,
4466         get_new_name_from_old_name, bb_in_sese_p): Moved around.
4467         (sese_find_uses_to_rename_use): Renamed sese_build_livein_liveouts_use.
4468         (sese_find_uses_to_rename_bb): Renamed sese_build_livein_liveouts_bb.
4469         (sese_build_livein_liveouts): New.
4470         (new_sese, free_sese): New.
4471         (new_scop): Call new_sese.
4472         (free_scop): Call free_sese.
4473         (rename_variables_from_edge, rename_phis_end_scop): Removed.
4474         (register_old_new_names): Renamed register_old_and_new_names.
4475         (register_scop_liveout_renames, add_loop_exit_phis,
4476         insert_loop_close_phis, struct igp,
4477         default_liveout_before_guard, add_guard_exit_phis,
4478         insert_guard_phis, copy_renames): New.
4479         (translate_clast): Call insert_loop_close_phis and insert_guard_phis.
4480         (sese_add_exit_phis_edge): Renamed scop_add_exit_phis_edge.
4481         (rewrite_into_sese_closed_ssa): Renamed scop_insert_phis_for_liveouts.
4482         (scop_adjust_phis_for_liveouts): New.
4483         (gloog): Call scop_adjust_phis_for_liveouts.
4484
4485         * graphite.h (struct sese): Documented.  Added fields liveout,
4486         num_ver and livein.
4487         (SESE_LIVEOUT, SESE_LIVEIN, SESE_LIVEIN_VER, SESE_NUM_VER): New.
4488         (new_sese, free_sese, sese_build_livein_liveouts): Declared.
4489         (struct scop): Added field liveout_renames.
4490         (SCOP_LIVEOUT_RENAMES): New.
4491
4492 2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
4493
4494         PR tree-optimization/38510
4495         * graphite.c (recompute_all_dominators): Call mark_irreducible_loops.
4496         (translate_clast): Call recompute_all_dominators before
4497         graphite_verify.
4498         (gloog): Call recompute_all_dominators before graphite_verify.
4499
4500 2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
4501             Jan Sjodin  <jan.sjodin@amd.com>
4502
4503         PR tree-optimization/38500
4504         * graphite.c (create_sese_edges): Call fix_loop_structure after
4505         splitting blocks.
4506
4507 2009-01-05  Joel Sherrill  <joel.sherrill@oarcorp.com>
4508
4509         * config.gcc: Add m32r*-*-rtems*.
4510         * config/m32r/rtems.h: New file.
4511
4512 2009-01-05  Ben Elliston  <bje@au.ibm.com>
4513
4514         * Makefile.in (.po.gmo): Use mkinstalldirs, not test -d || mkdir.
4515         (.po.pox): Likewise.
4516         (po/gcc.pot): Likewise.
4517
4518 2009-01-04  David S. Miller  <davem@davemloft.net>
4519
4520         * config/sparc/sparc.h (SECONDARY_MEMORY_NEEDED_RTX): Delete.
4521         (STARTING_FRAME_OFFSET): Always set to zero.
4522
4523 2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>
4524
4525         * tree.def (LSHIFT_EXPR, RSHIFT_EXPR): Add commentary.
4526         * tree-cfg.c (verify_gimple_assign_binary): Allow shifts of
4527         fixed-point types, and vectors of the same.
4528
4529 2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>
4530
4531         * config/mips/sync.md (*mb_barrier): Rename to...
4532         (*memory_barrier): ...this.
4533
4534 2009-01-04  Jonathan Wakely  <jwakely.gcc@gmail.com>
4535
4536         * doc/extend.texi (Function Attributes): Move @cindex after @item
4537         for 'artificial' and 'flatten'. Fix grammar for 'externally_visible'
4538         and put in alphabetical order. Fix 'target' name and put in order.
4539         * doc/invoke.texi (-Wstrict-null-sentinel, -fipa-matrix-reorg): Fix
4540         typos.
4541
4542 2009-01-04  Uros Bizjak  <ubizjak@gmail.com>
4543
4544         * config/s390/s390.md (UNSPEC_MB): Rename from UNSPECV_MB.
4545         (memory_barrier): Expand as unspec instead of unspec_volatile.
4546         Remove mem:BLK from insn operands.  Use Pmode scratch register.
4547         (*memory_barrier): Define as unspec instead of unspec_volatile.
4548         Use (match_dup 0) as input operand.
4549
4550         * config/sparc/sparc.md (UNSPEC_MEMBAR): Rename from UNSPECV_MEMBAR.
4551         * config/sparc/sync.md (memory_barrier): Expand as unspec instead of
4552         unspec_volatile.  Remove mem:BLK from insn operands.  Use Pmode
4553         scratch register.  Remove operand 1.
4554         (*stbar): Define as unspec instead of unspec_volatile.
4555         Use (match_dup 0) as input operand, remove (const_int 8).
4556         (*membar): Define as unspec instead of unspec_volatile.
4557         Use (match_dup 0) as input operand, remove input operand 2.
4558
4559         * config/xtensa/xtensa.md (UNSPEC_MEMW): Rename from UNSPECV_MEMW.
4560         (memory_barrier): Expand as unspec instead of unspec_volatile.
4561         Remove mem:BLK from insn operands.  Use Pmode scratch register.
4562         (*memory_barrier): Define as unspec instead of unspec_volatile.
4563         Use (match_dup 0) as input operand.
4564
4565         * config/ia64/sync.md (memory_barrier): Redefine as expander pattern.
4566         Remove mem:BLK from insn operands.  Use Pmode scratch register.
4567         Set volatile flag on operand 0.
4568         (*memory_barrier): New insn pattern.
4569
4570         * config/rs6000/sync.md (memory_barrier): Remove mem:BLK from
4571         insn operands.
4572         (*memory_barrier): Use (match_dup 0) as input operand.
4573
4574         * config/mips/sync.md (memory_barrier): Redefine as expander pattern.
4575         Remove mem:BLK from insn operands.  Use Pmode scratch register.
4576         Set volatile flag on operand 0.
4577         (*mb_internal): New insn pattern.
4578
4579         * config/alpha/sync.md (*memory_barrier): Rename from *mb_internal.
4580
4581 2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>
4582
4583         PR middle-end/38586
4584         * function.c (struct temp_slot): Move to the section of the file
4585         that deals with temp slots.  Remove field 'address'.
4586         (temp_slot_address_table): New hash table of address -> temp slot.
4587         (struct temp_slot_address_entry): New struct, items for the table.
4588         (temp_slot_address_compute_hash, temp_slot_address_hash,
4589         temp_slot_address_eq, insert_temp_slot_address): Support functions
4590         for the new table.
4591         (find_temp_slot_from_address): Rewrite to use the new hash table.
4592         (remove_unused_temp_slot_addresses): Remove addresses of temp
4593         slots that have been made available.
4594         (remove_unused_temp_slot_addresses_1): Call-back for htab_traverse,
4595         worker function for remove_unused_temp_slot_addresses.
4596         (assign_stack_temp_for_type): Don't clear the temp slot address list.
4597         Add the temp slot address to the address -> temp slot map.
4598         (update_temp_slot_address): Update via insert_temp_slot_address.
4599         (free_temp_slots): Call remove_unused_temp_slot_addresses.
4600         (pop_temp_slots): Likewise.
4601         (init_temp_slots): Allocate the address -> temp slot map, or empty
4602         the map if it is already allocated.
4603         (prepare_function_start): Initialize temp slot processing.
4604
4605 2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>
4606
4607         PR middle-end/38584
4608         * cfgexpand.c (estimate_stack_frame_size): Simplify the estimate:
4609         Calculate the size of all stack vars assuming no packing of stack
4610         vars will happen, replacing a quadratic algorithm with a linear one.
4611
4612 2009-01-03  Jakub Jelinek  <jakub@redhat.com>
4613
4614         PR target/38707
4615         * expmed.c (store_bit_field_1): Don't modify op0 if movstrict insn
4616         can't be used.
4617
4618 2009-01-03  Diego Novillo  <dnovillo@google.com>
4619
4620         * doc/contrib.texi: Update contributions.
4621
4622 2009-01-03  Jakub Jelinek  <jakub@redhat.com>
4623
4624         PR c++/38705
4625         * builtins.c (fold_builtin_memory_op): Give up if either operand
4626         is volatile.  Set srctype or desttype to non-qualified version
4627         of the other type.
4628
4629         PR c/38700
4630         * builtins.c (fold_builtin_expect): Only check DECL_WEAK for VAR_DECLs
4631         and FUNCTION_DECLs.
4632
4633 2009-01-02  Kenneth Zadeck  <zadeck@naturalbridge.com>
4634
4635         PR rtl-optimization/35805
4636         * df-problems.c (df_lr_finalize): Add recursive call to resolve lr
4637         problem if fast dce is able to remove any instructions.
4638         * dce.c (dce_process_block): Fix dump message.
4639         
4640 2009-01-02  Mark Mitchell  <mark@codesourcery.com>
4641
4642         PR 33649
4643         * tree-ssa-pre.c (compute_antic): Correct loop bounds.
4644
4645 2009-01-02  Jakub Jelinek  <jakub@redhat.com>
4646
4647         PR middle-end/38690
4648         * tree-flow.h (op_code_prio, op_prio): New prototypes.
4649         * tree-pretty-print.c (op_code_prio): New function.
4650         (op_prio): No longer static.  Use op_code_prio.
4651         * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs):
4652         Use op_prio and op_code_prio to determine if () should be
4653         printed around operand(s) or not.
4654
4655         * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs,
4656         dump_gimple_call, dump_gimple_switch, dump_gimple_cond,
4657         dump_gimple_label, dump_gimple_try, dump_symbols, dump_gimple_phi,
4658         dump_gimple_mem_ops, dump_bb_header, dump_bb_end, pp_cfg_jump): Use
4659         pp_character instead of pp_string for single letter printing.
4660
4661 2009-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
4662
4663         * doc/extend.texi: Fix '#pragma GCC option' typo.
4664
4665 2009-01-02  Richard Guenther  <rguenther@suse.de>
4666
4667         * doc/install.texi (--enable-checking): Mention different
4668         default for stage1.
4669         (--enable-stage1-checking): Document.
4670
4671 2009-01-01  Andrew Pinski  <pinskia@gmail.com>
4672
4673         PR middle-end/30142
4674         * tree-cfg.c (verify_expr): Add INDIRECT_REF case.  Change MODIFY_EXPR
4675         case to be an error.
4676
4677 2009-01-02  Ben Elliston  <bje@au.ibm.com>
4678
4679         * config/fp-bit.h (pack_d): Constify argument.
4680         * config/fp-bit.c (makenan): Constify return type. Remove casts.
4681         (isnan): Constify argument.
4682         (isinf): Likewise.
4683         (iszero): Likewise.
4684         (pack_d): Likewise.
4685         (_fpadd_parts): Constify return type.
4686         (_fpmul_parts): Likewise.
4687         (_fpdiv_parts): Likewise.
4688
4689 2009-01-01  Jakub Jelinek  <jakub@redhat.com>
4690
4691         PR c/36489
4692         * c-typeck.c (add_pending_init): Add IMPLICIT argument.  Only
4693         warn about overwriting initializer with side-effects or
4694         -Woverride-init if !IMPLICIT.
4695         (output_init_element): Likewise.  Pass IMPLICIT down to
4696         add_pending_init.
4697         (process_init_element): Add IMPLICIT argument.  Pass it down
4698         to output_init_element.
4699         (push_init_element, pop_init_level, set_designator): Adjust
4700         process_init_element callers.
4701         (set_nonincremental_init, set_nonincremental_init_from_string):
4702         Adjust add_pending_init callers.
4703         (output_pending_init_elements): Adjust output_init_element callers.
4704         * c-tree.h (process_init_element): Adjust prototype.
4705         * c-parser.c (c_parser_initelt, c_parser_initval): Adjust
4706         process_init_element callers.