OSDN Git Service

PR c++/34914
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2008-01-22  Jakub Jelinek  <jakub@redhat.com>
2
3         PR c++/34914
4         * c-common.c (handle_vector_size_attribute): Only allow
5         integral, scalar float and fixed point types.  Handle OFFSET_TYPE
6         the same way as pointer, array etc. types.
7         * tree.c (reconstruct_complex_type): Handle OFFSET_TYPE.
8
9         PR c++/34917
10         * tree.c (build_type_attribute_qual_variant): Call
11         build_qualified_type if attributes are equal, but quals are not.
12
13 2008-01-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
14
15         PR 32102
16         * doc/invoke.texi (-Wall): -Wall enables -Wstrict-overflow=1.
17         * flags.h (warn_strict_aliasing): Remove.
18         (warn_strict_overflow): Remove.
19         * opts.c (warn_strict_aliasing): Remove.
20         (warn_strict_overflow): Remove.
21         * c-opts.c (c_common_handle_option): -Wall only sets
22         -Wstrict-aliasing or -Wstrict-overflow if they are uninitialized.
23         (c_common_post_options): Give default values to -Wstrict-aliasing
24         and -Wstrict-overflow if they are uninitialized.
25         * common.opt (Wstrict-aliasing): Specify Var and Init.
26         (Wstrict-overflow): Likewise.
27
28 2008-01-22  Kenneth Zadeck <zadeck@naturalbridge.com>
29
30         PR rtl-optimization/26854
31         PR rtl-optimization/34400
32         PR rtl-optimization/34884
33         * ddg.c (create_ddg_dep_from_intra_loop_link): Use
34         DF_RD->gen.
35         * df.h (df_changeable_flags.DF_RD_NO_TRIM): Deleted
36         (df_rd_bb_info.expanded_lr_out): Deleted
37         * loop_invariant.c (find_defs): Deleted DF_RD_NO_TRIM flag.
38         * loop_iv.c (iv_analysis_loop_init): Ditto.  * df-problems.c
39         (df_rd_free_bb_info, df_rd_alloc, df_rd_confluence_n,
40         df_rd_bb_local_compute, df_rd_transfer_function, df_rd_free):
41         Removed code to allocate, initialize or free expanded_lr_out.
42         (df_rd_bb_local_compute_process_def): Restructured to make more
43         understandable.
44         (df_rd_confluence_n): Removed code to no apply invalidate_by_call
45         sets if the sets are being trimmed.
46
47 2008-01-22  H.J. Lu  <hongjiu.lu@intel.com>
48
49         PR bootstrap/32287
50         * configure.ac (ld_vers): Support GNU linker version xx.xx.*
51         (as_vers): Likewise.
52         * configure: Regenerated.
53
54 2008-01-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
55
56         PR middle-end/33092
57         * tree-pass.h (pass_build_alias): New pass.
58         * tree-ssa-alias.c (gate_build_alias): New.
59         (pass_build_alias): New.
60         * passes.c (init_optimization_passes): Add pass_build_alias after
61         pass_create_structure_vars.
62
63 2008-01-22  Wolfgang Gellerich  <gellerich@de.ibm.com>
64
65         * config/s390/s390.h (S390_TDC_POSITIVE_NORMALIZED_NUMBER):
66         Renamed to S390_TDC_POSITIVE_NORMALIZED_BFP_NUMBER.
67         (S390_TDC_NEGATIVE_NORMALIZED_NUMBER): Renamed to
68         S390_TDC_NEGATIVE_NORMALIZED_BFP_NUMBER.
69         (S390_TDC_POSITIVE_DENORMALIZED_NUMBER): Renamed to
70         S390_TDC_POSITIVE_DENORMALIZED_BFP_NUMBER.
71         (S390_TDC_NEGATIVE_DENORMALIZED_NUMBER): Renamed to
72         S390_TDC_NEGATIVE_DENORMALIZED_BFP_NUMBER.
73         (S390_TDC_POSITIVE_NORMALIZED_BFP_NUMBER): New constant.
74         (S390_TDC_NEGATIVE_NORMALIZED_BFP_NUMBER): New constant.
75         (S390_TDC_POSITIVE_DENORMALIZED_BFP_NUMBER): New constant.
76         (S390_TDC_NEGATIVE_DENORMALIZED_BFP_NUMBER): New constant.
77         * config/s390/s390.md (FP_ALL): New mode iterator.
78         (_d): New mode attribute.
79         ("*signbit<mode>2>"): Changed mode of first operand.
80         ("isinf<mode>2"): Changed mode of first operand.
81         ("*TDC_insn"): Adaptation for DFP modes.
82
83 2008-01-22  Ben Elliston  <bje@au.ibm.com>
84
85         * tree.c (check_qualified_type): Improve function description.
86
87 2008-01-21  Jason Merrill  <jason@redhat.com>
88
89         PR c++/34196
90         * tree.h (TRY_CATCH_IS_CLEANUP): New macro.
91         * tree-eh.c (honor_protect_cleanup_actions): Strip TRY_CATCH_EXPR
92         if it is set.
93
94 2008-01-21  DJ Delorie  <dj@redhat.com>
95
96         * doc/tm.texi (HARD_REGNO_NREGS): Note that this macro must not
97         return zero.
98
99 2008-01-21  Richard Guenther  <rguenther@suse.de>
100
101         PR middle-end/34856
102         * tree-cfg.c (verify_expr): Allow all invariant expressions
103         instead of just constant class ones as reference argument.
104         * tree-ssa-loop-im.c (for_each_index): Handle CONSTRUCTOR
105         like any other constant.
106         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Likewise.
107
108 2008-01-21  H.J. Lu  <hongjiu.lu@intel.com>
109
110         * regmove.c (fixup_match_1): Update call crossed frequencies.
111
112 2008-01-21  Richard Guenther  <rguenther@suse.de>
113
114         PR c/34885
115         * tree-inline.c (setup_one_parameter): Deal with mismatched
116         types using a VIEW_CONVERT_EXPR.
117
118 2008-01-21  Alon Dayan  <alond@il.ibm.com>
119             Olga Golovanevsky  <olga@il.ibm.com>
120         
121         PR tree-optimization/34701
122         * ipa-struct-reorg.c (gen_size): Fix the malloc parameter calculation
123         when the structure size is not a power of 2.
124
125 2008-01-20  Kenneth Zadeck <zadeck@naturalbridge.com>
126
127         * doc/install.texi: Add doc for --enable-checking=df.
128         
129 2008-01-20  Kaz Kojima  <kkojima@gcc.gnu.org>
130
131         PR rtl-optimization/34808
132         * emit-rtl.c (try_split): Handle REG_RETVAL notes.
133
134 2008-01-20  Richard Sandiford  <rsandifo@nildram.co.uk>
135
136         * global.c (find_reg): Only compute EH_RETURN_DATA_REGNO once per
137         input.
138
139 2008-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>
140
141         PR rtl-optimization/26854
142         PR rtl-optimization/34400
143         * ddg.c (create_ddg_dep_from_intra_loop_link): Do not use
144         DF_RD->gen.
145         * df.h (df_changeable_flags.DF_RD_NO_TRIM): New.
146         (df_rd_bb_info.expanded_lr_out): New.
147         * loop_invariant.c (find_defs): Added DF_RD_NO_TRIM flag.
148         * loop_iv.c (iv_analysis_loop_init): Ditto.
149         * df-problems.c (df_rd_free_bb_info, df_rd_alloc, df_rd_confluence_n,
150         df_rd_bb_local_compute, df_rd_transfer_function, df_rd_free):
151         Added code to allocate, initialize or free expanded_lr_out.
152         (df_rd_bb_local_compute_process_def): Restructured to make
153         more understandable.
154         (df_rd_confluence_n): Add code to do nothing with fake edges and
155         code to no apply invalidate_by_call sets if the sets are being trimmed.
156         (df_lr_local_finalize): Renamed to df_lr_finalize.
157         (df_live_local_finalize): Renamed to df_live_finalize.
158
159 2008-01-20  Richard Sandiford  <rsandifo@nildram.co.uk>
160
161         PR target/34831
162         * config/mips/mips.md (div<mode>3): Use <recip_condition> when
163         deciding whether to use reciprocal instructions.
164
165 2008-01-19  Uros Bizjak  <ubizjak@gmail.com>
166
167         * dwarf2out.c (dwarf2out_switch_text_section): Do not call
168         dwarf2out_note_section_used if cold_text_section is NULL.
169
170 2008-01-19  Jakub Jelinek  <jakub@redhat.com>
171
172         PR gcov-profile/34610
173         * tree-cfg.c (make_edges): Mark both outgoing edges from
174         OMP_CONTINUE and from OMP_FOR as EDGE_ABNORMAL.
175         * omp-low.c (expand_omp_for): Clear EDGE_ABNORMAL bits
176         from OMP_FOR and OMP_CONTINUE outgoing edges.
177
178         * tree-profile.c (tree_profiling): Return early if
179         cfun->after_tree_profile != 0.  Set cfun->after_tree_profile
180         at the end.
181         * omp-low.c (expand_omp_parallel): Copy after_tree_profile
182         from cfun to child_cfun.
183         * function.h (struct function): Add after_tree_profile bit.
184
185 2008-01-19 Anatoly Sokolov <aesok@post.ru>
186
187         * config/avr/avr.S (_exit): Disable interrupt.
188
189 2008-01-18  Kenneth Zadeck  <zadeck@naturalbridge.com>
190             Steven Bosscher  <stevenb.gcc@gmail.com>
191
192         PR rtl-optimization/26854
193         PR rtl-optimization/34400
194         * df-problems.c (df_live_scratch): New scratch bitmap.
195         (df_live_alloc): Allocate df_live_scratch when doing df_live.
196         (df_live_reset): Clear the proper bitmaps.
197         (df_live_bb_local_compute): Only process the artificial defs once
198         since the order is not important.
199         (df_live_init): Init the df_live sets only with the variables
200         found live by df_lr.
201         (df_live_transfer_function): Use the df_lr sets to prune the
202         df_live sets as they are being computed.  
203         (df_live_free): Free df_live_scratch.
204
205 2008-01-18  Ian Lance Taylor  <iant@google.com>
206
207         * common.opt: Add fmerge-debug-strings.
208         * dwarf2out.c (DEBUG_STR_SECTION_FLAGS): Test
209         flag_merge_debug_strings rather than flag_merge_constants.
210         * doc/invoke.texi (Option Summary): Mention
211         -fmerge-debug-strings.
212         (Debugging Options): Document -fmerge-debug-strings.
213
214 2008-01-18  Ian Lance Taylor  <iant@google.com>
215
216         PR c++/33407
217         * tree.h (DECL_IS_OPERATOR_NEW): Define.
218         (struct tree_function_decl): Add new field operator_new_flag.
219         * tree-inline.c (expand_call_inline): When inlining a call to
220         operator new, force the return value to go into a variable, and
221         set DECL_NO_TBAA_P on that variable.
222         * c-decl.c (merge_decls): Merge DECL_IS_OPERATOR_NEW flag.
223
224 2008-01-18  Uros Bizjak  <ubizjak@gmail.com>
225
226         PR debug/34484
227         * dwarf2out.c (dwarf2out_switch_text_section): Do not guard with
228         DWARF2_DEBUGGING_INFO.
229         (dwarf2out_note_section_used): Ditto.  Add prototype.
230         (have_multiple_function_sections, text_section_used,
231         cold_text_section_used, *cold_text_sections): Move declarations
232         before their uses.
233
234 2007-01-17  Bob Wilson  <bob.wilson@acm.org>
235
236         * config/xtensa/unwind-dw2-xtensa.h (_Unwind_FrameState): Remove pc
237         field and add signal_ra.
238         * config/xtensa/unwind-dw2-xtensa.c (uw_frame_state_for): Remove
239         assignments to frame state pc.  Move end of stack check after
240         MD_FALLBACK_FRAME_STATE_FOR.
241         (uw_update_context_1): Use frame state signal_regs if set, instead
242         of checking signal_frame flag.
243         (uw_update_context): Use frame state signal_ra if set.
244         * config/xtensa/linux.h (MD_UNWIND_SUPPORT): Define.
245         * config/xtensa/linux-unwind.h: New file.
246
247 2007-01-18  Bernhard Fischer  <aldot@gcc.gnu.org>
248
249         * modulo-sched.c (get_sched_window): Fix comment typo.
250
251 2008-01-17  Andrew MacLeod  <amacleod@redhat.com>
252
253         PR tree-optimization/34648
254         * tree-ssa-sccvn.c (visit_use): Expressions which can throw are varying.
255
256 2008-01-17  Anatoly Sokolov <aesok@post.ru>
257
258         * config/avr/avr.h (LINK_SPEC): Support -mrelax and -mpmem-wrap-around.
259         * config/avr/avr.opt (mrelax, mpmem-wrap-around): Add.
260
261 2008-01-17  Seongbae Park  <seongbae.park@gmail.com>
262
263         PR rtl-optimization/34400
264         * df-core.c (df_worklist_dataflow_overeager,
265         df_worklist_dataflow_doublequeue): New functions.
266         (df_worklist_dataflow): Two different worklist solvers.
267         * params.def (PARAM_DF_DOUBLE_QUEUE_THRESHOLD_FACTOR):
268         New param.
269
270 2008-01-16  Sebastian Pop  <sebastian.pop@amd.com>
271
272         PR testsuite/34821
273         * doc/invoke.texi: Document the dependence on pthread for fopenmp
274         and ftree-parallelize-loops.
275
276 2008-01-17  Mircea Namolaru  <namolaru@il.ibm.com>
277
278         PR rtl-optimization/34826
279         * loop-doloop (doloop_modify): Update the REG_BR_PROB note.
280
281 2008-01-17  Andreas Krebbel  <krebbel1@de.ibm.com>
282
283         * global.c (find_reg): Mark the eh regs as used if necessary.
284         * ra-conflict.c (global_conflicts): Set no_eh_reg flag.
285         * ra.h (struct allocno): no_eh_reg field added.  Changed
286         no_stack_reg type to bitfield.
287
288 2008-01-17  Eric Botcazou  <ebotcazou@adacore.com>
289
290         * tree.c (substitute_in_expr): Add missing 'break'.
291
292 2008-01-17  Richard Guenther  <rguenther@suse.de>
293
294         PR tree-optimization/34825
295         * tree-ssa-math-opts.c (is_division_by): Do not recognize
296         x / x as division to handle.
297
298 2008-01-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
299
300         * pa64-hpux.h (LIB_SPEC): Add "-lpthread" in shared links if "-mt" or
301         "-pthread" is specified.
302         * pa-hpux11.h (LIB_SPEC): Likewise.
303
304 2007-01-16  Janis Johnson  <janis187@us.ibm.com>
305             Peter Bergner  <bergner@vnet.ibm.com>
306
307         PR rtl-optimization/33796
308         * sparseset.c (sparseset_alloc): Use xcalloc rather than xmalloc.
309
310 2008-01-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
311
312         PR libgfortran/34699
313         * pa-hpux.h (LINK_SPEC): Only search /lib/pa1.1 and /usr/lib/pa1.1 on
314         static links.
315         * pa-hpux10.h (LINK_SPEC): Likewise.
316         * pa-hpux11.h (LINK_SPEC): Don't search /lib/pa1.1 and /usr/lib/pa1.1.
317
318 2008-01-16  Richard Guenther  <rguenther@suse.de>
319
320         PR middle-end/32628
321         * fold-const.c (fold_convert_const_int_from_int): Do not
322         set overflow if that occured only because of a sign extension
323         change when converting from/to a sizetype with the same
324         precision and signedness.
325
326 2008-01-16  Uros Bizjak  <ubizjak@gmail.com>
327
328         PR debug/34249
329         * dwarf2out.c (output_call_frame_info): Move output of FDE initial
330         location address to the correct place.  Update copyright year.
331
332 2008-01-16  Sebastian Pop  <sebastian.pop@amd.com>
333
334         * lambda-code.c (lambda_transform_legal_p): Handle the case of
335         no dependences in the dependence_relations vector.
336
337 2008-01-16  Jan Hubicka  <jh@suse.cz>
338
339         PR rtl-optimization/31396
340         * regstat.c (regstat_bb_compute_ri): Compute FREQ_CALLS_CROSSED.
341         * cfg.c (dump_reg_info): Print it.
342         * regs.h (struct reg_info_t): add freq_calls_crossed.
343         (REG_FREQ_CALLS_CROSSED): New macro.
344         * global.c (global_alloc): Compute freq_calls_crossed for allocno.
345         (find_reg): Update call of CALLER_SAVE_PROFITABLE.
346         * regmove.c (optimize_reg_copy_1, optimize_reg_copy_2, fixup_match_2,
347         regmove_optimize): Update call crossed frequencies.
348         * local-alloc.c (struct qty): Add freq_calls_crossed.
349         (alloc_qty): Copute freq_calls_crossed.
350         (update_equiv_regs, combine_regs): Update REG_FREQ_CALLS_CROSSED.
351         (find_free_reg): Update call of CALLER_SAVE_PROFITABLE.
352         * ra.h (struct allocno): Add freq_calls_crossed.
353
354 2008-01-16  Sebastian Pop  <sebastian.pop@amd.com>
355
356         * gcc.c (LINK_COMMAND_SPEC): Add includes and link options for
357         libgomp when compiling with ftree-parallelize-loops.
358         (GOMP_SELF_SPECS): Add -pthread for ftree-parallelize-loops.
359
360 2008-01-16  Richard Guenther  <rguenther@suse.de>
361
362         PR tree-optimization/34769
363         * tree-data-ref.c (initialize_matrix_A): Revert fix for PR34458.
364         * tree.c (int_cst_value): Instead make this function more
365         permissive in what it accepts as valid input.  Document this
366         function always sign-extends the value.
367
368 2008-01-16  Jakub Jelinek  <jakub@redhat.com>
369             Richard Guenther  <rguenther@suse.de>
370
371         PR c/34668
372         * gimplify.c (fold_indirect_ref_rhs): Rename to ...
373         (gimple_fold_indirect_ref_rhs): ... this.
374         (gimple_fold_indirect_ref): New function with foldings
375         that preserve lvalueness.
376         (gimplify_modify_expr_rhs): Call gimple_fold_indirect_ref_rhs.
377         * tree-flow.h (gimple_fold_indirect_ref): Declare.
378         * tree-inline.c (copy_body_r): Use gimple_fold_indirect_ref
379         to fold an INDIRECT_REF, fall back to the old use of
380         fold_indirect_ref_1.
381
382 2008-01-16  Sebastian Pop  <sebastian.pop@amd.com>
383
384         * tree-data-ref.c (subscript_dependence_tester_1): Call 
385         free_conflict_function.
386         (compute_self_dependence): Same.
387
388 2008-01-16  Uros Bizjak  <ubizjak@gmail.com>
389
390         PR debug/34249
391         * debug.h (dwarf2out_switch_text_section): Move declaration from ...
392         * dwarf2out.c (dwarf2out_switch_text_section): ... here.  Make
393         function global.
394         * final.c (final_scan_insn) [NOTE_INSN_SWITCH_TEXT_SECTIONS]:
395         Depending on dwarf2out_do_frame, call dwarf2out_switch_text_section
396         for DWARF2_UNWIND_INFO targets.
397
398 2008-01-16  Richard Guenther  <rguenther@suse.de>
399
400         PR c/34768
401         * c-typeck.c (common_pointer_type): Do not merge inconsistent
402         type qualifiers for function types.
403
404 2008-01-15  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
405
406         * tree-parloops.c (gen_parallel_loop): Fix ommision of declaration for
407         loop_iterator li from previous commit.
408
409 2008-01-15  Sebastian Pop  <sebastian.pop@amd.com>
410
411         * tree-parloops.c (gen_parallel_loop): Free loop bound estimations.
412
413 2008-01-12  Sebastian Pop  <sebastian.pop@amd.com>
414
415         * tree-parloops.c (loop_has_blocks_with_irreducible_flag): New.
416         (parallelize_loops): Don't parallelize irreducible components.
417
418 2008-01-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
419
420         PR c++/24924
421         * c-opts (c_common_post_options): Do not enable CPP
422         flag_pedantic_errors by default.
423         
424 2008-01-14  Eric Botcazou  <ebotcazou@adacore.com>
425
426         PR rtl-optimization/31944
427         * cse.c (remove_pseudo_from_table): New function.
428         (merge_equiv_classes): Use above function to remove pseudo-registers.
429         (invalidate): Likewise.
430
431 2008-01-13  Richard Guenther  <rguenther@suse.de>
432
433         PR middle-end/34601
434         * emit-rtl.c (set_reg_attrs_for_decl_rtl): Use DECL_MODE
435         instead of TYPE_MODE to deal with calls from expand_one_error_var.
436
437 2008-01-13  Uros Bizjak  <ubizjak@gmail.com>
438
439         * gcse.c (cprop_jump): Call validate_unshare_change instead of
440         validate_change to unshare the source of the PC set.
441
442 2008-01-12  Jan Hubicka  <jh@suse.cz>
443
444         PR middle-end/32135
445         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Do not construct
446         references above array bounds.  This might trigger bounds checks for
447         pointers to arrays.
448
449 2008-01-12  Sebastian Pop  <sebastian.pop@amd.com>
450
451         * tree-ssa-ter.c (free_temp_expr_table): Free num_in_part and
452         new_replaceable_dependencies.
453
454 2008-01-12  Doug Kwan  <dougkwan@google.com>
455
456         * c-decl.c: (grokdeclarator): Use OPT_Wignored_qualifiers
457         instead of OPT_Wreturn_type in warning due to ignored return type
458         qualifiers.
459         * c-opt.c (c_common_post_option): Add -Wignored-qualifiers to
460         options included in -Wextra.
461         * c.opt: New option -Wignored_qualifiers.
462         * doc/invoke.texi (Warning Options, -Wextra): Add new option
463         -Wignore_qualifiers.
464         (-Wignored-qualifiers): Document.
465         (-Wreturn-type): Remove description of functionality now handled
466         by -Wignored-qualifiers.
467
468 2008-01-12  Eric Botcazou  <ebotcazou@adacore.com>
469
470         PR ada/33788
471         * fold-const.c (fold_unary) <VIEW_CONVERT_EXPR>: Fold an existing
472         NOP_EXPR if it is between integral types with the same precision.
473
474 2008-01-12  Jan Hubicka  <jh@suse.cz>
475
476         PR other/28023
477         * invoke.texi (max-inline-recursive-depth): Fix default value.
478
479 2008-01-12  Zdenek Dvorak  <ook@ucw.cz>
480
481         * tree-parloops.c (transform_to_exit_first_loop): Cast nit to the
482         correct type.
483
484 2008-01-11  Bob Wilson  <bob.wilson@acm.org>
485         
486         * config/xtensa/xtensa.c (override_options): Set flag_shlib.
487         
488 2008-01-11  James E. Wilson  <wilson@specifix.com>
489
490         PR target/26015
491         * config/vax/elf.h (FRAME_POINTER_CFA_OFFSET): Define.
492
493 2008-01-11  Anatoly Sokolov <aesok@post.ru>
494
495         * config/avr/avr.c (expand_prologue, expand_epilogue): Don't 
496         save/restore frame pointer register and don't use 'call-prologues' 
497         optimization in function with "OS_task" attribute.
498
499 2008-01-11  Eric Botcazou  <ebotcazou@adacore.com>
500
501         PR middle-end/31309
502         * expr.c (copy_blkmode_from_reg): Use a mode suited to the size
503         when copying to memory.
504
505 2008-01-11  Steven Bosscher  <stevenb.gcc@gmail.com>
506
507         PR rtl-optimization/30905
508         * cfgcleanup.c: Include dce.h
509         (crossjumps_occured): New global variable.
510         (try_crossjump_bb): Exit loop after finding a fallthru edge.
511         If something changed, set crossjumps_occured to true.
512         (try_optimize_cfg): Clear crossjumps_occured at the beginning.
513         Don't add/remove fake edges to exit here...
514         (cleanup_cfg): ...but do it here, when crossjumping.
515         Run a fast DCE when successful crossjumps occured in the latest
516         iteration of try_optimize_cfg.
517
518 2008-01-11  Richard Guenther  <rguenther@suse.de>
519
520         * tree-ssa-sccvn.c (struct vn_binary_op_s): Move hashcode near opcode.
521         (struct vn_unary_op_s): Likewise.
522         (vn_reference_insert): Free old reference on hash collision.
523
524 2008-01-10  Raksit Ashok  <raksit@google.com>
525
526         PR rtl-optimization/27971
527         * combine.c (find_split_point): Split PLUS expressions which are
528         inside a MEM rtx, and whose first operand is complex.
529
530 2008-01-10  DJ Delorie  <dj@redhat.com>
531
532         * config/m32c/m32c.c (m32c_hard_regno_nregs_1): Renamed from...
533         (m32c_hard_regno_nregs): ...this, which is now a wrapper.
534         (m32c_hard_regno_ok): Call the underlying function.
535
536 2008-01-10  Richard Guenther  <rguenther@suse.de>
537
538         PR middle-end/34683
539         * tree-cfg.c (tree_merge_blocks): Do not go through the
540         full-blown folding and stmt updating path if we just deal
541         with virtual operands.
542         * tree-ssa-copy.c (may_propagate_copy): Do not short-cut
543         test for abnormal SSA_NAMEs.
544
545 2008-01-10  Andreas Krebbel  <krebbel1@de.ibm.com>
546
547         PR middle-end/34641
548         * reload.c (push_reload): Add assertions.  All constants from
549         reg_equiv_constant should have been used for replacing the respective
550         pseudo earlier.
551         (find_reloads_address): Invoke find_reloads_address_part for
552         constant taken from the reg_equiv_constant array.
553
554 2008-01-10  Steven Bosscher  <stevenb.gcc@gmail.com>
555
556         * tree-ssa-sccvn.h (struct vn_ssa_aux): Make the most accessed
557         field (valnum) the first in the struct.  Replace bools with
558         unit bit fields.
559
560 2008-01-10  Richard Guenther  <rguenther@suse.de>
561
562         PR tree-optimization/34651
563         * tree-sra.c (sra_build_assignment): Sanitize.  Use the correct
564         types and ordering for masking and converting.
565
566 2008-01-09  Sebastian Pop  <sebastian.pop@amd.com>
567
568         PR tree-optimization/34017
569         * lambda-code.c (lambda_loopnest_to_gcc_loopnest): Generate code
570         also for PHI_NODE expressions.
571
572 2008-01-09  Jan Hubicka  <jh@suse.cz>
573
574         PR tree-optimization/34708
575         * tree-inline.c (estimate_num_insns_1): Compute cost of SWITCH_EXPR
576         based on number of case labels.
577         (init_inline_once): Remove switch_cost.
578         * tree-inline.h (eni_weights_d): Remove switch_cost.
579
580 2008-01-09  Richard Guenther  <rguenther@suse.de>
581         Andrew Pinski  <andrew_pinski@playstation.sony.com>
582
583         PR middle-end/30132
584         * gimplify.c (gimplify_cond_expr): Do not create an addressable
585         temporary if an rvalue is ok or an lvalue is not required.
586
587 2008-01-09  Richard Guenther  <rguenther@suse.de>
588
589         PR middle-end/34458
590         * tree-data-ref.c (initialize_matrix_A): Use tree_low_cst,
591         adjust return type.
592
593 2008-01-09  Richard Guenther  <rguenther@suse.de>
594
595         PR middle-end/34679
596         * tree.c (host_integerp): Check for sizetype only if the
597         type is an integer type.
598
599 2008-01-09  Steven Bosscher  <stevenb.gcc@gmail.com>
600
601         PR debug/26364
602         * opts.c (decode_options): Disable inlining of functions called
603         once if not in unit-at-a-time mode.
604
605 2008-01-09  Alexandre Oliva  <aoliva@redhat.com>
606
607         * Makefile.in (dse.o): Remove duplicate $(RECOG_H) dependency.
608
609 2008-01-08  Richard Guenther  <rguenther@suse.de>
610
611         PR middle-end/31863
612         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Bail
613         out early if the result will be unused.
614
615 2008-01-08  Uros Bizjak  <ubizjak@gmail.com>
616
617         PR target/34709
618         Revert:
619
620         2008-01-05  Uros Bizjak  <ubizjak@gmail.com>
621         * config/i386/i386.c (ix86_builtin_reciprocal): Remove check
622         for TARGET_RECIP.       
623         
624 2008-01-08  Jan Sjodin  <jan.sjodin@amd.com>
625         
626         * config/i386/i386.c (k8_cost, amdfam10_cost): Branch costs
627         for vectorization tuned.
628         
629 2008-01-08  Richard Guenther  <rguenther@suse.de>
630
631         PR tree-optimization/34683
632         * tree-ssa-operands.c (operand_build_cmp): Export.
633         * tree-ssa-operands.h (operand_build_cmp): Declare.
634         * tree-vn.c (vuses_compare): Remove.
635         (sort_vuses): Use operand_build_cmp.
636         (sort_vuses_heap): Likewise.
637         * tree-ssa-sccvn.c (vuses_to_vec): Use VEC_reserve, not VEC_alloc
638         to re-use old VEC if available.  Do not sort already sorted VUSEs.
639         (vdefs_to_vec): Do not sort already sorted VDEFs.
640
641 2008-01-08  Jakub Jelinek  <jakub@redhat.com>
642
643         PR middle-end/34694
644         * omp-low.c (copy_var_decl): Copy also DECL_SOURCE_LOCATION.
645
646 2008-01-08  Uros Bizjak  <ubizjak@gmail.com>
647
648         PR target/34702
649         * doc/invoke.texi (i386 and x86-64 Options) [mrecip]: Document
650         limitations of reciprocal sequences on x86 targets.
651
652 2008-01-08  Richard Guenther  <rguenther@suse.de>
653
654         PR tree-optimization/34683
655         * tree-flow-inline.h (var_ann): Remove overzealous asserts.
656
657 2008-01-07  Jakub Jelinek  <jakub@redhat.com>
658
659         PR target/34622
660         * config/darwin.c (darwin_mergeable_string_section): Don't use
661         .cstring if int_size_in_bytes != TREE_STRING_LENGTH.
662
663 2008-01-07  Uros Bizjak  <ubizjak@gmail.com>
664
665         PR target/34682
666         * config/i386/i386.md (neg<mode>2): Rename from negsf2, negdf2 and
667         negxf2.  Macroize expander using X87MODEF mode iterator.  Change
668         predicates of op0 and op1 to register_operand.
669         (abs<mode>2): Rename from abssf2, absdf2 and negxf2.  Macroize
670         expander using X87MODEF mode iterator.  Change predicates of
671         op0 and op1 to register_operand.
672         ("*absneg<mode>2_mixed", "*absneg<mode>2_sse"): Rename from
673         corresponding patterns and macroize using MODEF macro.  Change
674         predicates of op0 and op1 to register_operand and remove
675         "m" constraint. Disparage "r" alternative with "!".
676         ("*absneg<mode>2_i387"): Rename from corresponding patterns and
677         macroize using X87MODEF macro.  Change predicates of op0 and op1
678         to register_operand and remove "m" constraint.  Disparage "r"
679         alternative with "!".
680         (absneg splitter with memory operands): Remove.
681         ("*neg<mode>2_1", "*abs<mode>2_1"): Rename from corresponding
682         patterns and macroize using X87MODEF mode iterator.
683         * config/i386/sse.md (negv4sf2, absv4sf2, neg2vdf2, absv2df2):
684         Change predicate of op1 to register_operand.
685         * config/i386/i386.c (ix86_expand_fp_absneg_operator): Remove support
686         for memory operands.
687
688 2008-01-07  Nathan Froyd  <froydnj@codesourcery.com>
689
690         * config/rs6000/rs6000.h (ASM_CPU_SPEC): Add clause for mcpu=8548.
691
692 2008-01-07  Richard Guenther  <rguenther@suse.de>
693
694         * basic-block.h (struct edge_def): Pair dest_idx with goto_locus
695         fields.
696
697 2008-01-07  Richard Guenther  <rguenther@suse.de>
698
699         PR tree-optimization/34683
700         * tree-ssa-sccvn.c (vuses_to_vec): Pre-allocate the vector of
701         VOPs of the needed size to save memory.  Use VEC_quick_push
702         to save compile-time.
703         (vdefs_to_vec): Likewise.
704
705 2008-01-07  Sa Liu  <saliu@de.ibm.com>
706
707         * config/spu/spu.md (divdf3): Genetate inline code for double
708         division.  The implementation doesn't handle INF or NAN, therefore it
709         only applies when -ffinite-math-only is given.
710
711 2008-01-06  Paolo Carlini  <pcarlini@suse.de>
712
713         PR libstdc++/34680
714         * c-cppbuiltin.c (c_cpp_builtins): Define __GXX_RTTI, if appropriate.
715         * doc/cpp.texi ([Common Predefined Macros]): Document.
716
717 2008-01-06  Uros Bizjak  <ubizjak@gmail.com>
718
719         * config/i386/i386.c (ix86_emit_swsqrtsf): Use negative constants in
720         order to use commutative addition instead of subtraction.
721
722 2008-01-06  Andrew Pinski  <andrew_pinski@playstation.sony.com>
723             Mircea Namolaru  <namolaru@il.ibm.com>
724             Vladimir Yanovsky  <yanov@il.ibm.com>
725             Revital Eres  <eres@il.ibm.com>
726
727         PR tree-optimization/34263
728         * tree-outof-ssa.c (process_single_block_loop_latch,
729         contains_tree_r): New functions.
730         (analyze_edges_for_bb): Call process_single_block_loop_latch
731         function to empty single-basic-block latch block if possible.
732
733 2008-01-05  Uros Bizjak  <ubizjak@gmail.com>
734
735         * config/i386/i386.c (ix86_builtin_reciprocal): Remove check
736         for TARGET_RECIP.
737         (ix86_emit_swsqrtsf): Do not filter out infinity for rsqrt expansion.
738
739 2008-01-05  Richard Sandiford  <rsandifo@nildram.co.uk>
740
741         * c-omp.c (check_omp_for_incr_expr): Handle CONVERT_EXPR.
742
743 2008-01-05  Richard Sandiford  <rsandifo@nildram.co.uk>
744
745         * config/mips/mips.c (mips_in_small_data_p): Reinstate size > 0 check.
746
747 2008-01-05  Jakub Jelinek  <jakub@redhat.com>
748
749         PR tree-optimization/34618
750         * tree-outof-ssa.c (create_temp): Copy over DECL_GIMPLE_REG_P
751         flag from T.
752
753 2008-01-05  Uros Bizjak  <ubizjak@gmail.com>
754
755         PR target/34673
756         * config/i386/i386.c (ix86_emit_swsqrtsf): Swap input operands
757         in the call to gen_rtx_NE.  Remove unneeded VECTOR_MODE_P check.
758         Update copyright year.
759
760         * config/i386/i386.md (rsqrtsf2): Enable for TARGET_SSE_MATH.
761         Update copyright year.
762         * config/i386/sse.md (rsqrtv4sf2): Ditto. Unconditionally expand
763         using NR fixup.
764
765 2008-01-05  Zhouyi Zhou  <zhouzhouyi@FreeBSD.org>
766
767         * tree-vrp.c (find_conditional_asserts): Remove redundant check that
768         edge does not point to current bb before changing need_assert.
769
770 2008-01-04  Richard Guenther  <rguenther@suse.de>
771
772         PR middle-end/34029
773         * tree-cfg.c (verify_expr): Do not look inside ADDR_EXPRs
774         for verifying purposes if they are is_gimple_min_invariant.
775
776 2008-01-04  Aldy Hernandez  <aldyh@redhat.com>
777
778         PR tree-optimization/34448
779         PR tree-optimization/34465
780         * gimplify.c (gimplify_init_constructor): Add new parameter
781         notify_temp_creation.  Use it.
782         (gimplify_modify_expr_rhs): Take volatiles into account when
783         optimizing constructors.
784         Do not optimize constructors if gimplify_init_constructor will dump to
785         memory.
786         * gcc.dg/tree-ssa/pr32901.c: Tests const volatiles.
787         * gcc.c-torture/compile/pr34448.c: New.
788
789 2008-01-04  Jakub Jelinek  <jakub@redhat.com>
790
791         PR gcov-profile/34609
792         * tree-inline.c (declare_return_variable): Set TREE_ADDRESSABLE on
793         return_slot if result is TREE_ADDRESSABLE.
794
795 2008-01-04  Richard Sandiford  <rsandifo@nildram.co.uk>
796
797         * config/mips/mips.md (sqrt_condition): Tweak comment.
798         (recip_condition): Likewise.  Require TARGET_FLOAT64 for DFmode.
799
800 2008-01-03  Tom Tromey  <tromey@redhat.com>
801
802         PR c/34457
803         * c-common.c (c_type_hash): Handle VLAs.
804
805 2008-01-03  Jan Hubicka  <jh@suse.cz>
806
807         PR tree-optimization/31081
808         * tree-inline.c (remap_ssa_name): Initialize uninitialized SSA vars to
809         0 when inlining and not inlining to first basic block.
810         (remap_decl): When var is initialized to 0, don't set default_def.
811         (expand_call_inline): Set entry_bb.
812         * tree-inline.h (copy_body_data): Add entry_bb.
813
814 2008-01-03  Jakub Jelinek  <jakub@redhat.com>
815
816         PR c++/34619
817         * cgraphunit.c (cgraph_build_static_cdtor): set_cfun back to NULL
818         before returning.
819
820         PR tree-optimization/29484
821         * tree-inline.c (inline_forbidden_p_2): New function.
822         (inline_forbidden_p): Disallow inlining if some static var
823         has an address of a local LABEL_DECL in its initializer.
824         * doc/extend.texi (Labels as Values): Document &&foo behaviour
825         vs. inlining.
826
827 2008-01-03  Sebastian Pop  <sebastian.pop@amd.com>
828
829         PR tree-optimization/34635
830         * tree-data-ref.c (add_other_self_distances): Make sure that the
831         evolution step is constant.
832
833 2008-01-03  Jakub Jelinek  <jakub@redhat.com>
834
835         PR middle-end/34608
836         * omp-low.c (expand_omp_parallel): Purge dead EH edges in the child fn.
837
838 2008-01-02  Richard Sandiford  <rsandifo@nildram.co.uk>
839
840         * tree-sra.c (scalarize_init): Insert the generate_element_init
841         statements after the generate_element_zero statements.
842
843 2008-01-02  Richard Guenther  <rguenther@suse.de>
844
845         PR middle-end/34093
846         PR middle-end/31976
847         * tree-ssa-operands.c (ssa_operand_alloc): Also allocate a buffer
848         for very large number of operands instead of ICEing.
849
850 2008-01-02  Arthur Norman <acn1@cam.ac.uk>
851
852         PR target/34013
853         * gcc/config/i386/i386.c (ix86_expand_prologue): Save red-zone
854         while stack probing.
855
856 2008-01-01  Douglas Gregor  <doug.gregor@gmail.com>
857
858         * c-opts.c (sanitize_cpp_opts): Don't warn about "long long" when
859         in C++0x mode.
860
861 2008-01-01  Volker Reichelt  <v.reichelt@netcologne.de>
862
863         PR libmudflap/26442
864         * tree-mudflap.c (mx_register_decls): Guard warning by
865         !DECL_ARTIFICIAL check.
866
867 2008-01-01  Jakub Jelinek  <jakub@redhat.com>
868
869         * config/i386/sse.md (sse5_pperm, sse5_pperm_pack_v2di_v4si,
870         sse5_pperm_pack_v4si_v8hi, sse5_pperm_pack_v8hi_v16qi,
871         sse5_perm<mode>): Fix constraints.