OSDN Git Service

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