OSDN Git Service

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