OSDN Git Service

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