OSDN Git Service

5e8d89a456feefaa31fa7b9168627d2f47e9aad7
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2007-03-02  Eric Botcazou  <ebotcazou@adacore.com>
2
3         * tree-sra.c (sra_walk_fns) <ldst>: Document new restriction.
4         (sra_walk_modify_expr) <rhs_elt>: Treat the reference as a use
5         if the lhs has side-effects.
6         <lhs_elt>: Treat the reference as a use if the rhs has side-effects.
7
8 2007-03-02  Uros Bizjak  <ubizjak@gmail.com>
9
10         * config/i386/i386.h (TUNEMASK): Remove define.
11         (ARCHMASK): Remove define.
12         (TARGET_*): Use ix86_tune_mask variable instead of TUNEMASK.
13          Use ix86_arch_mask variable instead of ARCHMASK.
14         * config/i386/i386.c (override_options): Ditto.
15         (standard_80387_constant_p): Ditto.
16
17 2007-03-02  Ian Lance Taylor  <iant@google.com>
18
19         Used signed infinities in VRP.
20         * tree-vrp.c (uses_overflow_infinity): New static function.
21         (supports_overflow_infinity): New static function.
22         (make_overflow_infinity): New static function.
23         (negative_overflow_infinity): New static function.
24         (positive_overflow_infinity): New static function.
25         (is_negative_overflow_infinity): New static function.
26         (is_positive_overflow_infinity): New static function.
27         (is_overflow_infinity): New static function.
28         (overflow_infinity_range_p): New static function.
29         (compare_values_warnv): New function split out of compare_values.
30         (compare_value): Call it.
31         (set_value_range_to_nonnegative): Add overflow_infinity
32         parameter.  Change caller.
33         (vrp_expr_computes_nonnegative): Add strict_overflow_p parameter.
34         Change callers.
35         (vrp_expr_computes_nonzero): Likewise.
36         (compare_ranges, compare_range_with_value): Likewise.
37         (compare_name_with_value, compare_names): Likewise.
38         (vrp_evaluate_conditional): Likewise.
39         (set_value_range): Handle infinity
40         (vrp_operand_equal_p, operand_less_p): Likewise.
41         (extract_range_from_assert): Likewise.
42         (vrp_int_const_binop): Likewise.
43         (extract_range_from_binary_expr): Likewise.
44         (extract_range_from_unary_expr): Likewise.
45         (extract_range_from_comparison): Likewise.
46         (extract_range_from_expr): Likewise.
47         (dump_value_range): Likewise.
48         (vrp_visit_cond_stmt, vrp_visit_phi_node): Likewise.
49         (test_for_singularity): Likewise.
50         (vrp_int_const_binop): Remove inline qualifier.
51         (adjust_range_with_scev): Add comment.
52         * tree-flow.h (vrp_evaluate_conditional): Update declaration.
53
54 2007-03-02  Diego Novillo  <dnovillo@redhat.com>
55
56         * tree-ssa-structalias.c (could_have_pointers): Tidy.
57         (get_constraint_for): Likewise.
58         (do_structure_copy): Likewise.
59         (find_func_aliases): Fix references to MODIFY_EXPR.
60         (intra_create_variable_infos): Tidy.
61         * tree-ssa-operands.c (add_virtual_operand): Add argument
62         IS_CALL_SITE.
63         When adding members of alias sets, if IS_CALL_SITE is true and
64         the symbol is not call-clobbered, skip it.
65         Adjust all callers.
66
67 2007-03-02  Eric Botcazou  <ebotcazou@adacore.com>
68
69         * config/alpha/alpha.c (alpha_gp_save_rtx): Insert the insns at the
70         entry by means of emit_insn_at_entry.
71
72 2007-03-02  Richard Henderson  <rth@redhat.com>
73
74         * expr.h (promoted_input_arg): Remove decl.
75         * function.c (promoted_input_arg): Merge into ...
76         * combine.c (setup_incoming_promotions): ... only caller.
77         Rearrange to avoid double loop.
78
79 2007-03-02  Ben Elliston  <bje@au.ibm.com>
80             Peter Bergner  <bergner@vnet.ibm.com>
81             Janis Johnson  <janis187@us.ibm.com>
82
83         * config/rs6000/dfp.md: New file.
84         * config/rs6000/rs6000.md: Include dfp.md.
85         (add<mode>3_internal1): Disable for DECIMAL_FLOAT_MODE_P operands.
86         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Handle DDmode
87         and TDmode decimal float modes in FP registers.
88         (num_insns_constant): Likewise.
89         (rs6000_legitimate_offset_address_p): Likewise.
90         (rs6000_legitimize_address): Likewise.
91         (rs6000_legitimize_reload_address): Likewise.
92         (rs6000_legitimate_address): Likewise.
93         (rs6000_emit_move): Likewise.
94         (function_arg_boundary): Likewise.
95         (function_arg_advance): Likewise.
96         (rs6000_darwin64_record_arg_recurse): Likewise.
97         (function_arg): Likewise.
98         (rs6000_gimplify_va_arg): Likewise.
99         (rs6000_split_multireg_move): Likewise.
100         (rs6000_output_function_epilogue): Likewise.
101         (rs6000_output_function_epilogue): Likewise.
102         (rs6000_register_move_cost): Likewise.
103         (rs6000_function_value): Likewise.
104         (rs6000_libcall_value): Likewise.
105
106 2007-03-02  Richard Sandiford  <richard@codesourcery.com>
107
108         * config/t-vxworks (LIMITS_H_TEST): Define to true for VxWorks.
109
110 2007-03-02  Richard Sandiford  <richard@codesourcery.com>
111
112         * config/t-vxworks (LIBGCC2_INCLUDES): Pass -nostdinc.
113         Use $MULTIDIR to choose between the kernel and RTP headers,
114         and use $WIND_BASE and $WIND_USR to locate them.
115
116 2007-03-02  Uros Bizjak  <ubizjak@gmail.com>
117
118         * config/i386/i386.c (override_options): Put initialization of
119         ix86_tune_mask and ix86_arch_mask to the correct place.
120
121 2007-03-02  Uros Bizjak  <ubizjak@gmail.com>
122             Michael Meissner  <michael.meissner@amd.com>
123
124         PR target/31019
125         * config/i386/i386.h (TUNEMASK): Redefine to use ix86_tune_mask.
126         (ARCHMASK): Define.
127         (TARGET_CMOVE): Use ARCHMASK.
128         (TARGET_CMPXCHG): Ditto.
129         (TARGET_CMPXCHG8B): Ditto.
130         (TARGET_XADD): Ditto.
131         (TARGET_BSWAP): Ditto.
132         * config/i386/i386.c (ix86_tune_mask): New global variable.
133         (ix86_arch_mask): Ditto.
134         (override_options): Initialize ix86_tune_mask and
135         ix86_arch_mask. Use ARCHMASK to clear MASK_NO_FANCY_MATH_387 in
136         target_flags.
137
138 2007-03-02  Ben Elliston  <bje@au.ibm.com>
139
140         PR 30992
141         * config/dfp-bit.c (DFP_TO_INT): Initialise qval with "1.".
142
143 2007-03-02  Joseph Myers  <joseph@codesourcery.com>
144
145         * target.h (init_dwarf_reg_sizes_extra): New target hook.
146         * target-def.h (TARGET_INIT_DWARF_REG_SIZES_EXTRA): New default.
147         * doc/tm.texi (TARGET_INIT_DWARF_REG_SIZES_EXTRA): Document.
148         * dwarf2out.c (expand_builtin_init_dwarf_reg_sizes): Call this
149         hook.
150         * config/rs6000/rs6000.c (TARGET_INIT_DWARF_REG_SIZES_EXTRA,
151         rs6000_init_dwarf_reg_sizes_extra): New.
152         * config/rs6000/linux-unwind.h (ppc_fallback_frame_state): Support
153         SPE register high parts.
154
155 2007-03-01  Brooks Moses  <brooks.moses@codesourcery.com>
156
157         * Makefile.in: Add install-pdf target as
158         copied from automake v1.10 rules.
159         * configure.ac: Add install-pdf to target list.
160         * configure: Regenerate.
161
162 2007-03-01  Paul Brook  <paul@codesourcery.com>
163
164         * config/arm/arm.c (arm_legitimate_index_p): Limit iWMMXt addressing
165         modes to LDRD for DImode.
166         (output_move_double): Fixup out of range ldrd/strd.
167         (vfp_secondary_reload_class): Rename...
168         (coproc_secondary_reload_class): ... to this.  Add wb argument.
169         * config/arm/arm.h (SECONDARY_OUTPUT_RELOAD_CLASS): Use
170         coproc_secondary_reload_class for CLASS_IWMMXT.
171         (SECONDARY_INPUT_RELOAD_CLASS): Ditto.
172         * arm-protos.h (coproc_secondary_reload_class): Update prototype.
173
174 2007-03-01  Zdenek Dvorak  <dvorakz@suse.cz>
175
176         * tree-ssa-loop-prefetch.c (determine_unroll_factor):  Bound the unroll
177         factor by the estimated number of iterations.
178         (loop_prefetch_arrays): Do not prefetch in loops that iterate less than
179         prefetch latency.
180
181 2007-03-01  Richard Henderson  <rth@redhat.com>
182
183         * expr.c (emit_move_complex_push): Export.
184         (emit_move_complex_parts): Split out from ...
185         (emit_move_complex): ... here.
186         * expr.h (emit_move_complex_push, emit_move_complex_parts): Declare.
187         * config/i386/i386.md (movcdi): New.
188
189 2007-03-01  Uros Bizjak  <ubizjak@gmail.com>
190
191         * config/i386/i386.c (ix86_modes_tieable_p): Fix typo, use also
192         size of mode1 to check for tieable modes in MMX case.
193
194 2007-03-01  Richard Sandiford  <richard@codesourcery.com>
195
196         * Makefile.in (rtlanal.o): Depend on tree.h.
197         * rtl.h (offset_within_section_p, split_const): Declare.
198         * rtlanal.c: Include tree.h.
199         (offset_within_block_p): New function, taken from
200         mips_offset_within_object_p.
201         (split_const): New function, taken from mips_split_const.
202         * config/m68k/m68k-protos.h (m68k_illegitimate_symbolic_constant_p):
203         Declare.
204         * config/m68k/m68k.h (M68K_OFFSETS_MUST_BE_WITHIN_SECTIONS_P): Define.
205         (CONSTANT_ADDRESS_P): Only accept legitimate constants.
206         (LEGITIMATE_CONSTANT_P): Check m68k_illegitimate_symbolic_constant_p.
207         * config/m68k/m68k.c (TARGET_CANNOT_FORCE_CONST_MEM): Define.
208         (m68k_illegitimate_symbolic_constant_p): New function.
209         * config/m68k/m68k.md (movsi): Remove misleading predicates.
210         If M68K_OFFSETS_MUST_BE_WITHIN_SECTIONS_P and the source is a
211         symbolic constant that might be outside the symbol's section,
212         move the symbol first and then add the offset.
213         * config/m68k/uclinux.h (M68K_OFFSETS_MUST_BE_WITHIN_SECTIONS_P):
214         Override.
215         * config/mips/mips.c (mips_split_const): Delete.
216         (mips_offset_within_object_p): Delete.
217         (mips_symbolic_constant_p): Use offset_within_section_p and
218         split_const instead of mips_offset_within_object_p and
219         mips_split_const.
220         (mips_cannot_force_const_mem, mips_const_insns, mips_unspec_address)
221         (mips_legitimize_const_move, print_operand_reloc)
222         (mips_dangerous_for_la25_p): Use split_const instead of
223         mips_split_const.
224
225 2007-02-28  Eric Christopher  <echristo@apple.com>
226
227         * Makefile.in (install-include-dir): Don't rm -rf include.
228
229 2007-02-28  Richard Guenther  <rguenther@suse.de>
230
231         PR middle-end/30364
232         * fold-const.c (fold_binary): Do not associate expressions
233         with more than one variable for integer types that do not wrap.
234
235 2007-02-28  Sandra Loosemore  <sandra@codesourcery.com>
236
237         * builtins.c (fold_builtin_call_list, fold_builtin_call_valist):
238         Delete, and replace with...
239         (fold_builtin_call_array): This.  Update callers to use it.
240         * fold-const.c (fold_build_call_list): Delete, and replace with...
241         (fold_build_call_array): This.
242         (fold_build_call_list_initializer): Delete, and replace with...
243         (fold_build_call_array_initializer): This.
244         * tree.h: Update declarations to reflect above changes.
245
246         * c-typeck.c (build_function_call): Store converted arguments
247         in a stack-allocated array instead of building a list.
248         (convert_arguments): Store arguments in the array passed in as an
249         argument, and return the actual number of arguments.
250         * c-format.c: (check_function_format): Pass arguments in an
251         array instead of a list.
252         * c-common.c (check_function_nonnull): Likewise.
253         (check_function_sentinel): Likewise.
254         (check_function_arguments): Likewise.
255         * c-common.h: Update declarations to reflect above changes.
256
257 2007-02-28  Jan Hubicka  <jh@suse.cz>
258
259         * predict.def (PRED_TREE_EARLY_RETURN, PRED_CONST_RETURN,
260         PRED_NEGATIVE_RETURN): Update outcomes.
261
262 2007-02-28  Bernd Schmidt  <bernd.schmidt@analog.com>
263
264         * calls.c (emit_library_call_value_1): Handle partial registers
265         correctly when building up CALL_INSN_FUNCTION_USAGE.
266
267 2007-02-27  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
268
269         * pa/predicates.md (move_src_operand): Allow zero for mode.
270         * pa/pa.md: Fix constraints for zero CONST_DOUBLE in 64-bit DFmode
271         move pattern.
272
273 2007-02-27  Uros Bizjak  <ubizjak@gmail.com>
274
275         PR target/30970
276         * config/i386/sse.md (*mov<mode>_internal, *movv4sf_internal,
277         *movv2df_internal): Enable pattern only for valid operand
278         combinations.
279         * config/i386/i386.c (ix86_modes_tieable_p): For SSE registers,
280         tie only 128bit modes. For MMX registers, tie only 64bit modes.
281
282 2007-02-27  Mike Stump  <mrs@apple.com>
283
284         * config/darwin-crt3.c: Avoid compilation when compiling for a
285         kext multilib.
286
287 2007-02-27  Joseph Myers  <joseph@codesourcery.com>
288
289         * Makefile.in (PREPROCESSOR_DEFINES, test-protoize-simple): Define
290         FIXED_INCLUDE_DIR.
291         (stmp-int-hdrs, stmp-fixinc, install-headers): Use include-fixed
292         for fixed headers and limits.h.
293         (install-include-dir, install-headers-tar, install-headers-cpio,
294         install-headers-cp, real-install-headers-tar,
295         real-install-headers-cpio, real-install-headers-cp): Handle
296         include-fixed as well as include.
297         (install-mkheaders): Don't install files that go only in include
298         not include-fixed.
299         * cppdefault.c (cpp_include_defaults): Separate FIXED_INCLUDE_DIR
300         from GCC_INCLUDE_DIR.
301         * gcc.c (process_command): Remove special -BstageN/ handling.
302         (do_spec_1): Add include-fixed directories.
303
304 2007-02-27  Bernd Schmidt  <bernd.schmidt@analog.com>
305
306         * config/bfin/t-bfin-elf (LIB1ASMFUNCS): Add _umulsi3_highpart and
307         _smulsi3_highpart.
308         * config/bfin/lib1funcs.asm (___umulsi3_highpart, ___smulsi3_highpart):
309         New functions.
310         * config/bfin/bfin.md (smulsi3_highpart, umulsi3_highpart): New
311         patterns.
312
313 2007-02-27  Mark Mitchell  <mark@codesourcery.com>
314
315         * c-common.c (get_priority): Add check for
316         SUPPORTS_INIT_PRIORITY.
317
318 2007-02-27  Bernd Schmidt  <bernd.schmidt@analog.com>
319
320         * config/bfin/bfin.md (doloop_end): FAIL if counter reg isn't SImode.
321
322         * config/bfin/bfin.c: Include "cfglayout.h".
323         (MAX_LSETUP_DISTANCE): New macro.
324         (struct loop_info): New members incoming, incoming_src and
325         incoming_dest.  Delete member predecessor.
326         (length_for_loop): New function.
327         (bfin_optimize_loop): Handle more different loop structures.
328         (bfin_discover_loop): Rework detection of predecessor blocks by
329         examining incoming edges.
330         (bfin_discover_loops, bfin_free_loops): New functions, broken out of
331         bfin_reorg_loops.
332         (bfin_reorder_loops): New function.
333         (bfin_reorg_loops): Use these three new functions.
334
335         * config/bfin/bfin.h (enum reg_class, REG_CLASS_NAMES,
336         REG_CLASS_CONTENTS): Add D0REGS through D7REGS.
337         (CONSTRAINT_LEN): Add entry for 'q'.
338         (REG_CLASS_FROM_CONSTRAINT): Renamed from REG_CLASS_FROM_LETTER.
339         Add 'q' constraints.
340         (REGNO_REG_CLASS): For R0 through R7, return corresponding regclass.
341         (CLASS_LIKELY_SPILLED_P): True for R0, R1 and R2.
342
343         * config/bfin/bfin.md (add_with_carry): New pattern.
344         (s_or_u, su_optab, su_modifier): New code macros/attrs.
345         (<su_optab>hisi_ll, <su_optab>hisi_lh, <su_optab>hisi_hl,
346         <su_optab>hisi_hh): Renamed from mulhisi_xx patterns; macroized to
347         support unsigned multiplies too.  Removed incorrect commutativity from
348         operand 1 constraint where appropriate.
349         (usmulhisi_ull, usmulhisi_ulh, usmulhisi_uhl, usmulhisi_uhh): New
350         patterns.
351         (<su_optab>hisi_ll_lh, <su_optab>hisi_ll_hl, <su_optab>hisi_ll_hh,
352         <su_optab>hisi_lh_hl, <su_optab>hisi_lh_hh, <su_optab>hisi_hl_hh):
353         New patterns.
354         (usmulhisi_ll_lul, usmulhisi_ll_luh, usmulhisi_ll_hul,
355         usmulhisi_ll_huh, usmulhisi_lh_lul, usmulhisi_lh_luh, usmulhisi_lh_hul,
356         usmulhisi_lh_huh, usmulhisi_hl_lul, usmulhisi_hl_luh, usmulhisi_hl_hul,
357         usmulhisi_hl_huh, usmulhisi_hh_lul, usmulhisi_hh_luh, usmulhisi_hh_hul,
358         usmulhisi_hh_huh): New patterns.
359
360         * config/bfin/bfin.md (ssashiftv2hi3, ssashifthi3, lshiftv2hi3,
361         lshifthi3): Fix output template to use half reg for operand 2.
362
363         * config/bfin/bfin.c (bfin_output_mi_thunk): Use R3 as scratch reg
364         instead of R2.
365
366         * config/bfin/bfin.md (rotl16, rotlsi3, rotrsi3): New patterns.
367
368 2007-02-27  Andreas Schwab  <schwab@suse.de>
369
370         * Makefile.in (TEXI_GCCINSTALL_FILES): Add gcc-common.texi.
371
372 2007-02-27  Jan Hubicka  <jh@suse.cz>
373
374         * predict.c (last_basic_block_p): Remove.
375         (tree_estimate_probability): Update return heuristic for commonized
376         return blocks.
377
378 2007-02-26  Brooks Moses  <brooks.moses@codesourcery.com>
379
380         * Makefile.in (TEXI_GCCINSTALL_FILES): Add gcc-vers.texi dependency.
381
382 2007-02-26  Brooks Moses  <brooks.moses@codesourcery.com>
383
384         * doc/include/gcc-common.texi (versionsubtitle): New macro.
385         * doc/cpp.texi: Standardize title page.
386         * doc/cppinternals.texi: Likewise.
387         * doc/gcc.texi: Standardize title page, remove version number
388         from copyright page.
389         * doc/gccint.texi: Likewise.
390         * doc/install.texi: Standardize title page, add table of
391         contents.
392
393 2007-02-26  Jan Hubicka  <jh@suse.cz>
394
395         * predict.def: Set outcomes according to more recent results.
396         (PRED_LOOP_CONDITION, PRED_LOOP_PRECONDITIONING, PRED_LOOP_HEADER):
397         Remove dead predictors.
398         * predict.c (return_prediction): Fix pasto.
399
400 2007-02-27  Bernd Schmidt  <bernd.schmidt@analog.com>
401
402         * loop-iv.c (simplify_using_initial_values): Fix oversight in previous
403         change; avoid a memory leak when returning early.
404
405 2007-02-26  Mark Mitchell  <mark@codesourcery.com>
406
407         * c-decl.c (static_ctors): Move to c-common.c.
408         (static_dtors): Likewise.
409         (finish_function): Use c_record_cdtor_fn.
410         (build_cdtor): Move to c-common.c.
411         (c_write_global_declarations): Use c_build_cdtor_fns.
412         * c-common.h (static_ctors): Declare.
413         (static_dtors): Likewise.
414         (c_record_cdtor_fn): Likewise.
415         (c_build_cdtor_fns): Likewise.
416         * c-common.c (static_ctors): New variable.
417         (static_dtors): Likewise.
418         (c_record_cdtor_fn): New function.
419         (build_cdtor): Move from c-decl.c
420         (c_build_cdtor_fns): New function.
421
422         * output.h (assemble_addr_to_section): Declare.
423         (get_cdtor_priority_section): Likewise.
424         * varasm.c (assemble_addr_to_section): New function.
425         (get_cdtor_priority_section): Likewise.
426         (default_named_section_asm_out_destructor): Use them.
427         (destor_dtor_section_asm_out_destructor): Likewise.
428         (default_named_section_asm_out_constructor): Likewise.
429         (default_ctor_section_asm_out_constructor): Likewise.
430         * config.gcc (*-*-vxworks*): Include vxworks.o.
431         * config/t-vxworks (vxworks.o): New target.
432         * config/vxworks.h (ALWAYS_NUMBER_CTORS_SECTIONS): Remove.
433         (TARGET_ASM_CONSTRUCTOR): Define.
434         (TARGET_ASM_DESTRUCTOR): Likewise.
435         (vxworks_asm_out_constructor): Declare.
436         (vxworks_asm_out_destructor): Likewise.
437
438         * c-common.c (get_priority): Check that we have not just an
439         INTEGER_CST, but an integer constant with integeral type.
440
441 2007-02-25  Uros Bizjak  <ubizjak@gmail.com>
442
443         PR tree-optimization/30938
444         * tree-vect-transform.c (vectorizable_call): Fix off-by-one error:
445         use &dt[nargs-1] instead of &dt[nargs] in the call to
446         vect_is_simple_use().
447
448 2007-02-25  Ulrich Weigand  <uweigand@de.ibm.com>
449
450         * reload.c (find_reloads_address_1): Handle PLUS expressions resulting
451         from register elimination as PRE_MODIFY / POST_MODIFY increments.
452         Do not attempt to handle MEM inside auto-inc expressions.
453         * reload1.c (eliminate_regs_1): Do not attempt to handle elimination
454         of a register modified by an auto-inc expression.  However, do handle
455         elimination of a register used as PRE_MODIFY / POST_MODIFY increment.
456         (elimination_effects): Prohibit elimination of a register modified
457         by an auto-inc expression.  Disable register elimination rules whose
458         target register is modified by an auto-inc expression with variable
459         increment.
460
461 2007-02-25  Zdenek Dvorak  <dvorakz@suse.cz>
462
463         * tree-ssa-loop-niter.c (compute_estimated_nb_iterations): Fix
464         off-by-one error.
465         (array_at_struct_end_p): New function.
466         (idx_infer_loop_bounds): Use it.
467         (estimate_numbers_of_iterations_loop): Export.
468         * predict.c (predict_loops): Use estimated_loop_iterations_int.
469         Do not use PRED_LOOP_EXIT on exits predicted by # of iterations.
470         (tree_estimate_probability): Call record_loop_exits.
471         * tree-data-ref.c (get_number_of_iters_for_loop): Replaced by ...
472         (estimated_loop_iterations, estimated_loop_iterations_int,
473         estimated_loop_iterations_tree): New functions.
474         (analyze_siv_subscript_cst_affine,
475         compute_overlap_steps_for_affine_1_2,
476         analyze_subscript_affine_affine): Use estimated_loop_iterations_int.
477         (analyze_miv_subscript): Use estimated_loop_iterations_tree.
478         * predict.def (PRED_LOOP_ITERATIONS): Update comment.
479         (PRED_LOOP_ITERATIONS_GUESSED): New.
480         * cfgloop.c (record_loop_exits): Do nothing if there are no loops.
481         * cfgloop.h (estimate_numbers_of_iterations_loop,
482         estimated_loop_iterations_int): Declare.
483
484 2007-02-25  Mark Mitchell  <mark@codesourcery.com>
485
486         * doc/extend.texi: Document optional priority argument to
487         constructors and destructors.
488         * tree.c (init_priority_for_decl): Adjust GTY markers.
489         (init_ttree): Use priority-info hash functions for
490         init_priority_for_decl.
491         (tree_map_eq): Rename to ...
492         (tree_map_base_eq): ... this.
493         (tree_map_marked_p): Rename to ...
494         (tree_map_base_marked_p): ... this.
495         (tree_map_base_hash): New function.
496         (decl_init_priority_lookup): Rework.
497         (decl_fini_priority_lookup): New function.
498         (decl_priority_info): New function.
499         (decl_init_priority_insert): Use it.
500         (decl_fini_priority_insert): Likewise.
501         (decl_restrict_base_lookup): Adjust for refactoring of tree_map
502         hierarchy.
503         (decl_restrict_base_insert): Likewise.
504         (decl_debug_expr_insert): Likewise.
505         (decl_value_expr_lookup): Likewise.
506         (decl_value_expr_insert): Likewise.
507         * tree.h (priority_type): New type.
508         (decl_init_priority_lookup): Use priority_type.
509         (decl_fini_priority_lookup): New function.
510         (decl_init_priority_insert): Use priority_type.
511         (decl_fini_priority_insert): New function.
512         (DECL_HAS_INIT_PRIORITY): Tweak comments.
513         (DECL_INIT_PRIORITY): Likewise.
514         (SET_DECL_INIT_PRIORITY): Add comment.
515         (DECL_FINI_PRIORITY): New macro.
516         (SET_DECL_FINI_PRIORITY): Likewise.
517         (DEFAULT_INIT_PRIORITY): Document.
518         (MAX_INIT_PRIORITY): Likewise.
519         (MAX_RESERVED_INIT_PRIORITY): Likewise.
520         (tree_map_base): New type.
521         (tree_map_base_eq): New function.
522         (tree_map_base_hash): Likewise.
523         (tree_map_base_marked_p): Likewise.
524         (tree_map): Inherit from tree_map_base.
525         (tree_map_eq): Make it a macro.
526         (tree_map_marked_p): Likewise.
527         (tree_int_map): Inherit from tree_map_base.
528         (tree_int_map_eq): Make it a macro.
529         (tree_int_map_hash): Likewise.
530         (tree_int_map_marked_p): Likewise.
531         (tree_priority_map): New type.
532         (tree_priority_map_eq): New macro.
533         (tree_priority_map_hash): Likewise.
534         (tree_priority_map_marked_p): Likewise.
535         * varasm.c (emults_decl): Adjust for refactoring of tree_map
536         hierarchy.
537         (emutls_common_1): Likewise.
538         * lambda-code.c (replace_uses_equiv_to_x_with_y): Likewise.
539         * tree-ssa-structalias.c (heapvar_lookup): Adjust for refactoring
540         of tree_map hierarchy.
541         * tree-cfg.c (move_stmt_r): Likewise.
542         (new_label_mapper): Likewise.
543         * c-tree.h (c_expand_body): Move to ...
544         * c-common.h (c_expand_body): ... here.
545         * c-decl.c (c_expand_body): Move to ...
546         * c-common.c (c_expand_body): ... here.
547         (c_common_attribute_table): Allow 1 argument for the constructor
548         and destructor attributes.
549         (get_priority): New function.
550         (handle_constructor_attribute): Set DECL_INIT_PRIORITY.
551         (handle_destructor_attribute): Set DECL_FINI_PRIORITY.
552
553 2007-02-24  Jan Hubicka  <jh@suse.cz>
554
555         PR middle-end/30509
556         * tree-inline.c (copy_bb): Produce exact copy of EH info when copying for inlining.
557
558 2007-02-24  Uros Bizjak  <ubizjak@gmail.com>
559             Jan Hubicka  <jh@suse.cz>
560
561         PR target/30778
562         * i386.c (counter_mode): New function.
563         (expand_set_or_movmem_via_loop): Use it.
564         (expand_movmem_epilogue): Likewise; fix pasto.
565         (ix86_expand_movmem): Do emit guard even for constant counts.
566         (ix86_expand_setmem): Likewise.
567
568 2007-02-25  Nick Clifton  <nickc@redhat.com>
569
570         * config/frv/frv.h (ASM_OUTPUT_CASE_LABEL): Delete.
571         (JUMP_TABLES_IN_TEXT_SECTION): Define.
572
573 2007-02-24  Uros Bizjak  <ubizjak@gmail.com>
574
575         PR target/30770
576         * config/i386/i386.md (expand_movmem_epilogue): Fix typo, mask
577         count argument with 0x10, not with 0x16.
578         (expand_setmem_epilogue): Ditto.
579
580 2007-02-24  Mike Stump  <mrs@apple.com>
581
582         * config/i386/i386.c (output_pic_addr_const): Stubify optimized
583         symbols.
584
585 2007-02-24  Richard Guenther  <rguenther@suse.de>
586
587         PR middle-end/30951
588         * fold-const.c (fold_binary): Fold x +- CST op x for
589         EQ_EXPR and NE_EXPR.
590
591 2007-02-24  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
592
593         * pa.md (muldi3): Force subregs to registers in 64-bit expander.
594
595 2007-02-24  Jan Hubicka  <jh@suse.cz>
596
597         * cgraphunit.c (decide_is_function_needed): Honor
598         -fkeep-inline-functions.
599
600 2007-02-24  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
601
602         * builtins.c (fold_builtin_modf): New.
603         (fold_builtin_2): Use it.
604
605 2007-02-24  Bernd Schmidt  <bernd.schmidt@analog.com>
606
607         * loop-iv.c (implies_p): Detect additional cases where A implies B.
608         (determine_max_iter): Take additional LOOP arg; all callers changed.
609         Lose broken logic dealing with PLUS.  Try to limit the upper bound by
610         one using simplifications.
611         (simplify_using_initial_values): Return if the expression becomes
612         invalid due to altered regs.
613
614 2007-02-23  DJ Delorie  <dj@redhat.com>
615
616         * doc/tm.h (BIGGEST_ALIGNMENT): Clarify the purpose of this macro.
617
618 2007-02-23  Mike Stump  <mrs@apple.com>
619
620         * tlink.c (scan_linker_output): Parse linker messages from
621         darwin9's linker better.
622
623 2007-02-23  Steve Ellcey  <sje@cup.hp.com>
624
625         PR debug/29614
626         * varpool.c (varpool_assemble_pending_decls):  Set
627         varpool_last_needed_node to null.
628
629 2007-02-23  DJ Delorie  <dj@redhat.com>
630
631         * config/i386/i386.c (ix86_data_alignment): Don't specify an
632         alignment bigger than the object file can handle.
633
634 2007-02-23  Uros Bizjak  <ubizjak@gmail.com>
635
636         PR target/30825
637         * config/i386/i386.md (*movdi_1_rex64, zero_extendsidi2_32,
638         zero_extendsidi2_rex64): Penalize MMX register<->memory moves.
639         (*movsf_1): Penalize MMX moves.
640
641 2007-02-23  Bernd Schmidt  <bernd.schmidt@analog.com>
642
643         * config/bfin/bfin.md (doloop_end): Fail for loops that can iterate
644         2^32-1 or more times unless flag_unsafe_loop_optimizations.
645
646         * loop-iv.c (determine_max_iter): Moved in front of its sole user.
647
648 2007-02-23  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
649
650         * builtins.c (fold_builtin_logb, fold_builtin_significand): New.
651         (fold_builtin_1): Use them.
652         * fold-const.c (tree_expr_nonnegative_warnv_p): Handle
653         BUILT_IN_SIGNIFICAND.
654
655 2007-02-23  H.J. Lu  <hongjiu.lu@intel.com>
656
657         * config/i386/i386.c (bdesc_1arg): Initialize
658         IX86_BUILTIN_MOVSHDUP and IX86_BUILTIN_MOVSLDUP with
659         "__builtin_ia32_movshdup" and "__builtin_ia32_movsldup".
660         (ix86_init_mmx_sse_builtins): Remove IX86_BUILTIN_MOVSHDUP
661         and IX86_BUILTIN_MOVSLDUP.
662
663 2007-02-22  Paolo Bonzini  <bonzini@gnu.org>
664
665         PR rtl-optimization/30841
666         * fwprop.c (propagate_rtx_1): Accept a VOIDmode replacement address.
667
668 2007-02-22  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
669
670         * builtins.c (fold_builtin_frexp): New.
671         (fold_builtin_2): Use it.
672
673 2007-02-22  Mark Mitchell  <mark@codesourcery.com>
674
675         * doc/invoke.texi (Spec Files): Document getenv spec function.
676
677         * gcc.c (getenv_spec_function): New function.
678         (static_spec_functions): Add it.
679         * config/vxworks.h (VXWORKS_TARGET_DIR): Remove.
680         (VXWORKS_ADDITIONAL_CPP_SPEC): Use getenv to find the VxWorks
681         header files.
682
683 2007-02-22  Michael Matz  <matz@suse.de
684
685         PR c++/29433
686         * dwarf2out.c (add_AT_string): Call ggc_strdup once per string.
687         (type_tag): Use lang_hooks.dwarf_name instead of DECL_NAME.
688
689 2007-02-22  Ian Lance Taylor  <iant@google.com>
690
691         PR debug/30898
692         * dwarf2out.c (concatn_mem_loc_descriptor): New static function.
693         (mem_loc_descriptor): Call it.
694
695 2007-02-22  Zdenek Dvorak  <dvorakz@suse.cz>
696             Ira Rosen  <irar@il.ibm.com>
697
698         * tree-data-ref.c (ptr_ptr_may_alias_p): Take alias sets into account.
699
700 2007-02-22  Ira Rosen  <irar@il.ibm.com>
701
702         PR tree-optimization/30843
703         * tree-vect-transform.c (vect_transform_loop): Remove strided scalar
704         stores only after all the group is vectorized.
705
706 2007-02-22  Dorit Nuzman  <dorit@il.ibm.com>
707
708         PR tree-optimization/30858
709         * tree-vectorizer.c (vect_is_simple_reduction): Check that the stmts
710         in the reduction cycle have a single use in the loop.
711         * tree-vectorizer.h (relevant): Add documentation.
712
713 2007-02-20  Mike Stump  <mrs@apple.com>
714
715         * configure.ac (powerpc*-*-darwin*): #include <sys/cdefs.h>.
716         * configure: Regenerate.
717
718 2007-02-21  Trevor Smigiel  <trevor_smigiel@playstation.sony.com>
719
720         Change the defaults of some parameters and options.
721         * config/spu/spu-protos.h (spu_optimization_options): Declare.
722         * config/spu/spu.c (spu_optimization_options): Add.
723         (spu_override_options): Change params in spu_optimization_options.
724         * config/spu/spu.h (OPTIMIZATION_OPTIONS): Define.
725
726         Register 127 is only 16 byte aligned when used as a frame pointer.
727         * config/spu/spu-protos.h (spu_init_expanders): Declare.
728         * config/spu/spu.c (spu_expand_prologue): Set REGNO_POINTER_ALIGN for
729         HARD_FRAME_POINTER_REGNUM.
730         (spu_legitimate_address):  Use regno_aligned_for_reload.
731         (regno_aligned_for_load):  HARD_FRAME_POINTER_REGNUM is only 16 byte
732         aligned when frame_pointer_needed is true.
733         (spu_init_expanders): New.  Set alignment of HARD_FRAME_POINTER_REGNUM
734         to 8 bits.
735         * config/spu/spu.h (INIT_EXPANDERS): Define.
736
737         Make sure shift and rotate instructions have valid immediate operands.
738         * config/spu/predicates.md (spu_shift_operand): Remove.
739         * config/spu/spu.c (print_operand): Add [efghEFGH] modifiers.
740         * config/spu/constraints.md (W, O): Extend range.
741         * config/spu/spu.md (umask, nmask): Define.
742         (ashl<mode>3, ashldi3, ashlti3_imm, shlqbybi_ti, shlqbi_ti, shlqby_ti,
743         lshr<mode>3, rotm_<mode>, lshr<mode>3_imm, rotqmbybi_<mode>,
744         rotqmbi_<mode>, rotqmby_<mode>, ashr<mode>3, rotma_<mode>,
745         rotl<mode>3, rotlti3, rotqbybi_ti, rotqby_ti, rotqbi_ti): Use
746         spu_nonmem_operand instead of spu_shift_operands.  Use new modifiers.
747         (lshr<mode>3_reg):  Fix rtl description.
748
749         Make sure mulhisi immediate operands are valid.
750         * config/spu/predicates.md (imm_K_operand): Add.
751         * config/spu/spu.md (mulhisi3_imm, umulhisi3_imm): Use imm_K_operand.
752
753         Generate constants using fsmbi and andi.
754         * config/spu/spu.c (enum immediate_class): Add IC_FSMBI2.
755         (print_operand, spu_split_immediate, classify_immediate,
756         fsmbi_const_p): Handle IC_FSMBI2.
757
758         Correctly handle a CONST_VECTOR containing symbols.
759         * config/spu/spu.c (print_operand): Handle HIGH correctly.
760         (spu_split_immediate): Split CONST_VECTORs with -mlarge-mem.
761         (immediate_load_p): Allow symbols that use 2 instructions to create.
762         (classify_immediate, spu_builtin_splats):  Don't accept a CONST_VECTOR
763         with symbols when flag_pic is set.
764         (const_vector_immediate_p): New.
765         (logical_immediate_p, iohl_immediate_p, arith_immediate_p): Don't
766         accept a CONST_VECTOR with symbols.
767         (spu_legitimate_constant_p): Use const_vector_immediate_p.  Don't
768         accept a CONST_VECTOR with symbols when flag_pic is set.  Handle HIGH
769         correctly.
770         * config/spu/spu.md (high, low): Delete.
771         (low_<mode>): Define.
772
773         Remove INTRmode and INTR_REGNUM, which didn't work.
774         * config/spu/spu.c (spu_conditional_register_usage): Remove reference
775         of INTR_REGNUM.
776         * config/spu/spu-builtins.md (spu_idisable, spu_ienable, set_intr,
777         set_intr_pic, set_intr_cc, set_intr_cc_pic, set_intr_return, unnamed
778         peephole2 pattern): Don't use INTR or 131.
779         (movintrcc): Delete.
780         * config/spu/spu.h (FIRST_PSEUDO_REGISTER, FIXED_REGISTERS,
781         CALL_USED_REGISTERS, REGISTER_NAMES, INTR_REGNUM): Remove INTR_REGNUM.
782         * config/spu/spu.md (UNSPEC_IDISABLE, UNSPEC_IENABLE): Remove.
783         (UNSPEC_SET_INTR): Add.
784         * config/spu/spu-modes.def (INTR): Remove.
785
786         More accurate warnings about run-time relocations.
787         * config/spu/spu.c (reloc_diagnostic): Test in_section.
788
789         Correctly warn about immediate arguments to specific intrinsics.
790         * config/spu/spu.c (spu_check_builtin_parm): Handle CONST_VECTORs.
791         (spu_expand_builtin_1): Call spu_check_builtin_parm before checking
792         the instruction predicate.
793
794         Fix tree check errors with latest update.
795         * config/spu/spu.c (expand_builtin_args, spu_expand_builtin_1): Use
796         CALL_EXPR_ARG.
797         (spu_expand_builtin): Use CALL_EXPR_FN.
798
799         Add missing specific intrinsics.
800         * config/spu/spu-builtins.def: Add si_bisled, si_bisledd and
801         si_bislede.
802         * config/spu/spu_internals.h: Ditto.
803
804         Fix incorrect operand modifiers.
805         * config/spu/spu-builtins.md (spu_mpy, spu_mpyu):  Remove use of %H.
806         * config/spu/spu.md (xor<mode>3):  Change %S to %J.
807
808         Optimize one case of zero_extend of a vec_select.
809         * config/spu/spu.md (_vec_extractv8hi_ze):  Add.
810
811         Accept any immediate for hbr.
812         * config/spu/spu.md (hbr):  Change s constraints to i.
813
814 2007-02-21  Paul Brook  <paul@codesourcery.com>
815
816         * config/arm/arm.c (thumb2_final_prescan_insn): Don't incrememnt
817         condexec_count when skipping USE and CLOBBER.
818
819 2007-02-21  Nick Clifton  <nickc@redhat.com>
820
821         * common.opt (Warray-bounds): Add Warning attribute.
822         (Wstrict-overflow, Wstrict-overflow=, Wcoverage-mismatch):
823         Likewise.
824         (fsized-zeroes): Add Optimization attribute.
825         (fsplit-wide-types, ftree-scev-cprop): Likewise.
826         * c.opt (Wc++0x-compat): Add Warning attribute.
827
828 2007-02-21  Ulrich Weigand  <uweigand@de.ibm.com>
829
830         PR middle-end/30761
831         * reload1.c (eliminate_regs_in_insn): In the single_set special
832         case, attempt to re-recognize the insn before falling back to
833         having reload fix it up.
834
835 2007-02-20  Eric Christopher  <echristo@gmail.com>
836
837         * config/frv/frv.c (frv_read_argument): Take a tree and int argument.
838         Rewrite accordingly.
839         (frv_read_iacc_argument): Ditto.
840         (frv_expand_set_builtin): Take a call instead of arglist, update for
841         above changes.
842         (frv_expand_unop_builtin): Ditto.
843         (frv_expand_binop_builtin): Ditto.
844         (frv_expand_cut_builtin): Ditto.
845         (frv_expand_binopimm_builtin): Ditto.
846         (frv_expand_voidbinop_builtin): Ditto.
847         (frv_expand_int_void2arg): Ditto.
848         (frv_expand_prefetches): Ditto.
849         (frv_expand_voidtriop_builtin): Ditto.
850         (frv_expand_voidaccop_builtin): Ditto.
851         (frv_expand_load_builtin): Ditto.
852         (frv_expand_store_builtin): Ditto.
853         (frv_expand_mdpackh_builtin): Ditto.
854         (frv_expand_mclracc_builtin): Ditto.
855         (frv_expand_mrdacc_builtin): Ditto.
856         (frv_expand_mwtacc_builtin): Ditto.
857         (frv_expand_builtin): Remove usage of CALL_EXPR_ARGS, update
858         calls for above.
859
860 2007-02-20  Janis Johnson  <janis187@us.ibm.com>
861
862         * doc/invoke.texi (RS/6000 and PowerPC Options): Add -mcmpb and -mdfp.
863         * configure.ac (HAVE_GAS_CMPB): Check for assembler support of the
864         cmpb instruction.
865         (HAVE_GAS_DFP): Check for assembler support of decimal floating
866         point instructions.
867         * configure: Regenerate.
868         * config.in: Regenerate.
869         * config/rs6000/rs6000.opt (mcmpb, mdfp): New.
870         * config/rs6000/rs6000.c (rs6000_override_options): Add CMPB and DFP
871         masks to power6 and power6x and to POWERPC_MASKS.
872         * config/rs6000/rs6000-c.c (rs6000_cpu_cpp_builtins): Define
873         _ARCH_PWR6.
874         * config/rs6000/rs6000.h: Check assembler support for CMPB and DFP.
875         * config/rs6000/sysv4.opt (mprototype): Use variable, not mask.
876         * config/rs6000/linux64.h (SUBSUBTARGET_OVERRIDE_OPTIONS):
877         Access PROTOTYPE as variable, not mask.
878
879 2007-02-20  Steven Bosscher  <steven@gcc.gnu.org>
880
881         * rtl.h (remove_reg_equal_equiv_notes): New prototype.
882         * rtlanal.c (remove_reg_equal_equiv_notes): New function.
883         * combine.c (adjust_for_new_dest): Use it.
884         * postreload.c (reload_combine): Likewise.
885
886 2007-02-20  Steven Bosscher  <steven@gcc.gnu.org>
887
888         * rtlanal.c (find_reg_equal_equiv_note): Do not find REG_EQ*
889         notes on an insn with multiple sets, even if single_set returns
890         non-NULL for that insn.
891
892 2007-02-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
893
894         * fold-const.c (tree_expr_nonnegative_warnv_p): Handle scalb,
895         scalbn and scalbln.
896
897 2007-02-20  Geoffrey Keating  <geoffk@apple.com>
898
899         * config/darwin.h (LINK_SPEC): Default -mmacosx-version-min only
900         if user didn't pass it.
901         * config/i386/darwin.h (CC1_SPEC): Likewise.
902         * config/rs6000/darwin.h (CC1_SPEC): Likewise.
903         (DARWIN_MINVERSION_SPEC): Don't depend on user's setting of
904         -mmacosx-version-min.
905
906 2007-02-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
907             Uros Bizjak  <ubizjak@gmail.com>
908
909         * optabs.h (enum optab_index): Add new OTI_scalb.
910         (scalb_optab): Define corresponding macro.
911         * optabs.c (init_optabs): Initialize scalb_optab.
912         * genopinit.c (optabs): Implement scalb_optab using scalb?f3
913         patterns.
914         * builtins.c (expand_builtin_mathfn_2, expand_builtin): Handle
915         BUILT_IN_SCALB{,F,L}, BUILT_IN_SCALBN{,F,L} and BUILT_IN_SCALBLN{,F,L}.
916         (expand_builtin): Expand BUILT_IN_SCALB{,F,L}, BUILT_IN_SCALBN{,F,L}
917         and BUILT_IN_SCALBLN{,F,L} using expand_builtin_mathfn_2 if
918         flag_unsafe_math_optimizations is set.
919
920         * config/i386/i386.md (scalbxf3, scalb<mode>3): New expanders
921         to implement scalbf, scalb and scalbl built-ins as inline x87
922         intrinsics.
923
924 2007-02-20  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
925             DJ Delorie <dj@redhat.com>
926
927         PR other/30824
928         * diagnostic.c (diagnostic_count_diagnostic): Move -Werror logic to...
929         (diagnostic_report_diagnostic): ... here, and turn them into real
930         errors. If warnings are inhibited, no need to do anything.
931
932 2007-02-20  Uros Bizjak  <ubizjak@gmail.com>
933
934         * config/i386/i386.md (expm1xf2): Reorder insn sequence for
935         better code generation.
936
937 2007-02-20  Ben Elliston  <bje@au.ibm.com>
938
939         * config/m68hc11/m68hc11.h (OVERRIDE_OPTIONS): Remove extra ;.
940
941 2007-02-20  Kazu Hirata  <kazu@codesourcery.com>
942
943         * config/alpha/alpha.c, config/alpha/alpha.md,
944         config/alpha/lib1funcs.asm, config/alpha/vms-crt0-64.c,
945         config/alpha/vms-psxcrt0-64.c, config/arc/arc.c,
946         config/arc/arc.h, config/arm/arm.c, config/arm/arm.md,
947         config/arm/lib1funcs.asm: Follow spelling conventions.
948
949         * config/c4x/c4x.md, config/cris/cris.c, config/crx/crx.c,
950         config/fr30/fr30.md, config/i386/i386.h,
951         config/iq2000/iq2000.h, config/iq2000/predicates.md,
952         config/pa/milli64.S, config/pa/pa.c, config/pa/pa.h,
953         config/pa/pa.md, config/pa/pa32-regs.h, config/pa/pa64-regs.h,
954         config/pdp11/pdp11.c, config/pdp11/pdp11.h,
955         config/rs6000/altivec.md, config/rs6000/rs6000.c,
956         config/s390/s390-modes.def, config/sparc/netbsd-elf.h,
957         config/sparc/sparc.c, config/sparc/sparc.h,
958         config/sparc/sparc.md, config/spu/constraints.md,
959         config/spu/spu.c, config/stormy16/stormy16.md: Follow spelling
960         conventions.
961
962 2007-02-20  Alan Modra  <amodra@bigpond.net.au>
963
964         PR target/29943
965         * varasm.c (use_blocks_for_decl_p): Return false for decls with
966         alias attribute.
967
968 2007-02-19  Kazu Hirata  <kazu@codesourcery.com>
969
970         * doc/invoke.texi (-ftree-lrs): Remove.
971
972 2007-02-19  Diego Novillo  <dnovillo@redhat.com>
973
974         * tree-ssa-pre.c (create_value_expr_from): Initialize POOL to
975         NULL.
976
977 2007-02-19  Lee Millward  <lee.millward@codesourcery.com>
978
979         * config/ia64/ia64.c (ia64_expand_builtin): Use the
980         new CALL_EXPR_FN macro for retrieving the function
981         declaration of the input expression.
982
983 2007-02-19  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
984
985         * c.opt (Waddress): New.
986         * common.opt (Walways-true): Delete.
987         (Wstring-literal-comparison): Delete.
988         * doc/invoke.texi (Warning Options): Delete -Walways-true and
989         -Wstring-literal-comparison. Add -Waddress.
990         (Waddress): New.
991         (Walways-true): Delete.
992         (Wstring-literal-comparison): Delete.
993         * doc/extend.texi (#pragma GCC diagnostic): Use -Wformat
994         consistently instead of -Walways-true in example.
995         * c-opts.c (c_common_handle_option): -Waddress is enabled by -Wall.
996         * c-typeck.c (parser_build_binary_op): Replace
997         -Wstring-literal-comparison and -Walways-true with -Waddress.
998         * c-common.c (c_common_truthvalue_conversion): Replace -Walways-true
999         with -Waddress.
1000
1001 2007-02-19  Eric Botcazou  <ebotcazou@adacore.com>
1002
1003         * tree-cfg.c (dump_function_to_file): Be prepared for functions
1004         without DECL_STRUCT_FUNCTION initialized.
1005
1006 2007-02-19  Eric Botcazou  <ebotcazou@adacore.com>
1007
1008         * gimplify.c (gimplify_init_ctor_preeval_1): Detect potential overlap
1009         due to calls to functions taking pointers as parameters.
1010
1011 2007-02-19  Richard Henderson  <rth@redhat.com>
1012
1013         PR debug/29558
1014         * var-tracking.c (track_expr_p): Disallow AGGREGATE_TYPE_P
1015         in memory.
1016
1017 2007-02-19  Andreas Krebbel  <krebbel1@de.ibm.com>
1018
1019         * config/s390/s390.c (s390_call_saved_register_used,
1020         s390_function_ok_for_sibcall): Adjust the way CALL_EXPR arguments are
1021         accessed to the new scheme.
1022
1023 2007-02-19  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
1024
1025         * config/cris/cris.c (cris_movem_load_rest_p, cris_store_multiple_op_p)
1026         (cris_print_index, cris_print_operand, cris_print_operand_address)
1027         (cris_reload_address_legitimized, cris_rtx_costs, cris_address_cost)
1028         (cris_side_effect_mode_ok, cris_valid_pic_const, cris_split_movdx)
1029         (cris_expand_pic_call_address): Use xxx_P predicate macros instead of
1030         GET_CODE () == xxx.
1031         * config/cris/cris.h (SECONDARY_RELOAD_CLASS, EXTRA_CONSTRAINT_Q,
1032         EXTRA_CONSTRAINT_T, BDAP_INDEX_P, BIAP_INDEX_P, SIMPLE_ADDRESS_P,
1033         GO_IF_LEGITIMATE_ADDRESS): Ditto.
1034         * config/cris/cris.md (define_insns: *btst, movdi, *mov_side<mode>)
1035         (*mov_sidesisf, *mov_side<mode>_mem, *mov_sidesisf_mem)
1036         (*clear_side<mode>, movsi, *movsi_internal, *ext_sideqihi)
1037         (*ext_side<mode>si, *op_side<mode>, *op_swap_side<mode>, addsi3)
1038         (*extopqihi_side, *extop<mode>si_side, *extopqihi_swap_side)
1039         (*extop<mode>si_swap_side, addi_mul, *addi,andsi3, andhi3, ashl<mode>3)
1040         (uminsi3, call, call_value): Ditto.
1041         (define_split: indir_to_reg_split, unnamed): Ditto.
1042
1043 2007-02-19  Dorit Nuzman  <dorit@il.ibm.com>
1044
1045         PR tree-optimization/30975
1046         * tree-vect-trasnform.c (vect_get_vec_def_for_stmt_copy): Remove
1047         wrong assert.
1048
1049 2007-02-18  Eric Christopher  <echristo@gmail.com>
1050
1051         * mips.c (mips_prepare_builtin_arg): Add argnum parameter.
1052         Remove use of arglist.
1053         (mips_expand_builtin): Remove use of arglist, pass in expr.
1054         (mips_expand_builtin_direct): Rewrite handling for arglist removal.
1055         (mips_expand_builtin_movtf): Ditto.
1056         (mips_expand_builtin_compare): Ditto.
1057
1058 2007-02-19  Alexandre Oliva  <aoliva@redhat.com>
1059
1060         * tree-sra.c (sra_build_assignment): Replace assertion
1061         checking with a comment explaining why it can't be done.
1062
1063 2007-02-18  Sandra Loosemore  <sandra@codesourcery.com>
1064
1065         PR middle-end/30833
1066         * tree-dump.c (dequeue_and_dump): Add tcc_vl_exp case missed
1067         during CALL_EXPR representation conversion.
1068         * tree-ssa-propagate.c (set_rhs): Likewise.
1069
1070 2007-02-19  Alexandre Oliva  <aoliva@redhat.com>
1071
1072         * tree-sra.c (sra_build_assignment): Disable assertion checking
1073         for now.
1074
1075 2007-02-18  Roger Sayle  <roger@eyesopen.com>
1076
1077         * function.c (gimplify_parameters): Call build_gimple_modify_stmt
1078         instead of calling build2 with a GIMPLE_MODIFY_STMT.
1079         * gimple-low.c (lower_function_body, lower_builtin_setjmp):
1080         Likewise.
1081         * gimplify.c (build_stack_save_restore, gimplify_return_expr,
1082         gimplify_decl_expr,  gimplify_self_mod_expr, gimplify_cond_expr,
1083         gimplify_init_ctor_eval_range, gimple_push_cleanup,
1084         gimplify_omp_for, gimplify_omp_atomic_pipeline,
1085         gimplify_omp_atomic_mutex, gimplify_expr, gimplify_one_sizepos,
1086         force_gimple_operand): Likewise.
1087         * ipa-cp.c (constant_val_insert): Likewise.
1088         * lambda-code.c (lbv_to_gcc_expression, lle_to_gcc_expression,
1089         lambda_loopnest_to_gcc_loopnest, replace_uses_equiv_to_x_with_y,
1090         perfect_nestify): Likewise.
1091         * langhooks.c (lhd_omp_assignment): Likewise.
1092         * omp-low.c (lower_rec_input_clauses, lower_reduction_clauses,
1093         lower_copyprivate_clauses, lower_send_clauses,
1094         lower_send_shared_vars, expand_parallel_call,
1095         expand_omp_for_generic, expand_omp_for_static_nochunk,
1096         expand_omp_for_static_chunk, expand_omp_sections,
1097         lower_omp_single_copy, lower_omp_for_lastprivate,
1098         lower_omp_parallel, init_tmp_var, save_tmp_var): Likewise.
1099         * value-prof.c (tree_divmod_fixed_value, tree_mod_pow2,
1100         tree_mod_subtract, tree_ic, tree_stringop_fixed_value):
1101         Likewise.
1102
1103 2007-02-19  Kazu Hirata  <kazu@codesourcery.com>
1104
1105         * config/sh/divtab.c, config/sh/sh.c, config/sh/sh.h,
1106         config/sh/sh.md: Follow spelling conventions.
1107
1108         * config/frv/frv.c, config/frv/frv.h, config/frv/frv.md,
1109         config/frv/predicates.md: Follow spelling conventions.
1110
1111         * config/m68k/linux-unwind.h: Fix a comment typo.
1112         * target.h: Follow spelling conventions.
1113
1114 2007-02-18  Roger Sayle  <roger@eyesopen.com>
1115
1116         PR rtl-optimization/28173
1117         * simplify-rtx.c (simplify_binary_operation_1) <IOR>:  Optimize
1118         (X & C1) | C2 as C2 when (C1 & C2) == C1 and X has no side-effects.
1119         Optimize (X & C1) | C2 as X | C2 when (C1 | C2) == ~0.
1120         Canonicalize (X & C1) | C2 as (X & (C1 & ~C2)) | C2.
1121         <AND>: Canonicalize (X | C1) & C2 as (X & C2) | (C1 & C2).
1122
1123 2007-02-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1124
1125         * builtins.c (fold_builtin_load_exponent): New.
1126         (fold_builtin_2): Use it.
1127
1128 2007-02-18  Steven Bosscher  <steven@gcc.gnu.org>
1129
1130         PR rtl-optimization/30773
1131         * local-alloc.c (update_equiv_regs): Do not set reg_equiv_init
1132         if we fail to attach a REG_EQUIV note.
1133
1134 2007-02-18  David Edelsohn  <edelsohn@gnu.org>
1135             Roger Sayle  <roger@eyesopen.com>
1136
1137         * config/rs6000/rs6000.md (bswapsi2): New define_insn and splitter.
1138
1139 2007-02-18  Sandra Loosemore  <sandra@codesourcery.com>
1140
1141         * calls.c (initialize_argument_information): Pass original EXP
1142         and STRUCT_VALUE_ADDR_VALUE instead of a list of arguments.  Move
1143         code to split complex arguments here, as part of initializing the
1144         ARGS array.
1145         (expand_call): Remove code that builds a list of arguments and
1146         inserts implicit arguments into it.  Instead, just count how many
1147         implicit arguments there will be so we can determine the size of
1148         the ARGS array, and let initialize_argument_information do the work.
1149         (split_complex_values): Delete unused function.
1150
1151 2007-02-18  Eric Botcazou  <ebotcazou@adacore.com>
1152
1153         * tree-eh.c (tree_could_trap_p): Handle VIEW_CONVERT_EXPR.
1154
1155 2007-02-18  Eric Botcazou  <ebotcazou@adacore.com>
1156
1157         * calls.c (mem_overlaps_already_clobbered_arg_p): Return true
1158         for arg pointer based indexed addressing.
1159
1160 2007-02-18  Kazu Hirata  <kazu@codesourcery.com>
1161
1162         * config/ia64/ia64.h, config/ia64/ia64.md,
1163         config/ia64/predicates.md, config/ia64/sysv4.h: Follow
1164         spelling conventions.
1165
1166 2007-02-18  Roman Zippel <zippel@linux-m68k.org>
1167
1168         * config/m68k/m68k.c (split_di): New.
1169         * config/m68k/m68k-protos.h: Declare split_di.
1170         * config/m68k/m68k.md (extendsidi2*,ashldi3*,ashrdi3*,lshrdi3*):
1171           Improve predicate handling and split constant shifts.
1172
1173 2007-02-18  Roman Zippel <zippel@linux-m68k.org>
1174
1175         * config/m68k/m68k.md (extv,extzv,insv): disable dynamic
1176         parameter for register bitfield operations, general predicates
1177         cleanup
1178
1179 2007-02-18  Roman Zippel <zippel@linux-m68k.org>
1180
1181         * config/m68k/linux.h (MD_UNWIND_SUPPORT): Define.
1182         * config/m68k/linux-unwind.h: New file.
1183
1184 2007-02-18  Kazu Hirata  <kazu@codesourcery.com>
1185
1186         * cfgloop.c, config/alpha/alpha.c, config/bfin/bfin.c,
1187         config/i386/athlon.md, config/ia64/ia64.md,
1188         config/rs6000/rs6000.c, config/s390/s390.c, config/spu/spu.md,
1189         df-problems.c, df.h, fold-const.c, ipa-cp.c, ipa-inline.c,
1190         ipa-prop.h, see.c, struct-equiv.c, tree-inline.c,
1191         tree-ssa-loop-niter.c, tree-vect-analyze.c,
1192         tree-vect-transform.c: Fix comment typos.
1193
1194 2007-02-17  Kazu Hirata  <kazu@codesourcery.com>
1195
1196         * sched-deps.c (find_insn_list): Remove.
1197         * sched-int.h: Remove the prototype for find_insn_list.
1198
1199 2007-02-16  Geoffrey Keating  <geoffk@apple.com>
1200
1201         * config/darwin.h (LINK_SPEC): Always pass -macosx_version_min
1202         to linker.
1203         (DARWIN_EXTRA_SPECS): Add %(darwin_minversion).
1204         * config/rs6000/darwin.h (SUBTARGET_OVERRIDE_OPTIONS): Just call
1205         darwin_rs6000_override_options.
1206         (C_COMMON_OVERRIDE_OPTIONS): Expect
1207         darwin_macosx_version_min to be non-NULL always.
1208         (TARGET_C99_FUNCTIONS): Likewise.
1209         (CC1_SPEC): Always pass -mmacosx-version-min to cc1*.
1210         (DARWIN_MINVERSION_SPEC): New.
1211         * config/rs6000/rs6000.c (darwin_rs6000_override_options): New.
1212         * config/i386/darwin.h (CC1_SPEC): Always pass -mmacosx-version-min
1213         to cc1*.
1214         (DARWIN_MINVERSION_SPEC): New.
1215         * config/darwin.opt (mmacosx-version-min): Initialize to non-NULL
1216         value.
1217         * config/darwin-c.c (darwin_cpp_builtins): Expect
1218         darwin_macosx_version_min to be non-NULL always.
1219
1220         * config/rs6000/rs6000.c: Clean up trailing whitespace.
1221
1222 2007-02-16  Uros Bizjak  <ubizjak@gmail.com>
1223
1224         * config/i386/i386.h (x86_use_xchgb): New.
1225         (TARGET_USE_XCHGB): New macro.
1226         * config/i386/i386.c (x86_use_xchgb): Set for PENT4.
1227         * config/i386/i386.md (*rotlhi3_1 splitter, *rotrhi3_1 splitter):
1228         Split after reload into bswaphi for shifts of 8.
1229         (bswaphi_lowpart): Generate rolw insn for HImode byte swaps.
1230         (*bswaphi_lowpart_1): Generate xchgb for Q registers for TARGET_XCHGB
1231         or when optimizing for size.
1232
1233 2007-02-16  Richard Guenther  <rguenther@suse.de>
1234             Christian Bruel  <christian.bruel@st.com>
1235
1236         * fold-const.c (tree_swap_operands_p): Treat SSA_NAMEs like
1237         DECLs but prefer SSA_NAMEs over DECLs.
1238
1239 2007-02-16  Richard Guenther  <rguenther@suse.de>
1240
1241         * tree-flow-inline.h (single_imm_use_p): Remove.
1242         (zero_imm_uses_p): Likewise.
1243         * tree-ssa-coalesce.c (create_outofssa_var_map): Use has_single_use
1244         instead of single_imm_use_p.
1245         * tree-cfg.c (replace_uses_by): Use has_zero_use instead of
1246         zero_imm_uses_p.
1247
1248 2007-02-16  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1249
1250         PR other/27843
1251         * Makefile.in (SYSTEM_HEADER_DIR): Use single quotes to avoid
1252         nested double- and backquotes.
1253
1254 2007-02-15  Roger Sayle  <roger@eyesopen.com>
1255
1256         PR middle-end/30391
1257         * tree.c (expr_align): Handle MODIFY_EXPR.  GIMPLE_MODIFY_STMT
1258         should be unreachable.
1259         (build2_stat): Allow construction of MODIFY_EXPR at any time.
1260         For the time being redirect GIMPLE_MODIFY_STMT to the new
1261         (renamed) build_gimple_modify_stmt_stat.
1262         (build2_gimple_stat): Rename to...
1263         (build_gimple_modify_stmt_stat): Now longer take a CODE argument.
1264         Always build a GIMPLE_MODIFY_STMT node.
1265         * tree.h (build2_gimple, build2_gimple_stat): Delete.
1266         (build_gimple_modify_stmt, build_gimple_modify_stmt_stat): New
1267         declarations.
1268
1269         * tree-cfg.c (factor_computed_gotos, tree_merge_blocks,
1270         gimplify_val): Use build_gimple_modify_stmt instead of build2_gimple.
1271         * tree-complex.c (set_component_ssa_name, expand_complex_move,
1272         expand_complex_div_wide): Likewise.
1273         * tree-ssa-dom.c (record_equivalences_from_stmt): Likewise.
1274         * tree-ssa-loop-im.c (schedule_sm): Likewise.
1275         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Likewise.
1276         * tree-ssa-loop-manip.c (create_iv): Likewise.
1277         * tree-ssa-phiopt.c (conditional_replacement, minmax_replacement,
1278         abs_replacement): Likewise.
1279         * tree-ssa-pre.c (create_expression_by_pieces, poolify_modify_stmt,
1280         realify_fake_stores): Likewise.
1281
1282         * builtins.c (std_expand_builtin_va_start): Build a MODIFY_EXPR
1283         node rather than a GIMPLE_MODIFY_STMT node.
1284         (std_gimpify_va_arg_expr, expand_builtin_va_copy,
1285         fold_builtin_memset, fold_builtin_memory_op, do_mpfr_sincos):
1286         Likewise.
1287         (integer_valued_real_p): Handle MODIFY_EXPR, not GIMPLE_MODIFY_STMT.
1288         * expr.c (expand_expr_real_1): Handle both MODIFY_EXPR and
1289         GIMPLE_MODIFY_STMT.
1290
1291 2007-02-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1292
1293         PR middle-end/30433
1294         * fold-const.c (fold_comparison): Add back the
1295         folding of constant complex comparisions.
1296
1297 2007-02-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1298
1299         PR middle-end/30729
1300         * stmt.c (warn_if_unused_value): VA_ARG_EXPR has side
1301         effects unknown to this function, return early.
1302
1303 2007-02-15  Ian Lance Taylor  <iant@google.com>
1304
1305         * lower-subreg.c (move_eh_region_note): New static function.
1306         (resolve_simple_move): Call it.
1307         (decompose_multiword_subregs): Track blocks for which we resolve a
1308         simple move which is also a control flow insn.  Pass them to
1309         find_many_sub_basic_blocks.
1310         (pass_lower_subreg): Add TODO_verify_flow.
1311         (pass_lower_subreg2): Likewise.
1312
1313 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
1314             Brooks Moses  <brooks.moses@codesourcery.com>
1315             Lee Millward  <lee.millward@codesourcery.com>
1316
1317         * tree.h (enum tree_code_class): Add tcc_vl_exp.
1318         (VL_EXP_CLASS_P): New.
1319         (TREE_OPERAND_CHECK): Use TREE_OPERAND_LENGTH instead of
1320         TREE_CODE_LENGTH.
1321         (TREE_OPERAND_CHECK_CODE): Likewise.
1322         (GIMPLE_STMT_OPERAND_CHECK): Likewise.
1323         (TREE_RTL_OPERAND_CHECK): Likewise.
1324         (tree_operand_check_failed): Make second parameter the whole tree
1325         instead of its code.  Fixed callers.
1326         (VL_EXP_CHECK): New.
1327         (TREE_OPERAND_LENGTH): New.
1328         (VL_EXP_OPERAND_LENGTH): New.
1329         (CALL_EXPR_FN): New.
1330         (CALL_EXPR_STATIC_CHAIN): New.
1331         (CALL_EXPR_ARGS): New.
1332         (CALL_EXPR_ARG): New.
1333         (call_expr_nargs): New.
1334         (CALL_EXPR_ARGP): New.
1335         (build_nt_call_list): Declare.
1336         (build_vl_exp_stat): Declare.
1337         (build_vl_exp): New.
1338         (build_call_list): Declare.
1339         (build_call_nary): Declare.
1340         (build_call_valist): Declare.
1341         (build_call_array): Declare.
1342         (call_expr_arg): Declare.
1343         (call_expr_argp): Declare.
1344         (call_expr_arglist): Declare.
1345         (fold_build_call_list): Declare.
1346         (fold_build_call_list_initializer): Declare.
1347         (fold_call_expr): Declare to replace fold_builtin.
1348         (fold_builtin_fputs): Update to agree with modified definition.
1349         (fold_builtin_strcpy): Likewise.
1350         (fold_builtin_strncpy): Likewise.
1351         (fold_builtin_memory_chk): Likewise.
1352         (fold_builtin_stxcpy_chk): Likewise.
1353         (fold_builtin_strncpy_chk): Likewise.
1354         (fold_builtin_next_arg): Likewise.
1355         (fold_build_call_expr): Declare.
1356         (fold_builtin_call_list): Declare.
1357         (fold_builtin_call_valist): Declare.
1358         (build_call_expr): Declare.
1359         (validate_arglist): Update to agree with modified definition.
1360         (tree_operand_length): New.
1361         (call_expr_arg_iterator): New.
1362         (init_call_expr_arg_iterator): New.
1363         (next_call_expr_arg): New.
1364         (first_call_expr_arg): New.
1365         (more_call_expr_args_p): New.
1366         (FOR_EACH_CALL_EXPR_ARG): New.
1367
1368         * tree.c (tree_code_class_string): Add entries for tcc_vl_exp
1369         and tcc_gimple_stmt.
1370         (tree_code_size): Update documentation.  Use sizeof (tree) rather
1371         than sizeof (char *).
1372         (tree_size): Likewise.  Add case for tcc_vl_exp.
1373         (tree_node_structure): Add case for tcc_vl_exp.
1374         (contains_placeholder_p): Likewise.
1375         (substitute_in_expr): Likewise.
1376         (substitute_placeholder_in_expr): Likewise.
1377         (stabilize_reference_1): Likewise.
1378         (build3_stat): Remove logic for CALL_EXPRs.  Replace with assertion
1379         to diagnose breakage of this interface for constructing CALL_EXPRs.
1380         (build_nt): Add similar assertion here.
1381         (build_nt_call_list): New.
1382         (simple_cst_equal) <CALL_EXPR>: Rewrite to use new accessors.
1383         (iterative_hash_expr): Use TREE_OPERAND_LENGTH instead of
1384         TREE_CODE_LENGTH.
1385         (get_callee_fndecl): Use new CALL_EXPR accessors.
1386         (tree_operand_check_failed): Change parameters to pass entire node
1387         instead of its code, so that we can call TREE_OPERAND_LENGTH on it.
1388         (process_call_operands): New.
1389         (build_vl_exp_stat): New.
1390         (build_call_list): New.
1391         (build_call_nary): New.
1392         (build_call_valist): New.
1393         (build_call_array): New.
1394         (walk_tree): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1395         (call_expr_arglist): New.
1396
1397         * tree.def (CALL_EXPR): Change representation of CALL_EXPRs to use
1398         tcc_vl_exp instead of a fixed-size tcc_expression.
1399
1400         * doc/c-tree.texi (CALL_EXPR): Document new representation and
1401         accessors for CALL_EXPRs.
1402         (AGGR_INIT_EXPR): Likewise.
1403
1404 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
1405             Brooks Moses  <brooks.moses@codesourcery.com>
1406             Lee Millward  <lee.millward@codesourcery.com>
1407
1408         * builtins.c (c_strlen): Return NULL_TREE instead of 0.
1409         (expand_builtin_nonlocal_goto): Change parameter to be entire
1410         CALL_EXPR instead of an arglist.  Use new CALL_EXPR accessors.
1411         (expand_builtin_prefetch): Likewise.
1412         (expand_builtin_classify_type): Likewise.
1413         (mathfn_built_in): Return NULL_TREE instead of 0.
1414         (expand_errno_check): Use new CALL_EXPR accessors.
1415         (expand_builtin_mathfn): Use new CALL_EXPR accessors and constructors.
1416         Return NULL_RTX instead of 0.
1417         (expand_builtin_mathfn_2): Likewise.
1418         (expand_builtin_mathfn_3): Likewise.
1419         (expand_builtin_interclass_mathfn): Likewise.
1420         (expand_builtin_sincos): Likewise.
1421         (expand_builtin_cexpi): Likewise.
1422         (expand_builtin_int_roundingfn): Likewise.
1423         (expand_builtin_int_roundingfn_2): Likewise.
1424         (expand_builtin_pow): Likewise.
1425         (expand_builtin_powi): Likewise.
1426         (expand_builtin_strlen): Pass entire CALL_EXPR as parameter instead
1427         of arglist, fixing callers appropriately.  Use new CALL_EXPR
1428         accessors and constructors.  Return NULL_RTX instead of 0.
1429         (expand_builtin_strstr): Likewise.
1430         (expand_builtin_strchr): Likewise.
1431         (expand_builtin_strrchr): Likewise.
1432         (expand_builtin_strpbrk): Likewise.
1433         (expand_builtin_memcpy): Likewise.
1434         (expand_builtin_mempcpy): Likewise.
1435         (expand_builtin_mempcpy_args): New.
1436         (expand_builtin_memmove): Similarly to expand_builtin_mempcpy.
1437         (expand_builtin_memmove_args): New.
1438         (expand_builtin_bcopy): Similarly to expand_builtin_mempcpy.
1439         (expand_movstr): Likewise.
1440         (expand_builtin_strcpy): Likewise.
1441         (expand_builtin_strcpy_args): New.
1442         (expand_builtin_stpcpy): Similarly to expand_builtin_strcpy.
1443         (expand_builtin_strncpy): Likewise.
1444         (expand_builtin_memset): Likewise.
1445         (expand_builtin_memset_args): New.
1446         (expand_builtin_bzero): Similarly to expand_builtin_memset.
1447         (expand_builtin_memcmp): Likewise.
1448         (expand_builtin_strcmp): Likewise.
1449         (expand_builtin_strncmp): Likewise.
1450         (expand_builtin_strcat): Likewise.
1451         (expand_builtin_strncat): Likewise.
1452         (expand_builtin_strspn): Likewise.
1453         (expand_builtin_strcspn): Likewise.
1454         (expand_builtin_args_info): Likewise.
1455         (expand_builtin_va_start): Likewise.
1456         (gimplify_va_arg_expr): Likewise.
1457         (expand_builtin_va_end): Likewise.
1458         (expand_builtin_va_copy): Likewise.
1459         (expand_builtin_frame_address): Likewise.
1460         (expand_builtin_alloca): Likewise.
1461         (expand_builtin_bswap): Likewise.
1462         (expand_builtin_unop): Likewise.
1463         (expand_builtin_fputs): Likewise.
1464         (expand_builtin_expect): Likewise.
1465         (expand_builtin_fabs): Likewise.
1466         (expand_builtin_copysign): Likewise.
1467         (expand_builtin_printf): Likewise.
1468         (expand_builtin_fprintf): Likewise.
1469         (expand_builtin_sprintf): Likewise.
1470         (expand_builtin_init_trampoline): Likewise.
1471         (expand_builtin_signbit): Likewise.
1472         (expand_builtin_fork_or_exec): Likewise.
1473         (expand_builtin_sync_operation): Likewise.
1474         (expand_builtin_compare_and_swap): Likewise.
1475         (expand_builtin_lock_test_and_set): Likewise.
1476         (expand_builtin_lock_release): Likewise.
1477         (expand_builtin): Likewise.
1478         (builtin_mathfn_code): Likewise.
1479
1480         (fold_builtin_constant_p): Pass call arguments individually instead
1481         of as an arglist, fixing callers appropriately.  Use new CALL_EXPR
1482         accessors and constructors.  Return NULL_TREE instead of 0.
1483         (fold_builtin_expect): Likewise.
1484         (fold_builtin_classify_type): Likewise.
1485         (fold_builtin_strlen): Likewise.
1486         (fold_builtin_nan): Likewise.
1487         (integer_valued_real_p): Likewise.
1488         (fold_trunc_transparent_mathfn): Likewise.
1489         (fold_fixed_mathfn): Likewise.
1490         (fold_builtin_cabs): Likewise.
1491         (fold_builtin_sqrt): Likewise.
1492         (fold_builtin_cbrt): Likewise.
1493         (fold_builtin_cos): Likewise.
1494         (fold_builtin_cosh): Likewise.
1495         (fold_builtin_tan): Likewise.
1496         (fold_builtin_sincos): Likewise.
1497         (fold_builtin_cexp): Likewise.
1498         (fold_builtin_trunc): Likewise.
1499         (fold_builtin_floor): Likewise.
1500         (fold_builtin_ceil): Likewise.
1501         (fold_builtin_round): Likewise.
1502         (fold_builtin_int_roundingfn): Likewise.
1503         (fold_builtin_bitop): Likewise.
1504         (fold_builtin_bswap): Likewise.
1505         (fold_builtin_logarithm): Likewise.
1506         (fold_builtin_hypot): Likewise.
1507         (fold_builtin_pow): Likewise.
1508         (fold_builtin_powi): Likewise.
1509         (fold_builtin_exponent): Likewise.
1510         (fold_builtin_memset): Likewise.
1511         (fold_builtin_bzero): Likewise.
1512         (fold_builtin_memory_op): Likewise.
1513         (fold_builtin_bcopy): Deleted; call site changed to invoke
1514         fold_builtin_memory_op directly.
1515         (fold_builtin_strcpy): Similarly as for fold_builtin_memory_op.
1516         (fold_builtin_strncpy): Likewise.
1517         (fold_builtin_memcmp): Likewise.
1518         (fold_builtin_strcmp): Likewise.
1519         (fold_builtin_strncmp): Likewise.
1520         (fold_builtin_signbit): Likewise.
1521         (fold_builtin_copysign): Likewise.
1522         (fold_builtin_isascii): Likewise.
1523         (fold_builtin_toascii): Likewise.
1524         (fold_builtin_isdigit): Likewise.
1525         (fold_builtin_fabs): Likewise.
1526         (fold_builtin_abs): Likewise.
1527         (fold_builtin_fmin_fmax): Likewise.
1528         (fold_builtin_carg): Likewise.
1529         (fold_builtin_classify): Likewise.
1530         (fold_builtin_unordered_cmp): Likewise.
1531
1532         (fold_builtin_0, fold_builtin_2, fold_builtin_3, fold_builtin_4):
1533         New functions split out from fold_builtin_1.
1534         (fold_builtin_n): New.
1535         (fold_builtin_varargs): New.
1536         (fold_builtin): Deleted.  Most callers changed to use fold_call_expr
1537         instead.
1538         (fold_call_expr): New.
1539         (build_function_call_expr): Rewrite to use new helper function.
1540         (fold_builtin_call_list): New.
1541         (build_call_expr): New.
1542         (fold_builtin_call_valist): New.
1543         (rewrite_call_expr): New.
1544         (validate_arg): New.
1545         (validate_arglist): Change parameter to be entire CALL_EXPR instead
1546         of an arglist.  Change return type to bool.  Use new CALL_EXPR
1547         accessors.
1548
1549         (fold_builtin_strstr):  Pass call arguments individually instead
1550         of as an arglist, fixing callers appropriately.  Use new CALL_EXPR
1551         accessors and constructors.  Return NULL_TREE instead of 0.
1552         (fold_builtin_strchr): Likewise.
1553         (fold_builtin_strrchr): Likewise.
1554         (fold_builtin_strpbrk): Likewise.
1555         (fold_builtin_strcat): Likewise.
1556         (fold_builtin_strncat): Likewise.
1557         (fold_builtin_strspn): Likewise.
1558         (fold_builtin_strcspn): Likewise.
1559         (fold_builtin_fputs): Likewise.
1560         (fold_builtin_next_arg): Likewise.
1561         (fold_builtin_sprintf): Likewise.
1562
1563         (expand_builtin_object_size): Use new CALL_EXPR accessors.  Use
1564         NULL_RTX instead of 0.
1565         (expand_builtin_memory_chk): Likewise.
1566         (maybe_emit_chk_warning): Likewise.
1567         (maybe_emit_sprintf_chk_warning): Likewise.
1568
1569         (fold_builtin_object_size): Pass call arguments individually instead
1570         of as an arglist, fixing callers appropriately.  Use new CALL_EXPR
1571         accessors and constructors.  Return NULL_TREE instead of 0.
1572         (fold_builtin_memory_chk): Likewise.
1573         (fold_builtin_stxcpy_chk): Likewise.
1574         (fold_builtin_strncpy_chk): Likewise.
1575         (fold_builtin_strcat_chk): Likewise.
1576         (fold_builtin_strcat_chk): Likewise.
1577         (fold_builtin_strncat_chk): Likewise.
1578         (fold_builtin_sprintf_chk): Likewise.
1579         (fold_builtin_snprintf_chk): Likewise.
1580         (fold_builtin_printf): Likewise.
1581         (fold_builtin_vprintf): Likewise.
1582
1583         * fold-const.c (negate_expr_p): Use new CALL_EXPR accessors and
1584         constructors.
1585         (operand_equal_p): Add separate tcc_vl_exp/CALL_EXPR case.
1586         (make_range): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1587         (extract_muldiv_1): Add VL_EXP_CLASS_P case.
1588         (fold_mathfn_compare): Use new CALL_EXPR accessors and constructors.
1589         (fold_unary): Likewise.
1590         (fold_binary): Likewise.
1591         (fold_ternary): Remove CALL_EXPR case, since they are no longer
1592         ternary expressions.
1593         (fold): Add logic for tcc_vl_exp.
1594         (fold_checksum_tree):  Make it know about tcc_vl_exp.  Use
1595         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1596         (fold_build3_stat): Add assertion to flag broken interface for
1597         constructing CALL_EXPRs.
1598         (fold_build_call_list): New.
1599         (fold_build_call_list_initializer): New.
1600         (tree_expr_nonnegative_p): Use new CALL_EXPR accessors and
1601         constructors.
1602         (fold_strip_sign_ops): Likewise.
1603
1604 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
1605             Brooks Moses  <brooks.moses@codesourcery.com>
1606             Lee Millward  <lee.millward@codesourcery.com>
1607
1608         * tree-dump.c (dequeue_and_dump) <CALL_EXPR>: Use new CALL_EXPR
1609         accessors and dump arguments explicitly.
1610
1611         * tree-pretty-print.c (do_niy): Use TREE_OPERAND_LENGTH instead of
1612         TREE_CODE_LENGTH.
1613         (dump_generic_node): Use new CALL_EXPR accessors and walk arguments
1614         explicitly.
1615         (print_call_name): Use new CALL_EXPR accessors.
1616
1617         * print-tree.c (print_node): Add case tcc_vl_exp.  Print
1618         CALL_EXPR arguments explicitly instead of as a list.  Use
1619         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1620
1621         * tree-vrp.c (stmt_interesting_for_vrp): Use new CALL_EXPR accessors.
1622         (vrp_visit_stmt): Likewise.
1623
1624         * tree-ssa-loop-im.c (outermost_invariant_loop_expr):  Make it
1625         know about tcc_vl_exp.  Use TREE_OPERAND_LENGTH instead of
1626         TREE_CODE_LENGTH.
1627         (force_move_till_expr): Likewise.
1628
1629         * targhooks.c (default_external_stack_protect_fail): Use
1630         build_call_expr instead of build_function_call_expr.
1631         (default_hidden_stack_protect_fail): Likewise.
1632
1633         * tree-complex.c (expand_complex_libcall): Use build_call_expr to
1634         build the call.
1635
1636         * cgraphbuild.c (build_cgraph_edges): Use new CALL_EXPR accessors
1637         and walk arguments explicitly.
1638
1639         * tree-ssa-loop-niter.c (simplify_replace_tree): Use
1640         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1641         (expand_simple_operations): Likewise.
1642         (infer_loop_bounds_from_array): Use new CALL_EXPR accessors.
1643
1644         * gengtype.c (adjust_field_tree_exp): Use TREE_OPERAND_LENGTH instead
1645         of TREE_CODE_LENGTH.
1646         (walk_type): Tweak walking of arrays not to blow up on CALL_EXPRs.
1647
1648         * optabs.c (expand_widen_pattern-expr): Use TREE_OPERAND_LENGTH
1649         instead of TREE_CODE_LENGTH.
1650
1651         * value_prof.c (tree_ic): Use new CALL_EXPR accessors.
1652         (tree_ic_transform): Likewise.
1653         (interesting_stringop_to_profile_p): Pass entire CALL_EXPR as
1654         parameter instead of arglist.  Fix callers.
1655         (tree_stringop_fixed_value): Use new CALL_EXPR accessors.
1656         (tree_stringops_transform): Likewise.
1657         (tree_indirect_call_to_profile): Likewise.
1658         (tree_stringops_values_to_profile): Likewise.
1659
1660         * tree-tailcall.c (find_tail_calls): Use new CALL_EXPR iterator.
1661         (eliminate_tail_call): Likewise.
1662
1663         * ipa-cp.c (ipcp_update_callgraph): Use new CALL_EXPR accessors.
1664
1665         * tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop):
1666         Use TREE_OPERAND_LENGTH and generalize to handle any number of
1667         operands.
1668         (instantiate_parameters_1): Can't handle tcc_vl_exp here.
1669
1670         * omp-low.c (build_omp_barrier): Use build_call_expr.
1671         (lower_rec_input_clauses): Likewise.
1672         (lower_reduction_clauses): Likewise.
1673         (expand_parallel_call): Likewise.
1674         (maybe_catch_exception): Likewise.
1675         (expand_omp_for_generic): Likewise.
1676         (expand_omp_for_static_nochunk): Likewise.
1677         (expand_omp_sections): Likewise.
1678         (lower_omp_single_simple): Likewise.
1679         (lower_omp_single_copy): Likewise.
1680         (lower_omp_master): Likewise.
1681         (lower_omp_ordered): Likewise.
1682         (lower_omp_critical): Likewise.
1683
1684         * ipa-reference.c (check-call): Use new CALL_EXPR iterator.
1685         (scan_for_static_refs): Create tcc_vl_exp case for CALL_EXPR.
1686
1687         * tree-gimple.c (is_gimple_call_addr): Fix doc.
1688         (recalculate_side_effects): Use TREE_OPERAND_LENGTH instead of
1689         TREE_CODE_LENGTH.  Add tcc_vl_exp case.
1690
1691         * tree-chrec.c (chrec_contains_symbols): Use TREE_OPERAND_LENGTH
1692         and generalize to handle any number of operands.
1693         (chrec_contains_undetermined): Likewise.
1694         (tree_contains_chrecs): Likewise.
1695         (evolution_function_is_invariant_rec_p): Use TREE_OPERAND_LENGTH.
1696
1697         * cgraphunit.c (update_call_expr): Use new CALL_EXPR accessors.
1698
1699         * tree-ssa-ccp.c (ccp_fold): Use new CALL_EXPR accessors.  Use
1700         fold_call_expr instead of fold_builtin.
1701         (ccp_fold_builtin): Likewise.  Update calls into builtins.c to
1702         match declarations there.
1703         (fold_stmt): Use new CALL_EXPR constructor and accessors.  Doc
1704         updates.
1705
1706         * tree-ssa-loop-ivopts.c (expr_invariant_in_loop_p): Use
1707         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1708
1709         * ipa-pure-const.c (check_call): Use new CALL_EXPR accessors.
1710         (scan_function): Add case tcc_vl_exp for CALL_EXPR.
1711
1712         * tree-stdarg.c (execute_optimize_stdarg): Use new CALL_EXPR
1713         accessors.
1714
1715         * tree-ssa-math-opts.c (execute_cse_sincos_1): Use build_call_expr.
1716         (execute_cse_sincos): Use new CALL_EXPR accessors.
1717
1718         * tree-ssa-alias.c (find_used_portions): Use new CALL_EXPR iterator.
1719
1720         * gimple-low.c (lower_function_body): Use build_call_expr.
1721         (lower_builtin_setjmp): Likewise.
1722
1723         * expr.c (emit_block_move_via_libcall): Use build_call_expr.
1724         (set_storage_via_libcall): Likewise.
1725         (safe_from_p): Add tcc_vl_exp case.  Use TREE_OPERAND_LENGTH
1726         instead of TREE_CODE_LENGTH.
1727         (expand_expr_real_1): Use new CALL_EXPR accessors.
1728
1729         * tree-browser.c (store_child_info): Use TREE_OPERAND_LENGTH and
1730         generalize to handle any number of operands.
1731         (TB_parent_eq): Likewise.
1732
1733         * predict.c (expr_expected_value): Use new CALL_EXPR accessors.
1734         (strip_builtin_expect): Likewise.
1735
1736         * function.c (gimplify_parameters): Use build_call_expr.
1737
1738         * tree-vectorizer.c (vect_is_simple_reduction): Use TREE_OPERAND_LENGTH
1739         instead of TREE_CODE_LENGTH.
1740
1741         * ipa-type-escape.c (check_call): Use new CALL_EXPR iterators.
1742         (scan_for_refs): Add case tcc_vl_exp for CALL_EXPR.
1743
1744         * tree-data-ref.c (get_references_in_stmt): Use new CALL_EXPR
1745         iterators.
1746
1747         * gimplify.c (build_stack_save_restore): Use build_call_expr.
1748         (gimplify_decl_expr): Likewise.
1749         (gimplify_call_expr): Use fold_call_expr instead of fold_builtin.
1750         Use new CALL_EXPR iterators.
1751         (gimplify_modify_expr_to_memcpy): Use build_call_expr.
1752         (gimplify_modify_expr_to_memset): Likewise.
1753         (gimplify_variable_sized_compare): Likewise.
1754         (gimplify_omp_atomic_fetch_op): Likewise.
1755         (gimplify_omp_atomic_pipeline): Likewise.
1756         (gimplify_omp_atomic_mutex): Likewise.
1757         (gimplify_function_tree): Likewise.
1758
1759         * calls.c (alloca_call_p): Use new CALL_EXPR accessors.
1760         (call_expr_flags): Likewise.
1761         (expand_call): Likewise.
1762
1763         * except.c (expand_builtin_eh_return_data_regno): Pass entire
1764         CALL_EXPR as parameter instead of arglist.  Use new CALL_EXPR
1765         accessors.
1766
1767         * coverage.c (create_coverage): Use build_call_expr.
1768
1769         * tree-ssa-pre.c (expression_node_pool, list_node_pool): Delete.
1770         (temp_call_expr_obstack): New.
1771         (pool_copy_list): Delete.
1772         (temp_copy_call_expr): New.
1773         (phi_translate): Add case tcc_vl_exp for CALL_EXPR.  Use new
1774         CALL_EXPR accessors.  Get rid of special goo for copying argument
1775         lists and use temp_copy_call_expr instead.
1776         (valid_in_sets): Add case tcc_vl_exp for CALL_EXPR.  Use new
1777         CALL_EXPR accessors.
1778         (create_expression_by_pieces): Likewise.  Use build_call_array
1779         to construct the result instead of fold_build3.
1780         (create_value_expr_from): Add tcc_vl_exp.  Delete special goo for
1781         dealing with argument lists.
1782         (init_pre): Remove references to expression_node_pool and
1783         list_node_pool.  Init temp_call_expr_obstack instead.
1784         (fini_pre): Remove references to expression_node_pool and
1785         list_node_pool.
1786
1787         * tree-sra.c (sra_walk_call_expr): Use new CALL_EXPR accessors
1788         and walk arguments explicitly instead of as a list.
1789
1790         * tree-mudflap.c (mf_build_check_statement_for): Use build_call_expr.
1791         (mx_register_decls): Likewise.
1792         (mudflap_register_call): Likewise.
1793         (mudflap_finish_file): Likewise.
1794
1795         * ipa-prop.c (ipa_callsite_compute_count): Use new CALL_EXPR accessors.
1796         (ipa_callsite_compute_param): Likewise.
1797
1798         * tree-vect-patterns.c (vect_recog_pow_pattern): Use new CALL_EXPR
1799         accessors and constructor.
1800
1801         * tree-nested.c (convert_nl_goto_reference): Use new CALL_EXPR
1802         accessors and constructor.
1803         (convert_tramp_reference): Likewise.
1804         (convert_call_expr): Likewise.
1805         (finalize_nesting_tree_1): Likewise.
1806
1807         * tree-ssa.c (tree_ssa_useless_type_conversion): Use new CALL_EXPR
1808         accessors.
1809
1810         * tree-ssa-loop-prefetch.c (issue_prefetch_ref): Use build_call_expr.
1811
1812         * tree-inline.c (initialize_inlined_parameters): Pass entire
1813         CALL_EXPR as parameter instead of arglist.  Use new CALL_EXPR
1814         accessors.
1815         (estimate_num_insns_1): Use new CALL_EXPR accessors.
1816         (expand_call_inline): Tidy up call to initialize_inlined_parameters.
1817
1818         * tree-vect-transform.c (vect_create_epilog_for_reduction):  Use
1819         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1820         (vectorizable_reduction): Likewise.
1821         (vectorizable_call): Use new CALL_EXPR iterators.
1822         (vectorizable_conversion): Use build_call_expr.
1823         (vectorizable_operation): Use TREE_OPERAND_LENGTH.
1824         (vect_gen_widened_results_half): Use build_call_expr.
1825         (vect_setup_realignment): Likewise.
1826         (vectorizable_live_operation): Use TREE_OPERAND_LENGTH.
1827
1828         * tree-object-size.c (alloc_object_size): Use new CALL_EXPR accessors.
1829         (pass_through_call): Likewise.
1830         (compute_object_sizes): Likewise.  Use fold_call_expr instead of
1831         fold_builtin.
1832
1833         * tree-profile.c (tree_gen_interval_profiler): Use build_call_expr.
1834         (tree_gen_pow2_profiler): Likewise.
1835         (tree_gen_one_value_profiler): Likewise.
1836         (tree_gen_ic_func_profiler): Likewise.
1837         (tree_gen_average_profiler): Likewise.
1838         (tree_gen_ior_profiler): Likewise.
1839
1840         * tree-ssa-structalias.c (get_constraint_for): Add case tcc_vl_exp.
1841         (find_func_aliases): Use new CALL_EXPR accessors.  Add case
1842         tcc_vl_exp.  Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1843
1844         * tree-ssa-reassoc.c (get_rank): Use TREE_OPERAND_LENGTH instead
1845         of TREE_CODE_LENGTH.
1846
1847         * stmt.c (warn_if_unused_value): Use TREE_OPERAND_LENGTH instead
1848         of TREE_CODE_LENGTH.
1849
1850         * convert.c (convert_to_real): Use new CALL_EXPR accessors and
1851         constructor.
1852         (convert_to_integer): Likewise.
1853
1854         * tree-ssa-operands.c (get_call_expr_operands): Use new CALL_EXPR
1855         accessors.
1856
1857 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
1858             Brooks Moses  <brooks.moses@codesourcery.com>
1859             Lee Millward  <lee.millward@codesourcery.com>
1860
1861         * config/alpha/alpha.c (alpha_expand_builtin): Use new CALL_EXPR
1862         accessors.
1863         * config/frv/frv.c (frv_expand_builtin): Likewise.
1864         * config/s390/s390.c (s390_expand_builtin): Likewise.
1865
1866         * config/sparc/sparc.c (sparc_gimplify_va_arg): Use build_call_expr.
1867         (sparc_expand_builtin): Use new CALL_EXPR accessors.
1868
1869         * config/i386/i386.c (ix86_function_ok_for_sibcall): Likewise.
1870         (ix86_expand_binop_builtin): Pass entire CALL_EXPR as parameter
1871         instead of arglist.  Use new CALL_EXPR accessors on it.  Fix callers.
1872         (ix86_expand_store_builtin): Likewise.
1873         (ix86_expand_unop_builtin): Likewise.
1874         (ix86_expand_unop1_builtin): Likewise.
1875         (ix86_expand_sse_compare): Likewise.
1876         (ix86_expand_sse_comi): Likewise.
1877         (ix86_expand_vec_init_builtin): Likewise.
1878         (ix86_expand_vec_ext_builtin): Likewise.
1879         (ix86_expand_vec_set_builtin): Likewise.
1880         (ix86_expand_builtin): Use new CALL_EXPR accessors.
1881
1882         * config/sh/sh.c (sh_expand_builtin): Use new CALL_EXPR accessors.
1883         * config/c4x/c4x.c (c4x_expand_builtin): Likewise.
1884
1885         * config/iq2000/iq2000.c (expand_one_builtin): Pass entire CALL_EXPR
1886         instead of arglist.  Use new CALL_EXPR accessors.  Fix callers.
1887         (iq2000_expand_builtin): Use new CALL_EXPR accessors.
1888
1889         * config/rs6000/rs6000-c.c (altivec_build_resolved_builtin): Use
1890         build_call_expr.
1891         * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Likewise.
1892         (rs6000_expand_unop_builtin): Pass entire CALL_EXPR instead of
1893         arglist.  Use new CALL_EXPR accessors.  Fix callers.
1894         (altivec_expand_abs_builtin): Likewise.
1895         (rs6000_expand_binop_builtin): Likewise.
1896         (altivec_expand_predicate_builtin): Likewise.
1897         (altivec_expand_lv_builtin): Likewise.
1898         (spe_expand_stv_builtin): Likewise.
1899         (altivec_expand_stv_builtin): Likewise.
1900         (rs6000_expand_ternop_builtin): Likewise.
1901         (altivec_expand_ld_builtin): Use new CALL_EXPR accessors.
1902         (altivec_expand_st_builtin): Likewise.
1903         (altivec_expand_dst_builtin): Likewise.
1904         (altivec_expand_vec_init_builtin): Pass entire CALL_EXPR instead of
1905         arglist.  Use new CALL_EXPR accessors.  Fix callers.
1906         (altivec_expand_vec_set_builtin): Likewise.
1907         (altivec_expand_vec_ext_builtin): Likewise.
1908         (altivec_expand_builtin): Use new CALL_EXPR accessors.
1909         (spe_expand_builtin): Likewise.
1910         (spe_expand_predicate_builtin): Pass entire CALL_EXPR instead of
1911         arglist.  Use new CALL_EXPR accessors.  Fix callers.
1912         (spe_expand_evsel_builtin): Likewise.
1913         (rs6000_expand_builtin): Use new CALL_EXPR accessors.  VCFUX and
1914         FCFSX cases must construct whole new CALL_EXPR, not just arglist.
1915
1916         * config/arm/arm.c (arm_expand_binop_builtin): Pass entire CALL_EXPR
1917         instead of arglist.  Use new CALL_EXPR accessors.  Fix callers.
1918         (arm_expand_unop_builtin): Likewise.
1919         (arm_expand_builtin): Use new CALL_EXPR accessors.
1920
1921         * config/mips/mips.c (mips_expand_builtin):  Use new CALL_EXPR
1922         accessors.
1923
1924         * config/bfin/bfin.c (bfin_expand_binop_builtin): Pass entire CALL_EXPR
1925         instead of arglist.  Use new CALL_EXPR accessors.  Fix callers.
1926         (bfin_expand_unop_builtin): Likewise.
1927         (bfin_expand_builtin): Use new CALL_EXPR accessors.
1928
1929 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
1930             Brooks Moses  <brooks.moses@codesourcery.com>
1931             Lee Millward  <lee.millward@codesourcery.com>
1932
1933         * c-semantics.c (build_stmt): Add internal diagnostic check.
1934
1935         * c-pretty-print.c (pp_c_postfix_expression): Use new CALL_EXPR
1936         accessors.  Print arguments explicitly instead of as a list.
1937
1938         * c-typeck.c (build_function_call): Use new CALL_EXPR constructors.
1939
1940         * c-omp.c (c_finish_omp_barrier): Use build_call_expr.
1941         (c_finish_omp_flish): Likewise.
1942
1943         * c-common.c (verify_tree): Use new CALL_EXPR accessors.  Traverse
1944         arguments explicitly instead of as a list.  Use TREE_OPERAND_LENGTH
1945         instead of TREE_CODE_LENGTH.
1946         (check_function_arguments_recurse): Use new CALL_EXPR accessors.
1947         (c_warn_unused_result): Likewise.
1948
1949 2007-02-15  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1950
1951         PR c/26494
1952         * doc/invoke.texi (Warning Options): Remove
1953         -Werror-implicit-function-declaration.
1954         (Wimplicit-function-declaration): Update description.
1955         * opts.c (common_handle_option): Move handling of -Werror=* to...
1956         (enable_warning_as_error): ...here.
1957         * opts.h (enable_warning_as_error): Declare.
1958         * c-decl.c (implicit_decl_warning): Unless
1959         -Wno-implicit-function-declaration is given, emit a pedwarn if
1960         -std=c99 or emit a warning if -Wimplicit-function-declaration.
1961         * c.opt (Wimplicit-function-declaration): Replace
1962         mesg_implicit_function_declaration with
1963         warn_implicit_function_declaration.
1964         * c-opts.c (c_common_handle_option):
1965         -Werror-implicit-function-declaration is exactly equal as
1966         -Werror=implicit-function-declaration.
1967         (set_Wimplicit): Replace mesg_implicit_function_declaration with
1968         warn_implicit_function_declaration.
1969         (c_common_post_options): -Wimplict-function-declaration is enabled
1970         by default by -std=c99, otherwise is disabled by default.
1971         * c-objc-common.c (c_objc_common_init): Remove flawed logic.
1972
1973 2007-02-15  Eric Botcazou  <ebotcazou@adacore.com>
1974
1975         * gimplify.c (gimplify_modify_expr): During gimplification, attach a
1976         DECL on the rhs to a DECL on the lhs for debug info purposes if the
1977         former is ignored but not the latter.
1978
1979 2007-02-15  Eric Botcazou  <ebotcazou@adacore.com>
1980
1981         * expr.c (expand_expr_real_1) <normal_inner_ref>: If a temporary
1982         is made and the reference doesn't use the alias set of its type,
1983         do not create the temporary using that type.
1984
1985 2007-02-15  Aldy Hernandez  <aldyh@redhat.com>
1986
1987         * jump.c: Remove prototypes for delete_computation and
1988         delete_prior_computation.
1989
1990 2007-02-15  Paolo Bonzini  <bonzini@gnu.org>
1991
1992         * jump.c (get_label_after): Delete.
1993         (get_label_before, delete_computation, delete_jump,
1994         delete_prior_computation, follow_jumps): Move...
1995         * reorg.c (delete_computation, delete_prior_computation): ... here...
1996         (get_label_before, delete_jump): ... making these static ...
1997         (follow_jumps): ... and simplifying this since it only runs after
1998         reload.
1999         * rtl.h (get_label_after, get_label_before, delete_jump,
2000         follow_jumps): Delete prototypes.
2001
2002 2007-02-15  Paolo Bonzini  <bonzini@gnu.org>
2003
2004         * caller-save.c (save_call_clobbered_regs): Do not process sibcalls.
2005
2006 2007-02-15  Nick Clifton  <nickc@redhat.com>
2007
2008         * varasm.c (default_asm_output_anchor): Prepend * to . symbol in
2009         order to prevent it from being munged by the target.
2010
2011 2007-02-15  Uros Bizjak  <ubizjak@gmail.com>
2012
2013         * config/i386/i386.md: Remove misleading comment.
2014
2015 2007-02-15  Alexandre Oliva  <aoliva@redhat.com>
2016
2017         * config/frv/frv.md (reload_incc, reload_outcc, reload_incc_uns,
2018         reload_outcc_uns, reload_incc_nz, reload_outcc_nz): Remove
2019         invalid patterns.
2020
2021 2007-02-15  Alexandre Oliva  <aoliva@redhat.com>
2022
2023         * tree-sra.c (instantiate_missing_elements): Canonicalize
2024         bit-field types.
2025         (sra_build_assignment): New.
2026         (generate_copy_inout, generate_element_copy,
2027         generate_element_zero, generate_one_element_init): Use it.
2028
2029 2007-02-15  Alexandre Oliva  <aoliva@redhat.com>
2030
2031         * tree-sra.c (instantiate_missing_elements): Canonicalize
2032         bit-field types.
2033         (sra_build_assignment): New.
2034         (generate_copy_inout, generate_element_copy,
2035         generate_element_zero, generate_one_element_init): Use it.
2036
2037 2007-02-15  Alexandre Oliva  <aoliva@redhat.com>
2038
2039         * dwarf2out.c (dwarf2out_finish): Accept namespaces as context of
2040         limbo die nodes.
2041
2042 2007-02-14  Joseph Myers  <joseph@codesourcery.com>
2043
2044         * emit-rtl.c (set_mem_attributes_minus_bitpos): Treat complex
2045         types as aggregates not scalars.
2046         * function.c (assign_stack_temp_for_type): Likewise.
2047
2048 2007-02-14  Roger Sayle  <roger@eyesopen.com>
2049             Zdenek Dvorak  <dvorakz@suse.cz>
2050
2051         * tree-dump.c (dump_switch_p_1): Require exact match of the option
2052         name.
2053
2054 2007-02-14  Zdenek Dvorak  <dvorakz@suse.cz>
2055
2056         * passes.c (next_pass_1): Clear the next field of the copied
2057         pass structure.
2058
2059 2007-02-14  Richard Henderson  <rth@redhat.com>
2060
2061         * tree-sra.c (early_sra): New.
2062         (decl_can_be_decomposed_p): Deny va_list if early_sra.
2063         (tree_sra_early, pass_sra_early): New.
2064         * tree-pass.h (pass_sra_early): Declare.
2065         * passes.c (init_optimization_passes): Use it.
2066
2067 2007-02-14  Richard Guenther  <rguenther@suse.de>
2068
2069         * flags.h (issue_strict_overflow_warning): Convert to a macro.
2070
2071 2007-02-14  Dorit Nuzman  <dorit@il.ibm.com>
2072
2073          PR tree-optimization/30771
2074         * tree-vect-analyze.c (vect_determine_vectorization_factor): Traverse
2075         also phi nodes.
2076         (vect_analyze_operations): Induction phis can now be marked as
2077         used_in_loop.
2078         (vect_mark_stmts_to_be_vectorized): No special treatment for phis.
2079         Update documentation accordingly.
2080
2081 2007-02-14  Nick Clifton  <nickc@redhat.com>
2082
2083         * builtin-types.def (DEF_FUNCTION_TYPE_x): Do not imply that at
2084         most 3 arguments are supported.
2085         (DEF_FUNCTION_TYPE_VAR_5): Fix typo in its description.
2086
2087 2007-02-13  Seongbae Park <seongbae.park@gmail.com>
2088
2089         * bitmap.c (bitmap_and, bitmap_and_compl, bitmap_xor):
2090         Ensure dst->current is valid.
2091
2092 2007-02-13  Paul Brook  <paul@codesourcery.com>
2093
2094         * config.gcc: Add arm*-*-uclinux-*eabi.
2095         * config/arm/uclinux-elf.h (TARGET_OS_CPP_BUILTINS): Define.
2096         (SUBTARGET_EXTRA_LINK_SPEC): Define.
2097         (STARTFILE_SPEC, ENDFILE_SPEC): Remove broken -shared handling.
2098         (LINK_GCC_C_SEQUENCE_SPEC): Undef.
2099         (LINK_SPEC): Define.
2100         (LIB_SPEC): Define.
2101         * config/arm/arm.c (arm_override_options): Use r9 as EABI PIC
2102         register.
2103         * config/arm/uclinux-eabi.h: New file.
2104         * config/arm/linux-eabi.h (WCHAR_TYPE): Remove.
2105         * config/arm/linux-gas.h (WCHAR_TYPE): Use unsigned long on AAPCS
2106         based targets.
2107
2108 2007-02-13  Ian Lance Taylor  <iant@google.com>
2109
2110         * common.opt: Add Wstrict-overflow and Wstrict-overflow=.
2111         * flags.h (warn_strict_overflow): Declare.
2112         (enum warn_strict_overflow_code): Define.
2113         (issue_strict_overflow_warning): New static inline function.
2114         * opts.c (warn_strict_overflow): New variable.
2115         (common_handle_option): Handle OPT_Wstrict_overflow and
2116         OPT_Wstrict_overflow_.
2117         * c-opts.c (c_common_handle_option): Set warn_strict_overflow for
2118         OPT_Wall.
2119         * fold-const.c: Include intl.h.
2120         (fold_deferring_overflow_warnings): New static variable.
2121         (fold_deferred_overflow_warning): New static variable.
2122         (fold_deferred_overflow_code): New static variable.
2123         (fold_defer_overflow_warnings): New function.
2124         (fold_undefer_overflow_warnings): New function.
2125         (fold_undefer_and_ignore_overflow_warnings): New function.
2126         (fold_deferring_overflow_warnings_p): New function.
2127         (fold_overflow_warning): New static function.
2128         (make_range): Add strict_overflow_p parameter.  Change all
2129         callers.
2130         (extract_muldiv, extract_muldiv_1): Likewise.
2131         (fold_unary) [ABS_EXPR]: Check ABS_EXPR before calling
2132         tree_expr_nonnegative_p.
2133         (fold_negate_expr): Call fold_overflow_warning.
2134         (fold_range_test): Likewise.
2135         (fold_comparison): Likewise.
2136         (fold_binary): Likewise.  Call tree_expr_nonnegative_warnv_p
2137         instead of tree_expr_nonnegative_p.
2138         (tree_expr_nonnegative_warnv_p): Rename from
2139         tree_expr_nonnegative_p, add strict_overflow_p parameter.
2140         (tree_expr_nonnegative_p): New function.
2141         (tree_expr_nonzero_warnv_p): Rename from tree_expr_nonzero_p, add
2142         strict_overflow_p parameter.
2143         (tree_expr_nonzero_p): New function.
2144         * passes.c (verify_interpass_invariants): New static function.
2145         (execute_one_pass): Call it.
2146         * tree-ssa-loop-niter.c (expand_simple_operations): Ignore fold
2147         warnings.
2148         (number_of_iterations_exit, loop_niter_by_eval): Likewise.
2149         (estimate_numbers_of_iterations): Likewise.
2150         (scev_probably_wraps_p): Likewise.
2151         * tree-ssa-ccp.c: Include "toplev.h".
2152         (evaluate_stmt): Defer fold overflow warnings until we know we are
2153         going to optimize.
2154         (struct fold_stmt_r_data): Add stmt field.
2155         (fold_stmt_r): Defer fold overflow warnings until we know we
2156         optimized.
2157         (fold_stmt): Initialize stmt field of fold_stmt_r_data.
2158         (fold_stmt_inplace): Likewise.
2159         * tree-cfgcleanup.c: Include "toplev.h" rather than "errors.h".
2160         (cleanup_control_expr_graph): Defer fold overflow warnings until
2161         we know we are going to optimize.
2162         * tree-cfg.c (fold_cond_expr_cond): Likewise.
2163         * tree-ssa-threadedge.c (simplify_control_stmt_condition):
2164         Likewise.
2165         * tree-vrp.c (vrp_expr_computes_nonnegative): Call
2166         tree_expr_nonnegative_warnv_p instead of tree_expr_nonnegative_p.
2167         * tree-ssa-loop-manip.c (create_iv): Likewise.
2168         * c-typeck.c (build_conditional_expr): Likewise.
2169         (build_binary_op): Likewise.
2170         * tree-vrp.c (vrp_expr_computes_nonzero): Call
2171         tree_expr_nonzero_warnv_p instead of tree_expr_nonzero_p.
2172         (extract_range_from_unary_expr): Likewise.
2173         * simplify-rtx.c (simplify_const_relational_operation): Warn when
2174         assuming that signed overflow does not occur.
2175         * c-common.c (pointer_int_sum): Ignore fold overflow warnings.
2176         * tree.h (tree_expr_nonnegative_warnv_p): Declare.
2177         (fold_defer_overflow_warnings): Declare.
2178         (fold_undefer_overflow_warnings): Declare.
2179         (fold_undefer_and_ignore_overflow_warnings): Declare.
2180         (fold_deferring_overflow_warnings_p): Declare.
2181         (tree_expr_nonzero_warnv_p): Declare.
2182         * doc/invoke.texi (Option Summary): Add -Wstrict-overflow to list
2183         of warning options.
2184         (Warning Options): Document -Wstrict-overflow.
2185         * Makefile.in (tree-ssa-threadedge.o): Depend on toplev.h.
2186         (tree-ssa-ccp.o): Likewise.
2187         (tree-cfgcleanup.o): Change errors.h dependency to toplev.h.
2188         (fold-const.o): Depend on intl.h.
2189
2190 2007-02-13  Ian Lance Taylor  <iant@google.com>
2191
2192         PR middle-end/30751
2193         * lower-subreg.c (resolve_simple_move): Decompose subregs in
2194         addresses.
2195
2196 2007-02-13  Stuart Hastings  <stuart@apple.com>
2197
2198         * gcc/config/i386/i386.md (fixuns_truncdfhi2): Require SSE2.
2199
2200 2007-02-13  Richard Henderson  <rth@redhat.com>
2201
2202         * config/alpha/alpha.c (alpha_stdarg_optimize_hook): Strip
2203         handled_component_p before looking for the indirect_ref.
2204
2205 2007-02-13  Richard Henderson  <rth@redhat.com>
2206
2207         * config/i386/i386.md (bswapsi_1): Rename from bswapsi2,
2208         remove flags clobber.
2209         (bswapsi2): New expander, emit code for !TARGET_BSWAP.
2210         (bswaphi_lowpart): New.
2211         (bswapdi2): Rename from bswapdi2_rex, remove flags clobber,
2212         remove TARGET_BSWAP test.  Delete expander of the same name.
2213
2214         * optabs.c (widen_bswap, expand_doubleword_bswap): New.
2215         (expand_unop): Use them.
2216
2217 2007-02-13  Uros Bizjak  <ubizjak@gmail.com>
2218
2219         * config/i386/i386.md (cmpdi_ccno_1_rex64, *cmpsi_ccno_1,
2220         *cmphi_ccno_1, *cmpqi_ccno_1, *movsi_xor, *movstricthi_xor,
2221         *movstrictqi_xor, *movdi_xor_rex64, *ashldi3_1_rex64,
2222         *ashldi3_cmp_rex64, *ashldi3_cconly_rex64, ashlsi3, *ashlsi3_1_zext,
2223         *ashlsi3_cmp, *ashlsi3_cconly, *ashlsi3_cmp_zext, *ashlhi3_1_lea,
2224         *ashlhi3_1, *ashlhi3_cmp, *ashlhi3_cconly, *ashlqi3_1_lea,
2225         *ashlqi3_1, *ashlqi3_cmp, *ashlqi3_cconly): Remove equivalent
2226         assembler dialect choice from asm templates.
2227
2228 2007-02-12  Richard Henderson  <rth@redhat.com>
2229
2230         * config/i386/i386.md (fixuns_trunc<SSEMODEF>si_1): New insn.
2231         (fixuns_trunc<SSEMODEF>si2): Use it.
2232         * config/i386/sse.md (vec_setv4sf_0): Export.
2233         * config/i386/i386.c (ix86_build_const_vector): Export.
2234         (ix86_split_convert_uns_si_sse): Rename from
2235         ix86_expand_convert_uns_si_sse and rewrite as a splitter.
2236         * config/i386/i386-protos.h: Update.
2237
2238 2007-02-13  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2239
2240         PR c/29521
2241         * c-typeck.c (c_finish_return): Improve warning message.
2242
2243 2007-02-12  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2244
2245         * alias.c (find_symbolic_term): Delete unused function.
2246
2247 2007-02-12  Uros Bizjak  <ubizjak@gmail.com>
2248
2249         * config/i386/i386.md (paritydi2, paritysi2): New expanders.
2250         (paritydi2_cmp, paritydi2_cmp): New insn and split patterns.
2251         (*parityhi2_cmp, *parityqi2_cmp): New insn patterns.
2252
2253 2007-02-12  Eric Botcazou  <ebotcazou@adacore.com>
2254
2255         * tree.h (DECL_IGNORED_P): Document further effect for FUNCTION_DECL.
2256         * cgraphunit.c (cgraph_expand_function): If DECL_IGNORED_P is set on
2257         the function, temporarily point the debug interface to the null one.
2258
2259 2007-02-12  Eric Botcazou  <ebotcazou@adacore.com>
2260
2261         * dwarf2out.c (round_up_to_align): New static function.
2262         (field_byte_offset): Use it to round the offset.
2263
2264 2007-02-12  Richard Henderson  <rth@redhat.com>
2265
2266         * config/alpha/alpha.md (bswapsi2, bswapdi2): New.
2267         (inswl_const): Export.
2268
2269 2007-02-12  Richard Henderson  <rth@redhat.com>
2270
2271         * calls.c (emit_library_call_value_1): If PROMOTE_MODE modifed the
2272         result mode of the libcall, convert back to outmode.
2273
2274 2007-02-12  Roger Sayle  <roger@eyesopen.com>
2275
2276         * config/i386/i386.md (*bswapdi2_rex): Renamed from bswapdi2.
2277         (bswapdi2): New define_expand to implement 32-bit implementation.
2278
2279 2007-02-12  Nick Clifton  <nickc@redhat.com>
2280
2281         * doc/invoke.texi (Overall Options): Document --help=.
2282         * gcc.c (target_help_flag): Rename to print_subprocess_flag.
2283         (cc1_options): Pass --help= on to cc1.
2284         (display_help): Add description of --help=.
2285         (process_command): Add code to handle --help=.  Allow translated
2286         --help and --target-help switches to be passed on to compiler
2287         sub-process.
2288         (main): Remove unused if statement.
2289         * opts.c (columns): Remove.
2290         (LEFT_COLUMN): Define.
2291         (wrap_help): Add columns argument.
2292         (print_filtered_help): Change parameters to be an include bitmask,
2293         an exclude bitmask, an any bitmask and the column width.  Move the
2294         code to display the params list here.  Add code to display the
2295         status of options rather than their descriptions if the quiet flag
2296         is not active.
2297         (print_specific_help): Change parameters to be an include bitmask,
2298         an exclude bitmask and an any bitmask.  Move code to look up the
2299         column width here.  Decide upon the title for an options listing.
2300         (common_handle_options): Add code to handle --help=.  Adapt code
2301         for --help and --target-help to use the revised form of the
2302         print_specific_help function.
2303         (print_help): Delete.
2304         (print_param_help): Delete.
2305         (print_switch): Delete.
2306         * opts.h (cl_lang_count): Add prototype.
2307         (CL_PARAMS, CL_WARNING, CL_OPTIMIZATION, CL_MIN_OPTION_CLASS,
2308         CL_MAX_OPTION_CLASS): New defines.
2309         * optc-gen.awk: Add construction of cl_lang_count.
2310         * c.opt: Add Warning attribute to warning options and Optimization
2311         attribute to optimization options.
2312         * common.opt: Likewise.
2313         Add --help=.
2314         Add -fhelp and -ftarget-help as aliases for the transformed --help
2315         and --target-help options.
2316         * opt-functions.awk: Add code to handle Warning and Optimization
2317         attributes.
2318
2319 2007-02-12  Richard Henderson  <rth@redhat.com>
2320
2321         * config/alpha/constraints.md: New file.
2322         * config/alpha/alpha.c: Include tm-constrs.h.
2323         (alpha_const_ok_for_letter_p, alpha_const_double_ok_for_letter_p,
2324         alpha_extra_constraint): Remove.
2325         (alpha_emit_conditional_branch): Use satisfies_constraint_*.
2326         * config/alpha/alpha-protos.h: Update.
2327         * config/alpha/alpha.h (REG_CLASS_FROM_LETTER): Remove.
2328         (CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P): Remove.
2329         (EXTRA_CONSTRAINT): Remove.
2330         * config/alpha/alpha.md: Include constraints.md.
2331         (adddi splitter): Use satisfies_constraint_*.
2332         * config/alpha/predicates.md (add_operand): Likewise.
2333         (sext_add_operand, addition_operation): Likewise.
2334
2335 2007-02-12  Dorit Nuzman  <dorit@il.ibm.com>
2336
2337         PR tree-optimization/29145
2338         * tree-data-ref.c (base_addr_differ_p): Make us more conservative
2339         in our handling of restrict qualified pointers.
2340
2341 2007-02-12  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2342
2343         PR middle-end/7651
2344         * doc/invoke.texi (Wunused-value): Update description.
2345         (Wextra): Delete item.
2346         * opts.c (set_Wextra): Don't use the value of Wextra to set the
2347         value of Wunused-value.
2348         * c-typeck.c (c_process_expr_stmt): Don't check extra_warnings.
2349         (c_finish_stmt_expr): Don't check extra_warnings.
2350         (emit_side_effect_warnings): The caller is responsible to check
2351         warn_unused_value.
2352
2353 2007-02-11  Roger Sayle  <roger@eyesopen.com>
2354             Matt Thomas  <matt@3am-software.com>
2355
2356         * simplify-rtx.c (simplify_relational_operation_1): Correct typo.
2357
2358 2007-02-11  Roger Sayle  <roger@eyesopen.com>
2359
2360         * simplify-rtx.c (simplify_relational_operation_1): Optimize
2361         comparisons of POPCOUNT against zero.
2362         (simplify_const_relational_operation): Likewise.
2363
2364 2007-02-11  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2365
2366         * doc/invoke.texi (Wextra): Delete outdated paragraph.
2367
2368 2007-02-11  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2369
2370         * dwarf2out.c (root_type): Delete unused function.
2371
2372 2007-02-11  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2373
2374         * genattrtab.c (contained_in_p): Delete unused function.
2375         (write_expr_attr_cache): Likewise.
2376
2377 2007-02-11  Jan Hubicka  <jh@suse.cz>
2378
2379         * ipa-inline.c (cgraph_edge_badness): Add "else" missing in the
2380         previous patch.
2381
2382 2007-02-11  Steven Bosscher  <steven@gcc.gnu.org>
2383
2384         * fwprop.c (try_fwprop_subst): Use set_unique_reg_note
2385         to add the REG_EQ* note.
2386         * see.c (see_merge_one_use_extension): Likewise.
2387         * local-alloc.c (update_equiv_regs): Likewise.  Also don't
2388         turn REG_EQUAL notes into REG_EQUIV notes if the target
2389         register may have more than one set.
2390         * function.c (assign_parm_setup_reg): Use set_unique_reg_note.
2391         * gcse.c (try_replace_reg): Likewise.
2392         * alias.c (init_alias_analysis): Use find_reg_equal_equiv_note.
2393         * calls.c (fixup_tail_calls): Likewise.  Abort if there is
2394         more than one REG_EQUIV note.
2395         * reload1.c (gen_reload): Use set_unique_reg_note.
2396
2397 2007-02-11  Uros Bizjak  <ubizjak@gmail.com>
2398
2399         * config/i386/i386.c (TARGET_VECTORIZE_BUILTIN_CONVERSION): Define.
2400         (ix86_builtin_conversion): New function.
2401
2402 2007-02-06  Mark Mitchell  <mark@codesourcery.com>
2403
2404         PR target/29487
2405         * tree.h (DECL_REPLACEABLE_P): New macro.
2406         * except.c (set_nothrow_function_flags): Likewise.
2407
2408 2007-02-11  Tehila Meyzels  <tehila@il.ibm.com>
2409             Ira Rosen  <irar@il.ibm.com>
2410             Dorit Nuzman  <dorit@il.ibm.com>
2411
2412         * doc/tm.texi (TARGET_VECTORIZE_BUILTIN_CONVERSION): New target hook.
2413         * targhooks.c (default_builtin_vectorized_conversion): New.
2414         * targhooks.h (default_builtin_vectorized_function): New declaration.
2415         * target.h (struct vectorize): Add builtin_conversion field.
2416         * tree-vectorizer.h (type_conversion_vec_info_type): New enum
2417         stmt_vec_info_type value.
2418         (vectorizable_conversion): New declaration.
2419         * tree-vect-analyze.c (vect_analyze_operations): Add
2420         vectorizable_conversion call.
2421         * target-def.h (TARGET_VECTORIZE_BUILTIN_CONVERSION): New.
2422         * tree-vect-transform.c (vectorizable_conversion): New function.
2423         (vect_transform_stmt): Add case for type_conversion_vec_info_type.
2424         * tree-vect-generic.c (expand_vector_operations_1): Consider correct
2425         mode.
2426         * config/rs6000/rs6000.c (rs6000_builtin_conversion): New.
2427         (TARGET_VECTORIZE_BUILTIN_CONVERSION): Defined.
2428         (rs6000_expand_builtin): Add handling a case of ALTIVEC_BUILTIN_VCFUX
2429         or ALTIVEC_BUILTIN_VCFSX.
2430
2431 2007-02-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2432
2433         PR target/30634
2434         * pa.md (movdf): For 64-bit target, fail if operand 1 is a non-zero
2435         CONST_DOUBLE and operand 0 is a hard register.
2436         (movdi): For 64-bit target, remove code to force CONST_DOUBLE to
2437         memory.  Fail if operand 1 is a non-zero CONST_INT and operand 0
2438         is a hard floating-point register.
2439
2440 2007-02-10  Richard Henderson  <rth@redhat.com>
2441             Jakub Jelinek  <jakub@redhat.com>
2442             Alexandre Oliva  <aoliva@redhat.com>
2443
2444         * Makefile.in (libgcc-support, libgcc.mvars): Add emutls.c.
2445         * builtin-types.def (BT_WORD): Make unsigned.
2446         (BT_FN_VOID_PTR_WORD_WORD_PTR): New.
2447         * builtins.def (BUILT_IN_EMUTLS_GET_ADDRESS): New.
2448         (BUILT_IN_EMUTLS_REGISTER_COMMON): New.
2449         * c-decl.c (grokdeclarator): Don't error if !have_tls.
2450         * c-parser.c (c_parser_omp_threadprivate): Likewise.
2451         * dwarf2out.c (loc_descriptor_from_tree_1): Don't do anything for
2452         emulated tls.
2453         * expr.c (emutls_var_address): New.
2454         (expand_expr_real_1): Expand emulated tls.
2455         (expand_expr_addr_expr_1): Likewise.
2456         * libgcc-std.ver: Add __emutls_get_address, __emutls_register_common.
2457         * output.h (emutls_finish): Declare.
2458         * toplev.c (compile_file): Call it.
2459         * tree-ssa-address.c (gen_addr_rtx): Check for const-ness of the
2460         address before wrapping in CONST.
2461         * varasm.c (emutls_htab, emutls_object_type): New.
2462         (EMUTLS_VAR_PREFIX, EMUTLS_TMPL_PREFIX): New.
2463         (get_emutls_object_name, get_emutls_object_type): New.
2464         (get_emutls_init_templ_addr, emutls_decl): New.
2465         (emutls_common_1, emutls_finish): New.
2466         (assemble_variable): When emulating tls, swap decls; generate
2467         constructor for the emutls objects.
2468         (do_assemble_alias): When emulating tls, swap decl and target name.
2469         (default_encode_section_info): Don't add SYMBOL_FLAG_TLS_SHIFT
2470         for emulated tls.
2471         * varpool.c (decide_is_variable_needed): Look at force_output.
2472         Recurse for emulated tls.
2473         (cgraph_varpool_remove_unreferenced_decls): Remove checks redundant
2474         with decide_is_variable_needed.
2475         * emutls.c: New file.
2476         * config/sparc/sol2.h (ASM_DECLARE_OBJECT_NAME): Only emit
2477         tls_object for real tls.
2478
2479 2007-02-10  Kaz Kojima  <kkojima@gcc.gnu.org>
2480
2481         PR rtl-optimization/29599
2482         * reload1.c (eliminate_regs_in_insn): Take the destination
2483         mode into account when computing the offset.
2484
2485 2007-02-09  Stuart Hastings  <stuart@apple.com>
2486             Richard Henderson  <rth@redhat.com>
2487
2488         * gcc/config/i386/i386.h (TARGET_KEEPS_VECTOR_ALIGNED_STACK): New.
2489         * gcc/config/i386/darwin.h: (TARGET_KEEPS_VECTOR_ALIGNED_STACK): New.
2490         * gcc/config/i386/i386.md (fixuns_trunc<mode>si2, fixuns_truncsfhi2,
2491         fixuns_truncdfhi2): New.
2492         (fix_truncsfdi_sse): Call ix86_expand_convert_sign_didf_sse.
2493         (floatunsdidf2): Call ix86_expand_convert_uns_didf_sse.
2494         (floatunssisf2): Add call to ix86_expand_convert_uns_sisf_sse.
2495         (floatunssidf2): Allow nonimmediate source.
2496         * gcc/config/i386/sse.md (movdi_to_sse): New.
2497         (vec_concatv2di): Drop '*'.
2498         * gcc/config/i386/i386-protos.h (ix86_expand_convert_uns_si_sse,
2499         ix86_expand_convert_uns_didf_sse, ix86_expand_convert_uns_sidf_sse,
2500         ix86_expand_convert_uns_sisf_sse, ix86_expand_convert_sign_didf_sse):
2501         New.
2502         * gcc/config/i386/i386.c (ix86_expand_convert_uns_si_sse,
2503         ix86_expand_convert_uns_didf_sse, ix86_expand_convert_uns_sidf_sse,
2504         ix86_expand_convert_uns_sisf_sse, ix86_expand_convert_sign_didf_sse,
2505         ix86_build_const_vector, ix86_expand_vector_init_one_nonzero): New.
2506         (ix86_build_signbit_mask): Fix decl of v, refactor to call
2507         ix86_build_const_vector.
2508         (x86_emit_floatuns): Rewrite.
2509
2510 2007-02-10  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2511
2512         * genautomata.c (longest_path_length): Delete unused function.
2513         (struct state): Delete unused longest_path_length.
2514         (UNDEFINED_LONGEST_PATH_LENGTH): Delete unused macro.
2515         (get_free_state): Delete unused.
2516
2517 2007-02-09  Jan Hubicka  <jh@suse.cz>
2518
2519         * params.def (PARAM_INLINE_UNIT_GROWTH): Set to 30.
2520         * doc/invoke.texi (inline-unit-growth): Update default value.
2521
2522         * Makefile.in (passes.o, ipa-inline.o): Add dependencies.
2523         * cgraphbuild.c (build_cgraph_edges): Compute frequencies.
2524         (rebuild_cgraph_edges): Likewise.
2525         * cgraph.c (cgraph_set_call_stmt): Add new argument frequency.
2526         (dump_cgraph_node): Dump frequencies.
2527         (cgraph_clone_edge): Add frequency scales.
2528         (cgraph_clone_node): Add freuqnecy.
2529         * cgraph.h (cgraph_edge): Add freuqnecy argument.
2530         (CGRAPH_FREQ_BASE, CGRAPH_FREQ_MAX): New constants.
2531         (cgraph_create_edge, cgraph_clone_edge, cgraph_clone_node): Update.
2532         * tree-pass.h (TODO_rebuild_frequencies): New constant.
2533         * cgraphunit.c (verify_cgraph_node): Verify frequencies.
2534         (cgraph_copy_node_for_versioning): Update call of cgraph_clone_edge.
2535         (save_inline_function_body): Likewise.
2536         * ipa-inline.c: inluce rtl.h
2537         (cgraph_clone_inlined_nods): Update call of cgraph_clone_node.
2538         (cgraph_edge_badness): Use frequencies.
2539         (cgraph_decide_recursive_inlining): Update clonning.
2540         (cgraph_decide_inlining_of_small_function): Dump frequency.
2541         * predict.c (estimate_bb_frequencies): Export.
2542         * predict.h (estimate_bb_frequencies): Declare.
2543         * tree-inline.c (copy_bb): Watch overflows.
2544         (expand_call_inline): Update call of cgraph_create_edge.
2545         (optimize_inline_calls): Use TODO flags to update frequnecies.
2546         * passes.h: Include predict.h
2547         (init_optimization_passes): Move profile ahead.
2548         (execute_function_todo): Handle TODO_rebuild_frequencies.
2549
2550 2007-02-09  Roger Sayle  <roger@eyesopen.com>
2551
2552         * config/alpha/alpha.c (emit_insxl): Force the first operand of
2553         the insbl or inswl pattern into a register.
2554
2555 2007-02-09  Roger Sayle  <roger@eyesopen.com>
2556
2557         * config/ia64/ia64.md (bswapdi2): New define_insn.
2558
2559 2007-02-09  Richard Henderson  <rth@redhat.com>
2560
2561         * config/i386/constraints.md (Ym): New constraint.
2562         * config/i386/i386.md (movsi_1): Change Y2 to Yi constraints.
2563         (movdi_1_rex64): Split sse and xmm general register moves from
2564         memory move alternatives.  Use conditional register constraints.
2565         (movsf_1, movdf_integer): Likewise.
2566         (zero_extendsidi2_32, zero_extendsidi2_rex64): Likewise.
2567         (movdf_integer_rex64): New.
2568         (pushsf_rex64): Fix output constraints.
2569         * config/i386/sse.md (sse2_loadld): Split rm alternative, use Yi.
2570         (sse2_stored): Likewise.
2571         (sse2_storeq_rex64): New.
2572         * config/i386/i386.c (x86_inter_unit_moves): Enable for not
2573         amd and not generic.
2574         (ix86_secondary_memory_needed): Don't bypass TARGET_INTER_UNIT_MOVES
2575         for optimize_size.  Remove SF/DFmode hack.
2576
2577 2007-02-09  Dwarakanath Rajagopal  <dwarak.rajagopal@amd.com>
2578
2579         * config/i386/driver-i386.c: Turn on -mtune=native for AMDFAM10.
2580         (bit_SSE4a): New.
2581
2582 2007-02-09  Nathan Sidwell  <nathan@codesourcery.com>
2583             Richard Sandiford  <richard@codesourcery.com>
2584
2585         * config.gcc (m68010-*-netbsdelf*, m68k*-*-netbsdelf*)
2586         (m68k*-*-openbsd*, m68k-*-linux*): Set default_cf_cpu.
2587         (m68k-*-aout*, m68k-*-coff*, m68k-*-uclinux*, m68k-*-rtems*): Add
2588         m68k/t-mlib to tmake_file.
2589         (m68020-*-elf*, m68k-*-elf*): Likewise.  Add t-m68kbare as well.
2590         (m68k*-*-*): Use --with-arch to pick a default for --with-cpu.
2591         (m680[012]0-*-*, m68k*-*-*): Add support for --with-arch.
2592         Allow it to be cf or m68k.  Set m68k_arch_family.  If that
2593         variable is not empty, add t-$m68k_arch_family to tmake_file.
2594         Add t-mlibs to tmake_file.
2595         * doc/install.texi: Document --with-arch=m68k and --with-arch=cf.
2596         * config/m68k/t-cf: New file.
2597         * config/m68k/t-m68k: Likewise.
2598         * config/m68k/t-mlibs: Likewise.
2599         * config/m68k/t-m68kbare (MULTILIB_OPTIONS, MULTILIB_DIRNAMES)
2600         (MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Delete.
2601         (M68K_MLIB_DIRNAMES, M68K_MLIB_OPTIONS): Define.
2602         * config/m68k/t-m68kelf (MULTILIB_OPTIONS, MULTILIB_DIRNAMES)
2603         (MULTILIB_MATCHES, MULTILIB_EXCEPTIONS, LIBGCC, INSTALL_LIBGCC):
2604         Delete.
2605         * config/m68k/t-openbsd (MULTILIB_OPTIONS, LIBGCC): Delete.
2606         (INSTALL_LIBGCC): Delete.
2607         (M68K_MLIB_DIRNAMES, M68K_MLIB_OPTIONS): Define.
2608         * config/m68k/t-rtems (MULTILIB_OPTIONS, MULTILIB_DIRNAMES)
2609         (MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Delete.
2610         (M68K_MLIB_CPU): Define.
2611         * config/m68k/t-uclinux (MULTILIB_OPTIONS, MULTILIB_DIRNAMES)
2612         (MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Delete.
2613         (M68K_MLIB_CPU, M68K_MLIB_OPTIONS, M68K_MLIB_DIRNAMES): Define.
2614
2615 2007-02-09  Zdenek Dvorak  <dvorakz@suse.cz>
2616             Richard Guenther  <rguenther@suse.de>
2617
2618         PR middle-end/23361
2619         * fold-const.c (fold_comparison): Handle obfuscated comparisons
2620         against INT_MIN/INT_MAX.
2621         * tree-ssa-loop-ivcanon.c (remove_empty_loop): Print to dump
2622         file if a loop is removed.
2623
2624 2007-02-09  Joseph Myers  <joseph@codesourcery.com>
2625
2626         * calls.c (store_one_arg): Pass correct alignment to
2627         emit_push_insn for non-BLKmode values.
2628         * expr.c (emit_push_insn): If STRICT_ALIGNMENT, copy to an
2629         unaligned stack slot via a suitably aligned slot.
2630
2631 2007-02-08  DJ Delorie  <dj@redhat.com>
2632
2633         * config/m32c/m32c.c (m32c_unpend_compare): Add default to silence
2634         warnings.
2635         (legal_subregs): Use unsigned char, make const.
2636         (m32c_illegal_subreg_p): Use ARRAY_SIZE.  Delete unused variables.
2637
2638 2007-02-08  Paul Brook  <paul@codesourcery.com>
2639
2640         * config/arm/lib1funcs.asm (RETLDM): Pop directly into PC when no
2641         special interworking needed.
2642
2643 2007-02-08  Harsha Jagasia  <harsha.jagasia@amd.com>
2644
2645         * config/i386/xmmintrin.h: Make inclusion of emmintrin.h
2646         conditional to __SSE2__.
2647         (Entries below should have been added to first ChangeLog
2648         entry for amdfam10 dated 2007-02-05)
2649         * config/i386/emmintrin.h: Generate #error if __SSE2__ is not
2650         defined.
2651         * config/i386/pmmintrin.h: Generate #error if __SSE3__ is not
2652         defined.
2653         * config/i386/tmmintrin.h: Generate #error if __SSSE3__ is not
2654         defined.
2655
2656 2007-02-08  DJ Delorie  <dj@redhat.com>
2657
2658         * config/m32c/m32c-protos.h (m32c_illegal_subreg_p): New.
2659         * config/m32c/m32c.c (legal_subregs): New.
2660         (m32c_illegal_subreg_p): New.
2661         * config/m32c/predicates.md (m32c_any_operand): Use it to reject
2662         unsupported subregs of hard regs.
2663
2664 2007-02-08  Jan Hubicka  <jh@suse.cz>
2665
2666         * tree-cfg.c (bsi_replace): Shortcut when replacing the statement with
2667         the same one; always update histograms.
2668
2669 2007-02-08  Diego Novillo  <dnovillo@redhat.com>
2670
2671         * passes.c (init_optimization_passes): Tidy comment.
2672
2673 2007-02-08  Roger Sayle  <roger@eyesopen.com>
2674
2675         * simplify-rtx.c (simplify_unary_operation_1) <POPCOUNT>: We can
2676         strip zero_extend, bswap and rotates from POCOUNT's argument.
2677         <PARITY>: Likewise, we can strip not, bswap, sign_extend,
2678         zero_extend and rotates from PARITY's argument.
2679         <BSWAP>: A byte-swap followed by a byte-swap is an identity.
2680         (simplify_const_unary_operation) <BSWAP>: Evaluate the byte-swap
2681         of an integer constant at compile-time.
2682
2683 2007-02-08  Diego Novillo  <dnovillo@redhat.com>
2684
2685         PR 30562
2686         * tree-flow.h (struct var_ann_d): Remove field 'is_used'.
2687         Update all users.
2688         * tree-ssa-alias.c (compute_is_aliased): Remove.  Update all
2689         users.
2690         (init_alias_info):
2691         * tree-ssa-live.c (remove_unused_locals): Do not remove
2692         TREE_ADDRESSABLE variables.
2693         * tree-ssa-structalias.c (compute_points_to_sets): Tidy.
2694         * tree-ssa-operands.c (add_virtual_operand): Remove argument
2695         FOR_CLOBBER.  Update all users.
2696         If VAR has an associated alias set, add a virtual operand for
2697         it if no alias is found to conflict with the memory reference.
2698
2699 2007-02-07  Jan Hubicka  <jh@suse.cz>
2700             Robert Kidd <rkidd@crhc.uiuc.edu>
2701
2702         * value-prof.c (visit_hist, free_hist): Return 1 instead of 0.
2703
2704 2007-02-07  Ian Lance Taylor  <iant@google.com>
2705
2706         * lower-subreg.c (simple_move): Reject PARTIAL_INT modes.
2707
2708 2007-02-07  Roger Sayle  <roger@eyesopen.com>
2709
2710         * config/rs6000/rs6000.md (ctz<mode>2, ffs<mode>2, popcount<mode>2,
2711         parity<mode>2, smulsi3_highpart, abstf2_internal, allocate_stack,
2712         tablejumpdi, movsi_to_cr_one): Remove constraints from
2713         define_expand's match_operands.
2714
2715 2007-02-07  Roger Sayle  <roger@eyesopen.com>
2716
2717         * global.c (compute_regsets): Move declatation of "i" inside of
2718         #ifdef ELIMINABLE_REGS to avoid unused variable bootstrap failure.
2719
2720 2007-02-07  Jakub Jelinek  <jakub@redhat.com>
2721
2722         PR c++/30703
2723         * gimplify.c (gimplify_scan_omp_clauses): Remove special casing
2724         of INDIRECT_REF <RESULT_DECL>.
2725
2726         * config/i386/i386.c (override_options): Set PTA_SSSE3 for core2.
2727
2728 2007-02-06  J"orn Rennecke  <joern.rennecke@arc.com>
2729             Kaz Kojima  <kkojima@gcc.gnu.org>
2730
2731         PR target/29746
2732         * config/sh/sh.c (expand_cbranchdi4): Use scratch register
2733         properly.
2734         (sh_initialize_trampoline): Add parentheses to avoid a warning.
2735
2736 2007-02-06  Zdenek Dvorak <dvorakz@suse.cz>
2737
2738         * doc/loop.texi: Document possibility not to perform disambiguation
2739         of loops with multiple latches.
2740         * cfgloopmanip.c (alp_enum_p): Removed.
2741         (add_loop): Handle subloops.  Use get_loop_body_with_size.
2742         (create_preheader): Do not allow ENTRY_BLOCK_PTR to be preheader.
2743         * cfghooks.c (redirect_edge_and_branch_force): Set dominator for
2744         the new forwarder block.
2745         (make_forwarder_block): Only call new_bb_cbk if it is not NULL.
2746         Handle the case latch is NULL.
2747         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Avoid cfg modifications
2748         when marking loop exits.
2749         * ifcvt.c (if_convert): Ditto.  Mark loop exits even if cfg cannot
2750         be modified.
2751         * loop-init.c (loop_optimizer_init): Do not modify cfg.  Call
2752         disambiguate_loops_with_multiple_latches.
2753         * tree-cfgcleanup.c (cleanup_tree_cfg_loop): Calculate dominators
2754         before fix_loop_structure.
2755         * cfgloop.c: Include pointer-set.h and output.h.
2756         (canonicalize_loop_headers, HEADER_BLOCK, LATCH_EDGE,
2757         update_latch_info, mfb_keep_just, mfb_keep_nonlatch): Removed.
2758         (get_loop_latch_edges, find_subloop_latch_edge_by_profile,
2759         find_subloop_latch_edge_by_ivs, find_subloop_latch_edge,
2760         mfb_redirect_edges_in_set, form_subloop, merge_latch_edges,
2761         disambiguate_multiple_latches, get_loop_body_with_size,
2762         disambiguate_loops_with_multiple_latches): New functions.
2763         (flow_loop_dump): Dump multiple latch edges.
2764         (flow_loop_nodes_find): Handle loops with multiple latches.
2765         (flow_loops_find): Ditto. Do not call canonicalize_loop_headers.
2766         (glb_enum_p): Modified.
2767         (get_loop_body): Use get_loop_body_with_size.
2768         * cfgloop.h (LOOPS_HAVE_RECORDED_EXITS): New flag.
2769         (AVOID_CFG_MODIFICATIONS): New constant.
2770         (disambiguate_loops_with_multiple_latches, add_loop,
2771         get_loop_body_with_size): Declare.
2772         * Makefile.in (cfgloop.o): Add pointer-set.h and output.h.
2773
2774 2007-02-06  Seongbae Park <seongbae.park@gmail.com>
2775
2776         PR inline-asm/28686
2777         * global.c (compute_regsets): New function.
2778         (global_alloc): Refactored ELIMINABLE_REGSET
2779         and NO_GLOBAL_ALLOC_REGS computation out.
2780         (rest_of_handle_global_alloc): Call compute_regsets()
2781         for non-optimizing case.
2782
2783 2007-02-06  Richard Henderson  <rth@redhat.com>
2784
2785         * config/i386/constraints.md (Y2): Rename from Y.
2786         (Yi): New constraint.
2787         * config/i386/i386.md (movsi_1, movdi_2, pushdf_nointeger,
2788         pushdf_integer, movdf_nointeger, movdf_integer, zero_extendsidi2_32,
2789         zero_extendsidi2_rex64, truncxfdf2_mixed): Change Y constraints to Y2.
2790         (extendsfdf2_mixed, extendsfdf2_sse, truncdfsf_fast_mixed,
2791         truncdfsf_fast_sse, truncdfsf_mixed, fix_truncdfdi_sse,
2792         fix_truncdfsi_sse, floatsidf2_mixed, floatsidf2_sse,
2793         floatdidf2_mixed, floatdidf2_sse, absnegdf2_mixed,
2794         absnegdf2_sse, sse_setccdf, fop_df_comm_mixed, fop_df_comm_sse,
2795         fop_df_1_mixed, fop_df_1_sse): Change Y constraints to x.
2796         * config/i386/mmx.md (mov<MMXMODEI>_internal_rex64,
2797         mov<MMXMODEI>_internal, movv2sf_internal_rex64, movv2sf_internal,
2798         vec_extractv2si_1): Change Y constraints to Y2.
2799         * config/i386/sse.md (vec_setv4sf_0, vec_concatv2df, vec_dupv4si,
2800         vec_dupv2di, sse2_concatv2si, vec_concatv4si_1, vec_concatv2di):
2801         Change Y constraints to Y2.
2802         (sse2_loadld): Change Y constraints to x.
2803
2804 2007-02-06  Roger Sayle  <roger@eyesopen.com>
2805
2806         * config/rs6000/rs6000.md (popcount<mode>2): Rewrite.
2807         (parity<mode>2): New define_expand using rs6000_emit_parity.
2808         * config/rs6000/rs6000.c (rs6000_emit_popcount,
2809         rs6000_emit_parity): New functions.
2810         * config/rs6000/rs6000-protos.h (rs6000_emit_popcount,
2811         rs6000_emit_parity): Prototype here.
2812
2813 2007-02-06  Ian Lance Taylor  <iant@google.com>
2814
2815         * lower-subreg.c (simple_move_operand): Reject CONST.
2816         (resolve_clobber): Call validate_change rather than directly
2817         assigning to XEXP (pat, 0).
2818
2819 2006-02-06  Paolo Bonzini  <bonzini@gnu.org>
2820
2821         * Makefile.in (tree-ssa-loop-ivopts.o): Add pointer-set.h dependency.
2822         (tree-ssa-reassoc.o): Add pointer-set.h dependency.
2823         (tree-cfg.o): Remove hashtab.h dependency.
2824
2825         * tree-ssa-loop-ivopts.c: Include pointer-set.h.
2826         (struct ivopts_data): Change niters to pointer_map_t.
2827         (struct nfe_cache_elt, nfe_hash, nfe_eq): Delete.
2828         (niter_for_exit): Create pointer_map on demand.  Change for
2829         pointer_map API.
2830         (tree_ssa_iv_optimize_init): Initialize data->niters to NULL.
2831         (free_loop_data): Destroy data->niters if created and reset field.
2832         (tree_ssa_iv_optimize_finalize): Don't delete data->niters here.
2833         (tree_ssa_iv_optimize_loop): Check for presence of stale data.
2834
2835         * tree-ssa-reassoc.c: Include pointer-set.h.
2836         (bb_rank): Change to long *.
2837         (operand_rank): Change to pointer_map_t.
2838         (find_operand_rank): Return long, -1 if not found.  Declare as inline.
2839         (insert_operand_rank): Accept long.
2840         (operand_entry_hash, operand_entry_eq): Remove.
2841         (get_rank): Return long.  Adjust for changes above.
2842         (init_reassoc): Change rank type to long.  Adjust creation of bb_rank
2843         and operand_rank.
2844         (fini_reassoc): Delete operand_rank with pointer_map_destroy.
2845
2846         * tree-ssa-structalias.c (vi_for_tree): Change to pointer_map.
2847         (struct tree_vi, tree_vi_t, tree_vi_hash, tree_vi_eq): Delete.
2848         (insert_vi_for_tree): Rewrite for pointer_map API.  Assert argument
2849         is not NULL.
2850         (lookup_vi_for_tree): Rewrite for pointer_map API.  Return varinfo_t
2851         directly since it cannot be NULL.
2852         (get_vi_for_tree): Rewrite for pointer_map API.
2853         (find_what_p_points_to): Adjust for change to lookup_vi_for_tree.
2854         (init_alias_vars): Create vi_for_tree as pointer_map.
2855         (delete_points_to_sets): Delete vi_for_tree using pointer_map_destroy.
2856
2857         * tree-cfg.c: Don't include hashtab.h.
2858         (edge_to_cases): Declare as pointer_map.
2859         (struct edge_to_cases_elt, edge_to_cases_hash, edge_to_cases_eq):
2860         Delete.
2861         (edge_to_cases_cleanup): Rewrite as pointer_map_traverse callback.
2862         (start_recording_case_labels): Create edge_to_cases as pointer_map.
2863         (end_recoding_case_labels): Cleanup edge_to_cases manually before
2864         destroying it.
2865         (record_switch_edge): Delete.
2866         (get_cases_for_edge): Adjust for pointer_map API, inline
2867         record_switch_edge (rewritten for new API), remove goto.
2868
2869 2006-02-06  Paolo Bonzini  <bonzini@gnu.org>
2870
2871         * Makefile.in (tree-nested.o): Add pointer-set.h dependency.
2872         * tree-nested.c: Include pointer-set.h.
2873         (var_map_elt, var_map_eq, var_map_hash): Delete.
2874         (struct nesting_info): Remove GTY marker.  Change the two htab_t's
2875         to pointer_map_t's.
2876         (nesting_info_bitmap_obstack): New.
2877         (lookup_field_for_decl): Adjust for pointer_map API.
2878         (lookup_tramp_for_decl): Adjust for pointer_map API.
2879         (get_nonlocal_debug_decl): Adjust for pointer_map API.
2880         (get_local_debug_decl): Adjust for pointer_map API.
2881         (convert_nl_goto_reference): Adjust for pointer_map API.
2882         (convert_nl_goto_receiver): Adjust for pointer_map API.
2883         (create_nesting_tree): Create outside GGC space.  Create bitmap on
2884         the new obstack.  Create field_map and var_map as pointer_maps.
2885         (free_nesting_tree): Adjust for changes to create_nesting_tree.
2886         (root): Delete.
2887         (lower_nested_functions): Move root here, no need to NULL it.
2888         Initialize and release the obstack.
2889
2890 2007-02-06  Paolo Bonzini  <bonzini@gnu.org>
2891
2892         * tree.c (tree_int_map_hash, tree_int_map_eq, tree_int_map_marked_p):
2893         Remove prototypes and make them non-static.
2894         (struct tree_int_map): Remove.
2895         * tree.h (struct tree_int_map): Move here, turning TO into an
2896         unsigned int.
2897         (tree_int_map_hash, tree_int_map_eq, tree_int_map_marked_p): Declare.
2898
2899         * tree.h (TREE_COMPLEXITY): Remove.
2900         (struct tree_exp): Remove complexity field.
2901         * tree.c (build1_stat): Don't set it.
2902
2903 2007-02-06  Dorit Nuzman  <dorit@il.ibm.com>
2904             Victor Kaplansky  <victork@il.ibm.com>
2905
2906         * tree-vectorizer.c (vect_is_simple_use): Support induction.
2907         (vect_is_simple_reduction): Support reduction with induction as
2908         one of the operands.
2909         (vect_is_simple_iv_evolution): Fix formatting.
2910         * tree-vect-analyze.c (vect_mark_stmts_to_be_vectorized): Fix
2911         formatting.  Don't mark induction phis for vectorization.
2912         (vect_analyze_scalar_cycles): Analyze all inductions, then reductions.
2913         * tree-vect-transform.c (get_initial_def_for_induction): New function.
2914         (vect_get_vec_def_for_operand): Support induction.
2915         (vect_get_vec_def_for_stmt_copy): Fix formatting and add check for
2916         induction case.
2917         (vectorizable_reduction): Support reduction with induction as one of
2918         the operands.
2919         (vectorizable_type_demotion): Use def-type of stmt argument rather
2920         than dummy def-type.
2921
2922         * tree-ssa-loop.c (gate_scev_const_prop): Return the value of
2923         flag_tree_scev_cprop.
2924         * common.opt (tree-scev-cprop): New flag.
2925
2926         * tree-vect-transform.c (vect_create_destination_var): Use 'kind' in
2927         call to vect_get_new_vect_var.
2928
2929 2007-02-06  Ira Rosen  <irar@il.ibm.com>
2930
2931         * tree-vect-patterns.c (vect_recog_widen_mult_pattern): Check that
2932         vectype is not NULL.
2933         (vect_pattern_recog_1): Likewise.
2934
2935 2007-02-05  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2936
2937         * fold-const.c (negate_expr_p): Handle CONJ_EXPR.
2938         (fold_negate_expr): Likewise.
2939
2940 2007-02-05  Alexandre Oliva  <aoliva@redhat.com>
2941
2942         PR debug/30189
2943         * dwarf2out.c (modified_type_die): Follow DECL_ORIGINAL_TYPE
2944         even if cv-qualification is the same.
2945
2946 2007-02-05  Geoffrey Keating  <geoffk@apple.com>
2947
2948         * config/rs6000/darwin-tramp.asm (__trampoline_setup): Call
2949         __enable_execute_stack on completion.
2950
2951 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
2952
2953         * config/i386/athlon.md (athlon_fldxf_k8, athlon_fld_k8,
2954         athlon_fstxf_k8, athlon_fst_k8, athlon_fist, athlon_fmov,
2955         athlon_fadd_load, athlon_fadd_load_k8, athlon_fadd, athlon_fmul,
2956         athlon_fmul_load, athlon_fmul_load_k8, athlon_fsgn,
2957         athlon_fdiv_load, athlon_fdiv_load_k8, athlon_fdiv_k8,
2958         athlon_fpspc_load, athlon_fpspc, athlon_fcmov_load,
2959         athlon_fcmov_load_k8, athlon_fcmov_k8, athlon_fcomi_load_k8,
2960         athlon_fcomi, athlon_fcom_load_k8, athlon_fcom): Added amdfam10.
2961
2962 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
2963
2964         * config/i386/i386.md (x86_sahf_1, cmpfp_i_mixed, cmpfp_i_sse,
2965         cmpfp_i_i387, cmpfp_iu_mixed, cmpfp_iu_sse, cmpfp_iu_387,
2966         swapsi, swaphi_1, swapqi_1, swapdi_rex64, fix_truncsfdi_sse,
2967         fix_truncdfdi_sse, fix_truncsfsi_sse, fix_truncdfsi_sse,
2968         x86_fldcw_1, floatsisf2_mixed, floatsisf2_sse, floatdisf2_mixed,
2969         floatdisf2_sse, floatsidf2_mixed, floatsidf2_sse,
2970         floatdidf2_mixed, floatdidf2_sse, muldi3_1_rex64, mulsi3_1,
2971         mulsi3_1_zext, mulhi3_1, mulqi3_1, umulqihi3_1, mulqihi3_insn,
2972         umulditi3_insn, umulsidi3_insn, mulditi3_insn, mulsidi3_insn,
2973         umuldi3_highpart_rex64, umulsi3_highpart_insn,
2974         umulsi3_highpart_zext, smuldi3_highpart_rex64,
2975         smulsi3_highpart_insn, smulsi3_highpart_zext, x86_64_shld,
2976         x86_shld_1, x86_64_shrd, sqrtsf2_mixed, sqrtsf2_sse,
2977         sqrtsf2_i387, sqrtdf2_mixed, sqrtdf2_sse, sqrtdf2_i387,
2978         sqrtextendsfdf2_i387, sqrtxf2, sqrtextendsfxf2_i387,
2979         sqrtextenddfxf2_i387): Added amdfam10_decode.
2980
2981         * config/i386/athlon.md (athlon_idirect_amdfam10,
2982         athlon_ivector_amdfam10, athlon_idirect_load_amdfam10,
2983         athlon_ivector_load_amdfam10, athlon_idirect_both_amdfam10,
2984         athlon_ivector_both_amdfam10, athlon_idirect_store_amdfam10,
2985         athlon_ivector_store_amdfam10): New define_insn_reservation.
2986         (athlon_idirect_loadmov, athlon_idirect_movstore): Added
2987         amdfam10.
2988
2989 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
2990
2991         * config/i386/athlon.md (athlon_call_amdfam10,
2992         athlon_pop_amdfam10, athlon_lea_amdfam10): New
2993         define_insn_reservation.
2994         (athlon_branch, athlon_push, athlon_leave_k8, athlon_imul_k8,
2995         athlon_imul_k8_DI, athlon_imul_mem_k8, athlon_imul_mem_k8_DI,
2996         athlon_idiv, athlon_idiv_mem, athlon_str): Added amdfam10.
2997
2998 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
2999
3000         * config/i386/athlon.md (athlon_sseld_amdfam10,
3001         athlon_mmxld_amdfam10, athlon_ssest_amdfam10,
3002         athlon_mmxssest_short_amdfam10): New define_insn_reservation.
3003
3004 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3005
3006         * config/i386/athlon.md (athlon_sseins_amdfam10): New
3007         define_insn_reservation.
3008         * config/i386/i386.md (sseins): Added sseins to define_attr type
3009         and define_attr unit.
3010         * config/i386/sse.md: Set type attribute to sseins for insertq
3011         and insertqi.
3012
3013 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3014
3015         * config/i386/athlon.md (sselog_load_amdfam10, sselog_amdfam10,
3016         ssecmpvector_load_amdfam10, ssecmpvector_amdfam10,
3017         ssecomi_load_amdfam10, ssecomi_amdfam10,
3018         sseaddvector_load_amdfam10, sseaddvector_amdfam10): New
3019         define_insn_reservation.
3020         (ssecmp_load_k8, ssecmp, sseadd_load_k8, seadd): Added amdfam10.
3021
3022 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3023
3024         * config/i386/athlon.md (cvtss2sd_load_amdfam10,
3025         cvtss2sd_amdfam10, cvtps2pd_load_amdfam10, cvtps2pd_amdfam10,
3026         cvtsi2sd_load_amdfam10, cvtsi2ss_load_amdfam10,
3027         cvtsi2sd_amdfam10, cvtsi2ss_amdfam10, cvtsd2ss_load_amdfam10,
3028         cvtsd2ss_amdfam10, cvtpd2ps_load_amdfam10, cvtpd2ps_amdfam10,
3029         cvtsX2si_load_amdfam10, cvtsX2si_amdfam10): New
3030         define_insn_reservation.
3031
3032         * config/i386/sse.md (cvtsi2ss, cvtsi2ssq, cvtss2si,
3033         cvtss2siq, cvttss2si, cvttss2siq, cvtsi2sd, cvtsi2sdq,
3034         cvtsd2si, cvtsd2siq, cvttsd2si, cvttsd2siq,
3035         cvtpd2dq, cvttpd2dq, cvtsd2ss, cvtss2sd,
3036         cvtpd2ps, cvtps2pd): Added amdfam10_decode attribute.
3037
3038 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3039
3040         * config/i386/athlon.md (athlon_ssedivvector_amdfam10,
3041         athlon_ssedivvector_load_amdfam10, athlon_ssemulvector_amdfam10,
3042         athlon_ssemulvector_load_amdfam10): New define_insn_reservation.
3043         (athlon_ssediv, athlon_ssediv_load_k8, athlon_ssemul,
3044         athlon_ssemul_load_k8): Added amdfam10.
3045
3046 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3047
3048         * config/i386/i386.h (TARGET_SSE_UNALIGNED_MOVE_OPTIMAL): New macro.
3049         (x86_sse_unaligned_move_optimal): New variable.
3050
3051         * config/i386/i386.c (x86_sse_unaligned_move_optimal): Enable for
3052         m_AMDFAM10.
3053         (ix86_expand_vector_move_misalign): Add code to generate movupd/movups
3054         for unaligned vector SSE double/single precision loads for AMDFAM10.
3055
3056 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3057
3058         * config/i386/i386.h (TARGET_AMDFAM10): New macro.
3059         (TARGET_CPU_CPP_BUILTINS): Add code for amdfam10.
3060         Define TARGET_CPU_DEFAULT_amdfam10.
3061         (TARGET_CPU_DEFAULT_NAMES): Add amdfam10.
3062         (processor_type): Add PROCESSOR_AMDFAM10.
3063
3064         * config/i386/i386.md: Add amdfam10 as a new cpu attribute to match
3065         processor_type in config/i386/i386.h.
3066         Enable imul peepholes for TARGET_AMDFAM10.
3067
3068         * config.gcc: Add support for --with-cpu option for amdfam10.
3069
3070         * config/i386/i386.c (amdfam10_cost): New variable.
3071         (m_AMDFAM10): New macro.
3072         (m_ATHLON_K8_AMDFAM10): New macro.
3073         (x86_use_leave, x86_push_memory, x86_movx, x86_unroll_strlen,
3074         x86_cmove, x86_3dnow_a, x86_deep_branch, x86_use_simode_fiop,
3075         x86_promote_QImode, x86_integer_DFmode_moves,
3076         x86_partial_reg_dependency, x86_memory_mismatch_stall,
3077         x86_accumulate_outgoing_args, x86_arch_always_fancy_math_387,
3078         x86_sse_partial_reg_dependency, x86_sse_typeless_stores,
3079         x86_use_ffreep, x86_use_incdec, x86_four_jump_limit,
3080         x86_schedule, x86_use_bt, x86_cmpxchg16b, x86_pad_returns):
3081         Enable/disable for amdfam10.
3082         (override_options): Add amdfam10_cost to processor_target_table.
3083         Set up PROCESSOR_AMDFAM10 for amdfam10 entry in
3084         processor_alias_table.
3085         (ix86_issue_rate): Add PROCESSOR_AMDFAM10.
3086         (ix86_adjust_cost): Add code for amdfam10.
3087
3088 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3089
3090         * config/i386/i386.opt: Add new Advanced Bit Manipulation (-mabm)
3091         instruction set feature flag. Add new (-mpopcnt) flag for popcnt
3092         instruction. Add new SSE4A (-msse4a) instruction set feature flag.
3093         * config/i386/i386.h: Add builtin definition for SSE4A.
3094         * config/i386/i386.md: Add support for ABM instructions
3095         (popcnt and lzcnt).
3096         * config/i386/sse.md: Add support for SSE4A instructions
3097         (movntss, movntsd, extrq, insertq).
3098         * config/i386/i386.c: Add support for ABM and SSE4A builtins.
3099         Add -march=amdfam10 flag.
3100         * config/i386/ammintrin.h: Add support for SSE4A intrinsics.
3101         * doc/invoke.texi: Add documentation on flags for sse4a, abm, popcnt
3102         and amdfam10.
3103         * doc/extend.texi: Add documentation for SSE4A builtins.
3104
3105 2007-02-05  Bob Wilson  <bob.wilson@acm.org>
3106
3107         * config/xtensa/xtensa.c (constantpool_mem_p): Skip over SUBREGs.
3108
3109 2007-02-05  Richard Guenther  <rguenther@suse.de>
3110
3111         * tree-vectorizer.h (vectorizable_function): Add argument type
3112         argument, change return type.
3113         * tree-vect-patterns.c (vect_recog_pow_pattern): Adjust caller.
3114         * tree-vect-transform.c (vectorizable_function): Handle extra
3115         argument, return vectorized function decl.
3116         (build_vectorized_function_call): Remove.
3117         (vectorizable_call): Handle calls with result and argument types
3118         differing.  Handle loop vectorization factor correctly.
3119         * targhooks.c (default_builtin_vectorized_function): Adjust for
3120         extra argument.
3121         * targhooks.h (default_builtin_vectorized_function): Likewise.
3122         * target.h (builtin_vectorized_function): Add argument type
3123         argument.
3124         * config/i386/i386.c (ix86_builtin_vectorized_function): Handle
3125         extra argument, allow vectorizing of lrintf.
3126         * doc/tm.texi (TARGET_VECTORIZE_BUILTIN_VECTORIZED_FUNCTION): Adjust
3127         documentation of target hook.
3128
3129 2007-02-05  Hans-Peter Nilsson  <hp@axis.com>
3130
3131         PR target/30665
3132         * config/cris/cris.md ("*andsi_movu", "*andsi_clear", "*andhi_movu")
3133         ("*andhi_clear", andu (casesi+45)): For size-changed operand where
3134         memory is allowed, require !side_effects_p, not just !MEM_VOLATILE_P.
3135
3136 2007-02-05  Roger Sayle  <roger@eyesopen.com>
3137
3138         * fold-const.c (fold_unary) <REAL_PART>: Test for availability of
3139         BUILT_IN_COS before simplifying REAL_PART(CEXPI)) to COS.
3140         <IMAG_PART>: Likewise, check for availability of BUILT_IN_SIN.
3141         * builtins.c (fold_builtin_sincos): Check for TARGET_C99_FUNCTIONS
3142         before canonicalizing sincos to cexpi.
3143         (fold_builtin_cexp): Likewise, for canonicalizing cexp to cexpi.
3144
3145 2007-02-05  Roger Sayle  <roger@eyesopen.com>
3146
3147         * config/alpha/alpha.c (alpha_add_builtins): New Helper function.
3148         Set TREE_READONLY and TREE_NOTHROW directly, not via attributes.
3149         (alpha_init_builtins): Use alpha_add_builtins to process tables.
3150
3151 2007-02-05  Roger Sayle  <roger@eyesopen.com>
3152
3153         * mips-tfile.c (initialize_init_file): Correct endianness test.
3154
3155 2007-02-05  Kazu Hirata  <kazu@codesourcery.com>
3156
3157         * config/m68k/m68k.md (pushdi-1, pushdi, movsi+1): Don't use
3158         the 'y' constraint.
3159
3160 2007-02-05  Richard Sandiford  <richard@codesourcery.com>
3161
3162         * dwarf2out.c (dwarf2out_frame_debug_expr): Record the register
3163         saves in a PARALLEL before the register assignments.
3164
3165 2007-02-05  Richard Sandiford  <richard@codesourcery.com>
3166
3167         * doc/tm.texi (DWARF_ALT_FRAME_RETURN_COLUMN): Do not require
3168         DWARF_FRAME_RETURN_COLUMN to be a general register.
3169         * dwarf2out.c (init_return_column_size): New function, split from...
3170         (expand_builtin_init_dwarf_reg_sizes): ...here.  Allow both
3171         DWARF_FRAME_RETURN_COLUMN and DWARF_ALT_FRAME_RETURN_COLUMN
3172         to be nongeneral registers.
3173         * config/m68k/m68k.h (DWARF_FRAME_REGNUM): Only map FP and
3174         integer registers.
3175         (DWARF_FRAME_REGISTERS, DWARF_FRAME_RETURN_COLUMN): Define.
3176         (DWARF_ALT_FRAME_RETURN_COLUMN): Define.
3177
3178 2007-02-04  Zdenek Dvorak <dvorakz@suse.cz>
3179
3180         * cfgcleanup.c (try_optimize_cfg): Avoid removing ENTRY_BLOCK_PTR.
3181
3182 2007-02-04  Zdenek Dvorak <dvorakz@suse.cz>
3183
3184         * cfgloopmanip.c (loop_delete_branch_edge): Removed.
3185         (remove_path): Use can_remove_branch_p and remove_branch instead
3186         of loop_delete_branch_edge.
3187         * tree-ssa-loop-manip.c (scale_dominated_blocks_in_loop): New function.
3188         (tree_transform_and_unroll_loop): Remove dead branches immediately.
3189         Update profile using scale_dominated_blocks_in_loop.
3190         * cfghooks.c (can_remove_branch_p, remove_branch): New functions.
3191         * cfghooks.h (struct cfg_hooks): Add can_remove_branch_p.
3192         (can_remove_branch_p, remove_branch): Declare.
3193         * tree-cfg.c (tree_can_remove_branch_p): New function.
3194         (tree_cfg_hooks): Add tree_can_remove_branch_p.
3195         * cfgrtl.c (rtl_can_remove_branch_p): New function.
3196         (rtl_cfg_hooks, cfg_layout_rtl_cfg_hook): Add rtl_can_remove_branch_p.
3197
3198 2007-02-05  Jan Hubicka  <jh@suse.cz>
3199
3200         PR middle-end/30696
3201         * ipa-inline.c (cgraph_clone_inlined_nodes): When there are unanalyzed
3202         nodes in cgraph, don't remove offline copy of the function.
3203
3204 2007-02-04  Jan Hubicka  <jh@suse.cz>
3205
3206         * tree-sra.c (sra_walk_expr): Add linebreaks. BITFIELD_REFs into
3207         vectors might cause maybe_lookup_element_for_expr to be called
3208         on non-sra-candidate.
3209
3210 2007-02-04  Kazu Hirata  <kazu@codesourcery.com>
3211
3212         * config/bfin/bfin-modes.def, config/bfin/bfin.c,
3213         config/bfin/bfin.md, config/bfin/predicates.md: Follow
3214         spelling conventions.
3215
3216 2007-02-04  Richard Guenther  <rguenther@suse.de>
3217
3218         PR middle-end/30636
3219         * fold-const.c (try_move_mult_to_index): Make sure to not
3220         overflow one dimension of a multi-dimensional array access.
3221
3222 2007-02-04  Jan Hubicka  <jh@suse.cz>
3223
3224         * passes.c (init_optimization_passes): Reindent.
3225
3226 2007-02-04  Jan Hubicka  <jh@suse.cz>
3227             Eric Botcazou  <ebotcazou@adacore.com>
3228
3229         * tree-optimize.c (has_abnormal_outgoing_edge_p): Move to...
3230         (execute_fixup_cfg): Break out the abnormal goto code.
3231         * tree-inline.c (has_abnormal_outgoing_edge_p): ...here.
3232         (make_nonlocal_label_edges): Move here from execute_fixup_cfg.
3233         (optimize_inline_calls): Call make_nonlocal_label_edges.
3234
3235 2007-02-04  Jan Hubicka  <jh@suse.cz>
3236
3237         * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Return
3238         true when something was changed.
3239         (rename_ssa_copies): When something was changed, do
3240         TODO_remove_unused_locals.
3241         * tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_value):
3242         add TODO_remove_unused_locals when instruction was removed.
3243
3244 2007-02-04  Jan Hubicka  <jh@suse.cz>
3245
3246         * ipa-inline.c (try_inline): Improve debug output; work on already
3247         inline edges too.
3248         (cgraph_decide_inlining_incrementally): Indent; improve debug output;
3249         call try_inline for already inlined edges too when flattening;
3250         inline also functions that make callee growth but overall unit size
3251         reduce.
3252
3253 2007-02-04  Kazu Hirata  <kazu@codesourcery.com>
3254
3255         * config/m32c/bitops.md, config/m32c/jump.md,
3256         config/m32c/m32c.c, config/m32c/m32c.h, config/m32r/m32r.c,
3257         config/m32r/m32r.h, config/m32r/m32r.md,
3258         config/m32r/predicates.md, config/m68hc11/larith.asm,
3259         config/m68hc11/m68hc11.c, config/m68hc11/m68hc11.h,
3260         config/m68k/m68k.h, config/mcore/mcore.md, config/mips/4k.md,
3261         config/mips/mips-protos.h, config/mips/mips.c,
3262         config/mips/mips.h, config/mips/mips.md, config/mips/mips16.S,
3263         config/mn10300/mn10300.h, config/mn10300/predicates.md,
3264         config/mt/mt.c, config/mt/mt.h, config/mt/mt.md: Follow
3265         spelling conventions.
3266
3267         * config/v850/v850.c, config/v850/v850.h, config/v850/v850.md:
3268         Follow spelling conventions.
3269
3270 2007-02-03  Douglas Gregor  <doug.gregor@gmail.com>
3271
3272         * c-opts.c (c_common_post_options): If C++0x mode is enabled, don't
3273         warn about C++0x compatibility.
3274
3275 2007-02-04  Kazu Hirata  <kazu@codesourcery.com>
3276
3277         * config/h8300/h8300.c, config/h8300/h8300.h,
3278         config/h8300/h8300.md: Follow spelling conventions.
3279
3280 2007-02-03  Uros Bizjak  <ubizjak@gmail.com>
3281
3282         PR middle-end/30667
3283         * combine.c (try_combine): Do not substitute source operand
3284         with constants wider than 2 * HOST_BITS_PER_WIDE_INT.
3285
3286 2007-02-03  Jan Hubicka  <jh@suse.cz>
3287
3288         PR gcov-profile/30650
3289         * value-prof.c (stringop_block_profile): Fix handling of size counter;
3290         do not divide by zero for never executed counters.
3291         (tree_find_values_to_profile): Fix counters.
3292         * gcov-ui.h (GCOV_COUNTER_AVERAGE, GCOV_COUNTER_IOR): Fix comments.
3293
3294 2007-02-03  Ian Lance Taylor  <iant@google.com>
3295
3296         * lower-subreg.c (simple_move_operand): New static function,
3297         broken out of simple_move.  Reject LABEL_REF, SYMBOL_REF, and HIGH
3298         operands.
3299         (simple_move): Call simple_move_operand.
3300         (find_decomposable_subregs): Add special handling of MEMs.
3301         (can_decompose_p): Rename from cannot_decompose_p.  Reverse
3302         meaning of return value.  If we see a hard register, test whether
3303         it can store a word_mode value.  Change all callers.
3304
3305 2007-02-03  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3306
3307         * pa.md (addvdi3, addvsi3, subvdi3, subvsi3, negvdi2, negvsi2): New
3308         ftrapv insns and expanders.
3309         (subdi3): Change define_expand operand 1 to arith11_operand, and
3310         operand 2 to reg_or_0_operand.  Change constraints of 64-bit insn
3311         pattern to handle reg_or_0 operands.  Revise 32-bit insn pattern to
3312         handle 11-bit constants and reg_or_0 operands in operands 1 and 2,
3313         respectively.
3314
3315         PR middle-end/30174
3316         * varasm.c (notice_global_symbol): Treat global objects as weak when
3317         flag_shlib is true.
3318
3319 2007-02-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3320
3321         * emit-rtl.c (dconstpi): Delete.
3322         (dconstsqrt2): New.
3323         (init_emit_once): Delete dconstpi and init dconstsqrt2.
3324         * real.h (dconstpi): Delete.
3325         (dconstsqrt2): New.
3326         * builtins.c (fold_builtin_cabs): Use dconstsqrt2.
3327         (fold_builtin_hypot): Likewise.
3328
3329 2007-02-03  Tom Tromey  <tromey@redhat.com>
3330
3331         PR driver/30246
3332         * gcc.c (cpp_unique_options): Any of -ggdb3, -gstabs3,
3333         -gcoff3, -gxcoff3, -gvms3 implies -dD.
3334
3335 2007-02-03  Kazu Hirata  <kazu@codesourcery.com>
3336
3337         * c-decl.c, config/avr/avr.c, config/avr/avr.h,
3338         config/m68k/m68k.c, config/m68k/netbsd-elf.h,
3339         config/mn10300/mn10300.c, config/pdp11/pdp11.h,
3340         config/rs6000/cell.md, config/rs6000/darwin.h,
3341         config/sh/sh.md, config/sh/sh4-300.md, config/spu/spu.c,
3342         config/spu/spu.md, cselib.c, expr.c, haifa-sched.c, hwint.h,
3343         jump.c, reload.c, sched-deps.c, sched-int.h, tree-inline.c,
3344         tree-profile.c, tree-ssa-live.h, tree-vrp.c: Fix comment
3345         typos.  Follow spelling conventions.
3346         * doc/invoke.texi: Follow spelling conventions.
3347
3348 2007-02-03  Roger Sayle  <roger@eyesopen.com>
3349
3350         * simplify-rtx.c (simplify_relational_operation_1): Implement some
3351         canonicalization transformations that attempt to simplify integer
3352         constant comparisons to become comparisons against zero.
3353
3354 2007-02-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3355
3356         * builtins.c (fold_builtin_cabs): Fold cabs(x+xi) into
3357         fabs(x)*sqrt(2).
3358         * fold-const.c (fold_binary): Fix comment typos.  Fold complex
3359         (x,0)-(0,y) into (x,-y).  Likewise (0,y)-(x,0) into (-x,y).
3360
3361 2007-02-02  Mike Stump  <mrs@apple.com>
3362
3363         * config/darwin9.h (DARWIN_LINKER_GENERATES_ISLANDS): Add.
3364         * config/rs6000/rs6000.c (DARWIN_GENERATE_ISLANDS): Add.
3365         (output_call): Use DARWIN_GENERATE_ISLANDS to decide when to
3366         generate a branch island.
3367
3368 2007-02-02  Bob Wilson  <bob.wilson@acm.org>
3369
3370         * config/xtensa/xtensa.c (smalloffset_mem_p): Use BASE_REG_P.
3371         (xtensa_legitimate_address_p): New.
3372         (xtensa_legitimize_address): New.
3373         (xtensa_output_addr_const_extra): New.
3374         * config/xtensa/xtensa.h (REG_OK_STRICT_FLAG): Define.
3375         (BASE_REG_P): New.
3376         (REG_OK_FOR_BASE_P): Use BASE_REG_P.
3377         (GO_IF_LEGITIMATE_ADDRESS): Move code to xtensa_legitimate_address_p.
3378         (LEGITIMIZE_ADDRESS): Move code to xtensa_legitimize_address.
3379         (OUTPUT_ADDR_CONST_EXTRA): Move code to xtensa_output_addr_const_extra.
3380         * config/xtensa/xtensa-protos.h (xtensa_legitimate_address_p): New.
3381         (xtensa_legitimize_address): New.
3382         (xtensa_output_addr_const_extra): New.
3383
3384 2007-02-02  Steve Ellcey  <sje@cup.hp.com>
3385
3386         * config/ia64/ia64.c (ia64_print_operand): Fix compare strings.
3387
3388 2007-02-02  Ian Lance Taylor  <iant@google.com>
3389
3390         * expmed.c (expand_divmod): Add comment.
3391
3392 2007-02-02  Kazu Hirata  <kazu@codesourcery.com>
3393
3394         * emit-rtl.c (renumber_insns): Remove.
3395         * flags.h: Remove the extern for flag_renumber_insns.
3396         * rtl.h: Remove the prototype for renumber_insns.
3397         * toplev.c (flag_renumber_insns): Remove.
3398
3399 2007-02-02  Hui-May Chang  <hm.chang@apple.com>
3400
3401         Revert for x86 darwin:
3402         2005-06-19  Uros Bizjak  <uros@kss-loka.si>
3403
3404         * config/i386/i386.c (ix86_function_arg_regno_p): Put back the
3405         code before the following patch under TARGET_MACHO.
3406         (ix86_function_value_regno_p): Likewise.
3407
3408 2007-02-02  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3409
3410         * fold-const.c (negate_expr_p, fold_negate_expr): Handle
3411         COMPLEX_EXPR.
3412
3413 2007-02-02  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
3414
3415         PR target/29682
3416         * config/ia64/ia64.c (ia64_speculate_insn): Restrict to memory loads to
3417         general or fp registers.  Add comments.
3418         * config/ia64/ia64.md (reg_pred_prefix): Add comment.
3419
3420 2007-02-02  Paolo Bonzini  <bonzini@gnu.org>
3421
3422         * pointer-set.c (insert_aux): Only return insertion slot.
3423         (pointer_set_insert): Adjust.
3424         (pointer_set_traverse, struct pointer_map_t, pointer_map_create,
3425         pointer_map_destroy, pointer_map_insert, pointer_map_contains,
3426         pointer_map_traverse): New.
3427         * pointer-set.h (pointer_set_traverse, struct pointer_map_t,
3428         pointer_map_create,  pointer_map_destroy, pointer_map_insert,
3429         pointer_map_contains, pointer_map_traverse): Declare.
3430
3431 2007-02-02  Jakub Jelinek  <jakub@redhat.com>
3432
3433         PR middle-end/30473
3434         * builtins.c (fold_builtin_sprintf): Do not attempt to optimize
3435         sprintf (str, "%s").  Do not optimize sprintf (str, "nopercent", p++).
3436
3437 2007-02-02  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
3438
3439         * sched-int.h (ds_to_dk, dk_to_ds): Declare functions.
3440
3441         (struct _dep): New type.
3442         (dep_t): New typedef.
3443         (DEP_PRO, DEP_CON, DEP_KIND): New access macros.
3444         (DEP_STATUS): New access macro.  The macro with the same name was
3445         renamed to DEP_LINK_STATUS.
3446         (dep_init): Declare function
3447
3448         (struct _dep_link): New type.
3449         (dep_link_t): New typedef.
3450         (DEP_LINK_NODE, DEP_LINK_NEXT, DEP_LINK_PREV_NEXTP): New access macros.
3451         (DEP_LINK_DEP, DEP_LINK_PRO, DEP_LINK_CON, DEP_LINK_KIND): New macros.
3452         (DEP_LINK_STATUS): New macro.
3453         (debug_dep_links): New debug function.
3454
3455         (struct _deps_list): New type.
3456         (deps_list_t): New typedef.
3457         (DEPS_LIST_FIRST): New access macro.
3458         (FOR_EACH_DEP_LINK): New cycle macro.
3459         (create_deps_list, free_deps_list, delete_deps_list): Declare
3460         functions.
3461         (deps_list_empty_p, debug_deps_list, add_back_dep_to_deps_list): Ditto.
3462         (find_link_by_pro_in_deps_list, find_link_by_con_in_deps_list): Ditto.
3463         (copy_deps_list_change_con): Ditto.
3464
3465         (move_dep_link): Declare function.
3466
3467         (struct _dep_node): New type.
3468         (dep_node_t): New typedef.
3469         (DEP_NODE_BACK, DEP_NODE_DEP, DEP_NODE_FORW): New access macros.
3470
3471         (struct haifa_insn_data.back_deps): New field to hold backward
3472         dependencies of the insn.
3473         (struct haifa_insn_data.depend): Rename to forw_deps.  Change its type
3474         to deps_list_t.
3475         (struct haifa_insn_data.resolved_deps): Rename to resolved_back_deps.
3476         Change its type to deps_list_t.
3477         (INSN_BACK_DEPS): New access macro to use instead of LOG_LINKS.
3478         (INSN_DEPEND): Rename to INSN_FORW_DEPS.
3479         (RESOLVED_DEPS): Rename to INSN_RESOLVED_BACK_DEPS.
3480
3481         (INSN_COST): Move to haifa-sched.c.  Use insn_cost () instead.
3482
3483         (DEP_STATUS): Rename to DEP_LINK_STATUS.  Fix typo in the comment.
3484
3485         (add_forw_dep, delete_back_forw_dep, insn_cost): Update declaration and
3486         all callers.
3487         (dep_cost): Declare.
3488
3489         * sched-deps.c (CHECK): New macro to (en/dis)able sanity checks.
3490         (ds_to_dk, dk_to_ds): New functions.
3491
3492         (init_dep_1): New static function.
3493         (init_dep): New function.
3494         (copy_dep): New static function.
3495
3496         (dep_link_consistent_p, attach_dep_link, add_to_deps_list): New static
3497         functions.
3498         (detach_dep_link): New static function.
3499         (move_dep_link): New function.
3500
3501         (dep_links_consistent_p, dump_dep_links): New static functions.
3502         (debug_dep_links): New debugging function.
3503
3504         (deps_obstack, dl_obstack, dn_obstack): New static variables.
3505
3506         (alloc_deps_list, init_deps_list): New static functions.
3507         (create_deps_list): New function.
3508         (clear_deps_list): New static function.
3509         (free_deps_list, delete_deps_list, deps_list_empty_p): New functions.
3510         (deps_list_consistent_p, dump_deps_list): New static functions.
3511         (debug_deps_list): New function.
3512         (add_back_dep_to_deps_list, find_link_by_pro_in_deps_list): New
3513         functions.
3514         (find_link_by_con_in_deps_list, copy_deps_list_change_con): Ditto.
3515
3516         (maybe_add_or_update_back_dep_1, add_or_update_back_dep_1): Update to
3517         use new scheduler dependencies lists.
3518         (add_back_dep, delete_all_dependences, fixup_sched_groups): Ditto.
3519         (sched_analyze): Ditto.  Initialize dependencies lists.
3520         (add_forw_dep, compute_forward_dependences): Update to use new
3521         scheduler dependencies lists.
3522
3523         (init_dependency_caches): Init deps_obstack.
3524         (free_dependency_caches): Free deps_obstack.
3525
3526         (adjust_add_sorted_back_dep, adjust_back_add_forw_dep): Update to use
3527         new scheduler dependencies lists.
3528         (delete_forw_dep, add_or_update_back_forw_dep): Ditto.
3529         (add_back_forw_dep, delete_back_forw_dep): Ditto.
3530
3531         * sched-rgn.c (set_spec_fed, find_conditional_protection, is_pfree):
3532         Update to use new scheduler dependencies lists.
3533         (is_conditionally_protected, is_prisky, add_branch_dependences): Ditto.
3534         (debug_dependencies): Ditto.
3535         (schedule_region): Update comments.
3536
3537         * sched-ebb.c (earliest_block_with_similiar_load): Update to use new
3538         scheduler dependencies lists.
3539         (schedule_ebb): Update comments.
3540
3541         * rtl.def (DEPS_LIST): Remove.
3542
3543         * lists.c (unused_deps_list): Remove.
3544         (free_list): Update assertions.
3545
3546         (alloc_DEPS_LIST, free_DEPS_LIST_list, free_DEPS_LIST_node): Remove.
3547         (remove_free_DEPS_LIST_elem, copy_DEPS_LIST_list): Ditto.
3548
3549         * rtl.h (free_DEPS_LIST_list, alloc_DEPS_LIST): Remove declarations.
3550         (remove_free_DEPS_LIST_elem, copy_DEPS_LIST_list): Ditto.
3551
3552         * haifa-sched.c (comments): Update.
3553         (insn_cost1): Remove.  Inline the code into insn_cost ().
3554         (insn_cost): Update to use new scheduler dependencies lists.  Move
3555         processing of the dependency cost to dep_cost ().
3556         (dep_cost): New function.  Use it instead of insn_cost () when
3557         evaluating cost of the dependency.  Use compatible interface to
3558         interact with the target.
3559         (priority): Update to use new scheduler dependencies lists.
3560         (rank_for_schedule): Ditto.  Optimize heuristic that prefers the insn
3561         with greater number of insns that depend on the insn.
3562         (schedule_insn): Update to use new scheduler dependencies lists.  Add
3563         code to free backward dependencies lists.  Inline and optimize code
3564         from resolve_dep () - see PR28071.
3565         (ok_for_early_queue_removal): Update to use new scheduler dependencies
3566         lists.  Update call to targetm.sched.is_costly_dependence hook.
3567
3568         (fix_inter_tick, try_ready, fix_tick_ready): Update to use new
3569         scheduler dependencies lists.
3570
3571         (resolve_dep): Remove.  Move the logic to schedule_insn ().
3572         (init_h_i_d): Initialize dependencies lists.
3573
3574         (process_insn_depend_be_in_spec): Rename to
3575         process_insn_forw_deps_be_in_spec.  Update to use new scheduler
3576         dependencies lists.
3577         (add_to_speculative_block, create_check_block_twin, fix_recovery_deps):
3578         Update to use new scheduler dependencies lists.
3579         (clear_priorities, calc_priorities, add_jump_dependencies): Ditto.
3580
3581         * ddg.c (create_ddg_dependence, create_ddg_dep_no_link): Update to use
3582         new scheduler dependencies lists.
3583         (build_intra_loop_deps): Ditto.
3584
3585         * target.h (struct _dep): Declare to use in
3586         gcc_target.sched.is_costly_dependence.
3587         (struct gcc_target.sched.adjust_cost): Fix typo.
3588         (struct gcc_target.sched.is_costly_dependence): Change signature to use
3589         single dep_t parameter instead of an equivalent triad.
3590         (struct gcc_target.sched.adjust_cost_2): Remove.
3591
3592         * target-def.h (TARGET_SCHED_ADJUST_COST_2): Remove.
3593
3594         * reg-notes.def (DEP_TRUE, DEP_OUTPUT, DEP_ANTI): Update comments.
3595
3596         * doc/tm.texi (TARGET_SCHED_IS_COSTLY_DEPENDENCE): Update
3597         documentation.
3598         (TARGET_SCHED_ADJUST_COST_2): Remove documentation.
3599
3600         * doc/rtl.texi (LOG_LINKS): Remove part about instruction scheduler.
3601         (REG_DEP_TRUE): Document.
3602
3603         * config/ia64/ia64.c (ia64_adjust_cost_2): Rename to ia64_adjust_cost.
3604         Change signature to correspond to the targetm.sched.adjust_cost hook.
3605         Update use in TARGET_SCHED_ADJUST_COST_2.
3606         (TARGET_SCHED_ADJUST_COST_2): Rename to TARGET_SCHED_ADJUST_COST.
3607         (ia64_dependencies_evaluation_hook, ia64_dfa_new_cycle): Update to use
3608         new scheduler dependencies lists.
3609         (ia64_gen_check): Ditto.
3610
3611         * config/mips/mips.c (vr4130_swap_insns_p): Update to use new scheduler
3612         dependencies lists.
3613
3614         * config/rs6000/rs6000.c (rs6000_is_costly_dependence): Change
3615         signature to correspond to the targetm.sched.is_costly_dependence hook.
3616         (is_costly_group): Update to use new scheduler dependencies lists.
3617
3618         * config/spu/spu.c (spu_sched_adjust_cost): Use insn_cost () function
3619         instead of INSN_COST () macro.
3620
3621 2007-02-01  Ian Lance Taylor  <iant@google.com>
3622
3623         * lower-subreg.c (resolve_clobber): Handle a subreg of a concatn.
3624
3625 2007-02-01  Guy Martin  <gmsoft@gentoo.org>
3626
3627         * pa.md (tp_load): Correct mfctl instruction syntax.
3628
3629 2007-02-01  Geoffrey Keating  <geoffk@apple.com>
3630
3631         * config/rs6000/rs6000.c (rs6000_stack_info): Correct
3632         altivec_padding_size calculation on AIX.  Improve comment, add
3633         assert to verify that it's right.
3634
3635         * config/rs6000/darwin.h (MD_UNWIND_SUPPORT): Don't define for
3636         64-bit.
3637
3638 2007-2-01  Seongbae Park  <seongbae.park@gmail.com>
3639
3640         PR inline-asm/28686
3641         * global.c (global_alloc): Add mising initialization of
3642         ELIMINABLE_REGSET.
3643
3644 2007-02-01  Roger Sayle  <roger@eyesopen.com>
3645
3646         * alias.c (init_alias_analysis): Correct whitespace.
3647         * bb-reorder.c (fix_edges_for_rarely_executed_code,
3648         partition_hot_cold_basic_blocks): Likewise.
3649         * builtins.c (expand_builtin_printf, expand_builtin_fprintf,
3650         expand_builtin_sprintf, fold_builtin_carg, fold_builtin_sprintf,
3651         maybe_emit_sprintf_chk_warning, fold_builtin_sprintf_chk,
3652         fold_builtin_snprintf_chk, fold_builtin_printf,
3653         fold_builtin_fprintf, do_mpfr_ckconv, do_mpfr_arg1, do_mpfr_arg2,
3654         do_mpfr_arg3, do_mpfr_sincos): Likewise.
3655         * cfgcleanup.c (cleanup_cfg): Likewise.
3656         * cfgexpand.c (tree_expand_cfg): Likewise.
3657         * fold-const.c (fold_binary) <RDIV_EXPR>: Likewise.
3658         * function.c (get_next_funcdef_no): Likewise.
3659         * gengtype.c (main): Likewise.
3660         * genmodes.c (main): Likewise.
3661         * gcse.c (bypass_conditional_jumps, print_ldst_list): Likewise.
3662         * haifa-sched.c (schedule_block, extend_h_i_d): Likewise.
3663         * ifcvt.c (noce_emit_move_insn): Likewise.
3664         * modulo-sched.c (generate_prolog_epilog, sms_schedule_by_order):
3665         Likewise.
3666         * stor-layout.c (get_best_mode): Likewise.
3667         * tree-ssa-loop-niter.c (get_val_for): Likewise.
3668         * tree-ssa-structalias.c (get_varinfo, get_varinfo_fc,
3669         scc_visit, do_ds_constraint, do_complex_constraint, label_visit,
3670         perform_var_substitution, solve_graph): Likewise.
3671         * tree-vrp.c (vrp_finalize): Likewise.
3672
3673 2007-02-01  Ian Lance Taylor  <iant@google.com>
3674
3675         * lower-subreg.c (simplify_gen_subreg_concatn): If we ask for the
3676         high part of a paradoxical subreg, return a constant zero.
3677
3678 2007-02-01  Zdenek Dvorak <dvorakz@suse.cz>
3679
3680         * toplev.c (lang_dependent_init): Call init_set_costs.
3681         * loop-init.c (loop_optimizer_init): Do not call init_set_costs.
3682
3683 2007-02-01  Richard Guenther  <rguenther@suse.de>
3684
3685         PR middle-end/30656
3686         * fold-const.c (fold_negate_expr): Allow negating a
3687         constant if overflow does not change.
3688
3689 2007-02-01  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
3690
3691         * doc/c-tree.texi (Expression trees): Improve markup.
3692         * doc/tm.texi (Register Classes, Addressing Modes)
3693         (Floating Point): Fix spacing after abbreviations.  Fix some
3694         typos.
3695
3696 2007-02-01  Ben Elliston  <bje@au.ibm.com>
3697
3698         * doc/invoke.texi: Replace "bugfix" with "bug fix" throughout.
3699         * doc/contrib.texi: Likewise.
3700         * doc/install.texi: Likewise.
3701
3702 2007-01-31  Richard Henderson  <rth@redhat.com>
3703             Ian Lance Taylor  <iant@google.com>
3704
3705         * lower-subreg.c: New file.
3706         * rtl.def (CONCATN): Define.
3707         * passes.c (init_optimization_passes): Add pass_lower_subreg and
3708         pass_lower_subreg2.
3709         * emit-rtl.c (update_reg_offset): New static function, broken out
3710         of gen_rtx_REG_offset.
3711         (gen_rtx_REG_offset): Call update_reg_offset.
3712         (gen_reg_rtx_offset): New function.
3713         * regclass.c: Revert patch of 2006-03-05, restoring
3714         reg_scan_update.
3715         (clear_reg_info_regno): New function.
3716         * dwarf2out.c (concatn_loc_descriptor): New static function.
3717         (loc_descriptor): Handle CONCATN.
3718         * common.opt (fsplit_wide_types): New option.
3719         * opts.c (decode_options): Set flag_split_wide_types when
3720         optimizing.
3721         * timevar.def (TV_LOWER_SUBREG): Define.
3722         * rtl.h (gen_reg_rtx_offset): Declare.
3723         (reg_scan_update): Declare.
3724         * regs.h (clear_reg_info_regno): Declare.
3725         * tree-pass.h (pass_lower_subreg): Declare.
3726         (pass_lower_subreg2): Declare.
3727         * doc/invoke.texi (Option Summary): List -fno-split-wide-types.
3728         (Optimize Options): Add -fsplit-wide-types to -O1 list.  Document
3729         -fsplit-wide-types.
3730         * doc/rtl.texi (Regs and Memory): Document concat and concatn.
3731         * Makefile.in (OBJS-common): Add lower-subreg.o.
3732         (lower-subreg.o): New target.
3733
3734 2007-01-31  Kazu Hirata  <kazu@codesourcery.com>
3735
3736         * config/sh/sh.h (HAVE_SECONDARY_RELOADS): Remove.
3737
3738 2007-01-31  Anatoly Sokolov <aesok@post.ru>
3739
3740         PR target/19087
3741         * config/avr/avr.c (DWARF2_ADDR_SIZE): Define.
3742
3743 2007-01-31  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3744
3745         PR middle-end/29335
3746         * builtins.c (fold_builtin_sqrt): Use MPFR for constant args.
3747
3748 2007-01-31  Zdenek Dvorak <dvorakz@suse.cz>
3749
3750         * cfgloop.h: Include vec-prim.h.
3751         (enum li_flags): Remove LI_ONLY_OLD.
3752         (loop_iterator): Changed.
3753         (fel_next, fel_init): Iterate over loop tree.
3754         (FOR_EACH_LOOP_BREAK): New macro.
3755         * loop-unswitch.c (unswitch_loops): Do not pass LI_ONLY_OLD to
3756         FOR_EACH_LOOP.
3757         * tree-ssa-loop-unswitch.c (tree_ssa_unswitch_loops): Ditto.
3758         * modulo-sched.c (sms_schedule): Ditto.
3759         * tree-vectorizer.c (vectorize_loops): Ditto.
3760         * doc/loop.texi: Update information on loop numbering and behavior of
3761         FOR_EACH_LOOP wrto new loops.
3762         * tree-scalar-evolution.c (compute_overall_effect_of_inner_loop,
3763         add_to_evolution_1): Test nestedness of loops instead of comparing
3764         their numbers.
3765         * tree-chrec.c (chrec_fold_plus_poly_poly,
3766         chrec_fold_multiply_poly_poly, chrec_evaluate,
3767         hide_evolution_in_other_loops_than_loop, chrec_component_in_loop_num,
3768         reset_evolution_in_loop): Ditto.
3769         * Makefile.in (CFGLOOP_H): Add vecprim.h dependency.
3770
3771 2007-01-31  Dirk Mueller  <dmueller@suse.de>
3772
3773         * c-common.c (warn_about_parentheses): Separate warning about
3774         un-parenthized sequence of comparison operators from the one
3775         which is supposed to warn about x <= y <= z.
3776
3777 2007-01-31  Uros Bizjak  <ubizjak@gmail.com>
3778
3779         * optabs.h (enum optab_index): Add new OTI_isinf.
3780         (isinf_optab): Define corresponding macro.
3781         * optabs.c (init_optabs): Initialize isinf_optab.
3782         * genopinit.c (optabs): Implement isinf_optab using isinf?f2
3783         patterns.
3784         * builtins.c (mathfn_built_in): Handle BUILT_IN_ISINF{,F,L}.
3785         (expand_builtin_interclass_mathfn): Expand BUILT_IN_ISINF{,F,L}
3786         using isinf_optab.
3787         (expand_builtin): Expand BUILT_IN_ISINF{,F,L} using
3788         expand_builtin_interclass_mathfn.
3789         * reg_stack.c (subst_stack_regs_pat): Handle UNSPEC_FXAM.
3790         * config/i386/i386.md (UNSPEC_FXAM): New constant.
3791         (fxam<mode>2_i387): New insn pattern.
3792         (isinf<mode>2) New expander to implement isinf, isinff and isinfl
3793         built-in functions as x87 inline asm.
3794
3795 2007-01-31  Kazu Hirata  <kazu@codesourcery.com>
3796
3797         * gcc/config/arm/unwind-arm.h (_sleb128_t, _uleb128_t): New.
3798
3799 2007-01-30  Eric Christopher  <echristo@apple.com>
3800
3801         * config.gcc: Add geode.
3802
3803 2007-01-31  Kazu Hirata  <kazu@codesourcery.com>
3804
3805         * cgraphunit.c, config/arm/arm.c, config/m68k/m68k.c,
3806         ipa-inline.c, tree-profile.c, tree-ssa-live.c,
3807         tree-ssa-math-opts.c, tree-ssanames.c, tree-vect-analyze.c,
3808         value-prof.c: Fix comment typos.
3809
3810 2007-01-30  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3811
3812         PR c++/24745
3813         * doc/invoke.texi (Wpointer-arith): Document warning.
3814
3815 2007-01-30  Janis Johnson  <janis187@us.ibm.com>
3816
3817         * doc/extend.texi (Decimal Floating Types): Remove decfloat.h from
3818         the list of discrepancies from the draft TR.
3819
3820 2007-01-30  Dirk Mueller  <dmueller@suse.de>
3821
3822         PR c++/30601
3823         * doc/invoke.texi (-Wreturn-type): Update description to
3824         match new behavior.
3825
3826 2007-01-30  Richard Sandiford  <richard@codesourcery.com>
3827
3828         * cfgrtl.c (try_redirect_by_replacing_jump): Check only_sets_cc0_p.
3829
3830 2007-01-30  Uros Bizjak  <ubizjak@gmail.com>
3831
3832         * builtins.c (expand_builtin_int_interclass_roundingfn): New function
3833         to handle optabs that operate on floating point input argument and
3834         output to integer output.
3835         (expand_builtin_mathfn) [BUILT_IN_ILOGB]: Move from here ...
3836         (expand_builtin_interclass_mathfn) [BUILT_IN_ILOGB]: ... to here.
3837         (expand_builtin): Expand BUILT_IN_ILOGB{,F,L} using
3838         expand_builtin_interclass_mathfn ().
3839         * config/i386/i386.md (fxtractxf3_i387): Rename from *fxtractxf3_i387.
3840         (ilogbsi2): Remove.
3841         (ilogbxf2, ilogb<mode>2): New expanders to implement ilogb, ilogbf and
3842         ilogbl built-in functions as x87 intrinsics.
3843
3844 2007-01-30  Richard Guenther  <rguenther@suse.de>
3845
3846         PR middle-end/27657
3847         * dwarf2out.c (reference_to_unused): Query varpool if the
3848         variable was output.
3849
3850 2007-01-30  Richard Guenther  <rguenther@suse.de>
3851
3852         PR middle-end/30313
3853         * passes.c (execute_one_pass): Reset in_gimple_form to not
3854         confuse non-unit-at-a-time mode.
3855
3856 2007-01-29  Roger Sayle  <roger@eyesopen.com>
3857             Richard Guenther  <rguenther@suse.de>
3858
3859         * fold-const.c (round_up): Make HIGH an unsigned HOST_WIDE_INT to
3860         avoid undefined behaviour on overflow.  Use force_fit_type_double
3861         to construct the constant with the specified TREE_OVERFLOW.
3862
3863 2007-01-29  Janis Johnson  <janis187@us.ibm.com>
3864
3865         * config/dfp-bit.c: Add parameterized support for fp exceptions.
3866         * config/dfp-bit.h: Ditto.
3867
3868 2007-01-29  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3869
3870         * c-decl.c (pop_scope): Replace warnings with call to
3871         warn_for_unused_label.
3872         * c-common.h (warn_for_unused_label): Declare.
3873         * c-common.c (warn_for_unused_label): Define.
3874
3875 2007-01-29  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3876
3877         * tree-optimize.c (update_inlined_to_pointers): Delete unused
3878         function.
3879
3880 2007-01-29  Janis Johnson  <janis187@us.ibm.com>
3881
3882         * Makefile.in (USER_H): Remove decfloat.h.
3883         * ginclude/decfloat.h: Delete, moving contents to ...
3884         * ginclude/float.h: Add support for decimal floating point,
3885         guarded by __STDC_WANT_DEC_FP__.
3886
3887 2007-01-29  Mike Stump  <mrs@apple.com>
3888
3889         * doc/gccint.texi (Top): Rename Loop Representation to Loop
3890         Analysis and Representation to resolve case insensitive conflict.
3891         * doc/loop.texi (Loop Analysis and Representation): Likewise.
3892
3893 2007-01-28  Daniel Berlin  <dberlin@dberlin.org>
3894
3895         * tree.h (struct tree_memory_tag): Add aliases member.
3896         (MTAG_ALIASES): New macro.
3897         * tree-ssa-alias.c (alias_bitmap_obstack): New variable.
3898         (add_may_alias): Remove pointer-set. Update for may_aliases being
3899         a bitmap.
3900         (mark_aliases_call_clobbered): Update for may_aliases being a
3901         bitmap.
3902         (compute_tag_properties): Ditto.
3903         (create_partition_for): Ditto.
3904         (compute_memory_partitions): Ditto.
3905         (dump_may_aliases_for): Ditto.
3906         (is_aliased_with): Ditto.
3907         (add_may_alias_for_new_tag): Ditto.
3908         (rewrite_alias_set_for): Rewrite for may_aliases being a bitmap.
3909         (compute_is_aliased): New function.
3910         (compute_may_aliases): Call compute_is_aliased).
3911         (init_alias_info): Initialize alias_bitmap_obstack.
3912         (union_alias_set_into): New function.
3913         (compute_flow_sensitive_aliasing): Use union_aliases_into.
3914         (have_common_aliases_p): Rewrite to take two bitmaps and use
3915         intersection.
3916         (compute_flow_insensitive_aliasing): Stop using pointer-sets.
3917         Update for bitmaps.
3918         (finalize_ref_all_pointers): Update for add_may_alias changes.
3919         (new_type_alias): Ditto.
3920         * tree-flow-inline.h (may_aliases): Return a bitmap.
3921         * tree-dfa.c (dump_variable): Check for MTAG_P'ness.
3922         * tree-ssa.c (verify_flow_insensitive_alias_info): Update for
3923         may_aliases being a bitmap.
3924         * tree-flow.h (struct var_ann_d): Remove may_aliases member.
3925         may_aliases now returns a bitmap.
3926         * tree-ssa-structalias.c (merge_smts_into): Update for may_aliases
3927         being a bitmap.
3928         * tree-ssa-operands.c (add_virtual_operand): Update for
3929         may_aliases being a bitmap.
3930
3931 2007-01-29  Daniel Berlin  <dberlin@dberlin.org>
3932
3933         PR tree-optimization/30630
3934         * tree-ssa-structalias.c (do_complex_constraint): Mark correct
3935         variable as changed.
3936
3937 2007-01-29  Simon Martin  <simartin@users.sourceforge.net>
3938
3939         PR c++/28266
3940         * gimplify.c (gimplify_target_expr): Make sure that the TARGET_EXPR is
3941         expanded only once even if an error occurs.
3942
3943 2007-01-29  Ben Elliston  <bje@au.ibm.com>
3944
3945         * gcov-io.h (__gcov_indirect_call_profiler): Declare.
3946         (__gcov_average_profiler): Likewise.
3947         (__gcov_ior_profiler): Likewise.
3948         (__gcov_merge_ior): Likewise.
3949
3950 2007-01-28  Jan Hubicka  <jh@suse.cz>
3951
3952         * builtins.c (expand_builtin_memset): Fix typo in my last patch.
3953         * value-prof.c (stringop_block_profile): Likewise.
3954
3955 2007-01-28  Jan Hubicka  <jh@suse.cz>
3956
3957         * expr.c (emit_block_move_via_movmem, emit_block_move_via_libcall): Add
3958         variant handling histograms; add wrapper.
3959         (clear_storage_via_libcall): Export.
3960         (emit_block_move_hints): Break out from ...; add histograms.
3961         (emit_block_move): ... this one.
3962         (clear_storage_hints): Break out from ...; add histograms.
3963         (clear_storage): ... this one.
3964         (set_storage_via_memset): Handle histogram.
3965         * expr.h (emit_block_move_via_libcall, emit_block_move_hints): Declare.
3966         (clear_storage_hints, clear_storage_via_libcall): Declare.
3967         (set_storage_via_setmem): Update prototype.
3968         * doc/md.texi (movmem, setmem): Document new arguments.
3969
3970         * value-prof.c (dump_histogram_value, tree_find_values_to_profile): Add
3971         new histograms.
3972         (stringop_block_profile): New global function.
3973         (tree_stringops_values_to_profile): Profile block size and alignment.
3974         * value-prof.h (enum hist_type): add HIST_TYPE_AVERAGE and
3975         HIST_TYPE_IOR.
3976         (struct profile_hooks): Add gen_average_profiler and gen_ior_profiler.
3977         (stringop_block_profile): Declare.
3978         * builtins.c: Include value-prof.h.
3979         (expand_builtin_memcpy, expand_builtin_memset): Pass block profile.
3980         * gcov-ui.h (GCOV_COUNTER_NAMES): Add new counter.
3981         (GCOV_COUNTER_AVERAGE, GCOV_COUNTER_IOR): New constants.
3982         (GCOV_COUNTERS, GCOV_LAST_VALUE_COUNTER): Update.
3983         * profile.c (instrument_values): Add new counters.
3984         * cfgexpand.c (expand_gimple_basic_block): Propagate histograms to
3985         calls.
3986         * tree-profile.c (tree_average_profiler_fn, tree_ior_profiler_fn): New.
3987         (tree_init_edge_profiler): Build new profilers.
3988         (tree_gen_average_profiler, tree_gen_ior_profiler): New.
3989         (pass_tree_profile): Add dump.
3990         (tree_profile_hooks): Update.
3991         * Makefile.in (LIBGCOV): Add new constants.
3992         * libgcov.c (__gcov_merge_ior, __gcov_average_profiler,
3993         __gcov_ior_profiler): New.
3994         * i386.md (movmem/setmem expanders): Add new optional arguments.
3995