OSDN Git Service

2008-05-16 Nathan Froyd <froydnj@codesourcery.com>
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2008-05-16  Nathan Froyd  <froydnj@codesourcery.com>
2
3         * tree-flow.h (init_empty_tree_cfg_for_function): Declare.
4         * tree-cfg.c (init_empty_tree_cfg_for_function): Define.
5         (init_empty_tree_cfg): Call it.
6
7 2008-05-16  Kenneth Zadeck <zadeck@naturalbridge.com>
8
9         * cfg.c (init_flow): Add argument THE_FUN.  Use it
10         instead of cfun.  Update all users.
11
12 2008-05-16  Kenneth Zadeck <zadeck@naturalbridge.com>
13
14         * doc/invoke.text (-fdump-tree-*-verbose): New option.
15         * tree-dump.c (dump_options): New verbose option.
16         * tree-pretty-print.c (dump_phi_nodes, dump_generic_bb_buff):
17         Add verbose dump.
18         * tree-pass.h (TDF_VERBOSE): New dump flag.
19         * print-tree.c (print_node): Added code to be able to print
20         PHI_NODES.
21         (tree-flow.h): Added include.
22         Makefile.in (print-tree.o):  Added TREE_FLOW_H.
23
24 2008-05-16  Bernd Schmidt  <bernd.schmidt@analog.com>
25
26         * config/bfin/bfin.c (bfin_discover_loops): Delete empty loops.
27
28         From Jie Zhang  <jie.zhang@analog.com>
29         * config/bfin/t-bfin-elf (MULTILIB_OPTIONS, MULTILIB_DIRNAMES,
30         MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Remove mcpu=bf532-0.3,
31         mcpu=bf561-none and mcpu=bf561-0.2.
32         * config/bfin/t-bfin-uclinux (MULTILIB_OPTIONS, MULTILIB_DIRNAMES,
33         MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Likewise.
34         * config/bfin/t-bfin-linux (MULTILIB_OPTIONS, MULTILIB_DIRNAMES,
35         MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Likewise.
36         * config/bfin/bfin-protos.h (enum bfin_cpu_type): Add
37         BFIN_CPU_UNKNOWN.
38         * config/bfin/elf.h (STARTFILE_SPEC): Use specific CRT for
39         BF561.
40         (LIB_SPEC): Use proper linker script for bf561.  Error if no mcpu
41         option.
42         * config/bfin/bfin.c (bfin_cpu_type): Set to BFIN_CPU_UNKNOWN.
43         (cputype_selected): Remove.
44         (bfin_handle_option): Don't use cputype_selected.
45         (override_options): When no mcpu option, enable all workarounds.
46         Don't use bfin_workarounds.
47         * config/bfin/bfin.h (DRIVER_SELF_SPECS): Don't set default
48         processor type.
49         (DEFAULT_CPU_TYPE): Don't define.
50
51 2008-05-16  Richard Guenther  <rguenther@suse.de>
52
53         * tree-ssa-propagate.c (substitute_and_fold): Fix stmt walking
54         on deletion of the last stmt.
55
56 2008-05-15  H.J. Lu  <hongjiu.lu@intel.com>
57
58         * config/i386/i386.c (ix86_expand_vector_init_general): Optimize
59         V8HImode for SSE2 and V16QImode for SSE4.1.
60
61 2008-05-15  Kenneth Zadeck <zadeck@naturalbridge.com>
62
63         * cgraph.h (compute_inline_parameters): Made public.
64         * tree-pass.h (ipa_opt_pass): Removed function_generate_summary,
65         variable_generate_summary, function_write_summary,
66         variable_write_summary, variable_read_summary.  Added 
67         generate_summary, write_summary, read_summary.
68         * cgraphunit.c (cgraph_process_new_functions): Changed call from
69         pass_ipa_inline.function_generate_summary, to
70         compute_inline_parameters. 
71         * ipa-inline.c (compute_inline_parameters): Made public and added
72         node parameter.
73         (compute_inline_parameters_for_current): New function.
74         (pass_inline_param): Now calls
75         compute_inline_parameters_for_current.
76         (inline_generate_summary): Removed parameter and made to loop over
77         all cgraph nodes.
78         (pass_ipa_inline): Updated for new IPA_PASS structure.
79         * passes.c (execute_ipa_summary_passes): Now is called once per
80         pass rather than once per node*pass.
81         
82 2008-05-15  Anatoly Sokolov <aesok@post.ru>
83
84         * config/avr/avr.c (avr_base_arch_macro, avr_have_movw_lpmx_p, 
85         avr_have_mul_p, avr_asm_only_p): Remove variables.
86         (avr_override_options): Remove initialization of removed variables.
87         (avr_file_start):  Convert removed variables to fields of 
88         'struct base_arch_s *avr_current_arch'. 
89         * config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): (Ditto.).
90         (AVR_HAVE_MUL): (Ditto.).
91         (AVR_HAVE_MOVW): (Ditto.).
92         (AVR_HAVE_LPMX): (Ditto.). 
93         (avr_base_arch_macro, avr_have_movw_lpmx_p, avr_have_mul_p, 
94         avr_asm_only_p): Remove declaration.
95
96 2008-05-15  Diego Novillo  <dnovillo@google.com>
97
98         * config/arm/arm.c (arm_return_in_memory): Fix return
99         type.
100         * config/arm/arm-protos.h (arm_return_in_memory): Likewise.
101
102 2008-05-15  Adam Nemet  <anemet@caviumnetworks.com>
103
104         PR middle-end/36194
105         * combine.c (check_conversion): Rename back to check_promoted_subreg. 
106         Don't call record_truncated_value from here. 
107         (record_truncated_value): Turn it into a for_each_rtx callback. 
108         (record_truncated_values): New function. 
109         (combine_instructions): Call note_uses with 
110         record_truncated_values.  Change name of check_conversion to 
111         check_promoted_subreg. 
112
113 2008-05-15  Janis Johnson  <janis187@us.ibm.com>
114
115         * doc/sourcebuild.texi: Document support for torture tests.
116
117 2008-05-15  Uros Bizjak  <ubizjak@gmail.com>
118
119         * config/i386/sse.md (*vec_concatv2sf_sse4_1): Add "m" constraint
120         to alternative 4 of operand 2.
121
122 2008-05-15  Richard Guenther  <rguenther@suse.de>
123
124         * tree-pass.h (current_pass): Declare.
125         (get_pass_for_id): Likewise.
126         * passes.c (passes_by_id, passes_by_id_size): New globals.
127         (set_pass_for_id): New function.
128         (get_pass_for_id): Likewise.
129         (register_one_dump_file): Use set_pass_for_id to populate passes_by_id.
130         (execute_function_todo): Flush per function statistics.
131         * toplev.c (compile_file): Init statistics.
132         (general_init): Do early statistics initialization.
133         (finalize): Finish statistics.
134         * statistics.h (statistics_early_init): Declare.
135         (statistics_init): Likewise.
136         (statistics_fini): Likewise.
137         (statistics_fini_pass): Likewise.
138         (statistics_counter_event): Likewise.
139         (statistics_histogram_event): Likewise.
140         * statistics.c: New file.
141         * Makefile.in (OBJS-common): Add statistics.o.
142         (statistics.o): Add dependencies.
143         * doc/invoke.texi (-fdump-statistics): Document.
144
145         * tree-ssa-pre.c (compute_antic): Use statistics_histogram_event.
146         (insert): Likewise.
147         (execute_pre): Use statistics_counter_event.
148         * tree-ssa-propagate.c (struct prop_stats_d): Add num_dce field.
149         (substitute_and_fold): Increment it.  Use statistics_counter_event.
150
151 2008-05-15  Diego Novillo  <dnovillo@google.com>
152
153         http://gcc.gnu.org/ml/gcc-patches/2008-05/msg00893.html
154
155         * treestruct.def (TS_STRUCT_FIELD_TAG): Remove.
156         * tree-ssa-alias.c (new_type_alias): Remove references to
157         sub-variables from comment.
158         * tree-ssa-operands.c (swap_tree_operands): Likewise.
159
160 2008-05-15  H.J. Lu  <hongjiu.lu@intel.com>
161
162         * config/i386/sse.md (*vec_concatv2sf_sse4_1): Set prefix_extra
163         attribute to 1 only for insertps alternative.
164
165 2008-05-15  Bernd Schmidt  <bernd.schmidt@analog.com>
166
167         * config/bfin/bfin.md (loadbytes): New pattern.
168         * config/bfin/bfin.c (enum bfin_builtins): Add BFIN_BUILTIN_LOADBYTES.
169         (bfin_init_builtins): Initialize it.
170         (bdesc_1arg): Add it.
171
172 2008-05-15  Sa Liu  <saliu@de.ibm.com>
173
174         * testsuite/gfortran.dg/c_kind_int128_test1.f03: New.
175         * testsuite/gfortran.dg/c_kind_int128_test2.f03: New.
176         * testsuite/lib/target-supports.exp: Add
177         check_effective_target_fortran_integer_16.
178
179 2008-05-15  Bernd Schmidt  <bernd.schmidt@analog.com>
180
181         * config/bfin/bfin.h (TARGET_RETURN_IN_MEMORY): Don't define here.
182         * config/bfin/bfin-protos.h (bfin_return_in_memory): Don't declare.
183         * config/bfin/bfin.c (bfin_return_in_memory): Now static.  Return bool.
184         (TARGET_RETURN_IN_MEMORY): Define.
185
186 2008-05-15  Richard Guenther  <rguenther@suse.de>
187
188         PR middle-end/36244
189         * tree-ssa-alias.c (new_type_alias): Do not set TREE_READONLY.
190         * tree-flow-inline.h (unmodifiable_var_p): Memory tags never
191         represent unmodifiable vars.
192
193 2008-05-15  Richard Guenther  <rguenther@suse.de>
194
195         * tree-dfa.c (refs_may_alias_p): Allow all kinds of
196         INDIRECT_REF and TARGET_MEM_REF.
197         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Handle
198         TARGET_MEM_REF.
199
200 2008-05-15  Uros Bizjak  <ubizjak@gmail.com>
201             H.J. Lu  <hongjiu.lu@intel.com>
202
203         * config/i386/sse.md (*vec_concatv2sf_sse4_1): New insn pattern.
204         (*vec_concatv2si_sse4_1): Use vector_move_operand predicate
205         for operand 2.  Remove pinsr{q,d} with 0x0 immediate operand from
206         insn alternatives.  Add missing alternatives.
207         (*vec_concatv2di_rex64_sse4_1): Likewise.
208         (*vec_concatv2si_sse2): Use "x" register constraint instead of "Y2".
209         (*vec_concatv2di_rex64_sse): Rename from *vec_concatv2di_rex64.
210         Require TARGET_SSE.
211
212 2008-05-15  Richard Guenther  <rguenther@suse.de>
213
214         PR tree-optimization/36009
215         PR tree-optimization/36204
216         * tree-ssa-loop-im.c (tree-ssa-propagate.h): Include.
217         (determine_invariantness_stmt): Record the loop a store is
218         always executed in.
219         * Makefile.in (tree-ssa-loop-im.o): Add tree-ssa-propagate.h
220         dependency.
221
222 2008-05-15  Richard Guenther  <rguenther@suse.de>
223
224         PR tree-optimization/34330
225         * tree-ssa-alias.c (get_smt_for): Only assert that accesses
226         through the pointer will alias the SMT.
227
228 2008-05-14  Andreas Tobler  <a.tobler@schweiz.org>
229
230         * config/sparc/sparc.h (NO_PROFILE_COUNTERS): Define as 0.
231
232 2008-05-14  H.J. Lu  <hongjiu.lu@intel.com>
233
234         * config/i386/sse.md (*sse4_1_pinsrq): Make it 64bit only.
235
236 2008-05-14  Michael Meissner  <michael.meissner@amd.com>
237             Dwarakanath Rajagopal  <dwarak.rajagopal@amd.com>
238
239         * optabs.h (optab_index): Add OTI_vashl, OTI_vlshr, OTI_vashr,
240         OTI_vrotl, OTI_vrotr to support vector/vector shifts.
241         (vashl_optab): New optab for vector/vector shifts.
242         (vashr_optab): Ditto.
243         (vlshr_optab): Ditto.
244         (vrotl_optab): Ditto.
245         (vrotr_optab): Ditto.
246         (optab_subtype): New enum for optab_for_tree_code call.
247         (optab_for_tree_code): Add enum optab_subtype argument.
248
249         * optabs.c (optab_for_tree_code): Take an additional argument to
250         distinguish between a vector shift by a scalar and vector shift by
251         a vector.  Make lshr/ashr/ashl/rotl/rotr optabs just vector
252         shifted by a scalar.  Use vlshr/vashr/vashl/vrotl/vrotr for the
253         vector shift by a vector.
254         (expand_widen_pattern_expr): Pass additional argument to
255         optab_for_tree_code.
256
257         * genopinit.c (optabs): Add vashr_optab, vashl_optab, vlshr_optab,
258         vrotl_optab, vrotr_optab.
259
260         * expr.c (expand_expr_real_1): Update calls to
261         optab_for_tree_code to distinguish between vector shifted by a
262         scalar and vector shifted by a vector.
263         * tree-vectorizer.c (supportable_widening_operation): Ditto.
264         (supportable_narrowing_operation): Ditto.
265         * tree-vect-analyze.c (vect_build_slp_tree): Ditto.
266         * tree-vect-patterns.c (vect_pattern_recog_1): Ditto.
267         * tree-vect-transform.c (vect_model_reduction_cost): Ditto.
268         (vect_create_epilog_for_reduction): Ditto.
269         (vectorizable_reduction): Ditto.
270         (vectorizable_operation): Ditto.
271         (vect_strided_store_supported): Ditto.
272         (vect_strided_load_supported): Ditto.
273         * tree-vect-generic.c (expand_vector_operations_1): Ditto.
274         * expmed.c (expand_shift): Ditto.
275
276         * doc/md.texi (ashl@var{m}3): Document that operand 2 is always a
277         scalar type.
278         (ashr@var{m}3): Ditto.
279         (vashl@var{m}3): Document new vector/vector shift standard name.
280         (vashr@var{m}3): Ditto.
281         (vlshr@var{m}3): Ditto.
282         (vrotl@var{m}3): Ditto.
283         (vrotr@var{m}3): Ditto.
284
285         * config/i386/i386.md (PPERM_SRC): Move PPERM masks here from i386.c.
286         (PPERM_INVERT): Ditto.
287         (PPERM_REVERSE): Ditto.
288         (PPERM_REV_INV): Ditto.
289         (PPERM_ZERO): Ditto.
290         (PPERM_ONES): Ditto.
291         (PPERM_SIGN): Ditto.
292         (PPERM_INV_SIGN): Ditto.
293         (PPERM_SRC1): Ditto.
294         (PPERM_SRC2): Ditto.
295
296         * config/i386/sse.md (mulv2di3): Add SSE5 support.
297         (sse5_pmacsdql_mem): New SSE5 define_and_split that temporarily
298         allows a memory operand to be the value being added, and split it
299         to improve vectorization.
300         (sse5_pmacsdqh_mem): Ditto.
301         (sse5_mulv2div2di3_low): SSE5 32-bit multiply and extend function.
302         (sse5_mulv2div2di3_high): Ditto.
303         (vec_pack_trunc_v8hi): Add SSE5 pperm support.
304         (vec_pack_trunc_v4si): Ditto.
305         (vec_pack_trunc_v2di): Ditto.
306         (sse5_pcmov_<mode>): Remove code that tried to use use
307         andps/andnps instead of pcmov.
308         (vec_widen_smult_hi_v4si): If we have SSE5, use the pmacsdql and
309         pmacsdqh instructions.
310         (vec_widen_smult_lo_v4si): Ditto.
311
312         * config/i386/i386.c (PPERM_SRC): Move PPERM masks to i386.md.
313         (PPERM_INVERT): Ditto.
314         (PPERM_REVERSE): Ditto.
315         (PPERM_REV_INV): Ditto.
316         (PPERM_ZERO): Ditto.
317         (PPERM_ONES): Ditto.
318         (PPERM_SIGN): Ditto.
319         (PPERM_INV_SIGN): Ditto.
320         (PPERM_SRC1): Ditto.
321         (PPERM_SRC2): Ditto.
322         (ix86_expand_sse_movcc): Move the SSE5 test after the if
323         true/false tests.
324         (ix86_expand_int_vcond): If SSE5 generate all possible integer
325         comparisons.
326         (ix86_sse5_valid_op_p): Allow num_memory to be negative, which
327         says ignore whether the last reference is a memory operand.
328
329 2008-05-14  Michael Meissner  <michael.meissner@amd.com>
330             Paolo Bonzini <bonzini at gnu dot org>
331
332         * config/rs6000/rs6000.c (bdesc_2arg): Change the names of vector
333         shift patterns.
334
335         * config/rs6000/altivec.md (vashl<mode>3): Rename from ashl<mode>3.
336         (vlshr<mode>3): Rename from vlshr<mode>3.
337         (vashr<mode>3): Rename from vashr<mode>3.
338         (mulv4sf3): Change the names of vector shift patterns.
339         (mulv4si3): Ditto.
340         (negv4sf2): Ditt.
341
342         * config/spu/spu.c (spu_initialize_trampoline): Rename vector
343         shift insns.
344
345         * config/spu/spu-builtins.def (SI_SHLH): Rename vector shift insns.
346         (SI_SHLHI): Ditto.
347         (SI_SHL): Ditto.
348         (SI_SHLI): Ditto.
349         (SI_ROTH): Ditto.
350         (SI_ROTHI): Ditto.
351         (SI_ROT): Ditto.
352         (SI_ROTI): Ditto.
353         (SPU_RL_0): Ditto.
354         (SPU_RL_1): Ditto.
355         (SPU_RL_2): Ditto.
356         (SPU_RL_3): Ditto.
357         (SPU_RL_4): Ditto.
358         (SPU_RL_5): Ditto.
359         (SPU_RL_6): Ditto.
360         (SPU_RL_7): Ditto.
361         (SPU_SL_0): Ditto.
362         (SPU_SL_1): Ditto.
363         (SPU_SL_2): Ditto.
364         (SPU_SL_3): Ditto.
365         (SPU_SL_4): Ditto.
366         (SPU_SL_5): Ditto.
367         (SPU_SL_6): Ditto.
368         (SPU_SL_7): Ditto.
369
370         * config/spu/spu.md (v): New iterator macro to add v for vector types.
371         (floatunssidf2_internal): Change vector/vector shift names.
372         (floatunsdidf2_internal): Ditto.
373         (mulv8hi3): Ditto.
374         (ashrdi3): Ditto.
375         (ashrti3): Ditto.
376         (cgt_df): Ditto.
377         (cgt_v2df): Ditto.
378         (dftsv): Ditto.
379         (vashl<mode>3): Rename from ashl<mode>3.
380         (vashr<mode>3): Rename from ashr<mode>3.
381         (vlshr<mode>3): Rename from lshr<mode>3.
382         (vrotl<mode>3): Rename from rotl<mode>3.
383
384 2008-05-14  Michael Meissner  <michael.meissner@amd.com>
385
386         PR target/36224
387         * config/i386/sse.md (vec_widen_smult_hi_v4si): Delete, using unsigned
388         multiply gives the wrong value when doing widening multiplies.
389         (vec_widen_smult_lo_v4si): Ditto.
390
391 2008-05-14  Kenneth Zadeck <zadeck@naturalbridge.com>
392
393         * optabs.c (prepare_cmp_insn): Changed LCT_PURE_MAKE_BLOCK to
394         LCT_PURE and LCT_CONST_MAKE_BLOCK to LCT_CONST in calls to
395         emit_library_call_value. 
396         * builtins.c (expand_builtin_powi, expand_builtin_memcmp): Ditto.
397         * tree.h (ECF_LIBCALL_BLOCK): Removed.
398         * calls.c (initialize_argument_information, precompute_arguments, 
399         expand_call, emit_library_call_value_1): Remove ECF_LIBCALL_BLOCK.
400         (precompute_arguments): Removed flags parameter.
401         * rtl.h (LCT_CONST_MAKE_BLOCK, LCT_PURE_MAKE_BLOCK): Removed.
402         
403 2008-05-14  Richard Guenther  <rguenther@suse.de>
404
405         * tree-ssa-dse.c (dse_possible_dead_store_p): Remove dead code.
406         Make sure to register the store if the use is a PHI_NODE.
407
408 2008-05-14  Olivier Hainque  <hainque@adacore.com>
409
410         * expr.c (expand_expr_real_1) <normal_inner_ref>: Force op0 to
411         memory if the component is to be referenced in BLKmode according
412         to get_inner_reference.
413
414 2008-05-14  Adam Nemet  <anemet@caviumnetworks.com>
415
416         * calls.c (emit_library_call_value_1): Restore code clearing
417         ECF_LIBCALL_BLOCK to ensure that we only call end_sequence once.
418
419 2008-05-14  Olivier Hainque  <hainque@adacore.com>
420             Nicolas Roche  <roche@adacore.com>
421
422         * configure.ac: Add support for a "gcc_subdir" variable in
423         config-lang.in, to denote a subdirectory where the language/GCC
424         integration files are to be found.
425         * configure: Regenerate.
426
427 2008-05-14  Ira Rosen  <irar@il.ibm.com>
428
429         PR tree-optimization/36098
430         * tree-vect-analyze.c (vect_analyze_group_access): Set the gap
431         value for the first load in the group in case of a gap.
432         (vect_build_slp_tree): Check that there are no gaps in loads.
433
434 2008-05-14  Kenneth Zadeck <zadeck@naturalbridge.com>
435
436         * doc/rtl.texi: Removed reference to REG_NO_CONFLICT notes.
437         * optabs.c (expand_binop, expand_absneg_bit, expand_unop,
438         expand_copysign_bit, ): Change call to emit_no_conflict_block to
439         emit_insn and remove unneeded code to construct extra args.
440         (emit_no_conflict_block): Removed.
441         * optabls.h: (emit_no_conflict_block): Removed.
442         * cse.c (cse_extended_basic_block): Remove search for
443         REG_NO_CONFLICT note.
444         * global.c: Removed incorrect comment added in revision 117.
445         * expr.c (convert_move): Change call to emit_no_conflict_block to
446         emit_insn.
447         * recog.c: Change comments so that they do not mention
448         REG_NO_CONFLICT.
449         * local_alloc.c (combine_regs): Removed last parameter.
450         (no_conflict_p): Removed.
451         (block_alloc): Removed note, no_conflict_combined_regno and set
452         local vars. Removed all code to process REG_NO_CONFLICT blocks.
453         (combine_regs): Removed already_dead and code to look for
454         REG_NO_CONFLICT notes.
455         * lower_subreg (remove_retval_note): Removed code to look for
456         REG_NO_CONFLICT block.
457         (resolve_reg_notes): Removed REG_NO_CONFLICT case.
458         (resolve_clobber): Remove code to process libcalls that have
459         REG_NO_CONFLICT notes.
460         * loop_invariant.c (find_invariant_insn): Removed REG_NO_CONFLICT
461         case.
462         * combine.c (can_combine_p, distribute_notes):  Removed
463         REG_NO_CONFLICT case.
464         * config/cris/cris.md (movdi pattern): Changed emit_no_conflict_block
465         to emit_insns.
466         * config/mn10300/mn10300.md (absdf2, negdf2 patterns): Ditto.
467         * config/m68k/m68k.md (negdf2, negxf2, absdf2, absxf2 patterns):
468         Ditto.
469         * reg-notes.def (NO_CONFLICT): Removed.
470
471 2008-05-14  David S. Miller  <davem@davemloft.net>
472
473         * config/sparc/sparc.c (sparc_profile_hook): If
474         NO_PROFILE_COUNTERS, don't generate and pass a label into mcount.
475         * config/sparc/linux.h (NO_PROFILE_COUNTERS): Define as 1.
476         * config/sparc/linux64.h (NO_PROFILE_COUNTERS): Likewise.
477
478 2008-05-14  Andreas Krebbel  <krebbel1@de.ibm.com>
479
480         * cse.c (cse_cc_succs): Invoke delete_insn_and_edges.
481
482 2008-05-13  Uros Bizjak  <ubizjak@gmail.com>
483
484         PR target/36222
485         * config/i386/i386.c (ix86_expand_vector_init_general): Rearrange op0
486         and op1 expansion before vector concat to have less live pseudos.
487
488 2008-05-13  H.J. Lu  <hongjiu.lu@intel.com>
489
490         * config/i386/i386.c (ix86_expand_vector_init_one_nonzero): Use
491         ix86_expand_vector_set if supported.
492
493 2008-05-13  Diego Novillo  <dnovillo@google.com>
494             Kenneth Zadeck  <zadeck@naturalbridge.com>
495
496         http://gcc.gnu.org/ml/gcc-patches/2008-05/msg00748.html
497
498         * tree.h (init_phinodes, fini_phinodes, release_phi_node,
499         phinodes_print_statistics, init_ssanames, fini_ssanames,
500         make_ssa_name, duplicate_ssa_name, duplicate_ssa_name_ptr_info,
501         release_ssa_name, release_defs, replace_ssa_name_symbol,
502         ssanames_print_statistics): Move ...
503         * tree-flow.h: ... here.
504         * tree-ssanames.c (init_ssanames): Add arguments FN and SIZE.
505         Use FN instead of cfun.
506         (make_ssa_name_fn): Rename from make_ssa_name.
507         (pass_release_ssa_names): Add TODO_dump_func to finish flags.
508         * tree-flow-inline.h (make_ssa_name): Move from
509         tree-ssanames.c.  Convert to static inline.  Call make_ssa_name_fn.
510         * omp-low.c (expand_omp_parallel):
511         * tree-flow-inline.h (redirect_edge_var_map_result):
512         * tree-ssa.c (init_tree_ssa): Add argument FN.
513         Use it instead of cfun.  Update all users.
514
515 2008-05-13  Tom Tromey  <tromey@redhat.com>
516
517         PR preprocessor/22168:
518         * doc/cpp.texi (Top): Update menu.
519         (Alternatives to Wrapper #ifndef): New node.
520         (Other Directives): Document deprecation.
521         (Obsolete Features): Remove menu.
522         (Assertions): Merge node into Obsolete Features.
523         (Obsolete once-only headers): Move earlier; rename to Alternatives
524         to Wrapper #ifndef.
525         * doc/cppopts.texi: Update.
526         * c.opt (Wdeprecated): Enable for C and ObjC.
527         * doc/invoke.texi (Option Summary): Move -Wno-deprecated.
528         (C++ Dialect Options): Move -Wno-deprecated from here to...
529         (Warning Options): ... here.
530
531 2008-05-13  Richard Guenther  <rguenther@suse.de>
532
533         PR middle-end/36227
534         * fold-const.c (fold_sign_changed_comparison): Do not allow
535         changes in pointer-ness.
536
537 2008-05-12  Kaz Kojima  <kkojima@gcc.gnu.org>
538
539         PR target/24713
540         * config/sh/sh.c (sh_expand_prologue): Don't clear
541         RTX_FRAME_RELATED_P for push insns.
542
543 2008-05-12  Andy Hutchinson  <hutchinsonandy@aim.com>
544
545         * config/avr/avr.h (MAX_OFILE_ALIGNMENT): Define.
546
547 2008-05-12  Anatoly Sokolov <aesok@post.ru>
548
549         * config/avr/avr.h (machine_function): Add 'is_leaf' field.
550         * config/avr/avr.c (avr_regs_to_save): Compute 'machine->is_leaf'.
551         Use 'machine->is_leaf' instead of 'leaf_func_p'.
552
553 2008-05-12  H.J. Lu  <hongjiu.lu@intel.com>
554
555         * config/i386/sse.md (*sse_concatv4sf): Renamed to ...
556         (*vec_concatv4sf_sse): This.
557         (*sse2_concatv2si): Renamed to ...
558         (*vec_concatv2si_sse2): This.
559         (*sse1_concatv2si): Renamed to ...
560         (*vec_concatv2si_sse): This.
561         (*vec_concatv2di_rex): Renamed to ...
562         (*vec_concatv2di_rex64): This.
563         (*vec_concatv2si_sse4_1): New.
564         (*vec_concatv2di_rex64_sse4_1): Likewise.
565
566 2008-05-12  Uros Bizjak  <ubizjak@gmail.com>
567
568         PR rtl-optimization/36111
569         * recog.c (validate_replace_rtx_1): Unshare new RTL expression
570         that was created for swappable operands.
571
572 2008-05-12  Samuel Tardieu  <sam@rfc1149.net>
573
574         PR ada/36001
575         * Makefile.in: Substitute GNATMAKE and GNATBIND.
576         * configure.ac: Add call to ACX_PROG_GNAT.
577
578 2008-05-11  Volker Reichelt  <v.reichelt@netcologne.de>
579
580         * optc-gen.awk: Fix comment typo.
581
582 2008-05-11  Aaron W. LaFramboise  <aaronavay62@aaronwl.com>
583
584         * pretty-print.c (pp_integer_with_precision): Use
585         HOST_LONG_LONG_FORMAT.
586
587 2008-05-10  Kenneth Zadeck  <zadeck@naturalbridge.com>
588
589         * gcse.c (store_killed_in_insn): Negated call to RTL_CONST_CALL_P.
590                 
591 2008-05-10  H.J. Lu  <hongjiu.lu@intel.com>
592
593         * config/i386/i386.c (bdesc_ptest): Removed.
594         (ix86_builtin_type): Add INT_FTYPE_V2DI_V2DI_PTEST.
595         (bdesc_args): Add __builtin_ia32_ptestz128,
596         __builtin_ia32_ptestc128 and __builtin_ia32_ptestnzc128.
597         (ix86_init_mmx_sse_builtins): Updated.
598         (ix86_expand_args_builtin): Handle INT_FTYPE_V2DI_V2DI_PTEST.
599         (ix86_expand_builtin): Updated.
600
601 2008-05-10  Richard Sandiford  <rdsandiford@googlemail.com>
602
603         * tree-cfg.c (valid_fixed_convert_types_p): New function.
604         (verify_gimple_expr): Handle FIXED_CONVERT_EXPR.
605
606 2008-05-10  Uros Bizjak  <ubizjak@gmail.com>
607
608         * value-prof.c (interesting_stringop_to_profile): Do not
609         return early for BUILT_IN_MEMPCPY.
610
611 2008-05-09  H.J. Lu  <hongjiu.lu@intel.com>
612
613         * calls.c (expand_call): Don't use callgraph to increase
614         preferred_stack_boundary.
615
616         * cgraph.h (cgraph_rtl_info): Use unsigned on
617         preferred_incoming_stack_boundary.
618
619         * final.c (rest_of_clean_state): Use unsigned on
620         preferred_stack_boundary.
621
622 2008-05-09  Tom Tromey  <tromey@redhat.com>
623
624         PR preprocessor/22231:
625         * c-opts.c (sanitize_cpp_opts): Disallow -MG if compilation is
626         proceeding.
627
628 2008-05-09  Uros Bizjak  <ubizjak@gmail.com>
629
630         PR tree-optimization/36129
631         * tree-ssa-ccp.c: Include value-prof.h.
632         (execute_fold_all_builtins): Call gimple_remove_stmt_histograms if
633         built-in function was folded to a constant.
634         * Makefile.in (tree-ssa-ccp.c): Depend on value-prof.h
635
636 2008-05-09  Jan Sjodin  <jan.sjodin@amd.com>
637             Sebastian Pop  <sebastian.pop@amd.com>
638
639         * tree-scalar-evolution.c: Document instantiate_scev.
640         (instantiate_parameters_1): Renamed instantiate_scev_1.
641         Don't use the same loop for instantiation_loop and evolution_loop.
642         (instantiate_scev): New.
643         (instantiate_parameters): Moved...
644         (resolve_mixers): Update call to instantiate_scev_1 to pass the
645         same loop twice.  Maintains the semantics for this function.
646         * tree-scalar-evolution.h (instantiate_scev): Declare.
647         (instantiate_parameters): ...here.  Now static inline.
648         * tree-data-ref.c (dr_analyze_indices): Call instantiate_scev
649         instead of resolve_mixers.
650
651 2008-05-09  Maxim Kuvyrkov  <maxim@codesourcery.com>
652
653         * rtl-factoring.c (collect_pattern_seqs): Fix typo.
654
655 2008-05-09  Tomas Bily  <tbily@suse.cz>
656
657         * config/pa/pa.c (reloc_needed): Use CASE_CONVERT.
658         * tree-cfg.c (verify_expr, verify_gimple_expr): Likewise.
659         * tree-ssa-structalias.c (get_constraint_for): Likewise.
660         * c-common.c (c_common_truthvalue_conversion): Likewise.
661         * tree-object-size.c (compute_object_offset): Likewise.
662         * tree-inline.c (estimate_num_insns_1): Likewise.
663         * varasm.c (const_hash_1, compare_constant, copy_constant)
664         (compute_reloc_for_constant, output_addressed_constants)
665         (initializer_constant_valid_p): Likewise.
666         * c-omp.c (check_omp_for_incr_expr): Likewise.
667         * gimplify.c (gimplify_expr): Likewise.
668         * c-typeck.c (c_finish_return): Likewise.
669         * tree-vectorizer.c (supportable_widening_operation)
670         (supportable_narrowing_operation): Likewise.
671         * c-pretty-print.c (pp_c_cast_expression, pp_c_expression): Likewise.
672         * matrix-reorg.c (can_calculate_expr_before_stmt): Likewise.
673         * expr.c (highest_pow2_factor, expand_expr_real_1): Likewise.
674         * dwarf2out.c (loc_descriptor_from_tree_1, add_bound_info)
675         (descr_info_loc): Likewise.
676         * tree-ssa-loop-ivopts.c (may_be_nonaddressable_p): Likewise.
677         * fold-const.c (operand_equal_p, make_range, extract_muldiv_1)
678         (fold_unary): Likewise.
679         * builtins.c (get_pointer_alignment): Likewise.
680         * tree-scalar-evolution.c (interpret_rhs_modify_stmt)
681         (instantiate_parameters_1): Likewise.
682         * tree.c (expr_align, stabilize_reference): Likewise.
683         * tree-pretty-print.c (dump_generic_node, op_prio): Likewise.
684         * tree-ssa-loop-niter.c (derive_constant_upper_bound): Likewise.
685         * convert.c (strip_float_extensions): Use CONVERT_EXPR_P.
686         * tree-ssa-threadedge.c (simplify_control_stmt_condition): Likewise.
687         * config/alpha/alpha.c (va_list_skip_additions): Likewise.
688         * c-common.c (c_alignof_expr, check_function_arguments_recurse):
689         Likewise.
690         * tree-ssa.c (tree_ssa_useless_type_conversion): Likewise.
691         * varasm.c (initializer_constant_valid_p, output_constant): Likewise.
692         * tree-ssa-forwprop.c (get_prop_source_stmt, can_propagate_from)
693         (forward_propagate_addr_expr_1, forward_propagate_addr_expr)
694         (forward_propagate_comparison)
695         (tree_ssa_forward_propagate_single_use_vars): Likewise.
696         * cfgexpand.c (discover_nonconstant_array_refs_r): Likewise.
697         * emit-rtl.c (component_ref_for_mem_expr)
698         (set_mem_attributes_minus_bitpos): Likewise.
699         * tree-ssa-phiopt.c (conditional_replacement): Likewise.
700         * gimplify.c (gimplify_conversion, goa_lhs_expr_p, gimplify_expr):
701         Likewise.
702         * c-typeck.c (default_function_array_conversion, build_indirect_ref)
703         (build_function_call, pointer_diff, build_compound_expr)
704         (c_finish_return): Likewise.
705         * tree-vect-analyze.c (vect_determine_vectorization_factor): Likewise.
706         * matrix-reorg.c (get_inner_of_cast_expr, may_flatten_matrices_1):
707         Likewise.
708         * tree-ssa-ifcombine.c (recognize_single_bit_test): Likewise.
709         * expr.c (is_aligning_offset): Likewise.
710         * tree-ssa-alias.c (is_escape_site): Likewise.
711         * tree-stdarg.c (va_list_counter_bump, check_va_list_escapes)
712         (check_all_va_list_escapes): Likewise.
713         * tree-ssa-loop-ivopts.c (determine_base_object)
714         (determine_common_wider_type): Likewise.
715         * dojump.c (do_jump): Likewise.
716         * tree-ssa-sccvn.c (simplify_unary_expression): Likewise.
717         * tree-gimple.c (is_gimple_cast): Likewise.
718         * fold-const.c (decode_field_reference, )
719         (fold_sign_changed_comparison, fold_unary, fold_comparison)
720         (fold_binary): Likewise.
721         * tree-ssa-alias-warnings.c (find_alias_site_helper)
722         (already_warned_in_frontend_p): Likewise.
723         * builtins.c (get_memory_rtx, fold_builtin_next_arg): Likewise.
724         * tree.c (really_constant_p, get_unwidened): Likewise.
725         * tree-ssa-loop-niter.c (expand_simple_operations): Likewise.
726         * tree-ssa-loop-im.c (rewrite_bittest): Likewise.
727         * tree-vrp.c (register_edge_assert_for_2, register_edge_assert_for_1):
728         Likewise.
729         * tree.h (STRIP_NOPS, STRIP_SIGN_NOPS, STRIP_TYPE_NOPS): Use
730         CONVERT_EXPR_P.
731         (CONVERT_EXPR_P): Define.
732         (CASE_CONVERT): Define.
733         
734 2008-05-08  Kenneth Zadeck  <zadeck@naturalbridge.com>
735
736         PR middle-end/36117
737         * dce.c (deletable_insn_p): Do not delete calls if df_in_progress.
738         (delete_unmarked_insns): When deleting a call, call
739         delete_unreachable_blocks.
740         * rtl.texi (RTL_CONST_CALL_P, RTL_PURE_CALL_P,
741         RTL_CONST_OR_PURE_CALL_P, RTL_LOOPING_CONST_OR_PURE_CALL_P): Fixed doc.
742
743 2008-05-08  Richard Guenther  <rguenther@suse.de>
744
745         * doc/invoke.texi (-fdump-tree-salias): Remove documentation.
746         (-ftree-salias): Likewise.
747         (salias-max-implicit-fields): Remove param documentation.
748         (salias-max-array-elements): Likewise.
749         * tree-pass.h (pass_create_structure_vars): Remove.
750         * params.h (SALIAS_MAX_IMPLICIT_FIELDS): Remove.
751         (SALIAS_MAX_ARRAY_ELEMENTS): Likewise.
752         * tree-ssa-alias.c (create_structure_vars): Remove.
753         (gate_structure_vars): Likewise.
754         (pass_create_structure_vars): Likewise.
755         (gate_build_alias): Likewise.
756         (pass_build_alias): Adjust to run always and dump the function.
757         * common.opt (ftree-salias): Hide.
758         * passes.c (init_optimization_passes): Remove
759         pass_create_structure_vars, adjust comment.
760         * params.def (PARAM_SALIAS_MAX_IMPLICIT_FIELDS): Remove.
761         (PARAM_SALIAS_MAX_ARRAY_ELEMENTS): Likewise.
762         * opts.c (decode_options): Do not set flag_tree_salias.
763         (common_handle_option): Add OPT_ftree_salias to the backward
764         compatibility section.
765
766 2008-05-08  Richard Guenther  <rguenther@suse.de>
767
768         * tree-flow-inline.h (var_can_have_subvars): Move ...
769         * tree-ssa-structalias.c (var_can_have_subvars): ... here.
770         * tree-flow.h (var_can_have_subvars): Remove.
771         (push_fields_onto_fieldstack): Remove.
772         (sort_fieldstack): Likewise.
773         (struct fieldoff): Move ...
774         * tree-ssa-structalias.c (struct fieldoff): ... here.  Remove
775         alias_set and base_for_components fields.
776         (sort_fieldstack): Make static.
777         (push_fields_onto_fieldstack): Likewise.  Remove code that
778         handles anything but RECORD_TYPEs.  Remove alias_set and
779         base_for_components handling.
780         (create_variable_info_for): Adjust.
781
782 2008-05-08  Seongbae Park  <seongbae.park@gmail.com>
783
784         * common.opt (Wframe-larger-than=): Shorten the help message
785         to one line.
786         * doc/invoke.texi (Wframe-larger-than=): Add more description.
787
788 2008-05-08  Rafael Espindola  <espindola@google.com>
789
790         * tree-complex.c (expand_complex_div_wide): Don't create CONDs that
791         trap.
792         * tree-gimple.c (is_gimple_condexpr): Check that the expression doesn't
793         trap and that both operands are gimple values.
794         (canonicalize_cond_expr_cond): Use is_gimple_condexpr.
795         * gcc/tree-eh.c (tree_could_trap_p): Correctly detect if a comparison
796         is a fp operation.
797
798 2008-05-08  Richard Sandiford  <rsandifo@nildram.co.uk>
799
800         * read-rtl.c (join_c_conditions): Return the first string if the
801         two strings are equal.
802
803 2008-05-08  Richard Sandiford  <rsandifo@nildram.co.uk>
804
805         * gensupport.h (pred_data): Add a "num_codes" field.
806         (add_predicate_code): Declare.
807         * gensupport.c (add_predicate_code): New function.
808         (std_pred_table): Add an "allows_const_p" field.
809         (std_preds): Set this field for predicates that allow RTX_CONST_OBJs.
810         Remove the (incomplete) list of such codes from the codes field.
811         (init_predicate_table): Use add_predicate_code.  Add all
812         RTX_CONST_OBJs if allows_const_p is true.
813         * genrecog.c (process_define_predicate): Use add_predicate_code.
814
815 2008-05-08  David Daney  <ddaney@avtrex.com>
816             Richard Sandiford  <rsandifo@nildram.co.uk>
817         
818         * config/mips/mips.md (mips_expand_compare_and_swap_12): Handle
819         special case of constant zero operands.
820         * config/mips/mips.c (mips_expand_compare_and_swap_12): Zero extend
821         old and new values.  Special case constant zero values.
822         * config/mips/mips.h (MIPS_COMPARE_AND_SWAP): Skip 'sync' if compare
823         fails.
824         (MIPS_COMPARE_AND_SWAP_12): Handle constant zero operands.
825         (MIPS_COMPARE_AND_SWAP_12_0): New macro.
826
827 2008-05-08  Paolo Bonzini  <bonzini@gnu.org>
828
829         PR target/36090
830         * simplify-rtx.c (simplify_plus_minus): Create CONST of
831         similar RTX_CONST_OBJ before CONST_INT.
832
833 2008-05-08  Steve Ellcey  <sje@cup.hp.com>
834
835         * stmt.c (expand_stack_restore): Change sa mode if needed.
836
837 2008-05-08  Richard Guenther  <rguenther@suse.de>
838
839         * config/i386/i386-protos.h (ix86_return_in_memory): Adjust
840         return type to bool.
841         (ix86_sol10_return_in_memory): Likewise.
842         (ix86_i386elf_return_in_memory): Likewise.
843         (ix86_i386interix_return_in_memory): Likewise.
844         * config/i386/i386.c (ix86_return_in_memory): Likewise.
845         (ix86_sol10_return_in_memory): Likewise.
846         (ix86_i386elf_return_in_memory): Likewise.
847         (ix86_i386interix_return_in_memory): Likewise.
848
849 2008-05-08  Kai Tietz  <kai.tietz@onevision.com>
850
851         PR bootstrap/36180
852         * calls.c (compute_argument_block_size ): Add ATTRIBUTE_UNUSED to
853         fndecl argument.
854         (emit_library_call_value_1): Add ATTRIBUTE_UNUSED to variable fndecl.
855         * target-def.h: Check that TARGET_RETURN_IN_MEMORY isn't
856         declared in front.
857
858 2008-05-08  Richard Guenther  <rguenther@suse.de>
859
860         * tree-data-ref.c (dr_analyze_alias): Do not set DR_SUBVARS.
861         * tree-data-ref.h (struct dr_alias): Remove subvars field.
862         (DR_SUBVARS): Remove.
863         * tree-dfa.c (dump_subvars_for): Remove.
864         (debug_subvars_for): Likewise.
865         (dump_variable): Do not dump subvars.
866         (remove_referenced_var): Do not remove subvars.
867         * tree-flow-inline.h (clear_call_clobbered): SFTs no longer exist.
868         (lookup_subvars_for_var): Remove.
869         (get_subvars_for_var): Likewise.
870         (get_subvars_at): Likewise.
871         (get_first_overlapping_subvar): Likewise.
872         (overlap_subvar): Likewise.
873         * tree-flow.h (subvar_t): Remove.
874         (struct var_ann_d): Remove subvars field.
875         * tree-ssa-alias.c (mark_aliases_call_clobbered): Remove queued
876         argument.  Remove special handling of SFTs.
877         (compute_tag_properties): Likewise.
878         (set_initial_properties): Likewise.
879         (compute_call_clobbered): Likewise.
880         (count_mem_refs): Likewise.
881         (compute_memory_partitions): Likewise.
882         (compute_flow_insensitive_aliasing): Likewise.
883         (setup_pointers_and_addressables): Likewise.
884         (new_type_alias): Likewise.
885         (struct used_part): Remove.
886         (used_portions): Likewise.
887         (struct used_part_map): Likewise.
888         (used_part_map_eq): Likewise.
889         (used_part_map_hash): Likewise.
890         (free_used_part_map): Likewise.
891         (up_lookup): Likewise.
892         (up_insert): Likewise.
893         (get_or_create_used_part_for): Likewise.
894         (create_sft): Likewise.
895         (create_overlap_variables_for): Likewise.
896         (find_used_portions): Likewise.
897         (create_structure_vars): Likewise.
898         * tree.def (STRUCT_FIELD_TAG): Remove.
899         * tree.h (MTAG_P): Adjust.
900         (struct tree_memory_tag): Remove base_for_components and
901         unpartitionable flags.
902         (struct tree_struct_field_tag): Remove.
903         (SFT_PARENT_VAR): Likewise.
904         (SFT_OFFSET): Likewise.
905         (SFT_SIZE): Likewise.
906         (SFT_NONADDRESSABLE_P): Likewise.
907         (SFT_ALIAS_SET): Likewise.
908         (SFT_UNPARTITIONABLE_P): Likewise.
909         (SFT_BASE_FOR_COMPONENTS_P): Likewise.
910         (union tree_node): Remove sft field.
911         * alias.c (get_alias_set): Remove special handling of SFTs.
912         * print-tree.c (print_node): Remove handling of SFTs.
913         * tree-dump.c (dequeue_and_dump): Likewise.
914         * tree-into-ssa.c (mark_sym_for_renaming): Likewise.
915         * tree-nrv.c (dest_safe_for_nrv_p): Remove special handling of SFTs.
916         * tree-predcom.c (set_alias_info): Do not set subvars.
917         * tree-pretty-print.c (dump_generic_node): Do not handle SFTs.
918         * tree-ssa-loop-ivopts.c (get_ref_tag): Likewise.
919         * tree-ssa-operands.c (access_can_touch_variable): Likewise.
920         (add_vars_for_offset): Remove.
921         (add_virtual_operand): Remove special handling of SFTs.
922         (add_call_clobber_ops): Likewise.
923         (add_call_read_ops): Likewise.
924         (get_asm_expr_operands): Likewise.
925         (get_modify_stmt_operands): Likewise.
926         (get_expr_operands): Likewise.
927         (add_to_addressable_set): Likewise.
928         * tree-ssa.c (verify_ssa_name): Do not handle SFTs.
929         * tree-tailcall.c (suitable_for_tail_opt_p): Likewise.
930         * tree-vect-transform.c (vect_create_data_ref_ptr): Do not set subvars.
931         * tree.c (init_ttree): Remove STRUCT_FIELD_TAG initialization.
932         (tree_code_size): Remove STRUCT_FIELD_TAG handling.
933         (tree_node_structure): Likewise.
934         * tree-ssa-structalias.c (set_uids_in_ptset): Remove special
935         handling of SFTs.
936         (find_what_p_points_to): Likewise.
937
938 2008-05-08  Sa Liu  <saliu@de.ibm.com>
939
940         * config/spu/spu.md: Fixed subti3 pattern.
941
942 2008-05-08  Richard Guenther  <rguenther@suse.de>
943
944         PR middle-end/36154
945         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Make
946         sure to create a representative for trailing arrays for PTA.
947
948 2008-05-08  Richard Guenther  <rguenther@suse.de>
949
950         PR middle-end/36172
951         * fold-const.c (operand_equal_p): Two objects which types
952         differ in pointerness are not equal.
953
954 2008-05-08  Kai Tietz  <kai.tietz@onevision.com>
955
956         * calls.c (compute_argument_block_size): Add argument tree fndecl.
957         (OUTGOING_REG_PARM_STACK_SPACE): Add function type argument.
958         (emit_library_call_value_1): Add new variable fndecl initialized by
959         NULL_TREE. It should be the decl type of orgfun, but this information
960         seems not to be available here, so it uses the default calling abi.
961         * config/arm/arm.c (arm_return_in_memory): Add fntype argumen.
962         * config/arm/arm.h (RETURN_IN_MEMORY): Replace RETURN_IN_MEMORY
963         by TARGET_RETURN_IN_MEMORY.
964         * config/i386/i386-interix.h: Likewise.
965         * config/i386/i386.h: Likewise.
966         * config/i386/i386elf.h: Likewise.
967         * config/i386/ptx4-i.h: Likewise.
968         * config/i386/sol2-10.h: Likewise.
969         * config/i386/sysv4.h: Likewise.
970         * config/i386/vx-common.h: Likewise.
971         * config/cris/cris.h: Removed #if 0 clause.
972         * config/arm/arm-protos.h (arm_return_in_memory): Add fntype argument.
973         * config/i386/i386-protos.h (ix86_return_in_memory): Add fntype
974         argument.
975         (ix86_sol10_return_in_memory): Likewise.
976         (ix86_i386elf_return_in_memory): New.
977         (ix86_i386interix_return_in_memory): New.
978         * config/mt/mt-protos.h (mt_return_in_memory): New.
979         * config/mt/mt.c: Likewise.
980         * config/mt/mt.h (OUTGOING_REG_PARM_STACK_SPACE): Add FNTYPE argument.
981         (RETURN_IN_MEMORY):  Replace by TARGET_RETURN_IN_MEMORY.
982         * config/bfin/bfin.h: Likewise.
983         * config/bfin/bfin-protos.h (bfin_return_in_memory): Add fntype
984         argument.
985         * config/bfin/bfin.c: Likewise.
986         * config/pa/pa.h (OUTGOING_REG_PARM_STACK_SPACE): Add FNTYPE argument.
987         * config/alpha/unicosmk.h: Likewise.
988         * config/i386/cygming.h: Likewise.
989         * config/iq2000/iq2000.h: Likewise.
990         * config/mips/mips.h: Likewise.
991         * config/mn10300/mn10300.h: Likewise.
992         * config/rs6000/rs6000.h: Likewise.
993         * config/score/score.h: Likewise.
994         * config/spu/spu.h: Likewise.
995         * config/v850/v850.h: Likewise.
996         * defaults.h: Likewise.
997         * doc/tm.texi (OUTGOING_REG_PARM_STACK_SPACE): Adjust documentation.
998         * expr.c (emit_block_move): Adjust use of
999         OUTGOING_REG_PARM_STACK_SPACE.
1000         * function.c (STACK_DYNAMIC_OFFSET): Adjust use of
1001         OUTGOING_REG_PARM_STACK_SPACE.
1002         * targhooks.c (default_return_in_memory): Remove RETURN_IN_MEMORY.
1003
1004 2008-05-08  Jakub Jelinek  <jakub@redhat.com>
1005
1006         * tree-parloops.c (create_parallel_loop): Set OMP_RETURN_NOWAIT
1007         on OMP_RETURN for OMP_FOR.
1008
1009         PR debug/35896
1010         * dwarf2out.c (dw_expand_expr, common_check): Removed.
1011         (fortran_common): New function.
1012         (gen_variable_die): Call fortran_common instead of common_check,
1013         adjust for it returning tree instead of rtx.  Formatting.
1014
1015 2008-05-07  Kenneth Zadeck  <zadeck@naturalbridge.com>
1016
1017         PR rtl/7335
1018         PR rtl/33826
1019         * see.c (see_copy_insn): Copy new pure const attributes for new call.
1020         * c-decl.c (merge_decls): Ditto.
1021         * postreload.c (record_opr_changes): Change CONST_OR_PURE_CALL_P
1022         to RTL_CONST_OR_PURE_CALL_P.
1023         * tree.c (define_local_buitin): Rename DECL_IS_PURE to DECL_PURE_P.
1024         Initialized DECL_LOOPING_CONST_PURE.
1025         (process_call_operands): Set tree_side_effects properly.
1026         * tree.h (TREE_READONLY_DECL_P): Removed.
1027         (DECL_IS_PURE): Renamed to DECL_PURE_P.
1028         (DECL_LOOPING_OR_CONST_P): New macro.
1029         (struct tree_function_decl): Added looping_const_or_pure_p.
1030         (ECF_*) Renumbered.
1031         (ECF_LOOPING_OR_CONST_P): New macro.
1032         * rtlanal.c (pure_const_p): Removed.
1033         * builtins.c (expand_builtin): Rename DECL_IS_PURE to DECL_PURE_P.
1034         * reorg.c (delete_prior_computation) Changed CONST_OR_PURE_CALL_P
1035         to RTL_CONST_CALL_P.
1036         * ipa-pure-const.c (pure_const_state_e): Added looping field.
1037         (check_decl, check_tree, check_call, scan_function): Initialize
1038         looping.
1039         (analyze_function): Rename DECL_IS_PURE to DECL_PURE_P.
1040         (static_execute): Set looping true for recursive functions.
1041         Undo setting state to IPA_NEITHER for recursive functions.
1042         * cse.c (cse_insn): 
1043         * ifcvt.c (noce_can_store_speculate_p): Changed
1044         CONST_OR_PURE_CALL_P and pure_call_p to RTL_CONST_CALL_P or 
1045         RTL_CONST_OR_PURE_CALL_P.
1046         * dse.c (scan_insn): Ditto.
1047         * local-alloc.c (validate_equiv_mem, memref_used_between_p): Ditto.
1048         * gcse.c (oprs_not_seen_p) Changed CONST_OR_PURE_CALL_P to
1049         RTL_CONST_OR_PURE_CALL_P.
1050         (store_killed_in_insn): Changed CONST_OR_PURE_CALL_P and
1051         pure_call_p to RTL_CONST_CALL_P.
1052         * gimplify.c (gimplify_call_expr): Clear side effects for
1053         non-looping pure and constant calls.
1054         * calls.c (emit_call_1): Set rtl flags from ecf flags.
1055         (flags_from_decl_or_type): Set ecf flags from decl flags.
1056         (initialize_argument_information): Turn off
1057         ECF_LOOPING_CONST_OR_PURE when turning off ECF_CONST.
1058         Change const to pure if callee_copies is true rather than just
1059         turning off const.
1060         (expand_call): Turn off ECF_LOOPING_PURE_CONST_CALL and remove old
1061         way of marking pure calls.
1062         (emit_library_call_value_1): Turn off ECF_LOOPING_PURE_CONST_CALL.
1063         Remove hack that was supposed to fix pr7335 and remove old
1064         way of marking pure calls.
1065         * emit-rtl.c (emit_copy_of_insn_after): Copy RTL_CONST_CALL_P,
1066         RTL_PURE_CALL_P, RTL_LOOPING_CONST_OR_PURE_CALL_P.
1067         * cselib.c (cselib_process_insn): Changed CONST_OR_PURE_CALL_P to
1068         RTL_CONST_OR_PURE_CALL_P.
1069         * tree-ssa-pre.c (can_value_number_call): Fixed spacing.
1070         * loop-invariant.c (find_exits, find_invariant_bb): Changed
1071         CONST_OR_PURE_CALL_P to RTL_CONST_OR_PURE_CALL_P.
1072         * sched-deps.c (schedule_analyze): Ditto.
1073         * rtl.h (struct rtx_def): Use call field, unchanging field, and
1074         return_val field of calls to represent pure and const function info.
1075         (CONST_OR_PURE_CALL_P): Deleted macro.
1076         (RTL_CONST_CALL_P, RTL_PURE_CALL_P,
1077         RTL_LOOPING_CONST_OR_PURE_CALL_P, RTL_CONST_OR_PURE_P): New macros.
1078         * tree-inline.c (copy_body_r): Changed TREE_READONLY_DECL_P to
1079         TREE_READONLY.
1080         * tree-optimize.c (execute_fixup_cfg): Added test for
1081         ECF_LOOPING_CONST_OR_PURE.
1082         * c-common.c (handle_pure_attribute): Changed DECL_IS_PURE to
1083         DECL_PURE_P.
1084         * tree-cfg.c (update_call_expr_flags): Do not clear tree side
1085         effects for looping pure or const calls.
1086         (verify_gimple_expr): Added verification code. 
1087         * config/alpha/alpha.c (alpha_legitimize_address,
1088         alpha_emit_xfloating_libcall): Changed CONST_OR_PURE_CALL_P to
1089         RTL_CONST_CALL_P.
1090         * config/s390/s390.c (s390_emit_tls_call_insn): Ditto.
1091         * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Ditto.
1092         * config/mips/mips.c (mips_call_tls_get_addr): Ditto.
1093         * cfgrtl.c (need_fake_edge_p): Changed CONST_OR_PURE_CALL_P to
1094         RTL_CONST_OR_PURE_CALL_P.
1095         * dce.c (deletable_insn_p): Allow non looping, non sibling, pure
1096         and const calls to be deleted.
1097
1098 2008-05-07  Uros Bizjak  <ubizjak@gmail.com>
1099
1100         PR target/35714
1101         * config/i386/mmx.md (mmx_subv2sf3): New expander.
1102         (*mmx_subv2sf3): Rename from mmx_subv2sf3 insn pattern.
1103         (*mmx_eqv2sf3): Rename from mmx_eqv2sf3 insn pattern.
1104         (mmx_eqv2sf3): New expander.  Use ix86_fixup_binary_operands_no_copy
1105         to handle nonimmediate operands.
1106         (*mmx_paddwd): Rename from mmx_paddwd insn pattern.
1107         (mmx_paddwd): New expander.  Use ix86_fixup_binary_operands_no_copy
1108         to handle nonimmediate operands.
1109         (*mmx_pmulhrwv4hi3): Rename from mmx_pmulhrwv4hi3 insn pattern.
1110         (mmx_pmulhrwv4hi3): New expander.  Use
1111         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1112         (*sse2_umulv1siv1di3): Rename from sse2_umulv1siv1di3 insn pattern.
1113         (sse2_umulv1siv1di3): New expander.  Use
1114         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1115         (*mmx_eq<mode>3): Rename from mmx_eq<mode>3 insn pattern.
1116         (mmx_eq<mode>3): New expander.  Use
1117         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1118         (*mmx_uavgv8qi3): Rename from mmx_uavgv8qi3 insn pattern.
1119         (mmx_uavgv8qi3): New expander.  Use
1120         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1121         (*mmx_uavgv4hi3): Rename from mmx_uavgv4hi3 insn pattern.
1122         (mmx_uavgv4hi3): New expander.  Use
1123         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1124
1125         * config/i386/sse.md
1126         (sse_movhlps_exp): New expander.  Use ix86_fixup_binary_operands
1127         to handle nonimmediate operands.
1128         (sse_movlhps_exp): New expander.  Use ix86_fixup_binary_operands
1129         to handle nonimmediate operands.
1130         (sse_loadhps_exp): New expander.  Use ix86_fixup_binary_operands
1131         to handle nonimmediate operands.
1132         (sse_loadlps_exp): New expander.  Use ix86_fixup_binary_operands
1133         to handle nonimmediate operands.
1134         (sse2_unpckhpd_exp): New expander.  Use
1135         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1136         (sse2_unpcklpd_exp): New expander.  Use
1137         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1138         (sse_loadhpd_exp): New expander.  Use ix86_fixup_binary_operands
1139         to handle nonimmediate operands.
1140         (sse_loadlpd): New expander.  Use ix86_fixup_binary_operands
1141         to handle nonimmediate operands.
1142         (*sse2_<plusminus_insn><mode>3): Rename from
1143         sse2_<plusminus_insn><mode>3 insn pattern.
1144         (sse2_<plusminus_insn><mode>3): New expander.  Use
1145         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1146         (*sse2_umulv2siv2di3): Rename from sse2_umulv2siv2di3 insn pattern.
1147         (sse2_umulv2siv2di3): New expander.  Use
1148         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1149         (*sse4_1_mulv2siv2di3): Rename from sse4_1_mulv2siv2di3 insn pattern.
1150         (sse4_1_mulv2siv2di3): New expander.  Use
1151         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1152         (*sse2_pmaddwd): Rename from sse2_pmaddwd insn pattern.
1153         (sse2_pmaddwd): New expander.  Use
1154         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1155         (*sse2_eq<mode>3): Rename from sse2_eq<mode>3 insn pattern.
1156         (sse2_eq<mode>3): New expander.  Use
1157         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1158         (*sse4_1_eqv2di3): Rename from sse4_1_eqv2di3 insn pattern.
1159         (sse4_1_eqv2di3): New expander.  Use
1160         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1161         (*sse2_uavgv16qi3): Rename from sse2_uavgv16qi3 insn pattern.
1162         (sse2_uavgv16qi3): New expander.  Use
1163         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1164         (*sse2_uavgv16qi3): Rename from sse2_uavgv16qi3 insn pattern.
1165         (sse2_uavgv16qi3): New expander.  Use
1166         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1167         (*sse2_uavgv8hi3): Rename from sse2_uavgv8hi3 insn pattern.
1168         (sse2_uavgv8hi3): New expander.  Use
1169         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1170         (*ssse3_pmulhrswv8hi3): Rename from ssse3_pmulhrswv8hi3 insn pattern.
1171         (ssse3_pmulhrswv8hi3): New expander.  Use
1172         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1173         (*ssse3_pmulhrswv4hi3): Rename from ssse3_pmulhrswv4hi3 insn pattern.
1174         (ssse3_pmulhrswv4hi3): New expander.  Use
1175         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1176
1177         (<sse>_vm<plusminus_insn><mode>3): Do not use ix86_binary_operator_ok.
1178         (<sse>_vmmul<mode>3): Ditto.
1179         (divv4sf3): Do not use ix86_fixup_binary_operands_no_copy.
1180         (divv2df3): Ditto.
1181         (ssse3_pmaddubsw128): Use register_operand for operand 1.
1182         (ssse3_pmaddubsw): Ditto.
1183
1184         * config/i386/i386.c (struct_builtin_description)
1185         [IX86_BUILTIN_LOADHPS]: Use CODE_FOR_sse_loadhps_exp.
1186         [IX86_BUILTIN_STOREHPS]: Use CODE_FOR_sse_loadlps_exp.
1187         [IX86_BUILTIN_LOADHPD]: Use CODE_FOR_sse2_loadhpd_exp.
1188         [IX86_BUILTIN_LOADLPD]: Use CODE_FOR_sse2_loadlpd_exp.
1189         [IX86_BUILTIN_MOVHLPS]: Use CODE_FOR_sse_movhlps_exp.
1190         [IX86_BUILTIN_MOVLHPS]: Use CODE_FOR_sse_movlhps_exp.
1191         [IX86_BUILTIN_UNPCKHPD]: Use FOR_sse2_unpckhpd_exp.
1192         [IX86_BUILTIN_UNPCKLPD]: Use FOR_sse2_unpcklpd_exp.
1193         (ix86_fixup_binary_operands): Assert that src1
1194         and src2 must have the same mode when swapped.
1195         (ix86_expand_binop_builtin): Do not use ix86_fixup_binary_operands
1196         and ix86_binary_operator_ok.  Do not force operands in registers
1197         when optimizing.
1198
1199 2008-05-07  Jan Hubicka  <jh@suse.cz>
1200
1201         * cgraph.c (dump_cgraph_node): Update.
1202         * cgraph.h (cgraph_local_info): Break out inline summary.
1203         * cgraphunit.c (cgraph_process_new_functions): Use inliner analysis
1204         hook.
1205         * ipa-inline (inline_summary): New accestor function.
1206         (cgraph_clone_inlined_nodes, cgraph_check_inline_limits,
1207         cgraph_decide_inlining, compute_inline_parameters): Update.
1208         * ipa.c (cgraph_remove_unreachable_nodes): Remove statistics.
1209
1210 2008-05-07  Maxim Kuvyrkov  <maxim@codesourcery.com>
1211
1212         Cleanup ColdFire scheduling support and add V4 pipeline model.
1213
1214         * config/m68k/m68k.md (UNSPEC_TIE): New constant.
1215         (define_attr cpu): Add cfv4 value.
1216         (define_attr type, define_attr type1): Merge into a single 'type'
1217         attribute.  Update all uses.
1218         (define_attr opx_type, define_attr opy_type, define_attr opx_access):
1219         Rearrange and update.  Rename value 'reg' to 'Rn', add value 'FPn'.
1220         Update all uses.
1221         (define_attr opx_mem, define_attr opy_mem): Remove.
1222         (define_attr op_mem): Clean up, update comment.
1223         (define_attr size): Use specific values instead of general int.
1224         (define_attr guess, define_attr split): Remove.  Update all uses.
1225         (movdf_internal, tstsi_internal, tsthi_internal, tstqi_internal,
1226         tst<mode>_68881, pushexthisi_const, movsi_const0_68000_10,
1227         movsi_const0_68040_60, movsi_const0, movsi_cf, movstrictqi_cf,
1228         zero_extendhisi2_cf, zero_extendqisi2_cfv4, cfv4_extendhisi2,
1229         68k_extendhisi2, extendqihi2, cfv4_extendqisi2, 68k_extendqisi2,
1230         floatsi<mode>2_68881, ftrunc<mode>2_68881, ftrunc<mode>2_cf,
1231         fix<mode>qi2_68881, fix<mode>hi2_68881, fix<mode>si2_68881,
1232         adddi_dishl32, addsi3_5200, add<mode>3_floatsi_68881,
1233         add<mode>3_floathi_68881, add<mode>3_floatqi_68881,
1234         add<mode>3_68881, add<mode>3_cf, subdi_dishl32, subsi3,
1235         sub<mode>3_floatsi_68881, sub<mode>3_floathi_68881,
1236         sub<mode>3_floatqi_68881, sub<mode>3_68881, sub<mode>3_cf,
1237         mulhi3, mulhisi3, mulhisisi3_s, mulsi3_68020, mulsi3_cf,
1238         umulhisi3, mulhisisi3_z, mul<mode>3_floatsi_68881,
1239         mul<mode>3_floathi_68881, mul<mode>3_floatqi_68881, fmul<mode>3_cf,
1240         div<mode>3_cf, sqrt<mode>2_cf, abs<mode>2_cf, clzsi2,
1241         one_cmplsi2_5200, subreghi1ashrdi_const32, ashrsi3, lshrsi3,
1242         bsetmemqi, bsetmemqi_ext, bclrmemqi, bclrmemqi_ext,
1243         beq, bne, bgt, blt, bordered, bunordered, buneq, bunge, bungt, bunle,
1244         bunlt, bltgt, tablejump_internal, call, non_symbolic_call_value,
1245         symbolic_call_value_jsr, symbolic_call_value_bsr, link):
1246         Update or set attributes.
1247         (stack_tie): New fake instruction.
1248
1249         * config/m68k/m68k.h (TUNE_CFV4): New macro.
1250         (m68k_sched_attr_size): Update declaration.
1251         (m68k_sched_attr_type2): Remove.
1252         (m68k_sched_address_bypass_p, m68k_sched_indexed_address_bypass_p):
1253         Declare new bypass predicates.
1254
1255         * config/m68k/m68k.c (m68k_sched_issue_rate,
1256         m68k_sched_first_cycle_multipass_dfa_lookahead): Declare hook
1257         implementations.
1258         (TARGET_SCHED_ISSUE_RATE,
1259         TARGET_SCHED_FIRST_CYCLE_MULTIPASS_DFA_LOOKAHEAD): Override hooks.
1260         (override_options): Handle scheduling for ColdFire V4 core.
1261         (m68k_expand_prologue): Emit stack_tie.
1262         (enum attr_op_type): Split value 'OP_TYPE_REG' to 'OP_TYPE_RN' and
1263         'OP_TYPE_FPN'.  Update all uses.
1264         (sched_guess_p): Remove.
1265         (sched_address_type): Handle symbolic addresses.
1266         (sched_get_operand): New static function.
1267         (sched_operand_type): Merge into sched_attr_op_type.
1268         (sched_attr_op_type): Handle FP registers, handle quick constants,
1269         update.
1270         (m68k_sched_attr_opx_type, m68k_sched_attr_opy_type): Update.
1271         (m68k_sched_attr_size): Update.  Move logic to ...
1272         (sched_get_attr_size_int): New static function.
1273         (sched_get_opxy_mem_type): New static function.
1274         (m68k_sched_attr_op_mem): Update.
1275         (m68k_sched_attr_type2): Remove.
1276         (sched_cfv4_bypass_data): New static variable.
1277         (m68k_sched_adjust_cost): Handle ColdFire V4 bypass.
1278         (m68k_sched_issue_rate): Implement scheduler hook.
1279         (struct _sched_ib: enabled_p): New field.
1280         (m68k_sched_variable_issue): Update.  Handle V4.
1281         (SCHED_DUMP_TODO, SCHED_DUMP_DONE, SCHED_DUMP_NOTHING,
1282         sched_dump_class_func_t, sched_dump_split_class,
1283         sched_dump_dfa_guess_unit_code, sched_dump_dfa_state,
1284         sched_dump_dfa_class, m68k_sched_dump): Remove.
1285         (m68k_sched_first_cycle_multipass_dfa_lookahead): Implement scheduler
1286         hook.
1287         (m68k_sched_init_global): Remove statisctics dumping, introduce
1288         sanity check that all instructions have pipeline reservations.  Handle
1289         ColdFire V4 core.
1290         (m68k_sched_dfa_pre_advance_cycle, m68k_sched_dfa_post_advance_cycle):
1291         Handle ColdFire V4 core.
1292         (sched_mem_operand_p, sched_get_reg_operand, sched_get_mem_operand):
1293         New static functions.
1294         (m68k_sched_address_bypass_p): New bypass predicate.
1295         (sched_get_indexed_address_scale): New static function.
1296         (m68k_sched_indexed_address_bypass_p): New bypass predicate.
1297
1298         * cf.md: Update comments.
1299         (define_attr type2): Remove.  Use 'type' attribute instead.
1300         Update all uses.
1301         (cf_ib): Rename to cfv123_ib.  Update all uses.
1302         (cf_oep): Rename to cfv123_oep.  Update all uses.
1303         (cf_chr): Rename to cfv123_chr.  Update all uses.
1304         (cf_mem): Rename to cfv123_mem.  Update all uses.
1305         (cf_mac): Move to more appropriate place.
1306         (cfv123_guess): New automaton and cpu_unit.
1307         (cfv123_*, cfv12_*, cfv1_*, cfv2_*, cfv3_*): Use type attribute.
1308         Update uses of 'size' attribute.  Handle before reload scheduling.
1309         (cfv123_guess): New dummy reservation for unhandled instructions.
1310         (cfv4_*): Pipeline description of ColdFire V4 core.
1311         (ignore): New reservation to handle 'ignore' type.
1312
1313 2008-05-07  Ian Lance Taylor  <iant@google.com>
1314
1315         PR middle-end/36013
1316         * gimplify.c (find_single_pointer_decl_1): Don't look through
1317         indirections.
1318         (find_single_pointer_decl): Adjust comments.
1319
1320 2008-05-07  Jakub Jelinek  <jakub@redhat.com>
1321
1322         PR middle-end/36137
1323         * fold-const.c (fold_binary): Use STRIP_SIGN_NOPS instead of
1324         STRIP_NOPS on arguments even for MIN_EXPR and MAX_EXPR.
1325
1326         PR middle-end/36106
1327         * omp-low.c (expand_omp_atomic_pipeline): Load value using the
1328         integral type rather than floating point, then VIEW_CONVERT_EXPR
1329         to the floating point type.
1330
1331 2008-05-07  Uros Bizjak  <ubizjak@gmail.com>
1332
1333         * config/i386/i386.c (ix86_expand_copysign): Force non-zero constant
1334         TFmode op0 to register.
1335
1336 2008-05-07  Alan Modra  <amodra@bigpond.net.au>
1337
1338         * c-decl.c (grokdeclarator): Comment typo.
1339
1340 2008-05-06  Aldy Hernandez  <aldyh@redhat.com>
1341
1342         * tree-flow.h: Remove prototype for computed_goto_p.
1343         * tree-cfg.c (computed_goto_p): Make static.
1344
1345 2008-05-06  H.J. Lu  <hongjiu.lu@intel.com>
1346
1347         PR target/35657
1348         * config/i386/i386.c (contains_128bit_aligned_vector_p): Renamed to ...
1349         (contains_aligned_value_p): This.  Handle _Decimal128.
1350         (ix86_function_arg_boundary): Only align _Decimal128 to its
1351         natural boundary and handle it properly.
1352
1353 2008-05-06  Martin Jambor  <mjambor@suse.cz>
1354
1355         * ipa-cp.c (ipcp_method_orig_node): Renamed to ipcp_get_orig_node.
1356         (ipcp_method_is_cloned): Renamed to ipcp_node_is_clone
1357         (ipcp_method_set_orig_node): Removed.
1358         (ipcp_cval_get_cvalue_type): Removed.
1359         (ipcp_method_get_scale): Renamed to ipcp_get_node_scale.
1360         (ipcp_method_set_scale): Renamed to ipcp_set_node_scale.
1361         (ipcp_cval_set_cvalue_type): Removed.
1362         (ipcp_cval_get_cvalue): Removed.
1363         (ipcp_cval_set_cvalue): Removed.
1364         (ipcp_type_is_const): Renamed to ipcp_lat_is_const.
1365         (ipcp_cval_equal_cvalues): Renamed to ipcp_lats_are_equal
1366         (ipcp_lats_are_equal): Changed parameters to two ipcp_lattice's
1367         (ipcp_cval_meet): Renamed to ipa_lattice_meet
1368         (ipcp_cval_changed): Changed to use ipcp_lat_is_const
1369         (ipcp_method_cval): Renamed to ipcp_get_ith_lattice
1370         (ipcp_get_ith_lattice): Changed parameters.
1371         (ipcp_cval_compute): Renamed to ipcp_lattice_from_jfunc
1372         (ipcp_lattice_from_jfunc): Changed parameters.
1373         (ipcp_redirect): Local lattice pointer instead of lattice type variable.
1374         (ipcp_method_cval_print): Added temporary variable info.
1375         (ipcp_redirect): Removed already unused local variable caller.
1376         (ipcp_redirect): New temporary variable orig_callee_info
1377         (ipcp_redirect): Removed newly unused local variable callee.
1378         (ipcp_redirect): Removed (a bit confusing) local variable type.
1379         (ipcp_insert_stage): Added local variable info.
1380         (ipcp_cval_changed): Renamed to ipcp_lattice_changed, parameters 
1381         renamed too
1382         (ipcp_formal_create): Removed.
1383         (ipcp_method_cval_set): Removed.
1384         (ipcp_propagate_stage): Renamed lattice variables.
1385         (ipcp_method_cval_set_cvalue_type): Removed.
1386         (ipcp_method_cval_print): Renamed to ipcp_print_all_lattices
1387         (ipcp_print_all_lattices): Changed printed strings to refer to 
1388         lattices rather than cvals.
1389         (ipcp_method_cval_init): Renamed to ipcp_initialize_node_lattices
1390         (ipcp_propagate_const): Changed formal parameters.
1391         (build_const_val): Changed formal parameters.
1392         (ipcp_insert_stage): Removed useless variable cvalue
1393         (build_const_val): Changed formal parameters.
1394         (ipcp_method_compute_scale): Renamed to ipcp_compute_node_scale
1395         (ipcp_after_propagate): Renamed to ipcp_change_tops_to_bottom
1396         (ipcp_callsite_param_print): Renamed to ipcp_print_all_jump_functions
1397         (ipcp_profile_mt_count_print): Renamed to ipcp_print_func_profile_counts
1398         (ipcp_print_func_profile_counts): Changed string from "method" to 
1399         "function"
1400         (ipcp_profile_cs_count_print): Renamed to ipcp_print_call_profile_counts
1401         (ipcp_profile_edge_print): Renamed to ipcp_print_edge_profiles
1402         (ipcp_profile_bb_print): Renamed to ipcp_print_bb_profiles
1403         (ipcp_structures_print): Renamed to ipcp_print_all_structures
1404         (ipcp_profile_print): Renamed to ipcp_print_profile_data
1405         (ipcp_lat_is_const): Changed parameters and made inline.
1406         (ipcp_replace_map_create): Renamed to ipcp_create_replace_map
1407         (ipcp_redirect): Renamed to ipcp_need_redirect_p
1408         (ipcp_need_redirect_p): Calls ipcp_lat_is_const instead of using 
1409         the predicate condition directly
1410         (ipcp_propagate_stage): Added local variable args. Removed local
1411         variable callee.  (Both are mere code simplifications.)
1412         (ipcp_method_dont_insert_const): Renamed to
1413         ipcp_node_not_modifiable_p.
1414         (ipcp_node_not_modifiable_p): Made inline.
1415         (ipcp_cloned_create): Renamed to ipcp_init_cloned_node
1416         (ipcp_propagate_const): Renamed to ipcp_propagate_one_const
1417         (ipcp_print_all_lattices): Removed variable cvalue
1418         (ipcp_method_scale_print): Renamed to ipcp_function_scale_print
1419         Updated comments.
1420
1421 2008-05-06  Olivier Hainque  <hainque@adacore.com>
1422
1423         * tree-sra.c (try_instantiate_multiple_fields): Early return
1424         if field has POINTER_TYPE.
1425
1426 2008-05-06  Kai Tietz  <kai.tietz@onevision.com>
1427
1428         * config/i386/i386.c (output_set_got): Fix for x86_64 output_emit_asm
1429         by using 'q' specifier for instruction.
1430         (ix86_file_end): Replaced case TARGET_64BIT_MS_ABI by TARGET_64BIT.
1431
1432 2008-05-06  Anatoly Sokolov <aesok@post.ru>
1433
1434         * config/avr/avr.md (*sbrx_branch, *sbix_branch, *sbix_branch_tmp):
1435         Change mode of zero_extract from QImode to HImode.
1436         (sign bit tests peepholes): (Ditto.).
1437
1438 2008-05-06  Uros Bizjak  <ubizjak@gmail.com>
1439
1440         * config/i386/mmx.md: Remove double backslashes from asm templates.
1441         (*mmx_addv2sf3): Rename from mmx_addv2sf3 insn pattern.
1442         (mmx_addv2sf3): New expander.  Use ix86_fixup_binary_operands_no_copy
1443         to handle nonimmediate operands.
1444         (*mmx_mulv2sf3): Rename from mmx_mulv2sf3 insn pattern.
1445         (mmx_mulv2sf3): New expander.  Use ix86_fixup_binary_operands_no_copy
1446         to handle nonimmediate operands.
1447         (*mmx_<code>v2sf3_finite): New insn pattern.
1448         (*mmx_<code>v2sf3): Rename from mmx_<code>v2sf3 insn pattern.
1449         (mmx_<code>v2sf3): New expander.  Use
1450         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1451         (mmx_<plusminus_insn><mode>3): New expander.  Use
1452         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1453         (*mmx_<plusminus_insn><mode>3): New insn pattern.
1454         (mmx_add<mode>3): Removed.
1455         (mmx_ssadd<mode>3): Ditto.
1456         (mmx_usadd<mode>3): Ditto.
1457         (mmx_sub<mode>3): Ditto.
1458         (mmx_sssub<mode>3): Ditto.
1459         (mmx_ussub<mode>3): Ditto.
1460         (*mmx_mulv4hi3): Rename from mmx_mulv4hi3 insn pattern.
1461         (mmx_mulv4hi3): New expander.  Use ix86_fixup_binary_operands_no_copy
1462         to handle nonimmediate operands.
1463         (*mmx_smulv4hi3_highpart): Rename from mmx_smulv4hi3_highpart
1464         insn pattern.
1465         (mmx_smulv4hi3_highpart): New expander.  Use
1466         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1467         (*mmx_umulv4hi3_highpart): Rename from mmx_umulv4hi3_highpart
1468         insn pattern.
1469         (mmx_umulv4hi3_highpart): New expander.  Use
1470         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1471         (*mmx_<code>v4hi3): Rename from mmx_<code>v4hi3 insn pattern.
1472         (mmx_<code>v4hi3): New expander.  Use
1473         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1474         (*mmx_<code>v8qi3): Rename from mmx_<code>v8qi3 insn pattern.
1475         (mmx_<code>v8qi3): New expander.  Use
1476         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1477         (*mmx_<code><mode>3): Rename from mmx_<code><mode>3 insn pattern.
1478         (mmx_<code><mode>3): New expander.  Use
1479         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1480
1481 2008-05-05  Jan Hubicka  <jh@suse.cz>
1482
1483         PR tree-optimization/36118
1484         * passes.c (pass_init_dump_file): Fix dump header.
1485
1486 2008-05-05  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1487
1488         PR middle-end/36141
1489         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Don't create
1490         VCE for function decls.
1491
1492 2008-05-05  H.J. Lu  <hongjiu.lu@intel.com>
1493
1494         * config/i386/sse.md (sse2_<plusminus_insn><mode>3): Fix a typo.
1495
1496 2008-05-05  H.J. Lu  <hongjiu.lu@intel.com>
1497
1498         * config/i386/i386.md (sat_plusminus): New.
1499         (plusminus_insn): Likewise.
1500         (plusminus_mnemonic): Likewise.
1501         (addsub): Removed.
1502         (comm): Add ss_plus, us_plus, ss_minus and us_minus.
1503         (*<addsub><mode>3_cc_overflow): Renamed to ...
1504         (*<plusminus_insn><mode>3_cc_overflow): This.
1505         (*<addsub>si3_zext_cc_overflow): Renamed to ...
1506         (*<plusminus_insn>si3_zext_cc_overflow): This.
1507
1508         * config/i386/sse.md (<addsub><mode>3): Renamed to ...
1509         (<plusminus_insn><mode>3): This.
1510         (*<addsub><mode>3): Renamed to ...
1511         (*<plusminus_insn><mode>3): This.
1512         (<sse>_vm<addsub><mode>3): Renamed to ...
1513         (<sse>_vm<plusminus_insn><mode>3): This.
1514         (sse3_h<addsub>v4sf3): Renamed to ...
1515         (sse3_h<plusminus_insn>v4sf3): This.
1516         (sse3_h<addsub>v2df3): Renamed to ...
1517         (sse3_h<plusminus_insn>v2df3): This.
1518         (<plusminus_insn><mode>3): New.
1519         (*<plusminus_insn><mode>3): Likewise.
1520         (sse2_<plusminus_insn><mode>3): Likewise.
1521         (add<mode>): Removed.
1522         (*add<mode>3): Likewise.
1523         (sse2_ssadd<mode>3): Likewise.
1524         (sse2_usadd<mode>3): Likewise.
1525         (sub<mode>3): Likewise.
1526         (*sub<mode>3): Likewise.
1527         (sse2_sssub<mode>3): Likewise.
1528         (sse2_ussub<mode>3): Likewise.
1529
1530 2008-05-05  Benjamin Kosnik  <bkoz@redhat.com>
1531
1532         * gthr-single.h: Add in required interface elements as per gthr.h.
1533         Add stub types for __gthread_key_t, __gthread_once_t. Add defines
1534         for __GTHREAD_ONCE_INIT, __GTHREAD_RECURSIVE_MUTEX_INIT.
1535         Generalize UNUSED macro. 
1536         (__gthread_once): Add.
1537         (__gthread_key_create): Add.
1538         (__gthread_key_delete): Add.
1539         (__gthread_getspecific): Add.
1540         (__gthread_setspecific): Add.
1541         
1542 2008-05-05  Andrew Pinski  <Andrew.Pinski@playstation.sony.com>
1543
1544         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): If we have
1545         the same size types for the indirect reference on the rhs, then
1546         create a VCE.
1547
1548 2008-05-05  Uros Bizjak  <ubizjak@gmail.com>
1549
1550         * config/i386/i386.md
1551         (*float<SSEMODEI24:mode><MODEF:mode>2_sse_interunit): Use only
1552         one insn template instead of template series.
1553         (*xordi_1_rex64): Ditto.
1554         (*xordi_2_rex64): Ditto.
1555
1556 2008-05-05  Ira Rosen  <irar@il.ibm.com>
1557
1558         PR tree-optimization/36119
1559         * tree-vect-transform.c (vectorizable_assignment): Set NCOPIES to 1
1560         in case of SLP.
1561
1562 2008-06-04  Jan Hubicka  <jh@suse.cz>
1563
1564         tree-optimization/36100
1565         * tree-pass.h (pass_O0_always_inline): Declare.
1566         * ipa-inline.c (inline_transform): Remove dead code.
1567         (cgraph_gate_O0_always_inline, cgraph_O0_always_inline,
1568         pass_O0_always_inline): New.
1569         * passes.c (init_optimization_passes): Add pass_O0_always_inline.
1570
1571 2008-05-04  Kai Tietz  <kai.tietz@onevision.com>
1572
1573         * config/i386/i386.c (x86_output_mi_thunk): Use movq alternative
1574         mnemonic in this_param move for TARGET_64BIT.
1575
1576 2008-05-04  Uros Bizjak  <ubizjak@gmail.com>
1577
1578         * config/i386/i386.md (*strmovsi_1): Simplify asm alternatives.
1579         (*strmovsi_rex_1): Ditto.
1580         (*strsetsi_1): Ditto.
1581         (*strsetsi_rex_1): Ditto.
1582
1583         (add<mode>cc): Macroize expander from addqicc, addhicc, addsicc and
1584         adddicc expanders using SWI mode iterator.
1585
1586 2008-05-04  H.J. Lu  <hongjiu.lu@intel.com>
1587
1588         PR target/36121
1589         * config/i386/i386.c (ix86_expand_special_args_builtin): Remove three
1590         argument handling.
1591
1592 2008-05-04  David S. Miller  <davem@davemloft.net>
1593
1594         * config.gcc (sparc*-*-*): Always set need_64bit_hwint to yes.
1595         (sparc*-*-linux*): Use linux.h in tm_file.
1596         (sparc-*-linux*): If 'enabled_targets' is 'all', build a bi-arch
1597         compiler defaulting to 32-bit.
1598         (sparc*-*-*): Remove explicit target settings of need_64bit_hwint,
1599         no longer needed.
1600         * config/sparc/linux.h: Remove definitions now obtained
1601         properly from linux.h
1602         * config/sparc/linux64.h: Likewise.
1603         (ASM_CPU_DEFAULT_SPEC): Change this to ASM_CPU64_DEFAULT_SPEC, we
1604         don't want this setting for 32-bit builds in a biarch compiler.
1605         * doc/install.texi: Add sparc-linux to list of targets
1606         supporting --enable-targets=all.
1607
1608 2008-05-03  Andrew Pinski  <pinskia@gmail.com>
1609
1610         * Makefile.in (tree-ssa-phiprop.o): Fix dependencies.
1611
1612 2008-05-03  H.J. Lu  <hongjiu.lu@intel.com>
1613
1614         * config/i386/i386.c (ix86_builtin_type): Move V4SI_FTYPE_V4SF
1615         after V4SI_FTYPE_V8HI.
1616         (ix86_init_mmx_sse_builtins): Move case V4HI_FTYPE_V4HI after
1617         case V4SI_FTYPE_V2DF.
1618
1619 2008-05-03  Kenneth Zadeck  <zadeck@naturalbridge.com>
1620
1621         * doc/invoke.texi (max-flow-memory-locations): Removed.
1622         * params.def (PARAM_MAX_FLOW_MEMORY_LOCATIONS): Removed.
1623         
1624 2008-05-03  Richard Guenther  <rguenther@suse.de>
1625
1626         PR middle-end/34973
1627         * opts.c (set_Wstrict_aliasing): Handle the turn-off case.
1628
1629 2008-05-02  David S. Miller  <davem@davemloft.net>
1630
1631         * config.gcc (need_64bit_hwint): Document libcpp dependency.
1632
1633 2008-05-02  Simon Baldwin <simonb@google.com>
1634
1635         PR bootstrap/36108
1636         * c-common.h (warn_array_subscript_range): Removed.
1637         * c-common.c (warn_array_subscript_range): Ditto.
1638         * tree-vrp.c (check_array_ref): Revert to ignoring arrays with size 2.
1639         * c-typeck.c (build_array_ref): Remove warn_array_subscript_range.
1640
1641 2008-05-02  H.J. Lu  <hongjiu.lu@intel.com>
1642
1643         * config/i386/i386.c (ix86_special_builtin_type): New.
1644         (bdesc_special_args): Likewise.
1645         (ix86_expand_special_args_builtin): Likewise.
1646         (ix86_init_mmx_sse_builtins): Updated.
1647         (ix86_expand_builtin): Updated.
1648         (ix86_expand_store_builtin): Removed.
1649         (ix86_expand_unop_builtin): Likewise.
1650
1651         * config/i386/mm3dnow.h (__v2sf): Moved to ...
1652         * config/i386/mmintrin.h (__v2sf): Here.
1653
1654         * config/i386/xmmintrin.h (_mm_loadh_pi): Replace __v2si with
1655         const __v2sf.
1656         (_mm_loadl_pi): Likewise.
1657         (_mm_storeh_pi): Replace __v2si with __v2sf.
1658         (_mm_storel_pi): Likewise.
1659
1660         * doc/extend.texi: Correct __builtin_ia32_loadhps,
1661         __builtin_ia32_loadlps, __builtin_ia32_storehps,
1662         __builtin_ia32_storelps, __builtin_ia32_loadhpd and
1663         __builtin_ia32_loadlpd.
1664
1665 2008-05-02  H.J. Lu  <hongjiu.lu@intel.com>
1666
1667         * config/i386/i386.c (ix86_builtin_type): Add FLOAT_FTYPE_FLOAT,
1668         V4SF_FTYPE_V4SF_VEC_MERGE and V2DF_FTYPE_V2DF_VEC_MERGE.
1669         (bdesc_args): Updated.  Add scalar SSE builtins with vec_merge.
1670         (ix86_init_mmx_sse_builtins): Updated.
1671         (ix86_expand_args_builtin): Likewise.
1672         (ix86_expand_builtin): Likewise.
1673         (ix86_expand_unop1_builtin): Renamed to ...
1674         (ix86_expand_unop_vec_merge_builtin): This.
1675
1676 2008-05-01  Jan Hubicka  <jh@suse.cz>
1677
1678         PR bootstrap/36100
1679         * ipa-inline.c (inline_generate_summary): Make static.
1680         (inline_transform): Do not call inlining at -O0; make static.
1681         * passes.c (execute_todo): Add sanity check.
1682         (execute_one_ipa_transform_pass): Execute proper flags.
1683
1684 2008-05-01  Eric Botcazou  <ebotcazou@adacore.com>
1685
1686         * tree.h (TYPE_NONALIASED_COMPONENT): Expand comment.
1687         (DECL_NONADDRESSABLE_P): Likewise.
1688         * alias.c (record_component_aliases): Fix comment.
1689
1690 2008-05-01  Simon Baldwin <simonb@google.com>
1691
1692         * c-common.h (warn_array_subscript_range): New function.
1693         * c-common.c (warn_array_subscript_range): Ditto.
1694         * tree-vrp.c (check_array_ref): Corrected code to agree with
1695         comment, ignoring only arrays of size 0 or size 1.
1696         * c-typeck.c (build_array_ref): Call warn_array_subscript_range.
1697
1698 2008-05-01  H.J. Lu  <hongjiu.lu@intel.com>
1699
1700         * config/i386/i386.c (ix86_builtin_type): Replace
1701         DI_FTYPE_DI_DI_INT with V1DI2DI_FTYPE_V1DI_V1DI_INT.
1702         (bdesc_args): Updated.
1703         (ix86_init_mmx_sse_builtins): Likewise.
1704         (ix86_expand_args_builtin): Likewise.
1705
1706         * config/i386/tmmintrin.h (_mm_alignr_pi8): Replace long long
1707         with __v1di.
1708
1709         * doc/extend.texi: Correct __builtin_ia32_palignr.
1710
1711 2008-05-01  H.J. Lu  <hongjiu.lu@intel.com>
1712
1713         PR target/36095
1714         * config/i386/i386.c (bdesc_crc32): Removed.
1715         (ix86_expand_crc32): Likewise.
1716         (ix86_builtin_type): Replace V2DI2TI_FTYPE_V2DI2TI_INT with
1717         V2DI2TI_FTYPE_V2DI_INT, V2DI2TI_FTYPE_V2DI2TI_V2DI2TI_INT with
1718         V2DI2TI_FTYPE_V2DI_V2DI_INT.  Add UINT64_FTYPE_UINT64_UINT64,
1719         UINT_FTYPE_UINT_UINT, UINT_FTYPE_UINT_USHORT and
1720         UINT_FTYPE_UINT_UCHAR.
1721         (bdesc_args): Updated. Add crc32 builtins.
1722         (ix86_init_mmx_sse_builtins): Updated.
1723         (ix86_expand_args_builtin): Updated to support subreg.
1724
1725         * doc/extend.texi: Correct __builtin_ia32_crc32di.
1726
1727 2008-05-01  Jan Hubicka  <jh@suse.cz>
1728
1729         * tree-pass.h (opt_pass): Add IPA_PASS.
1730         (varpool_node, cgraph_node): Forward declare.
1731         (ipa_opt_pass): Define.
1732         (pass_ipa_inline): Turn into ipa_opt_pass.
1733         (pass_apply_inline): Remove.
1734         * ipa-inline.c (pass_ipa_inline): Turn into ipa_opt_pass.
1735         (apply_inline): Turn into ....
1736         (inline_transform): ... this one.
1737         (inline_generate_summary): New function.
1738         (pass_apply_inline): Remove.
1739         * function.h (ipa_opt_pass): Forward declare structure; typedef;
1740         vector.
1741         (struct function): Add ipa_transforms_to_apply.
1742         * passes.c (register_one_dump_file): Work on IPA_PASS.
1743         (init_optimization_passes): Remove pass_inline_parameters and
1744         pass_apply_inline.
1745         (pass_init_dump_file, pass_fini_dump_file): Break out from ....
1746         (execute_one_pass) ... here; apply transforms when possible.
1747         (add_ipa_transform_pass, execute_ipa_summary_asses,
1748         execute_one_ipa_transform_pass): New.
1749         (execute_ipa_pass_list): Update for IPA_PASS type.
1750
1751 2008-05-01  H.J. Lu  <hongjiu.lu@intel.com>
1752
1753         * config/i386/i386.c (ix86_builtin_type): Add
1754         V2DI_FTYPE_V2DI_V16QI, V2DI_FTYPE_V2DI_UINT_UINT and
1755         V2DI_FTYPE_V2DI_V2DI_UINT_UINT.
1756         (bdesc_args): Add SSE4a builtins.
1757         (ix86_init_mmx_sse_builtins): Updated.
1758         (ix86_expand_args_builtin): Likewise.
1759         (ix86_expand_builtin): Likewise.
1760
1761 2008-05-01  H.J. Lu  <hongjiu.lu@intel.com>
1762
1763         * config/i386/i386.c (ix86_builtin_type): Add
1764         V8HI_FTYPE_V8HI_V8HI_COUNT, V8HI_FTYPE_V8HI_SI_COUNT,
1765         V4SI_FTYPE_V4SI_V4SI_COUNT, V4SI_FTYPE_V4SI_SI_COUNT,
1766         V4HI_FTYPE_V4HI_V4HI_COUNT, V4HI_FTYPE_V4HI_SI_COUNT,
1767         V2DI_FTYPE_V2DI_V2DI_COUNT, V2DI_FTYPE_V2DI_SI_COUNT,
1768         V2SI_FTYPE_V2SI_V2SI_COUNT, V2SI_FTYPE_V2SI_SI_COUNT,
1769         V1DI_FTYPE_V1DI_V1DI_COUNT, V1DI_FTYPE_V1DI_SI_COUNT,
1770         V8HI_FTYPE_V8HI_INT, V4SI_FTYPE_V4SI_INT, V4HI_FTYPE_V4HI_INT,
1771         V2DI2TI_FTYPE_V2DI2TI_INT, V2DI2TI_FTYPE_V2DI2TI_V2DI2TI_INT
1772         and DI_FTYPE_DI_DI_INT.
1773         (bdesc_args): Add MMX/SSE shift, shuffle and palignr builtins.
1774         (ix86_init_mmx_sse_builtins): Updated.
1775         (ix86_expand_args_builtin): Likewise.
1776         (ix86_expand_builtin): Likewise.
1777         (ix86_expand_binop_imm_builtin): Removed.
1778
1779         * doc/extend.texi: Correct __builtin_ia32_palignr128.
1780
1781 2008-04-30  Richard Guenther  <rguenther@suse.de>
1782
1783         PR tree-optimization/32921
1784         * tree-ssa-loop-im.c (mem_refs_may_alias_p): Disambiguate with TBAA.
1785
1786 2008-04-30  Richard Sandiford  <rsandifo@nildram.co.uk>
1787
1788         * config/arm/arm.c (arm_unwind_emit): Use
1789         crtl->all_throwers_are_sibcalls instead of
1790         cfun->all_throwers_are_sibcalls.
1791         (arm_output_fn_unwind): Likewise.
1792         * config/frv/frv.c (frv_stack_info): Use crtl->uses_pic_offset_table
1793         instead of cfun->uses_pic_offset_table.
1794         (frv_expand_prologue): Likewise.
1795         (frv_frame_pointer_required): Likewise.
1796         (frv_expand_fdpic_call): Likewise.
1797         (frv_emit_movsi): Likewise.
1798         * config/iq2000/iq2000.c (iq2000_expand_prologue): Use
1799         cfun->returns_pcc_struct instead of
1800         current_function_returns_pcc_struct.
1801         * config/m32c/m32c.c (need_to_save): Use crtl->calls_eh_return
1802         instead of cfun->calls_eh_return.
1803         (m32c_pushm_popm): Likewise.
1804         * config/xtensa/xtensa.h (cfun->calls_alloca): Remove bogus
1805         "extern" declaration.
1806
1807 2008-04-30  Richard Guenther  <rguenther@suse.de>
1808
1809         PR tree-optimization/21636
1810         * tree-ssa-ccp.c (ccp_fold): Handle &p->x with p being a
1811         constant address.
1812         (evaluate_stmt): Print the likely value.
1813         (ccp_visit_stmt): Avoid excessive vertical spacing.
1814
1815 2008-04-30  Rafael Espindola  <espindola@google.com>
1816
1817         * builtins.c (fold_call_expr): Return realret.
1818         * tree-ssa-threadedge.c
1819         (record_temporary_equivalences_from_stmts_at_dest): Ignore calls to
1820         __builtin_object_size.
1821
1822 2008-04-30  Seongbae Park  <seongbae.park@gmail.com>
1823
1824         * gcc.c (wrapper_string): New variable.
1825         (insert_wrapper): New function.
1826         (execute): New option -wrapper.
1827         * doc/invoke.texi (Overall Options): New driver option -wrapper.
1828
1829 2008-04-30  Nathan Froyd  <froydnj@codesourcery.com>
1830
1831         * config/rs6000/crtresgpr.asm, config/rs6000/crtresxgpr.asm,
1832         config/rs6000/crtsavgpr.asm, config/rs6000/crtresfpr.asm,
1833         config/rs6000/crtresxfpr.asm, config/rs6000/crtsavfpr.asm: Break out
1834         from...
1835         * config/rs6000/crtsavres.asm: ...here.  Remove unneeded file.
1836         * config/rs6000/e500crtres32gpr.asm, config/rs6000/e500crtres64gpr.asm,
1837         config/rs6000/e500crtres64gprctr.asm,
1838         config/rs6000/e500crtrest32gpr.asm, config/rs6000/e500crtrest64gpr.asm,
1839         config/rs6000/e500crtresx32gpr.asm, config/rs6000/e500crtresx64gpr.asm,
1840         config/rs6000/e500crtsav32gpr.asm, config/rs6000/e500crtsav64gpr.asm,
1841         config/rs6000/e500crtsav64gprctr.asm,
1842         config/rs6000/e500crtsavg32gpr.asm, config/rs6000/e500crtsavg64gpr.asm,
1843         config/rs6000/e500crtsavg64gprctr.asm: New files.
1844         * config/rs6000/t-ppccomm: Add build rules for new files.
1845         (LIB2FUNCS_STATIC_EXTRA): Add new files.
1846         * config/rs6000/t-netbsd: Add build rules for new files.
1847         (LIB2FUNCS_STATIC_EXTRA): New variable.
1848         * config/rs6000/sysv4.h (ENDFILE_SPEC): Don't include crtsavres.o
1849         (CRTSAVRES_DEFAULT_SPEC): Likewise.
1850         * config/rs6000/netbsd.h (ENDFILE_SPEC): Likewise.
1851
1852 2008-04-30  H.J. Lu  <hongjiu.lu@intel.com>
1853
1854         * config/i386/i386.c (ix86_builtin_type): Add
1855         FLOAT128_FTYPE_FLOAT128_FLOAT128, V16QI_FTYPE_V16QI_V16QI,
1856         V16QI_FTYPE_V8HI_V8HI, V8QI_FTYPE_V8QI_V8QI,
1857         V8QI_FTYPE_V4HI_V4HI, V8HI_FTYPE_V8HI_V8HI,
1858         V8HI_FTYPE_V16QI_V16QI, V8HI_FTYPE_V4SI_V4SI,
1859         V4SI_FTYPE_V4SI_V4SI, V4SI_FTYPE_V8HI_V8HI,
1860         V4SI_FTYPE_V4SF_V4SF, V4SI_FTYPE_V2DF_V2DF,
1861         V4HI_FTYPE_V4HI_V4HI, V4HI_FTYPE_V8QI_V8QI,
1862         V4HI_FTYPE_V2SI_V2SI, V4SF_FTYPE_V4SF_V4SF,
1863         V4SF_FTYPE_V4SF_V4SF_SWAP, V4SF_FTYPE_V4SF_V2SI,
1864         V4SF_FTYPE_V4SF_V2DF, V4SF_FTYPE_V4SF_DI,
1865         V4SF_FTYPE_V4SF_SI, V2DI_FTYPE_V2DI_V2DI,
1866         V2DI_FTYPE_V16QI_V16QI, V2DI_FTYPE_V4SI_V4SI,
1867         V2DI_FTYPE_V2DF_V2DF, V2SI_FTYPE_V2SI_V2SI,
1868         V2SI_FTYPE_V4HI_V4HI, V2SI_FTYPE_V2SF_V2SF,
1869         V2DF_FTYPE_V2DF_V2DF, V2DF_FTYPE_V2DF_V2DF_SWAP,
1870         V2DF_FTYPE_V2DF_V4SF, V2DF_FTYPE_V2DF_DI,
1871         V2DF_FTYPE_V2DF_SI, V2SF_FTYPE_V2SF_V2SF,
1872         V1DI_FTYPE_V1DI_V1DI, V1DI_FTYPE_V8QI_V8QI and
1873         V1DI_FTYPE_V2SI_V2SI.
1874         (bdesc_2arg): Moved to ...
1875         (bdesc_args): Here.
1876         (ix86_init_mmx_sse_builtins): Updated.
1877         (ix86_expand_args_builtin): Updated.  Take a pointer
1878         to const struct builtin_description.  Handle comparison
1879         builtin functions.
1880         (ix86_expand_sse_compare): Take a new argument for swapping operands.
1881         (ix86_expand_builtin): Updated.
1882
1883         * config/i386/sse.md (ssse3_pmaddubswv8hi3): Renamed to ...
1884         (ssse3_pmaddubsw128): This.
1885         (ssse3_pmaddubswv4hi3): Renamed to ...
1886         (ssse3_pmaddubsw): This.
1887
1888         * doc/extend.texi (__builtin_ia32_packsswb128): Correct prototype.
1889         (__builtin_ia32_packssdw128): Likewise.
1890         (__builtin_ia32_packuswb128): Likewise.
1891         (__builtin_ia32_pmaddubsw): Likewise.
1892         (__builtin_ia32_pmaddubsw128): Likewise.
1893
1894 2008-04-30  Richard Guenther  <rguenther@suse.de>
1895
1896         PR tree-optimization/14847
1897         * tree-ssa-ifcombine.c (get_name_for_bit_test): New helper function.
1898         (recognize_bits_test): Use it.
1899         (recognize_single_bit_test): Likewise.
1900
1901 2008-04-30  Martin Jambor  <mjambor@suse.cz>
1902
1903         * ipa-cp.c (ipcp_init_stage): Calls ipa_set_called_with_variable_arg
1904         instead of setting number of formal parameters to zero.
1905         (ipcp_init_stage): Do not set the number of actual parameters to zero 
1906         either.
1907         (ipcp_propagate_stage): Explicitly skipping all calls to nodes
1908         which are called with variable number of arguments.
1909         (ipcp_insert_stage): Explicitely skipping all nodes which are
1910         called with variable number of arguments.
1911         (ipcp_callsite_param_print): Skipps callsites to nodes with varaible 
1912         number of parameters.
1913
1914         * ipa-prop.h (struct ipa_node_params): Added flag
1915         called_with_var_arguments
1916         (ipa_set_param_count): Added.  Changed sole setter to use it.
1917         (ipa_get_param_count): Added.  All readers of param_count
1918         converted to use it instead.
1919         (ipa_set_called_with_variable_arg): Added.
1920         (ipa_is_called_with_var_arguments): Added.
1921         (ipa_get_ith_param): Added.  All readers of param_decls converted
1922         to use it instead.
1923         (ipa_set_cs_argument_count): Added, sole writer to argument_count 
1924         changed to use it. 
1925         (ipa_get_cs_argument_count): Added, all readers of argument_count
1926         changed to cal it.
1927         (ipa_get_ith_jump_func): Added. Accessors of jump values changed 
1928         to use it.
1929         
1930         * ipa-prop.h (struct ipcp_formal): Renamed to ipcp_lattice
1931         (struct ipcp_lattice): Renamed cval_type to type
1932         (struct ipa_node_params): ipcp_cval renamed to ipcp_lattices
1933
1934         * ipa-cp.c (ipcp_cval_get_cvalue): Changed return value to tree
1935         (ipcp_cval_set_cvalue): Changed type of parameter value to tree
1936         (ipcp_insert_stage): Changed the type of variable cvalue to tree
1937         (ipcp_replace_map_create): Changed the type of parameter cvalue to tree
1938         (build_const_val): Changed the type of parameter cvalue to tree
1939         (ipcp_propagate_const): Changed the type of parameter cvalue to tree
1940         (ipcp_method_cval_set_cvalue_type): Renamed parameter cval_type1 to type
1941         
1942         * ipa-prop.h (struct ipcp_formal): Replaced cvalue with tree called 
1943         constant 
1944
1945         * ipa-prop.c (ipa_methodlist_init): Renamed to ipa_init_func_list
1946         (ipa_methodlist_not_empty): Removed, the sole user now checks directly
1947         (ipa_add_method): Renamed to ipa_push_func_to_list
1948         (ipa_remove_method): Renamed to ipa_pop_func_from_list
1949         (ipa_callsite_param_count): Removed.
1950         (ipa_callsite_param_count_set): Removed.
1951         (ipa_callsite_param): Removed.
1952         (ipa_callsite_callee): Removed.
1953         (ipa_callsite_compute_param): Renamed to ipa_compute_jump_functions
1954         (ipa_callsite_compute_count): Renamed to ipa_count_arguments
1955         (ipa_method_formal_count): Removed.
1956         (ipa_method_formal_count_set): Removed.
1957         (ipa_method_get_tree): Removed.
1958         (ipa_method_tree_map_create): Removed.
1959         (ipa_method_compute_tree_map): Renamed to ipa_create_param_decls_array
1960         (ipa_create_param_decls_array): Creates the array itself
1961         (ipa_create_param_decls_array): Temporary variable info instead of 
1962         a few dereferences.
1963         (ipa_method_formal_compute_count): Renamed to ipa_count_formal_params
1964         (ipa_method_compute_modify): Renamed to ipa_detect_param_modifications
1965         (get_type): Removed.
1966         (ipa_jf_get_info_type): Removed.
1967         (ipa_node_create): Renamed to ipa_create_node_params
1968         (ipa_free): Renamed to ipa_free_all_node_params
1969         (ipa_nodes_create): Renamed to ipa_create_all_node_params
1970         (ipa_edges_create): Renamed to ipa_create_all_edge_args
1971         (ipa_edges_free): Renamed to ipa_free_all_edge_args
1972         (ipa_nodes_free): Integrated into ipa_free_all_node_params and removed
1973         (ipa_free_all_node_params): Deallocation to jump_functions moved to 
1974         ipa_free_all_edge_args
1975         (ipa_method_tree_print): Renamed to ipa_print_all_tree_maps
1976         (ipa_method_modify_print): Renamed to ipa_print_all_params_modified
1977         (ipa_create_methodlist_node): Removed.
1978         (ipa_methodlist_method): Removed.
1979         (ipa_methodlist_method_set): Removed.
1980         (ipa_methodlist_next_method): Removed.
1981         (ipa_methodlist_next_method_set): Removed.
1982         (ipa_method_is_modified): Removed.
1983         (ipa_method_modify_create): Removed.
1984         (ipa_method_modify_init): Temporary variable info instead of a few 
1985         dereferences.
1986         (ipa_detect_param_modifications): Temporary variable info instead of 
1987         a few dereferences.
1988         (ipa_compute_jump_functions): Temporary variable info instead of 
1989         a few dereferences.
1990         (ipa_method_modify_set): Removed.
1991         (ipa_method_tree_map): Renamed to ipa_get_param_decl_index
1992         (ipa_get_param_decl_index): Now accepts struct ipa_node_params rather 
1993         than craph_node as the first parameter.
1994         (ipa_method_modify_stmt): Renamed to ipa_check_stmt_modifications
1995         (ipa_method_modify_init): Removed.
1996         (ipa_compute_jump_functions): Added a temp variable instead of 
1997         repeatadly dereferencing the cgraph_edge.aux pointer
1998         (ipa_callsite_param_set_type): Removed.
1999         (ipa_compute_jump_functions): i renamed to index and moved to 
2000         an inner block
2001         (ipa_callsite_param_set_info_type_formal): Removed.
2002         (ipa_callsite_param_set_info_type): Removed.
2003         (ipa_callsite_param_map_create): Removed.
2004         (ipa_callsite_tree): Removed.
2005         (ipa_callsite_caller): Removed.
2006         (ipa_pop_func_from_list): return_method removed to return_func
2007
2008         * ipa-prop.h (enum cvalue_type): Renamed to ipa_lattice_type,
2009         prefixed all values with IPA_. Changed all users.
2010         (enum jump_func_type): Rnamed UNKNOWN_IPATYPE to IPA_UNKNOWN, 
2011         CONST_IPATYPE to IPA_CONST, CONST_IPATYPE_REF to IPA_CONST_REF 
2012         and FORMAL_IPATYPE IPA_PASS_THROUGH. 
2013         (union parameter_info): Renamed to jump_func_value.
2014         (union jump_func_value): Renamed value to constant
2015         (struct ipa_jump_func): Renamed info_type to value
2016         (struct ipa_node): Renamed to ipa_node_params
2017         (struct ipa_node_params): Renamed ipa_arg_num to param_count
2018         (struct ipa_node_params): Renamed ipa_param_tree to param_decls
2019         (struct ipa_node_params): Renamed ipa_mod to modified_flags
2020         (struct ipa_edge): Renamed to ipa_edge_args
2021         (struct ipa_edge_args): Renamed ipa_param_num to argument_count
2022         (struct ipa_edge_args): Renamed ipa_param_map to jump_functions
2023         (struct ipa_methodlist): Renamed to ipa_func_list
2024         (struct ipa_func_list): method_p renamed to node, next_method
2025         renamed to next
2026         (ipa_methodlist_p): Removed, switched all users to struct pointer
2027         (IS_VALID_TREE_MAP_INDEX): Renamed to IS_VALID_JUMP_FUNC_INDEX
2028
2029 2008-04-30  Alan Modra  <amodra@bigpond.net.au>
2030
2031         * config/rs6000/rs6000.c (ALWAYS_RESTORE_ALTIVEC_BEFORE_POP): Define.
2032         (rs6000_emit_epilogue): Use backchain to restore only when we
2033         have a large frame.  Make use of frame pointer to restore if we
2034         have one.  Handle ALWAYS_RESTORE_ALTIVEC_BEFORE_POP.
2035
2036 2008-04-29  Paolo Bonzini  <bonzini@gnu.org>
2037
2038         * config/avr/avr.md (*sbrx_branch, *sbix_branch, *sbix_branch_tmp):
2039         Add mode to zero_extract.
2040         (sign bit tests peepholes): (Ditto.).
2041
2042 2008-04-29  H.J. Lu  <hongjiu.lu@intel.com>
2043
2044         * config/i386/i386.c (ix86_builtins): Replace Prescott New
2045         Instructions in comments with SSE3.
2046         (ix86_builtin_type): This.  Add FLOAT128_FTYPE_FLOAT128,
2047         INT64_FTYPE_V4SF, INT64_FTYPE_V2DF, INT_FTYPE_V16QI,
2048         INT_FTYPE_V8QI, INT_FTYPE_V4SF, INT_FTYPE_V2DF,
2049         V16QI_FTYPE_V16QI, V8HI_FTYPE_V8HI, V8HI_FTYPE_V16QI,
2050         V8QI_FTYPE_V8QI, V4SI_FTYPE_V4SI, V4SI_FTYPE_V16QI,
2051         V4SI_FTYPE_V4SF, V4SI_FTYPE_V8HI, V4SI_FTYPE_V2DF,
2052         V4HI_FTYPE_V4HI, V4SF_FTYPE_V4SF, V4SF_FTYPE_V4SI,
2053         V4SF_FTYPE_V2DF, V2DI_FTYPE_V2DI, V2DI_FTYPE_V16QI,
2054         V2DI_FTYPE_V8HI, V2DI_FTYPE_V4SI, V2DF_FTYPE_V2DF,
2055         V2DF_FTYPE_V4SI, V2DF_FTYPE_V4SF, V2DF_FTYPE_V2SI,
2056         V2SI_FTYPE_V2SI, V2SI_FTYPE_V4SF, V2SI_FTYPE_V2SF,
2057         V2SI_FTYPE_V2DF, V2SF_FTYPE_V2SF and V2SF_FTYPE_V2SI.
2058         (bdesc_sse_args): Renamed to ...
2059         (bdesc_args): This.  Add IX86_BUILTIN_PF2ID, IX86_BUILTIN_PFRCP,
2060         IX86_BUILTIN_PFRSQRT, IX86_BUILTIN_PI2FD, IX86_BUILTIN_PF2IW,
2061         IX86_BUILTIN_PSWAPDSI, IX86_BUILTIN_PSWAPDSF and
2062         IX86_BUILTIN_FABSQ.
2063         (bdesc_1arg): Moved to ...
2064         (bdesc_args): Here.
2065         (ix86_init_mmx_sse_builtins): Updated.  Replace Prescott New
2066         Instructions in comments with SSE3.
2067         (ix86_expand_sse_operands_builtin): Renamed to ...
2068         (ix86_expand_args_builtin): This.  Updated.
2069         (ix86_expand_unop1_builtin): Update comments.
2070         (ix86_expand_builtin): Updated.
2071
2072 2008-04-29  Richard Guenther  <rguenther@suse.de>
2073
2074         PR tree-optimization/36078
2075         * tree-ssa-loop-ivcanon.c (tree_unroll_loops_completely):
2076         Update virtual SSA form after cleaning up the CFG.
2077
2078 2008-04-29  Richard Guenther  <rguenther@suse.de>
2079
2080         PR middle-end/15255
2081         * fold-const.c (fold_binary): Fold (A + A) * C to A * 2*C.
2082
2083 2008-04-29  Richard Guenther  <rguenther@suse.de>
2084
2085         * tree-ssa-alias.c (finalize_ref_all_pointers): Remove.
2086         (compute_may_aliases): Do not call finalize_ref_all_pointers.
2087         (compute_flow_insensitive_aliasing): Do not treat
2088         PTR_IS_REF_ALL pointers special.
2089         (get_smt_for): Likewise.
2090         (may_alias_p): Re-structure.
2091         (is_escape_site): A ref-all pointer conversion is not an escape site.
2092         * tree-ssa-structalias.c (find_what_p_points_to): Do not treat
2093         PTR_IS_REF_ALL pointers special.
2094         * tree-ssa-structalias.h (struct alias_info): Remove
2095         ref_all_symbol_mem_tag field.
2096         (PTR_IS_REF_ALL): Remove.
2097
2098 2008-04-29  Richard Guenther  <rguenther@suse.de>
2099
2100         PR middle-end/36077
2101         * fold-const.c (extract_muldiv_1): In combining division constants
2102         make sure to never overflow.
2103
2104 2008-04-29  Nick Clifton  <nickc@redhat.com>
2105
2106         * doc/tm.texi (RETURN_ADDR_RTX): Fix typo.
2107
2108 2008-04-28  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2109
2110         PR bootstrap/35169
2111         * optc-gen.awk: Work around HP-UX/IA awk bug.
2112
2113 2008-04-28  Danny Smith  <dannysmith@users.sourceforge.net>
2114
2115         * config/i386/cygming-crtend.c (register_frame_ctor): Revert my
2116         2008-04-25 commit.
2117
2118 2008-04-28  Uros Bizjak  <ubizjak@gmail.com>
2119
2120         PR target/36073
2121         * config/i386/i386.md
2122         (*float<SSEMODEI24:mode><MODEF:mode>2_mixed_interunit):
2123         Change operand 1 predicate to nonimmediate_operand.
2124
2125 2008-04-28  Jakub Jelinek  <jakub@redhat.com>
2126
2127         PR debug/36060
2128         * dwarf2out.c (struct die_struct): Mark as chain_circular through
2129         die_sub field.
2130         * gengtype.c (walk_type, write_func_for_structure): Handle
2131         chain_circular.
2132         * doc/gty.texi: Document chain_circular.
2133
2134 2008-04-28  Richard Guenther  <rguenther@suse.de>
2135
2136         PR tree-optimization/36066
2137         * tree-vrp.c (execute_vrp): Cleanup the CFG only after finalizing
2138         SCEV and loop.
2139
2140 2008-04-28  Uros Bizjak  <ubizjak@gmail.com>
2141
2142         PR target/36064
2143         * config/i386/i386.md
2144         (floatdi<X87MODEF:mode>2_i387_with_xmm splitters):
2145         Use match_scratch instead of match_operand for operands 3 and 4.
2146
2147 2008-04-27  Richard Guenther  <rguenther@suse.de>
2148
2149         PR tree-optimization/18754
2150         PR tree-optimization/34223
2151         * tree-pass.h (pass_complete_unrolli): Declare.
2152         * tree-ssa-loop-ivcanon.c (try_unroll_loop_completely): Print
2153         loop size before and after unconditionally of UL_NO_GROWTH in effect.
2154         Rewrite loop into loop closed SSA form if it is not already.
2155         (tree_unroll_loops_completely): Re-structure to iterate over
2156         innermost loops with intermediate CFG cleanups.
2157         Unroll outermost loops only if requested or the code does not grow
2158         doing so.
2159         * tree-ssa-loop.c (gate_tree_vectorize): Don't shortcut if no
2160         loops are available.
2161         (tree_vectorize): Instead do so here.
2162         (tree_complete_unroll): Also unroll outermost loops.
2163         (tree_complete_unroll_inner): New function.
2164         (gate_tree_complete_unroll_inner): Likewise.
2165         (pass_complete_unrolli): New pass.
2166         * tree-ssa-loop-manip.c (find_uses_to_rename_use): Only record
2167         uses outside of the loop.
2168         (tree_duplicate_loop_to_header_edge): Only verify loop-closed SSA
2169         form if it is available.  
2170         * tree-flow.h (tree_unroll_loops_completely): Add extra parameter.
2171         * passes.c (init_optimization_passes): Schedule complete inner
2172         loop unrolling pass before the first CCP pass after final inlining.
2173
2174 2008-04-27  Nathan Sidwell  <nathan@codesourcery.com>
2175
2176         * targhooks.h (default_emutls_var_fields,
2177         default_emutls_var_init): Declare.
2178         * tree.h (DECL_THREAD_LOCAL): Compare against TLS_MODEL_REAL.
2179         * target.h (struct gcc_target): Add struct emutls member.
2180         * target-def.h (TARGET_EMUTLS_GET_ADDRESS,
2181         TARGET_EMUTLS_REGISTER_COMMON, TARGET_EMUTLS_VAR_SECTION,
2182         TARGET_EMUTLS_TMPL_SECTION, TARGET_EMUTLS_VAR_PREFIX,
2183         TARGET_EMUTLS_TMPL_PREFIX, TARGET_EMUTLS_VAR_FIELDS,
2184         TARGET_EMUTLS_VAR_INIT, TARGET_EMUTLS_DEBUG_FORM_TLS_ADDRESS,
2185         TARGET_EMUTLS_VAR_ALIGN_FIXED, TARGET_EMUTLS): New.
2186         (TARGET_INITIALIZER): Add TARGET_EMUTLS.
2187         * builtins.def (BUILT_IN_EMUTLS_GET_ADDRESS,
2188         BUILT_IN_EMUTLS_REGISTER_COMMON): Get name from targetm structure.
2189         * dwarf2out.c (loc_descriptor_from_tree_1): Check if emutls can
2190         emit debug information.
2191         * coretypes.h (tls_model): Add TLS_MODEL_EMULATED, TLS_MODEL_REAL.
2192         * varasm.c: Include targhooks.h.
2193         (emutls_object_section, emutls_tmpl_section): New.
2194         (EMUTLS_VAR_PREFIX, EMUTLS_TMPL_PREFIX): Remove.
2195         (EMUTLS_SEPARATOR): New.
2196         (prefix_name): New.
2197         (get_emutls_object_name): New.
2198         (default_emutls_var_fields): New, broken out of ...
2199         (get_emutls_object_type): ... here.  Adjust to use target hooks.
2200         (get_emutls_init_templ_addr): Adjust to use target hooks.
2201         (emutls_decl): Adjust to use target hooks.
2202         (emutls_finish): Likewise.
2203         (default_emutls_var_init): New, broken out of ...
2204         (assemble_variable): ... here.  Adjust to use target hooks.
2205         * output.h (enum section_category): Add SECCAT_EMUTLS_VAR,
2206         SECCAT_EMUTLS_TMPL.
2207         * c-common.c (handle_section_attribute): Prevent overriding
2208         sections for emulated tls with special sections.
2209         * config/i386/i386.c (x86_64_elf_select_section): Add
2210         SECCAT_EMUTLS_VAR and SECCAT_EMUTLS_TMPL.
2211         (x86_64_elf_unique_section): Likewise.
2212         * config/vxworks.c: Include tree.h.
2213         (vxworks_emutls_var_fields, vxworks_emutls_var_init): New.
2214         (vxworks_override_options): Set TLS scheme.
2215         * doc/tm.texi (Emulated TLS): New node.
2216
2217 2008-04-26  Simon Baldwin <simonb@google.com>
2218
2219         PR c/35652
2220         * builtins.c (c_strlen): Suppressed multiple warnings that can occur
2221         with propagated string constants.
2222
2223 2008-04-26  Uros Bizjak  <ubizjak@gmail.com>
2224
2225         * config/i386/i386.md (fix_trunc<mode>_i387_fisttp_with_temp): Use 'X'
2226         constraint for operand 2 when operand 0 is memory operand.
2227         (fix_truncdi_i387_with_temp): : Use 'X' constraint for operand 4 when
2228         operand 0 is memory operand.
2229         (fix_trunc<mode>_i387_with_temp): Ditto.
2230         (*floatsi<mode>2_vector_mixed_with_temp): Use 'X' constraint for
2231         operand 2 when operand 1 is memory operand.
2232         (*float<SSEMODEI24:mode><MODEF:mode>2_mixed_with_temp): Ditto.
2233         (*floatsi<mode>2_vector_sse_with_temp): Ditto.
2234         (*float<SSEMODEI24:mode><MODEF:mode>2_sse_with_temp): Ditto.
2235         (*float<SSEMODEI24:mode><X87MODEF:mode>2_i387_with_temp): Ditto.
2236         (floatdi<X87MODEF:mode>2_i387_with_xmm): Use 'X' constraint for
2237         operands 2,3 and 4 when operand 1 is memory operand.
2238         (fistdi2_with_temp): Use 'X' constraint for operand 2 when operand 0
2239         is memory operand.
2240         (fistdi2_floor_with_temp): Ditto.
2241         (fist<mode>2_floor_with_temp): Ditto.
2242         (fistdi2_ceil_with_temp): Ditto.
2243         (fist<mode>2_ceil_with_temp): Ditto.
2244         (*truncdfsf_fast_mixed): Merge alternatives 0 and 1.
2245
2246 2008-04-26  David Daney  <ddaney@avtrex.com>
2247
2248         * config/mips/mips.md (UNSPEC_COMPARE_AND_SWAP_12): New
2249         unspec_volitile.
2250         (UNSPEC_SYNC_OLD_OP, UNSPEC_SYNC_NEW_OP, UNSPEC_SYNC_EXCHANGE,
2251         UNSPEC_MEMORY_BARRIER, UNSPEC_SET_GOT_VERSION,
2252         UNSPEC_UPDATE_GOT_VERSION): Renumber.
2253         (sync_compare_and_swap<mode>): New expand for QI and HI modes.
2254         (compare_and_swap_12): New insn.
2255         * config/mips/mips-protos.h (mips_expand_compare_and_swap_12): Declare.
2256         * config/mips/mips.c (mips_force_binary): New function.
2257         (mips_emit_int_order_test, mips_expand_synci_loop): Use it.
2258         (mips_expand_compare_and_swap_12): New function.
2259         * config/mips/mips.h (MIPS_COMPARE_AND_SWAP_12): New macro.
2260
2261 2008-04-25  Jan Hubicka  <jh@suse.cz>
2262
2263         PR testsuite/35843
2264         * cfgexpand.c (pass_expand): Turn into RTL pass.
2265         * passes.c (execute_one_pass): Do pass typechecking after execution.
2266         * tree-pass.h (pass_expand): Turn into RTL pass.
2267
2268         * function.h (struct rtl_data): Move here fields
2269         accesses_prior_frames, calls_eh_return, saves_all_registers,
2270         has_nonlocal_goto, has_asm_statement, is_thunk,
2271         all_throwers_are_sibcalls, limit_stack, profile, uses_const_pool,
2272         uses_pic_offset_table, uses_eh_lsda, tail_call_emit,
2273         arg_pointer_save_area_init from struct function; turn into bool.
2274         (struct function): Move
2275         calls_eh_return, saves_all_registers, has_nonlocal_goto,
2276         has_asm_statement, is_thunk, all_throwers_are_sibcalls, limit_stack,
2277         profile, uses_const_pool, uses_pic_offset_table, uses_eh_lsda,
2278         tail_call_emit, arg_pointer_save_area_init
2279         into struct rtl_data.  Remove recursive_call_emit and gimplified flags.
2280         (current_function_returns_struct, current_function_returns_pcc_struct,
2281         current_function_calls_setjmp, current_function_calls_alloca,
2282         current_function_accesses_prior_frames,
2283         current_function_calls_eh_return, current_function_is_thunk,
2284         current_function_stdarg, current_function_profile,
2285         current_function_limit_stack, current_function_uses_pic_offset_table,
2286         current_function_uses_const_pool, current_function_has_nonlocal_label,
2287         current_function_saves_all_registers,
2288         current_function_has_nonlocal_goto,
2289         current_function_has_asm_statement): Remove accesor macros.
2290         * ra-conflict.c (global_conflicts): Update.
2291         * tree-tailcall.c (suitable_for_tail_opt_p): Update.
2292         (suitable_for_tail_call_opt_p): Update.
2293         * builtins.c (expand_builtin_return_addr): Update.
2294         (expand_builtin_setjmp_setup): Update.
2295         (expand_builtin_nonlocal_goto): Update.
2296         * final.c (final_start_function): Update.
2297         (profile_function): Update.
2298         (leaf_function_p): Update.
2299         (only_leaf_regs_used): Update.
2300         * df-scan.c (df_get_exit_block_use_set): Update.
2301         * dojump.c (clear_pending_stack_adjust): Update.
2302         * tree-stdarg.c (gate_optimize_stdarg): Update.
2303         * gimple-low.c (lower_function_body): Update.
2304         * global.c (compute_regsets): Update.
2305         (global_alloc): Update.
2306         * dwarf2out.c (dwarf2out_begin_prologue): Update.
2307         * expr.c (expand_assignment): Update.
2308         * dse.c (dse_step0): Update.
2309         (dse_step1): Update.
2310         * c-decl.c (store_parm_decls): Update.
2311         * local-alloc.c (combine_regs): Update.
2312         (find_free_reg): Update.
2313         * function.c (assign_parms_augmented_arg_list): Update.
2314         (assign_parm_find_data_types): Update.
2315         (assign_parms): Update.
2316         (allocate_struct_function): Update.
2317         (expand_function_start): Update.
2318         (expand_function_end): Update.
2319         (get_arg_pointer_save_area): Update.
2320         (thread_prologue_and_epilogue_insns): Update.
2321         (rest_of_match_asm_constraints): Update.
2322         * stor-layout.c (variable_size): Update.
2323         * gcse.c (gcse_main): Update.
2324         (bypass_jumps): Update.
2325         * gimplify.c (gimplify_function_tree): Update.
2326         * calls.c (emit_call_1): Update.
2327         (expand_call): Update.
2328         * bt-load.c (compute_defs_uses_and_gen): Update.
2329         * except.c (sjlj_assign_call_site_values): Update.
2330         (sjlj_emit_function_enter): Update.
2331         (can_throw_external): Update.
2332         (set_nothrow_function_flags): Update.
2333         (expand_builtin_unwind_init): Update.
2334         (expand_eh_return): Update.
2335         (convert_to_eh_region_ranges): Update.
2336         (output_function_exception_table): Update.
2337         * emit-rtl.c (gen_tmp_stack_mem): Update.
2338         * cfgexpand.c (expand_used_vars): Update.
2339         (tree_expand_cfg): Update.
2340         * cfgcleanup.c (rest_of_handle_jump): Update.
2341         * explow.c (allocate_dynamic_stack_space): Update.
2342         * varasm.c (assemble_start_function): Update.
2343         (force_const_mem): Update.
2344         (mark_constant_pool): Update.
2345         * tree-optimize.c (tree_rest_of_compilation): Update.
2346         * stack-ptr-mod.c (notice_stack_pointer_modification): Update.
2347         * tree-cfg.c (notice_special_calls): Update.
2348         (is_ctrl_altering_stmt): Update.
2349         (tree_can_make_abnormal_goto): Update.
2350         (tree_purge_dead_abnormal_call_edges): Update.
2351         * config/alpha/predicates.md: Update.
2352         * config/alpha/alpha.c (alpha_sa_mask): Update.
2353         (alpha_sa_size): Update.
2354         (alpha_does_function_need_gp): Update.
2355         (alpha_expand_prologue): Update.
2356         (alpha_start_function): Update.
2357         (alpha_output_function_end_prologue): Update.
2358         (alpha_expand_epilogue): Update.
2359         * config/frv/frv.c (frv_stack_info): Update.
2360         (frv_expand_epilogue): Update.
2361         * config/s390/s390.c (s390_regs_ever_clobbered): Update.
2362         (s390_register_info): Update.
2363         (s390_frame_info): Update.
2364         (s390_init_frame_layout): Update.
2365         (s390_can_eliminate): Update.
2366         (save_gprs): Update.
2367         * config/spu/spu.c (spu_split_immediate): Update.
2368         (need_to_save_reg): Update.
2369         (spu_expand_prologue): Update.
2370         (spu_expand_epilogue): Update.
2371         * config/sparc/sparc.md: Update.
2372         * config/sparc/sparc.c (eligible_for_return_delay): Update.
2373         (sparc_tls_got): Update.
2374         (legitimize_pic_address): Update.
2375         (sparc_emit_call_insn): Update.
2376         (sparc_expand_prologue): Update.
2377         (output_return): Update.
2378         (print_operand): Update.
2379         (sparc_function_ok_for_sibcall): Update.
2380         * config/sparc/sparc.h (EXIT_IGNORE_STACK): Update.
2381         * config/m32r/m32r.md: Update.
2382         * config/m32r/m32r.c (MUST_SAVE_RETURN_ADDR): Update.
2383         (m32r_compute_frame_size): Update.
2384         (m32r_expand_prologue): Update.
2385         (m32r_expand_epilogue): Update.
2386         (m32r_legitimize_pic_address): Update.
2387         * config/m32r/m32r.h (FRAME_POINTER_REQUIRED): Update.
2388         * config/i386/linux.h (SUBTARGET_FRAME_POINTER_REQUIRED): Update.
2389         * config/i386/i386.c (ix86_frame_pointer_required): Update.
2390         (gen_push): Update.
2391         (ix86_save_reg): Update.
2392         (ix86_compute_frame_layout): Update.
2393         (ix86_expand_prologue): Update.
2394         (ix86_expand_epilogue): Update.
2395         * config/sh/sh.c (output_stack_adjust): Update.
2396         (calc_live_regs): Update.
2397         (sh5_schedule_saves): Update.
2398         (sh_expand_prologue): Update.
2399         (sh_expand_epilogue): Update.
2400         (sh_setup_incoming_varargs): Update.
2401         (sh_allocate_initial_value): Update.
2402         (sh_get_pr_initial_val): Update.
2403         * config/sh/sh.h (SHMEDIA_REGS_STACK_ADJUST): Update.
2404         * config/sh/sh.md (label:): Update.
2405         * config/avr/avr.c (out_movhi_mr_r): Update.
2406         * config/crx/crx.h (enum): Update.
2407         * config/xtensa/xtensa.h (along): Update.
2408         * config/stormy16/stormy16.c Update.
2409         (xstormy16_compute_stack_layout): Update.
2410         * config/fr30/fr30.c (MUST_SAVE_RETURN_POINTER): Update.
2411         (fr30_expand_prologue): Update.
2412         * config/cris/cris.c (cris_conditional_register_usage): Update.
2413         (cris_reg_saved_in_regsave_area): Update.
2414         (cris_initial_frame_pointer_offset): Update.
2415         (cris_simple_epilogue): Update.
2416         (cris_expand_prologue): Update.
2417         (cris_expand_epilogue): Update.
2418         (cris_expand_pic_call_address): Update.
2419         (cris_asm_output_symbol_ref): Update.
2420         (cris_asm_output_label_ref): Update.
2421         * config/cris/cris.md Update.
2422         * config/iq2000/iq2000.c (compute_frame_size): Update.
2423         (iq2000_expand_epilogue): Update.
2424         * config/mt/mt.h (save_direction): Update.
2425         * config/mn10300/mn10300.c (mn10300_function_value): Update.
2426         * config/ia64/ia64.c (ia64_compute_frame_size): Update.
2427         (ia64_secondary_reload_class): Update.
2428         * config/m68k/m68k.c (m68k_save_reg): Update.
2429         (m68k_expand_prologue): Update.
2430         (m68k_expand_epilogue): Update.
2431         (legitimize_pic_address): Update.
2432         * config/rs6000/rs6000.c (rs6000_got_register): Update.
2433         (first_reg_to_save): Update.
2434         (first_altivec_reg_to_save): Update.
2435         (compute_vrsave_mask): Update.
2436         (compute_save_world_info): Update.
2437         (rs6000_stack_info): Update.
2438         (spe_func_has_64bit_regs_p): Update.
2439         (rs6000_ra_ever_killed): Update.
2440         (rs6000_emit_eh_reg_restore): Update.
2441         (rs6000_emit_allocate_stack): Update.
2442         (rs6000_emit_prologue): Update.
2443         (rs6000_emit_epilogue): Update.
2444         (rs6000_output_function_epilogue): Update.
2445         (output_profile_hook): Update.
2446         (rs6000_elf_declare_function_name): Update.
2447         * config/rs6000/rs6000.h (rs6000_args): Update.
2448         * config/rs6000/rs6000.md: Update.
2449         * config/mcore/mcore.c (mcore_expand_prolog): Update.
2450         * config/arc/arc.c (arc_output_function_epilogue): Update.
2451         * config/arc/arc.h (FRAME_POINTER_REQUIRED): Update.
2452         * config/darwin.c (machopic_function_base_name): Update.
2453         * config/score/score3.c (score3_compute_frame_size): Update.
2454         (rpush): Update.
2455         (rpop): Update.
2456         (score3_epilogue): Update.
2457         * config/score/score7.c (score7_compute_frame_size): Update.
2458         (score7_prologue): Update.
2459         (score7_epilogue): Update.
2460         * config/score/score.h (FRAME_POINTER_REQUIRED): Update.
2461         * config/arm/linux-elf.h (SUBTARGET_FRAME_POINTER_REQUIRED): Update.
2462         * config/arm/arm.c (use_return_insn): Update.
2463         (require_pic_register): Update.
2464         (arm_load_pic_register): Update.
2465         (arm_compute_save_reg0_reg12_mask): Update.
2466         (arm_compute_save_reg_mask): Update.
2467         (thumb1_compute_save_reg_mask): Update.
2468         (output_return_instruction): Update.
2469         (arm_output_function_prologue): Update.
2470         (arm_output_epilogue): Update.
2471         (arm_get_frame_offsets): Update.
2472         (arm_expand_prologue): Update.
2473         (thumb_pushpop): Update.
2474         (thumb_exit): Update.
2475         (thumb1_expand_prologue): Update.
2476         (thumb1_expand_epilogue): Update.
2477         (arm_unwind_emit): Update.
2478         (arm_output_fn_unwind): Update.
2479         * config/arm/arm.h (FRAME_POINTER_REQUIRED): Update.
2480         * config/arm/arm.md: Update.
2481         * config/pa/pa.md: Update.
2482         * config/pa/pa.c (legitimize_pic_address): Update.
2483         (compute_frame_size): Update.
2484         (hppa_expand_prologue): Update.
2485         (hppa_expand_epilogue): Update.
2486         (borx_reg_operand): Update.
2487         * config/pa/pa.h (FRAME_POINTER_REQUIRED): Update.
2488         (HARD_REGNO_RENAME_OK): Update.
2489         * config/mips/mips.c (mips_global_pointer): Update.
2490         (mips_save_reg_p): Update.
2491         (mips_compute_frame_info): Update.
2492         (mips_frame_pointer_required): Update.
2493         (mips_expand_prologue): Update.
2494         (mips_expand_epilogue): Update.
2495         (mips_can_use_return_insn): Update.
2496         (mips_reorg_process_insns): Update.
2497         * config/v850/v850.c (compute_register_save_size): Update.
2498         * config/mmix/mmix.h (FRAME_POINTER_REQUIRED): Update.
2499         * config/mmix/mmix.c (along): Update.
2500         (mmix_expand_epilogue): Update.
2501         * config/bfin/bfin.c (legitimize_pic_address): Update.
2502         (must_save_p): Update.
2503         (stack_frame_needed_p): Update.
2504         (add_to_reg): Update.
2505         (bfin_expand_prologue): Update.
2506         * stmt.c (expand_asm_operands): Update.
2507         * reload1.c (reload): Update.
2508         (init_elim_table): Update.
2509
2510 2008-04-25  Bob Wilson  <bob.wilson@acm.org>
2511         
2512         * optabs.c (expand_float): Fix REG_EQUAL for UNSIGNED_FLOAT libcall.
2513         
2514 2008-04-25  H.J. Lu  <hongjiu.lu@intel.com>
2515
2516         * config/i386/sse.md (mov<mode>): Replace SSEMODEI with SSEMODE.
2517         (*mov<mode>_internal): Likewise.  Support V4SF and V2DF.
2518         (mov<mode>): Removed.
2519         (*movv4sf_internal): Likewise.
2520         (*movv2df_internal): Likewise.
2521
2522 2008-04-25  Pompapathi V Gadad <Pompapathi.V.Gadad@nsc.com>
2523
2524         * config.gcc (crx-*-elf): Remove deprecation.
2525
2526 2008-04-25  Danny Smith  <dannysmith@users.sourceforge.net>
2527
2528         * config/i386/cygming-crtend.c (register_frame_ctor): Register
2529         __gcc_deregister_frame with atexit.
2530         (deregister_frame_dtor): Remove.
2531
2532 2008-04-24  Nathan Froyd  <froydnj@codesourcery.com>
2533             Nathan Sidwell  <nathan@codesourcery.com>
2534
2535         * config/rs6000/rs6000.opt (mspe): Remove Var property.
2536         (misel): Likewise.
2537         * config/rs6000/rs6000.h (rs6000_spe): Declare.
2538         (rs6000_isel): Likewise.
2539         * config/rs6000/rs6000.c (rs6000_spe): New variable.
2540         (rs6000_isel): New variable.
2541         (rs6000_handle_option): Handle OPT_mspe and OPT_misel.
2542
2543 2008-04-24  Jakub Jelinek  <jakub@redhat.com>
2544
2545         PR c++/35758
2546         * c-common.c (handle_vector_size_attribute): Call
2547         lang_hooks.types.reconstruct_complex_type instead of
2548         reconstruct_complex_type.
2549         * config/rs6000/rs6000.c (rs6000_handle_altivec_attribute): Likewise.
2550         * config/spu/spu.c (spu_handle_vector_attribute): Likewise.
2551         * langhooks.h (struct lang_hooks_for_types): Add
2552         reconstruct_complex_type hook.
2553         * langhooks-def.h (LANG_HOOKS_RECONSTRUCT_COMPLEX_TYPE): Define.
2554         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add it.
2555
2556 2008-04-24  Richard Guenther  <rguenther@suse.de>
2557
2558         * c-common.h (check_builtin_function_arguments): Declare.
2559         * c-common.c (validate_nargs): New function.
2560         (check_builtin_function_arguments): Likewise.
2561         * c-typeck.c (build_function_call): Call
2562         check_builtin_function_arguments.
2563         * builtins.c (fold_builtin_classify): Remove error reporting code.
2564         (fold_builtin_unordered_cmp): Likewise.
2565         (fold_builtin_1): Likewise.
2566         (fold_builtin_n): Likewise.
2567
2568 2008-04-24  Jakub Jelinek  <jakub@redhat.com>
2569
2570         PR tree-optimization/36008
2571         * fold-const.c (try_move_mult_to_index): If s == NULL, divide
2572         the original op1, rather than delta by step.
2573
2574 2008-04-22  Antoniu Pop  <antoniu.pop@gmail.com>
2575             Sebastian Pop  <sebastian.pop@amd.com>
2576
2577         * tree-parloops.c (take_address_of, eliminate_local_variables_1,
2578         eliminate_local_variables_stmt, eliminate_local_variables,
2579         separate_decls_in_loop_name, separate_decls_in_loop_stmt,
2580         separate_decls_in_loop, gen_parallel_loop): Make them work on a region
2581         of code delimited by two edges in the CFG.
2582         (separate_decls_in_loop_name): Renamed separate_decls_in_region_name.
2583         (separate_decls_in_loop_stmt): Renamed separate_decls_in_region_stmt.
2584         (separate_decls_in_loop): Renamed separate_decls_in_region.  Isolate 
2585         the case of parallelisation of reductions.
2586         (expr_invariant_in_region_p): New.
2587
2588         * tree-flow.h (gather_blocks_in_sese_region): Declared.
2589         * tree-cfg.c (gather_blocks_in_sese_region): Extern.
2590
2591 2008-04-24  Ira Rosen  <irar@il.ibm.com>
2592             Richard Guenther  <rguenther@suse.de>
2593
2594         PR tree-optimization/36034
2595         * tree-vect-analyze.c (vect_analyze_group_access): SLP is
2596         incapable of dealing with loads with gaps.
2597
2598 2008-04-24  Rafael Espindola  <espindola@google.com>
2599
2600         * tree-flow.h (vrp_evaluate_conditional): Change signature.
2601         * tree-ssa-propagate.c (fold_predicate_in): Update call to
2602         vrp_evaluate_conditional.
2603         * tree-vrp.c (vrp_evaluate_conditional_warnv): Remove.
2604         (vrp_evaluate_conditional): Split the cond argument.
2605         (vrp_visit_cond_stmt): Use vrp_evaluate_conditional_warnv_with_ops.
2606         (simplify_stmt_for_jump_threading): Update call to
2607         vrp_evaluate_conditional.
2608
2609 2008-04-24  Ira Rosen  <irar@il.ibm.com>
2610
2611         PR tree-optimization/35982
2612         * tree-vect-analyze.c (vect_check_interleaving): Check that the
2613         interleaved data-refs are of the same type.
2614
2615 2008-04-24  Danny Smith  <dannysmith@users.net>
2616
2617         * c-format.c (check_format_info_main): Use strncmp rather than a
2618         magic prefix to handle multichar length specs.
2619         * config/i386/msformat-c.c (format_length_info ms_printf_length_specs):
2620         Don't prefix "I64" and "I32" with '\0'.
2621
2622 2008-04-24  Jakub Jelinek  <jakub@redhat.com>
2623
2624         PR target/36015
2625         * config/i386/i386.c (init_cumulative_args): Don't pass anything
2626         in registers for -m32 only if stdarg_p (fntype).
2627
2628 2008-04-24  Uros Bizjak  <ubizjak@gmail.com>
2629
2630         PR rtl-optimization/36006
2631         * expmed.c (store_fixed_bit_field): Copy op0 rtx before moving
2632         temp to op0 in order to avoid invalid rtx sharing.
2633
2634 2008-04-23  Paolo Bonzini  <bonzini@gnu.org>
2635
2636         * tree-cfg.c (verify_expr): Check with is_gimple_address.  Don't
2637         check TREE_INVARIANT.
2638         * tree-gimple.c (is_gimple_address): New.
2639         (is_gimple_invariant_address): Simplify using decl_address_invariant_p.
2640         * tree-gimple.h (is_gimple_address): New.
2641         * tree.h (decl_address_invariant_p): New.
2642         * tree.c (make_node_stat): Don't set TREE_INVARIANT.
2643         (build_string): Likewise.
2644         (decl_address_invariant_p): New, from is_gimple_invariant_address.
2645         (tree_invariant_p_1): Likewise.
2646         (save_expr): Use it.
2647         (tree_invariant_p): New.
2648         (skip_simple_arithmetic): Use it.
2649         (stabilize_reference_1): Use it.
2650         (recompute_tree_invariant_for_addr_expr): Don't update TREE_INVARIANT,
2651         simplify.
2652         (build1_stat): Drop code to compute TREE_INVARIANT.
2653         (build2_stat): Drop code to compute TREE_INVARIANT.
2654         (build3_stat): Drop code to compute TREE_INVARIANT.
2655         (build4_stat): Drop code to compute TREE_INVARIANT.
2656         (build5_stat): Drop code to compute TREE_INVARIANT.
2657         (build7_stat): Drop code to compute TREE_INVARIANT.
2658         (merge_dllimport_decl_attributes): Don't mention TREE_INVARIANT.
2659         * tree.h (struct tree_base): Remove invariant_flag.
2660         (TREE_INVARIANT): Remove.
2661         * builtins.c (build_string_literal): Don't set TREE_INVARIANT.
2662         (fold_builtin_expect): Check TREE_CONSTANT.
2663         * tree-ssa-ccp.c (fold_stmt_r): Adjust comment.
2664         * c-tree.h (c_expr_to_decl): Drop third parameter.
2665         * c-typeck.c (build_external_ref): Don't set TREE_INVARIANT.
2666         (build_c_cast): Don't set TREE_INVARIANT.
2667         (pop_init_level): Don't set TREE_INVARIANT.
2668         (c_objc_common_truthvalue_conversion): Don't set TREE_INVARIANT.
2669         * gimplify.c (gimplify_init_ctor_preeval): Add assertion, test
2670         TREE_CONSTANT.
2671         (gimplify_init_constructor): Don't set TREE_INVARIANT.
2672         (gimplify_addr_expr): Adjust comment.
2673         * tree-mudflap.c (mf_build_string):
2674         * print-tree.c (print_node): Don't print TREE_INVARIANT.
2675         * tree-nested.c (convert_nonlocal_reference): Adjust comment.
2676         * c-common.c (fix_string_type): Don't set TREE_INVARIANT.
2677         * langhooks-def.h (lhd_expr_to_decl): Drop third parameter.
2678         * langhooks.c (lhd_expr_to_decl): Drop third parameter.
2679         * langhooks.h (struct lang_hooks): Drop third parameter from
2680         expr_to_decl.
2681
2682 2008-04-23  Richard Guenther  <rguenther@suse.de>
2683
2684         PR tree-optimization/27799
2685         PR tree-optimization/32921
2686         PR tree-optimization/32624
2687         * tree-ssa-structalias.c (merge_smts_into): Only merge the
2688         SMTs aliases and the tag itself into the solution.
2689         * tree-ssa-alias.c (compute_flow_sensitive_aliasing): Do not
2690         merge the points-to solution back into the SMT aliases.
2691         (may_alias_p): Use alias_set_subset_of instead of
2692         aliases_conflict_p.  A pointer which points to
2693         memory with alias set zero may access any variable.
2694
2695 2008-04-23  Richard Guenther  <rguenther@suse.de>
2696
2697         * alias.c (alias_set_subset_of): Correctly handle asking
2698         if zero is a subset of an alias set with zero child.
2699         * tree-ssa-alias.c (have_common_aliases_p): Simplify logic.
2700         (compute_flow_insensitive_aliasing): Correctly walk all
2701         pointers.  Do not unnecessarily union sets.
2702
2703 2008-04-23  Richard Guenther  <rguenther@suse.de>
2704
2705         PR middle-end/36021
2706         * c-common.c (handle_alloc_size_attribute): Use type_num_arguments.
2707
2708 2008-04-22  Tomas Bily  <tbily@suse.cz>
2709
2710         * tree-cfg.c (verify_expr): Check for NON_LVALUE_EXPR as
2711         unreachable case.
2712         * tree-vrp.c (extract_range_from_unary_expr): Removed unused
2713         NON_LVALUE_EXPR.
2714         * tree-ssa-threadedge.c (simplify_control_stmt_condition): Likewise.
2715         * tree-ssa-structalias.c (get_constraint_for): Likewise.
2716         * tree-inline.c (estimate_num_insns_1): Likewise.
2717         * varasm.c (const_hash_1, compare_constant, copy_constant)
2718         (compute_reloc_for_constant, output_addressed_constants): Likewise.
2719         * emit-rtl.c (component_ref_for_mem_expr)
2720         (set_mem_attributes_minus_bitpos): Likewise.
2721         * expr.c (highest_pow2_factor, expand_expr_real_1, )
2722         (is_aligning_offset): Likewise.
2723         * dwarf2out.c (loc_descriptor_from_tree_1, add_bound_info): Likewise.
2724         * tree-ssa-loop-ivopts.c (may_be_nonaddressable_p): Likewise.
2725         * dojump.c (do_jump): Likewise.
2726         * builtins.c (get_pointer_alignment, get_memory_rtx)
2727         (integer_valued_real_p, fold_builtin_next_arg): Likewise.
2728         * tree-scalar-evolution.c (instantiate_parameters_1): Likewise.
2729
2730 2008-04-23  Jakub Jelinek  <jakub@redhat.com>
2731
2732         PR rtl-optimization/36017
2733         * builtins.c (expand_errno_check): Clear CALL_EXPR_TAILCALL before
2734         expanding the library call.
2735
2736 2008-04-22  Ian Lance Taylor  <iant@google.com>
2737
2738         * fold-const.c (pointer_may_wrap_p): Call int_size_in_bytes rather
2739         than size_in_bytes.
2740
2741 2008-04-22  Pat Haugen  <pthaugen@us.ibm.com>
2742
2743         * config/rs6000/rs6000.c (rs6000_register_move_cost): Increase cost
2744         of LR/CTR moves for Power6.
2745
2746 2008-04-22  Kenneth Zadeck  <zadeck@naturalbridge.com>
2747
2748         PR middle-end/36003
2749         * passes.c (init_optimization_passes): Remove
2750         pass_fast_rtl_byte_dce.
2751         
2752 2008-04-22  Uros Bizjak  <ubizjak@gmail.com>
2753
2754         PR target/29096
2755         * config/i386/xmmintrin.h (_mm_cvtpi16_ps): Rearrange calls to
2756         builtin functions to generate faster code.
2757         (_mm_cvtpu16_ps): Ditto.
2758         (_mm_cvtpi32x2_ps): Ditto.
2759
2760 2008-04-22  Nick Clifton  <nickc@redhat.com>
2761
2762         * common.opt (ftree-loop-distribution): Add Optimization
2763         attribute.
2764
2765         * config/frv/frv.c (frv_stack_info): Use crtl instead of cfun.
2766         (frv_expand_builtin_va_start): Likewise.
2767
2768         * config/arm/arm.c (thumb_find_work_register): Fix location of
2769         argument register count.
2770
2771 2008-04-22  Maxim Kuvyrkov  <maxim@codesourcery.com>
2772
2773         Support scheduling for ColdFire V1 and V3 microarchitecture.
2774         Improve scheduling of multiplication instructions.
2775
2776         * config/m68k/m68k.md (cpu): Add cfv1 and cfv3.  Rename cf_v2 to cfv1.
2777         (mac): New instruction attribute.
2778         * config/m68k/m68k.c (override_options): Handle cfv1, cfv3 and mac.
2779         (m68k_sched_mac): New variable.
2780         (m68k_sched_attr_type2, m68k_sched_md_init_global): Update.
2781         Handle cfv1 and cfv3.
2782         (max_insn_size): New static variable.
2783         (struct _sched_ib): New type.
2784         (sched_ib): New static variable.
2785         (sched_ib_size, sched_ib_filled, sched_ib_insn): Convert variables
2786         to fields of 'struct _sched_ib sched_ib'.  Update all uses.
2787         (m68k_sched_variable_issue): Add modeling of cfv3 instruction buffer.
2788         Update.
2789         (m68k_sched_md_init_global, m68k_sched_md_finish_global,
2790         m68k_sched_md_init, m68k_sched_md_finish): Handle cfv1 and cfv3.  Init
2791         new variables.  Update.
2792         (m68k_sched_dfa_pre_advance_cycle, m68k_sched_dfa_post_advance_cycle):
2793         Add modeling of cfv3 instruction buffer.  Update.
2794         * config/m68k/m68k-protos.h (m68k_sched_mac): Declare.
2795         * config/m68k/m68k.h (TUNE_CFV3): New macro.
2796         * config/m68k/cf.md: Change substrings 'cf_v2' to 'cfv12' or 'cfv123'.
2797         (cf_* reservations): Rename to cfv12 or cfv123 to indicate cores
2798         a particular reservation applies to.
2799         (type2): Reorganize attribute values.  Rename alu to alu_reg,
2800         alu_l to alu, move_l to omove.  Join move to alu.  Split mul
2801         to mul_l and mul_w.
2802         (cf_ib_*): Simplify description of instruction buffer.
2803         (cf_ib_w0, cf_ib_w4, cf_ib_w5, cf_ib_w6): Remove.
2804         (cf_mem): Split into cf_mem1 and cf_mem2.
2805         (cf_v2_move_??): Rename to cfv12_alu_??.
2806         (cf_v2_move_l_??): Rename to cfv12_omove_??.
2807         (cf_v2_mul_??): Remove reservations.
2808         (cfv12_mul_l_??, cfv12_mul_w_??, cfv12_mac_w_??, cfv12_mac_l_??,
2809         cfv12_emac_??, cfv12_emac_w_i0): New reservations.
2810         (cfv12_rts, cfv12_call, cfv12_bcc, cfv12_bra, cfv12_jmp): Move to
2811         appropriate place.
2812         (cfv3_alu_10, cfv3_omove_10, cfv3_alu_i0, cfv3_omove_i0, cfv3_alu_01,
2813         cfv3_alu_0i, cfv3_alu_11, cfv3_omove_11, cfv3_alu_i1, cfv3_omove_i1,
2814         cfv3_alu_1i, cfv3_omove_1i, cfv3_pea_11, cfv3_pea_i1, cfv3_mul_w_10,
2815         cfv3_mul_l_10, cfv3_mul_w_i0, cfv3_mac_w_10, cfv3_mac_l_10,
2816         cfv3_mac_w_i0, cfv3_emac_10, cfv3_emac_w_i0, cfv3_rts, cfv3_call,
2817         cfv3_bcc, cfv3_bra, cfv3_jmp): New reservations.
2818         (cfv3_*_1, cfv3_*_2, cfv3_*_3): New instruction reservations that are
2819         expansions of the above reservations for instructions of sizes
2820         1, 2 and 3 words.
2821
2822 2008-04-22  Maxim Kuvyrkov  <maxim@codesourcery.com>
2823
2824         * rtl-factoring.c (collect_patterns_seqs): Handle CC0 targets.
2825
2826 2008-04-21  Adam Nemet  <anemet@caviumnetworks.com>
2827
2828         * coverage.c: Include tree-pass.h.
2829         (coverage_counter_alloc): Print da_file_name to the dump file.
2830
2831 2008-04-21  Kenneth Zadeck  <zadeck@naturalbridge.com>
2832
2833         * sbitmap.c (sbitmap_range_empty_p): New function.
2834         * sbitmap.h (sbitmap_range_empty_p): New function.
2835         * bitmap.h: Now includes obstack.h.
2836
2837 2008-04-21  Richard Sandiford  <rsandifo@nildram.co.uk>
2838             Kenneth Zadeck  <zadeck@naturalbridge.com>
2839
2840         * dbgcnt.def (ra_byte_scan): Added.
2841         * dbgcnt.c (dbg_cnt): Added code to print message to dump_file
2842         when the last hit happens for a counter.  
2843         * timevar.def (TV_DF_BYTE_LR): New variable.
2844         * tree-pass.h (pass_fast_rtl_byte_dce): New pass.
2845         * passes.c (pass_fast_rtl_byte_dce): New pass.
2846         * fwprop.c (update_df): Added mode to call df_ref_create.
2847         Renamed DF_REF_WIDTH and DF_REF_OFFSET to DF_REF_EXTRACT_WIDTH and
2848         DF_REF_EXTRACT_OFFSET.
2849         * df.h (DF_BYTE_LR, DF_BYTE_LR_BB_INFO, DF_BYTE_LR_IN, 
2850         DF_BYTE_LR_OUT, df_byte_lr): New macro.
2851         (df_mm): New enum.
2852         (df_ref_extract): Added mode field.
2853         (DF_REF_WIDTH, DF_REF_OFFSET) Renamed to DF_REF_EXTRACT_WIDTH and
2854         DF_REF_EXTRACT_OFFSET.
2855         (DF_REF_EXTRACT_MODE): New macro.
2856         (df_byte_lr_bb_info): New structure.
2857         (df_print_byte_regset, df_compute_accessed_bytes, 
2858         df_byte_lr_add_problem, df_byte_lr_get_regno_start,
2859         df_byte_lr_get_regno_len, df_byte_lr_simulate_defs,
2860         df_byte_lr_simulate_uses,
2861         df_byte_lr_simulate_artificial_refs_at_top,
2862         df_byte_lr_simulate_artificial_refs_at_end,
2863         df_compute_accessed_bytes): New function.
2864         (df_ref_create): Add parameter.
2865         (df_byte_lr_get_bb_info): New inline function.
2866         * df-scan.c (df_ref_record, df_uses_record,
2867         df_ref_create_structure): Added mode parameter.
2868         (df_ref_create, df_notes_rescan, df_ref_record, df_def_record_1, 
2869         df_defs_record, df_uses_record, df_get_conditional_uses,
2870         df_get_call_refs, df_insn_refs_collect, df_bb_refs_collect, 
2871         df_entry_block_defs_collect, df_exit_block_uses_collect):
2872         Added mode parameter to calls to df_ref_record, df_uses_record,
2873         df_ref_create_structure.
2874         (df_ref_equal_p, df_ref_compare): Added test for modes.
2875         (df_ref_create_structure): Added code to set mode.  Renamed
2876         DF_REF_WIDTH and DF_REF_OFFSET to DF_REF_EXTRACT_WIDTH and
2877         DF_REF_EXTRACT_OFFSET.
2878         * df-core.c (df_print_byte_regset): New function.
2879         * df-byte-scan.c: New file.
2880         * df-problems.c (df_rd_transfer_function): Removed unnecessary
2881         calls to BITMAP_FREE.  
2882         (df_byte_lr_problem_data, df_problem problem_BYTE_LR): New structure.
2883         (df_byte_lr_get_regno_start, df_byte_lr_get_regno_len,
2884         df_byte_lr_set_bb_info, df_byte_lr_free_bb_info, 
2885         df_byte_lr_check_regs, df_byte_lr_expand_bitmap, 
2886         df_byte_lr_alloc, df_byte_lr_reset, df_byte_lr_bb_local_compute,
2887         df_byte_lr_local_compute, df_byte_lr_init,
2888         df_byte_lr_confluence_0, df_byte_lr_confluence_n, 
2889         df_byte_lr_transfer_function, df_byte_lr_free, 
2890         df_byte_lr_top_dump, df_byte_lr_bottom_dump,
2891         df_byte_lr_add_problem, df_byte_lr_simulate_defs, 
2892         df_byte_lr_simulate_uses,
2893         df_byte_lr_simulate_artificial_refs_at_top,
2894         df_byte_lr_simulate_artificial_refs_at_end): New function.
2895         * dce.c (byte_dce_process_block): New function.
2896         (dce_process_block): au is now passed in rather than computed
2897         locally.  Changed loops that look at artificial defs to not look
2898         for conditional or partial ones, because there never are any.  
2899         (fast_dce): Now is able to drive byte_dce_process_block or 
2900         dce_process_block depending on the kind of dce being done.
2901         (rest_of_handle_fast_dce): Add parameter to fast_dce.
2902         (rest_of_handle_fast_byte_dce): New function.
2903         (rtl_opt_pass pass_fast_rtl_byte_dce): New pass.
2904         * Makefile.in (df-byte-scan.o, debugcnt.o): Added dependencies.
2905
2906 2008-04-21  Daniel Franke  <franke.daniel@gmail.com>
2907
2908         PR fortran/35019
2909         * gcc.h: Added fortran options that take arguments to
2910         DEFAULT_SWITCH_TAKES_ARG and DEFAULT_WORD_SWITCH_TAKES_ARG
2911         macros.
2912
2913 2008-04-20  Eric Botcazou  <ebotcazou@adacore.com>
2914
2915         * tree-sra.c (sra_walk_expr) <VIEW_CONVERT_EXPR>: Disable
2916         scalarization if on the LHS and not a full access.
2917
2918 2008-04-20  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2919
2920         * Makefile.in (s-gtyp-input): Remove tmp-gi.list before writing it.
2921
2922 2008-04-18  Rafael Espindola  <espindola@google.com>
2923
2924         * tree-vrp.c (find_case_label_index): Fix the binary search.
2925         (find_case_label_range): New.
2926         (vrp_visit_switch_stmt): Use find_case_label_range.
2927         (simplify_switch_using_ranges): Use find_case_label_range.
2928
2929 2008-04-18  Eric Botcazou  <ebotcazou@adacore.com>
2930
2931         * gimplify.c (gimplify_modify_expr_rhs) <COND_EXPR>: Gimplify the LHS
2932         using the is_gimple_lvalue predicate instead of is_gimple_min_lval.
2933
2934 2008-04-18  Tom Tromey  <tromey@redhat.com>
2935
2936         PR libcpp/15500:
2937         * doc/cpp.texi (Implementation-defined behavior): Mention
2938         -finput-charset.
2939
2940 2008-04-18  Ian Lance Taylor  <iant@google.com>
2941
2942         * fold-const.c (pointer_may_wrap_p): New static function.
2943         (fold_comparison): Add another test for pointer overflow.  Use
2944         pointer_may_wrap_p to disable some false positives.
2945
2946 2008-04-18  Kris Van Hees <kris.van.hees@oracle.com>
2947           
2948         * c-common.c (CHAR16_TYPE, CHAR32_TYPE): New macros.
2949         (fname_as_string): Match updated cpp_interpret_string prototype.
2950         (fix_string_type): Support char16_t* and char32_t*.
2951         (c_common_nodes_and_builtins): Add char16_t and char32_t (and
2952         derivative) nodes.  Register as builtin if C++0x.
2953         (c_parse_error): Support CPP_CHAR{16,32}.
2954         * c-common.h (RID_CHAR16, RID_CHAR32): New elements. 
2955         (enum c_tree_index) <CTI_CHAR16_TYPE, CTI_SIGNED_CHAR16_TYPE,
2956         CTI_UNSIGNED_CHAR16_TYPE, CTI_CHAR32_TYPE, CTI_SIGNED_CHAR32_TYPE,
2957         CTI_UNSIGNED_CHAR32_TYPE, CTI_CHAR16_ARRAY_TYPE,
2958         CTI_CHAR32_ARRAY_TYPE>: New elements.
2959         (char16_type_node, signed_char16_type_node, unsigned_char16_type_node,
2960         char32_type_node, signed_char32_type_node, char16_array_type_node,
2961         char32_array_type_node): New defines.
2962         * c-lex.c (cb_ident): Match updated cpp_interpret_string prototype.
2963         (c_lex_with_flags): Support CPP_CHAR{16,32} and CPP_STRING{16,32}.
2964         (lex_string): Support CPP_STRING{16,32}, match updated
2965         cpp_interpret_string and cpp_interpret_string_notranslate prototypes.
2966         (lex_charconst): Support CPP_CHAR{16,32}.
2967         * c-parser.c (c_parser_postfix_expression): Support CPP_CHAR{16,32}
2968         and CPP_STRING{16,32}.
2969
2970 2008-04-18  Paolo Bonzini  <bonzini@gnu.org>
2971
2972         PR bootstrap/35457
2973         * aclocal.m4: Regenerate.
2974         * configure: Regenerate.
2975
2976 2008-04-18  Jan Hubicka  <jh@suse.cz>
2977
2978         * except.c (dw2_size_of_call_site_table,
2979         sjlj_size_of_call_site_table): Use vector API for call_site_record.
2980
2981         * cgraphbuild.c (build_cgraph_edges): Update.
2982         * tree-pass.h: Update comment.
2983         * final.c (leaf_function_p): Update.
2984         (leaf_renumber_regs): Update.
2985         (rest_of_clean_state): Update.
2986         * omp-low.c (expand_omp_parallel): Update.
2987         * ipa-reference.c (analyze_function): Update.
2988         * reorg.c (find_end_label): Update.
2989         (optimize_skip): Update.
2990         (fill_simple_delay_slots): Update.
2991         (fill_simple_delay_slots): Update.
2992         (make_return_insns): Update.
2993         (dbr_schedule): Update.
2994         * gimple-low.c (record_vars_into): Update.
2995         * cfgbuild.c (make_edges): Update.
2996         * function.c (assign_stack_local): Update.
2997         (assign_parm_adjust_stack_rtl): Update.
2998         (locate_and_pad_parm): Update.
2999         (allocate_struct_function): Do not initialize stack_alignment_needed
3000         and preferred_stack_boundary here.
3001         (stack_protect_prologue): Update.
3002         (stack_protect_epilogue): Update.
3003         (expand_function_start): Initialize stack_alignment_needed,
3004         preferred_stack_boundary and max_jumptable_ents.
3005         (expand_function_end): Update.
3006         (free_after_compilation): Do not NULLify epilogue_delay_list.
3007         * function.h (struct rtl_data): Add stack_protect_guard,
3008         stack_alignment_needed,
3009         preferred_stack_boundary, epilogue_delay_list.
3010         (struct function): Remove value_histograms, stack_alignment_needed,
3011         preferred_stack_boundary, epilogue_delay_list, max_jumptable_ents,
3012         last_label_uid,
3013         unexpanded_var_list, stack_protect_guard.
3014         (current_function_epilogue_delay_list): Remove.
3015         * ipa-type-escape.c (analyze_function): Update.
3016         * gimplify.c (pop_gimplify_context): Update comment.
3017         * calls.c (expand_call): Update.
3018         (emit_library_call_value_1): Update.
3019         * except.c (set_nothrow_function_flags): Update.
3020         * cfgexpand.c (get_decl_align_unit): Update.
3021         (create_stack_guard): Update.
3022         (estimated_stack_frame_size): Update.
3023         (expand_used_vars): Update.
3024         (tree_expand_cfg): Free histogram earliers, init expansion variables.
3025         * explow.c (allocate_dynamic_stack_space): Update.
3026         * tree-ssa-live.c (remove_unused_locals): Update.
3027         * varasm.c (mark_constant_pool): Update.
3028         * tree-inline.c (remap_decls): Update.
3029         (initialize_cfun): Update.
3030         (declare_return_variable): Update.
3031         (inline_forbidden_p): Update.
3032         (expand_call_inline): Update.
3033         (declare_inline_vars): Update.
3034         (tree_function_versioning): Update.
3035         * tree-flow.h (value_histograms): New.
3036         (VALUE_HISTOGRAMS): New macro.
3037         * basic-block.h (control_flow_graph): Add max_jumptable_ents,
3038         last_label_uid.
3039         * tree-cfg.c (set_bb_for_stmt): Update.
3040         (replace_by_duplicate_decl): Update.
3041         (move_block_to_fn): Update.
3042         (new_label_mapper): Update.
3043         (dump_function_to_file): Update.
3044         * ipa-struct-reorg.c (build_data_structure): Update.
3045         * cfgrtl.c (print_rtl_with_bb): Update.
3046         * reload1.c (reload): Update.
3047         (reload): Update.
3048         * config/i386/i386.c (setup_incoming_varargs_64,
3049         ix86_compute_frame_layout): Update.
3050         * config/arc/arc.c (arc_output_function_epilogue): Update.
3051
3052 2008-04-18  Marius Strobl <marius@FreeBSD.org>
3053
3054         * gthr-posix.h (__gthread_active_p): Use the Solaris implementation
3055         for FreeBSD as well.
3056         * gthr-posix95.h: Likewise.
3057
3058 2008-04-17  Richard Sandiford  <rsandifo@nildram.co.uk>
3059
3060         PR rtl-optimization/35838
3061         * dse.c (find_shift_sequence): Use subreg_lowpart_offset to work
3062         out the byte offset of the first subreg.
3063
3064 2008-04-17  Uros Bizjak  <ubizjak@gmail.com>
3065
3066         * config/i386/i386.md (addti3 splitter): Pass arrays of 3 operands
3067         to split_ti instead of three separate calls with single member arrays.
3068         (subti3 splitter): Ditto.
3069         (adddi3 splitter): Ditto with split_di.
3070         (subdi3 splitter): Ditto.
3071         (negti2 splitter): Pass arrays of 2 operands to split_ti instead of
3072         two separate calls with single member arrays.  Swap match_dup
3073         operands 1 and 2 to better fit into the array.
3074         (negdi2 splitter): Ditto with split_di.
3075         (movdfcc splitter):  Pass arrays of 2 operands to split_di instead of
3076         two separate calls with single member arrays.  Swap match_dup operands
3077         6 and 7 to better fit into the array.
3078
3079 2008-04-17  H.J. Lu  <hongjiu.lu@intel.com>
3080
3081         * config/i386/i386.c (sse_builtin_type): New.
3082         (bdesc_sse_args): Likewise.
3083         (bdesc_sse_3arg): Removed.
3084         (bdesc_2arg): Remove IX86_BUILTIN_AESKEYGENASSIST128.
3085         (bdesc_1arg): Remove IX86_BUILTIN_ROUNDPD and
3086         IX86_BUILTIN_ROUNDPS.
3087         (ix86_init_mmx_sse_builtins): Handle bdesc_sse_args.  Remove
3088         bdesc_sse_3arg.  Remove IX86_BUILTIN_ROUNDPD and
3089         IX86_BUILTIN_ROUNDPS.
3090         (ix86_expand_sse_4_operands_builtin): Removed.
3091         (ix86_expand_sse_operands_builtin): New.
3092         (ix86_expand_unop_builtin): Remove CODE_FOR_sse4_1_roundpd
3093         and CODE_FOR_sse4_1_roundps.
3094         (ix86_expand_builtin): Remove IX86_BUILTIN_AESKEYGENASSIST128.
3095         Handle bdesc_sse_args.  Remove bdesc_sse_3arg.
3096
3097 2008-04-17  Alan Modra  <amodra@bigpond.net.au>
3098
3099         PR target/35907
3100         * config/rs6000/rs6000.c (rs6000_emit_epilogue): Restore vr and vrsave
3101         regs before frame pop when needed.  If use_backchain_to_restore_sp
3102         then load backchain into a temp reg to restore vr and vrsave.  Add
3103         code to restore vr after frame pop if possible.
3104
3105 2008-04-17  Richard Guenther  <rguenther@suse.de>
3106
3107         * tree-vn.c (expressions_equal_p): Do not check type
3108         equality or compatibility before calling operand_equal_p.
3109         * fold-const.c (operand_equal_p): Check equivalence of
3110         integer constants before bailing out due to signedness or
3111         precision differences.
3112         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Ignore
3113         spurious differences in type qualification.  Ignore types
3114         for COMPONENT_REFs at all.
3115
3116 2008-04-17  Christian Bruel  <christian.bruel@st.com>
3117
3118         * config/sh/sh.c (expand_cbranchdi4): Use original operands for
3119         msw_skip comparison.
3120         
3121 2008-04-16  Jakub Jelinek  <jakub@redhat.com>
3122
3123         PR c/35739
3124         * tree-nrv.c (tree_nrv): Don't optimize if result_type is GIMPLE
3125         reg type.
3126
3127         PR tree-optimization/35899
3128         * tree-inline.c (expand_call_inline): Use GIMPLE_STMT_OPERAND
3129         rather than TREE_OPERAND.
3130
3131 2008-04-16  Uros Bizjak  <ubizjak@gmail.com>
3132
3133         PR target/35944
3134         * config/i386/i386.md (fmodxf3): Copy operand 1 and operand 2 into
3135         temporary registers.  Change operand predicate to general_operand.
3136         (remainderxf3): Ditto.
3137
3138 2008-04-16  Richard Guenther  <rguenther@suse.de>
3139
3140         * Makefile.in (tree-affine.o): Add $(FLAGS_H) dependency.
3141         * tree-affine.c (aff_combination_expand): Look through some
3142         conversions.
3143
3144 2008-04-15  Doug Kwan  <dougkwan@google.com>
3145
3146         * dwarf2asm.c (dw2_assemble_integer): Cast to unsigned HOST_WIDE_INT
3147         for hex printing.
3148         * tree-pretty-print.c (dump_generic_node): Ditto.
3149         * final.c (output_addr_const): Ditto.
3150         * dwarf2out.c (output_cfi): Ditto.
3151         * c-pretty-print.c (pp_c_integer_constant): Ditto.
3152         * print-rtl.c (print_rtx): Ditto.
3153         * print-tree.c (print_node_brief, print_node): Ditto.
3154         * c-common.c (match_case_to_enum_1): Ditto.
3155         * sched-vis.c (print_value): Ditto.
3156         * config/i386/i386.c (print_operand): Cast to long unsigned int
3157         for hex printing.
3158
3159 2008-04-15  Danny Smith  <dannysmith@users.sourceforge.net>
3160         * libgcc2.c [L_trampoline]: Remove  unnecessary prototype for
3161         MS Windows VirtualProtect function.
3162
3163 2008-04-15  Jan Hubicka  <jh@suse.cz>
3164
3165         * gengtype.c (write_root): Param_is argument is OK.
3166         * expr.c (expand_expr_real_1): Update call of get_exception_*.
3167         * function.h: Include varray.h
3168         (rtl_eh): New stucture based on except.c one.
3169         (call_site_record): New forward declaration and vector type.
3170         * calls.c (emit_call_1): Do not call
3171         note_current_region_may_contain_throw.
3172         * except.c (eh_status): Remove cur_region, try_region since they are
3173         unused.
3174         Move filter, exc_ptr, ttype_data, ehspec_data, action_record_data and
3175         exception_handler_label_map, ehr_stackadj, ehr_handler, ehr_label,
3176         sjlj_fc, sjlj_exit_after to rth_eh in function.h. 
3177         Remove call_site_data_used, call_site_data_size.
3178         Turn call_site_record into vector in function.h.
3179         (note_current_region_may_contain_throw): Remove.
3180         (get_exception_pointer, get_exception_filter): Do not take struct
3181         function argument; update.
3182         (add_ehl_entry, find_exception_handler_labels, ehspec_filter_hash,
3183         add_ttypes_entry, add_ehspec_entry, assign_filter_values,
3184         build_post_landing_pads, dw2_build_landing_pads,
3185         sjlj_assign_call_site_values, sjlj_mark_call_sites,
3186         sjlj_emit_function_enter, sjlj_emit_function_enter, 
3187         sjlj_emit_function_exit, sjlj_emit_dispatch_table,
3188         sjlj_build_landing_pads, finish_eh_generation,
3189         remove_exception_handler_label, remove_eh_handler,
3190         maybe_remove_eh_handler, add_reachable_handler,
3191         reachable_handlers, expand_builtin_eh_return, expand_eh_return,
3192         add_action_record, collect_one_action_chain, add_call_site,
3193         convert_to_eh_region_ranges, sjlj_size_of_call_site_table,
3194         sjlj_output_call_site_table, output_function_exception_table,
3195         * except.h (note_current_region_may_contain_throw): Remove
3196         (get_exception_pointer, get_exception_filter): Do not take struct
3197         function argument.
3198         * Makefile.in (GTFILES): Put varargs before struct function.
3199
3200 2008-04-15  Eric Botcazou  <ebotcazou@adacore.com>
3201
3202         * tree-ssa-structalias.c (get_constraint_for_component_ref): Do not
3203         punt for STRING_CST.
3204         (get_constraint_for): Deal with STRING_CST here instead.
3205
3206 2008-04-15  Richard Guenther  <rguenther@suse.de>
3207
3208         * tree-ssa-propagate.c (substitute_and_fold): Substitute
3209         statements in a basic-block with a backward walk.  Do not
3210         substitute into dead statements but instead remove those.
3211
3212 2008-04-15  Richard Guenther  <rguenther@suse.de>
3213
3214         * params.def (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE): Set default
3215         to zero, thus disable creation of SFTs.
3216
3217 2008-04-15  Eric Botcazou  <ebotcazou@adacore.com>
3218
3219         * tree-predcom.c (suitable_reference_p): Return false if the
3220         reference can throw.
3221
3222 2008-04-15  Jakub Jelinek  <jakub@redhat.com>
3223
3224         PR c/35751
3225         * c-decl.c (finish_decl): If extern or static var has variable
3226         size, set TREE_TYPE (decl) to error_mark_node.
3227
3228 2008-04-15  Rafael Espindola  <espindola@google.com>
3229
3230         * fold-const.c (tree_call_nonnegative_warnv_p): Remove local
3231         variable arg1.
3232
3233 2008-04-15  Richard Guenther  <rguenther@suse.de>
3234
3235         * tree-ssa-sccvn.h (vn_reference_lookup): Adjust prototype.
3236         * tree-ssa-sccvn.c (vn_reference_lookup): New parameter maywalk.
3237         (visit_reference_op_load): Do walk vuse-vdef chains on
3238         vn_reference_lookup.
3239         (visit_reference_op_store): But do not here.
3240         * tree-vn.c (vn_lookup): Do not walk vuse-vdef chains on
3241         vn_reference_lookup.
3242         (vn_lookup_with_vuses): But do so here.
3243
3244 2008-04-14  Ian Lance Taylor  <iant@google.com>
3245
3246         * fold-const.c (fold_overflow_warning): Remove assertion.
3247
3248 2008-04-15  Ben Elliston  <bje@au.ibm.com>
3249
3250         * config/alpha/alpha.c (alpha_initialize_trampoline): Remove temp,
3251         temp1 local variables.
3252
3253 2008-04-15  Zuxy Meng  <zuxy.meng@gmail.com>
3254
3255         PR target/35661
3256         * config/i386/winnt.c (i386_pe_section_type_flags): Mark
3257         ".text.unlikely" section as executable.
3258
3259 2008-04-14  James E. Wilson  <wilson@tuliptree.org>
3260
3261         * config/ia64/ia64.c (rtx_needs_barrier): Handle
3262         UNSPEC_FR_SQRT_RECIP_APPROX_RES.
3263         * config/ia64/ia64.c (UNSPEC_FR_SQRT_RECIP_APPROX_RES): Define.
3264         (divsi3_internal, divdi3_internal_lat, divdi3_internal_thr,
3265         divsf3_internal_lat, sqrt_approx, sqrtsf2_internal_thr,
3266         divdf3_internal_lat, sqrtdf2_internal_thr, divxf3_internal_lat,
3267         divxf3_internal_thr, sqrtxf2_internal_thr, recip_approx): Use it.
3268
3269 2008-04-14  Ian Lance Taylor  <iant@google.com>
3270
3271         * flags.h (POINTER_TYPE_OVERFLOW_UNDEFINED): Define.
3272         * fold-const.c (fold_comparison): If appropriate, test
3273         POINTER_TYPE_OVERFLOW_UNDEFINED, and issue an overflow warning.
3274         (fold_binary): Test POINTER_TYPE_OVERFLOW_UNDEFINED when
3275         reassociating a pointer type.
3276         * doc/invoke.texi (Optimize Options): Document that
3277         -fstrict-overflow applies to pointer wraparound.
3278
3279 2008-04-13  Jan Hubicka  <jh@suse.cz>
3280
3281         * m32.c (m32c_pushm_popm): Use crtl->retrun_rtx.
3282
3283 2008-04-12  Andrew Pinski  <pinskia@gmail.com>
3284
3285         * config/rs6000/rs6000.c (compute_save_world_info): Set lr_save_p if
3286         we are going to "save the world".
3287
3288 2008-04-13  Hans-Peter Nilsson  <hp@axis.com>
3289
3290         * config/cris/cris.md ("*andhi_lowpart_non_v32", "*andhi_lowpart_v32")
3291         ("*andqi_lowpart_non_v32", "*andqi_lowpart_v32"): Use "+" for the
3292         operand 0 constraint, not "=".
3293
3294 2008-04-11  James E. Wilson  <wilson@tuliptree.org>
3295
3296         * system.h: Change ASSERT_CHECKING to ENABLE_ASSERT_CHECKING.
3297
3298 2008-04-11  H.J. Lu  <hongjiu.lu@intel.com>
3299
3300         * dse.c (record_store): Use HOST_BITS_PER_WIDE_INT instead
3301         of size of positions_needed * CHAR_BIT.
3302
3303 2008-04-11  H.J. Lu  <hongjiu.lu@intel.com>
3304
3305         PR middle-end/35897
3306         * dse.c (store_info): Change positions_needed to unsigned
3307         HOST_WIDE_INT.
3308         (lowpart_bitmask): New.
3309         (record_store): Cast to unsigned HOST_WIDE_INT for
3310         positions_needed.  Assert width <= size of positions_needed *
3311         CHAR_BIT.  Call lowpart_bitmask to initialize positions_needed.
3312         (check_mem_read_rtx): Use unsigned HOST_WIDE_INT on mask.  Call
3313         lowpart_bitmask to set mask.
3314
3315 2008-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
3316
3317         * config/bfin/constraints.md: New file.
3318         * config/bfin/bfin.md: Include it.
3319         (adddi3): Use satisfies_constraint functions instead of the old macros.
3320         * config/bfin/bfin.h (REG_CLASS_FROM_LETTER, CONSTRAINT_LEN,
3321         CONST_18UBIT_IMM_P, CONST_16BIT_IMM_P, CONST_16UBIT_IMM_P,
3322         CONST_7BIT_IMM_P, CONST_7NBIT_IMM_P, CONST_5UBIT_IMM_P,
3323         CONST_4BIT_IMM_P, CONST_4UBIT_IMM_P, CONST_3BIT_IMM_P,
3324         CONST_3UBIT_IMM_P, CONST_OK_FOR_K, CONST_OK_FOR_P, CONST_OK_FOR_M,
3325         CONST_OK_FOR_CONSTRAINT_P, CONST_DOUBLE_OK_FOR_LETTER,
3326         EXTRA_CONSTRAINT): Delete.
3327         * config/bfin/predicates.md (highbits_operand, reg_or_7bit_operand,
3328         reg_or_neg7bit_operand): Use satisfies_constraint functions instead
3329         of the old macros.
3330         * config/bfin/bfin.c: Include "tm-constrs.h".
3331         (bfin_secondary_reload, split_load_immediate, bfin_rtx_costs):
3332         Use satisfies_constraint functions instead of the old macros.
3333         * doc/md.texi (Blackfin Constraints): Update file name reference.
3334
3335 2008-04-11  Richard Guenther  <rguenther@suse.de>
3336
3337         PR tree-optimization/35869
3338         * tree-vrp.c (execute_vrp): Move switch statement update after
3339         jump threading.  Schedule another cfg cleanup run.
3340
3341 2008-04-11  Volker Reichelt  <v.reichelt@netcologne.de>
3342
3343         PR c/35744
3344         * attribs.c (decl_attributes): Return early on errorneous node.
3345
3346 2008-04-10  Oleg Ryjkov  <olegr@google.com>
3347
3348         * tree.h (struct tree_base): Added a new flag default_def_flag.
3349         (SSA_NAME_IS_DEFAULT_DEF): Changed to use the new flag.
3350
3351 2008-04-11  Kaz Kojima  <kkojima@gcc.gnu.org>
3352
3353         * config.gcc (need_64bit_hwint): Need 64bit hwint for sh-*-*.
3354
3355 2008-04-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3356
3357         PR target/35768
3358         * pa.md: Define mode iterator P.  Define mode attribute dwc.
3359         (dcacheflush): Update pattern to use iterator P and attribute dwc.
3360         (icacheflush): Likewise.
3361         * pa.h (INITIALIZE_TRAMPOLINE): Use dcacheflushsi/icacheflushsi if
3362         !TARGET_64BIT, and dcacheflushdi/icacheflushdi if TARGET_64BIT.
3363
3364 2008-04-11  Ben Elliston  <bje@au.ibm.com>
3365
3366         * config/spu/spu.c (spu_init_builtins): Mark builtins as nothrow.
3367
3368 2008-04-10  Rafael Espindola  <espindola@google.com>
3369
3370         * tree-vrp.c (extract_range_from_binary_expr): Don't handle
3371         TRUTH_ANDIF_EXPR or TRUTH_ORIF_EXPR.
3372         (extract_range_from_expr): The same.
3373
3374 2008-04-10  Adam Nemet  <anemet@caviumnetworks.com>
3375
3376         * config/mips/mips.md (G