OSDN Git Service

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