OSDN Git Service

88096ccf22629c605f353e36d77962b5d250048e
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2007-05-24  Jan Hubicka  <jh@suse.cz>
2
3         * doc/invoke.texi (-fdump-unnumbered): Update docs when line number
4         notes are gone.
5         * print-rtl.c (flag_dump_unnumbered): Update comments.
6         (print_rtl): Fix my previous change.
7         * emit-rtl.c (emit_note_before, emit_note_after): Clear out note
8         specific data.
9
10 2007-05-24  Zdenek Dvorak  <dvorakz@suse.cz>
11
12         PR middle-end/32018
13         * tree-ssa-threadupdate.c (thread_through_loop_header): Use
14         set_loop_copy.
15         (thread_through_all_blocks): Call initialize_original_copy_tables
16         and free_original_copy_tables.
17         * cfgloopmanip.c (duplicate_loop, duplicate_loop_to_header_edge):
18         Use set_loop_copy.
19         * tree-cfg.c (tree_duplicate_sese_region): Ditto.
20         * cfghooks.c (duplicate_block): Use get_loop_copy.
21         * cfg.c: Include cfgloop.h.
22         (loop_copy): New hash table.
23         (initialize_original_copy_tables): Initialize loop_copy table.
24         (free_original_copy_tables): Free loop_copy table.
25         (copy_original_table_clear, copy_original_table_set,
26         set_loop_copy, get_loop_copy): New functions.
27         (set_bb_original, set_bb_copy): Use copy_original_table_set.
28         * cfgloop.h (struct loop): Remove copy field.
29         * Makefile.in (cfg.o): Add CFGLOOP_H dependency.
30         * basic-block.h (set_loop_copy, get_loop_copy): Declare.
31
32 2007-05-24  H.J. Lu  <hongjiu.lu@intel.com>
33
34         * config/i386/i386.c (ix86_handle_option): Handle SSE4.1 for
35         -msse/-msse2/-msse3.
36
37 2007-05-24  H.J. Lu  <hongjiu.lu@intel.com>
38
39         * config/i386/i386.c (ix86_init_mmx_sse_builtins): Mark
40         __builtin_ia32_vec_set_v2di with MASK_64BIT.
41
42 2007-05-24  Danny Smith  <dannysmith@users.sourceforge.net>
43
44         PR target/27067
45         * doc/tm.texi (TARGET_MANGLE_DECL_ASSEMBLER_NAME): Document.
46         * targhooks.h (default_mangle_decl_assembler_name): Declare
47         default hook.
48         * targhooks.c (default_mangle_decl_assembler_name): Define
49         default hook.
50         * target-def.h (TARGET_MANGLE_DECL_ASSEMBLER_NAME) New. Set to
51         default hook.
52         * target.h (struct gcc_target): Add mangle_decl_assembler_name field.
53         * langhooks.c (lhd_set_decl_assembler_name): Call
54         targetm.mangle_decl_assembler_name for names with global scope.
55
56         * config/i386/cygming.h (TARGET_MANGLE_DECL_ASSEMBLER_NAME) Override
57         default.
58         (ASM_OUTPUT_DEF_FROM_DECLS): Simplify to use DECL_ASSEMBLER_NAME.
59         * config/i386/i386-protos.h (i386_pe_mangle_decl_assembler_name):
60         Declare.
61         * config/i386/winnt.c (i386_pe_maybe_mangle_decl_assembler_name):
62         New. Factored out of i386_pe_encode_section_info.
63         (gen_stdcall_or_fastcall_suffix): Get name identifier as argument.
64         Move check for prior decoration of stdcall
65         symbols to i386_pe_encode_section_info.
66         (i386_pe_encode_section_info): Adjust call to
67         gen_stdcall_or_fastcall_suffix.  Use
68         i386_pe_maybe_mangle_decl_assembler_name, if needed.
69         (i386_pe_mangle_decl_assembler_name): New. Wrap
70         i386_pe_maybe_mangle_decl_assembler_name.
71
72 2007-05-16  Rafael Avila de Espindola  <espindola@google.com>
73
74         * c-common.c (c_common_signed_or_unsigned_type): Delay the check for
75         INTEGRAL_TYPE_P and TYPE_UNSIGNED.
76         * langhooks.c (get_signed_or_unsigned_type): Don't check for
77         INTEGRAL_TYPE_P or TYPE_UNSIGNED.
78         (lhd_signed_or_unsigned_type): Check for INTEGRAL_TYPE_P and
79         TYPE_UNSIGNED.
80
81 2007-05-23  Sandra Loosemore  <sandra@codesourcery.com>
82             Nigel Stephens  <nigel@mips.com>
83             Richard Sandiford  <richard@codesourcery.com>
84
85         Fix up MIPS16 hard float and add support for complex.
86
87         * config/mips/mips.h (TARGET_HARD_FLOAT_ABI): New.
88         (TARGET_SOFT_FLOAT_ABI): New.
89         (TARGET_CPU_CPP_BUILTINS): Define __mips_hard_float and
90         __mips_soft_float to reflect the ABI in use, not whether the
91         FPU is directly accessible (e.g., in MIPS16 mode).
92         (UNITS_PER_HWFPVALUE): Use TARGET_SOFT_FLOAT_ABI.
93         (UNITS_PER_FPVALUE): Likewise.
94
95         * config/mips/mips.c (mips_expand_call): Remove redundant
96         TARGET_MIPS16 check.
97         (mips_arg_regno): New.
98         (function_arg_advance): When setting bits in cum->fp_code for
99         MIPS16, don't subtract 1 from cum->arg_number, since it is now
100         zero-based.
101         (function_arg): Use mips_arg_regno.
102         (mips_return_mode_in_fpr_p): New.
103         (mips16_call_stub_mode_suffix): New.
104         (mips16_cfun_returns_in_fpr_p): New.
105         (mips_save_reg_p): Use mips16_cfun_returns_in_fpr_p.
106         (mips_output_function_prologue): Test mips16_hard_float, not
107         !TARGET_SOFT_FLOAT, to decide when a function stub is required.
108         (mips_expand_epilogue): Call MIPS16 helper routines to copy
109         return value into a floating-point register.
110         (mips_can_use_return_insn): Use mips16_cfun_returns_in_fpr_p.
111         (mips_function_value): Rewrite to use mips_return_mode_in_fpr_p.
112         (mips16_fp_args): Handle MIPS32r2 ISA which supports
113         TARGET_FLOAT64, and use mfhc1/mthc1 to copy the most significant
114         word of double arguments from or to the high bits of 64-bit
115         floating point registers.
116         (build_mips16_function_stub): Fill in DECL_RESULT for stubdecl.
117         (mips16_fpret_double): New helper function.
118         (build_mips16_call_stub): Use mips16_return_mode_in_fpr_p.  Add
119         support for complex modes.  Fill in DECL_RESULT for stubdecl.
120         (mips_init_libfuncs): Remove redundant TARGET_MIPS16 check.
121
122         * config/mips/mips16.S 
123         (RET, ARG1, ARG2): New.
124         (MERGE_GPRf, MERGE_GPRt): New.
125         (DELAYt, DELAYf): New.
126         (MOVE_SF_BYTE0, MOVE_SI_BYTE0): New.
127         (MOVE_SF_BYTE4, MOVE_SF_BYTE8): New.
128         (MOVE_DF_BYTE0, MOVE_DF_BYTE8): New.
129         (MOVE_SF_RET, MOVE_SC_RET, MOVE_DF_RET, MOVE_DC_RET, MOVE_SI_RET): New.
130         (SFOP): Renamed to...
131         (OPSF3): This, and macro-ified.  Updated all uses.
132         (SFOP2): Renamed to...
133         (OPSF2): This, and macro-ified.  Updated all uses.
134         (SFCMP): Renamed to...
135         (CMPSF): This, and macro-ified.  Updated all uses.
136         (SFREVCMP): Renamed to...
137         (REVCMPSF): This, and macro-ified.  Updated all uses.
138         (__mips16_floatsisf, __mips16_fix_truncsfsi): Macro-ified.
139         (LDDBL1, LDDBL2, RETDBL): Deleted.
140         (DFOP): Renamed to...
141         (OPDF3): This, and macro-ified.  Updated all uses.
142         (DFOP2): Renamed to...
143         (OPDF2): This, and macro-ified.  Updated all uses.
144         (__mips16_extendsfdf2, __mips16_truncdfsf2): Macro-ified.
145         (DFCMP): Renamed to...
146         (CMPDF): This, and macro-ified.  Updated all uses.
147         (DFREVCMP): Renamed to...
148         (REVCMPDF): This, and macro-ified.  Updated all uses.
149         (__mips16_floatsidf, __mips16_fix_truncdfsi): Macro-ified.
150         (RET_FUNCTION): New.
151         (__mips16_ret_sf, __mips16_ret_df): Macro-ified.
152         (__mips16_ret_sc, __mips16_ret_dc): New.
153         (STUB_ARGS_0, STUB_ARGS_1, STUB_ARGS_5, STUB_ARGS_9, STUB_ARGS_2,
154         STUB_ARGS_6, STUB_ARGS_10): New.
155         (CALL_STUB_NO_RET): New.
156         (__mips16_call_stub_1): Macro-ified.
157         (__mips16_call_stub_5): Macro-ified.
158         (__mips16_call_stub_2): Macro-ified.
159         (__mips16_call_stub_6): Macro-ified.
160         (__mips16_call_stub_9): Macro-ified.
161         (__mips16_call_stub_10): Macro-ified.
162         (CALL_STUB_RET): New.
163         (__mips16_call_stub_sf_0): Macro-ified.
164         (__mips16_call_stub_sf_1): Macro-ified.
165         (__mips16_call_stub_sf_5): Macro-ified.
166         (__mips16_call_stub_sf_2): Macro-ified.
167         (__mips16_call_stub_sf_6): Macro-ified.
168         (__mips16_call_stub_sf_9): Macro-ified.
169         (__mips16_call_stub_sf_10): Macro-ified.
170         (__mips16_call_stub_df_0): Macro-ified.
171         (__mips16_call_stub_df_1): Macro-ified.
172         (__mips16_call_stub_df_5): Macro-ified.
173         (__mips16_call_stub_df_2): Macro-ified.
174         (__mips16_call_stub_df_6): Macro-ified.
175         (__mips16_call_stub_df_9): Macro-ified.
176         (__mips16_call_stub_df_10): Macro-ified.
177         (__mips16_call_stub_sc_0): New.
178         (__mips16_call_stub_sc_1): New.
179         (__mips16_call_stub_sc_5): New.
180         (__mips16_call_stub_sc_2): New.
181         (__mips16_call_stub_sc_6): New.
182         (__mips16_call_stub_sc_9): New.
183         (__mips16_call_stub_sc_10): New.
184         (__mips16_call_stub_dc_0): New.
185         (__mips16_call_stub_dc_1): New.
186         (__mips16_call_stub_dc_5): New.
187         (__mips16_call_stub_dc_2): New.
188         (__mips16_call_stub_dc_6): New.
189         (__mips16_call_stub_dc_9): New.
190         (__mips16_call_stub_dc_10): New.
191         
192         * config/mips/t-elf (LIB1ASMFUNCS): Add MIPS16 floating-point stubs.
193         * config/mips/t-isa3264 (LIB1ASMFUNCS): Likewise.
194         * config/mips/t-r2900 (LIB1ASMFUNCS): Likewise.
195
196 2007-05-23  Ian Lance Taylor  <iant@google.com>
197
198         * doc/invoke.texi (Invoking GCC): Document that the order of the
199         -l option matters.
200
201 2007-05-23  Chen Liqin  <liqin@sunnorth.com.cn>
202
203         PR target/30987
204         * config/score/misc.md (bitclr_c, bitset_c, bittgl_c): remove.
205         * config/score/predicate.md (const_pow2, const_npow2): remove.
206         * config/score/score.h (ASM_OUTPUT_EXTERNAL): add ASM_OUTPUT_EXTERNAL undef.
207         PR target/30474
208         * config/score/score.c (score_print_operand): makes sure that only lower 
209         bits are used.
210         
211 2007-05-22  Ian Lance Taylor  <iant@google.com>
212
213         * tree-vrp.c (avoid_overflow_infinity): New static function,
214         broken out of set_value_range_to_value.
215         (set_value_range_to_value): Call avoid_overflow_infinity.
216         (extract_range_from_assert): Likewise.
217
218 2007-05-22  Andrew Pinski  <andrew_pinski@playstation.sony.com>
219
220         PR middle-end/31095
221          * builtins.c (expand_builtin_memmove_args): Strip nops that don't
222         change the type before looking for a COMPOUND_EXPR.
223
224 2007-05-22  Ian Lance Taylor  <iant@google.com>
225
226         * lower-subreg.c (decompose_multiword_subregs): If we change an
227         insn, call remove_retval_note on it.
228
229 2007-05-22  Richard Sandiford  <rsandifo@nildram.co.uk>
230
231         * regs.h (end_hard_regno): New function.
232         (END_HARD_REGNO, END_REGNO): New macros.
233         (add_to_hard_reg_set): New function.
234         (remove_from_hard_reg_set): Likewise.
235         (in_hard_reg_set_p): Likewise.
236         (overlaps_hard_reg_set_p): Likewise.
237         * bt-load.c (find_btr_reference): Use overlaps_hard_reg_set_p.
238         (note_btr_set): Use END_HARD_REGNO.
239         * caller-save.c (setup_save_areas): Use end_hard_regno.
240         (mark_set_regs): Use END_HARD_REGNO.
241         (add_stored_regs): Use end_hard_regno.
242         (mark_referenced_regs): Use add_to_hard_reg_set.
243         * combine.c (update_table_tick): Use END_REGNO.
244         (record_value_for_reg): Likewise.
245         (record_dead_and_set_regs): Likewise.
246         (get_last_value_validate): Likewise.
247         (use_crosses_set_p): Likewise.
248         (reg_dead_at_p_1): Likewise.
249         (reg_dead_at_p): Likewise.
250         (mark_used_regs_combine): Use add_to_hard_reg_set.
251         (move_deaths): Use END_HARD_REGNO.
252         (reg_bitfield_target_p): Use end_hard_regno.
253         (distribute_notes): Use END_HARD_REGNO.
254         * cse.c (mention_regs): Use END_REGNO.
255         (insert): Use add_to_hard_reg_set.
256         (invalidate): Use END_HARD_REGNO.
257         (invalidate_for_call): Likewise.
258         (exp_equiv_p): Use END_REGNO.
259         (cse_insn): Likewise.
260         * cselib.c (cselib_invalidate_regno): Use end_hard_regno.
261         * df-problems.c (df_urec_mark_reg_change): Use END_HARD_REGNO.
262         * df-scan.c (df_ref_record): Use END_HARD_REGNO.
263         * function.c (keep_stack_depressed): Use end_hard_regno.
264         * global.c (global_alloc): Use end_hard_regno.
265         (global_conflicts): Use add_to_hard_reg_set instead of
266         mark_reg_live_nc.
267         (find_reg): Likewise.
268         (mark_reg_store): Likewise.
269         (mark_reg_conflicts): Likewise.
270         (mark_reg_death): Use remove_from_hard_reg_set.
271         (mark_reg_live_nc): Delete.
272         (set_preference): Use end_hard_regno.
273         * local-alloc.c (mark_life): Use add_to_hard_reg_set and
274         remove_from_hard_reg_set.
275         (post_mark_life): Use add_to_hard_reg_set.
276         * mode-switching.c (reg_dies): Use remove_from_hard_reg_set.
277         (reg_becomes_live): Use add_to_hard_reg_set.
278         * recog.c (reg_fits_class_p): Use in_hard_reg_set_p.
279         (peep2_find_free_register): Use add_to_hard_reg_set.
280         * reg-stack.c (convert_regs_exit): Use END_HARD_REGNO.
281         * regclass.c (record_reg_classes): Use in_hard_reg_set_p.
282         * regrename.c (note_sets): Use add_to_hard_reg_set.
283         (clear_dead_regs): Use remove_from_hard_reg_set.
284         (regrename_optimize): Use add_to_hard_reg_set.
285         (find_oldest_value_reg): Use in_hard_reg_set_p.
286         * reload.c (push_reload): Use in_hard_reg_set_p and end_hard_regno.
287         (hard_reg_set_here_p): Use end_hard_regno.
288         (decompose): Likewise.
289         (reg_overlap_mentioned_for_reload_p): Use END_HARD_REGNO.
290         (find_equiv_reg): Use in_hard_reg_set_p and end_hard_regno.
291         * reload1.c (compute_use_by_pseudos): Use add_to_hard_reg_set.
292         (mark_home_live): Use end_hard_regno.
293         (spill_hard_reg): Likewise.
294         (clear_reload_reg_in_use): Likewise.
295         * reorg.c (delete_prior_computation): Use END_REGNO.
296         * resource.c (update_live_status): Use END_HARD_REGNO.
297         (mark_referenced_resources): Use add_to_hard_reg_set.
298         (mark_set_resources): Likewise.
299         (mark_target_live_regs): Likewise.  Use remove_from_hard_reg_set.
300         * rtlanal.c (refers_to_regno_p): Use END_REGNO.
301         (reg_overlap_mentioned_p): Likewise.
302         (dead_or_set_p): Likewise.  Use an exclusive upper loop bound.
303         (covers_regno_no_parallel_p): Use END_REGNO.
304         (find_regno_note): Likewise.
305         (find_reg_fusage): Use END_HARD_REGNO.
306         * stmt.c (decl_overlaps_hard_reg_set_p): Use overlaps_hard_reg_set_p.
307         * var-tracking.c (emit_note_insn_var_location): Use end_hard_regno.
308
309 2007-05-22  Richard Sandiford  <rsandifo@nildram.co.uk>
310
311         * mode-switching.c (reg_dies): Change type of second argument to
312         "HARD_REG_SET *".
313         (optimize_mode_switching): Update accordingly.
314
315 2007-05-22  Richard Sandiford  <richard@codesourcery.com>
316
317         * hard-reg-set.h (GO_IF_HARD_REG_SUBSET, GO_IF_HARD_REG_EQUAL): Delete
318         in favor of...
319         (hard_reg_subset_p, hard_reg_sets_equal_p, hard_reg_sets_intersect_p)
320         (hard_reg_set_empty_p): ...these new functions.
321         * bt-load.c (choose_btr): Use hard_reg_subset_p instead of
322         GO_IF_HARD_REG_SUBSET.
323         * cfgcleanup.c (old_insns_match_p): Use hard_reg_sets_equal_p
324         instead of GO_IF_HARD_REG_EQUAL.
325         * df-problems.c (df_urec_local_compute): Use hard_reg_set_empty_p
326         instead of GO_IF_HARD_REG_EQUAL.
327         * global.c (find_reg): Use hard_reg_set_empty_p instead of
328         GO_IF_HARD_REG_SUBSET.
329         (modify_reg_pav): Use hard_reg_set_empty_p instead of
330         GO_IF_HARD_REG_EQUAL.
331         * local-alloc.c (find_free_reg): Use hard_reg_subset_p instead
332         of GO_IF_HARD_REG_SUBSET.
333         * reg-stack.c (change_stack, convert_regs_1): Use hard_reg_sets_equal_p
334         instead of GO_IF_HARD_REG_EQUAL.
335         * regclass.c (init_reg_sets_1, reg_scan_mark_refs): Use
336         hard_reg_subset_p instead of GO_IF_HARD_REG_SUBSET.
337         (reg_classes_intersect_p): Use hard_reg_sets_intersect_p instead
338         of GO_IF_HARD_REG_SUBSET,
339         * reload1.c (finish_spills): Use hard_reg_subset_p instead of
340         GO_IF_HARD_REG_SUBSET.
341         * struct-equiv.c (death_notes_match_p): Use hard_reg_sets_equal_p
342         instead of GO_IF_HARD_REG_EQUAL.
343         * config/sh/sh.c (push_regs, calc_live_regs): Use
344         hard_reg_sets_intersect_p instead of hard_regs_intersect_p.
345         (hard_regs_intersect_p): Delete.
346
347 2007-05-22  Janis Johnson  <janis187@us.ibm.com>
348
349         * doc/sourcebuild.texi (Test Directives) Add dg-message.
350
351 2007-05-22  H.J. Lu  <hongjiu.lu@intel.com>
352             Richard Henderson  <rth@redhat.com>
353
354         * config.gcc (i[34567]86-*-*): Add smmintrin.h to
355         extra_headers.
356         (x86_64-*-*): Likewise.
357
358         * i386/i386-modes.def (V2QI): New.
359
360         * config/i386/i386.c (ix86_handle_option): Handle SSE4.1 and
361         SSE4A.
362         (override_options): Support SSE4.1.
363         (IX86_BUILTIN_BLENDPD): New for SSE4.1.
364         (IX86_BUILTIN_BLENDPS): Likewise.
365         (IX86_BUILTIN_BLENDVPD): Likewise.
366         (IX86_BUILTIN_BLENDVPS): Likewise.
367         (IX86_BUILTIN_PBLENDVB128): Likewise.
368         (IX86_BUILTIN_PBLENDW128): Likewise.
369         (IX86_BUILTIN_DPPD): Likewise.
370         (IX86_BUILTIN_DPPS): Likewise.
371         (IX86_BUILTIN_INSERTPS128): Likewise.
372         (IX86_BUILTIN_MOVNTDQA): Likewise.
373         (IX86_BUILTIN_MPSADBW128): Likewise.
374         (IX86_BUILTIN_PACKUSDW128): Likewise.
375         (IX86_BUILTIN_PCMPEQQ): Likewise.
376         (IX86_BUILTIN_PHMINPOSUW128): Likewise.
377         (IX86_BUILTIN_PMAXSB128): Likewise.
378         (IX86_BUILTIN_PMAXSD128): Likewise.
379         (IX86_BUILTIN_PMAXUD128): Likewise.
380         (IX86_BUILTIN_PMAXUW128): Likewise.
381         (IX86_BUILTIN_PMINSB128): Likewise.
382         (IX86_BUILTIN_PMINSD128): Likewise.
383         (IX86_BUILTIN_PMINUD128): Likewise.
384         (IX86_BUILTIN_PMINUW128): Likewise.
385         (IX86_BUILTIN_PMOVSXBW128): Likewise.
386         (IX86_BUILTIN_PMOVSXBD128): Likewise.
387         (IX86_BUILTIN_PMOVSXBQ128): Likewise.
388         (IX86_BUILTIN_PMOVSXWD128): Likewise.
389         (IX86_BUILTIN_PMOVSXWQ128): Likewise.
390         (IX86_BUILTIN_PMOVSXDQ128): Likewise.
391         (IX86_BUILTIN_PMOVZXBW128): Likewise.
392         (IX86_BUILTIN_PMOVZXBD128): Likewise.
393         (IX86_BUILTIN_PMOVZXBQ128): Likewise.
394         (IX86_BUILTIN_PMOVZXWD128): Likewise.
395         (IX86_BUILTIN_PMOVZXWQ128): Likewise.
396         (IX86_BUILTIN_PMOVZXDQ128): Likewise.
397         (IX86_BUILTIN_PMULDQ128): Likewise.
398         (IX86_BUILTIN_PMULLD128): Likewise.
399         (IX86_BUILTIN_ROUNDPD): Likewise.
400         (IX86_BUILTIN_ROUNDPS): Likewise.
401         (IX86_BUILTIN_ROUNDSD): Likewise.
402         (IX86_BUILTIN_ROUNDSS): Likewise.
403         (IX86_BUILTIN_PTESTZ): Likewise.
404         (IX86_BUILTIN_PTESTC): Likewise.
405         (IX86_BUILTIN_PTESTNZC): Likewise.
406         (IX86_BUILTIN_VEC_EXT_V16QI): Likewise.
407         (IX86_BUILTIN_VEC_SET_V2DI): Likewise.
408         (IX86_BUILTIN_VEC_SET_V4SF): Likewise.
409         (IX86_BUILTIN_VEC_SET_V4SI): Likewise.
410         (IX86_BUILTIN_VEC_SET_V16QI): Likewise.
411         (bdesc_ptest): New.
412         (bdesc_sse_3arg): Likewise.
413         (bdesc_2arg): Likewise.
414         (bdesc_1arg): Likewise.
415         (ix86_init_mmx_sse_builtins): Support SSE4.1.  Handle SSE builtins
416         with 3 args.
417         (ix86_expand_sse_4_operands_builtin): New.
418         (ix86_expand_unop_builtin): Support 2 arg builtins with a constant
419         smaller than 8 bits as the 2nd arg.
420         (ix86_expand_sse_ptest): New.
421         (ix86_expand_builtin): Support SSE4.1. Support 3 arg SSE builtins.
422         (ix86_expand_vector_set): Support SSE4.1.
423         (ix86_expand_vector_extract): Likewise.
424
425         * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Define
426         __SSE4_1__ for -msse4.1.
427
428         * config/i386/i386.md (UNSPEC_BLENDV): New for SSE4.1.
429         (UNSPEC_INSERTPS): Likewise.
430         (UNSPEC_DP): Likewise.
431         (UNSPEC_MOVNTDQA): Likewise.
432         (UNSPEC_MPSADBW): Likewise.
433         (UNSPEC_PHMINPOSUW): Likewise.
434         (UNSPEC_PTEST): Likewise.
435         (UNSPEC_ROUNDP): Likewise.
436         (UNSPEC_ROUNDS): Likewise.
437
438         * config/i386/i386.opt (msse4.1): New for SSE4.1.
439
440         * config/i386/predicates.md (const_pow2_1_to_2_operand): New.
441         (const_pow2_1_to_32768_operand): Likewise.
442
443         * config/i386/smmintrin.h: New. The SSE4.1 intrinsic header
444         file.
445
446         * config/i386/sse.md (*vec_setv4sf_sse4_1): New pattern for
447         SSE4.1.
448         (sse4_1_insertps): Likewise.
449         (*sse4_1_extractps): Likewise.
450         (sse4_1_ptest): Likewise.
451         (sse4_1_mulv2siv2di3): Likewise.
452         (*sse4_1_mulv4si3): Likewise.
453         (*sse4_1_smax<mode>3): Likewise.
454         (*sse4_1_umax<mode>3): Likewise.
455         (*sse4_1_smin<mode>3): Likewise.
456         (*sse4_1_umin<mode>3): Likewise.
457         (sse4_1_eqv2di3): Likewise.
458         (*sse4_1_pinsrb): Likewise.
459         (*sse4_1_pinsrd): Likewise.
460         (*sse4_1_pinsrq): Likewise.
461         (*sse4_1_pextrb): Likewise.
462         (*sse4_1_pextrb_memory): Likewise.
463         (*sse4_1_pextrw_memory): Likewise.
464         (*sse4_1_pextrq): Likewise.
465         (sse4_1_blendpd): Likewise.
466         (sse4_1_blendps): Likewise.
467         (sse4_1_blendvpd): Likewise.
468         (sse4_1_blendvps): Likewise.
469         (sse4_1_dppd): Likewise.
470         (sse4_1_dpps): Likewise.
471         (sse4_1_movntdqa): Likewise.
472         (sse4_1_mpsadbw): Likewise.
473         (sse4_1_packusdw): Likewise.
474         (sse4_1_pblendvb): Likewise.
475         (sse4_1_pblendw): Likewise.
476         (sse4_1_phminposuw): Likewise.
477         (sse4_1_extendv8qiv8hi2): Likewise.
478         (*sse4_1_extendv8qiv8hi2): Likewise.
479         (sse4_1_extendv4qiv4si2): Likewise.
480         (*sse4_1_extendv4qiv4si2): Likewise.
481         (sse4_1_extendv2qiv2di2): Likewise.
482         (*sse4_1_extendv2qiv2di2): Likewise.
483         (sse4_1_extendv4hiv4si2): Likewise.
484         (*sse4_1_extendv4hiv4si2): Likewise.
485         (sse4_1_extendv2hiv2di2): Likewise.
486         (*sse4_1_extendv2hiv2di2): Likewise.
487         (sse4_1_extendv2siv2di2): Likewise.
488         (*sse4_1_extendv2siv2di2): Likewise.
489         (sse4_1_zero_extendv8qiv8hi2): Likewise.
490         (*sse4_1_zero_extendv8qiv8hi2): Likewise.
491         (sse4_1_zero_extendv4qiv4si2): Likewise.
492         (*sse4_1_zero_extendv4qiv4si2): Likewise.
493         (sse4_1_zero_extendv2qiv2di2): Likewise.
494         (*sse4_1_zero_extendv2qiv2di2): Likewise.
495         (sse4_1_zero_extendv4hiv4si2): Likewise.
496         (*sse4_1_zero_extendv4hiv4si2): Likewise.
497         (sse4_1_zero_extendv2hiv2di2): Likewise.
498         (*sse4_1_zero_extendv2hiv2di2): Likewise.
499         (sse4_1_zero_extendv2siv2di2): Likewise.
500         (*sse4_1_zero_extendv2siv2di2): Likewise.
501         (sse4_1_roundpd): Likewise.
502         (sse4_1_roundps): Likewise.
503         (sse4_1_roundsd): Likewise.
504         (sse4_1_roundss): Likewise.
505         (mulv4si3): Don't expand for SSE4.1.
506         (smax<mode>3): Likewise.
507         (umaxv4si3): Likewise.
508         (uminv16qi3): Likewise.
509         (umin<mode>3): Likewise.
510         (umaxv8hi3): Rewrite.  Only enabled for SSE4.1.
511
512         * doc/extend.texi: Document SSE4.1 built-in functions.
513
514         * doc/invoke.texi: Document -msse4.1.
515
516 2007-05-22  Nathan Sidwell  <nathan@codesourcery.com>
517
518         * config/m68k/linux.h (ASM_SPEC): Add asm_pcrel_spec.
519         * config/m68k/m68k-none.h (ASM_SPEC): Don't override here.
520         * config/m68k/m68k.h (ASM_PCREL_SPEC): New.
521         (ASM_SPEC): Add asm_pcrel_spec.
522         (EXTRA_SPECS): Add asm_pcrel_spec.
523
524 2007-05-21  David Daney  <ddaney@avtrex.com>
525
526         * doc/install.texi (Building a cross compiler): Add requirements
527         for Java cross compiler.
528
529 2007-05-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
530
531         PR middle-end/31995
532         * tree-chrec.c (evolution_function_is_affine_multivariate_p):
533         Add loopno argument.  Use evolution_function_is_invariant_rec_p
534         instead of evolution_function_is_constant_p.
535         Update calls to evolution_function_is_affine_multivariate_p.
536         * tree-chrec.h  (evolution_function_is_affine_multivariate_p):
537         Add loopno argument.
538         * tree-scalar-evolution.c (gather_chrec_stats): Call
539         evolution_function_is_affine_multivariate_p with a  loop
540         number of 0.
541         * tree-data-ref.c (analyze_miv_subscript): Likewise.
542         (analyze_overlapping_iterations): Likewise.
543         (access_functions_are_affine_or_constant_p):
544         Likewise.
545         (build_classic_dist_vector_1): If the access functions
546         are equal, don't do anything.
547
548 2007-05-21  Paolo Bonzini  <bonzini@gnu.org>
549             Paolo Carlini  <pcarlini@suse.de>
550             Uros Bizjak  <ubizjak@gmail.com>
551
552         * c-cppbuiltin.c (c_cpp_builtins): Define
553         __GCC_HAVE_SYNC_COMPARE_AND_SWAP_1, __GCC_HAVE_SYNC_COMPARE_AND_SWAP_2,
554         __GCC_HAVE_SYNC_COMPARE_AND_SWAP_4, __GCC_HAVE_SYNC_COMPARE_AND_SWAP_8,
555         __GCC_HAVE_SYNC_COMPARE_AND_SWAP_16, if appropriate.
556         * doc/cpp.texi ([Standard Predefined Macros]): Document.
557
558 2007-05-21  Mike Stump  <mrs@apple.com>
559
560         * config/darwin.h (LINK_COMMAND_SPEC): Add .cxx for dsymutil
561         handling as well.
562         * config/darwin9.h (LINK_COMMAND_SPEC): Likewise.
563
564 2007-05-21  Uros Bizjak  <ubizjak@gmail.com>
565
566         * config/i386/tmmintrin.h (_mm_alignr_epi8): Provide macro
567         implementation if __OPTIMIZE__ is not defined.
568         (_mm_alignr_pi8): Ditto.
569         * config/i386/ammintrin.h (_mm_extracti_si64): Ditto.
570         (_mm_inserti_si64): Ditto.
571         * config/i386/emmintrin.h (_mm_shuffle_pd): Ditto.
572         (_mm_slli_epi16): Ditto.
573         (_mm_slli_epi32): Ditto.
574         (_mm_slli_epi64): Ditto.
575         (_mm_srai_epi16): Ditto.
576         (_mm_srai_epi32): Ditto.
577         (_mm_srli_si128): Ditto.
578         (_mm_slli_si128): Ditto.
579         (_mm_srli_epi16): Ditto.
580         (_mm_srli_epi32): Ditto.
581         (_mm_srli_epi64): Ditto.
582         (_mm_extract_epi16): Ditto.
583         (_mm_insert_epi16): Ditto.
584         (_mm_shufflehi_epi16): Ditto.
585         (_mm_shufflelo_epi16): Ditto.
586         (_mm_shuffle_epi32): Ditto.
587         * config/i386/xmmintrin.h (_mm_extract_pi16): Ditto.
588         (_m_pextrw): Ditto.
589         (_mm_insert_pi16): Ditto.
590         (_m_pinsrw): Ditto.
591         (_mm_shuffle_pi16): Ditto.
592         (_m_pshufw): Ditto.
593         (_mm_shufle_ps): Ditto.
594         (_mm_prefetch): Ditto.
595
596 2007-05-21  Andreas Krebbel  <krebbel1@de.ibm.com>
597
598         * defaults.h (IBM_FLOAT_FORMAT): Macro definition removed.
599         * doc/tm.texi (IBM_FLOAT_FORMAT): Documentation entry removed.
600         * real.c (encode_i370_single, decode_i370_single,
601         encode_i370_double, decode_i370_double): Functions removed.
602         (i370_single_format, i370_double_format): Initializations removed.
603         (real_maxval, round_for_format, exact_real_truncate, significand_size):
604         Consider the log2_b field to always be one.
605         (ieee_single_format, mips_single_format, coldfire_single_format,
606         ieee_double_format, mips_double_format, coldfire_double_format,
607         ieee_extended_motorola_format, ieee_extended_intel_96_format,
608         ieee_extended_intel_128_format, ieee_extended_intel_96_round_53_format,
609         ibm_extended_format, mips_extended_format, ieee_quad_format,
610         mips_quad_format, vax_f_format, vax_d_format, vax_g_format,
611         decimal_single_format, decimal_double_format, decimal_quad_format,
612         c4x_single_format, c4x_extended_format, real_internal_format): Remove
613         initialization of log2_b.
614         * real.h (i370_single_format, i370_double_format): Declarations removed.
615         * c-cppbuiltin.c (builtin_define_float_constants): Consider the log2_b
616         field to always be one.
617
618 2007-05-21  Andreas Schwab  <schwab@suse.de>
619
620         * config/ia64/ia64.c (emit_predicate_relation_info): Fix use of
621         NOTE_INSN_BASIC_BLOCK_P.
622         (process_for_unwind_directive): Likewise.
623
624 2007-05-21  Nathan Sidwell  <nathan@codesourcery.com>
625
626         * builtins.c (expand_builtin_setjmp_setup): Update comment.
627         * function.h (struct function): Move va_list_gpr_size,
628         va_list_fpr_size, function_frequency to front of bitfields.  Add
629         calls_unwind_init.
630         (current_function_calls_unwind_init): New.
631         * except.c (expand_builtin_unwind_init): Set
632         current_function_calls_unwind_init not
633         current_function_has_nonlocal_label.
634         * reload1.c (has_nonexceptional_receiver): New.
635         (reload): Use it and current_function_calls_unwind_init to
636         determine whether call-saved regs must be saved.
637
638 2007-05-20  Jan Hubicka  <jh@suse.cz>
639
640         * gengtype.c (adjust_field_rtx_def): Use NOTE_KIND instead of
641         NOTE_LINE_NUMBER; use NOTE_INSN_BASIC_BLOCK_P when possible.
642         * ddg.c (create_ddg): LIkewise.
643         * final.c (final): Remove hunk moving line numbernotes around since
644         they are no longer present at this stage.
645         (final_scan_insn): Use NOTE_KIND instead of
646         NOTE_LINE_NUMBER; use NOTE_INSN_BASIC_BLOCK_P when possible.
647         (output_asm_label): Likewise.
648         * reorg.c (dbr_schedule): Likewise.
649         * haifa-sched.c (unlink_other_notes): Likewise.
650         * mode-switching.c (optimize_mode_switching): Likewise.
651         * graph.c (start_bb): Likewise.
652         * rtl.def (NOTE): Update description.
653         * jump.c (squeeze_notes): Delete.
654         (mark_jump_label): Use NOTE_KIND instead of NOTE_LINE_NUMBER; use
655         NOTE_INSN_BASIC_BLOCK_P when possible.
656         * ifcvt.c (dead_or_predicable): Remove call of squeeze_notes.
657         * dwarf2out.c (gen_label_die): Use NOTE_KIND instead of
658         NOTE_LINE_NUMBER; use NOTE_INSN_BASIC_BLOCK_P when possible.
659         (dwarf2out_var_location): Likewise.
660         * cfgbuild.c (make_edges): Likewise.
661         (find_basic_blocks_1): Likewise.
662         * function.c (reorder_blocks_1): Likewise.
663         (epilogue_done): Likewise.
664         (reposition_prologue_and_epilogue_notes): Likewise.
665         * print-rtl.c (print_rtx): Likewise; drop code for printing line number
666         notes.
667         (print_rtl): Likewise.
668         (print_rtl_single): Likewise.
669         * gcse.c (insert_insn_start_bb): Likewise.
670         * alias.c (init_alias_analysis): Likewise.
671         * calls.c (fixup_tail_calls): Likewise.
672         * except.c (sjlj_emit_function_enter): Likewise.
673         * emit-rtl.c (add_insn_after): Likeiwse.
674         (emit_label_before): Likewise.
675         (emit_label_after): Likewise.
676         (emit_note_before, emit_note_after, emit_note): Update
677         parameter to be enum insn_note; do not deal with source
678         files.
679         * cfgcleanup.c (merge_blocks_move_predecessor_nojumps):
680         Use NOTE_KIND instead of NOTE_LINE_NUMBER; use NOTE_INSN_BASIC_BLOCK_P
681         when possible.
682         (merge_blocks_move_successor_nojumps): Simplify now when
683         we don't have BLOCK notes.
684         (try_optimize_cfg): Likewise.
685         * cfglayout.c (skip_insns_after_block): Likewise.
686         (record_effective_endpoints): Likewise.
687         (duplicate_insn_chain): Likewise.
688         * varasm.c (output_constant_pool_1): Likewise.
689         * sched-deps.c (sched_analyze): Likewise.
690         * rtl.c (NOTE_INSN_MAX_isnt_negative_adjust_NOTE_INSN_BIAS):
691         Exterminate.
692         (note_insn_name): Simplify now when NOTE_INSN_BIAS is gone.
693         * rtl.h (NOTE_SOURCE_LOCATION, NOTE_EXPANDED_LOCATION): Exterminate.
694         (SET_INSN_DELETED): Simplify.
695         (NOTE_LINE_NUMBER): Exterminate.
696         (NOTE_LINE_KIND): New.
697         (NOTE_INSN_BASIC_BLOCK_P): Update.
698         (enum insn_note): Simplify.
699         (GET_NOTE_INSN_NAME) Simplify.
700         (emit_note_before, emit_note_after, emit_note): Update prototype.
701         (squeeze_notes): Remove.
702         * sched-int.h (NOTE_NOT_BB_P): Update.
703         * resource.c (mark_target_live_regs): Update.
704         * sched-rgn.c (debug_dependencies): Update.
705         * sched-vis.c (print_insn): Update.
706         * config/alpha/alpha.c (alpha_handle_trap_shadows): Update.
707         * config/i386/i386.c (ix86_output_function_epilogue): Update.
708         * config/sh/sh.c (sh_adjust_unroll_max): Function dead since gcc 4.0.0.
709         (TARGET_ADJUST_UNROLL_MAX): Likewise.
710         (split_branches): Update.
711         (sh_optimize_target_register_callee_saved): Remove hunk dead since gcc
712         4.0.0.
713         (sh_adjust_unroll_max): Exterminate.
714         * config/c4x/c4x.c (c4x_reorg): Use SET_INSN_DELETED.
715         * config/m68hc11/m68hc11.c (m68hc11_check_z_replacement): Likewise.
716         (m68hc11_reorg): Likewise.
717         * config/ia64/ia64.c (emit_insn_group_barriers): Update.
718         (emit_predicate_relation_info): Update.
719         (process_for_unwind_directive): Update.
720         * config/rs6000/rs6000.c (rs6000_output_function_epilogue): Update.
721         (output_call): Update.
722         * config/pa/pa.c (output_lbranch): Update.
723         (output_millicode_call): Update.
724         (output_call): Update.
725         (pa_combine_instructions): Update.
726         * config/mips/mips.c (mips16_gp_pseudo_reg): Update.
727         * config/bfin/bfin.c (gen_one_bundle): Update.
728         * cfgrtl.c (can_delete_note_p): Update.
729         (delete_insn): Update.
730         (rtl_merge_blocks): Update.
731         (commit_one_edge_insertion): Update.
732         (rtl_verify_flow_info): Update.
733         * stmt.c (expand_case): Do not call squeeze_notes.
734
735 2007-05-20  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
736         
737         PR middle-end/7651
738         PR c++/11856
739         PR c/12963
740         PR c/23587
741         PR other/29694
742         * c.opt (Wtype-limits): New.
743         * doc/invoke.texi (Wtype-limits): Document it.
744         (Wextra): Enabled by -Wextra.
745         * c-opts.c (c_common_post_options): Enabled by -Wextra.
746         * c-common.c (shorten_compare): Warn with Wtype-limits.
747
748 2007-05-20  Uros Bizjak  <ubizjak@gmail.com>
749
750         * config/i386/tmmintrin.h (_mm_alignr_epi32): Implement as always
751         inlined function, not as a macro.
752         (_mm_alignr_pi8): Ditto.
753         * config/i386/ammintrin.h (_mm_extracti_si64): Ditto.
754         (_mm_inserti_si64): Ditto.
755         * config/i386/emmintrin.h (_mm_shuffle_pd): Ditto.
756         (_mm_extract_epi16): Ditto.
757         (_mm_insert_epi16): Ditto.
758         (_mm_shufflehi_epi16): Ditto.
759         (_mm_shufflelo_epi16): Ditto.
760         (_mm_shuffle_epi32): Ditto.
761         * config/i386/xmmintrin.h (_mm_set_ss): Use 0.0f for float constant.
762         * config/386/mm3dnow.h: Add __attribute__((__always_inline__)) to
763         all functions.
764         (_m_from_float): Add __extension__ to conversion.  Use 0.0f for
765         float constant.
766         (_m_to_float): Use C89 compatible assignment.
767
768 2007-04-20  Martin Michlmayr  <tbm@cyrius.com>
769
770         PR target/32007
771         * config/arm/lib1funcs.asm: Define __ARM_ARCH__ on v2/v3 machines.
772
773 2007-05-20  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
774
775         PR middle-end/7651
776         * doc/invoke.texi (Wreturn-type): Complete description.
777         (Wextra): Delete item about return-type warning.
778         * c-decl.c: Delete redundant Wextra warning.
779         
780 2007-05-20  Uros Bizjak  <ubizjak@gmail.com>
781
782         PR target/31585
783         * config/i386/pmmintrin.h: Do not include xmmintrin.h
784         * config/i386/xmmintrin.h (_mm_extract_pi16): Implement as always
785         inlined function, not as a macro.
786         (_mm_prefetch): Ditto.
787         (_m_pextrw): Ditto.
788         (_mm_insert_pi16): Ditto.
789         (_m_pinsrw): Ditto.
790         (_mm_shuffle_pi16): Ditto.  Add const to __N argument.
791         (_m_pshufw): Ditto. Add const to __N argument.
792         (_mm_shufle_ps): Ditto.  Add const to __mask argument.
793         * config/i386/emmintrin.h (_mm_slli_epi16): Add const to __B argument.
794         (_mm_slli_epi32): Ditto.
795         (_mm_srli_si128): Implement as always inlined function, not as a macro.
796         Add __inline to function declaration.
797         (_mm_slli_si128): Ditto.
798
799 2007-05-19  Uros Bizjak  <ubizjak@gmail.com>
800
801         * config/i386/sfp-machine.h (FP_EX_INVALID, FP_EX_DENORM,
802         FP_EXP_DIVZERO, FP_EX_OVERFLOW, FP_EX_UNDERFLOW, FP_EX_INEXACT):
803         New constants.
804         (struct fenv): New structure.
805         (FP_HANDLE_EXCEPTIONS): New define.
806         (FP_RND_NEAREST, FP_RND_ZERO, FP_RND_PINF, FP_RND_MINF): New constants.
807         (_FP_DECL_EXP): New define.
808         (FP_INIT_ROUNDMODE): New define.
809         (FP_ROUNDMODE): New define.
810
811 2007-05-19  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
812
813         * doc/invoke.texi (Warning Options): Add -Wconversion-sign.
814         (Wconversion): Update description.
815         (Wconversion-sign): New.
816         * c.opt (Wconversion-sign): New.
817         * c-opts.c (c_common_post_options): Uninitialized Wconversion-sign
818         means disabled for C++. Otherwise, take the status of Wconversion.
819         * c-common.c (conversion_warning): Warn with either Wconversion or
820         Wconversion-sign.
821         (warnings_for_convert_and_check): Conditions are already checked by
822         conversion_warning.
823         (convert_and_check): Don't check warnings if the conversion failed.
824
825 2007-05-19 Andy Hutchinson <HutchinsonAndy@netscape.net>
826            Anatoly Sokolov <aesok@dol.ru>
827
828         * config/avr/avr-protos.h (expand_prologue, expand_epilogue, 
829         avr_epilogue_uses) : Add declaration.
830         * config/avr/predicates.md (avr_sp_immediate_operand): New predicate.
831         * config/avr/constraints.md (R): New constraint.
832         config/avr/avr.md (SREG_ADDR, UNSPEC_SEI, UNSPEC_CLI, 
833         UNSPECV_PROLOGUE_SAVES, UNSPECV_EPILOGUE_RESTORES): New constants.
834         (*pop1, *pop2, *pop3, *pop4, *pop5): Combine into ...
835         (*addhi3_sp_R_pc2, *addhi3_sp_R_pc3): ... these patterns.
836         (*movhi_sp, popqi, pophi, enable_interrupt, disable_interrupt, 
837         call_prologue_saves, epilogue_restores, return_from_epilogue,
838         return_from_main_epilogue, return_from_interrupt_epilogue, 
839         return_from_naked_epilogue, prologue, epilogue): New patterns.
840         (jump): Handle symbol reference.
841         * config/avr/avr.c (out_adj_frame_ptr, out_set_stack_ptr, 
842         avr_output_function_prologue, avr_output_function_epilogue): Remove 
843         functions.
844         (avr_init_machine_status, expand_prologue, expand_epilogue, 
845         avr_asm_function_end_prologue, avr_epilogue_uses, 
846         avr_asm_function_begin_epilogue): New functions.
847         (prologue_size, epilogue_size, jump_tables_size): Remove global 
848         variables.
849         (TARGET_ASM_FUNCTION_PROLOGUE, TARGET_ASM_FUNCTION_EPILOGUE): Remove.
850         (TARGET_ASM_FUNCTION_END_PROLOGUE): Define.
851         (TARGET_ASM_FUNCTION_BEGIN_EPILOGUE): Define.
852         (avr_override_options): Initialise init_machine_status.
853         (output_movhi): Handle all stack pointer loads.
854         (out_movqi_r_mr, out_movqi_mr_r): Handle SREG_ADDR address.
855         (avr_output_addr_vec_elt): Do not use variable jump_tables_size.
856         * config/avr/avr.h (AVR_2_BYTE_PC, AVR_3_BYTE_PC): New.
857         (EPILOGUE_USES) Redefine.
858         (machine_function) Declare.
859
860 2007-05-19  Richard Sandiford  <richard@codesourcery.com>
861
862         * config/mips/mips.c (mips_offset_within_alignment_p): Tweak comment.
863         Use a single return statement.
864
865 2007-05-19  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
866
867         PR middle-end/30250
868         * builtins.c (do_mpfr_lgamma_r): New.
869         (fold_builtin_2): Handle builtin gamma_r/lgamma_r.
870         * tree.h (CASE_FLT_FN_REENT): New.
871
872 2007-05-18  Geoffrey Keating  <geoffk@apple.com>
873
874         * dwarf2out.c (print_die): Use '%ld' not '%lu' to print a 'long'.
875         (output_die): Use 'unsigned long' with %x.
876         * sched-vis.c (print_value): Use 'unsigned HOST_WIDE_INT' and
877         HOST_WIDE_INT_PRINT_HEX to print HOST_WIDE_INT.
878         * tree-dump.c (dump_pointer): Use 'unsigned long' for %lx.
879
880         * unwind-dw2.c (uw_identify_context): Use the CFA, not the IP.
881
882 2007-05-18  H.J. Lu  <hongjiu.lu@intel.com>
883
884         PR target/31989
885         PR target/31681
886         PR target/31666
887         * config/i386/i386.c (init_cumulative_args): Set maybe_vaarg to
888         true if function has no argument.
889
890 2007-05-18  DJ Delorie  <dj@redhat.com>
891
892         * config/mips/mips.c (mips_offset_within_alignment_p): New.
893         (mips_symbolic_constant_p): Call it for TPREL and DTPREL symbols.
894
895 2007-05-18  Uros Bizjak  <ubizjak@gmail.com>
896
897         * longlong.h (__x86_64__): Add definitions for add_ssaaaa,
898         sub_ddmmss, umul_ppmm, udiv_qrnnd, count_leading_zeros and
899         count_trailing_zeros.
900         (__i386__): Implement count_leading_zeros using __builtin_clz().
901         Implement count_trailing_zeros usign __builtin_ctz().
902
903 2007-05-18  Richard Sandiford  <richard@codesourcery.com>
904
905         * config/i386/vxworks.h (ASM_PREFERRED_EH_DATA_FORMAT): Undefine.
906
907 2007-05-18  Uros Bizjak  <ubizjak@gmail.com>
908
909         PR middle-end/31344
910         * expr.c (emit_move_change_mode): Change mode of push operands here.
911
912 2007-05-17  Ian Lance Taylor  <iant@google.com>
913
914         PR tree-optimization/31953
915         * tree-vrp.c (set_value_range_to_value): Add equiv parameter.
916         Change all callers.
917         (set_value_range_to_null): Call set_value_range_to_value.
918         (extract_range_from_comparison): Likewise.
919
920 2007-05-17  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
921
922         * toplev.c (print_version): Output GMP/MPFR version info.
923
924         * builtins.c (CASE_MATHFN_REENT): New macro.
925         (mathfn_built_in): Use it.
926         * builtins.def (BUILT_IN_GAMMA_R, BUILT_IN_GAMMAF_R,
927         BUILT_IN_GAMMAL_R, BUILT_IN_LGAMMA_R, BUILT_IN_LGAMMAF_R,
928         BUILT_IN_LGAMMAL_R): New.
929         * doc/extend.texi: Document new builtins.
930
931         PR middle-end/31796
932         * builtins.c (do_mpfr_remquo): New.
933         (fold_builtin_2): Handle BUILT_IN_DREM/BUILT_IN_REMAINDER.
934         (fold_builtin_3): Handle BUILT_IN_REMQUO.
935
936         PR middle-end/30251
937         * builtins.c (fold_builtin_1): Handle y0, y1.
938         (fold_builtin_2): Handle yn.
939
940         PR middle-end/30251
941         * builtins.c (do_mpfr_bessel_n): New.
942         (fold_builtin_1): Handle BUILT_IN_J0 and BUILT_IN_J1.
943         (fold_builtin_2): Handle BUILT_IN_JN.
944
945 2007-05-17  Danny Smith  <dannysmith@users.sourceforge.net>
946
947         PR target/31965
948         * config/i386/mingw32.h (_INTEGRAL_MAX_BITS): Define builtin as
949         TYPE_PRECISION (intmax_type_node).
950
951 2007-05-17  Steve Ellcey  <sje@cup.hp.com>
952
953         PR target/31850
954         * reload.c (subst_reloads): Remove checking.
955
956 2007-05-17  Eric Botcazou  <ebotcazou@libertysurf.fr>
957
958         PR rtl-optimization/31691
959         * combine.c (simplify_set): Build a new src pattern instead of
960         substituting its operands in the COMPARE case.
961
962 2007-05-17  Zdenek Dvorak  <dvorakz@suse.cz>
963
964         * tree-vrp.c (finalize_jump_threads): Do not care about dominance info.
965         (execute_vrp): Preserve loops through jump threading.
966         * tree-ssa-threadupdate.c (thread_single_edge,
967         dbds_continue_enumeration_p, determine_bb_domination_status,
968         thread_through_loop_header): New functions.
969         (create_edge_and_update_destination_phis,
970         create_edge_and_update_destination_phis): Set loops for the new blocks.
971         (prune_undesirable_thread_requests): Removed.
972         (redirect_edges): Do not pretend that redirect_edge_and_branch can
973         create new blocks.
974         (thread_block): Do not call prune_undesirable_thread_requests.
975         Update loops.
976         (mark_threaded_blocks): Select edges to thread here.
977         (thread_through_all_blocks): Take may_peel_loop_headers argument.
978         Thread edges through loop headers independently.
979         * cfgloopmanip.c (create_preheader, mfb_keep_just): Export.
980         * tree-pass.h (TODO_mark_first_instance): New.
981         (first_pass_instance): Declare.
982         * cfghooks.c (duplicate_block): Put the block to the original loop
983         if copy is not specified.
984         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Preserve loops through
985         jump threading.  Pass may_peel_loop_headers to
986         thread_through_all_blocks according to first_pass_instance.
987         * cfgloop.h (create_preheader): Declare.
988         * tree-flow.h (thread_through_all_blocks): Declaration changed.
989         * basic-block.h (mfb_keep_just, mfb_kj_edge): Declare.
990         * passes.c (first_pass_instance): New variable.
991         (next_pass_1): Set TODO_mark_first_instance.
992         (execute_todo): Set first_pass_instance.
993
994 2007-05-17  Uros Bizjak  <ubizjak@gmail.com>
995
996         PR tree-optimization/24659
997         * optabs.h (enum optab_index): Add OTI_vec_unpacks_float_hi,
998         OTI_vec_unpacks_float_lo, OTI_vec_unpacku_float_hi,
999         OTI_vec_unpacku_float_lo, OTI_vec_pack_sfix_trunc and
1000         OTI_vec_pack_ufix_trunc.
1001         (vec_unpacks_float_hi_optab): Define new macro.
1002         (vec_unpacks_float_lo_optab): Ditto.
1003         (vec_unpacku_float_hi_optab): Ditto.
1004         (vec_unpacku_float_lo_optab): Ditto.
1005         (vec_pack_sfix_trunc_optab): Ditto.
1006         (vec_pack_ufix_trunc_optab): Ditto.
1007         * genopinit.c (optabs): Implement vec_unpack[s|u]_[hi|lo]_optab
1008         and vec_pack_[s|u]fix_trunc_optab using
1009         vec_unpack[s|u]_[hi\lo]_* and vec_pack_[u|s]fix_trunc_* patterns
1010         * tree-vectorizer.c (supportable_widening_operation): Handle
1011         FLOAT_EXPR and CONVERT_EXPR.  Update comment.
1012         (supportable_narrowing_operation): New function.
1013         * tree-vectorizer.h (supportable_narrowing_operation): Prototype.
1014         * tree-vect-transform.c (vectorizable_conversion): Handle
1015         (nunits_in == nunits_out / 2) and (nunits_out == nunits_in / 2) cases.
1016         (vect_gen_widened_results_half): Move before vectorizable_conversion.
1017         (vectorizable_type_demotion): Call supportable_narrowing_operation()
1018         to check for target support.
1019         * optabs.c (optab_for_tree_code) Return vec_unpack[s|u]_float_hi_optab
1020         for VEC_UNPACK_FLOAT_HI_EXPR, vec_unpack[s|u]_float_lo_optab
1021         for VEC_UNPACK_FLOAT_LO_EXPR and vec_pack_[u|s]fix_trunc_optab
1022         for VEC_PACK_FIX_TRUNC_EXPR.
1023         (expand_binop): Special case mode of the result for
1024         vec_pack_[u|s]fix_trunc_optab.
1025         (init_optabs): Initialize vec_unpack[s|u]_[hi|lo]_optab and
1026         vec_pack_[u|s]fix_trunc_optab.
1027
1028         * tree.def (VEC_UNPACK_FLOAT_HI_EXPR, VEC_UNPACK_FLOAT_LO_EXPR,
1029         VEC_PACK_FIX_TRUNC_EXPR): New tree codes.
1030         * tree-pretty-print.c (dump_generic_node): Handle
1031         VEC_UNPACK_FLOAT_HI_EXPR, VEC_UNPACK_FLOAT_LO_EXPR and
1032         VEC_PACK_FIX_TRUNC_EXPR.
1033         (op_prio): Ditto.
1034         * expr.c (expand_expr_real_1): Ditto.
1035         * tree-inline.c (estimate_num_insns_1): Ditto.
1036         * tree-vect-generic.c (expand_vector_operations_1): Ditto.
1037
1038         * config/i386/sse.md (vec_unpacks_float_hi_v8hi): New expander.
1039         (vec_unpacks_float_lo_v8hi): Ditto.
1040         (vec_unpacku_float_hi_v8hi): Ditto.
1041         (vec_unpacku_float_lo_v8hi): Ditto.
1042         (vec_unpacks_float_hi_v4si): Ditto.
1043         (vec_unpacks_float_lo_v4si): Ditto.
1044         (vec_pack_sfix_trunc_v2df): Ditto.
1045
1046         * doc/c-tree.texi (Expression trees) [VEC_UNPACK_FLOAT_HI_EXPR]:
1047         Document.
1048         [VEC_UNPACK_FLOAT_LO_EXPR]: Ditto.
1049         [VEC_PACK_FIX_TRUNC_EXPR]: Ditto.
1050         * doc/md.texi (Standard Names) [vec_pack_sfix_trunc]: Document.
1051         [vec_pack_ufix_trunc]: Ditto.
1052         [vec_unpacks_float_hi]: Ditto.
1053         [vec_unpacks_float_lo]: Ditto.
1054         [vec_unpacku_float_hi]: Ditto.
1055         [vec_unpacku_float_lo]: Ditto.
1056
1057 2007-05-16  Uros Bizjak  <ubizjak@gmail.com>
1058
1059         * soft-fp/README: Update for new files.
1060         * soft-fp/floattisf.c: New file.
1061         * soft-fp/floattidf.c: New file.
1062         * soft-fp/floattitf.c: New file.
1063         * soft-fp/floatuntisf.c: New file.
1064         * soft-fp/floatuntidf.c: New file.
1065         * soft-fp/floatuntitf.c: New file.
1066         * soft-fp/fixsfti.c: New file.
1067         * soft-fp/fixdfti.c: New file.
1068         * soft-fp/fixtfti.c: New file.
1069         * soft-fp/fixunssfti.c: New file.
1070         * soft-fp/fixunsdfti.c: New file.
1071         * soft-fp/fixunstfti.c: New file.
1072         * soft-fp/extendxftf.c: New file.
1073         * soft-fp/trunctfxf.c: New file.
1074
1075         * libgcc-std.ver (__extendxftf2): Added to GCC_4.3.0 section.
1076         (__trunctfxf2): Ditto.
1077
1078         * config/i386/libgcc-x86_64-glibc.ver (__addtf3, __divtf3, __eqtf2,
1079         __extenddftf2, __extendsftf2, __fixtfdi, __fixtfsi, __fixtfti,
1080         __fixunstfdi, __fixunstfsi, __fixunstfti, __floatditf, __floatsitf,
1081         __floattitf, __floatunditf, __floatunsitf, __floatuntitf, __getf2,
1082         __letf2, __multf3, __negtf2, __subtf3, __trunctfdf2, __trunctfsf2,
1083         __unordtf2): Exclude and add to GCC_4.3.0 section for x86_64 targets.
1084
1085         * config/i386/t-fprules-softfp64: New file.
1086         * config/i386/sfp-machine.h: New file.
1087         * config.gcc (x86_64-*-linux*, x86_64-*-kfreebsd*-gnu,
1088         x86_64-*-knetbsd*-gnu): Add i386/t-fprules-softfp64
1089         and soft-fp/t-softfp to tmake_file.
1090         (i[34567]86-*-linux*, i[34567]86-*-kfreebsd*-gnu,
1091         i[34567]86-*-knetbsd*-gnu): Ditto for --enable-targets=all.
1092         
1093         * config/i386/t-linux64 (softfp_wrap_start): New.
1094         (softfp_wrap_end): New.
1095         * config/i386/i386.c (ix86_scalar_mode_supported): TFmode is
1096         supported for TARGET_64BIT.
1097
1098 2007-05-16  Rafael Avila de Espindola  <espindola@google.com>
1099
1100         * c-common.c (c_common_signed_or_unsigned_type): Emulate 
1101         c_common_unsigned_type behavior.
1102
1103 2007-05-16  Paolo Bonzini  <bonzini@gnu.org>
1104
1105         * config/i386/i386.c (legitimize_tls_address): Mark __tls_get_addr
1106         calls as pure.
1107
1108 2007-05-16  Eric Christopher  <echristo@apple.com>
1109
1110         * config/rs6000/rs6000.c (rs6000_emit_prologue): Move altivec register
1111         saving after stack push. Set sp_offset whenever we push.
1112         (rs6000_emit_epilogue): Move altivec register restore before
1113         stack push.
1114
1115 2007-05-16  Richard Sandiford  <richard@codesourcery.com>
1116
1117         * configure.ac: Allow sysroots to be relocated under $prefix as
1118         well as $exec_prefix.
1119         * configure: Regenerate.
1120
1121 2007-05-16  Richard Sandiford  <richard@codesourcery.com>
1122
1123         Revert:
1124
1125         2007-05-12  Richard Sandiford  <richard@codesourcery.com>
1126
1127         * configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
1128         (gcc_tooldir): Likewise.
1129         * configure: Regenerate.
1130         * Makefile.in (libsubdir_to_prefix): New variable, based on the
1131         old configure.ac gcc_tooldir setting.
1132         (prefix_to_exec_prefix): New variable.
1133         (DRIVER_DEFINES): Use $(libsubdir_to_prefix)$(prefix_to_exec_prefix)
1134         rather than $(unlibsubdir)/../ to derive TOOLDIR_BASE_PREFIX.
1135
1136 2007-05-14  Janis Johnson  <janis187@us.ibm.com>
1137
1138         * c-typeck.c (build_binary_op): Return early for error.
1139
1140 2007-05-15  Zdenek Dvorak  <dvorakz@suse.cz>
1141
1142         * tree-ssa-loop-niter.c (record_estimate): Use GGC_NEW to allocate
1143         struct nb_iter_bound.
1144         (free_numbers_of_iterations_estimates_loop): Use ggc_free.
1145         * gengtype.c (open_base_files): Add cfhloop.h to the list of includes.
1146         * cfgloopmanip.c (place_new_loop): Vector larray is gc-allocated.
1147         * tree-scalar-evolution.c: Include gt-tree-scalar-evolution.h.
1148         (struct scev_info_str, scalar_evolution_info): Add GTY markers.
1149         (new_scev_info_str): Use GGC_NEW to allocate struct scev_info_str.
1150         (del_scev_info): Use ggc_free.
1151         (scev_initialize): Allocate scalar_evolution_info in gc memory.
1152         * loop-init.c: Include ggc.h.
1153         (loop_optimizer_init): Use GGC_CNEW to allocate struct loops.
1154         (loop_optimizer_finalize): Use ggc_free.
1155         * tree-ssa-loop.c (pass_tree_unswitch, pass_vectorize,
1156         pass_linear_transfom, pass_empty_loop, pass_complete_unroll,
1157         pass_iv_optimize): Add TODO_ggc_collect.
1158         * function.h (struct function): Remove skip marker from x_current_loops.
1159         * cfgloop.c: Include ggc.h.
1160         (flow_loops_free, flow_loop_free): Free the loop descriptions in gc
1161         memory.
1162         (establish_preds): Vector superloops is gc allocated.
1163         (alloc_loop): Allocate loop using GGC_CNEW.  Allocate head of
1164         loop->exits list.
1165         (flow_loops_find): Vector larray is gc allocated.
1166         (loop_exit_free): Use ggc_free.
1167         (rescan_loop_exit): Use GGC_NEW to allocate struct loop_exit.  Reflect
1168         that head of exits list is now not a part of struct loop.
1169         (record_loop_exits): Allocate exits table in gc memory.
1170         (get_loop_exit_edges, verify_loop_structure, single_exit): Reflect that
1171         head of exits list is now not a part of struct loop.
1172         * cfgloop.h (struct lpt_decision, struct nb_iter_bound,
1173         struct loop_exit): Add GTY marker.
1174         (struct loop): Add GTY marker.  Make superloops vector gc allocated.
1175         Add skip marker to aux field.  Make head of exits list a separate
1176         object.
1177         (struct loops): Add GTY marker.  Make larray vector gc allocated.
1178         Add param marker to exits table.
1179         (get_loops): Type changed.
1180         * Makefile.in (tree-scalar-evolution.o): Add gt-tree-scalar-evolution.h
1181         dependency.
1182         (cfgloop.o, loop-init.o): Add ggc.h dependency.
1183         (GTFILES): Add cfgloop.h and tree-scalar-evolution.c.
1184         * basic-block.h (struct basic_block_def): Remove skip marker from
1185         loop_father field.
1186
1187 2007-05-14  Uros Bizjak  <ubizjak@gmail.com>
1188
1189         * builtins.c (expand_builtin_mathfn): Use EXPAND_NORMAL instead
1190         of 0 in the call to expand_expr().
1191         (expand_builtin_mathfn_3): Ditto.
1192         (expand_builtin_interclass_mathfn): Ditto.
1193         (expand_builtin_cexpi): Ditto.
1194         (expand_builtin_int_roundingfn): Ditto.
1195         (expand_builtin_int_roundingfn_2): Ditto.
1196         (expand_builtin_pow): Ditto.
1197         (expand_builtin_powi): Ditto.
1198         (expand_builtin_bswap): Ditto.
1199         (expand_builtin_unop): Ditto.
1200         (expand_builtin_fabs): Ditto.
1201         (get_builtin_sync_mem): Use NULL_RTX instead of NULL in
1202         the call to expand_expr().
1203         (expand_builtin_sync_operation): Ditto.
1204         (expand_builtin_compare_and_swap): Ditto.
1205         (expand_builtin_lock_test_and_set): Ditto.
1206         * except.c (expand_builtin_eh_return_data_regno): Use EXPAND_NORMAL
1207         instead of 0 in the call to expand_expr().
1208         (expand_builtin_extract_return_addr): Ditto.
1209         (expand_builtin_eh_return): Ditto.
1210         (expand_eh_return): Ditto.
1211         * explow.c (expr_size): Ditto.
1212         * expr.c (optimize_bitfield_assignment_op): Ditto.
1213         (expand_assignement): Ditto.
1214         (store_expr): Ditto.
1215         (store_field): Ditto.
1216         (expand_expr_addr_expr_1): Use NULL_RTX instead of NULL in
1217         the call to expand_expr().
1218         (expand_expr_real_1) [COMPLEX_CST]: Use EXPAND_NORMAL instead of 0
1219         in the call to expand_expr().
1220         [CONSTRUCTOR, PLUS_EXPR, MINUS_EXPR, NEGATE_EXPR, ABS_EXPR,
1221         BIT_NOT_EXPR, LSHIFT_EXPR, LT_EXPR, TRUTH_NOT_EXPR]: Ditto.
1222         [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO]: Use expand_normal() instead
1223         of expand_expr().
1224         * optabs.c (expand_vec_shift_expr): Ditto.
1225         (expand_vec_cond_expr): Ditto.
1226         (vector_compare_rtx): Use EXPAND_STACK_PARM instead of 1 in the
1227         call to expand_expr().
1228         * stmt.c (expand_return): Use EXPAND_NORMAL instead of 0
1229         in the call to expand_expr().
1230
1231 2007-05-14  Dave Korn  <dave.korn@artimi.com>
1232
1233         * genautomata.c (gen_regexp_el):  Allocate correct size for regexp.
1234
1235 2007-05-14  Rafael Avila de Espindola  <espindola@google.com>
1236
1237         * c-common.c (warnings_for_convert_and_check): Use unsigned_type_for
1238         instead of c_common_unsigned_type.
1239         (c_common_unsigned_type): Remove.
1240         (shorten_compare): Use c_common_signed_or_unsigned_type instead of
1241         c_common_unsigned_type.
1242         (c_common_nodes_and_builtins): Use unsigned_type_for instead of
1243         c_common_unsigned_type.
1244         * c-common.h (c_common_unsigned_type): Remove.
1245         * c-decl.c (grokdeclarator): Use unsigned_type_for instead of
1246         c_common_unsigned_type.
1247         * c-format.c (check_format_types): Use unsigned_type_for instead of
1248         c_common_unsigned_type.
1249         * c-objc-common.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
1250         * c-typeck.c (convert_for_assignment): Use unsigned_type_for instead of
1251         c_common_unsigned_type.
1252         * convert.c (convert_to_integer): Use unsigned_type_for instead of
1253         lang_hooks.types.unsigned_type.
1254         * expmed.c (make_tree): Use unsigned_type_for instead of
1255         lang_hooks.types.unsigned_type.
1256         * fold-const.c (fold_negate_expr): Use unsigned_type_for instead of
1257         lang_hooks.types.unsigned_type.
1258         (build_range_check): Likewise.
1259         (fold_unary): Likewise.
1260         (fold_binary): Likewise.
1261         (fold_ternary): Likewise.
1262         * langhooks-def.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
1263         * langhooks.h (lang_hooks_for_types): Remove unsigned_type.
1264         * tree.c (get_unsigned_type): New.
1265         (unsigned_type_for): Use get_unsigned_type instead of
1266         lang_hooks.types.unsigned_type.
1267
1268 2007-05-14  Kazu Hirata  <kazu@codesourcery.com>
1269
1270         * config/m68k/m68k-protos.h: Rename m68k_interrupt_function_p
1271         to m68k_get_function_kind.  Update its prototype.
1272         * config/m68k/m68k.c (m68k_attribute_table): Add an entry for
1273         interrupt_thread.
1274         (m68k_interrupt_function_p): Return enum m68k_function_type
1275         instead of bool.  Rename to m68k_get_function_kind.
1276         (m68k_handle_fndecl_attribute): Reject interrupt_thread if the
1277         target is not fido.
1278         (m68k_compute_frame_layout): Don't mark any register for save
1279         if an interrupt_thread attribute is specified.
1280         (m68k_hard_regno_rename_ok): Update a use of
1281         m68k_interrupt_function_p.
1282         * config/m68k/m68k.h (EPILOGUE_USES): Update a use of
1283         m68k_interrupt_function_p.
1284         (m68k_function_type): New.
1285         * config/m68k/m68k.md (*return): Output a 'sleep' instruction
1286         for a function with an interrupt_thread attribute.
1287         * doc/extend.texi: Document the interrupt_thread attribute.
1288
1289 2007-05-13  Daniel Berlin  <dberlin@dberlin.org>
1290
1291         Fix PR tree-optimization/31911
1292         * tree-ssa-pre.c (phi_translate): Make sure to cache results even
1293         if they didn't change the expression.
1294
1295 2007-05-13  Zdenek Dvorak  <dvorakz@suse.cz>
1296
1297         * tree-scalar-evolution.c (resolve_mixers): Exported.
1298         * tree-scalar-evolution.h (resolve_mixers): Declare.
1299         * tree-data-ref.c (object_analysis, ptr_decl_may_alias_p,
1300         ptr_ptr_may_alias_p, may_alias_p, record_ptr_differ_p,
1301         record_record_differ_p, record_array_differ_p, array_ptr_differ_p,
1302         base_object_differ_p, base_addr_differ_p, analyze_array_indexes,
1303         init_array_ref, init_pointer_ref, analyze_indirect_ref,
1304         strip_conversion, analyze_offset_expr, address_analysis,
1305         object_analysis, analyze_offset): Removed.
1306         (dr_analyze_innermost, dr_analyze_indices, dr_analyze_alias,
1307         split_constant_offset, canonicalize_base_object_address,
1308         object_address_invariant_in_loop_p, disjoint_objects_p,
1309         dr_may_alias_p, dr_address_invariant_p): New functions.
1310         (create_data_ref): Use dr_analyze_innermost, dr_analyze_indices
1311         and dr_analyze_alias.
1312         (initialize_data_dependence_relation): Use dr_may_alias_p
1313         and object_address_invariant_in_loop_p.
1314         (compute_self_dependence): Handle the case when DDR_ARE_DEPENDENT (ddr)
1315         is chrec_dont_know.
1316         (find_data_references_in_stmt): Restrict the analysis of data references
1317         to the given loop nest.
1318         (find_data_references_in_loop): Made static.  Pass loop nest to
1319         find_data_references_in_stmt.
1320         (compute_data_dependences_for_loop): Use DR_VOPS.
1321         (free_data_ref): Free DR_VOPS.
1322         * tree-data-ref.h (struct first_location_in_loop): Replaced by ...
1323         (struct innermost_loop_behavior): ... new.
1324         (struct base_object_info): Replaced by ...
1325         (struct indices): ... new.
1326         (struct dr_alias): New.
1327         (enum data_ref_type): Removed.
1328         (struct data_reference): Consist of struct innermost_loop_behavior,
1329         struct indices and struct dr_alias.
1330         (DR_SET_ACCESS_FNS, DR_FREE_ACCESS_FNS): Removed.
1331         (DR_MEMTAG): Renamed to ...
1332         (DR_SYMBOL_TAG): ... this.
1333         (find_data_references_in_loop): Declaration removed.
1334         * tree-vect-analyze.c (vect_compute_data_ref_alignment): Use DR_INIT
1335         instead of DR_OFFSET_MISALIGNMENT.  DR_ALIGNED_TO is never NULL.
1336         (vect_analyze_data_refs): Use DR_SYMBOL_TAG instead of DR_MEMTAG.
1337         * tree-vect-transform.c (vect_create_data_ref_ptr): Ditto.
1338
1339 2007-05-13  Revital Eres  <eres@il.ibm.com>
1340
1341         * tree-ssa-dse.c (get_use_of_stmt_lhs): New function
1342         which walks virtual def-use chains to find redundant stores.
1343         (dse_optimize_stmt): Call it.
1344
1345 2007-05-12  Steven Bosscher  <steven@gcc.gnu.org>
1346
1347         * gcse.c (gcse_main): Do jump bypassing in CPROP2.
1348         * passes.c (init_optimization_passes): Move pass_jump_bypass
1349         after loop2.
1350
1351         * basic-block.h (bb_has_eh_pred): Fix style issue.
1352
1353 2007-05-12  Steven Bosscher  <steven@gcc.gnu.org>
1354
1355         PR rtl-optimization/31848
1356         * loop-invariant.c (move_invariant_reg): If we move an insn
1357         with a REG_EQUAL note, and that insn is not always executed,
1358         remove the REG_EQUAL note.
1359
1360 2007-05-12  Richard Guenther  <rguenther@suse.de>
1361
1362         PR tree-optimization/31797
1363         * tree-ssa-forwprop.c (forward_propagate_addr_expr): Do not
1364         propagate into a stmt that has volatile ops.
1365
1366 2007-05-12  Richard Sandiford  <richard@codesourcery.com>
1367
1368         * configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
1369         (gcc_tooldir): Likewise.
1370         * configure: Regenerate.
1371         * Makefile.in (libsubdir_to_prefix): New variable, based on the
1372         old configure.ac gcc_tooldir setting.
1373         (prefix_to_exec_prefix): New variable.
1374         (DRIVER_DEFINES): Use $(libsubdir_to_prefix)$(prefix_to_exec_prefix)
1375         rather than $(unlibsubdir)/../ to derive TOOLDIR_BASE_PREFIX.
1376
1377 2007-05-11  Silvius Rus  <rus@google.com>
1378
1379         * Makefile.in (OBJS-common): Add tree-ssa-alias-warnings.o.
1380         * c-common.c (strict_aliasing_warning): Modify -Wstrict-aliasing logic.
1381         * c-common.h (strict_aliasing_warning): Change return type.
1382         * c-opts.c (c_common_handle_option): Add call to set_Wstrict_aliasing.
1383         * c-typeck.c (build_indirect_ref): Add call to strict_aliasing_warning.
1384         (build_c_cast): Condition call to strict_aliasing_warning.
1385         * doc/invoke.texi: Update description of -Wstrict-aliasing[=n].
1386         * flags.h (set_Wstrict_aliasing): Declare.
1387         * opts.c (set_Wstrict_alising): Define, add call to.
1388         * tree-flow.h (strict_aliasing_warning_backend): Declare.
1389         * tree-ssa-alias-warnings.c: New file.
1390         * tree-ssa-alias.c (compute_may_aliases): Add call to
1391         strict_aliasing_warning_backend.
1392
1393 2007-05-11  Zdenek Dvorak  <dvorakz@suse.cz>
1394
1395         * tree-loop-linear.c (gather_interchange_stats, try_interchange_loops):
1396         Use loop_depth and loop_outer accessor functions.
1397         * tree-ssa-loop-im.c (outermost_invariant_loop, set_level,
1398         determine_invariantness_stmt, move_computations_stmt): Ditto.
1399         * cfgloopmanip.c (fix_bb_placement, fix_loop_placement, remove_path,
1400         add_loop, loopify, unloop, fix_loop_structure): Ditto.
1401         * tree-ssa-loop-manip.c (find_uses_to_rename_use): Ditto.
1402         * tree-scalar-evolution.c (interpret_loop_phi,
1403         compute_scalar_evolution_in_loop, analyze_scalar_evolution_in_loop,
1404         instantiate_parameters_1, scev_const_prop): Ditto.
1405         * cfghooks.c (make_forwarder_block): Ditto.
1406         * cfgloopanal.c (mark_irreducible_loops, mark_loop_exit_edges): Ditto.
1407         * modulo-sched.c (loop_canon_p): Ditto.
1408         * tree-vectorizer.c (slpeel_tree_duplicate_loop_to_edge_cfg,
1409         slpeel_can_duplicate_loop_p): Ditto.
1410         * lambda-code.c (invariant_in_loop_and_outer_loops): Ditto.
1411         * tree-cfg.c (tree_duplicate_sese_region): Ditto.
1412         * cfgloop.c (flow_loop_dump, flow_loop_nodes_find, rescan_loop_exit,
1413         cancel_loop, verify_loop_structure): Ditto.
1414         (flow_loop_nested_p, superloop_at_depth, flow_loop_free,
1415         add_bb_to_loop, remove_bb_from_loops, find_common_loop): Use the
1416         superloops vector instead of "pred" array.
1417         (establish_preds): Take father loop as an argument.  Initialize the
1418         superloops vector.
1419         (flow_loop_tree_node_add): Pass father loop to establish_preds.  Do not
1420         initialize loop->outer.
1421         (flow_loop_tree_node_remove): Truncate the superloops vector.
1422         * cfgloop.h (struct loop): Removed field "outer", fields "depth" and
1423         "pred" merged to "superloops" vector.
1424         (loop_depth, loop_outer): New.
1425         (fel_init): Use loop_outer.
1426
1427 2007-05-11  Jan Hubicka  <jh@suse.cz>
1428
1429         * cgraphunit.c: Include gt-cgraphunit.h
1430         (static_ctors, static_dtors): New static vars.
1431         (record_cdtor_fn, build_cdtor, cgraph_build_cdtor_fns): New functions,
1432         based on implementation in c-common.c
1433         (cgraph_finalize_function): Call record_cdtor_fn.
1434         (cgraph_optimize): Call cgraph_build_cdtor_fns.
1435         * decl.c (finish_function): Do not call c_record_cdtor_fn.
1436         (c_write_global_declarations): Do not call c_build_cdtor_fns.
1437         * c-common.c (static_ctors, static_dtors, c_record_cdtor_fn,
1438         build_cdtor, c_build_cdtor_fns): Remove.
1439         * c-common.h (static_ctors, static_dtors, c_record_cdtor_fn,
1440         c_build_cdtor_fns): Remove prototype.
1441
1442 2007-05-11  Paolo Carlini  <pcarlini@suse.de>
1443
1444         PR other/31852
1445         * builtin-types.def: Add BT_FN_PTR_CONST_PTR_INT_SIZE.
1446         * builtins.def: Add BUILT_IN_MEMCHR, use the latter.
1447         * builtins.c (fold_builtin_memchr): New.
1448         (expand_builtin_memchr): Call the latter.
1449         (expand_builtin, fold_builtin_3): Deal with BUILT_IN_MEMCHR.
1450         * doc/extend.texi ([Other built-in functions provided by GCC]):
1451         Document memchr.
1452
1453 2007-05-11  Andreas Krebbel  <krebbel1@de.ibm.com>
1454
1455         * config/s390/s390.md (GPR0_REGNUM, FPR0_REGNUM, FPR2_REGNUM,
1456         PFPO_CONVERT, PFPO_OP_TYPE_SF, PFPO_OP_TYPE_DF, PFPO_OP_TYPE_TF,
1457         PFPO_OP_TYPE_SD, PFPO_OP_TYPE_DD, PFPO_OP_TYPE_TD, PFPO_OP0_TYPE_SHIFT,
1458         PFPO_OP1_TYPE_SHIFT): Constants added.
1459         (DFP_ALL): Mode macro defined.
1460         ("*trunc<BFP:mode><DFP_ALL:mode>2", "*trunc<DFP_ALL:mode><BFP:mode>2",
1461         "*extend<BFP:mode><DFP_ALL:mode>2", "*extend<DFP_ALL:mode><BFP:mode>2"):
1462         Insn definitions added.
1463         ("trunc<BFP:mode><DFP_ALL:mode>2", "trunc<DFP_ALL:mode><BFP:mode>2",
1464         "extend<BFP:mode><DFP_ALL:mode>2", "extend<DFP_ALL:mode><BFP:mode>2"):
1465         Expanders added.
1466
1467 2007-05-10  Zdenek Dvorak  <dvorakz@suse.cz>
1468
1469         PR tree-optimization/31885
1470         * tree-chrec.c (chrec_contains_undetermined): Do not consider NULL_TREE
1471         to be undetermined.
1472         (automatically_generated_chrec_p): Return false for NULL.
1473
1474 2007-05-08  Bernd Schmidt  <bernd.schmidt@analog.com>
1475
1476         * config/bfin/bfin.h (MOVE_RATIO): Define.
1477
1478 2007-05-10  Richard Sandiford  <richard@codesourcery.com>
1479
1480         * config.gcc (sparc-wrs-vxworks): New target.
1481         * config/sparc/vxworks.h, config/sparc/t-vxworks: New files.
1482         * config/sparc/sparc-protos.h (sparc_emit_call_insn): Declare.
1483         * config/sparc/sparc.h: Include vxworks-dummy.h.
1484         (PRINT_OPERAND_ADDRESS): Extend SYMBOL_REF handling to
1485         include LABEL_REFs too.
1486         * config/sparc/sparc.c (sparc_expand_move): Don't assume that
1487         _GLOBAL_OFFSET_TABLE_ - label_ref is a link-time constant on
1488         VxWorks.
1489         (legitimize_pic_address): Handle LABEL_REFs like SYMBOL_REFs
1490         on VxWorks.
1491         (load_pic_register): Use gen_vxworks_load_got for VxWorks.
1492         (sparc_emit_call_insn): New function.
1493         (sparc_function_ok_for_sibcall): Restrict sibcalls to locally-binding
1494         functions when generating VxWorks PIC.
1495         * config/sparc/sparc.md (vxworks_load_got): New pattern.
1496         (call, call_value): Use sparc_emit_call_insn instead of
1497         emit_call_insn.
1498
1499 2007-05-09  Bob Wilson  <bob.wilson@acm.org>
1500
1501         * config/xtensa/xtensa.c (xtensa_output_literal): Don't use #if.
1502
1503 2007-05-09  Bob Wilson  <bob.wilson@acm.org>
1504
1505         * config/xtensa/xtensa.c (xtensa_output_literal): Mask out high bits
1506         for floating-point values if HOST_BITS_PER_LONG > 32.  Use split_double
1507         instead of operand_subword.
1508
1509 2007-05-08  Bernd Schmidt  <bernd.schmidt@analog.com>
1510
1511         * config/bfin/bfin.h (LOCAL_ALIGNMENT): Define.
1512         * config/bfin/bfin.c (bfin_local_alignment): New function.
1513         * config/bfin/bfin-protos.h (bfin_local_alignment): Declare it.
1514
1515 2007-05-08  Chao-ying Fu  <fu@mips.com>
1516
1517         * doc/md.texi (msub@var{m}@var{n}4, usub@var{m}@var{n}4): Document.
1518         * optabs.h (OTI_smsub_widen, OTI_umsub_widen): New optab_indexes.
1519         (smsub_widen_optab, umsub_widen_optab): Define.
1520         * optabs.c (init_optabs): Initialize smsub_widen_optab and
1521         umsub_widen_optab.
1522         * genopinit.c (optabs): Fill in smsub_widen_optab and
1523         umsub_widen_optab.
1524         * expr.c (expand_expr_real_1): Try to use smsub_widen_optab
1525         and umsub_widen_optab to implement multiply-subtract sequences.
1526         * config/mips/mips.md (*msac<u>_di): Rename to...
1527         (<u>msubsidi4): ...this.  Extend condition to include
1528         GENERATE_MADD_MSUB and TARGET_DSPR2.  Change the constraint
1529         of operand 0 to "ka" and use the three-operand form of msub<u>
1530         for TARGET_DSPR2.
1531         * config/mips/mips-dspr2.md (mips_msub, mips_msubu): Convert
1532         to define_expands.
1533
1534 2007-05-08  Kaz Kojima  <kkojima@gcc.gnu.org>
1535
1536         PR rtl-optimization/28011
1537         * reload.c (push_reload): Set dont_share if IN appears in OUT
1538         also when IN is a PLUS rtx.
1539         (reg_overlap_mentioned_for_reload_p): Return true if X and IN
1540         are same PLUS rtx.
1541
1542 2007-05-08  Kazu Hirata  <kazu@codesourcery.com>
1543
1544         * emit-rtl.c (unshare_all_rtl_1): Don't copy DECL_RTL.  Don't
1545         call unshare_all_decls.
1546         (unshare_all_rtl): Adjust the call to unshare_all_rtl_1.
1547         (unshare_all_decls): Remove.
1548
1549 2007-05-08  Simon Martin  <simartin@users.sourceforge.net>
1550
1551         PR 31847
1552         * tree-dump.c (dump_options): Don't use TDF_DIAGNOSTIC in "*-all" tree
1553         dumps.
1554
1555 2007-05-08  Sandra Loosemore  <sandra@codesourcery.com>
1556             Nigel Stephens  <nigel@mips.com>
1557
1558         * config/mips/mips.h (MAX_FPRS_PER_FMT): Renamed from FP_INC.
1559         Update comments and all uses.
1560         (MIN_FPRS_PER_FMT): Define.
1561         * config/mips/mips.c (function_arg): Fix to correctly handle
1562         the -mips32r2 -mfp64 -mabi=32 case.
1563         (override_options): Enable use of odd-numbered registers for
1564         SFmode values on MIPS32.
1565         (mips_save_reg_p): Save whole floating-point register pair if
1566         either half is used.
1567         (compute_frame_size): Fix comment.
1568
1569 2007-05-08  Jie Zhang  <jie.zhang@analog.com>
1570
1571         * config/bfin/bfin-protos.h (bfin_expand_epilogue): Add a third
1572         argument of type bool.
1573         * config/bfin/bfin.c (add_to_reg): Add epilogue_p as a fourth
1574         argument. Safely select temporary P register according to it.
1575         (do_link): Change call site of add_to_reg accordingly.
1576         (do_unlink): Add epilogue_p as a fourth argument and pass it
1577         to add_to_reg.
1578         (expand_interrupt_handler_epilogue): Change call of do_unlink
1579         accordingly.
1580         (bfin_expand_prologue): Add a third argument sibcall_p.
1581         * config/bfin/bfin.md (epilogue): Change call of
1582         bfin_expand_epilogue accordingly.
1583         (sibcall_epilogue): Likewise.
1584         (eh_return_internal): Likewise.
1585
1586         * config/bfin/bfin-protos.h (enum bfin_cpu): Add
1587         BFIN_CPU_BF534, BFIN_CPU_BF536 and BFIN_CPU_BF561.
1588         * config/bfin/bfin.c (bfin_handle_option): Handle
1589         -mcpu=bf534, -mcpu=bf536 and -mcpu=bf561.
1590         * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS):
1591         Support bf534, bf536 and bf561.
1592         * doc/invoke.texi (Blackfin Options): Document -mcpu and -msim.
1593
1594 2007-05-08  Uros Bizjak  <ubizjak@gmail.com>
1595
1596         PR target/31854
1597         * config/i386/i386.c (ix86_function_regparm): Process local
1598         functions only when TREE_CODE (decl) equals FUNCTION_DECL.
1599
1600 2007-05-07  Mike Stump  <mrs@apple.com>
1601
1602         * doc/invoke.texi (Warning Options): Document that -Wempty-body
1603         also checks for and while statements in C++.
1604
1605 2007-05-07  Nathan Froyd  <froydnj@codesourcery.com>
1606
1607         * gcc.c (at_file_supplied): New variable.
1608         (main): Set it if we expanded argv.
1609         (do_spec_1): Pass an @-file to the linker if we were called with
1610         an @-file argument and HAVE_GNU_LD.
1611         * collect2.c (at_file_supplied): New variable.
1612         (response_file): New variable.
1613         (collect_exit): Unlink response_file if necessary.
1614         (handler): Likewise.
1615         (do_wait): Likewise.
1616         (main): Set at_file_supplied if we expanded argv.
1617         (collect_execute): Pass an @-file to subprocesses if we were called
1618         with an @-file argument.
1619         * configure.ac: Add define for HAVE_GNU_LD.
1620         * configure: Regenerate.
1621         * config.in: Regenerate.
1622
1623 2007-05-07  Naveen.H.S  <naveen.hs@kpitcummins.com>
1624
1625         * config/m32c/muldiv.md (mulhisi3_c): Limit the mode of the 2nd
1626         operand to HI mode.
1627         (mulsi3): New.
1628         (divsi3): New.
1629         (udivsi3): New.
1630
1631 2007-05-07  Jayant Sonar  <jayants@kpitcummins.com>
1632
1633         * config/m32c/m32c.c (SYMBOL_FLAG_FUNCVEC_FUNCTION): Define.
1634         (TARGET_ENCODE_SECTION_INFO): Re-define.
1635         (m32c_encode_section_info): New
1636         (function_vector_handler): New
1637         (current_function_special_page_vector): New
1638         (m32c_special_page_vector_p): New.
1639         * config/m32c/m32c-protos.h (m32c_special_page_vector_p):
1640         Prototype.
1641         * config/m32c/jump.md: Added instruction JSRS for functions
1642         with attribute "function_vector".
1643         * doc/extend.texi (function_vector): Added description
1644         for M16C, M32C targets.
1645
1646 2007-05-07  DJ Delorie  <dj@redhat.com>
1647
1648         PR 31794
1649         * config/m32c/shift.md (ashlpsi3_i, ashrpsi3_i, ashlpsi3,
1650         ashrpsi3, lshrpsi3): Update shift count constraint.
1651
1652 2007-05-07  Danny Smith  <dannysmith@users.sourceforge.net>
1653             Nathan Froyd  <froydnj@codesourcery.com>
1654
1655         PR 22133
1656         * c-incpath.c (add_path): Strip trailing path separators.
1657
1658 2007-05-07  Eric Botcazou  <ebotcazou@adacore.com>
1659
1660         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Reset cfg_altered.
1661         Free dominance info before purging EH edges.
1662         (eliminate_degenerate_phis): Likewise.
1663         (propagate_rhs_into_lhs): Set cfg_altered to true instead of 1.
1664
1665 2007-05-07  Jan Hubicka  <jh@suse.cz>
1666
1667         * gimplify.c (gimplify_expr): Do not crash when folding
1668         (void *)(int)&a + 4.
1669
1670 2007-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1671
1672         PR driver/31694
1673         * c-opts.c (lang_fortran): Make it non static.
1674         * c-common.h (lang_fortran): New prototype.
1675         * c-cppbuiltin.c (c_cpp_builtins): Create a __GFORTRAN__ if the
1676         -lang-fortran option was passed by the driver.
1677
1678 2007-05-06  Eric Botcazou  <ebotcazou@adacore.com>
1679
1680         * timevar.c (timevar_print): Test ENABLE_ASSERT_CHECKING instead
1681         of ASSERT_CHECKING.  Tweak message.
1682
1683 2007-05-06  Revital Eres  <eres@il.ibm.com>
1684
1685         PR 30957
1686         * loop-unroll.c (insert_var_expansion_initialization):
1687         Initialize the expansions with -zero instead of +zero.
1688
1689 2007-05-05  Aurelien Jarno  <aurelien@aurel32.net>
1690
1691         * config/pa/pa.md: Split tgd_load, tld_load and tie_load
1692         into pic and non-pic versions. Mark r19 as used for
1693         tgd_load_pic, tld_load_pic and tie_load_pic. Mark r27 as used
1694         for tgd_load, tld_load and tie_load .
1695         * config/pa/pa.c (legitimize_tls_address): Emit pic or non-pic
1696         version of tgd_load, tld_load and tie_load depending on the
1697         value of flag_pic.
1698
1699 2007-05-04  Ulrich Drepper  <drepper@redhat.com>
1700             Jakub Jelinek  <jakub@redhat.com>
1701
1702         * crtstuff.c (HIDDEN_DTOR_LIST_END): New macro.
1703         (__do_global_dtors_aux): Use more paranoid loop to run
1704         destructors if HIDDEN_DTOR_LIST_END.
1705         (__DTOR_END__): Export as a hidden symbol when HIDDEN_DTOR_LIST_END.
1706
1707 2007-05-04  Jakub Jelinek  <jakub@redhat.com>
1708
1709         * varasm.c (align_variable): Don't increase alignment for
1710         DECL_THREAD_LOCAL_P variables above BITS_PER_WORD through
1711         DATA_ALIGNMENT or CONSTANT_ALIGNMENT.
1712
1713 2007-05-04  Josh Conner  <jconner@apple.com>
1714
1715         * basic-block.h (cdi_direction): Assign values to all enumeration
1716         constants.
1717         (dom_computed): Remove.
1718         (dom_info_state): New.
1719         (set_dom_info_availability): New.
1720         * tree-ssa-loop-im.c (determine_invariantness): Initialize
1721         walk_data.dom_direction.
1722         * cfghooks.c (delete_basic_block): Use dom_info_available_p()
1723         instead of dom_computed[].
1724         (split_edge): Likewise.
1725         (create_basic_block): Likewise.
1726         (merge_blocks): Likewise.
1727         * ifcvt.c (find_if_header): Likewise.
1728         * tree-cfgcleanup.c (cleanup_tree_cfg): Likewise.
1729         * tree-ssa-dce.c (remove_dead_stmt): Likewise.
1730         * tree-ssa.c (verify_ssa): Likewise.
1731         * tree-cfg.c (tree_verify_flow_info): Likewise.
1732         (remove_edge_and_dominated_blocks): Likewise.
1733         * dominance.c (dom_computed): Make static.
1734         (calc_dfs_tree_nonrec): Change third param to a bool.
1735         (calc_dfs_tree): Change second param to a bool.
1736         (calc_idioms): Change second param to a bool.  Use
1737         dom_convert_dir_to_idx.
1738         (init_dom_info): Validate dir before using.
1739         (dom_convert_dir_to_idx): New.
1740         (calculate_dominance_info): Use dom_convert_dir_to_idx.  New
1741         variable 'reverse' used for calling calc_dfs_tree and calc_idoms.
1742         (free_dominance_info): Use dom_convert_dir_to_idx.
1743         (get_immediate_dominator): Likewise.
1744         (set_immediate_dominator): Likewise.
1745         (get_dominated_by): Likewise.
1746         (redirect_immediate_dominators): Likewise.
1747         (nearest_common_denominator): Likewise.
1748         (dominated_by_p): Likewise.
1749         (bb_dom_dfs_in): Likewise.
1750         (bb_dom_dfs_out): Likewise.
1751         (recount_dominator): Likewise.
1752         (iterate_fix_dominators): Likewise.
1753         (add_to_dominance_info): Likewise.
1754         (delete_from_dominance_info): Likewise.
1755         (first_dom_son): Likewise.
1756         (next_dom_son): Likewise.
1757         (dom_info_available_p): Likewise.
1758         (dom_info_state): New.
1759         (set_dom_info_availability): New.
1760
1761 2007-05-04  Andreas Krebbel  <krebbel1@de.ibm.com>
1762
1763         * config/s390/s390.md ("fix_trunc<mode>di2", "fix_trunc<mode>si2"):
1764         Expander removed.
1765         ("fix_trunc<DSF:mode><GPR:mode>2"): Expander added.
1766
1767 2007-05-04  Bob Wilson  <bob.wilson@acm.org>
1768
1769         * config/xtensa/xtensa.md (adddi3, adddi_carry): Delete.
1770         (subdi3, subdi_carry): Delete.
1771
1772 2007-05-04  Jan Hubicka  <jh@suse.cz>
1773             Richard Guenther  <rguenther@suse.de>
1774
1775         * opts.c (decode_options): Do not fiddle with inlining
1776         parameters in case of optimizing for size.
1777         * ipa-inline.c (cgraph_decide_recursive_inlining): When optimizing
1778         for size do nothing.
1779         (cgraph_decide_inlining_of_small_function): When optimizing for
1780         size never inline functions increasing caller size.
1781         (cgraph_early_inlining): Inline for size when optimizing for size.
1782
1783 2007-04-18  Bernd Schmidt  <bernd.schmidt@analog.com>
1784
1785         * config/bfin/bfin.md (<optab>di3): Now a define_expand which expands
1786         logical operations piecewise.
1787         (<optab>di_zesidi_di, <optab>di_sesidi_di, negdi2, one_cmpldi2,
1788         zero_extendsidi2, subdi_di_zesidi, subdi_zesidi_di, subdi_di_sesidi,
1789         subdi_sesidi_di): Delete.
1790         (add_with_carry): Produce carry in CC instead of a DREG to shorten
1791         the generated sequence.  Allow three-reg add in constraints.  Rewrite
1792         the rtl expression for carry to avoid zero_extend of a constant.
1793         (sub_with_carry): New pattern.
1794         (adddi3, subdi3): Change into define_expand.  For subtract, generate a
1795         different sequence not involving jumps.
1796         (notbi): Now a named pattern.
1797
1798 2007-05-04  Bradley Lucier  <lucier@math.purdue.edu>
1799
1800         * doc/invoke.texi (i386 and x86-64 Options) [-mpc32, -mpc64, -mpc80]:
1801         Add the note about a significant loss of accuracy of some
1802         mathematical routines when these options are used.
1803
1804 2007-05-04  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
1805
1806         * haifa-sched.c (rtx_vec_t): New typedef.
1807         (contributes_to_priority_p): Extract piece of priority () into new
1808         static function.
1809         (priority): Use the function.  Add assertion.
1810         (rank_for_schedule, set_priorities): Add assertion to check that
1811         insn's priority is initialized.
1812         (clear_priorities, calc_priorities): Change signature.  Make it update
1813         all relevant insns.  Update all callers ('add_to_speculative_block ()'
1814         and 'create_block_check_twin ()').
1815         * sched-int.h (struct haifa_insn_data): Remove field 'priority_known'.
1816         Add new field 'priority_status'.
1817         (INSN_PRIORITY_STATUS): New macro.
1818         (INSN_PRIORITY_KNOWN): Change to use INSN_PRIORITY_STATUS.
1819
1820 2007-05-04  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
1821
1822         * sched-ebb.c (debug_ebb_dependencies): New static function.
1823         (init_ready_list): Use it.
1824
1825         * sched-rgn.c (debug_dependencies): Split into 'debug_dependencies ()'
1826         with changed signature and 'debug_rgn_dependencies ()'.
1827         (debug_rgn_dependencies): New static function.
1828         (init_ready_list): Use it.
1829
1830         * sched-int.h (debug_dependencies): Declare.
1831
1832 2007-05-04  Andreas Krebbel  <krebbel1@de.ibm.com>
1833
1834         * libgcc-std.ver (__ffssi2): Added to GCC_4.3.0 section.
1835
1836 2007-05-04  Dirk Mueller  <dmueller@suse.de>
1837
1838         * c.opt(Wmain,ffreestanding): Enable for C++,ObjC++.
1839
1840 2007-05-03  Jan Hubicka  <jh@suse.cz>
1841
1842         * fold-const.c (fold_unary): Convert (T1)(X op Y) into ((T1)X op (T1)Y),
1843         for pointer type in more cases than before.
1844
1845         * gimplify.c (gimplify_expr): Fold (void *)&a + 4.
1846
1847         * tree-object-size.c (plus_expr_object_size): When operand size is
1848         unknown, return unknown.
1849
1850 2007-05-03  Dirk Mueller  <dmueller@suse.de>
1851
1852         * doc/invoke.texi (-m386,-m486,-mpentium,-mpentiumpro): Remove.
1853
1854         * config/i386/i386.h (CC1_CPU_SPEC): Remove handling for deprecated
1855         options.
1856
1857         * config/i386/i386.opt (m386,m486,mpentium,mpentiumpro): Remove.
1858
1859 2007-05-03  Janis Johnson  <janis187@us.ibm.com>
1860
1861         * doc/sourcebuild.texi (Test Directives) Clarify dg-excess-errors.
1862
1863 2007-05-03  Joseph Myers  <joseph@codesourcery.com>
1864
1865         * config/soft-fp/double.h, config/soft-fp/extended.h,
1866         config/soft-fp/floatundidf.c, config/soft-fp/floatundisf.c,
1867         config/soft-fp/floatunsidf.c, config/soft-fp/floatunsisf.c,
1868         config/soft-fp/op-2.h, config/soft-fp/op-4.h,
1869         config/soft-fp/op-common.h, config/soft-fp/quad.h: Update from
1870         glibc CVS.
1871
1872 2007-05-03  Ian Lance Taylor  <iant@google.com>
1873
1874         * config/rs6000/rs6000.c (rs6000_override_options): Don't set
1875         MASK_PPC_GFXOPT for 8540 or 8548.
1876
1877 2007-05-03  Uros Bizjak  <ubizjak@gmail.com>
1878
1879         * tree-vect-transform.c (vect_update_inits_of_drs): Use
1880         vect_print_dump_info() to output debug information.
1881
1882 2007-05-03  Uros Bizjak  <ubizjak@gmail.com>
1883
1884         PR target/31768
1885         * config/i386/i386.c (print_operand) ['z']: Output 'w' for
1886         operands of size 2 when operand is not MEM_P.
1887
1888 2007-05-03  Zdenek Dvorak  <dvorakz@suse.cz>
1889
1890         PR tree-optimization/30565
1891         * lambda-code.c (perfect_nestify): Fix updating of dominators.
1892
1893 2007-05-03  Bernd Schmidt  <bernd.schmidt@analog.com>
1894
1895         * config/bfin/bfin.md (addpdi3, us_truncpdisi2): New patterns.
1896         (umulsi3_highpart): Use them.
1897         * config/bfin/lib1funcs.asm (__umulsi3_highpart): Use unsigned move
1898         for final accumulator to D regisster tranfser.
1899
1900 2007-05-03  Dorit Nuzman  <dorit@il.ibm.com>
1901
1902         PR tree-optimization/31699
1903         * tree-vect-analyze.c (vect_update_misalignment_for_peel): Remove wrong
1904         code.
1905         (vect_enhance_data_refs_alignment): Compute peel amount using
1906         TYPE_VECTOR_SUBPARTS instead of vf.
1907         * tree-vect-transform.c (vect_gen_niters_for_prolog_loop): Likewise.
1908
1909 2007-05-02  Brooks Moses  <brooks.moses@codesourcery.com>
1910
1911         PR bootstrap/31776
1912         * system.h: Remove inclusion of double-int.h
1913         * tree.h: Include double-int.h
1914         * gengtype.c: Likewise
1915         * cfgloop.h: Likewise
1916         * Makefile.in: Adjust dependencies on double-int.h
1917
1918 2007-05-02  Eric Christopher  <echristo@apple.com>
1919
1920         * config/darwin.h (TARGET_OPTION_TRANSLATE_TABLE): Translate
1921         -shared to -Zdynamiclib.
1922
1923 2007-05-02  Seongbae Park  <seongbae.park@gmail.com>
1924
1925         PR c++/31663
1926         * c-common.c (strip_pointer_or_array_types): New function.
1927         * c-common.h (strip_pointer_or_array_types): New function declaration.
1928
1929 2007-05-03  Zdenek Dvorak  <dvorakz@suse.cz>
1930
1931         PR tree-optimization/31771
1932         * tree-cfg.c (move_block_to_fn): Assign bb to the correct index.
1933
1934 2007-05-02  Paul Brook  <paul@codesourcery.com>
1935
1936         * config/arm/bpabi.S (aeabi_lcmp): Fix result on overflow.
1937
1938 2007-05-02  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1939
1940         PR middle-end/29715
1941         * fold-const.c (fold_comparision): Remove the "foo++ == CONST"
1942         transformation.
1943
1944 2007-05-02  Nick Clifton  <nickc@redhat.com>
1945
1946         * config/frv/predicates.md (symbolic_operand): Accept CONSTs.
1947
1948 2007-05-02  Richard Guenther  <rguenther@suse.de>
1949
1950         PR tree-optimization/31146
1951         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): New
1952         argument, single_use_p.  If we have a single use that is
1953         a conversion to the definition rhs type, propagate that rhs.
1954         (forward_propagate_addr_expr): Pass single_use_p argument
1955         to forward_propagate_addr_expr_1.
1956
1957 2007-05-01  H.J. Lu  <hongjiu.lu@intel.com>
1958
1959         * config/i386/i386.c (ix86_expand_sse_comi): Remove unused
1960         variable.
1961
1962 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
1963
1964         * doc/invoke.texi: Fix typo, 'AMD Family 10h core' instead of
1965         'AMD Family 10 core'.
1966
1967 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
1968
1969         * config/i386/i386.c (override_options): Accept k8-sse3, opteron-sse3
1970         and athlon64-sse3 as improved versions of k8, opteron and athlon64
1971         with SSE3 instruction set support.
1972         * doc/invoke.texi: Likewise.
1973
1974 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
1975
1976         * config/i386/i386.c (override_options): Tuning 32-byte loop
1977         alignment for amdfam10 architecture. Increasing the max loop
1978         alignment to 24 bytes.
1979
1980 2007-05-01  Kazu Hirata  <kazu@codesourcery.com>
1981
1982         * config/m68k/constraints.md: New.
1983         * config/m68k/m68k.h (REG_CLASS_FROM_LETTER,
1984         CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P,
1985         EXTRA_CONSTRAINT): Remove.
1986         * config/m68k/m68k.md: Include constraints.md.
1987         * expr.c (expand_expr_real_1): Copy DECL_RTL before using it.
1988
1989 2007-05-01  Ian Lance Taylor  <iant@google.com>
1990
1991         PR tree-optimization/31739
1992         * tree-vrp.c (vrp_val_is_max): New static function.
1993         (vrp_val_is_min): New static function.
1994         (set_value_range_to_value): Use TYPE_{MAX,MIN}_VALUE rather than
1995         copying the node.
1996         (set_value_range): Use vrp_val_is_{max,min}.
1997         (extract_range_from_assert): Likewise.
1998         (extract_range_from_binary_expr): Likewise.
1999         (extract_range_from_unary_expr): Likewise.
2000         (dump_value_range, vrp_meet): Likewise.
2001         (vrp_visit_phi_node): Likewise.
2002         * tree.c (build_distinct_type_copy): Revert change of 2007-04-27.
2003
2004 2007-05-01  Mark Mitchell  <mark@codesourcery.com>
2005
2006         * config/i386/gmon-sol2.c (size_t): New type.
2007         (intptr_t): Likewise.
2008         (s_textsize): Declare as size_t.
2009         (sbrk): Declare.
2010         (monstartup): Use size_t for sizes.
2011         (_mcount): Save and restore registers.
2012         (internal_mcount): Pass 0 as the first argument to monstartup
2013         in 64-bit mode.
2014         (moncontrol): Convert pointer to appropriately sized integer
2015         before passing to profil.
2016
2017 2007-05-01  Joseph Myers  <joseph@codesourcery.com>
2018
2019         * config/rs6000/darwin-ldouble.c (__gcc_qunord): Define if
2020         __NO_FPRS__, not just if _SOFT_DOUBLE.
2021         * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qunord): Likewise.
2022         * config/rs6000/rs6000.c (rs6000_init_libfuncs): Use __gcc_qunord
2023         also for E500 double.
2024         * config/rs6000/rs6000.md (buneq, bunge, bungt, bunle, bunlt,
2025         suneq, sunge, sungt, sunle, sunlt): Disable for (TARGET_HARD_FLOAT
2026         && !TARGET_FPRS).
2027
2028 2007-05-01  Richard Guenther  <rguenther@suse.de>
2029
2030         * tree-ssa-loop-manip.c (ip_normal_pos): Check if last stmt
2031         is NULL.
2032
2033 2007-05-01  Joseph Myers  <joseph@codesourcery.com>
2034
2035         * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qgt): Fix typo.
2036
2037 2007-05-01  Jan Hubicka  <jh@suse.cz>
2038
2039         * tree-vectorize.c (vect_is_simple_use): gimple_min_invariant is
2040         invariant.
2041
2042 2007-05-01  Jan Hubicka  <jh@suse.cz>
2043
2044         * tree.h (maybe_fold_offset_to_component_ref): Remove.
2045         (maybe_fold_offset_to_reference): Declare.
2046         * fold-const.c (fold_unary): Do not fold
2047         (type *)&A into &A->field_of_type_and_offset_0
2048         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): When base type
2049         size is unknown, give up.
2050         (maybe_fold_offset_to_component_ref): Ignore firelds with unknown
2051         offsets.
2052         (maybe_fold_offset_to_reference): New.
2053         (maybe_fold_stmt_indirect): Use it.
2054         (fold_stmt_r): Fold (type *)&A+offset into A->field_if_type_and_offset.
2055         * gimplify.c (gimplify_conversion): Canonicalize conversions to
2056         field references.
2057         (gimplify_expr): Likewise for plus_expr.
2058
2059 2007-05-01  Zdenek Dvorak  <dvorakz@suse.cz>
2060
2061         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Use
2062         bsi_after_labels.  Always insert statements before bsi.
2063         * tree-vect-transform.c (vect_create_epilog_for_reduction): Ditto.
2064         * predict.c (apply_return_prediction): Check for empty blocks.
2065         * cfgexpand.c (lab_rtx_for_bb): New variable.
2066         (label_rtx_for_bb): Do not create new tree labels.
2067         (expand_gimple_basic_block): Add labels recorded in lab_rtx_for_bb.
2068         (tree_expand_cfg): Initialize lab_rtx_for_bb.
2069         * tree-cfg.c (build_tree_cfg): Call cleanup_dead_labels after
2070         creating edges.
2071         (label_for_bb): Add field used.
2072         (update_eh_label, main_block_label): Mark the label used.
2073         (cleanup_dead_labels): Remove unused labels.
2074
2075 2007-05-01  Richard Guenther  <rguenther@suse.de>
2076
2077         * tree-vrp.c (set_value_range): Do not allocate equiv bitmap
2078         if it is not about to be set.
2079         (get_value_range): Do not pre-allocate equiv bitmap.
2080         (update_value_range): No need to clear equiv field.
2081         (add_equivalence): Change prototype to get bitmap pointer.
2082         Allocate bitmap here if it is not already.
2083         (extract_range_from_assert): Do not allocate bitmap here.
2084         Update callers to add_equivalence.
2085         (extract_range_from_ssa_name): Likewise.
2086         (get_vr_for_comparison): New static helper.
2087         (compare_name_with_value): Handle NULL equiv bitmap by
2088         peeling the first iteration of the comparison loop.
2089         Use get_vr_for_comparison.
2090         (compare_names): Handle NULL equiv bitmaps by using fake
2091         ones.  Use get_vr_for_comparison.
2092
2093 2007-04-30  Brooks Moses  <brooks.moses@codesourcery.com>
2094
2095         * double-int.c (mpz_set_double_int): Moved from
2096         tree-ssa-loop-niter.c.
2097         (mpz_get_double_int): Likewise; also, add option to wrap
2098         out-of-range integers.
2099         * double-int.h: New prototypes for above.
2100         * tree.c (get_static_type_bounds): Moved from
2101         tree-ssa-loop-niter.c; now returns TYPE_MIN_VALUE and
2102         TYPE_MAX_VALUE if they exist..
2103         * tree.h: New prototype for above.
2104         * tree-ssa-loop-niter.c: Adjust mpz_to_double_int and
2105         get_type_bounds calls.
2106         (mpz_set_double_int): Move to double-int.c.
2107         (get_type_bounds): Move to tree.c, rename to
2108         get_static_type_bounds.
2109         (mpz_to_double_int): Move to double-int.c, rename to
2110         mpz_get_double_int.
2111
2112 2007-04-30  Bob Wilson  <bob.wilson@acm.org>
2113
2114         * config/xtensa/lib1funcs.asm (__umodsi3, __modsi3): Rearrange so that
2115         DIV0 exception can fall through to a normal return.
2116
2117 2007-04-30  Alexandre Oliva  <aoliva@redhat.com>
2118
2119         PR middle-end/22156
2120         Temporarily revert:
2121         2007-04-06  Andreas Tobler  <a.tobler@schweiz.org>
2122         * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
2123         2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
2124         * tree-sra.c (try_instantiate_multiple_fields): Needlessly
2125         initialize align to silence bogus warning.
2126         2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
2127         * tree-sra.c (struct sra_elt): Add in_bitfld_block.  Remove
2128         all_no_warning.
2129         (struct sra_walk_fns): Remove use_all parameter from use.
2130         (sra_hash_tree): Handle BIT_FIELD_REFs.
2131         (sra_elt_hash): Don't hash bitfld blocks.
2132         (sra_elt_eq): Skip them in parent compares as well.  Handle
2133         BIT_FIELD_REFs.
2134         (sra_walk_expr): Don't maintain or pass down use_all_p.
2135         (scan_use): Remove use_all parameter.
2136         (scalarize_use): Likewise.  Re-expand assignment to
2137         BIT_FIELD_REF of gimple_reg.  De-scalarize before input or
2138         output, and re-scalarize after output.  Don't mark anything
2139         for no warning.
2140         (scalarize_ldst): Adjust.
2141         (scalarize_walk_gimple_modify_statement): Likewise.
2142         (build_element_name_1): Handle BIT_FIELD_REFs.
2143         (instantiate_element): Don't warn for any element whose parent
2144         is used as a whole.
2145         (instantiate_missing_elements_1): Return the sra_elt.
2146         (canon_type_for_field): New.
2147         (try_instantiate_multiple_fields): New.
2148         (instantiate_missing_elemnts): Use them.
2149         (mark_no_warning): Removed.
2150         (generate_one_element_ref): Handle BIT_FIELD_REFs.
2151         (REPLDUP, sra_build_elt_assignment): New.
2152         (generate_copy_inout): Use them.
2153         (generate_element_copy): Likewise.  Handle bitfld differences.
2154         (generate_element_zero): Don't recurse for blocks.  Use
2155         sra_build_elt_assignment.
2156         (generate_one_element_int): Take elt instead of var.  Use
2157         sra_build_elt_assignment.
2158         (generate_element_init_1): Adjust.
2159         (scalarize_use, scalarize_copy): Use REPLDUP.
2160         (scalarize_ldst): Move assert before dereference.
2161         (dump_sra_elt_name): Handle BIT_FIELD_REFs.
2162
2163 2007-04-30  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2164
2165         PR C++/31721
2166         * tree.c (reconstruct_complex_type): Reconstruct a reference
2167         correctly.
2168         Also use the same mode for the pointer as the old pointer type.
2169
2170 2007-04-30  Francois-Xavier Coudert  <coudert@clipper.ens.fr>
2171
2172         * doc/trouble.texi (Interoperation): Remove note about Ultrix
2173         Fortran compiler.
2174
2175 2007-04-29  Zdenek Dvorak  <dvorakz@suse.cz>
2176
2177         PR rtl-optimization/31676
2178         * df-scan.c (record_nonlocal_goto_receiver_defs): New function.
2179         (df_refs_record): Call it.
2180
2181 2007-04-29  Bernd Schmidt  <bernd.schmidt@analog.com>
2182
2183         * rtl.def (SS_ABS): New code.
2184         * config/bfin/bfin.c (print_operand): New modifier 'v'.
2185         (enum bfin_builtins): Add BFIN_BUILTIN_SUM_2X16, BFIN_BUILTIN_ABS_1x32,
2186         BFIN_BUILTIN_ROUND_1x32, BFIN_BUILTIN_MULT_1x32x32,
2187         BFIN_BUILTIN_MULT_1x32x32NS, BFIN_BUILTIN_SSASHIFT_1x32.
2188         (bfin_init_builtins): Define them.
2189         (bdesc_1arg, bdesc_2arg): Add some of them here, ...
2190         (bfin_expand_builtin): ... and handle the others here.
2191         * config/bfin/bfin.md (ssabssi2, ssroundsi2, ssashiftsi3,
2192         flag_mul_macv2hi_parts_acconly_andcc0): New patterns.
2193         (ss_absv2hi2): Renamed from absv2hi; use ss_abs code.
2194         (ssashiftv2hi3, ssashifthi3, lshiftv2hi3, lshifthi3): Shift count
2195         operand is only HImode.
2196
2197 2007-04-29  Steven Bosscher  <steven@gcc.gnu.org>
2198
2199         * regclass.c (scan_one_insn): Remove splitting of
2200         two address insns.
2201
2202 2007-04-28  Sandra Loosemore  <sandra@codesourcery.com>
2203             Nigel Stephens  <nigel@mips.com>
2204
2205         * config/mips/mips.h (SLOW_BYTE_ACCESS): Turn off for MIPS16.
2206
2207 2007-04-28  Jan Hubicka  <jh@suse.cz>
2208
2209         * config/alpha/alpha.c (alpha_output_mi_thunk_osf): Use
2210         insn_locators_alloc instead of insn_locators_initialize;
2211         call reset_block_changes.
2212         * config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.
2213         * config/sh/sh.c (sparc_output_mi_thunk): Likewise.
2214         * config/is64/ia64.c (ia64_output_mi_thunk): Likewise.
2215         * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Likewise.
2216         * config/score/score.c (th_output_mi_thunk): Likewise.
2217         * config/mips/mips.c (mips_output_mi_thunk): Likewise.
2218         * cfglyaout.c (set_curr_insn_source_location, set_curr_insn_block):
2219         tolerate uninitialized locator info.
2220
2221         Re-apply:
2222         * function.c (init_function_start): Don't init line number info.
2223         (expand_function_end): Update.
2224         (reset_block_changes, record_block_change, finalize_block_changes,
2225         check_block_change, free_block_changes): Kill.
2226         * function.h (reset_block_changes, record_block_change,
2227         finalize_block_changes, check_block_change, free_block_changes): Remove
2228         prototypes.
2229         (struct function): Remove ib_boundaries_block.
2230         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
2231         Use curr_insn_locator to initialize locator.
2232         (emit_line_note): Remove.
2233         * cfgexpand.c (expand_gimple_cond_expr): Update.
2234         (construct_exit_block): Likewise.
2235         (tree_expand_cfg): Initialize/finalize locators.
2236         * expr.c (expand_expr_real): Update.
2237         * cfglayout.c (line_locators_locs, line_locators_lines,
2238         file_locators_locs, file_locators_files): Remove.
2239         (set_block_levels): Move to cfgexpand.c.
2240         (insn_locators_initialize): Remove.
2241         (pass_insn_locators_initialize): Remove.
2242         (locations_locators_locs, locations_locators_vals): New static vars.
2243         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
2244         Likewise.
2245         (insn_locators_alloc, insn_locators_finalize,
2246         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
2247         New functions.
2248         (locator_location): New.
2249         (locator_line, locator_file): Rewrite.
2250         * rtl.h (emit_line_note): Kill.
2251         (insn_locators_alloc, insn_locators_finalize,
2252         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
2253         Declare.
2254         * tree-inline.c (initialize_cfun): Do not initialize
2255         ib_boundaries_block.
2256         * passes.c (pass_insn_locators_initialize): Remove.
2257
2258 2007-04-28  Zdenek Dvorak  <dvorakz@suse.cz>
2259
2260         * tree-cfg.c (move_block_to_fn): Release bb from dominance
2261         info.  Update last_basic_block correctly.
2262
2263 2007-04-27  Kaz Kojima  <kkojima@gcc.gnu.org>
2264
2265         PR target/31701
2266         * config/sh/sh.c (output_stack_adjust): Avoid using the frame
2267         register itself to hold the offset constant.  Tell flow the use
2268         of r4 and r5 when they are used.
2269
2270 2007-04-27  Richard Guenther  <rguenther@suse.de>
2271
2272         * tree-ssa-forwprop.c (forward_propagate_into_cond): Keep track
2273         if we simplified anything.
2274         (tree_ssa_forward_propagate_single_use_vars): Defer overflow
2275         warnings until we did a simplification and the stmt was not
2276         marked as TREE_NO_WARNING.
2277
2278 2007-04-27  Mike Stump  <mrs@apple.com>
2279
2280         * config/rs6000/darwin.h (ALWAYS_PUSH_CONSTS_USING_REGS_P): Remove.
2281
2282 2007-04-27  Ian Lance Taylor  <iant@google.com>
2283
2284         PR middle-end/31710
2285         * tree.c (build_distinct_type_copy): If TYPE_MIN_VALUE or
2286         TYPE_MAX_VALUE exist, convert them to the new type.
2287
2288 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
2289
2290         * tree-cfgcleanup.c (cleanup_tree_cfg): Verify dominance info
2291         if it claims to be available.
2292         * tree-ssa-dce.c (remove_dead_stmt): Mark cfg as altered when
2293         edge is redirected.
2294         (perform_tree_ssa_dce): Always free postdominators.
2295
2296 2007-04-27  Richard Henderson  <rth@redhat.com>
2297
2298         * config/alpha/predicates.md (aligned_memory_operand): Mark
2299         as define_special_predicate.
2300         (unaligned_memory_operand, normal_memory_operand): Likewise.
2301         (reg_or_unaligned_mem_operand): Remove.
2302         (any_memory_operand): Match the documentation and check for
2303         non-renumbered pseudos during reload.
2304         * config/alpha/alpha.c (alpha_secondary_reload): Rename from
2305         alpha_secondary_reload_class, update to new interface, make static.
2306         Handle CQImode like HImode.  Remove FP subreg check.
2307         (alpha_expand_mov): Use replace_equiv_address.
2308         (alpha_expand_mov_nobwx): Use any_memory_operand.
2309         (TARGET_SECONDARY_RELOAD): New.
2310         * config/alpha/alpha.h (SECONDARY_INPUT_RELOAD_CLASS): Remove.
2311         (SECONDARY_OUTPUT_RELOAD_CLASS): Remove.
2312         * config/alpha/sync.md (I12MODE, I48MODE, modesuffix): Move ...
2313         * config/alpha/alpha.md: ... here.
2314         (RELOAD12, reloadmode): New.
2315         (movcqi): New.
2316         (reload_in<RELOAD12>): Macro-ize from reload_inqi, reload_inhi.
2317         Don't handle the aligned case here.
2318         (reload_out<RELOAD12>): Macro-ize from reload_outqi, reload_outhi.
2319         (reload_in<I12MODE>_aligned): Macro-ize from reload_inqi_help,
2320         reload_inhi_help.  Don't expect a scratch register.
2321         (reload_out<I12MODE>_aligned): Macro-ize from reload_outqi_help,
2322         reload_outhi_help.
2323         * config/alpha/alpha-protos.h (alpha_secondary_reload_class): Remove.
2324
2325 2007-04-27  Richard Guenther  <rguenther@suse.de>
2326
2327         * tree-ssa-forwprop.c (get_prop_dest_stmt): Fix comment typo.
2328
2329 2007-04-27  Richard Guenther  <rguenther@suse.de>
2330
2331         PR tree-optimization/30965
2332         PR tree-optimization/30978
2333         * Makefile.in (tree-ssa-forwprop.o): Depend on $(FLAGS_H).
2334         * tree-ssa-forwprop.c (forward_propagate_into_cond_1): Remove.
2335         (find_equivalent_equality_comparison): Likewise.
2336         (simplify_cond): Likewise.
2337         (get_prop_source_stmt): New helper.
2338         (get_prop_dest_stmt): Likewise.
2339         (can_propagate_from): Likewise.
2340         (remove_prop_source_from_use): Likewise.
2341         (combine_cond_expr_cond): Likewise.
2342         (forward_propagate_comparison): New function.
2343         (forward_propagate_into_cond): Rewrite to use fold for
2344         tree combining.
2345         (tree_ssa_forward_propagate_single_use_vars): Call
2346         forward_propagate_comparison to propagate comparisons.
2347
2348 2007-04-27  Richard Guenther  <rguenther@suse.de>
2349
2350         PR tree-optimization/31715
2351         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make
2352         sure to do computation on the offset in an appropriate
2353         signed type.
2354
2355 2007-04-27  Richard Sandiford  <richard@codesourcery.com>
2356
2357         * reload.h (elimination_target_reg_p): Declare.
2358         * reload.c (find_reloads): Don't apply the reg_rtx move
2359         optimization if the SET_DEST satisfies elimination_target_reg_p.
2360         * reload1.c (elimination_target_reg_p): New function.
2361         (gen_reload): In the move/add2 fallback, make sure that op0
2362         does not overlap the destination register.
2363
2364 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
2365
2366         * tree-ssa-loop-im.c (determine_invariantness_stmt): Attempt to
2367         transform only GIMPLE_MODIFY_STMTs.
2368         * tree-complex.c (expand_complex_operations_1): Ditto.
2369         (expand_complex_div_wide): Do not create gotos in COND_EXPR branches.
2370         * tree-ssa-loop-manip.c (build_if_stmt): Removed.
2371         (tree_transform_and_unroll_loop): Do not create gotos in COND_EXPR
2372         branches.
2373         * value-prof.c (tree_divmod_fixed_value, tree_mod_pow2,
2374         tree_mod_subtract, tree_ic, tree_stringop_fixed_value): Ditto.
2375         * omp-low.c (expand_parallel_call, expand_omp_for_generic,
2376         expand_omp_for_static_chunk, expand_omp_for_static_nochunk): Ditto.
2377         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes,
2378         slpeel_add_loop_guard): Ditto.
2379         * tree-mudflap.c (mf_build_check_statement_for): Ditto.
2380         * lambda-code.c (perfect_nestify): Ditto.
2381         * tree-iterator.c (tsi_split_statement_list_before): Fix splitting
2382         before the first statement.
2383         * tree-optimize.c (execute_free_datastructures): Fix comments.
2384         (execute_free_cfg_annotations): Do not call disband_implicit_edges.
2385         * tree-flow.h (disband_implicit_edges): Declaration removed.
2386         * tree-cfg.c (make_cond_expr_edges): Remove gotos from COND_EXPR
2387         branches.
2388         (cleanup_dead_labels, tree_redirect_edge_and_branch): Handle COND_EXPRs
2389         without gotos.
2390         (disband_implicit_edges, has_label_p): Removed.
2391         (tree_verify_flow_info): Verify that COND_EXPR branches are empty.
2392         (tree_lv_add_condition_to_bb): Do not create gotos in COND_EXPR
2393         branches.
2394         * tree.c (build3_stat): Mark COND_EXPRs used as statements as having
2395         side effects.
2396         * tree-pretty-print.c (dump_implicit_edges): Dump implicit edges
2397         also for COND_EXPRs.
2398         * cfgexpand.c (label_rtx_for_bb): New function.
2399         (expand_gimple_cond_expr): Do not expect gotos in COND_EXPR branches.
2400         Use label_rtx_for_bb to find the labels.
2401         (expand_gimple_basic_block): Remove RETURN_EXPR at the end of the
2402         last block.  Detect fallthru edges.
2403
2404 2007-04-26  Ian Lance Taylor  <iant@google.com>
2405
2406         PR target/28675
2407         * reload.c (find_reloads_subreg_address): If the address was valid
2408         in the original mode but not in the new mode, reload the whole
2409         address.
2410
2411 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
2412
2413         * tree-cfgcleanup.c (cfgcleanup_altered_bbs): New global variable.
2414         (remove_fallthru_edge): Use remove_edge_and_dominated_blocks.
2415         (cleanup_control_expr_graph): Do not invalidate dominance info.
2416         Record altered blocks.
2417         (cleanup_control_flow, cleanup_forwarder_blocks): Removed.
2418         (cleanup_control_flow_bb, split_bbs_on_noreturn_calls,
2419         cleanup_tree_cfg_bb): New functions.
2420         (remove_forwarder_block): Do not maintain the worklist of blocks.
2421         Record altered blocks.
2422         (cleanup_tree_cfg_1): Iterate over cfgcleanup_altered_bbs,
2423         not over whole cfg.
2424         (cleanup_tree_cfg): Do not iterate cleanup_tree_cfg_1.  Only call
2425         delete_unreachable_blocks if dominators are not available.
2426         * tree-inline.c (optimize_inline_calls): Free dominance information
2427         earlier.
2428         * tree-flow.h (remove_edge_and_dominated_blocks,
2429         cfgcleanup_altered_bbs): Altered.
2430         * tree-cfg.c (replace_uses_by, tree_merge_blocks): Record altered
2431         blocks.
2432         (get_all_dominated_blocks, remove_edge_and_dominated_blocks): New
2433         functions.
2434         (tree_purge_dead_eh_edges): Use remove_edge_and_dominated_blocks,
2435         do not invalidate dominators.
2436
2437 2007-04-26  Anatoly Sokolov <aesok@post.ru>
2438
2439         * config/avr/avr.c (avr_mcu_types): Add support for ATmega8HVA and
2440         ATmega16HVA devices. Move AT90USB82 device to 'avr5' architecture.
2441         * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
2442         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
2443
2444 2007-04-26  Steve Ellcey  <sje@cup.hp.com>
2445
2446         * config/ia64/ia64.md (ip_value):  Fix itanium_class attribute.
2447
2448 2007-04-26  Richard Guenther  <rguenther@suse.de>
2449
2450         PR tree-optimization/31703
2451         * tree-ssa-loop-im.c (rewrite_bittest): Make sure to use
2452         the right type for the target of the bittest.
2453
2454 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
2455
2456         * config/i386/vx-common.h (RETURN_IN_MEMORY): Use
2457         ix86_sol10_return_in_memory.
2458
2459 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
2460
2461         * config/i386/i386.c (ix86_sol10_return_in_memory): Remove unused
2462         variables.
2463
2464 2007-04-26  Jakub Jelinek  <jakub@redhat.com>
2465
2466         PR c++/31598
2467         * tree-inline.c (copy_body_r): Don't touch TREE_TYPE of OMP_CLAUSE.
2468
2469         PR tree-optimization/30558
2470         * tree-eh.c (lower_eh_filter): If EH_FILTER_MUST_NOT_THROW
2471         clear this_state.prev_try.
2472
2473 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
2474             Mark Mitchell  <mark@codesourcery.com>
2475
2476         * config/i386/i386-protos.h (ix86_sol10_return_in_memory): Declare.
2477         * config/i386/i386.c (ix86_sol10_return_in_memory): New function.
2478         * config/i386/sol2-10.h (RETURN_IN_MEMORY): Use it.
2479
2480 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
2481
2482         PR driver/31107
2483         * doc/invoke.texi (%:print-asm-header): Document.
2484         * gcc.c (asm_options): Use %:print-asm-header() for --target-help
2485         and -ftarget-help.
2486         (static_spec_functions): Add print-asm-header.
2487         (main): Print a banner before the --target-help linker options.
2488         (print_asm_header_spec_function): New function.
2489
2490 2007-04-25  Kaz Kojima  <kkojima@gcc.gnu.org>
2491
2492         PR target/31403
2493         * config/sh/sh.md (movsi_ie): Fix length for TARGET_SH2A.
2494         (movsf_ie): Likewise.
2495
2496 2007-04-25  Paolo Carlini  <pcarlini@suse.de>
2497
2498         * doc/extend.texi ([Type Traits]): Adjust per N2255.
2499
2500 2007-04-25  Bob Wilson  <bob.wilson@acm.org>
2501
2502         * config/xtensa/lib1funcs.asm (__udivsi3, __divsi3): Throw an exception
2503         for divide-by-zero.
2504         (__umodsi3, __modsi3): Likewise.
2505
2506 2007-04-25  Dirk Mueller  <dmueller@suse.de>
2507
2508         * c-typeck.c (build_compound_expr): Annotate warning()
2509         call with OPT_Wunused_value.
2510         * tree-ssa.c (warn_uninit): Annotate warning with
2511         OPT_Wunintialized.
2512         * c-common.c (handle_sentinel_attribute): Annotate warning
2513         call with OPT_Wattributes.
2514
2515 2007-04-25  Thiemo Seufer  <ths@mips.com>
2516
2517         * config/mips/mips.opt (mdmx, mmt, mno-mdmx): New options.
2518         (mips16): Fix typo.
2519         * config/mips/mips.h (ASM_SPEC): Pass -mmt/-mno-mt and -mdmx/-mno-mdmx
2520         on to the assembler.  Improve handling of -mno-mips16.  Add handling
2521         of -mno-mips3d, -mno-dsp, -mno-dspr2.
2522         * doc/invoke.texi (MIPS Options): Whitespace cleanup.  Fix wrong use
2523         of @itemx.  Document -mno-dsp, -mno-dspr2, -mno-paired-single, -mdmx,
2524         -mno-mdmx, -mno-mips3d, -mmt and -mno-mt.
2525
2526 2007-04-25  Danny Smith  <dannysmith.users.sourceforge.net>
2527
2528         PR target/31680
2529         * config/i386/winnt.c (i386_pe_file_end): Strip only
2530         USER_LABEL_PREFIX when writing export name.
2531
2532 2007-04-25  Richard Sandiford  <richard@codesourcery.com>
2533
2534         * config.gcc (sh-wrs-vxworks): Don't include dbxelf.h.  Include
2535         sh/elf.h, vx-common.h and vxworks.h.
2536         * config/sh/sh.h: Include config/vxworks-dummy.h.
2537         (SUBTARGET_OVERRIDE_OPTIONS): Define.
2538         (OVERRIDE_OPTIONS): Use it.
2539         * config/sh/sh.md (GOTaddr2picreg): Add suport for VxWorks RTPs.
2540         (vxworks_picreg): New pattern.
2541         * config/sh/vxworks.h (TARGET_OS_CPP_BUILTINS): Use
2542         VXWORKS_OS_CPP_BUILTINS.
2543         (LIB_SPEC, LINK_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Redefine
2544         to their VXWORKS_* equivalents.
2545         (SUBTARGET_OVERRIDE_OPTIONS, SUBTARGET_CPP_SPEC): Define.
2546         (SUBTARGET_LINK_EMUL_SUFFIX, FUNCTION_PROFILER): Define.
2547         * config/sh/lib1funcs.asm (NO_FPSCR_VALUES): Define for VxWorks PIC.
2548         (set_fpscr, ic_invalidate): Add VxWorks PIC sequences.
2549         * config/sh/t-vxworks (MULTILIB_OPTIONS): Add m4a, -mrtp and
2550         -mrtp/-fPIC multilibs.
2551         (MULTILIB_EXCEPTIONS): Generalize globs accordingly.
2552         (MULTILIB_MATCHES, EXTRA_MULTILIB_PARTS): Define.
2553         (MULTILIB_OSDIRNAMES): Delete.
2554
2555 2007-04-25  Anatoly Sokolov <aesok@post.ru>
2556
2557         PR target/18989
2558         * config/avr/avr.h (ASM_OUTPUT_ALIGN): Redefine.
2559
2560 2007-04-24  Brooks Moses  <brooks.moses@codesourcery.com>
2561
2562         * real.c (mpfr_from_real): Handle Inf and NaN, and allow the
2563         rounding mode to be specified by the caller.
2564         (real_to_mpfr) Likewise.
2565         * real.h: Update mpfr_from_real, mpfr_to_real prototypes to
2566         include new arguments.
2567         * builtins.c: Update mpfr_from_real, mpfr_to_real calls.
2568
2569 2007-04-24  Ian Lance Taylor  <iant@google.com>
2570
2571         PR tree-optimization/31605
2572         * tree-vrp.c (set_value_range): Check that min and max are not
2573         both overflow infinities.
2574         (set_value_range_to_value): New static function.
2575         (extract_range_from_binary_expr): Call set_value_range_to_value.
2576         (extract_range_from_cond_expr): Likewise.
2577         (extract_range_from_expr): Likewise.
2578         (extract_range_from_unary_expr): Likewise.  Don't create a range
2579         which overflows on both sides.
2580         (vrp_meet): Check for a useless range.
2581         (vrp_visit_phi_node): If we see a constant which looks like an
2582         overflow infinity, turn off the TREE_OVERFLOW flag.
2583
2584 2007-04-24  Ian Lance Taylor  <iant@google.com>
2585
2586         * flow.c (elim_reg_cond): Handle a comparison of a subreg.
2587
2588 2007-04-24  Simon Martin  <simartin@users.sourceforge.net>
2589
2590         PR diagnostic/25923
2591         * tree-pass.h (TDF_DIAGNOSTIC): New dump control to specify that a
2592         diagnostic message is being built.
2593         * tree-pretty-print.c (dump_generic_node): Only write the
2594         formatted text into BUFFER's stream if we are not building a
2595         diagnostic message.
2596         * toplev.c (default_tree_printer): Pass TDF_DIAGNOSTIC to
2597         dump_generic_node.
2598         * Makefile.in (toplev.o): Depend on tree-pass.h.
2599
2600 2007-04-24  Ian Lance Taylor  <iant@google.com>
2601
2602         PR tree-optimization/31602
2603         * tree-ssa-loop-ch.c (copy_loop_headers): Set TREE_NO_WARNING for
2604         conditionals in the copied loop header.
2605         * tree-cfg.c (fold_cond_expr_cond): Don't issue undefined overflow
2606         warnings if TREE_NO_WARNING is set.
2607         * doc/invoke.texi (Warning Options): Clarify that
2608         -Wstrict-overflow does not warn about loops.
2609
2610 2007-04-24  Janis Johnson  <janis187@us.ibm.com>
2611
2612         * config/rs6000/rs6000.c (function_arg_advance): For 32-bit ELF ABI,
2613         expand on the comment about _Decimal128 arguments and check the
2614         integer result of the modulus operation; for 64-bit ELF ABI, ensure
2615         that _Decimal128 argument uses even/odd register pair.
2616         (function_arg): Ditto.
2617
2618 2007-04-24  Hui-May Chang <hm.chang@apple.com>
2619
2620         * reload1.c (merge_assigned_reloads) : Do not merge a RELOAD_OTHER
2621         instruction with a RELOAD_FOR_OPERAND_ADDRESS instruction.
2622
2623 2007-04-24  Richard Guenther  <rguenther@suse.de>
2624             Olga Golovanevsky  <olga@il.ibm.com>
2625
2626         * fold-const.c (multiple_of_p): Check for bottom
2627         to be zero.
2628
2629 2007-04-24  Richard Henderson  <rth@redhat.com>
2630
2631         * libgcc2.h (AVOID_FP_TYPE_CONVERSION): Rename from
2632         IS_IBM_EXTENDED.  Also define in terms of WIDEST_HARDWARE_FP_SIZE.
2633         * libgcc2.c (__floatdisf): Avoid double-word arithmetic when
2634         looking for non-zero bits shifted out.  Avoid a recursive call
2635         when constructing the scalar.
2636         (__floatundisf): Likewise.
2637
2638 2007-04-24  Nathan Froyd  <froydnj@codesourcery.com>
2639
2640         * dwarf2out.c (field_byte_offset): Move the existing logic
2641         under the control of PCC_BITFIELD_TYPE_MATTERS and just use
2642         the bit offset of the field if !PCC_BITFIELD_TYPE_MATTERS.
2643
2644 2007-04-24  Andreas Krebbel  <krebbel1@de.ibm.com>
2645
2646         PR target/31641
2647         * config/s390/s390.c (s390_expand_setmem): Don't ICE for constant length
2648         argument of 0 for memset.
2649         (s390_expand_movmem, s390_expand_setmem, s390_expand_cmpmem): Use
2650         unsigned shift instead of the signed variant.
2651
2652 2007-04-24  Andreas Krebbel  <krebbel1@de.ibm.com>
2653
2654         * config/s390/s390.md ("*cmp<mode>_ccs_0_ibm", "*cmp<mode>_ccs_ibm",
2655         "fix_trunc<BFP:mode><GPR:mode>2_ieee", "fix_truncdfsi2_ibm",
2656         "floatsidf2_ibm", "floatsisf2", "truncdfsf2_ieee", "truncdfsf2_ibm",
2657         "*trunctfdf2_ieee", "*trunctfdf2_ibm", "*trunctfsf2_ieee",
2658         "*trunctfsf2_ibm", "extendsfdf2_ieee", "extendsfdf2_ibm",
2659         "*extenddftf2_ieee", "*extenddftf2_ibm", "*extendsftf2_ieee",
2660         "*extendsftf2_ibm", "*add<mode>3", "*add<mode>3_ibm", "*sub<mode>3_ibm",
2661         "*mul<mode>3", "*mul<mode>3_ibm", "*div<mode>3", "*div<mode>3_ibm",
2662         "*neg<mode>2_ibm", "*abs<mode>2_ibm"): Insn definitions removed.
2663         ("fix_trunc<BFP:mode><GPR:mode>2_bfp", "floatsi<mode>2",
2664         "truncdfsf2", "trunctf<mode>2", "add<mode>3", "sub<mode>3",
2665         "mul<mode>3", "div<mode>3"): Insn definitions added.
2666         ("fixuns_trunc<BFP:mode><GPR:mode>2", "fix_trunc<mode>di2",
2667         "fix_trunc<mode>si2"): gen_fix_trunc<BFP:mode><GPR:mode>2_ieee renamed
2668         to gen_fix_trunc<BFP:mode><GPR:mode>2_bfp.
2669         ("fix_truncdfsi2", "floatsitf2", "truncdfsf2", "trunctfdf2",
2670         "trunctfsf2", "extendsfdf2", "extenddftf2", "extendsftf2", "add<mode>3",
2671         "sub<mode>3", "mul<mode>3", "div<mode>3"): Expander removed.
2672         ("fix_trunc<mode>si2", "extend<DSF:mode><BFP:mode>2"): Expander added.
2673         * config/s390/s390.h (TARGET_IBM_FLOAT, TARGET_IEEE_FLOAT,
2674         TARGET_FLOAT_FORMAT): Macro definitions removed.
2675         (FP_REGNO_P): No special case for !TARGET_IEEE_FLOAT anymore.
2676         * config/s390/s390.c (struct processor_costs, z900_cost, z990_cost,
2677         z9_109_cost): Remove fields for hexfloat instructions: dxr, ddr and der.
2678         (s390_rtx_costs): Remove !TARGET_IEEE_FLOAT special branches.
2679         (s390_gen_rtx_const_DI): Function removed.
2680         * config/s390/s390-protos.h (s390_gen_rtx_const_DI): Prototype removed.
2681
2682 2007-04-24  Richard Sandiford  <richard@codesourcery.com>
2683
2684         * optabs.c (set_conv_libfunc): Prefer libgcc2's __ffsMM2 functions
2685         over an external ffs function.
2686
2687 2007-04-24  Chao-ying Fu  <fu@mips.com>
2688             Richard Sandiford  <richard@nildram.co.uk>
2689
2690         * doc/md.texi (madd@var{m}@var{n}4, umadd@var{m}@var{n}4): Document.
2691         * optabs.h (OTI_smadd_widen, OTI_umadd_widen): New optab_indexes.
2692         (smadd_widen_optab, umadd_widen_optab): Define.
2693         * optabs.c (init_optabs): Initialize smadd_widen_optab and
2694         umadd_widen_optab.
2695         * genopinit.c (optabs): Fill in smadd_widen_optab and
2696         umadd_widen_optab.
2697         * expr.c (expand_expr_real_1): Try to use smadd_widen_optab
2698         and umadd_widen_optab to implement multiply-add sequences.
2699         * config/mips/mips.md (*<su>mul_acc_di): Rename to...
2700         (<u>maddsidi4): ...this.  Extend condition to include
2701         GENERATE_MADD_MSUB and TARGET_DSPR2.  Change the constraint
2702         of operand 0 to "ka" and use the three-operand form of madd<u>
2703         for TARGET_DSPR2.
2704         * config/mips/mips-dspr2.md (mips_madd, mips_maddu): Convert
2705         to define_expands.
2706         * config/mips/constraints.md (ka): New register constraint.
2707
2708 2007-04-24  Jan Hubicka  <j@suse.cz>
2709
2710         Revert:
2711
2712         2007-04-23  Jan Hubicka  <jh@suse.cz>
2713         * function.c (init_function_start): Don't init line number info.
2714         (expand_function_end): Update.
2715         (reset_block_changes, record_block_change, finalize_block_changes,
2716         check_block_change, free_block_changes): Kill.
2717         * function.h (reset_block_changes, record_block_change,
2718         finalize_block_changes, check_block_change, free_block_changes): Remove
2719         prototypes.
2720         (struct function): Remove ib_boundaries_block.
2721         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
2722         Use curr_insn_locator to initialize locator.
2723         (emit_line_note): Remove.
2724         * cfgexpand.c (expand_gimple_cond_expr): Update.
2725         (construct_exit_block): Likewise.
2726         (tree_expand_cfg): Initialize/finalize locators.
2727         * expr.c (expand_expr_real): Update.
2728         * cfglayout.c (line_locators_locs, line_locators_lines,
2729         file_locators_locs, file_locators_files): Remove.
2730         (set_block_levels): Move to cfgexpand.c.
2731         (insn_locators_initialize): Remove.
2732         (pass_insn_locators_initialize): Remove.
2733         (locations_locators_locs, locations_locators_vals): New static vars.
2734         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
2735         Likewise.
2736         (insn_locators_alloc, insn_locators_finalize,
2737         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
2738         New functions.
2739         (locator_location): New.
2740         (locator_line, locator_file): Rewrite.
2741         * rtl.h (emit_line_note): Kill.
2742         (insn_locators_alloc, insn_locators_finalize,
2743         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
2744         Declare.
2745         * tree-inline.c (initialize_cfun): Do not initialize
2746         ib_boundaries_block.
2747         * passes.c (pass_insn_locators_initialize): Remove.
2748
2749 2007-04-24  Daniel Franke  <franke.daniel@gmail.com>
2750
2751         * doc/invoke.texi: Removed leading '-' from option index entries.
2752
2753 2007-04-23  Zdenek Dvorak  <dvorakz@suse.cz>
2754
2755         * tree-phinodes.c (reserve_phi_args_for_new_edge, remove_phi_node):
2756         Use phi_nodes_ptr.
2757         (create_phi_node): Use set_phi_nodes.
2758         * omp-low.c (expand_omp_parallel): Use bb_stmt_list.
2759         * tree-if-conv.c (process_phi_nodes): Use set_phi_nodes.
2760         (combine_blocks):  Use bb_stmt_list and set_bb_stmt_list.
2761         * tree-flow-inline.h (phi_nodes, set_phi_nodes,
2762         (bsi_start, bsi_last): Use bb_stmt_list.
2763         (phi_nodes_ptr, bb_stmt_list, set_bb_stmt_list): New functions.
2764         * cfgexpand.c (expand_gimple_basic_block): Use bb_stmt_list.
2765         Traverse the statements using tsi iterator.
2766         * basic-block.h (struct basic_block_def): Fields stmt_list
2767         and phi_nodes moved to ...
2768         (struct tree_bb_info): ... new structure.
2769         * tree-cfg.c (create_bb): Allocate il.tree.  Use set_bb_stmt_list.
2770         (tree_merge_blocks): Use bb_stmt_list and set_bb_stmt_list.
2771         (remove_bb): Handle blocks with NULL stmt list.  Clear il.tree field.
2772         (tree_verify_flow_info): Verify that il.tree is not set for
2773         entry and exit block.
2774         (tree_split_block): Use set_bb_stmt_list.
2775
2776 2007-04-23  Mike Stump  <mrs@apple.com>
2777
2778         * config/i386/i386.c (ix86_tune_features
2779         [X86_TUNE_DEEP_BRANCH_PREDICTION]: Prefer call over thunks on
2780         nocona and core2.
2781
2782 2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>
2783
2784         * config/i386/i386.md (prefix_extra): New attribute.
2785         (length): Add prefix_extra.
2786
2787         * onfig/i386/sse.md (sse2_movdqu): Set prefix_data16.
2788         (sse2_movntv2di): Likewise.
2789         (sse2_cvtps2dq): Likewise.
2790         (sse2_cvtpd2pi): Likewise.
2791         (sse2_cvttpd2pi): Likewise.
2792         (*sse2_cvtpd2ps): Likewise.
2793         (*add<mode>3): Likewise.
2794         (sse2_ssadd<mode>3): Likewise.
2795         (sse2_usadd<mode>3): Likewise.
2796         (*sub<mode>3): Likewise.
2797         (sse2_sssub<mode>3): Likewise.
2798         (sse2_ussub<mode>3): Likewise.
2799         (*mulv8hi3): Likewise.
2800         (*smulv8hi3_highpart): Likewise.
2801         (*umulv8hi3_highpart): Likewise.
2802         (sse2_umulv2siv2di3): Likewise.
2803         (sse2_pmaddwd): Likewise.
2804         (ashr<mode>3): Likewise.
2805         (lshr<mode>3): Likewise.
2806         (ashl<mode>3): Likewise.
2807         (sse2_ashlti3): Likewise.
2808         (sse2_lshrti3): Likewise.
2809         (*umaxv16qi3): Likewise.
2810         (*smaxv8hi3): Likewise.
2811         (*uminv16qi3): Likewise.
2812         (*sminv8hi3): Likewise.
2813         (sse2_eq<mode>3): Likewise.
2814         (sse2_gt<mode>3): Likewise.
2815         (*and<mode>3): Likewise.
2816         (sse2_nand<mode>3): Likewise.
2817         (*ior<mode>3): Likewise.
2818         (*xor<mode>3): Likewise.
2819         (sse2_packsswb): Likewise.
2820         (sse2_packssdw): Likewise.
2821         (sse2_packuswb): Likewise.
2822         (sse2_punpckhbw): Likewise.
2823         (sse2_punpcklbw): Likewise.
2824         (sse2_punpckhwd): Likewise.
2825         (sse2_punpcklwd): Likewise.
2826         (sse2_punpckhdq): Likewise.
2827         (sse2_punpckldq): Likewise.
2828         (sse2_punpckhqdq): Likewise.
2829         (sse2_punpcklqdq): Likewise.
2830         (*sse2_pinsrw): Likewise.
2831         (*sse2_pextrw): Likewise.
2832         (sse2_pshufd_1): Likewise.
2833         (sse2_uavgv16qi3): Likewise.
2834         (sse2_uavgv8hi3): Likewise.
2835         (sse2_psadbw): Likewise.
2836         (sse2_pmovmskb): Likewise.
2837         (*sse2_maskmovdqu): Likewise.
2838         (*sse2_maskmovdqu_rex64): Likewise.
2839         (sse4a_extrqi): Likewise.
2840         (sse4a_extrq): Likewise.
2841         (sse3_lddqu): Set prefix_rep.
2842         (sse3_addsubv4sf3): Likewise.
2843         (sse3_haddv4sf3): Likewise.
2844         (sse3_hsubv4sf3): Likewise.
2845         (sse_cvtss2si): Likewise.
2846         (sse_cvtss2si_2): Likewise.
2847         (sse_cvtss2siq): Likewise.
2848         (sse_cvtss2siq_2): Likewise.
2849         (sse_cvttss2si): Likewise.
2850         (sse_cvttss2siq): Likewise.
2851         (sse2_cvttps2dq): Likewise.
2852         (sse3_movshdup): Likewise.
2853         (sse3_movsldup): Likewise.
2854         (sse2_cvtsd2si): Likewise.
2855         (sse2_cvtsd2si_2): Likewise.
2856         (sse2_cvtsd2siq): Likewise.
2857         (sse2_cvtsd2siq_2): Likewise.
2858         (sse2_cvttsd2si): Likewise.
2859         (sse2_cvttsd2siq): Likewise.
2860         (*sse2_cvtpd2dq): Likewise.
2861         (*sse2_cvttpd2dq): Likewise.
2862         (sse2_pshuflw_1): Likewise.
2863         (sse2_pshufhw_1): Likewise.
2864         (sse4a_insertqi): Likewise.
2865         (sse4a_insertq): Likewise.
2866         (ssse3_phaddwv8hi3): Set prefix_data16 and prefix_extra.
2867         (ssse3_phadddv4si3): Likewise.
2868         (ssse3_phaddswv8hi3): Likewise.
2869         (ssse3_phsubwv8hi3): Likewise.
2870         (ssse3_phsubdv4si3): Likewise.
2871         (ssse3_phsubswv8hi3): Likewise.
2872         (ssse3_pmaddubswv8hi3): Likewise.
2873         (ssse3_pmulhrswv8hi3): Likewise.
2874         (ssse3_pshufbv16qi3): Likewise.
2875         (ssse3_psign<mode>3): Likewise.
2876         (ssse3_palignrti): Likewise.
2877         (abs<mode>2): Likewise.
2878         (ssse3_phaddwv4hi3): Set prefix_extra.
2879         (ssse3_phadddv2si3): Likewise.
2880         (ssse3_phaddswv4hi3): Likewise.
2881         (ssse3_phsubwv4hi3): Likewise.
2882         (ssse3_phsubdv2si3): Likewise.
2883         (ssse3_phsubswv4hi3): Likewise.
2884         (ssse3_pmaddubswv4hi3): Likewise.
2885         (ssse3_pmulhrswv4hi3): Likewise.
2886         (ssse3_pshufbv8qi3): Likewise.
2887         (ssse3_psign<mode>3): Likewise.
2888         (ssse3_palignrdi): Likewise.
2889         (abs<mode>2): Likewise.
2890         (sse2_cvtdq2ps): Set mode to V4SF instead of V2DF.
2891         (*vec_dupv2df): Set mode to V2DF instead of V4SF.
2892         (sse2_pmovmskb): Set mode to SI instead of V2DF.
2893
2894 2007-04-23  Nick Clifton  <nickc@redhat.com>
2895
2896         * params.def: Fix formatting of emacs local variables.
2897
2898 2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>
2899
2900         * config/i386/sse.md (sse2_stored): Don't split to inter-unit
2901         move if inter-unit move isn't allowed.
2902         Don't split moving the first element of V2DI to DI to inter-unit
2903         move if inter-unit move isn't allowed.
2904
2905 2007-04-23  Richard Guenther  <rguenther@suse.de>
2906
2907         * tree-ssa-sink.c (execute_sink_code): Calculate CDI_DOMINATORS
2908         and CDI_POST_DOMINATORS separately.
2909
2910 2007-04-23  Nick Clifton  <nickc@redhat.com>
2911
2912         * c.opt (Wformat-contains-nul): Add warning attribute.
2913
2914 2007-04-23  Jan Hubicka  <jh@suse.cz>
2915
2916         * function.c (init_function_start): Don't init line number info.
2917         (expand_function_end): Update.
2918         (reset_block_changes, record_block_change, finalize_block_changes,
2919         check_block_change, free_block_changes): Kill.
2920         * function.h (reset_block_changes, record_block_change,
2921         finalize_block_changes, check_block_change, free_block_changes): Remove
2922         prototypes.
2923         (struct function): Remove ib_boundaries_block.
2924         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
2925         Use curr_insn_locator to initialize locator.
2926         (emit_line_note): Remove.
2927         * cfgexpand.c (expand_gimple_cond_expr): Update.
2928         (construct_exit_block): Likewise.
2929         (tree_expand_cfg): Initialize/finalize locators.
2930         * expr.c (expand_expr_real): Update.
2931         * cfglayout.c (line_locators_locs, line_locators_lines,
2932         file_locators_locs, file_locators_files): Remove.
2933         (set_block_levels): Move to cfgexpand.c.
2934         (insn_locators_initialize): Remove.
2935         (pass_insn_locators_initialize): Remove.
2936         (locations_locators_locs, locations_locators_vals): New static vars.
2937         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
2938         Likewise.
2939         (insn_locators_alloc, insn_locators_finalize,
2940         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
2941         New functions.
2942         (locator_location): New.
2943         (locator_line, locator_file): Rewrite.
2944         * rtl.h (emit_line_note): Kill.
2945         (insn_locators_alloc, insn_locators_finalize,
2946         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
2947         Declare.
2948         * tree-inline.c (initialize_cfun): Do not initialize
2949         ib_boundaries_block.
2950         * passes.c (pass_insn_locators_initialize): Remove.
2951
2952 2007-04-22  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2953
2954         PR middle-end/31448
2955         * expr.c (reduce_to_bit_field_precision): Handle
2956         CONST_INT rtx's.
2957
2958 2007-04-22  Uros Bizjak  <ubizjak@gmail.com>
2959
2960         PR tree-optimization/24659
2961         * optabs.h (enum optab_index) [OTI_vec_unpacks_hi,
2962         OTI_vec_unpacks_lo]: Update comment to mention floating point operands.
2963         (vec_pack_trunc_optab): Rename from vec_pack_mod_optab.
2964         * genopinit.c (optabs): Rename vec_pack_mod_optab
2965         to vec_pack_trunc_optab.
2966         * tree-vect-transform.c (vectorizable_type_demotion): Do not fail
2967         early for scalar floating point operands for NOP_EXPR.
2968         (vectorizable_type_promotion): Ditto.
2969         * optabs.c (optab_for_tree_code) [VEC_PACK_TRUNC_EXPR]: Return
2970         vec_pack_trunc_optab.
2971         (expand_binop): Rename vec_float_trunc_optab to vec_pack_mod_optab.
2972
2973         * tree.def (VEC_PACK_TRUNC_EXPR): Rename from VEC_PACK_MOD_EXPR.
2974         * tree-pretty-print.c (dump_generic_node) [VEC_PACK_TRUNC_EXPR]:
2975         Rename from VEC_PACK_MOD_EXPR.
2976         (op_prio) [VEC_PACK_TRUNC_EXPR]: Ditto.
2977         * expr.c (expand_expr_real_1): Ditto.
2978         * tree-inline.c (estimate_num_insns_1): Ditto.
2979         * tree-vect-generic.c (expand_vector_operations_1): Ditto.
2980
2981         * config/i386/sse.md (vec_unpacks_hi_v4sf): New expander.
2982         (vec_unpacks_lo_v4sf): Ditto.
2983         (vec_pack_trunc_v2df): Ditto.
2984         (vec_pack_trunc_v8hi): Rename from vec_pack_mod_v8hi.
2985         (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
2986         (vec_pack_trunc_v2di): Rename from vec_pack_mod_v2di.
2987
2988         * config/rs6000/altivec.md (vec_pack_trunc_v8hi): Rename from
2989         vec_pack_mod_v8hi.
2990         (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
2991
2992         * doc/c-tree.texi (Expression trees) [VEC_PACK_TRUNC_EXPR]:
2993         Rename from VEC_PACK_MOD_EXPR.  This expression also represent
2994         packing of floating point operands.
2995         [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO_EXPR]: These expression also
2996         represent unpacking of floating point operands.
2997         * doc/md.texi (Standard Names) [vec_pack_trunc]: Update documentation.
2998         [vec_unpacks_hi]: Ditto.
2999         [vec_unpacks_lo]: Ditto.
3000
3001 2007-04-22  Jan Hubicka  <jh@suse.cz>
3002
3003         * final.c (rest_of_handle_final): Call
3004         targetm.asm_out.constructor/targetm.asm_out.destructor
3005         * cgraphunit.c (cgraph_build_static_cdtor): Don't do it here; set
3006         proper priority via decl_*_priority_insert.
3007         * c-common.c (c_expand_body): Likewise.
3008
3009 2007-04-22  Richard Guenther  <rguenther@suse.de>
3010
3011         PR tree-optimization/29789
3012         * tree-ssa-loop-im.c (stmt_cost): Adjust cost of shifts.
3013         (rewrite_reciprocal): New helper split out from
3014         determine_invariantness_stmt.
3015         (rewrite_bittest): Likewise.
3016         (determine_invariantness_stmt): Rewrite (A >> B) & 1 to
3017         A & (1 << B) if (1 << B) is loop invariant but (A >> B)
3018         is not.
3019
3020 2007-04-22  Revital Eres  <eres@il.ibm.com>
3021
3022         * loop-unroll.c (var_to_expand): New field to support also
3023         insns of the form x = something + x.
3024         (analyze_insn_to_expand_var): Use it.
3025         (expand_var_during_unrolling): Likewise.
3026
3027 2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>
3028
3029         * predict.c: Include pointer-set.h.
3030         (bb_predictions): New variable.
3031         (tree_predicted_by_p, tree_predict_edge,
3032         remove_predictions_associated_with_edge): Use bb_predictions map
3033         instead of bb->predictions.
3034         (clear_bb_predictions, assert_is_empty): New functions.
3035         (combine_predictions_for_bb): Use bb_predictions map.  Call
3036         clear_bb_predictions.
3037         (tree_estimate_probability): Create and free bb_predictions map.
3038         * Makefile.in (predict.o): Add pointer-set.h dependency.
3039         * basic-block.h (struct basic_block_def): Remove predictions
3040         field.
3041         * cfgrtl.c (rtl_verify_flow_info_1): Do not check bb->predictions.
3042
3043 2007-04-21  Kaz Kojima  <kkojima@gcc.gnu.org>
3044
3045         PR target/31480
3046         * config/sh/sh.md (length): Check if prev_nonnote_insn (insn)
3047         is null.
3048
3049 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3050
3051         * timevar.c (timevar_print): Change reference of --disable-checking to
3052         --enable-checking=release.  Also warn if assert checking is disabled.
3053
3054 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3055
3056         PR C/30265
3057         * c-gimplifier.c (gimplify_compound_literal_expr): Mark the
3058         decl as addressable if the compound literal was marked as
3059         addressable.
3060         Mark the decl as a gimple register if it is a complex or
3061         vector decl and does not live in memory.
3062
3063 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3064
3065         * tree.h (GIMPLE_TUPLE_P): Also true for PHI_NODEs.
3066         (GENERIC_NEXT): New function macro.
3067         (PHI_CHAIN): Use phi_node's new chain variable.
3068         (tree_phi_node): Change tree_common to tree_base
3069         and add the chain field.
3070         * tree-phinodes.c (make_phi_node): Don't set
3071         TREE_TYPE on the new node.
3072         * c-decl.c (lang_tree_node): Use GENERIC_NEXT
3073         instead of checking GIMPLE_TUPLE_P in chain_next.
3074         * tree-vect-transform.c
3075         (get_initial_def_for_induction): Look at
3076         PHI_RESULT_TREE for the type of the phi node.
3077         (update_vuses_to_preheader): Use PHI_CHAIN
3078         instead of TREE_CHAIN on the phi node.
3079         * tree-ssa-structalias.c (compute_points_to_sets):
3080         Likewise.
3081         (ipa_pta_execute): Likewise.
3082
3083 2007-04-21  Richard Guenther  <rguenther@suse.de>
3084
3085         PR middle-end/31136
3086         * fold-const.c (fold_unary): Call fold_convert_const on the
3087         original tree.
3088
3089 2007-04-21  Alexandre Oliva  <aoliva@redhat.com>
3090
3091         * gcse.c (store_killed_in_insn): Handle PARALLELs.
3092         (store_killed_in_pat): New.
3093
3094 2007-04-20  Richard Henderson  <rth@redhat.com>
3095
3096         PR target/31628
3097         * config/i386/i386.c (type_has_variadic_args_p): Look for any
3098         TREE_LIST with a void_type_node value, not void_list_node exactly.
3099
3100 2007-04-21  Douglas Gregor  <doug.gregor@gmail.com>
3101
3102         * doc/standards.texi: Re-arrange into language-specific
3103         subsections. Add a C++ section, documenting which standards we
3104         support.
3105
3106 2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>
3107
3108         * tree-ssa-structalias.c (delete_points_to_sets): Free graph->complex.
3109         * tree-ssa-operands.c (finalize_ssa_vuse_ops): Free new_ops.
3110
3111 2007-04-20  Daniel Jacobowitz  <dan@codesourcery.com>
3112
3113         * config/rs6000/sysv4.h (STARTFILE_DEFAULT_SPEC): Include
3114         ecrti.o and crtbegin.o.
3115         (LIB_DEFAULT_SPEC): Include -lc.
3116         (ENDFILE_DEFAULT_SPEC): Include crtend.o and ecrtn.o.
3117
3118 2007-04-20  Richard Henderson  <rth@redhat.com>
3119
3120         PR target/28623
3121         * config/alpha/alpha.c (get_unaligned_address): Remove extra_offset
3122         argument; update all callers.
3123         (get_unaligned_offset): New.
3124         * config/alpha/alpha.md (extendqidi2, extendhidi2): Don't use
3125         get_unaligned_address, just pass on the address directly.
3126         (unaligned_extendqidi): Use gen_lowpart instead of open-coding
3127         the subreg in the helper patterns.
3128         (unaligned_extendqidi_le): Use get_unaligned_offset.
3129         (unaligned_extendqidi_be, unaligned_extendhidi_le): Likewise.
3130         (unaligned_extendhidi_be): Likewise.
3131         (unaligned_extendhidi): Tidy.
3132         * config/alpha/alpha-protos.h: Update.
3133
3134 2007-04-20  Richard Henderson  <rth@redhat.com>
3135
3136         * config/alpha/alpha.h (CPP_SPEC, CPP_SUBTARGET_SPEC): Remove.
3137         (EXTRA_SPECS, SUBTARGET_EXTRA_SPECS): Remove.
3138         * config/alpha/linux.h (CPP_SPEC): Undef before redefine.
3139         * config/alpha/linux-elf.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
3140         * config/alpha/freebsd.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
3141         (CPP_SPEC): Don't include %(cpp_subtarget).
3142         * config/alpha/netbsd.h (CPP_SPEC): Rename CPP_SUBTARGET_SPEC.
3143         (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
3144         * config/alpha/osf.h (CPP_SPEC, EXTRA_SPECS): Similarly.
3145
3146 2007-04-20  Jakub Jelinek  <jakub@redhat.com>
3147
3148         * config/i386/i386.c (bdesc_2arg): Use ORDERED rather than UNORDERED
3149         for __builtin_ia32_cmpordss.
3150
3151         PR tree-optimization/31632
3152         * fold-const.c (fold_binary): Use op0 and op1 instead of arg0
3153         and arg1 for optimizations of comparison against min/max values.
3154         Fold arg0 to arg1's type for optimizations of comparison against
3155         min+1 and max-1 values.
3156
3157 2007-04-19  Bernd Schmidt  <bernd.schmidt@analog.com>
3158
3159         * reload.c (combine_reloads): When trying to use a dying register,
3160         check whether it's uninitialized and don't use if so.
3161
3162 2007-04-19  Brooks Moses  <brooks.moses@codesourcery.com>
3163
3164         * fold-const.c: Remove prototypes for native_encode_expr and
3165         native_interpret_expr.
3166         (native_encode_expr): Make non-static.
3167         (native_interpret_expr): Likewise.
3168         * tree.h: Add prototypes for the above.
3169
3170 2007-04-19  Joseph Myers  <joseph@codesourcery.com>
3171
3172         * config/rs6000/spe.md (*frob_tf_ti, *frob_ti_tf, *frob_ti_tf_2,
3173         *mov_si<mode>_e500_subreg0, *mov_si<mode>_e500_subreg0_2,
3174         *mov_sitf_e500_subreg8, *mov_sitf_e500_subreg8_2, spe_extenddftf2,
3175         spe_fix_trunctfsi2_internal, spe_negtf2_internal, cmptfeq_gpr,
3176         tsttfeq_gpr, cmptfgt_gpr, tsttfgt_gpr, cmptflt_gpr, tsttflt_gpr):
3177         Add length attributes.
3178
3179 2007-04-19  Janis Johnson  <janis187@us.ibm.com>
3180
3181         * ginclude/float.h: Check that __STDC_WANT_DEC_FP__ is defined,
3182         not that it is 1.
3183
3184         * c-cppbuiltin.c (c_cpp_builtins): Remove definition of
3185         __STDC_WANT_DEC_FP__.
3186
3187 2007-04-19  Joseph Myers  <joseph@codesourcery.com>
3188
3189         * configure.ac: Allow both powerpc*-*-linux* and powerpc*-*-gnu*
3190         for long double compatibility.
3191         * configure: Regenerate.
3192
3193 2007-04-19  Eric Botcazou  <ebotcazou@libertysurf.fr>
3194
3195         PR rtl-optimization/29841
3196         * cfgbuild.c (control_flow_insn_p): Return TRUE for unconditional
3197         trap instructions.
3198         * sched-deps.c (sched_analyze_insn): Prevent all non-jump instructions
3199         that may cause control flow transfer from being moved.
3200
3201 2007-04-18  Jan Hubicka  <jh@suse.cz>
3202
3203         * fold-const.c (div_if_zero_remainder): Do signed divide for pointer
3204         types.
3205
3206 2007-04-18  Eric Christopher  <echristo@apple.com>
3207
3208         * config/rs6000/darwin.md (load_macho_picbase): Use link register
3209         only. Update operands.
3210         * config/rs6000/rs6000.c (rs6000_emit_prologue): Update caller.
3211         * config/rs6000/rs6000.md (builtin_setjmp_receiver): Ditto. Move from
3212         link register to pic register.
3213
3214 2007-04-18  Dirk Mueller  <dmueller@suse.de>
3215
3216         PR diagnostic/31227
3217         * tree-vrp.c (search_for_addr_array): New.
3218         (check_array_bounds): Suppress warning about
3219         address taken of array refs if its not de-referenced.
3220
3221 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
3222
3223         * tree-vectorizer.c (destroy_loop_vec_info): Set loop->aux to NULL.
3224         * tree-vect-analyze.c (vect_analyze_loop_form): Set loop->aux.
3225
3226         * tree-vectorizer.h (NITERS_KNOWN_P): New.
3227         * tree-vect-analyze.c (vect_analyze_loop_form): Call NITERS_KNOWN_P
3228         instead of LOOP_VINFO_INT_NITERS to avoid having to geneate loop_info.
3229
3230         * tree-vect-analyze.c (vect_determine_vectorization_factor): Add
3231         dump print.
3232         (vect_analyze_operations): Fix indenetation.  Fix a comment.  Fix a
3233         print message.
3234         (vect_analyze_scalar_cycles): Fix indentation.
3235         (vect_enhance_data_refs_alignment): Fix check in case of peeling.
3236         (vect_mark_relevant): Include phis in relevance analysis.
3237
3238         * tree-vect-transform.c (vect_transform_loop): Add an assert.
3239
3240 2007-04-18  Anatoly Sokolov <aesok@post.ru>
3241
3242         * config/avr/avr.c (ptrreg_to_str): Replace error() with
3243         output_operand_lossage().
3244
3245 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
3246
3247         * tree-vect-transform.c (get_initial_def_for_reduction): Clean away
3248         the unused code for reduction without adjust-in-epilog to simplify the
3249         function.
3250
3251 2007-04-18  Wolfgang Gellerich  <gellerich@de.ibm.com>
3252
3253         * config/s390/s390.h (S390_TDC_POSITIVE_ZERO): New constant.
3254         (S390_TDC_NEGATIVE_ZERO): New constant.
3255         (S390_TDC_POSITIVE_NORMALIZED_NUMBER): New constant.
3256         (S390_TDC_NEGATIVE_NORMALIZED_NUMBER): New constant.
3257         (S390_TDC_POSITIVE_DENORMALIZED_NUMBER): New constant.
3258         (S390_TDC_NEGATIVE_DENORMALIZED_NUMBER): New constant.
3259         (S390_TDC_POSITIVE_INFINITY): New constant.
3260         (S390_TDC_NEGATIVE_INFINITY): New constant.
3261         (S390_TDC_POSITIVE_QUIET_NAN): New constant.
3262         (S390_TDC_NEGATIVE_QUIET_NAN): New constant.
3263         (S390_TDC_POSITIVE_SIGNALING_NAN): New constant.
3264         (S390_TDC_NEGATIVE_SIGNALING_NAN): New constant.
3265         (S390_TDC_INFINITY): New constant.
3266         * config/s390/s390.c (s390_canonicalize_comparison): Renamed
3267         UNSPEC_CMPINT to UNSPEC_CCU_TO_INT, added a UNSPEC_CCU_TO_INT-like
3268         optimization for UNSPEC_CCZ_TO_INT.
3269         * config/s390/s390.md ("*TDC_insn_<mode>"): New insn.
3270         ("*ccz_to_int"): New insn.
3271         ("isinf<mode>2"): New insn.
3272         (UNSPEC_CMPINT): Renamed to UNSPEC_CCU_TO_INT.
3273         (UNSPEC_CCU_TO_INT): New constant, replaces UNSPEC_CMPINT.
3274         (UNSPEC_CCZ_TO_INT): New constant.
3275
3276 2007-04-18  Richard Guenther  <rguenther@suse.de>
3277
3278         PR tree-optimization/19431
3279         PR tree-optimization/21463
3280         * tree-pass.h (pass_phiprop): Declare.
3281         * passes.c (init_optimization_passes): New phiprop pass.
3282         * tree-ssa-forwprop.c (struct phiprop_d): New structure.
3283         (phivn_valid_p): New helper function.
3284         (phiprop_insert_phi): Likewise.
3285         (propagate_with_phi): Likewise.
3286         (tree_ssa_phiprop): New propagator propagating loads
3287         through phi nodes if profitable.
3288
3289 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
3290
3291         * tree-vect-analyze.c (process_use): New function.
3292         (vect_mark_stmts_to_be_vectorized): Factor out code to process_use.
3293         Check phis in all bbs.
3294         * tree-vectorizer.c (vect_is_simple_use): Remove a no longer relavant
3295         assert.
3296
3297 2007-04-18  Bernd Schmidt  <bernd.schmidt@analog.com>
3298
3299         * reload1.c (eliminte_regs_in_insn): Use REG_EQUIV notes the same way
3300         we use REG_EQUAL.
3301
3302 2007-04-17  Anatoly Sokolov <aesok@post.ru>
3303
3304         PR target/30483
3305         * config/avr/avr.c (ptrreg_to_str): Replace gcc_unreachable() with
3306         error().
3307
3308 2007-04-17  H.J. Lu  <hongjiu.lu@intel.com>
3309
3310         * config/i386/sse.md (sse_vmaddv4sf3): Use register_operand
3311         on "0".
3312         (sse_vmmulv4sf3): Likewise.
3313         (sse2_vmaddv2df3): Likewise.
3314         (sse2_vmmulv2df3): Likewise.
3315
3316 2007-04-17  Zdenek Dvorak  <dvorakz@suse.cz>
3317
3318         PR rtl-optimization/31360
3319         * cfgloopanal.c (target_small_cost, target_pres_cost): Removed.
3320         (target_reg_cost): New.
3321         (init_set_costs): Initialize target_reg_cost.  Add comments
3322         regarding the rationale of the costs.
3323         (global_cost_for_size): Renamed to...
3324         (estimate_reg_pressure_cost): ... and simplify.  Decrease importance
3325         of register pressure.
3326         * tree-ssa-loop-ivopts.c (ivopts_global_cost_for_size): Use
3327         estimate_reg_pressure_cost.  Add number of ivs.
3328         (determine_set_costs): Dump target_reg_cost.
3329         * loop-invariant.c (gain_for_invariant):  Use
3330         estimate_reg_pressure_cost.  Removed n_inv_uses argument.
3331         (best_gain_for_invariant, find_invariants_to_move): Remove
3332         n_inv_uses.
3333         * cfgloop.h (target_small_cost, target_pres_cost): Removed.
3334         (target_reg_cost): Declare.
3335         (global_cost_for_size): Declaration removed.
3336         (estimate_reg_pressure_cost): Declare.
3337
3338 2007-04-17  Peter Bergner  <bergner@vnet.ibm.com>
3339
3340         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Force TDmode
3341         regnos into even/odd register pairs.
3342         * config/rs6000/rs6000.h [SLOW_UNALIGNED_ACCESS]: Treat DDmode and
3343         TDmode similar to the other floating point modes.
3344         [SECONDARY_MEMORY_NEEDED]: Treat DDmode similar to DFmode.
3345         * config/rs6000/dfp.md (negdd2, absdd2, negtd2, abstd2): New
3346         define_expand's.
3347         (negdd2_fpr, absdd2_fpr, nabsdd2_fpr, negtd2_fpr, abstd2_fpr,
3348         nabstd2_fpr, movdd_hardfloat64_mfpgpr): New define_insn's.
3349         (movdd_hardfloat64): Use TARGET_MFPGPR.
3350
3351 2007-04-17  Bernd Schmidt  <bernd.schmidt@analog.com>
3352
3353         * reload1.c (delete_output_reload): Don't count output in n_inherited.
3354
3355         Revert
3356         2005-01-05  Richard Henderson  <rth@redhat.com>
3357         PR rtl-opt/10692
3358         * reload1.c (do_input_reload): Restrict the optimization deleteing
3359         a previous output reload to RELOAD_FOR_INPUT.
3360
3361 2007-04-17  Dorit Nuzman  <dorit@il.ibm.com>
3362
3363         * tree-vectorizer.h (stmt_vec_info_type): Add enum value
3364         induc_vec_info_type.
3365         (vectorizable_induction): New function declaration.
3366         * tree-vect-transform.c (get_initial_def_for_induction): No need to
3367         check if already vectorized.  Find first place in BB where new stmts
3368         can be inserted.  Takes only one argument.
3369         (vectorizable_induction): New function.
3370         (vect_transform_stmt): Add case for induc_vec_info_type to call
3371         vectorizable_induction.
3372         (vect_transform_loop): Consider phis for vectorization.
3373         * tree-vect-analyze.c (vect_determine_vectorization_factor): Simplify
3374         condition.
3375         (analyze_operations): Call vectorizable_induction when analyzing phis.
3376         Fix comment.
3377         (vect_mark_stmts_to_be_vectorized): Remove redundant checks.
3378         (vect_mark_relevant): Include phis in relevance analysis.
3379         (vect_mark_stmts_to_be_vectorize): Likewise.
3380         * tree-vect-patterns.c (widened_name_p): Remove obsolete asserts.
3381
3382 2007-04-16  Lawrence Crowl  <crowl@google.com>
3383
3384         * doc/invoke.texi (Debugging Options): Add documentation for the
3385         -femit-struct-debug options -femit-struct-debug-baseonly,
3386         -femit-struct-debug-reduced, and
3387         -femit-struct-debug-detailed[=...].
3388
3389         * c-opts.c (c_common_handle_option): Add
3390         OPT_femit_struct_debug_baseonly, OPT_femit_struct_debug_reduced,
3391         and OPT_femit_struct_debug_detailed_.
3392         * c.opt: Add specifications for
3393         -femit-struct-debug-baseonly, -femit-struct-debug-reduced,
3394         and -femit-struct-debug-detailed[=...].
3395         * opts.c (set_struct_debug_option): Parse the
3396         -femit-struct-debug-... options.
3397         * opts.c (matches_main_base, main_input_basename,
3398         main_input_baselength, base_of_path, matches_main_base): Add
3399         variables and functions to compare header base name to compilation
3400         unit base name.
3401         * opts.c (should_emit_struct_debug): Add to determine to emit a
3402         structure based on the option.
3403         (dump_struct_debug) Also disabled function to debug this
3404         function.
3405         * opts.c (handle_options): Save the base name of the
3406         compilation unit.
3407
3408         * langhooks-def.h (LANG_HOOKS_GENERIC_TYPE_P): Define.
3409         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add.
3410         This hook indicates if a type is generic.  Set it by default
3411         to "never generic".
3412         * langhooks.h (struct lang_hooks_for_types): Add a new hook
3413         to determine if a struct type is generic or not.
3414         * cp/cp-tree.h (class_tmpl_impl_spec_p): Declare a C++ hook.
3415         * cp/tree.c (class_tmpl_impl_spec_p): Implement the C++ hook.
3416         * cp/cp-lang.c (LANG_HOOKS_GENERIC_TYPE_P): Override null C hook
3417         with live C++ hook.
3418
3419         * flags.h (enum debug_info_usage): Add an enumeration to describe
3420         a program's use of a structure type.
3421         * dwarf2out.c (gen_struct_or_union_type_die): Add a new parameter
3422         to indicate the program's usage of the type.  Filter structs based
3423         on the -femit-struct-debug-... specification.
3424         (gen_type_die): Split into two routines, gen_type_die and
3425         gen_type_die_with_usage.  gen_type_die is now a wrapper
3426         that assumes direct usage.
3427         (gen_type_die_with_usage): Replace calls to gen_type_die
3428         with gen_type_die_with_usage adding the program usage of
3429         the referenced type.
3430         (dwarf2out_imported_module_or_decl): Suppress struct debug
3431         information using should_emit_struct_debug when appropriate.
3432
3433 2007-04-16  Ian Lance Taylor  <iant@google.com>
3434
3435         PR tree-optimization/31522
3436         * tree-vrp.c (vr_phi_edge_counts): New static variable.
3437         (vrp_initialize): Allocate vr_phi_edge_counts.
3438         (vrp_visit_phi_node): Don't push to infinity if we saw a new
3439         executable edge.  Drop test for all constants.
3440         (vrp_finalize): Free vrp_phi_edge_counts.
3441
3442         * doc/cpp.texi (Common Predefined Macros): Clarify description of
3443         __GNUC_GNU_INLINE__ and __GNUC_STDC_INLINE__.
3444
3445         * tree-ssa-propagate.c (cfg_blocks_add): Insert blocks with fewer
3446         predecessors at head rather than tail.
3447
3448 2007-04-16  Matthias Klose  <doko@debian.org>
3449
3450         * config/alpha/linux.h (CPP_SPEC): Define.
3451         * config/arm/linux-gas.h (SUBTARGET_CPP_SPEC): Extend.
3452
3453 2007-04-16  Aldy Hernandez  <aldyh@redhat.com>
3454
3455         * function.h: Remove sequence_stack extern declaration.
3456
3457 2007-04-16  Kazu Hirata  <kazu@codesourcery.com>
3458
3459         * config/m68k/m68k.h (LONG_DOUBLE_TYPE_SIZE): Change to 64 on
3460         TARGET_FIDOA.
3461         (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Change to 64 if __mfido__ is
3462         defined.
3463
3464 2007-04-16  Anatoly Sokolov <aesok@post.ru>
3465
3466         * config/avr/avr.c (avr_arch_types): Rearranging  array.
3467         (enum avr_arch): Add.
3468         (avr_mcu_types): Use avr_arch enumeration constants instead of
3469         numbers.
3470         * config/avr/avr.h (LINK_SPEC): Simplify.
3471
3472 2007-04-16  Kazu Hirata  <kazu@codesourcery.com>
3473
3474         * config/m68k/m68k.c (m68k_libcall_value,
3475         m68k_function_value): Use macros for register names more.
3476
3477         * config/m68k/m68k.h (FRAME_POINTER_REGNUM): Use A6_REG
3478         instead.
3479         (M68K_REGNAME): Use A6_REG.
3480         * config/m68k/m68k.md (FP_REG): Rename to A6_REG.
3481
3482 2007-04-16  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
3483
3484         PR middle-end/28071
3485         * sched-int.h (struct deps): Split field 'pending_lists_length' into
3486         'pending_read_list_length' and 'pending_write_list_length'.  Update
3487         comment.
3488         * sched-deps.c (add_insn_mem_dependence): Change signature.  Update
3489         to handle two length counters instead of one.  Update all uses.
3490         (flush_pending_lists, sched_analyze_1, init_deps): Update to handle
3491         two length counters instead of one.
3492         * sched-rgn.c (propagate_deps): Update to handle two length counters
3493         instead of one.
3494
3495 2007-04-16  H.J. Lu  <hongjiu.lu@intel.com>
3496
3497         PR target/31582
3498         * config/i386/i386.c (ix86_expand_vec_set_builtin): Make a
3499         copy of source, pass it to ix86_expand_vector_set and return
3500         it as target.
3501
3502 2007-04-16  David Ung  <davidu@mips.com>
3503             Joseph Myers  <joseph@codesourcery.com>
3504
3505         * config/mips/mips.h (PROCESSOR_74KC, PROCESSOR_74KF,
3506         PROCESSOR_74KX, TUNE_74K, GENERATE_MADD_MSUB): Define.
3507         * config/mips/mips.c (mips_cpu_info_table, mips_rtx_cost_data):
3508         Add 74K processor information.
3509         * config/mips/mips.md: Include 74k.md.
3510         (cpu): Add 74kc,74kf,74kx.
3511         (ISA_HAS_MADD_MSUB): Change to GENERATE_MADD_MSUB throughout.
3512         * config/mips/74k.md: New.
3513         * doc/invoke.texi (MIPS Options): Document 74K support.
3514
3515 2007-04-16  Dorit Nuzman  <dorit@il.ibm.com>
3516
3517         * tree-vect-analyze.c (vect_analyze_operations): Reorganize calls to
3518         vectorizable_* functions.
3519         * tree-vect-transform.c (vectorizable_call): Add check for
3520         STMT_VINFO_RELEVANT_P, STMT_VINFO_DEF_TYPE and STMT_VINFO_LIVE_P.
3521         (vectorizable_store): likewise.
3522         (vectorizable_conversion): Add check for STMT_VINFO_DEF_TYPE.
3523         Add comments.
3524         (vectorizable_operation, vectorizable_type_demotion): Likewise.
3525         (vectorizable_type_promotion, vectorizable_load): Likewise.
3526         (vectorizable_live_operation, vectorizable_condition): Likewise.
3527         (vectorizable_assignment): Add check for STMT_VINFO_DEF_TYPE and
3528         STMT_VINFO_LIVE_P.
3529         (vect_transform_stmt): Reorganize calls to vectorizable_* functions.
3530
3531 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
3532
3533         * config/m68k/linux.h (FUNCTION_VALUE_REGNO_P): Use macros for
3534         register numbers more.
3535         * config/m68k/m68k.h (STACK_POINTER_REGNUM,
3536         FRAME_POINTER_REGNUM, STATIC_CHAIN_REGNUM,
3537         M68K_STRUCT_VALUE_REGNUM, FUNCTION_VALUE, LIBCALL_VALUE,
3538         FUNCTION_VALUE_REGNO_P): Likewise.
3539         * config/m68k/m68kelf.h (M68K_STRUCT_VALUE_REGNUM,
3540         STATIC_CHAIN_REGNUM): Likewise.
3541         * config/m68k/m68kemb.h (FUNCTION_VALUE_REGNO_P): Likewise.
3542         * config/m68k/netbsd-elf.h (M68K_STRUCT_VALUE_REGNUM,
3543         STATIC_CHAIN_REGNUM, FUNCTION_VALUE_REGNO_P): Likewise.
3544         * config/m68k/m68k.md (FP_REG): New.
3545
3546 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
3547
3548         * config/m68k/m68k.h (PREFERRED_STACK_BOUNDARY): Prefer 32-bit
3549         alignment on fido.
3550
3551 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
3552
3553         * config/i386/i386.c, config/s390/s390.c, config/s390/s390.md,
3554         tree-ssa-loop-niter.c, tree-ssa-structalias.c, tree-vrp.c: Fix
3555         comment typos.
3556
3557 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
3558
3559         * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Ignore
3560         cold loops.
3561
3562 2007-04-14  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3563
3564         PR c/31520
3565         * c-decl.c (finish_decl): Grab the type of the decl after the call
3566         to store_init_value.
3567
3568 2007-04-14  Steven Bosscher  <steven@gcc.gnu.org>
3569
3570         * common.opt (fforward-propagate): Fix "Optimization" annotation.
3571
3572 2007-04-14  Jakub Jelinek  <jakub@redhat.com>
3573
3574         PR c++/25874
3575         * omp-low.c (expand_omp_parallel): If child_cfun->cfg, free dominators,
3576         post dominators and cleanup cfg before returning.
3577
3578 2007-04-14  Bernd Schmidt  <bernd.schmidt@analog.com>
3579
3580         * config/bfin/bfin.h (MODES_TIEABLE_P): Allow more modes to be tied.
3581         * config/bfin/bfin.md (movsi_insn): Delete two unused alternatives.
3582
3583 2007-04-14  Kazu Hirata  <kazu@codesourcery.com>
3584
3585         * config.gcc: Recognize fido.
3586         * config/m68k/m68k-devices.def (fidoa): New.
3587         * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define
3588         __mfido__.
3589         (FL_FIDOA, TARGET_FIDOA): New.
3590         * config/m68k/m68k.opt (mfidoa): New.
3591
3592 2007-04-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3593
3594         PR middle-end/31322
3595         * dwarf2out.c (output_call_frame_info): Call assemble_external_libcall
3596         when a personality function is used.
3597
3598 2007-04-13  Bob Wilson  <bob.wilson@acm.org>
3599
3600         * config/xtensa/xtensa.c (xtensa_expand_builtin): Use CALL_EXPR_FN.
3601
3602 2007-04-13  Mike Stump  <mrs@apple.com>
3603
3604         * config/darwin-c.c (handle_c_option): Handle -fapple-kext here so
3605         we can...
3606         * config/darwin.opt (fapple-kext): Make C++ only.
3607         * config/darwin.c (darwin_override_options): Remove code to ensure
3608         -fapple-kext is given for C++ only.
3609
3610 2007-04-13  Richard Sandiford  <richard@codesourcery.com>
3611
3612         * config/mips/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Define.
3613         * config/mips/mips.c (override_options): Call
3614         SUBTARGET_OVERRIDE_OPTIONS, if defined.
3615
3616 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
3617
3618         * config/i386/i386.opt (msvr3-shlib): Removed.
3619
3620         * doc/invoke.texi: Remove -msvr3-shlib.
3621
3622 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
3623
3624         * config/i386/i386.opt (mpopcnt): Replace "popcount" instruction
3625         with "popcnt" instruction.
3626
3627 2007-04-13  Richard Guenther  <rguenther@suse.de>
3628
3629         PR tree-optimization/21258
3630         * tree-vrp.c (compare_case_labels): New helper.
3631         (find_switch_asserts): New function.
3632         (find_assert_locations): Call it for SWITCH_EXPRs.
3633
3634 2007-04-13  Uros Bizjak  <ubizjak@gmail.com>
3635
3636         * config/i386/i386.h (X87_FLOAT_MODE_P): Check for TARGET_80387.
3637         * config/i386/i386.md (*cmpfp0): Remove check for TARGET_80387, this
3638         check is now implied in X87_FLOAT_MODE_P.
3639         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
3640         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
3641         (fix_trunc<mode>_i386_fisttp): Ditto.
3642         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
3643         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
3644         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
3645         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
3646         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
3647         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
3648         (unnamed_splitters): Ditto.
3649         * config/i386/i386.c (function_value_32): Generate FIRST_FLOAT_REG
3650         for X87_FLOAT_MODE_P mode.  Override FIRST_FLOAT_REG with
3651         FIRST_SSE_REG for local functions when SSE math is enabled or
3652         for functions with sseregparm attribute.
3653         (standard_80387_constant_p): Return -1 if mode is not
3654         X87_FLOAT_MODE_P.
3655         (ix86_cc_mode): Assert that scalar mode is not DECIMAL_FLOAT_MODE_P.
3656         (ix86_expand_compare): Ditto.
3657         (ix86_expand_carry_flag_compare): Ditto.
3658         (ix86_expand_int_movcc): Check for SCALAR_FLOAT_MODE_P instead
3659         of FLOAT_MODE_P for cmp_mode and assert that cmp_mode is not
3660         DECIMAL_FLOAT_MODE_P.
3661         (ix86_preferred_output_reload_class): Use X87_FLOAT_MODE_P instead
3662         of SCALAR_FLOAT_MODE_P.
3663         (ix86_rtx_costs) [PLUS] Remove FLOAT_MODE_P and fall through to ...
3664         [MINUS]: ... here.  Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P
3665         checks before FLOAT_MODE_P.
3666         [MULT]: Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P checks
3667         before FLOAT_MODE_P.
3668         [DIV]: Ditto.
3669         [NEG]: Ditto.
3670         [ABS]: Ditto.
3671         [SQRT]: Ditto.
3672         [FLOAT_EXTEND]: Use SSE_FLOAT_MODE_P.
3673
3674 2007-04-12  Paolo Bonzini  <bonzini@gnu.org>
3675             Charles Wilson  <libtool@cwilson.fastmail.fm>
3676
3677         * Makefile.in (stamp-as, stamp-collect-ld, stamp-nm): Remove.
3678         (libgcc.mvars): Don't depend on them.
3679         * configure.ac (as, collect-ld, nm): Create from exec-tool.in.
3680         * exec-tool.in: New.
3681
3682 2007-04-12  Brooks Moses  <brooks.moses@codesourcery.com>
3683
3684         * doc/invoke.text (--help): Document --help=common.
3685
3686 2007-04-12  Thomas Neumann  <tneumann@users.sourceforge.net>
3687
3688         * stub-objc.c (objc_build_keyword_decl): Avoid C++ keywords.
3689
3690 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
3691
3692         * Makefile.in (insn-emit.o): Depend on $(INTEGRATE_H).
3693         * genemit.c (main): Emit #include "integrate.h".
3694         * config/mips/mips-protos.h (SYMBOL_HALF): New mips_symbol_type.
3695         (LOADGP_RTP): New mips_loadgp_style.
3696         * config/mips/mips.h: Include config/vxworks-dummy.h.
3697         (TARGET_RTP_PIC): New macro.
3698         (TARGET_USE_GOT): Return true for TARGET_RTP_PIC.
3699         (TARGET_USE_PIC_FN_ADDR_REG): Return true for TARGET_VXWORKS_RTP.
3700         (ASM_OUTPUT_ADDR_DIFF_ELT): Emit function-relative case tables
3701         for TARGET_RTP_PIC.
3702         * config/mips/vxworks.h (SUBTARGET_ASM_SPEC): Define.  Pass down
3703         -mvxworks-pic when using -mrtp and a PIC option.
3704         * config/mips/mips.c (mips_classify_symbol): Return SYMBOL_GOT_DISP
3705         for RTP PIC.
3706         (mips_symbolic_constant_p, mips_symbolic_address_p)
3707         (mips_symbol_insns): Handle SYMBOL_HALF.
3708         (override_options): Warn about -G and -mrtp being used together.
3709         Initialize mips_lo_relocs[SYMBOL_HALF].
3710         (mips_current_loadgp_style): Return LOADGP_RTP for RTP PIC.
3711         (mips_emit_loadgp): Handle LOADGP_RTP.
3712         (mips_in_small_data_p): Return false for TARGET_VXWORKS_RTP.
3713         * config/mips/mips.md (loadgp_rtp): New insn and splitter.
3714         (tablejump): Handle function-relative case table entries if
3715         TARGET_RTP_PIC.
3716         * config/mips/predicates.md (symbol_ref_operand): New predicate.
3717
3718 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
3719
3720         * config/mips/mips.md (load_call<mode>): Allow any general register.
3721         destination.
3722         (sibcall_value_internal, sibcall_value_multiple_internal)
3723         (call_value_internal, call_value_split, call_value_multiple_internal)
3724         (call_value_multiple_split): Remove constraints from operand 0.
3725
3726 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
3727
3728         * config/mips/mips-protos.h: In comments, refer to loadgp_absolute
3729         rather than loadgp_noshared.
3730         * config/mips/mips.c (mips_emit_loadgp): Use gen_loadgp_absolute
3731         instead of gen_loadgp_noshared.  Use gen_loadgp_newabi instead of
3732         gen_loadgp.
3733         * config/mips/mips.md (loadgp): Rename to...
3734         (loadgp_newabi): ...this.
3735         (loadgp_noshared): Rename to...
3736         (loadgp_absolute): ...this.
3737
3738 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
3739
3740         * config/mips/mips.c (mips_ok_for_lazy_binding_p): Always return
3741         false for locally-binding symbols.
3742         (mips_dangerous_for_la25_p): Check mips_global_symbol_p.
3743
3744 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
3745
3746         * config/mips/mips-protos.h (SYMBOL_GOT_LOCAL): Rename to...
3747         (SYMBOL_GOT_PAGE_OFST): ...this.
3748         (SYMBOL_GOT_GLOBAL): Rename to...
3749         (SYMBOL_GOT_DISP): ...this.
3750         (SYMBOL_GOTOFF_GLOBAL): Rename to...
3751         (SYMBOL_GOTOFF_DISP): ...this.  Update comments accordingly.
3752         * config/mips/mips.c (mips_global_symbol_p): New function.
3753         (mips_symbol_binds_local_p): Likewise.
3754         (mips_classify_symbol): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP
3755         and SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST.  Use mips_global_symbol_p
3756         and mips_symbol_binds_local_p.
3757         (mips_symbolic_constant_p, mips_symbolic_address_p, mips_symbol_insns)
3758         (override_options): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP,
3759         SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST and SYMBOL_GOTOFF_GLOBAL to
3760         SYMBOL_GOTOFF_DISP.
3761         (mips_ok_for_lazy_binding_p): New function.
3762         (mips_load_call_address, mips_expand_call): Use it.
3763         (mips_dangerous_for_la25_p): Likewise.
3764         * config/mips/mips.md (*xgot_hi<mode>, *xgot_lo<mode>)
3765         (*got_disp<mode>): Use got_disp_operand instead of
3766         global_got_operand.  Use SYMBOL_GOTOFF_DISP instead of
3767         SYMBOL_GOTOFF_GLOBAL.
3768         (*got_page<mode>): Use got_page_ofst_operand instead of
3769         local_got_operand.
3770         * config/mips/predicates.md (const_call_insn_operand): Use
3771         SYMBOL_GOT_DISP instead of SYMBOL_GOT_GLOBAL.
3772         (global_got_operand): Rename to...
3773         (got_disp_operand): ...this and use SYMBOL_GOT_DISP instead of
3774         SYMBOL_GOT_GLOBAL.
3775         (local_got_operand): Rename to...
3776         (got_page_ofst_operand): ...this and use SYMBOL_GOT_PAGE_OFST instead
3777         of SYMBOL_GOT_LOCAL.
3778
3779 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
3780
3781         * config/mips/mips.h (TARGET_SPLIT_CALLS): Check
3782         TARGET_CALL_CLOBBERED_GP.
3783         (TARGET_SIBCALLS): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
3784         (TARGET_USE_GOT, TARGET_CALL_CLOBBERED_GP): New macros.
3785         (TARGET_CALL_SAVED_GP, TARGET_USE_PIC_FN_ADDR_REG): Likewise.
3786         (STARTING_FRAME_OFFSET): Check TARGET_CALL_CLOBBERED_GP instead
3787         of TARGET_ABICALLS && !TARGET_NEWABI.
3788         (MIPS_CALL): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
3789         * config/mips/mips.c (mips_load_call_address): Check
3790         TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
3791         (mips_global_pointer): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
3792         Check TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
3793         (mips_save_reg_p): Check TARGET_CALL_SAVED_GP instead of
3794         TARGET_ABICALLS && TARGET_NEWABI.
3795         (mips_current_loadgp_style): Check TARGET_USE_GOT instead of
3796         TARGET_ABICALLS.
3797         (mips_expand_prologue): Check TARGET_OLDABI instead of !TARGET_NEWABI.
3798         (mips_expand_epilogue): Check TARGET_CALL_SAVED_GP instead of
3799         TARGET_ABICALLS && TARGET_NEWABI.
3800         (mips_output_mi_thunk): Check TARGET_USE_GOT instead of
3801         TARGET_ABICALLS.  Check TARGET_CALL_SAVED_GP instead of
3802         TARGET_NEWABI.  Use TARGET_USE_PIC_FN_ADDR_REG to decide
3803         whether indirect calls must use $25.
3804         (mips_extra_live_on_entry): Check TARGET_GOT instead of
3805         TARGET_ABICALLS.
3806         * config/mips/mips.md (jal_macro): Check flag_pic and
3807         TARGET_CALL_CLOBBERED_GP instead of TARGET_ABICALLS and TARGET_NEWABI.
3808         (builtin_setjmp_setup, builtin_longjmp): Check TARGET_USE_GOT
3809         instead of TARGET_ABICALLS.
3810         (exception_receiver): Check TARGET_CALL_CLOBBERED_GP instead of
3811         TARGET_ABICALLS && TARGET_OLDABI.
3812         (load_call<mode>): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
3813         (sibcall): In the comment above the define_insn, mention
3814         TARGET_USE_PIC_FN_ADDR_REG instead of TARGET_ABICALLS.
3815         * config/mips/constraints.md (c): Check TARGET_USE_PIC_FN_ADDR_REG
3816         instead of TARGET_ABICALLS.
3817
3818 2007-04-12  Bernd Schmidt  <bernd.schmidt@analog.com>
3819
3820         * doc/md.texi (Blackfin family constraints): Document PA and PB.
3821         * config/bfin/bfin.h (CONST_OK_FOR_P): Handle PA and PB.
3822         (MACFLAGS_MATCH_P): New macro.
3823         * config/bfin/bfin.c (print_operand): Handle MACFLAG_IS_M.
3824         (bfin_secondary_reload): Treat EVEN_AREGS and ODD_AREGS like AREGS.
3825         * config/bfin/bfin.md (MACFLAG_IS_M): New constant.  Renumber some of
3826         the other MACFLAG constants.
3827         (sum_of_accumulators, lshrpdi3, ashrpdi3): New patterns.
3828         (flag_machi): Tighten constraints.  Renumber some of the operands.
3829         (flag_machi_acconly): Tighten constraints.  Correct operand numbers in
3830         output template.
3831         (flag_machi_parts_acconly): New pattern.
3832         (flag_macinithi): Tighten constraints.  Allow any accumulator to be
3833         used.
3834         (flag_macinit1hi): Tighten constraints.
3835         (flag_mul_macv2hi_parts_acconly): New pattern.
3836
3837         * config/bfin/lib1funcs.asm (___umulsi3_highpart, __smulsi3_highpart):
3838         Use a more efficient implementation.
3839         * config/bfin/bfin.md (umulsi3_highpart, smulsi3_highpart): Emit
3840         inline sequences when not optimizing for size.
3841
3842         * config/bfin/bfin.md (movhi_low2high, movhi_high2high, movhi_low2low,
3843         movhi_high2low): Delete, merge functionality into...
3844         (packv2hi): ... this pattern.
3845
3846         2007-02-11  Jie Zhang  <jie.zhang@analog.com>
3847         * config/bfin/bfin.opt (msim): New option.
3848         (mcpu=): New option.
3849         * config/bfin/bfin-protos.h (enum bfin_cpu): New.
3850         (bfin_cpu_t): Typedef of enum bfin_cpu.
3851         (bfin_cpu_type): New declaration.
3852         * config/bfin/elf.h (STARTFILE_SPEC): Add support for
3853         -msim and -mcpu= options.
3854         (LIB_SPEC): Likewise.
3855         * config/bfin/bfin.c (bfin_cpu_type): Define.
3856         (bfin_handle_option): Handle -mcpu= option.
3857         * config/bfin/bfin.h (DEFAULT_CPU_TYPE): Define as BFIN_CPU_BF532.
3858         (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF531__, __ADSPBF532__,
3859         __ADSPBF533__ or __ADSPBF537__ according to the cpu type.
3860
3861 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
3862
3863         * config.gcc (*-*-vxworks*): Don't add to tm_files in this stanza.
3864         (arm-wrs-vxworks, mips-wrs-vxworks, powerpc-wrs-vxworks)
3865         (powerpc-wrs-vxworksae): Use ${tm_file}.
3866         (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add svr4.h
3867         after elfos.h.  Remove i386/sysv4.h and add i386/vx-common.h.
3868         * config/i386/vx-common.h: New file.
3869
3870 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
3871
3872         * config/vxworks.h (VXWORKS_STARTFILE_SPEC): Use -l:crt0.o instead
3873         of crt0.o%s.
3874
3875 2007-04-12  Andreas Krebbel  <krebbel1@de.ibm.com>
3876
3877         * config/s390/s390.md ("trunctddd2"): Use TDmode for the target of
3878         ldxtr.
3879
3880 2007-04-12  Douglas Gregor  <doug.gregor@gmail.com>
3881
3882         PR c++/31078
3883         PR c++/31103
3884         * c-common.c (c_build_qualified_type): Set canonical type
3885         appropriately.
3886
3887 2007-04-12  Richard Guenther  <rguenther@suse.de>
3888
3889         * tree-pretty-print.c (dump_generic_node): Print ARRAY_REF
3890         lower bound and element size if lower bound is not zero
3891         or either of the ARRAY_REF operands is set.
3892
3893 2007-04-12  Richard Guenther  <rguenther@suse.de>
3894
3895         PR tree-optimization/24689
3896         PR tree-optimization/31307
3897         * fold-const.c (operand_equal_p): Compare INTEGER_CST array
3898         indices by value.
3899         * gimplify.c (canonicalize_addr_expr): To be consistent with
3900         gimplify_compound_lval only set operands two and three of
3901         ARRAY_REFs if they are not gimple_min_invariant.  This makes
3902         it never at this place.
3903         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
3904
3905 2007-04-11  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3906
3907         * pa.c (pa_som_asm_init_sections): Ensure that cfun->machine is not
3908         null before emitting a .nsubspa directive.
3909
3910 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
3911
3912         * tree-ssa-alias.c (dump_mem_ref_stats): Do not call
3913         need_to_partition_p if there are no memory statements in the
3914         function.
3915
3916 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
3917
3918         * tree-data-ref.c (chrec_steps_divide_constant_p): Removed.
3919         (gcd_of_steps_may_divide_p): New function.
3920         (analyze_miv_subscript): Use gcd_of_steps_may_divide_p.
3921
3922 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
3923
3924         * reload.c (find_reloads_toplev, find_reloads_address,
3925         find_reloads_address_1, find_reloads_subreg_address): Use rtx_equal_p,
3926         not a pointer equality test, to decide if we need to call
3927         push_reg_equiv_alt_mem.
3928
3929 2007-04-11  Sebastian Pop  <sebastian.pop@inria.fr>
3930
3931         * tree-data-ref.c (affine_function_zero_p, constant_access_functions,
3932         insert_innermost_unit_dist_vector, add_distance_for_zero_overlaps): New.
3933         (build_classic_dist_vector): Call add_distance_for_zero_overlaps.
3934
3935 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
3936
3937         * tree-data-ref.c (add_multivariate_self_dist): Force the distance
3938         vector to be positive.
3939
3940 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
3941
3942         PR 30735
3943         PR 31090
3944         * doc/invoke.texi: Document --params max-aliased-vops and
3945         avg-aliased-vops.
3946         * tree-ssa-operands.h (get_mpt_for, dump_memory_partitions,
3947         debug_memory_partitions): Move to tree-flow.h
3948         * params.h (AVG_ALIASED_VOPS): Define.
3949         * tree-ssa-alias.c (struct mp_info_def): Remove.  Update all
3950         users.
3951         (mp_info_t): Likewise.
3952         (get_mem_sym_stats_for): New.
3953         (set_memory_partition): Move from tree-flow-inline.h.
3954         (mark_non_addressable): Only clear the set of symbols for the
3955         partition if it exists.
3956         (dump_memory_partitions): Move from tree-ssa-operands.c
3957         (debug_memory_partitions): Likewise.
3958         (need_to_partition_p): New.
3959         (dump_mem_ref_stats): New.
3960         (debug_mem_ref_stats): New.
3961         (dump_mem_sym_stats): New.
3962         (debug_mem_sym_stats): New.
3963         (update_mem_sym_stats_from_stmt): New.
3964         (compare_mp_info_entries): New.
3965         (mp_info_cmp): Call it.
3966         (sort_mp_info): Change argument to a list of mem_sym_stats_t
3967         objects.
3968         (get_mpt_for): Move from tree-ssa-operands.c.
3969         (find_partition_for): New.
3970         (create_partition_for): Remove.
3971         (estimate_vop_reduction): New.
3972         (update_reference_counts): New.
3973         (build_mp_info): New.
3974         (compute_memory_partitions): Refactor.
3975         Document new heuristic.
3976         Call build_mp_info, update_reference_counts,
3977         find_partition_for and estimate_vop_reduction.