1 2009-08-13 Dave Korn <dave.korn.cygwin@gmail.com>
3 * gcc/config/i386/cygwin.h (LINK_SPEC): Add --enable-auto-image-base.
5 2009-08-13 Richard Guenther <rguenther@suse.de>
8 * tree-ssa-ccp.c (ccp_fold): When folding pointer additions
9 use the constant pointer type.
10 * gimplify.c (canonicalize_addr_expr): Canonicalize independent
11 of CV qualifiers on the target pointer type.
12 * tree-ssa.c (useless_type_conversion_p): Move incomplete pointer
13 conversion check before restrict check.
15 2009-08-12 Kaz Kojima <kkojima@gcc.gnu.org>
18 * config/sh/sh.md (reload_outdf__RnFRm+4): Fix thinko.
20 2009-08-12 Kaz Kojima <kkojima@gcc.gnu.org>
22 * config/sh/sh.c (sh_promote_function_mode): Add ATTRIBUTE_UNUSED.
24 2009-08-12 Richard Guenther <rguenther@suse.de>
26 PR tree-optimization/41011
27 * ipa-cp.c (ipcp_lattice_from_jfunc): Deal with failing fold
28 and reference constructing.
30 2009-08-12 Xinliang David Li <davidxl@google.com>
32 PR tree-optimization/41012
33 * tree-flow.h : New external interface.
34 * gimple-low.c (check_call_arg): Change to public function.
35 Remove argument mismatch check in lowering.
36 * tree-inline.h (tree_can_inline_p): Interface change.
37 * tree-inline.c (tree_can_inline_p): Fold argument mismatch check
39 * ipa-inline.c (cgraph_decide_inlining_of_small_functions):
40 Call change to tree_can_inline_p function.
41 (cgraph_decide_inlining_incrementally): Ditto.
43 2009-08-12 Richard Sandiford <rdsandiford@googlemail.com>
45 PR tree-optimization/41031
46 * tree-outof-ssa.c (insert_value_copy_on_edge): Use promote_decl_mode
47 on the partition variable rather than promote_mode on the source
48 type. Assert that the partition variable's type has the same
49 mode as the source value's.
51 2009-08-12 Paolo Bonzini <bonzini@gnu.org>
53 * doc/tm.texi (TARGET_PROMOTE_FUNCTION_MODE): Add documentation
55 * function.c (assign_parm_setup_reg): Use for_return == 2, improve
57 * calls.c (expand_call): Fix typo.
58 * explow.c (promote_decl_mode): Use for_return == 2 for RESULT_DECL
60 * stmt.c (expand_value_return): Use promote_function_mode to copy out
62 * targhooks.c (default_promote_function_mode): Handle for_return == 2.
63 * config/cris/cris.c (cris_promote_function_mode): Likewise.
64 * config/mmix/mmix.c (mmix_promote_function_mode): Likewise.
65 * config/pa/pa.c (pa_promote_function_mode): Likewise.
67 2009-08-11 Andrew Haley <aph@redhat.com>
69 * config/arm/arm.c (arm_init_libfuncs): Add __sync_synchronize.
71 2009-08-12 Sebastian Pop <sebastian.pop@amd.com>
74 * graphite.c: Remove pragma GCC diagnostic warning "-Wc++-compat".
76 2009-08-12 Richard Guenther <rguenther@suse.de>
78 * alias.c (get_alias_set): Honor TYPE_STRUCTURAL_EQUALITY_P.
79 * gimplify.c (gimplify_modify_expr): Do not use
80 lang_hooks.types_compatible_p.
81 * tree-ssa.c (useless_type_conversion_p): For aggregates
82 just return false if the canonical types differ.
84 2009-08-12 Sebastian Pop <sebastian.pop@amd.com>
87 * sese.c (convert_for_phi_arg): New.
88 (add_guard_exit_phis): Use convert_for_phi_arg.
90 2009-08-12 Sebastian Pop <sebastian.pop@amd.com>
92 * graphite-sese-to-poly.c (pdr_add_data_dimensions): Dont add
93 unknown subscript upper bounds.
95 2009-08-12 Sebastian Pop <sebastian.pop@amd.com>
96 Pranav Garg <pranav.garg2107@gmail.com>
98 * graphite-interchange.c (gather_access_strides): Removed.
99 (ppl_max_for_le): New.
100 (build_linearized_memory_access): New.
101 (memory_stride_in_loop): New.
102 (pbb_interchange_profitable_p): Reimplemented.
103 * graphite-ppl.h (ppl_new_id_map): New.
104 (ppl_interchange): New.
106 2009-08-12 Sebastian Pop <sebastian.pop@amd.com>
108 * graphite-interchange.c (compute_subscript): Removed.
109 (compute_array_size_cstr): Removed.
110 (compute_array_size_poly): Removed.
111 (compute_array_size): Removed.
112 (gather_access_strides_poly): Removed.
113 (gather_access_strides): Empty.
115 2009-08-12 Sebastian Pop <sebastian.pop@amd.com>
117 * graphite-dependences.c (dependence_polyhedron_1): Replace
118 pdr_nb_subscripts with PDR_NB_SUBSCRIPTS.
119 (graphite_legal_transform_dr): Same.
120 (graphite_carried_dependence_level_k): Same.
121 * graphite-poly.c (new_poly_dr): Add a parameter nb_subscripts.
122 Initialize PDR_NB_SUBSCRIPTS.
123 (print_pdr_access_layout): Replace pdr_nb_subscripts with
125 * graphite-poly.h (struct poly_dr): Add nb_subscripts field.
126 (PDR_NB_SUBSCRIPTS): New.
127 (pdr_nb_subscripts): Removed.
128 (pdr_dim): Simplified.
129 * graphite-sese-to-poly.c (build_poly_dr): Replace pdr_nb_subscripts
130 with PDR_NB_SUBSCRIPTS.
132 2009-08-12 Sebastian Pop <sebastian.pop@amd.com>
134 * graphite-interchange.c (compute_array_size): Remove use of
136 * graphite-poly.c (new_poly_dr): Remove argument data_container.
137 Do not initialize PDR_DATA_CONTAINER.
138 (print_pdr): Do not print PDR_DATA_CONTAINER.
139 * graphite-poly.h (struct poly_dr): Remove data_container field.
140 (PDR_DATA_CONTAINER): Removed.
141 * graphite-sese-to-poly.c (pdr_add_data_dimensions): Remove use of
143 (build_poly_dr): Same.
145 2009-08-12 Konrad Trifunovic <konrad.trifunovic@gmail.com>
146 Sebastian Pop <sebastian.pop@amd.com>
148 * graphite-dependences.c (graphite_legal_transform_dr): Work on a
149 copy of the dependence polyhedron. Free the temporary objects.
150 (graphite_carried_dependence_level_k): Free unused objects before
153 * testsuite/gcc.dg/graphite/interchange-1.c: XFAILed.
154 * testsuite/gcc.dg/graphite/interchange-2.c: XFAILed.
155 * testsuite/gcc.dg/graphite/interchange-3.c: XFAILed.
156 * testsuite/gcc.dg/graphite/interchange-4.c: XFAILed.
157 * testsuite/gcc.dg/graphite/interchange-7.c: XFAILed.
159 2009-08-12 Sebastian Pop <sebastian.pop@amd.com>
161 * graphite-blocking.c (scop_do_strip_mine): Call store_scattering.
162 Early return without analyzing the data dependences if no
163 transform has been done. Call restore_scattering if the transform
165 (graphite-interchange.c): Same.
166 * graphite-poly.c (print_scattering_function): Test for PBB_TRANSFORMED.
167 (graphite_read_transforms): Initialize PBB_TRANSFORMED.
168 (apply_poly_transforms): Do not gcc_assert that
169 the transform is legal.
170 (new_poly_bb): Initialize PBB_TRANSFORMED, PBB_SAVED, and PBB_ORIGINAL.
171 Do not initialize PBB_NB_SCATTERING_TRANSFORM, PBB_NB_LOCAL_VARIABLES,
172 PBB_TRANSFORMED_SCATTERING, and PBB_ORIGINAL_SCATTERING.
173 (free_poly_dr): Free PBB_TRANSFORMED, PBB_SAVED, and PBB_ORIGINAL.
174 * graphite-poly.h (struct poly_scattering): New.
175 (struct poly_bb): Add original, transformed, and saved fields.
176 Remove transformed_scattering, original_scattering, nb_local_variables,
177 and nb_scattering_transform fields.
178 (PBB_ORIGINAL, PBB_TRANSFORMED, PBB_SAVED): New.
179 (poly_scattering_new): New.
180 (poly_scattering_free): New.
181 (poly_scattering_copy): New.
182 (store_scattering_pbb): New.
183 (store_scattering): New.
184 (restore_scattering_pbb): New.
185 (restore_scattering): New.
186 * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons):
187 Initialize PBB_TRANSFORMED and PBB_ORIGINAL.
189 2009-08-12 Sebastian Pop <sebastian.pop@amd.com>
191 * graphite-poly.c (print_pbb): Add parentheses in the pretty print.
194 2009-08-12 Sebastian Pop <sebastian.pop@amd.com>
196 * Makefile.in (graphite.o): Depends on PREDICT_H.
197 * graphite.c: Include predict.h.
198 (graphite_finalize): Call tree_estimate_probability.
199 * predict.c (predict_loops): Do not call scev_initialize and
201 (tree_estimate_probability_bb): New.
202 (tree_estimate_probability): Do not initialize loops: move that
203 code to the driver. Call tree_estimate_probability_bb.
204 (tree_estimate_probability_driver): New.
205 (pass_profile): Use tree_estimate_probability_driver.
206 * predict.h (tree_estimate_probability): Declared.
208 2009-08-12 Sebastian Pop <sebastian.pop@amd.com>
210 * graphite-clast-to-gimple.c (gloog): Add time to TV_GRAPHITE_CODE_GEN.
211 * graphite-dependences.c (graphite_legal_transform): Add time to
212 TV_GRAPHITE_DATA_DEPS.
213 (dependency_between_pbbs_p): Same.
214 * timevar.def (TV_GRAPHITE_DATA_DEPS, TV_GRAPHITE_CODE_GEN): New.
216 2009-08-12 Andrey Belevantsev <abel@ispras.ru>
218 PR rtl-optimization/41033
219 * alias.c (nonoverlapping_component_refs_p): Punt when strict
220 aliasing is disabled.
222 2009-08-11 Adam Nemet <anemet@caviumnetworks.com>
224 * config/mips/predicates.md (qi_mask_operand, hi_mask_operand,
225 si_mask_operand, and_load_operand, low_bitmask_operand,
226 and_reg_operand, and_operand): New predicates.
227 * config/mips/constraints.md (Yb, Yh, Yw, Yz): New constraints.
228 * config/mips/mips.c (and_operands_ok): New function.
229 * config/mips/mips-protos.h (and_operands_ok): Declare it.
230 * config/mips/mips.md (move_type): Add ext_ins and logical.
232 (and<mode>3): Use and_reg_operand as the second operand's
234 (*and<mode>3): Add alternatives for lbu, lhu, lwu, <d>ext and
235 shift_shift. Remove commutative constraint modifier.
236 (*and<mode>3_mips16): Add alternatives for lbu, lhu, lwu and
238 (*clear_upper32_dext): Remove define_insn_and_split.
239 (*clear_upper32): Turn this define_insn_and_split ...
240 (splitter for ANDing register with 0xffff_ffff): .. into this.
242 2009-08-11 Adam Nemet <anemet@caviumnetworks.com>
244 * combine.c (try_widen_shift_mode): Factor out code to check if an
245 integer constant is a low-order bitmask from here ...
246 * rtlanal.c (low_bitmask_len): ... to here.
247 * rtl.h (low_bitmask_len): Declare.
249 2009-08-11 Uros Bizjak <ubizjak@gmail.com>
252 * config/alpha/alpha.md (addsi3): Remove expander.
253 (addsi3): Rename from *addsi3_internal insn pattern.
254 (subsi3): Remove expander.
255 (subsi3): Rename from *subsi3_internal insn pattern.
257 2009-08-11 Douglas B Rupp <rupp@gnat.com>
259 * config/alpha/alpha.c (alpha_init_builtins): Nullify FWRITE and
262 2009-08-11 Vasiliy Fofanov <fofanov@adacore.com>
263 Eric Botcazou <botcazou@adacore.com>
264 Douglas B Rupp <rupp@gnat.com>
266 * config/alpha/alpha.c (alpha_return_in_memory): On VMS, ensure
267 that records that fit in 64 bits are returned by immediate value,
268 as required by OpenVMS Calling Standard.
269 (function_value): Adjust for above modification.
270 (alpha_va_start) <TARGET_ABI_OPEN_VMS>: Use
271 virtual_incoming_args_rtx as base object, not next_arg.
272 * config/alpha/vms.h: (DEFAULT_PCC_STRUCT_RETURN): Define as 0.
274 2009-08-11 Ulrich Weigand <Ulrich.Weigand@de.ibm.com>
276 * reload.c (find_reloads_subreg_address): Check the original
277 req_equiv_mem address to detect the case where an address is
278 not valid in the outer mode.
280 2009-08-11 Richard Guenther <rguenther@suse.de>
283 * builtins.c (gimplify_va_arg_expr): Do not call SET_EXPR_LOCATION.
285 2009-08-10 Douglas B Rupp <rupp@gnat.com>
287 * config/alpha/vms.h (OPTIMIZATION_OPTIONS): Remove
288 (OVERRIDE_OPTIONS): Incorporate removed OPTIMIZATION_OPTIONS.
290 2009-08-10 Olivier Hainque <hainqueu@adacore.com>
291 Douglas B Rupp <rupp@gnat.com>
293 * config/alpha/alpha.c (alpha_sa_size): Force procedure type to
294 PT_STACK when frame_pointer_needed on OpenVMS.
295 (alpha_pv_save_size, alpha_using_fp): Remove.
296 (alpha_vms_can_eliminate): New function. Support for CAN_ELIMINATE
297 with proper processing for PT_NULL.
298 (alpha_vms_initial_elimination_offset): New function. Support for
299 INITIAL_ELIMINATION_OFFSET with proper processing for PT_NULL.
300 (alpha_sa_size): Force procedure type to PT_STACK when
301 frame_pointer_needed on OpenVMS.
302 * config/alpha/alpha-protos.h (alpha_pv_save_size): Remove prototype.
303 (alpha_using_fp): Likewise.
304 (alpha_vms_can_eliminate): Add prototype.
305 (alpha_vms_initial_elimination_offset): Likewise.
306 * config/alpha/vms.h (CAN_ELIMINATE, INITIAL_ELIMINATION_OFFSET):
307 Call alpha_vms_can_eliminate and alpha_vms_initial_elimination_offset.
309 2009-08-10 Eric Botcazou <botcazou@adacore.com>
310 Douglas B Rupp <rupp@gnat.com>
312 * config/alpha/alpha.c (common_object_handler): New function.
313 (vms_attribute_table): Declare a single attribute "common_object".
314 (vms_output_aligned_decl_common): New global function.
315 (SECTION_VMS_OVERLAY): Delete.
316 (SECTION_VMS_GLOBAL): Likewise.
317 (SECTION_VMS_INITIALIZE): Likewise.
318 (vms_asm_named_section): Remove support for above flags.
319 (vms_section_type_flags): Delete.
320 (TARGET_SECTION_TYPE_FLAGS): Likewise.
321 * config/alpha/alpha-protos.h (vms_output_aligned_decl_common): New.
322 * config/alpha/vms.h (ASM_OUTPUT_ALIGNED_COMMON): Delete.
323 (ASM_OUTPUT_ALIGNED_DECL_COMMON): New macro.
325 2009-08-10 SUGIOKA Toshinobu <sugioka@itonet.co.jp>
328 * longlong.h [__sh__] (udiv_qrnnd): Add T register to clobber list.
329 (sub_ddmmss): Likewise.
331 2009-08-10 Andreas Tobler <a.tobler@schweiz.org>
334 * config/rs6000/freebsd.h: Define SVR4_ASM_SPEC. Adjust copyright
337 2009-08-10 Ulrich Weigand <Ulrich.Weigand@de.ibm.com>
340 * reload1.c (reload_as_needed): Use cancel_changes to completely
341 undo a failed replacement attempt.
343 2009-08-10 Richard Guenther <rguenther@suse.de>
346 * tree-ssa.c (useless_type_conversion_p_1): Fold into ...
347 (useless_type_conversion_p): ... here. Require pointer targets
350 2009-08-10 Dodji Seketeli <dodji@redhat.com>
353 * tree-inline.c (copy_statement_list): The resulting copy shouldn't
354 loose the original type of the statement list.
356 2009-08-09 Douglas B Rupp <rupp@gnat.com>
358 * config/alpha/alpha.c: Include libfuncs.h
359 (avms_asm_output_extern): New function.
360 (alpha_init_libfuncs): Init some decc libfuncs.
361 * config/alpha/alpha-protos.h (avms_asm_output_external): Declare.
362 * config/alpha/vms.h (ASM_OUTPUT_EXTERNAL): Define.
363 (DO_CRTL_NAMES): Define.
365 * config/alpha/vms64.h: (POINTERS_EXTEND_UNSIGNED): Remove undef.
366 (LONG_TYPE_SIZE): Define.
367 (TARGET_OS_CPP_BUILTINS): Define with __LONG_POINTERS=1
368 (SUBTARGET_SWITCHES): Define malloc64 switch.
369 (TARGET_DEFAULT): Default MASK_MALLOC64 set.
370 (MASK_RETURN_ADDR): Define.
371 doc/invoke.texi (mmalloc64): Document switch.
373 2009-08-09 Olivier Hainque <hainque@adacore.com>
374 Douglas B Rupp <rupp@gnat.com>
376 * config/alpha/alpha.c (struct machine_function): New flag for VMS,
377 uses_condition_handler.
378 (alpha_expand_builtin_establish_vms_condition_handler): New expander.
379 (alpha_expand_builtin_revert_vms_condition_handler): New expander.
380 (enum alpha_builtin): New ALPHA_BUILTIN_REVERT_VMS_CONDITION_HANDLER
381 and ALPHA_BUILTIN_ESTABLISH_VMS_CONDITION_HANDLER values.
382 (code_for_builtin): New insn codes for the new alpha_builtins.
383 (alpha_init_builtins): Register the new functions as BUILT_IN_MD.
384 (alpha_sa_size): Account for uses_condition_handler.
385 (alpha_expand_prologue): Likewise.
386 (alpha_start_function): Likewise.
387 (alpha_expand_epilogue): Likewise.
388 * config/alpha/alpha-protos.h: Prototype the new alpha.c builtin
389 establish/revert expanders.
390 * config/alpha/alpha.h (DWARF_FRAME_REGNUM): Define.
391 * config/alpha/alpha.md (builtin_establish_vms_condition_handler):
392 New expander, resorting to the alpha.c associated function.
393 (builtin_revert_vms_condition_handler): Likewise.
394 * config/alpha/vms-gcc_shell_handler.c: New file. Implements
395 __gcc_shell_handler, the static VMS condition handler used as
396 an indirection wrapper to the current dynamically established
398 * config/alpha/vms-unwind.h: Complete rewrite.
399 * config/alpha/t-vms (LIB2FUNCS_EXTRA): Add vms-gcc_shell_handler.c
400 * config/alpha/vms.h (MD_UNWIND_SUPPORT):
402 2009-08-09 Eric Botcazou <botcazou@adacore.com>
403 Douglas B Rupp <rupp@gnat.com>
405 * config/alpha/alpha.c (alpha_links): Add 'target' field.
406 (alpha_need_linkage): Handle aliases. Return function symbol.
407 (alpha_use_linkage): Rename 'linkage' argument to 'func'.
408 Use ultimate alias target for the linkage name.
409 * config/alpha/alpha.md (movmemdi): Use the symbol returned
410 by alpha_need_linkage for the function symbol.
411 (setmemdi): Likewise.
413 2009-08-09 Douglas B Rupp <rupp@gnat.com>
415 * config/alpha/alpha.c (TARGET_ASM_UNALIGNED_*_OP): Define if on VMS.
416 * config/alpha/vms.h (OBJECT_FORMAT_ELF): Define.
417 (ASM_WEAKEN_LABEL): Define.
418 (CRT_CALL_STATIC_FUNCTION): Define.
419 (STARTFILE_SPEC): Add crtbegin.o crtbeginS.o.
420 (ENDFILE_SPEC): Define.
421 (INIT_SECTION_ASM_OP): Define.
422 * config/alpha/vms-dwarf2eh.asm (__EH_FRAME_BEGIN__): Remove.
423 * config/alpha/t-vms (EXTRA_PARTS): Add crtbegin.o crtbeginS.o
425 (MULTILIB_OSDIRNAMES): Define.
426 (shlib_version): Define.
428 (SHLIB_OBJS): Define.
429 (SHLIB_NAME): Define.
430 (SHLIB_MULTILIB): Define.
431 (SHLIB_INSTALL): Define.
432 (SHLIB_SYMVEC): Define.
433 (SHLIB_SYMVECX2): Define.
434 (SHLIB_LINK): Define.
436 2009-08-09 Douglas B Rupp <rupp@gnat.com>
438 * config/alpha/alpha.c (alpha_initialize_trampoline):
439 Initialize VMS trampoline IAW ABI for bounded procedure calls.
440 (alpha_start_function): Emit transfer address on nested functions
441 for VMS trampoline call.
442 * config/alpha/t-vms (LIB2FUNCS_EXTRA): Remove vms_tramp.asm
443 since no longer used.
444 * config/alpha/vms-tramp.asm: Remove.
445 * config/alpha/vms.h (TRAMPOLINE_TEMPLATE): Leave undefined
446 since now only data initialized at runtime.
448 2009-08-09 Douglas B Rupp <rupp@gnat.com>
450 * config/alpha/vms.h (HANDLE_SYSV_PRAGMA): Define.
451 (LINK_GCC_C_SEQUENCE_SPEC): Define.
452 (MD_EXEC_PREFIX): Remove, no longer used.
453 (MD_STARTFILE_PREFIX): Likewise.
454 (INCLUDE_DEFAULTS): Likewise.
455 * config/alpha/t-vms:
456 (vms-dwarf2.o, vms-dwarf2eh.o): Use GCC_FOR_TARGET to compile.
458 2009-08-09 Richard Guenther <rguenther@suse.de>
460 PR tree-optimization/41016
461 * tree-ssa-ifcombine.c (get_name_for_bit_test): Fix tuplification bug.
462 (operand_precision): Remove.
463 (integral_operand_p): Likewise.
464 (recognize_single_bit_test): Adjust.
466 2009-08-09 Richard Sandiford <rdsandiford@googlemail.com>
468 * c-common.c (c_fully_fold_internal): Issue a warning if a binary
469 operation overflows. Likewise non-cast unary arithmetic.
470 If one arm of a conditional expression is always taken,
471 inhibit evaluation warnings for the other arm. Likewise inhibit
472 evaluation warnings for the second && or || operand if the first
473 operand is enough to determine the result.
474 * c-typeck.c (build_conditional_expr): Apply the same inhibition
476 (build_binary_op): Prevent duplicate evaluation warnings.
478 2009-08-09 Richard Sandiford <rdsandiford@googlemail.com>
480 * tree-out-of-ssa.c (insert_value_copy_on_edge): If the source
481 and destination have different modes, Use promote_mode to
482 determine the signedness of the conversion. Assert that the
483 promoted source mode matches the destination mode. Don't pass
484 the destination and destination mode to expand_expr if the source
485 mode is different. Simplify conversion logic.
487 2009-08-09 Ira Rosen <irar@il.ibm.com>
489 PR tree-optimization/41008
490 * tree-vect-loop.c (vect_is_simple_reduction): Get operands
491 from condition only in case it's a comparison. Adjust checks.
493 2009-08-09 Bernd Schmidt <bernd.schmidt@analog.com>
495 * tree-dfa.c (renumber_gimple_stmt_uids_in_blocks): New function.
496 * tree-flow.h (renumber_gimple_stmt_uids_in_blocks): Declare it.
497 * tree-ssa-loop-ivopts.c (comp_cost): Make COST an integer.
498 (enum iv_position): Add IP_AFTER_USE and IP_BEFORE_USE.
499 (dump_cand): Handle them.
500 (struct iv_cand): New members COST_STEP and AINC_USE.
501 (stmt_after_increment): Likewise.
502 (stmt_after_inc_pos): Renamed from stmt_after_ip_original_pos. All
503 callers changed. Use gimple_uid comparison instead of scanning.
504 (add_candidate_1): When looking for identical candidates, take
505 AINC_USE into account. Set it for new candidates.
506 (force_expr_to_var_cost): Cast target_spill_cost to int.
507 (get_address_cost): New arguments STMT_AFTER_INC and MAY_AUTOINC.
508 All callers changed. Check for availability of autoinc addressing
509 modes, both in general for a given mode, and in the specific use case.
510 (get_computation_cost_at): New argument CAN_AUTOINC. All callers
512 (get_computation_cost): Likewise.
513 (autoinc_possible_for_pair, set_autoinc_for_original_candidates,
514 add_autoinc_candidates): New static functions.
515 (add_candidate): Call add_autoinc_candidates for candidates based on
517 (find_iv_candidates): Call set_autoinc_for_original_candidates.
518 (determine_use_iv_cost_address): If we have an autoinc candidate at
519 the matching use, verify autoinc is possible and subtract the cost
520 of the candidate's step from the cost.
521 (determine_iv_cost): Record the cost of the increment in the COST_STEP
522 member of the candidate.
523 (tree_ssa_iv_optimize_loop): Swap the calls to determine_iv_costs and
524 determine_use_iv_costs. Call renumber_gimple_stmt_uids_in_blocks.
526 2009-08-09 Douglas B Rupp <rupp@gnat.com>
528 * config.build (ia64-hp-*vms*): New target.
529 (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
531 * config.gcc (ia64-hp-*vms*): New target.
532 (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
534 * config.host (ia64-hp-*vms*): New target.
535 (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
538 2009-08-08 Richard Guenther <rguenther@suse.de>
540 PR tree-optimization/40991
541 * tree-ssa-pre.c (eliminate): Delay purging EH edges.
543 2009-08-08 Richard Sandiford <rdsandiford@googlemail.com>
545 * combine.c (gen_lowpart_or_truncate): Exclude CONST_INTs from
546 mode check. Do truncations in an integer mode.
547 (force_to_mode): Handle subregs for all mode types. Only do
548 arithmetic simplifications on integer modes.
550 2009-08-07 Richard Guenther <rguenther@suse.de>
552 PR tree-optimization/40999
553 * tree-ssa-ccp.c (get_symbol_constant_value): Handle CONST_DECLs.
554 (maybe_fold_reference): Lookup constant initializers.
555 (fold_gimple_assign): Likewise.
557 2009-08-07 Richard Guenther <rguenther@suse.de>
559 * tree-ssa.c (useless_type_conversion_p_1): Only for types
560 that require structural equality defer to the langhook.
562 2009-08-07 Martin Jambor <mjambor@suse.cz>
564 * ipa-prop.h (enum jump_func_type): New value IPA_JF_ANCESTOR, changed
566 (struct ipa_pass_through_data): New type.
567 (struct ipa_ancestor_jf_data): New type.
568 (union jump_func_value): Removed field formal_id, added fields
569 pass_through and ancestor.
570 (struct ipa_param_call_note): Changed type of formal_id to int from
572 * ipa-prop.c (ipa_print_node_jump_functions): Print pass through with
573 operations jump functions and ancestor jump functions.
574 (compute_complex_pass_through): New function.
575 (compute_scalar_jump_functions): Call compute_complex_pass_through,
576 reflect changes in the jump function strucutre.
577 (update_jump_functions_after_inlining): Ignore complex pass-through
578 and ancestor jump functions.
579 * ipa-cp.c (ipcp_lattice_from_jfunc): Added support for ancestor and
580 polynomial pass-through with operation jump functions.
582 2009-08-07 Jakub Jelinek <jakub@redhat.com>
584 * dwarf2out.c (output_fde): When doing hot/cold partitioning, use
585 fde->dw_fde_begin as begin label instead of hot/cold label.
586 Use LLSDAC label instead of LLSDA for second section lsda.
587 (dwarf2out_do_cfi_startproc): Add SECOND argument. Use LLSDAC
588 label instead of LLSDA if it is true.
589 (dwarf2out_begin_prologue, dwarf2out_switch_text_section): Adjust
591 * except.c (add_call_site, dw2_size_of_call_site_table): Add
592 SECTION argument. Use it as index into crtl->eh.call_site_record
594 (dw2_output_call_site_table): Likewise. Add CS_FORMAT argument,
595 use it to determine how to print table entries instead of using
596 #ifdef HAVE_AS_LEB128. For SECTION > 0 use hot resp. cold
597 label instead of normal begin label as base.
598 (sjlj_assign_call_site_values): Adjust add_call_site caller.
599 (convert_to_eh_region_ranges): When doing hot/cold partitioning,
600 ensure no EH range spans between sections and that landing pads
601 are always in the corresponding section.
602 (sjlj_size_of_call_site_table, sjlj_output_call_site_table): Adjust
603 for crtl->eh.call_site_record being an array rather than scalar.
604 (output_one_function_exception_table): New function, copied
605 from output_function_exception_table. Adjust
606 dw2_size_of_call_site_table, dw2_output_call_site_table
607 callers. For SECOND section use *C suffixed labels.
608 (output_function_exception_table): Call
609 output_one_function_exception_table and, when doing hot/cold
610 partitioning, also another time for the second section.
611 * opts.c: Include except.h.
612 (decode_options): Allow -freorder-blocks-and-partition with
613 exceptions, unless SJLJ or TARGET_UNWIND_INFO.
614 * Makefile.in (opts.o): Depend on $(EXCEPT_H).
615 * function.h (struct rtl_eh): Change call_site_record from
616 scalar into array of 2 elements.
618 2009-08-07 Martin Jambor <mjambor@suse.cz>
620 * ipa-prop.c (count_formal_params_1): New function.
621 (ipa_get_vector_of_formal_parms): New function.
622 (get_vector_of_formal_parm_types): New function.
623 (ipa_modify_formal_parameters): New function.
624 (ipa_modify_call_arguments): New function.
625 (index_in_adjustments_multiple_times_p): New function.
626 (ipa_combine_adjustments): New function.
627 (ipa_dump_param_adjustments): New function.
628 * ipa-prop.h (struct ipa_parm_adjustment): New type.
629 (ipa_get_vector_of_formal_parms): Declare.
630 (ipa_modify_formal_parameters): Declare.
631 (ipa_modify_call_arguments): Declare.
632 (ipa_combine_adjustments): Declare.
633 (ipa_dump_param_adjustments): Declare.
634 (build_ref_for_offset): Declare.
635 * Makefile.in (tree-sra.o): Add ipa-prop.h to dependencies.
636 * tree-sra.c: Include ipa-prop.c.
637 (build_ref_for_offset): Make public.
639 2009-08-06 Neil Vachharajani <nvachhar@gmail.com>
641 * value-prof.c (init_pid_map): Replace xmalloc with XCNEWVEC.
643 2009-08-06 Thomas Schwinge <tschwinge@gnu.org>
645 * gcc/doc/extend.texi (__builtin_extract_return_address)
646 (__builtin_frob_return_address): Document.
648 2009-08-06 Paul Brook <paul@codesourcery.com>
650 * config/arm/lib1funcs.asm (ARM_DIV_BODY): Add Thumb-2 implementation.
651 (udivsi3, aeabi_uidivmod, divsi3, aeabi_idivmod): Only use Thumb-1
652 implementation on ARMv6-M.
654 2009-08-06 Richard Earnshaw <rearnsha@arm.com>
656 * doc/extend.texi (pcs): Document new attribute for ARM.
658 2009-08-06 Richard Earnshaw <rearnsha@arm.com>
660 * arm.c (pcs_attribute_args): Comment out unsupported attribute
663 2009-08-06 Richard Earnshaw <rearnsha@arm.com>
665 * arm.c (arm_handle_pcs_attribute): Pass the entire name object to
668 2009-08-06 Richard Earnshaw <rearnsha@arm.com>
670 * arm.c (arm_handle_pcs_attribute): Use %qE in warning.
672 2009-08-06 Richard Earnshaw <rearnsha@arm.com>
674 Merge ARM/hard_vfp_branch to trunk.
676 2009-08-04 Richard Earnshaw <rearnsha@arm.com>
678 * arm.c (libcall_eq): New function.
679 (libcall_hash): New function.
680 (add_libcall): New function.
681 (arm_libcall_uses_aapcs_base): New function.
682 (arm_libcall_value): Use arm_libcall_uses_aapcs_base to check for
683 libcalls using the base PCS.
684 (arm_init_cumulative_args): Likewise.
686 2009-07-20 Joseph Myers <joseph@codesourcery.com>
688 * config/arm/arm.c (arm_libcall_value, arm_init_cumulative_args):
689 Use base ABI for conversion libfuncs between HFmode and SFmode.
691 2009-05-12 Joseph Myers <joseph@codesourcery.com>
693 * config/arm/arm.c (aapcs_vfp_sub_candidate): Use V2SImode and
694 V4SImode as representatives of all 64-bit and 128-bit vector
695 types. Allow vector types without vector modes.
696 (aapcs_vfp_is_call_or_return_candidate): Handle vector types
697 without vector modes like BLKmode.
698 (aapcs_vfp_allocate): Handle TImode for non-TARGET_NEON like
699 BLKmode. Avoid unsupported vector modes or TImode moves for
701 (aapcs_vfp_allocate_return_reg): Likewise.
702 (arm_vector_mode_supported_p): Only support V2SImode, V4HImode and
703 V8QImode if TARGET_NEON || TARGET_IWMMXT.
705 2009-05-12 Joseph Myers <joseph@codesourcery.com>
707 * config/arm/arm.c (arm_handle_pcs_attribute): New.
708 (arm_get_pcs_model): Pass attribute arguments to
709 arm_pcs_from_attribute.
710 (arm_init_cumulative_args): Use base AAPCS for conversions from
711 floating-point types to DImode.
712 (arm_attribute_table): Add pcs attribute.
713 (arm_handle_pcs_attribute): New.
714 * config/arm/bpabi.h (DECLARE_LIBRARY_RENAMES): When renaming
715 conversions from floating-point types to DImode, also declare them
716 to use base AAPCS and declare functions they call to use base
717 AAPCS and their RTABI names.
719 2009-05-12 Joseph Myers <joseph@codesourcery.com>
721 * doc/invoke.texi (-mfloat-abi=@var{name}): Remove statement about
722 -mfloat-abi=hard not being supported for VFP.
724 2009-05-11 Kazu Hirata <kazu@codesourcery.com>
726 * config/sparc/sparc.c (sparc_emit_float_lib_cmp): Pass a libcall
727 SYMBOL_REF to hard_libcall_value.
729 2009-03-05 Joseph Myers <joseph@codesourcery.com>
730 Richard Earnshaw <rearnsha@arm.com>
732 * config/arm/arm.c (aapcs_layout_arg): Once a co-processor argument
733 has been put on the stack, all remaining co-processory arguments for
734 that co-processor also go on the stack.
736 2009-03-05 Joseph Myers <joseph@codesourcery.com>
738 * config/arm/arm.c (arm_return_in_memory): Handle returning
739 vectors of suitable size in registers also for AAPCS case.
741 2009-01-13 Richard Earnshaw <rearnsha@arm.com>
743 * doc/tm.texi (TARGET_LIBCALL_VALUE): Add missing end statement.
745 2008-12-09 Richard Earnshaw <rearnsha@arm.com>
747 ARM Hard-VFP calling convention
748 * target-def.h (TARGET_LIBCALL_VALUE): New hook.
749 * target.h (gcc_target): Add libcall_value to table of call hooks.
750 * targhooks.h (default_libcall_value): Default implementation.
751 * targhooks.c (default_libcall_value): Likewise.
752 * doc/tm.texi (TARGET_LIBCALL_VALUE): Document it.
753 * optabs.c (expand_unop): Use it.
754 * expr.h (hard_libcall_value): Pass the function RTX through.
755 * calls.c (emit_library_call_value_1): Update call to
757 * explow.c (hard_libcall_value): Use new target hook.
758 * testsuite/lib/target-supports.exp
759 (check_effective_target_arm_hard_vfp_ok): New hook.
760 (check_effective_target_arm_neon_ok): Improve test for neon
762 * testsuite/gcc.target/arm/eabi1.c: Only run test in base variant.
763 * config/arm/arm.c: Include cgraph.h
764 (TARGET_FUNCTION_VALUE): Override default hook.
765 (arm_pcs_default): New variable.
766 (arm_override_options): Don't fault hard calling convention with VFP.
767 Add support for AAPCS variants.
768 (arm_function_value): Make static. Handle AAPCS variants.
769 (arm_libcall_value): New function.
770 (arm_apply_result_size): Handle VFP registers in results.
771 (arm_return_in_memory): Rework all AAPCS variants; handle hard-vfp
773 (pcs_attribute_args): New variable.
774 (arm_pcs_from_attribute): New function.
775 (arm_get_pcs_model): New function.
776 (aapcs_vfp_cum_init): New function.
777 (aapcs_vfp_sub_candidate): New function.
778 (aapcs_vfp_is_return_candidate): New function.
779 (aapcs_vfp_is_call_candidate): New function.
780 (aapcs_vfp_allocate): New function.
781 (aapcs_vfp_allocate_return_reg): New function.
782 (aapcs_vfp_advance): New function.
783 (aapcs_cp_arg_layout): New variable.
784 (aapcs_select_call_coproc): New function.
785 (aapcs_select_return_coproc): New function.
786 (aapcs_allocate_return_reg): New function.
787 (aapcs_libcall_value): New function.
788 (aapcs_layout_arg): New function.
789 (arm_init_cumulative_args): Initialize AAPCS args data.
790 (arm_function_arg): Handle AAPCS variants using new interface.
791 (arm_arg_parital_bytes): Likewise.
792 (arm_function_arg_advance): New function.
793 (arm_function_ok_for_sibcall): Ensure that sibling calls agree on
795 (arm_setup_incoming_varargs): Handle new AAPCS args data.
796 * arm.h (NUM_VFP_ARG_REGS): Define.
797 (LIBCALL_VALUE): Update.
798 (FUNCTION_VALUE): Delete.
799 (FUNCTION_VALUE_REGNO_P): Add VFP regs.
801 (CUMULATIVE_ARGS): New data to support AAPCS argument marshalling.
802 (FUNCTION_ARG_ADVANCE): Call arm_function_arg_advance.
803 (FUNCTION_ARG_REGNO_P): Add VFP regs.
804 * arm-protos.h (arm_function_arg_advance): Add.
805 (aapcs_libcall_value): Add.
806 (arm_function_value): Delete.
808 2009-08-06 Uros Bizjak <ubizjak@gmail.com>
809 H.J. Lu <hongjiu.lu@intel.com>
812 * config/i386/i386.c (standard_sse_mode_p): Remove.
813 (standard_sse_constant_p): Return 2 for integer mode
814 vector_all_ones_operand when SSE2 is enabled.
815 (standard_sse_constant_opcode)<case 2>: Always return [v]pcmpeqd.
816 (ix86_expand_vector_move): Do not check for negative values from
817 standard_sse_constant_p.
819 2009-08-06 Richard Guenther <rguenther@suse.de>
821 * tree-ssa.c (useless_type_conversion_p_1): Make function and
822 array type comparisons frontend independent.
823 * Makefile.in (tree-ssa.o): Add $(TARGET_H) dependency.
824 * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Always fill
825 out array reference lower bound and element size operands.
826 (ao_ref_init_from_vn_reference): Properly compute the offset
828 (vn_reference_fold_indirect): Fill out array reference lower
829 bound and element size operands.
830 * tree-ssa-pre.c (phi_translate_1): Fail if we have to translate
831 a non gimple valued reference operand which can happen for
832 array reference lower bound or element size.
833 (create_component_ref_by_pieces_1): Properly generate the
834 element size operand for array references.
836 2009-08-06 Richard Guenther <rguenther@suse.de>
838 PR tree-optimization/40964
839 * tree.c (iterative_hash_host_wide_int): Export.
840 * tree.h (iterative_hash_host_wide_int): Declare.
841 * tree-ssa-structalias.c (heapvar_map): New struct.
842 (heapvar_map_eq): New function.
843 (heapvar_map_hash): Likewise.
844 (heapvar_lookup): Adjust.
845 (heapvar_insert): Likewise.
846 (make_constraint_from_heapvar): Allow multiple heap variables
847 per decl at different offsets.
848 (init_alias_heapvars): Adjust.
850 2009-08-04 David Daney <ddaney@caviumnetworks.com>
852 * config/mips/mips.h (TARGET_SYNC_AFTER_SC): New macro.
853 * mips_output_sync_loop (mips_output_sync_loop): Only emit
854 trailing sync if TARGET_SYNC_AFTER_SC.
856 2009-08-05 David Daney <ddaney@caviumnetworks.com>
858 * gcc/config/mips/sync.md (sync_compare_and_swap<mode>,
859 compare_and_swap_12, sync_add<mode>, sync_<optab>_12,
860 sync_old_<optab>_12, sync_new_<optab>_12, sync_nand_12,
861 sync_old_nand_12, sync_new_nand_12, sync_sub<mode>,
862 sync_old_add<mode>, sync_old_sub<mode>, sync_new_add<mode>,
863 sync_new_sub<mode>, sync_<optab><mode>, sync_old_<optab><mode>,
864 sync_new_<optab><mode>, sync_nand<mode>, sync_old_nand<mode>,
865 sync_new_nand<mode>, sync_lock_test_and_set<mode>,
866 test_and_set_12): Rewrite calls to mips_output_sync_loop.
867 * gcc/config/mips/mips-protos.h (mips_output_sync_loop): Make
868 the prototype declaration match the definition.
869 * gcc/config/mips/mips.c (mips_output_sync_loop): Emit sync
870 instructions explicitly. Add barrier_before and operands
872 * gcc/config/mips/mips.h (MIPS_COMPARE_AND_SWAP,
873 MIPS_COMPARE_AND_SWAP_12, MIPS_SYNC_OP, MIPS_SYNC_OP_12,
874 MIPS_SYNC_OLD_OP_12, MIPS_SYNC_NEW_OP_12, MIPS_SYNC_OLD_OP,
875 MIPS_SYNC_NEW_OP, MIPS_SYNC_NAND, MIPS_SYNC_OLD_NAND,
876 MIPS_SYNC_NEW_NAND, MIPS_SYNC_EXCHANGE,
877 MIPS_SYNC_EXCHANGE_12): Remove sync instructions.
879 2009-08-05 Andrew Pinski <pinskia@gmail.com>
881 * tree-ssa-alias.c: Fix intervals to use [) syntax.
883 2009-08-05 Uros Bizjak <ubizjak@gmail.com>
884 Mikulas Patocka <mikulas@artax.karlin.mff.cuni.cz>
887 * config/i386/i386.c (ix86_split_long_move): Fix push of multi-part
890 2009-08-05 Jakub Jelinek <jakub@redhat.com>
892 PR rtl-optimization/40924
893 * dse.c (canon_address): Before calling cselib_expand_value_rtx
894 make sure canon_rtx (mem_address) isn't simpler than
895 canon_rtx (expanded_mem_address).
897 2009-08-05 Li Feng <nemokingdom@gmail.com>
899 * graphite-sese-to-poly.c (build_pbb_drs): Remove build alias set
901 (build_scop_drs): Build alias set for each SCoP.
903 2009-08-04 Sandra Loosemore <sandra@codesourcery.com>
905 * doc/invoke.texi (MIPS Options): Document new 1004K -march options.
906 * config/mips/mips.c (mips_cpu_info_table): Add 1004K cores.
907 * config/mips/mips.h (MIPS_ISA_LEVEL_SPEC): Add pattern for 1004K.
908 (MIPS_ARCH_FLOAT_SPEC): Likewise.
909 (BASE_DRIVER_SELF_SPECS): Likewise.
911 2009-08-04 Andrew Pinski <pinskia@gmail.com>
913 * tree-ssa-alias.c: Fix some comment typos.
915 2009-08-04 Kaz Kojima <kkojima@gcc.gnu.org>
917 * config/sh/linux-atomic.asm (ATOMIC_BOOL_COMPARE_AND_SWAP,
918 ATOMIC_OP_AND_FETCH, ATOMIC_COMBOP_AND_FETCH): Define.
920 2009-08-03 Janis Johnson <janis187@us.ibm.com>
923 * simplify-rtx.c (simplify_binary_operation_1): Disable
924 simplifications for decimal float operations.
926 2009-08-03 Jakub Jelinek <jakub@redhat.com>
929 * tree-ssa.c (warn_uninitialized_var): Even on LHS warn for
930 operand of INDIRECT_REF.
932 2009-08-03 Uros Bizjak <ubizjak@gmail.com>
934 * config/alpha/alpha.c (alpha_legitimate_constant_p): Reject CONST
935 constants referencing TLS symbols.
937 2009-08-03 SUGIOKA Toshinobu <sugioka@itonet.co.jp>
939 * config/sh/linux-atomic.asm (ATOMIC_COMPARE_AND_SWAP): Rename
940 __sync_compare_and_swap_* to __sync_val_compare_and_swap_*.
942 2009-08-03 Richard Guenther <rguenther@suse.de>
944 * tree.c (make_vector_type): Build a main variant first,
945 get the canonical one and then build the variant.
946 * tree-ssa.c (useless_type_conversion_p_1): Handle
948 (useless_type_conversion_p): Conversions to pointers to
949 incomplete record types are useless.
951 2009-08-03 Richard Guenther <rguenther@suse.de>
953 * tree-cfg.c (pass_warn_unused_result): Mark name that no dump
954 file will be created.
955 * omp-low.c (pass_diagnose_omp_blocks): Likewise.
956 * toplev.c (compile_file): Adjust comment.
958 2009-08-03 Kaz Kojima <kkojima@gcc.gnu.org>
960 * config/sh/sh-protos.h (sh_promote_function_mode): Remove.
961 * config/sh/sh.c (sh_promote_function_mode): Wrap long lines.
962 (TARGET_PROMOTE_FUNCTION_MODE): Define.
963 (TARGET_PROMOTE_FUNCTION_ARGS): Remove.
964 (sh_promote_function_mode): Fix typo.
966 2009-08-03 Andreas Krebbel <krebbel1@de.ibm.com>
968 * explow.c (promote_mode): Mark TYPE and PUNSIGNEDP as possibly unused.
970 2009-08-02 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
972 * pa.c (pa_promote_function_mode): Remove ATTRIBUTE_UNUSED from
973 declaration arguments.
975 2009-08-02 Uros Bizjak <ubizjak@gmail.com>
977 * config/i386/i386.c (ix86_expand_fp_compare): Use const0_rtx instead
978 of GEN_INT (0x00) and const1_rtx instead of GEN_INT (0x01).
979 (ix86_split_ashl): Ditto.
980 (ix86_expand_vector_init_one_nonzero): Ditto.
981 (ix86_expand_vector_set): Ditto.
982 (ix86_expand_reduc_v4sf): Ditto.
984 2009-08-02 Paolo Bonzini <bonzini@gnu.org>
986 * explow.c (promote_function_mode): Remove assert.
987 * config/sh/sh.c (sh_promote_function_mode): Declare.
989 2009-08-01 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
991 * config/pa/pa.c (pa_promote_function_mode): Declare.
992 Change to static. Fix promote_mode call.
994 * gthr-dce.h (CONST_CAST2): Define if not defined.
995 (__gthread_setspecific): Use CONST_CAST2 to fix warning.
997 * config.gcc (hppa[12]*-*-hpux10*): Add stdint support.
999 2009-08-01 Paolo Bonzini <bonzini@gnu.org>
1001 * expr.c (store_constructor): Use promote_decl_mode. Remove
1002 now write-only variable unsignedp.
1003 (expand_expr_real_1): Use promote_decl_mode.
1004 * expr.h (promote_function_mode, promote_decl_mode): New.
1005 (promote_mode): Remove last argument.
1006 * function.c (assign_temp): Drop last argument of promote_mode.
1007 (assign_parm_find_data_types): Use promote_function_mode.
1008 (assign_parm_setup_reg): Likewise.
1009 (expand_function_end): Use promote_function_mode.
1010 * calls.c (initialize_argument_information): Use promote_function_mode.
1011 (precompute_arguments): Use promote_mode instead of checking if
1012 only PROMOTE_FUNCTION_MODE is defined.
1013 (expand_call): When making sibcall decisions, use promote_function_mode.
1014 Below, remove an if for targetm.calls.promote_function_return and
1015 and use promote_function_mode.
1016 (emit_library_call_value_1): Use promote_function_mode, fix bug
1017 where promote_mode was passed FOR_CALL == 0 for a return value in an
1019 * cfgexpand.c (expand_one_register_var): Use promote_decl_mode.
1020 * explow.c (promote_function_mode, promote_decl_mode): New.
1021 (promote_mode): Keep only the FOR_CALL == 0 case.
1022 * combine.c (setup_incoming_promotion): Remove test of
1023 promote_function_args. Use promote_function_mode.
1024 * stmt.c (expand_value_return): Use promote_decl_mode.
1025 (expand_decl): Use promote_decl_mode.
1027 * expr.c (store_constructor): Use promote_decl_mode. Remove
1028 now write-only variable unsignedp.
1029 (expand_expr_real_1): Use promote_decl_mode.
1030 * expr.h (promote_function_mode, promote_decl_mode): New.
1031 (promote_mode): Remove last argument.
1032 * function.c (assign_temp): Drop last argument of promote_mode.
1033 (assign_parm_find_data_types): Use promote_function_mode.
1034 (assign_parm_setup_reg): Likewise.
1035 (expand_function_end): Use promote_function_mode.
1036 * calls.c (initialize_argument_information): Use promote_function_mode.
1037 (precompute_arguments): Use promote_mode instead of checking if
1038 only PROMOTE_FUNCTION_MODE is defined.
1039 (expand_call): When making sibcall decisions, use promote_function_mode.
1040 Below, remove an if for targetm.calls.promote_function_return and
1041 and use promote_function_mode.
1042 (emit_library_call_value_1): Use promote_function_mode, fix bug
1043 where promote_mode was passed FOR_CALL == 0 for a return value in an
1045 * cfgexpand.c (expand_one_register_var): Use promote_decl_mode.
1046 * explow.c (promote_function_mode, promote_decl_mode): New.
1047 (promote_mode): Keep only the FOR_CALL == 0 case.
1048 * combine.c (setup_incoming_promotion): Remove test of
1049 promote_function_args. Use promote_function_mode.
1050 * stmt.c (expand_value_return): Use promote_decl_mode.
1051 (expand_decl): Use promote_decl_mode.
1053 * explow.c (promote_function_mode): Just call the target hook.
1054 * targhooks.c (default_promote_function_mode,
1055 default_promote_function_mode_always_promote): New.
1056 * targhooks.h (default_promote_function_mode,
1057 default_promote_function_mode_always_promote): Declare.
1058 * target.h (promote_function_args, promote_function_return): Remove.
1059 (promote_function_mode): New.
1060 * target-def.h (TARGET_PROMOTE_FUNCTION_ARGS,
1061 TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1062 (TARGET_PROMOTE_FUNCTION_MODE): New.
1063 (TARGET_CALLS): Adjust.
1064 * system.h (TARGET_PROMOTE_FUNCTION_ARGS,
1065 TARGET_PROMOTE_FUNCTION_RETURN, PROMOTE_FUNCTION_MODE): Poison.
1067 * config/s390/s390.h (PROMOTE_FUNCTION_MODE): Move...
1068 * config/s390/s390.c (s390_promote_function_mode): ... here,
1069 with pointer handling.
1070 (TARGET_PROMOTE_FUNCTION_MODE): Define.
1071 (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1073 * config/sparc/sparc.h (PROMOTE_FUNCTION_MODE): Move...
1074 * config/sparc/sparc.c (sparc_promote_function_mode): ... here,
1075 with pointer handling.
1076 (TARGET_PROMOTE_FUNCTION_MODE): Define.
1077 (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1079 * config/sh/sh-protos.h (sh_promote_function_mode): New.
1080 * config/sh/sh.c (sh_promote_function_mode): New.
1081 (TARGET_PROMOTE_FUNCTION_MODE): Define.
1082 (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1084 * config/cris/cris.h (PROMOTE_FUNCTION_MODE): Move...
1085 * config/cris/cris.c (cris_promote_function_mode): ... here.
1086 (TARGET_PROMOTE_FUNCTION_MODE): Define.
1087 (TARGET_PROMOTE_FUNCTION_ARGS): Remove.
1089 * config/mmix/mmix.h (PROMOTE_FUNCTION_MODE): Move...
1090 * config/mmix/mmix.c (mmix_promote_function_mode): ... here.
1091 (TARGET_PROMOTE_FUNCTION_MODE): Define.
1092 (TARGET_PROMOTE_FUNCTION_ARGS): Remove.
1094 * config/arm/arm.h (PROMOTE_FUNCTION_MODE): Move...
1095 * config/arm/arm.c (arm_promote_function_mode): ... here, without
1096 complex type handling.
1097 (TARGET_PROMOTE_FUNCTION_MODE): Define.
1098 (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1100 * config/pa/pa.c (pa_promote_function_mode): New.
1101 (TARGET_PROMOTE_FUNCTION_MODE): Define.
1102 (TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1104 * config/alpha/alpha.c (TARGET_PROMOTE_FUNCTION_ARGS,
1105 TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1106 (TARGET_PROMOTE_FUNCTION_MODE): Define equivalently.
1107 * config/xtensa/xtensa.c: Likewise.
1108 * config/stormy16/stormy16.c: Likewise.
1109 * config/iq2000/iq2000.c: Likewise.
1110 * config/rs6000/rs6000.c: Likewise.
1111 * config/picochip/picochip.c: Likewise.
1112 * config/arc/arc.c: Likewise.
1113 * config/mcore/mcore.c: Likewise.
1114 * config/score/score.c: Likewise.
1115 * config/mips/mips.c: Likewise.
1116 * config/bfin/bfin.c: Likewise.
1117 * config/ia64/ia64.c: Likewise (disabled though).
1119 * config/frv/frv.h: Remove pointless remark.
1121 * doc/tm.texi (PROMOTE_FUNCTION_MODE,
1122 TARGET_PROMOTE_FUNCTION_ARGS,
1123 TARGET_PROMOTE_FUNCTION_RETURN): Consolidate into...
1124 (TARGET_PROMOTE_FUNCTION_MODE): ... this.
1126 2009-08-01 Sebastian Pop <sebastian.pop@amd.com>
1128 * doc/invoke.texi (-fgraphite-force-parallel): Renamed
1129 -floop-parallelize-all.
1130 * toplev.c (process_options): Rename flag_graphite_force_parallel to
1131 flag_loop_parallelize_all.
1132 * tree-ssa-loop.c (gate_graphite_transforms): Same.
1133 * graphite.c (graphite_transform_loops): Same.
1135 * graphite-poly.c (apply_poly_transforms): Same.
1137 2009-07-31 Richard Earnshaw <rearnsha@arm.com>
1139 PR tree-optimization/40914
1140 * ipa-prop.c (ipa_get_ptr_load_param): New argument use_delta,
1141 if set, then check the delta field of the PMF record.
1142 (ipa_get_stmt_member_ptr_load_param): Propagate new param use_delta.
1143 (ipa_analyze_call_uses): Handle machines where the vbit for a PMF
1144 call is stored in the delta.
1146 2009-07-31 Adam Nemet <anemet@caviumnetworks.com>
1148 * config/mips/mips.md (*clear_upper32_dext): New pattern.
1150 2009-07-31 Uros Bizjak <ubizjak@gmail.com>
1152 * config/i386/bsd.h (ASM_BYTE): New define.
1153 * config/i386/darwin.h (ASM_BYTE): Rename from ASM_BYTE_OP.
1154 * config/i386/att.h (ASM_BYTE): New define. Use ASM_BYTE instead of
1155 .byte. Use fputs or putc instead of fprintf where appropriate.
1156 * config/i386/i386-interix.h: Use ASM_BYTE instead of .byte. Use
1157 fputs or putc instead of fprintf where appropriate.
1158 * config/i386/i386elf.h: Ditto.
1159 * config/i386/sysv4.h: Ditto.
1161 * config/i386/i386.c (TARGET_ASM_BYTE_OP): New define.
1162 * config/i386/i386.md (x86_sahf_1): Use ASM_BYTE instead of .byte.
1163 (*tls_global_dynamic_64): Ditto.
1165 2009-07-31 Christian Bruel <christian.bruel@st.com>
1167 * gcc/config.gcc (sh*-*-elf): test with_libgloss.
1169 2009-07-31 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
1171 * config/arm/arm.c (arm_arm_address_cost): Fix typo.
1172 Remove dead code for MINUS.
1174 2009-07-31 Anthony Green <green@moxielogic.com>
1176 * config/moxie/moxie.c (moxie_expand_prologue): Use $r5 instead of
1178 (moxie_expand_epilogue): Ditto for epilogue.
1179 (moxie_setup_incoming_varargs): ABI change. Use 5 registers for
1181 (moxie_function_arg): Ditto.
1182 (moxie_pass_by_reference): Ditto.
1183 (moxie_arg_partial_bytes): Ditto.
1184 * config/moxie/moxie.h (CALL_USED_REGISTERS): Ditto.
1185 (FUNCTION_ARG_ADVANCE) Ditto.
1186 (REG_PARM_STACK_SPACE) Ditto.
1187 (FUNCTION_ARG_REGNO_P) Dito.
1189 * config.gcc: Add moxie linux config support.
1190 * gcc/config/moxie/uclinux.h: New file.
1192 2009-07-31 DJ Delorie <dj@redhat.com>
1194 * config/sh/sh.md (UNSPECV_SP_SWITCH_B): New.
1195 (UNSPECV_SP_SWITCH_E): New.
1196 (sp_switch_1): Change to an unspec.
1197 (sp_switch_2): Change to an unspec. Don't use post-inc when we
1199 * config/sh/sh.c (sh_expand_prologue): Use the constant pool to
1200 reference the new stack's address
1202 2009-07-30 Sebastian Pop <sebastian.pop@amd.com>
1204 * Makefile.in (OBJS-common): Added dependence on graphite-blocking.o,
1205 graphite-clast-to-gimple.o, graphite-dependences.o,
1206 graphite-interchange.o, graphite-poly.o, graphite-ppl.o,
1207 graphite-scop-detection.o, graphite-sese-to-poly.o, and sese.o.
1208 (graphite-blocking.o,
1209 graphite-clast-to-gimple.o, graphite-dependences.o,
1210 graphite-interchange.o, graphite-poly.o, graphite-ppl.o,
1211 graphite-scop-detection.o, graphite-sese-to-poly.o, and sese.o): New.
1212 * cfgloop.c (alloc_loop): Set loop->can_be_parallel to false.
1213 * cfgloop.h (struct loop): Add can_be_parallel field.
1214 * common.opt (fgraphite-identity): Moved up.
1215 (fgraphite-force-parallel): New flag.
1216 * graphite.c: Rewrite.
1217 * graphite.h: Rewrite.
1218 * passes.c (init_optimization_passes): Schedule a pass of DCE and LIM
1220 * toplev.c (graphite_out_file): New file descriptor.
1221 (graphite_in_file): New.
1222 (process_options): flag_graphite_force_parallel cannot be used without
1224 * tree-ssa-loop.c: Include toplev.h.
1225 (gate_graphite_transforms): Enable flag_graphite for
1226 flag_graphite_force_parallel.
1228 2009-07-30 Sebastian Pop <sebastian.pop@amd.com>
1230 * ChangeLog.graphite: New.
1231 * graphite-blocking.c: New.
1232 * graphite-clast-to-gimple.c: New.
1233 * graphite-clast-to-gimple.h: New.
1234 * graphite-dependences.c: New.
1235 * graphite-dependences.h: New.
1236 * graphite-interchange.c: New.
1237 * graphite-poly.c: New.
1238 * graphite-poly.h: New.
1239 * graphite-ppl.c: New.
1240 * graphite-ppl.h: New.
1241 * graphite-scop-detection.c: New.
1242 * graphite-scop-detection.h: New.
1243 * graphite-sese-to-poly.c: New.
1244 * graphite-sese-to-poly.h: New.
1248 2009-07-30 Sebastian Pop <sebastian.pop@amd.com>
1250 * tree-chrec.c (evolution_function_right_is_integer_cst): New.
1251 * tree-chrec.h (evolution_function_right_is_integer_cst): Declared.
1253 2009-07-30 Sebastian Pop <sebastian.pop@amd.com>
1255 * tree-chrec.c (operator_is_linear): Handle BIT_NOT_EXPR.
1256 (scev_is_linear_expression): Return false if the evolution is not
1257 affine multivariate.
1259 2009-07-30 Sebastian Pop <sebastian.pop@amd.com>
1261 * tree-data-ref.c (graphite_find_data_references_in_stmt): New.
1262 * tree-data-ref.h (graphite_find_data_references_in_stmt): Declared.
1264 2009-07-30 Sebastian Pop <sebastian.pop@amd.com>
1266 * tree-data-ref.c (debug_data_references): New.
1267 (debug_data_reference): New.
1268 * tree-data-ref.h (debug_data_references): Declared.
1269 (debug_data_reference): Declared.
1271 2009-07-30 Sebastian Pop <sebastian.pop@amd.com>
1273 * tree-data-ref.c (stmt_simple_memref_p: Removed.
1274 * tree-data-ref.h (scop_p): Removed.
1275 (struct data_reference): Remove field scop.
1277 (stmt_simple_memref_p): Removed.
1279 2009-07-30 Sebastian Pop <sebastian.pop@amd.com>
1281 * cfgloop.h (create_empty_loop_on_edge): Pass an extra argument.
1282 * cfgloopmanip.c (create_empty_loop_on_edge): Leave the loop_latch
1285 2009-07-30 Sebastian Pop <sebastian.pop@amd.com>
1287 * doc/invoke.texi (-fgraphite-force-parallel): Documented.
1289 2009-07-30 Sebastian Pop <sebastian.pop@amd.com>
1291 * doc/invoke.texi (-fgraphite-identity): Documented.
1293 2009-07-30 Sebastian Pop <sebastian.pop@amd.com>
1295 * tree-scalar-evolution.c: Fix comment.
1296 (instantiate_scev_1): Return unknow from scev instantiation if the
1297 result is not above instantiate_below.
1299 2009-07-30 Sebastian Pop <sebastian.pop@amd.com>
1301 * tree-scalar-evolution.c (compute_overall_effect_of_inner_loop): Not
1302 static anymore. Instantiate the symbols that may have been introduced
1304 * tree-scalar-evolution.h (compute_overall_effect_of_inner_loop):
1307 2009-07-30 DJ Delorie <dj@redhat.com>
1309 * config/mep/mep.c (mep_asm_init_sections): Add section flags and
1310 .vliw directive to VLIW sections.
1312 2009-07-30 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
1314 * Makefile.in (AUTOCONF, ACLOCAL, ACLOCAL_AMFLAGS, aclocal_deps):
1316 ($(srcdir)/configure, $(srcdir)/aclocal.m4): New rules.
1317 (AUTOHEADER): New variable.
1318 ($(srcdir)/cstamp-h.in): Use it.
1320 2009-07-30 Michael Meissner <meissner@linux.vnet.ibm.com>
1321 Pat Haugen <pthaugen@us.ibm.com>
1322 Revital Eres <ERES@il.ibm.com>
1324 * config/rs6000/vector.md (VEC_F): Add VSX support.
1328 (vector_load_<mode>): Ditto.
1329 (vector_store_<mode>): Ditto.
1330 (vector GPR move split): Ditto.
1331 (vec_reload_and_plus_<mptrsize>): Ditto.
1332 (vec_reload_and_reg_<mptrsize>): Ditto.
1333 (add<mode>3): Ditto.
1334 (sub<mode>3): Ditto.
1335 (mul<mode>3): Ditto.
1336 (neg<mode>2): Ditto.
1337 (abs<mode>2): Ditto.
1338 (smin<mode>3): Ditto.
1339 (smax<mode>3): Ditto.
1340 (vector_eq<mode>): Ditto.
1341 (vector_gt<mode>): Ditto.
1342 (vector_ge<mode>): Ditto.
1343 (vector_gtu<mode>): Ditto.
1344 (vector_select_<mode>_uns): Ditto.
1345 (vector_eq_<mode>_p): Ditto.
1346 (vector_gt_<mode>_p): Ditto.
1347 (vector_ge_<mode>_p): Ditto.
1348 (vector_gtu_<mode>_p): Ditto.
1349 (cr6_test_for_zero): Ditto.
1350 (cr6_test_for_zero_reverse): Ditto.
1351 (cr6_test_for_lt): Ditto.
1352 (cr6_test_for_lt_reverse): Ditto.
1353 (xor<mode>3): Ditto.
1354 (ior<mode>3): Ditto.
1355 (and<mode>3): Ditto.
1356 (one_cmpl<mode>2): Ditto.
1357 (nor<mode>2): Ditto.
1358 (andc<mode>2): Ditto.
1359 (float<VEC_int<mode>2): Ditto.
1360 (unsigned_float<VEC_int><mode>2): Ditto.
1361 (fix_trunc<mode><VEC_int>2): Ditto.
1362 (fixuns_trunc<mode><VEC_int>2): Ditto.
1364 (vec_set<mode>): Ditto.
1365 (vec_extract<mode>): Ditto.
1366 (vec_interleave_highv4sf): Ditto.
1367 (vec_interleave_lowv4sf): Ditto.
1368 (vec_realign_load_<mode>): Ditto.
1369 (vec_shl_<mode>): Ditto.
1370 (vec_shr_<mode>): Ditto.
1371 (div<mode>3): New patterns for VSX.
1372 (vec_interleave_highv2df): Ditto.
1373 (vec_interleave_lowv2df): Ditto.
1374 (vec_pack_trunc_v2df): Ditto.
1375 (vec_pack_sfix_trunc_v2df): Ditto.
1376 (vec_pack_ufix_trunc_v2df): Ditto.
1377 (vec_unpacks_hi_v4sf): Ditto.
1378 (vec_unpacks_lo_v4sf): Ditto.
1379 (vec_unpacks_float_hi_v4si): Ditto.
1380 (vec_unpacku_float_lo_v4si): Ditto.
1381 (vec_unpacku_float_hi_v4si): Ditto.
1382 (vec_unpacks_float_lo_v4si): Ditto.
1383 (movmisalign<mode>): Ditto.
1384 (vector_ceil<mode>2): New patterns for vectorizing math library.
1385 (vector_floor<mode>2): Ditto.
1386 (vector_btrunc<mode>2): Ditto.
1387 (vector_copysign<mode>3): Ditto.
1389 * config/rs6000/predicates.md (easy_vector_constant_msb): New
1390 predicate for setting the high bit in each word, used for copysign.
1392 * config/rs6000/ppc-asm.h (f19): Whitespace.
1393 (f32-f63): Define if VSX.
1394 (v0-v31): Define if Altivec.
1395 (vs0-vs63): Define if VSX.
1397 * config/rs6000/t-rs6000 (MD_INCLUDES): Add power7.md and vsx.md.
1399 * config/rs6000/power7.md: New file, provide tuning parameters for
1402 * config/rs6000/rs6000-c.c (rs6000_macro_to_expand): Add VSX support.
1403 (rs6000_cpu_cpp_builtins): Ditto.
1404 (altivec_overloaded_builtins): Ditto.
1405 (altivec_resolve_overloaded_builtin): Ditto.
1407 * config/rs6000/rs6000.opt (-mno-vectorize-builtins): Add new
1408 debug switch to disable vectorizing simple math builtin
1411 * config/rs6000/rs6000.c (rs6000_builtin_vectorized_function):
1412 Vectorize simple math builtin functions.
1413 (TARGET_VECTORIZE_BUILTIN_VECTORIZED_FUNCTION): Define target
1414 hook to vectorize math builtins.
1415 (rs6000_override_options): Enable -mvsx on -mcpu=power7.
1416 (rs6000_builtin_conversion): Add VSX/power7 support.
1417 (rs6000_builtin_vec_perm): Ditto.
1418 (vsplits_constant): Add support for loading up a vector constant
1419 with just the high bit set in each part.
1420 (rs6000_expand_vector_init): Add VSX/power7 support.
1421 (rs6000_expand_vector_set): Ditto.
1422 (rs6000_expand_vector_extract): Ditto.
1423 (rs6000_emit_move): Ditto.
1424 (bdesc_3arg): Ditto.
1425 (bdesc_2arg): Ditto.
1426 (bdesc_1arg): Ditto.
1427 (rs6000_expand_ternop_builtin): Ditto.
1428 (altivec_expand_builtin): Ditto.
1429 (rs6000_expand_unop_builtin): Ditto.
1430 (rs6000_init_builtins): Ditto.
1431 (altivec_init_builtins): Ditto.
1432 (builtin_function_type): Ditto.
1433 (rs6000_common_init_builtins): Ditto.
1434 (rs6000_handle_altivec_attribute); Ditto.
1435 (rs6000_mangle_type): Ditto.
1436 (rs6000_vector_mode_supported_p): Ditto.
1437 (rs6000_mode_dependent_address): Altivec addresses with AND -16
1440 * config/rs6000/vsx.md: New file for VSX support.
1442 * config/rs6000/rs6000.h (EASY_VECTOR_MSB): New macro for
1443 identifing values with just the most significant bit set.
1444 (enum rs6000_builtins): Add builtins for VSX. Add simple math
1445 vectorized builtins.
1447 * config/rs6000/altivec.md (UNSPEC_VRFIP): Delete.
1448 (UNSPEC_VRFIM): Delete.
1449 (splitter for loading up vector with most significant bit): New
1450 splitter for vectorizing copysign.
1451 (altivec_vrfiz): Rename from altivec_fturncv4sf2. Add support for
1452 vectorizing simple math functions.
1453 (altivec_vrfip): Add support for vectorizing simple math functions.
1454 (altivec_vrfim): Ditto.
1455 (altivec_copysign_v4sf3): New insn for Altivec copysign support.
1457 * config/rs6000/rs6000.md (UNSPEC_BPERM): New constant.
1458 (power7.md, vsx.md): Include for power7 support.
1459 (copysigndf3): Use VSX instructions if -mvsx.
1460 (negdf2_fpr): Ditto.
1461 (absdf2_fpr): Ditto.
1462 (nabsdf2_fpr): Ditto.
1463 (adddf3_fpr): Ditto.
1464 (subdf3_fpr): Ditto.
1465 (muldf3_fpr): Ditto.
1466 (divdf3_fpr): Ditto.
1467 (fix_truncdfdi2_fpr): Ditto.
1468 (cmpdf_internal1): Ditto.
1469 (fred, fred_fpr): Convert into expander/insn to add VSX support.
1470 (btruncdf2, btruncdf2_fpr): Ditto.
1471 (ceildf2, ceildf2_fpr): Ditto.
1472 (floordf2, floordf2_fpr): Ditto.
1473 (floatdidf2, floatdidf2_fpr): Ditto.
1474 (fmadddf4_fpr): Name insn. Use VSX instructions if -mvsx.
1475 (fmsubdf4_fpr): Ditto.
1476 (fnmadddf4_fpr_1): Ditto.
1477 (fnmadddf4_fpr_2): Ditto.
1478 (fnmsubdf4_fpr_1): Ditto.
1479 (fnmsubdf4_fpr_2): Ditto.
1480 (fixuns_truncdfdi2): Add expander for VSX support.
1481 (fix_truncdfdi2): Ditto.
1482 (fix_truncdfsi2): Ditto.
1484 (btruncsf2): Whitespace.
1485 (movdf_hardfloat32): Add support for VSX registers.
1486 (movdf_softfloat32): Ditto.
1487 (movdf_hardfloat64): Ditto.
1488 (movdf_hardfloat64_mfpgpr): Ditto.
1489 (movdf_softfloat64): Ditto.
1490 (movti splitters): Add check for vector registers supporting
1491 TImode in the future.
1492 (bpermd): Add power7 bpermd instruction.
1494 * config/rs6000/altivec.h (vec_div): Define if VSX.
1498 (vec_nearbyint): Ditto.
1501 (all predicates): Use the generic builtin function, and not the V4SF
1502 specific function so that the predicates will work with VSX's V2DF.
1506 * doc/extend.texi (PowerPC Altivec/VSX Built-in Functions):
1507 Document new VSX functions and types.
1509 * doc/invoke.texi (PowerPc options): Document -mpopcntd, -mvsx
1512 * doc/md.texi (PowerPC constraints): Document "wd", "wf", "ws",
1513 "wa", and "j" constraints. Modify "v" to talk about Altivec
1514 instead of just vector.
1516 2009-07-30 Andrew MacLeod <amacleod@redhat.com>
1519 * tree-into-ssa.c (insert_phi_nodes_for, rewrite_add_phi_arguments): Set
1520 location for phi arguments.
1521 (rewrite_update_phi_arguments): Find locations for reaching defs.
1522 * tree-ssa-threadupdate.c (create_edge_and_update_destination_phis):
1523 Add location to add_phi_arg calls.
1524 * tree-loop-districbution.c (update_phis_for_loop_copy): Add locations.
1525 * tree-ssa-loop-manip.c (create_iv, add_exit_phis_edge,
1526 split_loop_exit_edge, tree_transform_and_unroll_loop): Add locations.
1527 * tree-tailcall.c (add_successor_phi_arg, eliminate_tail_call,
1528 create_tailcall_accumulator, tree_optimize_tail_calls_1): Add locations.
1529 * tree.h (struct phi_arg_d): Add location_t to PHI arguments.
1530 * tree-phinodes.c (make_phi_node): Initialize location.
1531 (resize_phi_node): Initialize location to UNKNOWN_LOCATION.
1532 (add_phi_arg): Add location parameter.
1533 (remove_phi_arg_num): Move location when moving phi argument.
1534 * omp-low.c (expand_parallel_call, expand_omp_for_static_chunk): Set
1536 * tree-vect-loop-manip.c (slpeel_update_phis_for_duplicate_loop,
1537 slpeel_update_phi_nodes_for_guard1,
1538 slpeel_update_phi_nodes_for_guard2,
1539 slpeel_tree_duplicate_loop_to_edge_cfg, set_prologue_iterations,
1540 vect_loop_versioning): Set locations.
1541 * tree-parloops.c (create_phi_for_local_result,
1542 transform_to_exit_first_loop, create_parallel_loop): Add locations.
1543 * gimple-pretty-print.c (dump_gimple_phi): Dump lineno's if present.
1544 * tree-vect-loop.c (get_initial_def_for_induction,
1545 vect_create_epilog_for_reduction, vect_finalize_reduction): Add
1547 * tree-flow-inline.h (gimple_phi_arg_location): New. Return locus.
1548 (gimple_phi_arg_location_from_edge): New. Return locus from an edge.
1549 (gimple_phi_arg_set_location): New. Set locus.
1550 (gimple_phi_arg_has_location): New. Check for locus.
1551 (redirect_edge_var_map_location): New. Return locus from var_map.
1552 * tree-vect-data-refs.c (vect_setup_realignment): Set location.
1553 * tree-ssa-phiopt.c (conditional_replacement): Set locus when
1554 combining PHI arguments.
1555 (cond_store_replacement): Set location.
1556 * cfgexpand.c (gimple_assign_rhs_to_tree): Transfer locus if possible.
1557 * grpahite.c (add_loop_exit_phis, add_guard_exit_phis,
1558 scop_add_exit_phis_edge): Add locations.
1559 * tree-cfgcleanup.c (remove_forwarder_block,
1560 remove_forwarder_block_with_phi): Add locations.
1561 * tree-ssa-pre.c (insert_into_preds_of_block): Add locations.
1562 * tree-predcom.c (initialize_root_vars, initialize_root_vars_lm): Add
1564 * tree-ssa-dce.c (forward_edge_to_pdom): Add locations.
1565 * tree-ssa.c (redirect_edge_var_map_add, ssa_redirect_edge,
1566 flush_pending_stmts): Add source location.
1567 * lambda-code.c (perfect_nestify): Maintain location stack with argument
1568 stack to preserve locations.
1569 * tree-vect-stmts.c (vectorizable_load): Add location.
1570 * tree-inline.c (copy_phis_for_bb): Copy locus.
1571 (setup_one_parameter): Add call locus to inlined parameter stmts.
1572 (initialize_inlined_parameters): Pass in call location as parameter
1574 (tree_function_versioning): Pass location to setup_one_parameter.
1575 * tree-ssa-phiprop.c (phiprop_insert_phi): Set locations.
1576 * tree-outof-ssa.c (struct _elim_graph): Add source_location vecs for
1577 copy and edge lists.
1578 (insert_partition_copy_on_edge, insert_value_copy_on_edge,
1579 insert_rtx_to_part_on_edge, insert_part_to_rtx_on_edge): Provide a
1580 locus parameter and override the stmt default if provided.
1581 (new_elim_graph, clear_elim_graph, delete_elim_graph,
1582 elim_graph_add_edge, elim_graph_remove_succ_edge,
1583 FOR_EACH_ELIM_GRAPH_SUCC, FOR_EACH_ELIM_GRAPH_PRED, eliminate_build,
1584 elim_forward, elim_unvisited_predecessor, elim_backward, elim_create,
1585 eliminate_phi): Add locus info in elimination graph for each edge and
1587 (insert_backedge_copies): Copy locus if present.
1588 * tree-flow.h (struct _edge_var_map): Add locus field.
1589 * tree-switch_conversions.c (fix_phi_nodes): Add locations.
1590 * tree-cfg.c (reinstall_phi_args, gimple_make_forwarder_block,
1591 add_phi_args_after_copy_edge, gimple_lv_adjust_loop_header_phi): Add
1593 * ipa-struct-reorg.c (make_edge_and_fix_phis_of_dest): Add locations.
1595 2009-07-30 Martin Jambor <mjambor@suse.cz>
1597 PR tree-optimization/40570
1598 * ipa-inline.c (cgraph_decide_inlining): Watch out for dead single
1601 2009-07-30 Razya Ladelsky <razya@il.ibm.com>
1603 * ssa-loop-manip.c: Include langhooks.h.
1604 (rewrite_phi_with_iv): New.
1605 (rewrite_all_phi_nodes_with_iv): New.
1606 (canonicalize_loop_ivs): Move here from tree-parloops.c.
1607 Remove reduction_list argument. Use rewrite_all_phi_nodes_with_iv.
1608 * tree-parloops.c (loop_parallel_p): Move out all conditions
1609 except dependency check.
1610 (canonicalize_loop_ivs): Move to tree-ssa-loop-manip.c.
1611 (gen_parallel_loop): Call canonicalize_loop_ivs without
1612 reduction_list argument.
1613 (build_new_reduction): New.
1614 (gather_scalar_reductions): New.
1615 (try_get_loop_niter): New.
1616 (try_create_reduction_list): New.
1617 (parallleize_loops): Change the parallel conditions check.
1618 * tree-flow.h (canonicalize_loop_ivs): Remove one argument.
1619 * Makefile.in (tree-ssa-loop-manip.o): Add langhooks.h dependency.
1621 2009-07-30 Dave Korn <dave.korn.cygwin@gmail.com>
1623 * opt-functions.awk (opt_args): Allow argument to be enclosed in
1625 * doc/options.texi (Option properties): Mention new quoting syntax.
1627 2009-07-29 Douglas B Rupp <rupp@gnat.com>
1629 * config/alpha/alpha.c (alpha_start_function):
1630 Handle VMS_DEBUG_MAIN_POINTER
1631 * config/alpha/vms.h (VMS_DEBUG_MAIN_POINTER): Define new macro.
1632 * doc/invoke.texi: Document -mdebug-main switch.
1634 2009-07-29 Richard Henderson <rth@redhat.com>
1636 * cgraph.c (cgraph_set_call_stmt_including_clones): Tidy.
1637 (cgraph_create_edge_including_clones): Likewise.
1638 * tree-inline.c (copy_bb): Operate on the correct edges
1639 when updating the callgraph.
1641 2009-07-29 Douglas B Rupp <rupp@gnat.com>
1643 * config/alpha/vms-cc.c: Deleted.
1644 * config/alpha/vms-ld.c: Deleted.
1645 * config/alpha/t-vms64: Moved to config/vms
1646 * config/alpha/vms-crt0-64.c: Moved to config/vms
1647 * config/alpha/vms-crt0.c: Moved to config/vms
1648 * config/alpha/vms-psxcrt0-64.c: Moved to config/vms
1649 * config/alpha/vms-psxcrt0.c: Moved to config/vms
1650 * config/alpha/xm-vms.h: Moved to config/vms
1651 * config/alpha/x-vms: Moved to config/vms
1652 * config/alpha/t-vms (vcrt0.o, pcrt0.o): Move rules to new file
1654 * config/vms/t-vms: Moved here from config/alpha. Alpha specific
1655 parts removed. (STMP_FIXPROTO, STMP_FIXINC, LIMITS_H_TEST): Set.
1657 * config/vms/t-vms64: Moved here from config/alpha
1658 * config/vms/vms-crt0-64.c: Moved here from config/alpha.
1659 (argc,argv,envp): Enforce 32bit malloc'ing.
1660 * config/vms/vms-psxcrt0-64.c: Likewise.
1661 * config/vms/vms-crt0.c: Moved here from config/alpha.
1662 * config/vms/vms-psxcrt0.c: Likewise.
1663 * config/vms/vms-crtl-64.h: New file.
1664 * config/vms/vms-crtl.h: New file.
1665 * config/vms/vms.opt: New file.
1666 * config/vms/xm-vms64.h: New file.
1667 * config/vms/xm-vms.h: Moved here from config/alpha.
1668 (STANARD_EXEC_PREFIX, STANDARD_STARTFILE_PREFIX, STANDARD_INCLUDE_DIR):
1670 * config/vms/x-vms: Moved here from config/alpha.
1671 (version, VMS_EXTRA_PARTS): Moved to t-vms.
1672 (vms-ld.o, vms-cc.o): Removed.
1673 (LN, LN_S, USE_COLLECT2, POD2MAN): Set.
1675 2009-07-29 Douglas B Rupp <rupp@gnat.com>
1677 * dwarf2out.c (add_name_and_src_coords_attributes): Push on the
1678 correct stack (obvious VMS fix).
1680 2009-07-29 Douglas B Rupp <rupp@gnat.com>
1682 * dwarf2out.c (output_file_names): Output VMS style file name, size,
1683 date, version info if VMS_DEBUGGING_INFO defined.
1684 * vmsdgbout.c (vms_file_stats_name): New functon. VMS style file name,
1685 size, date calculating code moved here.
1687 2009-07-29 Paul Brook <paul@codesourcery.com>
1689 * config/arm/lib1funcs.asm (clear_cache): Use ARM_FUNC_START and
1692 2009-07-29 Uros Bizjak <ubizjak@gmail.com>
1695 * config/alpha/alpha.c (alpha_expand_unaligned_store): Convert src
1696 to DImode when generating insq_le insn.
1698 2009-07-28 Douglas B Rupp <rupp@gnat.com>
1700 * dwarf2out.c (DWARF2_INDIRECT_STRING_SUPPORT_MISSING_ON_TARGET):
1701 New macro set for VMS_DEBUGGGING_INFO.
1702 (AT_string_form): Use it.
1704 2009-07-28 DJ Delorie <dj@redhat.com>
1706 * config/mep/mep.c (vtext_section): New.
1707 (vftext_section): New.
1708 (ftext_section): New.
1709 (mep_select_section): Add support for functions.
1710 (mep_unique_section): Likewise.
1711 (mep_asm_init_sections): Likewise.
1712 (mep_encode_section_info): Remove it from here.
1714 * config/mep/mep.h (USE_SELECT_SECTION_FOR_FUNCTIONS): Define.
1716 2009-07-28 Paolo Bonzini <bonzinI@gnu.org>
1718 * tree.h (TREE_DEPRECATED): Document it is used for types too.
1719 (TYPE_VECTOR_OPAQUE): Use default_def_flag
1721 2009-07-28 Douglas B Rupp <rupp@gnat.com>
1723 * dwarf2out.c (output_file_names): Test new macro
1724 DWARF2_DIR_SHOULD_END_WITH_SEPARATOR.
1725 (add_comp_dir_attribute): Likewise.
1727 2009-07-28 Kai Tietz <kai.tietz@onevision.com>
1729 * config/i386/mingw-w64.h (LINK_SPEC): Add
1730 separating space between commands.
1732 2009-07-28 Jan Hubicka <jh@suse.cz>
1734 PR tree-optimization/40759
1735 * tree-ssa-dce.c (mark_virtual_phi_result_for_renaming): Mark all uses
1738 2009-07-27 DJ Delorie <dj@redhat.com>
1740 * config/mep/mep.c (mep_expand_builtin_saveregs): Make sure 64-bit
1741 types are dword-aligned.
1742 (mep_expand_va_start): Likewise.
1744 2009-07-27 Olivier Hainque <hainque@adacore.com>
1745 Douglas B Rupp <rupp@gnat.com>
1747 * convert.c (convert_to_pointer): Don't assume the target
1748 pointer type is POINTER_SIZE long. Fetch its precision instead.
1750 2009-07-27 Douglas B Rupp <rupp@gnat.com>
1752 * system.h (fopen): Undefine if macro.
1754 2009-07-27 Jakub Jelinek <jakub@redhat.com>
1756 * dwarf2out.c (output_cfi_p): Removed.
1757 (output_cfis): New function.
1758 (output_fde): New function, split from output_call_frame_info.
1759 (output_call_frame_info): Use it.
1760 (dwarf2out_switch_text_section): Use output_cfis.
1762 2009-07-24 Kai Tietz <kai.tietz@onevision.com>
1764 * config/i386/cygming.h (DWARF2_UNWIND_INFO): Error build when
1765 TARGET_BI_ARCH is specified without enabling SJLJ.
1766 * config/i386/mingw32.h (MD_UNWIND_SUPPORT): Define MD_UNWIND_SUPPORT,
1767 if TARGET_64BIT and TARGET_BI_ARCH aren't defined.
1769 2009-07-26 Mikael Pettersson <mikpe@it.uu.se>
1771 * arm.md (negdi2): Use DImode if forcing a value into a register.
1773 2009-07-26 Ira Rosen <irar@il.ibm.com>
1775 PR tree-optimization/40801
1776 * tree-vect-stmts.c (vectorizable_call): Get previous copy
1777 of vector operand from the previous copy of vector statement.
1778 Pass the correct definition type value to
1779 vect_get_vec_def_for_stmt_copy().
1781 2009-07-25 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1783 * collect2.c (scan_libraries): Use CONST_CAST2 to perform char ** to
1784 const char ** conversion.
1786 2009-07-25 David Daney <ddaney@caviumnetworks.com>
1788 * system.h (gcc_assert): Invoke __builtin_unreachable() instead of
1789 fancy_abort() if !ENABLE_ASSERT_CHECKING.
1790 (gcc_unreachable): Invoke __builtin_unreachable() if
1791 !ENABLE_ASSERT_CHECKING.
1793 2009-07-25 David Daney <ddaney@caviumnetworks.com>
1795 PR rtl-optimization/40445
1796 * emit-rtl.c (next_nonnote_insn_bb): New function.
1797 * rtl.h (next_nonnote_insn_bb): Declare new function.
1798 * cfgcleanup.c (try_optimize_cfg): Don't remove an empty block
1799 with no successors that is the successor of the ENTRY_BLOCK.
1800 Continue from the top after removing an empty fallthrough block.
1801 * cfgrtl.c (get_last_bb_insn): Call next_nonnote_insn_bb instead
1802 of next_nonnote_insn.
1804 2009-07-25 David Daney <ddaney@caviumnetworks.com>
1806 * cfgcleanup.c (old_insns_match_p): Handle the case of empty blocks.
1808 2009-07-25 Martin Jambor <mjambor@suse.cz>
1810 * c-common.c (c_common_attribute_table): New element for noclone.
1811 (handle_noclone_attribute): New function. Forward-declare.
1812 * tree-inline.c (tree_versionable_function_p): Check for noclone
1814 * doc/extend.texi (Labels as Values): Document need for noclone.
1815 (Function Attributes): Document noclone attribute.
1817 2009-07-25 Jakub Jelinek <jakub@redhat.com>
1819 PR rtl-optimization/34999
1820 * dwarf2out.c (struct dw_fde_struct): Add dw_fde_switch_cfi
1821 and dw_fde_switched_cold_to_hot fields.
1822 (output_cfi_p): New function.
1823 (output_call_frame_info): If fde->dw_fde_switched_sections,
1824 output 2 FDEs instead of one with corrupted header.
1825 (dwarf2out_do_cfi_startproc): New function.
1826 (dwarf2out_begin_prologue): Use it. Initialize fde->dw_fde_switch_cfi
1827 and fde->dw_fde_switched_cold_to_hot.
1828 (dwarf2out_switch_text_section): Compute
1829 fde->dw_fde_switched_cold_to_hot. Switch to new text section here.
1830 If dwarf2out_do_cfi_asm, emit .cfi_endproc before it and call
1831 dwarf2out_do_cfi_startproc plus emit again currently active CFI insns.
1832 Otherwise, compute fde->dw_fde_switch_cfi.
1834 2009-07-24 Cary Coutant <ccoutant@google.com>
1836 * tree-cfg.c (assign_discriminator): Add explicit parentheses.
1838 2009-07-24 Cary Coutant <ccoutant@google.com>
1840 * cfghooks.c (split_block): Copy discriminator to new block.
1841 * tree-cfg.c (assign_discriminator): Check location of last
1842 instruction in block as well as first.
1844 2009-07-24 Uros Bizjak <ubizjak@gmail.com>
1846 * config/i386/linux.c: Use fputs or putc instead of fprintf
1848 * config/i386/gas.h: Ditto.
1849 * config/i386/x86-64.h: Ditto.
1850 * config/i386/att.h: Ditto.
1852 2009-07-24 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
1854 * expmed.c (emit_store_flag): Use a recursive call to optimize the
1857 2009-07-24 Martin Jambor <mjambor@suse.cz>
1859 * ipa-prop.h (struct ipa_node_params): New flag node_enqued.
1860 (ipa_push_func_to_list_1): Declare.
1861 (ipa_push_func_to_list): New function.
1863 * ipa-prop.c (ipa_push_func_to_list_1): New function.
1864 (ipa_init_func_list): Call ipa_push_func_to_list_1.
1865 (ipa_push_func_to_list): Removed.
1866 (ipa_pop_func_from_list): Clear node_enqueued flag.
1868 2009-07-24 Andreas Krebbel <krebbel1@de.ibm.com>
1870 * config/s390/s390.c (override_options): Default
1871 max-unrolled-insns to 100 for z10 tuning.
1873 2009-07-24 Tobias Grosser <grosser@fim.uni-passau.de>
1875 * Makefile.in (TREE_DATA_REF_H, tree-vrp.o, tree-cfg.o, tree-if-conv.o
1876 tree-ssa-loop.o, tree-ssa-loop-niter.o, tree-ssa-loop-ivcanon.o,
1877 tree-ssa-loop-prefetch.o, tree-predcom.o, tree-affine.o,
1878 tree-scalar-evolution.o, tree-data-ref.o, tree-vect-loop.o,
1879 tree-vect-data-refs.o, tree-loop-linear.o, tree-loop-distribution.o
1880 tree-parloops.o, tree-pretty-printer.o, fold-const.o, tree-ssa-dce.o,
1881 lambda-code.o, params.o): Cleanup use of SCEV_H and TREE_DATA_REF_H.
1883 2009-07-24 Kai Tietz <kai.tietz@onevision.com>
1885 * config/i386/mingw-w64.h (STANDARD_INCLUDE_DIR): Remove and
1886 use default set in mingw32.h header.
1887 * config/i386/mingw32.h (STANDARD_INCLUDE_DIR): Use for 32-bit and
1888 64-bit /mingw/include path.
1889 (STANDARD_STARTFILE_PREFIX_1): Use for 32-bit and 64-bit /mingw/lib
1892 2009-07-23 Neil Vachharajani <nvachhar@google.com>
1894 PR rtl-optimization/40209
1895 * loop-iv.c (iv_analysis_loop_init): Call df_note_add_problem.
1897 2009-07-23 Uros Bizjak <ubizjak@gmail.com>
1899 * config/i386/i386.c: Use ASM_LONG instead of .long. Concatenate
1900 ASM_LONG, LPREFIX, MCOUNT_NAME and PROFILE_COUNT_REGISTER strings
1901 with the rest of string where appropriate. Use fputs or putc
1902 instead of fprintf where appropriate.
1904 2009-07-22 Michael Meissner <meissner@linux.vnet.ibm.com>
1905 Pat Haugen <pthaugen@us.ibm.com>
1906 Revital Eres <ERES@il.ibm.com>
1908 * config/rs6000/vector.md: New file. Move most of the vector
1909 expander support here from altivec.md to allow for the VSX vector
1910 unit in the future. Add support for secondary_reload patterns.
1911 Rewrite the patterns for vector comparison, and vector comparison
1912 predicate instructions so that the RTL expresses the desired
1913 behavior, instead of using unspec.
1915 * config/rs6000/constraints.md ("f" constraint): Use
1916 rs6000_constraints to hold the precalculated register class.
1917 ("d" constraint): Ditto.
1918 ("wd" constraint): New constraint for VSX.
1919 ("wf" constraint): Ditto.
1920 ("ws" constraint): Ditto.
1921 ("wa" constraint): Ditto.
1922 ("wZ" constraint): Ditto.
1923 ("j" constraint): Ditto.
1925 * config/rs6000/predicates.md (vsx_register_operand): New
1927 (vfloat_operand): New predicate for vector.md.
1928 (vint_operand): Ditto.
1929 (vlogical_operand): Ditto.
1930 (easy_fp_constant): If VSX, 0.0 is an easy constant.
1931 (easy_vector_constant): Add VSX support.
1932 (altivec_indexed_or_indirect_operand): New predicate for
1933 recognizing Altivec style memory references with AND -16.
1935 * config/rs6000/rs6000.c (rs6000_vector_reload): New static global
1936 for vector secondary reload support.
1937 (rs6000_vector_reg_class): Delete, replacing it with
1939 (rs6000_vsx_reg_class): Ditto.
1940 (rs6000_constraints): New array to hold the register classes of
1941 each of the register constraints that can vary at runtime.
1942 (builtin_mode_to_type): New static array for builtin function type
1944 (builtin_hash_table): New static hash table for builtin function
1946 (TARGET_SECONDARY_RELOAD): Define target hook.
1947 (TARGET_IRA_COVER_CLASSES): Ditto.
1948 (rs6000_hard_regno_nregs_internal): If -mvsx, floating point
1949 registers are 128 bits if VSX memory reference instructions are used.
1950 (rs6000_hard_regno_mode_ok): For VSX, only check if the VSX memory
1952 (rs6000_debug_vector_unit): Move into rs6000_debug_reg_global.
1953 (rs6000_debug_reg_global): Move -mdebug=reg statements here.
1954 Print several of the scheduling related parameters.
1955 (rs6000_init_hard_regno_mode_ok): Switch to putting constraints in
1956 rs6000_constraints instead of rs6000_vector_reg_class. Move
1957 -mdebug=reg code to rs6000_debug_reg_global. Add support for
1958 -mvsx-align-128 debug switch. Drop testing float_p if VSX or
1959 Altivec. Add VSX support. Setup for secondary reload support on
1960 Altivec/VSX registers.
1961 (rs6000_override_options): Make power7 set the scheduling groups
1962 like the power5. Add support for new debug switches to override
1963 the scheduling defaults. Temporarily disable -mcpu=power7 from
1964 setting -mvsx. Add support for debug switches -malways-hint,
1965 -msched-groups, and -malign-branch-targets.
1966 (rs6000_buitlin_conversion): Add support for returning unsigned
1967 vector conversion functions to fix regressions due to stricter
1969 (rs6000_builtin_mul_widen_even): Ditto.
1970 (rs6000_builtin_mul_widen_odd): Ditto.
1971 (rs6000_builtin_vec_perm): Ditto.
1972 (rs6000_vec_const_move): On VSX, use xxlxor to clear register.
1973 (rs6000_expand_vector_init): Initial VSX support for using xxlxor
1975 (rs6000_emit_move): Fixup invalid const symbol_ref+reg that is
1977 (bdesc_3arg): Add builtins for unsigned types. Add builtins for
1978 VSX types for bit operations. Changes to accomidate vector.md.
1979 (bdesc_2arg): Ditto.
1980 (bdesc_1arg): Ditto.
1981 (struct builtin_description_predicates): Rewrite predicate
1982 handling so that RTL describes the operation, instead of passing
1983 the instruction to be used as a string argument.
1984 (bdesc_altivec_preds): Ditto.
1985 (altivec_expand_predicate_builtin): Ditto.
1986 (altivec_expand_builtin): Ditto.
1987 (rs6000_expand_ternop_builtin): Use a switch instead of an if
1988 statement for vsldoi support.
1989 (altivec_expand_ld_builtin): Change to use new names from vector.md.
1990 (altivec_expand_st_builtin): Ditto.
1991 (paired_expand_builtin): Whitespace changes.
1992 (rs6000_init_builtins): Add V2DF/V2DI types. Initialize the
1993 builtin_mode_to_type table for secondary reload. Call
1994 builtin_function_type to build random builtin functions.
1995 (altivec_init_builtins): Change to use builtin_function_type to
1996 create builtin function types dynamically as we need them.
1997 (builtin_hash_function): New support for hashing the tree types
1998 for builtin function as we need it, rather than trying to build
1999 all of the trees that we need. Add initial preliminary VSX support.
2000 (builtin_function_type): Ditto.
2001 (builtin_function_eq): Ditto.
2002 (builtin_hash_struct): Ditto.
2003 (rs6000_init_builtins): Ditto.
2004 (rs6000_common_init_builtins): Ditto.
2005 (altivec_init_builtins): Ditto.
2006 (rs6000_common_init_builtins): Ditto.
2007 (enum reload_reg_type): New enum for simplifing reg classes.
2008 (rs6000_reload_register_type): Simplify register classes into GPR,
2009 Vector, and other registers. Altivec and VSX addresses in reload.
2010 (rs6000_secondary_reload_inner): Ditto.
2011 (rs6000_ira_cover_classes): New target hook, that returns the
2012 appropriate cover classes, based on -mvsx being used or not.
2013 (rs6000_secondary_reload_class): Add VSX support.
2014 (get_vec_cmp_insn): Delete, rewrite vector conditionals.
2015 (get_vsel_insn): Ditto.
2016 (rs6000_emit_vector_compare): Rewrite vector conditional support
2017 so that where we can, we use RTL operators, instead of blindly use
2019 (rs6000_emit_vector_select): Ditto.
2020 (rs6000_emit_vector_cond_expr): Ditto.
2021 (rs6000_emit_minmax): Directly generate min/max under altivec, vsx.
2022 (create_TOC_reference): Add -mdebug=addr support.
2023 (emit_frame_save): VSX loads/stores need register indexed addressing.
2025 * config/rs6000/rs6000.md: Include vector.md.
2027 * config/rs6000/t-rs6000 (MD_INCLUDES): Add vector.md.
2029 * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Add
2030 support for V2DI, V2DF in logical, permute, select operations.
2032 * config/rs6000/rs6000.opt (-mvsx-scalar-double): Add new debug
2033 switch for vsx/power7.
2034 (-mvsx-scalar-memory): Ditto.
2035 (-mvsx-align-128): Ditto.
2036 (-mallow-movmisalign): Ditto.
2037 (-mallow-df-permute): Ditto.
2038 (-msched-groups): Ditto.
2039 (-malways-hint): Ditto.
2040 (-malign-branch-targets): Ditto.
2042 * config/rs6000/rs6000.h (IRA_COVER_CLASSES): Delete, use target
2044 (IRA_COVER_CLASSES_PRE_VSX): Cover classes if not -mvsx.
2045 (IRA_COVER_CLASSES_VSX): Cover classes if -mvsx.
2046 (rs6000_vector_reg_class): Delete.
2047 (rs6000_vsx_reg_class): Ditto.
2048 (enum rs6000_reg_class_enum): New enum for the constraints that
2049 vary based on target switches.
2050 (rs6000_constraints): New array to hold the register class for all
2051 of the register constraints that vary based on the switches used.
2052 (ALTIVEC_BUILTIN_*_UNS): Add unsigned builtin functions.
2053 (enum rs6000_builtins): Add unsigned varients for the builtin
2054 declarations returned by target hooks for expanding multiplies,
2055 select, and permute operations. Add VSX builtins.
2056 (enum rs6000_builtin_type_index): Add entries for VSX.
2057 (V2DI_type_node): Ditto.
2058 (V2DF_type_node): Ditto.
2059 (unsigned_V2DI_type_node): Ditto.
2060 (bool_long_type_node): Ditto.
2061 (intDI_type_internal_node): Ditto.
2062 (uintDI_type_internal_node): Ditto.
2063 (double_type_internal_node): Ditto.
2065 * config/rs6000/altivec.md (whole file): Move all expanders to
2066 vector.md from altivec.md. Rename insn matching functions to be
2068 (UNSPEC_VCMP*): Delete, rewrite vector comparisons.
2069 (altivec_vcmp*): Ditto.
2070 (UNSPEC_VPERM_UNS): New, add for unsigned types using vperm.
2071 (VM): New iterator for moves that includes the VSX types.
2072 (altivec_vperm_<mode>): Add VSX types. Add unsigned types.
2073 (altivec_vperm_<mode>_uns): New, for unsigned types.
2074 (altivec_vsel_*): Rewrite vector comparisons and predicate builtins.
2075 (altivec_eq<mode>): Ditto.
2076 (altivec_gt<mode>): Ditto.
2077 (altivec_gtu<mode>): Ditto.
2078 (altivec_eqv4sf): Ditto.
2079 (altivec_gev4sf): Ditto.
2080 (altivec_gtv4sf): Ditto.
2081 (altivec_vcmpbfp_p): Ditto.
2083 2009-07-23 Richard Earnshaw <rearnsha@arm.com>
2085 * arm.md (split for ior/xor with shift and zero-extend): Cast op3 to
2088 2009-07-23 Uros Bizjak <ubizjak@gmail.com>
2091 * config/i386/i386.c (output_387_ffreep): Rewrite to use
2092 ASM_SHORT instead of .word.
2093 * config/i386/i386.md (*tls_global_dynamic_64): Use ASM_SHORT
2094 instead of .word in asm template.
2096 2009-07-22 Vladimir Makarov <vmakarov@redhat.com>
2099 * ira-lives.c (bb_has_abnormal_call_pred): New function.
2100 (process_bb_node_lives): Use it.
2102 * ira.c (setup_cover_and_important_classes): Don't setup
2103 ira_important_class_nums. Add cover classes to the end of
2105 (cover_class_order, comp_reg_classes_func, reorder_important_classes):
2107 (find_reg_class_closure): Use reorder_important_classes.
2109 * config/i386/i386.h (IRA_COVER_CLASSES): Remove.
2111 * config/i386/i386.c (i386_ira_cover_classes): New function.
2112 (TARGET_IRA_COVER_CLASSES): Redefine.
2114 * doc/tm.texi (TARGET_IRA_COVER_CLASSES): Add a comment about
2115 importance of order of cover classes in the array.
2117 2009-07-22 Diego Novillo <dnovillo@google.com>
2119 * tree-pass.h (TDF_EH): Define.
2120 * gimple-pretty-print.c (dump_gimple_stmt): If FLAGS
2121 contains TDF_EH, print the EH region number holding GS.
2122 * tree-dump.c (dump_options): Add "eh".
2123 * doc/invoke.texi: Document it.
2125 2009-07-22 Doug Kwan <dougkwan@google.com>
2127 * config/arm/arm.md (subdi3) Copy non-reg values to DImode registers.
2129 2009-07-22 Michael Matz <matz@suse.de>
2131 PR tree-optimization/35229
2132 PR tree-optimization/39300
2134 * tree-ssa-pre.c (includes): Include tree-scalar-evolution.h.
2135 (inhibit_phi_insertion): New function.
2136 (insert_into_preds_of_block): Call it for REFERENCEs.
2137 (init_pre): Initialize and finalize scalar evolutions.
2138 * Makefile.in (tree-ssa-pre.o): Depend on tree-scalar-evolution.h .
2140 2009-07-22 Uros Bizjak <ubizjak@gmail.com>
2142 * config/i386/predicates.md (zero_extended_scalar_load_operand):
2143 Use CONST_VECTOR_NUNITS to determine number of elements.
2145 2009-07-22 Andreas Krebbel <krebbel1@de.ibm.com>
2147 * config/s390/constraints.md (ZQ, ZR, ZS, ZT): New constraints.
2148 (U, W): Constraints are now deprecated and will be removed if we
2150 * config/s390/s390.md (U, W): Replaced with ZQZR, ZSZT throughout
2152 ("prefetch"): Add the stcmh instruction for prefetching.
2153 * config/s390/s390.c (s390_symref_operand_p): Function moved. No
2155 (s390_short_displacement): Return always true if compiling for
2156 machines not providing the long displacement facility.
2157 (s390_mem_constraint): Support the new constraint letter Z.
2158 (s390_check_qrst_address): New function.
2160 2009-07-21 DJ Delorie <dj@redhat.com>
2162 * config/mep/mep.c (mep_legitimize_arg): Leave control registers
2165 2009-07-21 Jason Merrill <jason@redhat.com>
2167 * c-common.c (max_tinst_depth): Increase default to 1024.
2169 2009-07-21 Uros Bizjak <ubizjak@gmail.com>
2171 * config/i386/sse.md (vec_unpacku_float_hi_v4si): New expander.
2172 (vec_unpacku_float_lo_v4si): Ditto.
2174 2009-07-21 Uros Bizjak <ubizjak@gmail.com>
2177 * config/i386/sse.md (sse2_cvtudq2ps): New expander.
2178 (enum ix86_builtins): Add IX86_BUILTIN_CVTUDQ2PS.
2179 (builtin_description): Add __builtin_ia32_cvtudq2ps.
2180 (ix86_vectorize_builtin_conversion): Handle IX86_BUILTIN_CVTUDQ2PS.
2182 2009-07-21 Jakub Jelinek <jakub@redhat.com>
2184 PR tree-optimization/40813
2185 * tree-inline.c (copy_bb): Regimplify RHS after last stmt, not before
2188 2009-07-21 Kaz Kojima <kkojima@gcc.gnu.org>
2190 * config/sh/sh.c (sh_gimplify_va_arg_expr): Wrap the result
2191 with a NOP_EXPR if needed.
2193 2009-07-21 Paul Brook <paul@codesourcery.com>
2195 * tree-vectorizer.c (increase_alignment): Handle nested arrays.
2196 Terminate debug dump with newline.
2198 2009-07-20 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2200 * pa.c (compute_zdepwi_operands): Limit deposit length to 32 - lsb.
2201 Cast "1" to unsigned HOST_WIDE_INT.
2202 (compute_zdepdi_operands): Limit maximum length to 64 bits. Limit
2203 deposit length to the maximum length - lsb. Extend length if
2204 HOST_BITS_PER_WIDE_INT is 32.
2206 2009-07-20 Olatunji Ruwase <tjruwase@google.com>
2208 * cgraph.h (constant_pool_htab): New function.
2209 (constant_descriptor_tree): Move from varasm.c.
2210 * varasm.c (constant_pool_htab): New function.
2211 (constant_descriptor_tree): Move to cgraph.h.
2213 2009-07-20 Olatunji Ruwase <tjruwase@google.com>
2215 * toplev.c: Invoke FINISH_UNIT callbacks before call to finalize().
2217 2009-07-20 Shujing Zhao <pearly.zhao@oracle.com>
2219 * Makefile.in (TREE_INLINE_H, tree-inline.o, cgraph.o): Remove
2222 2009-07-20 Xinliang David Li <davidxl@google.com>
2224 * dbgcnt.c (dbg_cnt_set_limit_by_name): Add length check.
2226 2009-07-20 Adam Nemet <anemet@caviumnetworks.com>
2228 * config/mips/mips.md (move_type): Add arith.
2229 (type): Handle arith.
2230 (zero_extendsidi2): Rename this into ...
2231 (*zero_extendsidi2): ... this. Don't match if ISA_HAS_EXT_INS.
2232 (zero_extendsidi2): New expander.
2233 (*zero_extendsidi2_dext): New pattern.
2235 2009-07-20 Nick Clifton <nickc@redhat.com>
2237 * config.gcc (mips64-*-*): Add definition of tm_defines in order
2238 to set MIPS_ABI_DEFAULT.
2239 * config/mips/vr.h (MIPS_ABI_DEFAULT): Remove definition.
2241 2009-07-20 Jakub Jelinek <jakub@redhat.com>
2243 * tree-object-size.c (addr_object_size): Handle unions with
2244 array in it as last field of structs in __bos (, 1) as __bos (, 0).
2246 PR tree-optimization/40792
2247 * tree.c (build_function_type_skip_args): Remove bogus assert.
2249 2009-07-20 Jan Hubicka <jh@suse.cz>
2250 Martin Jambor <mjambor@suse.cz>
2252 * cgraph.h (combined_args_to_skip): New field.
2253 * cgraph.c (cgraph_create_virtual_clone): Properly handle
2254 combined_args_to_skip and args_to_skip.
2255 * tree-inline.c (update_clone_info): New function.
2256 (tree_function_versioning): Call update_clone_info.
2257 * cgraphunit.c: (cgraph_materialize_clone): Dump materialized
2259 (cgraph_materialize_all_clones): More extensive dumping, working
2260 with combined_args_to_skip rather than args_to_skip.
2262 2009-07-20 Ira Rosen <irar@il.ibm.com>
2264 * tree-vectorizer.h (vectorizable_condition): Add parameters.
2265 * tree-vect-loop.c (vect_is_simple_reduction): Support COND_EXPR.
2266 (get_initial_def_for_reduction): Likewise.
2267 (vectorizable_reduction): Skip the check of first operand in case
2268 of COND_EXPR. Add check that it is outer loop vectorization if
2269 nested cycle was detected. Call vectorizable_condition() for
2270 COND_EXPR. If reduction epilogue cannot be created do not fail for
2271 nested cycles (if it is not double reduction). Assert that there
2272 is only one type in the loop in case of COND_EXPR. Call
2273 vectorizable_condition() to vectorize COND_EXPR.
2274 * tree-vect-stmts.c (vectorizable_condition): Update comment.
2275 Add parameters. Allow nested cycles if called from
2276 vectorizable_reduction(). Use reduction vector variable if provided.
2277 (vect_analyze_stmt): Call vectorizable_reduction() before
2278 vectorizable_condition().
2279 (vect_transform_stmt): Update call to vectorizable_condition().
2281 2009-07-20 Christian Bruel <christian.bruel@st.com>
2283 * config/sh/sh.opt (-mfmovd): Resurrect and document.
2284 * doc/invoke.texi (-mfmovd): Likewise.
2285 * config/sh/sh.h (TARGET_FMOVD, MASK_FMOVD): Remove default setting.
2287 2009-07-20 Jan Hubicka <jh@suse.cz>
2289 * tree-ssa-dce.c (remove_dead_phis): Only look for abnormal PHIs
2290 when handling SSA name.
2292 2009-07-19 Jan Hubicka <jh@suse.cz>
2294 PR tree-optimization/40676
2295 * tree-ssa-dce.c (eliminate_unnecessary_stmts): Do renaming on all
2296 virtual PHIs in empty BBs.
2298 2009-07-18 Adam Nemet <anemet@caviumnetworks.com>
2300 * combine.c (make_compound_operation) <SUBREG>: If force_to_mode
2301 re-expanded the compound use gen_lowpart instead to convert to the
2304 2009-07-18 Adam Nemet <anemet@caviumnetworks.com>
2306 * combine.c (try_widen_shift_mode): Add COUNT, OUTER_CODE and
2307 OUTER_CONST arguments.
2308 <LSHIFTRT>: Use them to allow widening if the bits shifted in from
2309 the new wider mode will be masked off.
2310 (simplify_shift_const_1): Adjust calls to try_widen_shift_mode.
2312 2009-07-18 Adam Nemet <anemet@caviumnetworks.com>
2314 * combine.c (try_widen_shift_mode) <LSHIFTRT>: Allow widening if the
2315 high-order bits are zero.
2317 2009-07-18 Adam Nemet <anemet@caviumnetworks.com>
2319 * combine.c (simplify_shift_const_1): Split code to determine
2321 (try_widen_shift_mode): ... here. Allow widening for ASHIFTRT if the
2322 new bits shifted in are identical to the old sign bit.
2324 2009-07-18 Richard Guenther <rguenther@suse.de>
2327 * gimplify.c (gimplify_call_expr): Reject code using results from
2328 functions returning void.
2330 2009-07-18 Richard Sandiford <r.sandiford@uk.ibm.com>
2332 * doc/md.texi: Document the new PowerPC "es" constraint.
2333 Document that "m" can include automodified addresses on this target,
2334 and explain how %U must be used. Extend the "Q" and "Z" documentation
2335 to suggest "es" as well as "m".
2336 * config/rs6000/constraints.md (es): New memory constraint.
2337 (Q, Z): Update strings to match new documentation.
2339 2009-07-18 Richard Sandiford <r.sandiford@uk.ibm.com>
2341 * config/rs6000/rs6000.c (rs6000_mode_dependent_address): Allow any
2342 offset from virtual_stack_vars_rtx and arg_pointer_rtx.
2343 * config/rs6000/predicates.md (volatile_mem_operand): Use
2344 offsettable_nonstrict_memref_p.
2345 * config/rs6000/rs6000.md (*floatsidf2_internal): Remove split check.
2346 (*floatunssidf2_internal): Likewise.
2347 (*fix_truncdfsi2_internal): Likewise.
2348 (*fix_trunctfsi2_internal): Likewise.
2350 2009-07-17 Anatoly Sokolov <aesok@post.ru>
2352 * config/avr/avr-devices.c (avr_mcu_t): Add atmega8u2, atmega16u2 and
2354 * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
2356 2009-07-17 Richard Guenther <rguenther@suse.de>
2359 * tree-pass.h (pass_diagnose_omp_blocks): Declare.
2360 (pass_warn_unused_result): Likewise.
2361 (TODO_set_props): Remove.
2362 * omp-low.c (diagnose_omp_structured_block_errors): Change to
2364 (pass_diagnose_omp_blocks): Define.
2365 * c-decl.c (pop_file_scope): Do not finalize the CU here.
2366 (c_gimple_diagnostics_recursively): Remove.
2367 (finish_function): Do not call it.
2368 (c_write_global_declarations): Continue after errors.
2369 Finalize the CU here.
2370 * c-gimplify.c (c_genericize): Do not gimplify here.
2371 * c-common.c (c_warn_unused_result): Move ...
2372 * tree-cfg.c (do_warn_unused_result): ... here.
2373 (run_warn_unused_result): New function.
2374 (gate_warn_unused_result): New function.
2375 (pass_warn_unused_result): New pass.
2376 * c-common.h (c_warn_unused_result): Remove.
2377 * flags.h (flag_warn_unused_result): Declare.
2378 * c-opts.c (c_common_init_options): Enable flag_warn_unused_result.
2379 * opts.c (flag_warn_unused_result): Initialize to false.
2380 * toplev.c (compile_file): Add comment.
2381 * omp-low.c (create_omp_child_function): Do not register
2382 the function with the frontend.
2383 (diagnose_omp_structured_block_errors): Prepare to be
2384 called as optimization pass.
2385 (gate_diagnose_omp_blocks): New function.
2386 (pass_diagnose_omp_blocks): New pass.
2387 * cgraph.h (cgraph_optimize): Remove.
2388 (cgraph_analyze_function): Likewise.
2389 * cgraph.c (cgraph_add_new_function): Gimplify C++ thunks.
2390 * cgraphunit.c (cgraph_lower_function): Lower nested functions
2391 before their parents here.
2392 (cgraph_finalize_function): Not here.
2393 (cgraph_analyze_function): Gimplify functions here.
2394 (cgraph_finalize_compilation_unit): Continue after errors.
2395 Optimize the callgraph from here.
2396 (cgraph_optimize): Make static.
2397 * langhooks.c (write_global_declarations): Finalize the CU.
2398 * gimplify.c (gimplify_asm_expr): Do not emit ASMs with errors.
2399 (gimplify_function_tree): Assert we gimplify only once.
2400 Set PROP_gimple_any property.
2401 * tree-nested.c (gimplify_all_functions): New function.
2402 (lower_nested_functions): Gimplify all nested functions.
2403 * gimple.h (diagnose_omp_structured_block_errors): Remove.
2404 * passes.c (init_optimization_passes): Add pass_warn_unused_result
2405 and pass_diagnose_omp_blocks after gimplification. Do not
2406 set TODO_set_props on all_lowering_passes.
2407 (execute_one_pass): Do not handle TODO_set_props.
2408 * Makefile.in (cgraphunit.o): Add $(TREE_DUMP_H) dependency.
2409 (gimplify.o): Add tree-pass.h dependency.
2410 * tree-inline.c (copy_statement_list): Properly copy STATEMENT_LIST.
2411 (copy_tree_body_r): Properly handle TARGET_EXPR like SAVE_EXPR.
2412 (unsave_r): Likewise.
2413 * c-omp.c (c_finish_omp_atomic): Set DECL_CONTEXT on the
2416 2009-07-17 Sandra Loosemore <sandra@codesourcery.com>
2418 * doc/service.texi (Service): Restore previously removed link,
2419 which isn't broken after all.
2421 2009-07-17 Richard Guenther <rguenther@suse.de>
2423 PR tree-optimization/40321
2424 * tree-ssa-pre.c (add_to_exp_gen): Also add names defined by
2425 PHI nodes to the maximal set.
2426 (make_values_for_phi): Add PHI arguments to the maximal set.
2427 (execute_pre): Dump PHI_GEN and the maximal set.
2429 2009-07-17 Jakub Jelinek <jakub@redhat.com>
2432 * gimplify.c (gimplify_conversion): Don't change non-conversions into
2435 2009-07-16 Sandra Loosemore <sandra@codesourcery.com>
2437 * doc/extend.texi (Nested Functions): Replace broken link with
2439 * doc/service.texi (Service): Remove broken link.
2441 2009-07-16 H.J. Lu <hongjiu.lu@intel.com>
2444 * builtins.c (expand_builtin_memcmp): Use loc instead of
2445 EXPR_LOCATION (exp).
2446 (expand_builtin_strncmp): Likewise.
2448 2009-07-17 Aldy Hernandez <aldyh@redhat.com>
2449 Manuel López-Ibáñez <manu@gcc.gnu.org>
2452 * tree-complex.c, tree-loop-distribution.c, tree.c, tree.h,
2453 builtins.c, fold-const.c, omp-low.c, cgraphunit.c, tree-ssa-ccp.c,
2454 tree-ssa-dom.c, gimple-low.c, expr.c, tree-ssa-ifcombine.c,
2455 c-decl.c, stor-layout.c, tree-if-conv.c, c-typeck.c, gimplify.c,
2456 calls.c, tree-sra.c, tree-mudflap.c, tree-ssa-copy.c,
2457 tree-ssa-forwprop.c, c-convert.c, c-omp.c, varasm.c,
2458 tree-inline.c, c-common.c, c-common.h, gimple.c,
2459 tree-switch-conversion.c, gimple.h, tree-cfg.c, c-parser.c,
2460 convert.c: Add location argument to fold_{unary,binary,ternary},
2461 fold_build[123], build_call_expr, build_size_arg,
2462 build_fold_addr_expr, build_call_array, non_lvalue, size_diffop,
2463 fold_build1_initializer, fold_build2_initializer,
2464 fold_build3_initializer, fold_build_call_array,
2465 fold_build_call_array_initializer, fold_single_bit_test,
2466 omit_one_operand, omit_two_operands, invert_truthvalue,
2467 fold_truth_not_expr, build_fold_indirect_ref, fold_indirect_ref,
2468 combine_comparisons, fold_builtin_*, fold_call_expr,
2469 build_range_check, maybe_fold_offset_to_address, round_up,
2472 2009-07-16 Jason Merrill <jason@redhat.com>
2475 * c-common.c (c_common_reswords): Add __is_standard_layout
2477 * c-common.h (enum rid): Add RID_IS_STD_LAYOUT and RID_IS_TRIVIAL.
2478 * doc/implement-cxx.texi: New.
2479 * doc/gcc.texi: Include it.
2481 2009-07-16 DJ Delorie <dj@redhat.com>
2483 * config/m32c/m32c.c (m32c_compare_redundant): Avoid removing
2484 compares that may be indirectly affected by previous instructions.
2486 2009-07-16 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
2488 * builtins.c (do_mpc_arg2): New.
2489 (fold_builtin_2): Fold builtin cpow.
2490 * real.h (HAVE_mpc_pow): New.
2492 2009-07-16 Bingfeng Mei <bmei@broadcom.com>
2494 * modulo-sched.c (sms_schedule): stage_count <= 1 as correct
2495 comparison to skip unprofitable schedule
2497 2009-07-16 Simon Baldwin <simonb@google.com>
2499 * gcc.c (option_map): New flag -no-canonical-prefixes.
2500 * (display_help): Print help text for new flag.
2501 * (process_command): Move options translation and language specifics
2502 and handle new flag early. Use it to set a function pointer to a
2503 prefix builder. Replace make_relative_prefix calls with calls to
2504 the function pointed to. Ignore new flag in regular options handling.
2505 * doc/invoke.texi (Overall Options): Documented -no-canonical-prefixes.
2507 2009-07-15 DJ Delorie <dj@redhat.com>
2509 * config/mep/mep.md (sibcall_internal): Change register to avoid
2511 (sibcall_value_internal): Likewise.
2513 2009-07-15 Eric Botcazou <ebotcazou@adacore.com>
2515 PR rtl-optimization/40710
2516 * resource.c (mark_target_live_regs): Reset DF problem to LR.
2518 2009-07-15 Adam Nemet <anemet@caviumnetworks.com>
2520 * config/mips/mips.md (*extenddi_truncate<mode>,
2521 *extendsi_truncate<mode>): Change type attribute to move_type
2522 with shift_shift. Split out code handling exts from here ...
2523 (*extend<GPR:mode>_truncate<SHORT:mode>_exts): ... to this new
2525 (*extendhi_truncateqi): Change type attribute to move_type with
2526 shift_shift. Split out code handling exts from here ...
2527 (*extendhi_truncateqi_exts): ... to this new pattern.
2529 2009-07-15 Uros Bizjak <ubizjak@gmail.com>
2531 * config/i386/sse.md (copysign<mode>3): Use "and-not" SSE instruction
2532 instead of "and" with inverted sign bit mask value. Use
2533 "nonimmediate_operand" for operand 1 and operand 2 predicate.
2534 Allocate registers only for operand 4 and operand 5.
2536 2009-07-15 Jakub Jelinek <jakub@redhat.com>
2539 * fold-const.c (fold_cond_expr_with_comparison): When folding
2540 < and <= to MIN, make sure the MIN uses the same type as the
2541 comparison's operands.
2543 2009-07-15 Richard Earnshaw <rearnsha@arm.com>
2545 * arm.md (ior_xor): New code iterator.
2546 (split for ior/xor with shift and zero-extend): New split pattern.
2547 * arm/predicates.md (subreg_lowpart_operator): New special predicate.
2549 2009-07-15 Richard Guenther <rguenther@suse.de>
2551 * tree-ssa-structalias.c (make_constraint_from_heapvar): Initialize
2554 2009-07-15 Richard Guenther <rguenther@suse.de>
2557 * alias.c (ao_ref_from_mem): Reject FUNCTION_DECL and LABEL_DECL bases.
2559 2009-07-15 Maxim Kuvyrkov <maxim@codesourcery.com>
2561 * config/m68k/linux-unwind.h (m68k_fallback_frame_state): Update to
2562 handle 2.6.30 kernel.
2564 2009-07-15 DJ Delorie <dj@redhat.com>
2566 * config/mep/mep.md (sibcall_internal): Change register to allow
2567 for 24-bit addresses.
2568 (sibcall_value_internal): Likewise.
2570 2009-07-14 Ghassan Shobaki <ghassan.shobaki@amd.com>
2572 * doc/invoke.texi: Added descriptions of the scheduling heuristics
2573 that are enabled/disabled by the flags introduced by a previous patch.
2575 2009-07-14 DJ Delorie <dj@redhat.com>
2577 * config/mep/mep.md (sibcall_internal): Include non-toggling
2579 (sibcall_value_internal): Likewise.
2581 2009-07-14 Taras Glek <tglek@mozilla.com>
2582 Rafael Espindola <espindola@google.com>
2584 * doc/sourcebuild.texi: Document install-plugin target.
2585 * configure.ac: Added install-plugin target to language makefiles.
2586 * configure: Regenerate.
2587 * Makefile.in: (install-plugin): Install more headers,
2588 depend on lang.install-plugin.
2590 2009-07-15 Manuel López-Ibáñez <manu@gcc.gnu.org>
2592 * tree-vrp.c (vrp_evaluate_conditional): Mark strings for
2595 2009-07-14 DJ Delorie <dj@redhat.com>
2597 * config/mep/mep.c (mep_vliw_jmp_match): New function.
2598 * config/mep/mep-protos.h (mep_vliw_jmp_match): Prototype it.
2599 * config/mep/mep.md (sibcall_internal): Change test from
2600 mep_vliw_mode_match to mep_vliw_jmp_match.
2601 (sibcall_value_internal): Likewise.
2603 2009-07-14 Uros Bizjak <ubizjak@gmail.com>
2605 * config/i386/sse.md (copysign<mode>3): New expander.
2606 * config/i386/i386-protos.h (ix86_build_signbit_mask): New prototype.
2607 * config/i386/i386.c (ix86_build_signbit_mask): Make public.
2608 Use ix86_build_const_vector.
2609 (enum ix86_builtins): Add IX86_BUILTIN_CPYSGNPS and
2610 IX86_BUILTIN_CPYSGNPD.
2611 (builtin_description): Add __builtin_ia32_copysignps and
2612 __builtin_ia32_copysignpd.
2613 (ix86_builtin_vectorized_function): Handle BUILT_IN_COPYSIGN
2614 and BUILT_IN_COPYSIGNF.
2616 2009-07-13 Jason Merrill <jason@redhat.com>
2618 * builtins.c (can_trust_pointer_alignment): New fn.
2619 (get_pointer_alignment): Factor it out from here.
2620 * tree.h: Declare it.
2622 2009-07-14 David Edelsohn <edelsohn@gnu.org>
2624 * config/rs6000/predicates.md (offsettable_mem_operand): Test
2627 2009-07-14 Dodji Seketeli <dodji@redhat.com>
2631 * dwarf2.out.c (gen_type_die_with_usage): Added comment.
2633 2009-07-14 Richard Guenther <rguenther@suse.de>
2634 Andrey Belevantsev <abel@ispras.ru>
2637 * cfgexpand.c (partition_stack_vars): Do not bother to update
2638 alias information when not optimizing.
2640 2009-07-14 Richard Guenther <rguenther@suse.de>
2641 Andrey Belevantsev <abel@ispras.ru>
2643 * tree-ssa-alias.h (refs_may_alias_p_1): Declare.
2644 (pt_solution_set): Likewise.
2645 * tree-ssa-alias.c (refs_may_alias_p_1): Export.
2646 * tree-ssa-structalias.c (pt_solution_set): New function.
2647 * final.c (rest_of_clean_state): Free SSA data structures.
2648 * print-rtl.c (print_decl_name): Remove.
2649 (print_mem_expr): Implement in terms of print_generic_expr.
2650 * alias.c (ao_ref_from_mem): New function.
2651 (rtx_refs_may_alias_p): Likewise.
2652 (true_dependence): Query alias-export info.
2653 (canon_true_dependence): Likewise.
2654 (write_dependence_p): Likewise.
2655 * tree-dfa.c (get_ref_base_and_extent): For void types leave
2657 * emit-rtl.c (component_ref_for_mem_expr): Remove.
2658 (mem_expr_equal_p): Use operand_equal_p.
2659 (set_mem_attributes_minus_bitpos): Do not use
2660 component_ref_for_mem_expr.
2661 * cfgexpand.c (add_partitioned_vars_to_ptset): New function.
2662 (update_alias_info_with_stack_vars): Likewise.
2663 (partition_stack_vars): Call update_alias_info_with_stack_vars.
2664 * tree-ssa.c (delete_tree_ssa): Do not release SSA names
2665 explicitly nor clear stmt operands.
2666 Free the decl-to-pointer map.
2667 * tree-optimize.c (execute_free_datastructures): Do not free
2668 SSA data structures here.
2669 * tree-flow.h (struct gimple_df): Add decls_to_pointers member.
2670 * Makefile.in (emit-rtl.o): Add pointer-set.h dependency.
2671 (alias.o): Add tree-ssa-alias.h, pointer-set.h and $(TREE_FLOW_H)
2673 (print-rtl.o): Add $(DIAGNOSTIC_H) dependency.
2675 2009-07-13 DJ Delorie <dj@redhat.com>
2677 * config/mep/mep.h (CC1_SPEC): Tweak parameters to trigger
2678 unrolling at the right iteration count.
2680 * config/mep/mep.c (mep_expand_prologue): Fix frame pointer
2683 2009-07-13 Ghassan Shobaki <ghassan.shobaki@amd.com>
2685 * haifa-sched.c (rank_for_schedule): Introduced flags to
2686 enable/disable individual scheduling heuristics.
2687 * common.opt: Introduced flags to enable/disable individual
2688 heuristics in the scheduler.
2689 * doc/invoke.texi: Introduced flags to enable/disable individual
2690 heuristics in the scheduler.
2692 2009-07-13 Kai Tietz <kai.tietz@onevision.com>
2694 * config/i386/t-gthr-win32 (LIB2FUNCS_EXTRA): Remove file
2695 config/i386/mingw-tls.c.
2696 * config/i386/mingw-tls.c: Removed.
2698 2009-07-13 Ira Rosen <irar@il.ibm.com>
2700 * tree-vect-loop.c (get_initial_def_for_reduction): Ensure that the
2701 checks access only relevant statements.
2702 (vectorizable_reduction): Likewise.
2704 2009-07-12 Kai Tietz <kai.tietz@onevision.com>
2706 * config/i386/cygming.h (TARGET_OS_CPP_BUILTINS): Define _X86_
2707 just for 32-bit case.
2709 2009-07-12 Jan Hubicka <jh@suse.cz>
2711 PR tree-optimization/40585
2712 * except.c (expand_resx_expr): When there already is resume
2713 instruction, produce linked list.
2714 (build_post_landing_pads): Assert that resume is empty.
2715 (connect_post_landing_pads): Handle resume lists.
2716 (dump_eh_tree): Dump resume list.
2718 2009-07-12 Ira Rosen <irar@il.ibm.com>
2720 * tree-parloops.c (loop_parallel_p): Call vect_is_simple_reduction
2721 with additional argument.
2722 * tree-vectorizer.h (enum vect_def_type): Add
2723 vect_double_reduction_def.
2724 (vect_is_simple_reduction): Add argument.
2725 * tree-vect-loop.c (vect_determine_vectorization_factor): Fix
2727 (vect_analyze_scalar_cycles_1): Detect double reduction. Call
2728 vect_is_simple_reduction with additional argument.
2729 (vect_analyze_loop_operations): Handle exit phi nodes in case of
2731 (reduction_code_for_scalar_code): Handle additional codes by
2732 returning ERROR_MARK for them. Fix comment and indentation.
2733 (vect_is_simple_reduction): Fix comment, add argument to specify
2734 double reduction. Detect double reduction.
2735 (get_initial_def_for_induction): Fix indentation.
2736 (get_initial_def_for_reduction): Fix comment and indentation.
2737 Handle double reduction. Create initial definitions that do not
2738 require adjustment if ADJUSTMENT_DEF is NULL. Handle additional cases.
2739 (vect_create_epilog_for_reduction): Fix comment, add argument to
2740 handle double reduction. Use PLUS_EXPR in case of MINUS_EXPR in
2741 epilogue result extraction. Create double reduction phi node and
2742 replace relevant uses.
2743 (vectorizable_reduction): Call vect_is_simple_reduction with
2744 additional argument. Fix indentation. Update epilogue code treatment
2745 according to the changes in reduction_code_for_scalar_code. Check
2746 for double reduction. Call vect_create_epilog_for_reduction with
2747 additional argument.
2748 * tree-vect-stmts.c (process_use): Handle double reduction, update
2750 (vect_mark_stmts_to_be_vectorized): Handle double reduction.
2751 (vect_get_vec_def_for_operand): Likewise.
2753 2009-07-12 Danny Smith <dansmister@gmail.com>
2755 * config/i386/winnt.c (i386_pe_determine_dllexport_p): Don't
2756 dllexport if !TREE_PUBLIC.
2757 (i386_pe_maybe_record_exported_symbol): Assert TREE_PUBLIC.
2759 2009-07-11 Anatoly Sokolov <aesok@post.ru>
2761 * config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): Redefine.
2762 (avr_extra_arch_macro) Remove declatation.
2763 * config/avr/avr.c (avr_cpu_cpp_builtins): New function.
2764 (avr_extra_arch_macro) Declare as static.
2765 * config/avr/avr-protos.h (avr_cpu_cpp_builtins): Dclare.
2767 2009-07-11 Jan Hubicka <jh@suse.cz>
2770 * except.c (can_be_reached_by_runtime): Test for NULL aka bitmap.
2772 2009-07-11 Jakub Jelinek <jakub@redhat.com>
2775 * dwarf2out.c (dw_fde_struct): Add in_std_section and
2776 cold_in_std_section bits.
2777 (dwarf2out_begin_prologue): Initialize them.
2778 (dwarf2out_finish): Don't emit FDE range into .debug_ranges
2779 if already covered by text_section or cold_text_section range.
2781 PR rtl-optimization/40667
2782 * defaults.h (MINIMUM_ALIGNMENT): Define if not defined.
2783 * doc/tm.texi (MINIMUM_ALIGNMENT): Document it.
2784 * config/i386/i386.h (MINIMUM_ALIGNMENT): Define.
2785 * config/i386/i386.c (ix86_minimum_alignment): New function.
2786 * config/i386/i386-protos.h (ix86_minimum_alignment): New prototype.
2787 * cfgexpand.c (expand_one_var): Use MINIMIM_ALIGNMENT.
2788 * emit-rtl.c (gen_reg_rtx): Likewise.
2789 * function.c (assign_parms): Likewise. If nominal_type needs
2790 bigger alignment than FUNCTION_ARG_BOUNDARY, use its alignment
2791 rather than passed_type's alignment.
2794 * function.c (assign_parm_setup_stack): Adjust
2795 MEM_OFFSET (data->stack_parm) if promoted_mode is different
2796 from nominal_mode on big endian.
2798 2009-07-11 Paolo Bonzini <bonzini@gnu.org>
2800 * expmed.c (emit_store_flag_1): Fix choice of zero vs. sign extension.
2802 2009-07-10 DJ Delorie <dj@redhat.com>
2804 * config/mep/mep.c (mep_can_inline_p): Correct logic, and simplify.
2806 2009-07-10 Mark Mitchell <mark@codesourcery.com>
2808 * config/arm/thumb2.md (thumb2_cbz): Correct computation of length
2810 (thumb2_cbnz): Likewise.
2812 2009-07-10 David Daney <ddaney@caviumnetworks.com>
2815 * config.gcc (supported_defaults): Add synci.
2816 (with_synci): Add validation.
2817 (all_defaults): Add synci.
2818 * config/mips/mips.md (clear_cache): Use TARGET_SYNCI instead of
2821 * config/mips/mips.opt (msynci): New option.
2822 * config/mips/mips.c (mips_override_options): Warn on use of
2823 -msynci for targets that do now support it.
2824 * gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
2826 * gcc/doc/invoke.texi (-msynci): Document the new option.
2827 * doc/install.texi (--with-synci): Document the new option.
2829 2009-07-10 Richard Guenther <rguenther@suse.de>
2831 PR tree-optimization/40496
2832 * tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Create
2833 the PHI result with a compatible type.
2835 2009-07-10 Manuel López-Ibáñez <manu@gcc.gnu.org>
2839 * c.opt (Wunused-result): New.
2840 * doc/invoke.texi: Document it.
2841 * c-common.c (c_warn_unused_result): Use it.
2843 2009-07-09 DJ Delorie <dj@redhat.com>
2845 * targhooks.c (default_target_can_inline_p): Rename from
2846 default_target_option_can_inline_p.
2847 * targhooks.h (default_target_can_inline_p): Likewise.
2848 * target-def.h (TARGET_CAN_INLINE_P): Rename from
2849 TARGET_OPTION_CAN_INLINE_P.
2850 * config/i386/i386.c (TARGET_CAN_INLINE_P): Likewise.
2851 * config/mep/mep.c (TARGET_CAN_INLINE_P): Likewise.
2852 (mep_target_can_inline_p): Rename from
2853 mep_target_option_can_inline_p.
2856 * config/mep/mep.h (FUNCTION_ARG_REGNO_P): Add coprocessor
2857 registers used to pass vectors.
2859 * config/mep/mep.c (mep_option_can_inline_p): Remove error call.
2861 2009-07-09 Tom Tromey <tromey@redhat.com>
2863 * unwind-dw2-fde-darwin.c: Include dwarf2.h.
2864 * config/mmix/mmix.c: Include dwarf2.h.
2865 * config/rs6000/darwin-fallback.c: Include dwarf2.h.
2866 * config/xtensa/unwind-dw2-xtensa.c: Include dwarf2.h.
2867 * config/sh/sh.c: Include dwarf2.h.
2868 * config/i386/i386.c: Include dwarf2.h.
2869 * Makefile.in (DWARF2_H): Remove 'elf'.
2870 * except.c: Include dwarf2.h.
2871 * unwind-dw2.c: Include dwarf2.h.
2872 * dwarf2out.c: Include dwarf2.h.
2873 * unwind-dw2-fde-glibc.c: Include dwarf2.h.
2874 * unwind-dw2-fde.c: Include dwarf2.h.
2875 * dwarf2asm.c: Include dwarf2.h.
2877 2009-07-09 Maxim Kuvyrkov <maxim@codesourcery.com>
2879 * haifa-sched.c (insn_finishes_cycle_p): New static function.
2880 (max_issue): Use it.
2881 * sched-int.h (struct sched_info: insn_finishes_block_p): New
2883 * sched-rgn.c (rgn_insn_finishes_block_p): Implement it.
2884 (region_sched_info): Update.
2885 * sched-ebb.c (ebb_sched_info): Update.
2886 * modulo-sched.c (sms_sched_info): Update.
2887 * sel-sched-ir.c (sched_sel_haifa_sched_info): Update.
2889 2009-07-09 Maxim Kuvyrkov <maxim@codesourcery.com>
2891 * varasm.c (build_constant_desc): Don't share RTL in pool entries.
2893 2009-07-09 Basile Starynkevitch <basile@starynkevitch.net>
2895 * plugin.c (try_init_one_plugin): passes RTLD_GLOBAL to dlopen.
2897 2009-07-09 Jakub Jelinek <jakub@redhat.com>
2900 * fold-const.c (fold_cond_expr_with_comparison): Don't replace
2901 arg1 with arg01 if arg1 is already INTEGER_CST.
2903 2009-07-08 Adam Nemet <anemet@caviumnetworks.com>
2905 * simplify-rtx.c (simplify_binary_operation_1) <AND>:
2906 Transform (and (truncate)) into (truncate (and)).
2908 2009-07-08 Adam Nemet <anemet@caviumnetworks.com>
2910 * combine.c (make_extraction): Check TRULY_NOOP_TRUNCATION before
2911 creating LHS paradoxical subregs. Fix surrounding returns to
2912 use NULL_RTX rather than 0.
2914 2009-07-08 DJ Delorie <dj@redhat.com>
2916 * config/mep/mep.c: (mep_option_can_inline_p): New.
2917 (TARGET_OPTION_CAN_INLINE_P): Define.
2919 2009-07-08 Mark Wielaard <mjw@redhat.com>
2922 * dwarf2out.c (add_data_member_location_attribute): When we have
2923 only a constant offset don't emit a new location description using
2924 DW_OP_plus_uconst, but just add the constant with add_AT_int, when
2927 2009-07-08 Richard Henderson <rth@redhat.com>
2930 * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Move to i386.c.
2931 (enum reg_class): Add CLOBBERED_REGS.
2932 (REG_CLASS_NAMES, REG_CLASS_CONTENTS): Likewise.
2933 * config/i386/i386.c (ix86_conditional_register_usage): Moved
2934 from CONDITIONAL_REGISTER_USAGE; build CLOBBERED_REGS for 64-bit.
2935 (ix86_function_ok_for_sibcall): Tidy. Disallow MS->SYSV sibcalls.
2936 (ix86_expand_call): Use sibcall_insn_operand when needed. Don't
2937 force 64-bit sibcalls into R11.
2938 * config/i386/constraints.md (U): New constraint.
2939 * config/i386/i386.md (sibcall_1, sibcall_value_1): Use it.
2940 (sibcall_1_rex64, sibcall_value_1_rex64): Likewise.
2941 (sibcall_1_rex64_v, sibcall_value_1_rex64_v): Remove.
2943 2009-07-08 Shujing Zhao <pearly.zhao@oracle.com>
2945 * basic-block.h (dump_regset, debug_regset): Remove duplicate
2947 * c-objc-common.h (c_initialize_diagnostics): Ditto.
2948 * ebitmap.h (dump_ebitmap): Ditto.
2949 * optabs.h (optab_libfunc): Ditto.
2950 * tree.h (tree_expr_nonzero_warnv_p): Ditto.
2951 * tree-flow.h (vect_can_force_dr_alignment_p,
2952 get_vectype_for_scalar_type): Ditto.
2953 (vectorize_loops): Move prototype to ...
2954 * tree-vectorizer.h: ... here. Also, adjust comment.
2955 (vect_set_verbosity_level): Remove duplicate prototype.
2956 * tree-ssa-loop.c: Include tree-vectorizer.h.
2957 * Makefile.in (tree-ssa-loop.o): Depend on tree-vectorizer.h.
2959 2009-07-08 Nick Clifton <nickc@redhat.com>
2961 * config/i386/unix.h (ASM_COMMENT_START): Add a space after the
2964 2009-07-08 DJ Delorie <dj@redhat.com>
2966 * config/mep/mep-ivc2.cpu (cpmovtocsar0_C3, cpmovtocsar1_C3,
2967 cpmovtocc_C3, cpmovtocsar0_P0S_P1, cpmovtocsar1_P0S_P1,
2968 cpmovtocc_P0S_P1): Mark volatile. Note which registers are
2970 * config/mep/intrinsics.md: Regenerated.
2971 * config/mep/mep.c (mep_interrupt_saved_reg): Save IVC2 control
2972 registers when asm() or calls are detected.
2974 2009-07-08 Manuel López-Ibáñez <manu@gcc.gnu.org>
2977 * gimplify.c (gimplify_expr): Propagate no_warning flag when
2979 * gimple (gimple_build_call_from_tree): Likewise.
2980 * tree-cfg.c (remove_useless_stmts_warn_notreached): Check
2981 no_warning flag before warning.
2983 2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org>
2985 * tree.c (set_expr_locus): Remove.
2986 * tree.h (EXPR_LOCUS,SET_EXPR_LOCUS,set_expr_locus): Remove.
2987 * c-typeck.c (c_finish_stmt_expr): Replace EXPR_LOCUS by
2989 * gimplify.c (internal_get_tmp_var): Likewise.
2990 (gimplify_call_expr): Likewise.
2991 (gimplify_one_sizepos): Likewise.
2993 2009-07-07 Eric Botcazou <ebotcazou@adacore.com>
2996 * dbxout.c (dbxout_symbol) <PARM_DECL>: Deal with parameters pointing
2997 to variables for debugging purposes.
2999 2009-06-23 Mark Loeser <mark@halcy0n.com>
3002 * Makefile.in (gcc.pod): Depend on gcc-vers.texi.
3004 2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org>
3006 * pretty-print.c (pp_base_format): Remove %J.
3007 * c-format.c (gcc_diag_char_table, gcc_tdiag_char_table,
3008 gcc_cxxdiag_char_table): Likewise.
3009 (init_dynamic_diag_info): Likewise.
3011 2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org>
3013 * pretty-print.c (pp_base_format): Remove %H.
3014 * c-format.c (gcc_diag_char_table, gcc_tdiag_char_table,
3015 gcc_cxxdiag_char_table): Likewise.
3016 (init_dynamic_diag_info): Likewise.
3017 * config/mep/mep.c (mep_select_section): Likewise.
3019 2009-07-07 Duncan Sands <baldrick@free.fr>
3021 * final.c (pass_clean_state): Give the pass a name.
3022 * passes.c (pass_rest_of_compilation): Likewise.
3023 * tree-optimize.c (pass_all_optimizations): Likewise.
3025 2009-07-07 H.J. Lu <hongjiu.lu@intel.com>
3027 * config/ia64/ia64.c (ia64_handle_model_attribute): Remove
3028 an extra 'decl' for error_at.
3030 2009-07-07 Jakub Jelinek <jakub@redhat.com>
3033 * tree-tailcall.c (adjust_return_value_with_ops,
3034 create_tailcall_accumulator): Set DECL_GIMPLE_REG_P on the temporary
3035 if it has complex or vector type.
3037 2009-07-07 Olivier Hainque <hainque@adacore.com>
3039 * config/alpha/t-osf4 (SHLIB_LINK): Do not hide the dummy weak
3042 2009-07-07 Basile Starynkevitch <basile@starynkevitch.net>
3044 * Makefile.in: added more lists of includes to PLUGIN_HEADERS.
3046 2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org>
3048 * cgraphunit.c: Replace %J by an explicit location. Update all calls.
3049 * c-decl.c: Likewise.
3050 * function.c: Likewise.
3051 * varasm.c: Likewise.
3052 * tree-ssa.c: Likewise.
3053 * c-common.c: Likewise.
3054 * tree-cfg.c: Likewise.
3055 * config/spu/spu.c: Likewise.
3056 * config/ia64/ia64.c: Likewise.
3057 * config/v850/v850.c: Likewise.
3059 2009-07-06 DJ Delorie <dj@redhat.com>
3061 * config/mep/mep-core.cpu (fsft, ssarb): Mark as VOLATILE.
3062 * config/mep/mep-ivc2.cpu (many): Add VOLATILE to more insns that make
3063 unspecified accesses to control registers.
3064 * config/mep/intrinsics.md: Regenerate.
3065 * config/mep/intrinsics.h: Regenerate.
3066 * config/mep/mep-intrin.h: Regenerate.
3068 2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org>
3070 * c-lex.c: Replace %H by an explicit location. Update all calls.
3071 * c-common.c: Likewise.
3072 * c-decl.c: Likewise.
3073 * c-typeck.c: Likewise.
3074 * fold-const.c: Likewise.
3075 * gimplify.c: Likewise.
3077 * tree-cfg.c: Likewise.
3078 * tree-ssa-loop-niter.c: Likewise.
3079 * tree-vrp.c: Likewise.
3080 * value-prof.c: Likewise.
3082 2009-07-06 Diego Novillo <dnovillo@google.com>
3084 * tree-dfa.c (dump_variable): Write DECL_INITIAL for VAR
3085 if it has one. Handle cases where VAR does not have an
3086 annotation or cfun is NULL.
3088 2009-07-06 Diego Novillo <dnovillo@google.com>
3090 * tree.c: Include debug.h.
3091 (initialize_tree_contains_struct): New.
3092 (init_ttree): Call it.
3093 (tree_node_structure_for_code): Factor out of ...
3094 (tree_node_structure): ... here.
3095 * treestruct.def (TS_PHI_NODE): Remove.
3096 (TS_GIMPLE_STATEMENT): Remove.
3098 2009-07-06 Diego Novillo <dnovillo@google.com>
3100 * tree-pretty-print.c (dump_generic_node): Protect against NULL op0.
3101 (debug_tree_chain): Handle cycles.
3103 2009-07-06 Nick Clifton <nickc@redhat.com>
3104 DJ Delorie <dj@redhat.com>
3106 * config.sh/lib1funcs.h (FMOVD_WORKS): Only define if
3107 __FMOVD_ENABLED__ is defined.
3109 (TARGET_FMOVD): Provide a default definition.
3110 (MASK_FMOVD): Likewise.
3111 (TARGET_CPU_CPP_BUILTINS): Define
3112 __FMOVD_ENABLED__ if TARGET_FMOVD is true.
3113 * config/sh/sh.md (movdf_i4): For alternative 0 use either one or
3114 two fmov instructions depending upon whether TARGET_FMOVD is enabled.
3115 (split for DF load from memory into register): Also handle
3116 MEMs which consist of REG+DISP addressing.
3117 (split for DF store from register to memory): Likewise.
3118 (movsf_ie): Always use single fp_mode.
3119 * config/sh/sh.c (sh_override_options): Do not automatically
3120 enable TARGET_MOVD for the SH2A when supporting doubles - leave
3121 that to the -mfmovd command line switch.
3122 (broken_move): Do not restrict fldi test to only the SH4 and SH4A.
3123 (fldi_ok): Always allow.
3124 * config/sh/sh.opt (mfmovd): Remove this switch.
3125 * doc/invoke.texi (-mfmovd): Remove documentation of this switch.
3127 2009-07-06 J"orn Rennecke <joern.rennecke@arc.com>
3128 Kaz Kojima <kkojima@gcc.gnu.org>
3130 PR rtl-optimization/30807
3131 * postreload.c (reload_combine): For every new use of REG_SUM,
3132 record the use of BASE.
3134 2009-07-06 Jan Hubicka <jh@suse.cz>
3136 * params.def: Revert my accidental commit at 2009-06-30.
3138 2009-07-04 Ian Lance Taylor <iant@google.com>
3141 * config/i386/msformat-c.c (mingw_format_attributes): Declare as
3143 (mingw_format_attribute_overrides): Likewise.
3145 2009-07-04 Jakub Jelinek <jakub@redhat.com>
3148 * dwarf2out.c (based_loc_descr): For crtl->stack_realign_tried
3149 don't check cfa.reg. Instead of cfa.indirect use
3150 fde && fde->drap_reg != INVALID_REGNUM test.
3152 2009-07-04 Eric Botcazou <ebotcazou@adacore.com>
3154 * postreload.c (reload_combine): Replace CONST_REG with INDEX_REG.
3156 2009-07-03 Vladimir Makarov <vmakarov@redhat.com>
3159 * ira.c (build_insn_chain): Use DF_LR_OUT instead of df_get_live_out.
3161 2009-07-03 Richard Guenther <rguenther@suse.de>
3163 PR tree-optimization/40640
3164 * tree-switch-conversion.c (build_arrays): Perform arithmetic
3167 2009-07-03 Jan Hubicka <jh@suse.cz>
3169 * ipa-inline.c (cgraph_decide_inlining_incrementally): When optimizing
3170 for size, reduce amount of inlining.
3172 2009-07-03 Richard Guenther <rguenther@suse.de>
3175 * tree-chrec.c (chrec_convert_1): Fold (T2)(t +- x) to (T2)t +- (T2)x
3176 if t +- x is known to not overflow and the conversion widens the
3178 * Makefile.in (tree-chrec.o): Add $(FLAGS_H) dependency.
3180 2009-07-03 Jan Hubicka <jh@suse.cz>
3182 * ipa-pure-const.c (analyze): Update loop optimizer init.
3183 * tree-ssa-loop-iv-canon.c (empty_loop_p, remove_empty_loop,
3184 try_remove_empty_loop, remove_empty_loops): Remove.
3185 * tree-ssa-loop.c (tree_ssa_empty_loop, pass_empty_loop): Remove.
3186 * tree-ssa-dce.c (find_obviously_necessary_stmts): Use finiteness info
3187 to mark regular loops as neccesary.
3188 (degenerate_phi_p): New function.
3189 (propagate_necessity, remove_dead_phis): Use it.
3190 (forward_edge_to_pdom): Likewise.
3191 (eliminate_unnecessary_stmts): Take care to remove uses of results of
3192 virtual PHI nodes that became unreachable.
3193 (perform_tree_ssa_dce): Initialize/deinitialize loop optimizer.
3194 * tree-flow.h (remove_empty_loops): Remove.
3195 * passes.c (init_optimization_passes): Remove.
3197 2009-07-03 Uros Bizjak <ubizjak@gmail.com>
3199 * config/i386/i386.md (fix_trunc<mode>_fisttp_i387_1): Use
3200 can_create_pseudo_p.
3201 (*fix_trunc<mode>_i387_1): Ditto.
3202 (*floathi<mode>2_1): Ditto.
3203 (*float<SSEMODEI24:mode><X87MODEF:mode>2_1): Ditto.
3204 (*fistdi2_1): Ditto.
3205 (*fist<mode>2_1): Ditto.
3206 (frndintxf2_floor): Ditto.
3207 (*fist<mode>2_floor_1): Ditto.
3208 (frndintxf2_ceil): Ditto.
3209 (*fist<mode>2_ceil_1): Ditto.
3210 (frndintxf2_trunc): Ditto.
3211 (frndintxf2_mask_pm): Ditto.
3212 (fxam<mode>2_i387_with_temp): Ditto.
3213 * config/i386/sse.md (mulv16qi3): Ditto.
3214 (*sse2_mulv4si3): Ditto.
3216 (sse4_2_pcmpestr): Ditto.
3217 (sse4_2_pcmpistr): Ditto.
3219 2009-07-03 Jan Hubicka <jh@suse.cz>
3221 * tree-ssa-dce.c (bb_contains_live_stmts): New bitmap.
3222 (mark_stmt_necessary): Set it.
3223 (mark_operand_necessary): Set it.
3224 (mark_control_dependent_edges_necessary): Set it.
3225 (mark_virtual_phi_result_for_renaming): New function.
3226 (get_live_post_dom): New function.
3227 (forward_edge_to_pdom): New function.
3228 (remove_dead_stmt): Fix handling of control dependences.
3229 (tree_dce_init): Init new bitmap.
3230 (tree_dce_done): Free it.
3232 2009-07-02 Richard Guenther <rguenther@suse.de>
3235 * tree-ssa-structalias.c (new_var_info): Initialize
3238 2009-07-02 Jan Hubicka <jh@suse.cz>
3240 * ipa-pure-const.c (check_op): Use PTA info to see if indirect_ref is
3243 2009-07-02 Paolo Bonzini <bonzini@gnu.org>
3245 * expmed.c (emit_cstore, emit_store_flag_1): Accept target_mode
3246 instead of recomputing it. Adjust calls.
3247 (emit_store_flag): Adjust recursive calls.
3249 2009-07-02 Richard Guenther <rguenther@suse.de>
3251 * tree-ssa-live.c (remove_unused_locals): Do not remove
3253 * tree-ssa-structalias.c (handle_lhs_call): Delay setting
3254 of DECL_EXTERNAL for HEAP variables.
3255 (compute_points_to_sets): Set DECL_EXTERNAL for escaped
3256 HEAP variables. Do not adjust RESTRICT vars.
3257 (find_what_var_points_to): Nobody cares if something
3260 2009-07-02 Ben Elliston <bje@au.ibm.com>
3262 * unwind-dw2-fde-glibc.c (_Unwind_IteratePhdrCallback): Move
3263 pc_low and pc_high declarations to the top of the function.
3265 2009-07-01 DJ Delorie <dj@redhat.com>
3267 * config/mep/mep.c (mep_handle_option): Leave IVC2 control
3269 (mep_interrupt_saved_reg): Save appropriate IVC2 control registers.
3270 * config/mep/mep-ivc2.cpu: Add VOLATILE to insns that make
3271 unspecified accesses to control registers.
3272 * config/mep/intrinsics.md: Regenerate.
3273 * config/mep/intrinsics.h: Regenerate.
3274 * config/mep/mep-intrin.h: Regenerate.
3276 2009-07-01 Anthony Green <green@moxielogic.com>
3278 * config/moxie/moxie.c (moxie_expand_prologue): Use dec
3279 instruction when possible.
3280 (moxie_expand_prologue): Ditto. Also, save an instruction and
3281 some complexity by popping off of $r12 instead of $sp.
3282 * config/moxie/moxie.md (movsi_pop): Don't assume $sp. Take two
3285 2009-07-01 Richard Henderson <rth@redhat.com>
3288 * function.c (reposition_prologue_and_epilogue_notes): If epilogue
3289 contained no insns, reposition note before last insn.
3291 2009-07-01 Richard Henderson <rth@redhat.com>
3294 * dwarf2out.c (def_cfa_1): Revert 2009-06-11 change for
3295 DW_CFA_def_cfa_offset and DW_CFA_def_cfa.
3297 2009-07-01 Michael Meissner <meissner@linux.vnet.ibm.com>
3300 * config/rs6000/rs6000.c (print_operand): Undo change that breaks
3301 darwin9 for printing reg addresses with %y.
3303 2009-07-01 Adam Nemet <anemet@caviumnetworks.com>
3305 * combine.c (force_to_mode): Handle TRUNCATE. Factor out
3306 truncation from operands in binary operations.
3308 2009-07-01 Adam Nemet <anemet@caviumnetworks.com>
3311 2009-01-11 Adam Nemet <anemet@caviumnetworks.com>
3312 * expmed.c (store_bit_field_1): Properly truncate the paradoxical
3313 subreg of op0 to the original op0.
3315 * expmed.c (store_bit_field_1): Use a temporary as the destination
3316 instead of a paradoxical subreg when we need to truncate the result.
3318 2009-07-01 DJ Delorie <dj@redhat.com>
3320 * config/mep/mep-ivc2.cpu (cmov, cmovc, cmovh): Add intrinsic
3321 names to VLIW variants.
3322 (ivc2rm, ivc2crn): Make data type consistent with non-VLIW variants.
3323 * config/mep/intrinsics.md: Regenerate.
3324 * config/mep/intrinsics.h: Regenerate.
3325 * config/mep/mep-intrin.h: Regenerate.
3327 2009-07-01 Jakub Jelinek <jakub@redhat.com>
3330 * jump.c (returnjump_p): Revert last patch.
3331 * dwarf2out.c (dwarf2out_begin_epilogue): Handle SEQUENCEs.
3333 2009-07-01 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
3336 * pa.md (casesi32p): Use jump table label to determine the offset
3338 (casesi64p): Likewise.
3340 * pa.c (forward_branch_p): Return bool type. Use instruction
3341 addresses when available. Assert that INSN has a jump label.
3342 (pa_adjust_insn_length): Don't call forward_branch_p if INSN doesn't
3345 2009-07-01 Richard Guenther <rguenther@suse.de>
3347 PR tree-optimization/19831
3348 * tree-ssa-dce.c (propagate_necessity): Calls to functions
3349 that only act as barriers do not make any previous stores necessary.
3350 * tree-ssa-structalias.c (handle_lhs_call): Delay making
3351 HEAP variables global, do not add a constraint from nonlocal.
3352 (find_func_aliases): Handle escapes through return statements.
3353 (compute_points_to_sets): Make escaped HEAP variables global.
3355 2009-07-01 Paolo Bonzini <bonzini@gnu.org>
3358 * expmed.c (emit_store_flag): Perform a conversion if necessary,
3359 after reducing a DImode cstore to SImode.
3361 2009-07-01 Paolo Bonzini <bonzini@gnu.org>
3363 * expr.c (expand_expr_real_1): Reinstate fallthrough to
3364 TRUTH_ANDIF_EXPR if do_store_flag returns NULL.
3366 2009-07-01 Maciej W. Rozycki <macro@linux-mips.org>
3368 * config/vax/vax.h (TARGET_BSD_DIVMOD): New macro. Set to 1.
3369 * config/vax/linux.h (TARGET_BSD_DIVMOD): New macro. Redefine the
3371 * config/vax/vax.c (vax_init_libfuncs): Only redefine udiv_optab
3372 and umod_optab if TARGET_BSD_DIVMOD.
3373 * config/vax/lib1funcs.asm: New file.
3374 * config/vax/t-linux: New file.
3375 * config.gcc (vax-*-linux*): Set tmake_file to vax/t-linux.
3377 2009-06-30 Jakub Jelinek <jakub@redhat.com>
3380 * convert.c (convert_to_integer) <case COND_EXPR>: Don't convert
3381 to type arguments that have void type.
3384 * dwarf2out.c (gen_formal_parameter_die): Call
3385 equate_decl_number_to_die if node is different from origin.
3387 2009-06-30 Anthony Green <green@moxielogic.com>
3389 Clean up moxie port for --enable-build-with-cxx.
3390 * config/moxie/moxie.c (moxie_function_value): First two
3391 parameters are const_tree, not tree.
3392 * config/moxie/moxie.h (enum reg_class): Rename CC_REG to CC_REGS.
3393 (REG_CLASS_NAMES): Ditto.
3394 (REGNO_REG_CLASS): Ditto.
3395 * config/moxie/moxie-protos.h (moxie_override_options): Declare.
3396 (moxie_function_value): Fix constyness of arguments.
3398 2009-06-30 Eric Botcazou <ebotcazou@adacore.com>
3400 * cgraphunit.c (cgraph_finalize_compilation_unit): Call
3401 finalize_size_functions before further processing.
3402 * stor-layout.c: Include cgraph.h, tree-inline.h and tree-dump.h.
3403 (variable_size): Call self_referential_size on size expressions
3404 that contain a PLACEHOLDER_EXPR.
3405 (size_functions): New static variable.
3406 (copy_self_referential_tree_r): New static function.
3407 (self_referential_size): Likewise.
3408 (finalize_size_functions): New global function.
3409 * tree.c: Include tree-inline.h.
3410 (push_without_duplicates): New static function.
3411 (find_placeholder_in_expr): New global function.
3412 (substitute_in_expr) <tcc_declaration>: Return the replacement object
3414 <tcc_expression>: Likewise.
3415 <tcc_vl_exp>: If the replacement object is a constant, try to inline
3416 the call in the expression.
3417 * tree.h (finalize_size_functions): Declare.
3418 (find_placeholder_in_expr): Likewise.
3419 (FIND_PLACEHOLDER_IN_EXPR): New macro.
3420 (substitute_placeholder_in_expr): Update comment.
3421 * tree-inline.c (remap_decl): Do not unshare trees if do_not_unshare
3423 (copy_tree_body_r): Likewise.
3424 (copy_tree_body): New static function.
3425 (maybe_inline_call_in_expr): New global function.
3426 * tree-inline.h (struct copy_body_data): Add do_not_unshare field.
3427 (maybe_inline_call_in_expr): Declare.
3428 * Makefile.in (tree.o): Depend on TREE_INLINE_H.
3429 (stor-layout.o): Depend on CGRAPH_H, TREE_INLINE_H, TREE_DUMP_H and
3432 2009-06-30 Richard Guenther <rguenther@suse.de>
3434 * tree-ssa-dce.c (mark_all_reaching_defs_necessary_1): Always
3436 (propagate_necessity): Do not mark reaching defs of stores
3439 2009-06-30 Jan Hubicka <jh@suse.cz>
3441 * cfgloopanal.c (check_irred): Move into ...
3442 (mark_irreducible_loops): ... here; return true if ireducible
3444 * ipa-pure-const.c: Include cfgloop.h and tree-scalar-evolution.h
3445 (analyze_function): Try to prove loop finiteness.
3446 * cfgloop.h (mark_irreducible_loops): Update prototype.
3447 * Makefile.in (ipa-pure-const.o): Add dependency on SCEV and CFGLOOP.
3449 2009-06-30 Basile Starynkevitch <basile@starynkevitch.net>
3451 * Makefile.in (PLUGIN_HEADERS): added ggc, tree-dump, pretty-print.
3453 2009-06-30 Ira Rosen <irar@il.ibm.com>
3455 PR tree-optimization/40542
3456 * tree-vect-stmts.c (vect_analyze_stmt): Don't vectorize volatile
3459 2009-06-30 Martin Jambor <mjambor@suse.cz>
3461 PR tree-optimization/40582
3462 * tree-sra.c (build_ref_for_offset_1): Use types_compatible_p rather
3463 than useless_type_conversion_p.
3464 (generate_subtree_copies): Increment sra_stats.subtree_copies at a
3467 2009-06-30 Martin Jambor <mjambor@suse.cz>
3470 * tree-sra.c (sra_modify_expr): Add access->offset to start_offset.
3472 2009-06-30 Richard Guenther <rguenther@suse.de>
3474 * tree-ssa-alias.c (walk_aliased_vdefs_1): Change interface to
3475 use ao_ref references.
3476 (walk_aliased_vdefs): Likewise.
3477 * tree-ssa-alias.h (walk_aliased_vdefs): Adjust prototype.
3478 * tree-ssa-dce.c (struct ref_data): Remove.
3479 (mark_aliased_reaching_defs_necessary_1): Use the ao_ref argument.
3480 (mark_aliased_reaching_defs_necessary): Adjust.
3481 (mark_all_reaching_defs_necessary_1): Likewise.
3483 2009-06-30 Paolo Bonzini <bonzini@gnu.org>
3486 * expmed.c (emit_cstore): New name of emit_store_flag_1.
3487 (emit_store_flag_1): Extract from emit_store_flag, adjust
3488 calls to (what now is) emit_cstore.
3489 (emit_store_flag): Call emit_store_flag_1 and also use it
3490 for what used to be recursive calls.
3492 2009-06-30 Wei Guozhi <carrot@google.com>
3495 * tree-ssa-sink.c (statement_sink_location): Stop sinking expression
3496 if the target bb post dominates from bb.
3497 * config/i386/i386.c (memory_address_length): Check existence of base
3498 register before using it.
3500 2009-06-30 Nick Clifton <nickc@redhat.com>
3501 DJ Delorie <dj@redhat.com>
3503 * config.sh/lib1funcs.h (FMOVD_WORKS): Only define if
3504 __FMOVD_ENABLED__ is defined.
3506 (TARGET_FMOVD): Provide a default definition.
3507 (MASK_FMOVD): Likewise.
3508 (TARGET_CPU_CPP_BUILTINS): Define
3509 __FMOVD_ENABLED__ if TARGET_FMOVD is true.
3510 * config/sh/sh.md (movdf_i4): For alternative 0 use either one or
3511 two fmov instructions depending upon whether TARGET_FMOVD is
3513 (split for DF load from memory into register): Also handle
3514 MEMs which consist of REG+DISP addressing.
3515 (split for DF store from register to memory): Likewise.
3516 * config/sh/sh.opt (mfmovd): Remove this switch.
3517 * doc/invoke.texi (-mfmovd): Remove documentation of this switch.
3518 * config/sh/sh.c (sh_override_options): Do not automatically
3519 enable TARGET_MOVD for the SH2A when supporting doubles - leave
3520 that to the -mfmovd command line switch.
3522 * config/sh/sh.c (broken_move): Do not restrict fldi test to only
3524 (fldi_ok): Always allow.
3525 * config/sh/sh.md (movsf_ie): Always use single fp_mode.
3527 2009-06-29 DJ Delorie <dj@redhat.com>
3529 * doc/install.texi (mep-x-elf): Correct chip's full name.
3531 2009-06-29 H.J. Lu <hongjiu.lu@intel.com>
3533 * doc/extend.texi: Fix typo.
3535 2009-06-29 Tom Tromey <tromey@redhat.com>
3538 * Makefile.in (DWARF2_H): New variable.
3540 (dwarf2out.o): Likewise.
3541 (dwarf2asm.o): Likewise.
3542 * config/i386/t-i386: Use DWARF2_H.
3543 * except.c: Include elf/dwarf2.h.
3544 * unwind-dw2.c: Include elf/dwarf2.h.
3545 * dwarf2out.c: Include elf/dwarf2.h.
3546 (dw_loc_descr_struct) <dw_loc_opc>: Now a bitfield.
3547 <dtprel>: New field.
3548 (dwarf_stack_op_name): Don't handle INTERNAL_DW_OP_tls_addr.
3549 (size_of_loc_descr): Likewise.
3550 (output_loc_operands_raw): Likewise.
3551 (output_loc_operands): Handle new dtprel field.
3552 (loc_checksum): Update.
3553 (loc_descriptor_from_tree_1) <VAR_DDECL>: Set dtprel field.
3554 * unwind-dw2-fde-glibc.c: Include elf/dwarf2.h.
3555 * unwind-dw2-fde.c: Include elf/dwarf2.h.
3556 * dwarf2asm.c: Include elf/dwarf2.h.
3557 * unwind-dw2-fde-darwin.c: Include elf/dwarf2.h.
3558 * config/mmix/mmix.c: Include elf/dwarf2.h.
3559 * config/rs6000/darwin-fallback.c: Include elf/dwarf2.h.
3560 * config/xtensa/unwind-dw2-xtensa.c: Include elf/dwarf2.h.
3561 * config/sh/sh.c: Include elf/dwarf2.h.
3562 * config/i386/i386.c: Include elf/dwarf2.h.
3564 2009-06-29 DJ Delorie <dj@redhat.com>
3566 * config/mep/mep.h (CPP_SPEC): Remove __cop macro.
3568 * doc/extend.texi: Add MeP attributes and pragmas.
3569 * doc/invoke.text: Add MeP Options.
3570 * doc/contrib.texi: Add MeP contribution.
3571 * doc/md.texi: Add MeP constraints.
3572 * doc/install.texi: Add MeP target.
3574 2009-06-30 Anatoly Sokolov <aesok@post.ru>
3576 * target.h (struct gcc_target): Add frame_pointer_required field.
3577 * target-def.h (TARGET_FRAME_POINTER_REQUIRED): New.
3578 (TARGET_INITIALIZER): Use TARGET_FRAME_POINTER_REQUIRED.
3579 * ira.c (setup_eliminable_regset): Use frame_pointer_required target
3581 * reload1.c (update_eliminables): (Ditto.).
3582 * gcc/system.h (FRAME_POINTER_REQUIRED): Poison.
3583 * doc/tm.texi (FRAME_POINTER_REQUIRED): Revise documentation.
3584 (INITIAL_FRAME_POINTER_OFFSET): (Ditto.).
3586 * config/arc/arc.h (FRAME_POINTER_REQUIRED): Remove macro.
3588 * config/arm/arm.h (FRAME_POINTER_REQUIRED): Remove macro.
3589 * config/arm/arm.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3590 (arm_frame_pointer_required): New function.
3592 * config/avr/avr.h (FRAME_POINTER_REQUIRED): Remove macro.
3593 * config/avr/avr.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3594 (avr_frame_pointer_required_p): Declare as static.
3595 * config/avr/avr-protos.h (avr_frame_pointer_required_p): Remove.
3597 * config/bfin/bfin.h (FRAME_POINTER_REQUIRED): Remove macro.
3598 * config/bfin/bfin.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3599 (bfin_frame_pointer_required): Make as static, change return type
3601 * config/bfin/bfin-protos.h (bfin_frame_pointer_required): Remove.
3603 * config/cris/cris.h (FRAME_POINTER_REQUIRED): Remove macro.
3604 * config/cris/cris.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3605 (cris_frame_pointer_required): New function.
3607 * config/crx/crx.h (FRAME_POINTER_REQUIRED): Remove macro.
3609 * config/fr30/fr30.h (FRAME_POINTER_REQUIRED): Remove macro.
3610 * config/fr30/fr30.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3611 (fr30_frame_pointer_required): New function.
3613 * config/frv/frv.h (FRAME_POINTER_REQUIRED): Remove macro.
3614 * config/frv/frv.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3615 (frv_frame_pointer_required): Make as static, change return type
3617 * config/bfin/bfin-protos.h (frv_frame_pointer_required): Remove.
3619 * config/i386/i386.h (FRAME_POINTER_REQUIRED): Remove macro.
3620 * config/i386/i386.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3621 (ix86_frame_pointer_required): Make as static, change return type to
3623 * config/i386/i386-protos.h (ix86_frame_pointer_required): Remove.
3625 * config/m32c/m32c.h (FRAME_POINTER_REQUIRED): Remove macro.
3626 * config/m32c/m32c.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3628 * config/m32r/m32r.h (FRAME_POINTER_REQUIRED): Remove macro.
3630 * config/mcore/mcore.h (CAN_ELIMINATE): Remove macro.
3632 * config/mep/mep.h (FRAME_POINTER_REQUIRED): Remove macro.
3634 * config/mips/mips.h (FRAME_POINTER_REQUIRED): Remove macro.
3635 * config/mips/mips.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3636 (mips_frame_pointer_required): Make as static.
3637 * config/mips/mips-protos.h (mips_frame_pointer_required): Remove.
3639 * config/mmix/mmix.h (FRAME_POINTER_REQUIRED): Remove macro.
3640 * config/mmix/mmix.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3641 (mmix_frame_pointer_required): Mew function.
3643 * config/moxie/moxie.h (FRAME_POINTER_REQUIRED): Remove macro.
3644 * config/moxie/moxie.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3646 * config/pa/pa.h (FRAME_POINTER_REQUIRED): Remove macro.
3648 * config/score/score.h (FRAME_POINTER_REQUIRED): Remove macro.
3650 * config/sh/sh.h (CAN_ELIMINATE): Remove macro.
3652 * config/sparc/sparc.h (FRAME_POINTER_REQUIRED): Remove macro.
3653 (CAN_ELIMINATE): Redefine.
3654 * config/sparc/sparc.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3655 (sparc_frame_pointer_required): New function.
3656 (sparc_can_eliminate): New function.
3657 * config/sparc/sparc-protos.h (sparc_can_eliminate): Declare.
3659 * config/vax/vax.h (FRAME_POINTER_REQUIRED): Remove macro.
3660 * config/vax/vax.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3662 * config/xtensa/xtensa.h (FRAME_POINTER_REQUIRED): Remove macro.
3663 * config/xtensa/xtensa.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3664 (xtensa_frame_pointer_required): Make as static, change return type
3666 * config/xtensa/xtensa-protos.h (xtensa_frame_pointer_required):
3669 2009-06-29 Olatunji Ruwase <tjruwase@google.com>
3671 * doc/plugins.texi: Document PLUGIN_START_UNIT.
3672 * toplev.c (compile_file): Call PLUGIN_START_UNIT.
3673 * gcc-plugin.h (PLUGIN_START_UNIT): Added new event.
3674 * plugin.c (plugin_event_name): Added PLUGIN_START_UNIT.
3675 (register_callback): Handle PLUGIN_START_UNIT.
3676 (invoke_plugin_callbacks): Handle PLUGIN_START_UNIT.
3678 2009-06-29 Eric Botcazou <ebotcazou@adacore.com>
3680 * tree.c (process_call_operands): Propagate TREE_READONLY from the
3682 (PROCESS_ARG): Do not clear TREE_READONLY if CONSTANT_CLASS_P.
3683 (build3_stat): Propagate TREE_READONLY for COND_EXPR.
3685 2009-06-29 Daniel Jacobowitz <dan@codesourcery.com>
3687 * config/arm/arm.h (REGISTER_MOVE_COST): Increase VFP register
3690 2009-06-29 Uros Bizjak <ubizjak@gmail.com>
3692 * doc/extend.texi (Additional Floating Types): __float128 is also
3693 supported on i386 targets.
3695 2009-06-29 Richard Guenther <rguenther@suse.de>
3698 * tree-ssa-alias.h (struct pt_solution): Add vars_contains_restrict
3700 (pt_solutions_same_restrict_base): Declare.
3701 * tree-ssa-structalias.c (struct variable_info): Add is_restrict_var
3703 (new_var_info): Initialize is_global_var properly for SSA_NAMEs.
3704 (make_constraint_from, make_copy_constraint): Move earlier.
3705 (make_constraint_from_heapvar): New function.
3706 (make_constraint_from_restrict): Likewise.
3707 (handle_lhs_call): Use it.
3708 (find_func_aliases): Use it to track conversions to restrict
3710 (struct fieldoff): Add only_restrict_pointers flag.
3711 (push_fields_onto_fieldstack): Initialize it.
3712 (create_variable_info_for): Track global restrict qualified pointers.
3713 (intra_create_variable_infos): Use make_constraint_from_heapvar.
3714 Track restrict qualified pointer arguments.
3715 (set_uids_in_ptset): Use varinfo is_global_var flag.
3716 (find_what_var_points_to): Set the vars_contains_restrict flag.
3717 Always create the points-to solution for sets including restrict tags.
3718 (pt_solutions_same_restrict_base): New function.
3719 * tree-ssa-alias.c (ptr_derefs_may_alias_p): For two restrict
3720 qualified pointers use pt_solutions_same_restrict_base as
3721 additional source for disambiguation.
3723 2009-06-29 Richard Guenther <rguenther@suse.de>
3726 * alias.c (find_base_decl): Remove.
3727 (get_deref_alias_set_1): Remove restrict handling.
3728 * c-common.c (c_apply_type_quals_to_decl): Do not set
3729 DECL_POINTER_ALIAS_SET.
3730 * gimplify.c (find_single_pointer_decl_1): Remove.
3731 (find_single_pointer_decl): Likewise.
3732 (internal_get_tmp_var): Remove restrict handling.
3733 (gimple_regimplify_operands): Likewise.
3734 * omp-low.c (expand_omp_atomic_pipeline): Do not set
3735 DECL_POINTER_ALIAS_SET. Use ref-all pointers.
3736 * print-tree.c (print_node): Do not print DECL_POINTER_ALIAS_SET.
3737 * tree.c (restrict_base_for_decl): Remove.
3738 (init_ttree): Do not allocate it.
3739 (make_node_stat): Do not set DECL_POINTER_ALIAS_SET. Set
3740 LABEL_DECL_UID for label decls.
3741 (copy_node_stat): Do not copy restrict information.
3742 (decl_restrict_base_lookup): Remove.
3743 (decl_restrict_base_insert): Likewise.
3744 (print_restrict_base_statistics): Likewise.
3745 (dump_tree_statistics): Do not call print_restrict_base_statistics.
3746 * tree.h (DECL_POINTER_ALIAS_SET): Remove.
3747 (DECL_POINTER_ALIAS_SET_KNOWN_P): Likewise.
3748 (struct tree_decl_common): Rename pointer_alias_set to label_decl_uid.
3749 (LABEL_DECL_UID): Adjust.
3750 (DECL_BASED_ON_RESTRICT_P): Remove.
3751 (DECL_GET_RESTRICT_BASE): Likewise.
3752 (SET_DECL_RESTRICT_BASE): Likewise.
3753 (struct tree_decl_with_vis): Remove based_on_restrict_p flag.
3755 * config/i386/i386.c (ix86_gimplify_va_arg): Use ref-all pointers
3756 instead of DECL_POINTER_ALIAS_SET.
3757 * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Likewise.
3758 * config/s390/s390.c (s390_gimplify_va_arg): Likewise.
3759 * config/spu/spu.c (spu_gimplify_va_arg_expr): Likewise.
3761 2009-06-29 Richard Guenther <rguenther@suse.de>
3763 PR tree-optimization/40579
3764 * tree-vrp.c (vrp_evaluate_conditional): Bail out early if
3765 the IL to simplify has constants that overflowed.
3767 2009-06-28 Uros Bizjak <ubizjak@gmail.com>
3769 PR tree-optimization/40550
3770 * tree-vect-generic.c (expand_vector_operations_1): Compute in
3771 vector_compute_type only when the size of vector_compute_type is
3772 less than the size of type.
3774 2009-06-28 Eric Botcazou <ebotcazou@adacore.com>
3776 * fold-const.c (contains_label_1): Fix comments.
3777 (contains_label_p): Do not walk trees multiple time.
3779 2009-06-28 Paolo Bonzini <bonzini@gnu.org>
3781 * config/i386/i386.h (enum ix86_fpcmp_strategy): New.
3782 * config/i386/i386.md (cbranchxf4, cstorexf4, cbranch<MODEF>4,
3783 cstore<MODEF>4, mov<X87MODEF>cc): Change predicate to
3784 ix86_fp_comparison_operator.
3785 (*fp_jcc_1_mixed, *fp_jcc_1_sse, *fp_jcc_1_387, *fp_jcc_2_mixed,
3786 *fp_jcc_2_sse, *fp_jcc_2_387): Delete
3787 (*fp_jcc_3_387, *fp_jcc_4_387, *fp_jcc_5_387, *fp_jcc_6_387,
3788 *fp_jcc_7_387, *fp_jcc_8<MODEF>_387): Eliminate call to
3789 !ix86_use_fcomi_compare, change ix86_fp_jump_nontrivial_p call
3790 to !TARGET_CMOVE, change predicate to ix86_fp_comparison_operator.
3791 (related splits): Change predicate to ix86_fp_comparison_operator.
3792 * config/i386/predicates.md: Use ix86_trivial_fp_comparison_operator
3793 instead of ix86_fp_comparison_codes.
3794 (ix86_trivial_fp_comparison_operator,
3795 ix86_fp_comparison_operator): New.
3796 * config/i386/i386-protos.h (ix86_fp_comparison_strategy): New.
3797 (ix86_expand_compare): Eliminate last two parameters.
3798 (ix86_fp_jump_nontrivial_p): Kill.
3799 * config/i386/i386.c (put_condition_code): Eliminate call to
3800 ix86_fp_comparison_codes and subsequent assertion.
3801 (ix86_fp_comparison_codes): Eliminate.
3802 (ix86_fp_swap_condition): New.
3803 (ix86_fp_comparison_arithmetics_cost, ix86_fp_comparison_fcomi_cost,
3804 ix86_fp_comparison_sahf_cost, ix86_use_fcomi_compare): Consolidate
3805 into ix86_fp_comparison_cost and ix86_fp_comparison_strategy.
3806 (ix86_prepare_fp_compare_args): Use ix86_fp_comparison_strategy
3807 and ix86_fp_swap_condition.
3808 (ix86_expand_fp_compare): Eliminate code for second jump/bypass jump.
3809 Use ix86_fp_comparison_strategy.
3810 (ix86_expand_compare): Likewise. Eliminate last two arguments.
3811 (ix86_fp_jump_nontrivial_p): Eliminate.
3812 (ix86_expand_branch): Treat SFmode/DFmode/XFmode as simple. Adjust
3813 call to ix86_expand_compare.
3814 (ix86_split_fp_branch, ix86_expand_setcc,
3815 ix86_expand_carry_flag_compare, ix86_expand_int_movcc,
3816 ix86_expand_fp_movcc): Eliminate code for second jump/bypass jump.
3818 2009-06-28 Paolo Bonzini <bonzini@gnu.org>
3820 * config/arm/arm.c (arm_final_prescan_ins): Eliminate code
3821 related to jump_clobbers.
3822 * config/arm/arm.md (conds): Remove jump_clob case.
3823 (addsi3_cbranch, addsi3_cbranch_scratch, subsi3_cbranch, two
3824 splits): Change comparison_operator to arm_comparison_operator.
3825 (*arm_buneq, *arm_bltgt, *arm_buneq_reversed, *arm_bltgt_reversed):
3828 2009-06-28 Paolo Bonzini <bonzini@gnu.org>
3830 * dojump.c (do_compare_rtx_and_jump): Try swapping the
3831 condition for floating point modes.
3832 * expmed.c (emit_store_flag_1): Move here a bigger part
3834 (emit_store_flag): Try swapping the condition for floating point
3836 * optabs.c (emit_cmp_and_jump_insns): Cope with constant op0 better.
3838 2009-06-28 Paolo Bonzini <bonzini@gnu.org>
3840 * expr.c (expand_expr_real_1): Just use do_store_flag.
3841 (do_store_flag): Drop support for TRUTH_NOT_EXPR. Use
3842 emit_store_flag_force.
3843 * expmed.c (emit_store_flag_force): Copy here trick
3844 previously in expand_expr_real_1. Try reversing the comparison.
3845 (emit_store_flag_1): Work if target is NULL.
3846 (emit_store_flag): Work if target is NULL, using the result mode
3847 from the comparison. Use split_comparison, restructure final part
3848 to simplify conditionals.
3850 2009-06-28 Paolo Bonzini <bonzini@gnu.org>
3852 * builtins.c (expand_errno_check): Use do_compare_rtx_and_jump.
3853 * dojump.c (do_jump): Change handling of floating-point
3854 ops to use just do_compare_and_jump.
3855 (split_comparison): New.
3856 (do_compare_rtx_and_jump): Add here logic coming previously
3857 in do_jump, using split_comparison.
3859 2009-06-27 H.J. Lu <hongjiu.lu@intel.com>
3862 * config/ia64/ia64.c (ia64_reorg): Check NULL insn.
3864 2009-06-27 Paolo Bonzini <bonzini@gnu.org>
3866 * tree-ssa-alias.c: Fix unintentional commit.
3868 2009-06-27 Paolo Bonzini <bonzini@gnu.org>
3870 * passes.c (execute_one_pass): Fix unintentional commit.
3872 2009-06-27 Paolo Bonzini <bonzini@gnu.org>
3874 * df-problems.c (df_set_seen, df_unset_seen): Delete.
3875 (df_rd_local_compute, df_md_local_compute): Inline them.
3877 (df_md_scratch): New.
3878 (df_md_alloc, df_md_free): Allocate/free it.
3879 (df_md_local_compute): Only include live registers in init.
3880 (df_md_transfer_function): Prune the in-set computed by
3881 the confluence function, and the gen-set too.
3883 2009-06-27 Paolo Bonzini <bonzini@gnu.org>
3885 PR rtl-optimization/26854
3886 * timevar.def: Remove TV_DF_RU, add TV_DF_MD.
3887 * df-problems.c (df_rd_add_problem): Fix comment.
3888 (df_md_set_bb_info, df_md_free_bb_info, df_md_alloc,
3889 df_md_simulate_artificial_defs_at_top,
3890 df_md_simulate_one_insn, df_md_bb_local_compute_process_def,
3891 df_md_bb_local_compute, df_md_local_compute, df_md_reset,
3892 df_md_transfer_function, df_md_init, df_md_confluence_0,
3893 df_md_confluence_n, df_md_free, df_md_top_dump, df_md_bottom_dump,
3894 problem_MD, df_md_add_problem): New.
3895 * df.h (DF_MD, DF_MD_BB_INFO, struct df_md_bb_info, df_md,
3896 df_md_get_bb_info): New.
3897 (DF_LAST_PROBLEM_PLUS1): Adjust.
3899 * Makefile.in (fwprop.o): Include domwalk.h.
3900 * fwprop.c: Include domwalk.h.
3901 (reg_defs, reg_defs_stack): New.
3902 (bitmap_only_bit_between): Remove.
3903 (process_defs): New.
3904 (process_uses): Use reg_defs and local_md instead of
3905 bitmap_only_bit_between and local_rd.
3906 (single_def_use_enter_block): New, from build_single_def_use_links.
3907 (single_def_use_leave_block): New.
3908 (build_single_def_use_links): Remove code moved to
3909 single_def_use_enter_block, invoke domwalk.
3910 (use_killed_between): Adjust comment.
3912 2009-06-27 Paolo Bonzini <bonzini@gnu.org>
3914 * bitmap.h (bitmap_ior_and_into): New.
3915 * bitmap.c (bitmap_ior_and_into): New.
3917 2009-06-27 Paolo Bonzini <bonzini@gnu.org>
3919 * domwalk.h (struct dom_walk_data): Remove all callbacks except
3920 before_dom_children_before_stmts and after_dom_children_after_stmts.
3921 Rename the two remaining callbacks to just before_dom_children and
3922 after_dom_children. Remove other GIMPLE statement walking bits.
3923 * domwalk.c (walk_dominator_tree): Remove now unsupported features.
3924 * graphite.c: Do not include domwalk.h.
3925 * tree-into-ssa.c (interesting_blocks): New global.
3926 (struct mark_def_sites_global_data): Remove it and names_to_rename.
3927 (mark_def_sites, rewrite_stmt, rewrite_add_phi_arguments,
3928 rewrite_update_stmt, rewrite_update_phi_arguments): Simplify
3929 now that they're not domwalk callbacks.
3930 (rewrite_initialize_block): Rename to...
3931 (rewrite_enter_block): ... this, place after called functions. Test
3932 interesting_blocks, call rewrite_stmt and rewrite_add_phi_arguments.
3933 (rewrite_finalize_block): Rename to...
3934 (rewrite_leave_block): ... this, place after called functions.
3935 (rewrite_update_init_block): Rename to...
3936 (rewrite_update_enter_block): ... this, place after called functions.
3937 Test interesting_blocks, call rewrite_update_stmt and
3938 rewrite_update_phi_arguments.
3939 (rewrite_update_fini_block): Rename to...
3940 (rewrite_leave_block): ... this, place after called functions.
3941 (rewrite_blocks): Remove last argument, simplify initialization of
3943 (mark_def_sites_initialize_block): Rename to...
3944 (mark_def_sites_block): ... this, call mark_def_sites.
3945 (mark_def_sites_blocks): Remove argument, simplify initialization of
3947 (rewrite_into_ssa): Adjust for interesting_blocks_being a global.
3948 (update_ssa): Likewise.
3949 * tree-ssa-dom.c (optimize_stmt): Simplify now that it's not a domwalk
3951 (tree_ssa_dominator_optimize): Simplify initialization of walk_data.
3952 (dom_opt_initialize_block): Rename to...
3953 (dom_opt_enter_block): ... this, place after called functions. Walk
3954 statements here, inline propagate_to_outgoing_edges.
3955 (dom_opt_finalize_block): Rename to...
3956 (dom_opt_leave_block): ... this, place after called functions.
3957 * tree-ssa-dse.c (dse_optimize_stmt): Simplify now that it's not a
3959 (dse_enter_block, dse_record_phi): New.
3960 (dse_record_phis): Delete.
3961 (dse_finalize_block): Rename to...
3962 (dse_leave_block): ... this.
3963 (tree_ssa_dse): Simplify initialization of walk_data.
3964 * tree-ssa-loop-im.c (determine_invariantness, move_computations):
3965 Adjust initialization of walk_data.
3966 * tree-ssa-loop-unswitch.c: Do not include domwalk.h.
3967 * tree-ssa-loop-phiopt.c (get_non_trapping):
3968 Adjust initialization of walk_data.
3969 * tree-ssa-loop-threadedge.c: Do not include domwalk.h.
3970 * tree-ssa-uncprop.c (uncprop_into_successor_phis): Simplify now that
3971 it's not a domwalk callback.
3972 (uncprop_initialize_block): Rename to...
3973 (dse_enter_block): ... this, call uncprop_into_successor_phis.
3974 (dse_finalize_block): Rename to...
3975 (dse_leave_block): ... this.
3976 (tree_ssa_uncprop): Simplify initialization of walk_data.
3977 * Makefile.in: Adjust dependencies.
3979 2009-06-27 Richard Earnshaw <rearnsha@arm.com>
3981 * arm.md (casesi): Fix test for Thumb1.
3982 (thumb1_casesi_internal_pic): Likewise.
3983 (thumb1_casesi_dispatch): Likewise.
3985 2009-06-26 Daniel Gutson <dgutson@codesourcery.com>
3987 * config/arm/arm-cores.def: Added core cortex-m0.
3988 * config/arm/arm-tune.md: Regenerated.
3989 * doc/invoke.texi: Added entry for cpu ARM Cortex-M0.
3991 2009-06-26 DJ Delorie <dj@redhat.com>
3993 * config/mep/mep.opt (mfar): Remove -mfar as it doesn't do anything.
3995 * config/mep/mep.c (mep_bundle_insns): Account for the fact that
3996 the scheduler doesn't tag jump insns.
3998 2009-06-26 H.J. Lu <hongjiu.lu@intel.com>
4000 * c-decl.c (merge_decls): Re-indent.
4002 2009-06-26 Janis Johnson <janis187@us.ibm.com>
OSDN Git Service
