OSDN Git Service

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