OSDN Git Service

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