OSDN Git Service

PR middle-end/43337
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
2
3         * dwarf2out.c (lower_bound_default): For DW_LANG_Python return
4         0 for -gdwarf-4.
5
6         PR middle-end/43337
7         * tree-nested.c (convert_nonlocal_omp_clauses): OMP_CLAUSE_PRIVATE
8         with non-local decl doesn't need chain.
9
10 2010-04-19  Vladimir Makarov  <vmakarov@redhat.com>
11
12         * ira-color.c (allocno_reload_assign): Avoid accumulating
13         reload registers in ALLOCNO_TOTAL_CONFLICT_HARD_REGS.
14
15 2010-04-19  Martin Jambor  <mjambor@suse.cz>
16
17         * gimple.h (create_tmp_reg): Declare.
18         * gimplify.c (create_tmp_reg): New function.
19         (gimplify_return_expr): Use create_tmp_reg.
20         (gimplify_omp_atomic): Likewise.
21         (gimple_regimplify_operands): Likewise.
22         * tree-dfa.c (make_rename_temp): Likewise.
23         * tree-predcom.c (predcom_tmp_var): Likewise.
24         (reassociate_to_the_same_stmt): Likewise.
25         * tree-sra.c (replace_uses_with_default_def_ssa_name): Likewise.
26         (get_replaced_param_substitute): Likewise.
27         * tree-ssa-phiprop.c (phiprop_insert_phi): Likewise.
28         * tree-ssa-phiopt.c (cond_store_replacement): Likewise.
29         * tree-ssa-pre.c (get_representative_for): Likewise.
30         (create_expression_by_pieces): Likewise.
31         * tree-tailcall.c (adjust_return_value_with_ops): Likewise.
32         (create_tailcall_accumulator): Likewise.
33
34 2010-04-19  Martin Jambor  <mjambor@suse.cz>
35
36         * cgraphunit.c (cgraph_redirect_edge_call_stmt_to_callee): Update
37         new_stmt.
38         (cgraph_materialize_all_clones): Assert !need_ssa_update_p.
39
40 2010-04-19  Richard Guenther  <rguenther@suse.de>
41
42         PR tree-optimization/43796
43         * tree-vrp.c (adjust_range_with_scev): Lookup init and step
44         from SCEV in the lattice.
45         (vrp_visit_phi_node): Dump change.
46
47 2010-04-19  Richard Guenther  <rguenther@suse.de>
48
49         * configure.ac: Fix quoting around elf_getshstrndx ABI check.
50         * configure: Re-generated.
51
52 2010-04-19  Richard Guenther  <rguenther@suse.de>
53
54         PR tree-optimization/43783
55         * tree-ssa-pre.c (create_component_ref_by_pieces_1): Drop
56         constant ARRAY_REF operands two and three if possible.
57
58 2010-04-19  Uros Bizjak  <ubizjak@gmail.com>
59
60         PR target/43766
61         * config/i386/i386.c (ix86_decompose_address): Handle ASHIFT addends.
62
63 2010-04-19  Jie Zhang  <jie@codesourcery.com>
64
65         PR target/43662
66         * reginfo.c (reinit_regs): Set caller_save_initialized_p to false.
67
68 2010-04-19 Ira Rosen <irar@il.ibm.com>
69
70         PR tree-optimization/37027
71         * tree-vectorizer.h (struct _loop_vec_info): Add new field reductions 
72         and macro to access it.
73         (vectorizable_reduction): Add argument.
74         (vect_get_slp_defs): Likewise.
75         * tree-vect-loop.c (vect_analyze_scalar_cycles_1): Collect reduction
76         statements for possible use in SLP.
77         (new_loop_vec_info): Initialize LOOP_VINFO_REDUCTIONS.
78         (destroy_loop_vec_info): Free LOOP_VINFO_REDUCTIONS.
79         (vect_create_epilog_for_reduction): Handle SLP. Modify documentation,
80         add new argument.
81         (vectorizable_reduction): Likewise.
82         * tree-vect-stmts.c (vect_get_vec_defs): Update call to 
83         vect_get_slp_defs.
84         (vectorizable_type_demotion, vectorizable_type_promotion,
85         vectorizable_store): Likewise.
86         (vect_analyze_stmt): Update call to vectorizable_reduction.
87         (vect_transform_stmt): Likewise.
88         * tree-vect-slp.c (vect_get_and_check_slp_defs): Handle reduction.
89         (vect_build_slp_tree): Fix indentation. Check that there are no loads
90         from different interleaving chains in same node.
91         (vect_slp_rearrange_stmts): New function.
92         (vect_supported_load_permutation_p): Allow load permutations for 
93         reductions. Call vect_slp_rearrange_stmts() to rearrange statements
94         inside SLP nodes if necessary.
95         (vect_analyze_slp_instance): Handle reductions.
96         (vect_analyze_slp): Try to build SLP instances originating from groups
97         of reductions.
98         (vect_detect_hybrid_slp_stmts): Skip reduction statements.
99         (vect_get_constant_vectors): Create initial vectors for reductions
100         according to reduction code. Add new argument.
101         (vect_get_slp_defs): Add new argument, pass it to 
102         vect_get_constant_vectors.
103         (vect_schedule_slp_instance): Remove SLP tree root statements.
104
105 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
106
107         * tree.h (ENUM_IS_SCOPED): Define.
108         * dwarf2out.c (gen_enumeration_type_die): Add DW_AT_enum_class
109         for ENUM_IS_SCOPED enums.
110
111 2010-04-18  Eric Botcazou  <ebotcazou@adacore.com>
112
113         * fold-const.c (fold_comparison): Use ssizetype.
114         * gimple-fold.c (maybe_fold_offset_to_array_ref): Likewise.
115         * ipa-prop.c (ipa_modify_call_arguments): Use sizetype.
116         * tree-loop-distribution.c (build_size_arg_loc): Likewise.
117         * tree-object-size.c (compute_object_sizes): Use size_type_node.
118
119         * tree.h (initialize_sizetypes): Remove parameter.
120         (build_common_tree_nodes): Remove second parameter.
121         * stor-layout.c (initialize_sizetypes): Remove parameter.
122         Always create an unsigned type.
123         (set_sizetype): Assert that the passed type is unsigned and simplify.
124         * tree.c (build_common_tree_nodes): Remove second parameter.
125         Adjust call to initialize_sizetypes.
126         * c-decl.c (c_init_decl_processing): Remove second argument in call to
127         build_common_tree_nodes.
128
129 2010-04-18  Matthias Klose  <doko@ubuntu.com>
130
131         * gcc.c (main): Search for liblto_plugin.so with mode R_OK.
132
133 2010-04-18 Ira Rosen <irar@il.ibm.com> 
134
135         PR tree-optimization/43771
136         * tree-vect-slp.c (vect_supported_load_permutation_p): Check that
137         load permutation doesn't have gaps.
138
139 2010-04-18  Jan Hubicka  <jh@suse.cz>
140
141         * i386.md (UNSPEC_SSE_PROLOGUE_SAVE_LOW): New.
142         (sse_prologue_save_insn expander): Use new pattern.
143         (sse_prologue_save_insn1): New pattern and splitter.
144         (sse_prologue_save_insn): Update to deal also with 64bit aligned
145         blocks.
146         * i386.c (setup_incoming_varargs_64): Do not compute jump
147         destination here.
148         (ix86_gimplify_va_arg): Update alignment needed.
149         (ix86_local_alignment): Do not align all local arrays to 128bit.
150
151 2010-04-17  Jan Hubicka  <jh@suse.cz>
152
153         * ipa-inline.c (cgraph_early_inlining): Handle flattening too.
154
155 2010-04-17  Richard Earnshaw  <rearnsha@arm.com>
156
157         * arm.md (negdi2): Remove redundant code to force values into a
158         register.
159
160 2010-04-17  Richard Earnshaw  <rearnsha@arm.com>
161
162         * arm/bpabi.S: Add EABI alignment attributes to objects.
163         * arm/bpabi-v6m.S: Likewise.
164         * arm/crti.asm: Likewise.
165         * arm/crtn.asm: Likewise.
166         * arm/lib1funcs.asm: Likewise.
167         * arm/libunwind.S: Likewise.
168
169 2010-04-17  Richard Earnshaw  <rearnsha@arm.com>
170
171         * arm-protos.h (tune_params): New structure.
172         * arm.c (current_tune): New variable.
173         (arm_constant_limit): Delete.
174         (struct processors): Add pointer to the tune parameters.
175         (arm_slowmul_tune): New tuning option.
176         (arm_fastmul_tune, arm_xscale_tune, arm_9e_tune): Likewise.
177         (all_cores): Adjust to pick up the tuning model.
178         (arm_constant_limit): New function.
179         (arm_override_options): Select the appropriate tuning model.  Delete
180         initialization of arm_const_limit.
181         (arm_split_constant): Use the new constant-limit model.
182         (arm_rtx_costs): Pick up the current tuning model.
183         * arm.md (is_strongarm, is_xscale): Delete.
184         * arm-generic.md (load_ldsched_x, load_ldsched): Test explicitly
185         for Xscale variant architectures.
186         (mult_ldsched_strongarm, mult_ldsched): Similarly for StrongARM.
187
188 2010-04-17  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
189
190         * config/arm/arm.c (arm_gen_constant): Remove unused variable
191         can_shift.
192         (arm_rtx_costs_1): Remove unused variable extra_cost.
193         (arm_unwind_emit_set): Use variable offset.
194         (thumb1_output_casesi): Remove unused variable flags.
195
196 2010-04-16  Jeff Law  <law@redhat.com>
197
198         * ira-color.c (ira_reassign_pseudos): Collect and sort all the pseudos
199         needing assignment rather than doing a two-phase assignment.  Remove
200         unused variable 'm'.
201
202 2010-04-16  Jakub Jelinek  <jakub@redhat.com>
203
204         PR bootstrap/43767
205         * alias.c (memrefs_conflict_p): Don't crash if CSELIB_VAL_PTR is NULL.
206
207 2010-04-16  Doug Kwan  <dougkwan@google.com>
208
209         * tree-ssa-reassoc.c (struct operand_entry): Add new field ID.
210         (next_operand_entry_id): New static variable.
211         (sort_by_operand_rank): Stabilize qsort comparator by using unique IDs.
212         (add_to_ops_vec): Assigned unique ID to operand entry.
213         (struct oecount_s): New field ID.
214         (oecount_cmp): Stabilize qsort comparotor by using unique IDs.
215         (undistribute_ops_list): Assign unique IDs to oecounts.
216         (init_reassoc): reset next_operand_entry_id.
217
218 2010-04-16  Doug Kwan  <dougkwan@google.com>
219
220         * config/i386/i386.md (*jcc_bt<mode>): Fix build breakage by adding
221         missing left parenthesis.
222         
223 2010-04-16  Uros Bizjak  <ubizjak@gmail.com>
224
225         * config/i386/i386.md (*bt<mode>): Macroize insn from *btsi and
226         *btdi_rex64 using SWI48 mode iterator.
227         (*jcc_bt<mode>): Ditto from *jcc_btsi and *jcc_btdi_rex64.
228         (*jcc_bt<mode>_mask): Ditto from *jcc_btsi_mask and
229         *jcc_btdi_mask_rex64.
230
231 2010-04-16  Anatoly Sokolov  <aesok@post.ru>
232
233         * double-int.h (tree_to_double_int): Convert to macro.
234         * double-int.c (tree_to_double_int): Remove.
235
236 2010-04-16  Jakub Jelinek  <jakub@redhat.com>
237
238         PR debug/43762
239         * dwarf2out.c (add_bound_info): Always call loc_list_from_tree
240         with want_address 2 and in case a single element list might be
241         possible, call it again with want_address 0.
242
243 2010-04-12  Kaushik Phatak  <kaushik.phatak@kpitcummins.com>
244
245         * config/h8300/h8300.c (print_operand) : Modify case 'V' and
246         case 'W' print operands for HI mode.
247         * config/h8300/h8300.h (Y0, Y2) : New constraints.
248         * config/h8300/h8300.md (bclrqi_msx, bclrhi_msx): New patterns
249         (bsetqi_msx, bsethi_msx, bnotqi_msx, bnothi_msx): Likewise.
250         * config/h8300/predicate.md (bit_register_indirect_operand): New.
251
252         * config/h8300/h8300.h (OK_FOR_U): Support 'U' constraint for H8300SX.
253
254         * config/h8300/h8300.md (movqi_h8sx, movhi_h8sx, movsi_h8sx, 
255         cmphi_h8300hs_znvc, cmpsi, addhi3_h8sx) : Emit instructions in
256         #xx:3 and #xx:4 mode.
257
258         * config/h8300/h8300.md (inverted load with HImode dest): Add
259         support for H8300SX.
260
261         * config/h8300/predicate.md (bit_operand): Allow immediate values that
262         satisfy 'U' constraint.
263
264 2010-04-16  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
265
266         * configure.ac: Check for elf_getshdrstrndx or elf_getshstrndx
267         flavor.
268         * configure: Regenerate.
269         * config.in: Regenerate.
270         * doc/install.texi (Prerequisites): Document that Solaris 2 libelf
271         works.
272
273 2010-04-16  Richard Guenther  <rguenther@suse.de>
274
275         * tree.h (struct tree_decl_minimal): Move pt_uid ...
276         (struct tree_decl_common): ... here.
277         (DECL_PT_UID): Adjust.
278         (SET_DECL_PT_UID): Likewise.
279         (DECL_PT_UID_SET_P): Likewise.
280
281 2010-04-16  Richard Guenther  <rguenther@suse.de>
282
283         PR tree-optimization/43572
284         * tree-ssa-alias.h (call_may_clobber_ref_p): Declare.
285         * tree-ssa-alias.c (call_may_clobber_ref_p): Export.
286         * tree-flow.h (is_call_clobbered): Remove.
287         * tree-flow-inline.h (is_call_clobbered): Likewise.
288         * tree-dfa.c (dump_variable): Do not dump call clobber state.
289         * tree-nrv.c (dest_safe_for_nrv_p): Use the alias oracle.
290         (execute_return_slot_opt): Adjust.
291         * tree-tailcall.c (suitable_for_tail_opt_p): Remove
292         check for call clobbered vars here.
293         (find_tail_calls): Move tailcall verification to the
294         proper place.
295
296 2010-04-16  Diego Novillo  <dnovillo@google.com>
297
298         * doc/invoke.texi: Explain how are unrecognized -Wno- warnings
299         handled.
300
301 2010-04-16  Bernd Schmidt  <bernds@codesourcery.com>
302
303         PR target/40603
304         * config/arm/arm.md (cbranchqi4): New pattern.
305         * config/arm/predicates.md (const0_operand,
306         cbranchqi4_comparison_operator): New predicates.
307
308 2010-04-16  Richard Guenther  <rguenther@suse.de>
309
310         * gimple-pretty-print.c (dump_gimple_phi): Dump alias info.
311         (dump_gimple_stmt): Likewise.
312
313 2010-04-16  Bernd Schmidt  <bernds@codesourcery.com>
314
315         * recog.h (struct recog_data): New field is_operator.
316         (struct insn_operand_data): New field is_operator.
317         * recog.c (extract_insn): Set recog_data.is_operator.
318         * genoutput.c (output_operand_data): Emit code to set the
319         is_operator field.
320         * reload.c (find_reloads): Use it rather than testing for an
321         empty constraint string.
322
323         PR target/41514
324         * config/arm/arm.md (cbranchsi4_insn): Renamed from "*cbranchsi4_insn".
325         If the previous insn is a cbranchsi4_insn with the same arguments,
326         omit the compare instruction.
327
328         * config/arm/arm.md (addsi3_cbranch): If destination is a high
329         register, inputs must be low registers and we need a low register
330         scratch.  Handle alternative 2 like alternative 3.
331
332 2010-04-16  Jakub Jelinek  <jakub@redhat.com>
333
334         * alias.c (memrefs_conflict_p): If x and y are the same VALUE,
335         don't call get_addr on both.  If one expression is a VALUE and
336         the other a REG, check VALUE's locs if the REG isn't among them.
337
338 2010-04-16  Christian Bruel  <christian.bruel@st.com>
339
340         * config/sh/sh.h (sh_frame_pointer_required): New function.
341         * config/sh/sh.h (TARGET_FRAME_POINTER_REQUIRED): New macro.
342         (flag_omit_frame_pointer) Set.
343         (MASK_ACCUMULATE_OUTGOING_ARGS) Define and Set.
344         (rounded_frame_size): Adjust size with outgoing_args_size.
345         (sh_set_return_address): Must return from stack pointer.
346         * gcc/config/sh/sh.h (CAN_DEBUG_WITHOUT_FP): Define.
347         (SUBTARGET_FRAME_POINTER_REQUIRED): Define.
348         (ACCUMULATE_OUTGOING_ARGS): Define.
349         * doc/invoke.texi (maccumulate-outgoing-args): Document for SH.
350         * gcc/config/sh/sh.opt: (maccumulate-outgoing-args): New option.
351
352 2010-04-15  Kaz Kojima  <kkojima@gcc.gnu.org>
353
354         PR target/43471
355         * config/sh/sh.c (sh_legitimize_reload_address): Use
356         MAYBE_BASE_REGISTER_RTX_P instead of BASE_REGISTER_RTX_P.
357         Remove a unneeded check for offset_base.
358
359 2010-04-15  H.J. Lu  <hongjiu.lu@intel.com>
360
361         * configure: Regenerated.
362
363 2010-04-15  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
364
365         * config/s390/s390.c (s390_call_save_register_used): Switch back
366         to HARD_REGNO_NREGS.
367
368 2010-04-15  Richard Guenther  <rguenther@suse.de>
369
370         * alias.c (alias_set_subset_of): Handle alias-set zero
371         child properly.
372
373 2010-04-15  Mark Shinwell  <shinwell@codesourcery.com>
374             Julian Brown  <julian@codesourcery.com>
375
376         * config/arm/thumb2.md (thumb2_movsi_insn): Split ldr and str
377         alternatives according to use of high and low regs.
378         * config/arm/vfp.md (thumb2_movsi_vfp): Likewise.
379         * config/arm/arm.h (CONDITIONAL_REGISTER_USAGE): Use high regs when
380         optimizing for size on Thumb-2.
381
382 2010-04-15  Thomas Schwinge  <tschwinge@gnu.org>
383
384         * config.gcc <i[34567]86-*-gnu*>: Handle softfp as for Linux.
385
386 2010-04-15  Richard Guenther  <rguenther@suse.de>
387
388         * tree-ssa-structalias.c (struct variable_info): Add
389         is_fn_info flag.
390         (new_var_info): Initialize it.
391         (dump_constraints): Support printing last added constraints.
392         (debug_constraints): Adjust.
393         (dump_constraint_graph): Likewise.
394         (make_heapvar_for): Check for NULL cfun.
395         (get_function_part_constraint): New function.
396         (get_fi_for_callee): Likewise.
397         (find_func_aliases): Properly implement IPA PTA constraints.
398         (process_ipa_clobber): New function.
399         (find_func_clobbers): Likewise.
400         (insert_into_field_list_sorted): Remove.
401         (create_function_info_for): Properly allocate vars for IPA mode.
402         Do not use insert_into_field_list_sorted.
403         (create_variable_info_for): Properly generate constraints for
404         global vars in IPA mode.
405         (dump_solution_for_var): Always dump the solution.
406         (set_uids_in_ptset): Initialize DECL_PT_UID if in ipa-mode.
407         (find_what_var_points_to): Adjust.
408         (pt_solution_set): Change.
409         (pt_solution_ior_into): New function.
410         (pt_solution_empty_p): Export.
411         (pt_solution_includes_global): Adjust.
412         (pt_solution_includes_1): Likewise.
413         (pt_solutions_intersect_1): Likewise.
414         (dump_sa_points_to_info): Check some invariants.
415         (solve_constraints): Move constraint dumping ...
416         (compute_points_to_sets): ... here.
417         (ipa_pta_execute): ... and here.
418         (compute_may_aliases): Do not re-compute points-to info
419         locally if IPA info is available.
420         (ipa_escaped_pt): New global var.
421         (ipa_pta_execute): Properly implement IPA PTA.
422         * tree-into-ssa.c (dump_decl_set): Support dumping
423         decls not in referenced-vars.
424         * tree-flow.h (struct gimple_df): Add ipa_pta flag.
425         * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Adjust.
426         (dump_points_to_solution): Likewise.
427         * tree-dfa.c (dump_variable): Also dump DECL_PT_UID.
428         * tree-inline.c (remap_ssa_name): Copy IPA points-to solution.
429         (remap_gimple_stmt): Reset call clobber/use information if
430         necessary.
431         (copy_decl_to_var): Copy DECL_PT_UID.
432         (copy_result_decl_to_var): Likewise.
433         * tree.c (make_node_stat): Initialize DECL_PT_UID.
434         (copy_node_stat): Copy it.
435         * tree.h (DECL_PT_UID): New macro.
436         (SET_DECL_PT_UID): Likewise.
437         (DECL_PT_UID_SET_P): Likewise.
438         (struct tree_decl_minimal): Add pt_uid member.
439         * tree-ssa-alias.h (struct pt_solution): Add ipa_escaped flag.
440         (pt_solution_empty_p): Declare.
441         (pt_solution_set): Adjust.
442         (ipa_escaped_pt): Declare.
443         * cfgexpand.c (update_alias_info_with_stack_vars): Adjust.
444         * gimple-pretty-print.c (pp_points_to_solution): New function.
445         (dump_gimple_call): Dump call clobber/use information.
446         * tree-dump.c (dump_option_value_in): Add TDF_ALIAS entry.
447         * tree-pass.h (TDF_ALIAS): New dump option.
448         * tree-pretty-print.c (dump_decl_name): Dump DECL_PT_UID if asked to.
449         * doc/invoke.texi (-fipa-pta): Update documentation.
450
451 2010-04-15  Richard Guenther  <rguenther@suse.de>
452
453         * Makefile.in (OBJS-common): Add gimple-fold.o.
454         (gimple-fold.o): New rule.
455         * tree.h (maybe_fold_offset_to_reference,
456         maybe_fold_offset_to_address, maybe_fold_stmt_addition): Move
457         prototypes ...
458         * gimple.h: ... here.
459         * tree-flow.h (fold_stmt, fold_stmt_inplace, get_symbol_constant_value,
460         may_propagate_address_into_dereference): Move prototypes ...
461         * gimple.h: ... here.
462         * tree-ssa-ccp.c (get_symbol_constant_value,
463         may_propagate_address_into_dereference, maybe_fold_offset_to_array_ref,
464         maybe_fold_offset_to_component_ref, maybe_fold_offset_to_reference,
465         maybe_fold_offset_to_address, maybe_fold_stmt_indirect,
466         maybe_fold_stmt_addition, maybe_fold_reference, get_maxval_strlen,
467         ccp_fold_builtin, fold_gimple_assign, fold_gimple_cond,
468         fold_gimple_call, fold_stmt_1, fold_stmt, fold_stmt_inplace,
469         gimplify_and_update_call_from_tree): Move ...
470         * gimple-fold.c: ... here.  New file.
471         (ccp_fold_builtin): Rename to ...
472         (gimple_fold_builtin): ... this.
473         * tree-ssa-ccp.c (execute_fold_all_builtins): Adjust.
474
475 2010-04-15  Richard Guenther  <rguenther@suse.de>
476
477         * fold-const.c (LOWPART, HIGHPART, BASE, encode, decode,
478         fit_double_type, force_fit_type_double, add_double_with_sign,
479         neg_double, mul_double_with_sign, lshift_double, rshift_double,
480         lrotate_double, rrotate_double, div_and_round_double): Move ...
481         * double-int.c: ... here.
482         * tree.h (force_fit_type_double, fit_double_type, add_double_with_sign,
483         add_double, neg_double, mul_double_with_sign, mul_double,
484         lshift_double, rshift_double, lrotate_double, rrotate_double,
485         div_and_round_double): Move prototypes ...
486         * double-int.h: ... here.
487
488 2010-04-15  Bernd Schmidt  <bernds@codesourcery.com>
489
490         PR target/43742
491         * config/sh/sh.md (doloop_end_split, dect): Undo previous patch.  Use
492         matching constraints to ensure inputs match the output.
493
494 2010-04-15  Kaz Kojima  <kkojima@gcc.gnu.org>
495
496         PR target/43742
497         * config/sh/sh.md (doloop_end_split): Remove "+r" constraint
498         in an input-only operand.       
499
500 2010-04-15  Anatoly Sokolov  <aesok@post.ru>
501
502         * double-int.h (HOST_BITS_PER_DOUBLE_INT): Define.
503         (double_int_not, double_int_lshift, double_int_rshift): Declare.
504         (double_int_negative_p): Convert to static inline function.
505         * double-int.c (double_int_lshift, double_int_lshift): Add new function.
506         (double_int_negative_p): Remove.
507         * tree.h (lshift_double, rshift_double): 
508         * tree.c (build_low_bits_mask): Clean up, use double_int_* functions.
509         * fold-const.c (fold_convert_const_int_from_real,
510         fold_convert_const_int_from_fixed, div_if_zero_remainder): (Ditto.).
511         (lshift_double): Change type of arith argument to bool.
512         (rshift_double): Change type of arith argument to bool. Correct
513         comment.
514         * expmed.c (mask_rtx, lshift_value): (Ditto.).
515
516 2010-04-14  Bernd Schmidt  <bernds@codesourcery.com>
517         
518         PR target/21803
519         * ifcvt.c (cond_exec_process_if_block): Look for identical sequences
520         at the start and end of the then/else blocks, and omit them from the
521         conversion.
522         * cfgcleanup.c (flow_find_cross_jump): No longer static.  Remove MODE
523         argument; all callers changed.  Pass zero to old_insns_match_p instead.
524         (flow_find_head_matching_sequence): New function.
525         (old_insns_match_p): Check REG_EH_REGION notes for calls.
526         * basic-block.h (flow_find_cross_jump,
527         flow_find_head_matching_sequence): Declare functions.
528
529 2010-04-14  Jason Merrill  <jason@redhat.com>
530
531         PR c++/36625
532         * c-common.c (attribute_takes_identifier_p): New fn.
533         * c-common.h: Declare it.
534
535 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
536
537         * config/i386/i386.md (*divmod<mode>4): Remove stray "&&" from
538         splitter condition.
539         (*udivmod<mode>4): Ditto.
540
541 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
542
543         * config/i386/i386.md (maxmin_int): Rename code attribute from
544         maxminiprefix and update all users.
545         (maxmin_float): Ditto from maxminfprefix.
546         (logic): Ditto from logicprefix.
547         (absneg_mnemonic): Ditto from absnegprefix.
548         * config/i386/mmx.md: Update all users of maxminiprefix,
549         maxminfprefix and logicprefix for rename.
550         * config/i386/sse.md: Ditto.
551         * config/i386/sync.md (sync_<code><mode>): Update for
552         logicprefix rename.
553
554 2010-04-14  Manuel López-Ibáñez  <manu@gcc.gnu.org>
555
556         PR 42966
557         * diagnostics.c (diagnostic_report_diagnostic): Mark specially
558         warnings converted to errors.
559
560 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
561
562         * config/alpha/alpha.c (alpha_adjust_cost): Remove set but not
563         used insn_type variable.
564         (function_value): Add ATTRIBUTE_UNUSED to dummy variable declaration
565         to avoid set-but-not-used warning.
566
567 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
568
569         * df-core.c (df_ref_debug): Change format string placeholder
570         from 0x%x to %#x.
571         * dwarf2asm.c (dw2_asm_output_data_raw,
572         dw2_asm_output_data_uleb128_raw, dw2_asm_output_data_uleb128,
573         dw2_asm_output_data_sleb128_raw, dw2_asm_output_data_sleb128): Ditto.
574         * dwarf2out.c (output_cfi, output_cfi_directive,
575         dwarf2out_do_cfi_startproc, output_loc_sequence_raw,
576         output_cfa_loc_raw, output_die, output_ranges, output_file_names):
577         Ditto.
578         * genattrtab.c (write_test_expr, write_attr_valueq): Ditto.
579         * print-rtl.c (print_rtx): Ditto.
580
581 2010-04-14  Michael Meissner  <meissner@linux.vnet.ibm.com>
582
583         PR middle-end/42694
584         * builtins.c (expand_builtin_pow_root): New function to expand pow
585         calls with exponents 0.25, 0.50, 0.75, 1./3., and 1./6. into a
586         series of sqrt and cbrt calls under -ffast-math.
587         (expand_builtin_pow): Call it.
588
589 2010-04-14  Michael Matz  <matz@suse.de>
590
591         PR tree-optimization/42963
592         * tree-cfg.c (touched_switch_bbs): New static variable.
593         (group_case_labels_stmt): New function broken out from ...
594         (group_case_labels): ... here, use the above.
595         (start_recording_case_labels): Allocate touched_switch_bbs.
596         (end_recording_case_labels): Deallocate it, call
597         group_case_labels_stmt.
598         (gimple_redirect_edge_and_branch): Remember index of affected BB.
599
600 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
601
602         * config/i386/i386.md (*popcountsi2_cmp_zext): Remove mode attribute
603         from insn template.
604
605 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
606
607         * config/i386/i386.md (*ashlqi3_1_slp): New insn pattern.
608
609 2010-04-13  Jan Hubicka  <jh@suse.cz>
610
611         * ipa-inline.c (cgraph_mark_inline_edge): Avoid double accounting
612         of optimized out static functions.
613         (cgraph_edge_badness): Add DUMP parameter and dump reasons for the
614         cost computation.  Also sanity check for overflows.
615         (update_caller_keys): Update cgraph_edge_badness call; properly
616         update fibheap and sanity check that it is up to date.
617         (add_new_edges_to_heap): Update cgraph_edge_badness.
618         (cgraph_decide_inlining_of_small_function): Likewise;
619         add sanity checking that badness in heap is up to date;
620         improve dumping of reason; Update badness of calls to the
621         offline copy of function currently inlined; dump badness
622         of functions not inlined because of unit growth limits.
623
624 2010-04-13  Eric Botcazou  <ebotcazou@adacore.com>
625
626         PR middle-end/32628
627         * c-common.c (pointer_int_sum): Disregard overflow that occured only
628         because of sign-extension change when converting to sizetype here...
629         * fold-const.c (fold_convert_const_int_from_int): ...and not here.
630
631         * fold-const.c (fold_binary_op_with_conditional_arg): Do not restrict
632         the folding to constants.  Remove redundant final conversion.
633         (fold_binary) <associate>: Do not associate if the re-association of
634         constants alone overflows.
635         (fold_binary) <FLOOR_MOD_EXPR>: Move transformation into BIT_AND_EXPR
636         to the end of the list.
637         (multiple_of_p) <COND_EXPR>: New case.
638
639 2010-04-13  Manuel López-Ibáñez  <manu@gcc.gnu.org>
640
641         * opt-functions.awk (opt_sanitized_name): New.
642         (opt_enum): New.
643         * optc-gen.awk: Use it
644         * opth-gen.awk: Use it.
645
646 2010-04-13  Martin Jambor  <mjambor@suse.cz>
647
648         * tree-sra.c (replace_uses_with_default_def_ssa_name): New function.
649         (sra_modify_assign): Delete stmts loading dead data even if racc has no
650         children.  Call replace_uses_with_default_def_ssa_name to handle
651         SSA_NAES on lhs.
652
653 2010-04-13  Michael Matz  <matz@suse.de>
654
655         PR middle-end/43730
656         * builtins.c (expand_builtin_interclass_mathfn): Also create
657         a register if the predicate doesn't match.
658
659 2010-04-13  Diego Novillo  <dnovillo@google.com>
660
661         * Makefile.in (c-pch.o, ggc-common.o): Depend on timevar.h.
662         * c-pch.c: Include timevar.h.
663         (c_common_write_pch): Use TV_PCH_SAVE and TV_PCH_CPP_SAVE timers.
664         (c_common_read_pch): Use TV_PCH_RESTORE and TV_PCH_CPP_RESTORE timers.
665         * ggc-common.c: Include timevar.h.
666         (gt_pch_save): Use TV_PCH_PTR_REALLOC and TV_PCH_PTR_SORT timers.
667         * timevar.def (TV_PCH_SAVE): Define.
668         (TV_PCH_CPP_SAVE): Define.
669         (TV_PCH_PTR_REALLOC): Define.
670         (TV_PCH_PTR_SORT): Define.
671         (TV_PCH_RESTORE): Define.
672         (TV_PCH_CPP_RESTORE): Define.
673
674 2010-04-13  Michael Matz  <matz@suse.de>
675
676         * tree-ssa-reassoc.c (repropagate_negates): Merge negates also
677         into MINUS_EXPRs.
678         (can_reassociate_p): New function.
679         (break_up_subtract_bb, reassociate_bb): Use it.
680
681 2010-04-13  Richard Guenther  <rguenther@suse.de>
682
683         PR bootstrap/43737
684         * builtins.c (c_readstr): Fix assert.
685
686 2010-04-13  Uros Bizjak  <ubizjak@gmail.com>
687
688         * config/i386/i386.md (extendsidi2 splitter): Also check for DX_REG
689         when generating cltd insn.
690
691         (*ashl<mode>3_1): Remove special handling for register operand 2.
692         (*ashlsi3_1_zext): Ditto.
693         (*ashlhi3_1): Ditto.
694         (*ashlhi3_1_lea): Ditto.
695         (*ashlqi3_1): Ditto.
696         (*ashlqi3_1_lea): Ditto.
697         (*<shiftrt_insn><mode>3_1): Ditto.
698         (*<shiftrt_insn>si3_1_zext): Ditto.
699         (*<shiftrt_insn>qi3_1_slp): Ditto.
700         (*<rotate_insn><mode>3_1): Ditto.
701         (*<rotate_insn>si3_1_zext): Ditto.
702         (*<rotate_insn>qi3_1_slp): Ditto.
703
704 2010-04-13  Richard Guenther  <rguenther@suse.de>
705
706         * tree-ssa-structalias.c (callused_id): Remove.
707         (call_stmt_vars): New.
708         (get_call_vi): Likewise.
709         (lookup_call_use_vi): Likewise.
710         (lookup_call_clobber_vi): Likewise.
711         (get_call_use_vi): Likewise.
712         (get_call_clobber_vi): Likewise.
713         (make_transitive_closure_constraints): Likewise.
714         (handle_const_call): Adjust to do per-call call-used handling.
715         (handle_pure_call): Likewise.
716         (find_what_var_points_to): Remove general callused handling.
717         (init_base_vars): Likewise.
718         (init_alias_vars): Initialize call_stmt_vars.
719         (compute_points_to_sets): Process call-used and call-clobbered
720         vars for call statements.
721         (delete_points_to_sets): Free call_stmt_vars.
722
723 2010-04-13  Richard Guenther  <rguenther@suse.de>
724
725         * tree-vect-data-refs.c (vect_analyze_data_ref_dependence):
726         Only add RW dependence for dependence distance zero.
727         Adjust maximal vectorization factor according to dependences.
728         Move alignment handling ...
729         (vect_find_same_alignment_drs): ... here.  New function.
730         (vect_analyze_data_ref_dependences): Adjust.
731         (vect_analyze_data_refs_alignment): Call vect_find_same_alignment_drs.
732         (vect_analyze_data_refs): Adjust minimal vectorization factor
733         according to data references.
734         * tree-vect-loop.c (vect_analyze_loop): Analyze data-ref
735         dependences before determining the vectorization factor.
736         Analyze alignment after determining the vectorization factor.
737         * tree-vect-slp.c ((vect_slp_analyze_bb): Analyze data-ref
738         dependences before alignment.
739         * tree-vectorizer.h (vect_analyze_data_ref_dependences):
740         Adjust prototype.
741         (vect_analyze_data_refs): Likewise.
742         (MAX_VECTORIZATION_FACTOR): New define.
743
744 2010-04-13  Duncan Sands  <baldrick@free.fr>
745
746         * except.h (lang_eh_type_covers): Remove.
747         * except.c (lang_eh_type_covers): Likewise.
748
749 2010-04-13  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
750             Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
751
752         * gcc/config/s390/s390.md: Replace TARGET_64BIT with TARGET_ZARCH.
753         * gcc/config/s390/s390.c: Replace UNTIS_PER_WORD with
754         UNITS_PER_LONG where it is ABI relevant.
755         (s390_return_addr_rtx): Likewise.
756         (s390_back_chain_rtx): Likewise.
757         (s390_frame_area): Likewise.
758         (s390_frame_info): Likewise.
759         (s390_initial_elimination_offset): Likewise.
760         (save_gprs): Likewise.
761         (s390_emit_prologue): Likewise.
762         (s390_emit_epilogue): Likewise.
763         (s390_function_arg_advance): Likewise.
764         (s390_function_arg): Likewise.
765         (s390_va_start): Likewise.
766         (s390_gimplify_va_arg): Likewise.
767         (s390_function_profiler): Likewise.
768         (s390_optimize_prologue): Likewise.
769         (s390_rtx_costs): Likewise.
770         (s390_secondary_reload): Likewise.
771         (s390_promote_function_mode): Likewise.
772         (s390_hard_regno_mode_ok): Replace TARGET_64BIT with TARGET_ZARCH.
773         (s390_scalar_mode_supported_p): Disallow TImode if no 64 bit
774         registers available.
775         (s390_unwind_word_mode): New function.
776         (s390_function_value): Split 64 bit values into register pair if
777         used as return value.
778         (s390_call_saved_register_used): Don't use HARD_REGNO_NREGS for
779         function call parameters.  Handle parallels.
780         (TARGET_SCALAR_MODE_SUPPORTED_P): New macro.
781         (HARD_REGNO_CALL_PART_CLOBBERED): New macro.
782         (DWARF_CIE_DATA_ALIGNMENT): New macro.
783         (s390_expand_setmem): Remove unused variable src_addr.
784         * gcc/longlong.h: Make smul_ppmm and sdiv_qrnnd inline asms to
785         deal with 64 bit registers.
786         * gcc/config/s390/s390.h: Define __zarch__ predefined macro.
787         Replace UNITS_PER_WORD with UNITS_PER_LONG where it is ABI relevant.
788         (UNITS_PER_LONG): New macro.
789         * libjava/include/s390-signal.h: Define extended ucontext
790         structure containing the upper halfs of the 64 bit registers.
791
792 2010-04-13  Simon Baldwin  <simonb@google.com>
793
794         * cfgexpand.c (gimple_expand_cfg): Clarify warning message text.
795
796 2010-04-13  Eric Botcazou  <ebotcazou@adacore.com>
797
798         * gimple.c (walk_gimple_op) <GIMPLE_ASSIGN>: Do not request a pure
799         rvalue on the RHS if the LHS is of a non-renamable type.
800         * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Fold result.
801
802 2010-04-13  Matthias Klose  <doko@ubuntu.com>
803
804         * gcc.c (cc1_options): Handle -iplugindir before processing
805         the cc1 spec. Only add -iplugindir once.
806         (cpp_unique_options): Add -iplugindir option if -fplugin* options
807         found.
808         * common.opt (iplugindir): Remove `Separate' property, initialize.
809         * plugin.c (default_plugin_dir_name): Error with missing -iplugindir
810         option.
811         * Makefile.in (check-%, check-parallel-%): Create plugin dir.
812         (distclean): Remove plugin dir.
813         * doc/invoke.texi: Document -iplugindir.
814
815 2010-04-13  Basile Starynkevitch  <basile@starynkevitch.net>
816
817         * doc/plugins.texi (Loading Plugins): Document short
818         -fplugin=foo option.
819         (Plugin API): Mention default_plugin_dir_name function.
820
821         * gcc.c (find_file_spec_function): Add new declaration.
822         (static_spec_func): Use it for "find-file".
823         (find_file_spec_function): Add new function.
824         (cc1_options): Add -iplugindir option if -fplugin* options found.
825
826         * gcc-plugin.h (default_plugin_dir_name): Added new declaration.
827
828         * plugin.c (add_new_plugin): Updated comment, and handle short
829         plugin name.
830         (default_plugin_dir_name): Added new function.
831
832         * common.opt (iplugindir): New option to set the plugin directory.
833
834 2010-04-12  Uros Bizjak  <ubizjak@gmail.com>
835
836         * config/i386/i386.md (any_rotate): New code iterator.
837         (rotate_insn): New code attribute.
838         (rotate): Ditto.
839         (SWIM124): New mode iterator.
840         (<rotate_insn>ti3): New expander.
841         (<rotate_insn>di3): Macroize expander from {rotl,rotr}di3 using
842         any_rotate code iterator.
843         (<rotate_insn><mode>3) Macroize expander from {rotl,rotr}{qi,hi,si}3
844         using any_rotate code iterator and SWIM124 mode iterator.
845         (ix86_rotlti3): New insn_and_split pattern.
846         (ix86_rotrti3): Ditto.
847         (ix86_rotl<dwi>3_doubleword): Macroize insn_and_split pattern from
848         ix86_rotl{di,ti}3 patterns.
849         (ix86_rotr<dwi>3_doubleword): Ditto from ix86_rotr{di,ti}3 patterns.
850         (*<rotate_insn><mode>3_1): Merge with *{rotl,rotr}{qi,hi,si}3_1_one_bit
851         and *{rotl,rotr}di3_1_one_bit_rex64. Macroize insn from
852         *{rotl,rotr}{qi,hi,si}3_1 and *{rotl,rotr}di3_1_rex64 using any_rotate
853         code iterator and SWI mode iterator.
854         (*<rotate_insn>si3_1_zext): Merge with *{rotl,rotr}si3_1_one_bit_zext.
855         Macroize insn from {rotl,rotr}si3_1_zext using any_rotate
856         code iterator.
857         (*<rotate_insn>qi3_1_slp): Merge with *{rotl,rotr}qi3_1_one_bit_slp.
858         Macroize insn from {rotl,rotr}qi3_1_slp using any_rotate code iterator.
859         (bswap rotatert splitter): Add splitter.
860         (bswap splitter): Macroize splitter using any_rotate code iterator.
861         Add insn predicate to split only for TARGET_USE_XCHGB or when
862         optimizing function for size.
863
864 2010-04-12  Steve Ellcey  <sje@cup.hp.com>
865
866         * config/pa/pa.c (emit_move_sequence): Remove use of
867         deleted variable flag_argument_noalias.
868
869 2010-04-12  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
870
871         * config.gcc: Removed *-*-solaris2.7* from list of obsolete
872         configurations.
873         Add to unsupported targets list.
874         * configure.ac (gcc_cv_as_tls): Removed i[34567]86-*-solaris2.[567]*,
875         sparc*-sun-solaris2.[567]* from target lists.
876         * configure: Regenerate.
877         * doc/install.texi (Specific, *-*-solaris2*): Document Solaris 7
878         removal.
879         Remove Solaris 7 patch references.
880         (Specific, sparc-sun-solaris2.7): Removed.
881         (sparc-sun-solaris2*): Update Solaris 7 example.
882         (sparc64-*-solaris2*): Likewise.
883
884 2010-04-12  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
885
886         * config.build (alpha*-dec-osf4*): Remove.
887         * config.gcc: Remove alpha*-dec-osf4*, alpha-dec-osf5.0* from list
888         of obsolete configurations.
889         (alpha*-dec-osf[45]*): Remove alpha*-dec-osf4*, alpha-dec-osf5.0*
890         support.
891         * config/alpha/t-osf4: Renamed to ...
892         * config/alpha/t-osf5: ... this.
893         * config/alpha/osf.h: Renamed to ...
894         * config/alpha/osf5.h: ... this.
895         Merged old osf5.h contents.
896         Update comments.
897         (ASM_SPEC): Use ASM_OLDAS_SPEC directly.
898         (EXTRA_SPECS): Removed.
899         * doc/install.texi (Specific, alpha*-dec-osf5.1): Renamed to
900         reflect removal of Tru64 UNIX V4.0/V5.0 support.
901         Document that.
902
903 2010-04-12  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
904
905         * doc/contrib.texi (Contributors, Rainer Orth): Update.
906
907 2010-04-12  Kai Tietz  <kai.tietz@onevision.com>
908
909         PR/43702
910         * config/i386/i386.c (x86_this_parameter): Handle aggregate for
911         __thiscall convention.
912
913 2010-04-12  Steve Ellcey  <sje@cup.hp.com>
914
915         * config/pa/pa.c (hppa_legitimize_address): Remove unused variable
916         orig_base.
917         * config/pa/pa.md (call, call_value): Remove unused variable call_insn.
918
919 2010-04-12  Steve Ellcey  <sje@cup.hp.com>
920
921         * function.c (assign_parms_initialize_all): Add unused attribute
922         to fntype.
923
924 2010-04-12  Richard Guenther  <rguenther@suse.de>
925
926         * gsstruct.def (GSS_CALL): New.
927         * gimple.def (GIMPLE_CALL): Change to GSS_CALL.
928         * gimple.h: Include tree-ssa-alias.h.
929         (struct gimple_statement_call): New.
930         (union gimple_statement_struct_d): Add gimple_call member.
931         (gimple_call_reset_alias_info): Declare.
932         (gimple_call_use_set): New function.
933         (gimple_call_clobber_set): Likewise.
934         * Makefile.in (GIMPLE_H): Add tree-ssa-alias.h.
935         * gimple.c (gimple_call_reset_alias_info): New function.
936         (gimple_build_call_1): Call it.
937         * lto-streamer-in.c (input_gimple_stmt): Likewise.
938         * tree-inline.c (remap_gimple_stmt): Likewise.
939         (expand_call_inline): Remove callused handling.
940         * cfgexpand.c (update_alias_info_with_stack_vars): Likewise.
941         * tree-dfa.c (dump_variable): Likewise.
942         * tree-parloops.c (parallelize_loops): Likewise.
943         * tree-ssa.c (init_tree_ssa): Likewise.
944         (delete_tree_ssa): Likewise.
945         * tree-flow-inline.h (is_call_used): Remove.
946         * tree-flow.h (struct gimple_df): Remove callused member.
947         * tree-nrv.c (dest_safe_for_nrv_p): Adjust predicate.
948         * tree-ssa-alias.c (dump_alias_info): Remove callused handling.
949         (ref_maybe_used_by_call_p_1): Simplify.
950         (call_may_clobber_ref_p_1): Likewise.
951         * tree-ssa-structalias.c (compute_points_to_sets): Set
952         the call stmt used and clobbered sets.
953         * tree-tailcall.c (suitable_for_tail_opt_p): Adjust predicate.
954         (find_tail_calls): Verify the tail call.
955
956 2010-04-12  Richard Guenther  <rguenther@suse.de>
957
958         * ipa.c (cgraph_postorder): Adjust postorder to guarantee
959         single-iteration always-inline inlining.
960         * ipa-inline.c (cgraph_mark_inline): Do not return anything.
961         (cgraph_decide_inlining): Do not handle always-inline specially.
962         (try_inline): Remove always-inline cycle detection special case.
963         Do not recurse on always-inlines.
964         (cgraph_early_inlining): Do not iterate if not optimizing.
965         (cgraph_gate_early_inlining): remove.
966         (pass_early_inline): Run unconditionally.
967         (gate_cgraph_decide_inlining): New function.
968         (pass_ipa_inline): Use it.  Do not run the IPA inliner if
969         not inlining or optimizing.
970         (cgraph_decide_inlining_of_small_functions): Also consider
971         always-inline functions.
972         (cgraph_default_inline_p): Return true for nodes which should
973         disregard inline limits.
974         (estimate_function_body_sizes): Assume zero size and time for
975         nodes which are marked as disregarding inline limits.
976         (cgraph_decide_recursive_inlining): Do not perform recursive
977         inlining on always-inline nodes.
978
979 2010-04-12  Jakub Jelinek  <jakub@redhat.com>
980
981         PR bootstrap/43699
982         * c-typeck.c (c_process_expr_stmt): Call mark_exp_read even
983         for exprs satisfying handled_component_p.
984
985 2010-04-12  Eric Botcazou  <ebotcazou@adacore.com>
986
987         * expr.c (categorize_ctor_elements_1): Properly count sub-elements of
988         non-constant aggregate elements.
989
990         * gimplify.c (gimplify_init_constructor): Do not pre-evaluate if this
991         is a real initialization.
992
993 2010-04-12  Shujing Zhao  <pearly.zhao@oracle.com>
994
995         PR c/36774
996         * c-decl.c (start_function): Move forward check for nested function.
997
998 2010-04-11  Kaz Kojima  <kkojima@gcc.gnu.org>
999
1000         * config/sh/sh-protos.h (sh_legitimize_reload_address): Declare.
1001         * config/sh/sh.c: Include reload.h.
1002         (sh_legitimize_reload_address): New.
1003         * config/sh/sh.h (LEGITIMIZE_RELOAD_ADDRESS): Use
1004         sh_legitimize_reload_address.
1005
1006 2010-04-11  Kaushik Phatak  <kaushik.phatak@kpitcummins.com>
1007
1008         * config/sh/sh.md (*movqi_pop): New insn pattern.
1009         * config/sh/predicates.md (sh_no_delay_pop_operand): New predicate.
1010
1011 2010-04-11  Uros Bizjak  <ubizjak@gmail.com>
1012
1013         * config/i386/i386.md (any_shiftrt): New code iterator.
1014         (shiftrt_insn): New code attribute.
1015         (shiftrt): Ditto.
1016         (<shiftrt_insn><mode>3): Macroize expander from {ashr,lshr}<mode>3
1017         using any_shiftrt code iterator.
1018         (*<shiftrt_insn><mode>3_doubleword): Macroize insn_and_split from
1019         *{ashr,lshr}<mode>3_doubleword using any_shiftrt code iterator.
1020         (*<shiftrt_insn><mode>3_doubleword peephole2): Macroize peephole2
1021         pattern from corresponding peephole2 patterns.
1022         (*<shiftrt_insn><mode>3_1): Macroize insn from *{ashr,lshr}<mode>3_1
1023         using any_shiftrt code iterator.
1024         (*<shiftrt_insn>si3_1_zext): Ditto from *{ashr,lshr}si3_1_zext.
1025         (*<shiftrt_insn>qi3_1_slp): Ditto from *{ashr,lshr}qi3_1_slp.
1026         (*<shiftrt_insn><mode>3_cmp): Ditto from *{ashr,lshr}<mode>3_cmp.
1027         (*<shiftrt_insn><mode>3_cmp_zext): Ditto from
1028         *{ashr,lshr}<mode>3_cmp_zext.
1029         (*<shiftrt_insn><mode>3_cconly): Ditto from *{ashr,lshr}<mode>3_cconly.
1030
1031 2010-04-11  Uros Bizjak  <ubizjak@gmail.com>
1032
1033         * config/i386/i386.md (*ashr<mode>3_cconly): Fix wrong mode of
1034         scratch register.
1035         (*lshr<mode>3_cconly): Ditto.
1036
1037 2010-04-11  Uros Bizjak  <ubizjak@gmail.com>
1038
1039         * config/i386/i386.md (lshr<mode>3): Macroize expander from
1040         lshr{qi,hi,si,di,ti}3_1 using SDWIM mode iterator.
1041         (*lshr<mode>3_doubleword): New insn_and_split_pattern.  Macroize
1042         pattern from *lshr{di,ti}3_1 and corresponding splitters using
1043         DWI mode iterator.
1044         (*lshr<mode>3_doubleword peephole2): Macroize peephole2 pattern
1045         from corresponding peephole2 patterns.
1046         (*lshr<mode>3_1): Merge with *lshr{qi,hi,si}3_1_one_bit and
1047         *lshrdi3_1_one_bit_rex64. Macroize insn from *lshr{qi,hi,si}3_1
1048         and *lshrdi3_1_rex64 using SWI mode iterator.
1049         (*lshrsi3_1_zext): Merge with *lshrsi3_1_one_bit_zext.
1050         (*lshrqi3_1_slp): Merge with *lshrqi3_1_one_bit_slp.
1051         (*lshr<mode>3_cmp): Merge with *lshr{qi,hi,si}3_one_bit_cmp and
1052         *lshrdi3_one_bit_cmp_rex64. Macroize insn from *lshr{qi,hi,si}3_cmp
1053         and *lshrdi3_cmp_rex64 using SWI mode iterator.
1054         (*lshrsi3_cmp_zext): Merge with *lshrsi3_cmp_one_bit_zext.
1055         (*lshr<mode>3_cconly): Merge with *lshr{qi,hi,si}3_one_bit_cconly and
1056         *lshrdi3_one_bit_cconly_rex64. Macroize insn from
1057         *lshr{qi,hi,si}3_cconly and *lshrdi3_cconly_rex64 using
1058         SWI mode iterator.
1059
1060 2010-04-10  Uros Bizjak  <ubizjak@gmail.com>
1061
1062         * config/i386/i386.md (ashr<mode>3): Macroize expander from
1063         ashr{qi,hi,si,di,ti}3_1 using SDWIM mode iterator.
1064         (*ashr<mode>3_doubleword): New insn_and_split_pattern.  Macroize
1065         pattern from *ashr{di,ti}3_1 and corresponding splitters using
1066         DWI mode iterator.
1067         (*ashr<mode>3_doubleword peephole2): Macroize peephole2 pattern
1068         from corresponding peephole2 patterns.
1069         (ashrdi3_cvt): Rename from ashrdi3_63_rex64.
1070         (ashrsi3_cvt): Rename from ashrsi3_31.
1071         (*ashrsi3_cvt_zext): Rename from *ashrsi3_31_zext.
1072         (x86_shift<mode>_adj_3): Macroize expander from x86_shift_adj_3
1073         and x86_64_shift_adj_3 using SWI48 mode iterator.
1074         (*ashr<mode>3_1): Merge with *ashr{qi,hi,si}3_1_one_bit and
1075         *ashrdi3_1_one_bit_rex64. Macroize insn from *ashr{qi,hi,si}3_1
1076         and *ashrdi3_1_rex64 using SWI mode iterator.
1077         (*ashrsi3_1_zext): Merge with *ashrsi3_1_one_bit_zext.
1078         (*ashrqi3_1_slp): Merge with *ashrqi3_1_one_bit_slp.
1079         (*ashr<mode>3_cmp): Merge with *ashr{qi,hi,si}3_one_bit_cmp and
1080         *ashrdi3_one_bit_cmp_rex64. Macroize insn from *ashr{qi,hi,si}3_cmp
1081         and *ashrdi3_cmp_rex64 using SWI mode iterator.
1082         (*ashrsi3_cmp_zext): Merge with *ashrsi3_cmp_one_bit_zext.
1083         (*ashr<mode>3_cconly): Merge with *ashr{qi,hi,si}3_one_bit_cconly and
1084         *ashrdi3_one_bit_cconly_rex64. Macroize insn from
1085         *ashr{qi,hi,si}3_cconly and *ashrdi3_cconly_rex64 using
1086         SWI mode iterator.
1087         (sign_extend splitters): Update for renamed ashr{di,si}3_cvt patterns.
1088         * config/i386/i386.c (ix86_split_ashr): Update for renamed
1089         x86_shift<mode>_adj_3 expanders.
1090
1091 2010-04-10  Wei Guozhi  <carrot@google.com>
1092
1093         PR target/42601
1094         * config/arm/arm.c (arm_pic_static_addr): New function.
1095         (legitimize_pic_address): Call arm_pic_static_addr when it detects
1096         a static symbol.
1097         (arm_output_addr_const_extra): Output expression for new pattern.
1098         * config/arm/arm.md (UNSPEC_SYMBOL_OFFSET): New unspec symbol.
1099
1100 2010-04-10  Bernd Schmidt  <bernds@codesourcery.com>
1101
1102         * ira-costs.c (record_reg_classes): Ignore alternatives that are
1103         not enabled.
1104
1105         * Makefile.in (web.o): Depend on insn-config.h and $(RECOG_H).
1106         * web.c: Include "insn-config.h" and "recog.h".
1107         (union_match_dups): New function.
1108         (web_main): Call it.
1109         (union_defs): Don't try to recognize match_dups.
1110
1111         * reload1.c (eliminate_regs_in_insn): Don't restore an operand
1112         if doing so would replace the entire pattern.
1113
1114 2010-04-09  Uros Bizjak  <ubizjak@gmail.com>
1115
1116         PR target/43707
1117         PR target/43709
1118         * config/i386/i386.md (*ashl<mode>3_doubleword): Split to insn
1119         and splitter pattern.  Change splitter operand 1 predicate to
1120         nonmemory_operand.
1121
1122 2010-04-09  Martin Jambor  <mjambor@suse.cz>
1123
1124         * ipa-cp.c (ipcp_lats_are_equal): Return true also if the two
1125         lattices are addresses of CONST_DECLs with the same initial value.
1126         (ipcp_print_all_lattices): Print values of CONST_DECLs.
1127         * ipa-prop.c (ipa_print_node_jump_functions): Likewise.
1128
1129 2010-04-09  Eric Botcazou  <ebotcazou@adacore.com>
1130             Bernd Schmidt  <bernds@codesourcery.com>
1131
1132         * loop-invariant.c (replace_uses): New static function.
1133         (move_invariant_reg): Use it to ensure we can replace the uses.
1134
1135 2010-04-09  Hariharan Sandanagobalane  <hariharan@picochip.com>
1136
1137         * config/picochip/picochip.c (picochip_rtx_costs): Use correct
1138         function template.
1139         (picochip_override_options): Enable section anchors only above -O1.
1140         (picochip_reorg): Fixed a couple of build warnings.
1141
1142 2010-04-09  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1143
1144         * configure.ac (plugin -rdynamic test): Log result.
1145         * configure: Regenerate.
1146         * config/sol2.h (LINK_SPEC): Handle -rdynamic.
1147         (RDYNAMIC_SPEC): Define.
1148         * config/sol2-gld.h (RDYNAMIC_SPEC): Redefine.
1149
1150 2010-04-09  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1151
1152         * configure.ac: Determine Sun ld version numbers.
1153         (comdat_group): Restrict GNU ld version checks to gld.
1154         (comdat_group, *-*-solaris2.1[1-9]*): Enable for Sun ld > 1.1688.
1155         (enable_comdat): Support --enable-comdat.
1156         * configure: Regenerate.
1157         * doc/install.texi (Configuration): Document --enable-comdat.
1158
1159 2010-04-09  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1160
1161         * config/sparc/sol2-gld.h: Remove SPARC reference.  Rename ...
1162         * config/sol2-gld.h: ... here.
1163         * config.gcc (sparc*-*-solaris2*): Reflect this.
1164         (i[34567]86-*-solaris2*): Use it.
1165
1166 2010-04-09  Steve Ellcey  <sje@cup.hp.com>
1167
1168         * config/ia64/ia64.c (ia64_dfa_new_cycle): Remove unused variable
1169         setup_clocks_p.
1170         (final_emit_insn_group_barriers): Remove unused variable prev_insn.
1171
1172 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1173
1174         PR 42965
1175         * diagnostic.c (diagnostic_initialize): Initialize
1176         some_warnings_are_errors.
1177         (diagnostic_finish): New.
1178         (diagnostic_action_after_output): Call it before exiting.
1179         (diagnostic_report_diagnostic): Do not print message here. Set
1180         some_warnings_are_errors.
1181         * diagnostic.h (diagnostic_context): Delete
1182         issue_warnings_are_errors_message. Add some_warnings_are_errors.
1183         (diagnostic_finish): Declare.
1184         * toplev.c (toplev_main): Call it before exit.
1185
1186 2010-04-09  Jason Merrill  <jason@redhat.com>
1187
1188         PR c++/42623
1189         * c-common.c (c_sizeof_or_alignof_type): Return error_mark_node
1190         for incomplete type.
1191
1192         PR c++/41788
1193         * stor-layout.c (finalize_record_size): Don't change TYPE_PACKED
1194         based on a warning flag.
1195
1196 2010-04-09  Richard Guenther  <rguenther@suse.de>
1197
1198         * tree-pretty-print.c (dump_generic_node): Dump TYPE_VECTOR_SUBPARTS.
1199
1200 2010-04-09  Iain Sandoe  <iains@gcc.gnu.org>
1201
1202         PR bootstrap/43684
1203         * varasm.c (default_assemble_visibility): Wrap vars that are
1204         set, but unused, by targets without GAS.
1205         * config/rs6000/rs6000.c: (paired_emit_vector_compare):
1206         Remove set, but unused, vars.
1207         (rs6000_legitimize_tls_address): Likewise.
1208         (altivec_expand_dst_builtin): Likewise.
1209         * config/darwin.c (machopic_classify_symbol): Likewise.
1210         (machopic_indirection_name): Likewise.
1211
1212 2010-04-09  Uros Bizjak  <ubizjak@gmail.com>
1213
1214         * config/i386/i386.md (DWI): New mode iterator.
1215         (S): New mode attribute.
1216         (shift_operand): Ditto.
1217         (shift_immediate_operand): Ditto.
1218         (ashl_input_operand): Ditto.
1219         (ashl<mode>3): Macroize expander from ashl{qi,hi,si,di,ti}3_1
1220         using SDWIM mode iterator.
1221         (*ashl<mode>3_doubleword): New insn_and_split_pattern.  Macroize
1222         pattern from *ashl{di,ti}3_1 and corresponding splitters using
1223         DWI mode iterator.
1224         (*ashl<mode>3_doubleword peephole2): Macroize peephole2 pattern
1225         from corresponding peephole2 patterns.
1226         (x86_shift<mode>_adj_1): Macroize expander from x86_shift_adj_1
1227         and x86_64_shift_adj_1 using SWI48 mode iterator.
1228         (x86_shift<mode>_adj_2): Ditto.
1229         (*ashldi3_1_rex64): Split TYPE_LEA pattern.
1230         (*ashl<mode>3_1): Macroize insn from *ashlsi3_1 and *ashldi3_1_rex64
1231         using SWI48 mode iterator.
1232         (*ashl<mode>3_cmp): Macroize insn from *ashl{qi,hi,si}3_cmp and
1233         *ashldi3_cmp_rex64 using SWI mode iterator.
1234         (*ashl<mode>3_cconly): Macroize insn from *ashl{qi,hi,si}3_cconly and
1235         *ashldi3_cconly_rex64 using SWI mode iterator.
1236         * config/i386/i386.c (ix86_split_ashl): Update for renamed
1237         x86_shift<mode>_adj_{1,2}.
1238         (ix86_split_ashr): Ditto.
1239         (ix86_split_lshr): Ditto.
1240
1241 2010-04-09  Richard Guenther  <rguenther@suse.de>
1242
1243         * target.h (builtin_conversion): Pass in input and output types.
1244         * targhooks.c (default_builtin_vectorized_conversion): Adjust.
1245         * targhooks.h (default_builtin_vectorized_conversion): Likewise.
1246         * tree-vect-stmts.c (vectorizable_conversion): Adjust.
1247         * doc/tm.texi (TARGET_VECTORIZE_BUILTIN_CONVERSION): Adjust.
1248
1249         * config/i386/i386.c (ix86_vectorize_builtin_conversion): Adjust.
1250         Handle AVX modes.
1251         * config/rs6000/rs6000.c (rs6000_builtin_conversion): Adjust.
1252
1253 2010-04-09  Richard Guenther  <rguenther@suse.de>
1254
1255         PR target/43152
1256         * config/i386/sse.md (vcond<mode>): Handle AVX modes as well.
1257
1258 2010-04-09  Richard Guenther  <rguenther@suse.de>
1259
1260         * tree-vectorizer.h (struct _stmt_vec_info): Document
1261         that vectype is the type of the LHS.
1262         (supportable_widening_operation, supportable_narrowing_operation):
1263         Get both input and output vector types as arguments.
1264         (vect_is_simple_use_1): Declare.
1265         (get_same_sized_vectype): Likewise.
1266         * tree-vect-loop.c (vect_determine_vectorization_factor):
1267         Set STMT_VINFO_VECTYPE to the vector type of the def.
1268         (vectorizable_reduction): Adjust.
1269         * tree-vect-patterns.c (vect_recog_widen_mult_pattern):
1270         Adjust.  Specify the output vector type.
1271         (vect_pattern_recog_1): Adjust.
1272         * tree-vect-stmts.c (get_same_sized_vectype): New function.
1273         (vectorizable_call): Adjust.
1274         (vectorizable_conversion): Likewise.
1275         (vectorizable_operation): Likewise.
1276         (vectorizable_type_demotion): Likewise.
1277         (vectorizable_type_promotion): Likewise.
1278         (vect_analyze_stmt): Set STMT_VINFO_VECTYPE to the vector type of
1279         the def.
1280         (vect_is_simple_use_1): New function.
1281         (supportable_widening_operation): Get both input and output
1282         vector types.
1283         (supportable_narrowing_operation): Likewise.
1284         * tree-vect-slp.c (vect_schedule_slp_instance): Adjust.
1285
1286 2010-04-09  Kai Tietz  <kai.tietz@onevision.com>
1287
1288         * config/i386/cygming.h (TARGET_OS_CPP_BUILTINS): Add
1289         __thiscall and _thiscall as predefined macros.
1290         * config/i386/i386.c (ix86_handle_cconv_attribute): Add
1291         thiscall attribute handling.
1292         (ix86_comp_type_attributes): Likewise.
1293         (ix86_function_regparm): Likewise.
1294         (ix86_return_pops_args): Likewise.
1295         (init_cumulative_args): Likewise.
1296         (find_drap_reg): Likewise.
1297         (ix86_static_chain): Likewise.
1298         (x86_this_parameter): Likewise.
1299         (x86_output_mi_thunk): Likewise.
1300         (ix86_attribute_table): Add description for thiscall attribute.
1301         * config/i386/i386.h (ix86_args): Adjust comment for member fastcall.
1302         * doc/extend.texi: Add documentation for thiscall.
1303
1304 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1305
1306         PR c++/28584
1307         * c.opt (Wint-to-pointer-cast): Available in C++.
1308         * doc/invoke.texi (Wint-to-pointer-cast): Available in C++.
1309
1310 2010-04-08  Eric Botcazou  <ebotcazou@adacore.com>
1311
1312         * tree.h (TREE_ADDRESSABLE): Document its effect for function types.
1313         * calls.c (expand_call): Pass the function type to aggregate_value_p.
1314         * function.c (aggregate_value_p): Do not honor DECL_BY_REFERENCE on
1315         the target function of a CALL_EXPR.  Honor TREE_ADDRESSABLE on the
1316         function type instead.  Reorder and simplify checks.
1317
1318         * gimplify.c (gimplify_modify_expr_rhs) <WITH_SIZE_EXPR>: New case.
1319
1320 2010-04-08  Jing Yu  <jingyu@google.com>
1321             Zdenek Dvorak  <ook@ucw.cz>
1322
1323         PR tree-optimization/42720
1324         * tree-ssa-loop-unswitch.c (tree_ssa_unswitch_loops): Move one-time
1325         loop unswitch conditions here from ...
1326         (tree_unswitch_single_loop): ... here.
1327
1328 2010-04-08  Sebastian Pop  <sebastian.pop@amd.com>
1329
1330         * tree-if-conv.c: Fix comments and simplify logic.
1331
1332 2010-04-08  Sebastian Pop  <sebastian.pop@amd.com>
1333
1334         * tree-if-conv.c (if_convertible_loop_p): Remove unused parameter.
1335         (tree_if_conversion): Same.  Update call to if_convertible_loop_p.
1336         (main_tree_if_conversion): Update call to tree_if_conversion.
1337
1338 2010-04-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1339
1340         PR 42485
1341         * doc/invoke.texi (-b,-V): Delete.
1342         * doc/tm.texi: Do not mention -b.
1343         * gcc.c (display_help): Delete -b and -V.
1344         (process_command): Delete -b and -V.
1345         * gcc.h (DEFAULT_SWITCH_TAKES_ARG): Delete -b and -V.
1346
1347 2010-04-08  Christian Borntraeger  <borntraeger@de.ibm.com>
1348             Wolfgang Gellerich  <gellerich@de.ibm.com>
1349
1350         Implement target hook for loop unrolling
1351         * target.h (loop_unroll_adjust): Add a new target hook function.
1352         * target-def.h (TARGET_LOOP_UNROLL_ADJUST): Likewise.
1353         * doc/tm.texi (TARGET_LOOP_UNROLL_ADJUST): Document it.
1354         * config/s390/s390.c (TARGET_LOOP_UNROLL_ADJUST): Define it.
1355         (s390_loop_unroll_adjust): Implement the new target hook for s390.
1356         * loop-unroll.c (decide_unroll_runtime_iterations): Call loop unroll
1357         target hook.
1358         (decide_unroll_stupid): Likewise.
1359
1360 2010-04-08  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1361
1362         PR target/43643
1363         * config/i386/gmon-sol2.c [__x86_64__]: Properly restore %rcx.
1364
1365 2010-04-08  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1366
1367         * doc/install.texi (Specific, i?86-*-solaris2.10): Fix grammar.
1368         (Specific, *-*-solaris2*): Likewise.
1369         Don't prefer Sun as over GNU as.
1370
1371 2010-04-08  Wolfgang Gellerich  <gellerich@de.ibm.com>
1372
1373         * config/s390/s390.c (override_options): Adjust the z10
1374           defaults for max-unroll-times, max-completely-peeled-insns
1375           and max-completely-peel-times.
1376
1377 2010-04-08  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
1378
1379         * config/s390/s390.c (s390_expand_movmem): Issue prefetch
1380         instructions for z10.
1381         (s390_expand_setmem): Likewise.
1382         (s390_expand_cmpmem): Likewise.
1383
1384 2010-04-08  Richard Guenther  <rguenther@suse.de>
1385
1386         PR tree-optimization/43679
1387         * tree-ssa-pre.c (eliminate): Only propagate copies.
1388
1389 2010-04-08  Jakub Jelinek  <jakub@redhat.com>
1390
1391         PR bootstrap/43681
1392         * expr.c (block_move_libcall_safe_for_call_parm): Avoid
1393         set but not used variable warning.
1394
1395 2010-04-08  Wei Guozhi  <carrot@google.com>
1396
1397         PR target/41653
1398         * config/arm/arm.c (thumb1_size_rtx_costs): New function.
1399         (arm_size_rtx_costs): Call the new function when optimized for size.
1400
1401 2010-04-08  Jakub Jelinek  <jakub@redhat.com>
1402
1403         PR debug/43670
1404         * cfgexpand.c (expand_debug_expr): If for non-NULL offset
1405         op0 is not a MEM, just return NULL instead of assertion
1406         failure.
1407         (discover_nonconstant_array_refs): Don't walk debug stmts.
1408
1409 2010-04-08  Doug Kwan  <dougkwan@google.com>
1410
1411         * configure.ac: Recognize gold and do not use its version number
1412         to test ld features.
1413         * configure: Regenerate.
1414
1415 2010-04-08  Maxim Kuvyrkov  <maxim@codesourcery.com>
1416
1417         PR middle-end/40815
1418         * tree-ssa-reassoc.c (broken_up_substracts): Rename to plus_negates.
1419         (negate_value): Move code to push elements to broken_up_substracts ...
1420         (eliminate_plus_minus_pair): ... here.  Push operands that have no
1421         negative pair to plus_negates.
1422         (repropagate_negates, init_reassoc, fini_reassoc): Update.
1423
1424 2010-04-07  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1425
1426         * doc/install.texi (Configuration): Move description of
1427         --enable-lto, --with-libelf*, --enable-gold from Java section to
1428         general section.
1429
1430         * doc/generic.texi (Working with declarations)
1431         (Function Properties, C and C++ Trees): Fix typos.
1432         * doc/sourcebuild.texi (Top Level): Likewise.
1433
1434 2010-04-07  Jakub Jelinek  <jakub@redhat.com>
1435
1436         PR c/18624
1437         * tree.h (DECL_READ_P): Define.
1438         (struct tree_decl_common): Add decl_read_flag.
1439         * c-decl.c (pop_scope): If TREE_USED but !DECL_READ_P, issue
1440         a set but not used warning.
1441         (merge_decls): Merge DECL_READ_P flag.
1442         (finish_decl, build_compound_literal): Set DECL_READ_P flag.
1443         (finish_function): Issue -Wunused-but-set-parameter diagnostics.
1444         * c-common.c (handle_used_attribute, handle_unused_attribute):
1445         Likewise.
1446         * c-tree.h (default_function_array_read_conversion, mark_exp_read):
1447         New prototypes.
1448         * c-typeck.c (default_function_array_read_conversion, mark_exp_read):
1449         New functions.
1450         (default_conversion, c_process_expr_stmt): Call mark_exp_read.
1451         * c-parser.c (c_parser_initializer, c_parser_expr_no_commas,
1452         c_parser_binary_expression, c_parser_cast_expression,
1453         c_parser_expr_list, c_parser_omp_atomic, c_parser_omp_for_loop):
1454         Call default_function_array_read_conversion instead of
1455         default_function_array_conversion where needed.
1456         (c_parser_unary_expression, c_parser_conditional_expression,
1457         c_parser_postfix_expression_after_primary, c_parser_initelt):
1458         Likewise.  Call mark_exp_read where needed.
1459         (c_parser_statement_after_labels, c_parser_asm_operands,
1460         c_parser_typeof_specifier, c_parser_sizeof_expression,
1461         c_parser_alignof_expression, c_parser_initval): Call mark_exp_read
1462         where needed.
1463         * common.opt (Wunused-but-set-variable, Wunused-but-set-parameter):
1464         New.
1465         * toplev.c (warn_unused_but_set_variable): Default to warn_unused.
1466         (warn_unused_but_set_parameter): Default to warn_unused
1467         && extra_warnings.
1468         * doc/invoke.texi: Document -Wunused-but-set-variable and
1469         -Wunused-but-set-parameter.
1470
1471         * tree-ssa-pre.c (my_rev_post_order_compute): Remove set but not
1472         used count variable.
1473         * genemit.c (gen_expand, gen_split): Avoid set but not used warnings
1474         when operandN variables aren't used in the body of the expander
1475         or splitter.
1476         * tree-outof-ssa.c (FOR_EACH_ELIM_GRAPH_SUCC,
1477         FOR_EACH_ELIM_GRAPH_PRED): Avoid set but not used warnings.
1478         * tree-ssa-operands.h (FOR_EACH_SSA_TREE_OPERAND): Likewise.
1479         * tree-flow.h (FOR_EACH_IMM_USE_FAST, FOR_EACH_IMM_USE_STMT,
1480         FOR_EACH_IMM_USE_ON_STMT): Likewise.
1481         * tree.h (FOR_EACH_CONSTRUCTOR_ELT): Likewise.
1482         * tree.c (PROCESS_ARG): Likewise.
1483
1484 2010-04-07  Simon Baldwin  <simonb@google.com>
1485
1486         * diagnostic.h (diagnostic_override_option_index): New macro to
1487         set a diagnostic's option_index.
1488         * c-tree.h (c_cpp_error): Add warning reason argument.
1489         * opts.c (_warning_as_error_callback): New.
1490         (register_warning_as_error_callback): Store callback for
1491         warnings enabled via enable_warning_as_error.
1492         (enable_warning_as_error): Call callback, minor code tidy.
1493         * opts.h (register_warning_as_error_callback): Declare.
1494         * c-opts.c (warning_as_error_callback): New, set cpp_opts flag in
1495         response to -Werror=.
1496         (c_common_init_options): Register warning_as_error_callback in opts.c.
1497         * common.opt: Add -Wno-cpp option.
1498         * c-common.c (struct reason_option_codes_t): Map cpp warning
1499         reason codes to gcc option indexes.
1500         * (c_option_controlling_cpp_error): New function, lookup the gcc
1501         option index for a cpp warning reason code.
1502         * (c_cpp_error): Add warning reason argument, call
1503         c_option_controlling_cpp_error for diagnostic_override_option_index.
1504         * doc/invoke.texi: Document -Wno-cpp.
1505
1506 2010-04-07  Richard Guenther  <rguenther@suse.de>
1507
1508         * ipa-reference.c (mark_load): Use get_base_address.
1509         (mark_store): Likewise.
1510
1511         * tree-ssa-ccp.c (gimplify_and_update_call_from_tree): Avoid
1512         inserting GIMPLE_NOPs into the IL.
1513         * tree-ssa-structalias.c (get_constraint_for_component_ref):
1514         Explicitly strip handled components and indirect references.
1515
1516         * fold-const.c (fold_unary_loc): Do not strip qualifiers when
1517         folding address expressions.
1518         * gimple.c (gimple_ior_addresses_taken_1): Use get_base_address.
1519         * tree-ssa-alias.c (decl_refs_may_alias_p): Do not use
1520         operand_equal_p to compare decls.
1521         (ptr_deref_may_alias_decl_p): Likewise.
1522         * tree-ssa-operands.c (get_asm_expr_operands): Simplify
1523         * tree-ssa-forwprop.c (forward_propagate_into_gimple_cond):
1524         Handle reversed comparison ops.
1525         * tree-sra.c (asm_visit_addr): Use get_base_address.
1526         * ipa-prop.c (visit_store_addr_for_mod_analysis): Use get_base_address.
1527         * ipa-reference.c (mark_address): Use get_base_address.
1528
1529 2010-04-07  Richard Guenther  <rguenther@suse.de>
1530
1531         * tree-ssa-forwprop.c (forward_propagate_addr_expr):
1532         Propagate constants everywhere.
1533
1534 2010-04-07  Jakub Jelinek  <jakub@redhat.com>
1535
1536         PR debug/43516
1537         * tree.c (MAX_INT_CACHED_PREC): Define.
1538         (nonstandard_integer_type_cache): New array.
1539         (build_nonstandard_integer_type): Cache results for precision
1540         <= MAX_INT_CACHED_PREC.
1541
1542 2010-04-07  Richard Guenther  <rguenther@suse.de>
1543
1544         * doc/invoke.texi (-fargument-alias, -fargument-noalias,
1545         -fargument-noalias-global, -fargument-noalias-anything): Remove.
1546         * common.opt: Likewise.
1547         * tree-ssa-structalias.c (intra_create_variable_infos): Adjust comment.
1548         * alias.c (base_alias_check): Remove flag_argument_noalias handling.
1549         (nonoverlapping_memrefs_p): Likewise.
1550         * emit-rtl.c (set_mem_attributes_minus_bitpos): Likewise.
1551         * opts.c (common_handle_option): Handle OPT_fargument_alias,
1552         OPT_fargument_noalias, OPT_fargument_noalias_anything and
1553         OPT_fargument_noalias_global for backward compatibility.
1554
1555 2010-04-07  Richard Guenther  <rguenther@suse.de>
1556
1557         PR tree-optimization/43270
1558         * tree-vrp.c (check_array_ref): Fix flexible array member detection.
1559         * tree-ssa-sccvn.h (fully_constant_vn_reference_p): Declare.
1560         * tree-ssa-pre.c (phi_translate_1): Adjust.
1561         (fully_constant_expression): Split out vn_reference handling to ...
1562         * tree-ssa-sccvn.c (fully_constant_vn_reference_p): ... here.
1563         Fold reads from constant strings.
1564         (vn_reference_lookup): Handle fully constant references.
1565         (vn_reference_lookup_pieces): Likewise.
1566         * Makefile.in (expmed.o-warn): Add -Wno-error.
1567
1568 2010-04-07  Martin Jambor  <mjambor@suse.cz>
1569
1570         * tree-sra.c (find_param_candidates): Allow scalar va_list types.
1571
1572 2010-04-07  Iain Sandoe  <iains@gcc.gnu.org>
1573
1574         PR driver/41594
1575         * gcc.c: Add -static-libstdc++ to list of recognized options.
1576
1577 2010-04-07  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1578
1579         * config.gcc (i[34567]86-*-solaris2*): Default with_tune_32 to generic.
1580
1581 2010-04-07  Richard Guenther  <rguenther@suse.de>
1582
1583         PR middle-end/42617
1584         * expr.c (expand_expr_real_1): For TARGET_MEM_REFs with pointer
1585         bases build simple mem attributes to retain points-to information.
1586
1587 2010-04-07  Richard Guenther  <rguenther@suse.de>
1588
1589         PR middle-end/42617
1590         * alias.c (ao_ref_from_mem): Without MEM_OFFSET or MEM_SIZE
1591         preserve points-to related information.
1592
1593 2010-04-07  Richard Guenther  <rguenther@suse.de>
1594
1595         PR middle-end/42617
1596         * emit-rtl.c (set_mem_attributes_minus_bitpos): Do not
1597         discard plain indirect references.
1598         * fold-const.c (operand_equal_p): Guard against NULL_TREE type.
1599         * tree.c (tree_nop_conversion): Likewise.
1600
1601 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
1602
1603         PR debug/43628
1604         * dwarf2out.c (modified_type_die): Ignore artificial typedefs.
1605
1606 2010-04-06  Kai Tietz  <kai.tietz@onevision.com>
1607
1608         * config/i386/i386.c (ix86_handle_cconv_attribute): Ignore
1609         calling convention attributes on METHOD_TYPEs for w64 ABI, too.
1610
1611 2010-04-07  Sebastian Pop  <sebastian.pop@amd.com>
1612
1613         * tree-if-conv.c: Fix indentation and comments.
1614
1615 2010-04-07  Sebastian Pop  <sebastian.pop@amd.com>
1616
1617         * tree-if-conv.c: Sort static functions in topological order.
1618
1619 2010-04-07  Sebastian Pop  <sebastian.pop@amd.com>
1620
1621         * tree-if-conv.c: Fix indentation and comments.
1622
1623 2010-04-06  Sebastian Pop  <sebastian.pop@amd.com>
1624
1625         PR middle-end/43519
1626         * graphite-clast-to-gimple.c (max_signed_precision_type): Use
1627         lang_hooks.types.type_for_size instead of
1628         build_nonstandard_integer_type.
1629         When converting an unsigned type to signed, double its precision.
1630         (gcc_type_for_interval): Use lang_hooks.types.type_for_size.
1631         (gcc_type_for_iv_of_clast_loop): Call max_signed_precision_type.
1632         (graphite_create_new_loop_guard): When ub + 1 wraps around,
1633         use lb <= ub.
1634
1635 2010-04-06  Sebastian Pop  <sebastian.pop@amd.com>
1636
1637         PR middle-end/43519
1638         * graphite-clast-to-gimple.c (graphite_create_new_loop_guard): Use
1639         POINTER_PLUS_EXPR for pointer types.
1640
1641 2010-04-06  Sebastian Pop  <sebastian.pop@amd.com>
1642
1643         PR middle-end/43519
1644         * Makefile.in (graphite-clast-to-gimple.o): Depends on langhooks.h.
1645         * graphite-clast-to-gimple.c: Include langhooks.h.
1646         (max_signed_precision_type): New.
1647         (max_precision_type): Takes two types as arguments.
1648         (precision_for_value): New.
1649         (precision_for_interval): New.
1650         (gcc_type_for_interval): New.
1651         (gcc_type_for_value): New.
1652         (gcc_type_for_clast_term): New.
1653         (gcc_type_for_clast_red): New.
1654         (gcc_type_for_clast_bin): New.
1655         (gcc_type_for_clast_expr): Split up into several functions.
1656         (gcc_type_for_clast_eq): Rewritten.
1657         (compute_bounds_for_level): New.
1658         (compute_type_for_level_1): New.
1659         (compute_type_for_level): New.
1660         (gcc_type_for_cloog_iv): Removed.
1661         (gcc_type_for_iv_of_clast_loop): Rewritten.
1662         (graphite_create_new_loop): Compute the lower and upper bound types
1663         with gcc_type_for_clast_expr.
1664         (graphite_create_new_loop_guard): Same.
1665         (find_cloog_iv_in_expr): Removed.
1666         (compute_cloog_iv_types_1): Removed.
1667         (compute_cloog_iv_types): Removed.
1668         (gloog): Do not call compute_cloog_iv_types.
1669         * graphite-sese-to-poly.c (new_gimple_bb): Do not initialize
1670         GBB_CLOOG_IV_TYPES.
1671         (free_data_refs_aux): Do not free GBB_CLOOG_IV_TYPES.
1672         * sese.h (struct gimple_bb): Removed field cloog_iv_types.
1673         (GBB_CLOOG_IV_TYPES): Removed.
1674
1675 2010-04-06  Sebastian Pop  <sebastian.pop@amd.com>
1676
1677         * graphite-sese-to-poly.c (rewrite_close_phi_out_of_ssa): Assert that
1678         gimple_phi_num_args of the loop close SSA phi node is equal to 1.
1679         (detect_commutative_reduction): Same.
1680
1681 2010-04-06  Sebastian Pop  <sebastian.pop@amd.com>
1682
1683         * graphite-clast-to-gimple.c (graphite_verify): Remove redundant
1684         call to verify_ssa.  Invoke verify_loop_closed_ssa with an extra
1685         argument.
1686         * graphite-scop-detection.c (canonicalize_loop_closed_ssa_form): Same.
1687         * graphite-sese-to-poly.c (rewrite_reductions_out_of_ssa): Same.
1688         (rewrite_commutative_reductions_out_of_ssa): Same.
1689         * passes.c (execute_function_todo): Call verify_ssa for every pass
1690         in the LNO.  Invoke verify_loop_closed_ssa with an extra argument.
1691         * tree-flow.h (verify_loop_closed_ssa): Update declaration.
1692         * tree-parloops.c (parallelize_loops): Invoke verify_loop_closed_ssa
1693         with an extra argument.
1694         * tree-ssa-loop-manip.c (check_loop_closed_ssa_stmt): Same.  Call
1695         verify_ssa only when the extra argument is true.
1696         (gimple_duplicate_loop_to_header_edge): Invoke verify_loop_closed_ssa
1697         with an extra argument.
1698         (tree_transform_and_unroll_loop): Same.
1699
1700 2010-04-06  Sebastian Pop  <sebastian.pop@amd.com>
1701
1702         * passes.c (execute_function_todo): Call verify_loop_closed_ssa
1703         for all the passes of the LNO having LOOP_CLOSED_SSA.
1704         * tree-if-conv.c (pass_if_conversion): Remove TODO_verify_loops.
1705         * tree-loop-distribution.c (pass_loop_distribution): Same.
1706         * tree-pass.h (TODO_verify_loops): Removed.
1707         * tree-ssa-loop.c (pass_tree_loop_init): Same.
1708         (pass_lim): Same.
1709         (pass_tree_unswitch): Same.
1710         (pass_predcom): Same.
1711         (pass_vectorize): Same.
1712         (pass_linear_transform): Same.
1713         (pass_graphite_transforms): Same.
1714         (pass_iv_canon): Same.
1715         (pass_complete_unroll): Same.
1716         (pass_complete_unrolli): Same.
1717         (pass_parallelize_loops): Same.
1718         (pass_loop_prefetch): Same.
1719         (pass_iv_optimize): Same.
1720
1721 2010-04-06  Changpeng Fang  <changpeng.fang@amd.com>
1722
1723         PR middle-end/32824
1724         * passes.c (init_optimization_passes): Move pass_lim before
1725         pass_copy_prop and pass_dce_loop.
1726
1727 2010-04-06  Jakub Jelinek  <jakub@redhat.com>
1728
1729         PR target/43667
1730         * config/i386/i386.c (bdesc_multi_arg): Use OPTION_MASK_ISA_XOP
1731         instead of OPTION_MASK_ISA_AVX for __builtin_ia32_vpermil2p*.
1732         (ix86_expand_args_builtin): Use V*_FTYPE_* enum codes instead of
1733         MULTI_* defines for 4 argument vpermil2p* builtins.
1734
1735 2010-04-06  Uros Bizjak  <ubizjak@gmail.com>
1736
1737         * config/i386/i386-protos.h (x86_maybe_negate_const_int): Declare.
1738         * config/i386/i386.c (x86_maybe_negate_const_int): New.
1739         (x86_output_mi_thunk): Use x86_maybe_negate_const_int.
1740         * config/i386/i386.md (*add<mode>_1, *addsi_1_zext, *addhi_1,
1741         *addhi_1_lea, *addqi_1, *addqi_1_lea, *addqi_1_slp, *add<mode>_2,
1742         *addsi_2_zext, *addhi_2, *addqi_2, *add<mode>_3, *addsi_3_zext,
1743         *addhi_3, *addqi_3,*add<mode>_5, *addhi_5, *addqi_5):
1744         Use x86_maybe_negate_const_int to output insn mnemonic.
1745         (*adddi_4, *addsi_4, *addhi_4, *addqi_4): Ditto.  Remove overflow
1746         check from instruction predicate.  Update comments.
1747         * config/i386/sync.md (sync_add<mode>): Use
1748         x86_maybe_negate_const_int to output insn mnemonic.
1749
1750 2010-04-06  Jan Hubicka  <jh@suse.cz>
1751
1752         PR tree-optimization/42906
1753         * tree-ssa-dce.c (mark_control_dependent_edges_necessary): Add
1754         IGNORE_SELF argument.  Set visited_control_parents for fully
1755         processed BBs.
1756         (find_obviously_necessary_stmts): Update call of
1757         mark_control_dependent_edges_necessary.
1758         (propagate_necessity): Likewise.  Handle PHI edges more curefully.
1759
1760 2010-04-06  Uros Bizjak  <ubizjak@gmail.com>
1761
1762         * config/i386/i386.md: Remove comment about 'e' and 'E'
1763         operand modifier.
1764
1765 2010-04-06  Richard Guenther  <rguenther@suse.de>
1766
1767         PR tree-optimization/43627
1768         * tree-vrp.c (extract_range_from_unary_expr): Widenings
1769         of [1, +INF(OVF)] go to [1, +INF(OVF)] of the wider type,
1770         not varying.
1771
1772 2010-04-06  Jakub Jelinek  <jakub@redhat.com>
1773
1774         * BASE-VER: Change to 4.6.0.
1775
1776         PR target/43638
1777         * config/i386/i386.c (print_operand): Remove 'e' and 'E' code
1778         handling.
1779
1780 2010-04-06  Richard Guenther  <rguenther@suse.de>
1781
1782         PR middle-end/43661
1783         * fold-const.c (fold_comparison): Handle X * 0 CMP 0.
1784
1785 2010-04-05  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1786
1787         * doc/invoke.texi (Optimize Options): Document that LTO
1788         won't remove object access purely due to incompatible
1789         declarations.
1790
1791 2010-04-04  Matthias Klose  <doko@ubuntu.com>
1792
1793         * graphite-sese-to-poly.c (translate_scalar_reduction_to_array):
1794         Initialize variable.
1795
1796 2010-04-03  Richard Guenther  <rguenther@suse.de>
1797
1798         PR middle-end/42509
1799         * alias.c (nonoverlapping_memrefs_p): For spill-slot accesses
1800         require a non-NULL MEM_OFFSET.
1801
1802 2010-04-02  Steven Bosscher  <steven@gcc.gnu.org>
1803
1804         * ada/gcc-interface/Make-lang.in, alias.c, attribs.c, auto-inc-dec.c,
1805         basic-block.h, bb-reorder.c, calls.c, c-common.c, cgraph.h,
1806         collect2.h, config/alpha/alpha.c, config/alpha/alpha.md,
1807         config/alpha/predicates.md, config/arm/arm.md,
1808         config/arm/lib1funcs.asm, config/arm/neon-schedgen.ml,
1809         config/avr/avr.c, config/avr/avr.md, config/bfin/bfin.c,
1810         config/darwin9.h, config/darwin.c, config/darwin.h,
1811         config/h8300/h8300.c, config/i386/cpuid.h, config/i386/cygming.h,
1812         config/i386/cygwin.h, config/i386/mingw32.h, config/i386/msformat-c.c,
1813         config/i386/sol2-10.h, config/i386/xopintrin.h, config/ia64/ia64.c,
1814         config/ia64/ia64.md, config/ia64/sync.md, config/mep/mep.c,
1815         config/mips/mips.md, config/mn10300/mn10300.c,
1816         config/mn10300/mn10300.h, config/pa/pa.c, config/pa/pa.md,
1817         config/rs6000/aix.h, config/rs6000/dfp.md,
1818         config/rs6000/rs6000-builtin.def, config/rs6000/rs6000-c.c,
1819         config/rs6000/vector.md, config/rtems.h, config/rx/rx.md,
1820         config/s390/s390.md, config/sol2-c.c, config/sparc/sol2-bi.h,
1821         config/sparc/sol2-gas.h, config/sparc/sparc.h, config/sparc/sparc.md,
1822         config/sparc/sparc-protos.h, config/spu/spu.c, config/spu/spu-c.c,
1823         config/t-darwin, convert.c, c.opt, c-opts.c, cp/Make-lang.in,
1824         c-pretty-print.c, c-typeck.c, df-core.c, df-scan.c, diagnostic.c,
1825         diagnostic.h, doc/cppopts.texi, doc/cpp.texi, doc/extend.texi,
1826         doc/gimple.texi, doc/languages.texi, doc/plugins.texi, doc/rtl.texi,
1827         doc/standards.texi, doc/tree-ssa.texi, doc/trouble.texi, dominance.c,
1828         fold-const.c, fortran/Make-lang.in, fwprop.c, gcc-plugin.h,
1829         gensupport.c, gimple.h, gimple-iterator.c, graphite.c,
1830         graphite-clast-to-gimple.c, graphite-clast-to-gimple.h,
1831         graphite-dependences.c, graphite-poly.c, graphite-poly.h,
1832         graphite-ppl.c, graphite-ppl.h, graphite-scop-detection.c,
1833         graphite-sese-to-poly.c, graphite-sese-to-poly.h, ifcvt.c, intl.c,
1834         intl.h, ipa.c, ipa-cp.c, ipa-inline.c, ipa-prop.c, ipa-prop.h,
1835         ipa-pure-const.c, ipa-reference.c, ipa-type-escape.c, ira-color.c,
1836         ira-conflicts.c, ira-lives.c, java/Make-lang.in, lambda-code.c,
1837         loop-invariant.c, lto/Make-lang.in, lto-streamer.h, lto-streamer-in.c,
1838         objc/Make-lang.in, objcp/Make-lang.in, omp-low.c, optc-gen.awk,
1839         opt-functions.awk, opth-gen.awk, params.def, passes.c,
1840         postreload-gcse.c, print-tree.c, recog.c, regrename.c, reload.h,
1841         rtl.def, sched-int.h, sched-rgn.c, sel-sched-dump.c, sese.c, sese.h,
1842         store-motion.c, stor-layout.c, tree-cfgcleanup.c, tree-chrec.c,
1843         tree-complex.c, tree-data-ref.c, tree.def, tree-eh.c, tree-flow.h,
1844         tree-flow-inline.h, tree.h, tree-loop-distribution.c, tree-outof-ssa.c,
1845         tree-parloops.c, tree-pass.h, tree-predcom.c, tree-profile.c,
1846         tree-scalar-evolution.c, tree-ssa-address.c, tree-ssa-alias.c,
1847         tree-ssa-coalesce.c, tree-ssa-copy.c, tree-ssa-dce.c, tree-ssa-dom.c,
1848         tree-ssa-dse.c, tree-ssa-loop-im.c, tree-ssa-loop-ivcanon.c,
1849         tree-ssa-loop-manip.c, tree-ssa-math-opts.c, tree-ssa-operands.c,
1850         tree-ssa-pre.c, tree-ssa-sccvn.c, tree-ssa-structalias.c,
1851         tree-ssa-uncprop.c, tree-tailcall.c, tree-vect-data-refs.c,
1852         tree-vect-loop.c, tree-vectorizer.h, tree-vect-slp.c, tree-vrp.c,
1853         unwind-dw2-fde-darwin.c, varpool.c: Update copyright years.
1854
1855 2010-04-02  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1856
1857         PR other/43620
1858         * doc/install.texi (Prerequisites): Bump Automake version to 1.11.1.
1859         * aclocal.m4: Regenerate.
1860
1861 2010-04-02  Richard Guenther  <rguenther@suse.de>
1862
1863         PR tree-optimization/43629
1864         * tree-ssa-ccp.c (likely_value): Reset all_undefined_operands
1865         if we have seen a constant value.
1866
1867 2010-04-02  Joseph Myers  <joseph@codesourcery.com>
1868
1869         * read-rtl.c (read_rtx_1): Give an error for EOF while looking for ']'.
1870
1871 2010-04-02  Richard Earnshaw  <rearnsha@arm.com>
1872
1873         PR target/43469
1874         * arm.c (legitimize_tls_address): Adjust call to
1875         gen_tls_load_dot_plus_four.
1876         (arm_note_pic_base): New function.
1877         (arm_cannot_copy_insn_p): Use it.
1878         * thumb2.md (tls_load_dot_plus_four): Rework to avoid use of '+' in
1879         constraint.
1880
1881 2010-04-02  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1882
1883         PR bootstrap/43531
1884
1885         Revert:
1886         2009-09-28  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1887
1888         * Makefile.in ($(out_object_file)): Depend on
1889         gt-$(basename $(notdir $(out_file))).h.
1890
1891 2010-04-01  Ralf Corsépius <ralf.corsepius@rtems.org>
1892
1893         * config.gcc (lm32-*-rtems*): Add t-lm32.
1894
1895 2010-04-01  Joel Sherrill <joel.sherrill@oarcorp.com>
1896
1897         * config.gcc: Add lm32-*-rtems*.
1898         * config/lm32/rtems.h: New file.
1899
1900 2010-04-01  Dave Korn  <dave.korn.cygwin@gmail.com>
1901
1902         PR target/42609
1903         * config/i386/cygwin.h (CXX_WRAP_SPEC): Disable spec when -mno-cygwin.
1904
1905 2010-04-01  Jakub Jelinek  <jakub@redhat.com>
1906
1907         * dwarf2out.c (output_compilation_unit_header): For
1908         -gdwarf-4 use version 4 instead of version 3.
1909         (output_line_info): For version 4 and above emit additional
1910         maximum ops per insn header field.
1911         (DWARF_LINE_DEFAULT_MAX_OPS_PER_INSN): Define.
1912
1913         * dwarf2out.c (is_c_family, is_java): Remove.
1914         (lower_bound_default): New function.
1915         (add_bound_info, gen_descr_array_type_die): Use it.
1916
1917 2010-04-01  Dodji Seketeli  <dodji@redhat.com>
1918
1919         PR debug/43325
1920         * dwarf2out.c (gen_variable_die): Allow debug info for variable
1921         re-declaration when it happens in a function.
1922
1923 2010-04-01  Aldy Hernandez  <aldyh@redhat.com>
1924
1925         * cgraph.c (cgraph_add_function_insertion_hook): Update comment.
1926         (cgraph_remove_function_insertion_hook): Same.
1927         (cgraph_call_function_insertion_hooks): Same.
1928
1929 2010-04-01  Richard Guenther  <rguenther@suse.de>
1930
1931         PR middle-end/43614
1932         * tree-ssa-address.c (copy_mem_ref_info): Copy TREE_SIDE_EFFECTS
1933         and TREE_THIS_VOLATILE.
1934         (copy_ref_info): Likewise.
1935         * tree-ssa-operands.c (get_tmr_operands): Check TREE_THIS_VOLATILE.
1936         * tree.c (build6_stat): Ignore side-effects of all but arg5
1937         for TARGET_MEM_REF.  Set TREE_THIS_VOLATILE from arg5 of
1938         TARGET_MEM_REF.
1939
1940 2010-04-01  Richard Guenther  <rguenther@suse.de>
1941
1942         PR tree-optimization/43607
1943         * ipa-type-escape.c (check_call): Do not access non-existing
1944         arguments.
1945
1946 2010-04-01  Richard Guenther  <rguenther@suse.de>
1947
1948         PR middle-end/43602
1949         Revert
1950         2010-03-30  Seongbae Park <seongbae.park@gmail.com>
1951                     Jack Howarth <howarth@bromo.med.uc.edu>
1952
1953         * tree-profile.c (tree_init_ic_make_global_vars): Make static
1954         variables TLS.
1955
1956 2010-04-01  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1957
1958         * doc/install.texi (Prerequisites): Document libelf usability on
1959         IRIX 5/6 and Solaris 2.
1960         (Specific, i?86-*-solaris2.10): No 64-bit default configuration.
1961         Update GNU as, GNU ld requirements.
1962         (Specific, *-*-solaris2*): Document Solaris 7 obsoletion, removal.
1963         Document Sun Studio compiler download.
1964         Update and simplify as, ld recommendations.
1965         (Specific, *-*-solaris2.7): Note obsoletion, removal.
1966
1967 2010-04-01  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1968
1969         * config.gcc (i[34567]86-*-solaris2*): Default with_arch_32,
1970         with_tune_32 to pentium4.
1971
1972 2010-04-01  Uros Bizjak  <ubizjak@gmail.com>
1973
1974         * config/i386/cpuid.h (__get_cpuid_max): Move misplaced comment.
1975
1976 2010-04-01  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1977
1978         * doc/install.texi (Specific, mips-sgi-irix5): Document IRIX 5
1979         obsoletion, removal.
1980         Update IDO URL.
1981         Document GNU as requirement.
1982         Update configure requirements.
1983         (Specific, mips-sgi-irix6): Document IRIX 6 < 6.5 obsoletion, removal.
1984         Recomment IRIX 6.5.18+.
1985         Document IDF/IDL requirement.
1986         Document GNU as requirement.
1987         Document GNU ld bootstrap failure.
1988         Remove freeware.sgi.com reference.
1989
1990 2010-04-01  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1991
1992         * doc/install.texi (Specific, alpha*-dec-osf*): Document Tru64
1993         UNIX V4.0, V5.0 obsoletion, removal.
1994         Remove --with-gc=simple reference.
1995         Update VM requirements during bootstrap.
1996         Remove -oldas bootstrap description.
1997         Update binutils reference.
1998         Remove comparison failure note.
1999
2000 2010-03-31  Richard Guenther  <rguenther@suse.de>
2001             Zdenek Dvorak  <ook@ucw.cz>
2002             Sebastian Pop  <sebastian.pop@amd.com>
2003
2004         PR middle-end/43464
2005         * tree-ssa-copy.c (init_copy_prop): Handle loop close phi nodes
2006         with multiple arguments.
2007         (execute_copy_prop): Remove call to rewrite_into_loop_closed_ssa.
2008
2009 2010-03-31  Sebastian Pop  <sebastian.pop@amd.com>
2010
2011         * graphite-dependences.c (print_pddr): Call print_pdr with an
2012         extra argument.
2013         * graphite-poly.c (debug_pdr): Add an extra argument for the
2014         verbosity level.
2015         (print_pdr): Same.
2016         (print_pbb_domain): Same.
2017         (print_pbb): Same.
2018         (print_scop_context): Same.
2019         (print_scop): Same.
2020         (print_cloog): Same.
2021         (debug_pbb_domain): Same.
2022         (debug_pbb): Same.
2023         (print_pdrs): Same.
2024         (debug_pdrs): Same.
2025         (debug_scop_context): Same.
2026         (debug_scop): Same.
2027         (debug_cloog): Same.
2028         (print_scop_params): Same.
2029         (debug_scop_params): Same.
2030         (print_iteration_domain): Same.
2031         (print_iteration_domains): Same.
2032         (debug_iteration_domain): Same.
2033         (debug_iteration_domains): Same.
2034         (print_scattering_function): Same.
2035         (print_scattering_functions): Same.
2036         (debug_scattering_function): Same.
2037         (debug_scattering_functions): Same.
2038         * graphite-poly.h (debug_pdr): Update declaration.
2039         (print_pdr): Same.
2040         (print_pbb_domain): Same.
2041         (print_pbb): Same.
2042         (print_scop_context): Same.
2043         (print_scop): Same.
2044         (print_cloog): Same.
2045         (debug_pbb_domain): Same.
2046         (debug_pbb): Same.
2047         (print_pdrs): Same.
2048         (debug_pdrs): Same.
2049         (debug_scop_context): Same.
2050         (debug_scop): Same.
2051         (debug_cloog): Same.
2052         (print_scop_params): Same.
2053         (debug_scop_params): Same.
2054         (print_iteration_domain): Same.
2055         (print_iteration_domains): Same.
2056         (debug_iteration_domain): Same.
2057         (debug_iteration_domains): Same.
2058         (print_scattering_function): Same.
2059         (print_scattering_functions): Same.
2060         (debug_scattering_function): Same.
2061         (debug_scattering_functions): Same.
2062
2063 2010-03-31  Sebastian Pop  <sebastian.pop@amd.com>
2064
2065         * graphite-poly.c (print_scattering_function_1): New.
2066         (print_scattering_function): Call it.
2067         (print_scop_params): Remove spaces at the end of lines.
2068         (print_cloog): New.
2069         (debug_cloog): New.
2070         * graphite-poly.h (print_cloog): Declared.
2071         (debug_cloog): Declared.
2072
2073 2010-03-31  Sebastian Pop  <sebastian.pop@amd.com>
2074
2075         * graphite-sese-to-poly.c (graphite_loop_normal_form): Add the IV bump
2076         in loop->header.
2077         * tree-flow.h (canonicalize_loop_ivs): Updated declaration.
2078         * tree-parloops.c (gen_parallel_loop): Add the IV bump in loop->latch.
2079         * tree-ssa-loop-manip.c (canonicalize_loop_ivs): Add a new parameter
2080         to switch between adding the IV bump in loop->latch or in loop->header.
2081
2082 2010-03-31  Sebastian Pop  <sebastian.pop@amd.com>
2083
2084         * graphite-poly.c (print_scattering_function): Pretty print following
2085         the scoplib format.
2086         (print_pdr): Same.
2087         (print_pbb_domain): Same.
2088         (dump_gbb_cases): Same.
2089         (dump_gbb_conditions): Same.
2090         (print_pdrs): Same.
2091         (print_pbb): Same.
2092         (print_scop_params): Same.
2093         (print_scop_context): Same.
2094         (print_scop): Same.
2095         (print_pbb_body): New.
2096         (lst_indent_to): New.
2097         (print_lst): Start new lines with a #.
2098         * graphite-poly.h (pbb_bb): New.
2099         (pbb_index): Use pbb_bb.
2100         * graphite-ppl.c (ppl_print_powerset_matrix): Print the number of
2101         disjuncts.
2102         * tree-data-ref.c (dump_data_reference): Start new lines with a #.
2103
2104 2010-03-31  Jakub Jelinek  <jakub@redhat.com>
2105
2106         * dwarf2out.c (size_of_die): For -gdwarf-4 use
2107         uleb128 size instead of fixed 1 or 2 for dw_val_class_loc
2108         and 0 instead of 1 for dw_val_class_flag.
2109         (value_format): For -gdwarf-4 use DW_FORM_sec_offset for
2110         dw_val_class_range_list, dw_val_class_loc_list,
2111         dw_val_class_lineptr and dw_val_class_macptr, use
2112         DW_FORM_flag_present for dw_val_class_flag and
2113         DW_FORM_exprloc for dw_val_class_loc.
2114         (output_die): For -gdwarf-4 print dw_val_class_loc
2115         size as uleb128 instead of 1 or 2 bytes and don't print
2116         anything for dw_val_class_flag.
2117
2118         * var-tracking.c (vt_init_cfa_base): Use cselib_lookup_from_insn
2119         instead of cselib_lookup following by tweaking locs->setting_insn.
2120
2121         PR bootstrap/43596
2122         * cselib.c (cselib_process_insn): Clear cselib_current_insn
2123         even before returning from label, setjmp call or volatile asm
2124         handling.
2125
2126 2010-03-31  Richard Guenther  <rguenther@suse.de>
2127
2128         PR middle-end/43600
2129         * cgraphunit.c (cgraph_output_in_order): Do not allocate
2130         temporary data on stack.
2131
2132 2010-03-31  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2133
2134         * config/sparc/sysv4.h (PUSHSECTION_FORMAT): Remove undef.
2135         (PUSHSECTION_ASM_OP): Remove.
2136         (POPSECTION_ASM_OP): Remove.
2137         (PUSHSECTION_FORMAT): Remove.
2138         * config/sol2.h (PUSHSECTION_FORMAT): Define.
2139         * config/sparc/sol2.h [!USE_GAS] (PUSHSECTION_FORMAT): Redefine.
2140         * config/sol2.c (solaris_output_init_fini): Use it.
2141
2142 2010-03-31  Jie Zhang  <jie@codesourcery.com>
2143
2144         PR 43574
2145         * opt-functions.awk (var_type_struct): Use signed char type
2146         for simple variables.
2147
2148 2010-03-31  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2149
2150         * config/sol2.c: Include output.h.
2151         (solaris_assemble_visibility): New function.
2152         * config/t-sol2 (sol2.o): Add output.h dependency.
2153         * config/sol2-protos.h (solaris_assemble_visibility): Declare.
2154         * config/sol2.h [!USE_GAS] (TARGET_ASM_ASSEMBLE_VISIBILITY):
2155         Redefine.
2156
2157 2010-03-31  Jakub Jelinek  <jakub@redhat.com>
2158
2159         PR target/43580
2160         * config/arm/arm.c (arm_save_coproc_regs): Use Pmode instead of
2161         V2SImode or XFmode on PRE_DEC.
2162
2163         PR debug/43557
2164         * cfgexpand.c (expand_debug_expr): Handle VOIDmode mode like
2165         BLKmode.
2166
2167 2010-03-31  Jie Zhang  <jie@codesourcery.com>
2168
2169         PR 43562
2170         * reload.h (caller_save_initialized_p): Declare.
2171         * toplev.c (backend_init_target): Don't call
2172         init_caller_save but set caller_save_initialized_p to false.
2173         * caller-save.c (caller_save_initialized_p): Define.
2174         (init_caller_save): Check caller_save_initialized_p.
2175         * ira.c (ira): Call init_caller_save if flag_caller_saves.
2176
2177 2010-03-31  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2178
2179         PR target/39048
2180         * config.gcc (i[34567]86-*-solaris2*): Add i386/t-fprules-softfp
2181         and soft-fp/t-softfp to tmake_file.
2182         * config/i386/sol2.h (LIBGCC2_HAS_TF_MODE): Redefine.
2183         (LIBGCC2_TF_CEXT): Define.
2184         (TF_SIZE): Define.
2185
2186 2010-03-30  Alexandre Oliva  <aoliva@redhat.com>
2187
2188         PR debug/42977
2189         * cselib.c (n_useless_values): Document handling of debug locs.
2190         (n_useless_debug_values, n_debug_values): New variables.
2191         (new_elt_loc_list): Don't add to debug values, keep count.
2192         (promote_debug_loc): New.
2193         (cselib_reset_table): Zero new variables.
2194         (entry_and_rtx_equal_p): Promote debug locs.
2195         (discard_useless_locs): Increment n_useless_debug_values for
2196         debug values.
2197         (remove_useless_values): Adjust n_useless_values and n_debug_values
2198         with n_useless_debug_values.
2199         (add_mem_for_addr): Promote debug locs.
2200         (cselib_lookup_mem): Likewise.
2201         (cselib_lookup_addr): Renamed to...
2202         (cselib_lookup_addr_1): ... this.  Promote debug locs.  Don't call...
2203         (cselib_log_lookup): ... this.  Turn into...
2204         (cselib_lookup_addr): ... new wrapper.
2205         (cselib_lookup_from_insn): New.
2206         (cselib_invalidate_regno): Increment n_useless_debug_values for
2207         debug values.
2208         (cselib_invalidate_mem): Likewise.
2209         (cselib_process_insn): Take n_deleted and n_debug_values into
2210         account to guard remove_useless_value call.
2211         (cselib_finish): Zero n_useless_debug_values.
2212         * cselib.h (cselib_lookup_from_insn): Declare.
2213         * sched-deps.c (sched_analyze_1): Use cselib_lookup_from_insn.
2214         (sched_analyze_2): Likewise.
2215
2216 2010-03-30  Jakub Jelinek  <jakub@redhat.com>
2217
2218         * var-tracking.c (use_narrower_mode_test, use_narrower_mode): New
2219         functions.
2220         (adjust_mems): Replace narrowing SUBREG of expression containing
2221         just PLUS, MINUS, MULT and ASHIFT of registers and constants
2222         with operations in the narrower mode.
2223
2224         PR debug/43593
2225         * var-tracking.c (dataflow_set_clear_at_call): Invalidate just
2226         regs_invalidated_by_call instead all call_used_reg_set registers.
2227
2228 2010-03-30  Sebastian Pop  <sebastian.pop@amd.com>
2229
2230         PR middle-end/43430
2231         * tree-vect-slp.c (vect_get_and_check_slp_defs): Replace type
2232         pointer comparisons with types_compatible_p.
2233         * tree-vect-stmts.c (vectorizable_call): Same.
2234         (vectorizable_condition): Same.
2235
2236 2010-03-30  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
2237
2238         * config/s390/s390.c (s390_emit_prologue): Omit issuing a dynamic
2239         stack check if the mask would be zero.
2240
2241 2010-03-30  Seongbae Park <seongbae.park@gmail.com>
2242             Jack Howarth <howarth@bromo.med.uc.edu>
2243
2244         * tree-profile.c (tree_init_ic_make_global_vars): Make static
2245         variables TLS.
2246
2247 2010-03-30  Joseph Myers  <joseph@codesourcery.com>
2248
2249         PR other/25232
2250         * libgcc-std.ver (GCC_4.5.0): Define version.  Include __unordxf2
2251         and __unordtf2.
2252         * config/bfin/libgcc-bfin.ver (GCC_4.5.0): Define version.
2253         Include ___unordxf2 and ___unordtf2.
2254         * config/i386/libgcc-glibc.ver: Do not define inheritance from
2255         GCC_4.4.0 here.
2256
2257 2010-03-30  Tarik Graba  <tarik.graba@telecom-paristech.fr>
2258
2259         * config/lm32/t-lm32: New file.
2260         * config.gcc: Use the above file when targetting lm32.
2261
2262 2010-03-28  Duncan Sands  <baldrick@free.fr>
2263
2264         * Makefile.in (PLUGIN_HEADERS): Add except.h.
2265
2266 2010-03-29  Sebastian Pop  <sebastian.pop@amd.com>
2267
2268         PR middle-end/43431
2269         * tree-vect-loop.c (vect_estimate_min_profitable_iters):
2270         Improve vectorization cost model diagnostic.
2271
2272 2010-03-29  Sebastian Pop  <sebastian.pop@amd.com>
2273
2274         PR middle-end/43436
2275         * tree-vect-data-refs.c (vect_analyze_data_refs): When
2276         compute_data_dependences_for_loop returns false, early exit
2277         and output an extra diagnostic for the failed data reference
2278         analysis.
2279
2280 2010-03-29  Richard Guenther  <rguenther@suse.de>
2281
2282         PR tree-optimization/43560
2283         * tree-ssa-loop-im.c (ref_always_accessed_p): Add store_p parameter.
2284         (can_sm_ref_p): Treat stores to readonly locations as trapping.
2285
2286 2010-03-29  Jie Zhang  <jie@codesourcery.com>
2287
2288         PR 43564
2289         * toplev.c (process_options): Set optimization_default_node
2290         and optimization_current_node.
2291         * opts.c (decode_options): Don't set optimization_default_node
2292         and optimization_current_node.
2293
2294 2010-03-29  Ralf Corsépius  <ralf.corsepius@rtems.org>
2295
2296         * config/rtems.h: Abandon -qrtems_debug.
2297
2298 2010-03-28  Jan Hubicka  <jh@suse.cz>
2299
2300         PR tree-optimization/43505
2301         * cgraph.c (cgraph_clone_node): When clonning a clone, replacement
2302         map should not be copied.
2303
2304 2010-03-27  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2305
2306         PR middle-end/41674
2307         * cgraphunit.c (cgraph_build_static_cdtor): If target doesn't have
2308         cdtors, set DECL_PRESERVE_P.
2309         * ipa.c (cgraph_externally_visible_p): Return true if declaration
2310         should be preseved.
2311
2312 2010-03-27  Uros Bizjak  <ubizjak@gmail.com>
2313
2314         PR tree-optimization/43528
2315         * stor-layout.c (place_field): Check that constant fits into
2316         unsigned HWI when skipping calculation of MS bitfield layout.
2317
2318 2010-03-27  Jan Hubicka  <jh@suse.cz>
2319
2320         PR middle-end/43391
2321         * varasm.c (make_decl_rtl): Deal with COMMON flag to make
2322         notice_global_symbol work.
2323
2324 2010-03-27  Jakub Jelinek  <jakub@redhat.com>
2325
2326         * dwarf2out.c (dwarf2_debug_hooks): Use dwarf2out_function_decl
2327         instead of dwarf2out_decl.
2328         (struct var_loc_node): Remove section_label field.
2329         (dwarf2out_function_decl): New function.
2330         (dwarf2out_var_location): Don't set section_label field.
2331         (dwarf2out_begin_function): Don't empty decl_loc_table here.
2332
2333 2010-03-26  Michael Meissner  <meissner@linux.vnet.ibm.com>
2334
2335         PR tree-optimization/43544
2336         * doc/tm.texi (TARGET_VECTORIZE_BUILTIN_VECTORIZED_FUNCTION):
2337         First argument for builtin vectorized function hook is now a
2338         tree to be able to distinguish between machine specific and
2339         standard builtins.
2340         * targhooks.c (default_builtin_vectorized_function): Ditto.
2341         * targhooks.h (default_builtin_vectorized_function): Ditto.
2342         * target.h (struct gcc_target): Ditto.
2343         * tree-vect-stmts.c (vectorizable_function): Ditto.
2344         * config/i386/i386.c (ix86_builtin_vectorized_function): Ditto.
2345         * config/rs6000/rs6000.c (rs6000_builtin_vectorized_function):
2346         Ditto.
2347
2348 2010-03-26  Joseph Myers  <joseph@codesourcery.com>
2349
2350         PR c/43381
2351         * c-decl.c (get_parm_info): Assert that decl going in OTHERS has a
2352         nested binding iff it is a FUNCTION_DECL.
2353         (store_parm_decls_newstyle): Pass nested=true to bind for
2354         FUNCTION_DECLs amongst parameters.
2355
2356 2010-03-26  Jakub Jelinek  <jakub@redhat.com>
2357
2358         * var-tracking.c (vt_expand_loc_callback): Don't run
2359         cselib_expand_value_rtx_cb in dummy mode if
2360         cselib_dummy_expand_value_rtx_cb returned false.
2361
2362         * var-tracking.c (emit_note_insn_var_location): For one part
2363         notes with offset 0, don't add EXPR_LIST around the location.
2364         * dwarf2out.c (loc_descriptor, dw_loc_list_1,
2365         add_location_or_const_value_attribute): Adjust for that change.
2366
2367         PR debug/43540
2368         * dwarf2out.c (reg_save): For DW_CFA_expression put regnum
2369         into first operand and location into second.
2370         (dw_cfi_oprnd1_desc): Return dw_cfi_oprnd_reg_num instead of
2371         dw_cfi_oprnd_loc for DW_CFA_expression.
2372         (dw_cfi_oprnd2_desc): Return dw_cfi_oprnd_loc for DW_CFA_expression.
2373         (output_cfa_loc, output_cfa_loc_raw): For DW_CFA_expression
2374         assume first argument is regnum and second argument is location.
2375
2376 2010-03-26  Uros Bizjak  <ubizjak@gmail.com>
2377
2378         PR target/42113
2379         * config/alpha/alpha.md (*cmp_sadd_si): Change mode
2380         of scratch register to DImode.  Split to DImode comparison operator.
2381         Use SImode subreg of scratch register in the multiplication.
2382         (*cmp_sadd_sidi): Ditto.
2383         (*cmp_ssub_si): Ditto.
2384         (*cmp_ssub_sidi): Ditto.
2385
2386 2010-03-26  Uros Bizjak  <ubizjak@gmail.com>
2387
2388         PR target/43524
2389         * config/i386/i386.c (ix86_expand_prologue) [TARGET_STACK_PROBE]:
2390         Remove invalid assert and wrong comment.
2391
2392 2010-03-26  Jakub Jelinek  <jakub@redhat.com>
2393
2394         PR debug/43516
2395         * flags.h (final_insns_dump_p): New extern.
2396         * final.c (final_insns_dump_p): New variable.
2397         (rest_of_clean_state): Set it before -fdump-final-insns=
2398         dumping, clear afterwards.
2399         * print-rtl.c (print_rtx): If final_insns_dump_p don't dump
2400         MEM_ALIAS_SET on MEMs.
2401
2402 2010-03-26  David S. Miller  <davem@davemloft.net>
2403
2404         * configure.ac: Fix sparc GOTDATA_OP bug check.
2405         * configure: Rebuild.
2406
2407 2010-03-26  Alan Modra  <amodra@gmail.com>
2408
2409         * config/rs6000/rs6000.md (cmptf_internal2): Correct comparison.
2410
2411 2010-03-25  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2412
2413         * doc/tm.texi (Sections): Document TLS_COMMON_ASM_OP,
2414         TLS_SECTION_ASM_FLAG.
2415
2416 2010-03-25  Jakub Jelinek  <jakub@redhat.com>
2417
2418         PR bootstrap/43511
2419         * config/i386/i386.c (ix86_code_end): Set DECL_WEAK if TARGET_MACHO.
2420         Clear first_function_block_is_cold.
2421
2422         PR c/43385
2423         * gimplify.c (gimple_boolify): Only recurse on __builtin_expect
2424         argument if the argument is truth_value_p.
2425
2426 2010-03-24  Michael Meissner  <meissner@linux.vnet.ibm.com>
2427
2428         * config/rs6000/constraints.md: Update copyright year for my changes.
2429
2430         PR target/43484
2431         * config/rs6000/rs6000.c (rs6000_split_multireg_move): If r0 is
2432         used in reg+reg addressing, swap registers.
2433
2434 2010-03-24  Jakub Jelinek  <jakub@redhat.com>
2435
2436         PR debug/43293
2437         * target.h (struct gcc_target): Add code_end hook.
2438         * target-def.h (TARGET_ASM_CODE_END): Define to hook_void_void
2439         if not yet defined.
2440         (TARGET_ASM_OUT): Add TARGET_ASM_CODE_END.
2441         * toplev.c (compile_file): Call targetm.asm_out.code_end
2442         hook before unwind info/debug info output.
2443         * config/i386/winnt.c (i386_pe_file_end): Don't call ix86_file_end.
2444         * config/i386/linux.h (NEED_INDICATE_EXEC_STACK): Don't define.
2445         (TARGET_ASM_FILE_END): Define to file_end_indicate_exec_stack.
2446         * config/i386/linux64.h (NEED_INDICATE_EXEC_STACK): Don't define.
2447         (TARGET_ASM_FILE_END): Define to file_end_indicate_exec_stack.
2448         * config/i386/i386.c (ix86_file_end): Renamed to...
2449         (ix86_code_end): ... this.  Make static.  Don't call
2450         file_end_indicate_exec_stack.  Emit unwind info using
2451         final_start_function/final_end_function.
2452         (darwin_x86_file_end): Remove.
2453         (TARGET_ASM_CODE_END): Define.
2454         * config/i386/i386.h (TARGET_ASM_FILE_END,
2455         NEED_INDICATE_EXEC_STACK): Don't define.
2456         * config/i386/darwin.h (darwin_x86_file_end): Remove prototype.
2457         (TARGET_ASM_FILE_END): Define to darwin_file_end.
2458         * config/i386/i386-protos.h (ix86_file_end): Remove prototype.
2459         * doc/tm.texi (TARGET_ASM_CODE_END): Document.
2460
2461         PR target/43498
2462         * config/i386/i386.c (x86_output_mi_thunk): Call final_start_function
2463         at the beginning and final_end_function at the end.
2464         * config/s390/s390.c (s390_output_mi_thunk): Likewise.
2465
2466 2010-03-24  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2467
2468         * configure.ac (i[34567]86-*-*): Handle Solaris 2/x86 TLS support
2469         and Sun as TLS syntax.
2470         (TLS_SECTION_ASM_FLAG) [on_solaris && !gas_flag]: Define.
2471         * configure: Regenerate.
2472         * config.in: Regenerate.
2473         * varasm.c (TLS_SECTION_ASM_FLAG): Define default.
2474         (default_elf_asm_named_section): Use it.
2475         * config/i386/i386.c (output_pic_addr_const): Lowercase @DTPOFF.
2476         (i386_output_dwarf_dtprel): Likewise.
2477         (output_addr_const_extra): Likewise.
2478         (output_pic_addr_const): Lowercase @GOTTPOFF.
2479         (output_addr_const_extra): Likewise.
2480         (output_pic_addr_const): Lowercase @GOTNTPOFF.
2481         (output_addr_const_extra): Likewise.
2482         (output_pic_addr_const): Lowercase @INDNTPOFF.
2483         (output_addr_const_extra): Likewise.
2484         (output_pic_addr_const): Lowercase @NTPOFF.
2485         (output_addr_const_extra): Likewise.
2486         (output_pic_addr_const): Lowercase @TPOFF.
2487         (output_addr_const_extra): Likewise.
2488         * config/i386/i386.md (*tls_global_dynamic_32_gnu): Lowercase @TLSGD.
2489         (*tls_global_dynamic_64): Likewise.
2490         (*tls_local_dynamic_base_32_gnu): Lowercase @TLSLDM.
2491         (*tls_local_dynamic_base_64): Lowercase @TLSLD.
2492
2493         * defaults.h (TLS_COMMON_ASM_OP): Provide default.
2494         (ASM_OUTPUT_TLS_COMMON): Use it.
2495         * config/i386/sol2-gas.h (TLS_COMMON_ASM_OP): Undef.
2496
2497         PR target/38118
2498         * config.gcc (sparc*-*-solaris2*) [$gas=yes]: Add usegas.h to tm_file.
2499         * config/sparc/sol2.h (ASM_OUTPUT_ALIGNED_COMMON): Move ...
2500         * config/sol2.h (ASM_OUTPUT_ALIGNED_COMMON): ... here.
2501         * config/i386/sol2-10.h (ASM_OUTPUT_ALIGNED_COMMON): Redefine.
2502         * config/i386/sol2.h (TARGET_SUN_TLS): Redefine.
2503         (ASM_DECLARE_OBJECT_NAME) [!USE_GAS]: Redefine.
2504
2505 2010-03-24  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2506
2507         * config/i386/i386.c (override_options): Don't accept
2508         -mtls-dialect=sun any longer.
2509         * config/i386/i386.h (TARGET_SUN_TLS): Define as 0.
2510         * config/i386/i386.md (*tls_global_dynamic_32_sun): Remove.
2511         (*tls_local_dynamic_base_32_sun): Likewise.
2512         * config/i386/sol2.h (TARGET_SUN_TLS): Redefine.
2513
2514 2010-03-24  Jakub Jelinek  <jakub@redhat.com>
2515
2516         PR debug/43508
2517         * dwarf2out.c (mem_loc_descriptor): Don't ICE on
2518         VEC_{MERGE,SELECT,CONCAT,DUPLICATE}.
2519
2520         PR debug/43479
2521         * ira.c (adjust_cleared_regs): New function.
2522         (update_equiv_regs): Adjust cleared_regs in DEBUG_INSNs.
2523
2524         PR debug/19192
2525         PR debug/43479
2526         * cfgexpand.c (gimple_assign_rhs_to_tree): Also set TREE_BLOCK
2527         from gimple_block.
2528         * expr.c (expand_expr_real): Restore previous
2529         curr_insn_source_location and curr_insn_block after
2530         expand_expr_real_1 call.
2531         (expand_expr_real_1) <case SSA_NAME>: Call expand_expr_real
2532         instead of expand_expr_real_1.
2533
2534 2010-03-23  Vladimir Makarov  <vmakarov@redhat.com>
2535
2536         PR rtl-optimization/43413
2537         * ira-color.c (setup_allocno_available_regs_num): Count prohibited
2538         hard regs too.
2539
2540 2010-03-22  James E. Wilson  <wilson@codesourcery.com>
2541
2542         PR target/43348
2543         * ia64.md (call_nogp, call_value_nogp, sibcall_nogp, call_gp,
2544         call_value_gp, sibcall_gp): Use 's' constraint not 'i'.
2545
2546 2010-03-22  H.J. Lu  <hongjiu.lu@intel.com>
2547
2548         * config/i386/i386.c (ix86_target_string): Add -mfma.
2549         Fix a typo in comment.
2550
2551 2010-03-22  Mike Stump  <mikestump@comcast.net>
2552
2553         PR target/23071
2554         * config/rs6000/rs6000.c (darwin_rs6000_special_round_type_align):
2555         Don't overly align based upon packed packed fields.
2556
2557 2010-03-22  Jason Merrill  <jason@redhat.com>
2558
2559         * c-pretty-print.c (pp_c_specifier_qualifier_list) [VECTOR_TYPE]:
2560         Use () rather than [], and move before the element type.
2561
2562 2010-03-22  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2563
2564         * doc/configfiles.texi (Configuration Files): Removed
2565         fixinc/Makefile*, intl/Makefile.*.
2566         * doc/makefile.texi: Fixed markup. Abstract from version
2567         control system used.
2568         (Makefile): Removed obsolete gcc/java/parse.y example.
2569         * doc/sourcebuild.texi: Likewise.
2570         (Top Level): Added config, gnattools, libdecnumber, libgcc,
2571         libgomp, libssp.  Removed fastjar.
2572         (Miscellaneous Docs): Clarify location.
2573         Added COPYING3, COPYING3.LIB.
2574         (Front End Directory): Moved Make-lang.in entry to new subsubsection.
2575
2576 2010-03-22  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2577
2578         PR target/38085
2579         * config/i386/i386.c (x86_function_profiler)
2580         [!NO_PROFILE_COUNTERS]: Fix typo.
2581         * config/i386/gmon-sol2.c (_mcleanup) [__x86_64__]: Use call
2582         instead of callq.
2583
2584 2010-03-22  Janis Johnson  <janis187@us.ibm.com>
2585             Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
2586
2587         * doc/sourcebuild.texi (Test Directives): Split into six
2588         subsections, with most of the current text in new subsections
2589         Directives, Selectors, and Final Actions.
2590         (Directives): Split list of test directives into multiple
2591         subsubsections.
2592         (Selectors): Describe use and syntax of selectors.
2593         (Effective-Target Keywords): Describe all existing keywords.
2594         (Add Options): Describe features for dg-add-options.
2595         (Require Support): Describe variants of dg-require-support.
2596         (Final Actions): Describe commands to use in dg-final.
2597
2598 2010-03-22  Michael Matz  <matz@suse.de>
2599
2600         PR middle-end/43475
2601         * recog.c (validate_replace_rtx_group): Replace also in
2602         REG_EQUAL and REG_EQUIV notes.
2603
2604 2010-03-22  Richard Guenther  <rguenther@suse.de>
2605
2606         PR tree-optimization/43390
2607         * tree-vect-stmts.c (get_vectype_for_scalar_type): Make
2608         sure vector extracts are type correct.
2609
2610 2010-03-22  Richard Guenther  <rguenther@suse.de>
2611
2612         PR middle-end/40106
2613         * builtins.c (expand_builtin_pow): Expand pow (x, 1.5) as
2614         x * sqrt (x) even when optimizing for size if the target
2615         has native support for sqrt.
2616
2617 2010-03-22  Jakub Jelinek  <jakub@redhat.com>
2618
2619         * varasm.c (make_decl_rtl_for_debug): Also clear
2620         flag_mudflap for the duration of make_decl_rtl call.
2621
2622         PR debug/43443
2623         * var-tracking.c (add_cselib_value_chains): Remove ASM_OPERANDS
2624         locs from preserved VALUEs.
2625
2626 2010-03-21  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2627
2628         PR middle-end/42718
2629         * pa.md (movmemsi): Set align to one if zero.
2630         (movmemdi): Likewise.
2631
2632 2010-03-21  Richard Earnshaw  <rearnsha@arm.com>
2633
2634         PR target/42321
2635         * arm.c (arm_output_epilogue): Correctly match VFP pop instructions
2636         with their corresponding prologue pushes.
2637
2638 2010-03-20  Andrew Pinski  <pinskia@gmail.com>
2639
2640         PR target/43156
2641         * config/spu/spu.c (spu_expand_prologue): Don't emit NOTE_INSN_DELETED
2642         at the begining or end.
2643         (spu_expand_epilogue): Likewise.
2644
2645 2010-03-20  Richard Guenther  <rguenther@suse.de>
2646
2647         PR rtl-optimization/43438
2648         * combine.c (make_extraction): Properly zero-/sign-extend an
2649         extraction of the low part of a CONST_INT.  Also handle
2650         CONST_DOUBLE.
2651
2652 2010-03-19  Mike Stump  <mikestump@comcast.net>
2653
2654         * config/i386/darwin.h (SUBTARGET32_DEFAULT_CPU): Add.
2655         * config/i386/i386.c (SUBTARGET32_DEFAULT_CPU): Add.
2656         (override_options): Use SUBTARGET32_DEFAULT_CPU.
2657
2658 2010-03-19  Andrew Pinski  <andrew_pinski@caviumnetworks.com>
2659
2660         PR c/43211
2661         * c-decl.c (grokparms): Set arg_types to NULL_TREE if there was
2662         an error.
2663
2664 2010-03-19  Bernd Schmidt  <bernds@codesourcery.com>
2665
2666         PR rtl-optimization/42258
2667         * ira-lives.c (check_and_make_def_conflict): Ignore conflict for a
2668         use that may match DEF.
2669
2670         PR target/40697
2671         * optabs.c (avoid_expensive_constant): Use rtx_cost to find out
2672         the cost of loading the constant rather than assuming
2673         COSTS_N_INSNS (1).
2674         * config/arm/arm.c (thumb1_rtx_costs) <case CONST_INT>: If the
2675         outer code is AND, do the same tests as the andsi3 expander and
2676         return COSTS_N_INSNS (1) if and is cheap.
2677
2678         * optabs.c (avoid_expensive_constant): Fix formatting.
2679
2680 2010-03-19  Michael Matz  <matz@suse.de>
2681
2682         PR c++/43116
2683         * attribs.c (decl_attributes): When rebuilding a function pointer
2684         type use the same qualifiers as the original pointer type.
2685
2686 2010-03-19  Martin Jambor  <mjambor@suse.cz>
2687
2688         * doc/gimple.texi (Logical Operators): Describe is_gimple_ip_invariant
2689         and is_gimple_ip_invariant_address.
2690
2691 2010-03-19  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
2692
2693         Revert
2694         2009-10-01  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
2695
2696         * config/arm/arm.c (arm_override_options): Turn off
2697         flag_dwarf2_cfi_asm for AAPCS variants.
2698
2699 2010-03-19  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
2700
2701         PR target/43399
2702         * config/arm/arm.c (emit_multi_reg_push): Update comments.
2703         Use PRE_MODIFY instead of PRE_DEC.
2704         (emit_sfm): Use PRE_MODIFY instead of PRE_DEC.
2705         (vfp_emit_fstmd): Likewise.
2706
2707 2010-03-19  Michael Matz  <matz@suse.de>
2708
2709         PR target/43305
2710         * builtins.c (expand_builtin_interclass_mathfn,
2711         expand_builtin_signbit): Use maybe_emit_unop_insn, emit libcalls
2712         if that fails.
2713
2714 2010-03-19  Richard Guenther  <rguenther@suse.de>
2715
2716         PR tree-optimization/43415
2717         * tree-ssa-pre.c (phi_translate): Split out worker to ...
2718         (phi_translate_1): ... this.
2719         (phi_translate): Move all caching here.  Cache all NARY
2720         and REFERENCE translations.
2721
2722 2010-03-19  David S. Miller  <davem@davemloft.net>
2723
2724         With help from Eric Botcazou.
2725         * config/sparc/sparc.c: Include dwarf2out.h.
2726         (emit_pic_helper): Delete.
2727         (pic_helper_symbol_name): Delete.
2728         (pic_helper_emitted_p): Delete.
2729         (pic_helper_needed): New.
2730         (USE_HIDDEN_LINKONCE): Define to '1' if HAVE_GAS_HIDDEN else '0'.
2731         (get_pc_thunk_name): New.
2732         (load_pic_register): Remove 'delay_pic_helper' arg.  Use
2733         get_thunk_pc_name and ggc_strdup to generate PIC thunk symbol.
2734         Set pic_helper_needed to true.  Don't call emit_pic_helper.
2735         (sparc_expand_prologue): Update load_pic_register call.
2736         (sparc_output_mi_thunk): Likewise.
2737         (sparc_file_end): Emit a hidden comdat symbol for the PIC
2738         thunk if possible.  Output CFI information as needed.
2739
2740 2010-03-18  Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2741             Jack Howarth <howarth@bromo.med.uc.edu>
2742
2743         PR target/36399
2744         * config/i386/i386.h: Fix ABI on darwin x86-32.
2745
2746 2010-03-18  Aldy Hernandez  <aldyh@redhat.com>
2747
2748         * tree.h: Declare make_decl_rtl_for_debug.
2749         * varasm.c (make_decl_rtl_for_debug): New.
2750         * dwarf2out.c (rtl_for_decl_location): Call it.
2751         * cfgexpand.c (expand_debug_expr): Call it.
2752
2753 2010-03-18  Jakub Jelinek  <jakub@redhat.com>
2754
2755         PR bootstrap/43399
2756         * var-tracking.c (adjust_mems) <case POST_MODIFY>: Allow BLKmode
2757         mem_mode.
2758
2759         PR bootstrap/43403
2760         * var-tracking.c (vt_init_cfa_base): Do nothing if
2761         cfa_base_rtx would be hard_frame_pointer_rtx or non-fixed register.
2762
2763 2010-03-18  Alexandre Oliva  <aoliva@redhat.com>
2764
2765         PR debug/42873
2766         * var-tracking.c (canonicalize_vars_star): New.
2767         (dataflow_post_merge_adjust): Use it.
2768
2769 2010-03-18  Jakub Jelinek  <jakub@redhat.com>
2770
2771         PR debug/43058
2772         * var-tracking.c (non_suitable_const): New function.
2773         (add_uses): For DEBUG_INSNs with constants, don't record any
2774         value, instead just the constant value itself.
2775         (compute_bb_dataflow) <case MO_VAL_LOC>: If PAT_VAR_LOCATION_LOC
2776         is not VAR_LOC_UNKNOWN_P, set var to the constant.
2777         (emit_notes_in_bb): Likewise.
2778         (emit_note_insn_var_location): For onepart variables if
2779         cur_loc is a VOIDmode constant, use DECL_MODE.
2780
2781 2010-03-18  Martin Jambor  <mjambor@suse.cz>
2782
2783         PR middle-end/42450
2784         * cgraph.h (cgraph_redirect_edge_call_stmt_to_callee): Declare.
2785         * cgraphunit.c (cgraph_materialize_all_clones): Update calls in
2786         all non-clones.  Moved call redirection...
2787         (cgraph_redirect_edge_call_stmt_to_callee): ...to this new function.
2788         (cgraph_materialize_all_clones): Dispose of all
2789         combined_args_to_skip bitmaps.
2790         (verify_cgraph_node): Do not check for edges pointing to wrong
2791         nodes in inline clones.
2792         * tree-inline.c (copy_bb): Call
2793         cgraph_redirect_edge_call_stmt_to_callee.
2794         * ipa.c (cgraph_remove_unreachable_nodes): Call
2795         cgraph_node_remove_callees even when there are used clones.
2796
2797 2010-03-18  H.J. Lu  <hongjiu.lu@intel.com>
2798
2799         * config/i386/libgcc-glibc.ver: Make GCC_4.5.0 inherit GCC_4.4.0.
2800
2801 2010-03-18  H.J. Lu  <hongjiu.lu@intel.com>
2802
2803         PR target/43383
2804         * config/i386/libgcc-glibc.ver: Add __extendxftf2 to GCC_4.5.0
2805         for 32bit.
2806
2807 2010-03-18  Michael Matz  <matz@suse.de>
2808
2809         PR middle-end/43419
2810         * builtins.c (expand_builtin_pow): Don't transform pow(x, 0.5)
2811         into sqrt(x) if we need to preserve signed zeros.
2812
2813 2010-03-18  Steven Bosscher  <steven@gcc.gnu.org>
2814             Eric Botcazou  <ebotcazou@adacore.com>
2815
2816         PR rtl-optimization/43360
2817         * loop-invariant.c (move_invariant_reg): Remove the REG_EQUAL
2818         note if we don't know its invariant status.
2819
2820 2010-03-18  Michael Matz  <matz@suse.de>
2821
2822         PR tree-optimization/43402
2823         * tree-cfgcleanup.c (cleanup_control_expr_graph): Don't follow
2824         PHI chains of ssa names registered for update.
2825
2826 2010-03-17  Peter Bergner  <bergner@vnet.ibm.com>
2827
2828         PR target/42427
2829         * config/rs6000/rs6000.c (rs6000_split_multireg_move): Add support for
2830         non-offsettable and pre_modify update addressing.
2831         * config/rs6000/dfp.md (*movdd_hardfloat32): Make the "0", "1"
2832         and "2" alternatives "#".
2833         (*movdd_softfloat32): Make all alternatives "#";
2834         * config/rs6000/rs6000.md (DIFD): New define_mode_iterator.
2835         (*movdf_hardfloat32): Make the "0", "1" and "2" alternatives "#".
2836         (*movdf_softfloat32): Make all alternatives "#";
2837         (movdi): Use the new DIFD mode iterator to create a common splitter
2838         for movdi, movdf and movdd patterns.
2839
2840 2010-03-18  Shujing Zhao  <pearly.zhao@oracle.com>
2841
2842         * common.opt (dumpdir): Remove redundant tab.
2843
2844 2010-03-17  Martin Jambor  <mjambor@suse.cz>
2845
2846         PR tree-optimization/43347
2847         * tree-sra.c (create_access_replacement): Set TREE_NO_WARNING when the
2848         original base is DECL_ARTIFICIAL or DECL_IGNORED_P.
2849
2850 2010-03-17  Bernd Schmidt  <bernd.schmidt@analog.com>
2851
2852         PR rtl-optimization/42216
2853         * regrename.c (create_new_chain): New function, broken out from...
2854         (scan_rtx_reg): ... here.  Call it.  Handle the case where we are
2855         appending a use to an empty chain.
2856         (build_def_use): Remove previous changes that convert OP_INOUT to
2857         OP_OUT operands; instead detect the case where an OP_INOUT operand
2858         uses a previously untracked register and create an empty chain for it.
2859
2860 2010-03-17  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2861
2862         * doc/extend.texi (Function Attributes): Rewrite unfinished
2863         sentence in ms_abi documentation.
2864
2865 2010-03-17  Alan Modra  <amodra@gmail.com>
2866
2867         * config/rs6000/linux64.opt (mprofile-kernel): Use profile_kernel var.
2868         * config/rs6000/linux64.h (TARGET_PROFILE_KERNEL): Define.
2869         (SUBSUBTARGET_OVERRIDE_OPTIONS): Don't use SET_PROFILE_KERNEL.
2870         * config/rs6000/rs6000.c (SET_PROFILE_KERNEL): Don't define.
2871
2872 2010-03-16  Richard Henderson  <rth@redhat.com>
2873
2874         PR middle-end/43365
2875         * tree-eh.c (replace_goto_queue): Also replace in the eh_seq.
2876         (lower_try_finally): Save and restore eh_seq around the expansion
2877         of the try-finally.
2878
2879 2010-03-16  Aldy Hernandez  <aldyh@redhat.com>
2880
2881         * graphite-sese-to-poly.c (split_reduction_stmt): Skip debug
2882         statements before splitting block.
2883
2884 2010-03-16  Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
2885
2886         * doc/sourcebuild.texi (Testsuites): Fix markup.
2887         Use pathnames relative to gcc/testsuite.
2888         (Test Directives): Move description of how timeout is determined.
2889         (Ada Tests): Favor gnat.exp over ada/acats/tests/gcc.
2890         (C Tests): Correct gcc.misc-tests directory.
2891         Framework tests now live in gcc.test-framework.
2892
2893 2010-03-16  Richard Guenther  <rguenther@suse.de>
2894
2895         PR middle-end/43379
2896         * tree-cfg.c (gimple_merge_blocks): When propagating virtual PHI
2897         operands make sure to merge SSA_NAME_OCCURS_IN_ABNORMAL_PHI properly.
2898
2899 2010-03-16  Aldy Hernandez  <aldyh@redhat.com>
2900             Alexandre Oliva  <aoliva@redhat.com>
2901
2902         PR tree-optimization/42917
2903         * lambda-code.c (remove_iv): Skip debug statements.
2904         (lambda_loopnest_to_gcc_loopnest): Likewise.
2905         (not_interesting_stmt): Debug statements are not interesting.
2906
2907 2010-03-16  Jakub Jelinek  <jakub@redhat.com>
2908
2909         PR debug/43051
2910         PR debug/43092
2911         * cselib.c (cselib_preserve_constants,
2912         cfa_base_preserved_val): New static variables.
2913         (preserve_only_constants): New function.
2914         (cselib_reset_table): If cfa_base_preserved_val is non-NULL, don't
2915         clear its REG_VALUES.  If cselib_preserve_constants, don't
2916         empty the whole hash table, but preserve there VALUEs with constants,
2917         cfa_base_preserved_val and cfa_base_preserved_val plus constant.
2918         (cselib_preserve_cfa_base_value): New function.
2919         (cselib_invalidate_regno): Don't invalidate cfa_base_preserved_val.
2920         (cselib_init): Change argument to int bitfield.  Set
2921         cselib_preserve_constants to whether CSELIB_PRESERVE_CONSTANTS
2922         is in it.
2923         (cselib_finish): Clear cselib_preserve_constants and
2924         cfa_base_preserved_val.
2925         * cselib.h (enum cselib_record_what): New enum.
2926         (cselib_init): Change argument to int.
2927         (cselib_preserve_cfa_base_value): New prototype.
2928         * postreload.c (reload_cse_regs_1): Adjust cselib_init caller.
2929         * dse.c (dse_step1): Likewise.
2930         * cfgcleanup.c (thread_jump): Likewise.
2931         * sched-deps.c (sched_analyze): Likewise.
2932         * gcse.c (local_cprop_pass): Likewise.
2933         * simplify-rtx.c (simplify_replace_fn_rtx): Add argument to callback.
2934         If FN is non-NULL, call the callback always and whenever it returns
2935         non-NULL just return that.  Only do rtx_equal_p if FN is NULL.
2936         * rtl.h (simplify_replace_fn_rtx): Add argument to callback.
2937         * combine.c (propagate_for_debug_subst): Add old_rtx argument,
2938         compare from with old_rtx and if it isn't rtx_equal_p, return NULL.
2939         * Makefile.in (var-tracking.o): Depend on $(RECOG_H).
2940         * var-tracking.c: Include recog.h.
2941         (bb_stack_adjust_offset): Remove.
2942         (vt_stack_adjustments): Don't call it, instead just gather the
2943         adjustments using insn_stack_adjust_offset_pre_post on each bb insn.
2944         (adjust_stack_reference): Remove.
2945         (compute_cfa_pointer): New function.
2946         (hard_frame_pointer_adjustment, cfa_base_rtx): New static variables.
2947         (struct adjust_mem_data): New type.
2948         (adjust_mems, adjust_mem_uses, adjust_mem_stores, adjust_insn): New
2949         functions.
2950         (get_address_mode): New function.
2951         (replace_expr_with_values): Use it.
2952         (use_type): Don't do cselib_lookup for VAR_LOC_UNKNOWN_P.
2953         Use get_address_mode.  For cfa_base_rtx return MO_CLOBBER.
2954         (adjust_sets): Remove.
2955         (add_uses): Don't add extra MO_VAL_USE for cfa_base_rtx plus constant.
2956         Use get_address_mode.
2957         (get_adjusted_src): Remove.
2958         (add_stores): Don't call it.  Never reuse expr SET.  Don't add extra
2959         MO_VAL_USE for cfa_base_rtx plus constant.  Use get_address_mode.
2960         (add_with_sets): Don't call adjust_sets.
2961         (fp_setter, vt_init_cfa_base): New functions.
2962         (vt_initialize): Change return type to bool.  Move most of pool etc.
2963         initialization to the beginning of the function from end.  Pass
2964         CSELIB_RECORD_MEMORY | CSELIB_PRESERVE_CONSTANTS to cselib_init.
2965         If !frame_pointer_needed, call vt_stack_adjustment before mos
2966         vector is filled, call vt_init_cfa_base if argp/framep has been
2967         eliminated to sp.  If frame_pointer_needed and argp/framep has
2968         been eliminated to hard frame pointer, set
2969         hard_frame_pointer_adjustment and call vt_init_cfa_base after
2970         encountering fp setter in the prologue.  For MO_ADJUST, call
2971         log_op_type before pusing the op into mos vector, not afterwards.
2972         Call adjust_insn before cselib_process_insn/add_with_sets,
2973         call cancel_changes (0) afterwards.
2974         (variable_tracking_main_1): Adjust for vt_initialize calling
2975         vt_stack_adjustments and returning whether it succeeded or not.
2976
2977 2010-03-15  Aldy Hernandez  <aldyh@redhat.com>
2978
2979         * graphite-sese-to-poly.c (rewrite_cross_bb_scalar_deps): Skip
2980         debug statements.
2981
2982 2010-03-15  Jakub Jelinek  <jakub@redhat.com>
2983
2984         * dwarf2out.c (dwarf2out_frame_debug): Don't assert drap_reg
2985         has been set.
2986         (based_loc_descr): Use DW_OP_fbreg for vdrap_reg even when
2987         drap_reg has not been set.
2988
2989 2010-03-15  Michael Matz  <matz@suse.de>
2990
2991         PR middle-end/43300
2992         * tree-outof-ssa.c (emit_partition_copy): New argument sizeexp,
2993         use it to expand block copies.
2994         (insert_partition_copy_on_edge, insert_rtx_to_part_on_edge,
2995         insert_part_to_rtx_on_edge): Adjust callers of emit_partition_copy.
2996         (insert_value_copy_on_edge): Use store_expr for BLKmode values.
2997
2998 2010-03-15  Richard Guenther  <rguenther@suse.de>
2999
3000         PR tree-optimization/43367
3001         * tree-cfg.c (gimple_can_merge_blocks_p): Simplify PHI
3002         elimination check.
3003
3004 2010-03-15  Richard Guenther  <rguenther@suse.de>
3005
3006         PR tree-optimization/43317
3007         * ipa-struct-reorg.c (create_new_general_access): Update stmt.
3008
3009 2010-03-15  Martin Jambor  <mjambor@suse.cz>
3010
3011         PR tree-optimization/43141
3012         * tree-sra.c (create_abstract_origin): New function.
3013         (modify_function): Call create_abstract_origin.
3014
3015 2010-03-15  Chris Demetriou  <cgd@google.com>
3016
3017         * Makefile.in (stmp-int-hdrs): Don't chmod include/stdint.h if it
3018         wasn't copied.
3019
3020 2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
3021
3022         PR middle-end/43354
3023         * graphite-sese-to-poly.c (rewrite_close_phi_out_of_ssa): Do not
3024         call insert_out_of_ssa_copy for default definitions.
3025
3026 2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
3027
3028         * graphite-clast-to-gimple.c (my_long_long): Defined.
3029         (gcc_type_for_cloog_iv): Use it instead of long_long_integer_type_node.
3030         * graphite-sese-to-poly.c (my_long_long): Defined.
3031         (scop_ivs_can_be_represented): Use it.
3032
3033 2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
3034
3035         * doc/invoke.texi: Fix documentation of graphite-max-nb-scop-params,
3036         graphite-max-bbs-per-function, and loop-block-tile-size.
3037         * params.def (PARAM_GRAPHITE_MAX_NB_SCOP_PARAMS): Replace "maximal"
3038         with "maximum".
3039         (PARAM_GRAPHITE_MAX_BBS_PER_FUNCTION): Same.
3040
3041 2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
3042
3043         * graphite-clast-to-gimple.c (gcc_type_for_iv_of_clast_loop): Remove
3044         forward declaration.
3045         * graphite-sese-to-poly.c (reduction_phi_p): Remove FIXME comment.
3046         (add_upper_bounds_from_estimated_nit): New.
3047         (build_loop_iteration_domains): Use it.
3048
3049 2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
3050
3051         * doc/invoke.texi (PARAM_LOOP_BLOCK_TILE_SIZE): Document.
3052
3053 2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
3054
3055         PR middle-end/43306
3056         * tree-chrec.c (evolution_function_right_is_integer_cst): CHREC_RIGHT
3057         should be an INTEGER_CST.  Also handle CASE_CONVERT.
3058
3059 2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
3060
3061         * graphite.c (graphite_initialize): To bound the number of bbs per
3062         function, use PARAM_GRAPHITE_MAX_BBS_PER_FUNCTION.
3063         * params.def (PARAM_GRAPHITE_MAX_BBS_PER_FUNCTION): Declared.
3064         * doc/invoke.texi: Document it.
3065
3066 2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
3067
3068         * graphite-sese-to-poly.c (build_poly_scop): Do not return bool.
3069         * graphite-sese-to-poly.h (build_poly_scop): Same.
3070
3071 2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
3072
3073         * graphite-sese-to-poly.c (build_poly_scop): Limit scops following
3074         the number of parameters in the scop.  Use as an upper bound
3075         PARAM_GRAPHITE_MAX_NB_SCOP_PARAMS.
3076         * params.def (PARAM_GRAPHITE_MAX_NB_SCOP_PARAMS): Declared.
3077         * doc/invoke.texi: Document it.
3078
3079 2010-03-13  Jerry Quinn  <jlquinn@optonline.net>
3080
3081         * Makefile.in (TEXI_GCCINT_FILES): Remove c-tree.texi.
3082         * doc/c-tree.texi: Remove.
3083         * doc/generic.texi: Merge c-tree.texi here.
3084         * doc/gccint.texi (Trees): Remove menu entry.
3085         (c-tree.texi): Remove @include.
3086         * doc/rtl.texi (Reading RTL): Update pxref from Trees to GENERIC.
3087         * doc/languages.texi (Reading RTL): Ditto.
3088
3089 2010-03-12  Steve Ellcey  <sje@cup.hp.com>
3090
3091         PR target/42869
3092         * config/ia64/sync.md (sync_compare_and_swap): Move memory fence.
3093
3094 2010-03-12  Michael Meissner  <meissner@linux.vnet.ibm.com>
3095
3096         PR middle-end/42431
3097         * gcc/config/rs6000/rs6000.c (rs6000_emit_move): Delete band-aid
3098         code added to work around reload clobbering CONST insns.
3099
3100 2010-03-12  Jakub Jelinek  <jakub@redhat.com>
3101
3102         * cselib.c (LONG_TERM_PRESERVED_VALUE_P): Remove.
3103         (cselib_preserve_definitely, cselib_clear_preserve): Remove.
3104         (cselib_preserve_only_values): Remove retain argument, don't
3105         traverse hash table with cselib_{preserve_definitely,clear_preserve}.
3106         * cselib.h (cselib_preserve_only_values): Remove retain argument.
3107         * var-tracking.c (micro_operation): Move insn field before union.
3108         Add DEF_VEC_O and DEF_VEC_ALLOC_O for this type.
3109         (struct variable_tracking_info_def): Remove n_mos field, change
3110         mos into a vector of micro_operations.
3111         (count_uses, count_uses_1, count_stores, count_with_sets): Remove.
3112         (bb_stack_adjust_offset, log_op_type, add_uses, add_stores,
3113         compute_bb_dataflow, emit_notes_in_bb): Adjust for VTI (bb)->mos
3114         changing into a vector.
3115         (add_with_sets): Likewise.  Ensure MO_VAL_USE uops from add_stores
3116         come before all other uops generated by add_stores.
3117         (vt_add_function_parameters): Adjust for cselib_preserve_only_values
3118         argument removal.
3119         (vt_initialize): Likewise.  Adjust for VTI (bb)->mos changing into
3120         a vector.  Run just one pass over the bbs instead of separate counting
3121         and computation phase.
3122         (vt_finalize): Free VTI (bb)->mos vector instead of array.
3123
3124         PR debug/43329
3125         * tree-inline.c (remap_decls): Put old_var rather than origin_var
3126         into *nonlocalized_list vector.
3127         * dwarf2out.c (gen_formal_parameter_die): Call decl_ultimate_origin
3128         even if origin is non-NULL.
3129         (gen_variable_die): Likewise.
3130         (process_scope_var): Don't change origin.
3131         (gen_decl_die): Likewise.
3132         * tree-cfgcleanup.c (remove_forwarder_block): Check single_pred_p
3133         before adding new edges instead of after it, fix moving over
3134         debug stmts.
3135
3136 2010-03-11  David S. Miller  <davem@davemloft.net>
3137
3138         * configure.ac (gcc_cv_as_cfi_advance_working): Skip a multiple
3139         of four.
3140         * configure: Rebuild.
3141
3142 2010-03-11  Martin Jambor  <mjambor@suse.cz>
3143
3144         PR tree-optimization/43257
3145         * tree.c (assign_assembler_name_if_neeeded): New function.
3146         (free_lang_data_in_cgraph): Assembler name assignment moved to the
3147         above new function.
3148         * tree.h (assign_assembler_name_if_neeeded): Declare.
3149         * cgraphunit.c (cgraph_analyze_function): Create an assembler name for
3150         the function if needed.
3151
3152 2010-03-11  Chris Demetriou  <cgd@google.com>
3153
3154         * Makefile.in (stmp-int-hdrs): Make include/unwind.h,
3155         include/stdint-gcc.h, and include/stdint.h world-readable.
3156
3157 2010-03-11  Richard Guenther  <rguenther@suse.de>
3158
3159         PR tree-optimization/43255
3160         * tree-vrp.c (process_assert_insertions_for): Do not insert
3161         asserts for trivial conditions.
3162
3163 2010-03-11  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
3164
3165         PR tree-optimization/43280
3166         * tree-ssa-math-opts.c (find_bswap_1): Modify symbolic number
3167         generation.  Move calculation of size out of the if branch.
3168         (find_bswap): Modify compare number generation.
3169
3170 2010-03-11  Richard Guenther  <rguenther@suse.de>
3171
3172         PR lto/43200
3173         * lto-streamer-in.c (maybe_fixup_decls): Simplify.
3174         (input_gimple_stmt): Fixup handled component types during
3175         operand read.  Also fix up decls in ADDR_EXPRs.
3176
3177 2010-03-10  Eric Botcazou  <ebotcazou@adacore.com>
3178
3179         * config/sparc/sol2-bi.h (CC1_SPEC): Default to -mcpu=v9 for -m32.
3180         * config/sparc/t-sol2-64 (MULTILIB_DIRNAMES): Use sparcv8plus.
3181
3182 2010-03-10  Jan Hubicka  <jh@suse.cz>
3183
3184         PR c/43288
3185         * ipa.c (function_and_variable_visibility) Normalize COMMON bits.
3186         * varasm.c (get_variable_section): Don't do that here...
3187         (make_decl_rtl): ... and here.
3188         (do_assemble_alias): Produce decl RTL.
3189         (assemble_alias): Likewise.
3190
3191 2010-03-10  Jakub Jelinek  <jakub@redhat.com>
3192
3193         PR debug/43290
3194         * reg-notes.def (REG_CFA_SET_VDRAP): New note.
3195         * dwarf2out.c (dwarf2out_frame_debug_expr): Remove rule 20 - setting
3196         of fde->vdrap_reg.
3197         (dwarf2out_frame_debug): Handle REG_CFA_SET_VDRAP note.
3198         (based_loc_descr): Only express drap or vdrap regno based expressions
3199         using DW_OP_fbreg when not optimizing.
3200         * config/i386/i386.c (ix86_get_drap_rtx): When not optimizing,
3201         make the vDRAP = DRAP assignment RTX_FRAME_RELATED_P and add
3202         REG_CFA_SET_VDRAP note.
3203
3204 2010-03-10  Alexander Monakov  <amonakov@ispras.ru>
3205
3206         PR tree-optimization/43236
3207         * tree-loop-distribution.c (generate_memset_zero): Fix off-by-one
3208         error in calculation of base address in reverse iteration case.
3209         (generate_builtin): Take number of latch executions if the statement
3210         is in the latch.
3211
3212 2010-03-10  Andrey Belevantsev  <abel@ispras.ru>
3213
3214         PR middle-end/42859
3215         * tree-eh.c: Include pointer-set.h.
3216         (lower_eh_dispatch): Filter out duplicate case labels and
3217         remove the unneeded edge when the label is unused.  Return
3218         true when some edges are removed.
3219         (execute_lower_eh_dispatch): When any lowering resulted in
3220         removing an edge, also delete unreachable blocks.
3221
3222 2010-03-10  Jakub Jelinek  <jakub@redhat.com>
3223
3224         PR bootstrap/43287
3225         * config/rs6000/rs6000.c (rs6000_delegitimize_address): Handle
3226         UNSPEC_MACHOPIC_OFFSET.
3227
3228 2010-03-09  Andreas Schwab  <schwab@linux-m68k.org>
3229
3230         PR target/43294
3231         * config/m68k/m68k.c (TARGET_DELEGITIMIZE_ADDRESS): Define.
3232         (m68k_delegitimize_address): New function.
3233
3234 2010-03-09  Jakub Jelinek  <jakub@redhat.com>
3235
3236         PR debug/43299
3237         * dwarf2out.c (const_ok_for_output_1): Return 1 for UNSPECs.
3238
3239         PR debug/43299
3240         * var-tracking.c (adjust_sets): New function.
3241         (count_with_sets, add_with_sets): Use it.
3242         (get_adjusted_src): New inline function.
3243         (add_stores): Use it.
3244
3245         PR debug/43304
3246         * var-tracking.c (vt_expand_loc_callback) <case SUBREG>: If dummy,
3247         call cselib_dummy_expand_value_rtx_cb instead of
3248         cselib_expand_value_rtx_cb.
3249
3250         PR debug/43293
3251         * config/i386/t-i386 (i386.o): Depend on debug.h and dwarf2out.h.
3252         * config/i386/i386.c: Include debug.h and dwarf2out.h.
3253         (ix86_file_end): If dwarf2out_do_cfi_asm (), emit .cfi_startproc
3254         and .cfi_endproc around the pic thunks.
3255         (output_set_got): For TARGET_DEEP_BRANCH_PREDICTION pic, ensure
3256         all queued unwind info register saves are saved before the call.
3257         For !TARGET_DEEP_BRANCH_PREDICTION pic, ensure the call is
3258         considered as sp-=4 for unwind info and the pop as sp+=4 which
3259         also clobbers dest, but doesn't actually restore it.
3260
3261         PR debug/43290
3262         * config/i386/i386.c (ix86_get_drap_rtx): Don't set
3263         RTX_FRAME_RELATED_P.
3264
3265 2010-03-09  Jie Zhang  <jie@codesourcery.com>
3266
3267         * config/arm/arm.md (thumb_mulsi3_v6): Remove trailing
3268         whitespaces in output template.
3269
3270 2010-03-09  Jie Zhang  <jie@codesourcery.com>
3271
3272         * ira-lives.c (check_and_make_def_use_conflict): Don't fall
3273         out array boundary.
3274
3275 2010-03-08  Jakub Jelinek  <jakub@redhat.com>
3276
3277         * Makefile.in (check_gcc_parallelize): Run dg-torture.exp and
3278         builtins.exp in a separate job.
3279
3280 2010-03-08  Sebastian Pop  <sebastian.pop@amd.com>
3281
3282         * graphite-sese-to-poly.c (add_param_constraints): Use
3283         lower_bound_in_type and upper_bound_in_type.
3284
3285 2010-03-08  Sebastian Pop  <sebastian.pop@amd.com>
3286
3287         * graphite-sese-to-poly.c (add_param_constraints): Use sizetype
3288         instead of unsigned_type_node.
3289
3290 2010-03-08  Sebastian Pop  <sebastian.pop@amd.com>
3291             Reza Yazdani  <reza.yazdani@amd.com>
3292
3293         PR middle-end/43065
3294         * graphite-sese-to-poly.c (add_param_constraints): Insert bounds
3295         on pointer type parameters.
3296
3297 2010-03-08  Tobias Grosser  <grosser@fim.uni-passau.de>
3298
3299         PR middle-end/42644
3300         PR middle-end/42130
3301         * graphite-clast-to-gimple.c (clast_to_gcc_expression): Also
3302         handle conversions from pointer to integers.
3303         (gcc_type_for_cloog_iv): Choose the smalles signed integer as an
3304         induction variable, to be able to work with code generated by CLooG.
3305         * graphite-sese-to-poly.c (scop_ivs_can_be_represented): New.
3306         (build_poly_scop): Bail out if we cannot codegen a loop.
3307
3308 2010-03-08  Tobias Grosser  <grosser@fim.uni-passau.de>
3309
3310         * graphite-clast-to-gimple.c (translate_clast): Do not short-cut
3311         code generation with gloog_error.
3312
3313 2010-03-08  Sebastian Pop  <sebastian.pop@amd.com>
3314
3315         * sese.c (expand_scalar_variables_ssa_name): Add new argument for type.
3316         Call fold_convert on all the returned values.
3317         (expand_scalar_variables_expr): Pass to
3318         expand_scalar_variables_ssa_name the type of the resulting expression.
3319
3320 2010-03-08  Sebastian Pop  <sebastian.pop@amd.com>
3321
3322         * graphite-ppl.c (ppl_min_for_le_polyhedron): Renamed
3323         ppl_min_for_le_pointset.
3324         Use ppl_Pointset_Powerset_C_Polyhedron_minimize.
3325         * graphite-ppl.h (ppl_min_for_le_polyhedron): Update declaration.
3326
3327 2010-03-08  Sebastian Pop  <sebastian.pop@amd.com>
3328
3329         * graphite-dependences.c (map_into_dep_poly): Removed.
3330         (dependence_polyhedron_1): Use combine_context_id_scat.
3331
3332 2010-03-08  Sebastian Pop  <sebastian.pop@amd.com>
3333
3334         * graphite-poly.h (struct poly_scattering): Add layout documentation.
3335         (struct poly_bb): Same.
3336         (combine_context_id_scat): New.
3337
3338 2010-03-08  Sebastian Pop  <sebastian.pop@amd.com>
3339
3340         PR middle-end/42326
3341         * sese.c (name_defined_in_loop_p): Return false for default
3342         definitions.
3343
3344 2010-03-08  Sebastian Pop  <sebastian.pop@amd.com>
3345
3346         * graphite-clast-to-gimple.c (find_cloog_iv_in_expr): Simplify
3347         and clean up the logic.
3348
3349 2010-03-08  Sebastian Pop  <sebastian.pop@amd.com>
3350
3351         * graphite-sese-to-poly.c (add_param_constraints): Enabled: remove
3352         early return.
3353
3354 2010-03-08  Jakub Jelinek  <jakub@redhat.com>
3355
3356         * var-tracking.c (remove_cselib_value_chains): Define only for
3357         ENABLE_CHECKING.
3358         (dataflow_set_preserve_mem_locs, dataflow_set_remove_mem_locs,
3359         delete_slot_part, emit_notes_for_differences_1): Don't call
3360         remove_cselib_value_chains here.
3361         (set_slot_part, emit_notes_for_differences_2): Don't call
3362         add_cselib_value_chains here.
3363         (preserved_values): New vector.
3364         (preserve_value): New function.
3365         (add_uses, add_stores, vt_add_function_parameters): Use it
3366         instead of cselib_preserve_value.
3367         (changed_values_stack): New vector.
3368         (check_changed_vars_0): New function.
3369         (check_changed_vars_1, check_changed_vars_2): Use it.
3370         (emit_notes_for_changes): Call set_dv_changed (*, false) on all
3371         changed_values_stack VALUEs.
3372         (vt_emit_notes): For all preserved_values call
3373         add_cselib_value_chains.  If ENABLE_CHECKING call
3374         remove_cselib_value_chains before verifying value_chains is empty.
3375         Initialize and free changed_values_stack.
3376         (vt_initialize): Initialize preserved_values.
3377         (vt_finalize): Free preserved_values.
3378
3379 2010-03-08  Richard Guenther  <rguenther@suse.de>
3380
3381         PR tree-optimization/43269
3382         * tree-ssa-dse.c (dse_possible_dead_store_p): Fix post-dom
3383         region detection.
3384
3385 2010-03-08  Martin Jambor  <mjambor@suse.cz>
3386
3387         * ipa-prop.h (struct ipa_param_descriptor): Removed the called field.
3388         (ipa_is_param_called): Removed.
3389         * ipa-prop.c (ipa_note_param_call): Do not set the called flag.
3390         (ipa_print_node_params): Do not print the called flag.
3391         (ipa_write_node_info): Do not stream the called flag.
3392         (ipa_read_node_info): Likewise.
3393
3394 2010-03-07  Jakub Jelinek  <jakub@redhat.com>
3395
3396         PR debug/43176
3397         * Makefile.in (var-tracking.o): Depend on pointer-set.h.
3398         * cselib.c (struct expand_value_data): Add dummy field.
3399         (cselib_expand_value_rtx, cselib_expand_value_rtx_cb): Initialize
3400         dummy to false.
3401         (cselib_dummy_expand_value_rtx_cb): New function.
3402         (cselib_expand_value_rtx_1): If evd->dummy is true, don't allocate
3403         any rtl.
3404         * cselib.h (cselib_dummy_expand_value_rtx_cb): New prototype.
3405         * var-tracking.c: Include pointer-set.h.
3406         (variable): Change n_var_parts to char from int.  Add
3407         cur_loc_changed and in_changed_variables fields.
3408         (variable_canonicalize): Remove.
3409         (shared_var_p): New inline function.
3410         (unshare_variable): Maintain cur_loc_changed and
3411         in_changed_variables fields.  If var was in changed_variables,
3412         replace it there with new_var.  Just copy cur_loc instead of
3413         resetting it to something else.
3414         (variable_union): Don't recompute cur_loc.  Use shared_var_p.
3415         (dataflow_set_union): Don't call variable_canonicalize.
3416         (loc_cmp): If both x and y are DEBUG_EXPRs, compare uids
3417         of their DEBUG_EXPR_TREE_DECLs.
3418         (canonicalize_loc_order_check): Verify that cur_loc is NULL
3419         and in_changed_variables and cur_loc_changed is false.
3420         (variable_merge_over_cur): Clear cur_loc, in_changed_variables
3421         and cur_loc_changed.  Don't update cur_loc here.
3422         (variable_merge_over_src): Don't call variable_canonicalize.
3423         (dataflow_set_preserve_mem_locs): Use shared_var_p.  When
3424         removing loc that is equal to cur_loc, clear cur_loc,
3425         set cur_loc_changed and ensure variable_was_changed is called.
3426         (dataflow_set_remove_mem_locs): Use shared_var_p.  Only
3427         compare pointers in cur_loc check, if it is equal to loc,
3428         clear cur_loc and set cur_loc_changed.  Don't recompute cur_loc here.
3429         (variable_different_p): Remove compare_current_location argument,
3430         don't compare cur_loc.
3431         (dataflow_set_different_1): Adjust variable_different_p caller.
3432         (variable_was_changed): If dv had some var in changed_variables
3433         already, reset in_changed_variables flag for it and propagate
3434         cur_loc_changed over to the new variable.  On empty var
3435         always set cur_loc_changed.  Set in_changed_variables on whatever
3436         var is added to changed_variables.
3437         (set_slot_part): Clear cur_loc_changed and in_changed_variables.
3438         Use shared_var_p.  When removing loc that is equal to cur_loc,
3439         clear cur_loc and set cur_loc_changed.  If cur_loc is NULL at the
3440         end, don't set it to something else, just call variable_was_changed.
3441         (delete_slot_part): Use shared_var_p.  When cur_loc equals to
3442         loc being removed, clear cur_loc and set cur_loc_changed.
3443         Set cur_loc_changed if all locations have been removed.
3444         (struct expand_loc_callback