OSDN Git Service

462bbb0d0ab4b60574761d9f79bdfc91f7ec3942
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2007-07-12  Geoffrey Keating  <geoffk@apple.com>
2
3         * ginclude/tgmath.h: New.
4         * config.gcc: Use GCC's tgmath.h on non-glibc systems.
5         * doc/sourcebuild.texi (Headers): Document use_gcc_tgmath.
6         * configure.ac (STMP_FIXPROTO): Honor use_gcc_tgmath.
7         * configure: Regenerate.
8
9 2007-07-13  Kaz Kojima  <kkojima@gcc.gnu.org>
10
11         * config/sh/linux-unwind.h (sh_fallback_frame_state): Use
12         correct index when setting register save state for xd
13         registers.
14
15 2007-07-13  Kaz Kojima  <kkojima@gcc.gnu.org>
16
17         * config/sh/sh.c (mark_use): Remove.
18
19 2007-07-12  Paul Brook  <paul@codesourcery.com>
20
21         * config/arm/arm.c (thumb1_compute_save_reg_mask): Make sure scratch
22         reg does not overlap return value.
23
24 2007-07-12  Daniel Berlin  <dberlin@dberlin.org>
25
26         * tree-ssa-pre.c (get_expression_vuses): Move out side-effect.
27         (set_expression_vuses): Ditto.
28         (init_pre): Initialize expression_vuses.
29
30 2007-07-12  Zdenek Dvorak  <dvorakz@suse.cz>
31
32         * config/i386/sse.md (storentdf, storentsf): New.
33
34 2007-07-12  Geoffrey Keating  <geoffk@apple.com>
35
36         * builtins.c (get_pointer_alignment): Honor DECL_ALIGN on a
37         FUNCTION_DECL.
38         * tree.c (build_decl_stat): Move code from here...
39         (make_node_stat): ... to here.  Don't uselessly clear DECL_USER_ALIGN.
40         (expr_align): Honor DECL_ALIGN on a FUNCTION_DECL.  Add comment
41         about using DECL_ALIGN of LABEL_DECL and CONST_DECL.
42         * tree.h (DECL_USER_ALIGN): Fix misplaced comment.
43         * varasm.c (assemble_start_function): Use DECL_ALIGN instead of
44         FUNCTION_BOUNDARY.
45
46 2007-07-12  Dorit Nuzman  <dorit@il.ibm.com>
47             Devang Patel  <dpatel@apple.com>
48
49         PR tree-optimization/25413
50         * targhooks.c (default_builtin_vector_alignment_reachable): New.
51         * targhooks.h (default_builtin_vector_alignment_reachable): New.
52         * tree.h (contains_packed_reference): New.
53         * expr.c (contains_packed_reference): New.
54         * tree-vect-analyze.c (vector_alignment_reachable_p): New.
55         (vect_enhance_data_refs_alignment): Call
56         vector_alignment_reachable_p.
57         * target.h (vector_alignment_reachable): New builtin.
58         * target-def.h (TARGET_VECTOR_ALIGNMENT_REACHABLE): New.
59         * config/rs6000/rs6000.c (rs6000_vector_alignment_reachable): New.
60         (TARGET_VECTOR_ALIGNMENT_REACHABLE): Define.
61
62 2007-07-12  Dorit Nuzman  <dorit@il.ibm.com>
63
64         * target.h (builtin_vectorization_cost): Add new target builtin.
65         * target-def.h (TARGET_VECTORIZE_BUILTIN_VECTORIZATION_COST): New.
66         * tree-vectorizer.h (TARG_SCALAR_STMT_COST): New.
67         (TARG_SCALAR_LOAD_COST, TARG_SCALAR_STORE_COST): New.
68         * tree-vect-analyze.c (vect_analyze_slp_instance): Initisliaze
69         uninitialized variables.
70         * tree-vect-transform.c (cost_for_stmt): New function.
71         (vect_estimate_min_profitable_iters): Call cost_for_stmt instead of
72         using cost 1 for all scalar stmts. Be less conservative when
73         estimating the number of prologue/epulogue iterations. Call
74         targetm.vectorize.builtin_vectorization_cost. Return
75         min_profitable_iters-1.
76         (vect_model_reduction_cost): Use TARG_SCALAR_TO_VEC_COST for
77         initialization cost instead of TARG_VEC_STMT_COST. Use
78         TARG_VEC_TO_SCALAR_COST instead of TARG_VEC_STMT_COST for reduction
79         epilogue code. Fix epilogue cost computation.
80         * config/spu/spu.c (spu_builtin_vectorization_cost): New.
81         (TARGET_VECTORIZE_BUILTIN_VECTORIZATION_COST): Implement.
82         * config/spu/spu.h (TARG_COND_BRANCH_COST, TARG_SCALAR_STMT_COST):
83         (TARG_SCALAR_LOAD_COST, TARG_SCALAR_STORE_COST, TARG_VEC_STMT_COST):
84         (TARG_VEC_TO_SCALAR_COST, TARG_SCALAR_TO_VEC, TARG_VEC_LOAD_COST):
85         (TARG_VEC_UNALIGNED_LOAD_COST, TARG_VEC_STORE_COST): Define.
86
87 2007-07-12  Richard Guenther  <rguenther@suse.de>
88
89         * gimplify.c (gimplify_conversion): Make sure that the result
90         from maybe_fold_offset_to_reference is trivially convertible
91         to the desired type before doing the simplification.
92         (gimplify_expr): Likewise.
93         * fold-const.c (fold_binary): Use the correct types for
94         building the simplified expression.
95
96 2007-07-12  Zdenek Dvorak  <dvorakz@suse.cz>
97
98         PR rtl-optimization/32729
99         * cfghooks.c (can_duplicate_block_p): Do not forbid duplicating blocks
100         that fallthru to exit.
101
102 2007-07-12  Kaz Kojima  <kkojima@gcc.gnu.org>
103
104         * config/sh/sh.md (symGOTOFF2reg): Add missing parenthesis.
105         (symDTPOFF2reg): Likewise.
106
107 2007-07-11  Daniel Berlin  <dberlin@dberlin.org>
108
109         PR tree-optimization/32663
110         
111         * tree.h (VALUE_HANDLE_VUSES): Remove.
112         (struct tree_value_handle): Remove vuses.
113
114         * tree-vn.c (create_value_handle_for_expr): Don't set
115         VALUE_HANDLE_VUSES. 
116
117         * tree-ssa-pre.c (expression_vuses): New.
118         (alloc_expression_id): Set up expression_vuses.
119         (get_expression_vuses): New.
120         (set_expression_vuses): Ditto.
121         (clear_expression_ids): Modify for expression_vuses.
122         (phi_translate_1): Ditto.
123         (phi_translate_set): Ditto.
124         (value_dies_in_block_x): Ditto
125         (valid_in_sets): Ditto.
126         (add_to_sets): Ditto.
127         (find_existing_value_expr): Ditto.
128         (create_value_handle_for_expr): Ditto.
129         (make_values_for_stmt): Ditto.
130         (vuse_equiv): Remove.
131
132 2007-07-11  Alexandre Oliva  <aoliva@redhat.com>
133
134         * Makefile.in (mostlyclean): Remove object files.
135
136 2007-07-11  Kenneth Zadeck <zadeck@naturalbridge.com>
137
138         * toplev.c (no_new_pseudos): Deleted.
139         * rtl.h (no_new_pseudos): Deleted.
140         * tree-pass.h (pass_no_new_pseudos): Deleted. 
141         * passes.c (pass_no_new_pseudos): Deleted.
142         * final.c (rest_of_clean_state): Removed no_new_pseudos.
143         (rest_of_no_new_pseudos, pass_no_new_pseudos): Deleted.
144         * struct-equiv.c (rtx_equiv_p): Replaced no_new_pseudos with 
145         reload_completed.
146         * cfgcleanup.c (try_crossjump_to_edge): Ditto. 
147         * rtlhooks.c (gen_lowpart_general): Ditto.
148         * optabs.c (prepare_operand): Ditto.
149         * mode-switching.c (rest_of_handle_mode_switching): Deleted set of
150         no_new_pseudos.
151         * modulo-sched.c (rest_of_handle_sms): Ditto.
152         * see.c (rest_of_handle_see): Ditto.
153         * ifcvt.c (if_convert): Ditto.
154         (gate_handle_if_after_combine): Replaced no_new_pseudos with 
155         reload_completed.
156         * init-regs.c (gate_initialize_regs): Deleted set of
157         no_new_pseudos.
158         * lower-subreg.c (decompose_multiword_subregs): Ditto. 
159         * bb-reorder.c (rest_of_handle_partition_blocks): Ditto.
160         * doc/md.texi: Changed no_new_pseudos to can_create_pseudo_p.
161         
162 2007-07-11  Uros Bizjak  <ubizjak@gmail.com>
163
164         PR target/32661
165         * config/i386/sse.md (*sse2_storeq_rex64): Handle 64bit mem->reg moves.
166         (*vec_extractv2di_1_sse2): Disable for TARGET_64BIT.
167         (*vec_extractv2di_1_rex64): New insn pattern.
168
169 2007-07-11  David Daney  <ddaney@avtrex.com>
170
171         * config/mips/linux-unwind.h (mips_fallback_frame_state): Rewrite
172         return address calculation.  Substitute DWARF_ALT_FRAME_RETURN_COLUMN
173         for SIGNAL_UNWIND_RETURN_COLUMN.
174         * config/mips/mips.h (SIGNAL_UNWIND_RETURN_COLUMN): Remove.
175         (DWARF_FRAME_REGNUM): Rewrite.
176         (DWARF_ALT_FRAME_RETURN_COLUMN) Define.
177
178 2007-07-11  Nick Clifton  <nickc@redhat.com>
179
180         * config/m32r/m32r.h (INITIALIZE_TRAMPOLINE): Revert previous
181         delta and use gen_int_mode in place of GET_INT instead.
182
183 2007-07-11  Uros Bizjak  <ubizjak@gmail.com>
184
185         * reg-stack.c (struct tree_opt_pass pass_stack_regs): Nullify name
186         and letter field.
187
188 2007-07-11  Douglas Gregor  <doug.gregor@gmail.com>
189
190         * params.def (PARAM_VERIFY_CANONICAL_TYPES): Remove.
191         (PARAM_USE_CANONICAL_TYPES): New; decides whether to use canonical 
192         types or not.
193         * params.h (VERIFY_CANONICAL_TYPES): Remove.
194         (USE_CANONICAL_TYPES): New.
195         * doc/invoke.texi (verify-canonical-types): Remove.
196         (use-canonical-types): Add.
197
198 2007-07-11  Ulrich Weigand  <uweigand@de.ibm.com>
199
200         * config/spu/spu.c (spu_optimization_options): Remove setting of
201         parameter PARAM_MAX_COMPLETELY_PEEL_TIMES.
202         (spu_override_options): Move it here.
203
204 2007-07-11  Richard Sandiford  <richard@codesourcery.com>
205
206         * config/mips/mips.h (MIPS_ISA_LEVEL_SPEC): Handle -m4ksc and -m4ksd.
207         * config/mips/mips.c (mips_cpu_info_table): Mention
208         MIPS_ISA_LEVEL_SPEC in the comment.
209
210 2007-07-11  Eric Botcazou  <ebotcazou@adacore.com>
211
212         PR tree-optimization/32713
213         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Handle REAL_CST.
214
215 2007-07-11  Paolo Carlini  <pcarlini@suse.de>
216
217         PR middle-end/30482
218         * c-opts.c (c_common_post_options): Do not change flag_complex_method
219         conditional to flag_isoc99.
220         (c_common_init_options): Do it here, unconditionally.
221
222 2007-07-11  Eric Botcazou  <ebotcazou@adacore.com>
223
224         PR tree-optimization/32589
225         * doc/tree-ssa.texi (Rough GIMPLE Grammar): Add missing rule.
226         * tree-gimple.c (is_gimple_min_invariant): Clarify head comment.
227         * tree-ssa-propagate.c (valid_gimple_expression_p): New
228         predicate, extracted from...
229         (set_rhs): ...here.  Call it for the expression on entry.
230         * tree-ssa-propagate.h (valid_gimple_expression_p): Declare.
231         * tree-ssa-sccvn.c: Include tree-ssa-propagate.h.
232         (simplify_binary_expression): Use valid_gimple_expression_p
233         to validate the simplification.
234         * Makefile.in (tree-ssa-sccvn.o): Depends on tree-ssa-propagate.h.
235
236 2007-07-11  Danny Smith  <dannysmith@users.sourceforge.net>
237
238         * config/i386/cygming.h (PREFERRED_DEBUGGING_TYPE): Define to
239         DWARF2_DEBUG on 32 bit target too.
240         (DWARF2_UNWIND_INFO): Reorganize 64-bit vs 32-bit definition. 
241
242 2007-07-11  Nick Clifton  <nickc@redhat.com>
243
244         * config/m32r/m32r.h (INITIALIZE_TRAMPOLINE): Provide alternative
245         version for 64-bit hosts.
246
247 2007-07-10  David Daney  <ddaney@avtrex.com>
248
249         * config/mips/mips.h (ISA_HAS_SYNCI): New target capability
250         predicate.
251         (INITIALIZE_TRAMPOLINE): Emit clear_cache insn instead of  library
252         call.
253         * config/mips/mips.c (mips_expand_synci_loop): New function.
254         * config/mips/mips.md (UNSPEC_CLEAR_HAZARD): New constant.
255         (UNSPEC_RDHWR): Same.
256         (UNSPEC_SYNCI): Same.
257         (UNSPEC_SYNC): Same.
258         (clear_cache): New expand.
259         (sync): New insn.
260         (synci): Same.
261         (rdhwr): Same.
262         (clear_hazard): Same.
263         * config/mips/mips-protos.h (mips_expand_synci_loop): Declare
264         function.
265         * testsuite/gcc.target/mips/clear-cache-1.c: New test.
266         * testsuite/gcc.target/mips/clear-cache-2.c: New test.
267
268 2007-07-10  Ian Lance Taylor  <iant@google.com>
269
270         * emit-rtl.c (gen_reg_rtx): Check can_create_pseudo_p rather than
271         no_new_pseudos.
272
273 2007-07-10  David Daney  <ddaney@avtrex.com>
274
275         * builtins.def (BUILT_IN_CLEAR_CACHE): New builtin.
276         * builtins.c (expand_builtin___clear_cache): New function.
277         (expand_builtin): Call expand_builtin___clear_cache for
278         BUILT_IN_CLEAR_CACHE case.
279         * doc/extend.texi (__builtin___clear_cache): Document new builtin.
280         * doc/md.texi (clear_cache): Document new instruction pattern.
281         * testsuite/gcc.dg/builtins-64.c: New test.
282
283 2007-07-11  Hans-Peter Nilsson  <hp@axis.com>
284
285         * config/cris/cris.md ("movsi"): Fix typo in last change.
286
287 2007-07-09  Geoffrey Keating  <geoffk@apple.com>
288
289         PR 32617
290         * c-common.c (c_alignof_expr): Look at DECL_ALIGN of
291         FUNCTION_DECLs.
292         (handle_aligned_attribute): Allow use on FUNCTION_DECLs.
293         * varasm.c (assemble_start_function): Honor DECL_ALIGN
294         for FUNCTION_DECLs.  Don't use align_functions_log if
295         DECL_USER_ALIGN.
296         * print-tree.c (print_node): Print DECL_ALIGN and DECL_USER_ALIGN
297         even for FUNCTION_DECLs.
298         * c-decl.c (merge_decls): Propagate DECL_ALIGN even for
299         FUNCTION_DECLs.
300         * tree.h (DECL_ALIGN): Update for new location of 'align'.
301         (DECL_FUNCTION_CODE): Update for new location and name of
302         'function_code'.
303         (DECL_OFFSET_ALIGN): Update for new location of 'off_align'.
304         (struct tree_decl_common): Move 'align' and 'off_align' out
305         of union, ensure they're still on a 32-bit boundary.  Remove
306         other fields in union 'u1'.
307         (struct tree_function_decl): Add field 'function_code' replacing
308         'u1.f' in tree_decl_common.
309         * tree.c (build_decl_stat): Set initial value of DECL_ALIGN.
310         * doc/extend.texi (Function Attributes): Add 'aligned' attribute.
311         (Variable Attributes): Cross-reference 'aligned' attribute
312         to Function Attributes.
313         * flags.h (force_align_functions_log): Delete.
314         * toplev.c (force_align_functions_log): Delete.
315
316 2007-07-10  Uros Bizjak  <ubizjak@gmail.com>
317
318         PR target/32708
319         * config/i386/sse.md (vec_concatv2di): Disable for TARGET_64BIT.
320         (*vec_concatv2di_rex): New insn pattern.
321
322 2007-07-10  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
323
324         PR target/32538
325         * config/mips/iris6.h (LIBGCC_SPEC): Add libm.
326
327 2007-07-10  Ian Lance Taylor  <iant@google.com>
328
329         Replace no_new_pseudos in backends.
330         * rtl.h (can_create_pseudo_p): Define.
331         * config/darwin.c (machopic_indirect_data_reference): Use
332         can_create_pseudo_p () instead of no_new_pseudos.
333         (machopic_indirect_data_reference): Likewise.
334         (machopic_legitimize_pic_address): Likewise.
335         * config/alpha/alpha.c (alpha_legitimize_address): Likewise.
336         (alpha_emit_set_const_1): Likewise.
337         (alpha_emit_set_const): Likewise.
338         (alpha_emit_conditional_move): Likewise.
339         (alpha_split_conditional_move): Likewise.
340         * config/alpha/alpha.md (various splitters): Likewise.
341         (movti): Likewise.
342         * config/arm/arm.c (legitimize_pic_address): Likewise.
343         (arm_load_pic_register): Likewise.
344         * config/arm/arm.md (addsi3, subsi3, andsi3, iorsi3): Likewise.
345         (movdi, movsi, movhi, movqi, movsf, movdf): Likewise.
346         * config/bfin/bfin.c (legitimize_pic_address): Likewise.
347         * config/cris/cris.c (cris_expand_pic_call_address): Likewise.
348         * config/cris/cris.md (movsi): Likewise.
349         * config/frv/frv.md (symGOT2reg_hilo): Likewise.
350         (symGOTOFF2reg_hilo): Likewise.
351         (symGPREL2reg, symGPREL2reg_hilo): Likewise.
352         * config/h8300/h8300.md (insv, extzv): Likewise.
353         * config/i386/i386.c (ix86_expand_move): Likewise.
354         (ix86_expand_vector_move): Likewise.
355         (ix86_prepare_fp_compare_args): Likewise.
356         (ix86_expand_carry_flag_compare): Likewise.
357         * config/i386/i386.md (tls_dynamic_gnu2_32): Likewise.
358         (tls_dynamic_gnu2_combine_32): Likewise.
359         (tls_dynamic_gnu2_64, tls_dynamic_gnu2_combine_64): Likewise.
360         * config/ia64/ia64.c (ia64_expand_move): Likewise.
361         (ia64_expand_movxf_movrf): Likewise.
362         * config/m32c/m32c.c (m32c_prepare_move): Likewise.
363         (m32c_split_move): Likewise.
364         (m32c_expand_insv): Likewise.
365         * config/m68k/m68k.md (movsi): Likewise.
366         * config/mips/mips.c (mips_force_temporary): Likewise.
367         (mips_split_symbol): Likewise.
368         (mips_move_integer): Likewise.
369         (mips_legitimize_const_move): Likewise.
370         * config/mn10300/mn10300.md (movsi): Likewise.
371         * config/pa/pa.c (emit_move_sequence): Likewise.
372         * config/rs6000/rs6000.c (rs6000_emit_move): Likewise.
373         (rs6000_got_register): Likewise.
374         (create_TOC_reference): Likewise.
375         (rs6000_machopic_legitimize_pic_address): Likewise.
376         * config/rs6000/rs6000.md (add<mode>3): Likewise.
377         (various splitters): Likewise.
378         (iorsi3, xorsi3, iordi3, xordi3): Likewise.
379         (movsi_got): Likewise.
380         * config/s390/s390.c (emit_symbolic_move): Likewise.
381         * config/s390/s390.md (movhi, movqi): Likewise.
382         (load_multiple, store_multiple): Likewise.
383         * config/score/score.c (score_force_temporary): Likewise.
384         * config/sh/sh.c (prepare_move_operands): Likewise.
385         (prepare_cbranch_operands): Likewise.
386         (emit_fpu_switch): Likewise.
387         (fpscr_set_from_mem): Likewise.
388         * config/sh/sh.md (movdicc, movsicc, movsicc_umin): Likewise.
389         (adddi3, subsi3): Likewise.
390         (various splitters): Likewise.
391         (divsi_inv_fp_combine): Likewise.
392         (symGOT_load, symGOTOFF2reg, symDTPOFF2reg): Likewise.
393         (seq, slt, sle, sgt, sge, sgtu, sltu, sleu, sgeu): Likewise.
394         (sne): Likewise.
395         * config/sh/predicates.md (xor_operand): Likewise.
396         * config/sparc/sparc.c (legitimize_tls_address): Likewise.
397         * config/sparc/sparc.md (movsi_pic_label_ref): Likewise.
398         (movdi_pic_label_ref): Likewise.
399         * config/spu/spu.c (spu_split_immediate): Likewise.
400         * config/alpha/alpha.md (various splitters): Remove test
401         !no_new_pseudos || reload_completed.
402         * config/ia64/ia64.c (ia64_output_mi_thunk): Don't set
403         no_new_pseudos.
404         * config/m68k/m68k.c (m68k_output_mi_thunk): Likewise.
405         * config/mips/mips.c (mips_output_mi_thunk): Likewise.
406         * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Likewise.
407         * config/score/score.c (th_output_mi_thunk): Likewise.
408         * config/sh/sh.c (sh_output_mi_thunk): Likewise.
409         * config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.
410
411 2007-07-10  Kaz Kojima  <kkojima@gcc.gnu.org>
412
413         PR rtl-optimization/32664
414         * mode-switching.c (create_pre_exit): Skip barrier insns.
415
416 2007-07-10  Zdenek Dvorak  <dvorakz@suse.cz>
417
418         * tree-scalar-evolution.c (scev_const_prop): Add arguments to
419         force_gimple_operand_bsi.
420         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr,
421         rewrite_use_compare): Ditto.
422         * tree-ssa-address.c (gimplify_mem_ref_parts, create_mem_ref):
423         Ditto.
424         * tree-ssa-ifcombine.c (ifcombine_ifandif): Ditto.
425         * tree-ssa-loop-prefetch.c (issue_prefetch_ref): Ditto.
426         * lambda-code.c (replace_uses_equiv_to_x_with_y): Ditto.
427         * tree-profile.c (prepare_instrumented_value,
428         tree_gen_interval_profiler, tree_gen_pow2_profiler,
429         tree_gen_one_value_profiler, tree_gen_ic_profiler,
430         tree_gen_ic_func_profiler, tree_gen_average_profiler,
431         tree_gen_ior_profiler): Ditto.
432         * tree-ssa-reassoc.c (negate_value): Ditto.
433         * matrix-reorg.c (transform_access_sites, transform_allocation_sites):
434         Use force_gimple_operand_bsi.
435         * tree-vect-transform.c (vect_update_ivs_after_vectorizer): Ditto.
436         * tree-if-conv.c (add_to_dst_predicate_list,
437         find_phi_replacement_condition): Ditto.
438         * gimplify.c (force_gimple_operand_bsi): Add before and m arguments.
439         Call mark_symbols_for_renaming for new statements.
440         * tree-flow.h (force_gimple_operand_bsi): Declaration changed.
441
442 2007-07-10  Zdenek Dvorak  <dvorakz@suse.cz>
443
444         * cfghooks.c (remove_edge): New function.
445         (redirect_edge_and_branch, remove_branch, merge_blocks): Updated
446         loop exit rescans.
447         * cfghooks.h (remove_edge): Declare.
448         * cfg.c (remove_edge): Renamed to remove_edge_raw.
449         * basic-block.h (remove_edge): Declaration changed to remove_edge_raw.
450
451 2007-07-09  Wolfgang Gellerich  <gellerich@de.ibm.com>
452
453         * optabs.h: Added declaration for signbit_optab.  
454         * optabs.c: (init_optabs): Added initialization for signbit_optab.
455         * genoptinit.c (optabs): Added entry for signbit insns.  
456         * builtins.c (expand_builtin_signbit): Added code to use a signbit
457         insn, if available.  
458         * config/s390/s390.h (S390_TDC_SIGNBIT_SET): New constant.  
459         * config/s390/s390.md (signbit<mode>2): New expander.  
460
461 2007-07-09  Richard Guenther  <rguenther@suse.de>
462
463         PR middle-end/32698
464         * fold-const.c (fold_plusminus_mult_expr): Move constant
465         arguments second to allow decomposing.
466
467 2007-07-09  Alexandre Oliva  <aoliva@oliva.athome.lsd.ic.unicamp.br>
468
469         Revert:
470         2007-07-06  Alexandre Oliva  <aoliva@redhat.com>
471         PR debug/23551
472         * tree-ssa-copyrename.c (copy_rename_partition_coalesce):
473         Disregard DECL_FROM_INLINE.
474
475 2007-07-09  Uros Bizjak  <ubizjak@gmail.com>
476
477         PR target/27855
478         * doc/invoke.texi: Add ftree-reassoc flag.
479         * common.opt (ftree-reassoc): New flag.
480         * tree-ssa-reassoc.c (gate_tree_ssa_reassoc): New static function.
481         (struct tree_opt_pass pass_reassoc): Use gate_tree_ssa_reassoc.
482
483 2007-07-09  Uros Bizjak  <ubizjak@gmail.com>
484
485         PR tree-optimization/32681
486         * tree-if-conv.c (find_phi_replacement_condition): Use the condition
487         saved in second_edge->aux when first_bb is a loop header.
488
489 2007-07-09  Jan HUbicka  <jh@suse.cz>
490
491         * cse.c (cse_insn): Avoid invalid sharing on trial replacement.
492
493 2007-07-09  Richard Guenther  <rguenther@suse.de>
494
495         * c-decl.c (start_function): Do not promote return type.
496
497 2007-07-08  Daniel Franke  <franke.daniel@gmail.com>
498
499         * function.c (do_warn_unused_parameter): Do not warn if
500         TREE_NO_WARNING is set.
501
502 2007-07-08  Andreas Schwab  <schwab@suse.de>
503
504         * doc/invoke.texi (DEC Alpha/VMS Options): Fix typo.
505
506 2007-07-08  Sandra Loosemore  <sandra@codesourcery.com>
507
508         Revert this patch:
509         2007-07-06  Sandra Loosemore  <sandra@codesourcery.com>
510
511         * c-opts.c (c_common_handle_option): Make DOLLARS_IN_IDENTIFIERS
512         apply to assembly language, too.
513         * doc/tm.texi (DOLLARS_IN_IDENTIFIERS): Update.
514
515 2007-07-07  Daniel Berlin  <dberlin@dberlin.org>
516
517         Revert (note the sccvn portions are *not* reverted)
518         2007-07-06  Daniel Berlin  <dberlin@dberlin.org>
519
520         Fix PR tree-optimization/23488
521
522         * tree-vn.c (set_value_handle): Use decl_vh_map for decl value
523         handles.
524         * tree-flow-inline.h (get_value_handle): Ditto.
525         * tree-ssa-pre.c (decl_vh_map): New.
526         (decl_node_pool): New.
527         (can_value_number_operation): Support DECL_P.
528         (can_PRE_operation): Ditto.
529         (create_expression_by_pieces): Ditto.
530         (find_existing_value_expr): Modify to differnetiate between
531         addressing and top level.
532         (create_value_handle_for_expr): Handle DECL's.
533         (poolify_tree): Ditto.
534         (make_values_for_phi): Don't insert into PHI_GEN during FRE.
535         (make_values_for_stmt): Handle DECL's properly.
536         (init_pre): Reorg to not init useless things during FRE.
537         (fini_pre): Ditto.
538         * tree-flow.h: Include pointer-set.h.
539         (decl_vh_map): Declare.
540         * Makefile.in (TREE_FLOW_H): Add pointer-set.h
541
542 2007-07-07 Eric Weddington  <eweddington@cso.atmel.com>
543
544         * config/avr/constraints.md (define_memory_constraint "Q"): Fix
545         the constraint description.
546         * doc/md.texi: Update documentation of AVR constraints.
547
548 2007-07-07  Kazu Hirata  <kazu@codesourcery.com>
549
550         * auto-inc-dec.c, config/arm/arm.c,
551         config/m32r/constraints.md, config/mips/mips.md,
552         config/rs6000/rs6000.c, cselib.c, dce.c, df-core.c,
553         df-problems.c, df-scan.c, df.h, dse.c, gimplify.c,
554         tree-if-conv.c, tree-ssa-sccvn.c, tree-ssa.c: Fix comment
555         typos.  Follow spelling conventions.
556         * doc/invoke.texi, doc/rtl.texi: Fix typos.
557
558         * cfgrtl.c (delete_insn_chain_and_edges): Remove.
559         * rtl.h: Remove the prototype for delete_insn_chain_and_edges.
560
561         * tree-ssa-operands.c (realloc_vop, realloc_vdef,
562         realloc_vuse): Remove.
563         * tree-ssa-operands.h: Remove the prototype for realloc_vdef
564         and realloc_vuse.
565
566 2007-07-06  Daniel Berlin  <dberlin@dberlin.org>
567
568         Fix PR tree-optimization/23488
569
570         * tree-ssa-sccvn.c (expr_has_constants): Handle tcc_declaration.
571         (try_to_simplify): Ditto.
572         (visit_use): Ditto.
573         * tree-vn.c (set_value_handle): Use decl_vh_map for decl value
574         handles.
575         * tree-flow-inline.h (get_value_handle): Ditto.
576         * tree-ssa-pre.c (decl_vh_map): New.
577         (decl_node_pool): New.
578         (can_value_number_operation): Support DECL_P.
579         (can_PRE_operation): Ditto.
580         (create_expression_by_pieces): Ditto.
581         (find_existing_value_expr): Modify to differnetiate between
582         addressing and top level.
583         (create_value_handle_for_expr): Handle DECL's.
584         (poolify_tree): Ditto.
585         (make_values_for_phi): Don't insert into PHI_GEN during FRE.
586         (make_values_for_stmt): Handle DECL's properly.
587         (init_pre): Reorg to not init useless things during FRE.
588         (fini_pre): Ditto.
589         * tree-flow.h: Include pointer-set.h.
590         (decl_vh_map): Declare.
591         * Makefile.in (TREE_FLOW_H): Add pointer-set.h
592                 
593 2007-07-06  Sandra Loosemore  <sandra@codesourcery.com>
594
595         * c-opts.c (c_common_handle_option): Make DOLLARS_IN_IDENTIFIERS
596         apply to assembly language, too.
597         * doc/tm.texi (DOLLARS_IN_IDENTIFIERS): Update.
598
599 2007-07-06  Ian Lance Taylor  <iant@google.com>
600             Zack Weinberg  <zackw@panix.com>
601
602         PR middle-end/32441
603         * builtins.c (std_expand_builtin_va_start): Don't use make_tree.
604
605 2007-07-06  Richard Sandiford  <richard@codesourcery.com>
606
607         * config/sh/sh.md (*prefetch_i4): Disable for TARGET_VXWORKS_RTP.
608         (prefetch): Likewise if "pref" would be used.
609
610 2007-07-06  Josh Conner  <jconner@apple.com>
611
612         PR middle-end/32602
613         PR middle-end/32603
614         * calls.c (store_one_arg): Handle arguments which are partially
615         on the stack when detecting argument overlap.
616
617 2007-07-06  Bernd Schmidt  <bernd.schmidt@analog.com>
618
619         * reload1.c (choose_reload_regs): Set reload_spill_index for regs
620         chosen during find_reloads.
621
622 2007-07-06  Richard Guenther  <rguenther@suse.de>
623
624         * gimplify.c (gimplify_call_expr): Prefer DECL_ARGUMENTS over
625         TYPE_ARG_TYPES for verification of argument types.  Use
626         DECL_ARG_TYPE instead of the PARM_DECL type.  Take excess
627         parameters as variable arguments.
628
629 2007-07-06  Andreas Krebbel  <krebbel1@de.ibm.com>
630
631         * libgcc2.h (word_type): Type definition removed.
632         (cmp_return_type, shift_count_type): Type definitions added.
633         (__lshrdi3, __ashldi3, __ashrdi3): word_type of second parameter
634         replaced with shift_count_type.
635         (__cmpdi2, __ucmpdi2): word_type of return type replaced with
636         cmp_return_type.
637         * libgcc2.c (__udivmoddi4, __moddi3): Type of local variable c
638         changed from word_type to Wtype.
639         (__lshrdi3, __ashldi3, __ashrdi3): word_type of second parameter
640         replaced with shift_count_type.
641         (__cmpdi2, __ucmpdi2): word_type of return type replaced with
642         cmp_return_type.
643         * c-common.c (handle_mode_attribute): Handling for libgcc_cmp_return
644         and libgcc_shift_count attribute added.
645         * target-def.h (TARGET_LIBGCC_CMP_RETURN_MODE,
646         TARGET_LIBGCC_SHIFT_COUNT_MODE): New target hooks defined.
647         (TARGET_INITIALIZER): New target hooks added.
648         * targhooks.c (default_libgcc_cmp_return_mode,
649         default_libgcc_shift_count_mode): Default implementations for the new
650         target hooks added.
651         * targhooks.h (default_libgcc_cmp_return_mode,
652         default_libgcc_shift_count_mode): Function prototypes added.
653         * target.h (struct gcc_target): Fields for the new target hooks added.
654         * optabs.c (expand_binop): Use shift_count_mode when expanding shift
655         as library call.
656         (prepare_cmp_insn): Use cmp_return_mode when expanding comparison as
657         library call.
658
659         * doc/tm.texi (TARGET_LIBGCC_CMP_RETURN_MODE,
660         TARGET_LIBGCC_SHIFT_COUNT_MODE): Documentation added.
661
662         * config/s390/s390.c (s390_libgcc_cmp_return_mode,
663         s390_libgcc_shift_count_mode): Functions added.
664         (TARGET_LIBGCC_CMP_RETURN_MODE, TARGET_LIBGCC_SHIFT_COUNT_MODE):
665         Target hooks defined.
666
667 2007-07-06  Richard Sandiford  <richard@codesourcery.com>
668
669         * config/mips/mips.c (compute_frame_size): Restore the original
670         gp_sp_offset for !GENERATE_MIPS16E_SAVE_RESTORE and remove the
671         fp_size term from the GENERATE_MIPS16E_SAVE_RESTORE calculation.
672         Document why the difference is needed.
673
674 2007-07-06  Richard Guenther  <rguenther@suse.de>
675
676         * c-common.c (boolean_increment): Use correctly typed
677         constant.
678
679 2007-07-06  Richard Sandiford  <richard@codesourcery.com>
680
681         * config/mips/mips.c (mips16e_save_restore_pattern_p): Check that
682         the topmost argument register is not also included in the save mask.
683         (mips16e_collect_argument_save_p): Take a pointer to the argument
684         register, rather than a pointer to the number of arguments.
685         (mips16e_collect_argument_saves): Only include argument saves
686         that aren't in the register mask.
687
688 2007-07-06  Uros Bizjak  <ubizjak@gmail.com>
689
690         PR rtl-optimization/32450
691         * function.c (thread_prologue_and_epilogue_insns): Emit blockage insn
692         to ensure that instructions are not moved into the prologue when
693         profiling is on.  Remove unused prologue_end variable.
694         (expand_function_end): Emit blockage insn instead of ASM_INPUT rtx
695         as a scheduling barrier.
696
697 2007-07-06  Alexandre Oliva  <aoliva@redhat.com>
698
699         PR debug/23551
700         * tree-ssa-copyrename.c (copy_rename_partition_coalesce):
701         Disregard DECL_FROM_INLINE.
702
703 2007-07-05  Adam Nemet  <anemet@caviumnetworks.com>
704
705         * rtlanal.c (num_sign_bit_copies1): Improve cases of ANDing or
706         IORing with a constant.
707
708 2007-07-05  Seongbae Park  <seongbae.park@gmail.com>
709
710         PR rtl-optimization/32475
711         * df-scan.c (df_def_record_1): Add a use of the stack pointer
712         for every definition of the stack pointer.
713
714 2007-07-05  Richard Earnshaw  <rearnsha@arm.com>
715
716         * arm.c (vfp3_const_double_index): Copy signed results of
717         REAL_VALUE_TO_INT into unsigned vars.
718
719 2007-07-05  Richard Guenther  <rguenther@suse.de>
720
721         PR middle-end/32639
722         * alias.c (get_alias_set): Tread METHOD_TYPE the same as
723         FUNCTION_TYPE.
724         * tree-ssa.c (useless_type_conversion_p): Check canonical
725         types early.
726
727 2007-07-05 Anatoly Sokolov <aesok@post.ru>
728
729         * config/avr/avr.md (zero_extendqihi2, zero_extendqisi2, 
730         zero_extendhisi2): Change to define_insn_and_split. 
731         (zero_extendqidi2, zero_extendhidi2, zero_extendsidi2): New.
732
733 2007-07-05  Paolo Bonzini  <bonzini@gnu.org>
734
735         * function.c (match_asm_constraints_1, rest_of_match_asm_constraints,
736         pass_match_asm_constraints): New.
737         * passes.c (init_optimization_passes): Add new pass.
738         * stmt.c (expand_asm_operands): Set cfun->has_asm_statement.
739         * function.h (struct function): Add has_asm_statement bit.
740         (current_function_has_asm_statement): New.
741         * tree-pass.h (pass_match_asm_constraints): New.
742
743 2007-07-05  Richard Sandiford  <rsandifo@nildram.co.uk>
744
745         * config/mips/mips.c (mips_file_start): Avoid declaration
746         after code.
747
748 2007-07-05  Sandra Loosemore  <sandra@codesourcery.com>
749
750         * optabs.c (expand_binop_directly): Fix signed/unsigned comparison.
751
752 2007-07-05  Uros Bizjak  <ubizjak@gmail.com>
753
754         * rtl.def (NOTE): Change print format string to print
755         operand 5 as a note insn name.
756
757 2007-07-05  Sandra Loosemore  <sandra@codesourcery.com>
758             David Ung  <davidu@mips.com>
759
760         * config/mips/mips.c (mips_cpu_info): Add 4ksc and 4ksd processors.
761         * doc/invoke.texi: (MIPS Options): Document them.
762
763 2007-07-05  Sandra Loosemore  <sandra@codesourcery.com>
764             David Ung  <davidu@mips.com>
765
766         Add support for SmartMIPS ASE.
767
768         * optabs.c (expand_binop_directly): New, broken out from...
769         (expand_binop): Here.  Make it try rotating in the other
770         direction even when the second operand isn't constant.
771         * config/mips/mips.md (*lwxs): New.
772         * config/mips/mips.opt (msmartmips): New.
773         * config/mips/mips.c (mips_lwxs_address_p): New.
774         (mips_rtx_costs): Make it recognize scaled indexed addressing.
775         * config/mips/mips.h (TARGET_CPU_CPP_BUILTINS): Define
776         __mips_smartmips when compiling for TARGET_SMARTMIPS.
777         (ISA_HAS_ROR): Define for TARGET_SMARTMIPS.
778         (ISA_HAS_LWXS): New.
779         (ASM_SPEC): Add -msmartmips/-mno-smartmips.
780         * doc/invoke.texi (MIPS Options): Document -msmartmips/-mno-smartmips.
781         * testsuite/gcc.target/mips/smartmips-lwxs.c: New test case.
782         * testsuite/gcc.target/mips/smartmips-ror-1.c: New test case.
783         * testsuite/gcc.target/mips/smartmips-ror-2.c: New test case.
784         * testsuite/gcc.target/mips/smartmips-ror-3.c: New test case.
785         * testsuite/gcc.target/mips/smartmips-ror-4.c: New test case.
786
787 2007-07-05  Dorit Nuzman  <dorit@il.ibm.com>
788
789         * tree-vectorizer.c (new_loop_vec_info): Initialize
790         LOOP_VINFO_COST_MODEL_MIN_ITERS.
791         * tree-vectorizer.h (_loop_vec_info): Added new filed
792         min_profitable_iters.
793         (LOOP_VINFO_COST_MODEL_MIN_ITERS): New access macro to above new field.
794         (TARG_SCALAR_TO_VEC_COST): Define cost of scalar to vector operation.
795         * tree-vect-analyze.c (vect_analyze_operations): Set
796         LOOP_VINFO_COST_MODEL_MIN_ITERS.
797         * tree-vect-transform.c (vect_estimate_min_profitable_iters): Use
798         VEC_length to determine if there are any LOOP_VINFO_MAY_MISALIGN_STMTS.
799         Fix calculation of peel_iters_prologue. Move consideration of epilogue
800         and prologue cost to after they are computed.
801         (vect_model_induction_cost): Use TARG_SCALAR_TO_VEC_COST instead of
802         TARG_VEC_STMT_COST.
803         (vect_model_simple_cost): Takes additional argument dt. Consider cost
804         of creating vectors from scalars according to dt.
805         (vect_model_store_cost): Likewise.
806         (vectorizable_call): Use dt array instead of scalar dt. Call
807         vect_model_simple_cost with additional argument dt.
808         (vectorizable_assignment): Likewise.
809         (vectorizable_operation): Likewise.
810         (vectorizable_type_demotion): Likewise.
811         (vectorizable_type_promotion): Likewise.
812         (vectorizable_store): Use dt array instead of scalar dt. Call
813         vect_model_store_cost with additional argument dt.
814         (vect_do_peeling_for_loop_bound): Don't call
815         vect_estimate_min_profitable_iters. Instead, lookup
816         LOOP_VINFO_COST_MODEL_MIN_ITERS. Don't always print
817         "may not be profitable".
818
819 2007-07-05  Dorit Nuzman  <dorit@il.ibm.com>
820
821         PR testsuite/32014
822         * config/rs6000/altivec.md (UNSPEC_VUPKHS_V4SF, UNSPEC_VUPKLS_V4SF):
823         (UNSPEC_VUPKHU_V4SF, UNSPEC_VUPKLU_V4SF): New.
824         (vec_unpacks_float_hi_v8hi, vec_unpacks_float_lo_v8hi): New patterns.
825         (vec_unpacku_float_hi_v8hi, vec_unpacku_float_lo_v8hi): New patterns. 
826
827 2007-07-05  Zdenek Dvorak  <dvorakz@suse.cz>
828
829         * config/i386/i386.c (ix86_address_cost): Do not consider more complex
830         addressing modes cheaper.
831
832 2007-07-05  Alexandre Oliva  <aoliva@redhat.com>
833
834         * dwarf2out.c (dw_ranges_by_label_ref): New typedef.
835         (dw_ranges_struct): Rename block_num to num.  Adjust.
836         (dw_ranges_by_label_struct): New.
837         (ranges_by_label, ranges_by_label_allocated,
838         ranges_by_label_in_use): New variables.
839         (add_ranges_num): Factored most of the code out of...
840         (add_ranges): ... this one.  Rewrite in terms of the former.
841         (add_ranges_by_labels): New.
842         (output_ranges): Output by-label ranges.
843         (dwarf2out_finish): Output range for multiple-section
844         compile_unit.  Output standard DW_AT_low_pc in addition to
845         unexpected DW_AT_entry_pc.
846
847 2007-07-04  Daniel Berlin  <dberlin@dberlin.org>
848
849         PR tree-optimization/32604
850         PR tree-optimization/32606
851
852         * tree-ssa-pre.c (bb_bitmap_sets): Removed antic_safe_loads.
853         (compute_antic_safe): Removed.
854         (ANTIC_SAFE_LOADS): Ditto.
855         (compute_antic_aux): Don't print ANTIC_SAFE_LOADS.
856         (execute_pre): Don't call compute_antic_safe.
857         (vuse_equiv): New function.
858         (make_values_for_stmt): Use it
859         * tree-ssa-sccvn.c (set_ssa_val_to): Remove assert, since it is
860         not always true.
861
862 2007-07-04 Anatoly Sokolov <aesok@post.ru>
863
864         PR target/31331
865         * config/avr/avr.c (avr_naked_function_p): Handle receiving a type
866         rather than a decl. 
867         (avr_attribute_table): Make "naked" attribute apply to function types
868         rather than to decls.
869         (avr_handle_fntype_attribute): New function.
870
871 2007-07-04  Joseph Myers  <joseph@codesourcery.com>
872
873         * target-def.h (TARGET_INITIALIZER): Remove trailing whitespace
874         after \.
875
876 2007-07-04  David Ung  <davidu@mips.com>
877             Joseph Myers  <joseph@codesourcery.com>
878
879         * config/mips/mips.md (type): Add logical, signext and move.
880         (one_cmpl<mode>2, *and<mode>3, *and<mode>3_mips16, *ior<mode>3,
881         *ior<mode>3_mips16, two unnamed insns after *ior<mode>3_mips16,
882         *nor<mode>3, "Combiner patterns to optimize truncate/zero_extend
883         combinations", *zero_extend<SHORT:mode><GPR:mode>2,
884         *zero_extendqihi2, *extend<SHORT:mode><GPR:mode>2_mips16e,
885         *extend<SHORT:mode><GPR:mode>2_se<SHORT:size>, *movdi_64bit,
886         *movdi_64bit_mips16, *movsi_internal, *movsi_mips16, movcc,
887         *movhi_internal, *movhi_mips16, *movqi_internal, *movqi_mips16,
888         *movsf_hardfloat, *movsf_softfloat, *movsf_mips16,
889         *movdf_hardfloat_64bit, *movdf_hardfloat_32bit,
890         movv2sf_hardfloat_64bit): Use the new types.
891         (*movdi_32bit, *movdi_gp32_fp64, *movdi_32bit_mips16,
892         *movdf_softfloat, *movdf_mips16): Use "multi".
893         (extendqihi2): Replace with a define_expand.
894         (*extendqihi2_mips16e, *extendqihi2, *extendqihi2_seb): New.
895         Based on extend<SHORT:mode><GPR:mode>2 patterns.
896         * config/mips/74k.md (r74k_int_logical): New reservation and
897         bypasses.
898         (r74k_int_arith): Remove "slt".
899         * config/mips/24k.md, config/mips/4130.md, config/mips/4k.md,
900         config/mips/5400.md, config/mips/5500.md, config/mips/5k.md,
901         config/mips/7000.md, config/mips/9000.md, config/mips/generic.md,
902         config/mips/sb1.md, config/mips/sr71k.md: Add new types to
903         reservations for "arith".
904
905 2007-07-04  Richard Guenther  <rguenther@suse.de>
906
907         * tree-ssa.c (useless_type_conversion_p): Add handling for
908         scalar float and vector types.  Only call the types_compatible_p
909         langhook for aggregate types as last resort.  Follow the
910         rules.
911
912 2007-07-04  Richard Guenther  <rguenther@suse.de>
913
914         * tree-inline.c (estimate_num_insns_1): Treat CONVERT_EXPR
915         the same as NOP_EXPR.
916
917 2007-07-04  Nick Clifton  <nickc@redhat.com>
918
919         * target.h (struct gcc_target): Add target_help field.
920         * target-def.h (TARGET_HELP): New.
921         (TARGET_INITIALIZER): Use TARGET_HELP.
922         * opts.c (command_handle_option): Invoke target_help function, if
923         defined, when the user has specified --target-help on the command
924         line.
925         * doc/invoke.texi: Mention that --target-help might print
926         additional information.
927         * doc/tm.texi: Document TARGET_HELP hook.
928
929         * arm.c (TARGET_HELP): Override default definition.
930         (arm_target_help): New - display a wrapped list of cores and
931         architectures supported.
932
933 2007-07-04  Rask Ingemann Lambertsen  <rask@sygehus.dk>
934
935         * config/gcc/v850/v850.c (expand_prologue): Make sure
936         GEN_INT() argument is sign extended rather than zero extended.
937         (expand_epilogue): Likewise.
938         (output_move_double): Delete.
939         * config/gcc/v850/v850-protos.h (output_move_double): Delete.
940         * config/gcc/v850/v850.md (movdi): Delete.
941         (*movdi_internal): Delete.
942         (movdf): Delete.
943         (*movdf_internal): Delete.
944
945 2007-07-04  Richard Sandiford  <richard@codesourcery.com>
946
947         * config/sh/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Reject -mrelax
948         unless compiling RTP PIC.
949
950 2007-07-04  Richard Guenther  <rguenther@suse.de>
951
952         PR tree-optimization/32482
953         * tree-ssa-ifcombine.c (recognize_single_bit_test): Use the
954         original ssa name if we didn't find a shift expression.
955         Fix shift constant for bit zero test.
956
957 2007-07-04  Richard Sandiford  <richard@codesourcery.com>
958
959         * config/sh/lib1funcs.asm (ic_invalidate): Align constant pool.
960
961 2007-07-04  Richard Sandiford  <richard@codesourcery.com>
962
963         * config.gcc (arm-wrs-vxworks): Don't include svr4.h.
964         * config/vxworks.h (PTRDIFF_TYPE, SIZE_TYPE, TARGET_POSIX_IO): Define.
965         * config/arm/vxworks.h (ASM_SPEC): Delete.
966         (SUBTARGET_EXTRA_ASM_SPEC): Define.
967
968 2007-07-04  Sebastian Pop  <sebpop@gmail.com>
969
970         * tree-data-ref.h (data_dependence_relation): New flag reversed_p.
971         (DDR_REVERSED_P): New.
972         * tree-data-ref.c (initialize_data_dependence_relation,
973         build_classic_dist_vector): Set DDR_REVERSED_P.
974
975 2007-07-04  Sebastian Pop  <sebpop@gmail.com>
976
977         PR middle-end/32457
978         * tree-data-ref.c (analyze_siv_subscript_cst_affine,
979         compute_overlap_steps_for_affine_1_2, analyze_subscript_affine_affine,
980         init_omega_for_ddr_1): Use non conservative number of iterations
981         estimations.
982         (analyze_subscript_affine_affine): Use HOST_WIDE_INT instead of int.
983         (analyze_siv_subscript): Remove FIXME and reinitialization of 
984         last_conflicts to chrec_dont_know.
985         * testsuite/gfortran.dg/vect/pr32457.f90: New.
986
987 2007-07-04  Douglas Gregor  <doug.gregor@gmail.com>
988
989         * tree.c (maybe_canonicalize_argtypes): Improve description.
990
991 2007-07-04  Douglas Gregor  <doug.gregor@gmail.com>
992
993         * tree.c (maybe_canonicalize_argtypes): New.
994         (build_function_type): Set canonical type.
995         (build_method_type_directly): Ditto.
996         (reconstruct_complex_type): Rebuild the METHOD_TYPE node
997         properly.
998
999 2007-07-03  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1000
1001         * tree-ssa-loop-ivopts.c (strip_offset_1): Treat POINTER_PLUS_EXPR
1002         like PLUS_EXPR.
1003         (rewrite_use_nonlinear_expr): Likewise.
1004
1005 2007-07-03  Seongbae Park  <seongbae.park@gmail.com>
1006
1007         * rtl.def (UNSPEC, USE, CLOBBER): More comments.
1008
1009 2007-07-04  Ben Elliston  <bje@au.ibm.com>
1010
1011         * dwarf2out.c: Move DWARF2 abbreviation glossary closer to the top
1012         of this file.
1013
1014         * c-objc-common.c (c_types_compatible_p): Fix indentation.
1015
1016         * doc/tm.texi (Run-time Target): Capitalise "CPU".
1017         (Exception Handling): Likewise.
1018
1019 2007-07-03  Jan Hubicka  <jh@suse.cz>
1020
1021         * ifcvt.c (find_cond_trap): Avoid invalid RTL sharing.
1022
1023 2007-07-03  Eric Christopher  <echristo@apple.com>
1024
1025         * doc/cppopts.texi: Add conflicting option note to -dM.
1026         * doc/invoke.texi: Add note about possible conflicts with
1027         -E for -dCHARS and note that -dM will not produce
1028         any results if there is no machine dependent reorg.
1029         
1030 2007-07-03  Geoffrey Keating  <geoffk@apple.com>
1031
1032         * tree.h (DECL_ALIGN): Back out previous change.
1033
1034 2007-07-03  Joseph Myers  <joseph@codesourcery.com>
1035
1036         * configure.ac: Test for .dtprelword support on MIPS.
1037         * configure, config.in: Regenerate.
1038         * config/mips/mips.c (mips_output_dwarf_dtprel): New.
1039         (TARGET_ASM_OUTPUT_DWARF_DTPREL): Define.
1040
1041 2007-07-03  Julian Brown  <julian@codesourcery.com>
1042
1043         * config.gcc (with_fpu): Allow --with-fpu=vfp3.
1044         * config/arm/aout.h (REGISTER_NAMES): Add D16-D31.
1045         * config/arm/aof.h (REGISTER_NAMES): Add D16-D31.
1046         * config/arm/arm.c (FL_VFPV3): New flag for VFPv3 processor
1047         capability.
1048         (all_fpus): Add FPUTYPE_VFP3.
1049         (fp_model_for_fpu): Add VFPv3 field.
1050         (arm_rtx_costs_1): Give cost to VFPv3 constants.
1051         (vfp3_const_double_index): New function. Return integer index of
1052         VFPv3 constant suitable for fconst[sd] insns, or -1 if constant
1053         isn't suitable.
1054         (vfp3_const_double_rtx): New function. True if VFPv3 is enabled
1055         and argument represents a valid RTX for a VFPv3 constant.
1056         (vfp_output_fldmd): Split fldmd with > 16 registers in the list into
1057         two instructions.
1058         (vfp_emit_fstmd): Similar, for fstmd.
1059         (arm_print_operand): Implement new code 'G' for VFPv3 floating-point
1060         constants, represented as integer indices.
1061         (arm_hard_regno_mode_ok): Use VFP_REGNO_OK_FOR_SINGLE,
1062         VFP_REGNO_OK_FOR_DOUBLE macros.
1063         (arm_regno_class): Handle VFPv3 d0-d7, low, high register split.
1064         (arm_file_start): Set float-abi attribute for VFPv3, and output
1065         correct ".fpu" assembler directive.
1066         (arm_dbx_register_numbering): Add FIXME.
1067         * config/arm/arm.h (TARGET_VFP3): New macro. Target supports VFPv3.
1068         (fputype): Add FPUTYPE_VFP3.
1069         (FIXED_REGISTERS): Add 32 registers for D16-D31.
1070         (CALL_USED_REGISTERS): Likewise.
1071         (CONDITIONAL_REGISTER_USAGE): Add note about conditional definition
1072         of LAST_VFP_REGNUM. Make D16-D31 caller-saved, if present.
1073         (LAST_VFP_REGNUM): Extend available VFP registers for VFPv3.
1074         (D7_VFP_REGNUM): New.
1075         (LAST_LO_VFP_REGNUM, FIRST_HI_VFP_REGNUM, LAST_HI_VFP_REGNUM)
1076         (VFP_REGNO_OK_FOR_SINGLE, VFP_REGNO_OK_FOR_SINGLE)
1077         (VFP_REGNO_OK_FOR_DOUBLE): Define new macros.
1078         (FIRST_PSEUDO_REGISTER): Shift up to 128 to accommodate VFPv3.
1079         (REG_ALLOC_ORDER): Adjust for VFPv3.
1080         (reg_class): Add VFP_D0_D7_REGS, VFP_LO_REGS, VFP_HI_REGS.
1081         (REG_CLASS_NAMES): Add entries corresponding to VFP_D0_D7_REGS,
1082         VFP_LO_REGS, VFP_HI_REGS.
1083         (REG_CLASS_CONTENTS): Likewise. Extend contents for VFP_REGS.
1084         (IS_VFP_CLASS): Define macro.
1085         (SECONDARY_OUTPUT_RELOAD_CLASS, SECONDARY_INPUT_RELOAD_CLASS): Use
1086         IS_VFP_CLASS.
1087         (REGISTER_MOVE_COST): Likewise.
1088         * config/arm/arm-protos.h (vfp3_const_double_rtx): Add prototype.
1089         * config/arm/vfp.md (VFPCC_REGNUM): Redefine as 127.
1090         (*arm_movsi_vfp, *thumb2_movsi_vfp, *movsfcc_vfp)
1091         (*thumb2_movsfcc_vfp, *abssf2_vfp, *negsf2_vfp, *addsf3_vfp)
1092         (*subsf3_vfp, *divsf_vfp, *mulsf_vfp, *mulsf3negsf_vfp)
1093         (*mulsf3addsf_vfp, *mulsf3subsf_vfp, *mulsf3negsfaddsf_vfp)
1094         (*extendsfdf2_vfp, *truncdfsf2_vfp, *truncsisf2_vfp)
1095         (*truncsidf2_vfp, fixuns_truncsfsi2, fixuns_truncdfsi2)
1096         (*floatsisf2_vfp, *floatsidf2_vfp, floatunssisf2)
1097         (floatunssidf2, *sqrtsf2_vfp, *cmpsf_split_vfp)
1098         (*cmpsf_trap_split_vfp, *cmpsf_vfp, *cmpsf_trap_vfp): Use 't'
1099         where appropriate for single-word registers.
1100         (*movsf_vfp, *thumb2_movsf_vfp, *movdf_vfp, *thumb2_movdf_vfp):
1101         As above. Fix type attributes.
1102         * config/arm/constraints.md (register_contraint "t"): Define.
1103         (register_constraint "w"): Change to D0-D15, or D0-D31 for
1104         VFPv3/NEON.
1105         (register_constraint "x"): Define.
1106         (constraint "Dv"): Define.
1107
1108 2007-07-03  Geoffrey Keating  <geoffk@apple.com>
1109
1110         * tree.h (DECL_ALIGN): Prevent use on a FUNCTION_DECL.
1111
1112 2007-07-03  Tom Tromey  <tromey@redhat.com>
1113
1114         * c-parser.c (objc_pq_context): Removed.
1115         (objc_need_raw_identifier): Likewise.
1116         (c_parser) <objc_pq_context>: New field.
1117         <objc_need_raw_identifier>: Likewise.
1118         (OBJC_NEED_RAW_IDENTIFIER): Removed.
1119         (c_lex_one_token): Update.
1120         (c_parser_objc_protocol_definition): Update.
1121         (c_parser_objc_method_definition): Update.
1122         (c_parser_objc_methodproto): Update.
1123         (c_parser_declspecs): Update.
1124
1125 2007-07-03  David Ung  <davidu@mips.com>
1126
1127         * config/mips/mips.c (mips_issue_rate): Return 4 for 74K processors.
1128
1129 2007-07-03  David Ung  <davidu@mips.com>
1130             Richard Sandiford  <richard@codesourcery.com>
1131
1132         * doc/invoke.texi: Document -march=74kf3_2.
1133         * config/mips/mips.h (PROCESSOR_74KF3_2): New processor_type.
1134         (TUNE_74K): Check for it.
1135         * config/mips/mips.c (mips_cpu_info): Add 74kf3_2.
1136         (mips_rtx_cost_data): Add an entry for PROCESSOR_74KF3_2.
1137         * config/mips/mips.md (cpu): Add 74kf3_2.
1138         * config/mips/74k.md (r74k_int_logical, r74k_int_arith, r74k_int_nop)
1139         (r74k_int_cmove, r74k_int_mult, r74k_int_mul3, r74k_int_mfhilo)
1140         (r74k_int_mthilo, r74k_int_div, r74k_int_call, r74k_int_jump)
1141         (r74k_int_load, r74k_int_store, r74k_unknown, r74k_multi): Add
1142         74kf3_2 to the CPU list.
1143         (r74kf3_2_fadd, r74kf3_2_fmove, r74kf3_2_fload, r74kf3_2_fstore)
1144         (r74kf3_2_fmul_sf, r74kf3_2_fmul_df, r74kf3_2_fdiv_sf)
1145         (r74kf3_2_fdiv_df, r74kf3_2_frsqrt_sf, r74kf3_2_frsqrt_df)
1146         (r74kf3_2_fcmp, r74kf3_2_fcvt, r74kf3_2_fxfer_to_c1)
1147         (r74kf3_2_fxfer_from_c1): New insn reservations.
1148
1149 2007-07-03  Richard Sandiford  <richard@codesourcery.com>
1150             David Ung  <davidu@mips.com>
1151
1152         * doc/invoke.texi: Replace -march=24kf with -march=24kf2_1 and
1153         -march=24kx with -march=24kf1_1.  Likewise 24ke[fx], 34k[fx]
1154         and 74k[fx].  Document aliases for the new options.
1155         * config/mips/mips.h (PROCESSOR_24KF): Rename to...
1156         (PROCESSOR_24KF2_1): ...this.
1157         (PROCESSOR_24KX): Rename to...
1158         (PROCESSOR_24KF1_1): ...this.
1159         (PROCESSOR_74KF): Rename to...
1160         (PROCESSOR_74KF2_1): ...this.
1161         (PROCESSOR_74KX): Rename to...
1162         (PROCESSOR_74KF1_1): ...this.
1163         (TUNE_74K): Update PROCESSOR_* names.
1164         * config/mips/mips.c (mips_cpu_info): Add 24kf2_1 as a synonym
1165         for 24kf.  Add 24kf1_1 and 24kfx as synonyms for 24kx.  Likewise
1166         the 24ke*, 34k* and 74k* processors.  Update PROCESSOR_* names.
1167         (mips_rtx_cost_data): Update processor names in comments.
1168         (mips_issue_rate): Update PROCESSOR_* names.
1169         * config/mips/mips.md (cpu): Rename 24kf to 24kf2_1, 24kx to
1170         24kf1_1, 74kf to 74kf2_1 and 74kx to 74kf1_1.
1171         * config/mips/24k.md: Rename FPU-related r24k_* insn reservations
1172         to r24kf2_1_*.  Rename r24kx_* insn reservations to r24kf1_1_*.
1173         Update cpu attribute names.
1174         (r24k_fpu_iss): Rename this reservation to...
1175         (r24kf2_1_fpu_iss): ...this and update all uses.
1176         (r24kx_fpu_iss): Rename this reservation to...
1177         (r24kf1_1_fpu_iss): ...this and update all uses.
1178         * config/mips/74k.md: Rename FPU-related r74kf_* insn reservations
1179         to r74kf2_1_*.  Rename r74kx_* insn reservations to r74kf1_1_*.
1180         Update cpu attribute names.
1181
1182 2007-07-01  Kaz Kojima  <kkojima@gcc.gnu.org>
1183
1184         * config/m32r/constraints.md: New file.
1185         * config/m32r/m32r.c: Include tm-constrs.h.
1186         (small_data_operand): Use satisfies_constraint_* instead of macro.
1187         (addr24_operand, gen_compare): Likewise.
1188         * config/m32r/m32r.h (REG_CLASS_FROM_LETTER): Remove.
1189         (INT8_P, UPPER16_P, UINT32_P, UINT5_P, INVERTED_SIGNED_8BIT,
1190         CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P,
1191         EXTRA_CONSTRAINT): Likewise.
1192         * config/m32r/m32r.md: Include constraints.md.
1193         (*movsi_insn): Use satisfies_constraint_* instead of macro.
1194         (andsi3, iorsi3, xorsi3, seq_insn+1, sne): Likewise.
1195         * config/m32r/predicates.md (conditional_move_operand): Likewise.
1196         (two_insn_const_operand, int8_operand, uint16_operand,
1197         reg_or_int16_operand, reg_or_uint16_operand,
1198         reg_or_cmp_int16_operand, cmp_int16_operand,
1199         seth_add3_operand): Likewise.
1200
1201 2007-07-03  Eric Christopher  <echristo@gmail.com>
1202
1203         * libgcc2.h: Conditionally declare __bswapsi2 and
1204         __bswapdi2.
1205         
1206 2007-07-03  H.J. Lu  <hongjiu.lu@intel.com>
1207
1208         * ddg.c (check_sccs): Define only if ENABLE_CHECKING is
1209         defined.
1210
1211 2007-07-03  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
1212
1213         PR target/28307
1214         * gthr-posix.h [SUPPORTS_WEAK && GTHREAD_USE_WEAK]
1215         (__gthrw_pragma): Provide default definition.
1216         (__gthrw2): Use it.
1217         * gthr-posix.c (__gthrw_pragma): Define.
1218
1219 2007-07-03  Daniel Berlin  <dberlin@dberlin.org>
1220
1221         * tree-ssa-sccvn.c (set_ssa_val_to): Check for operand_equal_p
1222         before declaring inequality.
1223
1224 2007-07-03  Rask Ingemann Lambertsen  <rask@sygehus.dk>
1225
1226         * combine.c (recog_for_combine): Log the success or failure of
1227           matching new insn patterns against the machine description in
1228           detailed dumps.
1229
1230 2007-07-03  Revital Eres  <eres@il.ibm.com>
1231
1232         * ddg.c (print_sccs): New function.
1233         (check_sccs): New function.
1234         (create_ddg_all_sccs): Use it.
1235         * ddg.h (print_sccs): Declare.
1236         * modulo-sched.c (sms_order_nodes): Call print_sccs.
1237
1238 2007-07-03  Uros Bizjak  <ubizjak@gmail.com>
1239
1240         * targhooks.h (default_mode_for_suffix): New function declaration.
1241         * targhooks.c (default_mode_for_suffix): New default target hook.
1242         * target.h (struct c): New structure in the targetm struct.
1243         (mode_for_suffix): New target hook as part of struct c.
1244         target-def.h (TARGET_C_MODE_FOR_SUFFIX): Define as
1245         default_mode_for_suffix.
1246         (TARGET_C): New define.
1247         * c-lex.c: Include "target.h".
1248         (interpret_float): Use targetm.c.mode_for_suffix to determine
1249         the mode for a given non-standard suffix.
1250         Makefile.in (c-lex.o): Depend on $(TARGET_H).
1251
1252         * config/i386/i386.c (ix86_c_mode_for_suffix): New static function.
1253         (TARGET_C_MODE_FOR_SUFFIX): Define to ix86_c_mode_for_suffix.
1254
1255         * doc/extend.texi (Floating Types): New node.  Document __float80 and
1256         __float128 types.  Document 'w', 'W', 'q' and 'Q' suffixes.
1257
1258 2007-07-03  Kaz Kojima  <kkojima@gcc.gnu.org>
1259
1260         PR target/32506
1261         * config/sh/sh.md (udivsi3_i1_media): Use target_reg_operand
1262         predicate instead of target_operand.
1263         (divsi3_i1_media, divsi3_media_2): Likewise.
1264
1265 2007-07-02  Eric Botcazou  <ebotcazou@adacore.com>
1266
1267         * tree.h (alias_sets_might_conflict_p): Rename into
1268         alias_sets_must_conflict_p.
1269         * alias.c (alias_sets_might_conflict_p): Likewise.
1270         (alias_sets_conflict_p): Use it.
1271         (objects_must_conflict_p): Likewise.
1272         * c-common.c (strict_aliasing_warning): Adjust.
1273
1274 2007-07-02  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1275
1276         * rtlhooks.c (gen_lowpart_if_possible): Check for
1277         invalid subreg before calling gen_lowpart_SUBREG.
1278
1279 2007-07-02  Geoffrey Keating  <geoffk@apple.com>
1280
1281         * config/darwin9.h: Add copyright notice.
1282         (LINK_COMMAND_SPEC): Add comment.
1283         (DARWIN_LIBSYSTEM_HAS_UNWIND): Define.
1284         * config/rs6000/darwin.h (MD_UNWIND_SUPPORT): Conditionalise on
1285         DARWIN_LIBSYSTEM_HAS_UNWIND.
1286
1287 2007-07-02  Jakub Jelinek  <jakub@redhat.com>
1288
1289         PR libgomp/32468
1290         * omp-low.c (check_combined_parallel): New function.
1291         (lower_omp_parallel): Call it via walk_stmts, set
1292         OMP_PARALLEL_COMBINED if appropriate.
1293         (determine_parallel_type): If OMP_FOR resp. OMP_SECTIONS
1294         isn't the only statement in WS_ENTRY_BB or OMP_RETURN
1295         the only one in PAR_EXIT_BB and not OMP_PARALLEL_COMBINED,
1296         don't consider it as combined parallel.
1297
1298 2007-07-02  Richard Sandiford  <richard@codesourcery.com>
1299
1300         * configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
1301         (gcc_tooldir): Likewise.
1302         * configure: Regenerate.
1303         * Makefile.in (libsubdir_to_prefix): New variable, based on the
1304         old configure.ac gcc_tooldir setting.
1305         (prefix_to_exec_prefix): New variable.
1306         (DRIVER_DEFINES): Use $(libsubdir_to_prefix)$(prefix_to_exec_prefix)
1307         rather than $(unlibsubdir)/../ to derive TOOLDIR_BASE_PREFIX.
1308
1309 2007-07-02  Daniel Berlin  <dberlin@dberlin.org>
1310
1311         Fix PR tree-optimization/32583
1312         Fix PR tree-optimization/32584
1313         * tree-ssa-pre.c (phi_translate): Always pass seen bitmap.
1314         (phi_translate_set): Use phi_translate directly now.
1315         (make_values_for_stmt): Don't value number RHS if we already know
1316         it is constant.
1317
1318 2007-07-02  Steve Ellcey  <sje@cup.hp.com>
1319             Jim Wilson <wilson@specifix.com>
1320
1321         PR target/31684
1322         * haifa-sched.c (add_to_speculative_block): Change copy_rtx to
1323         copy_insn.
1324
1325 2007-07-02  Sandra Loosemore  <sandra@codesourcery.com>
1326             Richard Sandiford  <richard@codesourcery.com>
1327             Nigel Stephens  <nigel@mips.com>
1328
1329         * config/mips/mips-protos.h (mips16e_save_restore_info): New struct.
1330         (mips16e_output_save_restore): Declare.
1331         (mips16e_save_restore_pattern_p): Likewise.
1332         * config/mips/mips.h (GENERATE_MIPS16E_SAVE_RESTORE): New macro.
1333         * config/mips/mips.c (MIPS_MAX_FIRST_STACK_STEP): Return 0x7f8
1334         for GENERATE_MIPS16E_SAVE_RESTORE.  Return 0x400 for TARGET_MIPS16
1335         && !GENERATE_MIPS16E_SAVE_RESTORE && !TARGET_64BIT.
1336         (BITSET_P): New global macro, extracted from...
1337         (mips_for_each_saved_reg): ...here.
1338         (mips16e_save_restore_info): New struct.
1339         (mips16e_s2_s8_regs, mips16e_a0_a3_regs): New variables.
1340         (mips16e_save_restore_regs): New variable.
1341         (mips_split_plus, mips16e_find_first_register): New functions.
1342         (mips16e_mask_registers): New function.
1343         (compute_frame_size): Expand the commentary before the function.
1344         Enforce the MIPS16e save and restore register range restrictions.
1345         Pad the general register save area at the low end.
1346         (mips16e_save_restore_reg, mips16e_build_save_restore)
1347         (mips16e_save_restore_pattern_p, mips16e_add_register_range)
1348         (mips16e_output_save_restore, mips16e_collect_propagate_value)
1349         (mips16e_collect_argument_save, mips16e_collect_argument_saves):
1350         New functions.
1351         (mips_expand_prologue, mips_expand_epilogue): Handle
1352         GENERATE_MIPS16E_SAVE_RESTORE.
1353         * config/mips/mips.md (*mips16e_save_restore): New pattern.
1354
1355 2007-07-02  Uros Bizjak  <ubizjak@gmail.com>
1356
1357         PR tree-optimization/31966
1358         PR tree-optimization/32533
1359         * tree-if-conv.c (add_to_dst_predicate_list): Use "edge", not
1360         "basic_block" description as its third argument.  Update function
1361         calls to get destination bb from "edge" argument.  Save "cond" into
1362         aux field of the edge.  Update prototype for changed arguments.
1363         (if_convertible_loop_p): Clear aux field of incoming edges if bb
1364         contains phi node.
1365         (find_phi_replacement_condition): Operate on incoming edges, not
1366         on predecessor blocks.  If there is a condition saved in the
1367         incoming edge aux field, AND it with incoming bb predicate.
1368         Return source bb of the first edge.
1369         (clean_predicate_lists): Clean aux field of outgoing node edges.
1370         (tree_if_conversion): Do not initialize cond variable. Move
1371         variable declaration into the loop.
1372         (replace_phi_with_cond_gimple_modify_stmt): Remove unneded
1373         initializations of new_stmt, arg0 and arg1 variables.
1374
1375 2007-07-02  Jakub Jelinek  <jakub@redhat.com>
1376
1377         * tree-nrv.c (dest_safe_for_nrv_p): Grok any handled_component_p,
1378         SSA_NAMEs, RESULT_DECLs and PARM_DECLs.
1379
1380 2007-07-02  Richard Guenther  <rguenther@suse.de>
1381
1382         * tree-ssa.c (useless_type_conversion_p): Document
1383         future intent as defining the middle-end type system.
1384         Re-structure to call langhook last, group by type class,
1385         mark questionable parts.
1386
1387 2007-07-02  Richard Guenther  <rguenther@suse.de>
1388
1389         * tree-flow.h (types_compatible_p): Declare.
1390         * tree-ssa.c (types_compatible_p): New function.
1391         * ipa-type-escape.c (discover_unique_type): Use
1392         types_compatible_p instead of lang_hooks.types_compatible_p.
1393         * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Likewise.
1394         * tree-vn.c (expressions_equal_p): Likewise.
1395         * tree.c (fields_compatible_p): Likewise.
1396         * tree-ssa-dom.c (avail_expr_eq): Likewise.
1397         (cprop_operand): Use useless_type_conversion_p instead of
1398         lang_hooks.types_compatible_p.
1399         * tree-inline.c (setup_one_parameter): Likewise.
1400         (declare_return_variable): Likewise.
1401         * tree-nrv.c (tree_nrv): Likewise.
1402         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
1403         (maybe_fold_offset_to_component_ref): Likewise.
1404         (maybe_fold_offset_to_reference): Likewise.
1405         * tree-ssa-copy.c (may_propagate_copy): Likewise.
1406         (merge_alias_info): Likewise.
1407         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Likewise.
1408         * tree-ssa-phiopt.c (conditional_replacement): Likewise.
1409         * tree-ssa-reassoc.c (optimize_ops_list): Likewise.
1410         * tree-tailcall.c (find_tail_calls): Likewise.
1411         * tree-vect-generic.c (expand_vector_operations_1): Likewise.
1412         * gimplify.c (canonicalize_addr_expr): Likewise.
1413         (fold_indirect_ref_rhs): Likewise.
1414         (gimplify_addr_expr): Likewise.  Swap parameters to cpt_same_type.
1415         (cpt_same_type): Likewise.
1416         (check_pointer_types_r): Swap parameters to cpt_same_type
1417         where appropriate.
1418         * fold-const.c (fold_convert): Revert fix for PR15988.
1419         * tree-inline.c (setup_one_parameter): Instead fix it here by
1420         using fold_build1 instead of fold_convert and checking for
1421         error_mark_node.  Convert only if the conversion is necessary.
1422
1423 2007-07-02  Joseph Myers  <joseph@codesourcery.com>
1424
1425         * configure.ac: Check for .gnu_attribute on Power.
1426         * configure: Regenerate.
1427         * config/rs6000/rs6000.c (rs6000_file_start): If supported, output
1428         attribute for floating-point ABI.
1429
1430 2007-07-02  Ira Rosen  <irar@il.ibm.com>
1431
1432         PR tree-optimization/32230
1433         PR tree-optimization/32477
1434         * tree-vect-analyze.c (vect_analyze_data_refs): Fail if base 
1435         address is a constant.
1436
1437 2007-07-02  Richard Sandiford  <richard@codesourcery.com>
1438
1439         * config.gcc (mipsisa32-*-elf*, mipsisa32el-*-elf*)
1440         (mipsisa32r2-*-elf*, mipsisa32r2el-*-elf*)
1441         (mipsisa64-*-elf*, mipsisa64el-*-elf*): Combine top-level
1442         stanzas.  Use the first part of the triplet to set MIPS_ISA_DEFAULT.
1443         Remove redundant setting of MASK_FLOAT64 and MASK_64BIT for the
1444         64-bit targets.  Add support for *-elfoabi*.
1445         * config/mips/t-isa3264 (MULTILIB_OPTIONS, MULTILIB_DIRNAMES): Use
1446         different settings if $(tm_defines) does not select the EABI.
1447         (MULTILIB_EXCLUSIONS): Define in those circumstances.
1448         * config/mips/mips.h (MIPS_ISA_LEVEL_OPTION_SPEC): New macro.
1449         (MIPS_ARCH_OPTION_SPEC): Likewise.
1450         (MIPS_ISA_LEVEL_SPEC): Likewise.
1451         (OPTION_DEFAULT_SPECS): Use MIPS_ARCH_OPTION_SPEC.
1452         * config/mips/elfoabi.h: New file.
1453
1454 2007-07-02  Richard Guenther  <rguenther@suse.de>
1455
1456         * tree-flow.h (tree_ssa_useless_type_conversion_1): Rename to ...
1457         (useless_type_conversion_p): ... this.
1458         * tree-ssa.c (tree_ssa_useless_type_conversion_1): Rename to ...
1459         (useless_type_conversion_p): ... this.
1460         * builtins.c (fold_builtin_memory_op): Rename
1461         tree_ssa_useless_type_conversion_1 to useless_type_conversion_p.
1462         * tree-cfg.c (verify_expr): Likewise.
1463         * tree-ssa-address.c (tree_ssa_useless_type_conversion_1): Likewise.
1464         * tree-ssa-ccp.c (ccp_fold): Likewise.
1465         * tree-ssa-copy.c (may_propagate_copy): Likewise.
1466         * tree-ssa-dom.c (eliminate_redundant_computations): Likewise.
1467         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Likewise.
1468         * tree-ssa-loop-niter.c (refine_bounds_using_guard): Likewise.
1469         * tree-ssa-pre.c (eliminate): Likewise.
1470         * tree-ssa.c (delete_tree_ssa): Likewise.
1471         (tree_ssa_useless_type_conversion): Likewise.
1472         * tree.c (build2_stat): Likewise.
1473
1474 2007-07-01  Daniel Berlin  <dberlin@dberlin.org>
1475
1476         Fix PR tree-optimization/32571
1477         * tree-ssa-sccvn.c (visit_use): Shortcut copies to avoid
1478         simplifying them.
1479
1480 2007-07-01  Daniel Berlin  <dberlin@dberlin.org>
1481
1482         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Handle constants
1483         and other expected operations explicitly, change default to
1484         gcc_unreachable. 
1485
1486 2007-07-01  Daniel Jacobowitz  <dan@codesourcery.com>
1487
1488         * config/arm/arm.c (arm_cannot_copy_insn_p): Do not expect a
1489         PARALLEL.
1490         * config/arm/arm.md (pic_add_dot_plus_four, pic_add_dot_plus_eight)
1491         (tls_load_dot_plus_eight): Move the label number into the unspec.
1492         * config/arm/thumb2.md (pic_load_dot_plus_four): Likewise.
1493
1494 2007-07-01  Andreas Schwab  <schwab@suse.de>
1495
1496         * dwarf2out.c (initial_return_save): Define only if used.
1497
1498 2007-07-01  Kenneth Zadeck <zadeck@naturalbridge.com>
1499
1500         Unreverting Richard's Revert of:
1501
1502         2007-06-27  Richard Sandiford  <richard@codesourcery.com>
1503
1504         * dce.c (deletable_insn_p_1): New function, split out from...
1505         (deletable_insn_p): ...here.  Only treat bare USEs and CLOBBERs
1506         specially, not those inside PARALLELs.  Remove BODY argument
1507         and adjust recursive call accordingly.
1508         (prescan_insns_for_dce): Update call to delete_insn_p.
1509
1510 2007-07-01  Vladimir Yanovsky  <yanov@il.ibm.com>
1511             Revital Eres  <eres@il.ibm.com>
1512
1513         * ddg.c (create_ddg_all_sccs): Fix missed
1514         initialization of scc_nodes.
1515
1516 2007-07-01  Uros Bizjak  <ubizjak@gmail.com>
1517
1518         PR middle-end/32559
1519         * fold-const.c (fold-binary) [PLUS_EXPR]: Convert ~X + X to 1 or
1520         X + ~X to 1 only for INTEGRAL_TYPE_P type.
1521
1522 2007-06-30  Joseph Myers  <joseph@codesourcery.com>
1523
1524         * configure.ac: Check for .gnu_attribute on MIPS.
1525         * configure, config.in: Regenerate.
1526         * config/mips/mips.c (mips_file_start): If supported, output
1527         attribute for floating-point ABI.
1528
1529 2007-06-30  Uros Bizjak  <ubizjak@gmail.com>
1530
1531         PR target/32433
1532         * config/i386/i386.md (ffssi2): Expand as ffs_cmove for TARGET_CMOVE.
1533         (ffs_cmove): New expander to expand using ctz pattern.
1534         (*ffs_cmove): Remove pattern.
1535         (*ffs_no_cmove): Enable only for !TARGET_CMOVE.
1536         (ffsdi2): Expand using ctz pattern.
1537         (*ffs_rex64): Remove pattern.
1538
1539 2007-06-30  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1540
1541         PR rtl-optimization/32296
1542         * pa.md (return): Delete pattern.
1543         (return_internal): Remove "(const_int 1)" from pattern.
1544         (epilogue): Use return_internal pattern for trivial returns.
1545         * pa-protos.h (hppa_can_use_return_insn_p): Delete declaration.
1546         * pa.c (hppa_can_use_return_insn_p): Delete function.  Include "df.h".
1547
1548 2007-06-30  Daniel Berlin  <dberlin@dberlin.org>
1549
1550         * tree-ssa-pre.c (is_exception_related): New function
1551         (can_value_number_operation): Use it.
1552
1553 2007-06-30  Daniel Berlin  <dberlin@dberlin.org>
1554         
1555         Fix PR tree-optimization/32540
1556         Fix PR tree-optimization/31651
1557
1558         * tree-ssa-sccvn.c: New file.
1559
1560         * tree-ssa-sccvn.h: Ditto.
1561         
1562         * tree-vn.c: Include tree-ssa-sccvn.h
1563         (val_expr_paid_d): Removed.
1564         (value_table): Ditto.
1565         (vn_compute): Ditto.
1566         (val_expr_pair_hash): Ditto.
1567         (val_expr_pair_expr_eq): Ditto.
1568         (copy_vuses_from_stmt): Ditto.
1569         (vn_delete): Ditto.
1570         (vn_init): Ditto.
1571         (shared_vuses_from_stmt): Ditto.
1572         (print_creation_to_file): Moved up.
1573         (sort_vuses): Ditto.
1574         (sort_vuses_heap): Ditto.
1575         (set_value_handle): Make non-static.
1576         (make_value_handle): Ditto.
1577         (vn_add): Rewritten to use sccvn lookups.
1578         (vn_add_with_vuses): Ditto.
1579         (vn_lookup): Ditto (and second argument removed).
1580         (vn_lookup_with_vuses): Ditto.
1581         (vn_lookup_or_add): Ditto (and second argument removed);
1582         (vn_lookup_or_add_with_vuses): Ditto.
1583         (vn_lookup_with_stmt): New.
1584         (vn_lookup_or_add_with_stmt): Ditto.
1585         (create_value_handle_for_expr): Ditto.
1586
1587         * tree-ssa-pre.c: Include tree-ssa-sccvn.h.
1588         (seen_during_translate): New function.
1589         (phi_trans_lookup): Use iterative_hash_expr, not vn_compute.
1590         (phi_trans_add): Ditto.
1591         (constant_expr_p): FIELD_DECL is always constant.
1592         (phi_translate_1): Renamed from phi_translate, add seen bitmap.
1593         Use constant_expr_p.
1594         Avoid infinite recursion on mutually valued expressions.
1595         Change callers of vn_lookup_or_add.
1596         (phi_translate): New function.
1597         (compute_antic_safe): Allow phi nodes.
1598         (create_component_ref_by_pieces): Update for FIELD_DECL change.
1599         (find_or_generate_expression): Rewrite slightly.
1600         (create_expression_by_pieces): Updated for vn_lookup_or_add
1601         change.
1602         Update VN_INFO for new names.
1603         (insert_into_preds_of_block): Update for new names.
1604         (add_to_exp_gen): New function.
1605         (add_to_sets): Use vn_lookup_or_add_with_stmt.
1606         (find_existing_value_expr): Rewrite to changed vn_lookup.
1607         (create_value_expr_from): Ditto, and use add_to_exp_gen.
1608         (try_look_through_load): Removed.
1609         (try_combine_conversion): Ditto.
1610         (get_sccvn_value): New function.
1611         (make_values_for_phi): Ditto.
1612         (make_values_for_stmt): Ditto.
1613         (compute_avail): Rewritten for vn_lookup_or_add changes and to use
1614         SCCVN.
1615         (init_pre): Update for SCCVN changes.
1616         (fini_pre): Ditto.
1617         (execute_pre): Ditto.
1618
1619         * tree-flow.h (make_value_handle): Declare.
1620         (set_value_handle): Ditto.
1621         (sort_vuses_heap): Ditto.
1622         (vn_lookup_or_add_with_stmt): Ditto.
1623         (vn_lookup_with_stmt): Ditto.
1624         (vn_compute): Remove.
1625         (vn_init): Ditto.
1626         (vn_delete): Ditto.
1627         (vn_lookup): Update arguments.
1628
1629         * Makefile.in (tree-ssa-pre.o): Add tree-ssa-sccvn.h
1630         (tree-vn.o): Ditto.
1631         (tree-ssa-sccvn.o): New.
1632         (OBJS-common): Add tree-ssa-sccvn.o
1633         
1634 2007-06-30  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1635
1636         PR c/4076
1637         * c-typeck.c (build_external_ref): Don't mark as used if called
1638         from itself.
1639         * calls.c (rtx_for_function_call): Likewise.
1640         
1641 2007-06-30  Richard Sandiford  <richard@codesourcery.com>
1642
1643         Revert:
1644
1645         2007-06-27  Richard Sandiford  <richard@codesourcery.com>
1646
1647         * dce.c (deletable_insn_p_1): New function, split out from...
1648         (deletable_insn_p): ...here.  Only treat bare USEs and CLOBBERs
1649         specially, not those inside PARALLELs.  Remove BODY argument
1650         and adjust recursive call accordingly.
1651         (prescan_insns_for_dce): Update call to delete_insn_p.
1652
1653 2007-06-30  Rask Ingemann Lambertsen <rask@sygehus.dk>
1654
1655         * combine.c (combine_validate_cost): New parameter NEWOTHERPAT.
1656         (try_combine): Move potential calls to undo_all() so they happen
1657         before we commit to using the combined insns.
1658
1659 2006-06-30  Jan Hubicka  <jh@suse.cz>
1660
1661         * loop-unroll.c (unroll_loop_runtime_iterations): Unshare newly emit
1662         code.
1663
1664 2006-06-30  Thomas Neumann  <tneumann@users.sourceforge.net>
1665
1666         * ipa.c (cgraph_postorder): Cast according to the coding conventions.
1667         (cgraph_remove_unreachable_nodes): Likewise.
1668         * ipa-cp.c (ipcp_propagate_stage): Use BOTTOM instead of integer 0.
1669         * ipa-inline.c (update_caller_keys): Cast according to the coding
1670         conventions.
1671         (cgraph_decide_recursive_inlining): Likewise.
1672         (cgraph_decide_inlining_of_small_function): Likewise.
1673         (try_inline): Likewise.
1674         (cgraph_decide_inlining_incrementally): Likewise.
1675         * ipa-pure-const.c (get_function_state): Likewise.
1676         (scan_function): Likewise.
1677         (analyze_function): Likewise.
1678         (static_execute): Likewise.
1679         * gcc/ipa-reference.c (scan_for_static_refs): Likewise.
1680         (merge_callee_local_info): Likewise.
1681         (analyze_function): Use type safe memory macros.
1682         (static_execute): Likewise. Cast according to the coding conventions.
1683         * ipa-type-escape.c (scan_for_regs): Cast according to the coding
1684         conventions.
1685         * ipa-utils.c (searchc): Likewise. Avoid using C++ keywords as variable
1686         names.
1687         (ipa_utils_reduced_inorder): Likewise. Use type safe memory macros.
1688         * ipa-utils.h (struct ipa_dfa_info): Avoid using C++ keywords as
1689         variable names.
1690
1691 2007-06-29  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1692
1693         PR middle-end/30024
1694         * emit-rtl.c (init_emit_once): Intilize const_tiny_rtx[0]
1695         for complex modes (both int and real).
1696
1697 2007-06-29  Jan Hubicka  <jh@suse.cz>
1698
1699         * cse.c: Rever accidentally comitted TODO_verify_rtl_sharing change.
1700
1701 2007-06-29  Jan Hubicka  <jh@suse.cz>
1702
1703         PR middle-end/32372
1704         * cse.c (cse_insn): Avoid invalid sharing in between register note and
1705         the insn pattern.
1706
1707 2007-06-29  Anatoly Sokolov <aesok@post.ru>
1708
1709         PR target/32335
1710         * config/avr/avr.c: Include dataflow header file.
1711         (expand_prologue): Adjust for prologue insn change.
1712         * config/avr/avr.md (call_prologue_saves): Only modify REG_SP once
1713         inside a insn.
1714
1715 2007-06-29  Richard Guenther  <rguenther@suse.de>
1716
1717         PR middle-end/32493
1718         * gimplify.c (gimplify_call_expr): Ignore variable argument parts
1719         during type verification.
1720
1721 2007-06-29  Jan Hubicka  <jh@suse.cz>
1722
1723         * recog.c (validate_change_rtx_1): Unshare TO argument.
1724
1725 2007-06-29  Uros Bizjak  <ubizjak@gmail.com>
1726
1727         PR tree-optimization/24659
1728         * tree-vect-transform.c (vectorizable_call): Handle
1729         (nunits_in == nunits_out / 2) and (nunits_out == nunits_in / 2) cases.
1730
1731         * config/i386/sse.md (vec_pack_sfix_v2df): New expander.
1732         * config/i386/i386.c (enum ix86_builtins)
1733         [IX86_BUILTIN_VEC_PACK_SFIX]: New constant.
1734         (struct bdesc_2arg) [__builtin_ia32_vec_pack_sfix]: New builtin
1735         description.
1736         (ix86_init_mmx_sse_builtins): Define all builtins with 2 arguments as
1737         const using def_builtin_const.
1738         (ix86_expand_binop_builtin): Remove bogus assert() that insn wants
1739         input operands in the same modes as the result.
1740         (ix86_builtin_vectorized_function): Handle BUILT_IN_LRINT.
1741
1742 2007-06-29  Richard Sandiford  <rsandifo@nildram.co.uk>
1743
1744         * df-problems.c (df_set_unused_notes_for_mw): Fix formatting.
1745         (df_set_dead_notes_for_mw): Likewise.
1746
1747 2007-06-29  Eric Botcazou  <ebotcazou@adacore.com>
1748
1749         * c-common.c (pointer_int_sum): Do the negation in sizetype.
1750
1751 2007-06-28  DJ Delorie  <dj@redhat.com>
1752
1753         * config/m32c/m32c.h (OVERRIDE_OPTIONS): Omit unneeded semicolon.
1754
1755 2007-06-28  Geoffrey Keating  <geoffk@apple.com>
1756
1757         * doc/invoke.texi (C++ Dialect Options): Document
1758         fvisibility-ms-compat.
1759         * c.opt (fvisibility-ms-compat): New.
1760
1761 2007-06-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1762
1763         PR tree-opt/32417
1764         * tree-affine.c (aff_combination_add_elt): Handle
1765         pointer addition specially.
1766
1767 2007-06-28  Jakub Jelinek  <jakub@redhat.com>
1768
1769         * config/rs6000/rs6000.c (rs6000_function_ok_for_sibcall): Ensure
1770         decl is non-external for AIX ABI.
1771
1772 2007-06-28  David Edelsohn  <edelsohn@gnu.org>
1773
1774         * config/rs6000/predicates.md (current_file_function_operand):
1775         Ensure the symbol is non-external for AIX ABI.
1776
1777 2007-06-28  Nick Clifton  <nickc@redhat.com>
1778
1779         * common.opt (fipa-matrix-reorg): Add Optimization attribute.
1780         (fdce, fdse, fpredictive-commoning): Likewise.
1781
1782 2007-06-28 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1783
1784         PR other/31400
1785         * gcc.c (process_command): Recognize the new -static-libgfortran
1786         option.
1787
1788 2007-06-27  Rask Ingemann Lambertsen  <rask@sygehus.dk>
1789
1790         PR target/32418
1791         * config/m32c/m32c.c (m32c_eh_return_stackadj_rtx): Dataflow fix:
1792         Use a call clobbered hard reg instead of a pseudo reg.
1793
1794 2007-06-27  Kaz Kojima  <kkojima@gcc.gnu.org>
1795
1796         * config/sh/sh.md (load_gbr): Use correct operand constraint.
1797
1798 2007-06-27  Kaz Kojima  <kkojima@gcc.gnu.org>
1799
1800         PR target/32479
1801         * config/sh/sh.md (udivsi3): Don't wrap the sequence with
1802         REG_LIBCALL and REG_RETVAL notes.
1803         (divsi3, mulsi3): Likewise.
1804         (mulhisi3): Likewise.  Use emit_libcall_block.
1805         (umulhisi3, smulsi3_highpart, umulsi3_highpart_i): Likewise.
1806
1807 2007-06-27  Seongbae Park  <seongbae.park@gmail.com>
1808
1809         PR rtl-optimization/32481
1810         * combine.c (adjust_for_new_dest): Rescan the changed insn.
1811
1812 2007-06-27  Richard Sandiford  <richard@codesourcery.com>
1813
1814         * dce.c (deletable_insn_p_1): New function, split out from...
1815         (deletable_insn_p): ...here.  Only treat bare USEs and CLOBBERs
1816         specially, not those inside PARALLELs.  Remove BODY argument
1817         and adjust recursive call accordingly.
1818         (prescan_insns_for_dce): Update call to delete_insn_p.
1819
1820 2007-06-27  Richard Guenther  <rguenther@suse.de>
1821
1822         PR middle-end/32492
1823         * tree.h (fold_convertible_p): Declare.
1824         * fold-const.c (fold_convertible_p): New function.
1825         * gimplify.c (gimplify_call_expr): Use fold_convertible_p
1826         instead of lang_hooks.types_compatible_p.
1827
1828 2007-06-26  Jan Hubicka  <jh@suse.cz>
1829
1830         * fwprop.c (try_fwprop_subst): Use validate_unshare_change.
1831         * postreload.c (reload_cse_simplify_set): Instead of copying the rtx
1832         early use validate_unshare_change.
1833         (reload_combine): Likewise.
1834         * recog.c (change_t): New field unshare.
1835         (validate_change_1): Rename from validate_change; add argument unshare.
1836         (validate_change): Turn into wrapper of validate_change_1; update
1837         prototype for bools.
1838         (validate_unshare_change): New.
1839         (confirm_change_group): Unshare changes if asked for; avoid unnecesary
1840         calls of df_insn_rescan.
1841         * recog.h (validate_change): Replace ints by bools.
1842         (validate_unshare_change): Declare.
1843
1844 2007-06-26  Kenneth Zadeck <zadeck@naturalbridge.com>
1845
1846         * tree.def (VEC_WIDEN_MULT_LO_EXPR): Corrected string name.
1847         
1848 2007-06-26  Steve Ellcey  <sje@cup.hp.com>
1849
1850         * builtins.c (expand_builtin_next_arg): Change Pmode to ptr_mode.
1851
1852 2007-06-25  Jan Hubicka  <jh@suse.cz>
1853
1854         * ipa-inline.c (cgraph_mark_inline): Assert that we never inline
1855         uninlinable call.
1856         (cgraph_decide_inlining_of_small_function, cgraph_decide_inlining,
1857         cgraph_decide_inlining_incrementally): Move uninlinability checks to
1858         places other call site specific checks are performed.
1859
1860 2007-06-25  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1861
1862         PR tree-opt/32421
1863         * tree-vect-transform.c (vectorizable_operation): Convert
1864         POINTER_PLUS_EXPR over to PLUS_EXPR.
1865
1866 2007-06-25  Chao-ying Fu  <fu@mips.com>
1867
1868         * doc/rtl.texi (Machine Modes): Document QQ, HQ, SQ, DQ, TQ,
1869         UQQ, UHQ, USQ, UDQ, UTQ, HA, SA, DA, TA, UHA, USA, UDA, and UTAmodes.
1870         Document MODE_FRACT, MODE_UFRACT, MODE_ACCUM, MODE_UACCUM.
1871         Document GET_MODE_IBIT, and GET_MODE_FBIT.
1872
1873         * machmode.h (VECTOR_MODE_P): Test MODE_VECTOR_FRACT,
1874         MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM, MODE_VECTOR_UACCUM.
1875         (SCALAR_FRACT_MODE_P, SCALAR_UFRACT_MODE_P, ALL_SCALAR_FRACT_MODE_P,
1876         SCALAR_ACCUM_MODE_P, SCALAR_UACCUM_MODE_P, ALL_SCALAR_ACCUM_MODE_P,
1877         SIGNED_SCALAR_FIXED_POINT_MODE_P, UNSIGNED_SCALAR_FIXED_POINT_MODE_P,
1878         ALL_SCALAR_FIXED_POINT_MODE_P, FRACT_MODE_P, UFRACT_MODE_P,
1879         ALL_FRACT_MODE_P, ACCUM_MODE_P, UACCUM_MODE_P, ALL_ACCUM_MODE_P,
1880         SIGNED_FIXED_POINT_MODE_P, UNSIGNED_FIXED_POINT_MODE_P,
1881         ALL_FIXED_POINT_MODE_P): New define.
1882         (CLASS_HAS_WIDER_MODES_P): Test MODE_FRACT, MODE_UFRACT, MODE_ACCUM,
1883         MODE_UACCUM.
1884         (GET_MODE_IBIT, GET_MODE_FBIT): New define.
1885
1886         * mode-classes.def (MODE_FRACT, MODE_UFRACT, MODE_ACCUM, MODE_UACCUM,
1887         MODE_VECTOR_FRACT, MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM,
1888         MODE_VECTOR_UACCUM): New mode classes.
1889
1890         * machmode.def: Document FRACT_MODE, UFRACT_MODE, ACCUM_MODE,
1891         UACCUM_MODE, ADJUST_IBIT, and ADJUST_FBIT.
1892         Add QQ, HQ, SQ, DQ, TQ, UQQ, UHQ, USQ, UDQ, UTQ, HA, SA, DA, TA, UHA,
1893         USA, UDA, and UTA.
1894
1895         * genmodes.c (struct mode_data): Add ibit and fbit fields.
1896         (blank_mode): Initialize ibit and fbit.
1897         (adj_ibit, adj_fbit): New to adjust ibit and fbit.
1898         (vector_class): Handle MODE_FRACT, MODE_UFRACT, MODE_ACCUM,
1899         MODE_UACCUM.
1900         (new_adjust): Change required_class to required_class_from and
1901         required_class_to for testing within a range.
1902         (complete_mode): Handle MODE_FRACT, MODE_UFRACT, MODE_ACCUM,
1903         MODE_UACCUM, MODE_VECTOR_FRACT, MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM,
1904         MODE_VECTOR_UACCUM.
1905         (FRACT_MODE, UFRACT_MODE, ACCUM_MODE, UACCUM_MODE): New define.
1906         (make_fixed_point_mode): New.
1907         (_ADD_ADJUST): Change C to C1 and C2.
1908         (ADJUST_BYTESIZE, ADJUST_ALIGNMENT, ADJUST_FLOAT_FORMAT): Change to
1909         use a range for machine classes.
1910         (ADJUST_IBIT, ADJUST_FBIT): New.
1911         (emit_insn_modes_h): Output defines of CONST_MODE_IBIT and
1912         CONST_MODE_FBIT.
1913         (emit_mode_adjustments): Handle MODE_VECTOR_FRACT, MODE_VECTOR_UFRACT,
1914         MODE_VECTOR_ACCUM, MODE_VECTOR_UACCUM.
1915         Emit adjustment for ibit and fbit.
1916         (emit_mode_ibit, emit_mode_fbit): New.
1917         (emit_insn_modes_c): Add emit_mode_ibit and emit_mode_fbit.
1918
1919 2007-06-25  Nathan Froyd  <froydnj@codesourcery.com>
1920
1921         * config/rs6000/spe.md (*frob_ti_tf_2): Specify an input_operand
1922         as the source of the set.
1923
1924 2007-06-25  Roman Zippel <zippel@linux-m68k.org>
1925
1926         * config/m68k/m68k.h (DATA_REGNO_P, ADDRESS_REGNO_P, INT_REGNO_P,
1927         FP_REGNO_P): Use IN_RANGE.
1928         (REGNO_OK_FOR_DATA_P, REGNO_OK_FOR_FP_P): Remove.
1929         (REGNO_OK_FOR_INDEX_NONSTRICT_P, REGNO_OK_FOR_BASE_NONSTRICT_P): New.
1930         (DATA_REG_P): Use DATA_REGNO_P.
1931         (FP_REG_P): Use FP_REGNO_P.
1932         (ADDRESS_REG_P): Use ADDRESS_REGNO_P.
1933         * config/m68k/m68k.c (m68k_legitimate_base_reg_p): Use
1934         REGNO_OK_FOR_INDEX_NONSTRICT_P, REGNO_OK_FOR_BASE_NONSTRICT_P.
1935
1936 2007-06-24  Jan Hubicka  <jh@suse.cz>
1937
1938         PR middle-end/30563
1939         * cgraphunit.c (cgraph_analyze_function): Fix ordering problem.
1940
1941 2007-06-24  Sebastian Pop  <sebpop@gmail.com>
1942
1943         PR middle-end/32461
1944         * fold-const.c (fold_binary): Strip nops of operand 0
1945         of BIT_NOT_EXPR before calling operand_equal_p.
1946         * testsuite/gcc.dg/tree-ssa/pr32461-1.c: New.
1947         * testsuite/gcc.dg/tree-ssa/pr32461-2.c: New.
1948
1949 2007-06-23  Mark Mitchell  <mark@codesourcery.com>
1950
1951         * doc/extend.texi: Document that dllimport and dllexport imply
1952         default visibility.
1953         * tree.c (handle_dll_attribute): Set DECL_VISIBILITY on the
1954         imported or exported declaration, including type declarations.
1955         * c-common.c (handle_visibility_attribute): Check for conflicts
1956         with dllimport/dllexport.
1957         (c_determine_visibility): Handle dllimport/dllexport as an
1958         explicit visibility atttribute.
1959
1960 2007-06-23  Richard Guenther  <rguenther@suse.de>
1961
1962         PR tree-optimization/16876
1963         PR middle-end/29478
1964         * tree.h (CALL_CANNOT_INLINE_P): New macro to access static_flag
1965         for CALL_EXPRs.
1966         * tree-inline.c (initialize_inlined_parameters): Do not call
1967         lang_hooks.tree_inlining.convert_parm_for_inlining.
1968         * cgraphbuild.c (initialize_inline_failed): Set inline failed
1969         reason for mismatched types.
1970         * gimplify.c (gimplify_call_expr): Verify the call expression
1971         arguments match the called function type signature.  Otherwise
1972         mark the call expression to be not considered for inlining
1973         using CALL_CANNOT_INLINE_P flag.
1974         * ipa-inline.c (cgraph_mark_inline): Honor CALL_CANNOT_INLINE_P on the
1975         edges call expression.
1976         (cgraph_decide_inlining_of_small_function): Likewise.
1977         (cgraph_decide_inlining): Likewise.
1978         * c-objc-common.h (LANG_HOOKS_TREE_INLINING_CONVERT_PARM_FOR_INLINING):
1979         Remove define.
1980         * c-tree.h (c_convert_parm_for_inlining): Remove declaration.
1981         * c-typeck.c (c_convert_parm_for_inlining): Remove.
1982         * langhooks-def.h (lhd_tree_inlining_convert_parm_for_inlining):
1983         Remove declaration.
1984         (LANG_HOOKS_TREE_INLINING_CONVERT_PARM_FOR_INLINING): Remove define.
1985         * langhooks.c (lhd_tree_inlining_convert_parm_for_inlining):
1986         Remove.
1987         * langhooks.h (struct lang_hooks_for_tree_inlining): Remove
1988         convert_parm_for_inlining member.
1989
1990 2007-06-23  Richard Earnshaw  <rearnsha@arm.com>
1991
1992         PR target/31152
1993         * arm.md (negscc): Match the correct operand for optimized LT0 test.
1994         Remove optimization for GT.
1995
1996 2007-06-23  Kenneth Zadeck <zadeck@naturalbridge.com>
1997
1998         PR middle-end/32437
1999         * dce.c (deletable_insn_p): Add extra parameter and recurse if insn
2000         is a PARALLEL.
2001         (prescan_insns_for_dce): Add extra parameter.
2002         
2003 2007-06-23  Jan Hubicka  <jh@suse.cz>
2004
2005         PR middle-end/31541
2006         * gimplify.c (mark_addressable): New function.
2007         (gimplify_modify_expr_rhs, gimplify_addr_expr, gimplify_expr): Use it.
2008
2009 2007-06-22  Uros Bizjak  <ubizjak@gmail.com>
2010
2011         PR middle-end/32374
2012         * expr.c (store_constructor): Do not clobber non-zeroed memory. 
2013
2014 2007-06-22  Uros Bizjak  <ubizjak@gmail.com>
2015
2016         PR target/32413
2017         * config/i386/i386.c (ix86_register_move_cost): Rise the cost of
2018         moves between MMX/SSE registers to at least 8 units to prevent
2019         ICE caused by non-tieable SI/HI/QImodes in SSE registers. 
2020
2021 2007-06-22  Uros Bizjak  <ubizjak@gmail.com>
2022
2023         * config/i386/i386.c (override_options): Correct x86_sahf
2024         setting condition.
2025
2026 2007-06-21  David Daney  <ddaney@avtrex.com>
2027
2028         PR target/32406
2029         * config/mips/mips.md (define_constants): Rename UNSPEC_EH_RECEIVER
2030         to UNSPEC_NONLOCAL_GOTO_RECEIVER globally.
2031         (exception_receiver): Renamed to ...
2032         (nonlocal_goto_receiver): ... this.
2033
2034 2007-06-22  Roman Zippel <zippel@linux-m68k.org>
2035
2036         * df-scan.c (df_read_modify_subreg_p): Use REGMODE_NATURAL_SIZE.
2037         (df_def_record_1): Set (DF_REF_READ_WRITE | DF_REF_PARTIAL) for
2038         partial register accesses.
2039
2040 2007-06-21  Adam Nemet  <anemet@caviumnetworks.com>
2041
2042         * fold-const.c (debug_fold_checksum): Move it under
2043         ENABLE_FOLD_CHECKING.
2044
2045 2007-06-21  Sebastian Pop  <sebpop@gmail.com>
2046
2047         PR middle-end/20623
2048         * tree.h (debug_fold_checksum): Declared.
2049         * fold-const.c (build_fold_addr_expr_with_type_1): New.
2050         (build_fold_addr_expr_with_type, build_fold_addr_expr): Use 
2051         build_fold_addr_expr_with_type_1.
2052         (fold_addr_expr, debug_fold_checksum): New.
2053         (fold_checksum_tree): Don't fold TREE_CHAIN of an SSA_NAME.
2054         (fold_unary, fold_comparison, split_address_to_core_and_offset):
2055         Use fold_addr_expr.
2056         
2057 2007-06-21  Sebastian Pop  <sebpop@gmail.com>
2058
2059         PR tree-optimization/19590
2060         * tree-vrp.c (adjust_range_with_scev): Set the range when the result
2061         of scev is a constant.
2062         * gcc/testsuite/gcc.dg/tree-ssa/pr19590.c: New.
2063
2064 2007-06-21  Kenneth Zadeck <zadeck@naturalbridge.com>
2065
2066         * df-problems.c (df_note_bb_compute): Made computation of live
2067         info consistent with df_lr.
2068
2069 2007-06-21  Richard Guenther  <rguenther@suse.de>
2070
2071         PR tree-optimization/32453
2072         * tree-vrp.c (extract_range_from_assert): Build POINTER_PLUS_EXPR
2073         for pointer anti-range.
2074
2075 2007-06-21  H.J. Lu  <hongjiu.lu@intel.com>
2076
2077         * config/i386/i386.c (processor_target_table): Increase maximum
2078         skip from 7 byte to 10 byte for Pentium Pro, Core 2 Duo and
2079         default 64bit.
2080
2081         * config/i386/linux.h (ASM_OUTPUT_MAX_SKIP_ALIGN): Ensure 8
2082         byte alignment if > 8 byte alignment is preferred.
2083         * config/i386/x86-64.h (ASM_OUTPUT_MAX_SKIP_ALIGN): Likewise.
2084
2085 2007-06-21  Jakub Jelinek  <jakub@redhat.com>
2086
2087         PR tree-optimization/31866
2088         * tree-ssa-coalesce.c (create_outofssa_var_map): Do nothing
2089         if ASM_EXPR's input is not a SSA_NAME.
2090
2091         PR middle-end/32362
2092         * omp-low.c (lookup_decl_in_outer_ctx): Don't ICE if t is NULL,
2093         but decl is a global var, instead return decl.
2094         * gimplify.c (gimplify_adjust_omp_clauses_1): Add shared clauses
2095         even for is_global_var decls, if they are private in some outer
2096         context.
2097
2098 2007-06-21  Richard Guenther  <rguenther@suse.de>
2099
2100         PR tree-optimization/32451
2101         * tree-ssa-threadupdate.c (thread_single_edge): Fixup edge flags.
2102
2103 2007-06-21  Christian Bruel  <christian.bruel@st.com>
2104
2105         * config/sh/sh-protos.h (sh_loads_bankedreg_p): Declare.
2106         * config/sh/sh.c (sh_loads_bankedreg_p): New function.
2107         (push_regs): Changed saving order or banked registers.
2108         (sh_expand_epilogue): Likewise.
2109         * config/sh/sh.h (BANKED_REGISTER_P): New macro.
2110         (FIRST_BANKED_REG): Likewise.
2111         (LAST_BANKED_REG): Likewise.
2112         * config/sh/sh.md (banked) New attribute.
2113         (in_delay_slot): Check banked attribute.
2114         
2115 2007-06-20  Sebastian Pop  <sebpop@gmail.com>
2116
2117         PR tree-optimization/32075
2118         * tree-data-ref.c (subscript_dependence_tester_1, 
2119         analyze_miv_subscript, analyze_overlapping_iterations,
2120         add_distance_for_zero_overlaps, build_classic_dist_vector,
2121         subscript_dependence_tester_1, analyze_overlapping_iterations,
2122         subscript_dependence_tester, access_functions_are_affine_or_constant_p,
2123         compute_affine_dependence, compute_all_dependences): Pass loop_nest 
2124         to evolution_function_is_affine_multivariate_p.
2125
2126 2007-06-20  Eric Botcazou  <ebotcazou@libertysurf.fr>
2127
2128         * df-scan.c (df_get_call_refs): Be prepared for MEMs inside CLOBBERs.
2129
2130 2007-06-20  Rask Ingemann Lambertsen  <rask@sygehus.dk>
2131
2132         PR target/32335
2133         * config/m32c/m32c.c (m32c_emit_epilogue): Use new HImode epilogue
2134         for TARGET_A16.
2135         * config/m32c/prologue.md (epilogue_exitd_16): New.
2136         (epilogue_reit_16): New.
2137         (epilogue_exitd): Rename to epilogue_exitd_24.
2138         (epilogue_reit): Rename to epilogue_reit_24.
2139
2140 2007-06-20  Seongbae Park  <seongbae.park@gmail.com>
2141             Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
2142
2143         * dbgcnt.def (global_alloc_at_func, global_alloc_at_reg):
2144         New counters.
2145         * haifa-sched.c (queue_to_ready): Don't requeue next insn
2146         if dbg_cnt (sched_insn) reaches the limit.
2147         (choose_ready): New parameter INSN_PTR and new return value.
2148         (schedule_block): Handle dbg_cnt (sched_insn). Handle
2149         the new return value from choose_ready.
2150         * global.c (global_aloc): New dbgcnt global_alloc_at_reg.
2151         (rest_of_handle_global_alloc): New global_alloc_at_func.
2152
2153 2007-06-20  Adam Nemet  <anemet@caviumnetworks.com>
2154
2155         PR tree-optimization/25737
2156         * tree.h (struct tree_struct_field_tag): Add new field alias_set.
2157         (SFT_NONADDRESSABLE_P, SFT_ALIAS_SET): New macros.
2158         * tree-flow.h (struct fieldoff): Add new field alias_set.
2159         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Add new
2160         argument addressable_type.  Set alias_set of fieldoff.
2161         * tree-ssa-alias.c (create_sft): Add new argument alias_set.
2162         (create_overlap_variables_for): Pass alias_set from fieldoff to
2163         create_sft.
2164         * alias.c (get_alias_set): Use alias_set from SFT if set.
2165
2166 2007-06-20  Hui-May Chang  <hm.chang@apple.com>
2167
2168         * config/i386/darwin.h (ASM_OUTPUT_COMMON): Print the size
2169         of a variable as an unsigned HOST_WIDE_INT integer.
2170
2171 2007-06-20  Zdenek Dvorak  <dvorakz@suse.cz>
2172
2173         PR rtl-optimization/32405
2174         * loop-iv.c (iv_get_reaching_def): Fail for partial defs.
2175
2176 2007-06-20  Jakub Jelinek  <jakub@redhat.com>
2177
2178         * Makefile.in (omega.o): Depend on $(DIAGNOSTIC_H).
2179
2180         PR middle-end/31959
2181         * builtins.c: Include diagnostic.h.
2182         (expand_builtin_expect): Make gcc_assert more permissive.
2183         * Makefile.in (builtins.o): Depend on $(DIAGNOSTIC_H).
2184
2185         PR inline-asm/32109
2186         * gimplify.c (gimplify_asm_expr): Issue error if type is addressable
2187         and !allows_mem.
2188
2189         PR middle-end/32285
2190         * calls.c (precompute_arguments): Also precompute CALL_EXPR arguments
2191         if ACCUMULATE_OUTGOING_ARGS.
2192
2193 2007-06-19  Rask Ingemann Lambertsen  <rask@sygehus.dk>
2194
2195         * config/m68hc11/m68hc11.c: Include dataflow header file.
2196         (m68hc11_reorg): Port to dataflow.
2197
2198 2007-06-19  Kenneth Zadeck <zadeck@naturalbridge.com>
2199
2200         * df.h (DF_FIRST_OPTIONAL_PROBLEM): Removed.
2201         (struct df_problem.free_blocks_on_set_blocks): New field.
2202         (struct dataflow.optional_p): New field.
2203         (df_bb_regno_last_use_find, df_insn_regno_def_p): Removed.
2204         (df_live_set_all_dirty): New function.
2205         * df-scan.c (df_scan_alloc): Initialize optional_p.
2206         (problem_SCAN): Initialize free_blocks_on_set_blocks.
2207         * df-core.c (df_set_blocks): Removed use of
2208         DF_FIRST_OPTIONAL_PROBLEM.  Now uses
2209         df_problem.free_blocks_on_set_blocks to determine which blocks are
2210         recycled.
2211         (df_remove_problem): Removed use of DF_FIRST_OPTIONAL_PROBLEM.
2212         (df_finish_pass): Removed use of DF_FIRST_OPTIONAL_PROBLEM.  Now
2213         uses dataflow.optional_p to determine if problem should be
2214         deleted.
2215         (rest_of_handle_df_initialize): Only start live problem if 
2216         -02 or above.
2217         (df_bb_regno_last_use_find, df_insn_regno_def_p): Removed.
2218         * df-problems.c (df_ru_alloc, df_rd_alloc, df_lr_alloc,
2219         df_live_alloc, df_urec_alloc, df_note_alloc): set optional_p.
2220         (problem_RU, problem_RD, problem_LR, problem_UREC, problem_CHAIN,
2221         problem_NOTE):  Initialize free_blocks_on_set_blocks.
2222         (df_lr_bb_local_compute): Recompute luids if df_live problem is
2223         not active.
2224         (df_live_set_all_dirty, df_note_alloc): New function.
2225         * regrename.c (merge_overlapping_regs): Change DF_LIVE_* to
2226         df_get_live_*.
2227         * sched_ebb.c (compute_jump_reg_dependencies): Ditto.
2228         * postreload.c (reload_combine): Ditto.
2229         * cse.c (cse_extended_basic_block): Ditto.
2230         * regmove.c (mark_flags_life_zones): Ditto.
2231         * rtlfactoring.c (split_blocks_after_seqs, split_pattern_seq,
2232         erase_matching_seqs): Ditto.
2233         * bt-load.c (compute_defs_uses_and_gen): Ditto.
2234         * integrate (allocate_initial_values): Ditto.
2235         * combine.c (reg_dead_at_p): Ditto.
2236         * resource.c (mark_target_live_regs): Ditto.
2237         * sched-rgn.c (check_live_1, update_live_1): Ditto.
2238         * config/sh/sh.c (find_r0_life_regions): Ditto.
2239         * global.c (rest_of_handle_global_alloc): Only add back df_live
2240         for -O > 1.
2241         * local-alloc.c (rest_of_handle_local_alloc): Only remove
2242         df_live for -O > 1.
2243         * ifcvt.c (dead_or_predicable): Change DF_LIVE_* to
2244         df_get_live_*.
2245         (if_convert): Make sure df_live is there at -O == 1.
2246         (pass_if_after_combine): Cleanup flags.
2247         * init-regs.c (initialize_uninitialized_regs): Make sure df_live
2248         is there at -O == 1.
2249         
2250 2007-06-19  Seongbae Park  <seongbae.park@gmail.com>
2251
2252         * config/arm/arm.c (arm_get_frame_offsets): Set
2253         offsets->locals_base to avoid negative stack size.
2254         (thumb1_expand_prologue): Assert on negative stack size.
2255
2256 2007-04-19  Sebastian Pop  <sebpop@gmail.com>
2257
2258         PR tree-optimization/32367
2259         * tree-chrec.h (build_polynomial_chrec): Verify that the left hand side 
2260         of the chrec has no evolution in that loop.
2261         * testsuite/gcc.dg/tree-ssa/pr32367.c: New.
2262
2263 2007-06-19  Bob Wilson  <bob.wilson@acm.org>
2264
2265         * config/xtensa/xtensa.c: Include "df.h".
2266         (xtensa_builtin_saveregs): Use adjust_address instead of
2267         change_address.
2268         (xtensa_va_start): Invoke make_tree with sizetype for
2269         expand_builtin_saveregs and then convert the result to a pointer.
2270         Use POINTER_PLUS_EXPR.  Use size_int instead of build_int_cst.
2271         (xtensa_gimplify_va_arg_expr): Use size_int instead of build_int_cst.
2272         Subtract argument size from index value as integers and then use
2273         POINTER_PLUS_EXPR to add the result to the array address.
2274         
2275 2007-06-19  Rask Ingemann Lambertsen  <rask@sygehus.dk>
2276
2277         PR target/32335
2278         * config/m32c/m32c.c: Include dataflow header file.
2279         (m32c_emit_prologue): Adjust for prologue insn change.
2280         * config/m32c/prologue.md (prologue_enter_16): Only modify SP_REGNO
2281         once inside a PARALLEL. Assume frame size passed in operand 0
2282         includes space to save the fb register.
2283         (prologue_enter_24): Likewise.
2284         (epilogue_exitd): Only modify SP_REGNO once inside a PARALLEL.
2285
2286 2007-06-19  David Daney  <ddaney@avtrex.com
2287
2288         PR target/32313
2289         * config/mips/mips.md (cprestore): Mark $gp as used.
2290
2291 2007-06-19  Rask Ingemann Lambertsen  <rask@sygehus.dk>
2292
2293         PR target/32369
2294         * config/frv/frv.c (frv_ifcvt_modify_tests): Dataflow merge fix.
2295         (frv_ifcvt_modify_insn): Likewise.
2296
2297 2007-06-19  Richard Guenther  <rguenther@suse.de>
2298
2299         * tree-ssa-structalias.c (handle_ptr_arith): Make sure to
2300         only handle positive offsets that fit in a HOST_WIDE_INT.
2301
2302 2007-06-19  Uros Bizjak  <ubizjak@gmail.com>
2303
2304         * config/i386/i386.c (ix86_emit_swsqrtsf): Filter out infinity
2305         result of rsqrt insn for zero input argument to avoid NaN.
2306
2307 2007-06-19  Richard Guenther  <rguenther@suse.de>
2308
2309         PR middle-end/31950
2310         * tree-ssa-alias-warnings.c (ffan_walker): Punt on MTAGs.
2311
2312 2007-06-19  Jakub Jelinek  <jakub@redhat.com>
2313
2314         PR tree-optimization/32353
2315         * tree-ssa-structalias.c (set_uids_in_ptset): Also handle RESULT_DECL.
2316
2317 2007-06-19  Nick Clifton  <nickc@redhat.com>
2318
2319         * config/m32r/linux.h (LIB_SPEC): Always imply -lpthread for -pthread.
2320
2321 2007-06-18  Uros Bizjak  <ubizjak@gmail.com>
2322
2323         PR target/32389
2324         * config/i386/i386.h (enum ix86_stack_slot): Add SLOT_VIRTUAL.
2325         * config/i386/i386.c (assign_386_stack_local): Assert that
2326         SLOT_VIRTUAL is valid only before virtual regs are instantiated.
2327         (ix86_expand_builtin) [IX86_BUILTIN_LDMXCSR, IX86_BUILTIN_STMXCSR]:
2328         Use SLOT_VIRTUAL stack slot instead of SLOT_TEMP.
2329         * config/i386/i386.md (truncdfsf2, truncxf<mode>2): Ditto.
2330
2331 2007-06-18  Steve Ellcey  <sje@cup.hp.com>
2332
2333         * config/ia64/ia64.h (LIBGCC2_TF_CEXT): New.
2334
2335 2007-06-18  Seongbae Park  <seongbae.park@gmail.com>
2336
2337         PR rtl-optimization/32321
2338         * gcse.c (replace_store_insn): Update the note before
2339         calling emit_insn_after.
2340
2341 2007-06-18  Kenneth Zadeck <zadeck@naturalbridge.com>
2342
2343         PR middle-end/32355
2344         * gcse (rest_of_handle_gcse): Add call to df_finish_pass after
2345         cse_main.
2346         * df-problems.c (df_note_bb_compute): Fix dumping info.
2347         
2348 2007-06-18  Kazu Hirata  <kazu@codesourcery.com>
2349
2350         * config/m68k/m68k.c (m68k_expand_epilogue): Emit a return
2351         insn with emit_jump_insn.
2352
2353 2007-06-18  Uros Bizjak  <ubizjak@gmail.com>
2354
2355         PR tree-optimization/32383
2356         * targhooks.c (default_builtin_reciprocal): Add new bool argument.
2357         * targhooks.h (default_builtin_reciprocal): Update prototype.
2358         * target.h (struct gcc_target): Update builtin_reciprocal.
2359         * doc/tm.texi (TARGET_BUILTIN_RECIPROCAL): Update description.
2360         * tree-ssa-math-opts (execute_cse_reciprocals): Skip statements
2361         where arg1 is not SSA_NAME.  Pass true to targetm.builtin_reciprocal
2362         when fndecl is in BUILT_IN_MD class.
2363         (execute_convert_to_rsqrt): Ditto.
2364
2365         * config/i386/i386.c (ix86_builtin_reciprocal): Update for new bool
2366         argument.  Convert IX86_BUILTIN_SQRTPS code only when md_fn is true.
2367         Convert BUILT_IN_SQRTF code only  when md_fn is false.
2368
2369 2007-06-18  Kaz Kojima  <kkojima@gcc.gnu.org>
2370
2371         * bt-load.c (move_btr_def): Fix the order of arguments
2372         to validate_replace_rtx.
2373
2374 2007-06-18  Nathan Sidwell  <nathan@codesourcery.com>
2375
2376         * config/m68k/m68k-devices.def: Add 54450..54455.
2377
2378 2007-06-17  Uros Bizjak  <ubizjak@gmail.com>
2379
2380         PR rtl-optimization/32366
2381         * simplify-rtx.c (simplify_unary_operation_1) [FLOAT_TRUNCATE,
2382         FLOAT_EXTEND]: Prevent non-scalar modes from entering
2383         significand_size.
2384
2385 2007-06-17  Kenneth Zadeck <zadeck@naturalbridge.com>
2386
2387         PR middle-end/32349
2388         * modulo-sched (generate_reg_moves): Added rescan parameter and if
2389         this is true, rescan insn being modified.
2390         (sms_schedule): Added rescan parameter.
2391         (rest_of_handle_sms): Moved freeing of dominance info to before
2392         getting out of cfg_layout.
2393         
2394 2007-06-17  Nathan Sidwell  <nathan@codesourcery.com>
2395
2396         * config/m68k/m68k.h (ISA_HAS_FF1, ISA_HAS_MVS_MVZ): New.
2397         * config/m68k/m68k.md: Use ISA_HAS_FF1 and ISA_HAS_MVS_MVZ as
2398         appropriate.
2399
2400         * config/m68k/m68k.c (all_isas): Remove FL_CF_FPU and
2401         FL_CF_EMAC from the entry for isac.
2402
2403         * config/m68k/predicates.md (const_call_operand): Adjust comment.
2404         (const_sibcall_operand): New.
2405         (sibcall_operand): Use it.
2406         * config/m68k/m68k.c (FL_FOR_isa_c): Not ISA_B compatible.
2407         (m68k_isas): ISAC does not imply FPU or EMAC.
2408         (override_options): Add ISA_C logic for symbolic jump & call.
2409
2410 2007-06-17  Eric Botcazou  <ebotcazou@libertysurf.fr>
2411
2412         * config/sparc/sparc.c (sparc_vis_init_builtins): Retrieve the
2413         return mode from the builtin itself.
2414         (sparc_fold_builtin): Fix cast of zero constant.
2415
2416 2007-06-16  Uros Bizjak  <ubizjak@gmail.com>
2417
2418         * targhooks.c (default_builtin_reciprocal): New default target hook.
2419         * targhooks.h (default_builtin_reciprocal): Add prototype.
2420         * hooks.c (hook_tree_tree_bool_null): Remove hook.
2421         * hooks.h (hook_tree_tree_bool_null): Remove prototype.
2422         * target-def.h (TARGET_BUILTIN_RECIPROCAL): Define as
2423         default_builtin_reciprocal.
2424
2425 2007-06-16  Uros Bizjak  <ubizjak@gmail.com>
2426
2427         PR middle-end/31723
2428         * hooks.c (hook_tree_tree_bool_null): New hook.
2429         * hooks.h (hook_tree_tree_bool_null): Add prototype.
2430         * tree-pass.h (pass_convert_to_rsqrt): Declare.
2431         * passes.c (init_optimization_passes): Add pass_convert_to_rsqrt.
2432         * tree-ssa-math-opts.c (execute_cse_reciprocals): Scan for a/func(b)
2433         and convert it to reciprocal a*rfunc(b).
2434         (execute_convert_to_rsqrt): New function.
2435         (gate_convert_to_rsqrt): New function.
2436         (pass_convert_to_rsqrt): New pass definition.
2437         * target.h (struct gcc_target): Add builtin_reciprocal.
2438         * target-def.h (TARGET_BUILTIN_RECIPROCAL): New define.
2439         (TARGET_INITIALIZER): Initialize builtin_reciprocal with
2440         TARGET_BUILTIN_RECIPROCAL.
2441         * doc/tm.texi (TARGET_BUILTIN_RECIPROCAL): Document.
2442
2443         * config/i386/i386.h (TARGET_RECIP): New define.
2444         * config/i386/i386.md (divsf3): Expand by calling ix86_emit_swdivsf
2445         for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
2446         flag_unsafe_math_optimizations are set, flag_trapping_math is unset
2447         and not optimizing for size.
2448         (*rcpsf2_sse): New insn pattern.
2449         (*rsqrtsf2_sse): Ditto.
2450         (rsqrtsf2): New expander.  Expand by calling ix86_emit_swsqrtsf
2451         for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
2452         flag_unsafe_math_optimizations are set, flag_trapping_math is unset
2453         and not optimizing for size.
2454         (sqrt<mode>2): Expand SFmode operands by calling ix86_emit_swsqrtsf
2455         for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
2456         flag_unsafe_math_optimizations are set, flag_trapping_math is unset
2457         and not optimizing for size.
2458         * config/i386/sse.md (divv4sf): Expand by calling ix86_emit_swdivsf
2459         for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
2460         flag_unsafe_math_optimizations are set, flag_trapping_math is unset
2461         and not optimizing for size.
2462         (*sse_rsqrtv4sf2): Do not export.
2463         (sqrtv4sf2): Ditto.
2464         (sse_rsqrtv4sf2): New expander.  Expand by calling ix86_emit_swsqrtsf
2465         for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
2466         flag_unsafe_math_optimizations are set, flag_trapping_math is unset
2467         and not optimizing for size.
2468         (sqrtv4sf2): Ditto.
2469         * config/i386/i386.opt (mrecip): New option.
2470         * config/i386/i386-protos.h (ix86_emit_swdivsf): Declare.
2471         (ix86_emit_swsqrtsf): Ditto.
2472         * config/i386/i386.c (IX86_BUILTIN_RSQRTF): New constant.
2473         (ix86_init_mmx_sse_builtins): __builtin_ia32_rsqrtf: New
2474         builtin definition.
2475         (ix86_expand_builtin): Expand IX86_BUILTIN_RSQRTF using
2476         ix86_expand_unop1_builtin.
2477         (ix86_emit_swdivsf): New function.
2478         (ix86_emit_swsqrtsf): Ditto.
2479         (ix86_builtin_reciprocal): New function.
2480         (TARGET_BUILTIN_RECIPROCAL): Use it.
2481         (ix86_vectorize_builtin_conversion): Rename from
2482         ix86_builtin_conversion.
2483         (TARGET_VECTORIZE_BUILTIN_CONVERSION): Use renamed function.
2484         * doc/invoke.texi (Machine Dependent Options): Add -mrecip to
2485         "i386 and x86_64 Options" section.
2486         (Intel 386 and AMD x86_64 Options): Document -mrecip.
2487
2488 2007-06-15  Andrew Pinski <andrew_pinski@playstation.sony.com>
2489             Zdenek Dvorak <dvorakz@suse.cz>
2490             Richard Guenther  <rguenther@suse.de>
2491             Kaz Kojima  <kkojima@gcc.gnu.org>
2492
2493         * tree-vrp.c (compare_values_warnv): Convert val2 to
2494         the type of val1.
2495         (extract_range_from_assert): Create
2496         POINTER_PLUS_EXPR for pointer types.
2497         (extract_range_from_binary_expr): Handle
2498         only POINTER_PLUS_EXPR, MIN_EXPR, and MAX_EXPR
2499         for pointer types.
2500         * doc/c-tree.texi (POINTER_PLUS_EXPR): Document.
2501         * tree-ssa-loop-niter.c (split_to_var_and_offset): Handle
2502         POINTER_PLUS_EXPR as PLUS_EXPR.
2503         (number_of_iterations_lt_to_ne):
2504         For pointer types, use sizetype when
2505         creating MINUS_EXPR/PLUS_EXPRs.
2506         (assert_loop_rolls_lt): For pointer types, use sizetype when
2507         creating MINUS_EXPR/PLUS_EXPRs.
2508         (number_of_iterations_le): Likewise.
2509         (expand_simple_operations): POINTER_PLUS_EXPR are simple also.
2510         (derive_constant_upper_bound): Handle POINTER_PLUS_EXPR just
2511         like PLUS_EXPR and MINUS_EXPR.
2512         * tree-pretty-print.c (dump_generic_node): Handle
2513         POINTER_PLUS_EXPR.
2514         (op_prio): Likewise.
2515         (op_symbol_1): Likewise.
2516         * optabs.c (optab_for_tree_code): Likewise.
2517         * tree-ssa-loop-manip.c (create_iv): Handle pointer base
2518         specially.
2519         * tree-tailcall.c (process_assignment): Mention
2520         POINTER_PLUS_EXPR in a TODO comment.
2521         * tree.c (build2_stat): Assert when trying to use PLUS_EXPR or 
2522         MINUS_EXPR with a pointer. Also assert for POINTER_PLUS_EXPR
2523         not used with a pointer and an integer type.
2524         * tree-scalar-evolution.c (add_to_evolution_1): Convert the
2525         increment using chrec_convert_rhs instead of chrec_convert.
2526         (follow_ssa_edge_in_rhs): Handle POINTER_PLUS_EXPR like
2527         PLUS_EXPR except for the right hand side's type will be
2528         sizetype.
2529         (interpret_rhs_modify_stmt): Handle POINTER_PLUS_EXPR.
2530         (fold_used_pointer_cast): Kill.
2531         (pointer_offset_p): Kill.
2532         (fold_used_pointer): Kill.
2533         (pointer_used_p): Kill.
2534         (analyze_scalar_evolution_1 <case GIMPLE_MODIFY_STMT>): Don't
2535         call fold_used_pointer.
2536         (instantiate_parameters_1): Convert the increment
2537         using chrec_convert_rhs instead of chrec_convert.
2538         Handle POINTER_PLUS_EXPR as PLUS_EXPR.
2539         * builtins.c (get_pointer_alignment): Handle POINTER_PLUS_EXPR
2540         instead of PLUS_EXPR.
2541         (expand_builtin_strcat): Create a POINTER_PLUS_EXPR instead of
2542         PLUS_EXPR for pointers.
2543         (std_gimplify_va_arg_expr): Likewise.
2544         (fold_builtin_memory_op): Likewise.
2545         (fold_builtin_strstr): Likewise.
2546         (fold_builtin_strchr): Likewise.
2547         (fold_builtin_strrchr): Likewise.
2548         (fold_builtin_strpbrk): Likewise.
2549         (expand_builtin_memory_chk): Likewise.
2550         (fold_builtin_memory_chk): Likewise.
2551         (std_expand_builtin_va_start): Use
2552         sizetype for the call to make_tree and then convert
2553         to the pointer type.
2554         (fold_builtin_memchr): Use POINTER_PLUS_EXPR
2555         instead of PLUS_EXPR for adding to a pointer.
2556         (std_gimplify_va_arg_expr): Use fold_build2 for
2557         the creating of POINTER_PLUS_EXPR.  For the BIT_AND_EXPR, cast
2558         the operands to sizetype first and then cast the BIT_AND_EXPR
2559         back to the pointer type.
2560         * fold-const.c (build_range_check): Handle pointer types
2561         specially.
2562         (extract_array_ref): Look for POINTER_PLUS_EXPR instead
2563         of PLUS_EXPR's. Make sure the offset is converted to
2564         sizetype.
2565         (try_move_mult_to_index): Strip the NOPs from the offset.
2566         Remove code argument and replace all uses with PLUS_EXPR.
2567         (fold_to_nonsharp_ineq_using_bound): Handle pointer types
2568         specially. Don't use a pointer type for MINUS_EXPR.
2569         (fold_unary): Handle for (T1)(X op Y),
2570         only p+ as that is the only as that can be handled for
2571         binary operators now.
2572         (fold_binary <case POINTER_PLUS_EXPR>): Add folding of
2573         POINTER_PLUS_EXPR.
2574         <case PLUS_EXPR>: Add folding of PTR+INT into
2575         PTR p+ INT.
2576         Don't call try_move_mult_to_index.
2577         <case MINUS_EXPR>: Fold (PTR0 p+ A) - (PTR1 p+ B)
2578         into (PTR0 - PTR1) + (A - B). Fold (PTR0 p+ A) - PTR1 into
2579         (PTR0 - PTR1) + A iff (PTR0 - PTR1) simplifies.
2580         Don't call try_move_mult_to_index.
2581         (tree_expr_nonnegative_warnv_p): Handle POINTER_PLUS_EXPR.
2582         (tree_expr_nonzero_p): Likewise.
2583         (fold_indirect_ref_1): Look at POINTER_PLUS_EXPR instead
2584         of PLUS_EXPR for the complex expression folding.
2585         * tree-chrec.c (chrec_fold_plus_poly_poly): If the
2586         first chrec is a pointer type, then the second should
2587         be sizetype and not the first's type.
2588         For POINTER_PLUS_EXPR, use a different right hand side type.
2589         Handle POINTER_PLUS_EXPR like PLUS_EXPR.
2590         (chrec_fold_plus_1): For POINTER_PLUS_EXPR, use a
2591         different right hand side type.
2592         Handle POINTER_PLUS_EXPR like PLUS_EXPR.
2593         (chrec_fold_plus): For pointer types, use POINTER_PLUS_EXPR
2594         instead of PLUS_EXPR.
2595         When either operand is zero, convert the other operand.
2596         (chrec_apply): Use chrec_convert_rhs
2597         on the argument x instead of chrec_convert.
2598         (reset_evolution_in_loop): For pointer types, the new_evol
2599         should be sizetype.
2600         (convert_affine_scev): For POINTER_PLUS_EXPR, use a
2601         different right hand side type.
2602         Handle POINTER_PLUS_EXPR like PLUS_EXPR.
2603         (chrec_convert_rhs): New function.
2604         (chrec_convert_aggressive): For POINTER_PLUS_EXPR, use a
2605         different right hand side type.
2606         Handle POINTER_PLUS_EXPR like PLUS_EXPR.
2607         * tree-chrec.h (chrec_convert_rhs): New prototype.
2608         (build_polynomial_chrec): For pointer types, the right hand
2609         * tree-ssa-ccp.c (maybe_fold_stmt_indirect): Look for
2610         POINTER_PLUS_EXPR instead of PLUS_EXPR's.
2611         Remove subtraction case as it is always addition now.
2612         Make sure the offset is converted to sizetype.
2613         (fold_stmt_r): Don't handle PLUS_EXPR/MINUS_EXPR specially.
2614         Handle POINTER_PLUS_EXPR like PLUS_EXPR was handled before.
2615         * tree-ssa-loop-ivopts.c (determine_base_object): Abort for 
2616         PLUS_EXPR in pointer type.
2617         Handle POINTER_PLUS_EXPR.
2618         (tree_to_aff_combination): Likewise.
2619         (force_expr_to_var_cost): Likewise.
2620         (force_expr_to_var_cost): Likewise. Create a POINTER_PLUS_EXPR
2621         instead of PLUS_EXPR for pointers.
2622         * c-format.c (check_format_arg): Handle POINTER_PLUS_EXPR
2623         instead of PLUS_EXPR of pointer types.
2624         * tree-stdarg.c (va_list_counter_bump): Handle POINTER_PLUS_EXPR
2625         as PLUS_EXPR.
2626         (check_va_list_escapes): Likewise.
2627         (check_all_va_list_escapes): Likewise.
2628         * dwarf2out.c (loc_descriptor_from_tree_1):
2629         Handle POINT_PLUS_EXPR as a PLUS_EXPR.
2630         * expr.c (expand_expr_real_1): Handle POINTER_PLUS_EXPR.
2631         (string_constant): Likewise.
2632         * tree-ssa-address.c (tree_mem_ref_addr): When adding
2633         the offset to the base, use POINTER_PLUS_EXPR.
2634         (add_to_parts): Convert the index to sizetype.
2635         (create_mem_ref): Create A POINTER_PLUS_EXPR for the one case.
2636         * matrix-reorg.c (collect_data_for_malloc_call): Stmt
2637         will now only be either INDIRECT_REF and POINTER_PLUS_EXPR.
2638         Offset only holds something for PLUS_EXPR.
2639         (ssa_accessed_in_tree): Handle POINTER_PLUS_EXPR just as
2640         a PLUS_EXPR.
2641         (analyze_transpose): POINTER_PLUS_EXPR will only show up now
2642         and not PLUS_EXPR.
2643         (analyze_accesses_for_modify_stmt): Likewise.
2644         Remove comment about the type being integral type as it is
2645         wrong now.
2646         (can_calculate_expr_before_stmt): Handle POINTER_PLUS_EXPR as
2647         PLUS_EXPR.
2648         (transform_access_sites): POINTER_PLUS_EXPR will only show up now
2649         and not PLUS_EXPR.
2650         Correct the type which the artimentic is done in (is now
2651         sizetype).
2652         Reindent one loop.
2653         * tree-data-ref.c (split_constant_offset): Handle
2654         POINTER_PLUS_EXPR
2655         * tree-affine.c (tree_to_aff_combination): Likewise.
2656         * c-typeck.c (build_unary_op): For pointers create the increment
2657         as a sizetype. Create a POINTER_PLUS_EXPR instead of PLUS_EXPR
2658         for pointers.
2659         * gimplify.c (gimplify_self_mod_expr): Create a
2660         POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
2661         (gimplify_omp_atomic_fetch_op): Handle POINTER_PLUS_EXPR.
2662         * tree.def (POINTER_PLUS_EXPR): New tree code.
2663         * tree-predcom.c (ref_at_iteration): If we have a pointer
2664         type do the multiplication in sizetype.
2665         * tree-mudflap.c (mf_xform_derefs_1): Create a
2666         POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
2667         * tree-ssa-forwprop.c 
2668         (forward_propagate_addr_into_variable_array_index):
2669         Don't expect there to be a cast for the index as that
2670         does not exist anymore.
2671         (forward_propagate_addr_expr_1): Check for POINTER_PLUS_EXPR
2672         instead of PLUS_EXPR.
2673         Don't check for the first operand of the POINTER_PLUS_EXPR
2674         was the index as it cannot be.
2675         Call forward_propagate_addr_into_variable_array_index with
2676         the SSA_NAME instead of the statement.
2677         * varasm.c (const_hash_1): Handle POINTER_PLUS_EXPR.
2678         (compare_constant): Likewise.
2679         (copy_constant): Likewise.
2680         (compute_reloc_for_constant): Likewise.
2681         (output_addressed_constants): Likewise.
2682         (initializer_constant_valid_p): Likewise.
2683         * tree-ssa.c (tree_ssa_useless_type_conversion_1):
2684         Convert the MIN/MAX of the inner type to the outer
2685         type before comparing them.
2686         * tree-ssa-loop-prefetch.c (idx_analyze_ref):  Handle
2687         POINTER_PLUS_EXPR instead of PLUS_EXPR.
2688         (issue_prefetch_ref): Create a POINTER_PLUS_EXPR instead
2689         of PLUS_EXPR for pointers.
2690         * tree-inline.c (estimate_num_insns_1): Handle
2691         POINTER_PLUS_EXPR.
2692         * tree-vect-transform.c (vect_create_addr_base_for_vector_ref): 
2693         Create a POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
2694         (bump_vector_ptr): Create a POINTER_PLUS_EXPR
2695         instead of PLUS_EXPR for the pointer increment statement.
2696         (vect_update_ivs_after_vectorizer): For pointer types, create
2697         POINTER_PLUS_EXPR instead of PLUS_EXPR and also create
2698         MULT_EXPR in sizetype.
2699         (vect_gen_niters_for_prolog_loop): Add a cast when creating
2700         byte_misalign.
2701         * tree-object-size.c (plus_expr_object_size): Handle
2702         POINTER_PLUS_EXPR instead of PLUS_EXPR.  Removing all the extra
2703         code which is trying to figure out which side is a pointer and 
2704         is the index.
2705         (check_for_plus_in_loops_1): Likewise.
2706         (check_for_plus_in_loops): Likewise.
2707         * c-common.c (pointer_int_sum): Create a
2708         POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
2709         * tree-ssa-structalias.c (handle_ptr_arith): Handle
2710         only POINTER_PLUS_EXPR.  Removing all the extra
2711         code which is trying to figure out which side is a pointer and 
2712         is the index.
2713         * tree-cfg.c (verify_expr): Add extra checking for pointers and
2714         PLUS_EXPR and MINUS_EXPR.
2715         Also add checking to make sure the operands of POINTER_PLUS_EXPR
2716         are correct.
2717         * config/frv/frv.c (frv_expand_builtin_va_start): Use sizetype
2718         with make_tree, instead of a pointer type.
2719         * config/s390/s390.c (s390_va_start): Use POINTER_PLUS_EXPR
2720         for pointers instead of PLUS_EXPR.
2721         (s390_gimplify_va_arg): Likewise.
2722         * config/spu/spu.c (spu_va_start): Create POINTER_PLUS_EXPR
2723         instead of PLUS_EXPR when doing addition on pointer
2724         types.  Use sizetype for the second operand.
2725         (spu_gimplify_va_arg_expr): Likewise.
2726         * config/sparc/sparc.c (sparc_gimplify_va_arg): Use 
2727         POINTER_PLUS_EXPR instead of PLUS_EXPR when the operand was
2728         a pointer.  Don't create a BIT_AND_EXPR for pointer types.
2729         * config/i386/i386.c (ix86_va_start): Use POINTER_PLUS_EXPR
2730         for the pointer addition and also use size_int/sizetype
2731         for the offset.
2732         (ix86_gimplify_va_arg): Likewise.
2733         Perform BIT_AND_EXPR on sizetype arguments.
2734         * config/sh/sh.c (sh_va_start): Call make_tree with sizetype
2735         and convert its result to a pointer type.  Use POINTER_PLUS_EXPR
2736         for the pointer additions and also use size_int for the offsets.
2737         (sh_gimplify_va_arg_expr): Use POINTER_PLUS_EXPR for the pointer
2738         additions and also use size_int for the offsets.  Perform
2739         BIT_AND_EXPR on sizetype arguments.
2740         * config/ia64/ia64.c (ia64_gimplify_va_arg): Use
2741         POINTER_PLUS_EXPR for pointers and create the
2742         BIT_AND_EXPR in sizetype.
2743         * config/rs6000/rs6000.c (rs6000_va_start): Use POINTER_PLUS_EXPR
2744         instead of PLUS_EXPR for pointer addition.
2745         (rs6000_va_start): Likewise.
2746         Also use sizetype for the offset.
2747         * config/pa/pa.c (reloc_needed): Handle POINTER_PLUS_EXPR
2748         as PLUS_EXPR/MINUS_EXPR.
2749         (hppa_gimplify_va_arg_expr): Don't create MINUS_EXPR or
2750         PLUS_EXPR for pointers, instead use POINTER_PLUS_EXPR.
2751         Don't use BIT_AND_EXPR on a pointer type, convert the
2752         expression to sizetype first.
2753         * config/mips/mips.c (mips_va_start): Use POINTER_PLUS_EXPR
2754         for pointers.
2755         (mips_gimplify_va_arg_expr): Likewise.
2756         Don't create BIT_AND_EXPR in a pointer type.
2757
2758 2007-06-15  Eric Christopher  <echristo@apple.com>
2759
2760         * config.gcc (i?86-*-darwin*): Add t-crtfm and t-crtpc.
2761         (x86_64-*-darwin*): Ditto.
2762         * config/i386/darwin.h (CRTEND_SPEC): New. Add support
2763         for above.
2764
2765 2007-06-15  Matthew Wilcox <matthew@wil.cx>
2766
2767         * doc/extend.texi: Document behavior of __attribute__((aligned))
2768         on typedefs.
2769
2770 2007-06-15  Mark Mitchell  <mark@codesourcery.com>
2771
2772         * rtlanal.c (note_stores): Improve documentation.
2773
2774 2007-06-15  Bernd Schmidt  <bernd.schmidt@analog.com>
2775
2776         * config/bfin/elf.h (ASM_GENERATE_INTERNAL_LABEL,
2777         LOCAL_LABEL_PREFIX): Delete.
2778         * config/bfin/bfin.c (TARGET_ASM_INTERNAL_LABEL): Delete.
2779         (bfin_internal_label): Delete.
2780
2781 2007-06-15  Uros Bizjak  <ubizjak@gmail.com>
2782
2783         * libgcc2.c (CEXT): When compiling L_multc3 and L_divtc3,
2784         define to "l" if LIBGCC_LONG_DOUBLE_SIZE == 128,
2785         otherwise define to LIBGCC2_TF_CEXT.
2786         * config/i386/linux64.h (LIBGCC2_HAS_TF_MODE): New define.
2787         (LIBGCC_TF_CEXT): Ditto.
2788         (TF_SIZE): Ditto.
2789
2790 2007-06-14  Seongbae Park  <seongbae.park@gmail.com>
2791
2792         PR rtl-optimization/32339
2793         * df-scan.c (df_uses_record): Don't modify flags but just add to
2794         it for df_ref_record.
2795
2796 2007-06-14  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2797
2798         * tree-mudflap.c: Fix whitespace issues.
2799
2800 2007-06-15  Kazu Hirata  <kazu@codesourcery.com>
2801
2802         * config/m68k/m68k.c (ASM_DOT, ASM_DOTW, ASM_DOTL): Remove.
2803
2804 2007-06-14  Eric Christopher  <echristo@apple.com>
2805
2806         * config/i386/sse.md (movdi_to_sse): Rewrite body.
2807         (movv4sf): Use gcc_unreachable instead of abort.
2808
2809 2007-06-14  Uros Bizjak  <ubizjak@gmail.com>
2810
2811         PR target/32268
2812         * config/i386/sfp-machine.h (CMPtype): New define.
2813         (mach stubs): Use CMPtype instead of int as a return type.
2814
2815 2007-06-14  Uros Bizjak  <ubizjak@gmail.com>
2816
2817         * config/soft-fp/eqdf2.c, config/soft-fp/eqsf2.c,
2818         config/soft-fp/eqtf2.c, config/soft-fp/gedf2.c,
2819         config/soft-fp/gesf2.c, config/soft-fp/getf2.c,
2820         config/soft-fp/ledf2.c, config/soft-fp/lesf2.c,
2821         config/soft-fp/letf2.c, config/soft-fp/unorddf2.c,
2822         config/soft-fp/unordsf2.c, config/soft-fp/unordtf2.c,
2823         config/soft-fp/soft-fp.h: Update from glibc CVS.
2824
2825 2007-06-14  Bernd Schmidt  <bernd.schmidt@analog.com>
2826
2827         * config/bfin/uclinux.h (MFWRAP_SPEC): New.
2828
2829 2007-06-14  Rask Ingemann Lambertsen  <rask@sygehus.dk>
2830
2831         PR target/32341
2832         * config/v850/v850.c: Include dataflow header file.
2833         (substitute_ep_register): Fix typo.
2834
2835 2007-06-14  Paolo Bonzini  <bonzini@gnu.org>
2836
2837         * configure.ac: Fix earlier checkin.
2838         * configure: Regenerated.
2839
2840 2007-06-14  Paolo Bonzini  <bonzini@gnu.org>
2841
2842         * acinclude.m4 (gcc_AC_CHECK_PROG_VER): Remove.
2843         * aclocal.m4: Regenerate.
2844         * configure.ac: Use ACX_PROG_CC_WARNING_OPTS,
2845         ACX_PROG_CC_WARNINGS_ARE_ERRORS,
2846         ACX_PROG_CC_WARNING_ALMOST_PEDANTIC, ACX_CHECK_PROG_VER.
2847         * configure: Regenerate.
2848         * Makefile.in (LOOSE_WARN): Subst loose_warn.
2849
2850         * Makefile.in (quickstrap): Build libgcc too.
2851
2852 2007-06-14  Paolo Bonzini  <bonzini@gnu.org>
2853
2854         * configure.ac: Add --enable-checking=df.  Explicitly mention that
2855         the variables are initialized as for "release".
2856         * df-core.c: Use it.
2857         * configure: Regenerate.
2858         * config.in: Regenerate.
2859
2860 2007-06-14  Bob Wilson  <bob.wilson@acm.org>
2861
2862         * config/xtensa/xtensa.c (xtensa_expand_nonlocal_goto): Use
2863         validate_replace_rtx instead of replace_rtx.
2864         (xtensa_expand_prologue): Call df_insn_rescan after replace_rtx.
2865
2866 2007-06-14  Danny Smith  <dannysmith@users.sourceforge.net>
2867
2868         * config/i386/cygming.h (DWARF_FRAME_REGNUM): Define.
2869         (DWARF2_UNWIND_INFO): Override default if configured with
2870         SJLJ EH disabled.
2871         * config/i386/cygwin.h (STARTFILE_SPEC): Add crtbegin.o.
2872         (ENDFILE_SPEC): Add crtend.o.
2873         * config/i386/mingw32.h (STARTFILE_SEC): Add crtbegin.o.
2874         (ENDFILE_SPEC): Add crtend.o.
2875         (TARGET_USE_JCR_SECTION): Define.
2876         (MD_UNWIND_SUPPORT): Define for 32-bit target.
2877
2878         * config/i386/cygming-crtbegin.c: New file.
2879         * config/i386/cygming-crtend.c: New file.
2880
2881 2007-06-14  Pascal Obry Pascal Obry  <obry@adacore.com>
2882
2883         * config/i386/w32-unwind.h: New file.
2884
2885 2007-06-13  Eric Christopher  <echristo@apple.com>
2886
2887         * config/i386/darwin.h (PREFERRED_STACK_BOUNDARY): Don't let
2888         the user set a value below STACK_BOUNDARY.
2889
2890 2007-06-13  Thiemo Seufer  <ths@networkno.de>
2891
2892         * config/mips/linux.h, config/mips/linux64.h (LIB_SPEC): Always
2893         imply -lpthread for -pthread.
2894
2895 2007-06-13  Kazu Hirata  <kazu@codesourcery.com>
2896
2897         * basic-block.h: Remove the prototype for
2898         free_basic_block_vars.
2899         * cfglayout.h: Remove the prototype for
2900         insn_locators_initialize.
2901         * tree.h: Remove the prototype for emit_line_note.
2902
2903         * tree-ssa-pre.c (mergephitemp): Remove.
2904         (init_pre): Don't use mergephitemp.
2905
2906 2007-06-13  Eric Christopher  <echristo@apple.com>
2907
2908         * config/i386/i386.c (override_options): If we've specified
2909         an arch then don't use TARGET_SUBTARGET_ISA_DEFAULTs.
2910
2911 2007-06-13  Bob Wilson  <bob.wilson@acm.org>
2912
2913         * df-scan.c (df_get_entry_block_def_set): Check if STATIC_CHAIN_REGNUM
2914         is defined.
2915
2916 2007-06-13  Bernd Schmidt  <bernd.schmidt@analog.com>
2917
2918         * config/bfin/bfin.h (EH_RETURN_HANDLER_RTX): Use gen_frame_mem.
2919         * config/bfin/bfin.md (UNSPEC_VOLATILE_STORE_EH_HANDLER): New constant.
2920         (eh_store_handler): New pattern.
2921         (eh_return): Emit it instead of a plain move.
2922
2923 2007-06-13  Uros Bizjak  <ubizjak@gmail.com>
2924
2925         * config/i386/i386.c (ix86_init_mmx_sse_builtins)
2926         [__builtin_infq, __builtin_fabsq]: Define usign def_builtin.
2927         [__builtin_ia32_rsqrtps, __builtin_ia32_rsqrtss]: Define using
2928         def_builtin_const.
2929
2930 2007-06-13  Bernd Schmidt  <bernd.schmidt@analog.com>
2931
2932         * config/bfin/bfin.c (gen_one_bundle): Delete unused local variables.
2933         (find_next_insn_start, find_load): New functions.
2934         (bfin_reorg): Use them to deal with the fact that parallel insns are
2935         no longer represented as a SEQUENCE.
2936
2937 2007-06-13  Eric Botcazou  <ebotcazou@libertysurf.fr>
2938
2939         * config/sparc/sparc.c (sparc_override_options): Initialize
2940         fpu mask correctly.
2941
2942 2007-06-13  Dave Korn  <dave.korn@artimi.com>
2943
2944         * config/i386/i386.c (ix86_eax_live_at_start_p): Use
2945         df_get_live_out.
2946
2947 2007-06-13  Kazu Hirata  <kazu@codesourcery.com>
2948
2949         * auto-inc-dec.c, c-incpath.c, config/c4x/libgcc.S,
2950         config/sh/divcost-analysis, dbgcnt.def, df-core.c,
2951         df-problems.c, df-scan.c, df.h, dominance.c, dse.c, regstat.c,
2952         tree-data-ref.c, tree-ssa-loop-im.c, tree-ssa-loop-prefetch.c,
2953         tree-vect-transform.c: Fix comment typos.  Follow spelling
2954         conventions.
2955
2956 2007-06-12  Seongbae Park  <seongbae.park@gmail.com>
2957
2958        * df-scan.c (df_get_exit-block_use_set): Always add the stack pointer
2959        to the exit block use set.
2960        (df_insn_delete, df_insn_rescan): Fixed spelling of "deferring". 
2961        * gcse.c (cpro_jump): Don't emit barrier in cfglayout mode.
2962        * config/sparc/sparc.c (sparc_check_64): Check df != NULL.
2963
2964 2007-06-12  Seongbae Park  <seongbae.park@gmail.com>
2965
2966         * opts.c (common_handle_option): Handle new option -fdbg-cnt-list.
2967         * dbgcnt.c (dbg_cnt_set_limit_by_name): Return value
2968         to indicate an error.
2969         (dbg_cnt_process_single_pair, dbg_cnt_list_all_counters):
2970         New functions.
2971         (dbg_cnt_process_opt): Print an error on a bad argument.
2972         * dbgcnt.h (dbg_cnt_list_all_counters): New function declaration.
2973         * common.opt (-fdbg-cnt-list): New.
2974         * doc/invoke.texi (-fdbg-cnt-list,-fdbg-cnt=): New.
2975
2976 2007-06-12  Eric Botcazou  <ebotcazou@adacore.com>
2977
2978         * tree-ssa-alias.c (finalize_ref_all_pointers): Clear pt_anything
2979         flag on ref-all pointers.
2980
2981 2007-06-12  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2982
2983         PR middle-end/31579
2984         * expr.c (expand_expr_addr_expr_1): Call expand_expr
2985         for the offset with the modifier as EXPAND_INITIALIZER
2986         if the modifier is EXPAND_INITIALIZER.
2987         (expand_expr_real_1 <case INTEGER_CST>): Don't force to
2988         a register if we had an overflow.
2989
2990 2007-06-12  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2991
2992         * real.c (real_isfinite): New.
2993         (real_sqrt): Use it.
2994         * real.h (real_isfinite): New.
2995         * builtins.c: Use it.
2996
2997 2007-06-12  Ian Lance Taylor  <iant@google.com>
2998             Daniel Berlin  <dberlin@dberlin.org>
2999
3000         PR libstdc++/29286
3001         * tree.def: Add CHANGE_DYNAMIC_TYPE_EXPR.
3002         * tree.h (CHANGE_DYNAMIC_TYPE_NEW_TYPE): Define.
3003         (CHANGE_DYNAMIC_TYPE_LOCATION): Define.
3004         (DECL_NO_TBAA_P): Define.
3005         (struct tree_decl_common): Add no_tbaa_flag field.
3006         * tree-ssa-structalias.c (struct variable_info): Add
3007         no_tbaa_pruning field.
3008         (new_var_info): Initialize no_tbaa_pruning field.
3009         (unify_nodes): Copy no_tbaa_pruning field.
3010         (find_func_aliases): Handle CHANGE_DYNAMIC_TYPE_EXPR.
3011         (dump_solution_for_var): Print no_tbaa_pruning flag.
3012         (set_uids_in_ptset): Add no_tbaa_pruning parameter.  Change all
3013         callers.
3014         (compute_tbaa_pruning): New static function.
3015         (compute_points_to_sets): Remove CHANGE_DYNAMIC_TYPE_EXPR nodes.
3016         Call compute_tbaa_pruning.
3017         * tree-ssa-alias.c (may_alias_p): Test no_tbaa_flag for pointers.
3018         * gimplify.c (gimplify_expr): Handle CHANGE_DYNAMIC_TYPE_EXPR.
3019         * gimple-low.c (lower_stmt): Likewise.
3020         * tree-gimple.c (is_gimple_stmt): Likewise.
3021         * tree-ssa-operands.c (get_expr_operands): Likewise.
3022         * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Likewise.
3023         * tree-inline.c (estimate_num_insns_1): Likewise.
3024         (copy_result_decl_to_var): Likewise.
3025         * expr.c (expand_expr_real_1): Likewise.
3026         * tree-pretty-print.c (dump_generic_node): Likewise.
3027         * tree-inline.c (copy_decl_to_var): Copy DECL_NO_TBAA_P flag.
3028         * omp-low.c (omp_copy_decl_2): Likewise.
3029         * print-tree.c (print_node): Print DECL_NO_TBAA_P flag.
3030         * doc/c-tree.texi (Expression trees): Document
3031         CHANGE_DYNAMIC_TYPE_EXPR.
3032
3033 2007-06-12  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3034
3035         * fold-const.c (fold_binary): Guard (X-X) -> 0 transformation
3036         with !HONOR_NANS and !HONOR_INFINITIES.
3037         * simplify-rtx.c (simplify_binary_operation_1): Likewise.
3038
3039 2007-06-12  Tristan Gingold  <gingold@adacore.com>
3040
3041         * gcov.c: Comments updated.
3042         (source_info): Add file_time field.
3043         (source_index): New variable.
3044         (mutiple_files): New variable.
3045         (generate_results): New function extracted from process_file.
3046         (process_file): Save and restore chain of functions, generate
3047         results and free structures only if not merging results.
3048         (release_structures): File names are now freed in create_file_names
3049         (create_file_names): Free previous file names.
3050         (find_source): File date is now read here and modifications in
3051         source files is checked here.
3052         (read_graph_file): Only reverse order of functions for the current
3053         object file.
3054         (make_gcov_file_name): Do not generate long names if input_name is
3055         NULL.
3056         (output_lines): If merging results do not display graph, data and
3057         runs informations.
3058         Checking source file modification is done in find_source.
3059
3060         * doc/gcov.texi: Append an s to sourcefile.
3061
3062 2007-06-12  Bernd Schmidt  <bernd.schmidt@analog.com>
3063
3064         * config/bfin/bfin.md (UNSPEC_NOP): New constant.
3065         (forced_nop): New pattern.
3066         * config/bfin/bfin.c: Include "df.h".
3067         (add_to_reg): Use df_regs_ever_live_p instead of regs_ever_live.
3068         (bfin_discover_loop): Use df_get_live_in instead of
3069         global_live_at_start.
3070         (bfin_reorder_loops): Pass 0 to cfg_layout_initialize.  Call
3071         df_analyze when done.
3072         (gen_one_bundle): Don't generate SEQUENCE insns, just put modes on
3073         the insns.  Use QImode for the final insn in a bundle.  Call
3074         df_insn_rescan on generated NOPs; use gen_forced_nop instead of
3075         gen_nop.
3076         (reorder_var_tracking_notes): New function.
3077         (bfin_reorg): Pass no argument to split_all_insns.  Don't call
3078         update_life_info.  Call df_analyze after scheduling and bundle
3079         generation.  Call reorder_var_tracking_notes if generating these
3080         notes.  Call df_finish_pass at the end.
3081
3082 2007-06-12  Dirk Mueller  <dmueller@suse.de>
3083
3084         * optabs.c (debug_optab_libfuncs): fix gcc_assert to
3085         a comparison, not an assignment.
3086
3087 2007-06-12  Olivier Hainque  <hainque@adacore.com>
3088
3089         * tree-nested.c (convert_local_reference): Handle VIEW_CONVERT_EXPR.
3090         Request walking the subtrees only, leaving the current is_lhs/val_only
3091         untouched.
3092         (convert_non_local_reference): Likewise.
3093
3094 2007-06-12  Nathan Sidwell  <nathan@codesourcery.com>
3095
3096         * config/m68k/m68k-devices.def (52221, 52223, 5253): New.
3097
3098 2007-06-12  Richard Guenther  <rguenther@suse.de>
3099
3100         PR tree-optimization/15353
3101         PR tree-optimization/31657
3102         * passes.c (init_optimization_passes): Add pass_tree_ifcombine.
3103         * timevar.def: Add TV_TREE_IFCOMBINE.
3104         * tree-pass.h (pass_tree_ifcombine): Declare.
3105         * tree-ssa-ifcombine.c: New file.
3106         * tree-ssa-phiopt.c (blocks_in_phiopt_order): Export.
3107         * tree-flow.h (blocks_in_phiopt_order): Declare.
3108         * Makefile.in (OBJS-common): Add tree-ssa-ifcombine.o.
3109         (tree-ssa-ifcombine.o): New dependencies.
3110
3111 2007-06-12  Uros Bizjak  <ubizjak@gmail.com>
3112
3113         PR rtl-optimization/32293
3114         * combine.c (simplify_if_then_else): Truncate return from
3115         nonzero_bits() to correct mode.
3116
3117 2007-06-12  Uros Bizjak  <ubizjak@gmail.com>
3118
3119         * fold-const (fold_binary) [RDIV_EXPR]: Also optimize a/cbrt(b/c)
3120         into a*cbrt(c/b) if flag_unsafe_math_optimizations is set.
3121
3122 2007-06-11  Diego Novillo  <dnovillo@google.com>
3123
3124         * Makefile.in (reload1.o-warn): Remove.
3125
3126 2007-06-11  Seongbae Park <seongbae.park@gmail.com>
3127
3128         * combine.c (subst): Use reg_overlap_mentioned_p
3129         instead of comparing register numbers directly.
3130
3131 2007-06-11  Kenneth Zadeck <zadeck@naturalbridge.com>
3132
3133         * reload1.c (mark_home_live_1): Use the mode parameter.
3134
3135 2007-06-11  Kenneth Zadeck <zadeck@naturalbridge.com>
3136
3137         * df-scan.c (df_insn_delete, df_insn_rescan, df_insn_rescan_all,
3138         df_process_deferred_rescans, df_notes_rescan): Fixed spelling of
3139         word "deferred".
3140         * df-core.c: Ditto.
3141
3142 2007-06-11  Daniel Berlin  <dberlin@dberlin.org>
3143
3144         * Merge dataflow-branch into mainline (see ChangeLog.dataflow)
3145
3146 2007-06-11  Uros Bizjak  <ubizjak@gmail.com>
3147
3148         * config/i386/i386.md ("*movtf_internal): Penalize moves to and
3149         from integer registers.
3150         (FP mode splitters): Handle TFmode.
3151
3152 2007-06-11  Eric Botcazou  <ebotcazou@adacore.com>
3153
3154         * tree-ssa-structalias.c (find_what_p_points_to): Return false
3155         for ref-all pointers that point-to anything.
3156
3157 2007-06-11  Joseph Myers  <joseph@codesourcery.com>
3158
3159         * config/arm/arm.c (arm_output_dwarf_dtprel,
3160         TARGET_ASM_OUTPUT_DWARF_DTPREL): New.
3161
3162 2007-06-11  Bernd Schmidt  <bernd.schmidt@analog.com>
3163
3164         * config/bfin/bfin.md (movdi_insn, movsi_insn, movv2hi_insn,
3165         movhi_insn, movqi_insn, movsf_insn, movdf_insn): Don't allow constant
3166         to memory moves.
3167
3168 2007-06-11  Rafael Avila de Espindola  <espindola@google.com>
3169
3170         * gcc/tree.c (signed_or_unsigned_type_for): New.
3171         (unsigned_type_for): Use signed_or_unsigned_type_for.
3172         (signed_type_for): Use signed_or_unsigned_type_for.
3173         * gcc/tree.h (signed_or_unsigned_type_for): New.
3174         (get_signed_or_unsigned_type): Remove.
3175         * gcc/fold-const.c (fold_negate_expr): Use signed_type_for instead of
3176         lang_hooks.types.signed_type
3177         (size_diffop): Likewise.
3178         (all_ones_mask_p): Likewise.
3179         (build_range_check): Likewise.
3180         (fold_cond_expr_with_comparison): Likewise.
3181         (fold_cond_expr_with_comparison): Likewise.
3182         (unextend): Likewise.
3183         (extract_muldiv_1): Likewise.
3184         (fold_single_bit_test_into_sign_test): Likewise.
3185         (fold_binary): Likewise.
3186         (fold_ternary): Likewise.
3187         (operand_equal_for_comparison_p): Use signed_or_unsigned_type_for
3188         instead of get_signed_or_unsigned_type.
3189         * gcc/c-objc-common.h (LANG_HOOKS_SIGNED_TYPE): Remove.
3190         (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Remove.
3191         * gcc/expr.c (signed_or_unsigned_type_for): Use
3192         signed_or_unsigned_type_for instead of get_signed_or_unsigned_type.
3193         * gcc/langhooks.c (get_signed_or_unsigned_type): Remove.
3194         (lhd_signed_or_unsigned_type): Remove.
3195         * gcc/langhooks.h (lang_hooks_for_types): Remove signed_type and
3196         signed_or_unsigned_type.
3197         (lhd_signed_or_unsigned_type): Remove.
3198         * gcc/expmed.c (make_tree): Use signed_type_for instead of
3199         lang_hooks.types.signed_type.
3200         * gcc/c-common.c (same_scalar_type_ignoring_signedness): Use
3201         c_common_signed_type instead of lang_hooks.types.signed_type.
3202         (c_common_unsigned_type): New.
3203         (c_common_signed_type): Just call c_common_signed_or_unsigned_type.
3204         (shorten_compare): Use c_common_unsigned_type instead of
3205         c_common_signed_or_unsigned_type.
3206         (c_common_nodes_and_builtins): Use c_common_unsigned_type instead of
3207         unsigned_type_for.
3208         * gcc/convert.c (convert_to_integer): Use signed_type_for instead of
3209         lang_hooks.types.signed_type.
3210         * gcc/langhooks-def.h (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Remove.
3211         (LANG_HOOK_FOR_TYPES_INITIALIZER): Remove LANG_HOOKS_SIGNED_TYPE and
3212         LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE.
3213         * gcc/c-format.c (check_format_types): Use c_common_unsigned_type
3214         instead of unsigned_type_for.
3215         * gcc/c-decl.c (groakdeclarator): Likewise.
3216         * gcc/c-typeck.c (convert_for_assignment): Likewise.
3217         * gcc/c-common.h (c_common_unsigned_type): New.
3218
3219 2007-06-11  Uros Bizjak  <ubizjak@gmail.com>
3220
3221         PR target/32280
3222         * config/i386/sse.md ("sse2_ashlti", "sse2_lshrti3"): Move ...
3223         * config/i386/i386.md ("sse2_ashlti", "sse2_lshrti3"): ... to here.
3224
3225 2007-06-11  Uros Bizjak  <ubizjak@gmail.com>
3226
3227         PR middle-end/32279
3228         * fold-const (fold_binary) [RDIV_EXPR]: Optimize a/sqrt(b/c)
3229         into a*sqrt(c/b) if flag_unsafe_math_optimizations is set.
3230
3231 2007-06-10  Jan Sjodin  <jan.sjodin@amd.com>
3232             Sebastian Pop  <sebpop@gmail.com>
3233
3234         * lambda-code.c (remove_iv): New.
3235         (lambda_loopnest_to_gcc_loopnest): Use remove_iv.
3236
3237 2007-06-10  Zdenek Dvorak  <dvorakz@suse.cz>
3238
3239         * tree-data-ref.c (dr_analyze_alias): Handle case smt is NULL.
3240         * tree-predcom.c (mark_virtual_ops_for_renaming): Exported.
3241         * tree-ssa-loop-prefetch.c: Include optabs.h.
3242         (FENCE_FOLLOWING_MOVNT): New macro.
3243         (struct mem_ref): Add independent_p and storent_p fields.
3244         (record_ref): Initalize the new fields.
3245         (gather_memory_references_ref): Return true if the reference
3246         could be analysed.
3247         (gather_memory_references): Check whether all memory accesses
3248         in loop were recorded.
3249         (should_issue_prefetch_p): Return false for nontemporal stores.
3250         (nontemporal_store_p, mark_nontemporal_store, emit_mfence_after_loop,
3251         may_use_storent_in_loop_p, mark_nontemporal_stores): New functions.
3252         (determine_loop_nest_reuse): Detect independent memory references.
3253         (loop_prefetch_arrays): Call mark_nontemporal_stores.
3254         * tree-flow.h (mark_virtual_ops_for_renaming): Declare.
3255         * Makefile.in (tree-ssa-loop-prefetch.o): Add OPTABS_H dependency.
3256         * config/i386/i386.h (x86_mfence): Declare.
3257         (FENCE_FOLLOWING_MOVNT): Return x86_mfence.
3258         * config/i386/i386.c (x86_mfence): New variable.
3259         (ix86_init_mmx_sse_builtins): Initialize x86_mfence.
3260
3261         * tree-pretty-print.c (dump_generic_node): Mark nontemporal stores.
3262         * optabs.c (init_optabs): Initialize storent_optab.
3263         * optabs.h (enum optab_index): Add OTI_storent.
3264         (storent_optab): Declare.
3265         * genopinit.c (optabs): Add initialization for storent_optab.
3266         * tree.h (MOVE_NONTEMPORAL): New macro.
3267         * expr.c (expand_assignment, store_expr, store_constructor_field,
3268         store_constructor, store_field, expand_expr_real_1): Propagate
3269         nontemporality of the expanded store.
3270         (emit_storent_insn): New function.
3271         * expr.h (expand_assignment, store_expr): Declaration changed.
3272         * function.c (assign_parm_setup_reg): Pass false as nontemporality
3273         to expand_assignment.
3274         * stmt.c (expand_asm_expr): Ditto.
3275         * calls.c (initialize_argument_information): Pass false as
3276         nontemporality to store_expr.
3277         * config/i386/sse.md (storentv4sf, storentv2df, storentv2di,
3278         storentsi): New.
3279
3280 2007-06-09  Daniel Berlin  <dberlin@dberlin.org>
3281
3282         * tree-ssa-structalias.c (set_uids_in_ptset): Add is_deref'd
3283         parameter, use it.
3284         (find_what_p_points_to): Pass new parameter to set_uids_in_ptset.
3285
3286 2007-06-09  Daniel Berlin  <dberlin@dberlin.org>
3287
3288         * tree-data-ref.c (dr_may_alias_p): Check that decl_a != decl_b,
3289         and allow DECL_P here.
3290
3291 2007-06-09  Zdenek Dvorak  <dvorakz@suse.cz>
3292
3293         * tree-scalar-evolution.c (follow_ssa_edge_in_rhs,
3294         follow_ssa_edge_in_condition_phi, follow_ssa_edge): Keep more precise
3295         track of the size of the expression.
3296         * cfghooks.c (merge_blocks): Remove block from loops structure only
3297         after call of the merge_blocks hook.
3298
3299 2007-06-09  Tom Tromey  <tromey@redhat.com>
3300
3301         * c-decl.c (grokdeclarator): Added 'deprecated_state' argument.
3302         (deprecated_state): Removed.
3303         (start_decl): Update.
3304         (enum deprecated_states): Moved earlier.
3305         (groktypename): Update.
3306         (push_parm_decl): Likewise.
3307         (grokfield): Likewise.
3308         (start_function): Likewise.
3309
3310 2007-06-09  Ian Lance Taylor  <iant@google.com>
3311
3312         PR tree-optimization/32169
3313         * tree-vrp.c (extract_range_from_unary_expr): For NOP_EXPR and
3314         CONVERT_EXPR, check whether min and max both converted to an
3315         overflow infinity representation.
3316
3317 2007-06-08  Eric Botcazou  <ebotcazou@adacore.com>
3318
3319         * reload1.c (fixup_abnormal_edges): Clear bb field for insns
3320         not inserted on the edge.
3321
3322 2007-06-08  Bob Wilson  <bob.wilson@acm.org>
3323
3324         * config/xtensa/lib1funcs.asm (__udivsi3): Use hardware divide
3325         instructions if they are supported.
3326         (__divsi3, __umodsi3, __modsi3): Likewise.
3327         (__ashldi3, __ashrdi3, __lshrdi3): New.
3328         * config/xtensa/t-xtensa (LIB1ASMFUNCS): Add DImode shift functions.
3329
3330 2007-06-08  Harsha Jagasia <harsha.jagasia@amd.com>
3331             Tony Linthicum <tony.linthicum@amd.com>
3332
3333         * doc/invoke.texi: Add fvect-cost-model flag.
3334         * common.opt (fvect-cost-model): New flag.
3335         * tree-vectorizer.c (new_stmt_vec_info): Initialize inside and outside
3336         cost fields in stmt_vec_info struct for STMT.
3337         * tree-vectorizer.h (stmt_vec_info): Define inside and outside cost
3338         fields in stmt_vec_info struct and access functions for the same.
3339         (TARG_COND_BRANCH_COST): Define cost of conditional branch.
3340         (TARG_VEC_STMT_COST): Define cost of any vector operation, excluding
3341         load, store and vector to scalar operation.
3342         (TARG_VEC_TO_SCALAR_COST): Define cost of vector to scalar operation.
3343         (TARG_VEC_LOAD_COST): Define cost of aligned vector load.
3344         (TARG_VEC_UNALIGNED_LOAD_COST): Define cost of misasligned vector load.
3345         (TARG_VEC_STORE_COST): Define cost of vector store.
3346         (vect_estimate_min_profitable_iters): Define new function.
3347         * tree-vect-analyze.c (vect_analyze_operations): Add a compile-time
3348         check to evaluate if loop iterations are less than minimum profitable
3349         iterations determined by cost model or minimum vect loop bound defined
3350         by user, whichever is more conservative.
3351         * tree-vect-transform.c (vect_do_peeling_for_loop_bound): Add a
3352         run-time check to evaluate if loop iterations are less than minimum
3353         profitable iterations determined by cost model or minimum vect loop
3354         bound defined by user, whichever is more conservative.
3355         (vect_estimate_min_profitable_iterations): New function to estimate
3356         mimimimum iterartions required for vector version of loop to be
3357         profitable over scalar version.
3358         (vect_model_reduction_cost): New function.
3359         (vect_model_induction_cost): New function.
3360         (vect_model_simple_cost): New function.
3361         (vect_cost_strided_group_size): New function.
3362         (vect_model_store_cost): New function.
3363         (vect_model_load_cost): New function.
3364         (vectorizable_reduction): Call vect_model_reduction_cost during
3365         analysis phase.
3366         (vectorizable_induction): Call vect_model_induction_cost during
3367         analysis phase.
3368         (vectorizable_load): Call vect_model_load_cost during analysis phase.
3369         (vectorizable_store): Call vect_model_store_cost during analysis phase.
3370         (vectorizable_call, vectorizable_assignment, vectorizable_operation,
3371         vectorizable_promotion, vectorizable_demotion): Call
3372         vect_model_simple_cost during analysis phase.
3373
3374 2007-06-08  Simon Baldwin  <simonb@google.com>
3375
3376         * reg-stack.c (get_true_reg): Readability change.  Moved default case
3377         label into direct switch statement scope.
3378
3379 2007-06-08  Simon Baldwin  <simonb@google.com>
3380
3381         * tree-flow-inline.h (var_ann): Replaced erroneous '=' assignment
3382         in gcc_assert() with '==' comparison.
3383
3384 2007-06-08  Uros Bizjak  <ubizjak@gmail.com>
3385
3386         * config/i386/i386.c (override_options): Merge TARGET_SSE4_2 and
3387         TARGET_ABM handling of x86_popcnt variable.
3388
3389 2007-06-08  Uros Bizjak  <ubizjak@gmail.com>
3390
3391         * doc/extend.texi (X86 Built-in Functions): Document __builtin_fabsq,
3392         __builtin_copysignq and __builtin_infq built-in functions.
3393
3394 2007-06-08  Uros Bizjak  <ubizjak@gmail.com>
3395
3396         * doc/extend.texi (X86 Built-in Functions): Add missing `@item's in
3397         SSE4.2 section.  Correct built-in function names in SSE4A section.
3398
3399 2007-06-08  Uros Bizjak  <ubizjak@gmail.com>
3400
3401         PR tree-optimization/32243
3402         * tree-vect-transform.c (vectorizable_type_promotion): Move check
3403         for ncopies after ratio check between nunits_out and nunits_in.
3404         (vectorizable_type_demotion): Remove single-use variable "scalar_type".
3405
3406 2007-06-08  Dorit Nuzman  <dorit@il.ibm.com>
3407
3408         PR tree-optimization/32224
3409         * tree-vect-analyze.c (vect_determine_vectorization_factor): Fail
3410         vectorization upon a non GIMPLE_MODIFY_STMT.
3411
3412 2007-06-08  Christian Bruel  <christian.bruel@st.com>
3413
3414         PR target/29953
3415         * config/sh/sh.md (doloop_end): New pattern and splitter.
3416         * loop-iv.c (simple_rhs_p): Check for hardware registers.
3417
3418 2007-06-08  Zdenek Dvorak  <dvorakz@suse.cz>
3419
3420         PR middle-end/32209
3421         * dominance.c (debug_dominance_tree, debug_dominance_tree_1): New
3422         fun