OSDN Git Service

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