OSDN Git Service

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