OSDN Git Service

fa1e4b3ad2128680971e3728e101b9c24b4d3df2
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2007-03-25  Dorit Nuzman  <dorit@il.ibm.com>
2
3         PR tree-optimization/30784
4         * fold-const.c (fold_ternary): Handle CONSTRUCTOR in case
5         BIT_FIELD_REF.
6
7 2007-03-25  Revital Eres  <eres@il.ibm.com>
8
9         * tree-if-conv.c (if_convertible_gimple_modify_stmt_p):
10           Fold movement_possibility function into it.
11
12 2007-03-25  David Edelsohn  <edelsohn@gnu.org>
13
14         * config/rs6000/darwin.md (load_macho_picbase): Ignore operand 0.
15         (load_macho_picbase_{si,di}): Convert to LR hard reg.
16         (call_indirect_nonlocal_darwin64): Same.
17         (call_nonlocal_darwin64): Same.
18         (call_value_indirect_nonlocal_darwin64): Same.
19         (call_value_nonlocal_darwin64): Same.
20         (sibcall_nonlocal_darwin64): Same.
21         (sibcall_value_nonlocal_darwin64): Same.
22         (sibcall_symbolic_64): Same.
23         (sibcall_value_symbolic_64): Same.
24         * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Remove
25         LR pseudo.
26         (rs6000_emit_load_toc_table): Same.
27         * config/rs6000/altivec.md (restore_world): Convert to LR hard reg.
28         * config/rs6000/rs6000.md (mulh_call): Convert to LR hard reg.
29         (mull_call): Same.
30         (divss_call): Same.
31         (divus_call): Same.
32         (quoss_call): Same.
33         (quous_call): Same.
34         (load_toc_v4_pic_si): Same
35         (load_toc_v4_PIC_1): Same.
36         (load_toc_v4_PIC_1b): Same.
37         (call_indirect_aix{32,64}): Same.
38         (call_value_indirect_aix{32,64}): Same.
39         (call): Same.
40         (call_value): Same.
41         (call_local{32,64}): Same.
42         (call_value_local{32,64}): Same.
43         (call_indirect_nonlocal_aix{32,64}): Same.
44         (call_nonlocal_aix{32,64}): Same.
45         (call_value_indirect_nonlocal_aix{32,64}): Same.
46         (call_value_nonlocal_aix{32,64}): Same.
47         (call_indirect_nonlocal_sysv<mode>): Same.
48         (call_nonlocal_sysv<mode>): Same.
49         (call_value_indirect_nonlocal_sysv<mode>): Same.
50         (call_value_nonlocal_sysv<mode>): Same.
51         (sibcall): Same.
52         (sibcall_local{32,64}): Same.
53         (sibcall_value_local{32,64}): Same.
54         (sibcall_nonlocal_aix{32,64}): Same.
55         (sibcall_value_nonlocal_aix{32,64}): Same.
56         (sibcall_nonlocal_sysv<mode>): Same.
57         (sibcall_value): Same.
58         (sibcall_value_nonlocal_sysv<mode>): Same.
59
60 2007-03-24  Paul Brook  <paul@codesourcery.com>
61
62         * config/arm/lib1funcs.asm (div0): Use ARM_FUNC_START and do_push.
63         * config/arm/linux-eabi.h: Remove legacy syscall hack.
64
65 2007-03-24  Richard Henderson  <rth@redhat.com>
66
67         * config/ia64/constraints.md: New file.
68         * config/ia64/predicates.md: Replace CONST_OK_FOR_? with
69         satisfies_constraint_?.
70         * config/ia64/ia64.c (ia64_move_ok, ia64_legitimate_constant_p,
71         ia64_reload_gp, spill_restore_mem, ia64_expand_prologue,
72         ia64_expand_epilogue, ia64_split_return_addr_rtx, ia64_rtx_costs,
73         ia64_output_mi_thunk): Likewise.
74         (ia64_const_ok_for_letter_p): Remove.
75         (ia64_const_double_ok_for_letter_p): Remove.
76         (ia64_extra_constraint): Remove.
77         * config/ia64/ia64.h (REG_CLASS_FROM_LETTER): Remove.
78         (CONST_OK_FOR_I, CONST_OK_FOR_J, CONST_OK_FOR_K, CONST_OK_FOR_L,
79         CONST_OK_FOR_M, CONST_OK_FOR_N, CONST_OK_FOR_O, CONST_OK_FOR_P,
80         CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_G,
81         CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT,
82         EXTRA_MEMORY_CONSTRAINT): Remove.
83         * config/ia64/ia64.md: Include constriants.md.  Replace
84         CONST_OK_FOR_? with satisfies_constraint_?.
85
86 2007-03-23  Michael Meissner  <michael.meissner@amd.com>
87             H.J. Lu  <hongjiu.lu@intel.com>
88
89         * config/dfp-bit.h (DPD_BID_NAME): New macro to give either the
90         DPD or BID name.
91         (name macros): Use DPD_BID_NAME to convert names properly.
92
93         * optabs.c (DECIMAL_PREFIX): Prefix string to use for the current
94         decimal floating point format.
95         (init_floating_libfuncs): Change decimal functions so that they
96         have a "bid_" prefix if the decimal system uses the BID format,
97         and "dpd_" prefix if the decimal system uses the DPD format.
98         (init_interclass_conv_libfuncs): Ditto.
99         (init_intraclass_conv_libfuncs): Ditto.
100
101         * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
102         using the BID format.
103
104         * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
105         whether we are using the BID decimal format.
106         * configure: Regenerate.
107
108         * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
109         the compiler has decimal floating point enabled.  Define
110         __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
111         instead of DPD.
112
113         * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
114         using the BID format.
115
116         * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
117         whether we are using the BID decimal format.
118         * configure: Regenerate.
119
120         * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
121         the compiler has decimal floating point enabled.  Define
122         __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
123         instead of DPD.
124
125         * doc/install.texi (--enable-decimal-float): Document BID and DPD
126         options, and that it is enabled for i386/x86_64 systems.
127
128         * Makefile.in (enable_decimal_float): New.
129         (DECNUMFMT): New.
130         (DECNUMINC): Add  -I$(DECNUMFMT).
131         (DECNUM_H): Mov decimal32.h, decimal64.h and decimal128.h
132         to $(DECNUMFMT) from $(DECNUM).
133
134         * configure.ac: Support * --enable-decimal-float={no,yes,bid,dpd}.
135         Substitute enable_decimal_float.
136         * configure: Regenerated.
137
138         PR other/30529
139         * config/dfp-bit.c (__dec_byte_swap): Use uint32_t instead of
140         unsigned long.
141
142         * configure.ac: Enable decimal float for x86_64-*-linux*.
143         * configure: Regenerated.
144
145         PR other/30530
146         * dfp.c (decimal_real_arithmetic): Use decimal128FlipSign and
147         decimal128ClearSign to flip and clear the sign bit in decimal128.
148         (decimal_real_maxval): Set decimal128SetSign to set the sign
149         bit in decimal128.
150
151 2007-03-23  Ian Lance Taylor  <iant@google.com>
152
153         * fold-const.c (fold_binary): Correct warning for X - c >= X.
154
155 2007-03-23  Ian Lance Taylor  <iant@google.com>
156
157         * tree-dump.c (dump_files): Correct comment.
158
159 2007-03-23  Ian Lance Taylor  <iant@google.com>
160
161         * tree-vrp.c (operand_less_p): Ignore fold overflow warnings.
162
163 2007-03-23  Steven Bosscher  <steven@gcc.gnu.org>
164
165         * tracer.c (tracer): Don't take FLAGS argument.  Assert we are
166         in cfglayout mode.  Don't go into and out of cfglayout mode.
167         Link the blocks in the order of the constructed traces.
168         (rest_of_handle_tracer): Adjust call to tracer.
169         * loop-init.c (rtl_loop_init): Assert we are in cfglayout mode.
170         Don't go into cfglayout mode.
171         (rtl_loop_done): Don't go out of cfglayout mode.
172         * cfglayout.c (relink_block_chain): New function, split out from...
173         (fixup_reorder_chain): ...here.  Remove redundant checking.
174         (cfg_layout_finalize): Don't clear the header, footer, and aux
175         fields here, move the code to do so to relink_block_chain.  Likewise
176         for free_original_copy_tables.
177         * rtl.h (tracer): Update prototype.
178         * bb-reorder.c (reorder_basic_blocks): Don't take FLAGS argument.
179         Assert we are in cfglayout mode.  Don't go into and out of cfglayout
180         mode.  Use relink_block_chain to serialize the CFG according to the
181         new basic block order.  Move targetm.cannot_modify_jumps_p check from
182         here...
183         (gate_handle_reorder_blocks): ...to here.
184         (duplicate_computed_gotos): Move targetm.cannot_modify_jumps_p check
185         from here...
186         (gate_duplicate_computed_gotos): ...to here.
187         (rest_of_handle_reorder_blocks): Don't see if anything has changed,
188         something always changes when going into and out of cfglayout mode.
189         Perform an expensive cfg cleanup while going into cfglayout mode.
190         Always update liveness information on HAVE_conditional_execution
191         targets.  Reserialize the basic blocks and go out of cfglayout mode.
192         * reg-stack.c: Include cfglayout.h.
193         (rest_of_handle_stack_regs): Go into and out of cfglayout mode around
194         the call to reorder_basic_blocks.
195         * basic-block.h (reorder_basic_blocks): Update prototype.
196         (relink_block_chain): New prototype.
197         * passes.c (pass_outof_cfg_layout_mode): Move after cse2.
198
199 2007-03-23  Joseph Myers  <joseph@codesourcery.com>
200
201         * config/mips/mips.md (type, hazard, *movdi_32bit,
202         *movdi_gp32_fp64, *movdi_64bit, *movsi_internal, movcc,
203         *movhi_internal, *movqi_internal, *movsf_hardfloat,
204         *movdf_hardfloat_64bit, *movdf_hardfloat_32bit, *movdf_softfloat,
205         movv2sf_hardfloat_64bit, load_df_low, load_df_high, store_df_high,
206         mthc1, mfhc1): Change xfer instruction type to mfc and mtc, as
207         applicable.
208         (movcc): Change first xfer to multi.
209         * config/mips/24k.md, config/mips/4100.md, config/mips/4300.md,
210         config/mips/5000.md, config/mips/5400.md, config/mips/5500.md,
211         config/mips/5k.md, config/mips/7000.md, config/mips/9000.md,
212         config/mips/generic.md: Change reservations using "xfer" to use
213         "mfc,mtc".
214         * config/mips/sb1.md (ir_sb1_mtxfer): Use "mtc" instead of
215         using match_operand.
216         (ir_sb1_mfxfer): Use "mfc" instead of using match_operand.
217         * config/mips/sr71k.md (ir_sr70_xfer_from): Use "mfc" instead of
218         examining mode.
219         (ir_sr70_xfer_to): Use "mtc" instead of examining mode.
220
221 2007-03-22  Richard Henderson  <rth@redhat.com>
222
223         * config/i386/i386.c: Remove unnecessary function declarations.
224         Move targetm definition, and all related macros, to the end of
225         the file.  Resort some functions to put definitions before uses.
226         (ix86_attribute_table): Make static.  Move to end of file.
227         (ix86_gimplify_va_arg): Make static.
228
229 2007-03-22  Richard Henderson  <rth@redhat.com>
230
231         * config/i386/i386.c (ix86_function_regparm): Early exit for 64-bit;
232         don't increase local_regparm with force_align_arg_pointer check.
233         (ix86_function_sseregparm): Assert 32-bit.
234         (type_has_variadic_args_p): New.
235         (ix86_return_pops_args): Early exit for 64-bit.  Reindent; use
236         type_has_variadic_args_p.
237         (ix86_function_arg_regno_p): Use == 0 instead of ! test for eax.
238         (init_cumulative_args): Remove TARGET_DEBUG_ARG.  Remove zero_cum;
239         use memset instead.  Do maybe_vaarg check first; skip attribute
240         tests if true; skip attribute tests for 64-bit.
241         (construct_container): Remove TARGET_DEBUG_ARG.
242         (function_arg_advance_32, function_arg_advance_64): Split out ...
243         (function_arg_advance): ... from here.
244         (function_arg_32, function_arg_64): Split out ...
245         (function_arg): ... from here.
246         (ix86_pass_by_reference): Tidy.
247         (ix86_function_value_regno_p): Rearrange w/ switch on regno.
248         (function_value_32): New, from parts of ix86_function_value
249         and ix86_value_regno.
250         (function_value_64): New, from parts of ix86_function_value
251         and ix86_libcall_value.
252         (ix86_function_value_1): New.
253         (ix86_function_value, ix86_libcall_value): Use it.
254         (return_in_memory_32, return_in_memory_64): Split out ...
255         (ix86_return_in_memory): ... from here.
256         (ix86_struct_value_rtx): Skip for 64-bit.
257         (ix86_libcall_value, ix86_value_regno): Remove.
258         (setup_incoming_varargs_64): Split out ...
259         (ix86_setup_incoming_varargs): ... from here.
260         (ix86_va_start): Remove TARGET_DEBUG_ARG.
261         (legitimate_address_p, legitimize_address): Remove TARGET_DEBUG_ADDR.
262         * config/i386/i386-protos.h (ix86_function_value): Remove.
263         * config/i386/i386.opt (TARGET_DEBUG_ADDR, TARGET_DEBUG_ARG): Remove.
264
265 2007-03-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
266
267         PR other/23572
268         * c-lex.c (interpret_float): On overflow, emit pedantic warning if
269         infinities not supported, otherwise emit warning if -Woverflow. On
270         underflow, emit warning if -Woverflow.
271         * real.c (real_from_string): Return -1 if underflow, +1 if overflow
272         and 0 otherwise.
273         * real.h (real_from_string): Update declaration
274         
275 2007-03-22  Kai Tietz  <kai.tietz@onevision.com>
276             Richard Henderson  <rth@redhat.com>
277
278         * defaults.h (OUTGOING_REG_PARM_STACK_SPACE): Provide default.
279         * calls.c (compute_argument_block_size, expand_call,
280         emit_library_call_value_1): Don't ifdef OUTGOING_REG_PARM_STACK_SPACE.
281         * expr.c (block_move_libcall_safe_for_call_parm): Likewise.
282         * function.c (STACK_DYNAMIC_OFFSET): Likewise.
283         * doc/tm.texi (OUTGOING_REG_PARM_STACK_SPACE): Update.
284         * config/alpha/unicosmk.h, config/bfin/bfin.h, config/iq2000/iq2000.h,
285         config/mips/mips.h, config/mn10300/mn10300.h, config/mt/mt.h,
286         config/pa/pa.h, config/rs6000/rs6000.h, config/score/score.h,
287         config/spu/spu.h, config/v850/v850.h (OUTGOING_REG_PARM_STACK_SPACE):
288         Set to 1.
289
290 2007-03-22  Joseph Myers  <joseph@codesourcery.com>
291
292         * c-incpath.c (add_sysroot_to_chain): New.
293         (merge_include_chains): Add sysroot argument.  Call
294         add_sysroot_to_chain if sysrooted.
295         (register_include_chains): Update call to merge_include_chains.
296         * doc/cppopts.texi: Document use of '=' in include directory
297         arguments.
298
299 2007-03-22  Uros Bizjak  <ubizjak@gmail.com>
300
301         * config/i386/i386.md (cmp<mode>): Rename from cmpsf and cmpdf.
302         Macroize expander using SSEMODEF mode macro.  Use SSE_FLOAT_MODE_P.
303         (*cmpfp_<mode>): Rename from *cmpfp_sf and *cmpfp_df. Macroize
304         insn pattern using X87MODEF12 mode macro.
305         
306 2007-03-21  Seongbae Park <seongbae.park@gmail.com>
307
308         * regmove.c (regmove_optimize): Use reg_mentioned_p
309         instead of reg_overlap_mentioned_p for DST.
310
311 2007-03-21  Mike Stump  <mrs@apple.com>
312
313         * c.opt: Fixup for Objective-C/C++.
314
315 2007-03-21  Steve Ellcey  <sje@cup.hp.com>
316
317         * explow.c (convert_memory_address): Fold memory reference when
318         POINTERS_EXTEND_UNSIGNED < 0
319
320 2007-03-21  Richard Henderson  <rth@redhat.com>
321
322         PR target/31245
323         * config/i386/emmintrin.h (__m128i, __m128d): Mark may_alias.
324         * config/i386/mmintrin.h (__m64): Likewise.
325         * config/i386/xmmintrin.h (__m128): Likewise.
326
327 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
328
329         * config/vxworks.h (VXWORKS_ADDITIONAL_CPP_SPEC): Remove -D options.
330         (VXWORKS_OS_CPP_BUILTINS): Define.
331         * config/i386/vxworks.h (VXWORKS_CPU_DEFINE): Fold into...
332         (TARGET_OS_CPP_BUILTINS): ...here.  Use VXWORKS_OS_CPP_BUILTINS.
333
334 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
335
336         * rtl.h (constant_pool_reference_p): Delete.
337         (find_constant_src): Declare.
338         * rtlanal.c (find_constant_src): New function.
339         * simplify-rtx.c (constant_pool_reference_p): Delete.
340         * config/i386/i386.md: Use find_constant_src instead of
341         constant_pool_reference_p/avoid_constant_pool_reference pairs.
342
343 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
344
345         * doc/invoke.texi (-fpie, -fPIE): Document __pie__ and __PIE__.
346         * c-cppbuiltin.c (c_cpp_builtins): Define them.
347
348 2007-03-20  Mark Mitchell  <mark@codesourcery.com>
349
350         * config/arm/elf.h (TARGET_ASM_DESTRUCTOR): Define.
351         * config/arm/arm.c (arm_elf_asm_cdtor): New function.
352         (arm_elf_asm_constructor): Use it.
353         (arm_elf_asm_destructor): New function.
354
355 2007-03-20  Bernd Schmidt  <bernd.schmidt@analog.com>
356
357         * jump.c (mark_jump_label): Treat SEQUENCE specially.
358
359 2007-03-20  Nathan Sidwell  <nathan@codesourcery.com>
360
361         * config/vxlib.c (tls_delete_hook): Use TCB for kernel tasks.
362
363 2007-03-19  Andrew Haley  <aph@redhat.com>
364
365         PR tree-optimization/31264
366         * tree-vrp.c (register_edge_assert_for_1): Don't look though
367         VIEW_CONVERT_EXPRs.
368
369 2007-03-19  Paolo Bonzini  <bonzini@gnu.org>
370
371         PR rtl-optimization/30907
372         * fwprop.c (forward_propagate_into): Never propagate inside a loop.
373         (fwprop_init): Always call loop_optimizer_initialize.
374         (fwprop_done): Always call loop_optimizer_finalize.
375         (fwprop): We always have loop info now.
376         (gate_fwprop_addr): Remove.
377         (pass_fwprop_addr): Use gate_fwprop as gate.
378
379         PR rtl-optimization/30841
380         * df-problems.c (df_ru_local_compute, df_rd_local_compute,
381         df_chain_alloc): Call df_reorganize_refs unconditionally.
382         * df-scan.c (df_rescan_blocks, df_reorganize_refs): Change
383         refs_organized to refs_organized_size.
384         (df_ref_create_structure): Use refs_organized_size instead of
385         bitmap_size if refs had been organized, and keep refs_organized_size
386         up-to-date.
387         * df.h (struct df_ref_info): Change refs_organized to
388         refs_organized_size.
389         (DF_DEFS_SIZE, DF_USES_SIZE): Use refs_organized_size instead of
390         bitmap_size.
391
392 2007-03-19  Mark Mitchell  <mark@codesourcery.com>
393
394         * except.c (output_function_exception_table): Do not reference the
395         EH personality routine for functions that do not require an
396         exception table.
397
398 2007-03-20  Jakub Jelinek  <jakub@redhat.com>
399
400         PR c/30762
401         * c-typeck.c (convert_for_assignment): Call comptypes for
402         RECORD_TYPE or UNION_TYPE.
403
404         PR inline-asm/30505
405         * reload1.c (reload): Do invalid ASM checking after
406         cleanup_subreg_operands.
407
408 2007-03-19  Jeff Law  <law@redhat.com>
409
410         * tree-cfg.c (find_taken_edge): Tighten conditions for
411         optimizing computed gotos.
412
413 2007-03-19  Michael Matz  <matz@suse.de>
414
415         * builtins.c (expand_builtin_sync_operation,
416         expand_builtin_compare_and_swap,
417         expand_builtin_lock_test_and_set): Care for extending CONST_INTs
418         correctly.
419
420         * config/i386/sync.md (sync_double_compare_and_swapdi_pic,
421         sync_double_compare_and_swap_ccdi_pic): Use "SD" as constraint
422         for operand 3.
423
424 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
425
426         * doc/tm.texi: Add brackets around the return type of
427         TARGET_SECONDARY_RELOAD.
428
429 2007-03-19  Andrew Pinski  <andrew_pinski@playstation.sony.com>
430         Richard Guenther  <rguenther@suse.de>
431
432         PR tree-optimization/31254
433         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1):
434         Use handled_component_p () where appropriate.  Continue
435         propagating into the rhs if we propagated into an INDIRECT_REF
436         on the lhs.
437
438 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
439
440         * config/s390/s390.md (op_type attribute): RRR instruction type added.
441         (FP, DFP, SD_SF, DD_DF, TD_TF): New mode macros.
442         (xde, xdee): Mode attributes adjusted to support DFP modes.
443         (RRer, f0, op1, Rf, bt, bfp, HALF_TMODE): New mode attributes added.
444         ("cmp<mode>", "*cmp<mode>_css_0", "*cmp<mode>_ccs", TF move splitters,
445         DF move splitters, "floatdi<mode>2", "add<mode>3", "*add<mode>3", 
446         "*add<mode>3_cc", "*add<mode>3_cconly", "sub<mode>3", "*sub<mode>3",
447         "*sub<mode>3_cc", "*sub<mode>3_cconly", "mul<mode>3", "*mul<mode>3",
448         "div<mode>3", "*div<mode>3", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
449         "*negabs<mode>2_nocc", "copysign<mode>3"): Adjusted to support DFP 
450         numbers.
451         ("*movtf_64", "*movtf_31", "*movdf_64dfp", "*movdf_64", "*movdf_31",
452         "movsf"): Insn definitions removed.
453         ("*mov<mode>_64", "*mov<mode>_31", "mov<mode>", "*mov<mode>_64dfp",
454         "*mov<mode>_64", "*mov<mode>_31", "fix_trunc<DFP:mode>di2",
455         "trunctddd2", "truncddsd2", "extendddtd2", "extendsddd2"): Insn
456         definitions added.
457         ("fixuns_truncdddi2", "fixuns_trunctddi2", "mov<mode>",
458         "reload_in<mode>", "reload_out<mode>"): Expander added.
459         ("movtf", "movdf", "reload_outtf", "reload_outdf", "reload_intf"):
460         Expander removed.
461
462 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
463
464         * config/s390/s390.md: Only non-functional changes.  Renamed
465         FPR mode macro to BFP all over the file.
466
467 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
468
469         * config/s390/s390.md (UNSPEC_COPYSIGN): New constant.
470         (op_type attribute): RRF instruction type added.
471         (fT0): New mode attribute.
472         ("*movdi_64dfp", "*movdf_64dfp", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
473         "*negabs<mode>2_nocc", "copysign<mode>3"): Insn definitions added.
474         * config/s390/s390.h (SECONDARY_MEMORY_NEEDED): Due to a new instruction
475         no secondary memory is needed when moving DFmode values between GPRs
476         and FPRs.
477
478 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
479
480         * config/s390/s390.opt ("mhard-float", "msoft-float"): Bit value
481         inverted and documentation adjusted.
482         ("mhard-dfp", "msoft-dfp"): New options.
483         * config/s390/s390.c (s390_handle_arch_option): New architecture
484         switch: z9-ec.
485         (override_options): Sanity checks for the new options added.
486         * config.gcc: New architecture switch: z9-ec.
487         * config/s390/s390.h (processor_flags): PF_DFP added.
488         (TARGET_CPU_DFP, TARGET_DFP): Macro definitions added.
489         (TARGET_DEFAULT): Due to the s390.opt changes hard float is enabled
490         when the bit is NOT set so remove it from the defaults.
491
492 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
493
494         * genemit.c (main): Print include statement for dfp.h.
495         * dfp.h (decimal_real_arithmetic): Hide prototype if tree_code enum
496         is not available.
497
498 2007-03-19  Hans-Peter Nilsson  <hp@axis.com>
499
500         * config/cris/t-elfmulti (EXTRA_MULTILIB_PARTS): Do not define here.
501
502 2007-03-19  Kaz Kojima  <kkojima@gcc.gnu.org>
503
504         PR target/31022
505         * config/sh/sh.c (sh_adjust_cost): Use the result of single_set
506         instead of PATTERN.
507
508 2007-03-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
509
510         * pa.c (output_deferred_plabels, output_bb, output_millicode_call,
511         attr_length_call, output_call, output_indirect_call): Cleanup
512         formatting of targetm calls.
513
514 2007-03-19  Hans-Peter Nilsson  <hp@axis.com>
515
516         * config/cris/cris.h (HANDLE_PRAGMA_PACK_PUSH_POP): Define to 1.
517
518 2007-03-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
519
520         * pa.md: Add fpstore_load and store_fpload instruction types.  Provide
521         reservation, bypass and anti-bypass descriptions for these instructions.
522         Update move patterns.
523         * pa.c (hppa_fpstore_bypass_p): Check for both TYPE_FPSTORE_LOAD and
524         TYPE_FPSTORE.
525         
526 2007-03-18  Dorit Nuzman  <dorit@il.ibm.com>
527
528         * tree-vect-transform.c (get_initial_def_for_induction): Replace
529         GET_MODE_NUNITS with TYPE_VECTOR_SUBPARTS.
530         (get_initial_def_for_reduction): Likewise.
531
532 2007-03-16  Daniel Berlin  <dberlin@dberlin.org>
533
534         Fix PR tree-optimization/29922
535         * tree-ssa-pre.c (bb_bitmap_sets): Remove RVUSE_* members.
536         (get_representative): Removed.
537         (value_dies_in_block_x): Update for rvuse removal.
538         (valid_in_sets): Update for renaming of vuses_dies_in_block_x.
539         (compute_antic_aux): Handle when PHI nodes appear in
540         non-single-successors. 
541         (dump_bitmap_of_names): Removed.
542         (compute_antic_safe): Renamed and removed rvuse calculation.
543         Calculate only antic safe.
544         (insert_into_preds_of_block): Remove assert.
545         (execute_pre): Update for renamed functions.
546         (defer_or_phi_translate_block): New function.
547         
548 2007-03-17  Kazu Hirata  <kazu@codesourcery.com>
549
550         * config/arm/arm.c, config/arm/thumb2.md, config/m68k/m68k.c,
551         config/spu/spu.c, omega.h, passes.c, predict.c: Fix comment
552         typos.
553         * doc/cpp.texi, doc/extend.texi, doc/invoke.texi: Fix typos.
554         Follow spelling conventions.
555
556         * tree-data-ref.h: Remove the prototype for analyze_array.
557
558 2007-03-17  Dorit Nuzman  <dorit@il.ibm.com>
559
560         PR tree-optimization/31041
561         * tree-vect-transform.c (get_initial_def_for_induction): Call
562         force_gimple_operand.
563         
564 2007-03-17  Olga Golovanevsky  <olga@il.ibm.com>
565   
566         * ipa-type-escape.c (look_for_casts) : Revert code to use
567         handled_component_p due to ada test a-numaux.adb.
568
569 2007-03-17  Kazu Hirata  <kazu@codesourcery.com>
570
571         * final.c (final_scan_insn): Alter the condition of a
572         conditional trap if we have nonstandard CC.
573
574 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
575
576         * configure.ac: Remove excess quoting from asm line 0 test.
577         * configure: Rebuilt.
578
579 2007-03-16  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
580
581         * doc/invoke.texi (-Wconversion): Document warnings specific to C++.
582         * c-common.c (convert_and_check): Move warning logic to...
583         (warnings_for_convert_and_check): ...here. Define.
584         * c-common.h (warnings_for_convert_and_check): Declare.
585         
586 2007-03-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
587
588         * pa.c (attr_length_call): Partially revert change of 2007-03-09.
589         (output_call): Likewise.
590
591 2007-03-16  Richard Sandiford  <richard@codesourcery.com>
592
593         * config/vxworks.h (SUPPORTS_INIT_PRIORITY): Define.
594
595 2007-03-16  Richard Sandiford  <richard@codesourcery.com>
596
597         * config/vx-common.h (WINT_TYPE, WINT_TYPE_SIZE): Define.
598
599 2007-03-16  Uros Bizjak  <ubizjak@gmail.com>
600
601         * config/i386/i386.c (override_options): Add PTA_NO_SAHF to k8,
602         opteron, athlon-64 and athlon-fx processor_alias_table entries.
603
604 2007-03-16  Sebastian Pop  <sebastian.pop@inria.fr>
605
606         PR tree-optimization/31183
607         * tree-loop-linear.c (gather_interchange_stats, try_interchange_loops): 
608         Use double_int instead of unsigned int for representing access_strides.
609         * testsuite/gcc.dg/tree-ssa/pr31183.c: New.
610
611 2007-03-16  Richard Guenther  <rguenther@suse.de>
612
613         PR tree-optimization/31146
614         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Restructure
615         to allow recursion of forward_propagate_addr_expr.
616         (forward_propagate_addr_into_variable_array_index): Likewise.
617         (forward_propagate_addr_expr): Likewise.
618         (tree_ssa_forward_propagate_single_use_vars): Likewise.
619         (forward_propagate_addr_expr_1): Recurse on simple copies
620         instead of propagating into them.  Do so for useless conversions
621         as well.
622         (forward_propagate_addr_expr): Clean up unused statements after
623         recursion.
624
625 2007-03-16  Richard Guenther  <rguenther@suse.de>
626
627         * builtins.c (expand_builtin_cexpi): Use the right argument
628         for the expansion via cexp.
629
630 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
631
632         * configure.ac: Don't require ELF binutils to tolerate # 0 "".
633         * configure: Rebuilt.
634
635 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
636
637         PR debug/29906
638         * dwarf2out.c (force_type_die): Adjust comment.
639         (dwarf2out_imported_module_or_decl): Handle base AT_import types.
640
641 2007-03-15  DJ Delorie  <dj@redhat.com>
642
643         * config/frv/predicates.md (minmax_operator): Don't check operands
644         here.
645
646 2007-03-15  Zdenek Dvorak  <dvorakz@suse.cz>
647
648         * tree-ssa-loop-niter.c (record_estimate): Add "upper" argument.
649         Update constant estimates of number of iterations.
650         (record_nonwrapping_iv): Add "upper" argument.  "data_size_bounds_p"
651         argument renamed to "realistic".
652         (compute_estimated_nb_iterations): Removed.
653         (record_niter_bound): New function.
654         (idx_infer_loop_bounds): For possible but unlikely tail arrays,
655         call record_nonwrapping_iv with upper = false.
656         (infer_loop_bounds_from_signedness): Pass upper argument to
657         record_nonwrapping_iv.
658         (estimate_numbers_of_iterations_loop): Do not call
659         compute_estimated_nb_iterations.  Record estimate based on profile
660         information.  Initialize the constant estimates of number of
661         iterations.
662         * tree-data-ref.c (estimated_loop_iterations): Return the recorded
663         estimates.
664         * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Add dump when
665         number of iterations is too small.
666         * cfgloop.h (struct nb_iter_bound): Remove "realistic" field.
667         (EST_NOT_AVAILABLE): Removed.
668         (struct loop): Replace estimated_nb_iterations by any_upper_bound,
669         nb_iterations_upper_bound, any_estimate and nb_iterations_estimate
670         fields.
671
672 2007-03-15  Zdenek Dvorak  <dvorakz@suse.cz>
673
674         * tree-ssa-loop-niter.c (refine_bounds_using_guard, bound_difference):
675         Handle NE_EXPR guards.
676
677 2007-03-15  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
678
679         PR c++/24924
680         * c-opts.c (c_common_post_options): Handle C++ post-processing here.
681         Set also -pedantic-errors by default for the  preprocessor unless
682         -fpermissive is given.
683         
684 2007-03-15  Richard Guenther  <rguenther@suse.de>
685
686         PR middle-end/29719
687         PR middle-end/31161
688         * builtins.c (expand_builtin_cexpi): As a fallback if we
689         don't have builtins for sincos or cexp create a function
690         declaration for cexp and expand to a call to that.
691         (expand_builtin_int_roundingfn): Always fall
692         back to floor/ceil and its variants even if they may be
693         not available.
694
695 2007-03-15  Steven Bosscher  <steven@gcc.gnu.org>
696
697         PR middle-end/31159
698         * cfglayout.c (fixup_reorder_chain): Postpone deleting dead
699         jump tables, move the call to delete_dead_jumptables from here...
700         (cfg_layout_finalize): ...to here.  But rebuild jump labels first.
701         * cfgrtl.c (cfg_layout_can_merge_blocks_p): When not optimizing,
702         don't allow merging of blocks that try_redirect_by_replacing_jump
703         also does not handle when not optimizing.
704
705 2007-03-15  Uros Bizjak  <ubizjak@gmail.com>
706             Francois-Xavier Coudert  <coudert@clipper.ens.fr>
707
708         * config/i386/i386.md (x86_sahf_1): Correctly handle
709         HAVE_AS_IX86_SAHF.
710
711 2007-03-15  Uros Bizjak  <ubizjak@gmail.com>
712
713         PR target/31167
714         * config/i386/i386.md (*addti3_1, *addti3_1 splitter): Use
715         x86_64_general_operand as operand[2] predicate.  Remove "iF"
716         from operand constraints and use "e" constraint instead.
717         (*subti3_1, *subti3_1 splitter): Ditto.
718         (*negti2_1, *negti2_1 splitter): Use nonimmediate_operand as
719         operand[1] predicate.
720
721 2007-03-14  Sebastian Pop  <sebastian.pop@inria.fr>
722
723         * tree-loop-linear.c (gather_interchange_stats): For multidimensional
724         arrays, multiply the access strides by the size of the sub-array.
725         * testsuite/gcc.dg/tree-ssa/ltrans-5.c: New.
726
727 2007-03-14  Uros Bizjak  <ubizjak@gmail.com>
728
729         * configure.ac (HAVE_AS_IX86_SAHF): On x86 targets check whether
730         the configured assembler supports the sahf mnemonic.
731         * configure: Regenerate.
732         * config.in: Regenerate.
733
734         * config/i386/i386.md (x86_sahf_1): Depending on HAVE_AS_IX86_SAHF,
735         emit "sahf" or ".byte\t0x9e" as asm template.
736
737 2007-03-14  Michael Meissner  <michael.meissner@amd.com>
738
739         PR 31018
740         * config/i386/i386.h (X86_TUNE_SHORTEN_X87_SSE): New tuning
741         option to replace hard coded TARGET_xxx in md file.
742         (X86_TUNE_AVOID_VECTOR_DECODE): Ditto.
743         (X86_TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
744         (X86_TUNE_SLOW_IMUL_IMM8): Ditto.
745         (X86_TUNE_MOVE_M1_VIA_OR): Ditto.
746         (X86_TUNE_NOT_UNPAIRABLE): Ditto.
747         (X86_TUNE_NOT_VECTORMODE): Ditto.
748         (TUNE_SHORTEN_X87_SSE): Use new tuning option.
749         (TUNE_AVOID_VECTOR_DECODE): Ditto.
750         (TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
751         (TUNE_SLOW_IMUL_IMM8): Ditto.
752         (TUNE_MOVE_M1_VIA_OR): Ditto.
753         (TUNE_NOT_UNPAIRABLE): Ditto.
754         (TUNE_NOT_VECTORMODE): Ditto.
755         
756         * config/i386/i386.c (ix86_tune_features): Fill in new tuning
757         options.
758
759         * config/i386/i386.md (fix_trunc?f?1_sse peephole2): Use new
760         tuning options instead of hard coded TARGET_xxx.
761         (fix ssemode peephole2's): Ditto.
762         (imul peephole2's): Ditto.
763         (movsi_or): Ditto.
764         (movdi_or_rex64): Ditto.
765         (move peephole2): Ditto.
766         (not peephole2's): Ditto.
767
768 2007-03-14  Dirk Mueller  <dmueller@suse.de>
769
770         * c-common.h (empty_body_warning): Rename to empty_if_body_warning.
771         * c-common.c (empty_if_body_warning): Rephrase diagnostic message.
772         * c-parser.c (c_parser_if_body): Always add an empty statement in case
773         of empty body.
774         * c-parser.c (c_parser_do_statement): Warn about empty body in
775         do/while statement.
776         * c-typeck (c_finish_if_stmt): Call empty_if_body_warning.
777         * doc/invoke.texi (-Wempty-body): Update documentation.
778
779 2007-03-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
780
781         PR c/21438
782         * c-common.h (warn_for_div_by_zero): Declare.
783         * c-common.c (warn_for_div_by_zero): Define.
784         * c-typeck.c (build_binary_op): Call warn_for_div_zero instead of
785         warning.
786
787 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
788
789         * Makefile.in (PREPROCESSOR_DEFINES): Add directory terminators
790         to PREFIX and STANDARD_PREFIX.
791
792 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
793             Phil Edwards  <phil@codesourcery.com>
794
795         * gthr-vxworks.h: Add an extern "C" wrapper for C++.
796         (__gthread_once_t): Remove busy field for RTPs.
797         (__GTHREAD_ONCE_INIT): Update accordingly.
798
799 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
800
801         * doc/invoke.texi: Document VxWorks options.
802
803 2007-03-14  Uros Bizjak  <ubizjak@gmail.com>
804
805         * doc/invoke.texi (i386 and x86-64 Options): Clarify -msahf option.
806
807 2007-03-13  Seongbae Park <seongbae.park@gmail.com>
808
809         PR tree-optimization/30590
810         * tree-nrv.c (tree_nrv): Check for the partial update of the
811         return value.
812
813 2007-03-13  Alexandre Oliva  <aoliva@redhat.com>
814
815         * flags.h (flag_random_seed): Remove declaration, in favor of...
816         * toplev.h (get_random_seed, set_random_seed): ... these.
817         * tree.c (get_file_function_name): Use the former.
818         * opts.c (common_handle_option): Use the latter.
819         * toplev.c
820
821 2007-03-13  Steven Bosscher  <steven@gcc.gnu.org>
822
823         PR middle-end/31127
824         * cse.c (cse_find_path): Do not bail out if a basic block that
825         we already visited now becomes part of a path that starts at a
826         different basic block.  Just disallow this, to make sure we
827         visit each basic block at most once.
828
829 2007-03-13  Jan Hubicka  <jh@suse.cz>
830
831         * ipa-inline.c (cgraph_maybe_hot_edge_p): Look for hot/cold attributes,
832         when profile esitmate is present, calls with very low frequency are
833         cold.
834
835 2007-03-13  Zdenek Dvorak  <dvorakz@suse.cz>
836
837         PR tree-optimization/30730
838         PR tree-optimization/26900
839         * tree-ssa-loop-niter.c: Include gmp.h.
840         (bounds): New type.
841         (mpz_set_double_int, get_type_bounds, mpz_to_double_int,
842         split_to_var_and_offset, determine_value_range,
843         bound_difference_of_offsetted_base, refine_bounds_using_guard,
844         bound_difference, bounds_add, bounds_negate,
845         number_of_iterations_ne_max, dump_affine_iv): New functions.
846         (number_of_iterations_ne, number_of_iterations_lt_to_ne,
847         assert_loop_rolls_lt, assert_loop_rolls_le): Use bounds on the
848         difference of initial and final value of control iv to validate
849         results.
850         (number_of_iterations_cond): Add loop parameter.  Determine bounds
851         on the difference of the extremes of the control iv.  Add dumps.
852         (expand_simple_operations): Handle phi nodes.
853         (simplify_using_initial_conditions): Do not record used conditions.
854         (number_of_iterations_exit): Pass loop to number_of_iterations_cond.
855         Do not set additional_info.
856         (implies_nonnegative_p, implies_ge_p): Removed.
857         (derive_constant_upper_bound): Do not use parameter `additional'.
858         (record_estimate): Parameter `additional' removed.  Parameter
859         `i_bound' added.  Do not call derive_constant_upper_bound.
860         (record_nonwrapping_iv): Use derive_constant_upper_bound to
861         bound the number of iterations estimate.
862         (estimate_numbers_of_iterations_loop): Pass the estimate from
863         the number of iterations analysis to record_estimate.
864         * tree.h (multiple_of_p): Declare.
865         * tree-scalar-evolution.c (expression_expensive_p): Removed.
866         (scev_const_prop): Do not check expression_expensive_p.
867         * fold-const.c (multiple_of_p): Exported.
868         * double-int.c (double_int_mask): Exported.
869         * double-int.h (double_int_mask): Declare.
870         * tree-flow.h (struct tree_niter_desc): Removed additional_info
871         field.  Added max field.
872
873 2007-03-13  David Taylor  <taylor@candd.org>
874
875         PR driver/12448:
876         * gcc.c (cpp_unique_options): If -MT or -MQ is seen, don't pass
877         default -MQ.
878
879 2007-03-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
880
881         PR target/31123
882         * pa.md (vdepi_ior): Don't allow zero length deposit.  Likewise for
883         two unamed patterns.
884         
885 2007-03-13  Uros Bizjak  <ubizjak@gmail.com>
886
887         * config/i386/i386.opt (mcx16, msahf): New options.
888         * config/i386/i386.c (x86_cmpxchg16b, x86_sahf): Remove.
889         (ix86_tune_features) [X86_TUNE_USE_SAHF]: Enable for m_GENERIC.
890
891         * config/i386/driver-i386.c (bit_LAHF_LM): New define.
892         (host_detect_local_cpu): Detect cx16 and lahf_lm cpuid bits.
893         Output -mcx16 and -msahf options when corresponding bit is set.
894
895         * doc/invoke.texi (i386 and x86-64 Options): Document -mcx16
896         and -msahf options.
897
898 2007-03-13  Alexandre Oliva  <aoliva@redhat.com>
899
900         * configure.ac: Test for assembler tolerance to # 0 "".
901         * configure, config.in: Rebuilt.
902         * final.c (final_scan_insn): Emit it if HAVE_AS_LINE_ZERO.
903
904 2007-03-13  Geoffrey Keating  <geoffk@apple.com>
905
906         * doc/invoke.texi (Spec Files): Update for '%{,' spec.
907
908         * config/rs6000/darwin-fallback.c: Compile file only on powerpc.
909         (handle_syscall): Handle direct system calls.
910         * config/rs6000/darwin.h (HAS_MD_FALLBACK_FRAME_STATE_FOR): Delete.
911
912 2007-03-12  Brooks Moses  <brooks.moses@codesourcery.com>
913
914         * doc/invoke.texi: Fix cpp.info cross-reference.
915         * doc/passes.texi: Fix gcc.info cross-reference.
916
917 2007-03-12  Zdenek Dvorak  <dvorakz@suse.cz>
918
919         PR tree-optimization/30835
920         * lambda-code.c (can_convert_to_perfect_nest): Check whether
921         bb_for_stmt is not NULL before accessing it.
922
923 2007-03-12  Joseph Myers  <joseph@codesourcery.com>
924
925         * gcc.c (main): Handle target_sysroot_hdrs_suffix being NULL for
926         some multilibs.
927
928 2007-03-12  Brooks Moses  <brooks.moses@codesourcery.com>
929
930         PR 30635
931         * doc/install.texi: Document --enable-stage1-languages
932
933 2007-03-12  Steven Bosscher  <steven@gcc.gnu.org>
934
935         * tree-pass.h (pass_into_cfg_layout_mode,
936         pass_outof_cfg_layout_mode): Declare.
937         * cfglayout.c (into_cfg_layout_mode, outof_cfg_layout_mode,
938         pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode): New.
939         * passes.c (pass_into_cfg_layout_mode): Schedule before jump2.
940         (pass_outof_cfg_layout_mode): Schedule after pass_rtl_ifcvt.
941
942 2007-03-12  Seongbae Park <seongbae.park@gmail.com>
943
944         * c-decl.c (warn_variable_length_array): New function.
945         Refactored from grokdeclarator to handle warn_vla
946         and handle unnamed array case.
947         (grokdeclarator): Refactored VLA warning case.
948         * c.opt (Wvla): New flag.
949         * doc/invoke.texi (Wvla): New warning.
950
951 2007-03-12  Richard Henderson  <rth@redhat.com>
952
953         * config/alpha/alpha.c (alpha_elf_section_type_flags): New.
954         (TARGET_SECTION_TYPE_FLAGS): New.
955
956 2007-03-12  Richard Henderson  <rth@redhat.com>
957
958         * config/darwin.c (machopic_reloc_rw_mask): New.
959         * config/darwin-protos.h (machopic_reloc_rw_mask): Declare.
960         * config/darwin.h (TARGET_ASM_RELOC_RW_MASK): New.
961
962 2007-03-12  Mark Mitchell  <mark@codesourcery.com>
963
964         * cppdefault.c (cpp_EXEC_PREFIX): New variable.
965         * cppdefault.h (cpp_PREFIX): Document.
966         (cpp_PREFIX_len): Likewise.
967         (cpp_EXEC_PREFIX): New variable.
968         * Makefile.in (PREPROCESSOR_DEFINES): Add STANDARD_EXEC_PREFIX.
969         * c-incpath.c (add_standard_paths): Correct logic for relocating
970         paths within prefix.
971
972 2007-03-12  Uros Bizjak  <ubizjak@gmail.com>
973
974         * config/i386/i386.md (fixuns_trunc<mode>hi2): Implement from
975         fixuns_truncsfhi2 and fixuns_truncdfhi2 using SSEMODEF
976         mode macro.
977         (fix_trunc<mode>di_sse): Implement from fix_truncsfdi_sse and
978         fix_truncdfdi_sse using SSEMODEF mode macro.
979         (fix_trunc<mode>si_sse): Implement from fix_truncsfsi_sse and
980         fix_truncdfsi_sse using SSEMODEF mode macro.
981         (fix_trunc?f?i_sse peephole2): Implement using SSEMODEF mode macro.
982         (fix_trunc?f?i_sse K8 peephole2): Fix register constraint.
983
984 2007-03-12  Richard Sandiford  <richard@codesourcery.com>
985
986         * config.gcc (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add
987         elfos.h to tm_file.
988
989 2007-03-12  Olga Golovanevsky  <olga@il.ibm.com>
990   
991         * tree.h : Add multiple_of_p declaration.
992         * fold-const.c (multiple_of_p): Make multiple_of_p public. 
993         * ipa-type-escape.c (results_of_malloc): Redundant.
994         (visited_stmts): New. Visited stmt for walk_use_def_chains.
995         (cast_type): Extended with new members.
996         (check_cast): Returns cast_type.
997         (cast): New structure for data of walk_use_def_chains.
998         (is_malloc_result, is_cast_from_non_pointer_1,
999         is_cast_from_non_pointer, 
1000         is_array_access_through_pointer_and_index): New functions.
1001         (look_for_casts): Returns cast types.
1002         (check_call): Returns void.
1003         (okay_pointer_operation): Use support of pointer plus index,
1004         pointer plus constant and allow all multiplications.
1005         
1006 2007-03-11  Richard Guenther  <rguenther@suse.de>
1007
1008         PR tree-optimization/31115
1009         * tree-vrp.c (extract_range_from_binary_expr): Make sure
1010         the shift count is positive and non-anti-range for RSHIFT_EXPR.
1011         A shift count of zero is not special as with *_DIV_EXPR.
1012         (vrp_int_const_binop): Handle RSHIFT_EXPR for determining overflow
1013         direction.
1014
1015 2007-03-11  Ian Lance Taylor  <iant@google.com>
1016
1017         * tree-vrp.c (vrp_int_const_binop): Handle PLUS_EXPR and
1018         the *_DIV_EXPR codes correctly with overflow infinities.
1019
1020 2007-03-11  Ira Rosen  <irar@il.ibm.com>
1021
1022         * tree-data-ref.c (analyze_offset): Add a return value (bool) to 
1023         indicate success/failure of the analysis. Add negation to subtrahend
1024         in case of subtraction. Fail if both operands contain constants.
1025         (create_data_ref): Fail if analyze_offset fails.
1026
1027 2007-03-11  Uros Bizjak  <ubizjak@gmail.com>
1028
1029         * config/i386/i386.md (frndintxf2): Rename to ...
1030         (rintxf2): ... this. Remove expander having same name.
1031         (rintsf2, rintdf2): Implement using SSEMODEF macro.
1032         (roundsf2, rounddf2): Ditto.
1033         (lrint<mode>di2, lrint<mode>si2): Implement using SSEMODEI24 macro.
1034         (lround<mode>di2, lround<mode>si2): Ditto.
1035
1036 2007-03-11  Steven Bosscher  <steven@gcc.gnu.org>
1037
1038         * lower-subreg.c: Include except.h.
1039         (decompose_multiword_subregs): Verify that the only control flow
1040         insns we can split are loads to multi-words pseudos.
1041         Handle breaking such blocks after splitting, instead of calling
1042         find_many_sub_basic_blocks.
1043
1044         * loop-unroll.c (split_edge_and_insert): Don't set BB_SUPERBLOCK
1045         on the new basic block.  Add a lengthy comment explaining why we
1046         thought this was necessary.
1047         * cfglayout.c (cfg_layout_finalize): Don't break superblocks.
1048
1049 2007-03-10  Mark Mitchell  <mark@codesourcery.com>
1050
1051         PR c++/30924
1052         * tree.c (walk_type_fields): Recurse into the element type of
1053         ARRAY_TYPEs if there is a pointer set.
1054
1055 2007-03-10  Dirk Mueller  <dmueller@suse.de>
1056
1057         * c-common.c (warn_logical_operator): Fix condition.
1058
1059 2007-03-10  Tobias Schl├╝ter  <tobi@gcc.gnu.org>
1060
1061         * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Add missing
1062         quotation mark.
1063         * config/darwin.c (machopic_select_section): Remove superfluous
1064         argument in call to categorize_decl_for_section.  Remove unused
1065         variable shlib.
1066
1067 2007-03-10  Joseph Myers  <joseph@codesourcery.com>
1068
1069         * configure.ac (glibc_header_dir): Set using with_build_sysroot if
1070         defined.
1071         * configure: Regenerate.
1072
1073 2007-03-10  Uros Bizjak  <ubizjak@gmail.com>
1074
1075         PR target/31101
1076         * config/i386/i386.md (UNSPEC_C2_FLAG): New constant.
1077         (fpremxf4_i387, fprem1xf4_i387): Use UNSPEC_C2_FLAG.
1078         (fmodxf3, fmod<mode>3, remainderxf3, remainder<mode>3):
1079         Add LABEL_NUSES to emitted label.
1080         * config/i386/i386.c (ix86_emit_fp_unordered_jump): Add
1081         branch probability value to emitted jump insn.
1082         * reg-stack.c (subst_stack_regs_pat)[UNSPEC]: Handle UNSPEC_C2_FLAG.
1083         Do not check life information and do not re-arrange input operands
1084         for UNSPEC_FSCALE_EXP, UNSPEC_FPREM_U and UNSPEC_FPREM1_U.
1085
1086 2007-03-10  Kaz Kojima  <kkojima@gcc.gnu.org>
1087
1088         * config/sh/sh.c (sh_insn_length_adjustment): Adjust for
1089         the change of decode_asm_operands.
1090
1091 2007-03-10  Kaz Kojima  <kkojima@gcc.gnu.org>
1092
1093         * mode-switching.c (create_pre_exit): Skip blockage insn.
1094
1095 2007-03-09  Diego Novillo  <dnovillo@redhat.com>
1096
1097         * tree-pass.h (TODO_update_smt_usage): Remove.
1098         Update all users.
1099         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Remove
1100         argument SOME.
1101         Update all users.
1102
1103 2007-03-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1104
1105         * pa.c (attr_length_call): Revise condition for long pc-relative branch.
1106         (output_call): Use "LONG_PIC_SDIFF" instruction sequence for long local
1107         calls on the SOM target.  Don't use "LONG_PIC_PCREL" call sequence on
1108         SOM target.
1109
1110 2007-03-09  Geoffrey Keating  <geoffk@apple.com>
1111
1112         * gcc.c: Document %{, in big comment at top.
1113         (input_suffix_matches): Remove special handling for .s and
1114         .S.
1115         (input_spec_matches): New.
1116         (handle_braces): Handle %{,.
1117         (validate_switches): ',' indicates a value which is not a switch.
1118         * config/alpha/osf.h (ASM_FINAL_SPEC): Use %{, rather than %{.
1119         to detect assembler input.
1120         * config/i386/sol2.h (CPP_SPEC): Likewise.
1121         * config/rs6000/sysv4.h (ASM_SPEC): Likewise.
1122         * config/rs6000/vxworks.h (ASM_SPEC): Likewise.
1123         * config/rs6000/lynx.h (ASM_SPEC): Likewise.
1124         * config/rs6000/linux64.h (ASM_SPEC_COMMON): Likewise.
1125         * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Objective-C plus
1126         -m64 causes deployment target to default to 10.5.
1127         * config/rs6000/darwin.h (DARWIN_MINVERSION_SPEC): Likewise.
1128
1129 2007-03-09  Richard Henderson  <rth@redhat.com>
1130
1131         PR target/26090
1132         * target.h (targetm.asm.out.reloc_rw_mask): New.
1133         * target-def.h (TARGET_ASM_RELOC_RW_MASK): New.
1134         (TARGET_ASM_OUT): Use it.
1135         * targhooks.c, targhooks.h (default_reloc_rw_mask): New.
1136         * varasm.c (categorize_decl_for_section): Remove shlib argument;
1137         use the new reloc_rw_mask target hook instead.
1138         (default_section_type_flags_1): Merge into...
1139         (default_section_type_flags): ... here.
1140         (decl_readonly_section_1): Merge into...
1141         (decl_readonly_section): ... here.
1142         (default_elf_select_section_1): Merge into...
1143         (default_elf_select_section): ... here.
1144         (default_unique_section_1): Merge into...
1145         (default_unique_section): ... here.
1146         (compute_reloc_for_rtx_1, compute_reloc_for_rtx): New.
1147         (default_select_rtx_section): Use it.
1148         (default_elf_select_rtx_section): Likewise.
1149         * output.h: Update to match.
1150         * doc/tm.texi (TARGET_ASM_RELOC_RW_MASK): New.
1151         * config/alpha/alpha.c (alpha_elf_reloc_rw_mask): New.
1152         (TARGET_ASM_RELOC_RW_MASK): New.
1153         * config/i386/i386.c (x86_64_elf_select_section): Adjust call
1154         to categorize_decl_for_section.
1155         (x86_64_elf_unique_section): Likewise.
1156         * config/ia64/hpux.h (TARGET_ASM_SELECT_SECTION,
1157         TARGET_ASM_UNIQUE_SECTION, TARGET_ASM_SELECT_RTX_SECTION): Remove.
1158         (TARGET_ASM_RELOC_RW_MASK): New.
1159         * config/ia64/ia64.c (ia64_rwreloc_select_section,
1160         ia64_rwreloc_unique_section, ia64_rwreloc_select_rtx_section): Remove.
1161         (ia64_hpux_reloc_rw_mask, ia64_reloc_rw_mask): New.
1162         (TARGET_RWRELOC): Remove.
1163         (ia64_section_type_flags): Adjust call to default_section_type_flags.
1164         * config/ia64/sysv4.h (TARGET_ASM_RELOC_RW_MASK): New.
1165         * config/rs6000/rs6000.c (rs6000_elf_section_type_flags): Remove.
1166         (rs6000_elf_select_section, rs6000_elf_unique_section): Remove.
1167         (rs6000_elf_reloc_rw_mask, rs6000_xcoff_reloc_rw_mask): New.
1168         (rs6000_xcoff_select_section): Use decl_readonly_section.
1169         (rs6000_xcoff_section_type_flags): Use default_section_type_flags.
1170         * config/rs6000/sysv4.h (TARGET_ASM_RELOC_RW_MASK): New.
1171         (TARGET_ASM_SELECT_SECTION, TARGET_ASM_UNIQUE_SECTION): Remove.
1172         (TARGET_SECTION_TYPE_FLAGS): Remove.
1173         * config/rs6000/xcoff.h (TARGET_ASM_RELOC_RW_MASK): New.
1174
1175 2007-03-09  Roger Sayle  <roger@eyesopen.com>
1176
1177         * fold-const.c (fold_comparison): Remove compile-time evaluation of
1178         complex constant equality/inequality comparisons for here.
1179         (fold_binary) <EQ_EXPR>: Simplify complex comparisons that are
1180         known at compile-time or can be simplified to a scalar comparison.
1181         (fold_relational_const): Move compile-time evaluation of complex
1182         constant equality/inequality comparisons to here.
1183
1184 2007-03-09  Alexandre Oliva  <aoliva@redhat.com>
1185
1186         PR rtl-optimization/30643
1187         * cse.c (cse_insn): Recompute dest_hash after insert_regs for
1188         dest_addr_elt.
1189         (fold_rtx): Recurse, like before 2006-11-03.
1190
1191 2007-03-09  DJ Delorie  <dj@redhat.com>
1192
1193         * config/m32c/t-m32c (m32c-pragma.o): Add TM_H dependency to
1194         m32c-pragma.o.
1195
1196 2007-03-09  Aldy Hernandez  <aldyh@redhat.com>
1197
1198         PR tree-optimization/30375
1199         * tree-ssa-dse.c (dse_possible_dead_store_p): Do not eliminate if
1200         LHS of statements is not the same.
1201         * testsuite/gcc.dg/tree-ssa/ssa-dse-10.c: New.
1202
1203 2007-03-09  Chao-ying Fu  <fu@mips.com>
1204
1205         * doc/extend.texi (MIPS DSP Built-in Functions): Document the DSP
1206         REV 2.
1207         * doc/invoke.texi (-mdspr2): Document new option.
1208         * config/mips/mips.md (UNSPEC_ABSQ_S_QB .. UNSPEC_DPSQX_SA_W_PH):
1209         New unspec for DSP REV 2.
1210         (<u>mulsidi3_32bit_internal): Check if !TARGET_DSPR2, because
1211         these instructions are extended in DSP REV 2.
1212         (mips-dspr2.md): Include.
1213         * config/mips/mips.opt (mdspr2): New option.
1214         * config/mips/mips.c (mips_function_type): Add MIPS_V4QI_FTYPE_V4QI,
1215         MIPS_SI_FTYPE_SI_SI_SI, MIPS_DI_FTYPE_DI_USI_USI, MIPS_DI_FTYPE_SI_SI,
1216         MIPS_DI_FTYPE_USI_USI, MIPS_V2HI_FTYPE_SI_SI_SI.
1217         (override_options): Check TARGET_DSPR2 to enable MASK_DSP.
1218         (CODE_FOR_mips_mul_ph): Define it to CODE_FOR_mulv2hi3.
1219         (dsp_bdesc): Add DSP REV 2 builtins.  Remove 32-bit only DSP builtins.
1220         (dsp_32only_bdesc): New description table for 32-bit only DSP REV 1
1221         and 2 builtins.
1222         (bdesc_map): Add one field of unsupported_target_flags.
1223         (bdesc_arrays):  Update entries to have extra fields.  Add
1224         dsp_32only_bdesc.
1225         (mips_init_builtins): Initialize new function types.
1226         Check unsupported_target_fileds to filter out builtins.
1227         * config/mips/mips.h (TARGET_CPU_CPP_BUILTINS): Define __mips_dspr2 if
1228         TARGET_DSPR2.
1229         (ASM_SPEC): Pass mdspr2 to the assembler.
1230         * config/mips/mips-dspr2.md: New file.
1231
1232 2007-03-09  Sa Liu  <saliu@de.ibm.com>
1233
1234         * config/rs6000/altivec.md: Fix vcond patterns using if_then_else.
1235
1236 2007-03-09  Ian Lance Taylor  <iant@google.com>
1237
1238         * opts.c (common_handle_option): Treat -Wstrict-overflow (with no
1239         argument) like -Wstrict-overflow=2.
1240         * doc/invoke.texi (Warning Options): Update documentation.
1241
1242 2007-03-09  Dirk Mueller  <dmueller@suse.de>
1243
1244         PR c++/17946
1245         * doc/invoke.texi (-Wlogical-op): Document.
1246         * common.opt (-Wlogical-op): New.
1247         * c-common.h (warn_logical_operator): Declare.
1248         * c-common.c (warn_logical_operator): Define.
1249         * c-typeck.c (parser_build_binary_op): Call
1250         warn_logical_operator.
1251
1252 2007-03-09  Alexandre Oliva  <aoliva@redhat.com>
1253
1254         * rtl.h (gen_rtx_ASM_INPUT): Use "" instead of NULL file name.
1255         * final.c (final_scan_insn): Test for non-"" file name.
1256
1257 2007-03-09  Sebastian Pop  <sebastian.pop@inria.fr>
1258
1259         * doc/loop.texi: Document the Omega linear constraints solver.
1260         * doc/invoke.texi: Document -fcheck-data-deps, omega-max-vars,
1261         omega-max-geqs, omega-max-eqs, omega-max-wild-cards, 
1262         omega-hash-table-size, omega-max-keys, and 
1263         omega-eliminate-redundant-constraints.
1264         * tree-pass.h (pass_check_data_deps): Declared.
1265         * omega.c: New.
1266         * omega.h: New.
1267         * timevar.def (TV_CHECK_DATA_DEPS): Declared.
1268         * tree-ssa-loop.c (check_data_deps, gate_check_data_deps, 
1269         pass_check_data_deps): New.
1270         * tree-data-ref.c (init_data_ref): Remove declaration.
1271         (dump_data_dependence_relation): Dump DDR_INNER_LOOP.
1272         (analyze_array): Renamed init_array_ref, move up initializations.
1273         (init_data_ref): Renamed init_pointer_ref.  Moved before its call.
1274         Removed arguments that are set to NULL.
1275         (analyze_indirect_ref): Correct indentation, correct call to 
1276         init_pointer_ref.
1277         (object_analysis): Call init_array_ref instead of analyze_array.
1278         (initialize_data_dependence_relation): Initialize DDR_INNER_LOOP.
1279         (access_functions_are_affine_or_constant_p): Use DR_ACCESS_FNS instead
1280         of DR_ACCESS_FNS_ADDR.
1281         (init_omega_eq_with_af, omega_extract_distance_vectors, 
1282         omega_setup_subscript, init_omega_for_ddr_1, init_omega_for_ddr,
1283         ddr_consistent_p): New.
1284         (compute_affine_dependence): Check consistency of ddrs when 
1285         flag_check_data_deps is passed.
1286         (analyze_all_data_dependences): Uncomment.
1287         (tree_check_data_deps): New.
1288         * tree-data-ref.h: Include omega.h.
1289         (DR_ACCESS_FNS_ADDR): Removed.
1290         (data_dependence_relation): Add inner_loop.
1291         (DDR_INNER_LOOP): New.
1292         * common.opt (fcheck-data-deps): New.
1293         * tree-flow.h (tree_check_data_deps): Declare.
1294         * Makefile.in (TREE_DATA_REF_H): Depend on omega.h.
1295         (OBJS-common): Depend on omega.o.
1296         (omega.o): Define.
1297         * passes.c (pass_check_data_deps): Scheduled.
1298         * params.def (PARAM_OMEGA_MAX_VARS, PARAM_OMEGA_MAX_GEQS, 
1299         PARAM_OMEGA_MAX_EQS, PARAM_OMEGA_MAX_WILD_CARDS,
1300         PARAM_OMEGA_HASH_TABLE_SIZE, PARAM_OMEGA_MAX_KEYS,
1301         PARAM_VECT_MAX_VERSION_CHECKS,
1302         PARAM_OMEGA_ELIMINATE_REDUNDANT_CONSTRAINTS): New.
1303
1304 2007-03-09  Richard Guenther  <rguenther@suse.de>
1305
1306         PR tree-optimization/30904
1307         PR middle-end/31058
1308         * tree-vrp.c (extract_range_from_binary_expr): Handle RSHIFT_EXPR
1309         the same way as *_DIV_EXPR.
1310
1311 2007-03-09  Alexandre Oliva  <aoliva@redhat.com>
1312
1313         * recog.c (decode_asm_operands): No mixed declarations and code.
1314
1315 2007-03-09  Alexandre Oliva  <aoliva@redhat.com>
1316
1317         * rtl.def (ASM_INPUT): Add location.
1318         * rtl.h (ASM_INPUT_SOURCE_LOCATION): New.
1319         (ASM_INPUT_SOURCE_FILE, ASM_INPUT_SOURCE_LINE): New.
1320         (decode_asm_operands): Add loc operand.
1321         (gen_rtx_ASM_INPUT, gen_rtx_ASM_INPUT_loc): Define.
1322         * stmt.c (expand_asm): Rename to...
1323         (expand_asm_loc): ... this.  Add locus argument.  Pass it on to
1324         gen_rtx_ASM_INPUT_loc.
1325         (expand_asm_expr): Adjust.
1326         * recog.c (decode_asm_operands): Add loc operand.
1327         (check_asm_operands, extract_insn): Adjust.
1328         * reload1.c (maybe_fix_stack_asms): Likewise.
1329         * final.c (asm_insn_count): Likewise.
1330         (final_scan_insn): Output # line before and after asm.
1331
1332 2007-03-09  Daniel Berlin  <dberlin@dberlin.org>
1333
1334         * tree-ssa-structalias.c (variable_info): Remove
1335         finished_solution.
1336         (new_var_info): Ditto.
1337         (shared_bitmap_info_t): New structure.
1338         (shared_bitmap_table): New variable.
1339         (shared_bitmap_hash): New function.
1340         (shared_bitmap_eq): Ditto
1341         (shared_bitmap_lookup): Ditto.
1342         (shared_bitmap_add): Ditto.
1343         (merge_smts_into): Change to take bitmap directly.
1344         (find_what_p_points_to): Rewrite to use shared bitmap hashtable.
1345         (init_alias_vars): Init shared bitmap hashtable.
1346         (delete_points_to_sets): Delete shared bitmap hashtable.
1347         * tree-ssa-operands.c (add_virtual_operand): Partially revert the
1348         is_aliased removal as a change that was still necessary was
1349         deleted.
1350
1351 2007-03-09  Uros Bizjak  <ubizjak@gmail.com>
1352
1353         * config/i386/i386.h (override_options): Conditionally disable
1354         x86_sahf for 64bit targets only.
1355
1356 2007-03-08  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1357
1358         PR C/31072
1359         * c-decl.c (merge_decls): Don't call make_var_volatile.
1360         * varasm.c (make_var_volatile): Remove.
1361         * output.h (make_var_volatile): Remove.
1362
1363 2007-03-08  Zdenek Dvorak  <dvorakz@suse.cz>
1364
1365         PR tree-optimization/31085
1366         * tree-ssa-address.c (create_mem_ref): Fix test of type of base.
1367
1368 2007-03-08  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1369
1370         * builtins.def (lceil, lceilf, lceill, lfloor, lfloorf, lfloorl,
1371         llceil, llceilf, llceill, llfloor, llfloorf, llfloorl): Mark with
1372         ATTR_CONST_NOTHROW_LIST.
1373         
1374         * fold-const.c (tree_expr_nonnegative_warnv_p): Handle
1375         FIX_TRUNC_EXPR.
1376
1377 2007-03-08  Diego Novillo  <dnovillo@redhat.com>
1378
1379         * doc/tree-ssa.texi: Remove documentation for V_MUST_DEF.
1380
1381 2007-03-08  Geoffrey Keating  <geoffk@apple.com>
1382
1383         PR 31013
1384         * gccspec.c (lang_specific_driver): Do nothing when NEXT_OBJC_RUNTIME
1385         is declared.
1386         * config/darwin.h (REAL_LIBGCC_SPEC): When -fgnu-runtime is
1387         passed, use shared libgcc.
1388
1389 2007-03-08  Roger Sayle  <roger@eyesopen.com>
1390
1391         * tree-eh.c (do_return_redirection): Call build_gimple_modify_stmt
1392         instead of calling build2 with a GIMPLE_MODIFY_STMT.
1393         (honor_protect_cleanup_actions, lower_try_finally_switch):
1394         Likewise.
1395         * tree-if-conv.c (replace_phi_with_cond_gimple_modify_stmt,
1396         ifc_temp_var): Likewise.
1397         * tree-inline.c (setup_one_parameter): Likewise.
1398         * tree-mudflap.c (mf_decl_cache_locals,
1399         mf_build_check_statement_for): Likewise.
1400         * tree-nested.c (init_tmp_var, save_tmp_var,
1401         finalize_nesting_tree_1): Likewise.
1402         * tree-outof-ssa.c (insert_copy_on_edge,
1403         insert_backedge_copies): Likewise.
1404         * tree-profile.c (tree_gen_edge_profiler,
1405         tree_gen_ic_profiler): Likewise.
1406         * tree-scalar-evolution.c (scev_const_prop): Likewise.
1407         * tree-sra.c (sra_build_assignment): Likewise.
1408         * tree-ssa-loop-im.c (determine_invariantness_stmt): Likewise.
1409         * tree-ssa-math-opts.c (insert_reciprocals,
1410         execute_cse_sincos_1): Likewise.
1411         * tree-tailcall.c (adjust_accumulator_values,
1412         adjust_return_value): Likewise.
1413         * tree-vect-patterns.c (vect_pattern_recog_1): Likewise.
1414         * tree-vect-transform.c (vect_create_data_ref_ptr,
1415         bump_vector_ptr, vect_init_vector, get_initial_def_for_induction,
1416         vect_create_epilog_for_reduction, vectorizable_reduction,
1417         vectorizable_call, vectorizable_conversion,
1418         vectorizable_assignment, vectorizable_operation,
1419         vectorizable_type_demotion, vect_gen_widened_results_half,
1420         vect_permute_store_chain, vectorizable_store,
1421         vect_setup_realignment, vect_permute_load_chain,
1422         vectorizable_load, vectorizable_condition,
1423         vect_create_cond_for_align_checks): Likewise.
1424         * tree-vrp.c (build_assert_expr_for): Likewise.
1425
1426 2007-03-08  Ian Lance Taylor  <iant@google.com>
1427
1428         * tree-vrp.c: Include "intl.h".
1429         (usable_range_p): New static function.
1430         (compare_values_warnv): Don't test TYPE_OVERFLOW_UNDEFINED for
1431         overflowed values, juts set *strict_overflow_p.
1432         (compare_values): Only return -2 if one of the operands is not a
1433         constant.
1434         (compare_ranges): Call usable_range_p.
1435         (compare_range_with_value): Likewise.
1436         (vrp_evaluate_conditional_warnv): Rename from
1437         vrp_evaluate_conditional.  Make static.  Change all callers.
1438         (vrp_evaluate_conditional): New function.
1439         (simplify_div_or_mod_using_ranges): Issue warning about reliance
1440         on signed overflow.
1441         (simplify_abs_using_ranges): Likewise.
1442         (simplify_stmt_for_jump_threading): Add within_stmt parameter.
1443         * tree-ssa-dom.c (simplify_stmt_for_jump_threading): Add
1444         within_stmt parameter.
1445         * tree-ssa-propagate.c (fold_predicate_in): Update call to
1446         vrp_evaluate_conditional.
1447         * tree-ssa-threadedge.c
1448         (record_temporary_equivalences_from_stmts_at_dest): Change
1449         simplify parameter to take a second tree parameter.
1450         (simplify_control_stmt_condition): Likewise.
1451         (thread_across_edge): Likewise.
1452         * tree-flow.h (vrp_evaluate_conditional): Update declaration.
1453         (thread_across_edge): Likewise.
1454         * gcc/Makefile.in (tree-vrp.o): Depend upon intl.h.
1455
1456 2007-03-08  Uros Bizjak  <ubizjak@gmail.com>
1457
1458         * config/i386/i386.h (TARGET_SAHF): New define.
1459         * config/i386/i386.c (ix86_tune_features) [X86_TUNE_USE_SAHF]:
1460         Also enable for m_K8, m_AMDFAM10 and m_CORE2.
1461         (x86_sahf): New global variable.
1462         (override_options): Add PTA_NO_SAHF to pta_flags enum.  Recode
1463         pta_flags masks using shifts.  Add PTA_NO_SAHF to x86_64 and
1464         nocona processor flags.  Set x86_sahf when PTA_NO_SAHF is not set
1465         in processor flags.  Do not unconditionally disable TARGET_USE_SAHF
1466         for 64-bit.
1467         (ix86_fp_comparison_sahf_cost): Return high value for !TARGET_SAHF.
1468         (ix86_expand_fp_compare): Check for TARGET_CMOVE or TARGET_SAHF
1469         when expanding fcomi/sahf based tests.
1470         (ix86_emit_fp_unordered_jump): Check for TARGET_SAHF when
1471         expanding sahf based alternative. Emit sahf based sequence when
1472         optimizing for code size.
1473         * config/i386/i386.md (x86_sahf_1): Do not disable for
1474         TARGET_64BIT, enable for TARGET_SAHF. 
1475
1476 2007-03-08  Martin Michlmayr  <tbm@cyrius.com>
1477
1478         * tree-ssa-coalesce.c (fail_abnormal_edge_coalesce): Remove
1479         spurious whitespace from error message.
1480
1481 2007-03-08  Volker Reichelt  <reichelt@netcologne.de>
1482
1483         PR c++/30852
1484         * c-common.c (fold_offsetof_1): Handle COMPOUND_EXPR.
1485
1486 2007-03-08  Alexandre Oliva  <aoliva@redhat.com>
1487
1488         * c-decl.c (grokdeclarator): Disable warnings for anonymous
1489         bitfields.
1490         * tree-sra.c (instantiate_element): Propagate disabled warnings
1491         from the element itself to the created variable.
1492
1493 2007-03-07  Richard Henderson  <rth@redhat.com>
1494
1495         PR target/30848
1496         * reg-stack.c (emit_swap_insn): If a malformed asm was seen,
1497         silently fix up the stack in the case of a missing register.
1498
1499 2007-03-07  Paul Brook  <paul@codesourcery.com>
1500
1501         * config/arm/libunwind.S: Add .arch/.object_arch for armv4 builds.
1502
1503 2007-03-07  Joseph Myers  <joseph@codesourcery.com>
1504
1505         * config/arm/unwind-arm.c (struct wmmxd_regs, struct wmmxc_regs):
1506         New.
1507         (phase1_vrs): Use them.
1508         (DEMAND_SAVE_WMMXD, DEMAND_SAVE_WMMXC): New.
1509         (__gnu_Unwind_Save_WMMXD, __gnu_Unwind_Restore_WMMXD,
1510         __gnu_Unwind_Save_WMMXC, __gnu_Unwind_Restore_WMMXC): Declare.
1511         (restore_non_core_regs): Call __gnu_Unwind_Restore_WMMXD and
1512         __gnu_Unwind_Restore_WMMXC if required.
1513         (_Unwind_VRS_Pop): Implement iWMMXt support.
1514         * config/arm/libunwind.S (gnu_Unwind_Restore_WMMXD,
1515         gnu_Unwind_Save_WMMXD, gnu_Unwind_Restore_WMMXC,
1516         gnu_Unwind_Save_WMMXC): Define.
1517
1518 2007-03-07  Richard Sandiford  <richard@codesourcery.com>
1519
1520         * config/vxworks.h (vxworks_override_options): Declare.
1521         (VXWORKS_OVERRIDE_OPTIONS): Use it.
1522         * config/vxworks.c: Include target.h and toplev.h.
1523         (vxworks_override_options): New function.
1524         * config/t-vxworks (vxworks.o): Depend on $(TARGET_H) and toplev.h.
1525
1526 2007-03-07  Andreas Krebbel  <krebbel1@de.ibm.com>
1527
1528         * config/s390/s390.c (override_options): Don't emit an error when
1529         -mstack-size is used without providing -mstack-guard.
1530         (s390_emit_prologue): Choose stack_guard value automatically if not
1531         provided via command line.
1532         * doc/invoke.texi: Adjust description of -mstack-guard and -mstack-size.
1533
1534 2007-03-07  Richard Sandiford  <richard@codesourcery.com>
1535
1536         * config/i386/i386.c (output_set_got): Add a GOT initialization
1537         sequence for VxWorks PIC.
1538         (legitimate_pic_address_disp_p): Allow UNSPEC_GOT wrappers
1539         around labels as well as symbols.  Use gotoff_operand instead
1540         of local_symbolic_operand.
1541         (legitimize_pic_address): Use gotoff_operand instead of
1542         local_symbolic_operand.  Use @GOT accesses for labels as
1543         well as symbols.
1544         (ix86_output_addr_diff_elt): Use PC-relative rather than
1545         GP-relative offsets for VxWorks PIC.
1546         (ix86_expand_move): Pass NULL_RTX to legitimize_pic_address unless
1547         no_new_pseudos.  Check whether the returned register is op0.
1548         * config/i386/i386.md (tablejump): Use PC-relative rather than
1549         GP-relative offsets for VxWorks PIC.
1550         * config/i386/predicates.md (gotoff_operand): New predicate.
1551
1552 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
1553
1554         * config/vxworks.h (VXWORKS_GOTT_BASE, VXWORKS_GOTT_INDEX): Undefine
1555         before defining.
1556         * config/vxworks-dummy.h: New file.
1557         * config/i386/i386.h: Include it.
1558
1559 2007-03-07  Alexandre Oliva  <aoliva@redhat.com>
1560
1561         * dwarf2out.c (is_inlined_entry_point): New
1562         (add_high_low_attributes): Emit DW_AT_entry_pc along with
1563         DW_AT_ranges if the first subblock is the entry point.
1564
1565 2007-03-06  David Daney  <ddaney@avtrex.com>
1566
1567         * doc/install.texi (mips-*-*): Change recommended binutils
1568         version.
1569
1570 2007-03-06  Anatoly Sokolov <aesok@post.ru>
1571
1572         * config/avr/avr.c (avr_mcu_types): Add support for ATmega325P,
1573         ATmega3250P, ATmega329P, ATmega3290P, AT90USB82 and AT90USB162 
1574         devices.
1575         * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
1576         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
1577
1578 2007-03-06  Jan Hubicka  <jh@suse.cz>
1579
1580         * errors.h (warning, error, fatal, internal_error): Mark as cold.
1581         * predict.c (maybe_hot_bb): Cold functions are never hot; hot functions
1582         are hot.
1583         (probably_cold_bb_p): Cold functions are cold.
1584         (probably_never_executed_bb_p): Cold functions are cold.
1585         (tree_bb_level_predictions): Predict calls to cold functions as not
1586         taken.
1587         (compute_function_frequency): Check hot/cold attributes.
1588         * function.h (function_frequency): Update comments.
1589         * predict.def (PRED_COLD_FUNCTION): Predict cold function.
1590         * c-common.c (handle_hot_attribute, handle_cold_attribute): New.
1591         (c_common_att): Add cold and hot.
1592
1593         * doc/extend.texi (hot,cold attributes): Document.
1594
1595 2007-03-06  Andrew Haley  <aph@redhat.com>
1596
1597         * function.c (expand_function_end): Move blockage to just after we
1598         emit the label for the naked return from the function.
1599
1600 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
1601
1602         * config/i386/att.h (ASM_OUTPUT_ASCII, ASM_OUTPUT_SKIP): Undefine
1603         before redefining.
1604
1605 2007-03-06  Jan Hubicka  <jh@suse.cz>
1606
1607         * reg-stack.c (reg_to_stack): Large models don't allow NAN to be
1608         loaded for constant large models.  Non-large 64bit PIC can do.
1609         * i386.h (CASE_VECTOR_MODE): Large PIC cases are 64bit.
1610         * cmodel.h: Add LARGE PIC.
1611         * i386.md (UNSPEC_PLTOFF): New.
1612         (UNSPEC_SET_RIP, UNSPEC_SET_GOT_OFFSET): New; renumber other unspecs as
1613         needed.
1614         (*call_1_rex64): Disable for large models.
1615         (*call_1_rex64_large): New.
1616         (*call_value_1_rex64): Disable for large models.
1617         (*call_value_1_rex64_large): New.
1618         (set_rip_rex4): New.
1619         (set_got_offset_rex64): New.
1620         * predicates.md (constant_call_address_operand): For large model
1621         constant calls are not possible.
1622         * i386-protos.h (construct_plt_address): Declare.
1623         * i386.c (override_options): Accept large models.
1624         (ix86_expand_prologue): Expand large PIC GOT pointer load.
1625         (legitimate_constant_p): Add new UNSPECs.
1626         (legitimate_pic_operand_p): Likewise.
1627         (legitimate_pic_address_disp_p): Disallow local symbols for large PICs.
1628         (legitimize_pic_address): Do easy RIP relative way for TLS only for
1629         non-large model.
1630         (output_pic_addr_const): Add PLTOFF.
1631         (ix86_output_addr_diff_elt): Output 64bit tables when needed.
1632         (ix86_expand_move): Legitimize pic address when in PIC mode.
1633         (construct_plt_address): New function.
1634         (ix86_expand_call): Offload the address to register and use GOT pointer
1635         for large model.
1636         * invoke.texi (mcmodel=large): Update documentation.
1637
1638 2007-03-06  Richard Henderson  <rth@redhat.com>
1639
1640         * config/i386/i386.c (x86_use_leave, x86_push_memory,
1641         x86_zero_extend_with_and, x86_movx, x86_double_with_add,
1642         x86_use_bit_test, x86_unroll_strlen, x86_deep_branch,
1643         x86_branch_hints, x86_use_sahf, x86_partial_reg_stall,
1644         x86_partial_flag_reg_stall, x86_use_himode_fiop, x86_use_simode_fiop,
1645         x86_use_mov0, x86_use_cltd, x86_read_modify_write, x86_read_modify,
1646         x86_split_long_moves, x86_promote_QImode, x86_fast_prefix, 
1647         x86_single_stringop, x86_qimode_math, x86_promote_qi_regs,
1648         x86_himode_math, x86_promote_hi_regs, x86_sub_esp_4, x86_sub_esp_8,
1649         x86_add_esp_4, x86_add_esp_8, x86_integer_DFmode_moves, 
1650         x86_partial_reg_dependency, x86_memory_mismatch_stall, 
1651         x86_prologue_using_move, x86_epilogue_using_move, x86_shift1,
1652         x86_sse_partial_reg_dependency, x86_sse_split_regs, 
1653         x86_sse_unaligned_move_optimal, x86_sse_typeless_stores,
1654         x86_sse_load0_by_pxor, x86_use_ffreep, x86_use_incdec,
1655         x86_inter_unit_moves, x86_ext_80387_constants, x86_four_jump_limit,
1656         x86_schedule, x86_use_bt, x86_pad_returns,
1657         x86_use_xchgb): Merge into ...
1658         (ix86_tune_features): ... here.  New array.
1659         (x86_cmove, x86_cmpxchg, x86_cmpxchg8b, x86_xadd,
1660         x86_bswap): Merge into ...
1661         (ix86_arch_features): ... here.  New array.
1662         (x86_3dnow_a): Remove.
1663         (x86_accumulate_outgoing_args): Make static.
1664         (x86_arch_always_fancy_math_387): Make static.
1665         (ix86_tune_mask, ix86_arch_mask): Move ...
1666         (override_options): ... to local variables here.  Apply the
1667         appropriate mask to each element of ix86_arch_features and
1668         ix86_tune_features.  Adjust TARGET_CMOVE and TARGET_USE_SAHF
1669         as were done in the old macros.
1670         (standard_80387_constant_p): Use TARGET_EXT_80387_CONSTANTS.
1671         * config/i386/i386.h (x86_use_leave, x86_push_memory,
1672         x86_zero_extend_with_and, x86_use_bit_test, x86_cmove, x86_deep_branch,
1673         x86_branch_hints, x86_unroll_strlen, x86_double_with_add,
1674         x86_partial_reg_stall, x86_movx, x86_use_himode_fiop,
1675         x86_use_simode_fiop, x86_use_mov0, x86_use_cltd, x86_use_xchgb,
1676         x86_read_modify_write, x86_read_modify, x86_split_long_moves,
1677         x86_promote_QImode, x86_single_stringop, x86_fast_prefix,
1678         x86_himode_math, x86_qimode_math, x86_promote_qi_regs,
1679         x86_promote_hi_regs, x86_integer_DFmode_moves, x86_add_esp_4,
1680         x86_add_esp_8, x86_sub_esp_4, x86_sub_esp_8,
1681         x86_partial_reg_dependency, x86_memory_mismatch_stall,
1682         x86_accumulate_outgoing_args, x86_prologue_using_move,
1683         x86_epilogue_using_move, x86_decompose_lea,
1684         x86_arch_always_fancy_math_387, x86_shift1,
1685         x86_sse_partial_reg_dependency, x86_sse_split_regs,
1686         x86_sse_unaligned_move_optimal, x86_sse_typeless_stores,        
1687         x86_sse_load0_by_pxor, x86_use_ffreep, x86_inter_unit_moves,
1688         x86_schedule, x86_use_bt, x86_cmpxchg, x86_cmpxchg8b, x86_xadd,
1689         x86_use_incdec, x86_pad_returns, x86_bswap,
1690         x86_partial_flag_reg_stall): Remove.
1691         (enum ix86_tune_indices): New.
1692         (ix86_tune_features): New.
1693         (TARGET_USE_LEAVE, TARGET_PUSH_MEMORY, TARGET_ZERO_EXTEND_WITH_AND,
1694         TARGET_USE_BIT_TEST, TARGET_UNROLL_STRLEN,
1695         TARGET_DEEP_BRANCH_PREDICTION, TARGET_BRANCH_PREDICTION_HINTS,
1696         TARGET_DOUBLE_WITH_ADD, TARGET_USE_SAHF, TARGET_MOVX,
1697         TARGET_PARTIAL_REG_STALL, TARGET_PARTIAL_FLAG_REG_STALL,
1698         TARGET_USE_HIMODE_FIOP, TARGET_USE_SIMODE_FIOP, TARGET_USE_MOV0,
1699         TARGET_USE_CLTD, TARGET_USE_XCHGB, TARGET_SPLIT_LONG_MOVES,
1700         TARGET_READ_MODIFY_WRITE, TARGET_READ_MODIFY, TARGET_PROMOTE_QImode,
1701         TARGET_FAST_PREFIX, TARGET_SINGLE_STRINGOP, TARGET_QIMODE_MATH,
1702         TARGET_HIMODE_MATH, TARGET_PROMOTE_QI_REGS, TARGET_PROMOTE_HI_REGS,
1703         TARGET_ADD_ESP_4, TARGET_ADD_ESP_8, TARGET_SUB_ESP_4,
1704         TARGET_SUB_ESP_8, TARGET_INTEGER_DFMODE_MOVES,
1705         TARGET_PARTIAL_REG_DEPENDENCY, TARGET_SSE_PARTIAL_REG_DEPENDENCY,
1706         TARGET_SSE_UNALIGNED_MOVE_OPTIMAL, TARGET_SSE_SPLIT_REGS,
1707         TARGET_SSE_TYPELESS_STORES, TARGET_SSE_LOAD0_BY_PXOR,
1708         TARGET_MEMORY_MISMATCH_STALL, TARGET_PROLOGUE_USING_MOVE,
1709         TARGET_EPILOGUE_USING_MOVE, TARGET_SHIFT1, TARGET_USE_FFREEP,
1710         TARGET_INTER_UNIT_MOVES, TARGET_FOUR_JUMP_LIMIT, TARGET_SCHEDULE,
1711         TARGET_USE_BT, TARGET_USE_INCDEC, TARGET_PAD_RETURNS,
1712         TARGET_EXT_80387_CONSTANTS): Use it.
1713         (enum ix86_arch_indices): New.
1714         (ix86_arch_features): New.
1715         (TARGET_CMOVE, TARGET_CMPXCHG, TARGET_CMPXCHG8B, TARGET_XADD,
1716         TARGET_BSWAP): Use it.
1717         (ix86_tune_mask, ix86_arch_mask): Remove.
1718
1719 2007-03-06  Joseph Myers  <joseph@codesourcery.com>
1720
1721         PR bootstrap/31020
1722         * configure.ac (CROSS_SYSTEM_HEADER_DIR, build_system_header_dir):
1723         Define using $${sysroot_headers_suffix}.
1724         * configure: Regenerate.
1725         * cppdefault.c (cpp_include_defaults): Make FIXED_INCLUDE_DIR a
1726         multilib-suffixed directory if SYSROOT_HEADERS_SUFFIX_SPEC
1727         defined.
1728         * doc/invoke.texi (-print-sysroot-headers-suffix): Document.
1729         * gcc.c (print_sysroot_headers_suffix): New.
1730         (option_map): Include --print-sysroot-headers-suffix.
1731         (display_help): Mention -print-sysroot-headers-suffix.
1732         (process_command): Handle -print-sysroot-headers-suffix.
1733         (do_spec_1): Append multilib directory to include-fixed path if
1734         sysroot suffixes in use.
1735         (main): Handle -print-sysroot-headers-suffix.
1736         * Makefile.in (start.encap): Don't depend on xlimits.h
1737         (xlimits.h): Remove.
1738         (stmp-int-hdrs): Don't depend on xlimits.h.  Inline generation of
1739         limits.h for each multilib in fixinc_list.
1740         (fixinc_list, s-fixinc_list): New.
1741         (stmp-fixinc): Depend on fixinc_list.  If not copying headers,
1742         generate them for each multilib in fixinc_list.
1743         (stmp-fixproto): Use include-fixed.  Run fixproto for each
1744         multilib in fixinc_list.
1745         (mostlyclean): Don't remove xlimits.h.
1746         (clean): Remove include-fixed.
1747         (real-install-headers-tar, real-install-headers-cpio,
1748         real-install-headers-cp): Don't copy include, only include-fixed.
1749         (install-mkheaders): Depend on fixinc_list.  Don't depend on
1750         xlimits.h.  Save limits.h files for each multilib in fixinc_list.
1751         Always save mkinstalldirs.  Preserve ${sysroot_headers_suffix} in
1752         SYSTEM_HEADER_DIR setting in mkheaders.conf.
1753
1754 2007-03-06  Jan Hubicka  <jh@suse.cz>
1755
1756         * regstack.c (reg_to_stack): When in 64bit PIC mode, we still can load
1757         NANs easilly.
1758
1759 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
1760
1761         * configure.ac: Allow tm_file to contain build-directory files.
1762         * configure: Regenerate.
1763         * config.gcc (m68k-*-uclinux*): Add ./sysroot-suffix.h to tm_file.
1764         * config/m68k/t-uclinux (sysroot-suffix.h): New target.
1765         * config/m68k/print-sysroot-suffix.sh: New file.
1766
1767 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
1768
1769         * config/m68k/m68k.h (PIC_OFFSET_TABLE_REGNUM): Use the REGNO
1770         of pic_offset_table_rtx if reload_completed.
1771         (CONDITIONAL_REGISTER_USAGE): Use PIC_REG instead of
1772         PIC_OFFSET_TABLE_REGNUM.
1773         * config/m68k/m68k.c (TARGET_ASM_CAN_OUTPUT_MI_THUNK): Always
1774         return true.
1775         (m68k_save_reg): Use PIC_REG instead of PIC_OFFSET_TABLE_REGNO.
1776         (m68k_output_mi_thunk): Rewrite to use RTL.  Honor vcall_offset.
1777
1778 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
1779
1780         * config/m68k/m68k.c (m68k_save_reg): Save the PIC register in
1781         functions that call eh_return.
1782
1783 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
1784
1785         * config/m68k/m68k.c (m68k_save_reg): Save the PIC register in
1786         functions that need a constant pool.
1787
1788 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
1789
1790         PR target/28181
1791         * config/m68k/m68k-protos.h (m68k_secondary_reload_class): Declare.
1792         (m68k_preferred_reload_class): Likewise.
1793         * config/m68k/m68k.h (HARD_REGNO_MODE_OK): Remove duplicated comment.
1794         (SECONDARY_RELOAD_CLASS): Define.
1795         (PREFERRED_RELOAD_CLASS): Use m68k_preferred_reload_class.
1796         (LIMIT_RELOAD_CLASS): Delete.
1797         * config/m68k/m68k.c (m68k_regno_mode_ok): Don't prevent address
1798         registers from storing bytes.
1799         (m68k_secondary_reload_class): New function.
1800         (m68k_preferred_reload_class): Likewise.
1801
1802 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
1803
1804         * config/m68k/m68k.c (m68k_save_reg): Remove special case for
1805         leaf functions.
1806         (m68k_expand_prologue): Likewise.
1807
1808 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
1809
1810         * config/m68k/m68k-protos.h (output_sibcall): Declare.
1811         (mips_expand_epilogue): Add a bool parameter.
1812         (m68k_legitimize_sibcall_address): Declare.
1813         * config/m68k/m68k.c (TARGET_FUNCTION_OK_FOR_SIBCALL): Define.
1814         (m68k_expand_epilogue): Add a parameter to select between sibling
1815         and normal epilogues.  Only generate a return for the latter.
1816         (m68k_ok_for_sibcall_p): New function.
1817         (m68k_legitimize_sibcall_address, output_sibcall): New functions.
1818         * config/m68k/m68k.md (sibcall, *sibcall): New patterns.
1819         (sibcall_value, *sibcall_value): Likewise.
1820         (*call, *call_value): Require !SIBLING_CALL_P.
1821         (epilogue): Update call to m68k_expand_epilogue.
1822         (sibcall_epilogue): New pattern.
1823         * config/m68k/predicates.md (const_call_operand): Say that this
1824         predicate applies to sibling calls too.
1825         (sibcall_operand): New predicate.
1826
1827 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
1828
1829         * config/m68k/m68k.md (movsf_cf_soft): Provide the same non-mov3q
1830         alternatives as movsi_cf.
1831         (movsf_cf_hard): Add commentary.
1832
1833 2007-03-06  Kazu Hirata  <kazu@codesourcery.com>
1834             Richard Sandiford  <richard@codesourcery.com>
1835
1836         * config/m68k/m68k-protos.h (m68k_interrupt_function_p): Declare.
1837         (m68k_movem_pattern_p, m68k_output_movem): Likewise.
1838         (m68k_expand_prologue, m68k_expand_epilogue): Likewise.
1839         * config/m68k/m68k.h (EPILOGUE_USES): Define.  Treat all registers
1840         as being live on exit from an interrupt function.
1841         (PRINT_OPERAND_PUNCT_VALID_P): Return true for '?'.
1842         * config/m68k/m68k.c (MIN_MOVEM_REGS, MIN_FMOVEM_REGS): New macros.
1843         (m68k_frame): Remove reg_rev_mask and fpu_rev_mask.
1844         (TARGET_ASM_FUNCTION_PROLOGUE, TARGET_ASM_FUNCTION_EPILOGUE): Delete.
1845         (m68k_interrupt_function_p): Globalize.
1846         (m68k_compute_frame_layout): Remove reverse mask code.
1847         (m68k_emit_movem, m68k_set_frame_related): New functions.
1848         (m68k_output_function_prologue): Delete in favor of...
1849         (m68k_expand_prologue): ...this new function.
1850         (m68k_output_function_epilogue): Delete in favor of...
1851         (m68k_expand_epilogue): ...this new function.
1852         (m68k_split_offset, m68k_movem_pattern_p, m68k_output_movem): New
1853         functions.
1854         (print_operand): Handle %?.
1855         * config/m68k/m68k.md (UNSPEC_SIN, UNSPEC_COS): Remove excess space.
1856         (UNSPEC_GOT, A1_REG, PIC_REG, FP0_REG): New constants.
1857         (prologue, epilogue): New patterns.
1858         (return): Turn into a define_expand.
1859         (*return): New pattern, derived from old "return" pattern.  Use rte
1860         rather than rts for interrupt functions.  Only use rtd if the pop
1861         count is nonzero.
1862         (*m68k_store_multiple, *m68k_store_multiple_automod): New patterns.
1863         (*m68k_load_multiple, *m68k_load_multiple_automod): Likewise.
1864         (link, *link, unlink, *unlink, load_got): Likewise.
1865
1866 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
1867
1868         PR target/23482
1869         PR target/17114
1870         * config/m68k/m68k-protos.h (m68k_legitimate_base_reg_p): Declare.
1871         (m68k_legitimate_index_reg_p, m68k_legitimate_address_p): Likewise.
1872         (m68k_matches_q_p, m68k_matches_u_p): Likewise.
1873         * config/m68k/m68k.h (EXTRA_CONSTRAINT): Use m68k_matches_q_p
1874         and m68k_matches_u_p.
1875         (PCREL_GENERAL_OPERAND_OK, LEGITIMATE_BASE_REG_P): Delete.
1876         (INDIRECTABLE_1_ADDRESS_P, GO_IF_NONINDEXED_ADDRESS): Delete.
1877         (GO_IF_INDEXABLE_BASE, GO_IF_INDEXING, GO_IF_INDEXED_ADDRESS): Delete.
1878         (LEGITIMATE_INDEX_REG_P, LEGITIMATE_INDEX_P): Delete.
1879         (GO_IF_COLDFIRE_FPU_LEGITIMATE_ADDRESS): Delete.
1880         (REG_STRICT_P): New macro.
1881         (LEGITIMATE_PIC_OPERAND_P): Use REG_STRICT_P rather than
1882         PCREL_GENERAL_OPERAND_OK.
1883         (REG_OK_FOR_BASE_P): Merge definitions.  Use REG_STRICT_P and
1884         m68k_legitimate_base_reg_p.
1885         (REG_MODE_OK_FOR_INDEX_P): Likewise m68k_legitimate_index_reg_p.
1886         (GO_IF_LEGITIMATE_ADDRESS): Likewise m68k_legitimate_address_p.
1887         (PIC_CASE_VECTOR_ADDRESS): Update comment.
1888         * config/m68k/m68k.c (m68k_address): New structure.
1889         (m68k_legitimate_base_reg_p, m68k_legitimate_index_reg_p)
1890         (m68k_decompose_index, m68k_legitimate_constant_address_p)
1891         (m68k_jump_table_ref_p, m68k_decompose_address)
1892         (m68k_legitimate_address_p, m68k_legitimate_mem_p, m68k_matches_q_p)
1893         (m68k_matches_u_p): New functions.
1894         (print_operand_address): Rewrite to use m68k_decompose_index.
1895
1896 2007-03-05  David Taylor  <dtaylor@emc.com>
1897
1898         * gcc.c: Correct copyright date in --version output.
1899
1900 2007-03-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1901
1902         * pa.md: In unamed move patterns, disparge copies between general
1903         and floating point registers using '?' modifier.  Don't include 'f'
1904         constraint for register preferences in DImode, SImode, HImode and
1905         QImode patterns.  Likewise for 'r' in DFmode and SFmode patterns.
1906         Remove constraints for copies between general and floating registers
1907         in soft-float DFmode pattern.
1908         (movdf): Fail if operand1 is a CONST_DOUBLE and operand0 is a hard
1909         floating register.
1910         (movsf): Likewise. 
1911
1912 2007-03-05  Mike Stump  <mrs@apple.com>
1913
1914         * c-common.c (targetcm): Add.
1915         * c-opts.c (c_common_handle_option): Handle language specific
1916         target options.
1917         * opts.c (handle_option): Verify language for target options, if
1918         any are given.
1919         * opth-gen.awk: Add CL_LANG_ALL.
1920         * target-def.h (TARGET_HANDLE_C_OPTION): Add.
1921         (TARGETCM_INITIALIZER): Add.
1922         * target.h (struct gcc_targetcm): Add.
1923         (targetcm): Add.
1924         * targhooks.c (default_handle_c_option): Add.
1925         * targhooks.h (default_handle_c_option): Add.
1926         * doc/tm.texi (TARGET_HANDLE_C_OPTION): Add.
1927
1928         * config/darwin.opt (iframework): Add.
1929         * config/darwin.h (TARGET_HAS_TARGETCM): Add.
1930         * config/darwin-c.c (handle_c_option): Add.
1931         (TARGET_HANDLE_C_OPTION): Add.
1932         (targetcm): Add.
1933         * doc/invoke.texi (Darwin Options): Add -iframework.
1934
1935 2007-03-05  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1936
1937         * convert.c (convert_to_integer): Fix nearbyint/rint -> *lrint
1938         conversion.
1939
1940 2007-03-05  Ian Lance Taylor  <iant@google.com>
1941
1942         * c.opt (fgnu89-inline): New option.
1943         * c-opts.c (c_common_post_options): Set default value for
1944         flag_gnu89_inline.
1945         * c-decl.c (WANT_C99_INLINE_SEMANTICS): Remove.
1946         (pop_scope): Check flag_gnu89_inline rather than flag_isoc99 for
1947         inline functions.
1948         (diagnose_mismatched_decls, merge_decls, start_decl): Likewise.
1949         (grokdeclarator, start_function): Likewise.
1950         * c-cppbuiltin.c (c_cpp_builtins): Define either
1951         __GNUC_GNU_INLINE__ or __GNUC_STDC_INLINE__.
1952         * doc/invoke.texi (Option Summary): Mention -fgnu89-inline.
1953         (C Dialect Options): Document -fgnu89-inline.
1954         * doc/extend.texi (Function Attributes): Explain what the
1955         gnu_inline attribute does.
1956         * doc/cpp.texi (Common Predefined Macros): Document
1957         __GNUC_GNU_INLINE__ and __GNUC_STDC_INLINE__.
1958
1959 2007-03-05  Ian Lance Taylor  <iant@google.com>
1960
1961         PR tree-optimization/31034
1962         * tree-vrp.c (extract_range_from_assert): Don't try to handle a
1963         half-range if the other side is an overflow infinity.
1964
1965 2007-03-05  Bernd Schmidt  <bernd.schmidt@analog.com>
1966
1967         * config.gcc (bfin*-uclinux*): Use t-bfin-uclinux.
1968         (bfin*-linux-uclibc*): New configuration.
1969         * config/linux.h (LINK_GCC_C_SEQUENCE_SPEC): Undefined before
1970         defining.
1971         * config/bfin/linux.h: New file.
1972         * config/bfin/libgcc-bfin.ver: New file.
1973         * config/bfin/t-bfin-uclinux: New file.
1974         * config/bfin/t-bfin-linux: New file.
1975         * config/bfin/uclinux.h (LINUX_TARGET_OS_CPP_BUILTINS): New macro.
1976         (TARGET_OS_CPP_BUILTINS): New macro.
1977
1978 2007-03-05  Richard Guenther  <rguenther@suse.de>
1979
1980         * fold-const.c (fold_binary): Remove duplicate folding
1981         of comparison of non-null ADDR_EXPR against null.
1982
1983 2007-03-05  Richard Guenther  <rguenther@suse.de>
1984             Dorit Nuzman  <dorit@il.ibm.com>
1985
1986         PR tree-optimization/26420
1987         * tree-vectorizer.c (vectorize_loops): Bail out early if there
1988         are no loops in the function.  Only print the number of
1989         vectorized loops if it is greater than zero or we are supposed
1990         to print information about unvectorized loops.
1991
1992 2007-03-05  Revital Eres  <eres@il.ibm.com>
1993
1994         * gcc.dg/var-expand1.c: New test.
1995         * loop-unroll.c (analyze_insn_to_expand_var): Add dump info
1996         when an accumulator is expanded.
1997
1998 2007-03-04  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1999
2000         PR other/30465
2001         * c-common.c (convert_and_check): Don't give warnings for
2002         conversion if 'expr' already overflowed.
2003         
2004 2007-03-04  Roger Sayle  <roger@eyesopen.com>
2005
2006         PR middle-end/30744
2007         * fold-const.c (fold_comparison): Enforce type consistency when
2008         transforming ~X op ~Y to Y op X, and ~X op C to X op' ~C.
2009
2010 2007-03-04  Zdenek Dvorak  <dvorakz@suse.cz>
2011
2012         * tree-ssa-address.c (create_mem_ref): Do not put an expression
2013         containing a cast to the base of TARGET_MEM_REF.
2014
2015 2007-03-04  Martin Michlmayr  <tbm@cyrius.com>
2016
2017         * tree.c (tree_contains_struct_check_failed): Remove spurious
2018         whitespace from error message.
2019
2020 2007-03-04 Andrew Pinski <andrew_pinski@playstation.sony.com>
2021
2022         PR target/30406
2023         * config/rs6000/rs6000.c (rs6000_function_value): Look at bit size
2024         instead of precision.
2025
2026 2007-03-04  Roman Zippel <zippel@linux-m68k.org>
2027             Nathan Sidwell  <nathan@codesourcery.com>
2028
2029         * emit-rtl.c (find_auto_inc): New.
2030         (try_split): recreate REG_INC notes,
2031         Use regular for loops rather than whiles.
2032
2033 2007-03-03  Andreas Schwab  <schwab@suse.de>
2034
2035         * configure.ac (HAVE_AS_REL16): Move test back to correct place.
2036         * configure: Regenerate.
2037
2038 2007-03-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2039
2040         * builtins.def (ATTR_MATHFN_FPROUNDING): Rely on
2041         flag_rounding_math, not flag_unsafe_math_optimizations.
2042
2043         * c-pretty-print.c (pp_c_direct_abstract_declarator): Use
2044         fold_build2.
2045         * config/alpha/alpha.c (alpha_fold_builtin_zapnot,
2046         alpha_fold_vector_minmax): Likewise.
2047         * config/i386/i386.c (ix86_gimplify_va_arg): Likewise.
2048         * config/sparc/sparc.c (sparc_gimplify_va_arg): Likewise.
2049
2050 2007-03-02  Eric Botcazou  <ebotcazou@adacore.com>
2051
2052         * tree-sra.c (sra_walk_fns) <ldst>: Document new restriction.
2053         (sra_walk_modify_expr) <rhs_elt>: Treat the reference as a use
2054         if the lhs has side-effects.
2055         <lhs_elt>: Treat the reference as a use if the rhs has side-effects.
2056
2057 2007-03-02  Uros Bizjak  <ubizjak@gmail.com>
2058
2059         * config/i386/i386.h (TUNEMASK): Remove define.
2060         (ARCHMASK): Remove define.
2061         (TARGET_*): Use ix86_tune_mask variable instead of TUNEMASK.
2062          Use ix86_arch_mask variable instead of ARCHMASK.
2063         * config/i386/i386.c (override_options): Ditto.
2064         (standard_80387_constant_p): Ditto.
2065
2066 2007-03-02  Ian Lance Taylor  <iant@google.com>
2067
2068         Used signed infinities in VRP.
2069         * tree-vrp.c (uses_overflow_infinity): New static function.
2070         (supports_overflow_infinity): New static function.
2071         (make_overflow_infinity): New static function.
2072         (negative_overflow_infinity): New static function.
2073         (positive_overflow_infinity): New static function.
2074         (is_negative_overflow_infinity): New static function.
2075         (is_positive_overflow_infinity): New static function.
2076         (is_overflow_infinity): New static function.
2077         (overflow_infinity_range_p): New static function.
2078         (compare_values_warnv): New function split out of compare_values.
2079         (compare_value): Call it.
2080         (set_value_range_to_nonnegative): Add overflow_infinity
2081         parameter.  Change caller.
2082         (vrp_expr_computes_nonnegative): Add strict_overflow_p parameter.
2083         Change callers.
2084         (vrp_expr_computes_nonzero): Likewise.
2085         (compare_ranges, compare_range_with_value): Likewise.
2086         (compare_name_with_value, compare_names): Likewise.
2087         (vrp_evaluate_conditional): Likewise.
2088         (set_value_range): Handle infinity
2089         (vrp_operand_equal_p, operand_less_p): Likewise.
2090         (extract_range_from_assert): Likewise.
2091         (vrp_int_const_binop): Likewise.
2092         (extract_range_from_binary_expr): Likewise.
2093         (extract_range_from_unary_expr): Likewise.
2094         (extract_range_from_comparison): Likewise.
2095         (extract_range_from_expr): Likewise.
2096         (dump_value_range): Likewise.
2097         (vrp_visit_cond_stmt, vrp_visit_phi_node): Likewise.
2098         (test_for_singularity): Likewise.
2099         (vrp_int_const_binop): Remove inline qualifier.
2100         (adjust_range_with_scev): Add comment.
2101         * tree-flow.h (vrp_evaluate_conditional): Update declaration.
2102
2103 2007-03-02  Diego Novillo  <dnovillo@redhat.com>
2104
2105         * tree-ssa-structalias.c (could_have_pointers): Tidy.
2106         (get_constraint_for): Likewise.
2107         (do_structure_copy): Likewise.
2108         (find_func_aliases): Fix references to MODIFY_EXPR.
2109         (intra_create_variable_infos): Tidy.
2110         * tree-ssa-operands.c (add_virtual_operand): Add argument
2111         IS_CALL_SITE.
2112         When adding members of alias sets, if IS_CALL_SITE is true and
2113         the symbol is not call-clobbered, skip it.
2114         Adjust all callers.
2115
2116 2007-03-02  Eric Botcazou  <ebotcazou@adacore.com>
2117
2118         * config/alpha/alpha.c (alpha_gp_save_rtx): Insert the insns at the
2119         entry by means of emit_insn_at_entry.
2120
2121 2007-03-02  Richard Henderson  <rth@redhat.com>
2122
2123         * expr.h (promoted_input_arg): Remove decl.
2124         * function.c (promoted_input_arg): Merge into ...
2125         * combine.c (setup_incoming_promotions): ... only caller.
2126         Rearrange to avoid double loop.
2127
2128 2007-03-02  Ben Elliston  <bje@au.ibm.com>
2129             Peter Bergner  <bergner@vnet.ibm.com>
2130             Janis Johnson  <janis187@us.ibm.com>
2131
2132         * config/rs6000/dfp.md: New file.
2133         * config/rs6000/rs6000.md: Include dfp.md.
2134         (add<mode>3_internal1): Disable for DECIMAL_FLOAT_MODE_P operands.
2135         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Handle DDmode
2136         and TDmode decimal float modes in FP registers.
2137         (num_insns_constant): Likewise.
2138         (rs6000_legitimate_offset_address_p): Likewise.
2139         (rs6000_legitimize_address): Likewise.
2140         (rs6000_legitimize_reload_address): Likewise.
2141         (rs6000_legitimate_address): Likewise.
2142         (rs6000_emit_move): Likewise.
2143         (function_arg_boundary): Likewise.
2144         (function_arg_advance): Likewise.
2145         (rs6000_darwin64_record_arg_recurse): Likewise.
2146         (function_arg): Likewise.
2147         (rs6000_gimplify_va_arg): Likewise.
2148         (rs6000_split_multireg_move): Likewise.
2149         (rs6000_output_function_epilogue): Likewise.
2150         (rs6000_output_function_epilogue): Likewise.
2151         (rs6000_register_move_cost): Likewise.
2152         (rs6000_function_value): Likewise.
2153         (rs6000_libcall_value): Likewise.
2154
2155 2007-03-02  Richard Sandiford  <richard@codesourcery.com>
2156
2157         * config/t-vxworks (LIMITS_H_TEST): Define to true for VxWorks.
2158
2159 2007-03-02  Richard Sandiford  <richard@codesourcery.com>
2160
2161         * config/t-vxworks (LIBGCC2_INCLUDES): Pass -nostdinc.
2162         Use $MULTIDIR to choose between the kernel and RTP headers,
2163         and use $WIND_BASE and $WIND_USR to locate them.
2164
2165 2007-03-02  Uros Bizjak  <ubizjak@gmail.com>
2166
2167         * config/i386/i386.c (override_options): Put initialization of
2168         ix86_tune_mask and ix86_arch_mask to the correct place.
2169
2170 2007-03-02  Uros Bizjak  <ubizjak@gmail.com>
2171             Michael Meissner  <michael.meissner@amd.com>
2172
2173         PR target/31019
2174         * config/i386/i386.h (TUNEMASK): Redefine to use ix86_tune_mask.
2175         (ARCHMASK): Define.
2176         (TARGET_CMOVE): Use ARCHMASK.
2177         (TARGET_CMPXCHG): Ditto.
2178         (TARGET_CMPXCHG8B): Ditto.
2179         (TARGET_XADD): Ditto.
2180         (TARGET_BSWAP): Ditto.
2181         * config/i386/i386.c (ix86_tune_mask): New global variable.
2182         (ix86_arch_mask): Ditto.
2183         (override_options): Initialize ix86_tune_mask and
2184         ix86_arch_mask. Use ARCHMASK to clear MASK_NO_FANCY_MATH_387 in
2185         target_flags.
2186
2187 2007-03-02  Ben Elliston  <bje@au.ibm.com>
2188
2189         PR 30992
2190         * config/dfp-bit.c (DFP_TO_INT): Initialise qval with "1.".
2191
2192 2007-03-02  Joseph Myers  <joseph@codesourcery.com>
2193
2194         * target.h (init_dwarf_reg_sizes_extra): New target hook.
2195         * target-def.h (TARGET_INIT_DWARF_REG_SIZES_EXTRA): New default.
2196         * doc/tm.texi (TARGET_INIT_DWARF_REG_SIZES_EXTRA): Document.
2197         * dwarf2out.c (expand_builtin_init_dwarf_reg_sizes): Call this
2198         hook.
2199         * config/rs6000/rs6000.c (TARGET_INIT_DWARF_REG_SIZES_EXTRA,
2200         rs6000_init_dwarf_reg_sizes_extra): New.
2201         * config/rs6000/linux-unwind.h (ppc_fallback_frame_state): Support
2202         SPE register high parts.
2203
2204 2007-03-01  Brooks Moses  <brooks.moses@codesourcery.com>
2205
2206         * Makefile.in: Add install-pdf target as
2207         copied from automake v1.10 rules.
2208         * configure.ac: Add install-pdf to target list.
2209         * configure: Regenerate.
2210
2211 2007-03-01  Paul Brook  <paul@codesourcery.com>
2212
2213         * config/arm/arm.c (arm_legitimate_index_p): Limit iWMMXt addressing
2214         modes to LDRD for DImode.
2215         (output_move_double): Fixup out of range ldrd/strd.
2216         (vfp_secondary_reload_class): Rename...
2217         (coproc_secondary_reload_class): ... to this.  Add wb argument.
2218         * config/arm/arm.h (SECONDARY_OUTPUT_RELOAD_CLASS): Use
2219         coproc_secondary_reload_class for CLASS_IWMMXT.
2220         (SECONDARY_INPUT_RELOAD_CLASS): Ditto.
2221         * arm-protos.h (coproc_secondary_reload_class): Update prototype.
2222
2223 2007-03-01  Zdenek Dvorak  <dvorakz@suse.cz>
2224
2225         * tree-ssa-loop-prefetch.c (determine_unroll_factor):  Bound the unroll
2226         factor by the estimated number of iterations.
2227         (loop_prefetch_arrays): Do not prefetch in loops that iterate less than
2228         prefetch latency.
2229
2230         * config/i386/driver-i386.c (describe_cache, detect_caches_amd,
2231         decode_caches_intel, detect_caches_intel): New functions.
2232         (host_detect_local_cpu): Use detect_caches_amd and
2233         detect_caches_intel.
2234
2235 2007-03-01  Richard Henderson  <rth@redhat.com>
2236
2237         * expr.c (emit_move_complex_push): Export.
2238         (emit_move_complex_parts): Split out from ...
2239         (emit_move_complex): ... here.
2240         * expr.h (emit_move_complex_push, emit_move_complex_parts): Declare.
2241         * config/i386/i386.md (movcdi): New.
2242
2243 2007-03-01  Uros Bizjak  <ubizjak@gmail.com>
2244
2245         * config/i386/i386.c (ix86_modes_tieable_p): Fix typo, use also
2246         size of mode1 to check for tieable modes in MMX case.
2247
2248 2007-03-01  Richard Sandiford  <richard@codesourcery.com>
2249
2250         * Makefile.in (rtlanal.o): Depend on tree.h.
2251         * rtl.h (offset_within_section_p, split_const): Declare.
2252         * rtlanal.c: Include tree.h.
2253         (offset_within_block_p): New function, taken from
2254         mips_offset_within_object_p.
2255         (split_const): New function, taken from mips_split_const.
2256         * config/m68k/m68k-protos.h (m68k_illegitimate_symbolic_constant_p):
2257         Declare.
2258         * config/m68k/m68k.h (M68K_OFFSETS_MUST_BE_WITHIN_SECTIONS_P): Define.
2259         (CONSTANT_ADDRESS_P): Only accept legitimate constants.
2260         (LEGITIMATE_CONSTANT_P): Check m68k_illegitimate_symbolic_constant_p.
2261         * config/m68k/m68k.c (TARGET_CANNOT_FORCE_CONST_MEM): Define.
2262         (m68k_illegitimate_symbolic_constant_p): New function.
2263         * config/m68k/m68k.md (movsi): Remove misleading predicates.
2264         If M68K_OFFSETS_MUST_BE_WITHIN_SECTIONS_P and the source is a
2265         symbolic constant that might be outside the symbol's section,
2266         move the symbol first and then add the offset.
2267         * config/m68k/uclinux.h (M68K_OFFSETS_MUST_BE_WITHIN_SECTIONS_P):
2268         Override.
2269         * config/mips/mips.c (mips_split_const): Delete.
2270         (mips_offset_within_object_p): Delete.
2271         (mips_symbolic_constant_p): Use offset_within_section_p and
2272         split_const instead of mips_offset_within_object_p and
2273         mips_split_const.
2274         (mips_cannot_force_const_mem, mips_const_insns, mips_unspec_address)
2275         (mips_legitimize_const_move, print_operand_reloc)
2276         (mips_dangerous_for_la25_p): Use split_const instead of
2277         mips_split_const.
2278
2279 2007-02-28  Eric Christopher  <echristo@apple.com>
2280
2281         * Makefile.in (install-include-dir): Don't rm -rf include.
2282
2283 2007-02-28  Richard Guenther  <rguenther@suse.de>
2284
2285         PR middle-end/30364
2286         * fold-const.c (fold_binary): Do not associate expressions
2287         with more than one variable for integer types that do not wrap.
2288
2289 2007-02-28  Sandra Loosemore  <sandra@codesourcery.com>
2290
2291         * builtins.c (fold_builtin_call_list, fold_builtin_call_valist):
2292         Delete, and replace with...
2293         (fold_builtin_call_array): This.  Update callers to use it.
2294         * fold-const.c (fold_build_call_list): Delete, and replace with...
2295         (fold_build_call_array): This.
2296         (fold_build_call_list_initializer): Delete, and replace with...
2297         (fold_build_call_array_initializer): This.
2298         * tree.h: Update declarations to reflect above changes.
2299
2300         * c-typeck.c (build_function_call): Store converted arguments
2301         in a stack-allocated array instead of building a list.
2302         (convert_arguments): Store arguments in the array passed in as an
2303         argument, and return the actual number of arguments.
2304         * c-format.c: (check_function_format): Pass arguments in an
2305         array instead of a list.
2306         * c-common.c (check_function_nonnull): Likewise.
2307         (check_function_sentinel): Likewise.
2308         (check_function_arguments): Likewise.
2309         * c-common.h: Update declarations to reflect above changes.
2310
2311 2007-02-28  Jan Hubicka  <jh@suse.cz>
2312
2313         * predict.def (PRED_TREE_EARLY_RETURN, PRED_CONST_RETURN,
2314         PRED_NEGATIVE_RETURN): Update outcomes.
2315
2316 2007-02-28  Bernd Schmidt  <bernd.schmidt@analog.com>
2317
2318         * calls.c (emit_library_call_value_1): Handle partial registers
2319         correctly when building up CALL_INSN_FUNCTION_USAGE.
2320
2321 2007-02-27  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2322
2323         * pa/predicates.md (move_src_operand): Allow zero for mode.
2324         * pa/pa.md: Fix constraints for zero CONST_DOUBLE in 64-bit DFmode
2325         move pattern.
2326
2327 2007-02-27  Uros Bizjak  <ubizjak@gmail.com>
2328
2329         PR target/30970
2330         * config/i386/sse.md (*mov<mode>_internal, *movv4sf_internal,
2331         *movv2df_internal): Enable pattern only for valid operand
2332         combinations.
2333         * config/i386/i386.c (ix86_modes_tieable_p): For SSE registers,
2334         tie only 128bit modes. For MMX registers, tie only 64bit modes.
2335
2336 2007-02-27  Mike Stump  <mrs@apple.com>
2337
2338         * config/darwin-crt3.c: Avoid compilation when compiling for a
2339         kext multilib.
2340
2341 2007-02-27  Joseph Myers  <joseph@codesourcery.com>
2342
2343         * Makefile.in (PREPROCESSOR_DEFINES, test-protoize-simple): Define
2344         FIXED_INCLUDE_DIR.
2345         (stmp-int-hdrs, stmp-fixinc, install-headers): Use include-fixed
2346         for fixed headers and limits.h.
2347         (install-include-dir, install-headers-tar, install-headers-cpio,
2348         install-headers-cp, real-install-headers-tar,
2349         real-install-headers-cpio, real-install-headers-cp): Handle
2350         include-fixed as well as include.
2351         (install-mkheaders): Don't install files that go only in include
2352         not include-fixed.
2353         * cppdefault.c (cpp_include_defaults): Separate FIXED_INCLUDE_DIR
2354         from GCC_INCLUDE_DIR.
2355         * gcc.c (process_command): Remove special -BstageN/ handling.
2356         (do_spec_1): Add include-fixed directories.
2357
2358 2007-02-27  Bernd Schmidt  <bernd.schmidt@analog.com>
2359
2360         * config/bfin/t-bfin-elf (LIB1ASMFUNCS): Add _umulsi3_highpart and
2361         _smulsi3_highpart.
2362         * config/bfin/lib1funcs.asm (___umulsi3_highpart, ___smulsi3_highpart):
2363         New functions.
2364         * config/bfin/bfin.md (smulsi3_highpart, umulsi3_highpart): New
2365         patterns.
2366
2367 2007-02-27  Mark Mitchell  <mark@codesourcery.com>
2368
2369         * c-common.c (get_priority): Add check for
2370         SUPPORTS_INIT_PRIORITY.
2371
2372 2007-02-27  Bernd Schmidt  <bernd.schmidt@analog.com>
2373
2374         * config/bfin/bfin.md (doloop_end): FAIL if counter reg isn't SImode.
2375
2376         * config/bfin/bfin.c: Include "cfglayout.h".
2377         (MAX_LSETUP_DISTANCE): New macro.
2378         (struct loop_info): New members incoming, incoming_src and
2379         incoming_dest.  Delete member predecessor.
2380         (length_for_loop): New function.
2381         (bfin_optimize_loop): Handle more different loop structures.
2382         (bfin_discover_loop): Rework detection of predecessor blocks by
2383         examining incoming edges.
2384         (bfin_discover_loops, bfin_free_loops): New functions, broken out of
2385         bfin_reorg_loops.
2386         (bfin_reorder_loops): New function.
2387         (bfin_reorg_loops): Use these three new functions.
2388
2389         * config/bfin/bfin.h (enum reg_class, REG_CLASS_NAMES,
2390         REG_CLASS_CONTENTS): Add D0REGS through D7REGS.
2391         (CONSTRAINT_LEN): Add entry for 'q'.
2392         (REG_CLASS_FROM_CONSTRAINT): Renamed from REG_CLASS_FROM_LETTER.
2393         Add 'q' constraints.
2394         (REGNO_REG_CLASS): For R0 through R7, return corresponding regclass.
2395         (CLASS_LIKELY_SPILLED_P): True for R0, R1 and R2.
2396
2397         * config/bfin/bfin.md (add_with_carry): New pattern.
2398         (s_or_u, su_optab, su_modifier): New code macros/attrs.
2399         (<su_optab>hisi_ll, <su_optab>hisi_lh, <su_optab>hisi_hl,
2400         <su_optab>hisi_hh): Renamed from mulhisi_xx patterns; macroized to
2401         support unsigned multiplies too.  Removed incorrect commutativity from
2402         operand 1 constraint where appropriate.
2403         (usmulhisi_ull, usmulhisi_ulh, usmulhisi_uhl, usmulhisi_uhh): New
2404         patterns.
2405         (<su_optab>hisi_ll_lh, <su_optab>hisi_ll_hl, <su_optab>hisi_ll_hh,
2406         <su_optab>hisi_lh_hl, <su_optab>hisi_lh_hh, <su_optab>hisi_hl_hh):
2407         New patterns.
2408         (usmulhisi_ll_lul, usmulhisi_ll_luh, usmulhisi_ll_hul,
2409         usmulhisi_ll_huh, usmulhisi_lh_lul, usmulhisi_lh_luh, usmulhisi_lh_hul,
2410         usmulhisi_lh_huh, usmulhisi_hl_lul, usmulhisi_hl_luh, usmulhisi_hl_hul,
2411         usmulhisi_hl_huh, usmulhisi_hh_lul, usmulhisi_hh_luh, usmulhisi_hh_hul,
2412         usmulhisi_hh_huh): New patterns.
2413
2414         * config/bfin/bfin.md (ssashiftv2hi3, ssashifthi3, lshiftv2hi3,
2415         lshifthi3): Fix output template to use half reg for operand 2.
2416
2417         * config/bfin/bfin.c (bfin_output_mi_thunk): Use R3 as scratch reg
2418         instead of R2.
2419
2420         * config/bfin/bfin.md (rotl16, rotlsi3, rotrsi3): New patterns.
2421
2422 2007-02-27  Andreas Schwab  <schwab@suse.de>
2423
2424         * Makefile.in (TEXI_GCCINSTALL_FILES): Add gcc-common.texi.
2425
2426 2007-02-27  Jan Hubicka  <jh@suse.cz>
2427
2428         * predict.c (last_basic_block_p): Remove.
2429         (tree_estimate_probability): Update return heuristic for commonized
2430         return blocks.
2431
2432 2007-02-26  Brooks Moses  <brooks.moses@codesourcery.com>
2433
2434         * Makefile.in (TEXI_GCCINSTALL_FILES): Add gcc-vers.texi dependency.
2435
2436 2007-02-26  Brooks Moses  <brooks.moses@codesourcery.com>
2437
2438         * doc/include/gcc-common.texi (versionsubtitle): New macro.
2439         * doc/cpp.texi: Standardize title page.
2440         * doc/cppinternals.texi: Likewise.
2441         * doc/gcc.texi: Standardize title page, remove version number
2442         from copyright page.
2443         * doc/gccint.texi: Likewise.
2444         * doc/install.texi: Standardize title page, add table of
2445         contents.
2446
2447 2007-02-26  Jan Hubicka  <jh@suse.cz>
2448
2449         * predict.def: Set outcomes according to more recent results.
2450         (PRED_LOOP_CONDITION, PRED_LOOP_PRECONDITIONING, PRED_LOOP_HEADER):
2451         Remove dead predictors.
2452         * predict.c (return_prediction): Fix pasto.
2453
2454 2007-02-27  Bernd Schmidt  <bernd.schmidt@analog.com>
2455
2456         * loop-iv.c (simplify_using_initial_values): Fix oversight in previous
2457         change; avoid a memory leak when returning early.
2458
2459 2007-02-26  Mark Mitchell  <mark@codesourcery.com>
2460
2461         * c-decl.c (static_ctors): Move to c-common.c.
2462         (static_dtors): Likewise.
2463         (finish_function): Use c_record_cdtor_fn.
2464         (build_cdtor): Move to c-common.c.
2465         (c_write_global_declarations): Use c_build_cdtor_fns.
2466         * c-common.h (static_ctors): Declare.
2467         (static_dtors): Likewise.
2468         (c_record_cdtor_fn): Likewise.
2469         (c_build_cdtor_fns): Likewise.
2470         * c-common.c (static_ctors): New variable.
2471         (static_dtors): Likewise.
2472         (c_record_cdtor_fn): New function.
2473         (build_cdtor): Move from c-decl.c
2474         (c_build_cdtor_fns): New function.
2475
2476         * output.h (assemble_addr_to_section): Declare.
2477         (get_cdtor_priority_section): Likewise.
2478         * varasm.c (assemble_addr_to_section): New function.
2479         (get_cdtor_priority_section): Likewise.
2480         (default_named_section_asm_out_destructor): Use them.
2481         (destor_dtor_section_asm_out_destructor): Likewise.
2482         (default_named_section_asm_out_constructor): Likewise.
2483         (default_ctor_section_asm_out_constructor): Likewise.
2484         * config.gcc (*-*-vxworks*): Include vxworks.o.
2485         * config/t-vxworks (vxworks.o): New target.
2486         * config/vxworks.h (ALWAYS_NUMBER_CTORS_SECTIONS): Remove.
2487         (TARGET_ASM_CONSTRUCTOR): Define.
2488         (TARGET_ASM_DESTRUCTOR): Likewise.
2489         (vxworks_asm_out_constructor): Declare.
2490         (vxworks_asm_out_destructor): Likewise.
2491
2492         * c-common.c (get_priority): Check that we have not just an
2493         INTEGER_CST, but an integer constant with integeral type.
2494
2495 2007-02-25  Uros Bizjak  <ubizjak@gmail.com>
2496
2497         PR tree-optimization/30938
2498         * tree-vect-transform.c (vectorizable_call): Fix off-by-one error:
2499         use &dt[nargs-1] instead of &dt[nargs] in the call to
2500         vect_is_simple_use().
2501
2502 2007-02-25  Ulrich Weigand  <uweigand@de.ibm.com>
2503
2504         * reload.c (find_reloads_address_1): Handle PLUS expressions resulting
2505         from register elimination as PRE_MODIFY / POST_MODIFY increments.
2506         Do not attempt to handle MEM inside auto-inc expressions.
2507         * reload1.c (eliminate_regs_1): Do not attempt to handle elimination
2508         of a register modified by an auto-inc expression.  However, do handle
2509         elimination of a register used as PRE_MODIFY / POST_MODIFY increment.
2510         (elimination_effects): Prohibit elimination of a register modified
2511         by an auto-inc expression.  Disable register elimination rules whose
2512         target register is modified by an auto-inc expression with variable
2513         increment.
2514
2515 2007-02-25  Zdenek Dvorak  <dvorakz@suse.cz>
2516
2517         * tree-ssa-loop-niter.c (compute_estimated_nb_iterations): Fix
2518         off-by-one error.
2519         (array_at_struct_end_p): New function.
2520         (idx_infer_loop_bounds): Use it.
2521         (estimate_numbers_of_iterations_loop): Export.
2522         * predict.c (predict_loops): Use estimated_loop_iterations_int.
2523         Do not use PRED_LOOP_EXIT on exits predicted by # of iterations.
2524         (tree_estimate_probability): Call record_loop_exits.
2525         * tree-data-ref.c (get_number_of_iters_for_loop): Replaced by ...
2526         (estimated_loop_iterations, estimated_loop_iterations_int,
2527         estimated_loop_iterations_tree): New functions.
2528         (analyze_siv_subscript_cst_affine,
2529         compute_overlap_steps_for_affine_1_2,
2530         analyze_subscript_affine_affine): Use estimated_loop_iterations_int.
2531         (analyze_miv_subscript): Use estimated_loop_iterations_tree.
2532         * predict.def (PRED_LOOP_ITERATIONS): Update comment.
2533         (PRED_LOOP_ITERATIONS_GUESSED): New.
2534         * cfgloop.c (record_loop_exits): Do nothing if there are no loops.
2535         * cfgloop.h (estimate_numbers_of_iterations_loop,
2536         estimated_loop_iterations_int): Declare.
2537
2538 2007-02-25  Mark Mitchell  <mark@codesourcery.com>
2539
2540         * doc/extend.texi: Document optional priority argument to
2541         constructors and destructors.
2542         * tree.c (init_priority_for_decl): Adjust GTY markers.
2543         (init_ttree): Use priority-info hash functions for
2544         init_priority_for_decl.
2545         (tree_map_eq): Rename to ...
2546         (tree_map_base_eq): ... this.
2547         (tree_map_marked_p): Rename to ...
2548         (tree_map_base_marked_p): ... this.
2549         (tree_map_base_hash): New function.
2550         (decl_init_priority_lookup): Rework.
2551         (decl_fini_priority_lookup): New function.
2552         (decl_priority_info): New function.
2553         (decl_init_priority_insert): Use it.
2554         (decl_fini_priority_insert): Likewise.
2555         (decl_restrict_base_lookup): Adjust for refactoring of tree_map
2556         hierarchy.
2557         (decl_restrict_base_insert): Likewise.
2558         (decl_debug_expr_insert): Likewise.
2559         (decl_value_expr_lookup): Likewise.
2560         (decl_value_expr_insert): Likewise.
2561         * tree.h (priority_type): New type.
2562         (decl_init_priority_lookup): Use priority_type.
2563         (decl_fini_priority_lookup): New function.
2564         (decl_init_priority_insert): Use priority_type.
2565         (decl_fini_priority_insert): New function.
2566         (DECL_HAS_INIT_PRIORITY): Tweak comments.
2567         (DECL_INIT_PRIORITY): Likewise.
2568         (SET_DECL_INIT_PRIORITY): Add comment.
2569         (DECL_FINI_PRIORITY): New macro.
2570         (SET_DECL_FINI_PRIORITY): Likewise.
2571         (DEFAULT_INIT_PRIORITY): Document.
2572         (MAX_INIT_PRIORITY): Likewise.
2573         (MAX_RESERVED_INIT_PRIORITY): Likewise.
2574         (tree_map_base): New type.
2575         (tree_map_base_eq): New function.
2576         (tree_map_base_hash): Likewise.
2577         (tree_map_base_marked_p): Likewise.
2578         (tree_map): Inherit from tree_map_base.
2579         (tree_map_eq): Make it a macro.
2580         (tree_map_marked_p): Likewise.
2581         (tree_int_map): Inherit from tree_map_base.
2582         (tree_int_map_eq): Make it a macro.
2583         (tree_int_map_hash): Likewise.
2584         (tree_int_map_marked_p): Likewise.
2585         (tree_priority_map): New type.
2586         (tree_priority_map_eq): New macro.
2587         (tree_priority_map_hash): Likewise.
2588         (tree_priority_map_marked_p): Likewise.
2589         * varasm.c (emults_decl): Adjust for refactoring of tree_map
2590         hierarchy.
2591         (emutls_common_1): Likewise.
2592         * lambda-code.c (replace_uses_equiv_to_x_with_y): Likewise.
2593         * tree-ssa-structalias.c (heapvar_lookup): Adjust for refactoring
2594         of tree_map hierarchy.
2595         * tree-cfg.c (move_stmt_r): Likewise.
2596         (new_label_mapper): Likewise.
2597         * c-tree.h (c_expand_body): Move to ...
2598         * c-common.h (c_expand_body): ... here.
2599         * c-decl.c (c_expand_body): Move to ...
2600         * c-common.c (c_expand_body): ... here.
2601         (c_common_attribute_table): Allow 1 argument for the constructor
2602         and destructor attributes.
2603         (get_priority): New function.
2604         (handle_constructor_attribute): Set DECL_INIT_PRIORITY.
2605         (handle_destructor_attribute): Set DECL_FINI_PRIORITY.
2606
2607 2007-02-24  Jan Hubicka  <jh@suse.cz>
2608
2609         PR middle-end/30509
2610         * tree-inline.c (copy_bb): Produce exact copy of EH info when copying for inlining.
2611
2612 2007-02-24  Uros Bizjak  <ubizjak@gmail.com>
2613             Jan Hubicka  <jh@suse.cz>
2614
2615         PR target/30778
2616         * i386.c (counter_mode): New function.
2617         (expand_set_or_movmem_via_loop): Use it.
2618         (expand_movmem_epilogue): Likewise; fix pasto.
2619         (ix86_expand_movmem): Do emit guard even for constant counts.
2620         (ix86_expand_setmem): Likewise.
2621
2622 2007-02-25  Nick Clifton  <nickc@redhat.com>
2623
2624         * config/frv/frv.h (ASM_OUTPUT_CASE_LABEL): Delete.
2625         (JUMP_TABLES_IN_TEXT_SECTION): Define.
2626
2627 2007-02-24  Uros Bizjak  <ubizjak@gmail.com>
2628
2629         PR target/30770
2630         * config/i386/i386.md (expand_movmem_epilogue): Fix typo, mask
2631         count argument with 0x10, not with 0x16.
2632         (expand_setmem_epilogue): Ditto.
2633
2634 2007-02-24  Mike Stump  <mrs@apple.com>
2635
2636         * config/i386/i386.c (output_pic_addr_const): Stubify optimized
2637         symbols.
2638
2639 2007-02-24  Richard Guenther  <rguenther@suse.de>
2640
2641         PR middle-end/30951
2642         * fold-const.c (fold_binary): Fold x +- CST op x for
2643         EQ_EXPR and NE_EXPR.
2644
2645 2007-02-24  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2646
2647         * pa.md (muldi3): Force subregs to registers in 64-bit expander.
2648
2649 2007-02-24  Jan Hubicka  <jh@suse.cz>
2650
2651         * cgraphunit.c (decide_is_function_needed): Honor
2652         -fkeep-inline-functions.
2653
2654 2007-02-24  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2655
2656         * builtins.c (fold_builtin_modf): New.
2657         (fold_builtin_2): Use it.
2658
2659 2007-02-24  Bernd Schmidt  <bernd.schmidt@analog.com>
2660
2661         * loop-iv.c (implies_p): Detect additional cases where A implies B.
2662         (determine_max_iter): Take additional LOOP arg; all callers changed.
2663         Lose broken logic dealing with PLUS.  Try to limit the upper bound by
2664         one using simplifications.
2665         (simplify_using_initial_values): Return if the expression becomes
2666         invalid due to altered regs.
2667
2668 2007-02-23  DJ Delorie  <dj@redhat.com>
2669
2670         * doc/tm.h (BIGGEST_ALIGNMENT): Clarify the purpose of this macro.
2671
2672 2007-02-23  Mike Stump  <mrs@apple.com>
2673
2674         * tlink.c (scan_linker_output): Parse linker messages from
2675         darwin9's linker better.
2676
2677 2007-02-23  Steve Ellcey  <sje@cup.hp.com>
2678
2679         PR debug/29614
2680         * varpool.c (varpool_assemble_pending_decls):  Set
2681         varpool_last_needed_node to null.
2682
2683 2007-02-23  DJ Delorie  <dj@redhat.com>
2684
2685         * config/i386/i386.c (ix86_data_alignment): Don't specify an
2686         alignment bigger than the object file can handle.
2687
2688 2007-02-23  Uros Bizjak  <ubizjak@gmail.com>
2689
2690         PR target/30825
2691         * config/i386/i386.md (*movdi_1_rex64, zero_extendsidi2_32,
2692         zero_extendsidi2_rex64): Penalize MMX register<->memory moves.
2693         (*movsf_1): Penalize MMX moves.
2694
2695 2007-02-23  Bernd Schmidt  <bernd.schmidt@analog.com>
2696
2697         * config/bfin/bfin.md (doloop_end): Fail for loops that can iterate
2698         2^32-1 or more times unless flag_unsafe_loop_optimizations.
2699
2700         * loop-iv.c (determine_max_iter): Moved in front of its sole user.
2701
2702 2007-02-23  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2703
2704         * builtins.c (fold_builtin_logb, fold_builtin_significand): New.
2705         (fold_builtin_1): Use them.
2706         * fold-const.c (tree_expr_nonnegative_warnv_p): Handle
2707         BUILT_IN_SIGNIFICAND.
2708
2709 2007-02-23  H.J. Lu  <hongjiu.lu@intel.com>
2710
2711         * config/i386/i386.c (bdesc_1arg): Initialize
2712         IX86_BUILTIN_MOVSHDUP and IX86_BUILTIN_MOVSLDUP with
2713         "__builtin_ia32_movshdup" and "__builtin_ia32_movsldup".
2714         (ix86_init_mmx_sse_builtins): Remove IX86_BUILTIN_MOVSHDUP
2715         and IX86_BUILTIN_MOVSLDUP.
2716
2717 2007-02-22  Paolo Bonzini  <bonzini@gnu.org>
2718
2719         PR rtl-optimization/30841
2720         * fwprop.c (propagate_rtx_1): Accept a VOIDmode replacement address.
2721
2722 2007-02-22  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2723
2724         * builtins.c (fold_builtin_frexp): New.
2725         (fold_builtin_2): Use it.
2726
2727 2007-02-22  Mark Mitchell  <mark@codesourcery.com>
2728
2729         * doc/invoke.texi (Spec Files): Document getenv spec function.
2730
2731         * gcc.c (getenv_spec_function): New function.
2732         (static_spec_functions): Add it.
2733         * config/vxworks.h (VXWORKS_TARGET_DIR): Remove.
2734         (VXWORKS_ADDITIONAL_CPP_SPEC): Use getenv to find the VxWorks
2735         header files.
2736
2737 2007-02-22  Michael Matz  <matz@suse.de
2738
2739         PR c++/29433
2740         * dwarf2out.c (add_AT_string): Call ggc_strdup once per string.
2741         (type_tag): Use lang_hooks.dwarf_name instead of DECL_NAME.
2742
2743 2007-02-22  Ian Lance Taylor  <iant@google.com>
2744
2745         PR debug/30898
2746         * dwarf2out.c (concatn_mem_loc_descriptor): New static function.
2747         (mem_loc_descriptor): Call it.
2748
2749 2007-02-22  Zdenek Dvorak  <dvorakz@suse.cz>
2750             Ira Rosen  <irar@il.ibm.com>
2751
2752         * tree-data-ref.c (ptr_ptr_may_alias_p): Take alias sets into account.
2753
2754 2007-02-22  Ira Rosen  <irar@il.ibm.com>
2755
2756         PR tree-optimization/30843
2757         * tree-vect-transform.c (vect_transform_loop): Remove strided scalar
2758         stores only after all the group is vectorized.
2759
2760 2007-02-22  Dorit Nuzman  <dorit@il.ibm.com>
2761
2762         PR tree-optimization/30858
2763         * tree-vectorizer.c (vect_is_simple_reduction): Check that the stmts
2764         in the reduction cycle have a single use in the loop.
2765         * tree-vectorizer.h (relevant): Add documentation.
2766
2767 2007-02-20  Mike Stump  <mrs@apple.com>
2768
2769         * configure.ac (powerpc*-*-darwin*): #include <sys/cdefs.h>.
2770         * configure: Regenerate.
2771
2772 2007-02-21  Trevor Smigiel  <trevor_smigiel@playstation.sony.com>
2773
2774         Change the defaults of some parameters and options.
2775         * config/spu/spu-protos.h (spu_optimization_options): Declare.
2776         * config/spu/spu.c (spu_optimization_options): Add.
2777         (spu_override_options): Change params in spu_optimization_options.
2778         * config/spu/spu.h (OPTIMIZATION_OPTIONS): Define.
2779
2780         Register 127 is only 16 byte aligned when used as a frame pointer.
2781         * config/spu/spu-protos.h (spu_init_expanders): Declare.
2782         * config/spu/spu.c (spu_expand_prologue): Set REGNO_POINTER_ALIGN for
2783         HARD_FRAME_POINTER_REGNUM.
2784         (spu_legitimate_address):  Use regno_aligned_for_reload.
2785         (regno_aligned_for_load):  HARD_FRAME_POINTER_REGNUM is only 16 byte
2786         aligned when frame_pointer_needed is true.
2787         (spu_init_expanders): New.  Set alignment of HARD_FRAME_POINTER_REGNUM
2788         to 8 bits.
2789         * config/spu/spu.h (INIT_EXPANDERS): Define.
2790
2791         Make sure shift and rotate instructions have valid immediate operands.
2792         * config/spu/predicates.md (spu_shift_operand): Remove.
2793         * config/spu/spu.c (print_operand): Add [efghEFGH] modifiers.
2794         * config/spu/constraints.md (W, O): Extend range.
2795         * config/spu/spu.md (umask, nmask): Define.
2796         (ashl<mode>3, ashldi3, ashlti3_imm, shlqbybi_ti, shlqbi_ti, shlqby_ti,
2797         lshr<mode>3, rotm_<mode>, lshr<mode>3_imm, rotqmbybi_<mode>,
2798         rotqmbi_<mode>, rotqmby_<mode>, ashr<mode>3, rotma_<mode>,
2799         rotl<mode>3, rotlti3, rotqbybi_ti, rotqby_ti, rotqbi_ti): Use
2800         spu_nonmem_operand instead of spu_shift_operands.  Use new modifiers.
2801         (lshr<mode>3_reg):  Fix rtl description.
2802
2803         Make sure mulhisi immediate operands are valid.
2804         * config/spu/predicates.md (imm_K_operand): Add.
2805         * config/spu/spu.md (mulhisi3_imm, umulhisi3_imm): Use imm_K_operand.
2806
2807         Generate constants using fsmbi and andi.
2808         * config/spu/spu.c (enum immediate_class): Add IC_FSMBI2.
2809         (print_operand, spu_split_immediate, classify_immediate,
2810         fsmbi_const_p): Handle IC_FSMBI2.
2811
2812         Correctly handle a CONST_VECTOR containing symbols.
2813         * config/spu/spu.c (print_operand): Handle HIGH correctly.
2814         (spu_split_immediate): Split CONST_VECTORs with -mlarge-mem.
2815         (immediate_load_p): Allow symbols that use 2 instructions to create.
2816         (classify_immediate, spu_builtin_splats):  Don't accept a CONST_VECTOR
2817         with symbols when flag_pic is set.
2818         (const_vector_immediate_p): New.
2819         (logical_immediate_p, iohl_immediate_p, arith_immediate_p): Don't
2820         accept a CONST_VECTOR with symbols.
2821         (spu_legitimate_constant_p): Use const_vector_immediate_p.  Don't
2822         accept a CONST_VECTOR with symbols when flag_pic is set.  Handle HIGH
2823         correctly.
2824         * config/spu/spu.md (high, low): Delete.
2825         (low_<mode>): Define.
2826
2827         Remove INTRmode and INTR_REGNUM, which didn't work.
2828         * config/spu/spu.c (spu_conditional_register_usage): Remove reference
2829         of INTR_REGNUM.
2830         * config/spu/spu-builtins.md (spu_idisable, spu_ienable, set_intr,
2831         set_intr_pic, set_intr_cc, set_intr_cc_pic, set_intr_return, unnamed
2832         peephole2 pattern): Don't use INTR or 131.
2833         (movintrcc): Delete.
2834         * config/spu/spu.h (FIRST_PSEUDO_REGISTER, FIXED_REGISTERS,
2835         CALL_USED_REGISTERS, REGISTER_NAMES, INTR_REGNUM): Remove INTR_REGNUM.
2836         * config/spu/spu.md (UNSPEC_IDISABLE, UNSPEC_IENABLE): Remove.
2837         (UNSPEC_SET_INTR): Add.
2838         * config/spu/spu-modes.def (INTR): Remove.
2839
2840         More accurate warnings about run-time relocations.
2841         * config/spu/spu.c (reloc_diagnostic): Test in_section.
2842
2843         Correctly warn about immediate arguments to specific intrinsics.
2844         * config/spu/spu.c (spu_check_builtin_parm): Handle CONST_VECTORs.
2845         (spu_expand_builtin_1): Call spu_check_builtin_parm before checking
2846         the instruction predicate.
2847
2848         Fix tree check errors with latest update.
2849         * config/spu/spu.c (expand_builtin_args, spu_expand_builtin_1): Use
2850         CALL_EXPR_ARG.
2851         (spu_expand_builtin): Use CALL_EXPR_FN.
2852
2853         Add missing specific intrinsics.
2854         * config/spu/spu-builtins.def: Add si_bisled, si_bisledd and
2855         si_bislede.
2856         * config/spu/spu_internals.h: Ditto.
2857
2858         Fix incorrect operand modifiers.
2859         * config/spu/spu-builtins.md (spu_mpy, spu_mpyu):  Remove use of %H.
2860         * config/spu/spu.md (xor<mode>3):  Change %S to %J.
2861
2862         Optimize one case of zero_extend of a vec_select.
2863         * config/spu/spu.md (_vec_extractv8hi_ze):  Add.
2864
2865         Accept any immediate for hbr.
2866         * config/spu/spu.md (hbr):  Change s constraints to i.
2867
2868 2007-02-21  Paul Brook  <paul@codesourcery.com>
2869
2870         * config/arm/arm.c (thumb2_final_prescan_insn): Don't incrememnt
2871         condexec_count when skipping USE and CLOBBER.
2872
2873 2007-02-21  Nick Clifton  <nickc@redhat.com>
2874
2875         * common.opt (Warray-bounds): Add Warning attribute.
2876         (Wstrict-overflow, Wstrict-overflow=, Wcoverage-mismatch):
2877         Likewise.
2878         (fsized-zeroes): Add Optimization attribute.
2879         (fsplit-wide-types, ftree-scev-cprop): Likewise.
2880         * c.opt (Wc++0x-compat): Add Warning attribute.
2881
2882 2007-02-21  Ulrich Weigand  <uweigand@de.ibm.com>
2883
2884         PR middle-end/30761
2885         * reload1.c (eliminate_regs_in_insn): In the single_set special
2886         case, attempt to re-recognize the insn before falling back to
2887         having reload fix it up.
2888
2889 2007-02-20  Eric Christopher  <echristo@gmail.com>
2890
2891         * config/frv/frv.c (frv_read_argument): Take a tree and int argument.
2892         Rewrite accordingly.
2893         (frv_read_iacc_argument): Ditto.
2894         (frv_expand_set_builtin): Take a call instead of arglist, update for
2895         above changes.
2896         (frv_expand_unop_builtin): Ditto.
2897         (frv_expand_binop_builtin): Ditto.
2898         (frv_expand_cut_builtin): Ditto.
2899         (frv_expand_binopimm_builtin): Ditto.
2900         (frv_expand_voidbinop_builtin): Ditto.
2901         (frv_expand_int_void2arg): Ditto.
2902         (frv_expand_prefetches): Ditto.
2903         (frv_expand_voidtriop_builtin): Ditto.
2904         (frv_expand_voidaccop_builtin): Ditto.
2905         (frv_expand_load_builtin): Ditto.
2906         (frv_expand_store_builtin): Ditto.
2907         (frv_expand_mdpackh_builtin): Ditto.
2908         (frv_expand_mclracc_builtin): Ditto.
2909         (frv_expand_mrdacc_builtin): Ditto.
2910         (frv_expand_mwtacc_builtin): Ditto.
2911         (frv_expand_builtin): Remove usage of CALL_EXPR_ARGS, update
2912         calls for above.
2913
2914 2007-02-20  Janis Johnson  <janis187@us.ibm.com>
2915
2916         * doc/invoke.texi (RS/6000 and PowerPC Options): Add -mcmpb and -mdfp.
2917         * configure.ac (HAVE_GAS_CMPB): Check for assembler support of the
2918         cmpb instruction.
2919         (HAVE_GAS_DFP): Check for assembler support of decimal floating
2920         point instructions.
2921         * configure: Regenerate.
2922         * config.in: Regenerate.
2923         * config/rs6000/rs6000.opt (mcmpb, mdfp): New.
2924         * config/rs6000/rs6000.c (rs6000_override_options): Add CMPB and DFP
2925         masks to power6 and power6x and to POWERPC_MASKS.
2926         * config/rs6000/rs6000-c.c (rs6000_cpu_cpp_builtins): Define
2927         _ARCH_PWR6.
2928         * config/rs6000/rs6000.h: Check assembler support for CMPB and DFP.
2929         * config/rs6000/sysv4.opt (mprototype): Use variable, not mask.
2930         * config/rs6000/linux64.h (SUBSUBTARGET_OVERRIDE_OPTIONS):
2931         Access PROTOTYPE as variable, not mask.
2932
2933 2007-02-20  Steven Bosscher  <steven@gcc.gnu.org>
2934
2935         * rtl.h (remove_reg_equal_equiv_notes): New prototype.
2936         * rtlanal.c (remove_reg_equal_equiv_notes): New function.
2937         * combine.c (adjust_for_new_dest): Use it.
2938         * postreload.c (reload_combine): Likewise.
2939
2940 2007-02-20  Steven Bosscher  <steven@gcc.gnu.org>
2941
2942         * rtlanal.c (find_reg_equal_equiv_note): Do not find REG_EQ*
2943         notes on an insn with multiple sets, even if single_set returns
2944         non-NULL for that insn.
2945
2946 2007-02-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2947
2948         * fold-const.c (tree_expr_nonnegative_warnv_p): Handle scalb,
2949         scalbn and scalbln.
2950
2951 2007-02-20  Geoffrey Keating  <geoffk@apple.com>
2952
2953         * config/darwin.h (LINK_SPEC): Default -mmacosx-version-min only
2954         if user didn't pass it.
2955         * config/i386/darwin.h (CC1_SPEC): Likewise.
2956         * config/rs6000/darwin.h (CC1_SPEC): Likewise.
2957         (DARWIN_MINVERSION_SPEC): Don't depend on user's setting of
2958         -mmacosx-version-min.
2959
2960 2007-02-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2961             Uros Bizjak  <ubizjak@gmail.com>
2962
2963         * optabs.h (enum optab_index): Add new OTI_scalb.
2964         (scalb_optab): Define corresponding macro.
2965         * optabs.c (init_optabs): Initialize scalb_optab.
2966         * genopinit.c (optabs): Implement scalb_optab using scalb?f3
2967         patterns.
2968         * builtins.c (expand_builtin_mathfn_2, expand_builtin): Handle
2969         BUILT_IN_SCALB{,F,L}, BUILT_IN_SCALBN{,F,L} and BUILT_IN_SCALBLN{,F,L}.
2970         (expand_builtin): Expand BUILT_IN_SCALB{,F,L}, BUILT_IN_SCALBN{,F,L}
2971         and BUILT_IN_SCALBLN{,F,L} using expand_builtin_mathfn_2 if
2972         flag_unsafe_math_optimizations is set.
2973
2974         * config/i386/i386.md (scalbxf3, scalb<mode>3): New expanders
2975         to implement scalbf, scalb and scalbl built-ins as inline x87
2976         intrinsics.
2977
2978 2007-02-20  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2979             DJ Delorie <dj@redhat.com>
2980
2981         PR other/30824
2982         * diagnostic.c (diagnostic_count_diagnostic): Move -Werror logic to...
2983         (diagnostic_report_diagnostic): ... here, and turn them into real
2984         errors. If warnings are inhibited, no need to do anything.
2985
2986 2007-02-20  Uros Bizjak  <ubizjak@gmail.com>
2987
2988         * config/i386/i386.md (expm1xf2): Reorder insn sequence for
2989         better code generation.
2990
2991 2007-02-20  Ben Elliston  <bje@au.ibm.com>
2992
2993         * config/m68hc11/m68hc11.h (OVERRIDE_OPTIONS): Remove extra ;.
2994
2995 2007-02-20  Kazu Hirata  <kazu@codesourcery.com>
2996
2997         * config/alpha/alpha.c, config/alpha/alpha.md,
2998         config/alpha/lib1funcs.asm, config/alpha/vms-crt0-64.c,
2999         config/alpha/vms-psxcrt0-64.c, config/arc/arc.c,
3000         config/arc/arc.h, config/arm/arm.c, config/arm/arm.md,
3001         config/arm/lib1funcs.asm: Follow spelling conventions.
3002
3003         * config/c4x/c4x.md, config/cris/cris.c, config/crx/crx.c,
3004         config/fr30/fr30.md, config/i386/i386.h,
3005         config/iq2000/iq2000.h, config/iq2000/predicates.md,
3006         config/pa/milli64.S, config/pa/pa.c, config/pa/pa.h,
3007         config/pa/pa.md, config/pa/pa32-regs.h, config/pa/pa64-regs.h,
3008         config/pdp11/pdp11.c, config/pdp11/pdp11.h,
3009         config/rs6000/altivec.md, config/rs6000/rs6000.c,
3010         config/s390/s390-modes.def, config/sparc/netbsd-elf.h,
3011         config/sparc/sparc.c, config/sparc/sparc.h,
3012         config/sparc/sparc.md, config/spu/constraints.md,
3013         config/spu/spu.c, config/stormy16/stormy16.md: Follow spelling
3014         conventions.
3015
3016 2007-02-20  Alan Modra  <amodra@bigpond.net.au>
3017
3018         PR target/29943
3019         * varasm.c (use_blocks_for_decl_p): Return false for decls with
3020         alias attribute.
3021
3022 2007-02-19  Kazu Hirata  <kazu@codesourcery.com>
3023
3024         * doc/invoke.texi (-ftree-lrs): Remove.
3025
3026 2007-02-19  Diego Novillo  <dnovillo@redhat.com>
3027
3028         * tree-ssa-pre.c (create_value_expr_from): Initialize POOL to
3029         NULL.
3030
3031 2007-02-19  Lee Millward  <lee.millward@codesourcery.com>
3032
3033         * config/ia64/ia64.c (ia64_expand_builtin): Use the
3034         new CALL_EXPR_FN macro for retrieving the function
3035         declaration of the input expression.
3036
3037 2007-02-19  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3038
3039         * c.opt (Waddress): New.
3040         * common.opt (Walways-true): Delete.
3041         (Wstring-literal-comparison): Delete.
3042         * doc/invoke.texi (Warning Options): Delete -Walways-true and
3043         -Wstring-literal-comparison. Add -Waddress.
3044         (Waddress): New.
3045         (Walways-true): Delete.
3046         (Wstring-literal-comparison): Delete.
3047         * doc/extend.texi (#pragma GCC diagnostic): Use -Wformat
3048         consistently instead of -Walways-true in example.
3049         * c-opts.c (c_common_handle_option): -Waddress is enabled by -Wall.
3050         * c-typeck.c (parser_build_binary_op): Replace
3051         -Wstring-literal-comparison and -Walways-true with -Waddress.
3052         * c-common.c (c_common_truthvalue_conversion): Replace -Walways-true
3053         with -Waddress.
3054
3055 2007-02-19  Eric Botcazou  <ebotcazou@adacore.com>
3056
3057         * tree-cfg.c (dump_function_to_file): Be prepared for functions
3058         without DECL_STRUCT_FUNCTION initialized.
3059
3060 2007-02-19  Eric Botcazou  <ebotcazou@adacore.com>
3061
3062         * gimplify.c (gimplify_init_ctor_preeval_1): Detect potential overlap
3063         due to calls to functions taking pointers as parameters.
3064
3065 2007-02-19  Richard Henderson  <rth@redhat.com>
3066
3067         PR debug/29558
3068         * var-tracking.c (track_expr_p): Disallow AGGREGATE_TYPE_P
3069         in memory.
3070
3071 2007-02-19  Andreas Krebbel  <krebbel1@de.ibm.com>
3072
3073         * config/s390/s390.c (s390_call_saved_register_used,
3074         s390_function_ok_for_sibcall): Adjust the way CALL_EXPR arguments are
3075         accessed to the new scheme.
3076
3077 2007-02-19  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
3078
3079         * config/cris/cris.c (cris_movem_load_rest_p, cris_store_multiple_op_p)
3080         (cris_print_index, cris_print_operand, cris_print_operand_address)
3081         (cris_reload_address_legitimized, cris_rtx_costs, cris_address_cost)
3082         (cris_side_effect_mode_ok, cris_valid_pic_const, cris_split_movdx)
3083         (cris_expand_pic_call_address): Use xxx_P predicate macros instead of
3084         GET_CODE () == xxx.
3085         * config/cris/cris.h (SECONDARY_RELOAD_CLASS, EXTRA_CONSTRAINT_Q,
3086         EXTRA_CONSTRAINT_T, BDAP_INDEX_P, BIAP_INDEX_P, SIMPLE_ADDRESS_P,
3087         GO_IF_LEGITIMATE_ADDRESS): Ditto.
3088         * config/cris/cris.md (define_insns: *btst, movdi, *mov_side<mode>)
3089         (*mov_sidesisf, *mov_side<mode>_mem, *mov_sidesisf_mem)
3090         (*clear_side<mode>, movsi, *movsi_internal, *ext_sideqihi)
3091         (*ext_side<mode>si, *op_side<mode>, *op_swap_side<mode>, addsi3)
3092         (*extopqihi_side, *extop<mode>si_side, *extopqihi_swap_side)
3093         (*extop<mode>si_swap_side, addi_mul, *addi,andsi3, andhi3, ashl<mode>3)
3094         (uminsi3, call, call_value): Ditto.
3095         (define_split: indir_to_reg_split, unnamed): Ditto.
3096
3097 2007-02-19  Dorit Nuzman  <dorit@il.ibm.com>
3098
3099         PR tree-optimization/30975
3100         * tree-vect-trasnform.c (vect_get_vec_def_for_stmt_copy): Remove
3101         wrong assert.
3102
3103 2007-02-18  Eric Christopher  <echristo@gmail.com>
3104
3105         * mips.c (mips_prepare_builtin_arg): Add argnum parameter.
3106         Remove use of arglist.
3107         (mips_expand_builtin): Remove use of arglist, pass in expr.
3108         (mips_expand_builtin_direct): Rewrite handling for arglist removal.
3109         (mips_expand_builtin_movtf): Ditto.
3110         (mips_expand_builtin_compare): Ditto.
3111
3112 2007-02-19  Alexandre Oliva  <aoliva@redhat.com>
3113
3114         * tree-sra.c (sra_build_assignment): Replace assertion
3115         checking with a comment explaining why it can't be done.
3116
3117 2007-02-18  Sandra Loosemore  <sandra@codesourcery.com>
3118
3119         PR middle-end/30833
3120         * tree-dump.c (dequeue_and_dump): Add tcc_vl_exp case missed
3121         during CALL_EXPR representation conversion.
3122         * tree-ssa-propagate.c (set_rhs): Likewise.
3123
3124 2007-02-19  Alexandre Oliva  <aoliva@redhat.com>
3125
3126         * tree-sra.c (sra_build_assignment): Disable assertion checking
3127         for now.
3128
3129 2007-02-18  Roger Sayle  <roger@eyesopen.com>
3130
3131         * function.c (gimplify_parameters): Call build_gimple_modify_stmt
3132         instead of calling build2 with a GIMPLE_MODIFY_STMT.
3133         * gimple-low.c (lower_function_body, lower_builtin_setjmp):
3134         Likewise.
3135         * gimplify.c (build_stack_save_restore, gimplify_return_expr,
3136         gimplify_decl_expr,  gimplify_self_mod_expr, gimplify_cond_expr,
3137         gimplify_init_ctor_eval_range, gimple_push_cleanup,
3138         gimplify_omp_for, gimplify_omp_atomic_pipeline,
3139         gimplify_omp_atomic_mutex, gimplify_expr, gimplify_one_sizepos,
3140         force_gimple_operand): Likewise.
3141         * ipa-cp.c (constant_val_insert): Likewise.
3142         * lambda-code.c (lbv_to_gcc_expression, lle_to_gcc_expression,
3143         lambda_loopnest_to_gcc_loopnest, replace_uses_equiv_to_x_with_y,
3144         perfect_nestify): Likewise.
3145         * langhooks.c (lhd_omp_assignment): Likewise.
3146         * omp-low.c (lower_rec_input_clauses, lower_reduction_clauses,
3147         lower_copyprivate_clauses, lower_send_clauses,
3148         lower_send_shared_vars, expand_parallel_call,
3149         expand_omp_for_generic, expand_omp_for_static_nochunk,
3150         expand_omp_for_static_chunk, expand_omp_sections,
3151         lower_omp_single_copy, lower_omp_for_lastprivate,
3152         lower_omp_parallel, init_tmp_var, save_tmp_var): Likewise.
3153         * value-prof.c (tree_divmod_fixed_value, tree_mod_pow2,
3154         tree_mod_subtract, tree_ic, tree_stringop_fixed_value):
3155         Likewise.
3156
3157 2007-02-19  Kazu Hirata  <kazu@codesourcery.com>
3158
3159         * config/sh/divtab.c, config/sh/sh.c, config/sh/sh.h,
3160         config/sh/sh.md: Follow spelling conventions.
3161
3162         * config/frv/frv.c, config/frv/frv.h, config/frv/frv.md,
3163         config/frv/predicates.md: Follow spelling conventions.
3164
3165         * config/m68k/linux-unwind.h: Fix a comment typo.
3166         * target.h: Follow spelling conventions.
3167
3168 2007-02-18  Roger Sayle  <roger@eyesopen.com>
3169
3170         PR rtl-optimization/28173
3171         * simplify-rtx.c (simplify_binary_operation_1) <IOR>:  Optimize
3172         (X & C1) | C2 as C2 when (C1 & C2) == C1 and X has no side-effects.
3173         Optimize (X & C1) | C2 as X | C2 when (C1 | C2) == ~0.
3174         Canonicalize (X & C1) | C2 as (X & (C1 & ~C2)) | C2.
3175         <AND>: Canonicalize (X | C1) & C2 as (X & C2) | (C1 & C2).
3176
3177 2007-02-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3178
3179         * builtins.c (fold_builtin_load_exponent): New.
3180         (fold_builtin_2): Use it.
3181
3182 2007-02-18  Steven Bosscher  <steven@gcc.gnu.org>
3183
3184         PR rtl-optimization/30773
3185         * local-alloc.c (update_equiv_regs): Do not set reg_equiv_init
3186         if we fail to attach a REG_EQUIV note.
3187
3188 2007-02-18  David Edelsohn  <edelsohn@gnu.org>
3189             Roger Sayle  <roger@eyesopen.com>
3190
3191         * config/rs6000/rs6000.md (bswapsi2): New define_insn and splitter.
3192
3193 2007-02-18  Sandra Loosemore  <sandra@codesourcery.com>
3194
3195         * calls.c (initialize_argument_information): Pass original EXP
3196         and STRUCT_VALUE_ADDR_VALUE instead of a list of arguments.  Move
3197         code to split complex arguments here, as part of initializing the
3198         ARGS array.
3199         (expand_call): Remove code that builds a list of arguments and
3200         inserts implicit arguments into it.  Instead, just count how many
3201         implicit arguments there will be so we can determine the size of
3202         the ARGS array, and let initialize_argument_information do the work.
3203         (split_complex_values): Delete unused function.
3204
3205 2007-02-18  Eric Botcazou  <ebotcazou@adacore.com>
3206
3207         * tree-eh.c (tree_could_trap_p): Handle VIEW_CONVERT_EXPR.
3208
3209 2007-02-18  Eric Botcazou  <ebotcazou@adacore.com>
3210
3211         * calls.c (mem_overlaps_already_clobbered_arg_p): Return true
3212         for arg pointer based indexed addressing.
3213
3214 2007-02-18  Kazu Hirata  <kazu@codesourcery.com>
3215
3216         * config/ia64/ia64.h, config/ia64/ia64.md,
3217         config/ia64/predicates.md, config/ia64/sysv4.h: Follow
3218         spelling conventions.
3219
3220 2007-02-18  Roman Zippel <zippel@linux-m68k.org>
3221
3222         * config/m68k/m68k.c (split_di): New.
3223         * config/m68k/m68k-protos.h: Declare split_di.
3224         * config/m68k/m68k.md (extendsidi2*,ashldi3*,ashrdi3*,lshrdi3*):
3225           Improve predicate handling and split constant shifts.
3226
3227 2007-02-18  Roman Zippel <zippel@linux-m68k.org>
3228
3229         * config/m68k/m68k.md (extv,extzv,insv): disable dynamic
3230         parameter for register bitfield operations, general predicates
3231         cleanup
3232
3233 2007-02-18  Roman Zippel <zippel@linux-m68k.org>
3234
3235         * config/m68k/linux.h (MD_UNWIND_SUPPORT): Define.
3236         * config/m68k/linux-unwind.h: New file.
3237
3238 2007-02-18  Kazu Hirata  <kazu@codesourcery.com>
3239
3240         * cfgloop.c, config/alpha/alpha.c, config/bfin/bfin.c,
3241         config/i386/athlon.md, config/ia64/ia64.md,
3242         config/rs6000/rs6000.c, config/s390/s390.c, config/spu/spu.md,
3243         df-problems.c, df.h, fold-const.c, ipa-cp.c, ipa-inline.c,
3244         ipa-prop.h, see.c, struct-equiv.c, tree-inline.c,
3245         tree-ssa-loop-niter.c, tree-vect-analyze.c,
3246         tree-vect-transform.c: Fix comment typos.
3247
3248 2007-02-17  Kazu Hirata  <kazu@codesourcery.com>
3249
3250         * sched-deps.c (find_insn_list): Remove.
3251         * sched-int.h: Remove the prototype for find_insn_list.
3252
3253 2007-02-16  Geoffrey Keating  <geoffk@apple.com>
3254
3255         * config/darwin.h (LINK_SPEC): Always pass -macosx_version_min
3256         to linker.
3257         (DARWIN_EXTRA_SPECS): Add %(darwin_minversion).
3258         * config/rs6000/darwin.h (SUBTARGET_OVERRIDE_OPTIONS): Just call
3259         darwin_rs6000_override_options.
3260         (C_COMMON_OVERRIDE_OPTIONS): Expect
3261         darwin_macosx_version_min to be non-NULL always.
3262         (TARGET_C99_FUNCTIONS): Likewise.
3263         (CC1_SPEC): Always pass -mmacosx-version-min to cc1*.
3264         (DARWIN_MINVERSION_SPEC): New.
3265         * config/rs6000/rs6000.c (darwin_rs6000_override_options): New.
3266         * config/i386/darwin.h (CC1_SPEC): Always pass -mmacosx-version-min
3267         to cc1*.
3268         (DARWIN_MINVERSION_SPEC): New.
3269         * config/darwin.opt (mmacosx-version-min): Initialize to non-NULL
3270         value.
3271         * config/darwin-c.c (darwin_cpp_builtins): Expect
3272         darwin_macosx_version_min to be non-NULL always.
3273
3274         * config/rs6000/rs6000.c: Clean up trailing whitespace.
3275
3276 2007-02-16  Uros Bizjak  <ubizjak@gmail.com>
3277
3278         * config/i386/i386.h (x86_use_xchgb): New.
3279         (TARGET_USE_XCHGB): New macro.
3280         * config/i386/i386.c (x86_use_xchgb): Set for PENT4.
3281         * config/i386/i386.md (*rotlhi3_1 splitter, *rotrhi3_1 splitter):
3282         Split after reload into bswaphi for shifts of 8.
3283         (bswaphi_lowpart): Generate rolw insn for HImode byte swaps.
3284         (*bswaphi_lowpart_1): Generate xchgb for Q registers for TARGET_XCHGB
3285         or when optimizing for size.
3286
3287 2007-02-16  Richard Guenther  <rguenther@suse.de>
3288             Christian Bruel  <christian.bruel@st.com>
3289
3290         * fold-const.c (tree_swap_operands_p): Treat SSA_NAMEs like
3291         DECLs but prefer SSA_NAMEs over DECLs.
3292
3293 2007-02-16  Richard Guenther  <rguenther@suse.de>
3294
3295         * tree-flow-inline.h (single_imm_use_p): Remove.
3296         (zero_imm_uses_p): Likewise.
3297         * tree-ssa-coalesce.c (create_outofssa_var_map): Use has_single_use
3298         instead of single_imm_use_p.
3299         * tree-cfg.c (replace_uses_by): Use has_zero_use instead of
3300         zero_imm_uses_p.
3301
3302 2007-02-16  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
3303
3304         PR other/27843
3305         * Makefile.in (SYSTEM_HEADER_DIR): Use single quotes to avoid
3306         nested double- and backquotes.
3307
3308 2007-02-15  Roger Sayle  <roger@eyesopen.com>
3309
3310         PR middle-end/30391
3311         * tree.c (expr_align): Handle MODIFY_EXPR.  GIMPLE_MODIFY_STMT
3312         should be unreachable.
3313         (build2_stat): Allow construction of MODIFY_EXPR at any time.
3314         For the time being redirect GIMPLE_MODIFY_STMT to the new
3315         (renamed) build_gimple_modify_stmt_stat.
3316         (build2_gimple_stat): Rename to...
3317         (build_gimple_modify_stmt_stat): Now longer take a CODE argument.
3318         Always build a GIMPLE_MODIFY_STMT node.
3319         * tree.h (build2_gimple, build2_gimple_stat): Delete.
3320         (build_gimple_modify_stmt, build_gimple_modify_stmt_stat): New
3321         declarations.
3322
3323         * tree-cfg.c (factor_computed_gotos, tree_merge_blocks,
3324         gimplify_val): Use build_gimple_modify_stmt instead of build2_gimple.
3325         * tree-complex.c (set_component_ssa_name, expand_complex_move,
3326         expand_complex_div_wide): Likewise.
3327         * tree-ssa-dom.c (record_equivalences_from_stmt): Likewise.
3328         * tree-ssa-loop-im.c (schedule_sm): Likewise.
3329         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Likewise.
3330         * tree-ssa-loop-manip.c (create_iv): Likewise.
3331         * tree-ssa-phiopt.c (conditional_replacement, minmax_replacement,
3332         abs_replacement): Likewise.
3333         * tree-ssa-pre.c (create_expression_by_pieces, poolify_modify_stmt,
3334         realify_fake_stores): Likewise.
3335
3336         * builtins.c (std_expand_builtin_va_start): Build a MODIFY_EXPR
3337         node rather than a GIMPLE_MODIFY_STMT node.
3338         (std_gimpify_va_arg_expr, expand_builtin_va_copy,
3339         fold_builtin_memset, fold_builtin_memory_op, do_mpfr_sincos):
3340         Likewise.
3341         (integer_valued_real_p): Handle MODIFY_EXPR, not GIMPLE_MODIFY_STMT.
3342         * expr.c (expand_expr_real_1): Handle both MODIFY_EXPR and
3343         GIMPLE_MODIFY_STMT.
3344
3345 2007-02-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3346
3347         PR middle-end/30433
3348         * fold-const.c (fold_comparison): Add back the
3349         folding of constant complex comparisions.
3350
3351 2007-02-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3352
3353         PR middle-end/30729
3354         * stmt.c (warn_if_unused_value): VA_ARG_EXPR has side
3355         effects unknown to this function, return early.
3356
3357 2007-02-15  Ian Lance Taylor  <iant@google.com>
3358
3359         * lower-subreg.c (move_eh_region_note): New static function.
3360         (resolve_simple_move): Call it.
3361         (decompose_multiword_subregs): Track blocks for which we resolve a
3362         simple move which is also a control flow insn.  Pass them to
3363         find_many_sub_basic_blocks.
3364         (pass_lower_subreg): Add TODO_verify_flow.
3365         (pass_lower_subreg2): Likewise.
3366
3367 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
3368             Brooks Moses  <brooks.moses@codesourcery.com>
3369             Lee Millward  <lee.millward@codesourcery.com>
3370
3371         * tree.h (enum tree_code_class): Add tcc_vl_exp.
3372         (VL_EXP_CLASS_P): New.
3373         (TREE_OPERAND_CHECK): Use TREE_OPERAND_LENGTH instead of
3374         TREE_CODE_LENGTH.
3375         (TREE_OPERAND_CHECK_CODE): Likewise.
3376         (GIMPLE_STMT_OPERAND_CHECK): Likewise.
3377         (TREE_RTL_OPERAND_CHECK): Likewise.
3378         (tree_operand_check_failed): Make second parameter the whole tree
3379         instead of its code.  Fixed callers.
3380         (VL_EXP_CHECK): New.
3381         (TREE_OPERAND_LENGTH): New.
3382         (VL_EXP_OPERAND_LENGTH): New.
3383         (CALL_EXPR_FN): New.
3384         (CALL_EXPR_STATIC_CHAIN): New.
3385         (CALL_EXPR_ARGS): New.
3386         (CALL_EXPR_ARG): New.
3387         (call_expr_nargs): New.
3388         (CALL_EXPR_ARGP): New.
3389         (build_nt_call_list): Declare.
3390         (build_vl_exp_stat): Declare.
3391         (build_vl_exp): New.
3392         (build_call_list): Declare.
3393         (build_call_nary): Declare.
3394         (build_call_valist): Declare.
3395         (build_call_array): Declare.
3396         (call_expr_arg): Declare.
3397         (call_expr_argp): Declare.
3398         (call_expr_arglist): Declare.
3399         (fold_build_call_list): Declare.
3400         (fold_build_call_list_initializer): Declare.
3401         (fold_call_expr): Declare to replace fold_builtin.
3402         (fold_builtin_fputs): Update to agree with modified definition.
3403         (fold_builtin_strcpy): Likewise.
3404         (fold_builtin_strncpy): Likewise.
3405         (fold_builtin_memory_chk): Likewise.
3406         (fold_builtin_stxcpy_chk): Likewise.
3407         (fold_builtin_strncpy_chk): Likewise.
3408         (fold_builtin_next_arg): Likewise.
3409         (fold_build_call_expr): Declare.
3410         (fold_builtin_call_list): Declare.
3411         (fold_builtin_call_valist): Declare.
3412         (build_call_expr): Declare.
3413         (validate_arglist): Update to agree with modified definition.
3414         (tree_operand_length): New.
3415         (call_expr_arg_iterator): New.
3416         (init_call_expr_arg_iterator): New.
3417         (next_call_expr_arg): New.
3418         (first_call_expr_arg): New.
3419         (more_call_expr_args_p): New.
3420         (FOR_EACH_CALL_EXPR_ARG): New.
3421
3422         * tree.c (tree_code_class_string): Add entries for tcc_vl_exp
3423         and tcc_gimple_stmt.
3424         (tree_code_size): Update documentation.  Use sizeof (tree) rather
3425         than sizeof (char *).
3426         (tree_size): Likewise.  Add case for tcc_vl_exp.
3427         (tree_node_structure): Add case for tcc_vl_exp.
3428         (contains_placeholder_p): Likewise.
3429         (substitute_in_expr): Likewise.
3430         (substitute_placeholder_in_expr): Likewise.
3431         (stabilize_reference_1): Likewise.
3432         (build3_stat): Remove logic for CALL_EXPRs.  Replace with assertion
3433         to diagnose breakage of this interface for constructing CALL_EXPRs.
3434         (build_nt): Add similar assertion here.
3435         (build_nt_call_list): New.
3436         (simple_cst_equal) <CALL_EXPR>: Rewrite to use new accessors.
3437         (iterative_hash_expr): Use TREE_OPERAND_LENGTH instead of
3438         TREE_CODE_LENGTH.
3439         (get_callee_fndecl): Use new CALL_EXPR accessors.
3440         (tree_operand_check_failed): Change parameters to pass entire node
3441         instead of its code, so that we can call TREE_OPERAND_LENGTH on it.
3442         (process_call_operands): New.
3443         (build_vl_exp_stat): New.
3444         (build_call_list): New.
3445         (build_call_nary): New.
3446         (build_call_valist): New.
3447         (build_call_array): New.
3448         (walk_tree): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
3449         (call_expr_arglist): New.
3450
3451         * tree.def (CALL_EXPR): Change representation of CALL_EXPRs to use
3452         tcc_vl_exp instead of a fixed-size tcc_expression.
3453
3454         * doc/c-tree.texi (CALL_EXPR): Document new representation and
3455         accessors for CALL_EXPRs.
3456         (AGGR_INIT_EXPR): Likewise.
3457
3458 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
3459             Brooks Moses  <brooks.moses@codesourcery.com>
3460             Lee Millward  <lee.millward@codesourcery.com>
3461
3462         * builtins.c (c_strlen): Return NULL_TREE instead of 0.
3463         (expand_builtin_nonlocal_goto): Change parameter to be entire
3464         CALL_EXPR instead of an arglist.  Use new CALL_EXPR accessors.
3465         (expand_builtin_prefetch): Likewise.
3466         (expand_builtin_classify_type): Likewise.
3467         (mathfn_built_in): Return NULL_TREE instead of 0.
3468         (expand_errno_check): Use new CALL_EXPR accessors.
3469         (expand_builtin_mathfn): Use new CALL_EXPR accessors and constructors.
3470         Return NULL_RTX instead of 0.
3471         (expand_builtin_mathfn_2): Likewise.
3472         (expand_builtin_mathfn_3): Likewise.
3473         (expand_builtin_interclass_mathfn): Likewise.
3474         (expand_builtin_sincos): Likewise.
3475         (expand_builtin_cexpi): Likewise.
3476         (expand_builtin_int_roundingfn): Likewise.
3477         (expand_builtin_int_roundingfn_2): Likewise.
3478         (expand_builtin_pow): Likewise.
3479         (expand_builtin_powi): Likewise.
3480         (expand_builtin_strlen): Pass entire CALL_EXPR as parameter instead
3481         of arglist, fixing callers appropriately.  Use new CALL_EXPR
3482         accessors and constructors.  Return NULL_RTX instead of 0.
3483         (expand_builtin_strstr): Likewise.
3484         (expand_builtin_strchr): Likewise.
3485         (expand_builtin_strrchr): Likewise.
3486         (expand_builtin_strpbrk): Likewise.
3487         (expand_builtin_memcpy): Likewise.
3488         (expand_builtin_mempcpy): Likewise.
3489         (expand_builtin_mempcpy_args): New.
3490         (expand_builtin_memmove): Similarly to expand_builtin_mempcpy.
3491         (expand_builtin_memmove_args): New.
3492         (expand_builtin_bcopy): Similarly to expand_builtin_mempcpy.
3493         (expand_movstr): Likewise.
3494         (expand_builtin_strcpy): Likewise.
3495         (expand_builtin_strcpy_args): New.
3496         (expand_builtin_stpcpy): Similarly to expand_builtin_strcpy.
3497         (expand_builtin_strncpy): Likewise.
3498         (expand_builtin_memset): Likewise.
3499         (expand_builtin_memset_args): New.
3500         (expand_builtin_bzero): Similarly to expand_builtin_memset.
3501         (expand_builtin_memcmp): Likewise.
3502         (expand_builtin_strcmp): Likewise.
3503         (expand_builtin_strncmp): Likewise.
3504         (expand_builtin_strcat): Likewise.
3505         (expand_builtin_strncat): Likewise.
3506         (expand_builtin_strspn): Likewise.
3507         (expand_builtin_strcspn): Likewise.
3508         (expand_builtin_args_info): Likewise.
3509         (expand_builtin_va_start): Likewise.
3510         (gimplify_va_arg_expr): Likewise.
3511         (expand_builtin_va_end): Likewise.
3512         (expand_builtin_va_copy): Likewise.
3513         (expand_builtin_frame_address): Likewise.
3514         (expand_builtin_alloca): Likewise.
3515         (expand_builtin_bswap): Likewise.
3516         (expand_builtin_unop): Likewise.
3517         (expand_builtin_fputs): Likewise.
3518         (expand_builtin_expect): Likewise.
3519         (expand_builtin_fabs): Likewise.
3520         (expand_builtin_copysign): Likewise.
3521         (expand_builtin_printf): Likewise.
3522         (expand_builtin_fprintf): Likewise.
3523         (expand_builtin_sprintf): Likewise.
3524         (expand_builtin_init_trampoline): Likewise.
3525         (expand_builtin_signbit): Likewise.
3526         (expand_builtin_fork_or_exec): Likewise.
3527         (expand_builtin_sync_operation): Likewise.
3528         (expand_builtin_compare_and_swap): Likewise.
3529         (expand_builtin_lock_test_and_set): Likewise.
3530         (expand_builtin_lock_release): Likewise.
3531         (expand_builtin): Likewise.
3532         (builtin_mathfn_code): Likewise.
3533
3534         (fold_builtin_constant_p): Pass call arguments individually instead
3535         of as an arglist, fixing callers appropriately.  Use new CALL_EXPR
3536         accessors and constructors.  Return NULL_TREE instead of 0.
3537         (fold_builtin_expect): Likewise.
3538         (fold_builtin_classify_type): Likewise.
3539         (fold_builtin_strlen): Likewise.
3540         (fold_builtin_nan): Likewise.
3541         (integer_valued_real_p): Likewise.
3542         (fold_trunc_transparent_mathfn): Likewise.
3543         (fold_fixed_mathfn): Likewise.
3544         (fold_builtin_cabs): Likewise.
3545         (fold_builtin_sqrt): Likewise.
3546         (fold_builtin_cbrt): Likewise.
3547         (fold_builtin_cos): Likewise.
3548         (fold_builtin_cosh): Likewise.
3549         (fold_builtin_tan): Likewise.
3550         (fold_builtin_sincos): Likewise.
3551         (fold_builtin_cexp): Likewise.
3552         (fold_builtin_trunc): Likewise.
3553         (fold_builtin_floor): Likewise.
3554         (fold_builtin_ceil): Likewise.
3555         (fold_builtin_round): Likewise.
3556         (fold_builtin_int_roundingfn): Likewise.
3557         (fold_builtin_bitop): Likewise.
3558         (fold_builtin_bswap): Likewise.
3559         (fold_builtin_logarithm): Likewise.
3560         (fold_builtin_hypot): Likewise.
3561         (fold_builtin_pow): Likewise.
3562         (fold_builtin_powi): Likewise.
3563         (fold_builtin_exponent): Likewise.
3564         (fold_builtin_memset): Likewise.
3565         (fold_builtin_bzero): Likewise.
3566         (fold_builtin_memory_op): Likewise.
3567         (fold_builtin_bcopy): Deleted; call site changed to invoke
3568         fold_builtin_memory_op directly.
3569         (fold_builtin_strcpy): Similarly as for fold_builtin_memory_op.
3570         (fold_builtin_strncpy): Likewise.
3571         (fold_builtin_memcmp): Likewise.
3572         (fold_builtin_strcmp): Likewise.
3573         (fold_builtin_strncmp): Likewise.
3574         (fold_builtin_signbit): Likewise.
3575         (fold_builtin_copysign): Likewise.
3576         (fold_builtin_isascii): Likewise.
3577         (fold_builtin_toascii): Likewise.
3578         (fold_builtin_isdigit): Likewise.
3579         (fold_builtin_fabs): Likewise.
3580         (fold_builtin_abs): Likewise.
3581         (fold_builtin_fmin_fmax): Likewise.
3582         (fold_builtin_carg): Likewise.
3583         (fold_builtin_classify): Likewise.
3584         (fold_builtin_unordered_cmp): Likewise.
3585
3586         (fold_builtin_0, fold_builtin_2, fold_builtin_3, fold_builtin_4):
3587         New functions split out from fold_builtin_1.
3588         (fold_builtin_n): New.
3589         (fold_builtin_varargs): New.
3590         (fold_builtin): Deleted.  Most callers changed to use fold_call_expr
3591         instead.
3592         (fold_call_expr): New.
3593         (build_function_call_expr): Rewrite to use new helper function.
3594         (fold_builtin_call_list): New.
3595         (build_call_expr): New.
3596         (fold_builtin_call_valist): New.
3597         (rewrite_call_expr): New.
3598         (validate_arg): New.
3599         (validate_arglist): Change parameter to be entire CALL_EXPR instead
3600         of an arglist.  Change return type to bool.  Use new CALL_EXPR
3601         accessors.
3602
3603         (fold_builtin_strstr):  Pass call arguments individually instead
3604         of as an arglist, fixing callers appropriately.  Use new CALL_EXPR
3605         accessors and constructors.  Return NULL_TREE instead of 0.
3606         (fold_builtin_strchr): Likewise.
3607         (fold_builtin_strrchr): Likewise.
3608         (fold_builtin_strpbrk): Likewise.
3609         (fold_builtin_strcat): Likewise.
3610         (fold_builtin_strncat): Likewise.
3611         (fold_builtin_strspn): Likewise.
3612         (fold_builtin_strcspn): Likewise.
3613         (fold_builtin_fputs): Likewise.
3614         (fold_builtin_next_arg): Likewise.
3615         (fold_builtin_sprintf): Likewise.
3616
3617         (expand_builtin_object_size): Use new CALL_EXPR accessors.  Use
3618         NULL_RTX instead of 0.
3619         (expand_builtin_memory_chk): Likewise.
3620         (maybe_emit_chk_warning): Likewise.
3621         (maybe_emit_sprintf_chk_warning): Likewise.
3622
3623         (fold_builtin_object_size): Pass call arguments individually instead
3624         of as an arglist, fixing callers appropriately.  Use new CALL_EXPR
3625         accessors and constructors.  Return NULL_TREE instead of 0.
3626         (fold_builtin_memory_chk): Likewise.
3627         (fold_builtin_stxcpy_chk): Likewise.
3628         (fold_builtin_strncpy_chk): Likewise.
3629         (fold_builtin_strcat_chk): Likewise.
3630         (fold_builtin_strcat_chk): Likewise.
3631         (fold_builtin_strncat_chk): Likewise.
3632         (fold_builtin_sprintf_chk): Likewise.
3633         (fold_builtin_snprintf_chk): Likewise.
3634         (fold_builtin_printf): Likewise.
3635         (fold_builtin_vprintf): Likewise.
3636
3637         * fold-const.c (negate_expr_p): Use new CALL_EXPR accessors and
3638         constructors.
3639         (operand_equal_p): Add separate tcc_vl_exp/CALL_EXPR case.
3640         (make_range): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
3641         (extract_muldiv_1): Add VL_EXP_CLASS_P case.
3642         (fold_mathfn_compare): Use new CALL_EXPR accessors and constructors.
3643         (fold_unary): Likewise.
3644         (fold_binary): Likewise.
3645         (fold_ternary): Remove CALL_EXPR case, since they are no longer
3646         ternary expressions.
3647         (fold): Add logic for tcc_vl_exp.
3648         (fold_checksum_tree):  Make it know about tcc_vl_exp.  Use
3649         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
3650         (fold_build3_stat): Add assertion to flag broken interface for
3651         constructing CALL_EXPRs.
3652         (fold_build_call_list): New.
3653         (fold_build_call_list_initializer): New.
3654         (tree_expr_nonnegative_p): Use new CALL_EXPR accessors and
3655         constructors.
3656         (fold_strip_sign_ops): Likewise.
3657
3658 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
3659             Brooks Moses  <brooks.moses@codesourcery.com>
3660             Lee Millward  <lee.millward@codesourcery.com>
3661
3662         * tree-dump.c (dequeue_and_dump) <CALL_EXPR>: Use new CALL_EXPR
3663         accessors and dump arguments explicitly.
3664
3665         * tree-pretty-print.c (do_niy): Use TREE_OPERAND_LENGTH instead of
3666         TREE_CODE_LENGTH.
3667         (dump_generic_node): Use new CALL_EXPR accessors and walk arguments
3668         explicitly.
3669         (print_call_name): Use new CALL_EXPR accessors.
3670
3671         * print-tree.c (print_node): Add case tcc_vl_exp.  Print
3672         CALL_EXPR arguments explicitly instead of as a list.  Use
3673         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
3674
3675         * tree-vrp.c (stmt_interesting_for_vrp): Use new CALL_EXPR accessors.
3676         (vrp_visit_stmt): Likewise.
3677
3678         * tree-ssa-loop-im.c (outermost_invariant_loop_expr):  Make it
3679         know about tcc_vl_exp.  Use TREE_OPERAND_LENGTH instead of
3680         TREE_CODE_LENGTH.
3681         (force_move_till_expr): Likewise.
3682
3683         * targhooks.c (default_external_stack_protect_fail): Use
3684         build_call_expr instead of build_function_call_expr.
3685         (default_hidden_stack_protect_fail): Likewise.
3686
3687         * tree-complex.c (expand_complex_libcall): Use build_call_expr to
3688         build the call.
3689
3690         * cgraphbuild.c (build_cgraph_edges): Use new CALL_EXPR accessors
3691         and walk arguments explicitly.
3692
3693         * tree-ssa-loop-niter.c (simplify_replace_tree): Use
3694         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
3695         (expand_simple_operations): Likewise.
3696         (infer_loop_bounds_from_array): Use new CALL_EXPR accessors.
3697
3698         * gengtype.c (adjust_field_tree_exp): Use TREE_OPERAND_LENGTH instead
3699         of TREE_CODE_LENGTH.
3700         (walk_type): Tweak walking of arrays not to blow up on CALL_EXPRs.
3701
3702         * optabs.c (expand_widen_pattern-expr): Use TREE_OPERAND_LENGTH
3703         instead of TREE_CODE_LENGTH.
3704
3705         * value_prof.c (tree_ic): Use new CALL_EXPR accessors.
3706         (tree_ic_transform): Likewise.
3707         (interesting_stringop_to_profile_p): Pass entire CALL_EXPR as
3708         parameter instead of arglist.  Fix callers.
3709         (tree_stringop_fixed_value): Use new CALL_EXPR accessors.
3710         (tree_stringops_transform): Likewise.
3711         (tree_indirect_call_to_profile): Likewise.
3712         (tree_stringops_values_to_profile): Likewise.
3713
3714         * tree-tailcall.c (find_tail_calls): Use new CALL_EXPR iterator.
3715         (eliminate_tail_call): Likewise.
3716
3717         * ipa-cp.c (ipcp_update_callgraph): Use new CALL_EXPR accessors.
3718
3719         * tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop):
3720         Use TREE_OPERAND_LENGTH and generalize to handle any number of
3721         operands.
3722         (instantiate_parameters_1): Can't handle tcc_vl_exp here.
3723
3724         * omp-low.c (build_omp_barrier): Use build_call_expr.
3725         (lower_rec_input_clauses): Likewise.
3726         (lower_reduction_clauses): Likewise.
3727         (expand_parallel_call): Likewise.
3728         (maybe_catch_exception): Likewise.
3729         (expand_omp_for_generic): Likewise.
3730         (expand_omp_for_static_nochunk): Likewise.
3731         (expand_omp_sections): Likewise.
3732         (lower_omp_single_simple): Likewise.
3733         (lower_omp_single_copy): Likewise.
3734         (lower_omp_master): Likewise.
3735         (lower_omp_ordered): Likewise.
3736         (lower_omp_critical): Likewise.
3737
3738         * ipa-reference.c (check-call): Use new CALL_EXPR iterator.
3739         (scan_for_static_refs): Create tcc_vl_exp case for CALL_EXPR.
3740
3741         * tree-gimple.c (is_gimple_call_addr): Fix doc.
3742         (recalculate_side_effects): Use TREE_OPERAND_LENGTH instead of
3743         TREE_CODE_LENGTH.  Add tcc_vl_exp case.
3744
3745         * tree-chrec.c (chrec_contains_symbols): Use TREE_OPERAND_LENGTH
3746         and generalize to handle any number of operands.
3747         (chrec_contains_undetermined): Likewise.
3748         (tree_contains_chrecs): Likewise.
3749         (evolution_function_is_invariant_rec_p): Use TREE_OPERAND_LENGTH.
3750
3751         * cgraphunit.c (update_call_expr): Use new CALL_EXPR accessors.
3752
3753         * tree-ssa-ccp.c (ccp_fold): Use new CALL_EXPR accessors.  Use
3754         fold_call_expr instead of fold_builtin.
3755         (ccp_fold_builtin): Likewise.  Update calls into builtins.c to
3756         match declarations there.
3757         (fold_stmt): Use new CALL_EXPR constructor and accessors.  Doc
3758         updates.
3759
3760         * tree-ssa-loop-ivopts.c (expr_invariant_in_loop_p): Use
3761         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
3762
3763         * ipa-pure-const.c (check_call): Use new CALL_EXPR accessors.
3764         (scan_function): Add case tcc_vl_exp for CALL_EXPR.
3765
3766         * tree-stdarg.c (execute_optimize_stdarg): Use new CALL_EXPR
3767         accessors.
3768
3769         * tree-ssa-math-opts.c (execute_cse_sincos_1): Use build_call_expr.
3770         (execute_cse_sincos): Use new CALL_EXPR accessors.
3771
3772         * tree-ssa-alias.c (find_used_portions): Use new CALL_EXPR iterator.
3773
3774         * gimple-low.c (lower_function_body): Use build_call_expr.
3775         (lower_builtin_setjmp): Likewise.
3776
3777         * expr.c (emit_block_move_via_libcall): Use build_call_expr.
3778         (set_storage_via_libcall): Likewise.
3779         (safe_from_p): Add tcc_vl_exp case.  Use TREE_OPERAND_LENGTH
3780         instead of TREE_CODE_LENGTH.
3781         (expand_expr_real_1): Use new CALL_EXPR accessors.
3782
3783         * tree-browser.c (store_child_info): Use TREE_OPERAND_LENGTH and
3784         generalize to handle any number of operands.
3785         (TB_parent_eq): Likewise.
3786
3787         * predict.c (expr_expected_value): Use new CALL_EXPR accessors.
3788         (strip_builtin_expect): Likewise.
3789
3790         * function.c (gimplify_parameters): Use build_call_expr.
3791
3792         * tree-vectorizer.c (vect_is_simple_reduction): Use TREE_OPERAND_LENGTH
3793         instead of TREE_CODE_LENGTH.
3794
3795         * ipa-type-escape.c (check_call): Use new CALL_EXPR iterators.
3796         (scan_for_refs): Add case tcc_vl_exp for CALL_EXPR.
3797
3798         * tree-data-ref.c (get_references_in_stmt): Use new CALL_EXPR
3799         iterators.
3800
3801         * gimplify.c (build_stack_save_restore): Use build_call_expr.
3802         (gimplify_decl_expr): Likewise.
3803         (gimplify_call_expr): Use fold_call_expr instead of fold_builtin.
3804         Use new CALL_EXPR iterators.
3805         (gimplify_modify_expr_to_memcpy): Use build_call_expr.
3806         (gimplify_modify_expr_to_memset): Likewise.
3807         (gimplify_variable_sized_compare): Likewise.
3808         (gimplify_omp_atomic_fetch_op): Likewise.
3809         (gimplify_omp_atomic_pipeline): Likewise.
3810         (gimplify_omp_atomic_mutex): Likewise.
3811         (gimplify_function_tree): Likewise.
3812
3813         * calls.c (alloca_call_p): Use new CALL_EXPR accessors.
3814         (call_expr_flags): Likewise.
3815         (expand_call): Likewise.
3816
3817         * except.c (expand_builtin_eh_return_data_regno): Pass entire
3818         CALL_EXPR as parameter instead of arglist.  Use new CALL_EXPR
3819         accessors.
3820
3821         * coverage.c (create_coverage): Use build_call_expr.
3822
3823         * tree-ssa-pre.c (expression_node_pool, list_node_pool): Delete.
3824         (temp_call_expr_obstack): New.
3825         (pool_copy_list): Delete.
3826         (temp_copy_call_expr): New.
3827         (phi_translate): Add case tcc_vl_exp for CALL_EXPR.  Use new
3828         CALL_EXPR accessors.  Get rid of special goo for copying argument
3829         lists and use temp_copy_call_expr instead.
3830         (valid_in_sets): Add case tcc_vl_exp for CALL_EXPR.  Use new
3831         CALL_EXPR accessors.
3832         (create_expression_by_pieces): Likewise.  Use build_call_array
3833         to construct the result instead of fold_build3.
3834         (create_value_expr_from): Add tcc_vl_exp.  Delete special goo for
3835         dealing with argument lists.
3836         (init_pre): Remove references to expression_node_pool and
3837         list_node_pool.  Init temp_call_expr_obstack instead.
3838         (fini_pre): Remove references to expression_node_pool and
3839         list_node_pool.
3840
3841         * tree-sra.c (sra_walk_call_expr): Use new CALL_EXPR accessors
3842         and walk arguments explicitly instead of as a list.
3843
3844         * tree-mudflap.c (mf_build_check_statement_for): Use build_call_expr.
3845         (mx_register_decls): Likewise.
3846         (mudflap_register_call): Likewise.
3847         (mudflap_finish_file): Likewise.
3848
3849         * ipa-prop.c (ipa_callsite_compute_count): Use new CALL_EXPR accessors.
3850         (ipa_callsite_compute_param): Likewise.
3851
3852         * tree-vect-patterns.c (vect_recog_pow_pattern): Use new CALL_EXPR
3853         accessors and constructor.
3854
3855         * tree-nested.c (convert_nl_goto_reference): Use new CALL_EXPR
3856         accessors and constructor.
3857         (convert_tramp_reference): Likewise.
3858         (convert_call_expr): Likewise.
3859         (finalize_nesting_tree_1): Likewise.
3860
3861         * tree-ssa.c (tree_ssa_useless_type_conversion): Use new CALL_EXPR
3862         accessors.
3863
3864         * tree-ssa-loop-prefetch.c (issue_prefetch_ref): Use build_call_expr.
3865
3866         * tree-inline.c (initialize_inlined_parameters): Pass entire
3867         CALL_EXPR as parameter instead of arglist.  Use new CALL_EXPR
3868         accessors.
3869         (estimate_num_insns_1): Use new CALL_EXPR accessors.
3870         (expand_call_inline): Tidy up call to initialize_inlined_parameters.
3871
3872         * tree-vect-transform.c (vect_create_epilog_for_reduction):  Use
3873         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
3874         (vectorizable_reduction): Likewise.
3875         (vectorizable_call): Use new CALL_EXPR iterators.
3876         (vectorizable_conversion): Use build_call_expr.
3877         (vectorizable_operation): Use TREE_OPERAND_LENGTH.
3878         (vect_gen_widened_results_half): Use build_call_expr.
3879         (vect_setup_realignment): Likewise.
3880         (vectorizable_live_operation): Use TREE_OPERAND_LENGTH.
3881
3882         * tree-object-size.c (alloc_object_size): Use new CALL_EXPR accessors.
3883         (pass_through_call): Likewise.
3884         (compute_object_sizes): Likewise.  Use fold_call_expr instead of
3885         fold_builtin.
3886
3887         * tree-profile.c (tree_gen_interval_profiler): Use build_call_expr.
3888         (tree_gen_pow2_profiler): Likewise.
3889         (tree_gen_one_value_profiler): Likewise.
3890         (tree_gen_ic_func_profiler): Likewise.
3891         (tree_gen_average_profiler): Likewise.
3892         (tree_gen_ior_profiler): Likewise.
3893
3894         * tree-ssa-structalias.c (get_constraint_for): Add case tcc_vl_exp.
3895         (find_func_aliases): Use new CALL_EXPR accessors.  Add case
3896         tcc_vl_exp.  Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
3897
3898         * tree-ssa-reassoc.c (get_rank): Use TREE_OPERAND_LENGTH instead
3899         of TREE_CODE_LENGTH.
3900
3901         * stmt.c (warn_if_unused_value): Use TREE_OPERAND_LENGTH instead
3902         of TREE_CODE_LENGTH.
3903
3904         * convert.c (convert_to_real): Use new CALL_EXPR accessors and
3905         constructor.
3906         (convert_to_integer): Likewise.
3907
3908         * tree-ssa-operands.c (get_call_expr_operands): Use new CALL_EXPR
3909         accessors.
3910
3911 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
3912             Brooks Moses  <brooks.moses@codesourcery.com>
3913             Lee Millward  <lee.millward@codesourcery.com>
3914
3915         * config/alpha/alpha.c (alpha_expand_builtin): Use new CALL_EXPR
3916         accessors.
3917         * config/frv/frv.c (frv_expand_builtin): Likewise.
3918         * config/s390/s390.c (s390_expand_builtin): Likewise.
3919
3920         * config/sparc/sparc.c (sparc_gimplify_va_arg): Use build_call_expr.
3921         (sparc_expand_builtin): Use new CALL_EXPR accessors.
3922
3923         * config/i386/i386.c (ix86_function_ok_for_sibcall): Likewise.
3924         (ix86_expand_binop_builtin): Pass entire CALL_EXPR as parameter
3925         instead of arglist.  Use new CALL_EXPR accessors on it.  Fix callers.
3926         (ix86_expand_store_builtin): Likewise.
3927         (ix86_expand_unop_builtin): Likewise.
3928         (ix86_expand_unop1_builtin): Likewise.
3929         (ix86_expand_sse_compare): Likewise.
3930         (ix86_expand_sse_comi): Likewise.
3931         (ix86_expand_vec_init_builtin): Likewise.
3932         (ix86_expand_vec_ext_builtin): Likewise.
3933         (ix86_expand_vec_set_builtin): Likewise.
3934         (ix86_expand_builtin): Use new CALL_EXPR accessors.
3935
3936         * config/sh/sh.c (sh_expand_builtin): Use new CALL_EXPR accessors.
3937         * config/c4x/c4x.c (c4x_expand_builtin): Likewise.
3938
3939         * config/iq2000/iq2000.c (expand_one_builtin): Pass entire CALL_EXPR
3940         instead of arglist.  Use new CALL_EXPR accessors.  Fix callers.
3941         (iq2000_expand_builtin): Use new CALL_EXPR accessors.
3942
3943         * config/rs6000/rs6000-c.c (altivec_build_resolved_builtin): Use
3944         build_call_expr.
3945         * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Likewise.
3946         (rs6000_expand_unop_builtin): Pass entire CALL_EXPR instead of
3947         arglist.  Use new CALL_EXPR accessors.  Fix callers.
3948         (altivec_expand_abs_builtin): Likewise.
3949         (rs6000_expand_binop_builtin): Likewise.
3950         (altivec_expand_predicate_builtin): Likewise.
3951         (altivec_expand_lv_builtin): Likewise.
3952         (spe_expand_stv_builtin): Likewise.
3953         (altivec_expand_stv_builtin): Likewise.
3954         (rs6000_expand_ternop_builtin): Likewise.
3955         (altivec_expand_ld_builtin): Use new CALL_EXPR accessors.
3956         (altivec_expand_st_builtin): Likewise.
3957         (altivec_expand_dst_builtin): Likewise.
3958         (altivec_expand_vec_init_builtin): Pass entire CALL_EXPR instead of
3959         arglist.  Use new CALL_EXPR accessors.  Fix callers.
3960         (altivec_expand_vec_set_builtin): Likewise.
3961         (altivec_expand_vec_ext_builtin): Likewise.
3962         (altivec_expand_builtin): Use new CALL_EXPR accessors.
3963         (spe_expand_builtin): Likewise.
3964         (spe_expand_predicate_builtin): Pass entire CALL_EXPR instead of
3965         arglist.  Use new CALL_EXPR accessors.  Fix callers.
3966         (spe_expand_evsel_builtin): Likewise.
3967         (rs6000_expand_builtin): Use new CALL_EXPR accessors.  VCFUX and
3968         FCFSX cases must construct whole new CALL_EXPR, not just arglist.
3969
3970         * config/arm/arm.c (arm_expand_binop_builtin): Pass entire CALL_EXPR
3971         instead of arglist.  Use new CALL_EXPR accessors.  Fix callers.
3972         (arm_expand_unop_builtin): Likewise.
3973         (arm_expand_builtin): Use new CALL_EXPR accessors.
3974
3975         * config/mips/mips.c (mips_expand_builtin):  Use new CALL_EXPR
3976         accessors.
3977
3978         * config/bfin/bfin.c (bfin_expand_binop_builtin): Pass entire CALL_EXPR
3979         instead of arglist.  Use new CALL_EXPR accessors.  Fix callers.
3980         (bfin_expand_unop_builtin): Likewise.
3981         (bfin_expand_builtin): Use new CALL_EXPR accessors.
3982
3983 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
3984             Brooks Moses  <brooks.moses@codesourcery.com>
3985             Lee Millward  <lee.millward@codesourcery.com>
3986