OSDN Git Service

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