OSDN Git Service

* lto-cgraph.c (lto_output_varpool_node, input_varpool_node): Correctly
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2010-05-05  Jan Hubicka  <jh@suse.cz>
2
3         * lto-cgraph.c (lto_output_varpool_node, input_varpool_node): Correctly
4         handle aliases.
5
6 2010-05-05  Eric Botcazou  <ebotcazou@adacore.com>
7
8         * gimplify.c (gimplify_return_expr): Gimplify the size expressions of
9         a variable-sized RESULT_DECL.
10
11 2010-05-05  Maxim Kuvyrkov  <maxim@codesourcery.com>
12
13         * doc/invoke.texi (-mfix-cortex-m3-ldrd): Move from ARC section to ARM.
14
15 2010-05-05  Jason Merrill  <jason@redhat.com>
16
17         PR c++/43787
18         * gimplify.c (gimplify_expr): Keep working if gimplify_modify_expr
19         returns GS_OK.
20         (gimplify_modify_expr_rhs): Return GS_OK if anything changed.
21
22 2010-05-05  Alexandre Oliva  <aoliva@redhat.com>
23             Jakub Jelinek  <jakub@redhat.com>
24
25         PR debug/43478
26         * df-problems.c (struct dead_debug_use, struct dead_debug): New.
27         (dead_debug_init, dead_debug_finish): New functions.
28         (dead_debug_add, dead_debug_insert_before): Likewise.
29         (df_note_bb_compute): Initialize a dead_debug object, add dead
30         debug uses to it, insert debug bind insns before death insns,
31         reset debug insns that refer to pending uses at the end.
32         * rtl.h (make_debug_expr_from_rtl): New prototype.
33         * varasm.c (make_debug_expr_from_rtl): New function.
34
35 2010-05-05  Jan Hubicka  <jh@suse.cz>
36
37         * lto-cgraph.c (output_varpool): Forward declare; work on encoder.
38         (lto_varpool_encoder_new, lto_varpool_encoder_delete, lto_varpool_encoder_encode
39         lto_varpool_encoder_lookup, lto_varpool_encoder_deref, lto_varpool_encoder_size,
40         lto_varpool_encoder_encode_initializer_p,
41         lto_set_varpool_encoder_encode_initializer): New functions.
42         (lto_output_cgraph): Take vset parameter too; compute varpool encoder;
43         call output_varpool.
44         (input_varpool_node): Do not always set analyzed.
45         (input_cgraph_1): Return vector of cgraph nodes.
46         (input_varpool_1): Return vector of varpools.
47         (input_cgraph): Free the vectors.
48         * lto-streamer-out.c (lto_output_ts_decl_common_tree_pointers):
49         output only initializers needed.
50         (lto_output): Only call output_cgraph.
51         (produce_asm_for_decls): Call lto_varpool_encoder_delete.
52         * lto-section-out.c (lto_new_out_decl_state): Initialize
53         state->varpool_node_encoder.
54         * lto-streamer.h (lto_varpool_encoder_d): New.
55         (lto_out_decl_state, lto_file_decl_data): Add varpool_node_encoder.     
56         (lto_cgraph_encoder_delete, output_cgraph): Update prototype.
57         (lto_varpool_encoder_deref, lto_varpool_encoder_lookup,
58         lto_varpool_encoder_encode, lto_varpool_encoder_delete,
59         lto_varpool_encoder_encode_initializer_p, lto_varpool_encoder_new):
60         Declare.
61         (output_varpool, input_varpool): Remove declarations.
62
63 2010-05-05  Jan Hubicka  <jh@suse.cz>
64
65         * lto-symtab.c (lto_symtab_resolve_can_prevail_p): Alias of variable
66         with body can prevail.
67
68 2010-05-05  Jan Hubicka  <jh@suse.cz>
69
70         * lto-symtab.c (lto_symtab_merge_decls_1): Prefer declarations with
71         size.
72
73 2010-05-05  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
74
75         * Makefile.in (build/gengtype.o): Add $(HASHTAB_H) to
76         dependencies.
77
78         * gengtype.h (erro_at_line): Constify pos argument.
79
80         * gengtype.c: Include hashtab.h.
81         (enum gc_used): Document GC_MAYBE_POINTED_TO.
82         (error_at_line): Constify pos argument.
83         (do_typedef): Initialize p->opt field.
84         (get_file_gtfilename): Fix comment typo.
85         (struct walk_type_data): Constify line field.
86         (get_output_file_for_structure): New function.
87         (write_local_func_for_structure): Constify orig_s argument.
88         Use get_output_file_for_structure.
89         (write_func_for_structure): Use get_output_file_for_structure.
90         (INDENT): New define.
91         (dump_pair, dump_type, dump_type_list, dump_typekind)
92         (dump_gc_used, dump_options, dump_fileloc, dump_type_u_s)
93         (dump_type_u_a, dump_type_u_param_struct, dump_everything): New
94         functions.
95         (seen_types): New variable.
96         (main): New variable do_dump.  Process "-d" command line option.
97         Call dump_everything if dump requested.
98
99 2010-05-05  Jakub Jelinek  <jakub@redhat.com>
100
101         * var-tracking.c (var_debug_decl): Save DECL_DEBUG_EXPR value
102         in a temporary instead of invoking the macro multiple times.
103         (track_expr_p): Likewise.
104
105 2010-05-04  Neil Vachharajani <nvachhar@google.com>
106
107         * doc/invoke.texi (-Wcoverage-mismatch): Updated documentation as
108         per new semantics.
109         * opts.c (decode_options): Enable -Werror=coverage-mismatch.
110         * coverage.c (get_coverage_counts): Always emit a warning.  Adjust
111         conditions for printing notes.
112         * common.opt (-Wcoverage-mismatch): Allow negative, default to
113         true, update documentation.
114         * Makefile.in (coverage.o): Add dependence on DIAGNOSTIC_H and intl.h.
115
116 2010-05-04  Jakub Jelinek  <jakub@redhat.com>
117
118         PR c/43981
119         * c-parser.c (c_parser_direct_declarator_inner): Call mark_exp_read
120         on dimen.
121
122 2010-05-04  H.J. Lu  <hongjiu.lu@intel.com>
123
124         PR target/43799
125         * config/i386/i386.md (sse_prologue_save): Add clobber CC
126         register.
127         (*sse_prologue_save_insn1): Likewise.
128         (SSE prologue save splitter): Likewise.
129
130 2010-05-04  Eric Botcazou  <ebotcazou@adacore.com>
131
132         * tree.c (free_lang_data_in_one_sizepos): New inline function.
133         (free_lang_data_in_type): Call it on TYPE_{MIN|MAX}_VALUE of numerical
134         types.  Call it on TYPE_SIZE and TYPE_SIZE_UNIT of all types.
135         (free_lang_data_in_decl): Call it on DECL_SIZE and DECL_SIZE_UNIT of
136         all decls.  Call it on DECL_FIELD_OFFSET of fields.
137         (find_decls_types_r): Follow DECL_VALUE_EXPR.
138         (iterative_hash_expr) <PLACEHOLDER_EXPR>: New case.
139
140 2010-05-04  Martin Jambor  <mjambor@suse.cz>
141
142         * tree-sra.c (build_access_from_expr_1): The first parameter type
143         changed to simple tree.
144         (build_access_from_expr): Likewise, gsi parameter was eliminated.
145         (scan_assign_result): Renamed to assignment_mod_result, enum elements
146         renamed as well.
147         (build_accesses_from_assign): Removed all parameters except for a
148         simple gimple statement.  Now returns a simple bool.
149         (scan_function): All non-analysis parts moved to separate functions
150         sra_modify_function_body and ipa_sra_modify_function_body.  Removed all
151         parameters and updated both callers.
152         (sra_modify_expr): Removed parameter data.
153         (sra_modify_function_body): New function.
154         (perform_intra_sra): Call sra_modify_function_body to modify the
155         function body.
156         (replace_removed_params_ssa_names): Parameter data changed into
157         adjustments vector.
158         (sra_ipa_modify_expr): Likewise.  Also removed unused parameter gsi and
159         changed the parameter dont_convert to convert with the opposite
160         meaning.
161         (sra_ipa_modify_assign): Parameter data changed into adjustments
162         vector, return value changed to bool.
163         (ipa_sra_modify_function_body): New function.
164         (sra_ipa_reset_debug_stmts): Updated a comment.
165         (modify_function): Use ipa_sra_modify_function_body to modify function
166         body.
167
168 2010-05-04  H.J. Lu  <hongjiu.lu@intel.com>
169
170         PR middle-end/43671
171         * alias.c (true_dependence): Handle the same VALUE in x and mem.
172         (canon_true_dependence): Likewise.
173         (write_dependence_p): Likewise.
174
175 2010-05-04  Jan Hubicka  <jh@suse.cz>
176
177         * Makefile.in (cgraphbuild.o): Add dependency on ipa-utils.h
178         * cgraphbuild.c: Include ipa-utils.h
179         (record_reference_ctx): New struct.
180         (record_reference): Simplify to work on initializers; not statements.
181         (mark_address, mark_load, mark_store): New.
182         (build_cgraph_edges): Simplify using walk_stmt_load_store_addr_ops;
183         walk PHI nodes too.
184         (record_references_in_initializer): Update use of record_reference.
185         (rebuild_cgraph_edges): Simplify using walk_stmt_load_store_addr_ops;
186         walk PHI nodes too.
187
188 2010-05-04  Jan Hubicka  <jh@suse.cz>
189
190         * lto-symtab.c (lto_cgraph_replace_node): Do not remove edges;
191         node will be removed anyway.
192         (lto_varpool_replace_node): Allow also unanalyzed nodes;
193         relink aliases of node into prevailing node.
194         * varpool.c (varpool_remove_node): Remove aliases properly;
195         when removing node, remove all its aliases too; remove DECL_INITIAL
196         of removed node; ggc_free the varpool node.
197
198 2010-05-04  Richard Guenther  <rguenther@suse.de>
199
200         PR tree-optimization/43879
201         * tree-ssa-structalias.c (alias_get_name): Use
202         DECL_ASSEMBLER_NAME if available.
203         (create_function_info_for): Return the varinfo node.
204         (ipa_pta_execute): Associate same-body aliases and extra names
205         with their origin nodes varinfo.  Dump DECL_ASSEMBLER_NAME.
206
207 2010-05-04  Kaz Kojima  <kkojima@gcc.gnu.org>
208
209         * config/sh/sh.c (sh_small_register_classes_for_mode_p): Remove
210         static.
211
212 2010-05-04  Mikael Pettersson  <mikpe@it.uu.se>
213
214         PR bootstrap/43964
215         * ira-color.c (assign_hard_reg): Declare rclass and add_cost
216         only if HONOR_REG_ALLOC_ORDER is not defined.
217
218 2010-05-04  Richard Guenther  <rguenther@suse.de>
219
220         PR tree-optimization/43949
221         * tree-vrp.c (extract_range_from_binary_expr): Only handle
222         TRUNC_MOD_EXPR.
223
224 2010-04-26  Jason Merrill  <jason@redhat.com>
225
226         * c.opt (-fstrict-enums): New.
227         * doc/invoke.texi (C++ Dialect Options): Document -fstrict-enums.
228
229 2010-05-03  David Ung <davidu@mips.com>
230             James E. Wilson  <wilson@codesourcery.com>
231
232         * config/mips/mips.c (mips_output_division): If GENERATE_DIVIDE_TRAPS,
233         emit the trap instruction before the divide for TUNE_74K.
234
235 2010-05-03  Steven Bosscher  <steven@gcc.gnu.org>
236
237         * doc/tm.texi (defmac SMALL_REGISTER_CLASSES): Remove.
238         (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): Add documentation,
239         based on the above, for new target hook.
240
241         * hooks.c (hook_bool_mode_true): New generic hook.
242         * hooks.h (hook_bool_mode_true): Add prototype.
243
244         * target.h (struct gcc_target): Add small_register_classes_for_mode_p
245         target hook.
246         * target-def.h (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): New default
247         target hook, set to hook_bool_mode_false.
248         * regs.h: Remove default definition of SMALL_REGISTER_CLASSES.
249         * reload.c (push_secondary_reload): Replace SMALL_REGISTER_CLASSES
250         with targetm.small_register_classes_for_mode_p.
251         (find_reusable_reload): Likewise.
252         (combine_reloads): Likewise.
253         * reload1.c (reload_as_needed): Likewise.
254         * cse.c (approx_reg_cost_1, hash_rtx_cb): Likewise.
255         * ifcvt.c (noce_process_if_block, check_cond_move_block,
256         dead_or_predicable): Likewise.
257         * regmove.c (optimize_reg_copy_1): Likewise.
258         * calls.c (prepare_call_address): Likewise.
259         (precompute_register_parameters): Likewise.
260
261         * config/sh/sh.h: Replace SMALL_REGISTER_CLASSES with new target
262         hook definition.
263         * config/sh/sh.c (sh_small_register_classes_for_mode_p): Add
264         implementation of the hook that considers all register classes
265         small except for SH64.
266         (sh_override_options): Use the new hook.
267         * config/sh/sh-protos.h (sh_small_register_classes_for_mode_p):
268         Add prototype.
269
270         * config/arm/arm.h: Replace SMALL_REGISTER_CLASSES with new target
271         hook definition.
272         * config/arm/arm.c (arm_small_register_classes_for_mode_p): Add
273         implementation of the hook that considers all register classes
274         small for THUMB1.
275         * config/arm/arm-protos.h (arm_small_register_classes_for_mode_p):
276         Add prototype.
277
278         * config/mips/mips.h: Replace SMALL_REGISTER_CLASSES with new target
279         hook definition.
280         * config/mips/mips.c (mips_small_register_classes_for_mode_p): Add
281         implementation of the hook that considers all register classes
282         small for MIPS16.
283         * config/mips/mips-protos.h (mips_small_register_classes_for_mode_p):
284         Add prototype.
285
286         * config/i386/i386.h: Replace SMALL_REGISTER_CLASSES with new target
287         hook definition.
288         * config/m32c/m32c.h: Likewise.
289         * config/pdp11/pdp11.h: Likewise.
290         * config/avr/avr.h: Likewise.
291         * config/xtensa/xtensa.h: Likewise.
292         * config/m68hc11/m68hc11.h: Likewise.
293         * config/mn10300/mn10300.h: Likewise.
294         * config/mcore/mcore.h: Likewise.
295         * config/h8300/h8300.h: Likewise.
296         * config/bfin/bfin.h: Likewise.
297
298         * config/iq2000/iq2000.h: Remove SMALL_REGISTER_CLASSES definition.
299         * config/rx/rx.h: Remove SMALL_REGISTER_CLASSES definition.
300
301 2010-05-03  Anatoly Sokolov  <aesok@post.ru>
302
303         * double-int.h (tree_to_double_int): Remove macro.
304         (double_int_to_tree, double_int_fits_to_tree_p): Move prototypes ...
305         * tree.h (double_int_to_tree, double_int_fits_to_tree_p): ... here.
306         (tree_to_double_int): New function.
307         * double-int.c (double_int_to_tree, double_int_fits_to_tree_p):
308         Move ...
309         * tree.c (double_int_to_tree, double_int_fits_to_tree_p): ... here.
310
311 2010-05-03  Richard Guenther  <rguenther@suse.de>
312
313         PR tree-optimization/43971
314         * tree-ssa-structalias.c (get_constraint_for_1): Fix
315         constraints in the !flag_delete_null_pointer_checks case.
316
317 2010-05-03  Jakub Jelinek  <jakub@redhat.com>
318
319         PR debug/43972
320         * config/i386/i386.c (ix86_delegitimize_address): Make sure the
321         result mode matches original rtl mode.
322
323 2010-05-03  Dave Korn  <dave.korn.cygwin@gmail.com>
324
325         PR target/43888
326         * config/i386/winnt.c (i386_pe_binds_local_p): Handle weak decls.
327
328 2010-05-02  Uros Bizjak  <ubizjak@gmail.com>
329
330         * config/i386/i386.c (ix86_target_string): Output 'flags', not 'isa',
331         when processing flag options.
332
333 2010-05-02  Uros Bizjak  <ubizjak@gmail.com>
334
335         * gcov-iov.c (main): Change format string placeholder
336         from %#08x to 0x%08x.
337         * genchecksum.c (dosum): Change format string placeholder
338         from %#02x to 0x%02x.
339
340 2010-05-02  Richard Guenther  <rguenther@suse.de>
341
342         PR tree-optimization/43879
343         * tree-tailcall.c (find_tail_calls): Clobbers also prevent tail calls.
344
345 2010-05-02  Bruno Haible  <bruno@clisp.org>
346
347         * doc/extend.texi (Function Attributes): Fix a typo.
348
349 2010-05-02  Uros Bizjak  <ubizjak@gmail.com>
350
351         Revert:
352         * hwint.h (HOST_WIDE_INT_PRINT_DOUBLE_HEX): Change format string
353         placeholder from 0x%x to %#x.
354         (HOST_WIDEST_INT_PRINT_DOUBLE_HEX): Ditto.
355         * config/i386/i386elf.h (ASM_OUTPUT_ASCII): Ditto.
356         * config/i386/i386-interix.h (ASM_OUTPUT_ASCII): Ditto.
357         * config/i386/att.h (ASM_OUTPUT_ASCII): Ditto.
358         * config/i386/sysv4.h (ASM_OUTPUT_ASCII): Ditto.
359         * config/i386/i386.c (ix86_target_string): Ditto.
360         * config/i386/i386.c (output_pic_addr_const): Ditto.
361         (print_operand): Ditto.
362
363 2010-05-02  Uros Bizjak  <ubizjak@gmail.com>
364
365         * vmsdbgout.c (ASM_OUTPUT_DEBUG_DATA1): Change format string
366         placeholder from 0x%x to %#x.
367         (ASM_OUTPUT_DEBUG_DATA1): Ditto.
368         (ASM_OUTPUT_DEBUG_DATA4): Ditto.
369         (ASM_OUTPUT_DEBUG_DATA): Ditto.
370         (ASM_OUTPUT_DEBUG_ADDR_DATA): Ditto.
371         (ASM_OUTPUT_DEBUG_DATA8): Ditto.
372         * optc-gen.awk: Ditto.
373         * hwint.h (HOST_WIDE_INT_PRINT_DOUBLE_HEX): Ditto.
374         (HOST_WIDE_INT_PRINT_HEX): Ditto.
375         (HOST_WIDEST_INT_PRINT_HEX): Ditto.
376         (HOST_WIDEST_INT_PRINT_DOUBLE_HEX): Ditto.
377
378 2010-05-01  Anatoly Sokolov  <aesok@post.ru>
379
380         * target.h (struct calls): Add function_value_regno_p field.
381         * target-def.h (TARGET_FUNCTION_VALUE_REGNO_P): Define.
382         (TARGET_INITIALIZER): Use TARGET_FUNCTION_VALUE_REGNO_P.
383         * targhooks.c (default_function_value_regno_p): New function.
384         * targhooks.h (default_function_value_regno_p): Declare function.
385         * rtlanal.c (keep_with_call_p): Use function_value_regno_p hook.
386         * builtins.c. (apply_result_size): (Ditto.).
387         * combine.c. (likely_spilled_retval_p): (Ditto.).
388         * mode-switching.c. Include 'target.h'.
389         (create_pre_exit): Use function_value_regno_p hook.
390         * Makefile.in (mode-switching.o): Add dependency on TARGET_H.
391         * doc/tm.texi (FUNCTION_VALUE_REGNO_P,
392         TARGET_FUNCTION_VALUE_REGNO_P): Revise documentation.
393
394         * config/i386/i386.h (TARGET_FUNCTION_VALUE_REGNO_P): Remove macro.
395         * config/i386/i386.c (TARGET_FUNCTION_VALUE_REGNO_P): Define macro.
396         (ix86_function_value_regno_p): Declare as static, change argument
397         type to const unsigned int.
398         * config/i386/i386-protos.h (ix86_function_value_regno_p): Remove.
399
400 2010-05-01  Richard Guenther  <rguenther@suse.de>
401
402         PR tree-optimization/43949
403         * tree-vrp.c (ssa_name_nonnegative_p): Return true for unsigned
404         types.
405         (extract_range_from_binary_expr): Handle *_MOD_EXPR.
406
407 2010-05-01  Anatoly Sokolov  <aesok@post.ru>
408
409         * rtl.h (CONST_DOUBLE_P): Define.
410         (rtx_to_double_int): Declare.
411         * emit-rtl.c (rtx_to_double_int): New function.
412         * dwarf2out.c (insert_double): New function.
413         (loc_descriptor, add_const_value_attribute): Clean up, use
414         rtx_to_double_int and insert_double functions.
415
416 2010-05-01  Jonathan Wakely  <jwakely.gcc@gmail.com>
417
418         * doc/extend.texi (Inline): Add missing return keyword to examples.
419         (Function Attributes, Variable Attributes, Pragmas): Hyphenate
420         "command-line".
421
422 2010-04-30  Eric Botcazou  <ebotcazou@adacore.com>
423
424         * tree-ssa-loop-ivopts.c (may_be_unaligned_p): Check the alignment of
425         the variable part of the offset as well.  Use highest_pow2_factor for
426         all alignment checks.
427
428 2010-04-30  Richard Guenther  <rguenther@suse.de>
429
430         PR tree-optimization/43879
431         * tree-ssa-structalias.c (type_could_have_pointers): Functions
432         can have pointers.
433
434 2010-04-30  Jan Hubicka  <jh@suse.cz>
435
436         * lto-symtab.c (lto_symtab_resolve_can_prevail_p): Chose var with
437         varpool.
438         (lto_symtab_merge_decls_1): Remove logic looking for an initializer.
439
440 2010-04-30  Jan Hubicka  <jh@suse.cz>
441
442         * cgraph.h (cgraph_node_set_nonempty_p, varpool_node_set_nonempty_p):
443         New.
444         * lto-cgraph.c (input_cgraph): Remove call to lto_mark_file_for_ltrans.
445         * lto-streamer.h (lto_file_decl_data): Remove needs_ltrans_p.
446         (lto_file_needs_ltrans_p, lto_mark_file_for_ltrans,
447         cgraph_node_set_needs_ltrans_p): Remove.
448
449 2010-04-30  Steven Bosscher  <steven@gcc.gnu.org>
450
451         * sdbout.c: Include vec.h, do not include varray.h.
452         (deferred_global_decls, sdbout_global_decl,
453         sdbout_finish, sdbout_init): Use VEC instead of VARRAY.
454         * toplev.c: Do not include varray.h.
455         (dump_memory_report): Do not dump VARRAY statistics.
456         * gengtype.c (open_base_file): Ignore varray.h.
457         * Makefile.in: Update for abovementioned changes.
458         Remove all traces of varray.c and varray.h.
459         * varray.c: Remove file.
460         * varray.h: Remove file.
461
462 2010-04-30  Jan Hubicka  <jh@suse.cz>
463
464         * lto-cgraph.c (lto_output_varpool_node): Always output constant pool
465         references.
466
467 2010-04-30  Jan Hubicka  <jh@suse.cz>
468
469         * tree-profile.c (tree_init_ic_make_global_vars): Mark new decls as
470         needed.
471
472 2010-04-30  Richard Guenther  <rguenther@suse.de>
473
474         * tree-ssa-structalias.c (get_constraint_for_1): Generate
475         constraints for CONSTRUCTOR.
476
477 2010-04-30  Richard Guenther  <rguenther@suse.de>
478
479         PR lto/43946
480         * passes.c (init_optimization_passes): Move pass_ipa_free_lang_data
481         first after all lowering passes.
482
483 2010-04-30  Steven Bosscher  <steven@gcc.gnu.org>
484
485         * toplev.c: Include varray.h for statistics dumping.
486         * tree.h: Do not declare varray_head_tag.
487         * tree-into-ssa.c, tree-ssa-uninit.c, tree-phinodes.c, omega.c,
488         regs.h, lto-cgraph.c, tree-ssa-loop-ivopts.c, tree-nomudflap.c,
489         c-objc-common.c, lto-streamer-out.c, tree-ssa-propagate.c,
490         gimple-low.c, c-semantics.c, dwarf2out.c, lto-streamer-in.c,
491         lto-section-in.c, alias.c, tree-if-conv.c, gimplify.c, ggc-zone.c,
492         tree-ssa.c, tree-ssa-loop-prefetch.c, integrate.h, c-gimplify.c,
493         c-common.c, c-common.h, reg-stack.c, basic-block.h,
494         tree-ssa-structalias.c, lto-section-out.c, tree-ssanames.c: Do not
495         include varray.h.
496         * Makefile.in: Update for abovementioned changes.
497
498 2010-04-30  Jakub Jelinek  <jakub@redhat.com>
499
500         PR debug/43942
501         * tree.c (auto_var_in_fn_p): Return false for DECL_EXTERNAL vars.
502
503 2010-04-30  Hariharan Sandanagobalane  <hariharan@picochip.com>
504
505         * config/picochip/picochip.c (picochip_legitimize_address): Define.
506         Use this function to do machine-specific conversion.
507         (picochip_legitimize_reload_address): Likewise.
508         (picochip_legitimate_address_p): Check valid base register only if
509         strict.
510         (picochip_check_conditional_copy): Check for modw only if opnd is
511         register.
512         * config/picochip/picochip.h (LEGITIMIZE_RELOAD_ADDRESS): Use this
513         to call the function in c.
514         * config/picochip/picochip-protos.h
515         (picochip_legitimize_reload_address): Define.
516         * config/picochip/picochip.md (supported_compare1): Define.
517
518 2010-04-30  Jan Hubicka  <jh@suse.cz>
519
520         * cgraph.h (cgraph_local_info): Remove for_functions_valid.
521         (cgraph_global_info): Remove inlined.
522         (LTO_cgraph_tag_names): Remove.
523         (LTO_cgraph_tags, LCC_NOT_FOUND): Move to ...
524         * lto-cgraph.c (LTO_cgraph_tags, LCC_NOT_FOUND): ... here;
525         simplify cgraph tags and document.
526         (lto_output_node): Use only LTO_cgraph_unavail_node and
527         LTO_cgraph_analyzed_node; Do not save analzed, reachable,
528         for_functions_valid, global info, process and output flags.
529         (input_overwrite_node): Initialize estimated stack size and
530         estimated growth.  Do not read flags we no longer store.
531         (input_node): Likewise do not read info no longer stored.
532         * ipa-inline.c (cgraph_mark_inline_edge): Do not set global.inlined
533         flag.
534
535 2010-04-30  Richard Guenther  <rguenther@suse.de>
536
537         PR tree-optimization/43879
538         * tree-ssa-structalias.c (get_constraint_for_1): Properly
539         handle non-zero initializers.
540
541 2010-04-30  Richard Guenther  <rguenther@suse.de>
542
543         * builtins.c (fold_builtin_1): Delete free (0).
544
545 2010-04-29  Jan Hubicka  <jh@suse.cz>
546
547         * gengtype.c (open_base_files): Add lto-streamer.h
548         * cgraph.h (cgraph_local_info): lto_file_data is now in GGC.
549         (pass_ipa_cp): GGC collect.
550         * toplev. (compile_file): Do not output symbols.
551         * ipa-inline.c (pass_ipa_inline): Add ggc collect.
552         * timevar.def (TV_VARPOOL, TV_IPA_LTO_DECL_INIT_IO,
553         TV_IPA_LTO_DECL_MERGE, TV_IPA_LTO_CGRAPH_MERGE, TV_VAROUT): New.
554         * lto-section-in.c: Include ggc.h
555         (lto_new_in_decl_state): Alloc in GGC.
556         (lto_delete_in_decl_state): Likewise.
557         * ipa.c (pass_ipa_function_visibility, pass_ipa_whole_program):
558         Collect.
559
560 2010-04-29  Bernd Schmidt  <bernds@codesourcery.com>
561
562         PR target/42895
563         * doc/tm.texi (ADJUST_REG_ALLOC_ORDER): Renamed from
564         ORDER_REGS_FOR_LOCAL_ALLOC.  All instances of this macro changed.
565         (HONOR_REG_ALLOC_ORDER): Describe new macro.
566         * ira.c (setup_alloc_regs): Use ADJUST_REG_ALLOC_ORDER if defined.
567         * ira-color.c (assign_hard_reg): Take prologue/epilogue costs into
568         account only if HONOR_REG_ALLOC_ORDER is not defined.
569         * config/arm/arm.h (HONOR_REG_ALLOC_ORDER): Define.
570         * system.h (ORDER_REGS_FOR_LOCAL_ALLOC): Poison.
571
572 2010-04-29  Jon Grant  <04@jguk.org>
573
574         * collect2.c (vflag): Change type from int to bool.
575         (debug): Likewise.
576         (helpflag): New global bool.
577         (main): Set vflag and debug with boolean, not integer truth values.
578         Accept new "--help" option and output usage text if found.
579         * collect2.h (vflag): Update prototype.
580         (debug): Likewise.
581
582 2010-04-29  H.J. Lu  <hongjiu.lu@intel.com>
583
584         PR bootstrap/43936
585         * plugin.h (flag_plugin_added): Moved out of invoke_plugin_callbacks.
586
587 2010-04-29  Richard Guenther  <rguenther@suse.de>
588
589         PR bootstrap/43935
590         * plugin.h (invoke_plugin_callbacks): Annotate arguments
591         with ATTRIBUTE_UNUSED.
592
593 2010-04-29  H.J. Lu  <hongjiu.lu@intel.com>
594
595         PR target/43921
596         * config/i386/i386.c (get_some_local_dynamic_name): Replace
597         INSN_P with NONDEBUG_INSN_P.
598         (distance_non_agu_define): Likewise.
599         (distance_agu_use): Likewise.
600
601 2010-04-29  Bernd Schmidt  <bernds@codesourcery.com>
602
603         From Dominique d'Humieres <dominiq@lps.ens.fr>
604         PR bootstrap/43858
605         * ifcvt.c (dead_or_predicable): Use df_simulate_find_defs to compute
606         test_set.
607
608 2010-04-29  Brian Hackett  <bhackett1024@gmail.com>
609
610         * plugin.h (invoke_plugin_callbacks): New inline function.
611         * plugin.c (flag_plugin_added): New global flag.
612         (add_new_plugin): Initialize above flag.
613         (invoke_plugin_callbacks): Rename to ...
614         (invoke_plugin_callbacks_full): ... this.
615
616 2010-04-28  Jan Hubicka  <jh@suse.cz>
617
618         * lto-symtab.c (lto_symtab_entry_def) Add vnode.
619         (lto_varpool_replace_node): New.
620         (lto_symtab_resolve_symbols): Resolve varpool nodes.
621         (lto_symtab_merge_decls_1): Prefer decls with varpool node.
622         (lto_symtab_merge_cgraph_nodes_1): Merge varpools.
623         * cgraph.h (varpool_node_ptr): New type.
624         (varpool_node_ptr): New vector.
625         (varpool_node_set_def): New structure.
626         (varpool_node_set): New type.
627         (varpool_node_set): New vector.
628         (varpool_node_set_element_def): New structure.
629         (varpool_node_set_element, const_varpool_node_set_element): New types.
630         (varpool_node_set_iterator): New type.
631         (varpool_node): Add prev pointers, add used_from_other_partition,
632         in_other_partition.
633         (varpool_node_set_new, varpool_node_set_find, varpool_node_set_add,
634         varpool_node_set_remove, dump_varpool_node_set, debug_varpool_node_set,
635         varpool_get_node, varpool_remove_node): Declare.
636         (vsi_end_p, vsi_next, vsi_node, vsi_start, varpool_node_in_set_p,
637         varpool_node_set_size): New inlines.
638         * cgraph.c (dump_cgraph_node): Dump asm names of aliases.
639         * tree-pass.h (varpool_node_set_def): Forward declare.
640         (ipa_opt_pass_d): Summary writting takes vnode sets too.
641         (ipa_write_optimization_summaries): Update prototype.
642         * ipa-cp.c (ipcp_write_summary): Update.
643         * ipa-reference.c (ipa_reference_write_summary): Update.
644         * lto-cgraph.c (lto_output_varpool_node): New static function.
645         (output_varpool): New function.
646         (input_varpool_node): New static function.
647         (input_varpool_1): New function.
648         (input_cgraph): Input varpool.
649         * ipa-pure-const.c (pure_const_write_summary): Update.
650         * lto-streamer-out.c (lto_output): Update, output varpool too.
651         (write_global_stream): Kill WPA hack.
652         (produce_asm_for_decls): Update.
653         (output_alias_pair_p): Handle variables.
654         (output_unreferenced_globals): Output only needed partition of varpool.
655         * ipa-inline.c (inline_write_summary): Update.
656         * lto-streamer-in.c (lto_input_tree_ref, lto_input_tree): Do not build
657         cgraph.
658         * lto-section-in.c (lto_section_name): Add varpool and jump funcs.
659         * ipa.c (hash_varpool_node_set_element, eq_varpool_node_set_element,
660         varpool_node_set_new, varpool_node_set_add,
661         varpool_node_set_remove, varpool_node_set_find, dump_varpool_node_set,
662         debug_varpool_node_set): New functions.
663         * passes.c (rest_of_decl_compilation): when in LTO do not finalize.
664         (execute_one_pass): Process new decls too.
665         (ipa_write_summaries_2): Pass around vsets.
666         (ipa_write_summaries_1): Likewise.
667         (ipa_write_summaries): Build vset; be more selective about cgraph nodes
668         to add.
669         (ipa_write_optimization_summaries_1): Pass around vsets.
670         (ipa_write_optimization_summaries): Likewise.
671         * varpool.c (varpool_get_node): New.
672         (varpool_node): Update doubly linked lists.
673         (varpool_remove_node): New.
674         (dump_varpool_node): More dumping.
675         (varpool_enqueue_needed_node): Update doubly linked lists.
676         (decide_is_variable_needed): Kill ltrans hack.
677         (varpool_finalize_decl): Kill lto hack.
678         (varpool_assemble_decl): Skip decls in other partitions.
679         (varpool_assemble_pending_decls): Update doubly linkes lists.
680         (varpool_empty_needed_queue): Likewise.
681         (varpool_extra_name_alias): Likewise.
682         * lto-streamer.c (lto_get_section_name): Add vars section.
683         * lto-streamer.h (lto_section_type): Update.
684         (output_varpool, input_varpool): Declare.
685
686 2010-04-28  Mike Stump  <mikestump@comcast.net>
687
688         * config/i386/darwin.h (CC1_SPEC): Ignore -mdynamic-no-pic for now.
689
690 2010-04-28  Eric Botcazou  <ebotcazou@adacore.com>
691
692         * lto-streamer-in.c (unpack_ts_type_value_fields): Replace test for
693         record or union type with RECORD_OR_UNION_TYPE_P predicate.
694         (lto_input_ts_type_tree_pointers): Likewise.
695         * lto-streamer-out.c (pack_ts_type_value_fields): Likewise.
696         (lto_output_ts_type_tree_pointers): Likewise.
697
698 2010-04-28  Eric Botcazou  <ebotcazou@adacore.com>
699
700         Uniquization of constants at the Tree level
701         * tree.h (DECL_IN_CONSTANT_POOL): New macro.
702         (tree_decl_with_vis): Add in_constant_pool bit, move shadowed_for_var_p
703         bit to the end.
704         (tree_output_constant_def): Declare.
705         * gimplify.c (gimplify_init_constructor): When using block copy, first
706         uniquize the constant constructor on the RHS.
707         * lto-streamer-in.c (unpack_ts_decl_with_vis_value_fields): Deal with
708         DECL_IN_CONSTANT_POOL flag.
709         * lto-streamer-out.c (pack_ts_decl_with_vis_value_fields): Likewise.
710         * varasm.c (make_decl_rtl): Deal with variables belonging to the global
711         constant pool.
712         (assemble_variable): Deal with symbols belonging to the tree constant
713         pool.
714         (get_constant_section): Add ALIGN parameter and simplify.
715         (build_constant_desc): Build a VAR_DECL and attach it to the symbol.
716         (assemble_constant_contents): Use the expression of the VAR_DECL.
717         (output_constant_def_contents): Use the alignment of the VAR_DECL.
718         (tree_output_constant_def): New global function.
719         (mark_constant): Use the expression of the VAR_DECL.
720         (place_block_symbol): Use the alignment of the VAR_DECL and the size of
721         its expression.
722         (output_object_block): Likewise and assemble the expression.
723
724 2010-04-28  Eric Botcazou  <ebotcazou@adacore.com>
725
726         * lto-streamer.c [LTO_STREAMER_DEBUG] (tree_htab, tree_hash_entry,
727         hash_tree, eq_tree): New tree hash table.
728         (lto_streamer_init) [LTO_STREAMER_DEBUG]: Initialize it.
729         [LTO_STREAMER_DEBUG] (lto_orig_address_map, lto_orig_address_get,
730         lto_orig_address_remove): Reimplement.
731
732 2010-04-28  Xinliang David Li  <davidxl@google.com>
733
734         PR c/42643
735         * tree-ssa-uninit.c (can_skip_redundant_opnd): New function.
736         (compute_uninit_opnds_pos): New function.
737         (is_non_loop_exit_postdominating): New function.
738         (compute_control_dep_chain): New function.
739         (find_pdom): New function.
740         (convert_control_dep_chain_into_preds): New function.
741         (find_predicates): New function.
742         (find_control_equiv_block): New function.
743         (collect_phi_def_edges): New function.
744         (find_def_preds): New function.
745         (find_dom): New function.
746         (dump_predicates): New function.
747         (get_cmp_code): New function.
748         (is_value_included_in): New function.
749         (find_matching_predicate_in_rest_chains): New function.
750         (use_pred_not_overlap_with_undef_path_pred): New function.
751         (is_use_properly_guarded): New function.
752         (normalize_cond_1): New function.
753         (is_and_or_or): New function.
754         (normalize_cond): New function.
755         (is_gcond_subset_of): New function.
756         (is_subset_of_any): New function.
757         (is_or_set_subset_of): New function.
758         (is_and_set_subset_of): New function.
759         (is_norm_cond_subset_of): New function.
760         (is_pred_expr_subset_of): New function.
761         (is_pred_chain_subset_of): New function.
762         (is_included_in): New function.
763         (is_superset_of): New function.
764         (find_uninit_use): New function.
765         (warn_uninitialized_phi): New function.
766         (compute_possibly_undefined_names): New function.
767         (ssa_undefined_value_p): New function.
768         (execute_late_warn_uninitialized): New function.
769         * tree-ssa.c (ssa_undefined_value_p): Removed.
770         (warn_uninit): Changed to extern.
771         (warn_uninitialized_phi): Removed.
772         (warn_uninitialized_vars): Changed to extern.
773         (execute_late_warn_uninitialized): Removed
774         * tree-flow.h: Add new prototypes.
775         * timevar.def: Add new time variable.
776         * Makefile.in: Add new build file.
777
778 2010-04-28  Uros Bizjak  <ubizjak@gmail.com>
779
780         * config/alpha/elf.h (ASM_DECLARE_OBJECT_NAME): Use gnu_unique_object
781         type if available.
782
783 2010-04-28  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
784
785         PR target/22224
786         * config/alpha/osf5.h (ASM_OUTPUT_LOCAL): Redefine.
787
788 2010-04-28  Martin Jambor  <mjambor@suse.cz>
789
790         * cgraph.h (struct cgraph_node): New field indirect_calls.
791         (struct cgraph_indirect_call_info): New type.
792         (struct cgraph_edge): Removed field indirect_call. New fields
793         indirect_info, indirect_inlining_edge and indirect_unknown_callee.
794         (cgraph_create_indirect_edge): Declare.
795         (cgraph_make_edge_direct): Likewise.
796         (enum LTO_cgraph_tags): New item LTO_cgraph_indirect_edge.
797         * ipa-prop.h (struct ipa_param_call_note): Removed.
798         (struct ipa_node_params): Removed field param_calls.
799         (ipa_create_all_structures_for_iinln): Declare.
800         * cgraph.c: Described indirect edges and uids in initial comment.
801         (cgraph_add_edge_to_call_site_hash): New function.
802         (cgraph_edge): Search also among the indirect edges, use
803         cgraph_add_edge_to_call_site_hash to add edges to the call site hash.
804         (cgraph_set_call_stmt): Possibly turn an indirect edge into a direct
805         one, use cgraph_add_edge_to_call_site_hash to add edges to the call
806         site hash.
807         (initialize_inline_failed): Assign a reason to indirect edges.
808         (cgraph_create_edge_1): New function.
809         (cgraph_create_edge): Moved some functionality to
810         cgraph_create_edge_1.
811         (cgraph_create_indirect_edge): New function.
812         (cgraph_edge_remove_callee): Add an assert checking for
813         non-indirectness.
814         (cgraph_edge_remove_caller): Special-case indirect edges.
815         (cgraph_remove_edge): Likewise.
816         (cgraph_set_edge_callee): New function.
817         (cgraph_redirect_edge_callee): Use cgraph_set_edge_callee.
818         (cgraph_make_edge_direct): New function.
819         (cgraph_update_edges_for_call_stmt_node): Do nothing only when also
820         the declaration of the call statement matches.
821         (cgraph_node_remove_callees): Special-case indirect edges.
822         (cgraph_clone_edge): Likewise.
823         (cgraph_clone_node): Clone also the indirect edges.
824         (dump_cgraph_node): Dump indirect_inlining_edge flag instead of
825         indirect_call, dump count of indirect_calls edges.
826         * ipa-prop.c (iinlining_processed_edges): New variable.
827         (ipa_note_param_call): Create indirect edges instead of
828         creating notes.  New parameter node.
829         (ipa_analyze_call_uses): New parameter node, pass it on to
830         ipa_note_param_call.
831         (ipa_analyze_stmt_uses): Likewise.
832         (ipa_analyze_params_uses): Pass node to ipa_analyze_stmt_uses.
833         (print_edge_addition_message): Work on edges rather than on notes.
834         (update_call_notes_after_inlining): Likewise, renamed to
835         update_indirect_edges_after_inlining.
836         (ipa_create_all_structures_for_iinln): New function.
837         (ipa_free_node_params_substructures): Do not free notes.
838         (ipa_edge_duplication_hook): Propagate bits within
839         iinlining_processed_edges bitmap.
840         (ipa_node_duplication_hook): Do not duplicate notes.
841         (free_all_ipa_structures_after_ipa_cp): Renamed to
842         ipa_free_all_structures_after_ipa_cp.
843         (free_all_ipa_structures_after_iinln): Renamed to
844         ipa_free_all_structures_after_iinln.g
845         (ipa_write_param_call_note): Removed.
846         (ipa_read_param_call_note): Removed.
847         (ipa_write_indirect_edge_info): New function.
848         (ipa_read_indirect_edge_info): Likewise.
849         (ipa_write_node_info): Do not stream notes, do stream information
850         in indirect edges.
851         (ipa_read_node_info): Likewise.
852         (lto_ipa_fixup_call_notes): Removed.
853         * ipa-cp.c (pass_ipa_cp): Set stmt_fixup to NULL.
854         * ipa-inline.c (pass_ipa_inline): Likewise.
855         * cgraphunit.c (verify_cgraph_node): Check also indirect edges.
856         * cif-code.def (INDIRECT_UNKNOWN_CALL): New reason.
857         * tree-inline.c (copy_bb): Removed an unnecessary double check for
858         is_gimple_call.
859         * tree-inline.c (get_indirect_callee_fndecl): Do not consider indirect
860         edges.
861         * lto-cgraph.c (output_outgoing_cgraph_edges): New function.
862         (output_cgraph): Stream also indirect edges.
863         (lto_output_edge): Added capability to stream indirect edges.
864         (input_edge): Likewise.
865         (input_cgraph_1): Likewise.
866         * lto-streamer-in.c (fixup_call_stmt_edges_1): Fixup also statements
867         of indirect edges.
868
869 2010-04-28  Richard Guenther  <rguenther@suse.de>
870
871         PR tree-optimization/43879
872         PR tree-optimization/43909
873         * tree-ssa-structalias.c (struct variable_info): Add
874         only_restrict_pointers flag.
875         (new_var_info): Initialize it.  Increment stats.total_vars here.
876         (create_function_info_for): Do not increment stats.total_vars
877         here.
878         (get_function_part_constraint): Fix build with C++.
879         (insert_into_field_list): Remove.
880         (push_fields_onto_fieldstack): Properly merge fields.
881         (create_variable_info_for): Split and simplify.
882         (create_variable_info_for_1): New piece.
883         (intra_create_variable_infos): Properly make restrict constraints
884         from parameters.
885
886 2010-04-28  Richard Guenther  <rguenther@suse.de>
887
888         PR c++/43880
889         * tree-inline.c (copy_bind_expr): Also copy bind expr vars value-exprs.
890
891 2010-04-27  Manuel López-Ibáñez  <manu@gcc.gnu.org>
892             Jan Hubicka <hubicka@ucw.cz>
893
894         * doc/invoke.texi (-Wsuggest-attribute=const,
895         -Wsuggest-attribute=pure): Document.
896         * ipa-pure-const.c: Include toplev.h, intl.h and opts.h.
897         (function_always_visible_to_compiler_p,
898         suggest_attribute, warn_function_pure, warn_function_const):
899         New functions.
900         (check_call): Improve debug info.
901         (analyze_function): Do not check availability.
902         (add_new_function): Check availability.
903         (propagate): Output warnings.
904         (skip_function_for_local_pure_const): New function.
905         (local_pure_const): Use it; output warnings.
906         * common.opt (Wsuggest-attribute=const,
907         Wsuggest-attribute=pure): New.
908
909 2010-04-27  Jakub Jelinek  <jakub@redhat.com>
910
911         * dwarf2out.c (def_cfa_1): After DW_CFA_def_cfa_expression
912         force using DW_CFA_def_cfa instead of DW_CFA_def_cfa_register
913         or DW_CFA_def_cfa_offset{,_sf}.
914
915 2010-04-27  Eric Botcazou  <ebotcazou@adacore.com>
916
917         * tree.h: Fix truncated long macros.
918
919 2010-04-27  Kai Tietz  <kai.tietz@onevision.com>
920
921         * collect2.c (TARGET_64BIT): Redefine to target's default.
922         * tlink.c: Likewise.
923         * config/i386/cygming.h (USER_LABEL_PREFIX): Define
924         dependent to TARGET_64BIT and USE_MINGW64_LEADING_UNDERSCORES.
925         * config/i386/i386.h (CRT_CALL_STATIC_FUNCTION): Use
926         for underscoring __USER_LABEL_PREFIX__.
927         * config/i386/mingw-w64.h (SUB_LINK_ENTRY): New macro.
928         (SUB_LINK_ENTRY32): New.
929         (SUB_LINK_ENTRY64): New.
930         (LINK_SPEC): Replace entry point spec by SUB_LINK_ENTRY.
931         * config/i386/mingw32 (SUB_LINK_ENTRY32): New.
932         (SUB_LINK_ENTRY64): New.
933         (SUB_LINK_ENTRY): New.
934         (LINK_SPEC): Use SUB_LINK_ENTRY instead of hard-coded entry-point.
935         (DWARF2_UNWIND_INFO): Error out for use of dw2 unwind when
936         x64 target is choosen.
937         * config.in (USE_MINGW64_LEADING_UNDERSCORES): New.
938         * configure: Regenerated.
939         * configure.ac (leading-mingw64-underscores): Option added.
940
941 2010-04-27  Jan Hubicka  <jh@suse.cz>
942
943         * doc/invoke.texi (-fipa-profile): Document.
944         * opts.c (decode_options): Enable ipa-profile at -O1.
945         * timevar.def (TV_IPA_PROFILE): Define.
946         * common.opt (fipa-profile): Add.
947         * cgraph.c (cgraph_clone_node): Set local flag and clear vtable method
948         flag for clones.
949         (cgraph_propagate_frequency): Handle only local ones.
950         * tree-pass.h (pass_ipa_profile): Declare.
951         * ipa-profile.c (gate_profile): Use flag_ipa_profile.
952         (pass_ipa_profile): Use TV_IPA_PROFILE.
953         * ipa.c (ipa_profile): New function.
954         (gate_ipa_profile): Likewise.
955         (pass_ipa_profile): New global variable.
956         * passes.c (pass_ipa_profile): New.
957
958 2010-04-27  Nathan Froyd  <froydnj@codesourcery.com>
959
960         * config/arm/arm.c (arm_expand_builtin): Remove redundant declaration.
961
962 2010-04-27  Martin Jambor  <mjambor@suse.cz>
963
964         PR middle-end/43812
965         * ipa.c (dissolve_same_comdat_group_list): New function.
966         (function_and_variable_visibility): Call
967         dissolve_same_comdat_group_list when comdat group contains external or
968         newly local nodes.
969         * cgraphunit.c (verify_cgraph_node): Verify that same_comdat_group
970         lists are circular and that they contain only DECL_ONE_ONLY nodes.
971
972 2010-04-27  Eric Botcazou  <ebotcazou@adacore.com>
973
974         * varasm.c (decode_addr_const): Handle special case of INDIRECT_REF.
975         (const_hash_1) <VECTOR_CST>: New case.
976         (compare_constant) <VECTOR_CST>: Likewise.
977         <ADDR_EXPR>: Deal with LABEL_REFs.
978         (copy_constant) <VECTOR_CST>: New case.
979
980 2010-04-27  Jan Hubicka  <jh@suse.cz>
981
982         * cgraph.c (cgraph_propagate_frequency): New function.
983         * cgraph.h (cgraph_propagate_frequency): Declare.
984         * ipa-inline.c (cgraph_clone_inlined_nodes): Call
985         cgraph_propagate_frequency.
986
987 2010-04-27  Jakub Jelinek  <jakub@redhat.com>
988
989         * unwind-dw2.c (_Unwind_DebugHook): Add used and noclone attributes.
990
991 2010-04-27  Bernd Schmidt  <bernds@codesourcery.com>
992
993         PR target/40657
994         * config/arm/arm.c (thumb1_extra_regs_pushed): New function.
995         (thumb1_expand_prologue, thumb1_output_function_prologue): Call it
996         here to determine which regs to push and how much stack to reserve.
997
998 2010-04-27  Jie Zhang  <jie@codesourcery.com>
999
1000         * doc/gimple.texi (gimple_statement_with_ops): Remove
1001         addresses_taken field.
1002         (gimple_statement_with_memory_ops): Likewise.
1003
1004 2010-04-27  Jan Hubicka  <jh@suse.cz>
1005
1006         * tree-inline.c (eni_inlining_weights): Remove.
1007         (estimate_num_insns): Special case more builtins.
1008
1009 2010-04-27  Shujing Zhao  <pearly.zhao@oracle.com>
1010
1011         PR c/32207
1012         * c-typeck.c (build_binary_op): Move forward check for comparison
1013         pointer with null pointer constant and adjust the diagnostic message.
1014
1015 2010-04-27  Dave Korn  <dave.korn.cygwin@gmail.com>
1016
1017         PR lto/42776
1018         * configure.ac (gcc_cv_as_section_has_align): Set if installed
1019         binutils supports extended .section directive needed by LTO, or
1020         warn if older binutils found.
1021         (LTO_BINARY_READER): New AC_SUBST'd variable.
1022         (LTO_USE_LIBELF): Likewise.
1023         * gcc/config.gcc (lto_binary_reader): New target-specific configure
1024         variable.
1025         * gcc/Makefile.in (LTO_BINARY_READER): Import AC_SUBST'd autoconf var.
1026         (LTO_USE_LIBELF): Likewise.
1027         * configure: Regenerate.
1028
1029         * collect2.c (is_elf): Rename from this ...
1030         (is_elf_or_coff): ... to this, and recognize and allow i386 COFF
1031          object files in addition to ELF-formatted ones.
1032         (scan_prog_file): Caller updated.  Also allow for LTO info marker
1033         symbol to be prefixed or not by an extra underscore.
1034
1035         * config/i386/t-cygming (winnt.o): Also depend on LTO_STREAMER_H.
1036         * config/i386/winnt.c: Also #include lto-streamer.h
1037         (i386_pe_asm_named_section): Specify 1-byte section alignment for
1038         LTO named sections.
1039         (i386_pe_asm_output_aligned_decl_common): Add comment.
1040         (i386_pe_maybe_record_exported_symbol): Allow decl arg to be NULL.
1041
1042 2010-04-27  Hans-Peter Nilsson  <hp@bitrange.com>
1043
1044         PR target/43889
1045         * config/mmix/mmix.md ("*divdi3_nonknuth", "*moddi3_nonknuth"):
1046         Add missing earlyclobber for second alternative.
1047
1048 2010-04-26  Bernd Schmidt  <bernds@codesourcery.com>
1049
1050         * df-problems.c (df_simulate_initialize_forwards): Set, don't clear,
1051         bits for artificial defs at the top of the block.
1052         * fwprop.c (single_def_use_enter_block): Don't call it.
1053
1054 2010-04-26  Jack Howarth <howarth@bromo.med.uc.edu>
1055
1056         PR 43715
1057         * gcc/configure.ac: Use "$gcc_cv_nm -g" on darwin
1058         instead of "$gcc_cv_objdump -T".
1059         Use "-undefined dynamic_lookup" on darwin.
1060         * gcc/configure: Regenerate.
1061
1062 2010-04-26  Jakub Jelinek  <jakub@redhat.com>
1063
1064         PR c/43893
1065         * c-omp.c (c_finish_omp_for): Handle also EQ_EXPR.
1066
1067 2010-04-26  Nathan Froyd  <froydnj@codesourcery.com>
1068
1069         * c-parser.c (struct c_token): Move location field up.
1070         * c-tree.h (struct c_typespec): Move expr_const_operands field up.
1071         (struct c_declspecs): Convert typespec_word, storage_class, and
1072         default_int_p into bitfields.
1073         (struct c_declarator): Move loc field up.
1074
1075 2010-04-26  Nathan Froyd  <froydnj@codesourcery.com>
1076
1077         * cfgloop.h (struct loop): Move can_be_parallel field up.
1078         * ipa-prop.h (struct ip_node_params): Move bitfields up.
1079         * tree-ssa-loop-ivopts.c (struct version_info): Move inv_id field
1080         down.
1081         (struct iv_cand): Convert pos field into a bitfield.
1082         * tree-vectorizer.h (struct _loop_vec_info): Move loop_line_number
1083         field up.
1084         (struct _stmt_vec_info): Shuffle fields for better packing.
1085
1086 2010-04-26  Eric Botcazou  <ebotcazou@adacore.com>
1087
1088         * varasm.c (IN_NAMED_SECTION): Remove guard.
1089         * config/arm/unknown-elf.h (IN_NAMED_SECTION): Rename to...
1090         (IN_NAMED_SECTION_P): ...this.
1091         (ASM_OUTPUT_ALIGNED_BSS): Adjust for above renaming.
1092         (ASM_OUTPUT_ALIGNED_DECL_LOCAL): Likewise.
1093
1094 2010-04-26  Eric Botcazou  <ebotcazou@adacore.com>
1095
1096         * gimplify.c (gimplify_cond_expr): Use THEN_ and ELSE_ local variables.
1097         Use VOID_TYPE_P for all void type tests.  Adjust TYPE variable instead
1098         of shadowing it.  Fix comments.
1099
1100 2010-04-26  Jan Hubicka  <jh@suse.cz>
1101
1102         * cgraph.c (cgraph_create_node): Set node frequency to normal.
1103         (cgraph_clone_node): Copy function frequency.
1104         * cgraph.h (node_frequency): New enum
1105         (struct cgraph_node): Add.
1106         * final.c (rest_of_clean_state): Update.
1107         * lto-cgraph.c (lto_output_node): Output node frequency.
1108         (input_overwrite_node): Input node frequency.
1109         * tre-ssa-loop-ivopts (computation_cost): Update.
1110         * lto-streamer-out.c (output_function): Do not output function
1111         frequency.
1112         * predict.c (maybe_hot_frequency_p): Update and handle functions
1113         executed once.
1114         (cgraph_maybe_hot_edge_p): Likewise; use cgraph frequency instead of
1115         attribute lookup.
1116         (probably_never_executed_bb_p, optimize_function_for_size_p): Update.
1117         (compute_function_frequency): Set noreturn functions to be executed
1118         once.
1119         (choose_function_section): Update.
1120         * lto-streamer-in.c (input_function): Do not input function frequency.
1121         * function.c (allocate_struct_function): Do not initialize function
1122         frequency.
1123         * function.h (function_frequency): Remove.
1124         (struct function): Remove function frequency.
1125         * ipa-profile.c (CGRAPH_NODE_FREQUENCY): Remove.
1126         (try_update): Update.
1127         * tree-inline.c (initialize_cfun): Do not update function frequency.
1128         * passes.c (pass_init_dump_file): Update.
1129         * i386.c (ix86_compute_frame_layout): Update.
1130         (ix86_pad_returns): Update.
1131
1132 2010-04-26  Jie Zhang  <jie@codesourcery.com>
1133
1134         PR tree-optimization/43833
1135         * tree-vrp.c (range_int_cst_p): New.
1136         (range_int_cst_singleton_p): New.
1137         (extract_range_from_binary_expr): Optimize BIT_AND_EXPR case
1138         when both operands are constants.  Use range_int_cst_p in
1139         BIT_IOR_EXPR case.
1140
1141 2010-04-26  Jan Hubicka  <jh@suse.cz>
1142
1143         * cgraphunit.c (cgraph_copy_node_for_versioning): Fix profile updating.
1144
1145 2010-04-26  Richard Guenther  <rguenther@suse.de>
1146
1147         PR lto/43080
1148         * gimple.c (gimple_decl_printable_name): Deal gracefully
1149         with a NULL DECL_NAME.
1150
1151 2010-04-26  Richard Guenther  <rguenther@suse.de>
1152
1153         PR lto/42425
1154         * tree.c (free_lang_data_in_type): Do not free TYPE_CONTEXT
1155         if emitting debug information and it is either a function
1156         or a namespace decl.
1157
1158 2010-04-26  Ira Rosen  <irar@il.ibm.com>
1159
1160         * tree-vectorizer.h (struct _stmt_vec_info): Add new field to
1161         determine if the statement is vectorizable, and a macro to access it.
1162         * tree-vect-data-refs.c (vect_analyze_data_ref_dependence):
1163         Skip statements that can't be vectorized. If the analysis fails,
1164         mark the statement as unvectorizable if vectorizing basic block.
1165         (vect_compute_data_refs_alignment): Likewise.
1166         (vect_verify_datarefs_alignment): Skip statements marked as
1167         unvectorizable. Add print.
1168         (vect_analyze_group_access): Skip statements that can't be
1169         vectorized. If the analysis fails, mark the statement as
1170         unvectorizable if vectorizing basic block.
1171         (vect_analyze_data_ref_accesses, vect_analyze_data_refs): Likewise.
1172         * tree-vect-stmts.c (vectorizable_store): Fix the number of
1173         generated stmts for SLP.
1174         (new_stmt_vec_info): Initialize the new field.
1175         * tree-vect-slp.c (vect_build_slp_tree): Fail to vectorize
1176         statements marked as unvectorizable.
1177
1178 2010-04-25  Joseph Myers  <joseph@codesourcery.com>
1179
1180         * c-common.c (flag_isoc1x): New.
1181         (flag_isoc99): Update comment.
1182         * c-common.h (flag_isoc1x): New.
1183         (flag_isoc99): Update comment.
1184         * c-cppbuiltin.c (builtin_define_float_constants): Also define
1185         __<type>_DECIMAL_DIG__.
1186         * c-opts.c (set_std_c1x): New.
1187         (c_common_handle_option): Handle -std=c1x and -std=gnu1x.
1188         (set_std_c89, set_std_c99): Also set flag_isoc1x to 0.
1189         * c.opt (-std=c1x, -std=gnu1x): New options.
1190         * doc/cpp.texi: Mention -std=c1x.
1191         * doc/cppopts.texi (-std=c1x, -std=gnu1x): Document.
1192         * doc/extend.texi: Mention -std=c1x and -std=gnu1x.
1193         * doc/invoke.texi (-std=c1x, -std=gnu1x): Document.
1194         * doc/standards.texi: Mention C1X.
1195         * ginclude/float.h (FLT_DECIMAL_DIG, DBL_DECIMAL_DIG,
1196         LDBL_DECIMAL_DIG, FLT_HAS_SUBNORM, DBL_HAS_SUBNORM,
1197         LDBL_HAS_SUBNORM, FLT_TRUE_MIN, DBL_TRUE_MIN, LDBL_TRUE_MIN):
1198         Define for C1X.
1199
1200 2010-04-25  Uros Bizjak  <ubizjak@gmail.com>
1201
1202         * config/i386/gmon-sol2.c (_mcleanup): Change format string
1203         placeholder from 0x%x to %#x.
1204         * config/i386/i386elf.h (ASM_OUTPUT_ASCII): Ditto.
1205         * config/i386/i386-interix.h (ASM_OUTPUT_ASCII): Ditto.
1206         * config/i386/att.h (ASM_OUTPUT_ASCII): Ditto.
1207         * config/i386/sysv4.h (ASM_OUTPUT_ASCII): Ditto.
1208         * config/i386/i386.c (ix86_target_string): Ditto.
1209         (output_pic_addr_const): Ditto.
1210         (print_operand): Ditto.
1211
1212 2010-04-25  Paolo Bonzini  <bonzini@gnu.org>
1213
1214         * combine.c (find_split_point): Add third argument.  Use it
1215         to find nested multiply-accumulate instructions.  Adjust calls.
1216         (try_combine): Adjust call to find_split_point.
1217
1218 2010-04-24  Gerald Pfeifer  <gerald@pfeifer.com>
1219
1220         * doc/contrib.texi (Contributors): Add Dodji Seketeli.
1221
1222 2010-04-24  Bernd Schmidt  <bernds@codesourcery.com>
1223
1224         PR tree-optimization/41442
1225         * fold-const.c (merge_truthop_with_opposite_arm): New function.
1226         (fold_binary_loc): Call it.
1227
1228 2010-04-23  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1229
1230         * toplev.c (general_init): Set default for fdiagnostics-show-option.
1231         * opts.c (common_handle_option): Allow disabling it.
1232         * common.opt (fdiagnostics-show-option): Add Var. Enabled by default.
1233
1234 2010-04-23  Eric Botcazou  <ebotcazou@adacore.com>
1235
1236         * expr.c (expand_expr_real_1) <VIEW_CONVERT_EXPR>: Only use conversion
1237         between modes if both types are integral.
1238
1239 2010-04-23  Richard Guenther  <rguenther@suse.de>
1240
1241         PR tree-optimization/43572
1242         * tree-tailcall.c (find_tail_calls): Allow PARM_DECL uses.
1243
1244 2010-04-23  Richard Guenther  <rguenther@suse.de>
1245
1246         PR lto/43455
1247         * tree-inline.c (tree_can_inline_p): Also check compatibility
1248         of return types.
1249
1250 2010-04-23  Martin Jambor  <mjambor@suse.cz>
1251
1252         PR tree-optimization/43846
1253         * tree-sra.c (struct access): New flag grp_assignment_read.
1254         (build_accesses_from_assign): Set grp_assignment_read.
1255         (sort_and_splice_var_accesses): Propagate grp_assignment_read.
1256         (enum mark_read_status): New type.
1257         (analyze_access_subtree): Propagate grp_assignment_read, create
1258         accesses also if both direct_read and root->grp_assignment_read.
1259
1260 2010-04-23  Martin Jambor  <mjambor@suse.cz>
1261
1262         PR middle-end/43835
1263         * tree-sra.c (ipa_sra_preliminary_function_checks): Check that the
1264         function does not have type attributes.
1265
1266 2010-04-23  Richard Guenther  <rguenther@suse.de>
1267
1268         PR lto/42653
1269         * tree.c (free_lang_data_in_decl): Do not reset DECL_CONTEXT
1270         of FUNCTION_DECLs.
1271
1272 2010-04-22  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
1273
1274         * sese.h (create_if_region_on_edge): Remove.
1275
1276         * sese.c (create_if_region_on_edge): Make static.
1277
1278         * tree-inline.c: Do not include ggc.h.
1279
1280         * expr.c: Do not include ggc.h.
1281
1282         * Makefile.in (tree-inline.o, expr.o): Remove $(GGC_H) from
1283         dependencies.
1284
1285 2010-04-22  Kaz Kojima  <kkojima@gcc.gnu.org>
1286
1287         PR target/43744
1288         * config/sh/sh.c (find_barrier): Don't emit a constant pool
1289         in the middle of insns for casesi_worker_2.
1290
1291 2010-04-22  David Edelsohn  <edelsohn@gnu.org>
1292
1293         * config/rs6000/x-aix: Override LDFLAGS for all COMPILERS.
1294
1295 2010-04-22  Ira Rosen  <irar@il.ibm.com>
1296
1297         PR tree-optimization/43842
1298         * tree-vect-loop.c (vect_create_epilog_for_reduction): Handle
1299         loop unrolling in update of exit phis. Fix comment.
1300         * tree-vect-slp.c (vect_analyze_slp): Check that there are at
1301         least two reduction statements in the loop before starting SLP
1302         analysis.
1303
1304 2010-04-22  Nick Clifton  <nickc@redhat.com>
1305
1306         * config/stormy16/stormy16-lib2.c (__ucmpsi2): Fix thinko.
1307
1308 2010-04-22  Alexander Monakov  <amonakov@ispras.ru>
1309
1310         * tree-ssa-reassoc.c (eliminate_plus_minus_pair): Handle BIT_NOT_EXPR
1311         to simplify a + ~a.
1312
1313 2010-04-22  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
1314
1315         * tree-parloops.c (loop_parallel_p): New argument
1316         parloop_obstack.  Pass it down.
1317         (parallelize_loops): New variable parloop_obstack.  Initialize it,
1318         pass it down, free it.
1319
1320         * tree-loop-linear.c (linear_transform_loops): Pass down
1321         lambda_obstack.
1322
1323         * tree-data-ref.h (lambda_compute_access_matrices): New argument
1324         of type struct obstack *.
1325
1326         * tree-data-ref.c (analyze_subscript_affine_affine): New variable
1327         scratch_obstack.  Initialize it, pass down, free it.
1328
1329         * lambda.h (lambda_loop_new): Remove.
1330         (lambda_matrix_new, lambda_matrix_inverse)
1331         (lambda_trans_matrix_new, lambda_trans_matrix_inverse): New
1332         argument of type struct obstack *.
1333
1334         * lambda-trans.c (lambda_trans_matrix_new): New argument
1335         lambda_obstack.  Pass it down, use obstack allocation for ret.
1336         (lambda_trans_matrix_inverse): New argument lambda_obstack.  Pass
1337         it down.
1338
1339         * lambda-mat.c (lambda_matrix_get_column)
1340         (lambda_matrix_project_to_null): Remove.
1341         (lambda_matrix_new): New argument lambda_obstack.  Use obstack
1342         allocation for mat.
1343         (lambda_matrix_inverse_hard, lambda_matrix_inverse): New argument
1344         lambda_obstack.
1345
1346         * lambda-code.c (lambda_loop_new): New function.
1347         (lambda_lattice_new, compute_nest_using_fourier_motzkin)
1348         (lambda_compute_auxillary_space, lambda_compute_target_space)
1349         (lambda_loopnest_transform, gcc_loop_to_lambda_loop)
1350         (lambda_loopnest_to_gcc_loopnest): Pass down lambda_obstack.
1351         (build_access_matrix): New argument lambda_obstack.  Use obstack
1352         allocation for am.
1353         (lambda_compute_step_signs, lambda_compute_access_matrices): New
1354         argument lambda_obstack.  Pass it down.
1355
1356 2010-04-22  Bernd Schmidt  <bernds@codesourcery.com>
1357
1358         * optabs.h (expand_widening_mult): Declare.
1359
1360 2010-04-22  Richard Guenther  <rguenther@suse.de>
1361
1362         PR tree-optimization/43845
1363         * tree-ssa-pre.c (create_component_ref_by_pieces_1): Properly
1364         lookup the CALL_EXPR function and arguments.
1365
1366 2010-04-22  Nick Clifton  <nickc@redhat.com>
1367
1368         * config/stormy16/stormy16.c
1369         (xstormy16_asm_output_aligned_common): Handle a NULL decl parameter.
1370         * config/stormy16/stormy16.h: Tidy up formatting.
1371         (DONT_USE_BUILTIN_SETJMP): Remove definition.
1372         * config/stormy16/stormy16.c (cbranchsi4): Delete pattern.
1373         (ineqbranchsi): Delete pattern.
1374         * config/stormy16/stormy16-lib2-ucmpsi2.c: New file.
1375         * config/stormy16/stormy16-lib2.c (__ucmpsi2): New function.
1376         * config/stormy16/t-stormy16 (LIB2FUNCS_EXTRA): Add
1377         stormy16-lib2-ucmpsi2.c.
1378
1379 2010-04-22  Bernd Schmidt  <bernds@codesourcery.com>
1380
1381         * ifcvt.c (dead_or_predicable): Use df_simulate_find_defs and
1382         df_simulate_find_noclobber_defs as appropriate.  Keep track of an
1383         extra set merge_set_noclobber, and use it to relax the final test
1384         slightly.
1385         * df.h (df_simulate_find_noclobber_defs): Declare.
1386         * df-problems.c (df_simulate_find_defs): Don't ignore partial or
1387         conditional defs.
1388         (df_simulate_find_noclobber_defs): New function.
1389
1390 2010-04-22  Uros Bizjak  <ubizjak@gmail.com>
1391
1392         * config/i386/i386.md: Use {} around multi-line preparation statements.
1393
1394 2010-04-22  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
1395
1396         * c-tree.h (push_init_level, pop_init_level, set_init_index)
1397         (process_init_element): New argument of type struct obstack *.
1398
1399         * c-typeck.c (push_init_level, pop_init_level, set_designator)
1400         (set_init_index, set_init_label, set_nonincremental_init)
1401         (set_nonincremental_init_from_string, find_init_member)
1402         (output_init_element, output_pending_init_elements)
1403         (process_init_element): New argument braced_init_obstack.  Pass it
1404         down.
1405         (push_range_stack, add_pending_init): New argument
1406         braced_init_obstack.  Use obstack allocation.
1407
1408         * c-parser.c (c_parser_initelt, c_parser_initval): New argument
1409         braced_init_obstack.  Pass it down.
1410         (c_parser_braced_init): New variables ret, braced_init_obstack.
1411         Initialize obstack, pass it down and finally free it.
1412
1413 2010-04-22  Bernd Schmidt  <bernds@codesourcery.com>
1414
1415         PR middle-end/29274
1416         * tree-pass.h (pass_optimize_widening_mul): Declare.
1417         * tree-ssa-math-opts.c (execute_optimize_widening_mul,
1418         gate_optimize_widening_mul): New static functions.
1419         (pass_optimize_widening_mul): New.
1420         * expr.c (expand_expr_real_2) <case WIDEN_MULT_EXPR>: New case.
1421         <case MULT_EXPR>: Remove support for widening multiplies.
1422         * tree.def (WIDEN_MULT_EXPR): Tweak comment.
1423         * cfgexpand.c (expand_debug_expr) <case WIDEN_MULT_EXPR>: Use
1424         simplify_gen_unary rather than directly building extensions.
1425         * tree-cfg.c (verify_gimple_assign_binary): Add tests for
1426         WIDEN_MULT_EXPR.
1427         * expmed.c (expand_widening_mult): New function.
1428         * passes.c (init_optimization_passes): Add pass_optimize_widening_mul.
1429
1430 2010-04-21  Jan Hubicka  <jh@suse.cz>
1431
1432         * timevar.def (TV_WHOPR_WPA_FIXUP): Remove.
1433         * lto-section-in.c (lto_section_name): Remove wpa_fixup.
1434         * lto-wpa-fixup.c: Remove.
1435         * Makefile.in (lto-wpa-fixup.o): Remove.
1436         * passes.c (init_optimization_passes): Remove pass_ipa_lto_wpa_fixup.
1437         (execute_all_ipa_transforms): Set cgraph_state to CGRAPH_STATE_IPA_SSA.
1438         * lto-streamer.c (lto_get_section_name): Remove wpa_fixup section.
1439
1440 2010-04-21  Jan Hubicka  <jh@suse.cz>
1441
1442         * tree-pass.h (ipa_opt_pass_d): Rename function_read_summary;
1443         add write_optimization_summary, read_optimization_summary.
1444         (ipa_write_summaries_of_cgraph_node_set): Remove.
1445         (ipa_write_optimization_summaries): Declare.
1446         (ipa_read_optimization_summaries): Declare.
1447         * ipa-cp.c (pass_ipa_cp): Update.
1448         * ipa-reference.c (pass_ipa_reference): Update.
1449         * ipa-pure-const.c (pass_ipa_pure_const): Update.
1450         * lto-streamer-out.c (pass_ipa_lto_gimple, pass_ipa_lto_finish):
1451         Update.
1452         * ipa-inline.c (pass_ipa_inline): Update.
1453         * ipa.c (pass_ipa_whole_program): Update.
1454         * lto-wpa-fixup.c (pass_ipa_lto_wpa_fixup): Update.
1455         * passes.c (ipa_write_summaries_1): Do not test wpa.
1456         (ipa_write_optimization_summaries_1): New.
1457         (ipa_write_optimization_summaries): New.
1458         (ipa_read_summaries): Do not test ltrans.
1459         (ipa_read_optimization_summaries_1): New.
1460         (ipa_read_optimization_summaries): New.
1461
1462 2010-04-21  Jan Hubicka  <jh@suse.cz>
1463
1464         * lto-cgraph.c (lto_output_node): Do not output comdat groups
1465         for boundary nodes.
1466         (output_cgraph): Do not arrange comdat groups for boundary nodes.
1467
1468 2010-04-21  Jakub Jelinek  <jakub@redhat.com>
1469
1470         PR debug/40040
1471         * dwarf2out.c (add_name_and_src_coords_attributes): Add
1472         DW_AT_{,MIPS_}linkage_name even for Fortran decls.
1473
1474 2010-04-21  Jan Hubicka  <jh@suse.cz>
1475
1476         * ipa-prop.c (ipa_edge_removal_hook): Check for bounds.
1477
1478 2010-04-21  Jan Hubicka  <jh@suse.cz>
1479
1480         * varpool.c (decide_is_variable_needed): Variable is always needed
1481         during ltrans.
1482
1483 2010-04-21  Jan Hubicka  <jh@suse.cz>
1484
1485         * opts.c (decode_options): Enable pure-const pass for whopr.
1486
1487 2010-04-21  Jan Hubicka  <jh@suse.cz>
1488
1489         * cgraph.c (dump_cgraph_node): Dump also assembler name.
1490         * ipa-inline.c (cgraph_decide_inlining_of_small_functions): Do not ice
1491         at WPA dumping.
1492         (cgraph_decide_inlining): Do not expect callee to be removed in all
1493         cases.
1494
1495 2010-04-21  Eric B. Weddington  <eric.weddington@atmel.com>
1496
1497         * config/avr/avr-devices.c (avr_mcu_types): Add missing comma.
1498
1499 2010-04-21  Uros Bizjak  <ubizjak@gmail.com>
1500
1501         * config/i386/i386.md (x86_shrd): Add athlon_decode and
1502         amdfam10_decode attributes.
1503
1504 2010-04-21  Jakub Jelinek  <jakub@redhat.com>
1505
1506         PR middle-end/43570
1507         * omp-low.c (scan_sharing_clauses): Don't scan_omp_op
1508         OMP_CLAUSE_DECL for OMP_CLAUSE_COPYPRIVATE.
1509         (lower_copyprivate_clauses): Use private var in outer
1510         context instead of original var.  Make sure the types
1511         are correct for VLAs.
1512
1513 2010-04-21  Richard Guenther  <rguenther@suse.de>
1514
1515         * tree-ssa-structalias.c (do_ds_constraint): Avoid escaping
1516         to non-pointer objects.
1517
1518 2010-04-21  Jakub Jelinek  <jakub@redhat.com>
1519
1520         * dwarf2out.c (add_var_loc_to_decl): Add LABEL argument.  Drop
1521         last chain entry if it starts with the still current label.
1522         (add_location_or_const_value_attribute): Check that
1523         loc_list->first->next is NULL instead of comparing ->first with ->last.
1524         (dwarf2out_var_location): Pass last_label resp. last_postcall_label
1525         to add_var_loc_to_decl.
1526
1527         * dwarf2out.c (output_call_frame_info): For dw_cie_version
1528         >= 4 add also address size and segment size fields into CIE header.
1529
1530         * unwind-dw2.c (extract_cie_info): Handle CIE version 4, as
1531         long as address size is the same as sizeof (void *) and
1532         segment size is 0.
1533         * unwind-dw2-fde.c (get_cie_encoding): Likewise.  If
1534         address size or segment size is unexpected, return DW_EH_PE_omit.
1535         (classify_object_over_fdes): If get_cie_encoding returned
1536         DW_EH_PE_omit, return -1.
1537         (init_object): If classify_object_over_fdes returned -1,
1538         pretend there were no FDEs at all.
1539
1540 2010-04-21  Uros Bizjak  <ubizjak@gmail.com>
1541
1542         * config/i386/i386.md (bswap<mode>2): Macroize expander from
1543         bswap{si,di}2 using SWI48 mode iterator.
1544         (*bswap<mode>2_movbe): Macroize insn from *bswap{si,di}_movbe using
1545         SWI48 mode iterator.  Set type attribute of bswap insn to bitmanip,
1546         set modrm attribute of bswap insn to 0 and remove length attribute.
1547         (*bswap<mode>2_1): Macroize insn from *bswap{si,di}_1 using SWI48 mode
1548         iterator.  Set type attribute to bitmanip, set modrm attribute to 0,
1549         set mode attribute to <MODE> and remove length attribute.
1550
1551 2010-04-20  James E. Wilson  <wilson@codesourcery.com>
1552
1553         PR rtl-optimization/43520
1554         * ira-lives.c (ira_implicitly_set_insn_hard_regs): Exclude classes with
1555         zero available registers.
1556
1557 2010-04-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1558
1559         * builtins.c (fold_builtin_cproj): Fold more cases.
1560
1561 2010-04-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1562
1563         * builtins.c (build_complex_cproj, fold_builtin_cproj): New.
1564         (fold_builtin_1): Fold builtin cproj.
1565         * builtins.def (BUILT_IN_CPROJ, BUILT_IN_CPROJF, BUILT_IN_CPROJL):
1566         Use ATTR_CONST_NOTHROW_LIST.
1567
1568 2010-04-20  Uros Bizjak  <ubizjak@gmail.com>
1569
1570         * config/i386/i386.md (ffs<mode>2): Macroize expander from ffs_cmove
1571         and ffsdi2 using SWI48 mode iterator.  Expand SImode insn through
1572         ffsi2_no_cmove for !TARGET_CMOVE.
1573         (ffssi2_no_cmove): Rename from *ffs_no_cmove.  Make public.
1574         (ffssi2): Remove expander.
1575         (*ffs<mode>_1): Macroize insn from *ffs{si,di} using SWI48
1576         mode iterator.
1577         (ctz<mode>2): Ditto from ctz{si,di}2.
1578         (clz<mode>2): Macroize expander from ctz{hi,si,di}2 using SWI248
1579         mode iterator.
1580         (clz<mode>2_abm): Macroize insn from clz{hi,si,di}2_abm using SWI248
1581         mode iterator.
1582
1583 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
1584
1585         * dwarf2out.c (AT_linkage_name): Define.
1586         (clone_as_declaration): Handle DW_AT_linkage_name.
1587         (add_name_and_src_coords_attributes): Use AT_linkage_name instead
1588         of DW_AT_MIPS_linkage_name.
1589         (move_linkage_attr): Likewise.
1590         (dwarf2out_finish): Likewise.
1591
1592 2010-04-20  Xinliang David Li  <davidxl@gcc.gnu.org>
1593
1594         PR middle-end/41952
1595         * fold-const.c (fold_comparison): New folding rule.
1596
1597 2010-04-20  Anatoly Sokolov  <aesok@post.ru>
1598
1599         * double-int.h (double_int_setbit): Declare.
1600         * double-int.c (double_int_setbit): New function.
1601         * rtl.h (immed_double_int_const): Declare.
1602         * emit-rtl.c (immed_double_int_const): New function.
1603         * builtins.c (expand_builtin_signbit): Clean up, use double_int_*
1604         and immed_double_int_const functions.
1605         * optabs.c (expand_absneg_bit, expand_copysign_absneg,
1606         expand_copysign_bit):  (Ditto.).
1607         * simplify-rtx.c (simplify_binary_operation_1): (Ditto.).
1608         * tree-ssa-address.c (addr_for_mem_ref): (Ditto.).
1609         * dojump.c (prefer_and_bit_test): (Ditto.).
1610         * expr.c (convert_modes, reduce_to_bit_field_precision,
1611         const_vector_from_tree): (Ditto.).
1612         * expmed.c (mask_rtx, lshift_value): (Ditto.).
1613
1614 2010-04-20  Jan Hubicka  <jh@suse.cz>
1615
1616         * cgraph.c (cgraph_remove_node): Kill bodies in other partitoin.
1617         (dump_cgraph_node): Dump new flags.
1618         * cgraph.h (struct cgraph_node): Add flags
1619         reachable_from_other_partition and in_other_partition.
1620         (cgraph_can_remove_if_no_direct_calls_p): Functions used by
1621         other partition can not be removed.
1622         * cgraphunit.c (cgraph_mark_functions_to_output): Functions used by
1623         the other partition must be output; silence sanity checking on
1624         leaking functions bodies from other paritition.
1625         * lto-cgraph.c (reachable_from_other_partition_p): New function.
1626         (lto_output_node): Output new flags; do not sanity check that inline
1627         clones are output; drop lto_forced_extern_inline_p code; do not mock
1628         visibility flags at partition boundaries.
1629         (add_node_to): New function.
1630         (output_cgraph): Use it to sort functions so masters appear before
1631         clones.
1632         (input_overwrite_node): Input new flags.
1633         * passes.c (ipa_write_summaries): Do not call
1634         lto_new_extern_inline_states.
1635         * lto-section-out.c (forced_extern_inline,
1636         lto_new_extern_inline_states lto_delete_extern_inline_states,
1637         lto_force_functions_extern_inline, lto_forced_extern_inline_p): Kill.
1638         * lto-streamer.h (lto_new_extern_inline_states,
1639         * lto_delete_extern_inline_states, lto_force_functions_extern_inline,
1640         lto_forced_extern_inline_p): Kill.
1641
1642 2010-04-20  Richard Guenther  <rguenther@suse.de>
1643
1644         * tree-ssa-structalias.c (do_sd_constraint): Add edges only
1645         from vars that can have pointers.
1646         (process_constraint): Dump useless constraints.
1647
1648 2010-04-20  Richard Guenther  <rguenther@suse.de>
1649
1650         * tree-ssa-structalias.c (do_structure_copy): Properly handle DEREF.
1651         (dump_sa_points_to_info): Remove asserts.
1652         (init_base_vars): nothing_id isn't an escape point nor does it
1653         have pointers.
1654
1655 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
1656
1657         * tree.h (TYPE_REF_IS_RVALUE): Define.
1658         * dwarf2out.c (attr_checksum_ordered, is_type_die, is_comdat_die,
1659         should_move_die_to_comdat, prune_unused_types_walk): Handle
1660         DW_TAG_rvalue_reference_type like DW_TAG_reference_type.
1661         (modified_type_die, gen_reference_type_die): Emit
1662         DW_TAG_rvalue_reference_type instead of DW_TAG_reference_type
1663         if TYPE_REF_IS_RVALUE and -gdwarf-4.
1664
1665 2010-04-20  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
1666
1667         PR target/43635
1668         * config/s390/s390.c (s390_emit_call): Turn direct into indirect
1669         calls for -fpic -m31 if they have been sibcall optimized.
1670
1671 2010-04-19  James E. Wilson  <wilson@codesourcery.com>
1672
1673         * config/ia64/ia64.h (FIXED_REGISTERS, CALL_USED_REGISTERS): Make
1674         ar.lc fixed and call-used.
1675
1676         * config/ia64/ia64.c (TARGET_INVALID_WITHIN_DOLOOP): Define.
1677
1678 2010-04-19  Jan Hubicka  <jh@suse.cz>
1679
1680         * opts.c (decode_options): Disable whpr incompatible passes.
1681         * lto/lto.c (lto_1_to_1_map): Skip clones.
1682         (read_cgraph_and_symbols): Do not mark everything as needed.
1683         (do_whole_program_analysis): Do map only after optimizing;
1684         set proper cgraph_state; use passmanager.
1685
1686 2010-04-19  DJ Delorie  <dj@redhat.com>
1687
1688         * cfgexpand.c (expand_debug_expr): Check for mismatched modes in
1689         POINTER_PLUS_EXPR and fix them.
1690
1691 2010-04-19  Eric B. Weddington  <eric.weddington@atmel.com>
1692
1693         * config/avr/avr-devices.c (avr_mcu_types): Add support for new
1694         devices atmega644pa, attiny2313a, attiny24a, attiny261a, attiny4313,
1695         attiny44a, attiny861a, atmega16a, atmega168a, atmega164a, atmega165a,
1696         atmega169a, atmega169pa, atmega16hva2, atmega324a, atmega324pa,
1697         atmega325a, atmega3250a, atmega328, atmega329a, atmega329pa,
1698         atmega3290a, atmega48a, atmega644a, atmega645a, atmega645p,
1699         atmega6450a, atmega6450p, atmega649a, atmega649p, atmega6490a,
1700         atmega6490p, atmega64hve, atmega88a, atmega88pa, attiny461a, attiny84a,
1701         m3000. Remove support for devices atmega8m1, atmega8c1, atmega16c1,
1702         atmega4hvd, atmega8hvd, attiny327, m3000f, m3000s, m3001b.
1703         * config/avr/t-avr.c (MULTILIB_MATCHES): Same.
1704
1705 2010-04-19  Eric Botcazou  <ebotcazou@adacore.com>
1706
1707         * ifcvt.c (noce_try_cmove_arith): Fix long lines.
1708         (check_cond_move_block): Likewise.
1709         (cond_move_process_if_block): Likewise.
1710         (noce_find_if_block): Improve formatting.
1711         (find_if_header): Pass 0 to memset and tweak conditions.
1712         (cond_exec_find_if_block): Fix long lines and tweak conditions.
1713
1714 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
1715
1716         * dwarf2out.c (lower_bound_default): For DW_LANG_Python return 0
1717         for -gdwarf-4.
1718
1719         PR middle-end/43337
1720         * tree-nested.c (convert_nonlocal_omp_clauses): OMP_CLAUSE_PRIVATE
1721         with non-local decl doesn't need chain.
1722
1723 2010-04-19  Vladimir Makarov  <vmakarov@redhat.com>
1724
1725         * ira-color.c (allocno_reload_assign): Avoid accumulating
1726         reload registers in ALLOCNO_TOTAL_CONFLICT_HARD_REGS.
1727
1728 2010-04-19  Martin Jambor  <mjambor@suse.cz>
1729
1730         * gimple.h (create_tmp_reg): Declare.
1731         * gimplify.c (create_tmp_reg): New function.
1732         (gimplify_return_expr): Use create_tmp_reg.
1733         (gimplify_omp_atomic): Likewise.
1734         (gimple_regimplify_operands): Likewise.
1735         * tree-dfa.c (make_rename_temp): Likewise.
1736         * tree-predcom.c (predcom_tmp_var): Likewise.
1737         (reassociate_to_the_same_stmt): Likewise.
1738         * tree-sra.c (replace_uses_with_default_def_ssa_name): Likewise.
1739         (get_replaced_param_substitute): Likewise.
1740         * tree-ssa-phiprop.c (phiprop_insert_phi): Likewise.
1741         * tree-ssa-phiopt.c (cond_store_replacement): Likewise.
1742         * tree-ssa-pre.c (get_representative_for): Likewise.
1743         (create_expression_by_pieces): Likewise.
1744         * tree-tailcall.c (adjust_return_value_with_ops): Likewise.
1745         (create_tailcall_accumulator): Likewise.
1746
1747 2010-04-19  Martin Jambor  <mjambor@suse.cz>
1748
1749         * cgraphunit.c (cgraph_redirect_edge_call_stmt_to_callee): Update
1750         new_stmt.
1751         (cgraph_materialize_all_clones): Assert !need_ssa_update_p.
1752
1753 2010-04-19  Richard Guenther  <rguenther@suse.de>
1754
1755         PR tree-optimization/43796
1756         * tree-vrp.c (adjust_range_with_scev): Lookup init and step
1757         from SCEV in the lattice.
1758         (vrp_visit_phi_node): Dump change.
1759
1760 2010-04-19  Richard Guenther  <rguenther@suse.de>
1761
1762         * configure.ac: Fix quoting around elf_getshstrndx ABI check.
1763         * configure: Re-generated.
1764
1765 2010-04-19  Richard Guenther  <rguenther@suse.de>
1766
1767         PR tree-optimization/43783
1768         * tree-ssa-pre.c (create_component_ref_by_pieces_1): Drop
1769         constant ARRAY_REF operands two and three if possible.
1770
1771 2010-04-19  Uros Bizjak  <ubizjak@gmail.com>
1772
1773         PR target/43766
1774         * config/i386/i386.c (ix86_decompose_address): Handle ASHIFT addends.
1775
1776 2010-04-19  Jie Zhang  <jie@codesourcery.com>
1777
1778         PR target/43662
1779         * reginfo.c (reinit_regs): Set caller_save_initialized_p to false.
1780
1781 2010-04-19  Ira Rosen  <irar@il.ibm.com>
1782
1783         PR tree-optimization/37027
1784         * tree-vectorizer.h (struct _loop_vec_info): Add new field reductions
1785         and macro to access it.
1786         (vectorizable_reduction): Add argument.
1787         (vect_get_slp_defs): Likewise.
1788         * tree-vect-loop.c (vect_analyze_scalar_cycles_1): Collect reduction
1789         statements for possible use in SLP.
1790         (new_loop_vec_info): Initialize LOOP_VINFO_REDUCTIONS.
1791         (destroy_loop_vec_info): Free LOOP_VINFO_REDUCTIONS.
1792         (vect_create_epilog_for_reduction): Handle SLP. Modify documentation,
1793         add new argument.
1794         (vectorizable_reduction): Likewise.
1795         * tree-vect-stmts.c (vect_get_vec_defs): Update call to
1796         vect_get_slp_defs.
1797         (vectorizable_type_demotion, vectorizable_type_promotion,
1798         vectorizable_store): Likewise.
1799         (vect_analyze_stmt): Update call to vectorizable_reduction.
1800         (vect_transform_stmt): Likewise.
1801         * tree-vect-slp.c (vect_get_and_check_slp_defs): Handle reduction.
1802         (vect_build_slp_tree): Fix indentation. Check that there are no loads
1803         from different interleaving chains in same node.
1804         (vect_slp_rearrange_stmts): New function.
1805         (vect_supported_load_permutation_p): Allow load permutations for
1806         reductions. Call vect_slp_rearrange_stmts() to rearrange statements
1807         inside SLP nodes if necessary.
1808         (vect_analyze_slp_instance): Handle reductions.
1809         (vect_analyze_slp): Try to build SLP instances originating from groups
1810         of reductions.
1811         (vect_detect_hybrid_slp_stmts): Skip reduction statements.
1812         (vect_get_constant_vectors): Create initial vectors for reductions
1813         according to reduction code. Add new argument.
1814         (vect_get_slp_defs): Add new argument, pass it to
1815         vect_get_constant_vectors.
1816         (vect_schedule_slp_instance): Remove SLP tree root statements.
1817
1818 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
1819
1820         * tree.h (ENUM_IS_SCOPED): Define.
1821         * dwarf2out.c (gen_enumeration_type_die): Add DW_AT_enum_class
1822         for ENUM_IS_SCOPED enums.
1823
1824 2010-04-18  Eric Botcazou  <ebotcazou@adacore.com>
1825
1826         * fold-const.c (fold_comparison): Use ssizetype.
1827         * gimple-fold.c (maybe_fold_offset_to_array_ref): Likewise.
1828         * ipa-prop.c (ipa_modify_call_arguments): Use sizetype.
1829         * tree-loop-distribution.c (build_size_arg_loc): Likewise.
1830         * tree-object-size.c (compute_object_sizes): Use size_type_node.
1831
1832         * tree.h (initialize_sizetypes): Remove parameter.
1833         (build_common_tree_nodes): Remove second parameter.
1834         * stor-layout.c (initialize_sizetypes): Remove parameter.
1835         Always create an unsigned type.
1836         (set_sizetype): Assert that the passed type is unsigned and simplify.
1837         * tree.c (build_common_tree_nodes): Remove second parameter.
1838         Adjust call to initialize_sizetypes.
1839         * c-decl.c (c_init_decl_processing): Remove second argument in call to
1840         build_common_tree_nodes.
1841
1842 2010-04-18  Matthias Klose  <doko@ubuntu.com>
1843
1844         * gcc.c (main): Search for liblto_plugin.so with mode R_OK.
1845
1846 2010-04-18  Ira Rosen  <irar@il.ibm.com>
1847
1848         PR tree-optimization/43771
1849         * tree-vect-slp.c (vect_supported_load_permutation_p): Check that
1850         load permutation doesn't have gaps.
1851
1852 2010-04-18  Jan Hubicka  <jh@suse.cz>
1853
1854         * i386.md (UNSPEC_SSE_PROLOGUE_SAVE_LOW): New.
1855         (sse_prologue_save_insn expander): Use new pattern.
1856         (sse_prologue_save_insn1): New pattern and splitter.
1857         (sse_prologue_save_insn): Update to deal also with 64bit aligned
1858         blocks.
1859         * i386.c (setup_incoming_varargs_64): Do not compute jump
1860         destination here.
1861         (ix86_gimplify_va_arg): Update alignment needed.
1862         (ix86_local_alignment): Do not align all local arrays to 128bit.
1863
1864 2010-04-17  Jan Hubicka  <jh@suse.cz>
1865
1866         * ipa-inline.c (cgraph_early_inlining): Handle flattening too.
1867
1868 2010-04-17  Richard Earnshaw  <rearnsha@arm.com>
1869
1870         * arm.md (negdi2): Remove redundant code to force values into a
1871         register.
1872
1873 2010-04-17  Richard Earnshaw  <rearnsha@arm.com>
1874
1875         * arm/bpabi.S: Add EABI alignment attributes to objects.
1876         * arm/bpabi-v6m.S: Likewise.
1877         * arm/crti.asm: Likewise.
1878         * arm/crtn.asm: Likewise.
1879         * arm/lib1funcs.asm: Likewise.
1880         * arm/libunwind.S: Likewise.
1881
1882 2010-04-17  Richard Earnshaw  <rearnsha@arm.com>
1883
1884         * arm-protos.h (tune_params): New structure.
1885         * arm.c (current_tune): New variable.
1886         (arm_constant_limit): Delete.
1887         (struct processors): Add pointer to the tune parameters.
1888         (arm_slowmul_tune): New tuning option.
1889         (arm_fastmul_tune, arm_xscale_tune, arm_9e_tune): Likewise.
1890         (all_cores): Adjust to pick up the tuning model.
1891         (arm_constant_limit): New function.
1892         (arm_override_options): Select the appropriate tuning model.  Delete
1893         initialization of arm_const_limit.
1894         (arm_split_constant): Use the new constant-limit model.
1895         (arm_rtx_costs): Pick up the current tuning model.
1896         * arm.md (is_strongarm, is_xscale): Delete.
1897         * arm-generic.md (load_ldsched_x, load_ldsched): Test explicitly
1898         for Xscale variant architectures.
1899         (mult_ldsched_strongarm, mult_ldsched): Similarly for StrongARM.
1900
1901 2010-04-17  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
1902
1903         * config/arm/arm.c (arm_gen_constant): Remove unused variable
1904         can_shift.
1905         (arm_rtx_costs_1): Remove unused variable extra_cost.
1906         (arm_unwind_emit_set): Use variable offset.
1907         (thumb1_output_casesi): Remove unused variable flags.
1908
1909 2010-04-16  Jeff Law  <law@redhat.com>
1910
1911         * ira-color.c (ira_reassign_pseudos): Collect and sort all the pseudos
1912         needing assignment rather than doing a two-phase assignment.  Remove
1913         unused variable 'm'.
1914
1915 2010-04-16  Jakub Jelinek  <jakub@redhat.com>
1916
1917         PR bootstrap/43767
1918         * alias.c (memrefs_conflict_p): Don't crash if CSELIB_VAL_PTR is NULL.
1919
1920 2010-04-16  Doug Kwan  <dougkwan@google.com>
1921
1922         * tree-ssa-reassoc.c (struct operand_entry): Add new field ID.
1923         (next_operand_entry_id): New static variable.
1924         (sort_by_operand_rank): Stabilize qsort comparator by using unique IDs.
1925         (add_to_ops_vec): Assigned unique ID to operand entry.
1926         (struct oecount_s): New field ID.
1927         (oecount_cmp): Stabilize qsort comparotor by using unique IDs.
1928         (undistribute_ops_list): Assign unique IDs to oecounts.
1929         (init_reassoc): reset next_operand_entry_id.
1930
1931 2010-04-16  Doug Kwan  <dougkwan@google.com>
1932
1933         * config/i386/i386.md (*jcc_bt<mode>): Fix build breakage by adding
1934         missing left parenthesis.
1935
1936 2010-04-16  Uros Bizjak  <ubizjak@gmail.com>
1937
1938         * config/i386/i386.md (*bt<mode>): Macroize insn from *btsi and
1939         *btdi_rex64 using SWI48 mode iterator.
1940         (*jcc_bt<mode>): Ditto from *jcc_btsi and *jcc_btdi_rex64.
1941         (*jcc_bt<mode>_mask): Ditto from *jcc_btsi_mask and
1942         *jcc_btdi_mask_rex64.
1943
1944 2010-04-16  Anatoly Sokolov  <aesok@post.ru>
1945
1946         * double-int.h (tree_to_double_int): Convert to macro.
1947         * double-int.c (tree_to_double_int): Remove.
1948
1949 2010-04-16  Jakub Jelinek  <jakub@redhat.com>
1950
1951         PR debug/43762
1952         * dwarf2out.c (add_bound_info): Always call loc_list_from_tree
1953         with want_address 2 and in case a single element list might be
1954         possible, call it again with want_address 0.
1955
1956 2010-04-12  Kaushik Phatak  <kaushik.phatak@kpitcummins.com>
1957
1958         * config/h8300/h8300.c (print_operand) : Modify case 'V' and
1959         case 'W' print operands for HI mode.
1960         * config/h8300/h8300.h (Y0, Y2) : New constraints.
1961         * config/h8300/h8300.md (bclrqi_msx, bclrhi_msx): New patterns
1962         (bsetqi_msx, bsethi_msx, bnotqi_msx, bnothi_msx): Likewise.
1963         * config/h8300/predicate.md (bit_register_indirect_operand): New.
1964
1965         * config/h8300/h8300.h (OK_FOR_U): Support 'U' constraint for H8300SX.
1966
1967         * config/h8300/h8300.md (movqi_h8sx, movhi_h8sx, movsi_h8sx,
1968         cmphi_h8300hs_znvc, cmpsi, addhi3_h8sx) : Emit instructions in
1969         #xx:3 and #xx:4 mode.
1970
1971         * config/h8300/h8300.md (inverted load with HImode dest): Add
1972         support for H8300SX.
1973
1974         * config/h8300/predicate.md (bit_operand): Allow immediate values that
1975         satisfy 'U' constraint.
1976
1977 2010-04-16  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1978
1979         * configure.ac: Check for elf_getshdrstrndx or elf_getshstrndx flavor.
1980         * configure: Regenerate.
1981         * config.in: Regenerate.
1982         * doc/install.texi (Prerequisites): Document that Solaris 2 libelf
1983         works.
1984
1985 2010-04-16  Richard Guenther  <rguenther@suse.de>
1986
1987         * tree.h (struct tree_decl_minimal): Move pt_uid ...
1988         (struct tree_decl_common): ... here.
1989         (DECL_PT_UID): Adjust.
1990         (SET_DECL_PT_UID): Likewise.
1991         (DECL_PT_UID_SET_P): Likewise.
1992
1993 2010-04-16  Richard Guenther  <rguenther@suse.de>
1994
1995         PR tree-optimization/43572
1996         * tree-ssa-alias.h (call_may_clobber_ref_p): Declare.
1997         * tree-ssa-alias.c (call_may_clobber_ref_p): Export.
1998         * tree-flow.h (is_call_clobbered): Remove.
1999         * tree-flow-inline.h (is_call_clobbered): Likewise.
2000         * tree-dfa.c (dump_variable): Do not dump call clobber state.
2001         * tree-nrv.c (dest_safe_for_nrv_p): Use the alias oracle.
2002         (execute_return_slot_opt): Adjust.
2003         * tree-tailcall.c (suitable_for_tail_opt_p): Remove
2004         check for call clobbered vars here.
2005         (find_tail_calls): Move tailcall verification to the
2006         proper place.
2007
2008 2010-04-16  Diego Novillo  <dnovillo@google.com>
2009
2010         * doc/invoke.texi: Explain how are unrecognized -Wno- warnings handled.
2011
2012 2010-04-16  Bernd Schmidt  <bernds@codesourcery.com>
2013
2014         PR target/40603
2015         * config/arm/arm.md (cbranchqi4): New pattern.
2016         * config/arm/predicates.md (const0_operand,
2017         cbranchqi4_comparison_operator): New predicates.
2018
2019 2010-04-16  Richard Guenther  <rguenther@suse.de>
2020
2021         * gimple-pretty-print.c (dump_gimple_phi): Dump alias info.
2022         (dump_gimple_stmt): Likewise.
2023
2024 2010-04-16  Bernd Schmidt  <bernds@codesourcery.com>
2025
2026         * recog.h (struct recog_data): New field is_operator.
2027         (struct insn_operand_data): New field is_operator.
2028         * recog.c (extract_insn): Set recog_data.is_operator.
2029         * genoutput.c (output_operand_data): Emit code to set the
2030         is_operator field.
2031         * reload.c (find_reloads): Use it rather than testing for an
2032         empty constraint string.
2033
2034         PR target/41514
2035         * config/arm/arm.md (cbranchsi4_insn): Renamed from "*cbranchsi4_insn".
2036         If the previous insn is a cbranchsi4_insn with the same arguments,
2037         omit the compare instruction.
2038
2039         * config/arm/arm.md (addsi3_cbranch): If destination is a high
2040         register, inputs must be low registers and we need a low register
2041         scratch.  Handle alternative 2 like alternative 3.
2042
2043 2010-04-16  Jakub Jelinek  <jakub@redhat.com>
2044
2045         * alias.c (memrefs_conflict_p): If x and y are the same VALUE,
2046         don't call get_addr on both.  If one expression is a VALUE and
2047         the other a REG, check VALUE's locs if the REG isn't among them.
2048
2049 2010-04-16  Christian Bruel  <christian.bruel@st.com>
2050
2051         * config/sh/sh.h (sh_frame_pointer_required): New function.
2052         * config/sh/sh.h (TARGET_FRAME_POINTER_REQUIRED): New macro.
2053         (flag_omit_frame_pointer) Set.
2054         (MASK_ACCUMULATE_OUTGOING_ARGS) Define and Set.
2055         (rounded_frame_size): Adjust size with outgoing_args_size.
2056         (sh_set_return_address): Must return from stack pointer.
2057         * gcc/config/sh/sh.h (CAN_DEBUG_WITHOUT_FP): Define.
2058         (SUBTARGET_FRAME_POINTER_REQUIRED): Define.
2059         (ACCUMULATE_OUTGOING_ARGS): Define.
2060         * doc/invoke.texi (maccumulate-outgoing-args): Document for SH.
2061         * gcc/config/sh/sh.opt: (maccumulate-outgoing-args): New option.
2062
2063 2010-04-15  Kaz Kojima  <kkojima@gcc.gnu.org>
2064
2065         PR target/43471
2066         * config/sh/sh.c (sh_legitimize_reload_address): Use
2067         MAYBE_BASE_REGISTER_RTX_P instead of BASE_REGISTER_RTX_P.
2068         Remove a unneeded check for offset_base.
2069
2070 2010-04-15  H.J. Lu  <hongjiu.lu@intel.com>
2071
2072         * configure: Regenerated.
2073
2074 2010-04-15  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
2075
2076         * config/s390/s390.c (s390_call_save_register_used): Switch back
2077         to HARD_REGNO_NREGS.
2078
2079 2010-04-15  Richard Guenther  <rguenther@suse.de>
2080
2081         * alias.c (alias_set_subset_of): Handle alias-set zero
2082         child properly.
2083
2084 2010-04-15  Mark Shinwell  <shinwell@codesourcery.com>
2085             Julian Brown  <julian@codesourcery.com>
2086
2087         * config/arm/thumb2.md (thumb2_movsi_insn): Split ldr and str
2088         alternatives according to use of high and low regs.
2089         * config/arm/vfp.md (thumb2_movsi_vfp): Likewise.
2090         * config/arm/arm.h (CONDITIONAL_REGISTER_USAGE): Use high regs when
2091         optimizing for size on Thumb-2.
2092
2093 2010-04-15  Thomas Schwinge  <tschwinge@gnu.org>
2094
2095         * config.gcc <i[34567]86-*-gnu*>: Handle softfp as for Linux.
2096
2097 2010-04-15  Richard Guenther  <rguenther@suse.de>
2098
2099         * tree-ssa-structalias.c (struct variable_info): Add
2100         is_fn_info flag.
2101         (new_var_info): Initialize it.
2102         (dump_constraints): Support printing last added constraints.
2103         (debug_constraints): Adjust.
2104         (dump_constraint_graph): Likewise.
2105         (make_heapvar_for): Check for NULL cfun.
2106         (get_function_part_constraint): New function.
2107         (get_fi_for_callee): Likewise.
2108         (find_func_aliases): Properly implement IPA PTA constraints.
2109         (process_ipa_clobber): New function.
2110         (find_func_clobbers): Likewise.
2111         (insert_into_field_list_sorted): Remove.
2112         (create_function_info_for): Properly allocate vars for IPA mode.
2113         Do not use insert_into_field_list_sorted.
2114         (create_variable_info_for): Properly generate constraints for
2115         global vars in IPA mode.
2116         (dump_solution_for_var): Always dump the solution.
2117         (set_uids_in_ptset): Initialize DECL_PT_UID if in ipa-mode.
2118         (find_what_var_points_to): Adjust.
2119         (pt_solution_set): Change.
2120         (pt_solution_ior_into): New function.
2121         (pt_solution_empty_p): Export.
2122         (pt_solution_includes_global): Adjust.
2123         (pt_solution_includes_1): Likewise.
2124         (pt_solutions_intersect_1): Likewise.
2125         (dump_sa_points_to_info): Check some invariants.
2126         (solve_constraints): Move constraint dumping ...
2127         (compute_points_to_sets): ... here.
2128         (ipa_pta_execute): ... and here.
2129         (compute_may_aliases): Do not re-compute points-to info
2130         locally if IPA info is available.
2131         (ipa_escaped_pt): New global var.
2132         (ipa_pta_execute): Properly implement IPA PTA.
2133         * tree-into-ssa.c (dump_decl_set): Support dumping
2134         decls not in referenced-vars.
2135         * tree-flow.h (struct gimple_df): Add ipa_pta flag.
2136         * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Adjust.
2137         (dump_points_to_solution): Likewise.
2138         * tree-dfa.c (dump_variable): Also dump DECL_PT_UID.
2139         * tree-inline.c (remap_ssa_name): Copy IPA points-to solution.
2140         (remap_gimple_stmt): Reset call clobber/use information if necessary.
2141         (copy_decl_to_var): Copy DECL_PT_UID.
2142         (copy_result_decl_to_var): Likewise.
2143         * tree.c (make_node_stat): Initialize DECL_PT_UID.
2144         (copy_node_stat): Copy it.
2145         * tree.h (DECL_PT_UID): New macro.
2146         (SET_DECL_PT_UID): Likewise.
2147         (DECL_PT_UID_SET_P): Likewise.
2148         (struct tree_decl_minimal): Add pt_uid member.
2149         * tree-ssa-alias.h (struct pt_solution): Add ipa_escaped flag.
2150         (pt_solution_empty_p): Declare.
2151         (pt_solution_set): Adjust.
2152         (ipa_escaped_pt): Declare.
2153         * cfgexpand.c (update_alias_info_with_stack_vars): Adjust.
2154         * gimple-pretty-print.c (pp_points_to_solution): New function.
2155         (dump_gimple_call): Dump call clobber/use information.
2156         * tree-dump.c (dump_option_value_in): Add TDF_ALIAS entry.
2157         * tree-pass.h (TDF_ALIAS): New dump option.
2158         * tree-pretty-print.c (dump_decl_name): Dump DECL_PT_UID if asked to.
2159         * doc/invoke.texi (-fipa-pta): Update documentation.
2160
2161 2010-04-15  Richard Guenther  <rguenther@suse.de>
2162
2163         * Makefile.in (OBJS-common): Add gimple-fold.o.
2164         (gimple-fold.o): New rule.
2165         * tree.h (maybe_fold_offset_to_reference,
2166         maybe_fold_offset_to_address, maybe_fold_stmt_addition): Move
2167         prototypes ...
2168         * gimple.h: ... here.
2169         * tree-flow.h (fold_stmt, fold_stmt_inplace, get_symbol_constant_value,
2170         may_propagate_address_into_dereference): Move prototypes ...
2171         * gimple.h: ... here.
2172         * tree-ssa-ccp.c (get_symbol_constant_value,
2173         may_propagate_address_into_dereference, maybe_fold_offset_to_array_ref,
2174         maybe_fold_offset_to_component_ref, maybe_fold_offset_to_reference,
2175         maybe_fold_offset_to_address, maybe_fold_stmt_indirect,
2176         maybe_fold_stmt_addition, maybe_fold_reference, get_maxval_strlen,
2177         ccp_fold_builtin, fold_gimple_assign, fold_gimple_cond,
2178         fold_gimple_call, fold_stmt_1, fold_stmt, fold_stmt_inplace,
2179         gimplify_and_update_call_from_tree): Move ...
2180         * gimple-fold.c: ... here.  New file.
2181         (ccp_fold_builtin): Rename to ...
2182         (gimple_fold_builtin): ... this.
2183         * tree-ssa-ccp.c (execute_fold_all_builtins): Adjust.
2184
2185 2010-04-15  Richard Guenther  <rguenther@suse.de>
2186
2187         * fold-const.c (LOWPART, HIGHPART, BASE, encode, decode,
2188         fit_double_type, force_fit_type_double, add_double_with_sign,
2189         neg_double, mul_double_with_sign, lshift_double, rshift_double,
2190         lrotate_double, rrotate_double, div_and_round_double): Move ...
2191         * double-int.c: ... here.
2192         * tree.h (force_fit_type_double, fit_double_type, add_double_with_sign,
2193         add_double, neg_double, mul_double_with_sign, mul_double,
2194         lshift_double, rshift_double, lrotate_double, rrotate_double,
2195         div_and_round_double): Move prototypes ...
2196         * double-int.h: ... here.
2197
2198 2010-04-15  Bernd Schmidt  <bernds@codesourcery.com>
2199
2200         PR target/43742
2201         * config/sh/sh.md (doloop_end_split, dect): Undo previous patch.  Use
2202         matching constraints to ensure inputs match the output.
2203
2204 2010-04-15  Kaz Kojima  <kkojima@gcc.gnu.org>
2205
2206         PR target/43742
2207         * config/sh/sh.md (doloop_end_split): Remove "+r" constraint
2208         in an input-only operand.
2209
2210 2010-04-15  Anatoly Sokolov  <aesok@post.ru>
2211
2212         * double-int.h (HOST_BITS_PER_DOUBLE_INT): Define.
2213         (double_int_not, double_int_lshift, double_int_rshift): Declare.
2214         (double_int_negative_p): Convert to static inline function.
2215         * double-int.c (double_int_lshift, double_int_lshift): New functions.
2216         (double_int_negative_p): Remove.
2217         * tree.h (lshift_double, rshift_double):
2218         * tree.c (build_low_bits_mask): Clean up, use double_int_* functions.
2219         * fold-const.c (fold_convert_const_int_from_real,
2220         fold_convert_const_int_from_fixed, div_if_zero_remainder): (Ditto.).
2221         (lshift_double): Change type of arith argument to bool.
2222         (rshift_double): Change type of arith argument to bool. Correct
2223         comment.
2224         * expmed.c (mask_rtx, lshift_value): (Ditto.).
2225
2226 2010-04-14  Bernd Schmidt  <bernds@codesourcery.com>
2227
2228         PR target/21803
2229         * ifcvt.c (cond_exec_process_if_block): Look for identical sequences
2230         at the start and end of the then/else blocks, and omit them from the
2231         conversion.
2232         * cfgcleanup.c (flow_find_cross_jump): No longer static.  Remove MODE
2233         argument; all callers changed.  Pass zero to old_insns_match_p instead.
2234         (flow_find_head_matching_sequence): New function.
2235         (old_insns_match_p): Check REG_EH_REGION notes for calls.
2236         * basic-block.h (flow_find_cross_jump,
2237         flow_find_head_matching_sequence): Declare functions.
2238
2239 2010-04-14  Jason Merrill  <jason@redhat.com>
2240
2241         PR c++/36625
2242         * c-common.c (attribute_takes_identifier_p): New fn.
2243         * c-common.h: Declare it.
2244
2245 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
2246
2247         * config/i386/i386.md (*divmod<mode>4): Remove stray "&&" from
2248         splitter condition.
2249         (*udivmod<mode>4): Ditto.
2250
2251 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
2252
2253         * config/i386/i386.md (maxmin_int): Rename code attribute from
2254         maxminiprefix and update all users.
2255         (maxmin_float): Ditto from maxminfprefix.
2256         (logic): Ditto from logicprefix.
2257         (absneg_mnemonic): Ditto from absnegprefix.
2258         * config/i386/mmx.md: Update all users of maxminiprefix,
2259         maxminfprefix and logicprefix for rename.
2260         * config/i386/sse.md: Ditto.
2261         * config/i386/sync.md (sync_<code><mode>): Update for
2262         logicprefix rename.
2263
2264 2010-04-14  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2265
2266         PR 42966
2267         * diagnostics.c (diagnostic_report_diagnostic): Mark specially
2268         warnings converted to errors.
2269
2270 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
2271
2272         * config/alpha/alpha.c (alpha_adjust_cost): Remove set but not
2273         used insn_type variable.
2274         (function_value): Add ATTRIBUTE_UNUSED to dummy variable declaration
2275         to avoid set-but-not-used warning.
2276
2277 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
2278
2279         * df-core.c (df_ref_debug): Change format string placeholder
2280         from 0x%x to %#x.
2281         * dwarf2asm.c (dw2_asm_output_data_raw,
2282         dw2_asm_output_data_uleb128_raw, dw2_asm_output_data_uleb128,
2283         dw2_asm_output_data_sleb128_raw, dw2_asm_output_data_sleb128): Ditto.
2284         * dwarf2out.c (output_cfi, output_cfi_directive,
2285         dwarf2out_do_cfi_startproc, output_loc_sequence_raw,
2286         output_cfa_loc_raw, output_die, output_ranges, output_file_names):
2287         Ditto.
2288         * genattrtab.c (write_test_expr, write_attr_valueq): Ditto.
2289         * print-rtl.c (print_rtx): Ditto.
2290
2291 2010-04-14  Michael Meissner  <meissner@linux.vnet.ibm.com>
2292
2293         PR middle-end/42694
2294         * builtins.c (expand_builtin_pow_root): New function to expand pow
2295         calls with exponents 0.25, 0.50, 0.75, 1./3., and 1./6. into a
2296         series of sqrt and cbrt calls under -ffast-math.
2297         (expand_builtin_pow): Call it.
2298
2299 2010-04-14  Michael Matz  <matz@suse.de>
2300
2301         PR tree-optimization/42963
2302         * tree-cfg.c (touched_switch_bbs): New static variable.
2303         (group_case_labels_stmt): New function broken out from ...
2304         (group_case_labels): ... here, use the above.
2305         (start_recording_case_labels): Allocate touched_switch_bbs.
2306         (end_recording_case_labels): Deallocate it, call
2307         group_case_labels_stmt.
2308         (gimple_redirect_edge_and_branch): Remember index of affected BB.
2309
2310 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
2311
2312         * config/i386/i386.md (*popcountsi2_cmp_zext): Remove mode attribute
2313         from insn template.
2314
2315 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
2316
2317         * config/i386/i386.md (*ashlqi3_1_slp): New insn pattern.
2318
2319 2010-04-13  Jan Hubicka  <jh@suse.cz>
2320
2321         * ipa-inline.c (cgraph_mark_inline_edge): Avoid double accounting
2322         of optimized out static functions.
2323         (cgraph_edge_badness): Add DUMP parameter and dump reasons for the
2324         cost computation.  Also sanity check for overflows.
2325         (update_caller_keys): Update cgraph_edge_badness call; properly
2326         update fibheap and sanity check that it is up to date.
2327         (add_new_edges_to_heap): Update cgraph_edge_badness.
2328         (cgraph_decide_inlining_of_small_function): Likewise;
2329         add sanity checking that badness in heap is up to date;
2330         improve dumping of reason; Update badness of calls to the
2331         offline copy of function currently inlined; dump badness
2332         of functions not inlined because of unit growth limits.
2333
2334 2010-04-13  Eric Botcazou  <ebotcazou@adacore.com>
2335
2336         PR middle-end/32628
2337         * c-common.c (pointer_int_sum): Disregard overflow that occured only
2338         because of sign-extension change when converting to sizetype here...
2339         * fold-const.c (fold_convert_const_int_from_int): ...and not here.
2340
2341         * fold-const.c (fold_binary_op_with_conditional_arg): Do not restrict
2342         the folding to constants.  Remove redundant final conversion.
2343         (fold_binary) <associate>: Do not associate if the re-association of
2344         constants alone overflows.
2345         (fold_binary) <FLOOR_MOD_EXPR>: Move transformation into BIT_AND_EXPR
2346         to the end of the list.
2347         (multiple_of_p) <COND_EXPR>: New case.
2348
2349 2010-04-13  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2350
2351         * opt-functions.awk (opt_sanitized_name): New.
2352         (opt_enum): New.
2353         * optc-gen.awk: Use it
2354         * opth-gen.awk: Use it.
2355
2356 2010-04-13  Martin Jambor  <mjambor@suse.cz>
2357
2358         * tree-sra.c (replace_uses_with_default_def_ssa_name): New function.
2359         (sra_modify_assign): Delete stmts loading dead data even if racc has no
2360         children.  Call replace_uses_with_default_def_ssa_name to handle
2361         SSA_NAES on lhs.
2362
2363 2010-04-13  Michael Matz  <matz@suse.de>
2364
2365         PR middle-end/43730
2366         * builtins.c (expand_builtin_interclass_mathfn): Also create
2367         a register if the predicate doesn't match.
2368
2369 2010-04-13  Diego Novillo  <dnovillo@google.com>
2370
2371         * Makefile.in (c-pch.o, ggc-common.o): Depend on timevar.h.
2372         * c-pch.c: Include timevar.h.
2373         (c_common_write_pch): Use TV_PCH_SAVE and TV_PCH_CPP_SAVE timers.
2374         (c_common_read_pch): Use TV_PCH_RESTORE and TV_PCH_CPP_RESTORE timers.
2375         * ggc-common.c: Include timevar.h.
2376         (gt_pch_save): Use TV_PCH_PTR_REALLOC and TV_PCH_PTR_SORT timers.
2377         * timevar.def (TV_PCH_SAVE): Define.
2378         (TV_PCH_CPP_SAVE): Define.
2379         (TV_PCH_PTR_REALLOC): Define.
2380         (TV_PCH_PTR_SORT): Define.
2381         (TV_PCH_RESTORE): Define.
2382         (TV_PCH_CPP_RESTORE): Define.
2383
2384 2010-04-13  Michael Matz  <matz@suse.de>
2385
2386         * tree-ssa-reassoc.c (repropagate_negates): Merge negates also
2387         into MINUS_EXPRs.
2388         (can_reassociate_p): New function.
2389         (break_up_subtract_bb, reassociate_bb): Use it.
2390
2391 2010-04-13  Richard Guenther  <rguenther@suse.de>
2392
2393         PR bootstrap/43737
2394         * builtins.c (c_readstr): Fix assert.
2395
2396 2010-04-13  Uros Bizjak  <ubizjak@gmail.com>
2397
2398         * config/i386/i386.md (extendsidi2 splitter): Also check for DX_REG
2399         when generating cltd insn.
2400
2401         (*ashl<mode>3_1): Remove special handling for register operand 2.
2402         (*ashlsi3_1_zext): Ditto.
2403         (*ashlhi3_1): Ditto.
2404         (*ashlhi3_1_lea): Ditto.
2405         (*ashlqi3_1): Ditto.
2406         (*ashlqi3_1_lea): Ditto.
2407         (*<shiftrt_insn><mode>3_1): Ditto.
2408         (*<shiftrt_insn>si3_1_zext): Ditto.
2409         (*<shiftrt_insn>qi3_1_slp): Ditto.
2410         (*<rotate_insn><mode>3_1): Ditto.
2411         (*<rotate_insn>si3_1_zext): Ditto.
2412         (*<rotate_insn>qi3_1_slp): Ditto.
2413
2414 2010-04-13  Richard Guenther  <rguenther@suse.de>
2415
2416         * tree-ssa-structalias.c (callused_id): Remove.
2417         (call_stmt_vars): New.
2418         (get_call_vi): Likewise.
2419         (lookup_call_use_vi): Likewise.
2420         (lookup_call_clobber_vi): Likewise.
2421         (get_call_use_vi): Likewise.
2422         (get_call_clobber_vi): Likewise.
2423         (make_transitive_closure_constraints): Likewise.
2424         (handle_const_call): Adjust to do per-call call-used handling.
2425         (handle_pure_call): Likewise.
2426         (find_what_var_points_to): Remove general callused handling.
2427         (init_base_vars): Likewise.
2428         (init_alias_vars): Initialize call_stmt_vars.
2429         (compute_points_to_sets): Process call-used and call-clobbered
2430         vars for call statements.
2431         (delete_points_to_sets): Free call_stmt_vars.
2432
2433 2010-04-13  Richard Guenther  <rguenther@suse.de>
2434
2435         * tree-vect-data-refs.c (vect_analyze_data_ref_dependence):
2436         Only add RW dependence for dependence distance zero.
2437         Adjust maximal vectorization factor according to dependences.
2438         Move alignment handling ...
2439         (vect_find_same_alignment_drs): ... here.  New function.
2440         (vect_analyze_data_ref_dependences): Adjust.
2441         (vect_analyze_data_refs_alignment): Call vect_find_same_alignment_drs.
2442         (vect_analyze_data_refs): Adjust minimal vectorization factor
2443         according to data references.
2444         * tree-vect-loop.c (vect_analyze_loop): Analyze data-ref
2445         dependences before determining the vectorization factor.
2446         Analyze alignment after determining the vectorization factor.
2447         * tree-vect-slp.c ((vect_slp_analyze_bb): Analyze data-ref
2448         dependences before alignment.
2449         * tree-vectorizer.h (vect_analyze_data_ref_dependences):
2450         Adjust prototype.
2451         (vect_analyze_data_refs): Likewise.
2452         (MAX_VECTORIZATION_FACTOR): New define.
2453
2454 2010-04-13  Duncan Sands  <baldrick@free.fr>
2455
2456         * except.h (lang_eh_type_covers): Remove.
2457         * except.c (lang_eh_type_covers): Likewise.
2458
2459 2010-04-13  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
2460             Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
2461
2462         * gcc/config/s390/s390.md: Replace TARGET_64BIT with TARGET_ZARCH.
2463         * gcc/config/s390/s390.c: Replace UNTIS_PER_WORD with
2464         UNITS_PER_LONG where it is ABI relevant.
2465         (s390_return_addr_rtx): Likewise.
2466         (s390_back_chain_rtx): Likewise.
2467         (s390_frame_area): Likewise.
2468         (s390_frame_info): Likewise.
2469         (s390_initial_elimination_offset): Likewise.
2470         (save_gprs): Likewise.
2471         (s390_emit_prologue): Likewise.
2472         (s390_emit_epilogue): Likewise.
2473         (s390_function_arg_advance): Likewise.
2474         (s390_function_arg): Likewise.
2475         (s390_va_start): Likewise.
2476         (s390_gimplify_va_arg): Likewise.
2477         (s390_function_profiler): Likewise.
2478         (s390_optimize_prologue): Likewise.
2479         (s390_rtx_costs): Likewise.
2480         (s390_secondary_reload): Likewise.
2481         (s390_promote_function_mode): Likewise.
2482         (s390_hard_regno_mode_ok): Replace TARGET_64BIT with TARGET_ZARCH.
2483         (s390_scalar_mode_supported_p): Disallow TImode if no 64 bit
2484         registers available.
2485         (s390_unwind_word_mode): New function.
2486         (s390_function_value): Split 64 bit values into register pair if
2487         used as return value.
2488         (s390_call_saved_register_used): Don't use HARD_REGNO_NREGS for
2489         function call parameters.  Handle parallels.
2490         (TARGET_SCALAR_MODE_SUPPORTED_P): New macro.
2491         (HARD_REGNO_CALL_PART_CLOBBERED): New macro.
2492         (DWARF_CIE_DATA_ALIGNMENT): New macro.
2493         (s390_expand_setmem): Remove unused variable src_addr.
2494         * gcc/longlong.h: Make smul_ppmm and sdiv_qrnnd inline asms to
2495         deal with 64 bit registers.
2496         * gcc/config/s390/s390.h: Define __zarch__ predefined macro.
2497         Replace UNITS_PER_WORD with UNITS_PER_LONG where it is ABI relevant.
2498         (UNITS_PER_LONG): New macro.
2499         * libjava/include/s390-signal.h: Define extended ucontext
2500         structure containing the upper halfs of the 64 bit registers.
2501
2502 2010-04-13  Simon Baldwin  <simonb@google.com>
2503
2504         * cfgexpand.c (gimple_expand_cfg): Clarify warning message text.
2505
2506 2010-04-13  Eric Botcazou  <ebotcazou@adacore.com>
2507
2508         * gimple.c (walk_gimple_op) <GIMPLE_ASSIGN>: Do not request a pure
2509         rvalue on the RHS if the LHS is of a non-renamable type.
2510         * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Fold result.
2511
2512 2010-04-13  Matthias Klose  <doko@ubuntu.com>
2513
2514         * gcc.c (cc1_options): Handle -iplugindir before processing
2515         the cc1 spec. Only add -iplugindir once.
2516         (cpp_unique_options): Add -iplugindir option if -fplugin* options
2517         found.
2518         * common.opt (iplugindir): Remove `Separate' property, initialize.
2519         * plugin.c (default_plugin_dir_name): Error with missing -iplugindir
2520         option.
2521         * Makefile.in (check-%, check-parallel-%): Create plugin dir.
2522         (distclean): Remove plugin dir.
2523         * doc/invoke.texi: Document -iplugindir.
2524
2525 2010-04-13  Basile Starynkevitch  <basile@starynkevitch.net>
2526
2527         * doc/plugins.texi (Loading Plugins): Document short
2528         -fplugin=foo option.
2529         (Plugin API): Mention default_plugin_dir_name function.
2530
2531         * gcc.c (find_file_spec_function): Add new declaration.
2532         (static_spec_func): Use it for "find-file".
2533         (find_file_spec_function): Add new function.
2534         (cc1_options): Add -iplugindir option if -fplugin* options found.
2535
2536         * gcc-plugin.h (default_plugin_dir_name): Added new declaration.
2537
2538         * plugin.c (add_new_plugin): Updated comment, and handle short
2539         plugin name.
2540         (default_plugin_dir_name): Added new function.
2541
2542         * common.opt (iplugindir): New option to set the plugin directory.
2543
2544 2010-04-12  Uros Bizjak  <ubizjak@gmail.com>
2545
2546         * config/i386/i386.md (any_rotate): New code iterator.
2547         (rotate_insn): New code attribute.
2548         (rotate): Ditto.
2549         (SWIM124): New mode iterator.
2550         (<rotate_insn>ti3): New expander.
2551         (<rotate_insn>di3): Macroize expander from {rotl,rotr}di3 using
2552         any_rotate code iterator.
2553         (<rotate_insn><mode>3) Macroize expander from {rotl,rotr}{qi,hi,si}3
2554         using any_rotate code iterator and SWIM124 mode iterator.
2555         (ix86_rotlti3): New insn_and_split pattern.
2556         (ix86_rotrti3): Ditto.
2557         (ix86_rotl<dwi>3_doubleword): Macroize insn_and_split pattern from
2558         ix86_rotl{di,ti}3 patterns.
2559         (ix86_rotr<dwi>3_doubleword): Ditto from ix86_rotr{di,ti}3 patterns.
2560         (*<rotate_insn><mode>3_1): Merge with *{rotl,rotr}{qi,hi,si}3_1_one_bit
2561         and *{rotl,rotr}di3_1_one_bit_rex64. Macroize insn from
2562         *{rotl,rotr}{qi,hi,si}3_1 and *{rotl,rotr}di3_1_rex64 using any_rotate
2563         code iterator and SWI mode iterator.
2564         (*<rotate_insn>si3_1_zext): Merge with *{rotl,rotr}si3_1_one_bit_zext.
2565         Macroize insn from {rotl,rotr}si3_1_zext using any_rotate
2566         code iterator.
2567         (*<rotate_insn>qi3_1_slp): Merge with *{rotl,rotr}qi3_1_one_bit_slp.
2568         Macroize insn from {rotl,rotr}qi3_1_slp using any_rotate code iterator.
2569         (bswap rotatert splitter): Add splitter.
2570         (bswap splitter): Macroize splitter using any_rotate code iterator.
2571         Add insn predicate to split only for TARGET_USE_XCHGB or when
2572         optimizing function for size.
2573
2574 2010-04-12  Steve Ellcey  <sje@cup.hp.com>
2575
2576         * config/pa/pa.c (emit_move_sequence): Remove use of
2577         deleted variable flag_argument_noalias.
2578
2579 2010-04-12  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2580
2581         * config.gcc: Removed *-*-solaris2.7* from list of obsolete
2582         configurations.
2583         Add to unsupported targets list.
2584         * configure.ac (gcc_cv_as_tls): Removed i[34567]86-*-solaris2.[567]*,
2585         sparc*-sun-solaris2.[567]* from target lists.
2586         * configure: Regenerate.
2587         * doc/install.texi (Specific, *-*-solaris2*): Document Solaris 7
2588         removal.
2589         Remove Solaris 7 patch references.
2590         (Specific, sparc-sun-solaris2.7): Removed.
2591         (sparc-sun-solaris2*): Update Solaris 7 example.
2592         (sparc64-*-solaris2*): Likewise.
2593
2594 2010-04-12  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2595
2596         * config.build (alpha*-dec-osf4*): Remove.
2597         * config.gcc: Remove alpha*-dec-osf4*, alpha-dec-osf5.0* from list
2598         of obsolete configurations.
2599         (alpha*-dec-osf[45]*): Remove alpha*-dec-osf4*, alpha-dec-osf5.0*
2600         support.
2601         * config/alpha/t-osf4: Renamed to ...
2602         * config/alpha/t-osf5: ... this.
2603         * config/alpha/osf.h: Renamed to ...
2604         * config/alpha/osf5.h: ... this.
2605         Merged old osf5.h contents.
2606         Update comments.
2607         (ASM_SPEC): Use ASM_OLDAS_SPEC directly.
2608         (EXTRA_SPECS): Removed.
2609         * doc/install.texi (Specific, alpha*-dec-osf5.1): Renamed to
2610         reflect removal of Tru64 UNIX V4.0/V5.0 support.
2611         Document that.
2612
2613 2010-04-12  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2614
2615         * doc/contrib.texi (Contributors, Rainer Orth): Update.
2616
2617 2010-04-12  Kai Tietz  <kai.tietz@onevision.com>
2618
2619         PR/43702
2620         * config/i386/i386.c (x86_this_parameter): Handle aggregate for
2621         __thiscall convention.
2622
2623 2010-04-12  Steve Ellcey  <sje@cup.hp.com>
2624
2625         * config/pa/pa.c (hppa_legitimize_address): Remove unused variable
2626         orig_base.
2627         * config/pa/pa.md (call, call_value): Remove unused variable call_insn.
2628
2629 2010-04-12  Steve Ellcey  <sje@cup.hp.com>
2630
2631         * function.c (assign_parms_initialize_all): Add unused attribute
2632         to fntype.
2633
2634 2010-04-12  Richard Guenther  <rguenther@suse.de>
2635
2636         * gsstruct.def (GSS_CALL): New.
2637         * gimple.def (GIMPLE_CALL): Change to GSS_CALL.
2638         * gimple.h: Include tree-ssa-alias.h.
2639         (struct gimple_statement_call): New.
2640         (union gimple_statement_struct_d): Add gimple_call member.
2641         (gimple_call_reset_alias_info): Declare.
2642         (gimple_call_use_set): New function.
2643         (gimple_call_clobber_set): Likewise.
2644         * Makefile.in (GIMPLE_H): Add tree-ssa-alias.h.
2645         * gimple.c (gimple_call_reset_alias_info): New function.
2646         (gimple_build_call_1): Call it.
2647         * lto-streamer-in.c (input_gimple_stmt): Likewise.
2648         * tree-inline.c (remap_gimple_stmt): Likewise.
2649         (expand_call_inline): Remove callused handling.
2650         * cfgexpand.c (update_alias_info_with_stack_vars): Likewise.
2651         * tree-dfa.c (dump_variable): Likewise.
2652         * tree-parloops.c (parallelize_loops): Likewise.
2653         * tree-ssa.c (init_tree_ssa): Likewise.
2654         (delete_tree_ssa): Likewise.
2655         * tree-flow-inline.h (is_call_used): Remove.
2656         * tree-flow.h (struct gimple_df): Remove callused member.
2657         * tree-nrv.c (dest_safe_for_nrv_p): Adjust predicate.
2658         * tree-ssa-alias.c (dump_alias_info): Remove callused handling.
2659         (ref_maybe_used_by_call_p_1): Simplify.
2660         (call_may_clobber_ref_p_1): Likewise.
2661         * tree-ssa-structalias.c (compute_points_to_sets): Set
2662         the call stmt used and clobbered sets.
2663         * tree-tailcall.c (suitable_for_tail_opt_p): Adjust predicate.
2664         (find_tail_calls): Verify the tail call.
2665
2666 2010-04-12  Richard Guenther  <rguenther@suse.de>
2667
2668         * ipa.c (cgraph_postorder): Adjust postorder to guarantee
2669         single-iteration always-inline inlining.
2670         * ipa-inline.c (cgraph_mark_inline): Do not return anything.
2671         (cgraph_decide_inlining): Do not handle always-inline specially.
2672         (try_inline): Remove always-inline cycle detection special case.
2673         Do not recurse on always-inlines.
2674         (cgraph_early_inlining): Do not iterate if not optimizing.
2675         (cgraph_gate_early_inlining): remove.
2676         (pass_early_inline): Run unconditionally.
2677         (gate_cgraph_decide_inlining): New function.
2678         (pass_ipa_inline): Use it.  Do not run the IPA inliner if
2679         not inlining or optimizing.
2680         (cgraph_decide_inlining_of_small_functions): Also consider
2681         always-inline functions.
2682         (cgraph_default_inline_p): Return true for nodes which should
2683         disregard inline limits.
2684         (estimate_function_body_sizes): Assume zero size and time for
2685         nodes which are marked as disregarding inline limits.
2686         (cgraph_decide_recursive_inlining): Do not perform recursive
2687         inlining on always-inline nodes.
2688
2689 2010-04-12  Jakub Jelinek  <jakub@redhat.com>
2690
2691         PR bootstrap/43699
2692         * c-typeck.c (c_process_expr_stmt): Call mark_exp_read even
2693         for exprs satisfying handled_component_p.
2694
2695 2010-04-12  Eric Botcazou  <ebotcazou@adacore.com>
2696
2697         * expr.c (categorize_ctor_elements_1): Properly count sub-elements of
2698         non-constant aggregate elements.
2699
2700         * gimplify.c (gimplify_init_constructor): Do not pre-evaluate if this
2701         is a real initialization.
2702
2703 2010-04-12  Shujing Zhao  <pearly.zhao@oracle.com>
2704
2705         PR c/36774
2706         * c-decl.c (start_function): Move forward check for nested function.
2707
2708 2010-04-11  Kaz Kojima  <kkojima@gcc.gnu.org>
2709
2710         * config/sh/sh-protos.h (sh_legitimize_reload_address): Declare.
2711         * config/sh/sh.c: Include reload.h.
2712         (sh_legitimize_reload_address): New.
2713         * config/sh/sh.h (LEGITIMIZE_RELOAD_ADDRESS): Use
2714         sh_legitimize_reload_address.
2715
2716 2010-04-11  Kaushik Phatak  <kaushik.phatak@kpitcummins.com>
2717
2718         * config/sh/sh.md (*movqi_pop): New insn pattern.
2719         * config/sh/predicates.md (sh_no_delay_pop_operand): New predicate.
2720
2721 2010-04-11  Uros Bizjak  <ubizjak@gmail.com>
2722
2723         * config/i386/i386.md (any_shiftrt): New code iterator.
2724         (shiftrt_insn): New code attribute.
2725         (shiftrt): Ditto.
2726         (<shiftrt_insn><mode>3): Macroize expander from {ashr,lshr}<mode>3
2727         using any_shiftrt code iterator.
2728         (*<shiftrt_insn><mode>3_doubleword): Macroize insn_and_split from
2729         *{ashr,lshr}<mode>3_doubleword using any_shiftrt code iterator.
2730         (*<shiftrt_insn><mode>3_doubleword peephole2): Macroize peephole2
2731         pattern from corresponding peephole2 patterns.
2732         (*<shiftrt_insn><mode>3_1): Macroize insn from *{ashr,lshr}<mode>3_1
2733         using any_shiftrt code iterator.
2734         (*<shiftrt_insn>si3_1_zext): Ditto from *{ashr,lshr}si3_1_zext.
2735         (*<shiftrt_insn>qi3_1_slp): Ditto from *{ashr,lshr}qi3_1_slp.
2736         (*<shiftrt_insn><mode>3_cmp): Ditto from *{ashr,lshr}<mode>3_cmp.
2737         (*<shiftrt_insn><mode>3_cmp_zext): Ditto from
2738         *{ashr,lshr}<mode>3_cmp_zext.
2739         (*<shiftrt_insn><mode>3_cconly): Ditto from *{ashr,lshr}<mode>3_cconly.
2740
2741 2010-04-11  Uros Bizjak  <ubizjak@gmail.com>
2742
2743         * config/i386/i386.md (*ashr<mode>3_cconly): Fix wrong mode of
2744         scratch register.
2745         (*lshr<mode>3_cconly): Ditto.
2746
2747 2010-04-11  Uros Bizjak  <ubizjak@gmail.com>
2748
2749         * config/i386/i386.md (lshr<mode>3): Macroize expander from
2750         lshr{qi,hi,si,di,ti}3_1 using SDWIM mode iterator.
2751         (*lshr<mode>3_doubleword): New insn_and_split_pattern.  Macroize
2752         pattern from *lshr{di,ti}3_1 and corresponding splitters using
2753         DWI mode iterator.
2754         (*lshr<mode>3_doubleword peephole2): Macroize peephole2 pattern
2755         from corresponding peephole2 patterns.
2756         (*lshr<mode>3_1): Merge with *lshr{qi,hi,si}3_1_one_bit and
2757         *lshrdi3_1_one_bit_rex64. Macroize insn from *lshr{qi,hi,si}3_1
2758         and *lshrdi3_1_rex64 using SWI mode iterator.
2759         (*lshrsi3_1_zext): Merge with *lshrsi3_1_one_bit_zext.
2760         (*lshrqi3_1_slp): Merge with *lshrqi3_1_one_bit_slp.
2761         (*lshr<mode>3_cmp): Merge with *lshr{qi,hi,si}3_one_bit_cmp and
2762         *lshrdi3_one_bit_cmp_rex64. Macroize insn from *lshr{qi,hi,si}3_cmp
2763         and *lshrdi3_cmp_rex64 using SWI mode iterator.
2764         (*lshrsi3_cmp_zext): Merge with *lshrsi3_cmp_one_bit_zext.
2765         (*lshr<mode>3_cconly): Merge with *lshr{qi,hi,si}3_one_bit_cconly and
2766         *lshrdi3_one_bit_cconly_rex64. Macroize insn from
2767         *lshr{qi,hi,si}3_cconly and *lshrdi3_cconly_rex64 using
2768         SWI mode iterator.
2769
2770 2010-04-10  Uros Bizjak  <ubizjak@gmail.com>
2771
2772         * config/i386/i386.md (ashr<mode>3): Macroize expander from
2773         ashr{qi,hi,si,di,ti}3_1 using SDWIM mode iterator.
2774         (*ashr<mode>3_doubleword): New insn_and_split_pattern.  Macroize
2775         pattern from *ashr{di,ti}3_1 and corresponding splitters using
2776         DWI mode iterator.
2777         (*ashr<mode>3_doubleword peephole2): Macroize peephole2 pattern
2778         from corresponding peephole2 patterns.
2779         (ashrdi3_cvt): Rename from ashrdi3_63_rex64.
2780         (ashrsi3_cvt): Rename from ashrsi3_31.
2781         (*ashrsi3_cvt_zext): Rename from *ashrsi3_31_zext.
2782         (x86_shift<mode>_adj_3): Macroize expander from x86_shift_adj_3
2783         and x86_64_shift_adj_3 using SWI48 mode iterator.
2784         (*ashr<mode>3_1): Merge with *ashr{qi,hi,si}3_1_one_bit and
2785         *ashrdi3_1_one_bit_rex64. Macroize insn from *ashr{qi,hi,si}3_1
2786         and *ashrdi3_1_rex64 using SWI mode iterator.
2787         (*ashrsi3_1_zext): Merge with *ashrsi3_1_one_bit_zext.
2788         (*ashrqi3_1_slp): Merge with *ashrqi3_1_one_bit_slp.
2789         (*ashr<mode>3_cmp): Merge with *ashr{qi,hi,si}3_one_bit_cmp and
2790         *ashrdi3_one_bit_cmp_rex64. Macroize insn from *ashr{qi,hi,si}3_cmp
2791         and *ashrdi3_cmp_rex64 using SWI mode iterator.
2792         (*ashrsi3_cmp_zext): Merge with *ashrsi3_cmp_one_bit_zext.
2793         (*ashr<mode>3_cconly): Merge with *ashr{qi,hi,si}3_one_bit_cconly and
2794         *ashrdi3_one_bit_cconly_rex64. Macroize insn from
2795         *ashr{qi,hi,si}3_cconly and *ashrdi3_cconly_rex64 using
2796         SWI mode iterator.
2797         (sign_extend splitters): Update for renamed ashr{di,si}3_cvt patterns.
2798         * config/i386/i386.c (ix86_split_ashr): Update for renamed
2799         x86_shift<mode>_adj_3 expanders.
2800
2801 2010-04-10  Wei Guozhi  <carrot@google.com>
2802
2803         PR target/42601
2804         * config/arm/arm.c (arm_pic_static_addr): New function.
2805         (legitimize_pic_address): Call arm_pic_static_addr when it detects
2806         a static symbol.
2807         (arm_output_addr_const_extra): Output expression for new pattern.
2808         * config/arm/arm.md (UNSPEC_SYMBOL_OFFSET): New unspec symbol.
2809
2810 2010-04-10  Bernd Schmidt  <bernds@codesourcery.com>
2811
2812         * ira-costs.c (record_reg_classes): Ignore alternatives that are
2813         not enabled.
2814
2815         * Makefile.in (web.o): Depend on insn-config.h and $(RECOG_H).
2816         * web.c: Include "insn-config.h" and "recog.h".
2817         (union_match_dups): New function.
2818         (web_main): Call it.
2819         (union_defs): Don't try to recognize match_dups.
2820
2821         * reload1.c (eliminate_regs_in_insn): Don't restore an operand
2822         if doing so would replace the entire pattern.
2823
2824 2010-04-09  Uros Bizjak  <ubizjak@gmail.com>
2825
2826         PR target/43707
2827         PR target/43709
2828         * config/i386/i386.md (*ashl<mode>3_doubleword): Split to insn
2829         and splitter pattern.  Change splitter operand 1 predicate to
2830         nonmemory_operand.
2831
2832 2010-04-09  Martin Jambor  <mjambor@suse.cz>
2833
2834         * ipa-cp.c (ipcp_lats_are_equal): Return true also if the two
2835         lattices are addresses of CONST_DECLs with the same initial value.
2836         (ipcp_print_all_lattices): Print values of CONST_DECLs.
2837         * ipa-prop.c (ipa_print_node_jump_functions): Likewise.
2838
2839 2010-04-09  Eric Botcazou  <ebotcazou@adacore.com>
2840             Bernd Schmidt  <bernds@codesourcery.com>
2841
2842         * loop-invariant.c (replace_uses): New static function.
2843         (move_invariant_reg): Use it to ensure we can replace the uses.
2844
2845 2010-04-09  Hariharan Sandanagobalane  <hariharan@picochip.com>
2846
2847         * config/picochip/picochip.c (picochip_rtx_costs): Use correct
2848         function template.
2849         (picochip_override_options): Enable section anchors only above -O1.
2850         (picochip_reorg): Fixed a couple of build warnings.
2851
2852 2010-04-09  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2853
2854         * configure.ac (plugin -rdynamic test): Log result.
2855         * configure: Regenerate.
2856         * config/sol2.h (LINK_SPEC): Handle -rdynamic.
2857         (RDYNAMIC_SPEC): Define.
2858         * config/sol2-gld.h (RDYNAMIC_SPEC): Redefine.
2859
2860 2010-04-09  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2861
2862         * configure.ac: Determine Sun ld version numbers.
2863         (comdat_group): Restrict GNU ld version checks to gld.
2864         (comdat_group, *-*-solaris2.1[1-9]*): Enable for Sun ld > 1.1688.
2865         (enable_comdat): Support --enable-comdat.
2866         * configure: Regenerate.
2867         * doc/install.texi (Configuration): Document --enable-comdat.
2868
2869 2010-04-09  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2870
2871         * config/sparc/sol2-gld.h: Remove SPARC reference.  Rename ...
2872         * config/sol2-gld.h: ... here.
2873         * config.gcc (sparc*-*-solaris2*): Reflect this.
2874         (i[34567]86-*-solaris2*): Use it.
2875
2876 2010-04-09  Steve Ellcey  <sje@cup.hp.com>
2877
2878         * config/ia64/ia64.c (ia64_dfa_new_cycle): Remove unused variable
2879         setup_clocks_p.
2880         (final_emit_insn_group_barriers): Remove unused variable prev_insn.
2881
2882 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2883
2884         PR 42965
2885         * diagnostic.c (diagnostic_initialize): Initialize
2886         some_warnings_are_errors.
2887         (diagnostic_finish): New.
2888         (diagnostic_action_after_output): Call it before exiting.
2889         (diagnostic_report_diagnostic): Do not print message here. Set
2890         some_warnings_are_errors.
2891         * diagnostic.h (diagnostic_context): Delete
2892         issue_warnings_are_errors_message. Add some_warnings_are_errors.
2893         (diagnostic_finish): Declare.
2894         * toplev.c (toplev_main): Call it before exit.
2895
2896 2010-04-09  Jason Merrill  <jason@redhat.com>
2897
2898         PR c++/42623
2899         * c-common.c (c_sizeof_or_alignof_type): Return error_mark_node
2900         for incomplete type.
2901
2902         PR c++/41788
2903         * stor-layout.c (finalize_record_size): Don't change TYPE_PACKED
2904         based on a warning flag.
2905
2906 2010-04-09  Richard Guenther  <rguenther@suse.de>
2907
2908         * tree-pretty-print.c (dump_generic_node): Dump TYPE_VECTOR_SUBPARTS.
2909
2910 2010-04-09  Iain Sandoe  <iains@gcc.gnu.org>
2911
2912         PR bootstrap/43684
2913         * varasm.c (default_assemble_visibility): Wrap vars that are
2914         set, but unused, by targets without GAS.
2915         * config/rs6000/rs6000.c: (paired_emit_vector_compare):
2916         Remove set, but unused, vars.
2917         (rs6000_legitimize_tls_address): Likewise.
2918         (altivec_expand_dst_builtin): Likewise.
2919         * config/darwin.c (machopic_classify_symbol): Likewise.
2920         (machopic_indirection_name): Likewise.
2921
2922 2010-04-09  Uros Bizjak  <ubizjak@gmail.com>
2923
2924         * config/i386/i386.md (DWI): New mode iterator.
2925         (S): New mode attribute.
2926         (shift_operand): Ditto.
2927         (shift_immediate_operand): Ditto.
2928         (ashl_input_operand): Ditto.
2929         (ashl<mode>3): Macroize expander from ashl{qi,hi,si,di,ti}3_1
2930         using SDWIM mode iterator.
2931         (*ashl<mode>3_doubleword): New insn_and_split_pattern.  Macroize
2932         pattern from *ashl{di,ti}3_1 and corresponding splitters using
2933         DWI mode iterator.
2934         (*ashl<mode>3_doubleword peephole2): Macroize peephole2 pattern
2935         from corresponding peephole2 patterns.
2936         (x86_shift<mode>_adj_1): Macroize expander from x86_shift_adj_1
2937         and x86_64_shift_adj_1 using SWI48 mode iterator.
2938         (x86_shift<mode>_adj_2): Ditto.
2939         (*ashldi3_1_rex64): Split TYPE_LEA pattern.
2940         (*ashl<mode>3_1): Macroize insn from *ashlsi3_1 and *ashldi3_1_rex64
2941         using SWI48 mode iterator.
2942         (*ashl<mode>3_cmp): Macroize insn from *ashl{qi,hi,si}3_cmp and
2943         *ashldi3_cmp_rex64 using SWI mode iterator.
2944         (*ashl<mode>3_cconly): Macroize insn from *ashl{qi,hi,si}3_cconly and
2945         *ashldi3_cconly_rex64 using SWI mode iterator.
2946         * config/i386/i386.c (ix86_split_ashl): Update for renamed
2947         x86_shift<mode>_adj_{1,2}.
2948         (ix86_split_ashr): Ditto.
2949         (ix86_split_lshr): Ditto.
2950
2951 2010-04-09  Richard Guenther  <rguenther@suse.de>
2952
2953         * target.h (builtin_conversion): Pass in input and output types.
2954         * targhooks.c (default_builtin_vectorized_conversion): Adjust.
2955         * targhooks.h (default_builtin_vectorized_conversion): Likewise.
2956         * tree-vect-stmts.c (vectorizable_conversion): Adjust.
2957         * doc/tm.texi (TARGET_VECTORIZE_BUILTIN_CONVERSION): Adjust.
2958
2959         * config/i386/i386.c (ix86_vectorize_builtin_conversion): Adjust.
2960         Handle AVX modes.
2961         * config/rs6000/rs6000.c (rs6000_builtin_conversion): Adjust.
2962
2963 2010-04-09  Richard Guenther  <rguenther@suse.de>
2964
2965         PR target/43152
2966         * config/i386/sse.md (vcond<mode>): Handle AVX modes as well.
2967
2968 2010-04-09  Richard Guenther  <rguenther@suse.de>
2969
2970         * tree-vectorizer.h (struct _stmt_vec_info): Document
2971         that vectype is the type of the LHS.
2972         (supportable_widening_operation, supportable_narrowing_operation):
2973         Get both input and output vector types as arguments.
2974         (vect_is_simple_use_1): Declare.
2975         (get_same_sized_vectype): Likewise.
2976         * tree-vect-loop.c (vect_determine_vectorization_factor):
2977         Set STMT_VINFO_VECTYPE to the vector type of the def.
2978         (vectorizable_reduction): Adjust.
2979         * tree-vect-patterns.c (vect_recog_widen_mult_pattern):
2980         Adjust.  Specify the output vector type.
2981         (vect_pattern_recog_1): Adjust.
2982         * tree-vect-stmts.c (get_same_sized_vectype): New function.
2983         (vectorizable_call): Adjust.
2984         (vectorizable_conversion): Likewise.
2985         (vectorizable_operation): Likewise.
2986         (vectorizable_type_demotion): Likewise.
2987         (vectorizable_type_promotion): Likewise.
2988         (vect_analyze_stmt): Set STMT_VINFO_VECTYPE to the vector type of
2989         the def.
2990         (vect_is_simple_use_1): New function.
2991         (supportable_widening_operation): Get both input and output
2992         vector types.
2993         (supportable_narrowing_operation): Likewise.
2994         * tree-vect-slp.c (vect_schedule_slp_instance): Adjust.
2995
2996 2010-04-09  Kai Tietz  <kai.tietz@onevision.com>
2997
2998         * config/i386/cygming.h (TARGET_OS_CPP_BUILTINS): Add
2999         __thiscall and _thiscall as predefined macros.
3000         * config/i386/i386.c (ix86_handle_cconv_attribute): Add
3001         thiscall attribute handling.
3002         (ix86_comp_type_attributes): Likewise.
3003         (ix86_function_regparm): Likewise.
3004         (ix86_return_pops_args): Likewise.
3005         (init_cumulative_args): Likewise.
3006         (find_drap_reg): Likewise.
3007         (ix86_static_chain): Likewise.
3008         (x86_this_parameter): Likewise.
3009         (x86_output_mi_thunk): Likewise.
3010         (ix86_attribute_table): Add description for thiscall attribute.
3011         * config/i386/i386.h (ix86_args): Adjust comment for member fastcall.
3012         * doc/extend.texi: Add documentation for thiscall.
3013
3014 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3015
3016         PR c++/28584
3017         * c.opt (Wint-to-pointer-cast): Available in C++.
3018         * doc/invoke.texi (Wint-to-pointer-cast): Available in C++.
3019
3020 2010-04-08  Eric Botcazou  <ebotcazou@adacore.com>
3021
3022         * tree.h (TREE_ADDRESSABLE): Document its effect for function types.
3023         * calls.c (expand_call): Pass the function type to aggregate_value_p.
3024         * function.c (aggregate_value_p): Do not honor DECL_BY_REFERENCE on
3025         the target function of a CALL_EXPR.  Honor TREE_ADDRESSABLE on the
3026         function type instead.  Reorder and simplify checks.
3027
3028         * gimplify.c (gimplify_modify_expr_rhs) <WITH_SIZE_EXPR>: New case.
3029
3030 2010-04-08  Jing Yu  <jingyu@google.com>
3031             Zdenek Dvorak  <ook@ucw.cz>
3032
3033         PR tree-optimization/42720
3034         * tree-ssa-loop-unswitch.c (tree_ssa_unswitch_loops): Move one-time
3035         loop unswitch conditions here from ...
3036         (tree_unswitch_single_loop): ... here.
3037
3038 2010-04-08  Sebastian Pop  <sebastian.pop@amd.com>
3039
3040         * tree-if-conv.c: Fix comments and simplify logic.
3041
3042 2010-04-08  Sebastian Pop  <sebastian.pop@amd.com>
3043
3044         * tree-if-conv.c (if_convertible_loop_p): Remove unused parameter.
3045         (tree_if_conversion): Same.  Update call to if_convertible_loop_p.
3046         (main_tree_if_conversion): Update call to tree_if_conversion.
3047
3048 2010-04-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3049
3050         PR 42485
3051         * doc/invoke.texi (-b,-V): Delete.
3052         * doc/tm.texi: Do not mention -b.
3053         * gcc.c (display_help): Delete -b and -V.
3054         (process_command): Delete -b and -V.
3055         * gcc.h (DEFAULT_SWITCH_TAKES_ARG): Delete -b and -V.
3056
3057 2010-04-08  Christian Borntraeger  <borntraeger@de.ibm.com>
3058             Wolfgang Gellerich  <gellerich@de.ibm.com>
3059
3060         Implement target hook for loop unrolling
3061         * target.h (loop_unroll_adjust): Add a new target hook function.
3062         * target-def.h (TARGET_LOOP_UNROLL_ADJUST): Likewise.
3063         * doc/tm.texi (TARGET_LOOP_UNROLL_ADJUST): Document it.
3064         * config/s390/s390.c (TARGET_LOOP_UNROLL_ADJUST): Define it.
3065         (s390_loop_unroll_adjust): Implement the new target hook for s390.
3066         * loop-unroll.c (decide_unroll_runtime_iterations): Call loop unroll
3067         target hook.
3068         (decide_unroll_stupid): Likewise.
3069
3070 2010-04-08  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3071
3072         PR target/43643
3073         * config/i386/gmon-sol2.c [__x86_64__]: Properly restore %rcx.
3074
3075 2010-04-08  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3076
3077         * doc/install.texi (Specific, i?86-*-solaris2.10): Fix grammar.
3078         (Specific, *-*-solaris2*): Likewise.
3079         Don't prefer Sun as over GNU as.
3080
3081 2010-04-08  Wolfgang Gellerich  <gellerich@de.ibm.com>
3082
3083         * config/s390/s390.c (override_options): Adjust the z10
3084           defaults for max-unroll-times, max-completely-peeled-insns
3085           and max-completely-peel-times.
3086
3087 2010-04-08  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
3088
3089         * config/s390/s390.c (s390_expand_movmem): Issue prefetch
3090         instructions for z10.
3091         (s390_expand_setmem): Likewise.
3092         (s390_expand_cmpmem): Likewise.
3093
3094 2010-04-08  Richard Guenther  <rguenther@suse.de>
3095
3096         PR tree-optimization/43679
3097         * tree-ssa-pre.c (eliminate): Only propagate copies.
3098
3099 2010-04-08  Jakub Jelinek  <jakub@redhat.com>
3100
3101         PR bootstrap/43681
3102         * expr.c (block_move_libcall_safe_for_call_parm): Avoid
3103         set but not used variable warning.
3104
3105 2010-04-08  Wei Guozhi  <carrot@google.com>
3106
3107         PR target/41653
3108         * config/arm/arm.c (thumb1_size_rtx_costs): New function.
3109         (arm_size_rtx_costs): Call the new function when optimized for size.
3110
3111 2010-04-08  Jakub Jelinek  <jakub@redhat.com>
3112
3113         PR debug/43670
3114         * cfgexpand.c (expand_debug_expr): If for non-NULL offset
3115         op0 is not a MEM, just return NULL instead of assertion
3116         failure.
3117         (discover_nonconstant_array_refs): Don't walk debug stmts.
3118
3119 2010-04-08  Doug Kwan  <dougkwan@google.com>
3120
3121         * configure.ac: Recognize gold and do not use its version number
3122         to test ld features.
3123         * configure: Regenerate.
3124
3125 2010-04-08  Maxim Kuvyrkov  <maxim@codesourcery.com>
3126
3127         PR middle-end/40815
3128         * tree-ssa-reassoc.c (broken_up_substracts): Rename to plus_negates.
3129         (negate_value): Move code to push elements to broken_up_substracts ...
3130         (eliminate_plus_minus_pair): ... here.  Push operands that have no
3131         negative pair to plus_negates.
3132         (repropagate_negates, init_reassoc, fini_reassoc): Update.
3133
3134 2010-04-07  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
3135
3136         * doc/install.texi (Configuration): Move description of
3137         --enable-lto, --with-libelf*, --enable-gold from Java section to
3138         general section.
3139
3140         * doc/generic.texi (Working with declarations)
3141         (Function Properties, C and C++ Trees): Fix typos.
3142         * doc/sourcebuild.texi (Top Level): Likewise.
3143
3144 2010-04-07  Jakub Jelinek  <jakub@redhat.com>
3145
3146         PR c/18624
3147         * tree.h (DECL_READ_P): Define.
3148         (struct tree_decl_common): Add decl_read_flag.
3149         * c-decl.c (pop_scope): If TREE_USED but !DECL_READ_P, issue
3150         a set but not used warning.
3151         (merge_decls): Merge DECL_READ_P flag.
3152         (finish_decl, build_compound_literal): Set DECL_READ_P flag.
3153         (finish_function): Issue -Wunused-but-set-parameter diagnostics.
3154         * c-common.c (handle_used_attribute, handle_unused_attribute):
3155         Likewise.
3156         * c-tree.h (default_function_array_read_conversion, mark_exp_read):
3157         New prototypes.
3158         * c-typeck.c (default_function_array_read_conversion, mark_exp_read):
3159         New functions.
3160         (default_conversion, c_process_expr_stmt): Call mark_exp_read.
3161         * c-parser.c (c_parser_initializer, c_parser_expr_no_commas,
3162         c_parser_binary_expression, c_parser_cast_expression,
3163         c_parser_expr_list, c_parser_omp_atomic, c_parser_omp_for_loop):
3164         Call default_function_array_read_conversion instead of
3165         default_function_array_conversion where needed.
3166         (c_parser_unary_expression, c_parser_conditional_expression,
3167         c_parser_postfix_expression_after_primary, c_parser_initelt):
3168         Likewise.  Call mark_exp_read where needed.
3169         (c_parser_statement_after_labels, c_parser_asm_operands,
3170         c_parser_typeof_specifier, c_parser_sizeof_expression,
3171         c_parser_alignof_expression, c_parser_initval): Call mark_exp_read
3172         where needed.
3173         * common.opt (Wunused-but-set-variable, Wunused-but-set-parameter):
3174         New.
3175         * toplev.c (warn_unused_but_set_variable): Default to warn_unused.
3176         (warn_unused_but_set_parameter): Default to warn_unused
3177         && extra_warnings.
3178         * doc/invoke.texi: Document -Wunused-but-set-variable and
3179         -Wunused-but-set-parameter.
3180
3181         * tree-ssa-pre.c (my_rev_post_order_compute): Remove set but not
3182         used count variable.
3183         * genemit.c (gen_expand, gen_split): Avoid set but not used warnings
3184         when operandN variables aren't used in the body of the expander
3185         or splitter.
3186         * tree-outof-ssa.c (FOR_EACH_ELIM_GRAPH_SUCC,
3187         FOR_EACH_ELIM_GRAPH_PRED): Avoid set but not used warnings.
3188         * tree-ssa-operands.h (FOR_EACH_SSA_TREE_OPERAND): Likewise.
3189         * tree-flow.h (FOR_EACH_IMM_USE_FAST, FOR_EACH_IMM_USE_STMT,
3190         FOR_EACH_IMM_USE_ON_STMT): Likewise.
3191         * tree.h (FOR_EACH_CONSTRUCTOR_ELT): Likewise.
3192         * tree.c (PROCESS_ARG): Likewise.
3193
3194 2010-04-07  Simon Baldwin  <simonb@google.com>
3195
3196         * diagnostic.h (diagnostic_override_option_index): New macro to
3197         set a diagnostic's option_index.
3198         * c-tree.h (c_cpp_error): Add warning reason argument.
3199         * opts.c (_warning_as_error_callback): New.
3200         (register_warning_as_error_callback): Store callback for
3201         warnings enabled via enable_warning_as_error.
3202         (enable_warning_as_error): Call callback, minor code tidy.
3203         * opts.h (register_warning_as_error_callback): Declare.
3204         * c-opts.c (warning_as_error_callback): New, set cpp_opts flag in
3205         response to -Werror=.
3206         (c_common_init_options): Register warning_as_error_callback in opts.c.
3207         * common.opt: Add -Wno-cpp option.
3208         * c-common.c (struct reason_option_codes_t): Map cpp warning
3209         reason codes to gcc option indexes.
3210         * (c_option_controlling_cpp_error): New function, lookup the gcc
3211         option index for a cpp warning reason code.
3212         * (c_cpp_error): Add warning reason argument, call
3213         c_option_controlling_cpp_error for diagnostic_override_option_index.
3214         * doc/invoke.texi: Document -Wno-cpp.
3215
3216 2010-04-07  Richard Guenther  <rguenther@suse.de>
3217
3218         * ipa-reference.c (mark_load): Use get_base_address.
3219         (mark_store): Likewise.
3220
3221         * tree-ssa-ccp.c (gimplify_and_update_call_from_tree): Avoid
3222         inserting GIMPLE_NOPs into the IL.
3223         * tree-ssa-structalias.c (get_constraint_for_component_ref):
3224         Explicitly strip handled components and indirect references.
3225
3226         * fold-const.c (fold_unary_loc): Do not strip qualifiers when
3227         folding address expressions.
3228         * gimple.c (gimple_ior_addresses_taken_1): Use get_base_address.
3229         * tree-ssa-alias.c (decl_refs_may_alias_p): Do not use
3230         operand_equal_p to compare decls.
3231         (ptr_deref_may_alias_decl_p): Likewise.
3232         * tree-ssa-operands.c (get_asm_expr_operands): Simplify
3233         * tree-ssa-forwprop.c (forward_propagate_into_gimple_cond):
3234         Handle reversed comparison ops.
3235         * tree-sra.c (asm_visit_addr): Use get_base_address.
3236         * ipa-prop.c (visit_store_addr_for_mod_analysis): Use get_base_address.
3237         * ipa-reference.c (mark_address): Use get_base_address.
3238
3239 2010-04-07  Richard Guenther  <rguenther@suse.de>
3240
3241         * tree-ssa-forwprop.c (forward_propagate_addr_expr):
3242         Propagate constants everywhere.
3243
3244 2010-04-07  Jakub Jelinek  <jakub@redhat.com>
3245
3246         PR debug/43516
3247         * tree.c (MAX_INT_CACHED_PREC): Define.
3248         (nonstandard_integer_type_cache): New array.
3249         (build_nonstandard_integer_type): Cache results for precision
3250         <= MAX_INT_CACHED_PREC.
3251
3252 2010-04-07  Richard Guenther  <rguenther@suse.de>
3253
3254         * doc/invoke.texi (-fargument-alias, -fargument-noalias,
3255         -fargument-noalias-global, -fargument-noalias-anything): Remove.
3256         * common.opt: Likewise.
3257         * tree-ssa-structalias.c (intra_create_variable_infos): Adjust comment.
3258         * alias.c (base_alias_check): Remove flag_argument_noalias handling.
3259         (nonoverlapping_memrefs_p): Likewise.
3260         * emit-rtl.c (set_mem_attributes_minus_bitpos): Likewise.
3261         * opts.c (common_handle_option): Handle OPT_fargument_alias,
3262         OPT_fargument_noalias, OPT_fargument_noalias_anything and
3263         OPT_fargument_noalias_global for backward compatibility.
3264
3265 2010-04-07  Richard Guenther  <rguenther@suse.de>
3266
3267         PR tree-optimization/43270
3268         * tree-vrp.c (check_array_ref): Fix flexible array member detection.
3269         * tree-ssa-sccvn.h (fully_constant_vn_reference_p): Declare.
3270         * tree-ssa-pre.c (phi_translate_1): Adjust.
3271         (fully_constant_expression): Split out vn_reference handling to ...
3272         * tree-ssa-sccvn.c (fully_constant_vn_reference_p): ... here.
3273         Fold reads from constant strings.
3274         (vn_reference_lookup): Handle fully constant references.
3275         (vn_reference_lookup_pieces): Likewise.
3276         * Makefile.in (expmed.o-warn): Add -Wno-error.
3277
3278 2010-04-07  Martin Jambor  <mjambor@suse.cz>
3279
3280         * tree-sra.c (find_param_candidates): Allow scalar va_list types.
3281
3282 2010-04-07  Iain Sandoe  <iains@gcc.gnu.org>
3283
3284         PR driver/41594
3285         * gcc.c: Add -static-libstdc++ to list of recognized options.
3286
3287 2010-04-07  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3288
3289         * config.gcc (i[34567]86-*-solaris2*): Default with_tune_32 to generic.
3290
3291 2010-04-07  Richard Guenther  <rguenther@suse.de>
3292
3293         PR middle-end/42617
3294         * expr.c (expand_expr_real_1): For TARGET_MEM_REFs with pointer
3295         bases build simple mem attributes to retain points-to information.
3296
3297 2010-04-07  Richard Guenther  <rguenther@suse.de>
3298
3299         PR middle-end/42617
3300         * alias.c (ao_ref_from_mem): Without MEM_OFFSET or MEM_SIZE
3301         preserve points-to related information.
3302
3303 2010-04-07  Richard Guenther  <rguenther@suse.de>
3304
3305         PR middle-end/42617
3306         * emit-rtl.c (set_mem_attributes_minus_bitpos): Do not
3307         discard plain indirect references.
3308         * fold-const.c (operand_equal_p): Guard against NULL_TREE type.
3309         * tree.c (tree_nop_conversion): Likewise.
3310
3311 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
3312
3313         PR debug/43628
3314         * dwarf2out.c (modified_type_die): Ignore artificial typedefs.
3315
3316 2010-04-06  Kai Tietz  <kai.tietz@onevision.com>
3317
3318         * config/i386/i386.c (ix86_handle_cconv_attribute): Ignore
3319         calling convention attributes on METHOD_TYPEs for w64 ABI, too.
3320
3321 2010-04-07  Sebastian Pop  <sebastian.pop@amd.com>
3322
3323         * tree-if-conv.c: Fix indentation and comments.
3324
3325 2010-04-07  Sebastian Pop  <sebastian.pop@amd.com>
3326
3327         * tree-if-conv.c: Sort static functions in topological order.
3328
3329 2010-04-07  Sebastian Pop  <sebastian.pop@amd.com>
3330
3331         * tree-if-conv.c: Fix indentation and comments.
3332
3333 2010-04-06  Sebastian Pop  <sebastian.pop@amd.com>
3334
3335         PR middle-end/43519
3336         * graphite-clast-to-gimple.c (max_signed_precision_type): Use
3337         lang_hooks.types.type_for_size instead of
3338         build_nonstandard_integer_type.
3339         When converting an unsigned type to signed, double its precision.
3340         (gcc_type_for_interval): Use lang_hooks.types.type_for_size.
3341         (gcc_type_for_iv_of_clast_loop): Call max_signed_precision_type.
3342         (graphite_create_new_loop_guard): When ub + 1 wraps around,
3343         use lb <= ub.
3344
3345 2010-04-06  Sebastian Pop  <sebastian.pop@amd.com>
3346
3347         PR middle-end/43519
3348         * graphite-clast-to-gimple.c (graphite_create_new_loop_guard): Use
3349         POINTER_PLUS_EXPR for pointer types.
3350
3351 2010-04-06  Sebastian Pop  <sebastian.pop@amd.com>
3352
3353         PR middle-end/43519
3354         * Makefile.in (graphite-clast-to-gimple.o): Depends on langhooks.h.
3355         * graphite-clast-to-gimple.c: Include langhooks.h.
3356         (max_signed_precision_type): New.
3357         (max_precision_type): Takes two types as arguments.
3358         (precision_for_value): New.
3359         (precision_for_interval): New.
3360         (gcc_type_for_interval): New.
3361         (gcc_type_for_value): New.
3362         (gcc_type_for_clast_term): New.
3363         (gcc_type_for_clast_red): New.
3364         (gcc_type_for_clast_bin): New.
3365         (gcc_type_for_clast_expr): Split up into several functions.
3366         (gcc_type_for_clast_eq): Rewritten.
3367         (compute_bounds_for_level): New.
3368         (compute_type_for_level_1): New.
3369         (compute_type_for_level): New.
3370         (gcc_type_for_cloog_iv): Removed.
3371         (gcc_type_for_iv_of_clast_loop): Rewritten.
3372         (graphite_create_new_loop): Compute the lower and upper bound types
3373         with gcc_type_for_clast_expr.
3374         (graphite_create_new_loop_guard): Same.
3375         (find_cloog_iv_in_expr): Removed.
3376         (compute_cloog_iv_types_1): Removed.
3377         (compute_cloog_iv_types): Removed.
3378         (gloog): Do not call compute_cloog_iv_types.
3379         * graphite-sese-to-poly.c (new_gimple_bb): Do not initialize
3380         GBB_CLOOG_IV_TYPES.
3381         (free_data_refs_aux): Do not free GBB_CLOOG_IV_TYPES.
3382         * sese.h (struct gimple_bb): Removed field cloog_iv_types.
3383         (GBB_CLOOG_IV_TYPES): Removed.
3384
3385 2010-04-06  Sebastian Pop  <sebastian.pop@amd.com>
3386
3387         * graphite-sese-to-poly.c (rewrite_close_phi_out_of_ssa): Assert that
3388         gimple_phi_num_args of the loop close SSA phi node is equal to 1.
3389         (detect_commutative_reduction): Same.
3390
3391 2010-04-06  Sebastian Pop  <sebastian.pop@amd.com>
3392
3393         * graphite-clast-to-gimple.c (graphite_verify): Remove redundant
3394         call to verify_ssa.  Invoke verify_loop_closed_ssa with an extra
3395         argument.
3396         * graphite-scop-detection.c (canonicalize_loop_closed_ssa_form): Same.
3397         * graphite-sese-to-poly.c (rewrite_reductions_out_of_ssa): Same.
3398         (rewrite_commutative_reductions_out_of_ssa): Same.
3399         * passes.c (execute_function_todo): Call verify_ssa for every pass
3400         in the LNO.  Invoke verify_loop_closed_ssa with an extra argument.
3401         * tree-flow.h (verify_loop_closed_ssa): Update declaration.
3402         * tree-parloops.c (parallelize_loops): Invoke verify_loop_closed_ssa
3403         with an extra argument.
3404         * tree-ssa-loop-manip.c (check_loop_closed_ssa_stmt): Same.  Call
3405         verify_ssa only when the extra argument is true.
3406         (gimple_duplicate_loop_to_header_edge): Invoke verify_loop_closed_ssa
3407         with an extra argument.
3408         (tree_transform_and_unroll_loop): Same.
3409
3410 2010-04-06  Sebastian Pop  <sebastian.pop@amd.com>
3411
3412         * passes.c (execute_function_todo): Call verify_loop_closed_ssa
3413         for all the passes of the LNO having LOOP_CLOSED_SSA.
3414         * tree-if-conv.c (pass_if_conversion): Remove TODO_verify_loops.
3415         * tree-loop-distribution.c (pass_loop_distribution): Same.
3416         * tree-pass.h (TODO_verify_loops): Removed.
3417         * tree-ssa-loop.c (pass_tree_loop_init): Same.
3418         (pass_lim): Same.
3419         (pass_tree_unswitch): Same.
3420         (pass_predcom): Same.
3421         (pass_vectorize): Same.
3422         (pass_linear_transform): Same.
3423         (pass_graphite_transforms): Same.