1 2006-01-11 Jan Hubicka <jh@suse.cz>
3 * cgraph.c (cgraph_insert_node_to_hashtable): New function.
4 * cgraph.h (cgraph_node): Add inline_decl.
5 (cgraph_insert_node_to_hashtable): Declare.
6 (save_inline_function_body): Declare.
7 * cgraphunit.c (verify_cgraph_node): Inline edges might point to inline
9 (cgraph_preserve_function_body_p): Do not presrve when dump is enabled.
10 (cgraph_function_versioning): Update call of tree_function_versioning.
11 (save_inline_function_body): New function.
12 * function.h (struct function): Kill saved_eh, saved_cfg, saved_args,
13 saved_static_chain_decl, saved_blocks and saved-unexpanded_var_list.
14 * ipa-inline.c (cgraph_mark_inline_edge): Look for inline clones.
15 (cgraph_default_inline_p): Likewise.
16 (cgraph_decide_inlining_incrementally): Likewise.
17 * tree-inline.c (inline_data): Kill saving_p add update_clones_p.
18 (copy_bb): Kill saving; do updating of clones.
19 (copy_cfg_body): Kill saving.
20 (initialize_inlined-parameters): Likewise.
21 (expand_call_inline): Likewise.
23 (tree_function_versioning): New parameter "update_clones".
24 (inlining_p): Kill saving.
25 * tree-inline.h (tree_function_versioning): Update prototype.
26 * tree-optimize.c (tree_rest_of_compilation): Use clonning instead of
29 2006-01-11 Ian Lance Taylor <ian@airs.com>
31 * combine.c (struct undo): Remove is_int. Enumify types of undos.
32 Allow undoing set of machine mode.
33 (do_SUBST): Use enums instead of is_int.
34 (do_SUBST_MODE): New function.
35 (SUBST_MODE): New macro.
36 (try_combine): Use SUBST_MODE/PUT_MODE instead of generating a new
37 reg and trying to replace reg_regno_rtx with a new register.
38 (undo_all): Use new enums, handle undoing a PUT_MODE change.
39 (simplify_set): Use SUBST_MODE.
40 (distribute_notes): Remove code that tried to update reg notes
41 for regno_reg_rtx changes.
43 2006-01-11 Paolo Bonzini <bonzini@gnu.org>
45 PR tree-optimization/23109
46 PR tree-optimization/23948
47 PR tree-optimization/24123
49 * Makefile.in (tree-ssa-math-opts.o): Adjust dependencies.
50 * tree-cfg.c (single_noncomplex_succ): New.
51 * tree-flow.h (single_noncomplex_succ): Declare it.
52 * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
53 * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
54 (struct occurrence, occ_head, occ_pool, is_divide_by, compute_merit,
55 insert_bb, register_division_in, insert_reciprocals,
56 replace_reciprocal, free_bb): New.
57 (execute_cse_reciprocals_1): Rewritten.
58 (execute_cse_reciprocals): Adjust calls to execute_cse_reciprocals_1.
59 Do not commit any edge insertion. Always compute dominators and
60 create the allocation pool.
61 * target-def.h (TARGET_MIN_DIVISIONS_FOR_RECIP_MUL): New.
62 * target.h (struct gcc_target): Add min_divistions_for_recip_mul.
63 * targhooks.c (default_min_divistions_for_recip_mul): New.
64 * targhooks.h (default_min_divistions_for_recip_mul): New prototype.
65 * passes.c (init_optimization_passes): Run recip after tree loop
67 * doc/tm.texi (Misc): Document TARGET_MIN_DIVISIONS_FOR_RECIP_MUL.
69 2005-01-11 Danny Berlin <dberlin@dberlin.org>
70 Kenneth Zadeck <zadeck@naturalbridge.com>
72 * df.h (DF_SCAN, DF_RU, DF_RD, DF_LR, DF_UR, DF_UREC, DF_CHAIN,
73 DF_RI, DF_LAST_PROBLEM_PLUS1, DF_DU_CHAIN, DF_UD_CHAIN,
74 DF_REF_TYPE_NAMES, DF_HARD_REGS, DF_EQUIV_NOTES, DF_SUBREGS,
75 DF_SCAN_BB_INFO, DF_RU_BB_INFO, DF_RD_BB_INFO, DF_LR_BB_INFO,
76 DF_UR_BB_INFO, DF_UREC_BB_INFO, DF_LIVE_IN, DF_LIVE_OUT,
77 DF_RA_LIVE_IN, DF_RA_LIVE_OUT, DF_UPWARD_LIVE_IN,
78 DF_UPWARD_LIVE_OUT, DF_REF_REAL_REG, DF_REF_REGNO,
79 DF_REF_REAL_LOC, DF_REF_REG, DF_REF_LOC, DF_REF_BB, DF_REF_BBNO,
80 DF_REF_INSN, DF_REF_INSN_UID, DF_REF_TYPE, DF_REF_CHAIN,
81 DF_REF_ID, DF_REF_FLAGS, DF_REF_NEXT_REG, DF_REF_PREV_REG,
82 DF_REF_NEXT_REF, DF_REF_DATA, DF_REF_REG_DEF_P, DF_REF_REG_USE_P,
83 DF_REF_REG_MEM_STORE_P, DF_REF_REG_MEM_LOAD_P, DF_REF_REG_MEM_P,
84 DF_DEFS_SIZE, DF_DEFS_GET, DF_DEFS_SET, DF_USES_SIZE, DF_USES_GET,
85 DF_USES_SET, DF_REG_SIZE, DF_REG_DEF_GET, DF_REG_DEF_SET,
86 DF_REG_USE_GET, DF_REG_USE_SET, DF_REGNO_FIRST_DEF,
87 DF_REGNO_LAST_USE, DF_INSN_SIZE, DF_INSN_GET, DF_INSN_SET,
88 DF_INSN_CONTAINS_ASM, DF_INSN_LUID, DF_INSN_DEFS, DF_INSN_USES,
89 DF_INSN_UID_GET, DF_INSN_UID_LUID, DF_INSN_UID_DEFS,
90 DF_INSN_UID_USES, DF_SCAN_INITIAL, DF_SCAN_GLOBAL,
91 DF_SCAN_POST_ALLOC): New macros.
92 (df_flow_dir, df_ref_type, df_ref_flags, df_alloc_function,
93 df_free_bb_function, df_local_compute_function, df_init_function,
94 df_dataflow_function, df_confluence_function_0,
95 df_confluence_function_n, df_transfer_function,
96 df_finalizer_function, df_free_function, df_dump_problem_function,
97 df_problem, dataflow, df_insn_info, df_reg_info, df_ref, df_link,
98 df_ref_info, df, df_map, df_scan_bb_info, df_ru_bb_info,
99 df_ru_bb_info, df_rd_bb_info, df_lr_bb_info, df_ur_bb_info,
100 df_urec_bb_info, ) New types.
101 (df_invalidated_by_call, df_all_hard_regs, df_state) New public
103 (df_init, df_add_problem, df_set_blocks, df_finish, df_analyze,
104 df_analyze_simple_change_some_blocks,
105 df_analyze_simple_change_one_block, df_compact_blocks,
106 df_bb_replace, df_bb_regno_last_use_find,
107 df_bb_regno_first_def_find, df_bb_regno_last_def_find,
108 df_insn_regno_def_p, df_find_def, df_find_use,
109 df_iterative_dataflow, df_dump, df_chain_dump, df_refs_chain_dump,
110 df_regs_chain_dump, df_insn_debug, df_insn_debug_regno,
111 df_regno_debug, df_ref_debug, debug_df_insn, debug_df_regno,
112 debug_df_reg, debug_df_defno, debug_df_useno, debug_df_ref,
113 debug_df_chain, df_get_dependent_problem, df_chain_create,
114 df_chain_unlink, df_chain_copy, df_get_live_in, df_get_live_out,
115 df_grow_bb_info, df_chain_dump, df_print_bb_index,
116 df_ru_add_problem, df_ru_get_bb_info, df_rd_add_problem,
117 df_rd_get_bb_info, df_lr_add_problem, df_lr_get_bb_info,
118 df_ur_add_problem, df_ur_get_bb_info, df_urec_add_problem,
119 df_urec_get_bb_info, df_chain_add_problem, df_ri_add_problem,
120 df_reg_lifetime, df_scan_get_bb_info, df_scan_add_problem,
121 df_rescan_blocks, df_ref_create, df_get_artificial_defs,
122 df_get_artificial_uses, df_reg_chain_create, df_reg_chain_unlink,
123 df_ref_remove, df_insn_refs_delete, df_refs_delete,
124 df_reorganize_refs, df_set_state, df_hard_reg_init,
125 df_read_modify_subreg_p) New public functions.
126 * df-core.c: The core dataflow solver and glue routines for rtl
128 (df_init, df_add_problem, df_set_blocks, df_finish,
129 df_hybrid_search_forward, df_hybrid_search_backward,
130 df_iterative_dataflow, df_prune_to_subcfg, df_analyze_problem,
131 df_analyze, df_get_bb_info, df_set_bb_info, df_bb_replace,
132 df_bb_regno_last_use_find, df_bb_regno_first_def_find,
133 df_bb_regno_last_def_find, df_insn_regno_def_p, df_find_def,
134 df_reg_defined, df_find_use, df_reg_used, df_dump,
135 df_refs_chain_dump, df_regs_chain_dump, df_insn_debug,
136 df_insn_debug_regno, df_regno_debug, df_ref_debug, debug_df_insn,
137 debug_df_reg, debug_df_regno, debug_df_ref debug_df_defno,
138 debug_df_useno, reset_df_after_reload): New functions.
139 * df-scan.c: The scanning fuctions, once in df.c, completely
140 rewritten so that they now fully model the functionality of
141 register usage at the backend.
142 (df_scan_free_internal, df_scan_get_bb_info, df_scan_set_bb_info,
143 df_scan_free_bb_info, df_scan_alloc, df_scan_free, df_scan_dump,
144 df_scan_add_problem, df_grow_reg_info, df_grow_ref_info,
145 df_grow_insn_info, df_rescan_blocks, df_ref_create,
146 df_get_artificial_defs, df_get_artificial_uses,
147 df_reg_chain_create, df_ref_unlink, df_reg_chain_unlink,
148 df_ref_remove, df_insn_create_insn_record, df_insn_refs_delete,
149 df_refs_delete, df_reorganize_refs, df_set_state,
150 df_ref_create_structure, df_ref_record, df_read_modify_subreg_p,
151 df_def_record_1, df_defs_record, df_uses_record,
152 df_insn_contains_asm_1, df_insn_contains_asm, df_insn_refs_record,
153 df_has_eh_preds, df_bb_refs_record, df_refs_record, df_mark_reg,
154 df_record_exit_block_uses, df_hard_reg_init): New functions.
156 * df-problems.c: Seven concrete dataflow problems that use the
157 scanning in df-scan.c and are solved by the engine in df-core.c.
158 (df_get_dependent_problem, df_chain_create, df_chain_unlink,
159 df_chain_copy, df_get_live_in, df_get_live_out, df_grow_bb_info,
160 df_chain_dump, df_print_bb_index, df_ref_bitmap, df_set_seen,
161 df_unset_seen, df_ru_get_bb_info, df_ru_set_bb_info,
162 df_ru_free_bb_info, df_ru_alloc,
163 df_ru_bb_local_compute_process_def,
164 df_ru_bb_local_compute_process_use, df_ru_bb_local_compute,
165 df_ru_local_compute, df_ru_init_solution, df_ru_confluence_n,
166 df_ru_transfer_function, df_ru_free, df_ru_dump,
167 df_ru_add_problem, df_rd_get_bb_info, df_rd_set_bb_info,
168 df_rd_free_bb_info, df_rd_alloc,
169 df_rd_bb_local_compute_process_def, df_rd_bb_local_compute,
170 df_rd_local_compute, df_rd_init_solution, df_rd_confluence_n,
171 df_rd_transfer_function, df_rd_free, df_rd_dump,
172 df_rd_add_problem, df_lr_get_bb_info, df_lr_set_bb_info,
173 df_lr_free_bb_info, df_lr_alloc, df_lr_bb_local_compute,
174 df_lr_local_compute, df_lr_init, df_lr_confluence_0,
175 df_lr_confluence_n, df_lr_transfer_function, df_lr_free,
176 df_lr_dump, df_lr_add_problem, df_ur_get_bb_info,
177 df_ur_set_bb_info, df_ur_free_bb_info, df_ur_alloc,
178 df_ur_bb_local_compute, df_ur_local_compute, df_ur_init,
179 df_ur_local_finalize, df_ur_confluence_n, df_ur_transfer_function,
180 df_ur_free, df_ur_dump, df_ur_add_problem, df_urec_get_bb_info,
181 df_urec_set_bb_info, df_urec_free_bb_info, df_urec_alloc,
182 df_urec_mark_reg_change, df_urec_check_earlyclobber,
183 df_urec_mark_reg_use_for_earlyclobber,
184 df_urec_mark_reg_use_for_earlyclobber_1, df_urec_bb_local_compute,
185 df_urec_local_compute, df_urec_init, df_urec_local_finalize,
186 df_urec_confluence_n, df_urec_transfer_function, df_urec_free,
187 df_urec_dump, df_urec_add_problem, df_chain_alloc,
188 df_chain_create_bb_process_use, df_chain_create_bb,
189 df_chain_finalize, df_chain_free, df_chains_dump,
190 df_chain_add_problem, df_ri_alloc, df_ri_bb_compute,
191 df_ri_compute, df_ri_free, df_ri_dump, df_ri_add_problem,
192 df_reg_lifetime): New functions.
193 * df.c: Deleted file.
194 * ddg.c (create_ddg_dep_no_link, build_inter_loop_deps): Made code
195 consistent with new df api.
196 * modulo-sched.c (sms_schedule, rest_of_handle_sms,
197 rest_of_handle_sms): Ditto.
198 * web.c (unionfind_union, union_defs, entry_register, web_main):
200 * loop_invariant.c (invariant_for_use, hash_invariant_expr_1,
201 invariant_expr_equal_p, find_defs, check_dependencies,
202 find_invariant_insn, find_invariants_to_move, move_invariant_reg,
203 free_inv_motion_data, move_loop_invariants): Ditto.
204 * sched-deps.c (sched_analyze_1): Ditto.
206 2006-01-11 Zdenek Dvorak <dvorakz@suse.cz>
208 * tree-ssa-operands.c (get_expr_operands): Record addressable
209 variables directly. Do not call add_stmt_operands for CONST_DECLs
211 (get_indirect_ref_operands): Remove handling of *(&a + offset) case.
212 (add_stmt_operands): Handle only objects satisfying SSA_VAR_P.
214 2006-01-11 Ben Elliston <bje@au.ibm.com>
216 * config/i386/i386.c (ix86_return_in_memory): Fix comment: this
217 function returns true in the positive case.
219 2006-01-10 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
222 * config/pa/pa.md: Create separate 32 and 64-bit move patterns
223 for SI, DI, SF and DF modes. Add alternatives to copy between
224 general and floating point registers to the 32-bit patterns.
225 * config/pa/pa-64.h (SECONDARY_MEMORY_NEEDED_RTX): Delete undefine.
226 * config/pa/pa.h (SECONDARY_MEMORY_NEEDED_RTX): Delete define.
227 (SECONDARY_MEMORY_NEEDED): Secondary memory is only needed when
228 generating 64-bit code.
229 * config/pa/pa.c (output_move_double): Handle copies between general
230 and floating registers.
232 2006-01-10 Stuart Hastings <stuart@apple.com>
234 * config/i386/i386.md (set_got): Update.
235 (set_got_labelled): New. (UNSPEC_LD_MPIC): New.
236 (builtin_setjmp_receiver): Mach-O support.
237 * config/i386/darwin.h (TARGET_ASM_FILE_END) Define.
238 (GOT_SYMBOL_NAME): Define.
239 (FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN): New.
240 (TARGET_DEEP_BRANCH_PREDICTION): Remove.
241 * config/i386/i386.c (override_options): Revise for Darwin.
242 (USE_HIDDEN_LINKONCE): Enable for Mach-O. (ix86_file_end): Mach-O
243 support. (darwin_x86_file_end): New. (output_set_got): Add label
244 parameter, revise for Mach-O. (x86_output_mi_thunk): Likewise.
245 * config/i386/i386-protos.h (output_set_got): Likewise.
246 * config/darwin.c (machopic_legitimize_pic_address): Update
249 2006-01-10 Kaz Kojima <kkojima@gcc.gnu.org>
251 * config/sh/sh.h (SH5_WOULD_BE_PARTIAL_NREGS): Use GET_MODE_SIZE
252 when MODE isn't BLKmode.
254 2006-01-10 Eric Botcazou <ebotcazou@libertysurf.fr>
256 PR rtl-optimization/25367
257 * config/sparc/sparc.h (HARD_REGNO_RENAME_OK): New macro.
259 2006-01-10 Hans-Peter Nilsson <hp@axis.com>
262 * config/cris/cris.md ("uminsi3"): Don't use 8- or 16-bit sizes
263 for a negative bound.
265 2006-01-10 Richard Guenther <rguenther@suse.de>
267 * tree-ssa-structalias.c (get_constraint_for_component_ref):
268 Never override with anything constraint.
270 2006-01-10 Jan Beulich <jbeulich@novell.com>
272 * config/i386/i386.c (ix86_data_alignment): Don't force alignment to
273 256 bits when optimize_size.
275 2006-01-10 Jan Beulich <jbeulich@novell.com>
277 * config/i386/netware.h (TARGET_SUBTARGET_DEFAULT): Include
279 * config/i386/nwld.h (LINK_SPEC): Add --extensions:GNU option.
280 * config/i386/t-nwld (SHLIB_LINK): Insert spaces between expr
283 2006-01-10 Ben Elliston <bje@au.ibm.com>
285 * config/rs6000/predicates.md (easy_fp_constant): Discount decimal
287 * config/rs6000/rs6000.c (rs6000_scalar_mode_supported_p): New.
288 (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
289 (USE_FP_FOR_ARG): Reject decimal float modes.
290 (function_arg_advance): Likewise.
291 (output_toc): Handle emitting TDmode, DDmode and SDmode constants.
292 (rs6000_handle_altivec_attribute): Do not permit decimal floating
293 point types in AltiVec vectors.
294 (rs6000_function_value): Use GP_ARG_RETURN for decimal floats.
295 (rs6000_libcall_value): Likewise.
297 2006-01-09 Bob Wilson <bob.wilson@acm.org>
299 * config/xtensa/ieee754-df.S: New file.
300 * config/xtensa/ieee754-sf.S: New file.
301 * config/xtensa/t-xtensa (LIB2FUNCS_EXTRA): Remove fp-bit.c & dp-bit.c.
302 (LIB1ASMFUNCS): Add SFmode and DFmode floating-point functions.
303 * config/xtensa/lib1funcs.asm: Include ieee754-df.S and ieee754-sf.S.
305 2006-01-09 Kazu Hirata <kazu@codesourcery.com>
307 * config/sh/predicates.md (binary_float_operator,
308 binary_logical_operator, commutative_float_operator,
309 equality_comparison_operator, greater_comparison_operator,
310 less_comparison_operator, logical_operator,
311 noncommutative_float_operator, shift_operator,
312 symbol_ref_operand, unary_float_operator): Remove redundant
315 2006-01-09 Jeff Law <law@redhat.com>
317 * tree-ssa-dom.c (simplify_cond_and_lookup_avail_expr): Remove
318 code to propagate the RHS of a cast into COND_EXPR_COND. Remove
319 now unused arguments. Callers updated.
320 (eliminate_redundant_computations): Remove now unused arguments,
322 (local_fold): Remove, no longer used.
323 (find_equivalent_equality_comparison): Removed from tree-ssa-dom.c
325 * tree-ssa-forwprop.c (find_equivalent_equality_comparison): Here.
326 (simplify_cond): New function.
327 (forward_propagate_into_cond): Call simplify_cond.
329 2006-01-09 Alexandre Oliva <aoliva@redhat.com>
331 * config/i386/sse.md (*vec_extractv2di_1_sse2): New.
332 (*vec_extractv2di_1_sse): New.
334 2006-01-09 Ben Elliston <bje@au.ibm.com>
336 * config/rs6000/rs6000.h (GO_IF_LEGITIMATE_ADDRESS): Typo fix.
338 2006-01-08 Richard Guenther <rguenther@suse.de>
340 * tree-ssa-structalias.c (get_constraint_for): Remove
342 (get_constraint_for_component_ref): Likewise.
343 (do_deref): Likewise.
344 (get_constraint_for): Likewise.
345 (do_structure_copy): Likewise.
346 (handle_ptr_arith): Likewise.
347 (find_func_aliases): Likewise. Remove unused need_anyoffset
350 2006-01-08 J"orn Rennecke <joern.rennecke@st.com>
351 Kaz Kojima <kkojima@gcc.gnu.org>
353 * config/sh/sh.h (CONST_OK_FOR_K16): Define.
354 (CONST_OK_FOR_K): Add CONST_OK_FOR_K16 case.
355 (EXTRA_CONSTRAINT_C16): Remove.
356 (EXTRA_CONSTRAINT_Css, EXTRA_CONSTRAINT_Csu): Define.
357 (EXTRA_CONSTRAINT_C): Remove EXTRA_CONSTRAINT_C16 case and add
358 EXTRA_CONSTRAINT_Css and EXTRA_CONSTRAINT_Csu cases.
359 * config/sh/sh.c (print_operand): Handle unsigned 16-bit symbolic
360 constants of SHmedia. Handle nested constant expressions of
362 (andcosts): Fix the costs for SHmedia constants.
363 (sh_rtx_costs): Take account of outer_code for SHmedia constants.
364 * config/sh/sh.md (*movsi_media): Use Css constraint instead of C16.
365 (*movsi_media_nofpu, *movqi_media, *movhi_media): Likewise.
366 (*movdi_media, *movdi_media_nofpu, movv8qi_i, movv2hi_i): Likewise.
367 (movv4hi_i, movv2si_i): Likewise.
368 (movsi_const): Adjust the second operand of ior so to match with
370 (movdi_const, movdi_const_32bit): Likewise.
371 (movdi_const_16bit+1): Don't sign-extend LOW.
372 (movdi_const_16bit+2): Likewise. Remove the zero_extend and truncate
374 (*double_shori): Fix the split condition. Use GEN_INT instead
375 of get_int_mode calls. Mask lower 16-bit of the argument of
377 (sym2GOTPLT): Remove.
378 (symGOTPLT2reg): Replace gen_sym2GOTPLT with gen_rtx_CONST and
380 * config/sh/predicates.md (arith_operand): Use EXTRA_CONSTRAINT_Css
381 instead of EXTRA_CONSTRAINT_C16.
383 2006-01-07 Ian Lance Taylor <ian@airs.com>
384 David Edelsohn <edelsohn@gnu.org>
386 PR rtl-optimization/25662
387 * optabs.c (simplify_expand_binop): Use simplify_binary_operation
388 for constant operands instead of simplify_gen_binary.
389 * simplify-rtx.c (simplify_gen_binary): Swap commutative operands
390 after trying simplify_binary_operation
392 2006-01-06 Daniel Berlin <dberlin@dberlin.org>
394 * tree.c (iterative_hash_expr): Hash decls based on UID.
396 2006-01-06 Eric Christopher <echristo@apple.com>
398 * doc/tm.texi (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): Document.
399 (TARGET_UNWIND_EMIT): Fix spelling.
400 * target.h (gcc_target): Add except_table_label.
401 * except.c (output_function_exception_table): Use.
402 * varasm.c (default_emit_except_table_label): New.
403 * target-def.h (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): New default
406 * output.h (default_emit_except_table_label): Prototype.
407 * config/darwin-protos.h (darwin_emit_except_table_label): Ditto.
408 * config/darwin.c (darwin_emit_except_table_label): Define.
409 * config/darwin.h (TARGET_ASM_EMIT_EXCEPT_TABLE): Ditto.
411 2006-01-06 Zdenek Dvorak <dvorakz@suse.cz>
413 PR tree-optimization/18527
414 * tree-ssa-loop-niter.c (number_of_iterations_cond,
415 number_of_iterations_special, number_of_iterations_exit):
416 Move base and step of an iv to a single structure. Add
417 no_overflow flag, and use it in # of iterations analysis.
418 * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop): Add
419 folded_casts argument.
420 (simple_iv): Pass base and step in a structure. Set no_overflow
422 (scev_const_prop): Add argument to analyze_scalar_evolution_in_loop.
423 Evaluate expensiveness of computing # of iterations instead of
424 the final expression.
425 * tree-scalar-evolution.h (affine_iv): New structure.
426 (simple_iv): Declaration changed.
427 * tree-chrec.c (chrec_apply): Handle chrecs containing symbols.
428 * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev,
429 find_givs_in_stmt): Changed due to simple_iv change.
431 2006-01-06 Jeff Law <law@redhat.com>
434 * tree-cfg.c (bsi_replace): Rename final argument from
435 PRESERVE_EH_INFO to UPDATE_EH_INFO. Fix typo in last
436 change (stmt -> orig_stmt).
437 * tree-eh.c (verify_eh_throw_stmt_node): New function.
438 (bsi_remove): Add new argument. Remove EH information
440 (verify_eh_throw_table_statements): New function.
441 (bsi_remove): Add new argument REMOVE_EH_INFO. All callers
443 * tree-optimize.c (execute_free_cfg_annotations): Verify
444 the EH throw statement table after removing annotations.
445 * except.h (verify_eh_throw_table_statements): Prototype.
446 * tree-flow.h (bsi_remove): Update prototype.
447 * tree-vrp.c (remove_range_assertions): Add new argument to
449 * tree-ssa-loop-im.c (move_computations_stmt): Likewise.
450 * tree-complex.c (expand_complex_div_wide): Likewise.
451 * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Likewise
452 * tree-tailcall.c (eliminate_tailcall): Likewise.
453 * tree-ssa-dse.c (dse_optimize_stmt): Likewise.
454 * tree-ssa-loop-ivopts.c (remove_statement): Likewise.
455 * tree-nrv.c (tree_nrv): Likewise.
456 * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Likewise.
457 * tree-if-conv.c (tree_if_convert_cond_expr): Likewise.
458 (combine_blocks): Likewise.
459 * tree-ssa-phiopt.c (replace_phi_edge_with_variable): Likewise.
460 * tree-cfgcleanup.c (cleanup_ctrl_expr_graph): Likewise.
461 (cleanup_control_flow): Likewise.
462 (remove_forwarder_block): Likewise.
463 * tree-ssa-pre.c (remove_dead_inserted_code): Likewise.
464 * tree-sra.c (sra_replace): Likewise.
465 * tree-ssa-forwprop.c (forward_propagate_into_cond): Likewise.
466 (forward_propagate_single_use_vars): Likewise.
467 * tree-ssa-dce.c (remove_dead_stmt): Likewise.
468 * tree-inline.c (expand_call_inline): Likewise.
469 * tree-vect-transform.c (vect_transform_loop): Likewise.
470 * tree-outof-ssa.c (rewrite_trees): Likewise.
471 * tree-cfg.c (make_goto_expr_edges): Likewise.
472 (cleanup_dead_labels): Likewise.
473 (tree_merge_blocks, remove_bb, disband_implicit_edges): Likewise.
474 (bsi_move_before, bsi_move_after): Likewise.
475 (bsi_move_to_bb_end, try_redirect_by_replacing_jump): Likewise
476 (tree_redirect_edge_and_branch, tree_split_block): Likewise.
478 2006-01-06 Andrew Pinski <pinskia@physics.uc.edu>
481 * tree-ssa-alias.c (find_used_portions): Handle REALPART_EXPR
483 * tree-flow-inline.h (var_can_have_subvars): Handle complex types
484 on non gimple variables. Also add checks at the top for decls and
486 * tree-ssa-structalias.c (push_fields_onto_fieldstack): Handle
488 * tree-ssa-operands.c (parse_ssa_operands): Handle REALPART_EXPR
489 and IMAGPART_EXPR for creating MUST_DEFs.
490 (get_expr_operands): Handle SSA_NAME, STRUCT_FIELD_TAG, TYPE_MEMORY_TAG,
491 and NAME_MEMORY_TAG separately from the DECLs.
493 2006-01-06 Richard Guenther <rguenther@suse.de>
495 * tree-dfa.c (mark_new_vars_to_rename): Create stmt
496 annotation, if necessary.
497 * tree-ssa-pre.c (create_expression_by_pieces): Remove
498 redundant calls to update_stmt.
499 * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr):
502 2006-01-05 Richard Henderson <rth@redhat.com>
504 * c-parser.c (c_parser_objc_methodprotolist): Handle CPP_PRAGMA.
506 2006-01-05 Carlos O'Donell <carlos@codesourcery.com>
508 * c-typeck.c: Update copyright date.
510 2006-01-05 Carlos O'Donell <carlos@codesourcery.com>
512 * c-typeck.c (build_c_cast): Always warn when casting
513 from a pointer to an integer of different size, even if
514 the node was constant.
516 2006-01-05 Richard Guenther <rguenther@suse.de>
518 PR tree-optimization/22555
519 * tree-ssa-alias.c (create_overlap_variables_for): Do not give up,
520 if one structure field is an array.
521 * tree-ssa-operands.c (get_expr_operands): Continue scanning
522 operands even if we found a subvar, but ignore VOPs in this
524 * tree-ssa-loop-ivopts.c (rewrite_use): Mark new vars in stmt
526 * tree-ssa-loop.c (pass_iv_optimize): Schedule TODO_update_ssa.
528 2006-01-05 Richard Earnshaw <rearnsha@arm.com>
531 * arm/t-netbsd (LIB2FUNCS_EXTRA): Define.
533 2006-01-05 Richard Guenther <rguenther@suse.de>
534 Diego Novillo <dnovillo@redhat.com>
536 * tree-pass.h (TODO_remove_unused_locals): Define.
537 * gimple-low.c (expand_var_p, remove_useless_vars,
538 pass_remove_useless_vars): Remove. Update all users.
539 * tree-ssa-live.c (mark_all_vars_used_1): Handle SSA names.
540 (remove_unused_locals): New function.
541 * tree-flow.h (remove_unused_locals): Declare.
542 * passes.c (execute_todo): Call remove_unused_locals if
543 TODO_remove_unused_locals is set.
544 * tree-into-ssa.c (pass_build_ssa): Add TODO_remove_unused_locals.
545 * tree-ssa-dce.c (pass_dce): Likewise.
546 * tree-outof-ssa.c (pass_del_ssa): Likewise.
548 2006-01-05 Richard Guenther <rguenther@suse.de>
550 * tree-flow.h (struct fieldoff): Decompose field to
552 * tree-ssa-alias.c (create_sft): Take type as parameter.
553 (create_overlap_variables_for): Store type, size and decl
554 in the fieldoff structure.
555 * tree-ssa-structalias.c (fieldoff_compare): Adjust users
557 (push_fields_onto_fieldstack): Likewise.
558 (create_variable_info_for): Likewise. Use offset for the
559 SFT name if the decl is not available.
561 2006-01-04 Paul Brook <paul@codesourcery.com>
563 * config/m68k/m68k.c (m68k_output_mi_thunk): Use jmp, not jsr.
565 2006-01-04 Daniel Berlin <dberlin@dberlin.org>
567 * lambda-code.c (can_put_in_inner_loop): Relax
569 (can_put_after_inner_loop): New function.
570 (can_convert_to_perfect_nest): Use can_put_after_inner_loop as well.
571 (perfect_nestify): Change to make copies and modify uses.
573 2006-01-04 Richard Henderson <rth@redhat.com>
575 Merge from gomp branch:
576 * c-lex.c (c_lex_with_flags) <CPP_PRAGMA>: Smuggle pragma id
577 via integer constant.
578 (pragma_lex): Remove.
579 * c-pch.c (c_common_pch_pragma): Accept the name as an argument,
580 rather than parsing it.
581 * c-pragma.c (handle_pragma_weak, handle_pragma_redefine_extname,
582 handle_pragma_extern_prefix): Add %< %> quotes.
583 (registered_pragmas): New.
584 (c_register_pragma_1): New.
585 (c_register_pragma): Use it.
586 (c_register_pragma_with_expansion): Likewise.
587 (c_invoke_pragma_handler): New.
588 (init_pragma): Use cpp_register_deferred_pragma directly for
590 * c-pragma.h (enum pragma_kind): New.
591 (pragma_handler): New.
592 (c_invoke_pragma_handler): Declare.
593 * c-common.c (c_parse_error): Pretty print CPP_PRAGMA and
595 * c-common.h (c_common_pch_pragma): Update decl.
596 * Makefile.in (c-parser.o): Update dependencies.
597 (GTFILES): Add c-pragma.h.
598 * c-parser.c (struct c_token): Add pragma_kind.
599 (struct c_parser): Add in_pragma.
600 (c_lex_one_token): Always initialize keyword and pragma_kind.
601 Extract data for CPP_PRAGMA.
602 (c_parser_peek_2nd_token): Deny CPP_PRAGMA_EOL.
603 (c_parser_consume_token): Don't allow CPP_PRAGMA unless errors.
604 Don't allow CPP_PRAGMA_EOL if in_pragma.
605 (c_parser_consume_pragma): New.
606 (c_parser_skip_until_found): Stop on CPP_PRAGMA_EOL.
607 (c_parser_skip_to_end_of_parameter): Likewise.
608 (c_parser_skip_to_end_of_block_or_statement): Likewise.
609 (c_parser_skip_to_pragma_eol): New.
610 (c_parser_external_declaration): Handle CPP_PRAGMA.
611 (c_parser_compound_statement_nostart): Likewise.
612 (c_parser_statement_after_labels): Likewise.
613 (c_parser_pragma): New.
614 (pragma_lex): Likewise.
615 (c_parser_pragma_pch_preprocess): New.
616 (c_parser_new): Merge into ...
617 (c_parse_file): ... here. Call c_parser_pragma_pch_preprocess.
619 2006-01-04 Jeff Law <law@redhat.com>
622 * tree-cfg.c (bsi_replace): Remove the original statement
623 from the EH throw statement table.
625 2006-01-04 Jakub Jelinek <jakub@redhat.com>
627 * config/i386/pmm_malloc.h (posix_memalign): If __cplusplus,
628 make the prototype extern "C" and add throw ().
631 * config/i386/i386.md (testqi_ext_3): Ensure len is positive
632 and pos non-negative and pos + len <= 32.
633 (testqi_ext_3_rex64): Ensure len is positive and pos non-negative,
634 drop pos + len < HOST_BITS_PER_WIDE_INT test.
635 (testqi_ext_3* splitter): Handle pos + len == HOST_BITS_PER_WIDE_INT.
638 * c-common.c (handle_vector_size_attribute): Reject zero vector size
639 as well as sizes not multiple of component size.
642 * function.c (instantiate_expr): New function.
643 (instantiate_decls_1, instantiate_decls): If DECL_HAS_VALUE_EXPR_P,
644 walk its DECL_VALUE_EXPR with instantiate_expr.
646 * dwarf2out.c (loc_descriptor_from_tree_1): Don't add
647 DW_OP_deref{,_size} if address isn't going to be added.
649 2006-01-04 Ben Elliston <bje@au.ibm.com>
651 * config/fp-bit.h: Use top-of-file comment from libgcc2.c.
652 * config/fp-bit.c: Likewise.
654 2006-01-03 Daniel Berlin <dberlin@dberlin.org>
656 * dominance.c: Add comment about why we use DFS numbering
659 2006-01-03 Jakub Jelinek <jakub@redhat.com>
660 Richard Henderson <rth@redhat.com>
662 Merge from gomp-branch:
663 * varasm.c (assemble_variable): Handle thread-local COMMON data.
664 * defaults.h (ASM_OUTPUT_TLS_COMMON): Define.
666 2006-01-03 Paolo Bonzini <bonzini@gnu.org>
668 PR rtl-optimization/25578
669 * combine.c (combine_simplify_rtx, force_to_mode): Don't
670 pass a parameter to simplify_shift_const if changing ASHIFTRT
673 2006-01-03 Adrian Straetling <straetling@de.ibm.com>
675 * builtins.c (get_builtin_sync_mem): New function.
676 (expand_builtin_sync_operation, expand_builtin_compare_and_swap,
677 expand_builtin_lock_test_and_set, expand_builtin_lock_release):
678 Call get_builtin_sync_mem to generate mem rtx.
680 2006-01-03 Richard Guenther <rguenther@suse.de>
683 * stmt.c (add_case_node): Make sure to clear overflow flags
686 2006-01-03 Jakub Jelinek <jakub@redhat.com>
688 Merge from gomp-branch.
689 * config/sparc/sync.md: New file.
690 * config/sparc/sparc.md (UNSPECV_MEMBAR, UNSPECV_CAS, UNSPECV_SWAP,
691 UNSPECV_LDSTUB): New constants.
692 * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): New function.
693 * config/sparc/predicates.md (memory_reg_operand): New predicate.
694 * config/sparc/sparc-protos.h (sparc_expand_compare_and_swap_12): New
697 2006-01-03 Roger Sayle <roger@eyesopen.com>
699 * combine.c (reg_subword_p): New predicate to test whether the
700 destination of a set refers to a subword/piece of a register.
701 (try_combine): Generalize the code to merge the setting of a
702 pseudo to a constant followed by a set of a subword of that
703 register to a constant.
705 2006-01-03 Kazu Hirata <kazu@codesourcery.com>
707 * basic-block.h (control_flow_graph): Change the type of
708 x_label_to_block_map to VEC(basic_block,gc) *.
709 * tree-cfg.c (init_empty_tree_cfg, label_to_block_fn,
710 set_bb_for_stmt): Adjust the uses of x_label_to_block_map.
712 * tree-ssa-propagate.c (cfg_blocks): Change the type to
713 VEC(basic_block,heap) *.
714 (cfg_blocks_add, cfg_blocks_get, ssa_prop_init,
715 ssa_prop_fini): Adjust the uses of cfg_blocks.
717 2006-01-03 Steven Bosscher <stevenb.gcc@gmail.com>
719 * fold-const.c (operand_equal_p): Accept a NULL operand 0 for
721 * emit-rtl.c (mem_attrs_htab_eq): Use iterative_hash_expr for
722 hashing trees instead of a pointer hash.
723 (mem_attrs_htab_eq): Do a deep compare instead of a pointer
724 compare for MEM_EXPR.
726 PR rtl-optimization/25130
727 * cse.c (exp_equiv_p): Compare MEM_ATTRS instead of MEM_ALIAS_SET
728 when comparing MEMs for GCSE
730 2006-01-03 Ben Elliston <bje@au.ibm.com>
732 * targhooks.h (default_decimal_float_supported_p): Declare.
733 * targhooks.c (default_decimal_float_supported_p): Define.
734 * target-def.h (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Redefine to
735 `default_decimal_float_supported_p'.
736 * doc/tm.texi (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Update.
738 2006-01-02 Adam Nemet <anemet@caviumnetworks.com>
740 * combine.c (apply_distributive_law <SUBREG>): Check
741 TRULY_NOOP_TRUNCATION.
743 2006-01-02 Geoffrey Keating <geoffk@apple.com>
745 * dwarf2out.c (have_switched_text_section): Delete.
746 (have_multiple_function_sections): New.
747 (have_location_lists): Make 'bool'.
748 (add_AT_loc_list): Use 'true' not '1'.
749 (dwarf2out_switch_text_section): Set have_multiple_function_sections.
750 (output_loc_list): Use have_multiple_function_sections.
751 (output_ranges): Likewise.
752 (dwarf2out_begin_function): Set have_multiple_function_sections if
754 (dwarf2out_source_line): Don't fake separate_line_info_table_in_use.
755 Check function_section rather than DECL_SECTION_NAME.
756 (dwarf2out_finish): Use have_multiple_function_sections.
757 Don't clear have_location_lists.
759 2006-01-02 Eric Botcazou <ebotcazou@adacore.com>
760 Jan Hubicka <jh@suse.cz>
762 * cfglayout.c (fixup_reorder_chain): Remove kludge for the
763 case of conditional jump jumping to the next instruction.
764 * cfgrtl.c (force_nonfallthru_and_redirect): Accept all
765 cases of conditional jump jumping to the next instruction.
767 2006-01-02 Jan Hubicka <jh@suse.cz>
769 * i386.c (*_cost): Add COSTS_N_INSNS.
770 (ix86_rtx_costs): Do not use COSTS_N_INSNS.
772 2006-01-02 Paolo Bonzini <bonzini@gnu.org>
775 * Makefile.in (DECNUMINC): Include libdecnumber's build directory.
777 2006-01-02 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
779 * config/arm/arm.c (all_fpus): Fix comment typo.
780 * config/darwin.c: Likewise.
781 * config/frv/frv.h (FRV_STRUCT_VALUE_REGNUM): Likewise.
782 * config/h8300/h8300.md (extendqisi2_h8300hs): Likewise.
783 * config/m68hc11/m68hc11.c (m68hc11_reload_operands): Likewise.
785 2006-01-01 David Edelsohn <edelsohn@gnu.org>
787 * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): New.
788 (rs6000_split_compare_and_swapqhi): New.
789 * config/rs6000/sync.md (sync_compare_and_swap{hi,qi}): New.
790 (sync_compare_and_swapqhi_internal): New.
791 * config/rs6000/rs6000-protos.h: Declare.