OSDN Git Service

gcc/
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2007-04-14  Kazu Hirata  <kazu@codesourcery.com>
2
3         * config.gcc: Recognize fido.
4         * config/m68k/m68k-devices.def (fidoa): New.
5         * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define
6         __mfido__.
7         (FL_FIDOA, TARGET_FIDOA): New.
8         * config/m68k/m68k.opt (mfidoa): New.
9
10 2007-04-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
11
12         PR middle-end/31322
13         * dwarf2out.c (output_call_frame_info): Call assemble_external_libcall
14         when a personality function is used.
15
16 2007-04-13  Bob Wilson  <bob.wilson@acm.org>
17
18         * config/xtensa/xtensa.c (xtensa_expand_builtin): Use CALL_EXPR_FN.
19
20 2007-04-13  Mike Stump  <mrs@apple.com>
21
22         * config/darwin-c.c (handle_c_option): Handle -fapple-kext here so
23         we can...
24         * config/darwin.opt (fapple-kext): Make C++ only.
25         * config/darwin.c (darwin_override_options): Remove code to ensure
26         -fapple-kext is given for C++ only.
27
28 2007-04-13  Richard Sandiford  <richard@codesourcery.com>
29
30         * config/mips/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Define.
31         * config/mips/mips.c (override_options): Call
32         SUBTARGET_OVERRIDE_OPTIONS, if defined.
33
34 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
35
36         * config/i386/i386.opt (msvr3-shlib): Removed.
37
38         * doc/invoke.texi: Remove -msvr3-shlib.
39
40 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
41
42         * config/i386/i386.opt (mpopcnt): Replace "popcount" instruction
43         with "popcnt" instruction.
44
45 2007-04-13  Richard Guenther  <rguenther@suse.de>
46
47         PR tree-optimization/21258
48         * tree-vrp.c (compare_case_labels): New helper.
49         (find_switch_asserts): New function.
50         (find_assert_locations): Call it for SWITCH_EXPRs.
51
52 2007-04-13  Uros Bizjak  <ubizjak@gmail.com>
53
54         * config/i386/i386.h (X87_FLOAT_MODE_P): Check for TARGET_80387.
55         * config/i386/i386.md (*cmpfp0): Remove check for TARGET_80387, this
56         check is now implied in X87_FLOAT_MODE_P.
57         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
58         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
59         (fix_trunc<mode>_i386_fisttp): Ditto.
60         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
61         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
62         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
63         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
64         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
65         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
66         (unnamed_splitters): Ditto.
67         * config/i386/i386.c (function_value_32): Generate FIRST_FLOAT_REG
68         for X87_FLOAT_MODE_P mode.  Override FIRST_FLOAT_REG with
69         FIRST_SSE_REG for local functions when SSE math is enabled or
70         for functions with sseregparm attribute.
71         (standard_80387_constant_p): Return -1 if mode is not
72         X87_FLOAT_MODE_P.
73         (ix86_cc_mode): Assert that scalar mode is not DECIMAL_FLOAT_MODE_P.
74         (ix86_expand_compare): Ditto.
75         (ix86_expand_carry_flag_compare): Ditto.
76         (ix86_expand_int_movcc): Check for SCALAR_FLOAT_MODE_P instead
77         of FLOAT_MODE_P for cmp_mode and assert that cmp_mode is not
78         DECIMAL_FLOAT_MODE_P.
79         (ix86_preferred_output_reload_class): Use X87_FLOAT_MODE_P instead
80         of SCALAR_FLOAT_MODE_P.
81         (ix86_rtx_costs) [PLUS] Remove FLOAT_MODE_P and fall through to ...
82         [MINUS]: ... here.  Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P
83         checks before FLOAT_MODE_P.
84         [MULT]: Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P checks
85         before FLOAT_MODE_P.
86         [DIV]: Ditto.
87         [NEG]: Ditto.
88         [ABS]: Ditto.
89         [SQRT]: Ditto.
90         [FLOAT_EXTEND]: Use SSE_FLOAT_MODE_P.
91
92 2007-04-12  Paolo Bonzini  <bonzini@gnu.org>
93             Charles Wilson  <libtool@cwilson.fastmail.fm>
94
95         * Makefile.in (stamp-as, stamp-collect-ld, stamp-nm): Remove.
96         (libgcc.mvars): Don't depend on them.
97         * configure.ac (as, collect-ld, nm): Create from exec-tool.in.
98         * exec-tool.in: New.
99
100 2007-04-12  Brooks Moses  <brooks.moses@codesourcery.com>
101
102         * doc/invoke.text (--help): Document --help=common.
103
104 2007-04-12  Thomas Neumann  <tneumann@users.sourceforge.net>
105
106         * stub-objc.c (objc_build_keyword_decl): Avoid C++ keywords.
107
108 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
109
110         * Makefile.in (insn-emit.o): Depend on $(INTEGRATE_H).
111         * genemit.c (main): Emit #include "integrate.h".
112         * config/mips/mips-protos.h (SYMBOL_HALF): New mips_symbol_type.
113         (LOADGP_RTP): New mips_loadgp_style.
114         * config/mips/mips.h: Include config/vxworks-dummy.h.
115         (TARGET_RTP_PIC): New macro.
116         (TARGET_USE_GOT): Return true for TARGET_RTP_PIC.
117         (TARGET_USE_PIC_FN_ADDR_REG): Return true for TARGET_VXWORKS_RTP.
118         (ASM_OUTPUT_ADDR_DIFF_ELT): Emit function-relative case tables
119         for TARGET_RTP_PIC.
120         * config/mips/vxworks.h (SUBTARGET_ASM_SPEC): Define.  Pass down
121         -mvxworks-pic when using -mrtp and a PIC option.
122         * config/mips/mips.c (mips_classify_symbol): Return SYMBOL_GOT_DISP
123         for RTP PIC.
124         (mips_symbolic_constant_p, mips_symbolic_address_p)
125         (mips_symbol_insns): Handle SYMBOL_HALF.
126         (override_options): Warn about -G and -mrtp being used together.
127         Initialize mips_lo_relocs[SYMBOL_HALF].
128         (mips_current_loadgp_style): Return LOADGP_RTP for RTP PIC.
129         (mips_emit_loadgp): Handle LOADGP_RTP.
130         (mips_in_small_data_p): Return false for TARGET_VXWORKS_RTP.
131         * config/mips/mips.md (loadgp_rtp): New insn and splitter.
132         (tablejump): Handle function-relative case table entries if
133         TARGET_RTP_PIC.
134         * config/mips/predicates.md (symbol_ref_operand): New predicate.
135
136 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
137
138         * config/mips/mips.md (load_call<mode>): Allow any general register.
139         destination.
140         (sibcall_value_internal, sibcall_value_multiple_internal)
141         (call_value_internal, call_value_split, call_value_multiple_internal)
142         (call_value_multiple_split): Remove constraints from operand 0.
143
144 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
145
146         * config/mips/mips-protos.h: In comments, refer to loadgp_absolute
147         rather than loadgp_noshared.
148         * config/mips/mips.c (mips_emit_loadgp): Use gen_loadgp_absolute
149         instead of gen_loadgp_noshared.  Use gen_loadgp_newabi instead of
150         gen_loadgp.
151         * config/mips/mips.md (loadgp): Rename to...
152         (loadgp_newabi): ...this.
153         (loadgp_noshared): Rename to...
154         (loadgp_absolute): ...this.
155
156 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
157
158         * config/mips/mips.c (mips_ok_for_lazy_binding_p): Always return
159         false for locally-binding symbols.
160         (mips_dangerous_for_la25_p): Check mips_global_symbol_p.
161
162 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
163
164         * config/mips/mips-protos.h (SYMBOL_GOT_LOCAL): Rename to...
165         (SYMBOL_GOT_PAGE_OFST): ...this.
166         (SYMBOL_GOT_GLOBAL): Rename to...
167         (SYMBOL_GOT_DISP): ...this.
168         (SYMBOL_GOTOFF_GLOBAL): Rename to...
169         (SYMBOL_GOTOFF_DISP): ...this.  Update comments accordingly.
170         * config/mips/mips.c (mips_global_symbol_p): New function.
171         (mips_symbol_binds_local_p): Likewise.
172         (mips_classify_symbol): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP
173         and SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST.  Use mips_global_symbol_p
174         and mips_symbol_binds_local_p.
175         (mips_symbolic_constant_p, mips_symbolic_address_p, mips_symbol_insns)
176         (override_options): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP,
177         SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST and SYMBOL_GOTOFF_GLOBAL to
178         SYMBOL_GOTOFF_DISP.
179         (mips_ok_for_lazy_binding_p): New function.
180         (mips_load_call_address, mips_expand_call): Use it.
181         (mips_dangerous_for_la25_p): Likewise.
182         * config/mips/mips.md (*xgot_hi<mode>, *xgot_lo<mode>)
183         (*got_disp<mode>): Use got_disp_operand instead of
184         global_got_operand.  Use SYMBOL_GOTOFF_DISP instead of
185         SYMBOL_GOTOFF_GLOBAL.
186         (*got_page<mode>): Use got_page_ofst_operand instead of
187         local_got_operand.
188         * config/mips/predicates.md (const_call_insn_operand): Use
189         SYMBOL_GOT_DISP instead of SYMBOL_GOT_GLOBAL.
190         (global_got_operand): Rename to...
191         (got_disp_operand): ...this and use SYMBOL_GOT_DISP instead of
192         SYMBOL_GOT_GLOBAL.
193         (local_got_operand): Rename to...
194         (got_page_ofst_operand): ...this and use SYMBOL_GOT_PAGE_OFST instead
195         of SYMBOL_GOT_LOCAL.
196
197 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
198
199         * config/mips/mips.h (TARGET_SPLIT_CALLS): Check
200         TARGET_CALL_CLOBBERED_GP.
201         (TARGET_SIBCALLS): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
202         (TARGET_USE_GOT, TARGET_CALL_CLOBBERED_GP): New macros.
203         (TARGET_CALL_SAVED_GP, TARGET_USE_PIC_FN_ADDR_REG): Likewise.
204         (STARTING_FRAME_OFFSET): Check TARGET_CALL_CLOBBERED_GP instead
205         of TARGET_ABICALLS && !TARGET_NEWABI.
206         (MIPS_CALL): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
207         * config/mips/mips.c (mips_load_call_address): Check
208         TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
209         (mips_global_pointer): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
210         Check TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
211         (mips_save_reg_p): Check TARGET_CALL_SAVED_GP instead of
212         TARGET_ABICALLS && TARGET_NEWABI.
213         (mips_current_loadgp_style): Check TARGET_USE_GOT instead of
214         TARGET_ABICALLS.
215         (mips_expand_prologue): Check TARGET_OLDABI instead of !TARGET_NEWABI.
216         (mips_expand_epilogue): Check TARGET_CALL_SAVED_GP instead of
217         TARGET_ABICALLS && TARGET_NEWABI.
218         (mips_output_mi_thunk): Check TARGET_USE_GOT instead of
219         TARGET_ABICALLS.  Check TARGET_CALL_SAVED_GP instead of
220         TARGET_NEWABI.  Use TARGET_USE_PIC_FN_ADDR_REG to decide
221         whether indirect calls must use $25.
222         (mips_extra_live_on_entry): Check TARGET_GOT instead of
223         TARGET_ABICALLS.
224         * config/mips/mips.md (jal_macro): Check flag_pic and
225         TARGET_CALL_CLOBBERED_GP instead of TARGET_ABICALLS and TARGET_NEWABI.
226         (builtin_setjmp_setup, builtin_longjmp): Check TARGET_USE_GOT
227         instead of TARGET_ABICALLS.
228         (exception_receiver): Check TARGET_CALL_CLOBBERED_GP instead of
229         TARGET_ABICALLS && TARGET_OLDABI.
230         (load_call<mode>): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
231         (sibcall): In the comment above the define_insn, mention
232         TARGET_USE_PIC_FN_ADDR_REG instead of TARGET_ABICALLS.
233         * config/mips/constraints.md (c): Check TARGET_USE_PIC_FN_ADDR_REG
234         instead of TARGET_ABICALLS.
235
236 2007-04-12  Bernd Schmidt  <bernd.schmidt@analog.com>
237
238         * doc/md.texi (Blackfin family constraints): Document PA and PB.
239         * config/bfin/bfin.h (CONST_OK_FOR_P): Handle PA and PB.
240         (MACFLAGS_MATCH_P): New macro.
241         * config/bfin/bfin.c (print_operand): Handle MACFLAG_IS_M.
242         (bfin_secondary_reload): Treat EVEN_AREGS and ODD_AREGS like AREGS.
243         * config/bfin/bfin.md (MACFLAG_IS_M): New constant.  Renumber some of
244         the other MACFLAG constants.
245         (sum_of_accumulators, lshrpdi3, ashrpdi3): New patterns.
246         (flag_machi): Tighten constraints.  Renumber some of the operands.
247         (flag_machi_acconly): Tighten constraints.  Correct operand numbers in
248         output template.
249         (flag_machi_parts_acconly): New pattern.
250         (flag_macinithi): Tighten constraints.  Allow any accumulator to be
251         used.
252         (flag_macinit1hi): Tighten constraints.
253         (flag_mul_macv2hi_parts_acconly): New pattern.
254
255         * config/bfin/lib1funcs.asm (___umulsi3_highpart, __smulsi3_highpart):
256         Use a more efficient implementation.
257         * config/bfin/bfin.md (umulsi3_highpart, smulsi3_highpart): Emit
258         inline sequences when not optimizing for size.
259
260         * config/bfin/bfin.md (movhi_low2high, movhi_high2high, movhi_low2low,
261         movhi_high2low): Delete, merge functionality into...
262         (packv2hi): ... this pattern.
263
264         2007-02-11  Jie Zhang  <jie.zhang@analog.com>
265         * config/bfin/bfin.opt (msim): New option.
266         (mcpu=): New option.
267         * config/bfin/bfin-protos.h (enum bfin_cpu): New.
268         (bfin_cpu_t): Typedef of enum bfin_cpu.
269         (bfin_cpu_type): New declaration.
270         * config/bfin/elf.h (STARTFILE_SPEC): Add support for
271         -msim and -mcpu= options.
272         (LIB_SPEC): Likewise.
273         * config/bfin/bfin.c (bfin_cpu_type): Define.
274         (bfin_handle_option): Handle -mcpu= option.
275         * config/bfin/bfin.h (DEFAULT_CPU_TYPE): Define as BFIN_CPU_BF532.
276         (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF531__, __ADSPBF532__,
277         __ADSPBF533__ or __ADSPBF537__ according to the cpu type.
278
279 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
280
281         * config.gcc (*-*-vxworks*): Don't add to tm_files in this stanza.
282         (arm-wrs-vxworks, mips-wrs-vxworks, powerpc-wrs-vxworks)
283         (powerpc-wrs-vxworksae): Use ${tm_file}.
284         (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add svr4.h
285         after elfos.h.  Remove i386/sysv4.h and add i386/vx-common.h.
286         * config/i386/vx-common.h: New file.
287
288 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
289
290         * config/vxworks.h (VXWORKS_STARTFILE_SPEC): Use -l:crt0.o instead
291         of crt0.o%s.
292
293 2007-04-12  Andreas Krebbel  <krebbel1@de.ibm.com>
294
295         * config/s390/s390.md ("trunctddd2"): Use TDmode for the target of
296         ldxtr.
297
298 2007-04-12  Douglas Gregor  <doug.gregor@gmail.com>
299
300         PR c++/31078
301         PR c++/31103
302         * c-common.c (c_build_qualified_type): Set canonical type
303         appropriately.  
304
305 2007-04-12  Richard Guenther  <rguenther@suse.de>
306
307         * tree-pretty-print.c (dump_generic_node): Print ARRAY_REF
308         lower bound and element size if lower bound is not zero
309         or either of the ARRAY_REF operands is set.
310
311 2007-04-12  Richard Guenther  <rguenther@suse.de>
312
313         PR tree-optimization/24689
314         PR tree-optimization/31307
315         * fold-const.c (operand_equal_p): Compare INTEGER_CST array
316         indices by value.
317         * gimplify.c (canonicalize_addr_expr): To be consistent with
318         gimplify_compound_lval only set operands two and three of
319         ARRAY_REFs if they are not gimple_min_invariant.  This makes
320         it never at this place.
321         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
322
323 2007-04-11  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
324
325         * pa.c (pa_som_asm_init_sections): Ensure that cfun->machine is not
326         null before emitting a .nsubspa directive.
327
328 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
329
330         * tree-ssa-alias.c (dump_mem_ref_stats): Do not call
331         need_to_partition_p if there are no memory statements in the
332         function.
333
334 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
335
336         * tree-data-ref.c (chrec_steps_divide_constant_p): Removed.
337         (gcd_of_steps_may_divide_p): New function.
338         (analyze_miv_subscript): Use gcd_of_steps_may_divide_p.
339
340 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
341
342         * reload.c (find_reloads_toplev, find_reloads_address,
343         find_reloads_address_1, find_reloads_subreg_address): Use rtx_equal_p,
344         not a pointer equality test, to decide if we need to call
345         push_reg_equiv_alt_mem.
346
347 2007-04-11  Sebastian Pop  <sebastian.pop@inria.fr>
348
349         * tree-data-ref.c (affine_function_zero_p, constant_access_functions,
350         insert_innermost_unit_dist_vector, add_distance_for_zero_overlaps): New.
351         (build_classic_dist_vector): Call add_distance_for_zero_overlaps.
352
353 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
354
355         * tree-data-ref.c (add_multivariate_self_dist): Force the distance
356         vector to be positive.
357
358 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
359
360         PR 30735
361         PR 31090
362         * doc/invoke.texi: Document --params max-aliased-vops and
363         avg-aliased-vops.
364         * tree-ssa-operands.h (get_mpt_for, dump_memory_partitions,
365         debug_memory_partitions): Move to tree-flow.h
366         * params.h (AVG_ALIASED_VOPS): Define.
367         * tree-ssa-alias.c (struct mp_info_def): Remove.  Update all
368         users.
369         (mp_info_t): Likewise.
370         (get_mem_sym_stats_for): New.
371         (set_memory_partition): Move from tree-flow-inline.h.
372         (mark_non_addressable): Only clear the set of symbols for the
373         partition if it exists.
374         (dump_memory_partitions): Move from tree-ssa-operands.c
375         (debug_memory_partitions): Likewise.
376         (need_to_partition_p): New.
377         (dump_mem_ref_stats): New.
378         (debug_mem_ref_stats): New.
379         (dump_mem_sym_stats): New.
380         (debug_mem_sym_stats): New.
381         (update_mem_sym_stats_from_stmt): New.
382         (compare_mp_info_entries): New.
383         (mp_info_cmp): Call it.
384         (sort_mp_info): Change argument to a list of mem_sym_stats_t
385         objects.
386         (get_mpt_for): Move from tree-ssa-operands.c.
387         (find_partition_for): New.
388         (create_partition_for): Remove.
389         (estimate_vop_reduction): New.
390         (update_reference_counts): New.
391         (build_mp_info): New.
392         (compute_memory_partitions): Refactor.
393         Document new heuristic.
394         Call build_mp_info, update_reference_counts,
395         find_partition_for and estimate_vop_reduction.
396         (compute_may_aliases): Populate virtual operands before
397         calling debugging dumps.
398         (delete_mem_sym_stats): New.
399         (delete_mem_ref_stats): New.
400         (init_mem_ref_stats): New.
401         (init_alias_info): Call it.
402         (maybe_create_global_var): Remove alias_info argument.
403         Get number of call sites and number of pure/const call sites
404         from gimple_mem_ref_stats().
405         (dump_alias_info): Call dump_memory_partitions first.
406         (dump_points_to_info_for): Show how many times a pointer has
407         been dereferenced.
408         * opts.c (decode_options): For -O2 set --param
409         max-aliased-vops to 500.
410         For -O3 set --param max-aliased-vops to 1000 and --param
411         avg-aliased-vops to 3.
412         * fortran/options.c (gfc_init_options): Remove assignment to
413         MAX_ALIASED_VOPS.
414         * tree-flow-inline.h (gimple_mem_ref_stats): New.
415         * tree-dfa.c (dump_variable): Dump memory reference
416         statistics.
417         Dump NO_ALIAS* settings.
418         (referenced_var_lookup): Tidy.
419         (mem_sym_stats): New.
420         * tree-ssa-copy.c (may_propagate_copy): Return true if DEST
421         and ORIG are different SSA names for a memory partition.
422         * tree-ssa.c (delete_tree_ssa): Call delete_mem_ref_stats.
423         * tree-flow.h (struct mem_sym_stats_d): Define.
424         (mem_sym_stats_t): Define.
425         (struct mem_ref_stats_d): Define.
426         (struct gimple_df): Add field mem_ref_stats.
427         (enum noalias_state): Define.
428         (struct var_ann_d): Add bitfield noalias_state.
429         (mem_sym_stats, delete_mem_ref_stats, dump_mem_ref_stats,
430         debug_mem_ref_stats, debug_memory_partitions,
431         debug_mem_sym_stats): Declare.
432         * tree-ssa-structalias.c (update_alias_info): Update call
433         sites, pure/const call sites and asm sites in structure
434         returned by gimple_mem_ref_stats.
435         Remove local variable IS_POTENTIAL_DEREF.
436         Increase NUM_DEREFS if the memory expression is a potential
437         dereference.
438         Call update_mem_sym_stats_from_stmt.
439         If the memory references memory, call
440         update_mem_sym_stats_from_stmt for all the direct memory
441         symbol references found.
442         (intra_create_variable_infos): Set noalias_state field for
443         pointer arguments according to the value of
444         flag_argument_noalias.
445         * tree-ssa-structalias.h (struct alias_info): Remove fields
446         num_calls_found and num_pure_const_calls_found.
447         (update_mem_sym_stats_from_stmt): Declare.
448         * params.def (PARAM_MAX_ALIASED_VOPS): Change description.
449         Set default value to 100.
450         (PARAM_AVG_ALIASED_VOPS): Define.
451
452 2007-04-11  Richard Guenther  <rguenther@suse.de>
453
454         PR middle-end/31530
455         * simplify-rtx.c (simplify_binary_operation_1): Do not simplify
456         a * -b + c as c - a * b if we honor sign dependent rounding.
457
458 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
459
460         * config/bfin/bfin-protos.h (bfin_expand_movmem): Renamed from
461         bfin_expand_strmov.
462         * config/bfin/bfin.c (bfin_expand_prologue, bfin_delegitimize_address,
463         bfin_function_ok_for_sibcall, split_load_immediate): Remove unused
464         variables.
465         (initialize_trampoline): Don't use old-style function definition.
466         (bfin_secondary_reload): Mark IN_P argument as unused.
467
468 2007-04-10  Sebastian Pop  <sebastian.pop@inria.fr>
469
470         PR tree-optimization/31343
471         * tree-chrec.h (chrec_zerop): Moved before build_polynomial_chrec.
472         (build_polynomial_chrec): Return a scalar when the evolution is zero.
473         * testsuite/gcc.dg/vect/pr31343.c: New.
474
475 2007-04-10  Eric Christopher  <echristo@apple.com>
476
477         * config/i386/i386.h (X87_FLOAT_MODE_P): New.
478         * config/i386/i386.md (*cmpfp0): Use.
479         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
480         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
481         (fix_trunc<mode>_i386_fisttp): Ditto.
482         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
483         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
484         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
485         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
486         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
487         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
488         (unnamed_splitters): Ditto.
489         * config/i386/i386.c (output_fix_trunc): Assert that
490         we're not being passed a TFmode operand.
491
492 2007-04-10  Zdenek Dvorak  <dvorakz@suse.cz>
493
494         PR tree-optimization/31526
495         * tree-inline.c (copy_cfg_body): Use last_basic_block instead of
496         n_basic_blocks to find newly added blocks.
497
498 2007-04-10  Uros Bizjak  <ubizjak@gmail.com>
499
500         * config/i386/i386.md (fix_trunc<mode>di_sse): Remove "x" from "xm"
501         alternative.
502         (fix_trunc<mode>si_sse): Ditto.
503         (*floatsisf2_mixed, *floatsisf2_sse): Ditto.
504         (*floatsidf2_mixed, *floatsidf2_sse): Ditto.
505         (*floatdisf2_mixed, *floatdisf2_sse): Ditto.
506         (*floatdidf2_mixed, *floatdidf2_sse): Ditto.
507         (floathi<mode>2): Rename from floathisf2 and floathidf2. Macroize
508         expander using SSEMODEF mode macro.
509         (floatsi<mode>2): Rename from floatsisf2 and floashidf2. Macroize
510         expander using SSEMODEF mode macro.
511         (*floathi<mode>2_i387): Rename from *floathisf2_i387 and
512         *floathidf2_i387. Macroize insn using X87MODEF12 mode macro.
513         (*floatsi<mode>2_i387): Rename from *floatsisf2_i387 and
514         *floatsidf2_i387. Macroize insn using X87MODEF12 mode macro.
515         (*floatdi<mode>2_i387): Rename from *floatdisf2_i387 and
516         *floatdidf2_i387. Macroize insn using X87MODEF12 mode macro.
517         (float<mode>xf2): Rename from floathixf2, floatsixf2 and floatdixf2.
518         Macroize insn using X87MODEF mode macro.
519
520 2007-04-09  H.J. Lu  <hongjiu.lu@intel.com>
521
522         * config/i386/sse.md (sse2_pinsrw): Removed.
523         (sse2_pextrw): Renamed to ...
524         (*sse2_pextrw): This.
525
526 2007-04-09  Jan Hubicka  <jh@suse.cz>
527
528         PR target/27869
529         * config/i386/sse.md
530         (sse_vmaddv4sf3, sse_vmmulv4sf3): Remove '%' modifier.
531         (sse_vmsmaxv4sf3_finite, sse_vmsminv4sf3_finite): Remove.
532         (sse2_vmaddv2df3, sse2_vmmulv2df3): Remove '%' modifier.
533         (sse2_vmsmaxv2df3_finite, sse2_vmsminv2df3_finite): Remove.
534
535 2007-04-09  Jan Hubicka  <jh@suse.cz>
536
537         * tree-ssa-ccp (maybe_fold_offset_to_component_ref): Recurse into
538         multiple fields of union.
539
540 2007-04-09  Zdenek Dvorak  <dvorakz@suse.cz>
541
542         * cfgloopmanip.c (create_preheader): Do not use loop_preheader_edge.
543         (create_preheaders): Check that loops are available.
544         (fix_loop_structure): Clean up, improve comments.
545         * tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa):
546         Check that loops are available.  Set LOOP_CLOSED_SSA to the loops
547         state flags.
548         * tree-scalar-evolution.c (scev_finalize): Clear scalar_evolution_info.
549         * predict.c (tree_estimate_probability): Do not call
550         calculate_dominance_info.  Call create_preheaders.
551         * tree-cfgcleanup.c (cleanup_tree_cfg_loop): Only call
552         rewrite_into_loop_closed_ssa if LOOP_CLOSED_SSA is set in loops state
553         flags.
554         * cfgloop.c (loop_preheader_edge): Assert that loops have preheaders.
555         * cfgloop.h (LOOP_CLOSED_SSA): New constant.
556         * tree-cfg.c (tree_split_edge): Make an assert more precise.
557         * tree-ssa-threadedge.c (thread_across_edge): Comment the function
558         arguments.
559
560 2007-04-08  Jan Hubicka  <jh@suse.cz>
561
562         * tree.h (maybe_fold_offset_to_component_ref): Declare.
563         * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Export.
564         * fold-const.c (fold_unary): Use it.
565
566 2007-04-08  Andrew Pinski  <andrew_pinski@playstation.sony.com>
567
568         * varasm.c (assemble_variable): Remove call to
569         lang_hooks.decls.prepare_assemble_variable.
570         * langhooks-def.h (LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE): Kill.
571         (LANG_HOOKS_DECLS): Remove LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE.
572         * langhooks.h (lang_hooks_for_decls): Remove
573         prepare_assemble_variable.
574
575 2007-04-08  Mike Stump  <mrs@apple.com>
576
577         * config/i386/i386.c: Use inc/dec on Core2.
578
579 2007-04-08  Steven Bosscher  <steven@gcc.gnu.org>
580
581         * langhooks.c (lhd_tree_inlining_add_pending_fn_decls,
582         lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
583         lhd_tree_inlining_end_inlining): Remove.
584         * langhooks.h (struct lang_hooks_for_tree_inlining): Remove then
585         add_pending_fn_decls, anon_aggr_type_p, start_inlining, and
586         end_inlining hooks.
587         * langhooks-def.h (lhd_tree_inlining_add_pending_fn_decls,
588         lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
589         lhd_tree_inlining_end_inlining): Remove prototypes.
590         (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS,
591         LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P,
592         LANG_HOOKS_TREE_INLINING_START_INLINING,
593         LANG_HOOKS_TREE_INLINING_END_INLINING): Remove.
594
595         * c-objc-common.h (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do
596         not set it.
597
598 2007-04-08  Anatoly Sokolov <aesok@post.ru>
599
600         PR target/29932
601         * config/avr/predicates.md (io_address_operand): Delete predicate.
602         (low_io_address_operand): Don't use 'mode' argument.
603         (higth_io_address_operand): Rename ...
604         (high_io_address_operand): ... to this. Don't use 'mode' argument.
605         * config/avr/avr.md (*sbix_branch_tmp, *sbix_branch_tmp_bit7): Adjust
606         for above change.
607
608 2007-04-07  Daniel Berlin  <dberlin@dberlin.org>
609
610         Revert change removing staticp.
611
612 2007-04-07  Anatoly Sokolov <aesok@post.ru>
613
614         PR target/30289
615         * config/avr/avr.md (*clrmemqi, *clrmemhi): Mark operand 4 as
616         earlyclobber.
617
618 2007-04-07  Bruce Korb  <bkorb@gnu.org>
619
620         * c.opt: Add -Wformat-contains-nul.
621         * c-format.c (set_Wformat):  Set warn_format_contains_nul to the
622           -Wformat setting.
623         (check_format_info_main): Check OPT_Wformat_contains_nul before emitting
624         the NUL byte warning.
625
626 2007-04-07  H.J. Lu  <hongjiu.lu@intel.com>
627
628         * config/i386/i386.c (ix86_handle_option): Handle SSSE3.
629
630 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
631
632         * tree.c (staticp): No longer use staticp langhook.
633         * langhooks.c (lhd_staticp): Removed.
634         * langhooks.h (struct lang_hooks): Remove staticp.
635         * c-common.c (c_staticp): Remove.
636         * c-common.h (c_staticp): Ditto.
637         * langhooks-defs.h (lhd_staticp): Ditto.
638         (LHD_HOOKS_STATICP): Ditto
639         * tree.h (gcc_assert_lowered): New macro.
640
641 2007-04-06  Zdenek Dvorak  <dvorakz@suse.cz>
642
643         * tree-ssa-loop-niter.c (idx_infer_loop_bounds): Add and use
644         argument "reliable".
645         (infer_loop_bounds_from_ref, infer_loop_bounds_from_array):
646         Add argument "reliable".  Propagate it through calls.
647         (infer_loop_bounds_from_undefined):  Derive number of iterations
648         estimates from references in blocks that do not dominate loop latch.
649         (gcov_type_to_double_int): New function.
650         (estimate_numbers_of_iterations_loop): Use gcov_type_to_double_int
651         and expected_loop_iterations_unbounded.
652         * cfgloopanal.c (expected_loop_iterations_unbounded): New function.
653         (expected_loop_iterations): Use expected_loop_iterations_unbounded.
654         * tree-data-ref.c (estimated_loop_iterations): Export.
655         (get_references_in_stmt): Fix -- do not return addresses of local
656         objects.
657         * cfgloop.h (expected_loop_iterations_unbounded,
658         estimated_loop_iterations): Declare.
659
660 2007-04-06  Andreas Tobler  <a.tobler@schweiz.org>
661
662         * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
663
664 2007-04-06  Uros Bizjak  <ubizjak@gmail.com>
665
666         * config/i386/i386.md (extend<mode>xf2): Rename from extendsfxf2
667         and extenddfxf2. Macroize expander using X87MODEF12 mode macro.
668         (*truncdfsf_mixed, *truncdfsf_i387, *truncdfsf2_i387_1):
669         Use output_387_reg_move().
670         (*truncxf<mode>2): Rename from *truncxfsf2 and truncxfdf2. Macroize
671         expander using X87MODEF12 mode macro.
672         (*truncxfsf2_mixed): Combine alternatives, ignore "r" alternative when
673         choosing register preferences.  Use output_387_reg_move().
674         (*truncxfdf2_mixed): Combine alternatives, use "r" alternative
675         instead of "x".  Use output_387_reg_move().
676         (*truncxf<mode>2_i387_noop): Rename from *truncxfsf2_i387_noop and
677         *truncxfdf2_i387_noop.  Macroize insn using X87MODEF12 mode macro.
678         (*truncxf<mode>2_i387): Rename from *truncxfsf2_i387 and
679         *truncxfdf2_i387.  Macroize insn using X87MODEF12 mode macro.
680         Use output_387_reg_move().
681         (*truncxf?f_mixed splitter): Macroize splitter using X87MODEF12
682         mode macro.
683         (*truncxf?f_i387 splitter): Ditto.
684
685 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
686
687         * langhooks-def.h (LANG_HOOKS_INITIALIZER): Remove
688         LANG_HOOKS_SAFE_FROM_P.
689         * expr.c (safe_from_p): Remove langhook call.
690         * langhooks.h (lang_hooks): Remove safe_from_p.
691         (lhd_safe_from_p): Remove prototype.
692         * langhooks.c (lhd_safe_from_p): Remove.
693
694 2007-04-06  Jan Hubicka  <jh@suse.cz>
695
696         * cgraphunit.c (decide_is_function_needed): Do not keep always_inline
697         functions.
698
699 2007-04-06  Uros Bizjak  <ubizjak@gmail.com>
700
701         * config/i386/i386.c (output_387_reg_move): Handle memory operand[0].
702         * config/i386/i386.md (*movsf_1, *movdf_nointeger,
703         *movdf_integer_rex64, *movdf_integer, *movxf_nointeger,
704         *movxf_integer): Use output_387_reg_move() for x87 reg->mem
705         alternative.
706         (*extendsfdf2_mixed, *extendsfdf2_i387, *extendsfxf2_i387,
707         *extenddfxf2_i387, *truncdfsf_fast_mixed): Ditto.
708
709 2007-04-05  Richard Henderson  <rth@redhat.com>
710
711         * config/alpha/alpha.c (print_operand) [+]: Remove.
712         (alpha_end_function): Print nop if call at end of function.
713         * config/alpha/alpha.h (PRINT_OPERAND_PUNCT_VALID_P): Remove +.
714         * config/alpha/alpha.md (UNSPEC_LDGP1): New.
715         (call_osf_1_er_noreturn, call_value_osf_1_er_noreturn): New.
716         (call_osf_2_er_nogp, call_value_osf_2_er_nogp): New.
717         (call_osf_2_er, call_value_osf_2_er): Merge the ldgp highpart into
718         the call pattern. Update peepholes to match.
719
720 2007-04-05  Janis Johnson  <janis187@us.ibm.com>
721
722         * doc/extend.texi (Other Builtins): Add decimal float variants
723         of signbit.
724         * builtins.def: Ditto.
725         * builtins.c (expand_builtin): Ditto.
726
727 2007-04-05  Uros Bizjak  <ubizjak@gmail.com>
728             H.J. Lu  <hongjiu.lu@intel.com>
729
730         PR target/31478
731         * config/i386/sse.md (sse2_umulv2siv2di3): Use V4SImode instead
732         of V8HImode when calling ix86_binary_operator_ok.
733         (sse2_pmaddwd): Call ix86_binary_operator_ok.
734         (sdot_prodv8hi): Operands 1 and 2 must be register.
735
736 2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
737
738         * tree-sra.c (try_instantiate_multiple_fields): Needlessly
739         initialize align to silence bogus warning.
740
741 2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
742
743         PR middle-end/22156
744         * tree-sra.c (struct sra_elt): Add in_bitfld_block.  Remove
745         all_no_warning.
746         (struct sra_walk_fns): Remove use_all parameter from use.
747         (sra_hash_tree): Handle BIT_FIELD_REFs.
748         (sra_elt_hash): Don't hash bitfld blocks.
749         (sra_elt_eq): Skip them in parent compares as well.  Handle
750         BIT_FIELD_REFs.
751         (sra_walk_expr): Don't maintain or pass down use_all_p.
752         (scan_use): Remove use_all parameter.
753         (scalarize_use): Likewise.  Re-expand assignment to
754         BIT_FIELD_REF of gimple_reg.  De-scalarize before input or
755         output, and re-scalarize after output.  Don't mark anything
756         for no warning.
757         (scalarize_ldst): Adjust.
758         (scalarize_walk_gimple_modify_statement): Likewise.
759         (build_element_name_1): Handle BIT_FIELD_REFs.
760         (instantiate_element): Don't warn for any element whose parent
761         is used as a whole.
762         (instantiate_missing_elements_1): Return the sra_elt.
763         (canon_type_for_field): New.
764         (try_instantiate_multiple_fields): New.
765         (instantiate_missing_elemnts): Use them.
766         (mark_no_warning): Removed.
767         (generate_one_element_ref): Handle BIT_FIELD_REFs.
768         (REPLDUP, sra_build_elt_assignment): New.
769         (generate_copy_inout): Use them.
770         (generate_element_copy): Likewise.  Handle bitfld differences.
771         (generate_element_zero): Don't recurse for blocks.  Use
772         sra_build_elt_assignment.
773         (generate_one_element_int): Take elt instead of var.  Use
774         sra_build_elt_assignment.
775         (generate_element_init_1): Adjust.
776         (scalarize_use, scalarize_copy): Use REPLDUP.
777         (scalarize_ldst): Move assert before dereference.
778         (dump_sra_elt_name): Handle BIT_FIELD_REFs.
779
780 2007-04-05  Steven Bosscher  <steven@gcc.gnu.org>
781
782         * regmove.c: Fix unused variable warnings due to previous commit.
783
784 2007-04-05  Steven Bosscher  <steven@gcc.gnu.org>
785
786         * regmove.c (STACK_GROWS_DOWNWARD): Don't boolean-ize.
787         (regmove_bb_head): Remove.
788         (copy_src_to_dest): Don't update regmove_bb_head and BB_HEAD.
789         (regmove_optimize): Don't do unnecessary CFG fixes for non-existing
790         problems with fixup_match_1.
791         Don't initialize/free regmove_bb_head.
792
793         (reg_is_remote_constant_p): If an insn is in the same basic block
794         but not before INSN, consider it remote, too.
795
796 2007-04-05  Anatoly Sokolov <aesok@post.ru>
797
798         PR target/25448
799         * config/avr/avr.c (avr_handle_fndecl_attribute): Use the
800         DECL_ASSEMBLER_NAME, not the DECL_NAME.
801
802 2007-04-05  H.J. Lu  <hongjiu.lu@intel.com>
803
804         * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Reformat.
805         (CONDITIONAL_REGISTER_USAGE): Likewise.
806
807 2007-04-04  Richard Henderson  <rth@redhat.com>
808
809         * config/alpha/lib1funcs.asm: Remove unused file.
810
811 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
812
813         PR other/31356
814         * opts.c (print_specific_help): Fix --help=<language>
815         header line.
816         (common_handle_option): Support --help=common.
817
818 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
819
820         PR other/31353
821         * gcc.c (main): Do not run the linker if
822         print_subprocess_help indicates that it shouldn't be
823         run.
824
825 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
826
827         PR doc/31355
828         * doc/invoke.texi (--help=): Document <languages> value, fix
829         formatting in tables of values.
830
831 2007-04-04  Danny Smith  <dannysmith.users.sourceforge.net>
832
833         * config/i386/winnt-cxx.c (i386_pe_type_dllimport_p): Don't ignore
834         dllimport attribute of virtual methods.
835
836 2007-04-04  Chen Liqin  <liqin@sunnorth.com.cn>
837
838         * config/score/crti.asm: Change _bss_start to __bss_start.
839         * config/score/score.h (CONDITIONAL_REGISTER_USAGE): Added.
840         (OUTGOING_REG_PARM_STACK_SPACE) update.
841         * config/score/score.opt: add options to make backend support
842         score5, score5u, score7 and score7d.
843         * config/score/score.md: Likewise.
844         * config/score/misc.md: Likewise.
845         * config/score/mac.md: Likewise.
846         * doc/invoke.texi: Likewise.
847         * doc/md.texi: update constraints define.
848
849 2007-04-03  Richard Henderson  <rth@redhat.com>
850
851         * expr.c (store_expr): If get_signed_or_unsigned_type doesn't yield
852         an appropriate type, use the mode instead.
853
854 2007-04-03  Richard Sandiford  <richard@codesourcery.com>
855
856         * config.gcc (mips-wrs-vxworks): Add vx-common.h to tm_file.
857         Set the default --with-arch setting to mips2.
858         * config/mips/t-vxworks (MULTILIB_OPTIONS, MULTILIB_MATCHES)
859         (MULTILIB_EXCEPTIONS): Redefine with new multilibs.
860         (MULTILIB_OSDIRNAMES): Delete.
861         (MULTILIB_DIRNAMES): Define.
862         * config/mips/vxworks.h (LINK_SPEC): Add VXWORKS_LINK_SPEC.
863         (LIB_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Define.
864         (TARGET_OS_CPP_BUILTINS): Incorporate old SUBTARGET_CPP_SPEC
865         definitions, except for _WRS_R3K_EXC_SUPPORT.  Call
866         VXWORKS_OS_CPP_BUILTINS.
867         (SUBTARGET_CPP_SPEC): Redefine to VXWORKS_ADDITIONAL_CPP_SPEC.
868         (MIPS_DEBUGGING_INFO): Undefine.
869         (FUNCTION_PROFILER): Define to VXWORKS_FUNCTION_PROFILER.
870
871 2007-04-03  Jakub Jelinek  <jakub@redhat.com>
872
873         PR middle-end/30704
874         * fold-const.c (native_encode_real): Encode real.c provided longs
875         as a series of 32-bit native integers.
876         (native_interpret_real): Interpret buffer as a series of 32-bit
877         native integers.
878
879 2007-04-03  Richard Guenther  <rguenther@suse.de>
880
881         * genpreds.c (write_insn_constraint_len): Write function
882         optimized for CONSTRAINT_LEN implementation.
883         (write_tm_preds_h): Output insn_constraint_len inline and
884         use it for CONSTRAINT_LEN.
885         (write_insn_preds_c): Don't output insn_constraint_len.
886         * doc/md.texi (define_register_constraint): Document multi-letter
887         constraints shall have the same length if they start with the same
888         letter.
889
890 2007-04-03  Uros Bizjak  <ubizjak@gmail.com>
891
892         PR target/31175
893         * config/i386/i386.md (isinf<mode>2): Expand only when
894         TARGET_C99_FUNCTIONS is set.
895
896 2007-04-03  Uros Bizjak  <ubizjak@gmail.com>
897
898         * config.gcc (i[34567]86-*-linux*): Add i386/t-crtpc to tm-file.
899         (x86_64-*-linux*): Ditto.
900         * config/i386/i386.opt (mpc): New option.
901         * config/i386/i386.c (overrride_options): Handle
902         ix87_precision_string.
903         * config/i386/crtprec.c: New file.
904         * config/i386/t-crtpc: Ditto.
905         * config/i386/linux.h (ENDFILE_SPEC): Add handling of -mpc32, -mpc64
906         and -mpc80 options.
907         * config/i386/linux64.h (ENDFILE_SPEC): Ditto.
908         * config/i386/t-linux64 (EXTRA_MULTILIB_PARTS): Add
909         crtprec32.o, crtprec64.o and crtprec80.o.
910
911         * doc/invoke.texi (Machine Dependent Options): Add -mpc32, -mpc64
912         and -mpc80 options.
913         (i386 and x86-64 Options): Document -mpc32, -mpc64 and -mpc80 options.
914
915 2007-04-02  Eric Christopher  <echristo@apple.com>
916
917         * doc/invoke.texi (i386 and x86-64 Options): Document -m64
918         limitations on darwin.
919
920 2007-04-02  Anatoly Sokolov <aesok@post.ru>
921
922         PR target/31137
923         * config/avr/avr.c (avr_rtx_costs): Add missing 'break' statements.
924
925 2007-04-02  Dave Korn  <dave.korn@artimi.com>
926
927         * doc/tm.texi (FUNCTION_MODE): Update and extend documentation.
928
929 2007-04-02  Dave Korn  <dave.korn@artimi.com>
930
931         * libgcc2.h (exception_descriptor): Don't forward-declare.
932         (__get_eh_table_language, __get_eh_table_version): Delete
933         prototypes of long-dead functions.
934
935 2007-04-01  Daniel Berlin  <dberlin@dberlin.org>
936
937         * ebitmap.h: New file
938         * ebitmap.c: New file
939         * Makefile.in (ebitmap.o): New target.
940
941 2007-04-01  Jan Hubicka  <jh@suse.cz>
942
943         * emit-rtl.c (emit_insn_before_setloc): Do not ICE when asked to emit
944         before very first instruction.
945
946 2007-04-01  Jan Hubicka  <jh@suse.cz>
947
948         * ggc-page.c (ggc_print_statistics): Fix formatting string to avoid
949         waring on 64bit hosts.
950         * bitmap.h: Fix typo in bitmap_head_def.
951
952 2007-04-01  Steven Bosscher  <steven@gcc.gnu.org>
953
954         PR rtl-optimization/31391
955         * cfgcleanup.c (try_optimize_cfg): If a removed label is turned
956         into a DELETED_LABEL note, and the label is in an empty basic
957         block, update BB_END as well as BB_HEAD.
958
959 2007-04-01  Richard Henderson  <rth@redhat.com>
960
961         PR tree-optimization/31169
962         * tree-vrp.c (extract_range_from_binary_expr) <RSHIFT_EXPR>: Drop
963         to varying if the range is outside [0,  prec-1].
964
965 2007-04-01  Richard Sandiford  <richard@codesourcery.com>
966
967         PR target/31388
968         * config/mips/mips.md (load_const_gp): New insn.
969         * config/mips/mips.c (mips_split_symbol): Avoid using or creating
970         the MIPS16 GP pseudo register if no_new_pseudos.
971         (mips16_gp_pseudo_reg): Use gen_load_const_gp.
972
973 2007-03-31  Andrew Pinski  <andrew_pinski@playstation.sony.com>
974
975         PR target/31364
976         * config/rs6000/rs6000.md (call): Convert to LR hard reg for
977         secureplt.
978         (call_value): Likewise.
979
980 2007-03-31  Wolfgang Bangerth  <bangerth@dealii.org>
981             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
982
983         PR 14737
984         * doc/invoke.texi: (optimization options): Reword description
985         of -ffast-math. Document its primary purpose.
986
987 2007-03-31  Richard Guenther  <rguenther@suse.de>
988
989         * omp-low.c (splay-tree.h): Include.
990         (lookup_decl): Replace splay-tree usage by pointer-map.
991         (maybe_lookup_decl): Likewise.
992         (new_omp_context): Likewise.
993         (delete_omp_context): Likewise.
994         * gimplify.c (splay-tree.h): Include.
995         * tree-inline.c (insert_decl_map): Replace splay-tree usage by
996         pointer-map.
997         (remap_ssa_name): Likewise.
998         (remap_decl): Likewise.
999         (remap_type_1): Likewise.
1000         (remap_type): Likewise.
1001         (copy_body_r): Likewise.
1002         (expand_call_inline): Likewise.
1003         (clone_body): Likewise.
1004         (copy_tree_r): Likewise.
1005         (remap_save_expr): Likewise.
1006         (unsave_r): Likewise.
1007         (unsave_expr_now): Likewise.
1008         (tree_function_versioning): Likewise.
1009         (build_duplicate_type): Likewise.
1010         * tree-inline.h (pointer-set.h): Include instead of splay-tree.h.
1011         (struct copy_body_data): Replace splay-tree by pointer-map.
1012         * Makefile.in (TREE_INLINE_H): Depend on pointer-map.h,
1013         not $(SPLAY_TREE_H).
1014         (gimplify.o): Depend on $(SPLAY_TREE_H).
1015         (omp-low.p): Likewise.
1016
1017 2007-03-31  Anatoly Sokolov <aesok@post.ru>
1018
1019         * config/avr/predicates.md (even_register_operand,
1020         odd_register_operand): New predicates.
1021         * config/avr/avr.md (movw peephole2): New.
1022         (movw_r peephole2): New.
1023
1024 2007-03-30  Rafael Avila de Espindola  <espindola@google.com>
1025
1026         * tree.h (get_signed_or_unsigned_type): New.
1027         * fold-const.c (operand_equal_for_comparison_p): Use
1028         get_signed_or_unsigned_type instead of
1029         lang_hooks.types.signed_or_unsigned_type.
1030         * expr.c (store_expr): Ditto.
1031         * langhooks.c (get_signed_or_unsigned_type): New.
1032         (lhd_signed_or_unsigned_type): New.
1033         * langhooks.h (lhd_signed_or_unsigned_type): New.
1034         * langhooks-def.h (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Define.
1035
1036 2007-03-30  Richard Henderson  <rth@redhat.com>
1037
1038         * tree-ssa-loop-ivopts.c: Include target.h.
1039         (produce_memory_decl_rtl): Pass the rtx through encode_section_info.
1040         (get_address_cost): Force SYMBOL_FLAG_LOCAL set.
1041         (force_expr_to_var_cost): Use produce_memory_decl_rtl.
1042         * Makefile.in (tree-ssa-loop-ivopts.o): Depend on TARGET_H.
1043
1044 2007-03-30  Richard Henderson  <rth@redhat.com>
1045             Kai Tietz  <kai.tietz@onevision.com>
1046
1047         * config/i386/cygming.h (DWARF2_DEBUGGING_INFO): Enable by
1048         default for 64-bit.
1049         (PREFERRED_DEBUGGING_TYPE): Prefer dwarf2 for 64-bit.
1050         (TARGET_64BIT_MS_ABI): New.
1051         (DBX_REGISTER_NUMBER): Handle 64-bit.
1052         (SIZE_TYPE, PTRDIFF_TYPE): Use long long for 64-bit.
1053         (LONG_TYPE_SIZE): Force to 32.
1054         (REG_PARM_STACK_SPACE): New.
1055         (OUTGOING_REG_PARM_STACK_SPACE): New.
1056         (REGPARM_MAX, SSE_REGPARM_MAX): New.
1057         (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
1058         (STACK_BOUNDARY): Use 128 for 64-bit.
1059         * config/i386/cygwin.asm: Use push/ret to preserve call stack.
1060         Add 64-bit implementation.
1061         * config/i386/gthr-win32.c (__gthr_win32_key_create): Mark dtor
1062         argument unused.
1063         * config/i386/i386.c (x86_64_ms_abi_int_parameter_registers): New.
1064         (override_options): Set ix86_cmodel for TARGET_64BIT_MS_ABI.
1065         Warn for -mregparm, -mrtd in 64-bit mode; force ix86_regparm
1066         for 64-bit; use TARGET_SUBTARGET64_DEFAULT.
1067         (ix86_handle_cconv_attribute): Don't warn when ignoring if
1068         TARGET_64BIT_MS_ABI.
1069         (ix86_function_arg_regno_p): Handle TARGET_64BIT_MS_ABI.
1070         (ix86_pass_by_reference): Likewise.
1071         (ix86_function_value_regno_p): Likewise.
1072         (ix86_build_builtin_va_list): Likewise.
1073         (ix86_va_start, ix86_gimplify_va_arg): Likewise.
1074         (function_arg_advance_ms_64): New.
1075         (function_arg_advance): Call it.
1076         (function_arg_ms_64): New.
1077         (function_arg): Call it.
1078         (function_value_ms_64): New.
1079         (ix86_function_value_1): Call it.
1080         (return_in_memory_ms_64): New.
1081         (ix86_return_in_memory): Call it.
1082         (setup_incoming_varargs_ms_64): New.
1083         (ix86_setup_incoming_varargs): Call it.
1084         (ix86_expand_prologue): Handle 64-bit stack probing.
1085         (legitimize_pic_address): Handle TARGET_64BIT_MS_ABI.
1086         (output_pic_addr_const): Likewise.
1087         (x86_this_parameter): Likewise.
1088         (x86_output_mi_thunk): Likewise.
1089         (x86_function_profiler): Likewise.
1090         (TARGET_STRICT_ARGUMENT_NAMING): New.
1091         * config/i386/i386.h (TARGET_SUBTARGET64_DEFAULT): New.
1092         (TARGET_64BIT_MS_ABI): New.
1093         (CONDITIONAL_REGISTER_USAGE): Handle TARGET_64BIT_MS_ABI.
1094         * config/i386/i386.md (allocate_stack_worker): Remove.
1095         (allocate_stack_worker_32): Rename from allocate_stack_worker_1;
1096         describe the clobber of eax without a match_scratch.
1097         (allocate_stack_worker_postreload): Remove.
1098         (allocate_stack_worker_64): Rename from allocate_stack_worker_rex64;
1099         describe the clobbers of rax, r10, r11 properly; use __chkstk symbol.
1100         (allocate_stack_worker_rex64_postreload): Remove.
1101         (allocate_stack): Handle 64-bit.
1102         * config/i386/i386elf (TARGET_SUBTARGET_DEFAULT): Remove.
1103         * config/i386/mingw32.h (TARGET_VERSION): Set correctly for 64-bit.
1104         (EXTRA_OS_CPP_BUILTINS): Handle 64-bit.
1105         (STANDARD_INCLUDE_DIR): Handle TARGET_64BIT_DEFAULT.
1106         (STANDARD_STARTFILE_PREFIX_1): Likewise.
1107         * config/i386/unix.h (TARGET_SUBTARGET64_DEFAULT): New.
1108         * config.build (x86_64-*-mingw*): New host.
1109         * config.host (x86_64-*-mingw*): New host.
1110         * config.gcc (x86_64-*-mingw*): New target.
1111         * gthr-win32.h (__gthread_key_create): Mark dtor unused.
1112
1113 2007-03-30  Richard Henderson  <rth@redhat.com>
1114             Kai Tietz  <kai.tietz@onevision.com>
1115
1116         * c-pragma.c (struct def_pragma_macro_value): New.
1117         (struct def_pragma_macro): New.
1118         (pushed_macro_table): New.
1119         (dpm_hash, dpm_eq): New.
1120         (handle_pragma_push_macro, handle_pragma_pop_macro): New.
1121         (init_pragma): Install them.
1122         * doc/tm.texi (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
1123
1124 2007-03-30  Anatoly Sokolov <aesok@post.ru>
1125
1126         * config/avr/avr.c (avr_override_options): Clear
1127         'flag_delete_null_pointer_checks'.
1128
1129 2007-03-30  Paolo Carlini  <pcarlini@suse.de>
1130
1131         PR c++/26099
1132         * c-common.h (enum rid): Add RID_HAS_NOTHROW_ASSIGN,
1133         RID_HAS_NOTHROW_CONSTRUCTOR, RID_HAS_NOTHROW_COPY,
1134         RID_HAS_TRIVIAL_ASSIGN, RID_HAS_TRIVIAL_CONSTRUCTOR,
1135         RID_HAS_TRIVIAL_COPY, RID_HAS_TRIVIAL_DESTRUCTOR,
1136         RID_HAS_VIRTUAL_DESTRUCTOR, RID_IS_ABSTRACT, RID_IS_BASE_OF,
1137         RID_IS_CONVERTIBLE_TO, RID_IS_CLASS, RID_IS_EMPTY, RID_IS_ENUM,
1138         RID_IS_POD, RID_IS_POLYMORPHIC, RID_IS_UNION, as
1139         C++ extensions.
1140         * doc/extend.texi (Extensions to the C++ Language): Add Type Traits.
1141
1142 2007-03-30  Steven Bosscher  <steven@gcc.gnu.org>
1143
1144         * regmove.c: Move all of pass_stack_adjustments from here...
1145         * combine-stack-adj.c: ...to this new file.
1146         * Makefile.in: Add rules for combine-stack-adj.o.
1147
1148 2007-03-30  Zdenek Dvorak  <dvorakz@suse.cz>
1149
1150         PR tree-optimization/31383
1151         * tree-data-ref.c (affine_function_equal_p): Do not require the vectors
1152         to have the same length.
1153
1154 2007-03-30  Jan Hubicka  <jh@suse.cz>
1155
1156         PR middle-end/30700
1157         * dwarf2out.c (reference_to_unused): Ask cgraph for functions
1158         availablility; add more sanity checking; ask varpool only about
1159         VAR_DECL.
1160
1161 2007-03-29  Richard Henderson  <rth@redhat.com>
1162
1163         * unwind-generic.h (_sleb128_t, _uleb128_t): Don't use HAVE_LONG_LONG
1164         to decide, but __SIZEOF_LONG_LONG__.
1165
1166 2007-03-29  Richard Henderson  <rth@redhat.com>
1167
1168         * emutls.c (struct __emutls_array): New.
1169         (emutls_destroy): Use it instead of casting element 0 from void*.
1170         (__emutls_get_address): Likewise.
1171
1172 2007-03-29  Richard Henderson  <rth@redhat.com>
1173
1174         * varasm.c (initializer_constant_valid_p): Don't deny
1175         DECL_DLLIMPORT_P on functions.
1176
1177         * config/i386/cygming.h: Remove function declarations.
1178         (SUBTARGET_ENCODE_SECTION_INFO): Don't undef first.
1179         (ASM_OUTPUT_LABELREF): Remove.
1180         (COMMON_ASM_OP): Remove.
1181         (ASM_OUTPUT_COMMON): Remove.
1182         (ASM_OUTPUT_ALIGNED_DECL_COMMON): New.
1183         (ASM_DECLARE_OBJECT_NAME): Use i386_pe_maybe_record_exported_symbol.
1184         (ASM_DECLARE_FUNCTION_NAME): Likewise.
1185         * config/i386/i386-interix.h (SUBTARGET_ENCODE_SECTION_INFO):
1186         Rename from TARGET_ENCODE_SECTION_INFO.
1187         * config/i386/netware.h: Likewise.
1188         * config/i386/i386-protos.h: Update.
1189         * config/i386/i386.c (ix86_function_ok_for_sibcall): Turn ifdef
1190         of TARGET_DLLIMPORT_DECL_ATTRIBUTES into straight if.
1191         (legitimate_constant_p): Reject dllimports.
1192         (dllimport_map, get_dllimport_decl): New.
1193         (legitimize_dllimport_symbol): New.
1194         (legitimize_address, ix86_expand_move): Use it.
1195         (TARGET_BINDS_LOCAL_P): Redefine for TARGET_DLLIMPORT_DECL_ATTRIBUTES.
1196         * config/i386/i386.h (DLL_IMPORT_EXPORT_PREFIX): Remove.
1197         (SYMBOL_FLAG_DLLIMPORT, SYMBOL_REF_DLLIMPORT_P): New.
1198         (SYMBOL_FLAG_DLLEXPORT, SYMBOL_REF_DLLEXPORT_P): New.
1199         * config/i386/predicates.md (constant_call_address_operand): Only
1200         accept symbols; reject dllimport_p symbols.
1201         * config/i386/uwin.h (ASM_DECLARE_FUNCTION_NAME): Use
1202         i386_pe_maybe_record_exported_symbol.
1203         * config/i386/winnt.c (DLL_IMPORT_PREFIX, DLL_EXPORT_PREFIX): Remove.
1204         (i386_pe_determine_dllexport_p): Rename from i386_pe_dllexport_p.
1205         (i386_pe_determine_dllimport_p): Rename from i386_pe_dllimport_p;
1206         trust the setting of DECL_DLLIMPORT_P.
1207         (i386_pe_dllexport_name_p, i386_pe_dllimport_name_p): Remove.
1208         (i386_pe_mark_dllexport, i386_pe_mark_dllimport): Remove.
1209         (gen_stdcall_or_fastcall_suffix): Return NULL if no change required;
1210         tidy the argument scanning loop.
1211         (i386_pe_encode_section_info): Set SYMBOL_FLAG_DLLIMPORT and
1212         SYMBOL_FLAG_DLLEXPORT in SYMBOL_REF_FLAGS.
1213         (i386_pe_strip_name_encoding): Remove.
1214         (i386_pe_binds_local_p): New.
1215         (i386_pe_strip_name_encoding_full): Use default_strip_name_encoding.
1216         (i386_pe_output_labelref): Remove.
1217         (i386_pe_asm_output_aligned_decl_common): New.
1218         (i386_pe_maybe_record_exported_symbol): Rename from
1219         i386_pe_record_exported_symbol; check for dllexported symbols.
1220
1221 2007-03-29  Zack Weinberg  <zack@mrtock.ucsd.edu>
1222
1223         * gengtype.c (oprintf): Mostly revert changes from 2007-03-26;
1224         add comment explaining why vsnprintf cannot be used.
1225
1226 2007-03-29  Douglas Gregor  <doug.gregor@gmail.com>
1227
1228         PR tree-optimization/30666
1229         * tree.c (build_complex_type): When creating type names for DWARF2
1230         debug info, create TYPE_DECLs for TYPE_NAME instead of
1231         IDENTIFIER_NODEs.
1232         (build_common_tree_nodes_2): Use build_complex_type when building
1233         predefined complex types, to preserve canonical types.
1234
1235 2007-03-29  Steven Bosscher  <steven@gcc.gnu.org>
1236
1237         * ifcvt.c (struct noce_if_info): Add then_else_reversed field.
1238         (noce_get_alt_condition): Look at it to determine whether to
1239         reverse the condition or not.
1240         (noce_get_condition): Substitute the truth for lies.
1241         (noce_find_if_block): Set the then_else_reversed field.
1242
1243 2007-03-29  Lars Poeschel <larsi@wh2.tu-dresden.de>
1244
1245         * config/fr30/fr30.md (movdi): Do not accept immediates as the
1246         destination of this insn.
1247         * config/fr30/fr30.c (fr30_move_double): Use emit_move_insn rather
1248         than calling gen_rtx_SET directly.  Use r0 to hold the value of
1249         'address + 4' rather than a stack based temporary which can be
1250         mis-optimized away.
1251
1252 2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
1253
1254         * config/s390/s390.c (s390_secondary_input_reload_class,
1255         s390_secondary_output_reload_class): Functions removed.
1256         (s390_secondary_reload): New function.
1257         (TARGET_SECONDARY_RELOAD): Target macro defined.
1258         * config/s390/s390.h (SECONDARY_INPUT_RELOAD_CLASS,
1259         SECONDARY_OUTPUT_RELOAD_CLASS): Macro definitions removed.
1260         * config/s390/s390.md ("reload_outti", "reload_outdi",
1261         "reload_indi", "reload_insi", "reload_out<mode>", "reload_in<mode>",
1262         "reload_out<mode>"): Expanders removed.
1263         ("reload<mode>_plus", "reload<mode>_nonoffmem_in",
1264         "reload<mode>_nonoffmem_out"): Expanders added.
1265
1266 2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
1267
1268         * regmove.c (optimize_reg_copy_1): Don't perform DEST->SRC repair action if
1269         SRC->DEST replacement failed anyway.
1270
1271 2007-03-28  Mike Stump  <mrs@apple.com>
1272
1273         * config/darwin9.h (ASM_OUTPUT_ALIGNED_COMMON): Add.
1274         * config/darwin.h (MAX_OFILE_ALIGNMENT): Fix.
1275         * config/rs6000/darwin.h (ASM_OUTPUT_ALIGNED_COMMON): Removed #undef.
1276
1277 2007-03-28  Dwarakanath Rajagopal  <dwarak.rajagopal@amd.com>
1278
1279         * config.gcc: Accept barcelona as a variant of amdfam10.
1280         * config/i386/i386.c (override_options): Likewise.
1281         * doc/invoke.texi: Likewise.
1282
1283 2007-03-28  Eric Botcazou  <ebotcazou@adacore.com>
1284
1285         * tree-dfa.c (get_ref_base_and_extent): Do not expect positive
1286         offsets for BIT_FIELD_REF and COMPONENT_REF.
1287
1288 2007-03-28  Richard Guenther  <rguenther@suse.de>
1289
1290         * tree.c (is_global_var): Move ...
1291         * tree-flow-inline.h (is_global_var): ... here.
1292         * tree.h (is_global_var): Remove declaration.
1293
1294 2007-03-28  Uros Bizjak  <ubizjak@gmail.com>
1295
1296         * config/i386/i386.h (X86_TUNE_PROMOTE_HIMODE_IMUL): New tuning
1297         option.
1298         (TARGET_TUNE_PROMOTE_HIMODE_IMUL): New define. Use new tuning option.
1299         * config/i386/i386.c (ix86_tune_features): Initialize new
1300         tuning option.
1301         * config/i386/predicates.md (promotable_binary_operator): Use
1302         TARGET_TUNE_PROMOTE_HIMODE_IMUL.
1303
1304 2007-03-28  Grigory Zagorodnev <grigory_zagorodnev@linux.intel.com>
1305
1306         PR target/31380
1307         * config/i386/sse.md (uminv16qi3): Use UMIN instead of UMAX.
1308
1309 2007-03-28  Lars Poeschel <larsi@wh2.tu-dresden.de>
1310
1311         * config/fr30/fr30.md (movsi_internal): Change destination
1312         constraint from m to V and add m to the end.
1313
1314 2007-03-28  Christian Bruel  <christian.bruel@st.com>
1315
1316         * config/sh/sh.md (movsi_i): Fix type attribute.
1317
1318 2007-03-28  Christian Bruel  <christian.bruel@st.com>
1319
1320         * config/sh/sh.md (movsi_ie): Fix memory constraints attribute length.
1321         (movsf_ie): Likewise.
1322
1323 2007-03-28  Christian Bruel  <christian.bruel@st.com>
1324
1325         * config.gcc: Add sh4-300 to multilib.
1326         * config/sh/t-mlib-sh4-300: New file.
1327
1328 2007-03-28  Andreas Krebbel  <krebbel1@de.ibm.com>
1329
1330         * config/s390/s390.md ("fix_trunc<mode>di2"): New expander.
1331         ("fix_trunc<DFP:mode>di2_dfp"): New insn definition renamed from
1332         fix_trunc<mode>di2.
1333         ("fixuns_truncdddi2", "fixuns_trunctddi2"): Use
1334         fix_trunc<DFP:mode>di2_dfp instead of fix_trunc<mode>di2.
1335         ("fix_truncdfsi2", "fix_truncsfsi2", "fixuns_truncdddi2",
1336         "fixuns_trunctddi2"): Whitespace fix.
1337
1338 2007-03-28  Kaz Kojima  <kkojima@gcc.gnu.org>
1339
1340         * config/sh/sh.h (CALL_COOKIE_RET_TRAMP_SHIFT): Move after
1341         the definition of struct sh_args.
1342         (CALL_COOKIE_RET_TRAMP, CALL_COOKIE_STACKSEQ_SHIFT,
1343         CALL_COOKIE_INT_REG_GET): Likewise.
1344
1345 2007-03-28  Steven Bosscher  <steven@gcc.gnu.org>
1346
1347         * ifcvt.c (cond_exec_find_if_block): Return FALSE if no
1348         transformations are applied successfully.
1349
1350 2007-03-27  Douglas Gregor  <doug.gregor@gmail.com>
1351
1352         * tree.c (tree_contains_struct): Permit 512 tree codes.
1353         * tree.h (tree_contains_struct): Ditto.
1354         (MAX_TREE_CODES): Ditto.
1355         (struct tree_base): Make CODE 16 bits, instead of 8 bits. Add
1356         SPARE member to store remaining padding bits.
1357
1358 2007-03-27  Anatoly Sokolov <aesok@post.ru>
1359
1360         * config/avr/avr.c (avr_mcu_types): Move at90usb82 device to 'avr4'
1361         architecture.
1362
1363 2007-03-27  Janis Johnson  <janis187@us.ibm.com>
1364
1365         * configure.ac: Fix assembler test for powerpc*-linux decimal float.
1366         * configure: Regenerate.
1367
1368         * configure: Regenerate using the correct version of autoconf.
1369
1370 2007-03-27  Anatoly Sokolov  <aesok@post.ru>
1371
1372         * config/avr/avr.c (avr_hard_regno_mode_ok): Disallow QImode in stack
1373         pointer regs.
1374         * config/avr/avr.h (REGISTER_NAMES): Rename "__SPL__" and "__SPH__"
1375         regs to "__SP_L__" and "__SP_H__".
1376
1377 2007-03-27  Richard Guenther  <rguenther@suse.de>
1378
1379         * tree-dfa.c (get_ref_base_and_extent): Replace bit_offset and
1380         computations with it with a HOST_WIDE_INT variable.
1381
1382 2007-03-26  Mike Stump  <mrs@apple.com>
1383
1384         * config/rs6000/darwin.h (DARWIN_MINVERSION_SPEC): Add
1385         objective-c-header, objective-c++-header and objc++-cpp-output
1386         support.
1387         * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Likewise.
1388
1389 2007-03-26  Richard Henderson  <rth@redhat.com>
1390
1391         PR target/31361
1392         * config/i386/i386.c (IX86_BUILTIN_PSLLDQ128, IX86_BUILTIN_PSLLW128,
1393         IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128, IX86_BUILTIN_PSRAW128,
1394         IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128, IX86_BUILTIN_PSRLD128,
1395         IX86_BUILTIN_PSRLQ128): New.
1396         (ix86_init_mmx_sse_builtins): Add them.
1397         (ix86_expand_builtin): Expand them.
1398         * config/i386/sse.md (ashr<mode>3, lshr<mode>3, ashl<mode>3): Make
1399         operand 2 be TImode.
1400         * config/i386/emmintrin.h (_mm_slli_epi64, _mm_srai_epi16,
1401         _mm_srai_epi32, _mm_srli_epi16, _mm_srli_epi32,
1402         _mm_srli_epi64): Mark __B const.
1403         (_mm_srli_si128, _mm_srli_si128): Fix disabled inline versions.
1404         (_mm_sll_epi16, _mm_sll_epi32, _mm_sll_epi64, _mm_sra_epi16,
1405         _mm_sra_epi32, _mm_srl_epi16, _mm_srl_epi32, _mm_srl_epi64): Use
1406         new two-vector shift builtins.
1407
1408 2007-03-26  Ian Lance Taylor  <iant@google.com>
1409
1410         PR tree-optimization/31345
1411         * tree-vrp.c (extract_range_from_binary_expr): Turn ranges like
1412         [+INF, +INF(OVF)] into VARYING.
1413
1414 2007-03-26  Zack Weinberg  <zackw@panix.com>
1415
1416         * gengtype-parse.c: New file.
1417         * gengtype-yacc.y: Delete.
1418         * gengtype-lex.l: Don't include gengtype-yacc.h.
1419         Define YY_DECL and yyterminate appropriately for recursive
1420         descent parser.  yylval is now a string out-parameter to yylex.
1421         (HWS, EOID): New shorthand.
1422         (IWORD): Add a couple more types.
1423         (yylex): Add a setup stanza.  Remove the complex rules for
1424         detecting GTY'ed types and typedefs; replace with simple
1425         keyword detectors.  Adjust everything for the changed
1426         definition of yylval.  Ignore all pp-directives, not just #define.
1427         (yyerror): Delete.
1428         (parse_file): Rename yybegin; do not call yyparse.
1429         (yyend): New.
1430         * gengtype.c (xasprintf): Export again.
1431         (this_file): New.  Use everywhere __FILE__ was being used.
1432         (get_lang_bitmap): Special case types defined in gengtype.c.
1433         (do_typedef, new_structure): Suppress definition of certain types.
1434         (new_structure): Improve diagnostics of duplicate definitions.
1435         Make sure location_s is associated with input.h.
1436         (nreverse_pairs, define_location_structures): New functions.
1437         (main): Improve tagging of kludge types.  Remove old kludges
1438         for input.h types; use define_location_structures.
1439         * gengtype.h: Update prototypes.  Define token codes here.
1440         * Makefile.in: Remove all references to gengtype-yacc.
1441         Add rules for gengtype-parse.o.  Adjust rules for gengtype-lex.o
1442         and gengtype.
1443         * bitmap.h (struct bitmap_head_def): Coalesce definitions,
1444         add GTY((skip)) to the field that's only conditionally there.
1445         * doc/install.texi: Document that Bison is no longer required
1446         unless building treelang.
1447
1448         * gengtype.c: Don't include gtyp-gen.h.
1449         (srcdir): Declare here.
1450         (base_files, lang_dir_names): Allocate dynamically.
1451         (gt_files, num_gt_files, num_lang_dirs): New globals.
1452         (measure_input_list, read_input_line, read_input_list)
1453         (set_lang_bitmap): New functions.
1454         (get_base_file_bitmap): Rename get_lang_bitmap and drastically
1455         simplify, relying on read_input_list to set up the bitmaps.
1456         (main): Arguments are no longer unused.  Check for correct number
1457         of command line arguments, set srcdir and srcdir_len, then call
1458         read_input_list, before doing anything else.  No need to worry
1459         about duplicates in main loop.
1460         * configure.ac: Simplify the calculation of all_gtfiles.
1461         Put language tags in there.  Don't set or substitute
1462         all_gtfiles_files_langs or all_gtfiles_files_frags.
1463         * Makefile.in: Revamp the way gengtype is invoked, now that it
1464         takes a file on its command line with a much simpler format.
1465         Remove or replace with gtyp-input.list all references to gtyp-gen.h.
1466         (GTFILES): Remove duplicates and C source files.
1467         * c-config-lang.in, cp/config-lang.in, objc/config-lang.in
1468         * objcp/config-lang.in: Add c-pragma.h to gtfiles.
1469         * configure: Regenerate.
1470
1471         * gengtype.h: Remove all type definitions to gengtype.c; leave
1472         only definitions of options_p, type_p, and pair_p as opaque
1473         pointers.  Update prototypes.
1474         * gengtype.c: Many type definitions moved here from gengtype.h.
1475         Consolidate type definitions at the top of the file.
1476         (xvasprintf): Delete.
1477         (xasprintf): Make static.
1478         (create_nested_pointer_option): Add 'next' parameter.
1479         (create_field_all, create_field_at): New functions.
1480         (create_field): Now a thin wrapper around create_field_all.
1481         (create_optional_field): Rename create_optional_field_ and add
1482         line argument.  Original name is now a macro which supplies
1483         __LINE__.
1484         (oprintf): Use vsnprintf directly.
1485         (close_output_files): Use fatal rather than perror/exit.
1486         (note_def_vec, note_def_vec_alloc): Use create_field_at.
1487         (main): Set progname.  Don't use exit.
1488         * gengtype-yacc.y (struct_fields): Use create_field_at.
1489         (option, optionseqopt): Delete.
1490         (optionseq): Consolidate productions from option here so we
1491         can use the first argument to create_option.
1492
1493         * gengtype-lex.l: Distinguish unions from structures in the
1494         token type.  Don't call find_structure; return the tag as a string.
1495         * gengtype-yacc.y: Add new token types ENT_TYPEDEF_UNION and ENT_UNION.
1496         Type of these, ENT_TYPEDEF_STRUCT, and ENT_STRUCT is string.
1497         Reorganize typedef_struct production accordingly.
1498         Use create_nested_ptr_option.
1499         * gengtype.c (create_nested_ptr_option): New function.
1500         * gengtype.h: Declare it.
1501
1502         * gengtype.h (struct type): Replace 'sc' with boolean, scalar_is_char.
1503         (string_type): Don't declare.
1504         (do_scalar_typedef): Declare.
1505         (create_scalar_type): Update prototype.
1506         * gengtype.c (string_type): Make static.
1507         (scalar_nonchar, scalar_char): New.
1508         (do_scalar_typedef): Export.  Always use scalar_nonchar for the type.
1509         (resolve_typedef): Use scalar_nonchar for error recovery.
1510         (create_scalar_type): Remove name_len field.  Return scalar_char
1511         or scalar_nonchar as appropriate.
1512         (adjust_field_type): Look at scalar_is_char boolean to decide whether
1513         to use string_type.
1514         (throughout): Use scalar_nonchar instead of calling create_scalar_type,
1515         whenever possible.
1516         (main): Initialize scalar_char and scalar_nonchar before calling
1517         gen_rtx_next.
1518         * gengtype-lex.l: Adjust for removal of second argument to
1519         create_scalar_type.  Use yylval.s instead of yylval.t when
1520         returning SCALAR.
1521         * gengtype-yacc.y: Type of SCALAR is string.  Call
1522         create_scalar_type from type:SCALAR rule.  Adjust for removal of
1523         second argument to create_scalar_type.
1524
1525         * vec.h: Remove all #if IN_GENGTYPE blocks.
1526         Add comment saying that changes may require adjustments to gengtype.
1527         * gengtype.c: Don't include coretypes.h or tm.h.
1528         Add comment to inclusion of errors.h.
1529         (note_def_vec, note_def_vec_alloc): New functions.
1530         * gengtype.h: Declare new functions.
1531         * gengtype-lex.l: Don't include coretypes.h.
1532         (YY_INPUT, macro_input, push_macro_expansion, mangle_macro_name):
1533         Delete.
1534         (update_lineno): Remove unnecessary prototype.
1535         (DEF_VEC_* rules): Simplify using note_def_vec / note_def_vec_alloc.
1536         (VEC rule): Just return VEC_TOKEN.
1537         * gengtype-yacc.y (VEC_TOKEN): New token type.
1538         (type): Add a production for VEC(a,b).
1539         * Makefile.in: Update dependencies.
1540
1541         * gengtype-lex.l: Remove rules for parsing pointer-to-function
1542         typedefs that use the old PARAMS macro.
1543
1544         * gengtype-lex.l: Remove all rules and states relating to yacc
1545         input files.
1546         * gengtype-yacc.y: Similarly.
1547         * gengtype.c (note_yacc_type): Delete function.
1548         * gengtype.h: Update prototypes.
1549
1550 2007-03-26  Joseph Myers  <joseph@codesourcery.com>
1551
1552         * tree-pretty-print.c (dump_generic_node): Report precision of
1553         unnamed integer types.
1554
1555 2007-03-26  Steven Bosscher  <steven@gcc.gnu.org>
1556
1557         * ifcvt.c (noce_try_store_flag_constants): Don't check
1558         no_new_pseudos here.
1559         (noce_try_store_flag_constants): Don't check no_new_pseudos.
1560         (noce_try_addcc, noce_try_store_flag_mask, noce_try_cmove_arith,
1561         noce_try_cmove_arith, noce_try_minmax, noce_try_abs,
1562         noce_try_sign_mask): Likewise.
1563         (if_convert): Check no_new_pseudos here.
1564
1565         (cond_exec_process_if_block, noce_process_if_block, find_if_block):
1566         Remove prototypes.
1567         (struct noce_if_info): Add then_bb, else_bb, join_bb members.
1568         (noce_get_condition): Handle new then_else_reversed argument.
1569         (noce_init_if_info): Remove, fold into noce_find_if_block.
1570         (noce_process_if_block): Take a struct noce_if_info as the
1571         argument.  Don't set up one based on ce_if_info.  Update pointer
1572         references accordingly.
1573         (cond_move_process_if_block): Likewise.
1574         (process_if_block): Removed.
1575         (find_if_block): Removed.  Move functionality two new functions,
1576         noce_find_if_block and cond_exec_find_if_block.
1577         (noce_find_if_block): New function.  Be aware of IF-THEN-JOIN
1578         blocks and the symmetric IF-ELSE-JOIN case.
1579         (cond_exec_find_if_block): Also new function mostly based on old
1580         find_if_block and process_if_block.
1581         (find_if_header): Replace find_if_block call with separately
1582         guarded calls to noce_find_if_block and cond_exec_find_if_block.
1583         (find_cond_trap): Update noce_get_condition call.
1584         (dead_or_predicable): Likewise.
1585
1586 2007-03-26  Jakub Jelinek  <jakub@redhat.com>
1587
1588         * config/i386/i386.c (IX86_BUILTIN_CMPNEPD, IX86_BUILTIN_CMPNESD):
1589         Remove.
1590         (IX86_BUILTIN_PSLLW128, IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128,
1591         IX86_BUILTIN_PSRAW128, IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128,
1592         IX86_BUILTIN_PSRLD128, IX86_BUILTIN_PSRLQ128): Remove.
1593         (ix86_init_mmx_sse_builtins): Remove v8hi_ftype_v8hi_v2di and
1594         v4si_ftype_v4si_v2di.  Remove __builtin_ia32_psllw128,
1595         __builtin_ia32_pslld128, __builtin_ia32_psllq128,
1596         __builtin_ia32_psrlw128, __builtin_ia32_psrld128,
1597         __builtin_ia32_psrlq128, __builtin_ia32_psraw128 and
1598         __builtin_ia32_psrad128 builtins.
1599
1600 2007-03-26  Uros Bizjak  <ubizjak@gmail.com>
1601
1602         * reg-stack.c (replace_reg): Use IN_RANGE macro in gcc_assert().
1603         * config/i386/constraints.md
1604         (define_constraint "I"): Use IN_RANGE macro.
1605         (define_constraint "J"): Ditto.
1606         (define_constraint "K"): Ditto.
1607         (define_constraint "M"): Ditto.
1608         (define_constraint "N"): Ditto.
1609         (define_constraint "O"): Ditto.
1610         * config/i386/predicates.md
1611         (define_predicate "register_no_elim_operand"): Use IN_RANGE macro.
1612         (define_predicate "const_0_to_3_operand"): Ditto.
1613         (define_predicate "const_0_to_7_operand"): Ditto.
1614         (define_predicate "const_0_to_15_operand"): Ditto.
1615         (define_predicate "const_0_to_63_operand"): Ditto.
1616         (define_predicate "const_0_to_255_operand"): Ditto.
1617         (define_predicate "const_1_to_31_operand"): Ditto.
1618         (define_predicate "const_2_to_3_operand"): Ditto.
1619         (define_predicate "const_4_to_7_operand"): Ditto.
1620
1621 2007-03-25  David Edelsohn  <edelsohn@gnu.org>
1622
1623         * config/rs6000/rs6000.c (rs6000_emit_prologue): Always clobber LR
1624         in SImode for save_world.
1625         * config/rs6000/altivec.md (save_world, restore_world): Convert to
1626         LR hard reg.
1627
1628 2007-03-25  Dorit Nuzman  <dorit@il.ibm.com>
1629
1630         PR tree-optimization/30784
1631         * fold-const.c (fold_ternary): Handle CONSTRUCTOR in case
1632         BIT_FIELD_REF.
1633
1634 2007-03-25  Revital Eres  <eres@il.ibm.com>
1635
1636         * tree-if-conv.c (if_convertible_gimple_modify_stmt_p):
1637           Fold movement_possibility function into it.
1638
1639 2007-03-25  David Edelsohn  <edelsohn@gnu.org>
1640
1641         * config/rs6000/darwin.md (load_macho_picbase): Ignore operand 0.
1642         (load_macho_picbase_{si,di}): Convert to LR hard reg.
1643         (call_indirect_nonlocal_darwin64): Same.
1644         (call_nonlocal_darwin64): Same.
1645         (call_value_indirect_nonlocal_darwin64): Same.
1646         (call_value_nonlocal_darwin64): Same.
1647         (sibcall_nonlocal_darwin64): Same.
1648         (sibcall_value_nonlocal_darwin64): Same.
1649         (sibcall_symbolic_64): Same.
1650         (sibcall_value_symbolic_64): Same.
1651         * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Remove
1652         LR pseudo.
1653         (rs6000_emit_load_toc_table): Same.
1654         * config/rs6000/altivec.md (restore_world): Convert to LR hard reg.
1655         * config/rs6000/rs6000.md (mulh_call): Convert to LR hard reg.
1656         (mull_call): Same.
1657         (divss_call): Same.
1658         (divus_call): Same.
1659         (quoss_call): Same.
1660         (quous_call): Same.
1661         (load_toc_v4_pic_si): Same
1662         (load_toc_v4_PIC_1): Same.
1663         (load_toc_v4_PIC_1b): Same.
1664         (call_indirect_aix{32,64}): Same.
1665         (call_value_indirect_aix{32,64}): Same.
1666         (call): Same.
1667         (call_value): Same.
1668         (call_local{32,64}): Same.
1669         (call_value_local{32,64}): Same.
1670         (call_indirect_nonlocal_aix{32,64}): Same.
1671         (call_nonlocal_aix{32,64}): Same.
1672         (call_value_indirect_nonlocal_aix{32,64}): Same.
1673         (call_value_nonlocal_aix{32,64}): Same.
1674         (call_indirect_nonlocal_sysv<mode>): Same.
1675         (call_nonlocal_sysv<mode>): Same.
1676         (call_value_indirect_nonlocal_sysv<mode>): Same.
1677         (call_value_nonlocal_sysv<mode>): Same.
1678         (sibcall): Same.
1679         (sibcall_local{32,64}): Same.
1680         (sibcall_value_local{32,64}): Same.
1681         (sibcall_nonlocal_aix{32,64}): Same.
1682         (sibcall_value_nonlocal_aix{32,64}): Same.
1683         (sibcall_nonlocal_sysv<mode>): Same.
1684         (sibcall_value): Same.
1685         (sibcall_value_nonlocal_sysv<mode>): Same.
1686
1687 2007-03-24  Paul Brook  <paul@codesourcery.com>
1688
1689         * config/arm/lib1funcs.asm (div0): Use ARM_FUNC_START and do_push.
1690         * config/arm/linux-eabi.h: Remove legacy syscall hack.
1691
1692 2007-03-24  Richard Henderson  <rth@redhat.com>
1693
1694         * config/ia64/constraints.md: New file.
1695         * config/ia64/predicates.md: Replace CONST_OK_FOR_? with
1696         satisfies_constraint_?.
1697         * config/ia64/ia64.c (ia64_move_ok, ia64_legitimate_constant_p,
1698         ia64_reload_gp, spill_restore_mem, ia64_expand_prologue,
1699         ia64_expand_epilogue, ia64_split_return_addr_rtx, ia64_rtx_costs,
1700         ia64_output_mi_thunk): Likewise.
1701         (ia64_const_ok_for_letter_p): Remove.
1702         (ia64_const_double_ok_for_letter_p): Remove.
1703         (ia64_extra_constraint): Remove.
1704         * config/ia64/ia64.h (REG_CLASS_FROM_LETTER): Remove.
1705         (CONST_OK_FOR_I, CONST_OK_FOR_J, CONST_OK_FOR_K, CONST_OK_FOR_L,
1706         CONST_OK_FOR_M, CONST_OK_FOR_N, CONST_OK_FOR_O, CONST_OK_FOR_P,
1707         CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_G,
1708         CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT,
1709         EXTRA_MEMORY_CONSTRAINT): Remove.
1710         * config/ia64/ia64.md: Include constriants.md.  Replace
1711         CONST_OK_FOR_? with satisfies_constraint_?.
1712
1713 2007-03-23  Michael Meissner  <michael.meissner@amd.com>
1714             H.J. Lu  <hongjiu.lu@intel.com>
1715
1716         * config/dfp-bit.h (DPD_BID_NAME): New macro to give either the
1717         DPD or BID name.
1718         (name macros): Use DPD_BID_NAME to convert names properly.
1719
1720         * optabs.c (DECIMAL_PREFIX): Prefix string to use for the current
1721         decimal floating point format.
1722         (init_floating_libfuncs): Change decimal functions so that they
1723         have a "bid_" prefix if the decimal system uses the BID format,
1724         and "dpd_" prefix if the decimal system uses the DPD format.
1725         (init_interclass_conv_libfuncs): Ditto.
1726         (init_intraclass_conv_libfuncs): Ditto.
1727
1728         * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
1729         using the BID format.
1730
1731         * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
1732         whether we are using the BID decimal format.
1733         * configure: Regenerate.
1734
1735         * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
1736         the compiler has decimal floating point enabled.  Define
1737         __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
1738         instead of DPD.
1739
1740         * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
1741         using the BID format.
1742
1743         * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
1744         whether we are using the BID decimal format.
1745         * configure: Regenerate.
1746
1747         * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
1748         the compiler has decimal floating point enabled.  Define
1749         __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
1750         instead of DPD.
1751
1752         * doc/install.texi (--enable-decimal-float): Document BID and DPD
1753         options, and that it is enabled for i386/x86_64 systems.
1754
1755         * Makefile.in (enable_decimal_float): New.
1756         (DECNUMFMT): New.
1757         (DECNUMINC): Add  -I$(DECNUMFMT).
1758         (DECNUM_H): Mov decimal32.h, decimal64.h and decimal128.h
1759         to $(DECNUMFMT) from $(DECNUM).
1760
1761         * configure.ac: Support * --enable-decimal-float={no,yes,bid,dpd}.
1762         Substitute enable_decimal_float.
1763         * configure: Regenerated.
1764
1765         PR other/30529
1766         * config/dfp-bit.c (__dec_byte_swap): Use uint32_t instead of
1767         unsigned long.
1768
1769         * configure.ac: Enable decimal float for x86_64-*-linux*.
1770         * configure: Regenerated.
1771
1772         PR other/30530
1773         * dfp.c (decimal_real_arithmetic): Use decimal128FlipSign and
1774         decimal128ClearSign to flip and clear the sign bit in decimal128.
1775         (decimal_real_maxval): Set decimal128SetSign to set the sign
1776         bit in decimal128.
1777
1778 2007-03-23  Ian Lance Taylor  <iant@google.com>
1779
1780         * fold-const.c (fold_binary): Correct warning for X - c >= X.
1781
1782 2007-03-23  Ian Lance Taylor  <iant@google.com>
1783
1784         * tree-dump.c (dump_files): Correct comment.
1785
1786 2007-03-23  Ian Lance Taylor  <iant@google.com>
1787
1788         * tree-vrp.c (operand_less_p): Ignore fold overflow warnings.
1789
1790 2007-03-23  Steven Bosscher  <steven@gcc.gnu.org>
1791
1792         * tracer.c (tracer): Don't take FLAGS argument.  Assert we are
1793         in cfglayout mode.  Don't go into and out of cfglayout mode.
1794         Link the blocks in the order of the constructed traces.
1795         (rest_of_handle_tracer): Adjust call to tracer.
1796         * loop-init.c (rtl_loop_init): Assert we are in cfglayout mode.
1797         Don't go into cfglayout mode.
1798         (rtl_loop_done): Don't go out of cfglayout mode.
1799         * cfglayout.c (relink_block_chain): New function, split out from...
1800         (fixup_reorder_chain): ...here.  Remove redundant checking.
1801         (cfg_layout_finalize): Don't clear the header, footer, and aux
1802         fields here, move the code to do so to relink_block_chain.  Likewise
1803         for free_original_copy_tables.
1804         * rtl.h (tracer): Update prototype.
1805         * bb-reorder.c (reorder_basic_blocks): Don't take FLAGS argument.
1806         Assert we are in cfglayout mode.  Don't go into and out of cfglayout
1807         mode.  Use relink_block_chain to serialize the CFG according to the
1808         new basic block order.  Move targetm.cannot_modify_jumps_p check from
1809         here...
1810         (gate_handle_reorder_blocks): ...to here.
1811         (duplicate_computed_gotos): Move targetm.cannot_modify_jumps_p check
1812         from here...
1813         (gate_duplicate_computed_gotos): ...to here.
1814         (rest_of_handle_reorder_blocks): Don't see if anything has changed,
1815         something always changes when going into and out of cfglayout mode.
1816         Perform an expensive cfg cleanup while going into cfglayout mode.
1817         Always update liveness information on HAVE_conditional_execution
1818         targets.  Reserialize the basic blocks and go out of cfglayout mode.
1819         * reg-stack.c: Include cfglayout.h.
1820         (rest_of_handle_stack_regs): Go into and out of cfglayout mode around
1821         the call to reorder_basic_blocks.
1822         * basic-block.h (reorder_basic_blocks): Update prototype.
1823         (relink_block_chain): New prototype.
1824         * passes.c (pass_outof_cfg_layout_mode): Move after cse2.
1825
1826 2007-03-23  Joseph Myers  <joseph@codesourcery.com>
1827
1828         * config/mips/mips.md (type, hazard, *movdi_32bit,
1829         *movdi_gp32_fp64, *movdi_64bit, *movsi_internal, movcc,
1830         *movhi_internal, *movqi_internal, *movsf_hardfloat,
1831         *movdf_hardfloat_64bit, *movdf_hardfloat_32bit, *movdf_softfloat,
1832         movv2sf_hardfloat_64bit, load_df_low, load_df_high, store_df_high,
1833         mthc1, mfhc1): Change xfer instruction type to mfc and mtc, as
1834         applicable.
1835         (movcc): Change first xfer to multi.
1836         * config/mips/24k.md, config/mips/4100.md, config/mips/4300.md,
1837         config/mips/5000.md, config/mips/5400.md, config/mips/5500.md,
1838         config/mips/5k.md, config/mips/7000.md, config/mips/9000.md,
1839         config/mips/generic.md: Change reservations using "xfer" to use
1840         "mfc,mtc".
1841         * config/mips/sb1.md (ir_sb1_mtxfer): Use "mtc" instead of
1842         using match_operand.
1843         (ir_sb1_mfxfer): Use "mfc" instead of using match_operand.
1844         * config/mips/sr71k.md (ir_sr70_xfer_from): Use "mfc" instead of
1845         examining mode.
1846         (ir_sr70_xfer_to): Use "mtc" instead of examining mode.
1847
1848 2007-03-22  Richard Henderson  <rth@redhat.com>
1849
1850         * config/i386/i386.c: Remove unnecessary function declarations.
1851         Move targetm definition, and all related macros, to the end of
1852         the file.  Resort some functions to put definitions before uses.
1853         (ix86_attribute_table): Make static.  Move to end of file.
1854         (ix86_gimplify_va_arg): Make static.
1855
1856 2007-03-22  Richard Henderson  <rth@redhat.com>
1857
1858         * config/i386/i386.c (ix86_function_regparm): Early exit for 64-bit;
1859         don't increase local_regparm with force_align_arg_pointer check.
1860         (ix86_function_sseregparm): Assert 32-bit.
1861         (type_has_variadic_args_p): New.
1862         (ix86_return_pops_args): Early exit for 64-bit.  Reindent; use
1863         type_has_variadic_args_p.
1864         (ix86_function_arg_regno_p): Use == 0 instead of ! test for eax.
1865         (init_cumulative_args): Remove TARGET_DEBUG_ARG.  Remove zero_cum;
1866         use memset instead.  Do maybe_vaarg check first; skip attribute
1867         tests if true; skip attribute tests for 64-bit.
1868         (construct_container): Remove TARGET_DEBUG_ARG.
1869         (function_arg_advance_32, function_arg_advance_64): Split out ...
1870         (function_arg_advance): ... from here.
1871         (function_arg_32, function_arg_64): Split out ...
1872         (function_arg): ... from here.
1873         (ix86_pass_by_reference): Tidy.
1874         (ix86_function_value_regno_p): Rearrange w/ switch on regno.
1875         (function_value_32): New, from parts of ix86_function_value
1876         and ix86_value_regno.
1877         (function_value_64): New, from parts of ix86_function_value
1878         and ix86_libcall_value.
1879         (ix86_function_value_1): New.
1880         (ix86_function_value, ix86_libcall_value): Use it.
1881         (return_in_memory_32, return_in_memory_64): Split out ...
1882         (ix86_return_in_memory): ... from here.
1883         (ix86_struct_value_rtx): Skip for 64-bit.
1884         (ix86_libcall_value, ix86_value_regno): Remove.
1885         (setup_incoming_varargs_64): Split out ...
1886         (ix86_setup_incoming_varargs): ... from here.
1887         (ix86_va_start): Remove TARGET_DEBUG_ARG.
1888         (legitimate_address_p, legitimize_address): Remove TARGET_DEBUG_ADDR.
1889         * config/i386/i386-protos.h (ix86_function_value): Remove.
1890         * config/i386/i386.opt (TARGET_DEBUG_ADDR, TARGET_DEBUG_ARG): Remove.
1891
1892 2007-03-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1893
1894         PR other/23572
1895         * c-lex.c (interpret_float): On overflow, emit pedantic warning if
1896         infinities not supported, otherwise emit warning if -Woverflow. On
1897         underflow, emit warning if -Woverflow.
1898         * real.c (real_from_string): Return -1 if underflow, +1 if overflow
1899         and 0 otherwise.
1900         * real.h (real_from_string): Update declaration
1901
1902 2007-03-22  Kai Tietz  <kai.tietz@onevision.com>
1903             Richard Henderson  <rth@redhat.com>
1904
1905         * defaults.h (OUTGOING_REG_PARM_STACK_SPACE): Provide default.
1906         * calls.c (compute_argument_block_size, expand_call,
1907         emit_library_call_value_1): Don't ifdef OUTGOING_REG_PARM_STACK_SPACE.
1908         * expr.c (block_move_libcall_safe_for_call_parm): Likewise.
1909         * function.c (STACK_DYNAMIC_OFFSET): Likewise.
1910         * doc/tm.texi (OUTGOING_REG_PARM_STACK_SPACE): Update.
1911         * config/alpha/unicosmk.h, config/bfin/bfin.h, config/iq2000/iq2000.h,
1912         config/mips/mips.h, config/mn10300/mn10300.h, config/mt/mt.h,
1913         config/pa/pa.h, config/rs6000/rs6000.h, config/score/score.h,
1914         config/spu/spu.h, config/v850/v850.h (OUTGOING_REG_PARM_STACK_SPACE):
1915         Set to 1.
1916
1917 2007-03-22  Joseph Myers  <joseph@codesourcery.com>
1918
1919         * c-incpath.c (add_sysroot_to_chain): New.
1920         (merge_include_chains): Add sysroot argument.  Call
1921         add_sysroot_to_chain if sysrooted.
1922         (register_include_chains): Update call to merge_include_chains.
1923         * doc/cppopts.texi: Document use of '=' in include directory
1924         arguments.
1925
1926 2007-03-22  Uros Bizjak  <ubizjak@gmail.com>
1927
1928         * config/i386/i386.md (cmp<mode>): Rename from cmpsf and cmpdf.
1929         Macroize expander using SSEMODEF mode macro.  Use SSE_FLOAT_MODE_P.
1930         (*cmpfp_<mode>): Rename from *cmpfp_sf and *cmpfp_df. Macroize
1931         insn pattern using X87MODEF12 mode macro.
1932
1933 2007-03-21  Seongbae Park <seongbae.park@gmail.com>
1934
1935         * regmove.c (regmove_optimize): Use reg_mentioned_p
1936         instead of reg_overlap_mentioned_p for DST.
1937
1938 2007-03-21  Mike Stump  <mrs@apple.com>
1939
1940         * c.opt: Fixup for Objective-C/C++.
1941
1942 2007-03-21  Steve Ellcey  <sje@cup.hp.com>
1943
1944         * explow.c (convert_memory_address): Fold memory reference when
1945         POINTERS_EXTEND_UNSIGNED < 0
1946
1947 2007-03-21  Richard Henderson  <rth@redhat.com>
1948
1949         PR target/31245
1950         * config/i386/emmintrin.h (__m128i, __m128d): Mark may_alias.
1951         * config/i386/mmintrin.h (__m64): Likewise.
1952         * config/i386/xmmintrin.h (__m128): Likewise.
1953
1954 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
1955
1956         * config/vxworks.h (VXWORKS_ADDITIONAL_CPP_SPEC): Remove -D options.
1957         (VXWORKS_OS_CPP_BUILTINS): Define.
1958         * config/i386/vxworks.h (VXWORKS_CPU_DEFINE): Fold into...
1959         (TARGET_OS_CPP_BUILTINS): ...here.  Use VXWORKS_OS_CPP_BUILTINS.
1960
1961 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
1962
1963         * rtl.h (constant_pool_reference_p): Delete.
1964         (find_constant_src): Declare.
1965         * rtlanal.c (find_constant_src): New function.
1966         * simplify-rtx.c (constant_pool_reference_p): Delete.
1967         * config/i386/i386.md: Use find_constant_src instead of
1968         constant_pool_reference_p/avoid_constant_pool_reference pairs.
1969
1970 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
1971
1972         * doc/invoke.texi (-fpie, -fPIE): Document __pie__ and __PIE__.
1973         * c-cppbuiltin.c (c_cpp_builtins): Define them.
1974
1975 2007-03-20  Mark Mitchell  <mark@codesourcery.com>
1976
1977         * config/arm/elf.h (TARGET_ASM_DESTRUCTOR): Define.
1978         * config/arm/arm.c (arm_elf_asm_cdtor): New function.
1979         (arm_elf_asm_constructor): Use it.
1980         (arm_elf_asm_destructor): New function.
1981
1982 2007-03-20  Bernd Schmidt  <bernd.schmidt@analog.com>
1983
1984         * jump.c (mark_jump_label): Treat SEQUENCE specially.
1985
1986 2007-03-20  Nathan Sidwell  <nathan@codesourcery.com>
1987
1988         * config/vxlib.c (tls_delete_hook): Use TCB for kernel tasks.
1989
1990 2007-03-19  Andrew Haley  <aph@redhat.com>
1991
1992         PR tree-optimization/31264
1993         * tree-vrp.c (register_edge_assert_for_1): Don't look though
1994         VIEW_CONVERT_EXPRs.
1995
1996 2007-03-19  Paolo Bonzini  <bonzini@gnu.org>
1997
1998         PR rtl-optimization/30907
1999         * fwprop.c (forward_propagate_into): Never propagate inside a loop.
2000         (fwprop_init): Always call loop_optimizer_initialize.
2001         (fwprop_done): Always call loop_optimizer_finalize.
2002         (fwprop): We always have loop info now.
2003         (gate_fwprop_addr): Remove.
2004         (pass_fwprop_addr): Use gate_fwprop as gate.
2005
2006         PR rtl-optimization/30841
2007         * df-problems.c (df_ru_local_compute, df_rd_local_compute,
2008         df_chain_alloc): Call df_reorganize_refs unconditionally.
2009         * df-scan.c (df_rescan_blocks, df_reorganize_refs): Change
2010         refs_organized to refs_organized_size.
2011         (df_ref_create_structure): Use refs_organized_size instead of
2012         bitmap_size if refs had been organized, and keep refs_organized_size
2013         up-to-date.
2014         * df.h (struct df_ref_info): Change refs_organized to
2015         refs_organized_size.
2016         (DF_DEFS_SIZE, DF_USES_SIZE): Use refs_organized_size instead of
2017         bitmap_size.
2018
2019 2007-03-19  Mark Mitchell  <mark@codesourcery.com>
2020
2021         * except.c (output_function_exception_table): Do not reference the
2022         EH personality routine for functions that do not require an
2023         exception table.
2024
2025 2007-03-20  Jakub Jelinek  <jakub@redhat.com>
2026
2027         PR c/30762
2028         * c-typeck.c (convert_for_assignment): Call comptypes for
2029         RECORD_TYPE or UNION_TYPE.
2030
2031         PR inline-asm/30505
2032         * reload1.c (reload): Do invalid ASM checking after
2033         cleanup_subreg_operands.
2034
2035 2007-03-19  Jeff Law  <law@redhat.com>
2036
2037         * tree-cfg.c (find_taken_edge): Tighten conditions for
2038         optimizing computed gotos.
2039
2040 2007-03-19  Michael Matz  <matz@suse.de>
2041
2042         * builtins.c (expand_builtin_sync_operation,
2043         expand_builtin_compare_and_swap,
2044         expand_builtin_lock_test_and_set): Care for extending CONST_INTs
2045         correctly.
2046
2047         * config/i386/sync.md (sync_double_compare_and_swapdi_pic,
2048         sync_double_compare_and_swap_ccdi_pic): Use "SD" as constraint
2049         for operand 3.
2050
2051 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2052
2053         * doc/tm.texi: Add brackets around the return type of
2054         TARGET_SECONDARY_RELOAD.
2055
2056 2007-03-19  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2057         Richard Guenther  <rguenther@suse.de>
2058
2059         PR tree-optimization/31254
2060         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1):
2061         Use handled_component_p () where appropriate.  Continue
2062         propagating into the rhs if we propagated into an INDIRECT_REF
2063         on the lhs.
2064
2065 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2066
2067         * config/s390/s390.md (op_type attribute): RRR instruction type added.
2068         (FP, DFP, SD_SF, DD_DF, TD_TF): New mode macros.
2069         (xde, xdee): Mode attributes adjusted to support DFP modes.
2070         (RRer, f0, op1, Rf, bt, bfp, HALF_TMODE): New mode attributes added.
2071         ("cmp<mode>", "*cmp<mode>_css_0", "*cmp<mode>_ccs", TF move splitters,
2072         DF move splitters, "floatdi<mode>2", "add<mode>3", "*add<mode>3",
2073         "*add<mode>3_cc", "*add<mode>3_cconly", "sub<mode>3", "*sub<mode>3",
2074         "*sub<mode>3_cc", "*sub<mode>3_cconly", "mul<mode>3", "*mul<mode>3",
2075         "div<mode>3", "*div<mode>3", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
2076         "*negabs<mode>2_nocc", "copysign<mode>3"): Adjusted to support DFP
2077         numbers.
2078         ("*movtf_64", "*movtf_31", "*movdf_64dfp", "*movdf_64", "*movdf_31",
2079         "movsf"): Insn definitions removed.
2080         ("*mov<mode>_64", "*mov<mode>_31", "mov<mode>", "*mov<mode>_64dfp",
2081         "*mov<mode>_64", "*mov<mode>_31", "fix_trunc<DFP:mode>di2",
2082         "trunctddd2", "truncddsd2", "extendddtd2", "extendsddd2"): Insn
2083         definitions added.
2084         ("fixuns_truncdddi2", "fixuns_trunctddi2", "mov<mode>",
2085         "reload_in<mode>", "reload_out<mode>"): Expander added.
2086         ("movtf", "movdf", "reload_outtf", "reload_outdf", "reload_intf"):
2087         Expander removed.
2088
2089 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2090
2091         * config/s390/s390.md: Only non-functional changes.  Renamed
2092         FPR mode macro to BFP all over the file.
2093
2094 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2095
2096         * config/s390/s390.md (UNSPEC_COPYSIGN): New constant.
2097         (op_type attribute): RRF instruction type added.
2098         (fT0): New mode attribute.
2099         ("*movdi_64dfp", "*movdf_64dfp", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
2100         "*negabs<mode>2_nocc", "copysign<mode>3"): Insn definitions added.
2101         * config/s390/s390.h (SECONDARY_MEMORY_NEEDED): Due to a new instruction
2102         no secondary memory is needed when moving DFmode values between GPRs
2103         and FPRs.
2104
2105 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2106
2107         * config/s390/s390.opt ("mhard-float", "msoft-float"): Bit value
2108         inverted and documentation adjusted.
2109         ("mhard-dfp", "msoft-dfp"): New options.
2110         * config/s390/s390.c (s390_handle_arch_option): New architecture
2111         switch: z9-ec.
2112         (override_options): Sanity checks for the new options added.
2113         * config.gcc: New architecture switch: z9-ec.
2114         * config/s390/s390.h (processor_flags): PF_DFP added.
2115         (TARGET_CPU_DFP, TARGET_DFP): Macro definitions added.
2116         (TARGET_DEFAULT): Due to the s390.opt changes hard float is enabled
2117         when the bit is NOT set so remove it from the defaults.
2118
2119 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2120
2121         * genemit.c (main): Print include statement for dfp.h.
2122         * dfp.h (decimal_real_arithmetic): Hide prototype if tree_code enum
2123         is not available.
2124
2125 2007-03-19  Hans-Peter Nilsson  <hp@axis.com>
2126
2127         * config/cris/t-elfmulti (EXTRA_MULTILIB_PARTS): Do not define here.
2128
2129 2007-03-19  Kaz Kojima  <kkojima@gcc.gnu.org>
2130
2131         PR target/31022
2132         * config/sh/sh.c (sh_adjust_cost): Use the result of single_set
2133         instead of PATTERN.
2134
2135 2007-03-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2136
2137         * pa.c (output_deferred_plabels, output_bb, output_millicode_call,
2138         attr_length_call, output_call, output_indirect_call): Cleanup
2139         formatting of targetm calls.
2140
2141 2007-03-19  Hans-Peter Nilsson  <hp@axis.com>
2142
2143         * config/cris/cris.h (HANDLE_PRAGMA_PACK_PUSH_POP): Define to 1.
2144
2145 2007-03-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2146
2147         * pa.md: Add fpstore_load and store_fpload instruction types.  Provide
2148         reservation, bypass and anti-bypass descriptions for these instructions.
2149         Update move patterns.
2150         * pa.c (hppa_fpstore_bypass_p): Check for both TYPE_FPSTORE_LOAD and
2151         TYPE_FPSTORE.
2152
2153 2007-03-18  Dorit Nuzman  <dorit@il.ibm.com>
2154
2155         * tree-vect-transform.c (get_initial_def_for_induction): Replace
2156         GET_MODE_NUNITS with TYPE_VECTOR_SUBPARTS.
2157         (get_initial_def_for_reduction): Likewise.
2158
2159 2007-03-16  Daniel Berlin  <dberlin@dberlin.org>
2160
2161         Fix PR tree-optimization/29922
2162         * tree-ssa-pre.c (bb_bitmap_sets): Remove RVUSE_* members.
2163         (get_representative): Removed.
2164         (value_dies_in_block_x): Update for rvuse removal.
2165         (valid_in_sets): Update for renaming of vuses_dies_in_block_x.
2166         (compute_antic_aux): Handle when PHI nodes appear in
2167         non-single-successors.
2168         (dump_bitmap_of_names): Removed.
2169         (compute_antic_safe): Renamed and removed rvuse calculation.
2170         Calculate only antic safe.
2171         (insert_into_preds_of_block): Remove assert.
2172         (execute_pre): Update for renamed functions.
2173         (defer_or_phi_translate_block): New function.
2174
2175 2007-03-17  Kazu Hirata  <kazu@codesourcery.com>
2176
2177         * config/arm/arm.c, config/arm/thumb2.md, config/m68k/m68k.c,
2178         config/spu/spu.c, omega.h, passes.c, predict.c: Fix comment
2179         typos.
2180         * doc/cpp.texi, doc/extend.texi, doc/invoke.texi: Fix typos.
2181         Follow spelling conventions.
2182
2183         * tree-data-ref.h: Remove the prototype for analyze_array.
2184
2185 2007-03-17  Dorit Nuzman  <dorit@il.ibm.com>
2186
2187         PR tree-optimization/31041
2188         * tree-vect-transform.c (get_initial_def_for_induction): Call
2189         force_gimple_operand.
2190
2191 2007-03-17  Olga Golovanevsky  <olga@il.ibm.com>
2192
2193         * ipa-type-escape.c (look_for_casts) : Revert code to use
2194         handled_component_p due to ada test a-numaux.adb.
2195
2196 2007-03-17  Kazu Hirata  <kazu@codesourcery.com>
2197
2198         * final.c (final_scan_insn): Alter the condition of a
2199         conditional trap if we have nonstandard CC.
2200
2201 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
2202
2203         * configure.ac: Remove excess quoting from asm line 0 test.
2204         * configure: Rebuilt.
2205
2206 2007-03-16  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2207
2208         * doc/invoke.texi (-Wconversion): Document warnings specific to C++.
2209         * c-common.c (convert_and_check): Move warning logic to...
2210         (warnings_for_convert_and_check): ...here. Define.
2211         * c-common.h (warnings_for_convert_and_check): Declare.
2212
2213 2007-03-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2214
2215         * pa.c (attr_length_call): Partially revert change of 2007-03-09.
2216         (output_call): Likewise.
2217
2218 2007-03-16  Richard Sandiford  <richard@codesourcery.com>
2219
2220         * config/vxworks.h (SUPPORTS_INIT_PRIORITY): Define.
2221
2222 2007-03-16  Richard Sandiford  <richard@codesourcery.com>
2223
2224         * config/vx-common.h (WINT_TYPE, WINT_TYPE_SIZE): Define.
2225
2226 2007-03-16  Uros Bizjak  <ubizjak@gmail.com>
2227
2228         * config/i386/i386.c (override_options): Add PTA_NO_SAHF to k8,
2229         opteron, athlon-64 and athlon-fx processor_alias_table entries.
2230
2231 2007-03-16  Sebastian Pop  <sebastian.pop@inria.fr>
2232
2233         PR tree-optimization/31183
2234         * tree-loop-linear.c (gather_interchange_stats, try_interchange_loops):
2235         Use double_int instead of unsigned int for representing access_strides.
2236         * testsuite/gcc.dg/tree-ssa/pr31183.c: New.
2237
2238 2007-03-16  Richard Guenther  <rguenther@suse.de>
2239
2240         PR tree-optimization/31146
2241         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Restructure
2242         to allow recursion of forward_propagate_addr_expr.
2243         (forward_propagate_addr_into_variable_array_index): Likewise.
2244         (forward_propagate_addr_expr): Likewise.
2245         (tree_ssa_forward_propagate_single_use_vars): Likewise.
2246         (forward_propagate_addr_expr_1): Recurse on simple copies
2247         instead of propagating into them.  Do so for useless conversions
2248         as well.
2249         (forward_propagate_addr_expr): Clean up unused statements after
2250         recursion.
2251
2252 2007-03-16  Richard Guenther  <rguenther@suse.de>
2253
2254         * builtins.c (expand_builtin_cexpi): Use the right argument
2255         for the expansion via cexp.
2256
2257 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
2258
2259         * configure.ac: Don't require ELF binutils to tolerate # 0 "".
2260         * configure: Rebuilt.
2261
2262 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
2263
2264         PR debug/29906
2265         * dwarf2out.c (force_type_die): Adjust comment.
2266         (dwarf2out_imported_module_or_decl): Handle base AT_import types.
2267
2268 2007-03-15  DJ Delorie  <dj@redhat.com>
2269
2270         * config/frv/predicates.md (minmax_operator): Don't check operands
2271         here.
2272
2273 2007-03-15  Zdenek Dvorak  <dvorakz@suse.cz>
2274
2275         * tree-ssa-loop-niter.c (record_estimate): Add "upper" argument.
2276         Update constant estimates of number of iterations.
2277         (record_nonwrapping_iv): Add "upper" argument.  "data_size_bounds_p"
2278         argument renamed to "realistic".
2279         (compute_estimated_nb_iterations): Removed.
2280         (record_niter_bound): New function.
2281         (idx_infer_loop_bounds): For possible but unlikely tail arrays,
2282         call record_nonwrapping_iv with upper = false.
2283         (infer_loop_bounds_from_signedness): Pass upper argument to
2284         record_nonwrapping_iv.
2285         (estimate_numbers_of_iterations_loop): Do not call
2286         compute_estimated_nb_iterations.  Record estimate based on profile
2287         information.  Initialize the constant estimates of number of
2288         iterations.
2289         * tree-data-ref.c (estimated_loop_iterations): Return the recorded
2290         estimates.
2291         * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Add dump when
2292         number of iterations is too small.
2293         * cfgloop.h (struct nb_iter_bound): Remove "realistic" field.
2294         (EST_NOT_AVAILABLE): Removed.
2295         (struct loop): Replace estimated_nb_iterations by any_upper_bound,
2296         nb_iterations_upper_bound, any_estimate and nb_iterations_estimate
2297         fields.
2298
2299 2007-03-15  Zdenek Dvorak  <dvorakz@suse.cz>
2300
2301         * tree-ssa-loop-niter.c (refine_bounds_using_guard, bound_difference):
2302         Handle NE_EXPR guards.
2303
2304 2007-03-15  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2305
2306         PR c++/24924
2307         * c-opts.c (c_common_post_options): Handle C++ post-processing here.
2308         Set also -pedantic-errors by default for the  preprocessor unless
2309         -fpermissive is given.
2310
2311 2007-03-15  Richard Guenther  <rguenther@suse.de>
2312
2313         PR middle-end/29719
2314         PR middle-end/31161
2315         * builtins.c (expand_builtin_cexpi): As a fallback if we
2316         don't have builtins for sincos or cexp create a function
2317         declaration for cexp and expand to a call to that.
2318         (expand_builtin_int_roundingfn): Always fall
2319         back to floor/ceil and its variants even if they may be
2320         not available.
2321
2322 2007-03-15  Steven Bosscher  <steven@gcc.gnu.org>
2323
2324         PR middle-end/31159
2325         * cfglayout.c (fixup_reorder_chain): Postpone deleting dead
2326         jump tables, move the call to delete_dead_jumptables from here...
2327         (cfg_layout_finalize): ...to here.  But rebuild jump labels first.
2328         * cfgrtl.c (cfg_layout_can_merge_blocks_p): When not optimizing,
2329         don't allow merging of blocks that try_redirect_by_replacing_jump
2330         also does not handle when not optimizing.
2331
2332 2007-03-15  Uros Bizjak  <ubizjak@gmail.com>
2333             Francois-Xavier Coudert  <coudert@clipper.ens.fr>
2334
2335         * config/i386/i386.md (x86_sahf_1): Correctly handle
2336         HAVE_AS_IX86_SAHF.
2337
2338 2007-03-15  Uros Bizjak  <ubizjak@gmail.com>
2339
2340         PR target/31167
2341         * config/i386/i386.md (*addti3_1, *addti3_1 splitter): Use
2342         x86_64_general_operand as operand[2] predicate.  Remove "iF"
2343         from operand constraints and use "e" constraint instead.
2344         (*subti3_1, *subti3_1 splitter): Ditto.
2345         (*negti2_1, *negti2_1 splitter): Use nonimmediate_operand as
2346         operand[1] predicate.
2347
2348 2007-03-14  Sebastian Pop  <sebastian.pop@inria.fr>
2349
2350         * tree-loop-linear.c (gather_interchange_stats): For multidimensional
2351         arrays, multiply the access strides by the size of the sub-array.
2352         * testsuite/gcc.dg/tree-ssa/ltrans-5.c: New.
2353
2354 2007-03-14  Uros Bizjak  <ubizjak@gmail.com>
2355
2356         * configure.ac (HAVE_AS_IX86_SAHF): On x86 targets check whether
2357         the configured assembler supports the sahf mnemonic.
2358         * configure: Regenerate.
2359         * config.in: Regenerate.
2360
2361         * config/i386/i386.md (x86_sahf_1): Depending on HAVE_AS_IX86_SAHF,
2362         emit "sahf" or ".byte\t0x9e" as asm template.
2363
2364 2007-03-14  Michael Meissner  <michael.meissner@amd.com>
2365
2366         PR 31018
2367         * config/i386/i386.h (X86_TUNE_SHORTEN_X87_SSE): New tuning
2368         option to replace hard coded TARGET_xxx in md file.
2369         (X86_TUNE_AVOID_VECTOR_DECODE): Ditto.
2370         (X86_TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
2371         (X86_TUNE_SLOW_IMUL_IMM8): Ditto.
2372         (X86_TUNE_MOVE_M1_VIA_OR): Ditto.
2373         (X86_TUNE_NOT_UNPAIRABLE): Ditto.
2374         (X86_TUNE_NOT_VECTORMODE): Ditto.
2375         (TUNE_SHORTEN_X87_SSE): Use new tuning option.
2376         (TUNE_AVOID_VECTOR_DECODE): Ditto.
2377         (TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
2378         (TUNE_SLOW_IMUL_IMM8): Ditto.
2379         (TUNE_MOVE_M1_VIA_OR): Ditto.
2380         (TUNE_NOT_UNPAIRABLE): Ditto.
2381         (TUNE_NOT_VECTORMODE): Ditto.
2382
2383         * config/i386/i386.c (ix86_tune_features): Fill in new tuning
2384         options.
2385
2386         * config/i386/i386.md (fix_trunc?f?1_sse peephole2): Use new
2387         tuning options instead of hard coded TARGET_xxx.
2388         (fix ssemode peephole2's): Ditto.
2389         (imul peephole2's): Ditto.
2390         (movsi_or): Ditto.
2391         (movdi_or_rex64): Ditto.
2392         (move peephole2): Ditto.
2393         (not peephole2's): Ditto.
2394
2395 2007-03-14  Dirk Mueller  <dmueller@suse.de>
2396
2397         * c-common.h (empty_body_warning): Rename to empty_if_body_warning.
2398         * c-common.c (empty_if_body_warning): Rephrase diagnostic message.
2399         * c-parser.c (c_parser_if_body): Always add an empty statement in case
2400         of empty body.
2401         * c-parser.c (c_parser_do_statement): Warn about empty body in
2402         do/while statement.
2403         * c-typeck (c_finish_if_stmt): Call empty_if_body_warning.
2404         * doc/invoke.texi (-Wempty-body): Update documentation.
2405
2406 2007-03-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2407
2408         PR c/21438
2409         * c-common.h (warn_for_div_by_zero): Declare.
2410         * c-common.c (warn_for_div_by_zero): Define.
2411         * c-typeck.c (build_binary_op): Call warn_for_div_zero instead of
2412         warning.
2413
2414 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
2415
2416         * Makefile.in (PREPROCESSOR_DEFINES): Add directory terminators
2417         to PREFIX and STANDARD_PREFIX.
2418
2419 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
2420             Phil Edwards  <phil@codesourcery.com>
2421
2422         * gthr-vxworks.h: Add an extern "C" wrapper for C++.
2423         (__gthread_once_t): Remove busy field for RTPs.
2424         (__GTHREAD_ONCE_INIT): Update accordingly.
2425
2426 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
2427
2428         * doc/invoke.texi: Document VxWorks options.
2429
2430 2007-03-14  Uros Bizjak  <ubizjak@gmail.com>
2431
2432         * doc/invoke.texi (i386 and x86-64 Options): Clarify -msahf option.
2433
2434 2007-03-13  Seongbae Park <seongbae.park@gmail.com>
2435
2436         PR tree-optimization/30590
2437         * tree-nrv.c (tree_nrv): Check for the partial update of the
2438         return value.
2439
2440 2007-03-13  Alexandre Oliva  <aoliva@redhat.com>
2441
2442         * flags.h (flag_random_seed): Remove declaration, in favor of...
2443         * toplev.h (get_random_seed, set_random_seed): ... these.
2444         * tree.c (get_file_function_name): Use the former.
2445         * opts.c (common_handle_option): Use the latter.
2446         * toplev.c
2447
2448 2007-03-13  Steven Bosscher  <steven@gcc.gnu.org>
2449
2450         PR middle-end/31127
2451         * cse.c (cse_find_path): Do not bail out if a basic block that
2452         we already visited now becomes part of a path that starts at a
2453         different basic block.  Just disallow this, to make sure we
2454         visit each basic block at most once.
2455
2456 2007-03-13  Jan Hubicka  <jh@suse.cz>
2457
2458         * ipa-inline.c (cgraph_maybe_hot_edge_p): Look for hot/cold attributes,
2459         when profile esitmate is present, calls with very low frequency are
2460         cold.
2461
2462 2007-03-13  Zdenek Dvorak  <dvorakz@suse.cz>
2463
2464         PR tree-optimization/30730
2465         PR tree-optimization/26900
2466         * tree-ssa-loop-niter.c: Include gmp.h.
2467         (bounds): New type.
2468         (mpz_set_double_int, get_type_bounds, mpz_to_double_int,
2469         split_to_var_and_offset, determine_value_range,
2470         bound_difference_of_offsetted_base, refine_bounds_using_guard,
2471         bound_difference, bounds_add, bounds_negate,
2472         number_of_iterations_ne_max, dump_affine_iv): New functions.
2473         (number_of_iterations_ne, number_of_iterations_lt_to_ne,
2474         assert_loop_rolls_lt, assert_loop_rolls_le): Use bounds on the
2475         difference of initial and final value of control iv to validate
2476         results.
2477         (number_of_iterations_cond): Add loop parameter.  Determine bounds
2478         on the difference of the extremes of the control iv.  Add dumps.
2479         (expand_simple_operations): Handle phi nodes.
2480         (simplify_using_initial_conditions): Do not record used conditions.
2481         (number_of_iterations_exit): Pass loop to number_of_iterations_cond.
2482         Do not set additional_info.
2483         (implies_nonnegative_p, implies_ge_p): Removed.
2484         (derive_constant_upper_bound): Do not use parameter `additional'.
2485         (record_estimate): Parameter `additional' removed.  Parameter
2486         `i_bound' added.  Do not call derive_constant_upper_bound.
2487         (record_nonwrapping_iv): Use derive_constant_upper_bound to
2488         bound the number of iterations estimate.
2489         (estimate_numbers_of_iterations_loop): Pass the estimate from
2490         the number of iterations analysis to record_estimate.
2491         * tree.h (multiple_of_p): Declare.
2492         * tree-scalar-evolution.c (expression_expensive_p): Removed.
2493         (scev_const_prop): Do not check expression_expensive_p.
2494         * fold-const.c (multiple_of_p): Exported.
2495         * double-int.c (double_int_mask): Exported.
2496         * double-int.h (double_int_mask): Declare.
2497         * tree-flow.h (struct tree_niter_desc): Removed additional_info
2498         field.  Added max field.
2499
2500 2007-03-13  David Taylor  <taylor@candd.org>
2501
2502         PR driver/12448:
2503         * gcc.c (cpp_unique_options): If -MT or -MQ is seen, don't pass
2504         default -MQ.
2505
2506 2007-03-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2507
2508         PR target/31123
2509         * pa.md (vdepi_ior): Don't allow zero length deposit.  Likewise for
2510         two unamed patterns.
2511
2512 2007-03-13  Uros Bizjak  <ubizjak@gmail.com>
2513
2514         * config/i386/i386.opt (mcx16, msahf): New options.
2515         * config/i386/i386.c (x86_cmpxchg16b, x86_sahf): Remove.
2516         (ix86_tune_features) [X86_TUNE_USE_SAHF]: Enable for m_GENERIC.
2517
2518         * config/i386/driver-i386.c (bit_LAHF_LM): New define.
2519         (host_detect_local_cpu): Detect cx16 and lahf_lm cpuid bits.
2520         Output -mcx16 and -msahf options when corresponding bit is set.
2521
2522         * doc/invoke.texi (i386 and x86-64 Options): Document -mcx16
2523         and -msahf options.
2524
2525 2007-03-13  Alexandre Oliva  <aoliva@redhat.com>
2526
2527         * configure.ac: Test for assembler tolerance to # 0 "".
2528         * configure, config.in: Rebuilt.
2529         * final.c (final_scan_insn): Emit it if HAVE_AS_LINE_ZERO.
2530
2531 2007-03-13  Geoffrey Keating  <geoffk@apple.com>
2532
2533         * doc/invoke.texi (Spec Files): Update for '%{,' spec.
2534
2535         * config/rs6000/darwin-fallback.c: Compile file only on powerpc.
2536         (handle_syscall): Handle direct system calls.
2537         * config/rs6000/darwin.h (HAS_MD_FALLBACK_FRAME_STATE_FOR): Delete.
2538
2539 2007-03-12  Brooks Moses  <brooks.moses@codesourcery.com>
2540
2541         * doc/invoke.texi: Fix cpp.info cross-reference.
2542         * doc/passes.texi: Fix gcc.info cross-reference.
2543
2544 2007-03-12  Zdenek Dvorak  <dvorakz@suse.cz>
2545
2546         PR tree-optimization/30835
2547         * lambda-code.c (can_convert_to_perfect_nest): Check whether
2548         bb_for_stmt is not NULL before accessing it.
2549
2550 2007-03-12  Joseph Myers  <joseph@codesourcery.com>
2551
2552         * gcc.c (main): Handle target_sysroot_hdrs_suffix being NULL for
2553         some multilibs.
2554
2555 2007-03-12  Brooks Moses  <brooks.moses@codesourcery.com>
2556
2557         PR 30635
2558         * doc/install.texi: Document --enable-stage1-languages
2559
2560 2007-03-12  Steven Bosscher  <steven@gcc.gnu.org>
2561
2562         * tree-pass.h (pass_into_cfg_layout_mode,
2563         pass_outof_cfg_layout_mode): Declare.
2564         * cfglayout.c (into_cfg_layout_mode, outof_cfg_layout_mode,
2565         pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode): New.
2566         * passes.c (pass_into_cfg_layout_mode): Schedule before jump2.
2567         (pass_outof_cfg_layout_mode): Schedule after pass_rtl_ifcvt.
2568
2569 2007-03-12  Seongbae Park <seongbae.park@gmail.com>
2570
2571         * c-decl.c (warn_variable_length_array): New function.
2572         Refactored from grokdeclarator to handle warn_vla
2573         and handle unnamed array case.
2574         (grokdeclarator): Refactored VLA warning case.
2575         * c.opt (Wvla): New flag.
2576         * doc/invoke.texi (Wvla): New warning.
2577
2578 2007-03-12  Richard Henderson  <rth@redhat.com>
2579
2580         * config/alpha/alpha.c (alpha_elf_section_type_flags): New.
2581         (TARGET_SECTION_TYPE_FLAGS): New.
2582
2583 2007-03-12  Richard Henderson  <rth@redhat.com>
2584
2585         * config/darwin.c (machopic_reloc_rw_mask): New.
2586         * config/darwin-protos.h (machopic_reloc_rw_mask): Declare.
2587         * config/darwin.h (TARGET_ASM_RELOC_RW_MASK): New.
2588
2589 2007-03-12  Mark Mitchell  <mark@codesourcery.com>
2590
2591         * cppdefault.c (cpp_EXEC_PREFIX): New variable.
2592         * cppdefault.h (cpp_PREFIX): Document.
2593         (cpp_PREFIX_len): Likewise.
2594         (cpp_EXEC_PREFIX): New variable.
2595         * Makefile.in (PREPROCESSOR_DEFINES): Add STANDARD_EXEC_PREFIX.
2596         * c-incpath.c (add_standard_paths): Correct logic for relocating
2597         paths within prefix.
2598
2599 2007-03-12  Uros Bizjak  <ubizjak@gmail.com>
2600
2601         * config/i386/i386.md (fixuns_trunc<mode>hi2): Implement from
2602         fixuns_truncsfhi2 and fixuns_truncdfhi2 using SSEMODEF
2603         mode macro.
2604         (fix_trunc<mode>di_sse): Implement from fix_truncsfdi_sse and
2605         fix_truncdfdi_sse using SSEMODEF mode macro.
2606         (fix_trunc<mode>si_sse): Implement from fix_truncsfsi_sse and
2607         fix_truncdfsi_sse using SSEMODEF mode macro.
2608         (fix_trunc?f?i_sse peephole2): Implement using SSEMODEF mode macro.
2609         (fix_trunc?f?i_sse K8 peephole2): Fix register constraint.
2610
2611 2007-03-12  Richard Sandiford  <richard@codesourcery.com>
2612
2613         * config.gcc (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add
2614         elfos.h to tm_file.
2615
2616 2007-03-12  Olga Golovanevsky  <olga@il.ibm.com>
2617
2618         * tree.h : Add multiple_of_p declaration.
2619         * fold-const.c (multiple_of_p): Make multiple_of_p public.
2620         * ipa-type-escape.c (results_of_malloc): Redundant.
2621         (visited_stmts): New. Visited stmt for walk_use_def_chains.
2622         (cast_type): Extended with new members.
2623         (check_cast): Returns cast_type.
2624         (cast): New structure for data of walk_use_def_chains.
2625         (is_malloc_result, is_cast_from_non_pointer_1,
2626         is_cast_from_non_pointer,
2627         is_array_access_through_pointer_and_index): New functions.
2628         (look_for_casts): Returns cast types.
2629         (check_call): Returns void.
2630         (okay_pointer_operation): Use support of pointer plus index,
2631         pointer plus constant and allow all multiplications.
2632
2633 2007-03-11  Richard Guenther  <rguenther@suse.de>
2634
2635         PR tree-optimization/31115
2636         * tree-vrp.c (extract_range_from_binary_expr): Make sure
2637         the shift count is positive and non-anti-range for RSHIFT_EXPR.
2638         A shift count of zero is not special as with *_DIV_EXPR.
2639         (vrp_int_const_binop): Handle RSHIFT_EXPR for determining overflow
2640         direction.
2641
2642 2007-03-11  Ian Lance Taylor  <iant@google.com>
2643
2644         * tree-vrp.c (vrp_int_const_binop): Handle PLUS_EXPR and
2645         the *_DIV_EXPR codes correctly with overflow infinities.
2646
2647 2007-03-11  Ira Rosen  <irar@il.ibm.com>
2648
2649         * tree-data-ref.c (analyze_offset): Add a return value (bool) to
2650         indicate success/failure of the analysis. Add negation to subtrahend
2651         in case of subtraction. Fail if both operands contain constants.
2652         (create_data_ref): Fail if analyze_offset fails.
2653
2654 2007-03-11  Uros Bizjak  <ubizjak@gmail.com>
2655
2656         * config/i386/i386.md (frndintxf2): Rename to ...
2657         (rintxf2): ... this. Remove expander having same name.
2658         (rintsf2, rintdf2): Implement using SSEMODEF macro.
2659         (roundsf2, rounddf2): Ditto.
2660         (lrint<mode>di2, lrint<mode>si2): Implement using SSEMODEI24 macro.
2661         (lround<mode>di2, lround<mode>si2): Ditto.
2662
2663 2007-03-11  Steven Bosscher  <steven@gcc.gnu.org>
2664
2665         * lower-subreg.c: Include except.h.
2666         (decompose_multiword_subregs): Verify that the only control flow
2667         insns we can split are loads to multi-words pseudos.
2668         Handle breaking such blocks after splitting, instead of calling
2669         find_many_sub_basic_blocks.
2670
2671         * loop-unroll.c (split_edge_and_insert): Don't set BB_SUPERBLOCK
2672         on the new basic block.  Add a lengthy comment explaining why we
2673         thought this was necessary.
2674         * cfglayout.c (cfg_layout_finalize): Don't break superblocks.
2675
2676 2007-03-10  Mark Mitchell  <mark@codesourcery.com>
2677
2678         PR c++/30924
2679         * tree.c (walk_type_fields): Recurse into the element type of
2680         ARRAY_TYPEs if there is a pointer set.
2681
2682 2007-03-10  Dirk Mueller  <dmueller@suse.de>
2683
2684         * c-common.c (warn_logical_operator): Fix condition.
2685
2686 2007-03-10  Tobias Schlüter  <tobi@gcc.gnu.org>
2687
2688         * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Add missing
2689         quotation mark.
2690         * config/darwin.c (machopic_select_section): Remove superfluous
2691         argument in call to categorize_decl_for_section.  Remove unused
2692         variable shlib.
2693
2694 2007-03-10  Joseph Myers  <joseph@codesourcery.com>
2695
2696         * configure.ac (glibc_header_dir): Set using with_build_sysroot if
2697         defined.
2698         * configure: Regenerate.
2699
2700 2007-03-10  Uros Bizjak  <ubizjak@gmail.com>
2701
2702         PR target/31101
2703         * config/i386/i386.md (UNSPEC_C2_FLAG): New constant.
2704         (fpremxf4_i387, fprem1xf4_i387): Use UNSPEC_C2_FLAG.
2705         (fmodxf3, fmod<mode>3, remainderxf3, remainder<mode>3):
2706         Add LABEL_NUSES to emitted label.
2707         * config/i386/i386.c (ix86_emit_fp_unordered_jump): Add
2708         branch probability value to emitted jump insn.
2709         * reg-stack.c (subst_stack_regs_pat)[UNSPEC]: Handle UNSPEC_C2_FLAG.
2710         Do not check life information and do not re-arrange input operands
2711         for UNSPEC_FSCALE_EXP, UNSPEC_FPREM_U and UNSPEC_FPREM1_U.
2712
2713 2007-03-10  Kaz Kojima  <kkojima@gcc.gnu.org>
2714
2715         * config/sh/sh.c (sh_insn_length_adjustment): Adjust for
2716         the change of decode_asm_operands.
2717
2718 2007-03-10  Kaz Kojima  <kkojima@gcc.gnu.org>
2719
2720         * mode-switching.c (create_pre_exit): Skip blockage insn.
2721
2722 2007-03-09  Diego Novillo  <dnovillo@redhat.com>
2723
2724         * tree-pass.h (TODO_update_smt_usage): Remove.
2725         Update all users.
2726         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Remove
2727         argument SOME.
2728         Update all users.
2729
2730 2007-03-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2731
2732         * pa.c (attr_length_call): Revise condition for long pc-relative branch.
2733         (output_call): Use "LONG_PIC_SDIFF" instruction sequence for long local
2734         calls on the SOM target.  Don't use "LONG_PIC_PCREL" call sequence on
2735         SOM target.
2736
2737 2007-03-09  Geoffrey Keating  <geoffk@apple.com>
2738
2739         * gcc.c: Document %{, in big comment at top.
2740         (input_suffix_matches): Remove special handling for .s and
2741         .S.
2742         (input_spec_matches): New.
2743         (handle_braces): Handle %{,.
2744         (validate_switches): ',' indicates a value which is not a switch.
2745         * config/alpha/osf.h (ASM_FINAL_SPEC): Use %{, rather than %{.
2746         to detect assembler input.
2747         * config/i386/sol2.h (CPP_SPEC): Likewise.
2748         * config/rs6000/sysv4.h (ASM_SPEC): Likewise.
2749         * config/rs6000/vxworks.h (ASM_SPEC): Likewise.
2750         * config/rs6000/lynx.h (ASM_SPEC): Likewise.
2751         * config/rs6000/linux64.h (ASM_SPEC_COMMON): Likewise.
2752         * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Objective-C plus
2753         -m64 causes deployment target to default to 10.5.
2754         * config/rs6000/darwin.h (DARWIN_MINVERSION_SPEC): Likewise.
2755
2756 2007-03-09  Richard Henderson  <rth@redhat.com>
2757
2758         PR target/26090
2759         * target.h (targetm.asm.out.reloc_rw_mask): New.
2760         * target-def.h (TARGET_ASM_RELOC_RW_MASK): New.
2761         (TARGET_ASM_OUT): Use it.
2762         * targhooks.c, targhooks.h (default_reloc_rw_mask): New.
2763         * varasm.c (categorize_decl_for_section): Remove shlib argument;
2764         use the new reloc_rw_mask target hook instead.
2765         (default_section_type_flags_1): Merge into...
2766         (default_section_type_flags): ... here.
2767         (decl_readonly_section_1): Merge into...
2768         (decl_readonly_section): ... here.
2769         (default_elf_select_section_1): Merge into...
2770         (default_elf_select_section): ... here.
2771         (default_unique_section_1): Merge into...
2772         (default_unique_section): ... here.
2773         (compute_reloc_for_rtx_1, compute_reloc_for_rtx): New.
2774         (default_select_rtx_section): Use it.
2775         (default_elf_select_rtx_section): Likewise.
2776         * output.h: Update to match.
2777         * doc/tm.texi (TARGET_ASM_RELOC_RW_MASK): New.
2778         * config/alpha/alpha.c (alpha_elf_reloc_rw_mask): New.
2779         (TARGET_ASM_RELOC_RW_MASK): New.
2780         * config/i386/i386.c (x86_64_elf_select_section): Adjust call
2781         to categorize_decl_for_section.
2782         (x86_64_elf_unique_section): Likewise.
2783         * config/ia64/hpux.h (TARGET_ASM_SELECT_SECTION,
2784         TARGET_ASM_UNIQUE_SECTION, TARGET_ASM_SELECT_RTX_SECTION): Remove.
2785         (TARGET_ASM_RELOC_RW_MASK): New.
2786         * config/ia64/ia64.c (ia64_rwreloc_select_section,
2787         ia64_rwreloc_unique_section, ia64_rwreloc_select_rtx_section): Remove.
2788         (ia64_hpux_reloc_rw_mask, ia64_reloc_rw_mask): New.
2789         (TARGET_RWRELOC): Remove.
2790         (ia64_section_type_flags): Adjust call to default_section_type_flags.
2791         * config/ia64/sysv4.h (TARGET_ASM_RELOC_RW_MASK): New.
2792         * config/rs6000/rs6000.c (rs6000_elf_section_type_flags): Remove.
2793         (rs6000_elf_select_section, rs6000_elf_unique_section): Remove.
2794         (rs6000_elf_reloc_rw_mask, rs6000_xcoff_reloc_rw_mask): New.
2795         (rs6000_xcoff_select_section): Use decl_readonly_section.
2796         (rs6000_xcoff_section_type_flags): Use default_section_type_flags.
2797         * config/rs6000/sysv4.h (TARGET_ASM_RELOC_RW_MASK): New.
2798         (TARGET_ASM_SELECT_SECTION, TARGET_ASM_UNIQUE_SECTION): Remove.
2799         (TARGET_SECTION_TYPE_FLAGS): Remove.
2800         * config/rs6000/xcoff.h (TARGET_ASM_RELOC_RW_MASK): New.
2801
2802 2007-03-09  Roger Sayle  <roger@eyesopen.com>
2803
2804         * fold-const.c (fold_comparison): Remove compile-time evaluation of
2805         complex constant equality/inequality comparisons for here.
2806         (fold_binary) <EQ_EXPR>: Simplify complex comparisons that are
2807         known at compile-time or can be simplified to a scalar comparison.
2808         (fold_relational_const): Move compile-time evaluation of complex
2809         constant equality/inequality comparisons to here.
2810
2811 2007-03-09  Alexandre Oliva  <aoliva@redhat.com>
2812
2813         PR rtl-optimization/30643
2814         * cse.c (cse_insn): Recompute dest_hash after insert_regs for
2815         dest_addr_elt.
2816         (fold_rtx): Recurse, like before 2006-11-03.
2817
2818 2007-03-09  DJ Delorie  <dj@redhat.com>
2819
2820         * config/m32c/t-m32c (m32c-pragma.o): Add TM_H dependency to
2821         m32c-pragma.o.
2822
2823 2007-03-09  Aldy Hernandez  <aldyh@redhat.com>
2824
2825         PR tree-optimization/30375
2826         * tree-ssa-dse.c (dse_possible_dead_store_p): Do not eliminate if
2827         LHS of statements is not the same.
2828         * testsuite/gcc.dg/tree-ssa/ssa-dse-10.c: New.
2829
2830 2007-03-09  Chao-ying Fu  <fu@mips.com>
2831
2832         * doc/extend.texi (MIPS DSP Built-in Functions): Document the DSP
2833         REV 2.
2834         * doc/invoke.texi (-mdspr2): Document new option.
2835         * config/mips/mips.md (UNSPEC_ABSQ_S_QB .. UNSPEC_DPSQX_SA_W_PH):
2836         New unspec for DSP REV 2.
2837         (<u>mulsidi3_32bit_internal): Check if !TARGET_DSPR2, because
2838         these instructions are extended in DSP REV 2.
2839         (mips-dspr2.md): Include.
2840         * config/mips/mips.opt (mdspr2): New option.
2841         * config/mips/mips.c (mips_function_type): Add MIPS_V4QI_FTYPE_V4QI,
2842         MIPS_SI_FTYPE_SI_SI_SI, MIPS_DI_FTYPE_DI_USI_USI, MIPS_DI_FTYPE_SI_SI,
2843         MIPS_DI_FTYPE_USI_USI, MIPS_V2HI_FTYPE_SI_SI_SI.
2844         (override_options): Check TARGET_DSPR2 to enable MASK_DSP.
2845         (CODE_FOR_mips_mul_ph): Define it to CODE_FOR_mulv2hi3.
2846         (dsp_bdesc): Add DSP REV 2 builtins.  Remove 32-bit only DSP builtins.
2847         (dsp_32only_bdesc): New description table for 32-bit only DSP REV 1
2848         and 2 builtins.
2849         (bdesc_map): Add one field of unsupported_target_flags.
2850         (bdesc_arrays):  Update entries to have extra fields.  Add
2851         dsp_32only_bdesc.
2852         (mips_init_builtins): Initialize new function types.
2853         Check unsupported_target_fileds to filter out builtins.
2854         * config/mips/mips.h (TARGET_CPU_CPP_BUILTINS): Define __mips_dspr2 if
2855         TARGET_DSPR2.
2856         (ASM_SPEC): Pass mdspr2 to the assembler.
2857         * config/mips/mips-dspr2.md: New file.
2858
2859 2007-03-09  Sa Liu  <saliu@de.ibm.com>
2860
2861         * config/rs6000/altivec.md: Fix vcond patterns using if_then_else.
2862
2863 2007-03-09  Ian Lance Taylor  <iant@google.com>
2864
2865         * opts.c (common_handle_option): Treat -Wstrict-overflow (with no
2866         argument) like -Wstrict-overflow=2.
2867         * doc/invoke.texi (Warning Options): Update documentation.
2868
2869 2007-03-09  Dirk Mueller  <dmueller@suse.de>
2870
2871         PR c++/17946
2872         * doc/invoke.texi (-Wlogical-op): Document.
2873         * common.opt (-Wlogical-op): New.
2874         * c-common.h (warn_logical_operator): Declare.
2875         * c-common.c (warn_logical_operator): Define.
2876         * c-typeck.c (parser_build_binary_op): Call
2877         warn_logical_operator.
2878
2879 2007-03-09  Alexandre Oliva  <aoliva@redhat.com>
2880
2881         * rtl.h (gen_rtx_ASM_INPUT): Use "" instead of NULL file name.
2882         * final.c (final_scan_insn): Test for non-"" file name.
2883
2884 2007-03-09  Sebastian Pop  <sebastian.pop@inria.fr>
2885
2886         * doc/loop.texi: Document the Omega linear constraints solver.
2887         * doc/invoke.texi: Document -fcheck-data-deps, omega-max-vars,
2888         omega-max-geqs, omega-max-eqs, omega-max-wild-cards,
2889         omega-hash-table-size, omega-max-keys, and
2890         omega-eliminate-redundant-constraints.
2891         * tree-pass.h (pass_check_data_deps): Declared.
2892         * omega.c: New.
2893         * omega.h: New.
2894         * timevar.def (TV_CHECK_DATA_DEPS): Declared.
2895         * tree-ssa-loop.c (check_data_deps, gate_check_data_deps,
2896         pass_check_data_deps): New.
2897         * tree-data-ref.c (init_data_ref): Remove declaration.
2898         (dump_data_dependence_relation): Dump DDR_INNER_LOOP.
2899         (analyze_array): Renamed init_array_ref, move up initializations.
2900         (init_data_ref): Renamed init_pointer_ref.  Moved before its call.
2901         Removed arguments that are set to NULL.
2902         (analyze_indirect_ref): Correct indentation, correct call to
2903         init_pointer_ref.
2904         (object_analysis): Call init_array_ref instead of analyze_array.
2905         (initialize_data_dependence_relation): Initialize DDR_INNER_LOOP.
2906         (access_functions_are_affine_or_constant_p): Use DR_ACCESS_FNS instead
2907         of DR_ACCESS_FNS_ADDR.
2908         (init_omega_eq_with_af, omega_extract_distance_vectors,
2909         omega_setup_subscript, init_omega_for_ddr_1, init_omega_for_ddr,
2910         ddr_consistent_p): New.
2911         (compute_affine_dependence): Check consistency of ddrs when
2912         flag_check_data_deps is passed.
2913         (analyze_all_data_dependences): Uncomment.
2914         (tree_check_data_deps): New.
2915         * tree-data-ref.h: Include omega.h.
2916         (DR_ACCESS_FNS_ADDR): Removed.
2917         (data_dependence_relation): Add inner_loop.
2918         (DDR_INNER_LOOP): New.
2919         * common.opt (fcheck-data-deps): New.
2920         * tree-flow.h (tree_check_data_deps): Declare.
2921         * Makefile.in (TREE_DATA_REF_H): Depend on omega.h.
2922         (OBJS-common): Depend on omega.o.
2923         (omega.o): Define.
2924         * passes.c (pass_check_data_deps): Scheduled.
2925         * params.def (PARAM_OMEGA_MAX_VARS, PARAM_OMEGA_MAX_GEQS,
2926         PARAM_OMEGA_MAX_EQS, PARAM_OMEGA_MAX_WILD_CARDS,
2927         PARAM_OMEGA_HASH_TABLE_SIZE, PARAM_OMEGA_MAX_KEYS,
2928         PARAM_VECT_MAX_VERSION_CHECKS,
2929         PARAM_OMEGA_ELIMINATE_REDUNDANT_CONSTRAINTS): New.
2930
2931 2007-03-09  Richard Guenther  <rguenther@suse.de>
2932
2933         PR tree-optimization/30904
2934         PR middle-end/31058
2935         * tree-vrp.c (extract_range_from_binary_expr): Handle RSHIFT_EXPR
2936         the same way as *_DIV_EXPR.
2937
2938 2007-03-09  Alexandre Oliva  <aoliva@redhat.com>
2939
2940         * recog.c (decode_asm_operands): No mixed declarations and code.
2941
2942 2007-03-09  Alexandre Oliva  <aoliva@redhat.com>
2943
2944         * rtl.def (ASM_INPUT): Add location.
2945         * rtl.h (ASM_INPUT_SOURCE_LOCATION): New.
2946         (ASM_INPUT_SOURCE_FILE, ASM_INPUT_SOURCE_LINE): New.
2947         (decode_asm_operands): Add loc operand.
2948         (gen_rtx_ASM_INPUT, gen_rtx_ASM_INPUT_loc): Define.
2949         * stmt.c (expand_asm): Rename to...
2950         (expand_asm_loc): ... this.  Add locus argument.  Pass it on to
2951         gen_rtx_ASM_INPUT_loc.
2952         (expand_asm_expr): Adjust.
2953         * recog.c (decode_asm_operands): Add loc operand.
2954         (check_asm_operands, extract_insn): Adjust.
2955         * reload1.c (maybe_fix_stack_asms): Likewise.
2956         * final.c (asm_insn_count): Likewise.
2957         (final_scan_insn): Output # line before and after asm.
2958
2959 2007-03-09  Daniel Berlin  <dberlin@dberlin.org>
2960
2961         * tree-ssa-structalias.c (variable_info): Remove
2962         finished_solution.
2963         (new_var_info): Ditto.
2964         (shared_bitmap_info_t): New structure.
2965         (shared_bitmap_table): New variable.
2966         (shared_bitmap_hash): New function.
2967         (shared_bitmap_eq): Ditto
2968         (shared_bitmap_lookup): Ditto.
2969         (shared_bitmap_add): Ditto.
2970         (merge_smts_into): Change to take bitmap directly.
2971         (find_what_p_points_to): Rewrite to use shared bitmap hashtable.
2972         (init_alias_vars): Init shared bitmap hashtable.
2973         (delete_points_to_sets): Delete shared bitmap hashtable.
2974         * tree-ssa-operands.c (add_virtual_operand): Partially revert the
2975         is_aliased removal as a change that was still necessary was
2976         deleted.
2977
2978 2007-03-09  Uros Bizjak  <ubizjak@gmail.com>
2979
2980         * config/i386/i386.h (override_options): Conditionally disable
2981         x86_sahf for 64bit targets only.
2982
2983 2007-03-08  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2984
2985         PR C/31072
2986         * c-decl.c (merge_decls): Don't call make_var_volatile.
2987         * varasm.c (make_var_volatile): Remove.
2988         * output.h (make_var_volatile): Remove.
2989
2990 2007-03-08  Zdenek Dvorak  <dvorakz@suse.cz>
2991
2992         PR tree-optimization/31085
2993         * tree-ssa-address.c (create_mem_ref): Fix test of type of base.
2994
2995 2007-03-08  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2996
2997         * builtins.def (lceil, lceilf, lceill, lfloor, lfloorf, lfloorl,
2998         llceil, llceilf, llceill, llfloor, llfloorf, llfloorl): Mark with
2999         ATTR_CONST_NOTHROW_LIST.
3000
3001         * fold-const.c (tree_expr_nonnegative_warnv_p): Handle
3002         FIX_TRUNC_EXPR.
3003
3004 2007-03-08  Diego Novillo  <dnovillo@redhat.com>
3005
3006         * doc/tree-ssa.texi: Remove documentation for V_MUST_DEF.
3007
3008 2007-03-08  Geoffrey Keating  <geoffk@apple.com>
3009
3010         PR 31013
3011         * gccspec.c (lang_specific_driver): Do nothing when NEXT_OBJC_RUNTIME
3012         is declared.
3013         * config/darwin.h (REAL_LIBGCC_SPEC): When -fgnu-runtime is
3014         passed, use shared libgcc.
3015
3016 2007-03-08  Roger Sayle  <roger@eyesopen.com>
3017
3018         * tree-eh.c (do_return_redirection): Call build_gimple_modify_stmt
3019         instead of calling build2 with a GIMPLE_MODIFY_STMT.
3020         (honor_protect_cleanup_actions, lower_try_finally_switch):
3021         Likewise.
3022         * tree-if-conv.c (replace_phi_with_cond_gimple_modify_stmt,
3023         ifc_temp_var): Likewise.
3024         * tree-inline.c (setup_one_parameter): Likewise.
3025         * tree-mudflap.c (mf_decl_cache_locals,
3026         mf_build_check_statement_for): Likewise.
3027         * tree-nested.c (init_tmp_var, save_tmp_var,
3028         finalize_nesting_tree_1): Likewise.
3029         * tree-outof-ssa.c (insert_copy_on_edge,
3030         insert_backedge_copies): Likewise.
3031         * tree-profile.c (tree_gen_edge_profiler,
3032         tree_gen_ic_profiler): Likewise.
3033         * tree-scalar-evolution.c (scev_const_prop): Likewise.
3034         * tree-sra.c (sra_build_assignment): Likewise.
3035         * tree-ssa-loop-im.c (determine_invariantness_stmt): Likewise.
3036         * tree-ssa-math-opts.c (insert_reciprocals,
3037         execute_cse_sincos_1): Likewise.
3038         * tree-tailcall.c (adjust_accumulator_values,
3039         adjust_return_value): Likewise.
3040         * tree-vect-patterns.c (vect_pattern_recog_1): Likewise.
3041         * tree-vect-transform.c (vect_create_data_ref_ptr,
3042         bump_vector_ptr, vect_init_vector, get_initial_def_for_induction,
3043         vect_create_epilog_for_reduction, vectorizable_reduction,
3044         vectorizable_call, vectorizable_conversion,
3045         vectorizable_assignment, vectorizable_operation,
3046         vectorizable_type_demotion, vect_gen_widened_results_half,
3047         vect_permute_store_chain, vectorizable_store,
3048         vect_setup_realignment, vect_permute_load_chain,
3049         vectorizable_load, vectorizable_condition,
3050         vect_create_cond_for_align_checks): Likewise.
3051         * tree-vrp.c (build_assert_expr_for): Likewise.
3052
3053 2007-03-08  Ian Lance Taylor  <iant@google.com>
3054
3055         * tree-vrp.c: Include "intl.h".
3056         (usable_range_p): New static function.
3057         (compare_values_warnv): Don't test TYPE_OVERFLOW_UNDEFINED for
3058         overflowed values, juts set *strict_overflow_p.
3059         (compare_values): Only return -2 if one of the operands is not a
3060         constant.
3061         (compare_ranges): Call usable_range_p.
3062         (compare_range_with_value): Likewise.
3063         (vrp_evaluate_conditional_warnv): Rename from
3064         vrp_evaluate_conditional.  Make static.  Change all callers.
3065         (vrp_evaluate_conditional): New function.
3066         (simplify_div_or_mod_using_ranges): Issue warning about reliance
3067         on signed overflow.
3068         (simplify_abs_using_ranges): Likewise.
3069         (simplify_stmt_for_jump_threading): Add within_stmt parameter.
3070         * tree-ssa-dom.c (simplify_stmt_for_jump_threading): Add
3071         within_stmt parameter.
3072         * tree-ssa-propagate.c (fold_predicate_in): Update call to
3073         vrp_evaluate_conditional.
3074         * tree-ssa-threadedge.c
3075         (record_temporary_equivalences_from_stmts_at_dest): Change
3076         simplify parameter to take a second tree parameter.
3077         (simplify_control_stmt_condition): Likewise.
3078         (thread_across_edge): Likewise.
3079         * tree-flow.h (vrp_evaluate_conditional): Update declaration.
3080         (thread_across_edge): Likewise.
3081         * gcc/Makefile.in (tree-vrp.o): Depend upon intl.h.
3082
3083 2007-03-08  Uros Bizjak  <ubizjak@gmail.com>
3084
3085         * config/i386/i386.h (TARGET_SAHF): New define.
3086         * config/i386/i386.c (ix86_tune_features) [X86_TUNE_USE_SAHF]:
3087         Also enable for m_K8, m_AMDFAM10 and m_CORE2.
3088         (x86_sahf): New global variable.
3089         (override_options): Add PTA_NO_SAHF to pta_flags enum.  Recode
3090         pta_flags masks using shifts.  Add PTA_NO_SAHF to x86_64 and
3091         nocona processor flags.  Set x86_sahf when PTA_NO_SAHF is not set
3092         in processor flags.  Do not unconditionally disable TARGET_USE_SAHF
3093         for 64-bit.
3094         (ix86_fp_comparison_sahf_cost): Return high value for !TARGET_SAHF.
3095         (ix86_expand_fp_compare): Check for TARGET_CMOVE or TARGET_SAHF
3096         when expanding fcomi/sahf based tests.
3097         (ix86_emit_fp_unordered_jump): Check for TARGET_SAHF when
3098         expanding sahf based alternative. Emit sahf based sequence when
3099         optimizing for code size.
3100         * config/i386/i386.md (x86_sahf_1): Do not disable for
3101         TARGET_64BIT, enable for TARGET_SAHF.
3102
3103 2007-03-08  Martin Michlmayr  <tbm@cyrius.com>
3104
3105         * tree-ssa-coalesce.c (fail_abnormal_edge_coalesce): Remove
3106         spurious whitespace from error message.
3107
3108 2007-03-08  Volker Reichelt  <reichelt@netcologne.de>
3109
3110         PR c++/30852
3111         * c-common.c (fold_offsetof_1): Handle COMPOUND_EXPR.
3112
3113 2007-03-08  Alexandre Oliva  <aoliva@redhat.com>
3114
3115         * c-decl.c (grokdeclarator): Disable warnings for anonymous
3116         bitfields.
3117         * tree-sra.c (instantiate_element): Propagate disabled warnings
3118         from the element itself to the created variable.
3119
3120 2007-03-07  Richard Henderson  <rth@redhat.com>
3121
3122         PR target/30848
3123         * reg-stack.c (emit_swap_insn): If a malformed asm was seen,
3124         silently fix up the stack in the case of a missing register.
3125
3126 2007-03-07  Paul Brook  <paul@codesourcery.com>
3127
3128         * config/arm/libunwind.S: Add .arch/.object_arch for armv4 builds.
3129
3130 2007-03-07  Joseph Myers  <joseph@codesourcery.com>
3131
3132         * config/arm/unwind-arm.c (struct wmmxd_regs, struct wmmxc_regs):
3133         New.
3134         (phase1_vrs): Use them.
3135         (DEMAND_SAVE_WMMXD, DEMAND_SAVE_WMMXC): New.
3136         (__gnu_Unwind_Save_WMMXD, __gnu_Unwind_Restore_WMMXD,
3137         __gnu_Unwind_Save_WMMXC, __gnu_Unwind_Restore_WMMXC): Declare.
3138         (restore_non_core_regs): Call __gnu_Unwind_Restore_WMMXD and
3139         __gnu_Unwind_Restore_WMMXC if required.
3140         (_Unwind_VRS_Pop): Implement iWMMXt support.
3141         * config/arm/libunwind.S (gnu_Unwind_Restore_WMMXD,
3142         gnu_Unwind_Save_WMMXD, gnu_Unwind_Restore_WMMXC,
3143         gnu_Unwind_Save_WMMXC): Define.
3144
3145 2007-03-07  Richard Sandiford  <richard@codesourcery.com>
3146
3147         * config/vxworks.h (vxworks_override_options): Declare.
3148         (VXWORKS_OVERRIDE_OPTIONS): Use it.
3149         * config/vxworks.c: Include target.h and toplev.h.
3150         (vxworks_override_options): New function.
3151         * config/t-vxworks (vxworks.o): Depend on $(TARGET_H) and toplev.h.
3152
3153 2007-03-07  Andreas Krebbel  <krebbel1@de.ibm.com>
3154
3155         * config/s390/s390.c (override_options): Don't emit an error when
3156         -mstack-size is used without providing -mstack-guard.
3157         (s390_emit_prologue): Choose stack_guard value automatically if not
3158         provided via command line.
3159         * doc/invoke.texi: Adjust description of -mstack-guard and -mstack-size.
3160
3161 2007-03-07  Richard Sandiford  <richard@codesourcery.com>
3162
3163         * config/i386/i386.c (output_set_got): Add a GOT initialization
3164         sequence for VxWorks PIC.
3165         (legitimate_pic_address_disp_p): Allow UNSPEC_GOT wrappers
3166         around labels as well as symbols.  Use gotoff_operand instead
3167         of local_symbolic_operand.
3168         (legitimize_pic_address): Use gotoff_operand instead of
3169         local_symbolic_operand.  Use @GOT accesses for labels as
3170         well as symbols.
3171         (ix86_output_addr_diff_elt): Use PC-relative rather than
3172         GP-relative offsets for VxWorks PIC.
3173         (ix86_expand_move): Pass NULL_RTX to legitimize_pic_address unless
3174         no_new_pseudos.  Check whether the returned register is op0.
3175         * config/i386/i386.md (tablejump): Use PC-relative rather than
3176         GP-relative offsets for VxWorks PIC.
3177         * config/i386/predicates.md (gotoff_operand): New predicate.
3178
3179 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
3180
3181         * config/vxworks.h (VXWORKS_GOTT_BASE, VXWORKS_GOTT_INDEX): Undefine
3182         before defining.
3183         * config/vxworks-dummy.h: New file.
3184         * config/i386/i386.h: Include it.
3185
3186 2007-03-07  Alexandre Oliva  <aoliva@redhat.com>
3187
3188         * dwarf2out.c (is_inlined_entry_point): New
3189         (add_high_low_attributes): Emit DW_AT_entry_pc along with
3190         DW_AT_ranges if the first subblock is the entry point.
3191
3192 2007-03-06  David Daney  <ddaney@avtrex.com>
3193
3194         * doc/install.texi (mips-*-*): Change recommended binutils
3195         version.
3196
3197 2007-03-06  Anatoly Sokolov <aesok@post.ru>
3198
3199         * config/avr/avr.c (avr_mcu_types): Add support for ATmega325P,
3200         ATmega3250P, ATmega329P, ATmega3290P, AT90USB82 and AT90USB162
3201         devices.
3202         * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
3203         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
3204
3205 2007-03-06  Jan Hubicka  <jh@suse.cz>
3206
3207         * errors.h (warning, error, fatal, internal_error): Mark as cold.
3208         * predict.c (maybe_hot_bb): Cold functions are never hot; hot functions
3209         are hot.
3210         (probably_cold_bb_p): Cold functions are cold.
3211         (probably_never_executed_bb_p): Cold functions are cold.
3212         (tree_bb_level_predictions): Predict calls to cold functions as not
3213         taken.
3214         (compute_function_frequency): Check hot/cold attributes.
3215         * function.h (function_frequency): Update comments.
3216         * predict.def (PRED_COLD_FUNCTION): Predict cold function.
3217         * c-common.c (handle_hot_attribute, handle_cold_attribute): New.
3218         (c_common_att): Add cold and hot.
3219
3220         * doc/extend.texi (hot,cold attributes): Document.
3221
3222 2007-03-06  Andrew Haley  <aph@redhat.com>
3223
3224         * function.c (expand_function_end): Move blockage to just after we
3225         emit the label for the naked return from the function.
3226
3227 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
3228
3229         * config/i386/att.h (ASM_OUTPUT_ASCII, ASM_OUTPUT_SKIP): Undefine
3230         before redefining.
3231
3232 2007-03-06  Jan Hubicka  <jh@suse.cz>
3233
3234         * reg-stack.c (reg_to_stack): Large models don't allow NAN to be
3235         loaded for constant large models.  Non-large 64bit PIC can do.
3236         * i386.h (CASE_VECTOR_MODE): Large PIC cases are 64bit.
3237         * cmodel.h: Add LARGE PIC.
3238         * i386.md (UNSPEC_PLTOFF): New.
3239         (UNSPEC_SET_RIP, UNSPEC_SET_GOT_OFFSET): New; renumber other unspecs as
3240         needed.
3241         (*call_1_rex64): Disable for large models.
3242         (*call_1_rex64_large): New.
3243         (*call_value_1_rex64): Disable for large models.
3244         (*call_value_1_rex64_large): New.
3245         (set_rip_rex4): New.
3246         (set_got_offset_rex64): New.
3247         * predicates.md (constant_call_address_operand): For large model
3248         constant calls are not possible.
3249         * i386-protos.h (construct_plt_address): Declare.
3250         * i386.c (override_options): Accept large models.
3251         (ix86_expand_prologue): Expand large PIC GOT pointer load.
3252         (legitimate_constant_p): Add new UNSPECs.
3253         (legitimate_pic_operand_p): Likewise.
3254         (legitimate_pic_address_disp_p): Disallow local symbols for large PICs.
3255         (legitimize_pic_address): Do easy RIP relative way for TLS only for
3256         non-large model.
3257         (output_pic_addr_const): Add PLTOFF.
3258         (ix86_output_addr_diff_elt): Output 64bit tables when needed.
3259         (ix86_expand_move): Legitimize pic address when in PIC mode.
3260         (construct_plt_address): New function.
3261         (ix86_expand_call): Offload the address to register and use GOT pointer
3262         for large model.
3263         * invoke.texi (mcmodel=large): Update documentation.
3264
3265 2007-03-06  Richard Henderson  <rth@redhat.com>
3266
3267         * config/i386/i386.c (x86_use_leave, x86_push_memory,
3268         x86_zero_extend_with_and, x86_movx, x86_double_with_add,
3269         x86_use_bit_test, x86_unroll_strlen, x86_deep_branch,
3270         x86_branch_hints, x86_use_sahf, x86_partial_reg_stall,
3271         x86_partial_flag_reg_stall, x86_use_himode_fiop, x86_use_simode_fiop,
3272         x86_use_mov0, x86_use_cltd, x86_read_modify_write, x86_read_modify,
3273         x86_split_long_moves, x86_promote_QImode, x86_fast_prefix,
3274         x86_single_stringop, x86_qimode_math, x86_promote_qi_regs,
3275         x86_himode_math, x86_promote_hi_regs, x86_sub_esp_4, x86_sub_esp_8,
3276         x86_add_esp_4, x86_add_esp_8, x86_integer_DFmode_moves,
3277         x86_partial_reg_dependency, x86_memory_mismatch_stall,
3278         x86_prologue_using_move, x86_epilogue_using_move, x86_shift1,
3279         x86_sse_partial_reg_dependency, x86_sse_split_regs,
3280         x86_sse_unaligned_move_optimal, x86_sse_typeless_stores,
3281         x86_sse_load0_by_pxor, x86_use_ffreep, x86_use_incdec,
3282         x86_inter_unit_moves, x86_ext_80387_constants, x86_four_jump_limit,
3283         x86_schedule, x86_use_bt, x86_pad_returns,
3284         x86_use_xchgb): Merge into ...
3285         (ix86_tune_features): ... here.  New array.
3286         (x86_cmove, x86_cmpxchg, x86_cmpxchg8b, x86_xadd,
3287         x86_bswap): Merge into ...
3288         (ix86_arch_features): ... here.  New array.
3289         (x86_3dnow_a): Remove.
3290         (x86_accumulate_outgoing_args): Make static.
3291         (x86_arch_always_fancy_math_387): Make static.
3292         (ix86_tune_mask, ix86_arch_mask): Move ...
3293         (override_options): ... to local variables here.  Apply the
3294         appropriate mask to each element of ix86_arch_features and
3295         ix86_tune_features.  Adjust TARGET_CMOVE and TARGET_USE_SAHF
3296         as were done in the old macros.
3297         (standard_80387_constant_p): Use TARGET_EXT_80387_CONSTANTS.
3298         * config/i386/i386.h (x86_use_leave, x86_push_memory,
3299         x86_zero_extend_with_and, x86_use_bit_test, x86_cmove, x86_deep_branch,
3300         x86_branch_hints, x86_unroll_strlen, x86_double_with_add,
3301         x86_partial_reg_stall, x86_movx, x86_use_himode_fiop,
3302         x86_use_simode_fiop, x86_use_mov0, x86_use_cltd, x86_use_xchgb,
3303         x86_read_modify_write, x86_read_modify, x86_split_long_moves,
3304         x86_promote_QImode, x86_single_stringop, x86_fast_prefix,
3305         x86_himode_math, x86_qimode_math, x86_promote_qi_regs,
3306         x86_promote_hi_regs, x86_integer_DFmode_moves, x86_add_esp_4,
3307         x86_add_esp_8, x86_sub_esp_4, x86_sub_esp_8,
3308         x86_partial_reg_dependency, x86_memory_mismatch_stall,
3309         x86_accumulate_outgoing_args, x86_prologue_using_move,
3310         x86_epilogue_using_move, x86_decompose_lea,
3311         x86_arch_always_fancy_math_387, x86_shift1,
3312         x86_sse_partial_reg_dependency, x86_sse_split_regs,
3313         x86_sse_unaligned_move_optimal, x86_sse_typeless_stores,
3314         x86_sse_load0_by_pxor, x86_use_ffreep, x86_inter_unit_moves,
3315         x86_schedule, x86_use_bt, x86_cmpxchg, x86_cmpxchg8b, x86_xadd,
3316         x86_use_incdec, x86_pad_returns, x86_bswap,
3317         x86_partial_flag_reg_stall): Remove.
3318         (enum ix86_tune_indices): New.
3319         (ix86_tune_features): New.
3320         (TARGET_USE_LEAVE, TARGET_PUSH_MEMORY, TARGET_ZERO_EXTEND_WITH_AND,
3321         TARGET_USE_BIT_TEST, TARGET_UNROLL_STRLEN,
3322         TARGET_DEEP_BRANCH_PREDICTION, TARGET_BRANCH_PREDICTION_HINTS,
3323         TARGET_DOUBLE_WITH_ADD, TARGET_USE_SAHF, TARGET_MOVX,
3324         TARGET_PARTIAL_REG_STALL, TARGET_PARTIAL_FLAG_REG_STALL,
3325         TARGET_USE_HIMODE_FIOP, TARGET_USE_SIMODE_FIOP, TARGET_USE_MOV0,
3326         TARGET_USE_CLTD, TARGET_USE_XCHGB, TARGET_SPLIT_LONG_MOVES,
3327         TARGET_READ_MODIFY_WRITE, TARGET_READ_MODIFY, TARGET_PROMOTE_QImode,
3328         TARGET_FAST_PREFIX, TARGET_SINGLE_STRINGOP, TARGET_QIMODE_MATH,
3329         TARGET_HIMODE_MATH, TARGET_PROMOTE_QI_REGS, TARGET_PROMOTE_HI_REGS,
3330         TARGET_ADD_ESP_4, TARGET_ADD_ESP_8, TARGET_SUB_ESP_4,
3331         TARGET_SUB_ESP_8, TARGET_INTEGER_DFMODE_MOVES,
3332         TARGET_PARTIAL_REG_DEPENDENCY, TARGET_SSE_PARTIAL_REG_DEPENDENCY,
3333         TARGET_SSE_UNALIGNED_MOVE_OPTIMAL, TARGET_SSE_SPLIT_REGS,
3334         TARGET_SSE_TYPELESS_STORES, TARGET_SSE_LOAD0_BY_PXOR,
3335         TARGET_MEMORY_MISMATCH_STALL, TARGET_PROLOGUE_USING_MOVE,
3336         TARGET_EPILOGUE_USING_MOVE, TARGET_SHIFT1, TARGET_USE_FFREEP,
3337         TARGET_INTER_UNIT_MOVES, TARGET_FOUR_JUMP_LIMIT, TARGET_SCHEDULE,
3338         TARGET_USE_BT, TARGET_USE_INCDEC, TARGET_PAD_RETURNS,
3339         TARGET_EXT_80387_CONSTANTS): Use it.
3340         (enum ix86_arch_indices): New.
3341         (ix86_arch_features): New.
3342         (TARGET_CMOVE, TARGET_CMPXCHG, TARGET_CMPXCHG8B, TARGET_XADD,
3343         TARGET_BSWAP): Use it.
3344         (ix86_tune_mask, ix86_arch_mask): Remove.
3345
3346 2007-03-06  Joseph Myers  <joseph@codesourcery.com>
3347
3348         PR bootstrap/31020
3349         * configure.ac (CROSS_SYSTEM_HEADER_DIR, build_system_header_dir):
3350         Define using $${sysroot_headers_suffix}.
3351         * configure: Regenerate.
3352         * cppdefault.c (cpp_include_defaults): Make FIXED_INCLUDE_DIR a
3353         multilib-suffixed directory if SYSROOT_HEADERS_SUFFIX_SPEC
3354         defined.
3355         * doc/invoke.texi (-print-sysroot-headers-suffix): Document.
3356         * gcc.c (print_sysroot_headers_suffix): New.
3357         (option_map): Include --print-sysroot-headers-suffix.
3358         (display_help): Mention -print-sysroot-headers-suffix.
3359         (process_command): Handle -print-sysroot-headers-suffix.
3360         (do_spec_1): Append multilib directory to include-fixed path if
3361         sysroot suffixes in use.
3362         (main): Handle -print-sysroot-headers-suffix.
3363         * Makefile.in (start.encap): Don't depend on xlimits.h
3364         (xlimits.h): Remove.
3365         (stmp-int-hdrs): Don't depend on xlimits.h.  Inline generation of
3366         limits.h for each multilib in fixinc_list.
3367         (fixinc_list, s-fixinc_list): New.
3368         (stmp-fixinc): Depend on fixinc_list.  If not copying headers,
3369         generate them for each multilib in fixinc_list.
3370         (stmp-fixproto): Use include-fixed.  Run fixproto for each
3371         multilib in fixinc_list.
3372         (mostlyclean): Don't remove xlimits.h.
3373         (clean): Remove include-fixed.
3374         (real-install-headers-tar, real-install-headers-cpio,
3375         real-install-headers-cp): Don't copy include, only include-fixed.
3376         (install-mkheaders): Depend on fixinc_list.  Don't depend on
3377         xlimits.h.  Save limits.h files for each multilib in fixinc_list.
3378         Always save mkinstalldirs.  Preserve ${sysroot_headers_suffix} in
3379         SYSTEM_HEADER_DIR setting in mkheaders.conf.
3380
3381 2007-03-06  Jan Hubicka  <jh@suse.cz>
3382
3383         * regstack.c (reg_to_stack): When in 64bit PIC mode, we still can load
3384         NANs easilly.
3385
3386 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
3387
3388         * configure.ac: Allow tm_file to contain build-directory files.
3389         * configure: Regenerate.
3390         * config.gcc (m68k-*-uclinux*): Add ./sysroot-suffix.h to tm_file.
3391         * config/m68k/t-uclinux (sysroot-suffix.h): New target.
3392         * config/m68k/print-sysroot-suffix.sh: New file.
3393
3394 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
3395
3396         * config/m68k/m68k.h (PIC_OFFSET_TABLE_REGNUM): Use the REGNO
3397         of pic_offset_table_rtx if reload_completed.
3398         (CONDITIONAL_REGISTER_USAGE): Use PIC_REG instead of
3399         PIC_OFFSET_TABLE_REGNUM.
3400         * config/m68k/m68k.c (TARGET_ASM_CAN_OUTPUT_MI_THUNK): Always
3401         return true.
3402         (m68k_save_reg): Use PIC_REG instead of PIC_OFFSET_TABLE_REGNO.
3403         (m68k_output_mi_thunk): Rewrite to use RTL.  Honor vcall_offs