OSDN Git Service

9e1510b2f5ed8cac31191bbf8b2bb026de93072c
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2007-04-27  Ian Lance Taylor  <iant@google.com>
2
3         PR middle-end/31710
4         * tree.c (build_distinct_type_copy): If TYPE_MIN_VALUE or
5         TYPE_MAX_VALUE exist, convert them to the new type.
6
7 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
8
9         * tree-cfgcleanup.c (cleanup_tree_cfg): Verify dominance info
10         if it claims to be available.
11         * tree-ssa-dce.c (remove_dead_stmt): Mark cfg as altered when
12         edge is redirected.
13         (perform_tree_ssa_dce): Always free postdominators.
14
15 2007-04-27  Richard Henderson  <rth@redhat.com>
16
17         * config/alpha/predicates.md (aligned_memory_operand): Mark
18         as define_special_predicate.
19         (unaligned_memory_operand, normal_memory_operand): Likewise.
20         (reg_or_unaligned_mem_operand): Remove.
21         (any_memory_operand): Match the documentation and check for
22         non-renumbered pseudos during reload.
23         * config/alpha/alpha.c (alpha_secondary_reload): Rename from
24         alpha_secondary_reload_class, update to new interface, make static.
25         Handle CQImode like HImode.  Remove FP subreg check.
26         (alpha_expand_mov): Use replace_equiv_address.
27         (alpha_expand_mov_nobwx): Use any_memory_operand.
28         (TARGET_SECONDARY_RELOAD): New.
29         * config/alpha/alpha.h (SECONDARY_INPUT_RELOAD_CLASS): Remove.
30         (SECONDARY_OUTPUT_RELOAD_CLASS): Remove.
31         * config/alpha/sync.md (I12MODE, I48MODE, modesuffix): Move ...
32         * config/alpha/alpha.md: ... here.
33         (RELOAD12, reloadmode): New.
34         (movcqi): New.
35         (reload_in<RELOAD12>): Macro-ize from reload_inqi, reload_inhi.
36         Don't handle the aligned case here.
37         (reload_out<RELOAD12>): Macro-ize from reload_outqi, reload_outhi.
38         (reload_in<I12MODE>_aligned): Macro-ize from reload_inqi_help,
39         reload_inhi_help.  Don't expect a scratch register.
40         (reload_out<I12MODE>_aligned): Macro-ize from reload_outqi_help,
41         reload_outhi_help.
42         * config/alpha/alpha-protos.h (alpha_secondary_reload_class): Remove.
43
44 2007-04-27  Richard Guenther  <rguenther@suse.de>
45
46         * tree-ssa-forwprop.c (get_prop_dest_stmt): Fix comment typo.
47
48 2007-04-27  Richard Guenther  <rguenther@suse.de>
49
50         PR tree-optimization/30965
51         PR tree-optimization/30978
52         * Makefile.in (tree-ssa-forwprop.o): Depend on $(FLAGS_H).
53         * tree-ssa-forwprop.c (forward_propagate_into_cond_1): Remove.
54         (find_equivalent_equality_comparison): Likewise.
55         (simplify_cond): Likewise.
56         (get_prop_source_stmt): New helper.
57         (get_prop_dest_stmt): Likewise.
58         (can_propagate_from): Likewise.
59         (remove_prop_source_from_use): Likewise.
60         (combine_cond_expr_cond): Likewise.
61         (forward_propagate_comparison): New function.
62         (forward_propagate_into_cond): Rewrite to use fold for
63         tree combining.
64         (tree_ssa_forward_propagate_single_use_vars): Call
65         forward_propagate_comparison to propagate comparisons.
66
67 2007-04-27  Richard Guenther  <rguenther@suse.de>
68
69         PR tree-optimization/31715
70         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make
71         sure to do computation on the offset in an appropriate
72         signed type.
73
74 2007-04-27  Richard Sandiford  <richard@codesourcery.com>
75
76         * reload.h (elimination_target_reg_p): Declare.
77         * reload.c (find_reloads): Don't apply the reg_rtx move
78         optimization if the SET_DEST satisfies elimination_target_reg_p.
79         * reload1.c (elimination_target_reg_p): New function.
80         (gen_reload): In the move/add2 fallback, make sure that op0
81         does not overlap the destination register.
82
83 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
84
85         * tree-ssa-loop-im.c (determine_invariantness_stmt): Attempt to
86         transform only GIMPLE_MODIFY_STMTs.
87         * tree-complex.c (expand_complex_operations_1): Ditto.
88         (expand_complex_div_wide): Do not create gotos in COND_EXPR branches.
89         * tree-ssa-loop-manip.c (build_if_stmt): Removed.
90         (tree_transform_and_unroll_loop): Do not create gotos in COND_EXPR
91         branches.
92         * value-prof.c (tree_divmod_fixed_value, tree_mod_pow2,
93         tree_mod_subtract, tree_ic, tree_stringop_fixed_value): Ditto.
94         * omp-low.c (expand_parallel_call, expand_omp_for_generic,
95         expand_omp_for_static_chunk, expand_omp_for_static_nochunk): Ditto.
96         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes,
97         slpeel_add_loop_guard): Ditto.
98         * tree-mudflap.c (mf_build_check_statement_for): Ditto.
99         * lambda-code.c (perfect_nestify): Ditto.
100         * tree-iterator.c (tsi_split_statement_list_before): Fix splitting
101         before the first statement.
102         * tree-optimize.c (execute_free_datastructures): Fix comments.
103         (execute_free_cfg_annotations): Do not call disband_implicit_edges.
104         * tree-flow.h (disband_implicit_edges): Declaration removed.
105         * tree-cfg.c (make_cond_expr_edges): Remove gotos from COND_EXPR
106         branches.
107         (cleanup_dead_labels, tree_redirect_edge_and_branch): Handle COND_EXPRs
108         without gotos.
109         (disband_implicit_edges, has_label_p): Removed.
110         (tree_verify_flow_info): Verify that COND_EXPR branches are empty.
111         (tree_lv_add_condition_to_bb): Do not create gotos in COND_EXPR
112         branches.
113         * tree.c (build3_stat): Mark COND_EXPRs used as statements as having
114         side effects.
115         * tree-pretty-print.c (dump_implicit_edges): Dump implicit edges
116         also for COND_EXPRs.
117         * cfgexpand.c (label_rtx_for_bb): New function.
118         (expand_gimple_cond_expr): Do not expect gotos in COND_EXPR branches.
119         Use label_rtx_for_bb to find the labels.
120         (expand_gimple_basic_block): Remove RETURN_EXPR at the end of the
121         last block.  Detect fallthru edges.
122
123 2007-04-26  Ian Lance Taylor  <iant@google.com>
124
125         PR target/28675
126         * reload.c (find_reloads_subreg_address): If the address was valid
127         in the original mode but not in the new mode, reload the whole
128         address.
129
130 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
131
132         * tree-cfgcleanup.c (cfgcleanup_altered_bbs): New global variable.
133         (remove_fallthru_edge): Use remove_edge_and_dominated_blocks.
134         (cleanup_control_expr_graph): Do not invalidate dominance info.
135         Record altered blocks.
136         (cleanup_control_flow, cleanup_forwarder_blocks): Removed.
137         (cleanup_control_flow_bb, split_bbs_on_noreturn_calls,
138         cleanup_tree_cfg_bb): New functions.
139         (remove_forwarder_block): Do not maintain the worklist of blocks.
140         Record altered blocks.
141         (cleanup_tree_cfg_1): Iterate over cfgcleanup_altered_bbs,
142         not over whole cfg.
143         (cleanup_tree_cfg): Do not iterate cleanup_tree_cfg_1.  Only call
144         delete_unreachable_blocks if dominators are not available.
145         * tree-inline.c (optimize_inline_calls): Free dominance information
146         earlier.
147         * tree-flow.h (remove_edge_and_dominated_blocks,
148         cfgcleanup_altered_bbs): Altered.
149         * tree-cfg.c (replace_uses_by, tree_merge_blocks): Record altered
150         blocks.
151         (get_all_dominated_blocks, remove_edge_and_dominated_blocks): New
152         functions.
153         (tree_purge_dead_eh_edges): Use remove_edge_and_dominated_blocks,
154         do not invalidate dominators.
155
156 2007-04-26  Anatoly Sokolov <aesok@post.ru>
157
158         * config/avr/avr.c (avr_mcu_types): Add support for ATmega8HVA and 
159         ATmega16HVA devices. Move AT90USB82 device to 'avr5' architecture.
160         * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
161         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
162
163 2007-04-26  Steve Ellcey  <sje@cup.hp.com>
164
165         * config/ia64/ia64.md (ip_value):  Fix itanium_class attribute.
166
167 2007-04-26  Richard Guenther  <rguenther@suse.de>
168
169         PR tree-optimization/31703
170         * tree-ssa-loop-im.c (rewrite_bittest): Make sure to use
171         the right type for the target of the bittest.
172
173 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
174
175         * config/i386/vx-common.h (RETURN_IN_MEMORY): Use
176         ix86_sol10_return_in_memory.
177
178 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
179
180         * config/i386/i386.c (ix86_sol10_return_in_memory): Remove unused
181         variables.
182
183 2007-04-26  Jakub Jelinek  <jakub@redhat.com>
184
185         PR c++/31598
186         * tree-inline.c (copy_body_r): Don't touch TREE_TYPE of OMP_CLAUSE.
187
188         PR tree-optimization/30558
189         * tree-eh.c (lower_eh_filter): If EH_FILTER_MUST_NOT_THROW
190         clear this_state.prev_try.
191
192 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
193             Mark Mitchell  <mark@codesourcery.com>
194
195         * config/i386/i386-protos.h (ix86_sol10_return_in_memory): Declare.
196         * config/i386/i386.c (ix86_sol10_return_in_memory): New function.
197         * config/i386/sol2-10.h (RETURN_IN_MEMORY): Use it.
198
199 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
200
201         PR driver/31107
202         * doc/invoke.texi (%:print-asm-header): Document.
203         * gcc.c (asm_options): Use %:print-asm-header() for --target-help
204         and -ftarget-help.
205         (static_spec_functions): Add print-asm-header.
206         (main): Print a banner before the --target-help linker options.
207         (print_asm_header_spec_function): New function.
208
209 2007-04-25  Kaz Kojima  <kkojima@gcc.gnu.org>
210
211         PR target/31403
212         * config/sh/sh.md (movsi_ie): Fix length for TARGET_SH2A.
213         (movsf_ie): Likewise.
214
215 2007-04-25  Paolo Carlini  <pcarlini@suse.de>
216
217         * doc/extend.texi ([Type Traits]): Adjust per N2255.
218
219 2007-04-25  Bob Wilson  <bob.wilson@acm.org>
220
221         * config/xtensa/lib1funcs.asm (__udivsi3, __divsi3): Throw an exception
222         for divide-by-zero.
223         (__umodsi3, __modsi3): Likewise.
224
225 2007-04-25  Dirk Mueller  <dmueller@suse.de>
226
227         * c-typeck.c (build_compound_expr): Annotate warning()
228         call with OPT_Wunused_value.
229         * tree-ssa.c (warn_uninit): Annotate warning with
230         OPT_Wunintialized.
231         * c-common.c (handle_sentinel_attribute): Annotate warning
232         call with OPT_Wattributes.
233
234 2007-04-25  Thiemo Seufer  <ths@mips.com>
235
236         * config/mips/mips.opt (mdmx, mmt, mno-mdmx): New options.
237         (mips16): Fix typo.
238         * config/mips/mips.h (ASM_SPEC): Pass -mmt/-mno-mt and -mdmx/-mno-mdmx
239         on to the assembler.  Improve handling of -mno-mips16.  Add handling
240         of -mno-mips3d, -mno-dsp, -mno-dspr2.
241         * doc/invoke.texi (MIPS Options): Whitespace cleanup.  Fix wrong use
242         of @itemx.  Document -mno-dsp, -mno-dspr2, -mno-paired-single, -mdmx,
243         -mno-mdmx, -mno-mips3d, -mmt and -mno-mt.
244
245 2007-04-25  Danny Smith  <dannysmith.users.sourceforge.net>
246
247         PR target/31680
248         * config/i386/winnt.c (i386_pe_file_end): Strip only
249         USER_LABEL_PREFIX when writing export name.
250
251 2007-04-25  Richard Sandiford  <richard@codesourcery.com>
252
253         * config.gcc (sh-wrs-vxworks): Don't include dbxelf.h.  Include
254         sh/elf.h, vx-common.h and vxworks.h.
255         * config/sh/sh.h: Include config/vxworks-dummy.h.
256         (SUBTARGET_OVERRIDE_OPTIONS): Define.
257         (OVERRIDE_OPTIONS): Use it.
258         * config/sh/sh.md (GOTaddr2picreg): Add suport for VxWorks RTPs.
259         (vxworks_picreg): New pattern.
260         * config/sh/vxworks.h (TARGET_OS_CPP_BUILTINS): Use
261         VXWORKS_OS_CPP_BUILTINS.
262         (LIB_SPEC, LINK_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Redefine
263         to their VXWORKS_* equivalents.
264         (SUBTARGET_OVERRIDE_OPTIONS, SUBTARGET_CPP_SPEC): Define.
265         (SUBTARGET_LINK_EMUL_SUFFIX, FUNCTION_PROFILER): Define.
266         * config/sh/lib1funcs.asm (NO_FPSCR_VALUES): Define for VxWorks PIC.
267         (set_fpscr, ic_invalidate): Add VxWorks PIC sequences.
268         * config/sh/t-vxworks (MULTILIB_OPTIONS): Add m4a, -mrtp and
269         -mrtp/-fPIC multilibs.
270         (MULTILIB_EXCEPTIONS): Generalize globs accordingly.
271         (MULTILIB_MATCHES, EXTRA_MULTILIB_PARTS): Define.
272         (MULTILIB_OSDIRNAMES): Delete.
273
274 2007-04-25  Anatoly Sokolov <aesok@post.ru>
275
276         PR target/18989
277         * config/avr/avr.h (ASM_OUTPUT_ALIGN): Redefine.
278
279 2007-04-24  Brooks Moses  <brooks.moses@codesourcery.com>
280
281         * real.c (mpfr_from_real): Handle Inf and NaN, and allow the
282         rounding mode to be specified by the caller.
283         (real_to_mpfr) Likewise.
284         * real.h: Update mpfr_from_real, mpfr_to_real prototypes to
285         include new arguments.
286         * builtins.c: Update mpfr_from_real, mpfr_to_real calls.
287
288 2007-04-24  Ian Lance Taylor  <iant@google.com>
289
290         PR tree-optimization/31605
291         * tree-vrp.c (set_value_range): Check that min and max are not
292         both overflow infinities.
293         (set_value_range_to_value): New static function.
294         (extract_range_from_binary_expr): Call set_value_range_to_value.
295         (extract_range_from_cond_expr): Likewise.
296         (extract_range_from_expr): Likewise.
297         (extract_range_from_unary_expr): Likewise.  Don't create a range
298         which overflows on both sides.
299         (vrp_meet): Check for a useless range.
300         (vrp_visit_phi_node): If we see a constant which looks like an
301         overflow infinity, turn off the TREE_OVERFLOW flag.
302
303 2007-04-24  Ian Lance Taylor  <iant@google.com>
304
305         * flow.c (elim_reg_cond): Handle a comparison of a subreg.
306
307 2007-04-24  Simon Martin  <simartin@users.sourceforge.net>
308
309         PR diagnostic/25923
310         * tree-pass.h (TDF_DIAGNOSTIC): New dump control to specify that a
311         diagnostic message is being built.
312         * tree-pretty-print.c (dump_generic_node): Only write the
313         formatted text into BUFFER's stream if we are not building a
314         diagnostic message.
315         * toplev.c (default_tree_printer): Pass TDF_DIAGNOSTIC to
316         dump_generic_node.
317         * Makefile.in (toplev.o): Depend on tree-pass.h.
318
319 2007-04-24  Ian Lance Taylor  <iant@google.com>
320
321         PR tree-optimization/31602
322         * tree-ssa-loop-ch.c (copy_loop_headers): Set TREE_NO_WARNING for
323         conditionals in the copied loop header.
324         * tree-cfg.c (fold_cond_expr_cond): Don't issue undefined overflow
325         warnings if TREE_NO_WARNING is set.
326         * doc/invoke.texi (Warning Options): Clarify that
327         -Wstrict-overflow does not warn about loops.
328
329 2007-04-24  Janis Johnson  <janis187@us.ibm.com>
330
331         * config/rs6000/rs6000.c (function_arg_advance): For 32-bit ELF ABI,
332         expand on the comment about _Decimal128 arguments and check the
333         integer result of the modulus operation; for 64-bit ELF ABI, ensure
334         that _Decimal128 argument uses even/odd register pair.
335         (function_arg): Ditto.
336
337 2007-04-24  Hui-May Chang <hm.chang@apple.com>
338
339         * reload1.c (merge_assigned_reloads) : Do not merge a RELOAD_OTHER
340         instruction with a RELOAD_FOR_OPERAND_ADDRESS instruction.
341
342 2007-04-24  Richard Guenther  <rguenther@suse.de>
343             Olga Golovanevsky  <olga@il.ibm.com>
344
345         * fold-const.c (multiple_of_p): Check for bottom 
346         to be zero. 
347
348 2007-04-24  Richard Henderson  <rth@redhat.com>
349
350         * libgcc2.h (AVOID_FP_TYPE_CONVERSION): Rename from 
351         IS_IBM_EXTENDED.  Also define in terms of WIDEST_HARDWARE_FP_SIZE.
352         * libgcc2.c (__floatdisf): Avoid double-word arithmetic when
353         looking for non-zero bits shifted out.  Avoid a recursive call
354         when constructing the scalar.
355         (__floatundisf): Likewise.
356
357 2007-04-24  Nathan Froyd  <froydnj@codesourcery.com>
358
359         * dwarf2out.c (field_byte_offset): Move the existing logic
360         under the control of PCC_BITFIELD_TYPE_MATTERS and just use
361         the bit offset of the field if !PCC_BITFIELD_TYPE_MATTERS.
362
363 2007-04-24  Andreas Krebbel  <krebbel1@de.ibm.com>
364
365         PR target/31641
366         * config/s390/s390.c (s390_expand_setmem): Don't ICE for constant length
367         argument of 0 for memset.
368         (s390_expand_movmem, s390_expand_setmem, s390_expand_cmpmem): Use
369         unsigned shift instead of the signed variant.
370
371 2007-04-24  Andreas Krebbel  <krebbel1@de.ibm.com>
372
373         * config/s390/s390.md ("*cmp<mode>_ccs_0_ibm", "*cmp<mode>_ccs_ibm",
374         "fix_trunc<BFP:mode><GPR:mode>2_ieee", "fix_truncdfsi2_ibm",
375         "floatsidf2_ibm", "floatsisf2", "truncdfsf2_ieee", "truncdfsf2_ibm",
376         "*trunctfdf2_ieee", "*trunctfdf2_ibm", "*trunctfsf2_ieee",
377         "*trunctfsf2_ibm", "extendsfdf2_ieee", "extendsfdf2_ibm",
378         "*extenddftf2_ieee", "*extenddftf2_ibm", "*extendsftf2_ieee",
379         "*extendsftf2_ibm", "*add<mode>3", "*add<mode>3_ibm", "*sub<mode>3_ibm",
380         "*mul<mode>3", "*mul<mode>3_ibm", "*div<mode>3", "*div<mode>3_ibm",
381         "*neg<mode>2_ibm", "*abs<mode>2_ibm"): Insn definitions removed.
382         ("fix_trunc<BFP:mode><GPR:mode>2_bfp", "floatsi<mode>2",
383         "truncdfsf2", "trunctf<mode>2", "add<mode>3", "sub<mode>3",
384         "mul<mode>3", "div<mode>3"): Insn definitions added.
385         ("fixuns_trunc<BFP:mode><GPR:mode>2", "fix_trunc<mode>di2",
386         "fix_trunc<mode>si2"): gen_fix_trunc<BFP:mode><GPR:mode>2_ieee renamed
387         to gen_fix_trunc<BFP:mode><GPR:mode>2_bfp.
388         ("fix_truncdfsi2", "floatsitf2", "truncdfsf2", "trunctfdf2",
389         "trunctfsf2", "extendsfdf2", "extenddftf2", "extendsftf2", "add<mode>3",
390         "sub<mode>3", "mul<mode>3", "div<mode>3"): Expander removed.
391         ("fix_trunc<mode>si2", "extend<DSF:mode><BFP:mode>2"): Expander added.
392         * config/s390/s390.h (TARGET_IBM_FLOAT, TARGET_IEEE_FLOAT,
393         TARGET_FLOAT_FORMAT): Macro definitions removed.
394         (FP_REGNO_P): No special case for !TARGET_IEEE_FLOAT anymore.
395         * config/s390/s390.c (struct processor_costs, z900_cost, z990_cost,
396         z9_109_cost): Remove fields for hexfloat instructions: dxr, ddr and der.
397         (s390_rtx_costs): Remove !TARGET_IEEE_FLOAT special branches.
398         (s390_gen_rtx_const_DI): Function removed.
399         * config/s390/s390-protos.h (s390_gen_rtx_const_DI): Prototype removed.
400
401 2007-04-24  Richard Sandiford  <richard@codesourcery.com>
402
403         * optabs.c (set_conv_libfunc): Prefer libgcc2's __ffsMM2 functions
404         over an external ffs function.
405
406 2007-04-24  Chao-ying Fu  <fu@mips.com>
407             Richard Sandiford  <richard@nildram.co.uk>
408
409         * doc/md.texi (madd@var{m}@var{n}4, umadd@var{m}@var{n}4): Document.
410         * optabs.h (OTI_smadd_widen, OTI_umadd_widen): New optab_indexes.
411         (smadd_widen_optab, umadd_widen_optab): Define.
412         * optabs.c (init_optabs): Initialize smadd_widen_optab and
413         umadd_widen_optab.
414         * genopinit.c (optabs): Fill in smadd_widen_optab and
415         umadd_widen_optab.
416         * expr.c (expand_expr_real_1): Try to use smadd_widen_optab
417         and umadd_widen_optab to implement multiply-add sequences.
418         * config/mips/mips.md (*<su>mul_acc_di): Rename to...
419         (<u>maddsidi4): ...this.  Extend condition to include
420         GENERATE_MADD_MSUB and TARGET_DSPR2.  Change the constraint
421         of operand 0 to "ka" and use the three-operand form of madd<u>
422         for TARGET_DSPR2.
423         * config/mips/mips-dspr2.md (mips_madd, mips_maddu): Convert
424         to define_expands.
425         * config/mips/constraints.md (ka): New register constraint.
426
427 2007-04-24  Jan Hubicka  <j@suse.cz>
428
429         Revert:
430
431         2007-04-23  Jan Hubicka  <jh@suse.cz>
432         * function.c (init_function_start): Don't init line number info.
433         (expand_function_end): Update.
434         (reset_block_changes, record_block_change, finalize_block_changes,
435         check_block_change, free_block_changes): Kill.
436         * function.h (reset_block_changes, record_block_change,
437         finalize_block_changes, check_block_change, free_block_changes): Remove
438         prototypes.
439         (struct function): Remove ib_boundaries_block.
440         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
441         Use curr_insn_locator to initialize locator.
442         (emit_line_note): Remove.
443         * cfgexpand.c (expand_gimple_cond_expr): Update.
444         (construct_exit_block): Likewise.
445         (tree_expand_cfg): Initialize/finalize locators.
446         * expr.c (expand_expr_real): Update.
447         * cfglayout.c (line_locators_locs, line_locators_lines,
448         file_locators_locs, file_locators_files): Remove.
449         (set_block_levels): Move to cfgexpand.c.
450         (insn_locators_initialize): Remove.
451         (pass_insn_locators_initialize): Remove.
452         (locations_locators_locs, locations_locators_vals): New static vars.
453         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
454         Likewise.
455         (insn_locators_alloc, insn_locators_finalize,
456         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
457         New functions.
458         (locator_location): New.
459         (locator_line, locator_file): Rewrite.
460         * rtl.h (emit_line_note): Kill.
461         (insn_locators_alloc, insn_locators_finalize,
462         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
463         Declare.
464         * tree-inline.c (initialize_cfun): Do not initialize
465         ib_boundaries_block.
466         * passes.c (pass_insn_locators_initialize): Remove.
467
468 2007-04-24  Daniel Franke  <franke.daniel@gmail.com>
469
470         * doc/invoke.texi: Removed leading '-' from option index entries.
471
472 2007-04-23  Zdenek Dvorak  <dvorakz@suse.cz>
473
474         * tree-phinodes.c (reserve_phi_args_for_new_edge, remove_phi_node):
475         Use phi_nodes_ptr.
476         (create_phi_node): Use set_phi_nodes.
477         * omp-low.c (expand_omp_parallel): Use bb_stmt_list.
478         * tree-if-conv.c (process_phi_nodes): Use set_phi_nodes.
479         (combine_blocks):  Use bb_stmt_list and set_bb_stmt_list.
480         * tree-flow-inline.h (phi_nodes, set_phi_nodes,
481         (bsi_start, bsi_last): Use bb_stmt_list.
482         (phi_nodes_ptr, bb_stmt_list, set_bb_stmt_list): New functions.
483         * cfgexpand.c (expand_gimple_basic_block): Use bb_stmt_list.
484         Traverse the statements using tsi iterator.
485         * basic-block.h (struct basic_block_def): Fields stmt_list
486         and phi_nodes moved to ...
487         (struct tree_bb_info): ... new structure.
488         * tree-cfg.c (create_bb): Allocate il.tree.  Use set_bb_stmt_list.
489         (tree_merge_blocks): Use bb_stmt_list and set_bb_stmt_list.
490         (remove_bb): Handle blocks with NULL stmt list.  Clear il.tree field.
491         (tree_verify_flow_info): Verify that il.tree is not set for
492         entry and exit block.
493         (tree_split_block): Use set_bb_stmt_list.
494
495 2007-04-23  Mike Stump  <mrs@apple.com>
496
497         * config/i386/i386.c (ix86_tune_features
498         [X86_TUNE_DEEP_BRANCH_PREDICTION]: Prefer call over thunks on
499         nocona and core2.
500
501 2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>
502
503         * config/i386/i386.md (prefix_extra): New attribute.
504         (length): Add prefix_extra.
505
506         * onfig/i386/sse.md (sse2_movdqu): Set prefix_data16.
507         (sse2_movntv2di): Likewise.
508         (sse2_cvtps2dq): Likewise.
509         (sse2_cvtpd2pi): Likewise.
510         (sse2_cvttpd2pi): Likewise.
511         (*sse2_cvtpd2ps): Likewise.
512         (*add<mode>3): Likewise.
513         (sse2_ssadd<mode>3): Likewise.
514         (sse2_usadd<mode>3): Likewise.
515         (*sub<mode>3): Likewise.
516         (sse2_sssub<mode>3): Likewise.
517         (sse2_ussub<mode>3): Likewise.
518         (*mulv8hi3): Likewise.
519         (*smulv8hi3_highpart): Likewise.
520         (*umulv8hi3_highpart): Likewise.
521         (sse2_umulv2siv2di3): Likewise.
522         (sse2_pmaddwd): Likewise.
523         (ashr<mode>3): Likewise.
524         (lshr<mode>3): Likewise.
525         (ashl<mode>3): Likewise.
526         (sse2_ashlti3): Likewise.
527         (sse2_lshrti3): Likewise.
528         (*umaxv16qi3): Likewise.
529         (*smaxv8hi3): Likewise.
530         (*uminv16qi3): Likewise.
531         (*sminv8hi3): Likewise.
532         (sse2_eq<mode>3): Likewise.
533         (sse2_gt<mode>3): Likewise.
534         (*and<mode>3): Likewise.
535         (sse2_nand<mode>3): Likewise.
536         (*ior<mode>3): Likewise.
537         (*xor<mode>3): Likewise.
538         (sse2_packsswb): Likewise.
539         (sse2_packssdw): Likewise.
540         (sse2_packuswb): Likewise.
541         (sse2_punpckhbw): Likewise.
542         (sse2_punpcklbw): Likewise.
543         (sse2_punpckhwd): Likewise.
544         (sse2_punpcklwd): Likewise.
545         (sse2_punpckhdq): Likewise.
546         (sse2_punpckldq): Likewise.
547         (sse2_punpckhqdq): Likewise.
548         (sse2_punpcklqdq): Likewise.
549         (*sse2_pinsrw): Likewise.
550         (*sse2_pextrw): Likewise.
551         (sse2_pshufd_1): Likewise.
552         (sse2_uavgv16qi3): Likewise.
553         (sse2_uavgv8hi3): Likewise.
554         (sse2_psadbw): Likewise.
555         (sse2_pmovmskb): Likewise.
556         (*sse2_maskmovdqu): Likewise.
557         (*sse2_maskmovdqu_rex64): Likewise.
558         (sse4a_extrqi): Likewise.
559         (sse4a_extrq): Likewise.
560         (sse3_lddqu): Set prefix_rep.
561         (sse3_addsubv4sf3): Likewise.
562         (sse3_haddv4sf3): Likewise.
563         (sse3_hsubv4sf3): Likewise.
564         (sse_cvtss2si): Likewise.
565         (sse_cvtss2si_2): Likewise.
566         (sse_cvtss2siq): Likewise.
567         (sse_cvtss2siq_2): Likewise.
568         (sse_cvttss2si): Likewise.
569         (sse_cvttss2siq): Likewise.
570         (sse2_cvttps2dq): Likewise.
571         (sse3_movshdup): Likewise.
572         (sse3_movsldup): Likewise.
573         (sse2_cvtsd2si): Likewise.
574         (sse2_cvtsd2si_2): Likewise.
575         (sse2_cvtsd2siq): Likewise.
576         (sse2_cvtsd2siq_2): Likewise.
577         (sse2_cvttsd2si): Likewise.
578         (sse2_cvttsd2siq): Likewise.
579         (*sse2_cvtpd2dq): Likewise.
580         (*sse2_cvttpd2dq): Likewise.
581         (sse2_pshuflw_1): Likewise.
582         (sse2_pshufhw_1): Likewise.
583         (sse4a_insertqi): Likewise.
584         (sse4a_insertq): Likewise.
585         (ssse3_phaddwv8hi3): Set prefix_data16 and prefix_extra.
586         (ssse3_phadddv4si3): Likewise.
587         (ssse3_phaddswv8hi3): Likewise.
588         (ssse3_phsubwv8hi3): Likewise.
589         (ssse3_phsubdv4si3): Likewise.
590         (ssse3_phsubswv8hi3): Likewise.
591         (ssse3_pmaddubswv8hi3): Likewise.
592         (ssse3_pmulhrswv8hi3): Likewise.
593         (ssse3_pshufbv16qi3): Likewise.
594         (ssse3_psign<mode>3): Likewise.
595         (ssse3_palignrti): Likewise.
596         (abs<mode>2): Likewise.
597         (ssse3_phaddwv4hi3): Set prefix_extra.
598         (ssse3_phadddv2si3): Likewise.
599         (ssse3_phaddswv4hi3): Likewise.
600         (ssse3_phsubwv4hi3): Likewise.
601         (ssse3_phsubdv2si3): Likewise.
602         (ssse3_phsubswv4hi3): Likewise.
603         (ssse3_pmaddubswv4hi3): Likewise.
604         (ssse3_pmulhrswv4hi3): Likewise.
605         (ssse3_pshufbv8qi3): Likewise.
606         (ssse3_psign<mode>3): Likewise.
607         (ssse3_palignrdi): Likewise.
608         (abs<mode>2): Likewise.
609         (sse2_cvtdq2ps): Set mode to V4SF instead of V2DF.
610         (*vec_dupv2df): Set mode to V2DF instead of V4SF.
611         (sse2_pmovmskb): Set mode to SI instead of V2DF.
612
613 2007-04-23  Nick Clifton  <nickc@redhat.com>
614
615         * params.def: Fix formatting of emacs local variables.
616
617 2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>
618
619         * config/i386/sse.md (sse2_stored): Don't split to inter-unit
620         move if inter-unit move isn't allowed.
621         Don't split moving the first element of V2DI to DI to inter-unit
622         move if inter-unit move isn't allowed.
623
624 2007-04-23  Richard Guenther  <rguenther@suse.de>
625
626         * tree-ssa-sink.c (execute_sink_code): Calculate CDI_DOMINATORS
627         and CDI_POST_DOMINATORS separately.
628
629 2007-04-23  Nick Clifton  <nickc@redhat.com>
630
631         * c.opt (Wformat-contains-nul): Add warning attribute.
632
633 2007-04-23  Jan Hubicka  <jh@suse.cz>
634
635         * function.c (init_function_start): Don't init line number info.
636         (expand_function_end): Update.
637         (reset_block_changes, record_block_change, finalize_block_changes,
638         check_block_change, free_block_changes): Kill.
639         * function.h (reset_block_changes, record_block_change,
640         finalize_block_changes, check_block_change, free_block_changes): Remove
641         prototypes.
642         (struct function): Remove ib_boundaries_block.
643         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
644         Use curr_insn_locator to initialize locator.
645         (emit_line_note): Remove.
646         * cfgexpand.c (expand_gimple_cond_expr): Update.
647         (construct_exit_block): Likewise.
648         (tree_expand_cfg): Initialize/finalize locators.
649         * expr.c (expand_expr_real): Update.
650         * cfglayout.c (line_locators_locs, line_locators_lines,
651         file_locators_locs, file_locators_files): Remove.
652         (set_block_levels): Move to cfgexpand.c.
653         (insn_locators_initialize): Remove.
654         (pass_insn_locators_initialize): Remove.
655         (locations_locators_locs, locations_locators_vals): New static vars.
656         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
657         Likewise.
658         (insn_locators_alloc, insn_locators_finalize,
659         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
660         New functions.
661         (locator_location): New.
662         (locator_line, locator_file): Rewrite.
663         * rtl.h (emit_line_note): Kill.
664         (insn_locators_alloc, insn_locators_finalize,
665         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
666         Declare.
667         * tree-inline.c (initialize_cfun): Do not initialize
668         ib_boundaries_block.
669         * passes.c (pass_insn_locators_initialize): Remove.
670
671 2007-04-22  Andrew Pinski  <andrew_pinski@playstation.sony.com>
672
673         PR middle-end/31448
674         * expr.c (reduce_to_bit_field_precision): Handle
675         CONST_INT rtx's.
676
677 2007-04-22  Uros Bizjak  <ubizjak@gmail.com>
678
679         PR tree-optimization/24659
680         * optabs.h (enum optab_index) [OTI_vec_unpacks_hi,
681         OTI_vec_unpacks_lo]: Update comment to mention floating point operands.
682         (vec_pack_trunc_optab): Rename from vec_pack_mod_optab.
683         * genopinit.c (optabs): Rename vec_pack_mod_optab
684         to vec_pack_trunc_optab.
685         * tree-vect-transform.c (vectorizable_type_demotion): Do not fail
686         early for scalar floating point operands for NOP_EXPR.
687         (vectorizable_type_promotion): Ditto.
688         * optabs.c (optab_for_tree_code) [VEC_PACK_TRUNC_EXPR]: Return
689         vec_pack_trunc_optab.
690         (expand_binop): Rename vec_float_trunc_optab to vec_pack_mod_optab.
691
692         * tree.def (VEC_PACK_TRUNC_EXPR): Rename from VEC_PACK_MOD_EXPR.
693         * tree-pretty-print.c (dump_generic_node) [VEC_PACK_TRUNC_EXPR]:
694         Rename from VEC_PACK_MOD_EXPR.
695         (op_prio) [VEC_PACK_TRUNC_EXPR]: Ditto.
696         * expr.c (expand_expr_real_1): Ditto.
697         * tree-inline.c (estimate_num_insns_1): Ditto.
698         * tree-vect-generic.c (expand_vector_operations_1): Ditto.
699
700         * config/i386/sse.md (vec_unpacks_hi_v4sf): New expander.
701         (vec_unpacks_lo_v4sf): Ditto.
702         (vec_pack_trunc_v2df): Ditto.
703         (vec_pack_trunc_v8hi): Rename from vec_pack_mod_v8hi.
704         (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
705         (vec_pack_trunc_v2di): Rename from vec_pack_mod_v2di.
706
707         * config/rs6000/altivec.md (vec_pack_trunc_v8hi): Rename from
708         vec_pack_mod_v8hi.
709         (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
710
711         * doc/c-tree.texi (Expression trees) [VEC_PACK_TRUNC_EXPR]:
712         Rename from VEC_PACK_MOD_EXPR.  This expression also represent
713         packing of floating point operands.
714         [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO_EXPR]: These expression also
715         represent unpacking of floating point operands.
716         * doc/md.texi (Standard Names) [vec_pack_trunc]: Update documentation.
717         [vec_unpacks_hi]: Ditto.
718         [vec_unpacks_lo]: Ditto.
719
720 2007-04-22  Jan Hubicka  <jh@suse.cz>
721
722         * final.c (rest_of_handle_final): Call
723         targetm.asm_out.constructor/targetm.asm_out.destructor
724         * cgraphunit.c (cgraph_build_static_cdtor): Don't do it here; set
725         proper priority via decl_*_priority_insert.
726         * c-common.c (c_expand_body): Likewise.
727
728 2007-04-22  Richard Guenther  <rguenther@suse.de>
729
730         PR tree-optimization/29789
731         * tree-ssa-loop-im.c (stmt_cost): Adjust cost of shifts.
732         (rewrite_reciprocal): New helper split out from
733         determine_invariantness_stmt.
734         (rewrite_bittest): Likewise.
735         (determine_invariantness_stmt): Rewrite (A >> B) & 1 to
736         A & (1 << B) if (1 << B) is loop invariant but (A >> B)
737         is not.
738
739 2007-04-22  Revital Eres  <eres@il.ibm.com>
740
741         * loop-unroll.c (var_to_expand): New field to support also
742         insns of the form x = something + x.
743         (analyze_insn_to_expand_var): Use it.
744         (expand_var_during_unrolling): Likewise.
745
746 2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>
747
748         * predict.c: Include pointer-set.h.
749         (bb_predictions): New variable.
750         (tree_predicted_by_p, tree_predict_edge,
751         remove_predictions_associated_with_edge): Use bb_predictions map
752         instead of bb->predictions.
753         (clear_bb_predictions, assert_is_empty): New functions.
754         (combine_predictions_for_bb): Use bb_predictions map.  Call
755         clear_bb_predictions.
756         (tree_estimate_probability): Create and free bb_predictions map.
757         * Makefile.in (predict.o): Add pointer-set.h dependency.
758         * basic-block.h (struct basic_block_def): Remove predictions
759         field.
760         * cfgrtl.c (rtl_verify_flow_info_1): Do not check bb->predictions.
761
762 2007-04-21  Kaz Kojima  <kkojima@gcc.gnu.org>
763
764         PR target/31480
765         * config/sh/sh.md (length): Check if prev_nonnote_insn (insn)
766         is null.
767
768 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
769
770         * timevar.c (timevar_print): Change reference of --disable-checking to
771         --enable-checking=release.  Also warn if assert checking is disabled.
772
773 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
774
775         PR C/30265
776         * c-gimplifier.c (gimplify_compound_literal_expr): Mark the
777         decl as addressable if the compound literal was marked as
778         addressable.
779         Mark the decl as a gimple register if it is a complex or
780         vector decl and does not live in memory.
781
782 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
783
784         * tree.h (GIMPLE_TUPLE_P): Also true for PHI_NODEs.
785         (GENERIC_NEXT): New function macro.
786         (PHI_CHAIN): Use phi_node's new chain variable.
787         (tree_phi_node): Change tree_common to tree_base
788         and add the chain field.
789         * tree-phinodes.c (make_phi_node): Don't set
790         TREE_TYPE on the new node.
791         * c-decl.c (lang_tree_node): Use GENERIC_NEXT
792         instead of checking GIMPLE_TUPLE_P in chain_next.
793         * tree-vect-transform.c
794         (get_initial_def_for_induction): Look at
795         PHI_RESULT_TREE for the type of the phi node.
796         (update_vuses_to_preheader): Use PHI_CHAIN
797         instead of TREE_CHAIN on the phi node.
798         * tree-ssa-structalias.c (compute_points_to_sets):
799         Likewise.
800         (ipa_pta_execute): Likewise.
801
802 2007-04-21  Richard Guenther  <rguenther@suse.de>
803
804         PR middle-end/31136
805         * fold-const.c (fold_unary): Call fold_convert_const on the
806         original tree.
807
808 2007-04-21  Alexandre Oliva  <aoliva@redhat.com>
809
810         * gcse.c (store_killed_in_insn): Handle PARALLELs.
811         (store_killed_in_pat): New.
812
813 2007-04-20  Richard Henderson  <rth@redhat.com>
814
815         PR target/31628
816         * config/i386/i386.c (type_has_variadic_args_p): Look for any
817         TREE_LIST with a void_type_node value, not void_list_node exactly.
818
819 2007-04-21  Douglas Gregor  <doug.gregor@gmail.com>
820
821         * doc/standards.texi: Re-arrange into language-specific
822         subsections. Add a C++ section, documenting which standards we
823         support.
824
825 2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>
826
827         * tree-ssa-structalias.c (delete_points_to_sets): Free graph->complex.
828         * tree-ssa-operands.c (finalize_ssa_vuse_ops): Free new_ops.
829
830 2007-04-20  Daniel Jacobowitz  <dan@codesourcery.com>
831
832         * config/rs6000/sysv4.h (STARTFILE_DEFAULT_SPEC): Include
833         ecrti.o and crtbegin.o.
834         (LIB_DEFAULT_SPEC): Include -lc.
835         (ENDFILE_DEFAULT_SPEC): Include crtend.o and ecrtn.o.
836
837 2007-04-20  Richard Henderson  <rth@redhat.com>
838
839         PR target/28623
840         * config/alpha/alpha.c (get_unaligned_address): Remove extra_offset
841         argument; update all callers.
842         (get_unaligned_offset): New.
843         * config/alpha/alpha.md (extendqidi2, extendhidi2): Don't use
844         get_unaligned_address, just pass on the address directly.
845         (unaligned_extendqidi): Use gen_lowpart instead of open-coding
846         the subreg in the helper patterns.
847         (unaligned_extendqidi_le): Use get_unaligned_offset.
848         (unaligned_extendqidi_be, unaligned_extendhidi_le): Likewise.
849         (unaligned_extendhidi_be): Likewise.
850         (unaligned_extendhidi): Tidy.
851         * config/alpha/alpha-protos.h: Update.
852
853 2007-04-20  Richard Henderson  <rth@redhat.com>
854
855         * config/alpha/alpha.h (CPP_SPEC, CPP_SUBTARGET_SPEC): Remove.
856         (EXTRA_SPECS, SUBTARGET_EXTRA_SPECS): Remove.
857         * config/alpha/linux.h (CPP_SPEC): Undef before redefine.
858         * config/alpha/linux-elf.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
859         * config/alpha/freebsd.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
860         (CPP_SPEC): Don't include %(cpp_subtarget).
861         * config/alpha/netbsd.h (CPP_SPEC): Rename CPP_SUBTARGET_SPEC.
862         (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
863         * config/alpha/osf.h (CPP_SPEC, EXTRA_SPECS): Similarly.
864
865 2007-04-20  Jakub Jelinek  <jakub@redhat.com>
866
867         * config/i386/i386.c (bdesc_2arg): Use ORDERED rather than UNORDERED
868         for __builtin_ia32_cmpordss.
869
870         PR tree-optimization/31632
871         * fold-const.c (fold_binary): Use op0 and op1 instead of arg0
872         and arg1 for optimizations of comparison against min/max values.
873         Fold arg0 to arg1's type for optimizations of comparison against
874         min+1 and max-1 values.
875
876 2007-04-19  Bernd Schmidt  <bernd.schmidt@analog.com>
877
878         * reload.c (combine_reloads): When trying to use a dying register,
879         check whether it's uninitialized and don't use if so.
880
881 2007-04-19  Brooks Moses  <brooks.moses@codesourcery.com>
882
883         * fold-const.c: Remove prototypes for native_encode_expr and
884         native_interpret_expr.
885         (native_encode_expr): Make non-static.
886         (native_interpret_expr): Likewise.
887         * tree.h: Add prototypes for the above.
888
889 2007-04-19  Joseph Myers  <joseph@codesourcery.com>
890
891         * config/rs6000/spe.md (*frob_tf_ti, *frob_ti_tf, *frob_ti_tf_2,
892         *mov_si<mode>_e500_subreg0, *mov_si<mode>_e500_subreg0_2,
893         *mov_sitf_e500_subreg8, *mov_sitf_e500_subreg8_2, spe_extenddftf2,
894         spe_fix_trunctfsi2_internal, spe_negtf2_internal, cmptfeq_gpr,
895         tsttfeq_gpr, cmptfgt_gpr, tsttfgt_gpr, cmptflt_gpr, tsttflt_gpr):
896         Add length attributes.
897
898 2007-04-19  Janis Johnson  <janis187@us.ibm.com>
899
900         * ginclude/float.h: Check that __STDC_WANT_DEC_FP__ is defined,
901         not that it is 1.
902
903         * c-cppbuiltin.c (c_cpp_builtins): Remove definition of
904         __STDC_WANT_DEC_FP__.
905
906 2007-04-19  Joseph Myers  <joseph@codesourcery.com>
907
908         * configure.ac: Allow both powerpc*-*-linux* and powerpc*-*-gnu*
909         for long double compatibility.
910         * configure: Regenerate.
911
912 2007-04-19  Eric Botcazou  <ebotcazou@libertysurf.fr>
913
914         PR rtl-optimization/29841
915         * cfgbuild.c (control_flow_insn_p): Return TRUE for unconditional
916         trap instructions.
917         * sched-deps.c (sched_analyze_insn): Prevent all non-jump instructions
918         that may cause control flow transfer from being moved.
919
920 2007-04-18  Jan Hubicka  <jh@suse.cz>
921
922         * fold-const.c (div_if_zero_remainder): Do signed divide for pointer
923         types.
924
925 2007-04-18  Eric Christopher  <echristo@apple.com>
926
927         * config/rs6000/darwin.md (load_macho_picbase): Use link register
928         only. Update operands.
929         * config/rs6000/rs6000.c (rs6000_emit_prologue): Update caller.
930         * config/rs6000/rs6000.md (builtin_setjmp_receiver): Ditto. Move from
931         link register to pic register.
932
933 2007-04-18  Dirk Mueller  <dmueller@suse.de>
934
935         PR diagnostic/31227
936         * tree-vrp.c (search_for_addr_array): New.
937         (check_array_bounds): Suppress warning about
938         address taken of array refs if its not de-referenced.
939
940 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
941
942         * tree-vectorizer.c (destroy_loop_vec_info): Set loop->aux to NULL.
943         * tree-vect-analyze.c (vect_analyze_loop_form): Set loop->aux.
944
945         * tree-vectorizer.h (NITERS_KNOWN_P): New.
946         * tree-vect-analyze.c (vect_analyze_loop_form): Call NITERS_KNOWN_P
947         instead of LOOP_VINFO_INT_NITERS to avoid having to geneate loop_info.
948
949         * tree-vect-analyze.c (vect_determine_vectorization_factor): Add
950         dump print.
951         (vect_analyze_operations): Fix indenetation.  Fix a comment.  Fix a
952         print message.
953         (vect_analyze_scalar_cycles): Fix indentation.
954         (vect_enhance_data_refs_alignment): Fix check in case of peeling.
955         (vect_mark_relevant): Include phis in relevance analysis.
956
957         * tree-vect-transform.c (vect_transform_loop): Add an assert.
958
959 2007-04-18  Anatoly Sokolov <aesok@post.ru>
960
961         * config/avr/avr.c (ptrreg_to_str): Replace error() with
962         output_operand_lossage().
963
964 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
965
966         * tree-vect-transform.c (get_initial_def_for_reduction): Clean away
967         the unused code for reduction without adjust-in-epilog to simplify the
968         function.
969
970 2007-04-18  Wolfgang Gellerich  <gellerich@de.ibm.com>
971
972         * config/s390/s390.h (S390_TDC_POSITIVE_ZERO): New constant.
973         (S390_TDC_NEGATIVE_ZERO): New constant.
974         (S390_TDC_POSITIVE_NORMALIZED_NUMBER): New constant.
975         (S390_TDC_NEGATIVE_NORMALIZED_NUMBER): New constant.
976         (S390_TDC_POSITIVE_DENORMALIZED_NUMBER): New constant.
977         (S390_TDC_NEGATIVE_DENORMALIZED_NUMBER): New constant.
978         (S390_TDC_POSITIVE_INFINITY): New constant.
979         (S390_TDC_NEGATIVE_INFINITY): New constant.
980         (S390_TDC_POSITIVE_QUIET_NAN): New constant.
981         (S390_TDC_NEGATIVE_QUIET_NAN): New constant.
982         (S390_TDC_POSITIVE_SIGNALING_NAN): New constant.
983         (S390_TDC_NEGATIVE_SIGNALING_NAN): New constant.
984         (S390_TDC_INFINITY): New constant.
985         * config/s390/s390.c (s390_canonicalize_comparison): Renamed
986         UNSPEC_CMPINT to UNSPEC_CCU_TO_INT, added a UNSPEC_CCU_TO_INT-like
987         optimization for UNSPEC_CCZ_TO_INT.
988         * config/s390/s390.md ("*TDC_insn_<mode>"): New insn.
989         ("*ccz_to_int"): New insn.
990         ("isinf<mode>2"): New insn.
991         (UNSPEC_CMPINT): Renamed to UNSPEC_CCU_TO_INT.
992         (UNSPEC_CCU_TO_INT): New constant, replaces UNSPEC_CMPINT.
993         (UNSPEC_CCZ_TO_INT): New constant.
994
995 2007-04-18  Richard Guenther  <rguenther@suse.de>
996
997         PR tree-optimization/19431
998         PR tree-optimization/21463
999         * tree-pass.h (pass_phiprop): Declare.
1000         * passes.c (init_optimization_passes): New phiprop pass.
1001         * tree-ssa-forwprop.c (struct phiprop_d): New structure.
1002         (phivn_valid_p): New helper function.
1003         (phiprop_insert_phi): Likewise.
1004         (propagate_with_phi): Likewise.
1005         (tree_ssa_phiprop): New propagator propagating loads
1006         through phi nodes if profitable.
1007
1008 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
1009
1010         * tree-vect-analyze.c (process_use): New function.
1011         (vect_mark_stmts_to_be_vectorized): Factor out code to process_use.
1012         Check phis in all bbs.
1013         * tree-vectorizer.c (vect_is_simple_use): Remove a no longer relavant
1014         assert.
1015
1016 2007-04-18  Bernd Schmidt  <bernd.schmidt@analog.com>
1017
1018         * reload1.c (eliminte_regs_in_insn): Use REG_EQUIV notes the same way
1019         we use REG_EQUAL.
1020
1021 2007-04-17  Anatoly Sokolov <aesok@post.ru>
1022
1023         PR target/30483
1024         * config/avr/avr.c (ptrreg_to_str): Replace gcc_unreachable() with
1025         error().
1026
1027 2007-04-17  H.J. Lu  <hongjiu.lu@intel.com>
1028
1029         * config/i386/sse.md (sse_vmaddv4sf3): Use register_operand
1030         on "0".
1031         (sse_vmmulv4sf3): Likewise.
1032         (sse2_vmaddv2df3): Likewise.
1033         (sse2_vmmulv2df3): Likewise.
1034
1035 2007-04-17  Zdenek Dvorak  <dvorakz@suse.cz>
1036
1037         PR rtl-optimization/31360
1038         * cfgloopanal.c (target_small_cost, target_pres_cost): Removed.
1039         (target_reg_cost): New.
1040         (init_set_costs): Initialize target_reg_cost.  Add comments
1041         regarding the rationale of the costs.
1042         (global_cost_for_size): Renamed to...
1043         (estimate_reg_pressure_cost): ... and simplify.  Decrease importance
1044         of register pressure.
1045         * tree-ssa-loop-ivopts.c (ivopts_global_cost_for_size): Use
1046         estimate_reg_pressure_cost.  Add number of ivs.
1047         (determine_set_costs): Dump target_reg_cost.
1048         * loop-invariant.c (gain_for_invariant):  Use
1049         estimate_reg_pressure_cost.  Removed n_inv_uses argument.
1050         (best_gain_for_invariant, find_invariants_to_move): Remove
1051         n_inv_uses.
1052         * cfgloop.h (target_small_cost, target_pres_cost): Removed.
1053         (target_reg_cost): Declare.
1054         (global_cost_for_size): Declaration removed.
1055         (estimate_reg_pressure_cost): Declare.
1056
1057 2007-04-17  Peter Bergner  <bergner@vnet.ibm.com>
1058
1059         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Force TDmode
1060         regnos into even/odd register pairs.
1061         * config/rs6000/rs6000.h [SLOW_UNALIGNED_ACCESS]: Treat DDmode and
1062         TDmode similar to the other floating point modes.
1063         [SECONDARY_MEMORY_NEEDED]: Treat DDmode similar to DFmode.
1064         * config/rs6000/dfp.md (negdd2, absdd2, negtd2, abstd2): New
1065         define_expand's.
1066         (negdd2_fpr, absdd2_fpr, nabsdd2_fpr, negtd2_fpr, abstd2_fpr,
1067         nabstd2_fpr, movdd_hardfloat64_mfpgpr): New define_insn's.
1068         (movdd_hardfloat64): Use TARGET_MFPGPR.
1069
1070 2007-04-17  Bernd Schmidt  <bernd.schmidt@analog.com>
1071
1072         * reload1.c (delete_output_reload): Don't count output in n_inherited.
1073
1074         Revert
1075         2005-01-05  Richard Henderson  <rth@redhat.com>
1076         PR rtl-opt/10692
1077         * reload1.c (do_input_reload): Restrict the optimization deleteing
1078         a previous output reload to RELOAD_FOR_INPUT.
1079
1080 2007-04-17  Dorit Nuzman  <dorit@il.ibm.com>
1081
1082         * tree-vectorizer.h (stmt_vec_info_type): Add enum value
1083         induc_vec_info_type.
1084         (vectorizable_induction): New function declaration.
1085         * tree-vect-transform.c (get_initial_def_for_induction): No need to
1086         check if already vectorized.  Find first place in BB where new stmts
1087         can be inserted.  Takes only one argument.
1088         (vectorizable_induction): New function.
1089         (vect_transform_stmt): Add case for induc_vec_info_type to call
1090         vectorizable_induction.
1091         (vect_transform_loop): Consider phis for vectorization.
1092         * tree-vect-analyze.c (vect_determine_vectorization_factor): Simplify
1093         condition.
1094         (analyze_operations): Call vectorizable_induction when analyzing phis.
1095         Fix comment.
1096         (vect_mark_stmts_to_be_vectorized): Remove redundant checks.
1097         (vect_mark_relevant): Include phis in relevance analysis.
1098         (vect_mark_stmts_to_be_vectorize): Likewise.
1099         * tree-vect-patterns.c (widened_name_p): Remove obsolete asserts.
1100
1101 2007-04-16  Lawrence Crowl  <crowl@google.com>
1102
1103         * doc/invoke.texi (Debugging Options): Add documentation for the
1104         -femit-struct-debug options -femit-struct-debug-baseonly,
1105         -femit-struct-debug-reduced, and
1106         -femit-struct-debug-detailed[=...].
1107
1108         * c-opts.c (c_common_handle_option): Add
1109         OPT_femit_struct_debug_baseonly, OPT_femit_struct_debug_reduced,
1110         and OPT_femit_struct_debug_detailed_.
1111         * c.opt: Add specifications for
1112         -femit-struct-debug-baseonly, -femit-struct-debug-reduced,
1113         and -femit-struct-debug-detailed[=...].
1114         * opts.c (set_struct_debug_option): Parse the
1115         -femit-struct-debug-... options.
1116         * opts.c (matches_main_base, main_input_basename,
1117         main_input_baselength, base_of_path, matches_main_base): Add
1118         variables and functions to compare header base name to compilation
1119         unit base name.
1120         * opts.c (should_emit_struct_debug): Add to determine to emit a
1121         structure based on the option.
1122         (dump_struct_debug) Also disabled function to debug this
1123         function.
1124         * opts.c (handle_options): Save the base name of the
1125         compilation unit.
1126
1127         * langhooks-def.h (LANG_HOOKS_GENERIC_TYPE_P): Define.
1128         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add.
1129         This hook indicates if a type is generic.  Set it by default
1130         to "never generic".
1131         * langhooks.h (struct lang_hooks_for_types): Add a new hook
1132         to determine if a struct type is generic or not.
1133         * cp/cp-tree.h (class_tmpl_impl_spec_p): Declare a C++ hook.
1134         * cp/tree.c (class_tmpl_impl_spec_p): Implement the C++ hook.
1135         * cp/cp-lang.c (LANG_HOOKS_GENERIC_TYPE_P): Override null C hook
1136         with live C++ hook.
1137
1138         * flags.h (enum debug_info_usage): Add an enumeration to describe
1139         a program's use of a structure type.
1140         * dwarf2out.c (gen_struct_or_union_type_die): Add a new parameter
1141         to indicate the program's usage of the type.  Filter structs based
1142         on the -femit-struct-debug-... specification.
1143         (gen_type_die): Split into two routines, gen_type_die and
1144         gen_type_die_with_usage.  gen_type_die is now a wrapper
1145         that assumes direct usage.
1146         (gen_type_die_with_usage): Replace calls to gen_type_die
1147         with gen_type_die_with_usage adding the program usage of
1148         the referenced type.
1149         (dwarf2out_imported_module_or_decl): Suppress struct debug
1150         information using should_emit_struct_debug when appropriate.
1151
1152 2007-04-16  Ian Lance Taylor  <iant@google.com>
1153
1154         PR tree-optimization/31522
1155         * tree-vrp.c (vr_phi_edge_counts): New static variable.
1156         (vrp_initialize): Allocate vr_phi_edge_counts.
1157         (vrp_visit_phi_node): Don't push to infinity if we saw a new
1158         executable edge.  Drop test for all constants.
1159         (vrp_finalize): Free vrp_phi_edge_counts.
1160
1161         * doc/cpp.texi (Common Predefined Macros): Clarify description of
1162         __GNUC_GNU_INLINE__ and __GNUC_STDC_INLINE__.
1163
1164         * tree-ssa-propagate.c (cfg_blocks_add): Insert blocks with fewer
1165         predecessors at head rather than tail.
1166
1167 2007-04-16  Matthias Klose  <doko@debian.org>
1168
1169         * config/alpha/linux.h (CPP_SPEC): Define.
1170         * config/arm/linux-gas.h (SUBTARGET_CPP_SPEC): Extend.
1171
1172 2007-04-16  Aldy Hernandez  <aldyh@redhat.com>
1173
1174         * function.h: Remove sequence_stack extern declaration.
1175
1176 2007-04-16  Kazu Hirata  <kazu@codesourcery.com>
1177
1178         * config/m68k/m68k.h (LONG_DOUBLE_TYPE_SIZE): Change to 64 on
1179         TARGET_FIDOA.
1180         (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Change to 64 if __mfido__ is
1181         defined.
1182
1183 2007-04-16  Anatoly Sokolov <aesok@post.ru>
1184
1185         * config/avr/avr.c (avr_arch_types): Rearranging  array.
1186         (enum avr_arch): Add.
1187         (avr_mcu_types): Use avr_arch enumeration constants instead of
1188         numbers.
1189         * config/avr/avr.h (LINK_SPEC): Simplify.
1190
1191 2007-04-16  Kazu Hirata  <kazu@codesourcery.com>
1192
1193         * config/m68k/m68k.c (m68k_libcall_value,
1194         m68k_function_value): Use macros for register names more.
1195
1196         * config/m68k/m68k.h (FRAME_POINTER_REGNUM): Use A6_REG
1197         instead.
1198         (M68K_REGNAME): Use A6_REG.
1199         * config/m68k/m68k.md (FP_REG): Rename to A6_REG.
1200
1201 2007-04-16  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
1202
1203         PR middle-end/28071
1204         * sched-int.h (struct deps): Split field 'pending_lists_length' into
1205         'pending_read_list_length' and 'pending_write_list_length'.  Update
1206         comment.
1207         * sched-deps.c (add_insn_mem_dependence): Change signature.  Update
1208         to handle two length counters instead of one.  Update all uses.
1209         (flush_pending_lists, sched_analyze_1, init_deps): Update to handle
1210         two length counters instead of one.
1211         * sched-rgn.c (propagate_deps): Update to handle two length counters
1212         instead of one.
1213
1214 2007-04-16  H.J. Lu  <hongjiu.lu@intel.com>
1215
1216         PR target/31582
1217         * config/i386/i386.c (ix86_expand_vec_set_builtin): Make a
1218         copy of source, pass it to ix86_expand_vector_set and return
1219         it as target.
1220
1221 2007-04-16  David Ung  <davidu@mips.com>
1222             Joseph Myers  <joseph@codesourcery.com>
1223
1224         * config/mips/mips.h (PROCESSOR_74KC, PROCESSOR_74KF,
1225         PROCESSOR_74KX, TUNE_74K, GENERATE_MADD_MSUB): Define.
1226         * config/mips/mips.c (mips_cpu_info_table, mips_rtx_cost_data):
1227         Add 74K processor information.
1228         * config/mips/mips.md: Include 74k.md.
1229         (cpu): Add 74kc,74kf,74kx.
1230         (ISA_HAS_MADD_MSUB): Change to GENERATE_MADD_MSUB throughout.
1231         * config/mips/74k.md: New.
1232         * doc/invoke.texi (MIPS Options): Document 74K support.
1233
1234 2007-04-16  Dorit Nuzman  <dorit@il.ibm.com>
1235
1236         * tree-vect-analyze.c (vect_analyze_operations): Reorganize calls to
1237         vectorizable_* functions.
1238         * tree-vect-transform.c (vectorizable_call): Add check for
1239         STMT_VINFO_RELEVANT_P, STMT_VINFO_DEF_TYPE and STMT_VINFO_LIVE_P.
1240         (vectorizable_store): likewise.
1241         (vectorizable_conversion): Add check for STMT_VINFO_DEF_TYPE.
1242         Add comments.
1243         (vectorizable_operation, vectorizable_type_demotion): Likewise.
1244         (vectorizable_type_promotion, vectorizable_load): Likewise.
1245         (vectorizable_live_operation, vectorizable_condition): Likewise.
1246         (vectorizable_assignment): Add check for STMT_VINFO_DEF_TYPE and
1247         STMT_VINFO_LIVE_P.
1248         (vect_transform_stmt): Reorganize calls to vectorizable_* functions.
1249
1250 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
1251
1252         * config/m68k/linux.h (FUNCTION_VALUE_REGNO_P): Use macros for
1253         register numbers more.
1254         * config/m68k/m68k.h (STACK_POINTER_REGNUM,
1255         FRAME_POINTER_REGNUM, STATIC_CHAIN_REGNUM,
1256         M68K_STRUCT_VALUE_REGNUM, FUNCTION_VALUE, LIBCALL_VALUE,
1257         FUNCTION_VALUE_REGNO_P): Likewise.
1258         * config/m68k/m68kelf.h (M68K_STRUCT_VALUE_REGNUM,
1259         STATIC_CHAIN_REGNUM): Likewise.
1260         * config/m68k/m68kemb.h (FUNCTION_VALUE_REGNO_P): Likewise.
1261         * config/m68k/netbsd-elf.h (M68K_STRUCT_VALUE_REGNUM,
1262         STATIC_CHAIN_REGNUM, FUNCTION_VALUE_REGNO_P): Likewise.
1263         * config/m68k/m68k.md (FP_REG): New.
1264
1265 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
1266
1267         * config/m68k/m68k.h (PREFERRED_STACK_BOUNDARY): Prefer 32-bit
1268         alignment on fido.
1269
1270 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
1271
1272         * config/i386/i386.c, config/s390/s390.c, config/s390/s390.md,
1273         tree-ssa-loop-niter.c, tree-ssa-structalias.c, tree-vrp.c: Fix
1274         comment typos.
1275
1276 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
1277
1278         * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Ignore
1279         cold loops.
1280
1281 2007-04-14  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1282
1283         PR c/31520
1284         * c-decl.c (finish_decl): Grab the type of the decl after the call
1285         to store_init_value.
1286
1287 2007-04-14  Steven Bosscher  <steven@gcc.gnu.org>
1288
1289         * common.opt (fforward-propagate): Fix "Optimization" annotation.
1290
1291 2007-04-14  Jakub Jelinek  <jakub@redhat.com>
1292
1293         PR c++/25874
1294         * omp-low.c (expand_omp_parallel): If child_cfun->cfg, free dominators,
1295         post dominators and cleanup cfg before returning.
1296
1297 2007-04-14  Bernd Schmidt  <bernd.schmidt@analog.com>
1298
1299         * config/bfin/bfin.h (MODES_TIEABLE_P): Allow more modes to be tied.
1300         * config/bfin/bfin.md (movsi_insn): Delete two unused alternatives.
1301
1302 2007-04-14  Kazu Hirata  <kazu@codesourcery.com>
1303
1304         * config.gcc: Recognize fido.
1305         * config/m68k/m68k-devices.def (fidoa): New.
1306         * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define
1307         __mfido__.
1308         (FL_FIDOA, TARGET_FIDOA): New.
1309         * config/m68k/m68k.opt (mfidoa): New.
1310
1311 2007-04-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1312
1313         PR middle-end/31322
1314         * dwarf2out.c (output_call_frame_info): Call assemble_external_libcall
1315         when a personality function is used.
1316
1317 2007-04-13  Bob Wilson  <bob.wilson@acm.org>
1318
1319         * config/xtensa/xtensa.c (xtensa_expand_builtin): Use CALL_EXPR_FN.
1320
1321 2007-04-13  Mike Stump  <mrs@apple.com>
1322
1323         * config/darwin-c.c (handle_c_option): Handle -fapple-kext here so
1324         we can...
1325         * config/darwin.opt (fapple-kext): Make C++ only.
1326         * config/darwin.c (darwin_override_options): Remove code to ensure
1327         -fapple-kext is given for C++ only.
1328
1329 2007-04-13  Richard Sandiford  <richard@codesourcery.com>
1330
1331         * config/mips/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Define.
1332         * config/mips/mips.c (override_options): Call
1333         SUBTARGET_OVERRIDE_OPTIONS, if defined.
1334
1335 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
1336
1337         * config/i386/i386.opt (msvr3-shlib): Removed.
1338
1339         * doc/invoke.texi: Remove -msvr3-shlib.
1340
1341 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
1342
1343         * config/i386/i386.opt (mpopcnt): Replace "popcount" instruction
1344         with "popcnt" instruction.
1345
1346 2007-04-13  Richard Guenther  <rguenther@suse.de>
1347
1348         PR tree-optimization/21258
1349         * tree-vrp.c (compare_case_labels): New helper.
1350         (find_switch_asserts): New function.
1351         (find_assert_locations): Call it for SWITCH_EXPRs.
1352
1353 2007-04-13  Uros Bizjak  <ubizjak@gmail.com>
1354
1355         * config/i386/i386.h (X87_FLOAT_MODE_P): Check for TARGET_80387.
1356         * config/i386/i386.md (*cmpfp0): Remove check for TARGET_80387, this
1357         check is now implied in X87_FLOAT_MODE_P.
1358         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
1359         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
1360         (fix_trunc<mode>_i386_fisttp): Ditto.
1361         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
1362         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
1363         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
1364         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
1365         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
1366         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
1367         (unnamed_splitters): Ditto.
1368         * config/i386/i386.c (function_value_32): Generate FIRST_FLOAT_REG
1369         for X87_FLOAT_MODE_P mode.  Override FIRST_FLOAT_REG with
1370         FIRST_SSE_REG for local functions when SSE math is enabled or
1371         for functions with sseregparm attribute.
1372         (standard_80387_constant_p): Return -1 if mode is not
1373         X87_FLOAT_MODE_P.
1374         (ix86_cc_mode): Assert that scalar mode is not DECIMAL_FLOAT_MODE_P.
1375         (ix86_expand_compare): Ditto.
1376         (ix86_expand_carry_flag_compare): Ditto.
1377         (ix86_expand_int_movcc): Check for SCALAR_FLOAT_MODE_P instead
1378         of FLOAT_MODE_P for cmp_mode and assert that cmp_mode is not
1379         DECIMAL_FLOAT_MODE_P.
1380         (ix86_preferred_output_reload_class): Use X87_FLOAT_MODE_P instead
1381         of SCALAR_FLOAT_MODE_P.
1382         (ix86_rtx_costs) [PLUS] Remove FLOAT_MODE_P and fall through to ...
1383         [MINUS]: ... here.  Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P
1384         checks before FLOAT_MODE_P.
1385         [MULT]: Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P checks
1386         before FLOAT_MODE_P.
1387         [DIV]: Ditto.
1388         [NEG]: Ditto.
1389         [ABS]: Ditto.
1390         [SQRT]: Ditto.
1391         [FLOAT_EXTEND]: Use SSE_FLOAT_MODE_P.
1392
1393 2007-04-12  Paolo Bonzini  <bonzini@gnu.org>
1394             Charles Wilson  <libtool@cwilson.fastmail.fm>
1395
1396         * Makefile.in (stamp-as, stamp-collect-ld, stamp-nm): Remove.
1397         (libgcc.mvars): Don't depend on them.
1398         * configure.ac (as, collect-ld, nm): Create from exec-tool.in.
1399         * exec-tool.in: New.
1400
1401 2007-04-12  Brooks Moses  <brooks.moses@codesourcery.com>
1402
1403         * doc/invoke.text (--help): Document --help=common.
1404
1405 2007-04-12  Thomas Neumann  <tneumann@users.sourceforge.net>
1406
1407         * stub-objc.c (objc_build_keyword_decl): Avoid C++ keywords.
1408
1409 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1410
1411         * Makefile.in (insn-emit.o): Depend on $(INTEGRATE_H).
1412         * genemit.c (main): Emit #include "integrate.h".
1413         * config/mips/mips-protos.h (SYMBOL_HALF): New mips_symbol_type.
1414         (LOADGP_RTP): New mips_loadgp_style.
1415         * config/mips/mips.h: Include config/vxworks-dummy.h.
1416         (TARGET_RTP_PIC): New macro.
1417         (TARGET_USE_GOT): Return true for TARGET_RTP_PIC.
1418         (TARGET_USE_PIC_FN_ADDR_REG): Return true for TARGET_VXWORKS_RTP.
1419         (ASM_OUTPUT_ADDR_DIFF_ELT): Emit function-relative case tables
1420         for TARGET_RTP_PIC.
1421         * config/mips/vxworks.h (SUBTARGET_ASM_SPEC): Define.  Pass down
1422         -mvxworks-pic when using -mrtp and a PIC option.
1423         * config/mips/mips.c (mips_classify_symbol): Return SYMBOL_GOT_DISP
1424         for RTP PIC.
1425         (mips_symbolic_constant_p, mips_symbolic_address_p)
1426         (mips_symbol_insns): Handle SYMBOL_HALF.
1427         (override_options): Warn about -G and -mrtp being used together.
1428         Initialize mips_lo_relocs[SYMBOL_HALF].
1429         (mips_current_loadgp_style): Return LOADGP_RTP for RTP PIC.
1430         (mips_emit_loadgp): Handle LOADGP_RTP.
1431         (mips_in_small_data_p): Return false for TARGET_VXWORKS_RTP.
1432         * config/mips/mips.md (loadgp_rtp): New insn and splitter.
1433         (tablejump): Handle function-relative case table entries if
1434         TARGET_RTP_PIC.
1435         * config/mips/predicates.md (symbol_ref_operand): New predicate.
1436
1437 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1438
1439         * config/mips/mips.md (load_call<mode>): Allow any general register.
1440         destination.
1441         (sibcall_value_internal, sibcall_value_multiple_internal)
1442         (call_value_internal, call_value_split, call_value_multiple_internal)
1443         (call_value_multiple_split): Remove constraints from operand 0.
1444
1445 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1446
1447         * config/mips/mips-protos.h: In comments, refer to loadgp_absolute
1448         rather than loadgp_noshared.
1449         * config/mips/mips.c (mips_emit_loadgp): Use gen_loadgp_absolute
1450         instead of gen_loadgp_noshared.  Use gen_loadgp_newabi instead of
1451         gen_loadgp.
1452         * config/mips/mips.md (loadgp): Rename to...
1453         (loadgp_newabi): ...this.
1454         (loadgp_noshared): Rename to...
1455         (loadgp_absolute): ...this.
1456
1457 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1458
1459         * config/mips/mips.c (mips_ok_for_lazy_binding_p): Always return
1460         false for locally-binding symbols.
1461         (mips_dangerous_for_la25_p): Check mips_global_symbol_p.
1462
1463 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1464
1465         * config/mips/mips-protos.h (SYMBOL_GOT_LOCAL): Rename to...
1466         (SYMBOL_GOT_PAGE_OFST): ...this.
1467         (SYMBOL_GOT_GLOBAL): Rename to...
1468         (SYMBOL_GOT_DISP): ...this.
1469         (SYMBOL_GOTOFF_GLOBAL): Rename to...
1470         (SYMBOL_GOTOFF_DISP): ...this.  Update comments accordingly.
1471         * config/mips/mips.c (mips_global_symbol_p): New function.
1472         (mips_symbol_binds_local_p): Likewise.
1473         (mips_classify_symbol): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP
1474         and SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST.  Use mips_global_symbol_p
1475         and mips_symbol_binds_local_p.
1476         (mips_symbolic_constant_p, mips_symbolic_address_p, mips_symbol_insns)
1477         (override_options): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP,
1478         SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST and SYMBOL_GOTOFF_GLOBAL to
1479         SYMBOL_GOTOFF_DISP.
1480         (mips_ok_for_lazy_binding_p): New function.
1481         (mips_load_call_address, mips_expand_call): Use it.
1482         (mips_dangerous_for_la25_p): Likewise.
1483         * config/mips/mips.md (*xgot_hi<mode>, *xgot_lo<mode>)
1484         (*got_disp<mode>): Use got_disp_operand instead of
1485         global_got_operand.  Use SYMBOL_GOTOFF_DISP instead of
1486         SYMBOL_GOTOFF_GLOBAL.
1487         (*got_page<mode>): Use got_page_ofst_operand instead of
1488         local_got_operand.
1489         * config/mips/predicates.md (const_call_insn_operand): Use
1490         SYMBOL_GOT_DISP instead of SYMBOL_GOT_GLOBAL.
1491         (global_got_operand): Rename to...
1492         (got_disp_operand): ...this and use SYMBOL_GOT_DISP instead of
1493         SYMBOL_GOT_GLOBAL.
1494         (local_got_operand): Rename to...
1495         (got_page_ofst_operand): ...this and use SYMBOL_GOT_PAGE_OFST instead
1496         of SYMBOL_GOT_LOCAL.
1497
1498 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1499
1500         * config/mips/mips.h (TARGET_SPLIT_CALLS): Check
1501         TARGET_CALL_CLOBBERED_GP.
1502         (TARGET_SIBCALLS): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1503         (TARGET_USE_GOT, TARGET_CALL_CLOBBERED_GP): New macros.
1504         (TARGET_CALL_SAVED_GP, TARGET_USE_PIC_FN_ADDR_REG): Likewise.
1505         (STARTING_FRAME_OFFSET): Check TARGET_CALL_CLOBBERED_GP instead
1506         of TARGET_ABICALLS && !TARGET_NEWABI.
1507         (MIPS_CALL): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1508         * config/mips/mips.c (mips_load_call_address): Check
1509         TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
1510         (mips_global_pointer): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1511         Check TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
1512         (mips_save_reg_p): Check TARGET_CALL_SAVED_GP instead of
1513         TARGET_ABICALLS && TARGET_NEWABI.
1514         (mips_current_loadgp_style): Check TARGET_USE_GOT instead of
1515         TARGET_ABICALLS.
1516         (mips_expand_prologue): Check TARGET_OLDABI instead of !TARGET_NEWABI.
1517         (mips_expand_epilogue): Check TARGET_CALL_SAVED_GP instead of
1518         TARGET_ABICALLS && TARGET_NEWABI.
1519         (mips_output_mi_thunk): Check TARGET_USE_GOT instead of
1520         TARGET_ABICALLS.  Check TARGET_CALL_SAVED_GP instead of
1521         TARGET_NEWABI.  Use TARGET_USE_PIC_FN_ADDR_REG to decide
1522         whether indirect calls must use $25.
1523         (mips_extra_live_on_entry): Check TARGET_GOT instead of
1524         TARGET_ABICALLS.
1525         * config/mips/mips.md (jal_macro): Check flag_pic and
1526         TARGET_CALL_CLOBBERED_GP instead of TARGET_ABICALLS and TARGET_NEWABI.
1527         (builtin_setjmp_setup, builtin_longjmp): Check TARGET_USE_GOT
1528         instead of TARGET_ABICALLS.
1529         (exception_receiver): Check TARGET_CALL_CLOBBERED_GP instead of
1530         TARGET_ABICALLS && TARGET_OLDABI.
1531         (load_call<mode>): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1532         (sibcall): In the comment above the define_insn, mention
1533         TARGET_USE_PIC_FN_ADDR_REG instead of TARGET_ABICALLS.
1534         * config/mips/constraints.md (c): Check TARGET_USE_PIC_FN_ADDR_REG
1535         instead of TARGET_ABICALLS.
1536
1537 2007-04-12  Bernd Schmidt  <bernd.schmidt@analog.com>
1538
1539         * doc/md.texi (Blackfin family constraints): Document PA and PB.
1540         * config/bfin/bfin.h (CONST_OK_FOR_P): Handle PA and PB.
1541         (MACFLAGS_MATCH_P): New macro.
1542         * config/bfin/bfin.c (print_operand): Handle MACFLAG_IS_M.
1543         (bfin_secondary_reload): Treat EVEN_AREGS and ODD_AREGS like AREGS.
1544         * config/bfin/bfin.md (MACFLAG_IS_M): New constant.  Renumber some of
1545         the other MACFLAG constants.
1546         (sum_of_accumulators, lshrpdi3, ashrpdi3): New patterns.
1547         (flag_machi): Tighten constraints.  Renumber some of the operands.
1548         (flag_machi_acconly): Tighten constraints.  Correct operand numbers in
1549         output template.
1550         (flag_machi_parts_acconly): New pattern.
1551         (flag_macinithi): Tighten constraints.  Allow any accumulator to be
1552         used.
1553         (flag_macinit1hi): Tighten constraints.
1554         (flag_mul_macv2hi_parts_acconly): New pattern.
1555
1556         * config/bfin/lib1funcs.asm (___umulsi3_highpart, __smulsi3_highpart):
1557         Use a more efficient implementation.
1558         * config/bfin/bfin.md (umulsi3_highpart, smulsi3_highpart): Emit
1559         inline sequences when not optimizing for size.
1560
1561         * config/bfin/bfin.md (movhi_low2high, movhi_high2high, movhi_low2low,
1562         movhi_high2low): Delete, merge functionality into...
1563         (packv2hi): ... this pattern.
1564
1565         2007-02-11  Jie Zhang  <jie.zhang@analog.com>
1566         * config/bfin/bfin.opt (msim): New option.
1567         (mcpu=): New option.
1568         * config/bfin/bfin-protos.h (enum bfin_cpu): New.
1569         (bfin_cpu_t): Typedef of enum bfin_cpu.
1570         (bfin_cpu_type): New declaration.
1571         * config/bfin/elf.h (STARTFILE_SPEC): Add support for
1572         -msim and -mcpu= options.
1573         (LIB_SPEC): Likewise.
1574         * config/bfin/bfin.c (bfin_cpu_type): Define.
1575         (bfin_handle_option): Handle -mcpu= option.
1576         * config/bfin/bfin.h (DEFAULT_CPU_TYPE): Define as BFIN_CPU_BF532.
1577         (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF531__, __ADSPBF532__,
1578         __ADSPBF533__ or __ADSPBF537__ according to the cpu type.
1579
1580 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1581
1582         * config.gcc (*-*-vxworks*): Don't add to tm_files in this stanza.
1583         (arm-wrs-vxworks, mips-wrs-vxworks, powerpc-wrs-vxworks)
1584         (powerpc-wrs-vxworksae): Use ${tm_file}.
1585         (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add svr4.h
1586         after elfos.h.  Remove i386/sysv4.h and add i386/vx-common.h.
1587         * config/i386/vx-common.h: New file.
1588
1589 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1590
1591         * config/vxworks.h (VXWORKS_STARTFILE_SPEC): Use -l:crt0.o instead
1592         of crt0.o%s.
1593
1594 2007-04-12  Andreas Krebbel  <krebbel1@de.ibm.com>
1595
1596         * config/s390/s390.md ("trunctddd2"): Use TDmode for the target of
1597         ldxtr.
1598
1599 2007-04-12  Douglas Gregor  <doug.gregor@gmail.com>
1600
1601         PR c++/31078
1602         PR c++/31103
1603         * c-common.c (c_build_qualified_type): Set canonical type
1604         appropriately.
1605
1606 2007-04-12  Richard Guenther  <rguenther@suse.de>
1607
1608         * tree-pretty-print.c (dump_generic_node): Print ARRAY_REF
1609         lower bound and element size if lower bound is not zero
1610         or either of the ARRAY_REF operands is set.
1611
1612 2007-04-12  Richard Guenther  <rguenther@suse.de>
1613
1614         PR tree-optimization/24689
1615         PR tree-optimization/31307
1616         * fold-const.c (operand_equal_p): Compare INTEGER_CST array
1617         indices by value.
1618         * gimplify.c (canonicalize_addr_expr): To be consistent with
1619         gimplify_compound_lval only set operands two and three of
1620         ARRAY_REFs if they are not gimple_min_invariant.  This makes
1621         it never at this place.
1622         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
1623
1624 2007-04-11  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1625
1626         * pa.c (pa_som_asm_init_sections): Ensure that cfun->machine is not
1627         null before emitting a .nsubspa directive.
1628
1629 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
1630
1631         * tree-ssa-alias.c (dump_mem_ref_stats): Do not call
1632         need_to_partition_p if there are no memory statements in the
1633         function.
1634
1635 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
1636
1637         * tree-data-ref.c (chrec_steps_divide_constant_p): Removed.
1638         (gcd_of_steps_may_divide_p): New function.
1639         (analyze_miv_subscript): Use gcd_of_steps_may_divide_p.
1640
1641 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
1642
1643         * reload.c (find_reloads_toplev, find_reloads_address,
1644         find_reloads_address_1, find_reloads_subreg_address): Use rtx_equal_p,
1645         not a pointer equality test, to decide if we need to call
1646         push_reg_equiv_alt_mem.
1647
1648 2007-04-11  Sebastian Pop  <sebastian.pop@inria.fr>
1649
1650         * tree-data-ref.c (affine_function_zero_p, constant_access_functions,
1651         insert_innermost_unit_dist_vector, add_distance_for_zero_overlaps): New.
1652         (build_classic_dist_vector): Call add_distance_for_zero_overlaps.
1653
1654 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
1655
1656         * tree-data-ref.c (add_multivariate_self_dist): Force the distance
1657         vector to be positive.
1658
1659 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
1660
1661         PR 30735
1662         PR 31090
1663         * doc/invoke.texi: Document --params max-aliased-vops and
1664         avg-aliased-vops.
1665         * tree-ssa-operands.h (get_mpt_for, dump_memory_partitions,
1666         debug_memory_partitions): Move to tree-flow.h
1667         * params.h (AVG_ALIASED_VOPS): Define.
1668         * tree-ssa-alias.c (struct mp_info_def): Remove.  Update all
1669         users.
1670         (mp_info_t): Likewise.
1671         (get_mem_sym_stats_for): New.
1672         (set_memory_partition): Move from tree-flow-inline.h.
1673         (mark_non_addressable): Only clear the set of symbols for the
1674         partition if it exists.
1675         (dump_memory_partitions): Move from tree-ssa-operands.c
1676         (debug_memory_partitions): Likewise.
1677         (need_to_partition_p): New.
1678         (dump_mem_ref_stats): New.
1679         (debug_mem_ref_stats): New.
1680         (dump_mem_sym_stats): New.
1681         (debug_mem_sym_stats): New.
1682         (update_mem_sym_stats_from_stmt): New.
1683         (compare_mp_info_entries): New.
1684         (mp_info_cmp): Call it.
1685         (sort_mp_info): Change argument to a list of mem_sym_stats_t
1686         objects.
1687         (get_mpt_for): Move from tree-ssa-operands.c.
1688         (find_partition_for): New.
1689         (create_partition_for): Remove.
1690         (estimate_vop_reduction): New.
1691         (update_reference_counts): New.
1692         (build_mp_info): New.
1693         (compute_memory_partitions): Refactor.
1694         Document new heuristic.
1695         Call build_mp_info, update_reference_counts,
1696         find_partition_for and estimate_vop_reduction.
1697         (compute_may_aliases): Populate virtual operands before
1698         calling debugging dumps.
1699         (delete_mem_sym_stats): New.
1700         (delete_mem_ref_stats): New.
1701         (init_mem_ref_stats): New.
1702         (init_alias_info): Call it.
1703         (maybe_create_global_var): Remove alias_info argument.
1704         Get number of call sites and number of pure/const call sites
1705         from gimple_mem_ref_stats().
1706         (dump_alias_info): Call dump_memory_partitions first.
1707         (dump_points_to_info_for): Show how many times a pointer has
1708         been dereferenced.
1709         * opts.c (decode_options): For -O2 set --param
1710         max-aliased-vops to 500.
1711         For -O3 set --param max-aliased-vops to 1000 and --param
1712         avg-aliased-vops to 3.
1713         * fortran/options.c (gfc_init_options): Remove assignment to
1714         MAX_ALIASED_VOPS.
1715         * tree-flow-inline.h (gimple_mem_ref_stats): New.
1716         * tree-dfa.c (dump_variable): Dump memory reference
1717         statistics.
1718         Dump NO_ALIAS* settings.
1719         (referenced_var_lookup): Tidy.
1720         (mem_sym_stats): New.
1721         * tree-ssa-copy.c (may_propagate_copy): Return true if DEST
1722         and ORIG are different SSA names for a memory partition.
1723         * tree-ssa.c (delete_tree_ssa): Call delete_mem_ref_stats.
1724         * tree-flow.h (struct mem_sym_stats_d): Define.
1725         (mem_sym_stats_t): Define.
1726         (struct mem_ref_stats_d): Define.
1727         (struct gimple_df): Add field mem_ref_stats.
1728         (enum noalias_state): Define.
1729         (struct var_ann_d): Add bitfield noalias_state.
1730         (mem_sym_stats, delete_mem_ref_stats, dump_mem_ref_stats,
1731         debug_mem_ref_stats, debug_memory_partitions,
1732         debug_mem_sym_stats): Declare.
1733         * tree-ssa-structalias.c (update_alias_info): Update call
1734         sites, pure/const call sites and asm sites in structure
1735         returned by gimple_mem_ref_stats.
1736         Remove local variable IS_POTENTIAL_DEREF.
1737         Increase NUM_DEREFS if the memory expression is a potential
1738         dereference.
1739         Call update_mem_sym_stats_from_stmt.
1740         If the memory references memory, call
1741         update_mem_sym_stats_from_stmt for all the direct memory
1742         symbol references found.
1743         (intra_create_variable_infos): Set noalias_state field for
1744         pointer arguments according to the value of
1745         flag_argument_noalias.
1746         * tree-ssa-structalias.h (struct alias_info): Remove fields
1747         num_calls_found and num_pure_const_calls_found.
1748         (update_mem_sym_stats_from_stmt): Declare.
1749         * params.def (PARAM_MAX_ALIASED_VOPS): Change description.
1750         Set default value to 100.
1751         (PARAM_AVG_ALIASED_VOPS): Define.
1752
1753 2007-04-11  Richard Guenther  <rguenther@suse.de>
1754
1755         PR middle-end/31530
1756         * simplify-rtx.c (simplify_binary_operation_1): Do not simplify
1757         a * -b + c as c - a * b if we honor sign dependent rounding.
1758
1759 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
1760
1761         * config/bfin/bfin-protos.h (bfin_expand_movmem): Renamed from
1762         bfin_expand_strmov.
1763         * config/bfin/bfin.c (bfin_expand_prologue, bfin_delegitimize_address,
1764         bfin_function_ok_for_sibcall, split_load_immediate): Remove unused
1765         variables.
1766         (initialize_trampoline): Don't use old-style function definition.
1767         (bfin_secondary_reload): Mark IN_P argument as unused.
1768
1769 2007-04-10  Sebastian Pop  <sebastian.pop@inria.fr>
1770
1771         PR tree-optimization/31343
1772         * tree-chrec.h (chrec_zerop): Moved before build_polynomial_chrec.
1773         (build_polynomial_chrec): Return a scalar when the evolution is zero.
1774         * testsuite/gcc.dg/vect/pr31343.c: New.
1775
1776 2007-04-10  Eric Christopher  <echristo@apple.com>
1777
1778         * config/i386/i386.h (X87_FLOAT_MODE_P): New.
1779         * config/i386/i386.md (*cmpfp0): Use.
1780         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
1781         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
1782         (fix_trunc<mode>_i386_fisttp): Ditto.
1783         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
1784         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
1785         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
1786         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
1787         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
1788         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
1789         (unnamed_splitters): Ditto.
1790         * config/i386/i386.c (output_fix_trunc): Assert that
1791         we're not being passed a TFmode operand.
1792
1793 2007-04-10  Zdenek Dvorak  <dvorakz@suse.cz>
1794
1795         PR tree-optimization/31526
1796         * tree-inline.c (copy_cfg_body): Use last_basic_block instead of
1797         n_basic_blocks to find newly added blocks.
1798
1799 2007-04-10  Uros Bizjak  <ubizjak@gmail.com>
1800
1801         * config/i386/i386.md (fix_trunc<mode>di_sse): Remove "x" from "xm"
1802         alternative.
1803         (fix_trunc<mode>si_sse): Ditto.
1804         (*floatsisf2_mixed, *floatsisf2_sse): Ditto.
1805         (*floatsidf2_mixed, *floatsidf2_sse): Ditto.
1806         (*floatdisf2_mixed, *floatdisf2_sse): Ditto.
1807         (*floatdidf2_mixed, *floatdidf2_sse): Ditto.
1808         (floathi<mode>2): Rename from floathisf2 and floathidf2. Macroize
1809         expander using SSEMODEF mode macro.
1810         (floatsi<mode>2): Rename from floatsisf2 and floashidf2. Macroize
1811         expander using SSEMODEF mode macro.
1812         (*floathi<mode>2_i387): Rename from *floathisf2_i387 and
1813         *floathidf2_i387. Macroize insn using X87MODEF12 mode macro.
1814         (*floatsi<mode>2_i387): Rename from *floatsisf2_i387 and
1815         *floatsidf2_i387. Macroize insn using X87MODEF12 mode macro.
1816         (*floatdi<mode>2_i387): Rename from *floatdisf2_i387 and
1817         *floatdidf2_i387. Macroize insn using X87MODEF12 mode macro.
1818         (float<mode>xf2): Rename from floathixf2, floatsixf2 and floatdixf2.
1819         Macroize insn using X87MODEF mode macro.
1820
1821 2007-04-09  H.J. Lu  <hongjiu.lu@intel.com>
1822
1823         * config/i386/sse.md (sse2_pinsrw): Removed.
1824         (sse2_pextrw): Renamed to ...
1825         (*sse2_pextrw): This.
1826
1827 2007-04-09  Jan Hubicka  <jh@suse.cz>
1828
1829         PR target/27869
1830         * config/i386/sse.md
1831         (sse_vmaddv4sf3, sse_vmmulv4sf3): Remove '%' modifier.
1832         (sse_vmsmaxv4sf3_finite, sse_vmsminv4sf3_finite): Remove.
1833         (sse2_vmaddv2df3, sse2_vmmulv2df3): Remove '%' modifier.
1834         (sse2_vmsmaxv2df3_finite, sse2_vmsminv2df3_finite): Remove.
1835
1836 2007-04-09  Jan Hubicka  <jh@suse.cz>
1837
1838         * tree-ssa-ccp (maybe_fold_offset_to_component_ref): Recurse into
1839         multiple fields of union.
1840
1841 2007-04-09  Zdenek Dvorak  <dvorakz@suse.cz>
1842
1843         * cfgloopmanip.c (create_preheader): Do not use loop_preheader_edge.
1844         (create_preheaders): Check that loops are available.
1845         (fix_loop_structure): Clean up, improve comments.
1846         * tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa):
1847         Check that loops are available.  Set LOOP_CLOSED_SSA to the loops
1848         state flags.
1849         * tree-scalar-evolution.c (scev_finalize): Clear scalar_evolution_info.
1850         * predict.c (tree_estimate_probability): Do not call
1851         calculate_dominance_info.  Call create_preheaders.
1852         * tree-cfgcleanup.c (cleanup_tree_cfg_loop): Only call
1853         rewrite_into_loop_closed_ssa if LOOP_CLOSED_SSA is set in loops state
1854         flags.
1855         * cfgloop.c (loop_preheader_edge): Assert that loops have preheaders.
1856         * cfgloop.h (LOOP_CLOSED_SSA): New constant.
1857         * tree-cfg.c (tree_split_edge): Make an assert more precise.
1858         * tree-ssa-threadedge.c (thread_across_edge): Comment the function
1859         arguments.
1860
1861 2007-04-08  Jan Hubicka  <jh@suse.cz>
1862
1863         * tree.h (maybe_fold_offset_to_component_ref): Declare.
1864         * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Export.
1865         * fold-const.c (fold_unary): Use it.
1866
1867 2007-04-08  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1868
1869         * varasm.c (assemble_variable): Remove call to
1870         lang_hooks.decls.prepare_assemble_variable.
1871         * langhooks-def.h (LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE): Kill.
1872         (LANG_HOOKS_DECLS): Remove LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE.
1873         * langhooks.h (lang_hooks_for_decls): Remove
1874         prepare_assemble_variable.
1875
1876 2007-04-08  Mike Stump  <mrs@apple.com>
1877
1878         * config/i386/i386.c: Use inc/dec on Core2.
1879
1880 2007-04-08  Steven Bosscher  <steven@gcc.gnu.org>
1881
1882         * langhooks.c (lhd_tree_inlining_add_pending_fn_decls,
1883         lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
1884         lhd_tree_inlining_end_inlining): Remove.
1885         * langhooks.h (struct lang_hooks_for_tree_inlining): Remove then
1886         add_pending_fn_decls, anon_aggr_type_p, start_inlining, and
1887         end_inlining hooks.
1888         * langhooks-def.h (lhd_tree_inlining_add_pending_fn_decls,
1889         lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
1890         lhd_tree_inlining_end_inlining): Remove prototypes.
1891         (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS,
1892         LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P,
1893         LANG_HOOKS_TREE_INLINING_START_INLINING,
1894         LANG_HOOKS_TREE_INLINING_END_INLINING): Remove.
1895
1896         * c-objc-common.h (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do
1897         not set it.
1898
1899 2007-04-08  Anatoly Sokolov <aesok@post.ru>
1900
1901         PR target/29932
1902         * config/avr/predicates.md (io_address_operand): Delete predicate.
1903         (low_io_address_operand): Don't use 'mode' argument.
1904         (higth_io_address_operand): Rename ...
1905         (high_io_address_operand): ... to this. Don't use 'mode' argument.
1906         * config/avr/avr.md (*sbix_branch_tmp, *sbix_branch_tmp_bit7): Adjust
1907         for above change.
1908
1909 2007-04-07  Daniel Berlin  <dberlin@dberlin.org>
1910
1911         Revert change removing staticp.
1912
1913 2007-04-07  Anatoly Sokolov <aesok@post.ru>
1914
1915         PR target/30289
1916         * config/avr/avr.md (*clrmemqi, *clrmemhi): Mark operand 4 as
1917         earlyclobber.
1918
1919 2007-04-07  Bruce Korb  <bkorb@gnu.org>
1920
1921         * c.opt: Add -Wformat-contains-nul.
1922         * c-format.c (set_Wformat):  Set warn_format_contains_nul to the
1923           -Wformat setting.
1924         (check_format_info_main): Check OPT_Wformat_contains_nul before emitting
1925         the NUL byte warning.
1926
1927 2007-04-07  H.J. Lu  <hongjiu.lu@intel.com>
1928
1929         * config/i386/i386.c (ix86_handle_option): Handle SSSE3.
1930
1931 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
1932
1933         * tree.c (staticp): No longer use staticp langhook.
1934         * langhooks.c (lhd_staticp): Removed.
1935         * langhooks.h (struct lang_hooks): Remove staticp.
1936         * c-common.c (c_staticp): Remove.
1937         * c-common.h (c_staticp): Ditto.
1938         * langhooks-defs.h (lhd_staticp): Ditto.
1939         (LHD_HOOKS_STATICP): Ditto
1940         * tree.h (gcc_assert_lowered): New macro.
1941
1942 2007-04-06  Zdenek Dvorak  <dvorakz@suse.cz>
1943
1944         * tree-ssa-loop-niter.c (idx_infer_loop_bounds): Add and use
1945         argument "reliable".
1946         (infer_loop_bounds_from_ref, infer_loop_bounds_from_array):
1947         Add argument "reliable".  Propagate it through calls.
1948         (infer_loop_bounds_from_undefined):  Derive number of iterations
1949         estimates from references in blocks that do not dominate loop latch.
1950         (gcov_type_to_double_int): New function.
1951         (estimate_numbers_of_iterations_loop): Use gcov_type_to_double_int
1952         and expected_loop_iterations_unbounded.
1953         * cfgloopanal.c (expected_loop_iterations_unbounded): New function.
1954         (expected_loop_iterations): Use expected_loop_iterations_unbounded.
1955         * tree-data-ref.c (estimated_loop_iterations): Export.
1956         (get_references_in_stmt): Fix -- do not return addresses of local
1957         objects.
1958         * cfgloop.h (expected_loop_iterations_unbounded,
1959         estimated_loop_iterations): Declare.
1960
1961 2007-04-06  Andreas Tobler  <a.tobler@schweiz.org>
1962
1963         * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
1964
1965 2007-04-06  Uros Bizjak  <ubizjak@gmail.com>
1966
1967         * config/i386/i386.md (extend<mode>xf2): Rename from extendsfxf2
1968         and extenddfxf2. Macroize expander using X87MODEF12 mode macro.
1969         (*truncdfsf_mixed, *truncdfsf_i387, *truncdfsf2_i387_1):
1970         Use output_387_reg_move().
1971         (*truncxf<mode>2): Rename from *truncxfsf2 and truncxfdf2. Macroize
1972         expander using X87MODEF12 mode macro.
1973         (*truncxfsf2_mixed): Combine alternatives, ignore "r" alternative when
1974         choosing register preferences.  Use output_387_reg_move().
1975         (*truncxfdf2_mixed): Combine alternatives, use "r" alternative
1976         instead of "x".  Use output_387_reg_move().
1977         (*truncxf<mode>2_i387_noop): Rename from *truncxfsf2_i387_noop and
1978         *truncxfdf2_i387_noop.  Macroize insn using X87MODEF12 mode macro.
1979         (*truncxf<mode>2_i387): Rename from *truncxfsf2_i387 and
1980         *truncxfdf2_i387.  Macroize insn using X87MODEF12 mode macro.
1981         Use output_387_reg_move().
1982         (*truncxf?f_mixed splitter): Macroize splitter using X87MODEF12
1983         mode macro.
1984         (*truncxf?f_i387 splitter): Ditto.
1985
1986 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
1987
1988         * langhooks-def.h (LANG_HOOKS_INITIALIZER): Remove
1989         LANG_HOOKS_SAFE_FROM_P.
1990         * expr.c (safe_from_p): Remove langhook call.
1991         * langhooks.h (lang_hooks): Remove safe_from_p.
1992         (lhd_safe_from_p): Remove prototype.
1993         * langhooks.c (lhd_safe_from_p): Remove.
1994
1995 2007-04-06  Jan Hubicka  <jh@suse.cz>
1996
1997         * cgraphunit.c (decide_is_function_needed): Do not keep always_inline
1998         functions.
1999
2000 2007-04-06  Uros Bizjak  <ubizjak@gmail.com>
2001
2002         * config/i386/i386.c (output_387_reg_move): Handle memory operand[0].
2003         * config/i386/i386.md (*movsf_1, *movdf_nointeger,
2004         *movdf_integer_rex64, *movdf_integer, *movxf_nointeger,
2005         *movxf_integer): Use output_387_reg_move() for x87 reg->mem
2006         alternative.
2007         (*extendsfdf2_mixed, *extendsfdf2_i387, *extendsfxf2_i387,
2008         *extenddfxf2_i387, *truncdfsf_fast_mixed): Ditto.
2009
2010 2007-04-05  Richard Henderson  <rth@redhat.com>
2011
2012         * config/alpha/alpha.c (print_operand) [+]: Remove.
2013         (alpha_end_function): Print nop if call at end of function.
2014         * config/alpha/alpha.h (PRINT_OPERAND_PUNCT_VALID_P): Remove +.
2015         * config/alpha/alpha.md (UNSPEC_LDGP1): New.
2016         (call_osf_1_er_noreturn, call_value_osf_1_er_noreturn): New.
2017         (call_osf_2_er_nogp, call_value_osf_2_er_nogp): New.
2018         (call_osf_2_er, call_value_osf_2_er): Merge the ldgp highpart into
2019         the call pattern. Update peepholes to match.
2020
2021 2007-04-05  Janis Johnson  <janis187@us.ibm.com>
2022
2023         * doc/extend.texi (Other Builtins): Add decimal float variants
2024         of signbit.
2025         * builtins.def: Ditto.
2026         * builtins.c (expand_builtin): Ditto.
2027
2028 2007-04-05  Uros Bizjak  <ubizjak@gmail.com>
2029             H.J. Lu  <hongjiu.lu@intel.com>
2030
2031         PR target/31478
2032         * config/i386/sse.md (sse2_umulv2siv2di3): Use V4SImode instead
2033         of V8HImode when calling ix86_binary_operator_ok.
2034         (sse2_pmaddwd): Call ix86_binary_operator_ok.
2035         (sdot_prodv8hi): Operands 1 and 2 must be register.
2036
2037 2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
2038
2039         * tree-sra.c (try_instantiate_multiple_fields): Needlessly
2040         initialize align to silence bogus warning.
2041
2042 2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
2043
2044         PR middle-end/22156
2045         * tree-sra.c (struct sra_elt): Add in_bitfld_block.  Remove
2046         all_no_warning.
2047         (struct sra_walk_fns): Remove use_all parameter from use.
2048         (sra_hash_tree): Handle BIT_FIELD_REFs.
2049         (sra_elt_hash): Don't hash bitfld blocks.
2050         (sra_elt_eq): Skip them in parent compares as well.  Handle
2051         BIT_FIELD_REFs.
2052         (sra_walk_expr): Don't maintain or pass down use_all_p.
2053         (scan_use): Remove use_all parameter.
2054         (scalarize_use): Likewise.  Re-expand assignment to
2055         BIT_FIELD_REF of gimple_reg.  De-scalarize before input or
2056         output, and re-scalarize after output.  Don't mark anything
2057         for no warning.
2058         (scalarize_ldst): Adjust.
2059         (scalarize_walk_gimple_modify_statement): Likewise.
2060         (build_element_name_1): Handle BIT_FIELD_REFs.
2061         (instantiate_element): Don't warn for any element whose parent
2062         is used as a whole.
2063         (instantiate_missing_elements_1): Return the sra_elt.
2064         (canon_type_for_field): New.
2065         (try_instantiate_multiple_fields): New.
2066         (instantiate_missing_elemnts): Use them.
2067         (mark_no_warning): Removed.
2068         (generate_one_element_ref): Handle BIT_FIELD_REFs.
2069         (REPLDUP, sra_build_elt_assignment): New.
2070         (generate_copy_inout): Use them.
2071         (generate_element_copy): Likewise.  Handle bitfld differences.
2072         (generate_element_zero): Don't recurse for blocks.  Use
2073         sra_build_elt_assignment.
2074         (generate_one_element_int): Take elt instead of var.  Use
2075         sra_build_elt_assignment.
2076         (generate_element_init_1): Adjust.
2077         (scalarize_use, scalarize_copy): Use REPLDUP.
2078         (scalarize_ldst): Move assert before dereference.
2079         (dump_sra_elt_name): Handle BIT_FIELD_REFs.
2080
2081 2007-04-05  Steven Bosscher  <steven@gcc.gnu.org>
2082
2083         * regmove.c: Fix unused variable warnings due to previous commit.
2084
2085 2007-04-05  Steven Bosscher  <steven@gcc.gnu.org>
2086
2087         * regmove.c (STACK_GROWS_DOWNWARD): Don't boolean-ize.
2088         (regmove_bb_head): Remove.
2089         (copy_src_to_dest): Don't update regmove_bb_head and BB_HEAD.
2090         (regmove_optimize): Don't do unnecessary CFG fixes for non-existing
2091         problems with fixup_match_1.
2092         Don't initialize/free regmove_bb_head.
2093
2094         (reg_is_remote_constant_p): If an insn is in the same basic block
2095         but not before INSN, consider it remote, too.
2096
2097 2007-04-05  Anatoly Sokolov <aesok@post.ru>
2098
2099         PR target/25448
2100         * config/avr/avr.c (avr_handle_fndecl_attribute): Use the
2101         DECL_ASSEMBLER_NAME, not the DECL_NAME.
2102
2103 2007-04-05  H.J. Lu  <hongjiu.lu@intel.com>
2104
2105         * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Reformat.
2106         (CONDITIONAL_REGISTER_USAGE): Likewise.
2107
2108 2007-04-04  Richard Henderson  <rth@redhat.com>
2109
2110         * config/alpha/lib1funcs.asm: Remove unused file.
2111
2112 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
2113
2114         PR other/31356
2115         * opts.c (print_specific_help): Fix --help=<language>
2116         header line.
2117         (common_handle_option): Support --help=common.
2118
2119 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
2120
2121         PR other/31353
2122         * gcc.c (main): Do not run the linker if
2123         print_subprocess_help indicates that it shouldn't be
2124         run.
2125
2126 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
2127
2128         PR doc/31355
2129         * doc/invoke.texi (--help=): Document <languages> value, fix
2130         formatting in tables of values.
2131
2132 2007-04-04  Danny Smith  <dannysmith.users.sourceforge.net>
2133
2134         * config/i386/winnt-cxx.c (i386_pe_type_dllimport_p): Don't ignore
2135         dllimport attribute of virtual methods.
2136
2137 2007-04-04  Chen Liqin  <liqin@sunnorth.com.cn>
2138
2139         * config/score/crti.asm: Change _bss_start to __bss_start.
2140         * config/score/score.h (CONDITIONAL_REGISTER_USAGE): Added.
2141         (OUTGOING_REG_PARM_STACK_SPACE) update.
2142         * config/score/score.opt: add options to make backend support
2143         score5, score5u, score7 and score7d.
2144         * config/score/score.md: Likewise.
2145         * config/score/misc.md: Likewise.
2146         * config/score/mac.md: Likewise.
2147         * doc/invoke.texi: Likewise.
2148         * doc/md.texi: update constraints define.
2149
2150 2007-04-03  Richard Henderson  <rth@redhat.com>
2151
2152         * expr.c (store_expr): If get_signed_or_unsigned_type doesn't yield
2153         an appropriate type, use the mode instead.
2154
2155 2007-04-03  Richard Sandiford  <richard@codesourcery.com>
2156
2157         * config.gcc (mips-wrs-vxworks): Add vx-common.h to tm_file.
2158         Set the default --with-arch setting to mips2.
2159         * config/mips/t-vxworks (MULTILIB_OPTIONS, MULTILIB_MATCHES)
2160         (MULTILIB_EXCEPTIONS): Redefine with new multilibs.
2161         (MULTILIB_OSDIRNAMES): Delete.
2162         (MULTILIB_DIRNAMES): Define.
2163         * config/mips/vxworks.h (LINK_SPEC): Add VXWORKS_LINK_SPEC.
2164         (LIB_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Define.
2165         (TARGET_OS_CPP_BUILTINS): Incorporate old SUBTARGET_CPP_SPEC
2166         definitions, except for _WRS_R3K_EXC_SUPPORT.  Call
2167         VXWORKS_OS_CPP_BUILTINS.
2168         (SUBTARGET_CPP_SPEC): Redefine to VXWORKS_ADDITIONAL_CPP_SPEC.
2169         (MIPS_DEBUGGING_INFO): Undefine.
2170         (FUNCTION_PROFILER): Define to VXWORKS_FUNCTION_PROFILER.
2171
2172 2007-04-03  Jakub Jelinek  <jakub@redhat.com>
2173
2174         PR middle-end/30704
2175         * fold-const.c (native_encode_real): Encode real.c provided longs
2176         as a series of 32-bit native integers.
2177         (native_interpret_real): Interpret buffer as a series of 32-bit
2178         native integers.
2179
2180 2007-04-03  Richard Guenther  <rguenther@suse.de>
2181
2182         * genpreds.c (write_insn_constraint_len): Write function
2183         optimized for CONSTRAINT_LEN implementation.
2184         (write_tm_preds_h): Output insn_constraint_len inline and
2185         use it for CONSTRAINT_LEN.
2186         (write_insn_preds_c): Don't output insn_constraint_len.
2187         * doc/md.texi (define_register_constraint): Document multi-letter
2188         constraints shall have the same length if they start with the same
2189         letter.
2190
2191 2007-04-03  Uros Bizjak  <ubizjak@gmail.com>
2192
2193         PR target/31175
2194         * config/i386/i386.md (isinf<mode>2): Expand only when
2195         TARGET_C99_FUNCTIONS is set.
2196
2197 2007-04-03  Uros Bizjak  <ubizjak@gmail.com>
2198
2199         * config.gcc (i[34567]86-*-linux*): Add i386/t-crtpc to tm-file.
2200         (x86_64-*-linux*): Ditto.
2201         * config/i386/i386.opt (mpc): New option.
2202         * config/i386/i386.c (overrride_options): Handle
2203         ix87_precision_string.
2204         * config/i386/crtprec.c: New file.
2205         * config/i386/t-crtpc: Ditto.
2206         * config/i386/linux.h (ENDFILE_SPEC): Add handling of -mpc32, -mpc64
2207         and -mpc80 options.
2208         * config/i386/linux64.h (ENDFILE_SPEC): Ditto.
2209         * config/i386/t-linux64 (EXTRA_MULTILIB_PARTS): Add
2210         crtprec32.o, crtprec64.o and crtprec80.o.
2211
2212         * doc/invoke.texi (Machine Dependent Options): Add -mpc32, -mpc64
2213         and -mpc80 options.
2214         (i386 and x86-64 Options): Document -mpc32, -mpc64 and -mpc80 options.
2215
2216 2007-04-02  Eric Christopher  <echristo@apple.com>
2217
2218         * doc/invoke.texi (i386 and x86-64 Options): Document -m64
2219         limitations on darwin.
2220
2221 2007-04-02  Anatoly Sokolov <aesok@post.ru>
2222
2223         PR target/31137
2224         * config/avr/avr.c (avr_rtx_costs): Add missing 'break' statements.
2225
2226 2007-04-02  Dave Korn  <dave.korn@artimi.com>
2227
2228         * doc/tm.texi (FUNCTION_MODE): Update and extend documentation.
2229
2230 2007-04-02  Dave Korn  <dave.korn@artimi.com>
2231
2232         * libgcc2.h (exception_descriptor): Don't forward-declare.
2233         (__get_eh_table_language, __get_eh_table_version): Delete
2234         prototypes of long-dead functions.
2235
2236 2007-04-01  Daniel Berlin  <dberlin@dberlin.org>
2237
2238         * ebitmap.h: New file
2239         * ebitmap.c: New file
2240         * Makefile.in (ebitmap.o): New target.
2241
2242 2007-04-01  Jan Hubicka  <jh@suse.cz>
2243
2244         * emit-rtl.c (emit_insn_before_setloc): Do not ICE when asked to emit
2245         before very first instruction.
2246
2247 2007-04-01  Jan Hubicka  <jh@suse.cz>
2248
2249         * ggc-page.c (ggc_print_statistics): Fix formatting string to avoid
2250         waring on 64bit hosts.
2251         * bitmap.h: Fix typo in bitmap_head_def.
2252
2253 2007-04-01  Steven Bosscher  <steven@gcc.gnu.org>
2254
2255         PR rtl-optimization/31391
2256         * cfgcleanup.c (try_optimize_cfg): If a removed label is turned
2257         into a DELETED_LABEL note, and the label is in an empty basic
2258         block, update BB_END as well as BB_HEAD.
2259
2260 2007-04-01  Richard Henderson  <rth@redhat.com>
2261
2262         PR tree-optimization/31169
2263         * tree-vrp.c (extract_range_from_binary_expr) <RSHIFT_EXPR>: Drop
2264         to varying if the range is outside [0,  prec-1].
2265
2266 2007-04-01  Richard Sandiford  <richard@codesourcery.com>
2267
2268         PR target/31388
2269         * config/mips/mips.md (load_const_gp): New insn.
2270         * config/mips/mips.c (mips_split_symbol): Avoid using or creating
2271         the MIPS16 GP pseudo register if no_new_pseudos.
2272         (mips16_gp_pseudo_reg): Use gen_load_const_gp.
2273
2274 2007-03-31  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2275
2276         PR target/31364
2277         * config/rs6000/rs6000.md (call): Convert to LR hard reg for
2278         secureplt.
2279         (call_value): Likewise.
2280
2281 2007-03-31  Wolfgang Bangerth  <bangerth@dealii.org>
2282             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2283
2284         PR 14737
2285         * doc/invoke.texi: (optimization options): Reword description
2286         of -ffast-math. Document its primary purpose.
2287
2288 2007-03-31  Richard Guenther  <rguenther@suse.de>
2289
2290         * omp-low.c (splay-tree.h): Include.
2291         (lookup_decl): Replace splay-tree usage by pointer-map.
2292         (maybe_lookup_decl): Likewise.
2293         (new_omp_context): Likewise.
2294         (delete_omp_context): Likewise.
2295         * gimplify.c (splay-tree.h): Include.
2296         * tree-inline.c (insert_decl_map): Replace splay-tree usage by
2297         pointer-map.
2298         (remap_ssa_name): Likewise.
2299         (remap_decl): Likewise.
2300         (remap_type_1): Likewise.
2301         (remap_type): Likewise.
2302         (copy_body_r): Likewise.
2303         (expand_call_inline): Likewise.
2304         (clone_body): Likewise.
2305         (copy_tree_r): Likewise.
2306         (remap_save_expr): Likewise.
2307         (unsave_r): Likewise.
2308         (unsave_expr_now): Likewise.
2309         (tree_function_versioning): Likewise.
2310         (build_duplicate_type): Likewise.
2311         * tree-inline.h (pointer-set.h): Include instead of splay-tree.h.
2312         (struct copy_body_data): Replace splay-tree by pointer-map.
2313         * Makefile.in (TREE_INLINE_H): Depend on pointer-map.h,
2314         not $(SPLAY_TREE_H).
2315         (gimplify.o): Depend on $(SPLAY_TREE_H).
2316         (omp-low.p): Likewise.
2317
2318 2007-03-31  Anatoly Sokolov <aesok@post.ru>
2319
2320         * config/avr/predicates.md (even_register_operand,
2321         odd_register_operand): New predicates.
2322         * config/avr/avr.md (movw peephole2): New.
2323         (movw_r peephole2): New.
2324
2325 2007-03-30  Rafael Avila de Espindola  <espindola@google.com>
2326
2327         * tree.h (get_signed_or_unsigned_type): New.
2328         * fold-const.c (operand_equal_for_comparison_p): Use
2329         get_signed_or_unsigned_type instead of
2330         lang_hooks.types.signed_or_unsigned_type.
2331         * expr.c (store_expr): Ditto.
2332         * langhooks.c (get_signed_or_unsigned_type): New.
2333         (lhd_signed_or_unsigned_type): New.
2334         * langhooks.h (lhd_signed_or_unsigned_type): New.
2335         * langhooks-def.h (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Define.
2336
2337 2007-03-30  Richard Henderson  <rth@redhat.com>
2338
2339         * tree-ssa-loop-ivopts.c: Include target.h.
2340         (produce_memory_decl_rtl): Pass the rtx through encode_section_info.
2341         (get_address_cost): Force SYMBOL_FLAG_LOCAL set.
2342         (force_expr_to_var_cost): Use produce_memory_decl_rtl.
2343         * Makefile.in (tree-ssa-loop-ivopts.o): Depend on TARGET_H.
2344
2345 2007-03-30  Richard Henderson  <rth@redhat.com>
2346             Kai Tietz  <kai.tietz@onevision.com>
2347
2348         * config/i386/cygming.h (DWARF2_DEBUGGING_INFO): Enable by
2349         default for 64-bit.
2350         (PREFERRED_DEBUGGING_TYPE): Prefer dwarf2 for 64-bit.
2351         (TARGET_64BIT_MS_ABI): New.
2352         (DBX_REGISTER_NUMBER): Handle 64-bit.
2353         (SIZE_TYPE, PTRDIFF_TYPE): Use long long for 64-bit.
2354         (LONG_TYPE_SIZE): Force to 32.
2355         (REG_PARM_STACK_SPACE): New.
2356         (OUTGOING_REG_PARM_STACK_SPACE): New.
2357         (REGPARM_MAX, SSE_REGPARM_MAX): New.
2358         (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
2359         (STACK_BOUNDARY): Use 128 for 64-bit.
2360         * config/i386/cygwin.asm: Use push/ret to preserve call stack.
2361         Add 64-bit implementation.
2362         * config/i386/gthr-win32.c (__gthr_win32_key_create): Mark dtor
2363         argument unused.
2364         * config/i386/i386.c (x86_64_ms_abi_int_parameter_registers): New.
2365         (override_options): Set ix86_cmodel for TARGET_64BIT_MS_ABI.
2366         Warn for -mregparm, -mrtd in 64-bit mode; force ix86_regparm
2367         for 64-bit; use TARGET_SUBTARGET64_DEFAULT.
2368         (ix86_handle_cconv_attribute): Don't warn when ignoring if
2369         TARGET_64BIT_MS_ABI.
2370         (ix86_function_arg_regno_p): Handle TARGET_64BIT_MS_ABI.
2371         (ix86_pass_by_reference): Likewise.
2372         (ix86_function_value_regno_p): Likewise.
2373         (ix86_build_builtin_va_list): Likewise.
2374         (ix86_va_start, ix86_gimplify_va_arg): Likewise.
2375         (function_arg_advance_ms_64): New.
2376         (function_arg_advance): Call it.
2377         (function_arg_ms_64): New.
2378         (function_arg): Call it.
2379         (function_value_ms_64): New.
2380         (ix86_function_value_1): Call it.
2381         (return_in_memory_ms_64): New.
2382         (ix86_return_in_memory): Call it.
2383         (setup_incoming_varargs_ms_64): New.
2384         (ix86_setup_incoming_varargs): Call it.
2385         (ix86_expand_prologue): Handle 64-bit stack probing.
2386         (legitimize_pic_address): Handle TARGET_64BIT_MS_ABI.
2387         (output_pic_addr_const): Likewise.
2388         (x86_this_parameter): Likewise.
2389         (x86_output_mi_thunk): Likewise.
2390         (x86_function_profiler): Likewise.
2391         (TARGET_STRICT_ARGUMENT_NAMING): New.
2392         * config/i386/i386.h (TARGET_SUBTARGET64_DEFAULT): New.
2393         (TARGET_64BIT_MS_ABI): New.
2394         (CONDITIONAL_REGISTER_USAGE): Handle TARGET_64BIT_MS_ABI.
2395         * config/i386/i386.md (allocate_stack_worker): Remove.
2396         (allocate_stack_worker_32): Rename from allocate_stack_worker_1;
2397         describe the clobber of eax without a match_scratch.
2398         (allocate_stack_worker_postreload): Remove.
2399         (allocate_stack_worker_64): Rename from allocate_stack_worker_rex64;
2400         describe the clobbers of rax, r10, r11 properly; use __chkstk symbol.
2401         (allocate_stack_worker_rex64_postreload): Remove.
2402         (allocate_stack): Handle 64-bit.
2403         * config/i386/i386elf (TARGET_SUBTARGET_DEFAULT): Remove.
2404         * config/i386/mingw32.h (TARGET_VERSION): Set correctly for 64-bit.
2405         (EXTRA_OS_CPP_BUILTINS): Handle 64-bit.
2406         (STANDARD_INCLUDE_DIR): Handle TARGET_64BIT_DEFAULT.
2407         (STANDARD_STARTFILE_PREFIX_1): Likewise.
2408         * config/i386/unix.h (TARGET_SUBTARGET64_DEFAULT): New.
2409         * config.build (x86_64-*-mingw*): New host.
2410         * config.host (x86_64-*-mingw*): New host.
2411         * config.gcc (x86_64-*-mingw*): New target.
2412         * gthr-win32.h (__gthread_key_create): Mark dtor unused.
2413
2414 2007-03-30  Richard Henderson  <rth@redhat.com>
2415             Kai Tietz  <kai.tietz@onevision.com>
2416
2417         * c-pragma.c (struct def_pragma_macro_value): New.
2418         (struct def_pragma_macro): New.
2419         (pushed_macro_table): New.
2420         (dpm_hash, dpm_eq): New.
2421         (handle_pragma_push_macro, handle_pragma_pop_macro): New.
2422         (init_pragma): Install them.
2423         * doc/tm.texi (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
2424
2425 2007-03-30  Anatoly Sokolov <aesok@post.ru>
2426
2427         * config/avr/avr.c (avr_override_options): Clear
2428         'flag_delete_null_pointer_checks'.
2429
2430 2007-03-30  Paolo Carlini  <pcarlini@suse.de>
2431
2432         PR c++/26099
2433         * c-common.h (enum rid): Add RID_HAS_NOTHROW_ASSIGN,
2434         RID_HAS_NOTHROW_CONSTRUCTOR, RID_HAS_NOTHROW_COPY,
2435         RID_HAS_TRIVIAL_ASSIGN, RID_HAS_TRIVIAL_CONSTRUCTOR,
2436         RID_HAS_TRIVIAL_COPY, RID_HAS_TRIVIAL_DESTRUCTOR,
2437         RID_HAS_VIRTUAL_DESTRUCTOR, RID_IS_ABSTRACT, RID_IS_BASE_OF,
2438         RID_IS_CONVERTIBLE_TO, RID_IS_CLASS, RID_IS_EMPTY, RID_IS_ENUM,
2439         RID_IS_POD, RID_IS_POLYMORPHIC, RID_IS_UNION, as
2440         C++ extensions.
2441         * doc/extend.texi (Extensions to the C++ Language): Add Type Traits.
2442
2443 2007-03-30  Steven Bosscher  <steven@gcc.gnu.org>
2444
2445         * regmove.c: Move all of pass_stack_adjustments from here...
2446         * combine-stack-adj.c: ...to this new file.
2447         * Makefile.in: Add rules for combine-stack-adj.o.
2448
2449 2007-03-30  Zdenek Dvorak  <dvorakz@suse.cz>
2450
2451         PR tree-optimization/31383
2452         * tree-data-ref.c (affine_function_equal_p): Do not require the vectors
2453         to have the same length.
2454
2455 2007-03-30  Jan Hubicka  <jh@suse.cz>
2456
2457         PR middle-end/30700
2458         * dwarf2out.c (reference_to_unused): Ask cgraph for functions
2459         availablility; add more sanity checking; ask varpool only about
2460         VAR_DECL.
2461
2462 2007-03-29  Richard Henderson  <rth@redhat.com>
2463
2464         * unwind-generic.h (_sleb128_t, _uleb128_t): Don't use HAVE_LONG_LONG
2465         to decide, but __SIZEOF_LONG_LONG__.
2466
2467 2007-03-29  Richard Henderson  <rth@redhat.com>
2468
2469         * emutls.c (struct __emutls_array): New.
2470         (emutls_destroy): Use it instead of casting element 0 from void*.
2471         (__emutls_get_address): Likewise.
2472
2473 2007-03-29  Richard Henderson  <rth@redhat.com>
2474
2475         * varasm.c (initializer_constant_valid_p): Don't deny
2476         DECL_DLLIMPORT_P on functions.
2477
2478         * config/i386/cygming.h: Remove function declarations.
2479         (SUBTARGET_ENCODE_SECTION_INFO): Don't undef first.
2480         (ASM_OUTPUT_LABELREF): Remove.
2481         (COMMON_ASM_OP): Remove.
2482         (ASM_OUTPUT_COMMON): Remove.
2483         (ASM_OUTPUT_ALIGNED_DECL_COMMON): New.
2484         (ASM_DECLARE_OBJECT_NAME): Use i386_pe_maybe_record_exported_symbol.
2485         (ASM_DECLARE_FUNCTION_NAME): Likewise.
2486         * config/i386/i386-interix.h (SUBTARGET_ENCODE_SECTION_INFO):
2487         Rename from TARGET_ENCODE_SECTION_INFO.
2488         * config/i386/netware.h: Likewise.
2489         * config/i386/i386-protos.h: Update.
2490         * config/i386/i386.c (ix86_function_ok_for_sibcall): Turn ifdef
2491         of TARGET_DLLIMPORT_DECL_ATTRIBUTES into straight if.
2492         (legitimate_constant_p): Reject dllimports.
2493         (dllimport_map, get_dllimport_decl): New.
2494         (legitimize_dllimport_symbol): New.
2495         (legitimize_address, ix86_expand_move): Use it.
2496         (TARGET_BINDS_LOCAL_P): Redefine for TARGET_DLLIMPORT_DECL_ATTRIBUTES.
2497         * config/i386/i386.h (DLL_IMPORT_EXPORT_PREFIX): Remove.
2498         (SYMBOL_FLAG_DLLIMPORT, SYMBOL_REF_DLLIMPORT_P): New.
2499         (SYMBOL_FLAG_DLLEXPORT, SYMBOL_REF_DLLEXPORT_P): New.
2500         * config/i386/predicates.md (constant_call_address_operand): Only
2501         accept symbols; reject dllimport_p symbols.
2502         * config/i386/uwin.h (ASM_DECLARE_FUNCTION_NAME): Use
2503         i386_pe_maybe_record_exported_symbol.
2504         * config/i386/winnt.c (DLL_IMPORT_PREFIX, DLL_EXPORT_PREFIX): Remove.
2505         (i386_pe_determine_dllexport_p): Rename from i386_pe_dllexport_p.
2506         (i386_pe_determine_dllimport_p): Rename from i386_pe_dllimport_p;
2507         trust the setting of DECL_DLLIMPORT_P.
2508         (i386_pe_dllexport_name_p, i386_pe_dllimport_name_p): Remove.
2509         (i386_pe_mark_dllexport, i386_pe_mark_dllimport): Remove.
2510         (gen_stdcall_or_fastcall_suffix): Return NULL if no change required;
2511         tidy the argument scanning loop.
2512         (i386_pe_encode_section_info): Set SYMBOL_FLAG_DLLIMPORT and
2513         SYMBOL_FLAG_DLLEXPORT in SYMBOL_REF_FLAGS.
2514         (i386_pe_strip_name_encoding): Remove.
2515         (i386_pe_binds_local_p): New.
2516         (i386_pe_strip_name_encoding_full): Use default_strip_name_encoding.
2517         (i386_pe_output_labelref): Remove.
2518         (i386_pe_asm_output_aligned_decl_common): New.
2519         (i386_pe_maybe_record_exported_symbol): Rename from
2520         i386_pe_record_exported_symbol; check for dllexported symbols.
2521
2522 2007-03-29  Zack Weinberg  <zack@mrtock.ucsd.edu>
2523
2524         * gengtype.c (oprintf): Mostly revert changes from 2007-03-26;
2525         add comment explaining why vsnprintf cannot be used.
2526
2527 2007-03-29  Douglas Gregor  <doug.gregor@gmail.com>
2528
2529         PR tree-optimization/30666
2530         * tree.c (build_complex_type): When creating type names for DWARF2
2531         debug info, create TYPE_DECLs for TYPE_NAME instead of
2532         IDENTIFIER_NODEs.
2533         (build_common_tree_nodes_2): Use build_complex_type when building
2534         predefined complex types, to preserve canonical types.
2535
2536 2007-03-29  Steven Bosscher  <steven@gcc.gnu.org>
2537
2538         * ifcvt.c (struct noce_if_info): Add then_else_reversed field.
2539         (noce_get_alt_condition): Look at it to determine whether to
2540         reverse the condition or not.
2541         (noce_get_condition): Substitute the truth for lies.
2542         (noce_find_if_block): Set the then_else_reversed field.
2543
2544 2007-03-29  Lars Poeschel <larsi@wh2.tu-dresden.de>
2545
2546         * config/fr30/fr30.md (movdi): Do not accept immediates as the
2547         destination of this insn.
2548         * config/fr30/fr30.c (fr30_move_double): Use emit_move_insn rather
2549         than calling gen_rtx_SET directly.  Use r0 to hold the value of
2550         'address + 4' rather than a stack based temporary which can be
2551         mis-optimized away.
2552
2553 2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
2554
2555         * config/s390/s390.c (s390_secondary_input_reload_class,
2556         s390_secondary_output_reload_class): Functions removed.
2557         (s390_secondary_reload): New function.
2558         (TARGET_SECONDARY_RELOAD): Target macro defined.
2559         * config/s390/s390.h (SECONDARY_INPUT_RELOAD_CLASS,
2560         SECONDARY_OUTPUT_RELOAD_CLASS): Macro definitions removed.
2561         * config/s390/s390.md ("reload_outti", "reload_outdi",
2562         "reload_indi", "reload_insi", "reload_out<mode>", "reload_in<mode>",
2563         "reload_out<mode>"): Expanders removed.
2564         ("reload<mode>_plus", "reload<mode>_nonoffmem_in",
2565         "reload<mode>_nonoffmem_out"): Expanders added.
2566
2567 2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
2568
2569         * regmove.c (optimize_reg_copy_1): Don't perform DEST->SRC repair action if
2570         SRC->DEST replacement failed anyway.
2571
2572 2007-03-28  Mike Stump  <mrs@apple.com>
2573
2574         * config/darwin9.h (ASM_OUTPUT_ALIGNED_COMMON): Add.
2575         * config/darwin.h (MAX_OFILE_ALIGNMENT): Fix.
2576         * config/rs6000/darwin.h (ASM_OUTPUT_ALIGNED_COMMON): Removed #undef.
2577
2578 2007-03-28  Dwarakanath Rajagopal  <dwarak.rajagopal@amd.com>
2579
2580         * config.gcc: Accept barcelona as a variant of amdfam10.
2581         * config/i386/i386.c (override_options): Likewise.
2582         * doc/invoke.texi: Likewise.
2583
2584 2007-03-28  Eric Botcazou  <ebotcazou@adacore.com>
2585
2586         * tree-dfa.c (get_ref_base_and_extent): Do not expect positive
2587         offsets for BIT_FIELD_REF and COMPONENT_REF.
2588
2589 2007-03-28  Richard Guenther  <rguenther@suse.de>
2590
2591         * tree.c (is_global_var): Move ...
2592         * tree-flow-inline.h (is_global_var): ... here.
2593         * tree.h (is_global_var): Remove declaration.
2594
2595 2007-03-28  Uros Bizjak  <ubizjak@gmail.com>
2596
2597         * config/i386/i386.h (X86_TUNE_PROMOTE_HIMODE_IMUL): New tuning
2598         option.
2599         (TARGET_TUNE_PROMOTE_HIMODE_IMUL): New define. Use new tuning option.
2600         * config/i386/i386.c (ix86_tune_features): Initialize new
2601         tuning option.
2602         * config/i386/predicates.md (promotable_binary_operator): Use
2603         TARGET_TUNE_PROMOTE_HIMODE_IMUL.
2604
2605 2007-03-28  Grigory Zagorodnev <grigory_zagorodnev@linux.intel.com>
2606
2607         PR target/31380
2608         * config/i386/sse.md (uminv16qi3): Use UMIN instead of UMAX.
2609
2610 2007-03-28  Lars Poeschel <larsi@wh2.tu-dresden.de>
2611
2612         * config/fr30/fr30.md (movsi_internal): Change destination
2613         constraint from m to V and add m to the end.
2614
2615 2007-03-28  Christian Bruel  <christian.bruel@st.com>
2616
2617         * config/sh/sh.md (movsi_i): Fix type attribute.
2618
2619 2007-03-28  Christian Bruel  <christian.bruel@st.com>
2620
2621         * config/sh/sh.md (movsi_ie): Fix memory constraints attribute length.
2622         (movsf_ie): Likewise.
2623
2624 2007-03-28  Christian Bruel  <christian.bruel@st.com>
2625
2626         * config.gcc: Add sh4-300 to multilib.
2627         * config/sh/t-mlib-sh4-300: New file.
2628
2629 2007-03-28  Andreas Krebbel  <krebbel1@de.ibm.com>
2630
2631         * config/s390/s390.md ("fix_trunc<mode>di2"): New expander.
2632         ("fix_trunc<DFP:mode>di2_dfp"): New insn definition renamed from
2633         fix_trunc<mode>di2.
2634         ("fixuns_truncdddi2", "fixuns_trunctddi2"): Use
2635         fix_trunc<DFP:mode>di2_dfp instead of fix_trunc<mode>di2.
2636         ("fix_truncdfsi2", "fix_truncsfsi2", "fixuns_truncdddi2",
2637         "fixuns_trunctddi2"): Whitespace fix.
2638
2639 2007-03-28  Kaz Kojima  <kkojima@gcc.gnu.org>
2640
2641         * config/sh/sh.h (CALL_COOKIE_RET_TRAMP_SHIFT): Move after
2642         the definition of struct sh_args.
2643         (CALL_COOKIE_RET_TRAMP, CALL_COOKIE_STACKSEQ_SHIFT,
2644         CALL_COOKIE_INT_REG_GET): Likewise.
2645
2646 2007-03-28  Steven Bosscher  <steven@gcc.gnu.org>
2647
2648         * ifcvt.c (cond_exec_find_if_block): Return FALSE if no
2649         transformations are applied successfully.
2650
2651 2007-03-27  Douglas Gregor  <doug.gregor@gmail.com>
2652
2653         * tree.c (tree_contains_struct): Permit 512 tree codes.
2654         * tree.h (tree_contains_struct): Ditto.
2655         (MAX_TREE_CODES): Ditto.
2656         (struct tree_base): Make CODE 16 bits, instead of 8 bits. Add
2657         SPARE member to store remaining padding bits.
2658
2659 2007-03-27  Anatoly Sokolov <aesok@post.ru>
2660
2661         * config/avr/avr.c (avr_mcu_types): Move at90usb82 device to 'avr4'
2662         architecture.
2663
2664 2007-03-27  Janis Johnson  <janis187@us.ibm.com>
2665
2666         * configure.ac: Fix assembler test for powerpc*-linux decimal float.
2667         * configure: Regenerate.
2668
2669         * configure: Regenerate using the correct version of autoconf.
2670
2671 2007-03-27  Anatoly Sokolov  <aesok@post.ru>
2672
2673         * config/avr/avr.c (avr_hard_regno_mode_ok): Disallow QImode in stack
2674         pointer regs.
2675         * config/avr/avr.h (REGISTER_NAMES): Rename "__SPL__" and "__SPH__"
2676         regs to "__SP_L__" and "__SP_H__".
2677
2678 2007-03-27  Richard Guenther  <rguenther@suse.de>
2679
2680         * tree-dfa.c (get_ref_base_and_extent): Replace bit_offset and
2681         computations with it with a HOST_WIDE_INT variable.
2682
2683 2007-03-26  Mike Stump  <mrs@apple.com>
2684
2685         * config/rs6000/darwin.h (DARWIN_MINVERSION_SPEC): Add
2686         objective-c-header, objective-c++-header and objc++-cpp-output
2687         support.
2688         * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Likewise.
2689
2690 2007-03-26  Richard Henderson  <rth@redhat.com>
2691
2692         PR target/31361
2693         * config/i386/i386.c (IX86_BUILTIN_PSLLDQ128, IX86_BUILTIN_PSLLW128,
2694         IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128, IX86_BUILTIN_PSRAW128,
2695         IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128, IX86_BUILTIN_PSRLD128,
2696         IX86_BUILTIN_PSRLQ128): New.
2697         (ix86_init_mmx_sse_builtins): Add them.
2698         (ix86_expand_builtin): Expand them.
2699         * config/i386/sse.md (ashr<mode>3, lshr<mode>3, ashl<mode>3): Make
2700         operand 2 be TImode.
2701         * config/i386/emmintrin.h (_mm_slli_epi64, _mm_srai_epi16,
2702         _mm_srai_epi32, _mm_srli_epi16, _mm_srli_epi32,
2703         _mm_srli_epi64): Mark __B const.
2704         (_mm_srli_si128, _mm_srli_si128): Fix disabled inline versions.
2705         (_mm_sll_epi16, _mm_sll_epi32, _mm_sll_epi64, _mm_sra_epi16,
2706         _mm_sra_epi32, _mm_srl_epi16, _mm_srl_epi32, _mm_srl_epi64): Use
2707         new two-vector shift builtins.
2708
2709 2007-03-26  Ian Lance Taylor  <iant@google.com>
2710
2711         PR tree-optimization/31345
2712         * tree-vrp.c (extract_range_from_binary_expr): Turn ranges like
2713         [+INF, +INF(OVF)] into VARYING.
2714
2715 2007-03-26  Zack Weinberg  <zackw@panix.com>
2716
2717         * gengtype-parse.c: New file.
2718         * gengtype-yacc.y: Delete.
2719         * gengtype-lex.l: Don't include gengtype-yacc.h.
2720         Define YY_DECL and yyterminate appropriately for recursive
2721         descent parser.  yylval is now a string out-parameter to yylex.
2722         (HWS, EOID): New shorthand.
2723         (IWORD): Add a couple more types.
2724         (yylex): Add a setup stanza.  Remove the complex rules for
2725         detecting GTY'ed types and typedefs; replace with simple
2726         keyword detectors.  Adjust everything for the changed
2727         definition of yylval.  Ignore all pp-directives, not just #define.
2728         (yyerror): Delete.
2729         (parse_file): Rename yybegin; do not call yyparse.
2730         (yyend): New.
2731         * gengtype.c (xasprintf): Export again.
2732         (this_file): New.  Use everywhere __FILE__ was being used.
2733         (get_lang_bitmap): Special case types defined in gengtype.c.
2734         (do_typedef, new_structure): Suppress definition of certain types.
2735         (new_structure): Improve diagnostics of duplicate definitions.
2736         Make sure location_s is associated with input.h.
2737         (nreverse_pairs, define_location_structures): New functions.
2738         (main): Improve tagging of kludge types.  Remove old kludges
2739         for input.h types; use define_location_structures.
2740         * gengtype.h: Update prototypes.  Define token codes here.
2741         * Makefile.in: Remove all references to gengtype-yacc.
2742         Add rules for gengtype-parse.o.  Adjust rules for gengtype-lex.o
2743         and gengtype.
2744         * bitmap.h (struct bitmap_head_def): Coalesce definitions,
2745         add GTY((skip)) to the field that's only conditionally there.
2746         * doc/install.texi: Document that Bison is no longer required
2747         unless building treelang.
2748
2749         * gengtype.c: Don't include gtyp-gen.h.
2750         (srcdir): Declare here.
2751         (base_files, lang_dir_names): Allocate dynamically.
2752         (gt_files, num_gt_files, num_lang_dirs): New globals.
2753         (measure_input_list, read_input_line, read_input_list)
2754         (set_lang_bitmap): New functions.
2755         (get_base_file_bitmap): Rename get_lang_bitmap and drastically
2756         simplify, relying on read_input_list to set up the bitmaps.
2757         (main): Arguments are no longer unused.  Check for correct number
2758         of command line arguments, set srcdir and srcdir_len, then call
2759         read_input_list, before doing anything else.  No need to worry
2760         about duplicates in main loop.
2761         * configure.ac: Simplify the calculation of all_gtfiles.
2762         Put language tags in there.  Don't set or substitute
2763         all_gtfiles_files_langs or all_gtfiles_files_frags.
2764         * Makefile.in: Revamp the way gengtype is invoked, now that it
2765         takes a file on its command line with a much simpler format.
2766         Remove or replace with gtyp-input.list all references to gtyp-gen.h.
2767         (GTFILES): Remove duplicates and C source files.
2768         * c-config-lang.in, cp/config-lang.in, objc/config-lang.in
2769         * objcp/config-lang.in: Add c-pragma.h to gtfiles.
2770         * configure: Regenerate.
2771
2772         * gengtype.h: Remove all type definitions to gengtype.c; leave
2773         only definitions of options_p, type_p, and pair_p as opaque
2774         pointers.  Update prototypes.
2775         * gengtype.c: Many type definitions moved here from gengtype.h.
2776         Consolidate type definitions at the top of the file.
2777         (xvasprintf): Delete.
2778         (xasprintf): Make static.
2779         (create_nested_pointer_option): Add 'next' parameter.
2780         (create_field_all, create_field_at): New functions.
2781         (create_field): Now a thin wrapper around create_field_all.
2782         (create_optional_field): Rename create_optional_field_ and add
2783         line argument.  Original name is now a macro which supplies
2784         __LINE__.
2785         (oprintf): Use vsnprintf directly.
2786         (close_output_files): Use fatal rather than perror/exit.
2787         (note_def_vec, note_def_vec_alloc): Use create_field_at.
2788         (main): Set progname.  Don't use exit.
2789         * gengtype-yacc.y (struct_fields): Use create_field_at.
2790         (option, optionseqopt): Delete.
2791         (optionseq): Consolidate productions from option here so we
2792         can use the first argument to create_option.
2793
2794         * gengtype-lex.l: Distinguish unions from structures in the
2795         token type.  Don't call find_structure; return the tag as a string.
2796         * gengtype-yacc.y: Add new token types ENT_TYPEDEF_UNION and ENT_UNION.
2797         Type of these, ENT_TYPEDEF_STRUCT, and ENT_STRUCT is string.
2798         Reorganize typedef_struct production accordingly.
2799         Use create_nested_ptr_option.
2800         * gengtype.c (create_nested_ptr_option): New function.
2801         * gengtype.h: Declare it.
2802
2803         * gengtype.h (struct type): Replace 'sc' with boolean, scalar_is_char.
2804         (string_type): Don't declare.
2805         (do_scalar_typedef): Declare.
2806         (create_scalar_type): Update prototype.
2807         * gengtype.c (string_type): Make static.
2808         (scalar_nonchar, scalar_char): New.
2809         (do_scalar_typedef): Export.  Always use scalar_nonchar for the type.
2810         (resolve_typedef): Use scalar_nonchar for error recovery.
2811         (create_scalar_type): Remove name_len field.  Return scalar_char
2812         or scalar_nonchar as appropriate.
2813         (adjust_field_type): Look at scalar_is_char boolean to decide whether
2814         to use string_type.
2815         (throughout): Use scalar_nonchar instead of calling create_scalar_type,
2816         whenever possible.
2817         (main): Initialize scalar_char and scalar_nonchar before calling
2818         gen_rtx_next.
2819         * gengtype-lex.l: Adjust for removal of second argument to
2820         create_scalar_type.  Use yylval.s instead of yylval.t when
2821         returning SCALAR.
2822         * gengtype-yacc.y: Type of SCALAR is string.  Call
2823         create_scalar_type from type:SCALAR rule.  Adjust for removal of
2824         second argument to create_scalar_type.
2825
2826         * vec.h: Remove all #if IN_GENGTYPE blocks.
2827         Add comment saying that changes may require adjustments to gengtype.
2828         * gengtype.c: Don't include coretypes.h or tm.h.
2829         Add comment to inclusion of errors.h.
2830         (note_def_vec, note_def_vec_alloc): New functions.
2831         * gengtype.h: Declare new functions.
2832         * gengtype-lex.l: Don't include coretypes.h.
2833         (YY_INPUT, macro_input, push_macro_expansion, mangle_macro_name):
2834         Delete.
2835         (update_lineno): Remove unnecessary prototype.
2836         (DEF_VEC_* rules): Simplify using note_def_vec / note_def_vec_alloc.
2837         (VEC rule): Just return VEC_TOKEN.
2838         * gengtype-yacc.y (VEC_TOKEN): New token type.
2839         (type): Add a production for VEC(a,b).
2840         * Makefile.in: Update dependencies.
2841
2842         * gengtype-lex.l: Remove rules for parsing pointer-to-function
2843         typedefs that use the old PARAMS macro.
2844
2845         * gengtype-lex.l: Remove all rules and states relating to yacc
2846         input files.
2847         * gengtype-yacc.y: Similarly.
2848         * gengtype.c (note_yacc_type): Delete function.
2849         * gengtype.h: Update prototypes.
2850
2851 2007-03-26  Joseph Myers  <joseph@codesourcery.com>
2852
2853         * tree-pretty-print.c (dump_generic_node): Report precision of
2854         unnamed integer types.
2855
2856 2007-03-26  Steven Bosscher  <steven@gcc.gnu.org>
2857
2858         * ifcvt.c (noce_try_store_flag_constants): Don't check
2859         no_new_pseudos here.
2860         (noce_try_store_flag_constants): Don't check no_new_pseudos.
2861         (noce_try_addcc, noce_try_store_flag_mask, noce_try_cmove_arith,
2862         noce_try_cmove_arith, noce_try_minmax, noce_try_abs,
2863         noce_try_sign_mask): Likewise.
2864         (if_convert): Check no_new_pseudos here.
2865
2866         (cond_exec_process_if_block, noce_process_if_block, find_if_block):
2867         Remove prototypes.
2868         (struct noce_if_info): Add then_bb, else_bb, join_bb members.
2869         (noce_get_condition): Handle new then_else_reversed argument.
2870         (noce_init_if_info): Remove, fold into noce_find_if_block.
2871         (noce_process_if_block): Take a struct noce_if_info as the
2872         argument.  Don't set up one based on ce_if_info.  Update pointer
2873         references accordingly.
2874         (cond_move_process_if_block): Likewise.
2875         (process_if_block): Removed.
2876         (find_if_block): Removed.  Move functionality two new functions,
2877         noce_find_if_block and cond_exec_find_if_block.
2878         (noce_find_if_block): New function.  Be aware of IF-THEN-JOIN
2879         blocks and the symmetric IF-ELSE-JOIN case.
2880         (cond_exec_find_if_block): Also new function mostly based on old
2881         find_if_block and process_if_block.
2882         (find_if_header): Replace find_if_block call with separately
2883         guarded calls to noce_find_if_block and cond_exec_find_if_block.
2884         (find_cond_trap): Update noce_get_condition call.
2885         (dead_or_predicable): Likewise.
2886
2887 2007-03-26  Jakub Jelinek  <jakub@redhat.com>
2888
2889         * config/i386/i386.c (IX86_BUILTIN_CMPNEPD, IX86_BUILTIN_CMPNESD):
2890         Remove.
2891         (IX86_BUILTIN_PSLLW128, IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128,
2892         IX86_BUILTIN_PSRAW128, IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128,
2893         IX86_BUILTIN_PSRLD128, IX86_BUILTIN_PSRLQ128): Remove.
2894         (ix86_init_mmx_sse_builtins): Remove v8hi_ftype_v8hi_v2di and
2895         v4si_ftype_v4si_v2di.  Remove __builtin_ia32_psllw128,
2896         __builtin_ia32_pslld128, __builtin_ia32_psllq128,
2897         __builtin_ia32_psrlw128, __builtin_ia32_psrld128,
2898         __builtin_ia32_psrlq128, __builtin_ia32_psraw128 and
2899         __builtin_ia32_psrad128 builtins.
2900
2901 2007-03-26  Uros Bizjak  <ubizjak@gmail.com>
2902
2903         * reg-stack.c (replace_reg): Use IN_RANGE macro in gcc_assert().
2904         * config/i386/constraints.md
2905         (define_constraint "I"): Use IN_RANGE macro.
2906         (define_constraint "J"): Ditto.
2907         (define_constraint "K"): Ditto.
2908         (define_constraint "M"): Ditto.
2909         (define_constraint "N"): Ditto.
2910         (define_constraint "O"): Ditto.
2911         * config/i386/predicates.md
2912         (define_predicate "register_no_elim_operand"): Use IN_RANGE macro.
2913         (define_predicate "const_0_to_3_operand"): Ditto.
2914         (define_predicate "const_0_to_7_operand"): Ditto.
2915         (define_predicate "const_0_to_15_operand"): Ditto.
2916         (define_predicate "const_0_to_63_operand"): Ditto.
2917         (define_predicate "const_0_to_255_operand"): Ditto.
2918         (define_predicate "const_1_to_31_operand"): Ditto.
2919         (define_predicate "const_2_to_3_operand"): Ditto.
2920         (define_predicate "const_4_to_7_operand"): Ditto.
2921
2922 2007-03-25  David Edelsohn  <edelsohn@gnu.org>
2923
2924         * config/rs6000/rs6000.c (rs6000_emit_prologue): Always clobber LR
2925         in SImode for save_world.
2926         * config/rs6000/altivec.md (save_world, restore_world): Convert to
2927         LR hard reg.
2928
2929 2007-03-25  Dorit Nuzman  <dorit@il.ibm.com>
2930
2931         PR tree-optimization/30784
2932         * fold-const.c (fold_ternary): Handle CONSTRUCTOR in case
2933         BIT_FIELD_REF.
2934
2935 2007-03-25  Revital Eres  <eres@il.ibm.com>
2936
2937         * tree-if-conv.c (if_convertible_gimple_modify_stmt_p):
2938           Fold movement_possibility function into it.
2939
2940 2007-03-25  David Edelsohn  <edelsohn@gnu.org>
2941
2942         * config/rs6000/darwin.md (load_macho_picbase): Ignore operand 0.
2943         (load_macho_picbase_{si,di}): Convert to LR hard reg.
2944         (call_indirect_nonlocal_darwin64): Same.
2945         (call_nonlocal_darwin64): Same.
2946         (call_value_indirect_nonlocal_darwin64): Same.
2947         (call_value_nonlocal_darwin64): Same.
2948         (sibcall_nonlocal_darwin64): Same.
2949         (sibcall_value_nonlocal_darwin64): Same.
2950         (sibcall_symbolic_64): Same.
2951         (sibcall_value_symbolic_64): Same.
2952         * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Remove
2953         LR pseudo.
2954         (rs6000_emit_load_toc_table): Same.
2955         * config/rs6000/altivec.md (restore_world): Convert to LR hard reg.
2956         * config/rs6000/rs6000.md (mulh_call): Convert to LR hard reg.
2957         (mull_call): Same.
2958         (divss_call): Same.
2959         (divus_call): Same.
2960         (quoss_call): Same.
2961         (quous_call): Same.
2962         (load_toc_v4_pic_si): Same
2963         (load_toc_v4_PIC_1): Same.
2964         (load_toc_v4_PIC_1b): Same.
2965         (call_indirect_aix{32,64}): Same.
2966         (call_value_indirect_aix{32,64}): Same.
2967         (call): Same.
2968         (call_value): Same.
2969         (call_local{32,64}): Same.
2970         (call_value_local{32,64}): Same.
2971         (call_indirect_nonlocal_aix{32,64}): Same.
2972         (call_nonlocal_aix{32,64}): Same.
2973         (call_value_indirect_nonlocal_aix{32,64}): Same.
2974         (call_value_nonlocal_aix{32,64}): Same.
2975         (call_indirect_nonlocal_sysv<mode>): Same.
2976         (call_nonlocal_sysv<mode>): Same.
2977         (call_value_indirect_nonlocal_sysv<mode>): Same.
2978         (call_value_nonlocal_sysv<mode>): Same.
2979         (sibcall): Same.
2980         (sibcall_local{32,64}): Same.
2981         (sibcall_value_local{32,64}): Same.
2982         (sibcall_nonlocal_aix{32,64}): Same.
2983         (sibcall_value_nonlocal_aix{32,64}): Same.
2984         (sibcall_nonlocal_sysv<mode>): Same.
2985         (sibcall_value): Same.
2986         (sibcall_value_nonlocal_sysv<mode>): Same.
2987
2988 2007-03-24  Paul Brook  <paul@codesourcery.com>
2989
2990         * config/arm/lib1funcs.asm (div0): Use ARM_FUNC_START and do_push.
2991         * config/arm/linux-eabi.h: Remove legacy syscall hack.
2992
2993 2007-03-24  Richard Henderson  <rth@redhat.com>
2994
2995         * config/ia64/constraints.md: New file.
2996         * config/ia64/predicates.md: Replace CONST_OK_FOR_? with
2997         satisfies_constraint_?.
2998         * config/ia64/ia64.c (ia64_move_ok, ia64_legitimate_constant_p,
2999         ia64_reload_gp, spill_restore_mem, ia64_expand_prologue,
3000         ia64_expand_epilogue, ia64_split_return_addr_rtx, ia64_rtx_costs,
3001         ia64_output_mi_thunk): Likewise.
3002         (ia64_const_ok_for_letter_p): Remove.
3003         (ia64_const_double_ok_for_letter_p): Remove.
3004         (ia64_extra_constraint): Remove.
3005         * config/ia64/ia64.h (REG_CLASS_FROM_LETTER): Remove.
3006         (CONST_OK_FOR_I, CONST_OK_FOR_J, CONST_OK_FOR_K, CONST_OK_FOR_L,
3007         CONST_OK_FOR_M, CONST_OK_FOR_N, CONST_OK_FOR_O, CONST_OK_FOR_P,
3008         CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_G,
3009         CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT,
3010         EXTRA_MEMORY_CONSTRAINT): Remove.
3011         * config/ia64/ia64.md: Include constriants.md.  Replace
3012         CONST_OK_FOR_? with satisfies_constraint_?.
3013
3014 2007-03-23  Michael Meissner  <michael.meissner@amd.com>
3015             H.J. Lu  <hongjiu.lu@intel.com>
3016
3017         * config/dfp-bit.h (DPD_BID_NAME): New macro to give either the
3018         DPD or BID name.
3019         (name macros): Use DPD_BID_NAME to convert names properly.
3020
3021         * optabs.c (DECIMAL_PREFIX): Prefix string to use for the current
3022         decimal floating point format.
3023         (init_floating_libfuncs): Change decimal functions so that they
3024         have a "bid_" prefix if the decimal system uses the BID format,
3025         and "dpd_" prefix if the decimal system uses the DPD format.
3026         (init_interclass_conv_libfuncs): Ditto.
3027         (init_intraclass_conv_libfuncs): Ditto.
3028
3029         * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
3030         using the BID format.
3031
3032         * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
3033         whether we are using the BID decimal format.
3034         * configure: Regenerate.
3035
3036         * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
3037         the compiler has decimal floating point enabled.  Define
3038         __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
3039         instead of DPD.
3040
3041         * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
3042         using the BID format.
3043
3044         * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
3045         whether we are using the BID decimal format.
3046         * configure: Regenerate.
3047
3048         * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
3049         the compiler has decimal floating point enabled.  Define
3050         __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
3051         instead of DPD.
3052
3053         * doc/install.texi (--enable-decimal-float): Document BID and DPD
3054         options, and that it is enabled for i386/x86_64 systems.
3055
3056         * Makefile.in (enable_decimal_float): New.
3057         (DECNUMFMT): New.
3058         (DECNUMINC): Add  -I$(DECNUMFMT).
3059         (DECNUM_H): Mov decimal32.h, decimal64.h and decimal128.h
3060         to $(DECNUMFMT) from $(DECNUM).
3061
3062         * configure.ac: Support * --enable-decimal-float={no,yes,bid,dpd}.
3063         Substitute enable_decimal_float.
3064         * configure: Regenerated.
3065
3066         PR other/30529
3067         * config/dfp-bit.c (__dec_byte_swap): Use uint32_t instead of
3068         unsigned long.
3069
3070         * configure.ac: Enable decimal float for x86_64-*-linux*.
3071         * configure: Regenerated.
3072
3073         PR other/30530
3074         * dfp.c (decimal_real_arithmetic): Use decimal128FlipSign and
3075         decimal128ClearSign to flip and clear the sign bit in decimal128.
3076         (decimal_real_maxval): Set decimal128SetSign to set the sign
3077         bit in decimal128.
3078
3079 2007-03-23  Ian Lance Taylor  <iant@google.com>
3080
3081         * fold-const.c (fold_binary): Correct warning for X - c >= X.
3082
3083 2007-03-23  Ian Lance Taylor  <iant@google.com>
3084
3085         * tree-dump.c (dump_files): Correct comment.
3086
3087 2007-03-23  Ian Lance Taylor  <iant@google.com>
3088
3089         * tree-vrp.c (operand_less_p): Ignore fold overflow warnings.
3090
3091 2007-03-23  Steven Bosscher  <steven@gcc.gnu.org>
3092
3093         * tracer.c (tracer): Don't take FLAGS argument.  Assert we are
3094         in cfglayout mode.  Don't go into and out of cfglayout mode.
3095         Link the blocks in the order of the constructed traces.
3096         (rest_of_handle_tracer): Adjust call to tracer.
3097         * loop-init.c (rtl_loop_init): Assert we are in cfglayout mode.
3098         Don't go into cfglayout mode.
3099         (rtl_loop_done): Don't go out of cfglayout mode.
3100         * cfglayout.c (relink_block_chain): New function, split out from...
3101         (fixup_reorder_chain): ...here.  Remove redundant checking.
3102         (cfg_layout_finalize): Don't clear the header, footer, and aux
3103         fields here, move the code to do so to relink_block_chain.  Likewise
3104         for free_original_copy_tables.
3105         * rtl.h (tracer): Update prototype.
3106         * bb-reorder.c (reorder_basic_blocks): Don't take FLAGS argument.
3107         Assert we are in cfglayout mode.  Don't go into and out of cfglayout
3108         mode.  Use relink_block_chain to serialize the CFG according to the
3109         new basic block order.  Move targetm.cannot_modify_jumps_p check from
3110         here...
3111         (gate_handle_reorder_blocks): ...to here.
3112         (duplicate_computed_gotos): Move targetm.cannot_modify_jumps_p check
3113         from here...
3114         (gate_duplicate_computed_gotos): ...to here.
3115         (rest_of_handle_reorder_blocks): Don't see if anything has changed,
3116         something always changes when going into and out of cfglayout mode.
3117         Perform an expensive cfg cleanup while going into cfglayout mode.
3118         Always update liveness information on HAVE_conditional_execution
3119         targets.  Reserialize the basic blocks and go out of cfglayout mode.
3120         * reg-stack.c: Include cfglayout.h.
3121         (rest_of_handle_stack_regs): Go into and out of cfglayout mode around
3122         the call to reorder_basic_blocks.
3123         * basic-block.h (reorder_basic_blocks): Update prototype.
3124         (relink_block_chain): New prototype.
3125         * passes.c (pass_outof_cfg_layout_mode): Move after cse2.
3126
3127 2007-03-23  Joseph Myers  <joseph@codesourcery.com>
3128
3129         * config/mips/mips.md (type, hazard, *movdi_32bit,
3130         *movdi_gp32_fp64, *movdi_64bit, *movsi_internal, movcc,
3131         *movhi_internal, *movqi_internal, *movsf_hardfloat,
3132         *movdf_hardfloat_64bit, *movdf_hardfloat_32bit, *movdf_softfloat,
3133         movv2sf_hardfloat_64bit, load_df_low, load_df_high, store_df_high,
3134         mthc1, mfhc1): Change xfer instruction type to mfc and mtc, as
3135         applicable.
3136         (movcc): Change first xfer to multi.
3137         * config/mips/24k.md, config/mips/4100.md, config/mips/4300.md,
3138         config/mips/5000.md, config/mips/5400.md, config/mips/5500.md,
3139         config/mips/5k.md, config/mips/7000.md, config/mips/9000.md,
3140         config/mips/generic.md: Change reservations using "xfer" to use
3141         "mfc,mtc".
3142         * config/mips/sb1.md (ir_sb1_mtxfer): Use "mtc" instead of
3143         using match_operand.
3144         (ir_sb1_mfxfer): Use "mfc" instead of using match_operand.
3145         * config/mips/sr71k.md (ir_sr70_xfer_from): Use "mfc" instead of
3146         examining mode.
3147         (ir_sr70_xfer_to): Use "mtc" instead of examining mode.
3148
3149 2007-03-22  Richard Henderson  <rth@redhat.com>
3150
3151         * config/i386/i386.c: Remove unnecessary function declarations.
3152         Move targetm definition, and all related macros, to the end of
3153         the file.  Resort some functions to put definitions before uses.
3154         (ix86_attribute_table): Make static.  Move to end of file.
3155         (ix86_gimplify_va_arg): Make static.
3156
3157 2007-03-22  Richard Henderson  <rth@redhat.com>
3158
3159         * config/i386/i386.c (ix86_function_regparm): Early exit for 64-bit;
3160         don't increase local_regparm with force_align_arg_pointer check.
3161         (ix86_function_sseregparm): Assert 32-bit.
3162         (type_has_variadic_args_p): New.
3163         (ix86_return_pops_args): Early exit for 64-bit.  Reindent; use
3164         type_has_variadic_args_p.
3165         (ix86_function_arg_regno_p): Use == 0 instead of ! test for eax.
3166         (init_cumulative_args): Remove TARGET_DEBUG_ARG.  Remove zero_cum;
3167         use memset instead.  Do maybe_vaarg check first; skip attribute
3168         tests if true; skip attribute tests for 64-bit.
3169         (construct_container): Remove TARGET_DEBUG_ARG.
3170         (function_arg_advance_32, function_arg_advance_64): Split out ...
3171         (function_arg_advance): ... from here.
3172         (function_arg_32, function_arg_64): Split out ...
3173         (function_arg): ... from here.
3174         (ix86_pass_by_reference): Tidy.
3175         (ix86_function_value_regno_p): Rearrange w/ switch on regno.
3176         (function_value_32): New, from parts of ix86_function_value
3177         and ix86_value_regno.
3178         (function_value_64): New, from parts of ix86_function_value
3179         and ix86_libcall_value.
3180         (ix86_function_value_1): New.
3181         (ix86_function_value, ix86_libcall_value): Use it.
3182         (return_in_memory_32, return_in_memory_64): Split out ...
3183         (ix86_return_in_memory): ... from here.
3184         (ix86_struct_value_rtx): Skip for 64-bit.
3185         (ix86_libcall_value, ix86_value_regno): Remove.
3186         (setup_incoming_varargs_64): Split out ...
3187         (ix86_setup_incoming_varargs): ... from here.
3188         (ix86_va_start): Remove TARGET_DEBUG_ARG.
3189         (legitimate_address_p, legitimize_address): Remove TARGET_DEBUG_ADDR.
3190         * config/i386/i386-protos.h (ix86_function_value): Remove.
3191         * config/i386/i386.opt (TARGET_DEBUG_ADDR, TARGET_DEBUG_ARG): Remove.
3192
3193 2007-03-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3194
3195         PR other/23572
3196         * c-lex.c (interpret_float): On overflow, emit pedantic warning if
3197         infinities not supported, otherwise emit warning if -Woverflow. On
3198         underflow, emit warning if -Woverflow.
3199         * real.c (real_from_string): Return -1 if underflow, +1 if overflow
3200         and 0 otherwise.
3201         * real.h (real_from_string): Update declaration
3202
3203 2007-03-22  Kai Tietz  <kai.tietz@onevision.com>
3204             Richard Henderson  <rth@redhat.com>
3205
3206         * defaults.h (OUTGOING_REG_PARM_STACK_SPACE): Provide default.
3207         * calls.c (compute_argument_block_size, expand_call,
3208         emit_library_call_value_1): Don't ifdef OUTGOING_REG_PARM_STACK_SPACE.
3209         * expr.c (block_move_libcall_safe_for_call_parm): Likewise.
3210         * function.c (STACK_DYNAMIC_OFFSET): Likewise.
3211         * doc/tm.texi (OUTGOING_REG_PARM_STACK_SPACE): Update.
3212         * config/alpha/unicosmk.h, config/bfin/bfin.h, config/iq2000/iq2000.h,
3213         config/mips/mips.h, config/mn10300/mn10300.h, config/mt/mt.h,
3214         config/pa/pa.h, config/rs6000/rs6000.h, config/score/score.h,
3215         config/spu/spu.h, config/v850/v850.h (OUTGOING_REG_PARM_STACK_SPACE):
3216         Set to 1.
3217
3218 2007-03-22  Joseph Myers  <joseph@codesourcery.com>
3219
3220         * c-incpath.c (add_sysroot_to_chain): New.
3221         (merge_include_chains): Add sysroot argument.  Call
3222         add_sysroot_to_chain if sysrooted.
3223         (register_include_chains): Update call to merge_include_chains.
3224         * doc/cppopts.texi: Document use of '=' in include directory
3225         arguments.
3226
3227 2007-03-22  Uros Bizjak  <ubizjak@gmail.com>
3228
3229         * config/i386/i386.md (cmp<mode>): Rename from cmpsf and cmpdf.
3230         Macroize expander using SSEMODEF mode macro.  Use SSE_FLOAT_MODE_P.
3231         (*cmpfp_<mode>): Rename from *cmpfp_sf and *cmpfp_df. Macroize
3232         insn pattern using X87MODEF12 mode macro.
3233
3234 2007-03-21  Seongbae Park <seongbae.park@gmail.com>
3235
3236         * regmove.c (regmove_optimize): Use reg_mentioned_p
3237         instead of reg_overlap_mentioned_p for DST.
3238
3239 2007-03-21  Mike Stump  <mrs@apple.com>
3240
3241         * c.opt: Fixup for Objective-C/C++.
3242
3243 2007-03-21  Steve Ellcey  <sje@cup.hp.com>
3244
3245         * explow.c (convert_memory_address): Fold memory reference when
3246         POINTERS_EXTEND_UNSIGNED < 0
3247
3248 2007-03-21  Richard Henderson  <rth@redhat.com>
3249
3250         PR target/31245
3251         * config/i386/emmintrin.h (__m128i, __m128d): Mark may_alias.
3252         * config/i386/mmintrin.h (__m64): Likewise.
3253         * config/i386/xmmintrin.h (__m128): Likewise.
3254
3255 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
3256
3257         * config/vxworks.h (VXWORKS_ADDITIONAL_CPP_SPEC): Remove -D options.
3258         (VXWORKS_OS_CPP_BUILTINS): Define.
3259         * config/i386/vxworks.h (VXWORKS_CPU_DEFINE): Fold into...
3260         (TARGET_OS_CPP_BUILTINS): ...here.  Use VXWORKS_OS_CPP_BUILTINS.
3261
3262 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
3263
3264         * rtl.h (constant_pool_reference_p): Delete.
3265         (find_constant_src): Declare.
3266         * rtlanal.c (find_constant_src): New function.
3267         * simplify-rtx.c (constant_pool_reference_p): Delete.
3268         * config/i386/i386.md: Use find_constant_src instead of
3269         constant_pool_reference_p/avoid_constant_pool_reference pairs.
3270
3271 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
3272
3273         * doc/invoke.texi (-fpie, -fPIE): Document __pie__ and __PIE__.
3274         * c-cppbuiltin.c (c_cpp_builtins): Define them.
3275
3276 2007-03-20  Mark Mitchell  <mark@codesourcery.com>
3277
3278         * config/arm/elf.h (TARGET_ASM_DESTRUCTOR): Define.
3279         * config/arm/arm.c (arm_elf_asm_cdtor): New function.
3280         (arm_elf_asm_constructor): Use it.
3281         (arm_elf_asm_destructor): New function.
3282
3283 2007-03-20  Bernd Schmidt  <bernd.schmidt@analog.com>
3284
3285         * jump.c (mark_jump_label): Treat SEQUENCE specially.
3286
3287 2007-03-20  Nathan Sidwell  <nathan@codesourcery.com>
3288
3289         * config/vxlib.c (tls_delete_hook): Use TCB for kernel tasks.
3290
3291 2007-03-19  Andrew Haley  <aph@redhat.com>
3292
3293         PR tree-optimization/31264
3294         * tree-vrp.c (register_edge_assert_for_1): Don't look though
3295         VIEW_CONVERT_EXPRs.
3296
3297 2007-03-19  Paolo Bonzini  <bonzini@gnu.org>
3298
3299         PR rtl-optimization/30907
3300         * fwprop.c (forward_propagate_into): Never propagate inside a loop.
3301         (fwprop_init): Always call loop_optimizer_initialize.
3302         (fwprop_done): Always call loop_optimizer_finalize.
3303         (fwprop): We always have loop info now.
3304         (gate_fwprop_addr): Remove.
3305         (pass_fwprop_addr): Use gate_fwprop as gate.
3306
3307         PR rtl-optimization/30841
3308         * df-problems.c (df_ru_local_compute, df_rd_local_compute,
3309         df_chain_alloc): Call df_reorganize_refs unconditionally.
3310         * df-scan.c (df_rescan_blocks, df_reorganize_refs): Change
3311         refs_organized to refs_organized_size.
3312         (df_ref_create_structure): Use refs_organized_size instead of
3313         bitmap_size if refs had been organized, and keep refs_organized_size
3314         up-to-date.
3315         * df.h (struct df_ref_info): Change refs_organized to
3316         refs_organized_size.
3317         (DF_DEFS_SIZE, DF_USES_SIZE): Use refs_organized_size instead of
3318         bitmap_size.
3319
3320 2007-03-19  Mark Mitchell  <mark@codesourcery.com>
3321
3322         * except.c (output_function_exception_table): Do not reference the
3323         EH personality routine for functions that do not require an
3324         exception table.
3325
3326 2007-03-20  Jakub Jelinek  <jakub@redhat.com>
3327
3328         PR c/30762
3329         * c-typeck.c (convert_for_assignment): Call comptypes for
3330         RECORD_TYPE or UNION_TYPE.
3331
3332         PR inline-asm/30505
3333         * reload1.c (reload): Do invalid ASM checking after
3334         cleanup_subreg_operands.
3335
3336 2007-03-19  Jeff Law  <law@redhat.com>
3337
3338         * tree-cfg.c (find_taken_edge): Tighten conditions for
3339         optimizing computed gotos.
3340
3341 2007-03-19  Michael Matz  <matz@suse.de>
3342
3343         * builtins.c (expand_builtin_sync_operation,
3344         expand_builtin_compare_and_swap,
3345         expand_builtin_lock_test_and_set): Care for extending CONST_INTs
3346         correctly.
3347
3348         * config/i386/sync.md (sync_double_compare_and_swapdi_pic,
3349         sync_double_compare_and_swap_ccdi_pic): Use "SD" as constraint
3350         for operand 3.
3351
3352 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
3353
3354         * doc/tm.texi: Add brackets around the return type of
3355         TARGET_SECONDARY_RELOAD.
3356
3357 2007-03-19  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3358         Richard Guenther  <rguenther@suse.de>
3359
3360         PR tree-optimization/31254
3361         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1):
3362         Use handled_component_p () where appropriate.  Continue
3363         propagating into the rhs if we propagated into an INDIRECT_REF
3364         on the lhs.
3365
3366 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
3367
3368         * config/s390/s390.md (op_type attribute): RRR instruction type added.
3369         (FP, DFP, SD_SF, DD_DF, TD_TF): New mode macros.
3370         (xde, xdee): Mode attributes adjusted to support DFP modes.
3371         (RRer, f0, op1, Rf, bt, bfp, HALF_TMODE): New mode attributes added.
3372         ("cmp<mode>", "*cmp<mode>_css_0", "*cmp<mode>_ccs", TF move splitters,
3373         DF move splitters, "floatdi<mode>2", "add<mode>3", "*add<mode>3",
3374         "*add<mode>3_cc", "*add<mode>3_cconly", "sub<mode>3", "*sub<mode>3",
3375         "*sub<mode>3_cc", "*sub<mode>3_cconly", "mul<mode>3", "*mul<mode>3",
3376         "div<mode>3", "*div<mode>3", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
3377         "*negabs<mode>2_nocc", "copysign<mode>3"): Adjusted to support DFP
3378         numbers.
3379         ("*movtf_64", "*movtf_31", "*movdf_64dfp", "*movdf_64", "*movdf_31",
3380         "movsf"): Insn definitions removed.
3381         ("*mov<mode>_64", "*mov<mode>_31", "mov<mode>", "*mov<mode>_64dfp",
3382         "*mov<mode>_64", "*mov<mode>_31", "fix_trunc<DFP:mode>di2",
3383         "trunctddd2", "truncddsd2", "extendddtd2", "extendsddd2"): Insn
3384         definitions added.
3385         ("fixuns_truncdddi2", "fixuns_trunctddi2", "mov<mode>",
3386         "reload_in<mode>", "reload_out<mode>"): Expander added.
3387         ("movtf", "movdf", "reload_outtf", "reload_outdf", "reload_intf"):
3388         Expander removed.
3389
3390 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
3391
3392         * config/s390/s390.md: Only non-functional changes.  Renamed
3393         FPR mode macro to BFP all over the file.
3394
3395 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
3396
3397         * config/s390/s390.md (UNSPEC_COPYSIGN): New constant.
3398         (op_type attribute): RRF instruction type added.
3399         (fT0): New mode attribute.
3400         ("*movdi_64dfp", "*movdf_64dfp", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
3401         "*negabs<mode>2_nocc", "copysign<mode>3"): Insn definitions added.
3402         * config/s390/s390.h (SECONDARY_MEMORY_NEEDED): Due to a new instruction
3403         no secondary memory is needed when moving DFmode values between GPRs
3404         and FPRs.
3405
3406 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
3407
3408         * config/s390/s390.opt ("mhard-float", "msoft-float"): Bit value
3409         inverted and documentation adjusted.
3410         ("mhard-dfp", "msoft-dfp"): New options.
3411         * config/s390/s390.c (s390_handle_arch_option): New architecture
3412         switch: z9-ec.
3413         (override_options): Sanity checks for the new options added.
3414         * config.gcc: New architecture switch: z9-ec.
3415         * config/s390/s390.h (processor_flags): PF_DFP added.
3416         (TARGET_CPU_DFP, TARGET_DFP): Macro definitions added.
3417         (TARGET_DEFAULT): Due to the s390.opt changes hard float is enabled
3418         when the bit is NOT set so remove it from the defaults.
3419
3420 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
3421
3422         * genemit.c (main): Print include statement for dfp.h.
3423         * dfp.h (decimal_real_arithmetic): Hide prototype if tree_code enum
3424         is not available.
3425
3426 2007-03-19  Hans-Peter Nilsson  <hp@axis.com>
3427
3428         * config/cris/t-elfmulti (EXTRA_MULTILIB_PARTS): Do not define here.
3429
3430 2007-03-19  Kaz Kojima  <kkojima@gcc.gnu.org>
3431
3432         PR target/31022
3433         * config/sh/sh.c (sh_adjust_cost): Use the result of single_set
3434         instead of PATTERN.
3435
3436 2007-03-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3437
3438         * pa.c (output_deferred_plabels, output_bb, output_millicode_call,
3439         attr_length_call, output_call, output_indirect_call): Cleanup
3440         formatting of targetm calls.
3441
3442 2007-03-19  Hans-Peter Nilsson  <hp@axis.com>
3443
3444         * config/cris/cris.h (HANDLE_PRAGMA_PACK_PUSH_POP): Define to 1.
3445
3446 2007-03-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3447
3448         * pa.md: Add fpstore_load and store_fpload instruction types.  Provide
3449         reservation, bypass and anti-bypass descriptions for these instructions.
3450         Update move patterns.
3451         * pa.c (hppa_fpstore_bypass_p): Check for both TYPE_FPSTORE_LOAD and
3452         TYPE_FPSTORE.
3453
3454 2007-03-18  Dorit Nuzman  <dorit@il.ibm.com>
3455
3456         * tree-vect-transform.c (get_initial_def_for_induction): Replace
3457         GET_MODE_NUNITS with TYPE_VECTOR_SUBPARTS.
3458         (get_initial_def_for_reduction): Likewise.
3459
3460 2007-03-16  Daniel Berlin  <dberlin@dberlin.org>
3461
3462         Fix PR tree-optimization/29922
3463         * tree-ssa-pre.c (bb_bitmap_sets): Remove RVUSE_* members.
3464         (get_representative): Removed.
3465         (value_dies_in_block_x): Update for rvuse removal.
3466         (valid_in_sets): Update for renaming of vuses_dies_in_block_x.
3467         (compute_antic_aux): Handle when PHI nodes appear in
3468         non-single-successors.
3469         (dump_bitmap_of_names): Removed.
3470         (compute_antic_safe): Renamed and removed rvuse calculation.
3471         Calculate only antic safe.
3472         (insert_into_preds_of_block): Remove assert.
3473         (execute_pre): Update for renamed functions.
3474         (defer_or_phi_translate_block): New function.
3475
3476 2007-03-17  Kazu Hirata  <kazu@codesourcery.com>
3477
3478         * config/arm/arm.c, config/arm/thumb2.md, config/m68k/m68k.c,
3479         config/spu/spu.c, omega.h, passes.c, predict.c: Fix comment
3480         typos.
3481         * doc/cpp.texi, doc/extend.texi, doc/invoke.texi: Fix typos.
3482         Follow spelling conventions.
3483
3484         * tree-data-ref.h: Remove the prototype for analyze_array.
3485
3486 2007-03-17  Dorit Nuzman  <dorit@il.ibm.com>
3487
3488         PR tree-optimization/31041
3489         * tree-vect-transform.c (get_initial_def_for_induction): Call
3490         force_gimple_operand.
3491
3492 2007-03-17  Olga Golovanevsky  <olga@il.ibm.com>
3493
3494         * ipa-type-escape.c (look_for_casts) : Revert code to use
3495         handled_component_p due to ada test a-numaux.adb.
3496
3497 2007-03-17  Kazu Hirata  <kazu@codesourcery.com>
3498
3499         * final.c (final_scan_insn): Alter the condition of a
3500         conditional trap if we have nonstandard CC.
3501
3502 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
3503
3504         * configure.ac: Remove excess quoting from asm line 0 test.
3505         * configure: Rebuilt.
3506
3507 2007-03-16  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3508
3509         * doc/invoke.texi (-Wconversion): Document warnings specific to C++.
3510         * c-common.c (convert_and_check): Move warning logic to...
3511         (warnings_for_convert_and_check): ...here. Define.
3512         * c-common.h (warnings_for_convert_and_check): Declare.
3513
3514 2007-03-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3515
3516         * pa.c (attr_length_call): Partially revert change of 2007-03-09.
3517         (output_call): Likewise.
3518
3519 2007-03-16  Richard Sandiford  <richard@codesourcery.com>
3520
3521         * config/vxworks.h (SUPPORTS_INIT_PRIORITY): Define.
3522
3523 2007-03-16  Richard Sandiford  <richard@codesourcery.com>
3524
3525         * config/vx-common.h (WINT_TYPE, WINT_TYPE_SIZE): Define.
3526
3527 2007-03-16  Uros Bizjak  <ubizjak@gmail.com>
3528
3529         * config/i386/i386.c (override_options): Add PTA_NO_SAHF to k8,
3530         opteron, athlon-64 and athlon-fx processor_alias_table entries.
3531
3532 2007-03-16  Sebastian Pop  <sebastian.pop@inria.fr>
3533
3534         PR tree-optimization/31183
3535         * tree-loop-linear.c (gather_interchange_stats, try_interchange_loops):
3536         Use double_int instead of unsigned int for representing access_strides.
3537         * testsuite/gcc.dg/tree-ssa/pr31183.c: New.
3538
3539 2007-03-16  Richard Guenther  <rguenther@suse.de>
3540
3541         PR tree-optimization/31146
3542         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Restructure
3543         to allow recursion of forward_propagate_addr_expr.
3544         (forward_propagate_addr_into_variable_array_index): Likewise.
3545         (forward_propagate_addr_expr): Likewise.
3546         (tree_ssa_forward_propagate_single_use_vars): Likewise.
3547         (forward_propagate_addr_expr_1): Recurse on simple copies
3548         instead of propagating into them.  Do so for useless conversions
3549         as well.
3550         (forward_propagate_addr_expr): Clean up unused statements after
3551         recursion.
3552
3553 2007-03-16  Richard Guenther  <rguenther@suse.de>
3554
3555         * builtins.c (expand_builtin_cexpi): Use the right argument
3556         for the expansion via cexp.
3557
3558 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
3559
3560         * configure.ac: Don't require ELF binutils to tolerate # 0 "".
3561         * configure: Rebuilt.
3562
3563 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
3564
3565         PR debug/29906
3566         * dwarf2out.c (force_type_die): Adjust comment.
3567         (dwarf2out_imported_module_or_decl): Handle base AT_import types.
3568
3569 2007-03-15  DJ Delorie  <dj@redhat.com>
3570
3571         * config/frv/predicates.md (minmax_operator): Don't check operands
3572         here.
3573
3574 2007-03-15  Zdenek Dvorak  <dvorakz@suse.cz>
3575
3576         * tree-ssa-loop-niter.c (record_estimate): Add "upper" argument.
3577         Update constant estimates of number of iterations.
3578         (record_nonwrapping_iv): Add "upper" argument.  "data_size_bounds_p"
3579         argument renamed to "realistic".
3580         (compute_estimated_nb_iterations): Removed.
3581         (record_niter_bound): New function.
3582         (idx_infer_loop_bounds): For possible but unlikely tail arrays,
3583         call record_nonwrapping_iv with upper = false.
3584         (infer_loop_bounds_from_signedness): Pass upper argument to
3585         record_nonwrapping_iv.
3586         (estimate_numbers_of_iterations_loop): Do not call
3587         compute_estimated_nb_iterations.  Record estimate based on profile
3588         information.  Initialize the constant estimates of number of
3589         iterations.
3590         * tree-data-ref.c (estimated_loop_iterations): Return the recorded
3591         estimates.
3592         * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Add dump when
3593         number of iterations is too small.
3594         * cfgloop.h (struct nb_iter_bound): Remove "realistic" field.
3595         (EST_NOT_AVAILABLE): Removed.
3596         (struct loop): Replace estimated_nb_iterations by any_upper_bound,
3597         nb_iterations_upper_bound, any_estimate and nb_iterations_estimate
3598         fields.
3599
3600 2007-03-15  Zdenek Dvorak  <dvorakz@suse.cz>
3601
3602         * tree-ssa-loop-niter.c (refine_bounds_using_guard, bound_difference):
3603         Handle NE_EXPR guards.
3604
3605 2007-03-15  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3606
3607         PR c++/24924
3608         * c-opts.c (c_common_post_options): Handle C++ post-processing here.
3609         Set also -pedantic-errors by default for the  preprocessor unless
3610         -fpermissive is given.
3611
3612 2007-03-15  Richard Guenther  <rguenther@suse.de>
3613
3614         PR middle-end/29719
3615         PR middle-end/31161
3616         * builtins.c (expand_builtin_cexpi): As a fallback if we
3617         don't have builtins for sincos or cexp create a function
3618         declaration for cexp and expand to a call to that.
3619         (expand_builtin_int_roundingfn): Always fall
3620         back to floor/ceil and its variants even if they may be
3621         not available.
3622
3623 2007-03-15  Steven Bosscher  <steven@gcc.gnu.org>
3624
3625         PR middle-end/31159
3626         * cfglayout.c (fixup_reorder_chain): Postpone deleting dead
3627         jump tables, move the call to delete_dead_jumptables from here...
3628         (cfg_layout_finalize): ...to here.  But rebuild jump labels first.
3629         * cfgrtl.c (cfg_layout_can_merge_blocks_p): When not optimizing,
3630         don't allow merging of blocks that try_redirect_by_replacing_jump
3631         also does not handle when not optimizing.
3632
3633 2007-03-15  Uros Bizjak  <ubizjak@gmail.com>
3634             Francois-Xavier Coudert  <coudert@clipper.ens.fr>
3635
3636         * config/i386/i386.md (x86_sahf_1): Correctly handle
3637         HAVE_AS_IX86_SAHF.
3638
3639 2007-03-15  Uros Bizjak  <ubizjak@gmail.com>
3640
3641         PR target/31167
3642         * config/i386/i386.md (*addti3_1, *addti3_1 splitter): Use
3643         x86_64_general_operand as operand[2] predicate.  Remove "iF"
3644         from operand constraints and use "e" constraint instead.
3645         (*subti3_1, *subti3_1 splitter): Ditto.
3646         (*negti2_1, *negti2_1 splitter): Use nonimmediate_operand as
3647         operand[1] predicate.
3648
3649 2007-03-14  Sebastian Pop  <sebastian.pop@inria.fr>
3650
3651         * tree-loop-linear.c (gather_interchange_stats): For multidimensional
3652         arrays, multiply the access strides by the size of the sub-array.
3653         * testsuite/gcc.dg/tree-ssa/ltrans-5.c: New.
3654
3655 2007-03-14  Uros Bizjak  <ubizjak@gmail.com>
3656
3657         * configure.ac (HAVE_AS_IX86_SAHF): On x86 targets check whether
3658         the configured assembler supports the sahf mnemonic.
3659         * configure: Regenerate.
3660         * config.in: Regenerate.
3661
3662         * config/i386/i386.md (x86_sahf_1): Depending on HAVE_AS_IX86_SAHF,
3663         emit "sahf" or ".byte\t0x9e" as asm template.
3664
3665 2007-03-14  Michael Meissner  <michael.meissner@amd.com>
3666
3667         PR 31018
3668         * config/i386/i386.h (X86_TUNE_SHORTEN_X87_SSE): New tuning
3669         option to replace hard coded TARGET_xxx in md file.
3670         (X86_TUNE_AVOID_VECTOR_DECODE): Ditto.
3671         (X86_TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
3672         (X86_TUNE_SLOW_IMUL_IMM8): Ditto.
3673         (X86_TUNE_MOVE_M1_VIA_OR): Ditto.
3674         (X86_TUNE_NOT_UNPAIRABLE): Ditto.
3675         (X86_TUNE_NOT_VECTORMODE): Ditto.
3676         (TUNE_SHORTEN_X87_SSE): Use new tuning option.
3677         (TUNE_AVOID_VECTOR_DECODE): Ditto.
3678         (TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
3679         (TUNE_SLOW_IMUL_IMM8): Ditto.
3680         (TUNE_MOVE_M1_VIA_OR): Ditto.
3681         (TUNE_NOT_UNPAIRABLE): Ditto.
3682         (TUNE_NOT_VECTORMODE): Ditto.
3683
3684         * config/i386/i386.c (ix86_tune_features): Fill in new tuning
3685         options.
3686
3687         * config/i386/i386.md (fix_trunc?f?1_sse peephole2): Use new
3688         tuning options instead of hard coded TARGET_xxx.
3689         (fix ssemode peephole2's): Ditto.
3690         (imul peephole2's): Ditto.
3691         (movsi_or): Ditto.
3692         (movdi_or_rex64): Ditto.
3693         (move peephole2): Ditto.
3694         (not peephole2's): Ditto.
3695
3696 2007-03-14  Dirk Mueller  <dmueller@suse.de>
3697
3698         * c-common.h (empty_body_warning): Rename to empty_if_body_warning.
3699         * c-common.c (empty_if_body_warning): Rephrase diagnostic message.
3700         * c-parser.c (c_parser_if_body): Always add an empty statement in case
3701         of empty body.
3702         * c-parser.c (c_parser_do_statement): Warn about empty body in
3703         do/while statement.
3704         * c-typeck (c_finish_if_stmt): Call empty_if_body_warning.
3705         * doc/invoke.texi (-Wempty-body): Update documentation.
3706
3707 2007-03-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3708
3709         PR c/21438
3710         * c-common.h (warn_for_div_by_zero): Declare.
3711         * c-common.c (warn_for_div_by_zero): Define.
3712         * c-typeck.c (build_binary_op): Call warn_for_div_zero instead of
3713         warning.
3714
3715 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
3716
3717         * Makefile.in (PREPROCESSOR_DEFINES): Add directory terminators
3718         to PREFIX and STANDARD_PREFIX.
3719
3720 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
3721             Phil Edwards  <phil@codesourcery.com>
3722
3723         * gthr-vxworks.h: Add an extern "C" wrapper for C++.
3724         (__gthread_once_t): Remove busy field for RTPs.
3725         (__GTHREAD_ONCE_INIT): Update accordingly.
3726
3727 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
3728
3729         * doc/invoke.texi: Document VxWorks options.
3730
3731 2007-03-14  Uros Bizjak  <ubizjak@gmail.com>
3732
3733         * doc/invoke.texi (i386 and x86-64 Options): Clarify -msahf option.
3734
3735 2007-03-13  Seongbae Park <seongbae.park@gmail.com>
3736
3737         PR tree-optimization/30590
3738         * tree-nrv.c (tree_nrv): Check for the partial update of the
3739         return value.
3740
3741 2007-03-13  Alexandre Oliva  <aoliva@redhat.com>
3742
3743         * flags.h (flag_random_seed): Remove declaration, in favor of...
3744         * toplev.h (get_random_seed, set_random_seed): ... these.
3745         * tree.c (get_file_function_name): Use the former.
3746         * opts.c (common_handle_option): Use the latter.
3747         * toplev.c
3748
3749 2007-03-13  Steven Bosscher  <steven@gcc.gnu.org>
3750
3751         PR middle-end/31127
3752         * cse.c (cse_find_path): Do not bail out if a basic block that
3753         we already visited now becomes part of a path that starts at a
3754         different basic block.  Just disallow this, to make sure we
3755         visit each basic block at most once.
3756
3757 2007-03-13  Jan Hubicka  <jh@suse.cz>
3758
3759         * ipa-inline.c (cgraph_maybe_hot_edge_p): Look for hot/cold attributes,
3760         when profile esitmate is present, calls with very low frequency are
3761         cold.
3762
3763 2007-03-13  Zdenek Dvorak  <dvorakz@suse.cz>
3764
3765         PR tree-optimization/30730
3766         PR tree-optimization/26900
3767         * tree-ssa-loop-niter.c: Include gmp.h.
3768         (bounds): New type.
3769         (mpz_set_double_int, get_type_bounds, mpz_to_double_int,
3770         split_to_var_and_offset, determine_value_range,
3771         bound_difference_of_offsetted_base, refine_bounds_using_guard,
3772         bound_difference, bounds_add, bounds_negate,
3773         number_of_iterations_ne_max, dump_affine_iv): New functions.
3774         (number_of_iterations_ne, number_of_iterations_lt_to_ne,
3775         assert_loop_rolls_lt, assert_loop_rolls_le): Use bounds on the
3776         difference of initial and final value of control iv to validate
3777         results.
3778         (number_of_iterations_cond): Add loop parameter.  Determine bounds
3779         on the difference of the extremes of the control iv.  Add dumps.
3780         (expand_simple_operations): Handle phi nodes.
3781         (simplify_using_initial_conditions): Do not record used conditions.
3782         (number_of_iterations_exit): Pass loop to number_of_iterations_cond.
3783         Do not set additional_info.
3784         (implies_nonnegative_p, implies_ge_p): Removed.
3785         (derive_constant_upper_bound): Do not use parameter `additional'.
3786         (record_estimate): Parameter `additional' removed.  Parameter
3787         `i_bound' added.  Do not call derive_constant_upper_bound.
3788         (record_nonwrapping_iv): Use derive_constant_upper_bound to
3789         bound the number of iterations estimate.
3790         (estimate_numbers_of_iterations_loop): Pass the estimate from
3791         the number of iterations analysis to record_estimate.
3792         * tree.h (multiple_of_p): Declare.
3793         * tree-scalar-evolution.c (expression_expensive_p): Removed.
3794         (scev_const_prop): Do not check expression_expensive_p.
3795         * fold-const.c (multiple_of_p): Exported.
3796         * double-int.c (double_int_mask): Exported.
3797         * double-int.h (double_int_mask): Declare.
3798         * tree-flow.h (struct tree_niter_desc): Removed additional_info
3799         field.  Added max field.
3800
3801 2007-03-13  David Taylor  <taylor@candd.org>
3802
3803         PR driver/12448:
3804         * gcc.c (cpp_unique_options): If -MT or -MQ is seen, don't pass
3805         default -MQ.
3806
3807 2007-03-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3808
3809         PR target/31123
3810         * pa.md (vdepi_ior): Don't allow zero length deposit.  Likewise for
3811         two unamed patterns.
3812
3813 2007-03-13  Uros Bizjak  <ubizjak@gmail.com>
3814
3815         * config/i386/i386.opt (mcx16, msahf): New options.
3816         * config/i386/i386.c (x86_cmpxchg16b, x86_sahf): Remove.
3817         (ix86_tune_features) [X86_TUNE_USE_SAHF]: Enable for m_GENERIC.
3818
3819         * config/i386/driver-i386.c (bit_LAHF_LM): New define.
3820         (host_detect_local_cpu): Detect cx16 and lahf_lm cpuid bits.
3821         Output -mcx16 and -msahf options when corresponding bit is set.
3822
3823         * doc/invoke.texi (i386 and x86-64 Options): Document -mcx16
3824         and -msahf options.
3825
3826 2007-03-13  Alexandre Oliva  <aoliva@redhat.com>
3827
3828         * configure.ac: Test for assembler tolerance to # 0 "".
3829         * configure, config.in: Rebuilt.
3830         * final.c (final_scan_insn): Emit it if HAVE_AS_LINE_ZERO.
3831
3832 2007-03-13  Geoffrey Keating  <geoffk@apple.com>
3833
3834         * doc/invoke.texi (Spec Files): Update for '%{,' spec.
3835
3836         * config/rs6000/darwin-fallback.c: Compile file only on powerpc.
3837         (handle_syscall): Handle direct system calls.
3838         * config/rs6000/darwin.h (HAS_MD_FALLBACK_FRAME_STATE_FOR): Delete.
3839
3840 2007-03-12  Brooks Moses  <brooks.moses@codesourcery.com>
3841
3842         * doc/invoke.texi: Fix cpp.info cross-reference.
3843         * doc/passes.texi: Fix gcc.info cross-reference.
3844
3845 2007-03-12  Zdenek Dvorak  <dvorakz@suse.cz>
3846
3847         PR tree-optimization/30835
3848         * lambda-code.c (can_convert_to_perfect_nest): Check whether
3849         bb_for_stmt is not NULL before accessing it.
3850
3851 2007-03-12  Joseph Myers  <joseph@codesourcery.com>
3852
3853         * gcc.c (main): Handle target_sysroot_hdrs_suffix being NULL for
3854         some multilibs.
3855
3856 2007-03-12  Brooks Moses  <brooks.moses@codesourcery.com>
3857
3858         PR 30635
3859         * doc/install.texi: Document --enable-stage1-languages
3860
3861 2007-03-12  Steven Bosscher  <steven@gcc.gnu.org>
3862
3863         * tree-pass.h (pass_into_cfg_layout_mode,
3864         pass_outof_cfg_layout_mode): Declare.
3865         * cfglayout.c (into_cfg_layout_mode, outof_cfg_layout_mode,
3866         pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode): New.
3867         * passes.c (pass_into_cfg_layout_mode): Schedule before jump2.
3868         (pass_outof_cfg_layout_mode): Schedule after pass_rtl_ifcvt.
3869
3870 2007-03-12  Seongbae Park <seongbae.park@gmail.com>
3871
3872         * c-decl.c (warn_variable_length_array): New function.
3873         Refactored from grokdeclarator to handle warn_vla
3874         and handle unnamed array case.
3875         (grokdeclarator): Refactored VLA warning case.
3876         * c.opt (Wvla): New flag.
3877         * doc/invoke.texi (Wvla): New warning.
3878
3879 2007-03-12  Richard Henderson  <rth@redhat.com>
3880
3881         * config/alpha/alpha.c (alpha_elf_section_type_flags): New.
3882         (TARGET_SECTION_TYPE_FLAGS): New.
3883
3884 2007-03-12  Richard Henderson  <rth@redhat.com>
3885
3886         * config/darwin.c (machopic_reloc_rw_mask): New.
3887         * config/darwin-protos.h (machopic_reloc_rw_mask): Declare.
3888         * config/darwin.h (TARGET_ASM_RELOC_RW_MASK): New.
3889
3890 2007-03-12  Mark Mitchell  <mark@codesourcery.com>
3891
3892         * cppdefault.c (cpp_EXEC_PREFIX): New variable.
3893         * cppdefault.h (cpp_PREFIX): Document.
3894         (cpp_PREFIX_len): Likewise.
3895         (cpp_EXEC_PREFIX): New variable.
3896         * Makefile.in (PREPROCESSOR_DEFINES): Add STANDARD_EXEC_PREFIX.
3897         * c-incpath.c (add_standard_paths): Correct logic for relocating
3898         paths within prefix.
3899
3900 2007-03-12  Uros Bizjak  <ubizjak@gmail.com>
3901
3902         * config/i386/i386.md (fixuns_trunc<mode>hi2): Implement from
3903         fixuns_truncsfhi2 and fixuns_truncdfhi2 using SSEMODEF
3904         mode macro.
3905         (fix_trunc<mode>di_sse): Implement from fix_truncsfdi_sse and
3906         fix_truncdfdi_sse using SSEMODEF mode macro.
3907         (fix_trunc<mode>si_sse): Implement from fix_truncsfsi_sse and
3908         fix_truncdfsi_sse using SSEMODEF mode macro.
3909         (fix_trunc?f?i_sse peephole2): Implement using SSEMODEF mode macro.
3910         (fix_trunc?f?i_sse K8 peephole2): Fix register constraint.
3911
3912 2007-03-12  Richard Sandiford  <richard@codesourcery.com>
3913
3914         * config.gcc (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add
3915         elfos.h to tm_file.
3916
3917 2007-03-12  Olga Golovanevsky  <olga@il.ibm.com>
3918
3919         * tree.h : Add multiple_of_p declaration.
3920         * fold-const.c (multiple_of_p): Make multiple_of_p public.
3921         * ipa-type-escape.c (results_of_malloc): Redundant.
3922         (visited_stmts): New. Visited stmt for walk_use_def_chains.
3923         (cast_type): Extended with new members.
3924         (check_cast): Returns cast_type.
3925         (cast): New structure for data of walk_use_def_chains.
3926         (is_malloc_result, is_cast_from_non_pointer_1,
3927         is_cast_from_non_pointer,
3928         is_array_access_through_pointer_and_index): New functions.
3929         (look_for_casts): Returns cast types.
3930         (check_call): Returns void.
3931         (okay_pointer_operation): Use support of pointer plus index,
3932         pointer plus constant and allow all multiplications.
3933
3934 2007-03-11  Richard Guenther  <rguenther@suse.de>
3935
3936         PR tree-optimization/31115
3937         * tree-vrp.c (extract_range_from_binary_expr): Make sure
3938         the shift count is positive and non-anti-range for RSHIFT_EXPR.
3939         A shift count of zero is not special as with *_DIV_EXPR.
3940         (vrp_int_const_binop): Handle RSHIFT_EXPR for determining overflow
3941         direction.
3942
3943 2007-03-11  Ian Lance Taylor  <iant@google.com>
3944
3945         * tree-vrp.c (vrp_int_const_binop): Handle PLUS_EXPR and
3946         the *_DIV_EXPR codes correctly with overflow infinities.
3947
3948 2007-03-11  Ira Rosen  <irar@il.ibm.com>
3949
3950         * tree-data-ref.c (analyze_offset): Add a return value (bool) to
3951         indicate success/failure of the analysis. Add negation to subtrahend
3952         in case of subtraction. Fail if both operands contain constants.
3953         (create_data_ref): Fail if analyze_offset fails.
3954
3955 2007-03-11  Uros Bizjak  <ubizjak@gmail.com>
3956
3957         * config/i386/i386.md (frndintxf2): Rename to ...
3958         (rintxf2): ... this. Remove expander having same name.
3959         (rintsf2, rintdf2): Implement using SSEMODEF macro.
3960         (roundsf2, rounddf2): Ditto.
3961         (lrint<mode>di2, lrint<mode>si2): Implement using SSEMODEI24 macro.
3962         (lround<mode>di2, lround<mode>si2): Ditto.
3963
3964 2007-03-11  Steven Bosscher  <steven@gcc.gnu.org>
3965
3966         * lower-subreg.c: Include except.h.
3967         (decompose_multiword_subregs): Verify that the only control flow
3968         insns we can split are loads to multi-words pseudos.
3969         Handle breaking such blocks after splitting, instead of calling
3970         find_many_sub_basic_blocks.
3971
3972         * loop-unroll.c (split_edge_and_insert): Don't set BB_SUPERBLOCK
3973         on the new basic block.  Add a lengthy comment explaining why we
3974         thought this was necessary.
3975         * cfglayout.c (cfg_layout_finalize): Don't break superblocks.
3976
3977 2007-03-10  Mark Mitchell  <mark@codesourcery.com>
3978
3979         PR c++/30924
3980         * tree.c (walk_type_fields): Recurse into the element type of
3981         ARRAY_TYPEs if there is a pointer set.
3982
3983 2007-03-10  Dirk Mueller  <dmueller@suse.de>
3984
3985         * c-common.c (warn_logical_operator): Fix condition.
3986
3987 2007-03-10  Tobias Schl├╝ter  <tobi@gcc.gnu.org>
3988
3989         * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Add missing
3990         quotation mark.
3991         * config/darwin.c (machopic_select_section): Remove superfluous
3992         argument in call to categorize_decl_for_section.  Remove unused