OSDN Git Service

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