OSDN Git Service

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