1 2008-04-02 Kai Tietz <kai.tietz@onevision.com>
3 * config.gcc: Add for x86_64-*-mingw* the t-crtfm to tbuild.
5 2008-04-02 Richard Guenther <rguenther@suse.de>
7 * tree-vrp.c (extract_range_from_assert): Make sure to not
8 produce range min/max with TREE_OVERFOW set.
9 If merging a anti-range and a range keep the anti-range if
10 the range covers all values of the type.
11 (register_edge_assert_for_2): Only allow sign-changing
12 conversions in detecting canonical range checks. Also
13 register an assert for the unsigned name if useful.
15 PR tree-optimization/35787
16 * tree-vrp.c (vrp_val_max): New function.
17 (vrp_val_min): Likewise.
18 (vrp_val_is_max): Move earlier, use vrp_val_{min,max}.
19 (vrp_val_is_min): Likewise.
20 (supports_overflow_infinity): Use vrp_val_{min,max}.
21 (negative_overflow_infinity): Likewise.
22 (positive_overflow_infinity): Likewise.
23 (is_negative_overflow_infinity): Use vrp_val_is_{min,max}.
24 (is_positive_overflow_infinity): Likewise.
25 (is_overflow_infinity): Likewise.
26 (avoid_overflow_infinity): Use vrp_val_{min,max} and
28 (set_and_canonicalize_value_range): Canonicalize anti-ranges
29 to ranges if possible. Avoid empty ranges.
31 2008-04-01 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
34 * fold-const.c (get_pointer_modulus_and_residue): Return modulus 1 if
35 the expression is a function address.
37 2008-04-01 George Helffrich <george@gcc.gnu.org>
39 PR fortran/PR35154, fortran/PR23057
40 * fortran/trans-common.c (create_common): Add decl to function
41 chain to preserve identifier scope in debug output.
43 * dbxout.c: Emit .stabs debug info for Fortran COMMON block
44 variables as base symbol name + offset using N_BCOMM/N_ECOMM.
45 (is_fortran, dbxout_common_name, dbxout_common_check): New functions.
46 (dbxout_symbol_location): Transform N_LCSYM to N_GSYM for storage
48 (dbxout_syms): Check for COMMON-based symbol and wrap in
49 N_BCOMM/N_ECOMM stab bracket, including as many symbols as possible
50 in bracket for efficiency.
52 * dwarf2out.c: Emit DWARF debug info for Fortran COMMON block
53 using DW_TAG_common_block + member offset.
54 (add_pubname_string): New function.
55 (dw_expand_expr): New function to find block name and offset for
57 (common_check): New function to check whether symbol in Fortran COMMON.
58 (gen_variable_die): If COMMON, use DW_TAG_common_block.
60 * testsuite/gcc.dg/debug/pr35154.c: New test to check that non-Fortran
61 use of common is unchanged.
63 * testsuite/lib/gfortran-dg.exp: New harness to compile Fortran progs
64 with all combinations of debug options available on target.
65 * testsuite/gfortran.dg/debug/debug.exp: Ditto.
66 * testsuite/gfortran.dg/debug/trivial.f: Ditto.
67 * testsuite/gfortran.dg/debug/pr35154-stabs.f: New test case for
69 * testsuite/gfortran.dg/debug/pr35154-dwarf2.f: New test case for
72 2008-04-01 Volker Reichelt <v.reichelt@netcologne.de>
75 * c-format.c (init_dynamic_gfc_info): Ignore invalid locus type.
77 2008-04-02 Ben Elliston <bje@au.ibm.com>
79 * config/v850/v850.md (casesi): Remove if (0) code.
80 * config/i386/uwin.h (ASM_DECLARE_FUNCTION_NAME): Likewise.
81 * config/alpha/alpha.c (alpha_initialize_trampoline): Likewise.
83 2008-04-01 Uros Bizjak <ubizjak@gmail.com>
85 * config/i386/i386.md (rex64suffix): New mode attribute.
86 (floathi<mode>2): Disable expander for SSE math.
87 (*floathi<mode>2_1): New insn insn_and_split pattern.
88 (*floathi<mode>2_i387_with_temp): New macroized instruction pattern and
89 corresponding post-reload splitters.
90 (*floathi<mode>2_i387): New macroized insn pattern.
91 (float<SSEMODEI24:mode><X87MODEF:mode>2): New macroized expander.
92 (*float<SSEMODEI24:mode><X87MODEF:mode>2_1): New macroized
93 insn_and_split pattern.
94 (*floatsi<mode>2_vector_mixed_with_temp, *floatsi<mode>2_vector_mixed):
95 New macroized instruction patterns and corresponding post-reload
97 (*floatsi<mode>2_mixed_with_temp): New macroized instruction pattern
98 and corresponding post-reload splitters.
99 (*floatsi<mode>2_mixed_interunit, *floatsi<mode>2_mixed_nointerunit):
100 New macroized instruction patterns.
101 (*floatsi<mode>2_vector_sse_with_temp, *floatsi<mode>2_vector_sse): New
102 macroized instruction patterns and corresponding post-reload splitters.
103 (*floatsi<mode>2_sse_with_temp): New macroized instruction pattern and
104 corresponding post-reload splitters.
105 (*floatsi<mode>2_sse_interunit, *floatsi<mode>2_mixed_nointerunit):
106 New macroized instruction patterns.
107 (*floatsi<mode>2_i387_with_temp): New macroized instruction pattern and
108 corresponding post-reload splitters.
109 (*floatsi<mode>2_i387): New macroized instruction patterns.
111 2008-04-01 H.J. Lu <hongjiu.lu@intel.com>
113 * config/i386/i386.md (smaxmin): New.
115 (maxminiprefix): Likewise.
116 (maxminfprefix): Likewise.
117 (<code><mode>3): Likewise.
118 (smin<mode>3): Removed.
119 (smax<mode>3): Likewise.
121 * config/i386/mmx.md (mmx_<code>v2sf3): New.
122 (mmx_<code>v4hi3): Likewise.
123 (mmx_<code>v8qi3): Likewise.
124 (mmx_smaxv2sf3): Removed.
125 (mmx_sminv2sf3): Likewise.
126 (mmx_umaxv8qi3): Likewise.
127 (mmx_smaxv4hi3): Likewise.
128 (mmx_uminv8qi3): Likewise.
129 (mmx_sminv4hi3): Likewise.
131 * config/i386/sse.md (<addsub><mode>3): New.
132 (*<addsub><mode>3): Likewise.
133 (<sse>_vm<addsub><mode>3): Likewise.
134 (<maxmin><mode>3): Likewise.
135 (*<maxmin><mode>3_finite): Likewise.
136 (*<maxmin><mode>3): Likewise.
137 (<sse>_vm<maxmin><mode>3): Likewise.
138 (sse3_h<addsub>v4sf3): Likewise.
139 (sse3_h<addsub>v2df3): Likewise.
140 (<maxmin>v16qi3): Likewise.
141 (*<maxmin>v16qi3): Likewise.
142 (<maxmin>v8hi3): Likewise.
143 (*<maxmin>v8hi3): Likewise.
144 (*sse4_1_<maxmin><mode>3): Likewise.
145 (*sse4_1_<maxmin><mode>3): Likewise.
146 (add<mode>3): Removed.
147 (*add<mode>3): Likewise.
148 (<sse>_vmadd<mode>3): Likewise.
149 (sub<mode>3): Likewise.
150 (*sub<mode>3): Likewise.
151 (<sse>_vmsub<mode>3): Likewise.
152 (smin<mode>3): Likewise.
153 (*smin<mode>3_finite): Likewise.
154 (*smin<mode>3): Likewise.
155 (<sse>_vmsmin<mode>3): Likewise.
156 (smax<mode>3): Likewise.
157 (*smax<mode>3_finite): Likewise.
158 (*smax<mode>3): Likewise.
159 (<sse>_vmsmax<mode>3): Likewise.
160 (sse3_haddv4sf3): Likewise.
161 (sse3_haddv2df3): Likewise.
162 (sse3_hsubv4sf3): Likewise.
163 (sse3_hsubv2df3): Likewise.
164 (umaxv16qi3): Likewise.
165 (*umaxv16qi3): Likewise.
166 (smaxv8hi3): Likewise.
167 (*smaxv8hi3): Likewise.
168 (*sse4_1_smax<mode>3): Likewise.
169 (*sse4_1_umax<mode>3): Likewise.
170 (uminv16qi3): Likewise.
171 (*uminv16qi3): Likewise.
172 (sminv8hi3): Likewise.
173 (*sminv8hi3): Likewise.
174 (*sse4_1_smin<mode>3): Likewise.
175 (*sse4_1_umin<mode>3): Likewise.
177 2008-04-01 Rafael Espindola <espindola@google.com>
179 * tree-cfg.c (verify_expr): remove in_phi.
180 (verify_stmt): Don't call walk_tree with verify_expr. Use
181 is_gimple_min_invariant instead of is_gimple_val.
183 2008-04-01 Joseph Myers <joseph@codesourcery.com>
185 * doc/include/gpl_v3.texi: Update for manpage generation.
186 * doc/gcc.texi, doc/gccint.texi: Include gpl_v3.texi instead of
188 * doc/sourcebuild.texi: Document gpl_v3.texi as well as gpl.texi.
189 * Makefile.in (TEXI_GCC_FILES, TEXI_GCCINT_FILES): Include
190 gpl_v3.texi instead of gpl.texi.
193 2008-04-01 Jakub Jelinek <jakub@redhat.com>
196 * c-pch.c (c_common_read_pch): On error close (fd) resp. fclose (f).
198 2008-04-01 Rafael Espindola <espindola@google.com>
200 * tree-vrp.c (extract_code_and_val_from_cond_with_ops): New.
201 (extract_code_and_val_from_cond): Use
202 extract_code_and_val_from_cond_with_ops.
204 2008-04-01 Jan Hubicka <jh@suse.cz>
206 * function.c (free_after_compilation): Free epilogue_delay_list.
207 (prepare_function_start): Assert that previous compilation was freed.
209 2008-04-01 Jan Hubicka <jh@suse.cz>
210 Jim Wilson <wilson@tuliptree.org>
211 Andreas Tobler <andreast@gcc.gnu.org>
214 * m32c/m32.c (m32c_leaf_function_p, m32c_function_needs_enter): Use
215 rtl.emit instead cfun->emit.
216 * sparc/sparc.h (INIT_EXPANDERS): Likewise.
217 * ia64/ia64.h (INIT_EXPANDERS): Likewise.
219 2008-04-01 Ben Elliston <bje@au.ibm.com>
221 * doc/c-tree.texi (Function Basics): Fix grammatical error.
223 2008-03-31 Seongbae Park <seongbae.park@gmail.com>
225 * common.opt (fprofile-dir=, fprofile-use=, fprofile-generate=):
227 (fprofile-use): Add var flag_profile_use
228 * coverage.c (coverage_begin_output): Do not open a gcno file for
229 output only if -ftest-coverage is set.
230 Do not add getpwd() to gcda file path.
231 (build_gcov_info): Check the new flag
232 flag_profile_datafile_relative_path.
233 (coverage_init): Use profile_data_prefix.
234 Read profile counter only if flag_profile_use is set.
235 * opts.c (common_handle_option): New option fprofile-use=,
236 fprofile-dir=, fprofile-generate=.
237 * toplev.c (profile_data_prefix): New variable definition.
238 * toplev.h (profile_data_prefix): New declaration.
239 * doc/invoke.tex (Option Summary, Optimization Options):
242 2008-03-31 James E. Wilson <wilson@tuliptree.org>
244 * varasm.c (output_constant_pool_1): In LABEL_REF check,
245 use tmp consistently.
248 * config/ia64/div.md (recip_approx_rf): Use UNSPEC not DIV.
249 * config/ia64/ia64.c (rtx_needs_barrier): Handle
250 UNSPEC_FR_RECIP_APPROX_RES.
251 * config/ia64/ia64.md (UNSPEC_FR_RECIP_APPROX_RES): Define.
253 2008-03-31 Volker Reichelt <v.reichelt@netcologne.de>
256 * c-decl.c (store_parm_decls_oldstyle): Skip invalid parameters.
258 2008-03-31 Andrew Pinski <andrew_pinski@playstation.sony.com>
261 * fold-const.c (fold_indirect_ref_1): Support accessing non first
262 element of the vector via a pointer.
264 2008-03-31 Ian Lance Taylor <iant@google.com>
266 * tlink.c (scan_linker_output): Look for symbol name in single quotes.
268 2008-03-31 Jan Hubicka <jh@suse.cz>
270 * builtins.c (expand_builtin_setjmp_receiver): Update call of
271 get_arg_pointer_save_area.
272 * expr.c (init_expr): Just clear out rtl.expr.
273 * function.c (free_after_compilation): Clear out whole RTL structure.
274 (get_func_frame_size): Merge into ...
275 (get_frame_size): ... this one.
276 (assign_stack_local_1): Merge into ...
277 (assign_stack_local): ... this one.
278 (expand_function_end): Update call of get_arg_pointer_save_area.
279 (get_art_pointer_save_area): Remove cfun argument.
280 * function.h (emit_status): regno_pointer_align does not need length
281 attribute. Move x_regno_reg_rtx to ...
282 (regno_reg_rtx): ... new global array.
283 (reg_rtx_no, seq_stack, REGNO_POINTER_ALIGN): Update accestors.
284 (pending_stack_adjust, inhibit_defer_pop, saveregs_value,
285 apply_args_value, forced_labels, stack_pointer_delta):
287 (struct varasm_status): Move here from varasm.c
288 (struct rtl_data): New. Move here some fields from struct function.
289 (return_label, naked_return_label, stack_slot_list, parm_birth_insn,
290 frame_offset, stack_check_probe_note, arg_pointer_save_area,
291 used_temp_slots avail_temp_slots, temp_slot_level,
292 nonlocal_goto_handler_labels): Update accesstors.
293 (rtl): New global variable.
294 (struct function): Move some fileds to rtl_data.
295 (get_arg_pointer_save_area): Update prototype.
296 * emit-rtl.c (rtl): Declare.
297 (regno_reg_rtx): Declare.
298 (first_insn, last_insn, cur_insn_uid, last_location, first_label_num):
300 (gen_reg_rtx): Update.
301 (init_virtual_regs): Do not tate emit_status argument.
302 (init_emit): Do not allocate emit.
303 * varasm.c (varasm_statuc): Move to function.h.
304 (n_deferred_constatns): Update accestor.
305 (init_varasm_status): Do not allocate varasm_status.
306 (force_const_mem, get_pool_size, output_constant_pool): Update.
307 * stmt.c (force_label_rtx): Do not use x_ prefixes.
308 (expand_nl_goto_receiver): Update get_arg_pointer_save_area.
310 2008-03-31 Zdenek Dvorak <ook@ucw.cz>
312 PR rtl-optimization/35729
313 * loop-invariant.c (check_maybe_invariant): Disallow volatile memory
316 2008-03-31 H.J. Lu <hongjiu.lu@intel.com>
319 * config/i386/i386.md (*movti_internal): Emit unaligned SSE
320 load/store if memory is unaligned.
321 (*movti_rex64): Likewise.
323 * config/i386/predicates.md (misaligned_operand): New.
325 2008-03-31 Andrew Pinski <pinskia@gmail.com>
328 * tree-ssa-phiopt.c (conditional_replacement): Return early for
331 2008-03-31 Jan Beulich <jbeulich@novell.com>
333 * config/ia64/constraints.md: Add 'j' constraint.
334 * config/ia64/ia64.md (movsi_internal): Add addp4 case.
335 (movdi_internal): Likewise.
337 2008-03-30 Volker Reichelt <v.reichelt@netcologne.de>
340 * c-typeck.c (build_c_cast): Skip invalid fields in unions.
342 2008-03-30 H.J. Lu <hongjiu.lu@intel.com>
345 * config/i386/i386.c (ix86_expand_sse_4_operands_builtin): Issue
346 proper error message for the third argument on blendpd and
349 * config/i386/sse.md (blendbits): New.
350 (sse4_1_blendp<ssemodesuffixf2c>): Use it.
352 2008-03-30 Eric Botcazou <ebotcazou@adacore.com>
354 * fold-const.c (fold_binary) <BIT_IOR_EXPR>: Add missing conversions.
356 2008-03-30 Richard Guenther <rguenther@suse.de>
359 * fold-const.c (fold_sign_changed_comparison): Do leave
360 conversions to base-types alone.
362 2008-03-29 Andrew Pinski <andrew_pinski@playstation.sony.com>
364 * config/rs6000/rs6000.c (rs6000_stack_info): Don't force saving of
365 the link register if one altivec register is be saved.
367 2008-03-30 Ben Elliston <bje@au.ibm.com>
369 * final.c (final_scan_insn): Remove if (0) code.
371 2008-03-28 Volker Reichelt <v.reichelt@netcologne.de>
373 * c-parser.c (c_parser_next_token_is_keyword): Simplify.
375 2008-03-28 H.J. Lu <hongjiu.lu@intel.com>
377 * config/i386/sse.md (*and<mode>3): Pass <MODE>mode instead
378 of V4SFmode to ix86_binary_operator_ok.
380 2008-03-28 Uros Bizjak <ubizjak@gmail.com>
382 * config/i386/i386.c (override_options): Initialize
383 ix86_veclib_handler to ix86_veclibabi_svml when
384 -mveclibabi=svml is used.
385 (ix86_veclibabi_svml): New function for SVML ABI style
386 vectorization support.
387 * doc/invoke.texi (-mveclibabi) [svml]: Document new target option.
389 2008-03-28 Rafael Espindola <espindola@google.com>
391 * fold-const.c (tree_unary_nonnegative_warnv_p): Make it public.
392 (tree_binary_nonnegative_warnv_p): Make it public.
393 (tree_single_nonnegative_warnv_p): Make it public.
394 (tree_invalid_nonnegative_warnv_p): Make it public.
395 (tree_unary_nonzero_warnv_p): Make it public.
396 (tree_binary_nonzero_warnv_p): Make it public
397 (tree_single_nonzero_warnv_p): Make it public.
398 * tree-vrp.c (vrp_evaluate_conditional_warnv_with_ops): New function.
399 (extract_range_from_binary_expr): Split the expr argument.
400 (extract_range_from_unary_expr): Split the expr argument.
401 (extract_range_from_comparison): Split the expr argument.
402 (extract_range_from_expr): Use the new aux functions.
403 (vrp_evaluate_conditional_warnv): Use
404 vrp_evaluate_conditional_warnv_with_ops.
405 * tree.h (tree_unary_nonzero_warnv_p): Declare.
406 (tree_binary_nonzero_warnv_p): Declare.
407 (tree_single_nonzero_warnv_p): Declare.
408 (tree_expr_nonzero_warnv_p): Declare.
409 (tree_unary_nonnegative_warnv_p): Declare.
410 (tree_binary_nonnegative_warnv_p): Declare.
411 (tree_single_nonnegative_warnv_p): Declare.
412 (tree_invalid_nonnegative_warnv_p): Declare.
414 2008-03-28 Richard Guenther <rguenther@suse.de>
416 PR tree-optimization/30317
417 PR tree-optimization/30911
418 PR tree-optimization/34793
419 * tree-vrp.c (set_and_canonicalize_value_range): New function.
420 (struct assert_locus_d): New member EXPR.
421 (register_new_assert_for): Add EXPR parameter to support
422 ASSERT_EXPR <name, expr OP limit>.
423 (register_edge_assert_for_1): Adjust callers.
424 (find_assert_locations): Likewise.
425 (process_assert_insertions_for): Build condition from expression.
426 (extract_range_from_assert): Handle ASSERT_EXPRs
427 of the form ASSERT_EXPR <name, expr OP limit>.
428 (register_edge_assert_for_2): New helper registering
429 asserts for comparisons. Recognize range tests of the form
430 (unsigned)i - CST1 OP CST2.
431 (register_edge_assert_for_1): Use it.
432 (register_edge_assert_for): Likewise.
433 (needs_overflow_infinity): Integer sub-types
434 do not need overflow infinities.
435 (vrp_val_is_max): The extreme values of integer sub-types
436 are those of the base type.
437 (vrp_val_is_min): Likewise.
438 * tree.def (ASSERT_EXPR): Document extra allowed conditional
441 2008-03-28 Nick Clifton <nickc@redhat.com>
443 * config/mn10300/mn10300.c (mn10300_secondary_reload_class):
444 Return GENERAL_REGS for stack adjustment reloads.
446 2008-03-28 Andrew Pinski <andrew_pinski@playstation.sony.com>
449 * config/rs6000/rs6000.c (rs6000_expand_vector_init): Create a
450 const_vector when all the vectors are constant.
452 2008-03-27 Bob Wilson <bob.wilson@acm.org>
454 * config/xtensa/xtensa.c (gen_float_relational): Handle unordered
456 * config/xtensa/xtensa.md (any_cond): Add unordered comparisons.
457 (any_scc_sf): Add uneq, unlt, unle and unordered operators.
459 (s<code>_sf): Use new scc_sf attribute for opcode names.
461 2008-03-27 Tom Tromey <tromey@redhat.com>
463 * doc/sourcebuild.texi, doc/install.texi, configure, aclocal.m4,
464 configure.ac, Makefile.in, config/t-darwin, config/m32c/t-m32c,
465 config/spu/t-spu-elf, config/i386/t-interix,
466 config/i386/t-cygming, config/i386/x-i386, config/i386/t-cygwin,
467 config/i386/x-darwin, config/i386/x-mingw32,
468 config/i386/t-netware, config/i386/x-cygwin, config/i386/t-nwld,
469 config/sh/t-sh, config/sh/t-symbian, config/x-linux,
470 config/t-sol2, config/x-hpux, config/x-darwin, config/ia64/t-ia64,
471 config/x-solaris, config/t-vxworks, config/m68k/t-uclinux,
472 config/rs6000/x-rs6000, config/rs6000/x-darwin64,
473 config/rs6000/x-darwin, config/rs6000/t-rs6000,
474 config/score/t-score-elf, config/arm/t-strongarm-pe,
475 config/arm/t-pe, config/arm/t-arm, config/arm/t-wince-pe,
476 config/v850/t-v850, config/v850/t-v850e, config/bfin/t-bfin-linux:
477 Revert automatic dependency patch.
479 2008-03-27 H.J. Lu <hongjiu.lu@intel.com>
482 * config/i386/i386.c (ix86_function_arg_boundary): Align
483 decimal floating point to its natural boundary.
485 2008-03-27 Richard Guenther <rguenther@suse.de>
488 * fold-const.c (fold_comparison): Restrict distinct decl
489 comparison folding to VAR_DECLs and PARM_DECLs. Do not
490 solely rely on operand_equal_p.
492 2008-03-27 Richard Guenther <rguenther@suse.de>
495 * c-common.c (handle_weak_attribute): Reject combination of
498 2008-03-27 Richard Guenther <rguenther@suse.de>
500 PR tree-optimization/32810
501 * tree-ssa-ccp.c (get_symbol_constant_value): Strip useless
502 conversions from DECL_INITIAL.
503 (fold_const_aggregate_ref): Likewise from constructor elements.
505 2008-03-27 Zdenek Dvorak <ook@ucw.cz>
507 * tree-affine.h (aff_combination_expand): Declare.
508 (get_inner_reference_aff): Likewise.
509 * tree-affine.c (aff_combination_expand): Split out from
510 tree_to_aff_combination_expand.
511 (get_inner_reference_aff): New function.
512 * tree-parloops.c (loop_parallel_p): Free vectorizer info.
513 * tree-ssa-loop-im.c: Include tree-affine.h and pointer-set.h.
514 (struct lim_aux_data): sm_done field removed.
515 (mem_ref_loc_p, mem_ref_locs_p): New types.
516 (struct mem_ref): Added id, stored, accesses_in_loop,
517 indep_loop, dep_loop, indep_ref, dep_ref fields.
518 Removed is_stored, locs and next fields.
519 (memory_accesses): New variable.
520 (movement_possibility): Do not allow moving statements
521 that store to memory.
522 (outermost_indep_loop, simple_mem_ref_in_stmt, mem_ref_in_stmt):
524 (determine_max_movement): For statements with memory references,
525 find the outermost loop in that the reference is independent.
526 (move_computations_stmt): Mark the virtual operands for renaming.
527 (memref_free, mem_ref_alloc, mem_ref_locs_alloc, mark_ref_stored,
528 gather_mem_refs_stmt, gather_mem_refs_in_loops, vtoe_hash, vtoe_eq,
529 vtoe_free, record_vop_access, get_vop_accesses, get_vop_stores,
530 add_vop_ref_mapping, create_vop_ref_mapping_loop,
531 create_vop_ref_mapping, analyze_memory_references,
532 cannot_overlap_p, mem_refs_may_alias_p, rewrite_mem_ref_loc,
533 get_all_locs_in_loop, ref_always_accessed_p,
534 refs_independent_p, record_indep_loop, ref_indep_loop_p_1,
535 ref_indep_loop_p, can_sm_ref_p, find_refs_for_sm,
536 store_motion_loop, store_motion): New functions.
537 (struct vop_to_refs_elt): New type.
538 (record_mem_ref_loc, free_mem_ref_locs, rewrite_mem_refs,
539 memref_hash, memref_eq, hoist_memory_references): Rewritten.
540 (schedule_sm): Replaced by...
541 (execute_sm): ... this.
542 (determine_lsm_ref, hoist_memory_references,
543 loop_suitable_for_sm, gather_mem_refs_stmt, gather_mem_refs,
544 find_more_ref_vops, free_mem_ref, free_mem_refs,
545 determine_lsm_loop, determine_lsm): Removed.
546 (tree_ssa_lim_finalize): Free data structures used by store motion.
547 (tree_ssa_lim): Call analyze_memory_references. Use
548 store_motion instead of determine_lsm.
550 2008-03-27 Paolo Bonzini <bonzini@gnu.org>
552 * config.cc (m68hc11, m6811, m68hc12, m6812): Add usegas.h,
553 rename tmake_file to m68hc11/t-m68hc11.
554 (mcore): Set inhibit_libc to true.
555 * config.host (alpha*-dec-*vms*): Set extra_programs.
556 (interix3*): Don't use host_xmake_file.
557 * configure.ac: Let config.gcc override inhibit_libc.
558 * configure: Regenerate.
560 * config/alpha/x-vms (EXTRA_PROGRAMS): Remove.
561 * config/t-openbsd-thread: Remove commented out lines.
563 * config/x-interix: Remove.
565 * config/m68hc11/t-m68hc11-gas: Rename to...
566 * config/m68hc11/t-m68hc11: ... this. Remove T_CPPFLAGS.
568 * config/mcore/t-mcore: Remove T_CFLAGS.
569 * config/mcore/t-mcore-pe: Likewise.
571 2008-03-27 Paolo Bonzini <bonzini@gnu.org>
573 * configure.ac: Replace custom __GNU_SOURCE test with
574 AC_USE_SYSTEM_EXTENSIONS. Move it earlier.
575 * aclocal.m4: Regenerate.
576 * configure: Regenerate.
577 * config.in: Regenerate.
579 2008-03-27 Richard Guenther <rguenther@suse.de>
581 * fold-const.c (target.h): Include.
582 (fold_comparison): Fold comparison of addresses of decls
583 that bind locally or of constants. Consolidate address folding code.
584 * tree-vrp.c (operand_less_p): Deal with non-INTEGER_CST
585 results from fold_binary_to_constant.
586 (compare_values_warnv): Likewise.
588 2008-03-27 Andrew Pinski <pinskia@gmail.com>
591 * fold-const.c (fold_truthop): Check for integeral types when folding
592 a == 0 && b == 0 and a != 0 || b != 0 .
594 2008-03-26 Eric Botcazou <ebotcazou@adacore.com>
596 * tree.c (get_unwidened): Remove code fiddling with COMPONENT_REF.
598 2008-03-26 Andreas Schwab <schwab@suse.de>
600 * doc/invoke.texi: Fix use of @item vs. @itemx.
602 2008-03-26 Tom Tromey <tromey@redhat.com>
604 * Makefile.in (build/gensupport.o, build/print-rtl.o,
605 build/read-rtl.o, build/rtl.o, build/gencondmd.o, build/genattr.o,
606 build/genattrtab.o, build/genautomata.o, build/gencheck.o,
607 build/gencodes.o, build/genconditions.o, build/genconfig.o,
608 build/genconstants.o, build/genemit.o, build/genextract.o,
609 build/genflags.o, build/genmddeps.o, build/genopinit.o,
610 build/genoutput.o, build/genpeep.o, build/genrecog.o): Depend on
613 2008-03-26 Richard Guenther <rguenther@suse.de>
616 2008-03-26 Richard Guenther <rguenther@suse.de>
618 * fold-const.c (target.h): Include.
619 (fold_comparison): Fold comparison of addresses of two decls
620 that bind locally. Consolidate address folding code.
622 2008-03-26 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
624 * builtins.c (expand_builtin_pow, fold_builtin_cabs,
625 fold_builtin_sqrt, fold_builtin_cbrt, fold_builtin_logarithm,
626 fold_builtin_hypot, fold_builtin_pow): Remove uses of dconst3,
627 dconstsqrt2, dconstthird, dconste and/or dconst10.
628 * config/i386/i386.c (ix86_emit_swsqrtsf): Likewise.
629 * emit-rtl.c (dconst3, dconst10, dconstm2, dconstthird,
630 dconstsqrt2, dconste): Delete.
631 (init_emit_once): Likewise. Simplify initializing dconstm1.
633 * real.c (get_real_const): New.
634 * real.h (dconst3, dconst10, dconstm2, dconstthird,
635 dconstsqrt2, dconste): Delete.
636 (real_value_const, get_real_const): New.
638 2008-03-26 H.J. Lu <hongjiu.lu@intel.com>
640 * config/i386/cygming.h (BIGGEST_ALIGNMENT): Removed.
642 * config/i386/i386.c (ix86_function_arg_boundary): Check
643 BIGGEST_ALIGNMENT instead of 128.
644 (setup_incoming_varargs_64): Likewise.
646 2008-03-26 Tom Tromey <tromey@redhat.com>
648 * Makefile.in (DEPFILES): Add missing '/'.
650 2008-03-26 Richard Guenther <rguenther@suse.de>
652 * fold-const.c (target.h): Include.
653 (fold_comparison): Fold comparison of addresses of two decls
654 that bind locally. Consolidate address folding code.
656 2008-03-26 Nick Clifton <nickc@redhat.com>
659 * config/stormy16/stormy16.c (xstormy16_legitimate_address_p): Do
660 not allow INT+INT as a legitimate addressing mode.
662 2008-03-26 Richard Guenther <rguenther@suse.de>
664 * tree-flow.h (widen_bitfield): Remove declaration.
665 * tree-ssa-ccp.c (visit_assignment): Remove unneeded code.
666 (widen_bitfield): Remove function.
667 * tree-ssa-dom.c (record_equivalences_from_stmt): Remove unneeded
670 2008-03-25 Andrew Pinski <andrew_pinski@playstation.sony.com>
673 * config/rs6000/rs6000-c.c (rs6000_builtin_type_compatible): Handle
676 2008-03-25 Richard Sandiford <rsandifo@nildram.co.uk>
678 PR rtl-optimization/35232
679 * reload1.c (reg_reloaded_call_part_clobbered): Clarify comment.
680 (forget_old_reloads_1, forget_marked_reloads): Don't clear
681 reg_reloaded_call_part_clobbered here.
682 (reload_regs_reach_end_p): New function.
683 (reload_reg_rtx_for_input): New variable.
684 (reload_reg_rtx_for_output): Likewise.
685 (emit_input_reload_insns): Use reloadreg rather than rl->reg_rtx
686 when reassigning a pseudo register. Load reloadreg from
687 reload_reg_rtx_for_input, moving the mode and register
689 (do_input_reload): ...here. Use the mode-adjusted reg_rtx
690 instead of the original when deciding whether an input reload
691 would be a no-op or whether an output reload can be deleted.
692 (emit_output_reload_insns): Use the mode-adjusted reg_rtx
693 when setting up new_spill_reg_store. Load it from
694 reload_reg_rtx_for_output, moving the mode and register
696 (do_output_reload): ...here. Use the mode-adjusted reg_rtx
697 instead of the original when deciding whether an output reload
698 would be a no-op. Do the same when modifying insn notes.
699 Use rtx_equal_p instead of == to compare the registers.
700 (inherit_piecemeal_p): Take a mode and two register numbers
702 (emit_reload_insns): Clear new_spill_reg_store for every hard
703 register in the reload register. Remove spill registers
704 from reg_reloaded_valid before considering whether to record
705 inheritance information for them. Use reload_reg_rtx_for_output
706 instead of reg_rtx when recording output reloads. Use
707 reload_reg_rtx_for_input instead of reg_rtx when recording
708 input reloads. Set or clear reg_reloaded_call_part_clobbered
709 at the same time as setting reg_reloaded_valid.
710 (delete_output_reload): Add a new_reload_reg parameter and use it
711 instead of rld[j].reg_rtx.
712 (emit_input_reload_insns, do_input_reload, do_output_reload): Adjust
715 2008-03-25 Tom Tromey <tromey@redhat.com>
717 * Makefile.in (build/gensupport.o): Depend on insn-modes.h.
718 (build/genattr.o): Likewise.
719 (build/genattrtab.o): Likewise.
720 (build/gencodes.o): Likewise.
721 (build/genconfig.o): Likewise.
722 (build/genconstants.o): Likewise.
723 (build/genemit.o): Likewise.
724 (build/genextract.o): Likewise.
725 (build/genflags.o): Likewise.
727 2008-03-25 Bob Wilson <bob.wilson@acm.org>
729 * config/xtensa/xtensa.c (xtensa_va_start): Use build_int_cst
730 instead of size_int for integer types.
731 (xtensa_gimplify_va_arg_expr): Likewise. Convert index to sizetype
732 to match type of MINUS_EXPR.
734 2008-03-25 Tom Tromey <tromey@redhat.com>
736 * configure: Rebuilt.
737 * configure.ac (BUILD_DEPMODE): Extract CCDEPMODE from temporary
740 2008-03-25 Tom Tromey <tromey@redhat.com>
742 * config/x-solaris (host-solaris.o): Update.
743 * config/x-linux (host-linux.o): Update.
744 * config/x-hpux (host-hpux.o): Update.
745 * config/x-darwin (host-darwin.o): Update.
746 * config/v850/t-v850e (v850-c.o): Update.
747 * config/v850/t-v850 (v850-c.o): Update.
748 * config/t-vxworks (vxworks.o): Update.
749 * config/t-sol2 (sol2-c.o, sol2.o): Update.
750 * config/t-darwin (darwin.o, darwin-c.o, darwin-driver.o): Update.
751 * config/spu/t-spu-elf (spu-c.o): Update.
753 * config/sh/t-symbian (sh-c.o): Update.
755 * config/sh/t-sh (sh-c.o): Update.
756 * config/score/t-score-elf (score7.o, score3.o): Update.
757 * config/rs6000/x-rs6000 (driver-rs6000.o): Update.
758 * config/rs6000/x-darwin64 (host-ppc64-darwin.o): Update.
759 * config/rs6000/x-darwin (host-ppc-darwin.o): Update.
760 * config/rs6000/t-rs6000 (rs6000-c.o): Update.
762 * config/m68k/t-uclinux (generated_files): Add sysroot-suffix.h.
763 * config/m32c/t-m32c (m32c-pragma.o): Update.
764 * config/ia64/t-ia64 (ia64-c.o): Update.
765 * config/i386/x-mingw32 (host-mingw32.o): Update.
766 * config/i386/x-i386 (driver-i386.o): Update.
767 * config/i386/x-darwin (host-i386-darwin.o): Update.
768 * config/i386/x-cygwin (host-cygwin.o): Update.
769 * config/i386/t-nwld (nwld.o): Update.
770 * config/i386/t-netware (netware.o): Update.
771 * config/i386/t-interix (winnt.o): Update.
772 * config/i386/t-cygwin (cygwin1.o, cygwin2.o): Update.
773 * config/i386/t-cygming (winnt.o, winnt-cxx.o, winnt-stubs.o,
774 msformat-c.o): Update.
775 * config/bfin/t-bfin-linux (generated_files): Add
776 linux-sysroot-suffix.h.
777 * config/arm/t-wince-pe (pe.o): Update.
778 * config/arm/t-strongarm-pe (pe.o): Update.
779 * config/arm/t-pe (pe.o): Update.
780 * config/arm/t-arm (arm-c.o): Update.
781 * doc/install.texi (Prerequisites): Require make 3.80.
782 * Makefile.in: Remove .o targets.
783 (CCDEPMODE, DEPDIR, depcomp, BUILD_DEPMODE): New variables.
784 (OBSTACK_H, FIBHEAP_H, PARTITION_H, MD5_H, BCONFIG_H): Remove.
785 (simple_generated_h, simple_generated_c): Move earlier.
786 (generated_files): New variable.
787 (TARGET_H, MACHMODE_H, HOOKS_H, HOSTHOOKS_DEF_H, LANGHOOKS_DEF_H,
788 TARGET_DEF_H, RTL_BASE_H, RTL_H, PARAMS_H, BUILTINS_DEF, TREE_H,
789 BASIC_BLOCK_H, GCOV_IO_H, COVERAGE_H, DEMANGLE_H, RECOG_H,
790 ALIAS_H, EMIT_RTL_H, FLAGS_H, FUNCTION_H, EXPR_H, OPTABS_H,
791 REGS_H, RA_H, RESOURCE_H, SCHED_INT_H, INTEGRATE_H, CFGLAYOUT_H,
792 CFGLOOP_H, IPA_UTILS_H, IPA_REFERENCE_H, IPA_TYPE_ESCAPE_H,
793 CGRAPH_H, DF_H, RESOURCE_H, DDG_H, GCC_H, GGC_H, TIMEVAR_H,
794 INSN_ATTR_H, C_COMMON_H, C_PRAGMA_H, C_TREE_H, SYSTEM_H,
795 PREDICT_H, DECNUM_H, MKDEPS_H, SYMTAB_H, TREE_DUMP_H,
796 TREE_GIMPLE_H, TREE_FLOW_H, TREE_SSA_LIVE_H, PRETTY_PRINT_H,
797 DIAGNOSTIC_H, C_PRETTY_PRINT_H, SCEV_H, LAMBDA_H, TREE_DATA_REF_H,
798 VARRAY_H, TREE_INLINE_H, REAL_H, DBGCNT_H, EBIMAP_H): Remove.
800 (COMPILE.base, COMPILE): New variables.
801 (%.o): New pattern rule.
802 (ALL_HOST_OBJS): New variable.
803 (xgcc$(exeext), cpp$(exeext)): Remove extra version.o.
804 (dummy-checksum.o, cc1-checksum.o): Remove.
805 (DRIVER_SHLIB): New variable.
806 (DRIVER_DEFINES): Use it.
807 (gencondmd.c): Move out of build/.
808 (s-conditions): Update.
809 (BUILDCOMPILE.base, BUILDCOMPILE): New variables.
810 (ALL_BUILD_OBJS): Likewise.
811 (build/%.o): Use BUILDCOMPILE.
812 (build/ggc-none.o, build/ggc-none.o, build/min-insn-modes.o,
813 build/print-rtl.o, build/read-rtl.o, build/rtl.o, build/vec.o,
814 build/gencondmd.o, build/genattrtab.o, build/genautomata.o,
815 build/gencheck.o, build/gencodes.o, build/genconditions.o,
816 build/genconfig.o, build/genconstants.o, build/genemit.o,
817 build/genextract.o, build/genflags.o, build/genmddeps.o,
818 build/genopinit.o, build/genoutput.o, build/genpeep.o,
819 build/genpreds.o, build/genrecog.o, build/gcov-iov.o,
820 build/gen-protos.o, build/scan.o, build/fix-header.o,
821 build/scan-decls.o): Simplify.
822 (collect2.o, c-opts.o, gcc.o, gccspec.o, gcc-options.o,
823 cppdefault.o, protoize.o, unprotoize.o, intl.o, version.o,
824 prefix.o, toplev.o): Reduce to variable setting.
825 (libbackend.o): Use COMPILE. Remove most dependencies. Move later.
826 ($(out_object_file), gcc-options.o): New targets.
827 ($(ALL_HOST_OBJS)): New target. Include dependency files.
828 * configure: Rebuilt.
829 * configure.ac: Call ZW_CREATE_DEPDIR, ZW_PROG_COMPILER_DEPENDENCIES.
830 * doc/sourcebuild.texi (Front End Directory): Document new variable.
832 2008-03-25 Douglas Gregor <doug.gregor@gmail.com>
834 * c-common.c (c_sizeof_or_alignof_type): If we're not allowed to
835 complain when we hit an error, return ERROR_MARK_NODE.
837 2008-03-25 Naveen.H.S <naveen.hs@kpitcummins.com>
839 * config/sh/constraints.md (Pso, Psz): New constraints.
840 * config/sh/sh.c (print_operand): Add %V and %W operand codes.
841 * config/sh/sh.md (*andsi3_bclr, *iorsi3_bset): New insns.
843 2008-03-25 Naveen.H.S <naveen.hs@kpitcummins.com>
845 * config/sh/sh.c (sh_expand_t_scc): Emit movrt for SH2A if possible.
846 * config/sh/sh.md (xorsi3_movrt, movrt): New insns.
848 2008-03-25 Naveen.H.S <naveen.hs@kpitcummins.com>
850 * config/sh/sh.md (prefetch): Add condition for SH2A target.
851 (prefetch_sh2a): New.
853 2008-03-25 Jayant Sonar <Jayant.sonar@kpitcummins.com>
854 Naveen.H.S <naveen.hs@kpitcummins.com>
856 * config/sh/constraints.md (I28): New constraint.
857 * config/sh/sh.c (broken_move): Add support for movi20s.
858 * config/sh/sh.md (movsi_ie): Add the alternative for movi20s.
860 2008-03-25 Anil Paranjape <anil.paranjape@kpitcummins.com>
861 Jayant Sonar <Jayant.sonar@kpitcummins.com>
862 Naveen.H.S <naveen.hs@kpitcummins.com>
864 * config/sh/sh.c (SH_ATTRIBUTES): Define.
865 (SYMBOL_FLAG_FUNCVEC_FUNCTION): Define.
866 (print_operand): Handle resbank in %@ operand code.
867 (sh_encode_section_info): New.
868 (push_regs): Add conditions for resbank.
869 (sh_expand_epilogue): Likewise.
870 (sh_insert_attributes): Likewise.
871 (sh_attribute_table): Likewise.
872 (sh_handle_resbank_handler_attribute): New.
873 (sh2a_handle_function_vector_handler_attribute): New.
874 (sh2a_is_function_vector_call): New.
875 (sh2a_get_function_vector_number): New.
876 (sh2a_function_vector_p): New.
877 (sh_cfun_resbank_handler_p): New.
878 * config/sh/sh.md (calli): Emit jsr/n if possible.
879 (calli_tbr_rel): New.
880 (calli_pcrel): Emit jsr/n if possible.
881 (return_i): Emit rts/n if possible.
882 (call_valuei_tbr_rel): New.
883 (call_valuei_pcrel): Add condition for SH2A target.
884 (call_value): Likewise.
885 * config/sh/sh-protos.h (sh_cfun_resbank_handler_p): Declare.
886 (sh2a_get_function_vector_number): Likewise.
887 (sh2a_is_function_vector_call): Likewise.
888 * doc/extend.texi: Document TBR relative addressing of SH2A.
889 (resbank): Add description for SH2A.
891 2008-03-24 Richard Guenther <rguenther@suse.de>
894 * gimplify.c (gimplify_modify_expr): For frontend type-correct
895 pointer assignments change conversions according to middle-end rules.
896 (gimplify_modify_expr_rhs): Deal with NULL TARGET_EXPR_INITIAL.
897 * configure.ac: Include type checking in yes.
898 * configure: Regenerate.
900 2008-03-24 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
902 * diagnostic.c (diagnostic_count_diagnostic): Delete.
903 (diagnostic_report_diagnostic): Update. Handle ICEs here.
905 2008-03-24 Nathan Sidwell <nathan@codesourcery.com>
907 * gthr-vxworks.h (UNUSED): Define.
909 2008-03-23 H.J. Lu <hongjiu.lu@intel.com>
911 * config/i386/i386.h (STATIC_CHAIN_REGNUM): Use R10_REG and CX_REG.
913 2008-03-23 Zuxy Meng <zuxy.meng@gmail.com>
915 * doc/extend.texi (Function Attributes): Add missing comma in the
916 example of the "alloc_size" attribute.
918 2008-03-23 Uros Bizjak <ubizjak@gmail.com>
921 2008-03-05 H.J. Lu <hongjiu.lu@intel.com>
923 * config/i386/i386-modes.def: Use 4 byte alignment on DI for
926 2008-03-19 Uros Bizjak <ubizjak@gmail.com>
929 * stor-layout.c (update_alignment_for_field): Set minimum alignment
930 of the underlying type of a MS bitfield layout to the natural
931 alignment of the type.
933 2008-03-22 Uros Bizjak <ubizjak@gmail.com>
935 * config/i386/i386.c (assign_386_stack_local): Align DImode slots
936 to their natural alignment to avoid store forwarding stalls.
938 2008-03-22 Richard Guenther <rguenther@suse.de>
940 * tree-cfg.c (verify_expr): Recurse again for invariant addresses.
941 For PHI nodes verify the address is invariant.
942 * tree-ssa-ccp.c (ccp_decl_initial_min_invariant): Remove.
943 (get_symbol_constant_value): Use is_gimple_min_invariant.
944 (maybe_fold_stmt_indirect): Likewise.
946 2008-03-22 Richard Sandiford <rsandifo@nildram.co.uk>
948 PR rtl-optimization/33927
949 * Makefile.in (dse.o): Depend on $(TM_P_H).
950 * expr.h (extract_low_bits): Declare.
951 * expmed.c (extract_low_bits): New function.
952 * rtlhooks.c (gen_lowpart_general): Generalize SUBREG handling.
953 * dse.c: Include tm_p.h.
954 (find_shift_sequence): Remove the read_reg argument and return the
955 read value. Emit the instructions instead of returning them.
956 Iterate on new_mode rather than calculating it each time.
957 Check MODES_TIEABLE_P. Use simplify_gen_subreg to convert the
958 source to NEW_MODE and extract_low_bits to convert the shifted
960 (replace_read): Allow the load and store to have different mode
961 classes. Use extract_low_bits when SHIFT == 0. Create the shift
962 or extraction instructions before trying the replacement. Update
963 dump-file code accordingly, avoiding use of REGNO (store_info->rhs).
965 2008-03-22 Uros Bizjak <ubizjak@gmail.com>
967 * config/i386/i386.c (assign_386_stack_local): Align DImode slots
968 to their natural alignment to avoid store forwarding stalls.
970 2008-03-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
973 * config/rs6000/rs6000.md (floatdidf2): Discouraging fprs and
974 encouraging but not allowing gprs for input;
975 change the input constraint to !f#r.
976 (fix_truncdfdi2): Discouraging fprs and encouraging but not allowing
978 change the output constraint to !f#r.
980 2008-03-21 Uros Bizjak <ubizjak@gmail.com>
983 * config/i386/i386.md ("*floatunssi<mode2>_1"): New pattern with
984 corresponding post-reload splitters.
985 ("floatunssi<mode>2"): Expand to unsigned_float x87 insn pattern
986 when x87 FP math is selected.
987 * config/i386/i386-protos.h (ix86_expand_convert_uns_sixf_sse):
988 New function prototype.
989 * config/i386/i386.c (ix86_expand_convert_uns_sixf_sse): New
990 unreachable function to ease macroization of insn patterns.
992 2008-03-21 Martin Jambor <mjambor@suse.cz>
994 * tree-data-ref.c (dump_data_dependence_relation): Avoid data
995 reference dumps if ddr is NULL or dependence is unknown.
997 2008-03-20 Kaz Kojima <kkojima@gcc.gnu.org>
999 * config/sh/linux-atomic.asm (ATOMIC_TEST_AND_SET): Take
1000 unsigned extension into account.
1001 (ATOMIC_COMPARE_AND_SWAP): Likewise.
1002 (ATOMIC_FETCH_AND_OP, ATOMIC_FETCH_AND_COMBOP): Likewise.
1003 Do computations on a scratch register.
1005 2008-03-21 Richard Guenther <rguenther@suse.de>
1007 * tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop):
1008 Use is_gimple_min_invariant instead of TREE_INVARIANT.
1009 * tree-ssa-loop-ivopts.c (force_expr_to_var_cost): Likewise.
1010 * tree-ssa-dom.c (record_equality): Likewise.
1011 * tree-inline.c (copy_body_r): Likewise.
1012 * tree-ssa-pre.c (make_values_for_stmt): Remove test for
1015 2008-03-20 Kaz Kojima <kkojima@gcc.gnu.org>
1017 * config/sh/sh.c (split_branches): Pass zero to redirect_jump
1018 as 'delete_unused' argument.
1020 2008-03-20 Richard Guenther <rguenther@suse.de>
1022 * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Remove
1023 special casing of constant qualifiers.
1024 * tree-ssa.c (useless_type_conversion_p_1): Instead do not
1025 care about them in general.
1026 * tree-ssa-ccp.c (ccp_fold): Addresses are constant or not
1027 regardless of their type.
1028 (fold_stmt_r): Forcefully fold *& if we end up with that.
1030 2008-03-20 Paul Brook <paul@codesourcery.com>
1032 * config.gcc (arm*-*-uclinux*): Remove duplicate arm/uclinux-elf.h.
1033 * config/arm/uclinux-eabi.h (SUBTARGET_EXTRA_LINK_SPEC): Add extra
1035 * config/arm/bpabi.h (SUBTARGET_EXTRA_LINK_SPEC): Provide default
1037 (LINK_SPEC): Use SUBTARGET_EXTRA_LINK_SPEC.
1038 * config/arm/unwind-arm.h (_Unwind_decode_target2): Add uClinux.
1040 2008-03-20 Volker Reichelt <v.reichelt@netcologne.de>
1042 * common.opt (Wmudflap): New option.
1043 * tree-mudflap.c (mf_xform_derefs_1): Guard warning by OPT_Wmudflap.
1044 (mx_register_decls): Likewise.
1045 (mudflap_finish_file): Likewise.
1046 * doc/invoke.texi: Document -Wno-mudflap.
1048 2008-03-20 Kai Tietz <kai.tietz@onevision.com>
1050 * c-format.c (replace_format_name_to_system_name): New.
1052 (convert_format_name_to_system_name): New.
1053 (decode_format_attr): Add use of convert_format_name_to_system_name.
1054 (format_types_orig): Add gnu_ prefix to names.
1055 (check_format_info_main): Special treating of \0 escaped names for
1056 supporting multi-character format specifiers as I32, I64.
1057 (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): Use of user defined attributes.
1058 (gnu_target_overrides_format_attributes): New.
1059 * c-format.h: Add structure target_ovr_attr to hold
1060 system specific formatter names.
1061 * config.gcc: Add for x86&x86_64 cygwin and mingw32 targets the
1062 msformat-c.o file to c_target_objs and cxx_target_objs.
1063 * config/i386/mingw32.h (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): New.
1064 (TARGET_OVERRIDES_FORMAT_ATTRIBUTES_COUNT): New.
1065 (TARGET_N_FORMAT_TYPES): New.
1066 * config/i386/msformat-c.c: New.
1067 * config/i386/t-cygming: Add build rule for msformat-c.o.
1068 * doc/extend.texi: Add new format names gnu_* and ms_* and
1070 * doc/tm.texi: (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): New.
1072 2008-03-20 Ira Rosen <irar@il.ibm.com>
1074 * doc/invoke.texi (-O3): Add -ftree-vectorize to the list of
1075 optimizations turned on under -O3.
1076 (ftree-vectorize): Add that the flag is turned on with -O3.
1078 2008-03-20 Ben Elliston <bje@au.ibm.com>
1080 * regmove.c (try_auto_increment): Fix spelling error in comment.
1081 * final.c (final_scan_insn): Likewise.
1083 2008-03-20 Uros Bizjak <ubizjak@gmail.com>
1086 * config/i386/mmx.md (*mov<mode>_internal_rex64"): Adjust register
1087 allocator preferences for "y" and "r" class registers.
1088 ("*mov<mode>_internal"): Ditto.
1089 ("*movv2sf_internal_rex64"): Ditto.
1090 ("*movv2sf_internal"): Ditto.
1092 2008-03-19 Michael Matz <matz@suse.de>
1095 * calls.c (expand_call): Check overlap of arguments with call
1096 address for sibcalls.
1098 2008-03-19 Uros Bizjak <ubizjak@gmail.com>
1101 * stor-layout.c (update_alignment_for_field): Set minimum alignment
1102 of the underlying type of a MS bitfield layout to the natural
1103 alignment of the type.
1105 2008-03-19 Jan Hubicka <jh@suse.cz>
1108 * toplev.c (decode_d_option): Handle all CPP flags.
1109 * tree-vrp.c: Update tree_pass descriptors.
1110 * regrename.c: Update tree_pass descriptors.
1111 * fwprop.c: Update tree_pass descriptors.
1112 * doc/invoke.texi: Remove documentation of dropped -d? flags.
1113 * tree-into-ssa.c: Update tree_pass descriptors.
1114 * tree-dump.c: Update tree_pass descriptors.
1115 * tree-complex.c: Update tree_pass descriptors.
1116 * tree-dump.h: Update tree_pass descriptors.
1117 * see.c: Update tree_pass descriptors.
1118 * cgraphbuild.c: Update tree_pass descriptors.
1119 * tracer.c: Update tree_pass descriptors.
1120 * tree-loop-distribution.c: Update tree_pass descriptors.
1121 * cgraph.c: Update tree_pass descriptors.
1122 * postreload-gcse.c: Update tree_pass descriptors.
1123 * postreload.c: Update tree_pass descriptors.
1124 * tree-ssa-loop-ch.c: Update tree_pass descriptors.
1125 * tree-tailcall.c: Update tree_pass descriptors.
1126 * tree-pass.h (tree_opt_pass): Rename to ...
1127 (opt_pass) ... this one; add "type" field and remove letter field.
1128 (gimple_opt_pass, rtl_opt_pass, simple_ipa_opt_pass): New.
1129 (execute_pass_list, execute_ipa_pass_list, all_passes, all_ipa_passes,
1130 all_lowering_passes): Update declaration.
1131 * ipa-cp.c: Update tree_pass descriptors.
1132 * final.c: Update tree_pass descriptors.
1133 * omp-low.c: Update tree_pass descriptors.
1134 * tree-ssa-dse.c: Update tree_pass descriptors.
1135 * ipa-reference.c: Update tree_pass descriptors.
1136 * tree-ssa-uncprop.c: Update tree_pass descriptors.
1137 * auto-inc-dec.c: Update tree_pass descriptors.
1138 * reorg.c: Update tree_pass descriptors.
1139 * cgraphunit.c: Update tree_pass descriptors.
1140 * tree-ssa-copyrename.c: Update tree_pass descriptors.
1141 * tree-ssa-ccp.c: Update tree_pass descriptors.
1142 * df-core.c: Update tree_pass descriptors.
1143 * mode-switching.c: Update tree_pass descriptors.
1144 * tree-nomudflap.c: Update tree_pass descriptors.
1145 * modulo-sched.c: Update tree_pass descriptors.
1146 * ipa-pure-const.c: Update tree_pass descriptors.
1147 * cse.c: Update tree_pass descriptors.
1148 * web.c: Update tree_pass descriptors.
1149 * tree-stdarg.c: Update tree_pass descriptors.
1150 * tree-ssa-math-opts.c: Update tree_pass descriptors.
1151 * tree-ssa-dom.c: Update tree_pass descriptors.
1152 * tree-nrv.c: Update tree_pass descriptors.
1153 * tree-ssa-alias.c: Update tree_pass descriptors.
1154 * loop-init.c: Update tree_pass descriptors.
1155 * gimple-low.c: Update tree_pass descriptors.
1156 * ipa-inline.c: Update tree_pass descriptors.
1157 * tree-ssa-sink.c: Update tree_pass descriptors.
1158 * global.c: Update tree_pass descriptors.
1159 * ifcvt.c: Update tree_pass descriptors.
1160 * jump.c: Update tree_pass descriptors.
1161 * predict.c: Update tree_pass descriptors.
1162 * tree-ssa-loop.c: Update tree_pass descriptors.
1163 * recog.c: Update tree_pass descriptors.
1164 * dse.c: Update tree_pass descriptors.
1165 * tree-ssa-ifcombine.c: Update tree_pass descriptors.
1166 * tree-eh.c: Update tree_pass descriptors.
1167 * regmove.c: Update tree_pass descriptors.
1169 * function.c: Update tree_pass descriptors.
1170 * tree-vectorizer.c: Update tree_pass descriptors.
1171 * gcse.c: Update tree_pass descriptors.
1172 * ipa-type-escape.c: Update tree_pass descriptors.
1173 * tree-if-conv.c: Update tree_pass descriptors.
1174 * init-regs.c: Update tree_pass descriptors.
1175 * ipa.c: Update tree_pass descriptors.
1176 * tree-ssa-phiopt.c: Update tree_pass descriptors.
1177 * rtl-factoring.c: Update tree_pass descriptors.
1178 * lower-subreg.c: Update tree_pass descriptors.
1179 * bt-load.c: Update tree_pass descriptors.
1180 * tree-dfa.c: Update tree_pass descriptors.
1181 * except.c: Update tree_pass descriptors.
1182 * emit-rtl.c: Update tree_pass descriptors.
1183 * cfgexpand.c: Update tree_pass descriptors.
1184 * tree-cfgcleanup.c: Update tree_pass descriptors.
1185 * cfgcleanup.c: Update tree_pass descriptors.
1186 * tree-ssa-pre.c: Update tree_pass descriptors.
1187 * tree-sra.c: Update tree_pass descriptors.
1188 * tree-mudflap.c: Update tree_pass descriptors.
1189 * tree-ssa-copy.c: Update tree_pass descriptors.
1190 * cfglayout.c: Update tree_pass descriptors.
1191 * tree-ssa-forwprop.c: Update tree_pass descriptors.
1192 * tree-ssa-dce.c: Update tree_pass descriptors.
1193 * tree-ssa.c: Update tree_pass descriptors.
1194 * regclass.c: Update tree_pass descriptors.
1195 * integrate.c: Update tree_pass descriptors.
1196 * tree-optimize.c: Update tree_pass descriptors.
1197 * tree-ssa-phiprop.c: Update tree_pass descriptors.
1198 * tree-object-size.c: Update tree_pass descriptors.
1199 * combine.c: Update tree_pass descriptors.
1200 * tree-outof-ssa.c: Update tree_pass descriptors.
1201 * bb-reorder.c: Update tree_pass descriptors.
1202 * stack-ptr-mod.c: Update tree_pass descriptors.
1203 * var-tracking.c: Update tree_pass descriptors.
1204 * tree-profile.c: Update tree_pass descriptors.
1205 * tree-vect-generic.c: Update tree_pass descriptors.
1206 * reg-stack.c: Update tree_pass descriptors.
1207 * sched-rgn.c: Update tree_pass descriptors.
1208 * tree-ssa-structalias.c: Update tree_pass descriptors.
1209 * tree-cfg.c: Update tree_pass descriptors.
1210 * passes.c (current_pass): Update declaration.
1211 (finish_optimization_passes): Update.
1212 (all_passes, all_ipa_passes, all_lowering_passes): Update declaration.
1213 (register_one_dump_file, register_dump_files_1, next_pass_1):
1215 (init_optimization_passes): Update handling of new types.
1216 (execute_one_pass, execute_pass_list, execute_ipa_pass_list): Update.
1217 * ipa-struct-reorg.c: Update tree_pass descriptors.
1218 * tree-ssa-reassoc.c: Update tree_pass descriptors.
1219 * combine-stack-adj.c: Update tree_pass descriptors.
1220 * cfgrtl.c: Update tree_pass descriptors.
1221 * dce.c: Update tree_pass descriptors.
1222 * tree-ssanames.c: Update tree_pass descriptors.
1224 2008-03-19 Richard Guenther <rguenther@suse.de>
1227 * tree-ssa.c (walk_data): New structure.
1228 (warn_uninitialized_var): If not always_executed warn with "maybe"
1230 (execute_early_warn_uninitialized): Compute post-dominators.
1231 Initialize always_executed before processing each basic block.
1233 2008-03-18 Mikulas Patocka <mikulas@artax.karlin.mff.cuni.cz>
1236 * config/i386/i386.c (x86_this_parameter): Calculate correct location
1237 of "this" pointer when "regparm = N" or "fastcall" is in effect.
1239 2008-03-18 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
1241 * doc/include/texinfo.tex: Update to version 2008-03-17.10.
1243 2008-03-18 Paolo Bonzini <bonzini@gnu.org>
1245 * expr.c (store_expr): Assume lang_hooks.reduce_bit_field_operations
1247 (expand_expr_real_1) <REDUCE_BIT_FIELD>: Don't look at ignore.
1248 (expand_expr_real_1): Assume lang_hooks.reduce_bit_field_operations
1249 is true. Add "&& !ignore" condition to reduce_bit_field. Modify
1250 target after ignore has been set, and move there also the commputation
1251 of subtarget and original_target.
1252 * langhooks-def.h (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Delete.
1253 (LANG_HOOKS_INITIALIZER): Remove it.
1254 * langhooks.h (struct lang_hooks): Remove reduce_bit_field_operations.
1256 2008-03-18 Richard Guenther <rguenther@suse.de>
1258 * tree-ssa-sccvn.c (visit_reference_op_load): If the lookup
1259 found an expression with constants, note that in the VN for the lhs.
1260 * tree-ssa-pre.c (eliminate): Visit COND_EXPR statements and
1261 fold them to constants if possible. Run cleanup_cfg if done so.
1262 (execute_pre): Return todo.
1264 (execute_fre): Likewise.
1265 * tree-ssa-forwprop.c (can_propagate_from): Allow propagation
1267 (get_prop_source_stmt): Look through pointer conversions.
1269 2008-03-18 Jan Hubicka <jh@suse.cz>
1271 * tree-pretty-print.c: Include predict.h.
1272 (dump_generic_node): Dump predictor.
1273 * tree.h (PREDICT_EXPR_OUTCOME, PREDICT_EXPR_PREDICTION): Update.
1274 * tree-gimple.c (is_gimple_stmt): Add PREDICT_EXPR.
1275 * gimple-low.c (lower_stmt): Likewise.
1276 * expr.c (expand_expr_real): Likewise.
1277 * predict.c (tree_bb_level_predictions): Use PREDICT_EXPRs and remove
1279 (build_predict_expr, build_predict_expr): New.
1280 * predict.h (predictor_name, build_predict_expr): Update.
1281 * c-typeck.c (c_finish_bc_stmt): Add prediction.
1282 * gimplify.c (gimplify_expr): Add PREDICT_EXPR.
1283 * predict.def (PRED_CONTINUE): Update hitrate.
1284 * tree.def (PREDICT_EXPR): Define.
1285 * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Mark PREDICT_EXPR;
1286 do not handle BIND_EXPR.
1287 * tree-inline.c (estimate_num_insns_1): PREDICT_EXPR is free.
1288 * tree-cfg.c (verify_gimple_stmt): PREDICT_EXPR is valid.
1289 * tree-ssa-operands.c (get_expr_operands): PREDICT_EXPR takes no
1292 2008-03-18 Michael Matz <matz@suse.de>
1294 * gcov-io.h (__gcov_merge_ior, __gcov_fork): Mark hidden.
1296 2008-03-18 Richard Guenther <rguenther@suse.de>
1298 * tree-gimple.h (is_gimple_invariant_address): Declare.
1299 (is_gimple_constant): Likewise.
1300 * tree-gimple.c (is_gimple_constant): New function.
1301 (is_gimple_invariant_address): Likewise.
1302 (is_gimple_min_invariant): Implement in terms of is_gimple_constant
1303 and is_gimple_invariant_address.
1304 * tree-ssa-loop-niter.c (expand_simple_operations): Revert
1306 * tree-data-ref.c (get_references_in_stmt): A SSA_NAME is not
1307 an addressable base.
1309 2008-03-18 Jakub Jelinek <jakub@redhat.com>
1312 * gimplify.c (gimplify_expr): Gimplify second operand of
1315 2008-03-17 Richard Guenther <rguenther@suse.de>
1317 PR tree-optimization/19637
1318 * fold-const.c (fold_unary): Remove restrictions of removing
1319 intermediate pointer-conversions (P2)(P1)P0.
1320 * tree-ssa-ccp.c (maybe_fold_stmt_addition): Recover from
1321 conversion to void pointer.
1322 (get_maxval_strlen): Handle addresses of the form &(*p)[0].
1324 2008-03-16 James E. Wilson <wilson@tuliptree.org>
1327 * dbxout.c (dbxout_expand_expr, case VAR_DECL): Return NULL for
1328 emulated thread local variables.
1330 2008-03-16 Richard Guenther <rguenther@suse.de>
1333 * tree-ssa-loop-niter.c (expand_simple_operations): Do not
1334 expand TREE_INVARIANT operations that are not gimple invariant.
1336 2008-03-16 Hans-Peter Nilsson <hp@axis.com>
1338 * doc/extend.texi (Alignment): Say that the ABI controls
1339 the __alignof__ for non-strict-alignment targets rather
1340 than being a recommendation.
1342 2008-03-15 Paul Brook <paul@codesourcery.com>
1344 * config/arm/arm.c (arm_unwind_emit): Suppress unused unwinding
1346 (arm_output_fn_unwind): Mark functions that can not be unwound.
1348 2008-03-15 Paul Brook <paul@codesourcery.com>
1350 * config/arm/arm.c (arm_rtx_costs_1): Add costs for ARMv6 value
1351 extension instructions.
1353 2008-03-15 Richard Guenther <rguenther@suse.de>
1355 * tree-ssa-ccp.c (ccp_fold): Also read from constant values
1356 and fold constant aggregate refs.
1357 (fold_const_aggregate_ref): Handle string constants
1358 and constructors in ARRAY_REFs. Handle INDIRECT_REF.
1359 (evaluate_stmt): Simplify now that ccp_fold folds constant
1362 2008-03-15 Paul Brook <paul@codesourcery.com>
1364 * config/arm/arm.md (insv): Use gen_insv_t2 and gen_insv_zero.
1365 (extzv): Use gen_extzv_t2.
1366 (insv_t2, insv_zero, extv, extzv_t2): New patterns.
1368 2008-03-15 Richard Guenther <rguenther@suse.de>
1370 * tree-ssa-ccp.c (get_symbol_constant_value): Export.
1371 (fold_const_aggregate_ref): Likewise.
1372 (get_value): Return NULL if we don't have any values.
1373 (ccp_finalize): Set const_val to NULL after freeing it.
1374 * tree-flow.h (get_symbol_constant_value): Declare.
1375 (fold_const_aggregate_ref): Likewise.
1376 * tree-ssa-sccvn.c (try_to_simplify): Use them.
1378 2008-03-15 Richard Guenther <rguenther@suse.de>
1381 * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make sure
1382 to not produce negative array indices if not allowed. Add
1383 parameter to indicate that.
1384 (maybe_fold_offset_to_component_ref): Allow negative array
1385 indices only for the first member of a structure.
1386 (maybe_fold_offset_to_reference): Allow negative array indices.
1387 (maybe_fold_stmt_addition): Likewise.
1389 2008-03-15 Bjoern Haase <bjoern.m.haase@web.de>
1390 Anatoly Sokolov <aesok@post.ru>
1392 * gcc/gcc/config/avr/avr.c (avr_arch_types): Add avr6 entry.
1393 (avr_arch): Add ARCH_AVR6.
1394 (avr_mcu_types): Add 'atmega2560' and 'atmega2561' entry.
1395 (initial_elimination_offset): Initialize and use 'avr_pc_size'
1396 instead of fixed value 2.
1397 (print_operand_address): Use gs() asm specifier instead of pm().
1398 (avr_assemble_integer): (Ditto.).
1399 (avr_output_addr_vec_elt): (Ditto.).
1400 (print_operand): Handle "!" code.
1401 * gcc/gcc/config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): Add
1402 __AVR_3_BYTE_PC__, __AVR_2_BYTE_PC__ and __AVR_HAVE_JMP_CALL__.
1403 (AVR_HAVE_EIJMP_EICALL): Define.
1404 (AVR_3_BYTE_PC): Redefine.
1405 (AVR_2_BYTE_PC): (Ditto.).
1406 (PRINT_OPERAND_PUNCT_VALID_P): Add '!' code.
1407 (LINK_SPEC): Add atmega2560 and atmega2561.
1408 (CRT_BINUTILS_SPEC): Add atmega2560 (crtm2560.o) and atmega2561
1410 * gcc/gcc/config/avr/avr.md (call_insn): Use eicall instead of icall
1411 for 3 byte PC devices.
1412 (call_value_insn): (Ditto.).
1413 (*tablejump_enh): Use eijmp instead of ijmp for 3 byte PC devices.
1414 (indirect_jump): Use only for for 2 byte PC devices.
1415 (*tablejump): (Ditto.).
1416 (*indirect_jump_avr6): Add insn.
1417 (*tablejump_rjmp): Don't use for 3 byte PC devices.
1418 * gcc/gcc/config/avr/libgcc.S (__prologue_saves__): Use eijmp
1419 instead of ijmp for 3 byte PC devices.
1420 (__tablejump2__): (Ditto.).
1421 * gcc/gcc/config/avr/t-avr (MULITLIB_OPTIONS): Add avr6 architecture.
1422 (MULITLIB_DIRNAMES): (Ditto.).
1423 (MULTILIB_MATCHES): Add atmega2560 and atmega2561 to list.
1425 2008-03-15 Uros Bizjak <ubizjak@gmail.com>
1427 * config/i386/mmx.md ("sse2_umulv1siv2di3"): Rename from
1428 "sse2_umulsidi3". Use V1DI mode for operand 0.
1429 ("mmx_psadbw"): Use V1DI mode for operand 0.
1430 * config/i386/i386-modes.def (V1SI): New vector mode.
1431 * config/i386/i386.c (struct builtin_description)
1432 [IX86_BUILTIN_PMULUDQ]: Use CODE_FOR_sse2_umulv1siv1di3.
1433 (v1di_ftype_v8qi_v8qi): Rename from di_ftype_v8qi_v8qi.
1434 (v1di_ftype_v2si_v2si): Rename from di_ftype_v2si_v2si.
1435 (ix86_init_mmx_sse_builtins) [__builtin_ia32_psadbw]: Use
1436 v1di_ftype_v8qi_v8qi type.
1437 [__builtin_ia32_pmuludq]: Use v1di_ftype_v2si_v2si type.
1439 * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psadbw,
1440 __builtin_ia32_pmuludq]: Fix the mode of return value.
1442 2008-03-15 Richard Guenther <rguenther@suse.de>
1445 * tree-ssa-pre.c (bitmap_find_leader): Handle expression
1448 2008-03-14 Bob Wilson <bob.wilson@acm.org>
1450 * doc/invoke.texi (Option Summary, Xtensa Options): Document
1451 -mserialize-volatile and -mno-serialize-volatile Xtensa options.
1452 * config/xtensa/xtensa.c (print_operand): Do not emit MEMW instructions
1453 unless TARGET_SERIALIZE_VOLATILE is enabled.
1454 * config/xtensa/xtensa.md (*lsiu, *ssiu): Likewise.
1455 * config/xtensa/xtensa.h (TARGET_DEFAULT): Add MASK_SERIALIZE_VOLATILE.
1456 * config/xtensa/xtensa.opt (mserialize_volatile): New option.
1458 2008-03-14 Richard Guenther <rguenther@suse.de>
1460 PR tree-optimization/34172
1461 * tree-flow.h (refs_may_alias_p): Declare.
1462 (get_single_def_stmt): Likewise.
1463 (get_single_def_stmt_from_phi): Likewise.
1464 (get_single_def_stmt_with_phi): Likewise.
1465 * tree-dfa.c (refs_may_alias_p): New function.
1466 (get_single_def_stmt): Likewise.
1467 (get_single_def_stmt_from_phi): Likewise.
1468 (get_single_def_stmt_with_phi): Likewise.
1469 * tree-ssa-sccvn.c (get_def_ref_stmt_vuses): New function.
1470 (vn_reference_lookup_1): New helper function.
1471 (vn_reference_lookup): Walk the virtual use-def chain to
1472 continue searching for a match if the def does not alias the
1473 reference we are looking for.
1475 2008-03-14 David Edelsohn <edelsohn@gnu.org>
1477 * doc/install.texi (Binaries): Remove UCLA archive. Add HVCC
1478 archive and Perzl. Update The Written Word listing.
1480 2008-03-14 Richard Guenther <rguenther@suse.de>
1482 PR tree-optimization/34043
1483 PR tree-optimization/33989
1484 * tree-ssa-pre.c (execute_pre): Allow SCCVN to do insertion
1486 (bitmap_find_leader): Use extra argument to verify dominance
1487 relationship inside a basic-block.
1488 (can_PRE_operation): Add VIEW_CONVERT_EXPR.
1489 (find_leader_in_sets): Adjust.
1490 (create_component_ref_by_pieces): Take extra argument for
1491 dominance check, handle lookup failures.
1492 (find_or_generate_expression): Likewise.
1493 (create_expression_by_pieces): Likewise.
1494 (insert_into_preds_of_block): Adjust.
1495 (create_value_expr_from): If asked for, verify all operands
1496 are in the blocks AVAIL_OUT set.
1497 (make_values_for_stmt): Check for SSA_NAMEs that are life
1498 over an abnormal edge.
1499 (compute_avail): Remove such check.
1500 (do_SCCVN_insertion): New function.
1501 (eliminate): If we do not find a leader suitable for replacement
1502 insert a replacement expression from SCCVN if available.
1503 * tree-ssa-sccvn.h (run_scc_vn): Update prototype.
1504 (struct vn_ssa_aux): Add needs_insertion flag.
1505 * tree-ssa-sccvn.c (may_insert): New global flag.
1506 (copy_reference_ops_from_ref): Value-number union member access
1507 based on its size, not type and member if insertion is allowed.
1508 (visit_reference_op_load): For a weak match from union type
1509 punning lookup a view-converted value and insert a SSA_NAME
1510 for that value if that is not found.
1511 (visit_use): Make dumps shorter. Do not disallow value numbering
1512 SSA_NAMEs that are life over an abnormal edge to constants.
1513 (free_scc_vn): Release inserted SSA_NAMEs.
1514 (run_scc_vn): New flag to specify whether insertion is allowed.
1515 Process SSA_NAMEs in forward order.
1516 * tree-ssa-loop-im.c (for_each_index): Handle invariant
1517 ADDR_EXPRs inside VIEW_CONVERT_EXPR.
1518 * fold-const.c (fold_unary): Fold VIEW_CONVERT_EXPRs from/to
1519 pointer type to/from integral types that do not change the
1520 precision to regular conversions.
1522 2008-03-13 Uros Bizjak <ubizjak@gmail.com>
1524 * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psll?,
1525 __builtin_ia32_psrl?, __builtin_ia32_psra?, __builtin_ia32_psll?i,
1526 __builtin_ia32_psrl?i, __builtin_ia32_psra?i, __builtin_ia32_psll?128,
1527 __builtin_ia32_psrl?128, __builtin_ia32_psra?128]: Fix the mode of
1528 input arguments and the mode of return value. Built-in functions
1529 that operate on whole 64-bit MMX register now use V1DI mode.
1531 2008-03-13 Alon Dayan <alond@il.ibm.com>
1532 Olga Golovanevsky <olga@il.ibm.com>
1534 PR tree-optimization/35041
1535 * ipa-struct-reorg.c (find_pos_in_stmt_1): Add another option
1536 to locate the right position in a statement.
1538 2008-03-13 Uros Bizjak <ubizjak@gmail.com>
1542 * config/i386/xmmintrin.h: Change all static inline functions to
1543 extern inline and add __gnu_inline__ attribute.
1544 * config/i386/bmintrin.h: Ditto.
1545 * config/i386/smmintrin.h: Ditto.
1546 * config/i386/tmmintrin.h: Ditto.
1547 * config/i386/mmintrin-common.h: Ditto.
1548 * config/i386/ammintrin.h: Ditto.
1549 * config/i386/emmintrin.h: Ditto.
1550 * config/i386/pmmintrin.h: Ditto.
1551 * config/i386/mmintrin.h: Ditto.
1552 * config/i386/mm3dnow.h: Ditto.
1554 2008-03-13 Jakub Jelinek <jakub@redhat.com>
1557 * omp-low.c (lower_regimplify, init_tmp_var, save_tmp_var): Removed.
1558 (lower_omp_2): New function.
1559 (lower_omp_1, lower_omp): Rewritten.
1561 2008-03-13 Danny Smith <dannysmith@users.sourceforge.net>
1564 * doc/extend.texi (Structure-Packing Pragmas): Replace "Win32"
1565 with the phrase "Microsoft Windows compilers".
1566 (Push/Pop Macro Pragmas): New subsection. Document
1567 #pragma push_macro and pragma pop_macro.
1569 2008-03-12 Paul Brook <paul@codesourcery.com>
1571 * config/arm/arm.c (output_move_double): Prefer LDRD to LDM.
1573 2008-03-12 Paul Brook <paul@codesourcery.com>
1575 * config/arm/thumb2.md: Extend peephole to cover 3-arg subs.
1576 (thumb2_alusi3_short): Exclude PLUS and MINUS.
1577 (thumb2_addsi_shortim): Rename ...
1578 (thumb2_addsi_short): ... to this. Allow register operands.
1579 (thumb2_subsi_short): New pattern.
1580 (thumb2_one_cmplsi2_short,
1581 thumb2_negsi2_short): New patterns and peepholes.
1583 2008-03-12 Paul Brook <paul@codesourcery.com>
1585 * config/arm/arm.c (arm_size_rtx_costs): Use ARM costs for Thumb-2.
1587 2008-03-12 Uros Bizjak <ubizjak@gmail.com>
1589 * config/i386/i386.md (int_cond): New code iterator.
1591 ("s<code>"): Macroize expander from seq, sne, sgt, sgtu, slt, sltu,
1592 sge, sgeu, sle and sleu expanders usign int_cond code iterator.
1593 ("s<code>"): Macroize expander from sunordered, sordered, suneq, sunge,
1594 sungt, sunle, sunlt and sltgt expanders usign fp_cond code iterator.
1595 ("b<code>"): Macroize expander from beq, bne, bgt, bgtu, blt, bltu,
1596 bge, bgeu, ble and bleu expanders usign int_cond code iterator.
1597 ("b<code>"): Macroize expander from bunordered, bordered, buneq, bunge,
1598 bungt, bunle, bunlt and bltgt expanders usign fp_cond code iterator.
1600 2008-03-12 Paul Brook <paul@codesourcery.com>
1602 * config/arm/arm.c (use_return_insn): Use offsets->saved_regs_mask
1603 instead of {arm,thumb}_compute_save_reg_mask.
1604 (output_return_instruction): Ditto.
1605 (thumb_unexpanded_epilogue): Ditto.
1606 (thumb1_expand_prologue): Ditto.
1607 (thumb1_output_function_prologue): Ditto.
1608 (arm_set_return_address): Ditto.
1609 (thumb_set_return_address): Ditto.
1610 (arm_get_frame_offsets): Set offsets->saved_regs_mask. Push extra
1611 regs to achieve stack alignment.
1612 (thumb1_compute_save_reg_mask): Fix compiler warning.
1613 (arm_output_epilogue): Use offsets->saved_regs_mask.
1614 Adjust stack pointer by poping call clobered registers.
1615 (arm_expand_prologue): Use offsets->saved_regs_mask.
1616 Adjust stack pointer by pushing extra registers.
1617 * config/arm.h (arm_stack_offsets): Add saved_regs_mask.
1619 2008-03-12 Paolo Bonzini <bonzini@gnu.org>
1622 * fold-const.c (fold_unary) <NOP_EXPR>: Distribute a narrowing
1623 conversion to the operands of a multiplication.
1625 2008-03-12 Richard Guenther <rguenther@suse.de>
1627 * Makefile.in (OBJS-common): Add tree-ssa-phiprop.o
1628 (tree-ssa-phiprop.o): Copy dependencies from tree-ssa-forwprop.o.
1629 * timevar.def (TV_TREE_PHIPROP): Add.
1630 * tree-ssa-phiprop.c: Split from tree-ssa-forwprop.c, added
1631 pass description. Use TV_TREE_PHIPROP.
1632 * tree-ssa-forwprop.c: Remove phiprop code.
1634 2008-03-12 Jakub Jelinek <jakub@redhat.com>
1637 * omp-low.c (maybe_lookup_decl): Constify first argument.
1638 (use_pointer_for_field): Change last argument from bool to
1639 omp_context *. Disallow shared copy-in/out in nested
1640 parallel if decl is shared in outer parallel too.
1641 (build_outer_var_ref, scan_sharing_clauses,
1642 lower_rec_input_clauses, lower_copyprivate_clauses,
1643 lower_send_clauses, lower_send_shared_vars): Adjust callers.
1645 2008-03-12 Victor Kaplansky <victork@il.ibm.com>
1646 Ira Rosen <irar@il.ibm.com>
1648 * tree-vectorizer.c (free_stmt_vec_info): New function.
1649 (destroy_loop_vec_info): Move code to free_stmt_vec_info().
1650 Call free_stmt_vec_info(). Free LOOP_VINFO_STRIDED_STORES..
1651 * tree-vectorizer.h (free_stmt_vec_info): Declare.
1652 * tree-vect-transform.c (vectorizable_conversion): Free
1653 vec_oprnds0 if it was allocated.
1654 (vect_permute_store_chain): Remove unused VECs.
1655 (vectorizable_store): Free VECs that are allocated in the..
1657 (vect_transform_strided_load, vectorizable_load): Likewise.
1658 (vect_remove_stores): Simplify the code.
1659 (vect_transform_loop): Move code to vect_remove_stores().
1660 Call vect_remove_stores() and free_stmt_vec_info().
1662 2008-03-11 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1664 * pa.h (TARGET_LONG_PIC_SDIFF_CALL): Conditionalize define on
1665 TARGET_HPUX. Revise comment.
1666 (TARGET_LONG_PIC_PCREL_CALL): Revise comment.
1667 * pa.c (output_call): Update for revised TARGET_LONG_PIC_SDIFF_CALL.
1668 Use sr4 variant of `be' instruction when not generating PIC code.
1669 (attr_length_call): Adjust for above change.
1671 2008-03-11 Andrew Pinski <andrew_pinski@playstation.sony.com>
1673 * ipa-reference.c (static_execute): Remove module_statics_const and
1674 associated setting code.
1676 2008-03-11 Uros Bizjak <ubizjak@gmail.com>
1679 * config/i386/i386.md (paritysi2, paritydi2): Use register_operand
1680 predicate for operand 1.
1681 (paritysi2_cmp): Use register_operand predicate for operand 2.
1682 Use earlyclobber modifier for operand 1. Remove support for
1684 (paritydi2_cmp): Use register_operand predicate for operand 3.
1685 Use earlyclobber modifier for operand 1. Remove support for
1688 2008-03-11 Paul Brook <paul@codesourcery.com>
1689 Vladimir Prus <vladimir@codesourcery.com>
1691 * config/arm/arm.c (use_return_insn): Check TARGET_APCS_FRAME.
1692 (arm_compute_save_reg0_reg12_mask): Always
1693 check if register 11 must be saved. Always safe hard frame pointer
1694 when frame_pointer_needeed.
1695 (arm_compute_save_reg_mask): Save IP and PC
1696 only with apcs frames.
1697 (arm_output_epilogue): Adjust Thumb2 codepath to
1698 be also invoked and work for ARM non-apcs frames.
1699 (arm_expand_prologue): Don't bother saving IP
1700 for non-apcs frame, since it's not clobbered by
1701 prologue code. Implement non-apcs frame
1704 2008-03-11 Paolo Bonzini <bonzini@gnu.org>
1706 PR rtl-optimization/35281
1707 * expr.c (convert_move): Use a new pseudo for the intermediate
1708 from_mode->word_mode result.
1710 2008-03-11 Paolo Bonzini <bonzini@gnu.org>
1712 * langhooks-def.h (LANG_HOOKS_CLEAR_BINDING_STACK): Delete.
1713 * langhooks.h (struct lang_hooks): Delete clear_binding_stack member.
1714 * toplev.c (compile_file): Don't call it.
1716 2008-03-11 Uros Bizjak <ubizjak@gmail.com>
1719 * expr.c (store_expr): Call emit_block_move if the mode
1720 of "temp" RTX is BLKmode.
1722 2008-03-11 Andrew Pinski <andrew_pinski@playstation.sony.com>
1723 Richard Guenther <rguenther@suse.de>
1725 PR tree-optimization/31358
1726 * tree-ssa-loop-manip.c (create_iv): Call force_gimple_operand for
1727 the step with a NULL_TREE.
1728 * tree-ssa-loop-ivopts.c (find_bivs): Convert the step
1729 to sizetype if type is a pointer type.
1730 (add_candidate_1): Don't convert the base and step to
1731 the generic type if the orginal type is a pointer type.
1732 (add_iv_value_candidates): Use sizetype for the step
1733 if type is a pointer type.
1734 (cand_value_at): Likewise.
1735 * tree-ssa-address.c (add_to_parts): Use POINTER_PLUS_EXPR
1737 * tree-affine.c (tree_to_aff_combination <POINTER_PLUS_EXPR>):
1738 Don't convert the tem affine to the type.
1739 (add_elt_to_tree): Use sizetype for the step if a pointer.
1740 Use POINTER_PLUS_EXPR for pointers.
1741 (aff_combination_to_tree): Use sizetype for the step if a
1744 2008-03-10 Vladimir Makarov <vmakarov@redhat.com>
1746 * config/i386/sse.md (ssse3_pmaddubswv8hi3, ssse3_pmaddubswv4hi3):
1747 Remove commutativity hint.
1749 2008-03-10 Jakub Jelinek <jakub@redhat.com>
1753 * c-parser.c (c_parser_omp_threadprivate): Don't add vars with
1754 errorneous type. Check that v is a VAR_DECL.
1757 * tree-cfg.c (new_label_mapper): Update cfun->last_label_uid.
1759 2008-03-10 H.J. Lu <hongjiu.lu@intel.com>
1761 PR tree-optimization/35494
1762 * tree-ssa-ccp.c (get_symbol_constant_value): Check if value
1763 may be overriden at link and run time.
1765 2008-03-10 Richard Guenther <rguenther@suse.de>
1767 PR tree-optimization/34677
1768 * tree-ssa-pre.c (modify_expr_node_pool): Remove.
1769 (poolify_tree): Likewise.
1770 (modify_expr_template): Likewise.
1771 (poolify_modify_stmt): Likewise.
1772 (insert_fake_stores): Handle all component-ref style stores
1773 in addition to INDIRECT_REF. Also handle complex types.
1774 Do not poolify the inserted load.
1775 (realify_fake_stores): Do not rebuild the tree but only
1776 make it a SSA_NAME copy.
1777 (init_pre): Remove initialzation of modify_expr_template.
1778 Do not allocate modify_expr_node_pool.
1779 (fini_pre): Do not free modify_expr_node_pool.
1781 2008-03-10 Paul Brook <paul@codesourcery.com>
1783 * config/arm/arm.md (UNSPEC_STACK_ALIGN, UNSPEC_PIC_OFFSET): Renumber
1786 2008-03-10 Paul Brook <paul@codesourcery.com>
1787 Mark Shinwell <shinwell@codesourcery.com>
1789 * config/arm/cortex-r4.md: New.
1790 * config/arm/thumb2.md (divsi3, udivsi3): Annotate with
1792 * config/arm/arm.md: Include cortex-r4.md.
1793 (insn): Add smmls, sdiv and udiv values.
1794 (generic_sched): Don't use generic scheduling for Cortex-R4.
1795 (arm_issue_rate): New function.
1796 (TARGET_SCHED_ISSUE_RATE): Define.
1798 2008-03-10 Sebastian Pop <sebastian.pop@amd.com>
1800 * doc/invoke.texi (-ftree-loop-distribution): Add an example.
1802 2008-03-10 Richard Guenther <rguenther@suse.de>
1804 * tree-ssa-pre.c (get_sccvn_value): Simplify.
1805 (compute_avail): Do not add stmt uses to AVAIL_OUT.
1807 2008-03-10 Paolo Bonzini <bonzini@gnu.org>
1809 * langhooks-def.h (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS):
1810 Set default to true.
1812 2008-03-09 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
1814 * c.opt (Wsynth): Deprecate.
1815 * doc/invoke.texi (Option Summary, Warning Options): Document
1816 -Wno-format-contains-nul.
1818 2008-03-09 Uros Bizjak <ubizjak@gmail.com>
1821 * config/i386/i386.c (ix86_constant_alignment): Compute alignment using
1822 ALIGN_MODE_128 for VECTOR_CST and INTEGER_CST in addition to REAL_CST.
1824 2008-03-09 Ira Rosen <irar@il.ibm.com>
1826 * config/rs6000/rs6000.c (builtin_description): Rename vector
1827 left shift operations.
1828 * config/rs6000/altivec.md (UNSPEC_VSL): Remove.
1829 (altivec_vsl<VI_char>): Rename to ...
1830 (ashl<mode>3): ... new name.
1831 (mulv4sf3, mulv4si3, negv4sf2): Replace gen_altivec_vslw with
1833 (absv4sf2): Convert to use ashift:V4SI instead of UNSPEC_VSL.
1835 2008-03-08 Richard Guenther <rguenther@suse.de>
1837 * coverage.h (tree_coverage_counter_addr): Declare.
1838 * coverage.c (tree_coverage_counter_addr): New function.
1839 * tree-profile.c (tree_gen_edge_profiler): Unshare counter
1841 (tree_gen_pow2_profiler): Use tree_coverage_counter_addr.
1842 (tree_gen_one_value_profiler): Likewise.
1843 (tree_gen_ic_profiler): Likewise.
1844 (tree_gen_average_profiler): Likewise.
1845 (tree_gen_ior_profiler): Likewise.
1847 2008-03-08 Richard Guenther <rguenther@suse.de>
1849 * tree-ssa-sccvn.h (vn_binary_op_lookup): Remove.
1850 (vn_binary_op_insert): Likewise.
1851 (vn_unary_op_lookup): Likewise.
1852 (vn_unary_op_insert): Likewise.
1853 (vn_nary_op_lookup): Declare.
1854 (vn_nary_op_insert): Likewise.
1855 * tree-ssa-sccvn.c (struct vn_tables_s): Merge unary
1856 and binary hashes, use a single obstack for unary_op_pool
1858 (struct vn_binary_op_s, struct vn_unary_op_s): Replace with
1859 a single struct vn_nary_op_s. Store tree code length and
1860 a variable number of operands.
1861 (struct vn_reference_op_struct): Remove unused op2.
1862 (vn_reference_op_eq): Do not compare op2.
1863 (vn_reference_op_compute_hash): Do not compute hash of op2.
1864 (vn_unary_op_hash, vn_binary_op_hash): Replace with vn_nary_op_hash.
1865 (vn_unary_op_compute_hash, vn_binary_op_compute_hash): Replace
1866 with vn_nary_op_compute_hash.
1867 (vn_unary_op_eq, vn_binary_op_eq): Replace with vn_nary_op_eq.
1868 (vn_unary_op_lookup, vn_binary_op_lookup): Replace with
1870 (vn_unary_op_insert, vn_binary_op_insert): Replace with
1872 (visit_unary_op): Call nary functions.
1873 (visit_binary_op): Likewise.
1874 (process_scc): Adjust for struct vn_tables_s changes.
1875 (allocate_vn_table): Likewise.
1876 (free_vn_table): Likewise.
1877 * tree-vn.c (vn_add): Call nary functions.
1878 (vn_lookup): Likewise.
1880 2008-03-08 Jakub Jelinek <jakub@redhat.com>
1883 * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): Shift
1884 wdst back after sync_compare_and_swapqhi_internal.
1886 2008-03-08 Uros Bizjak <ubizjak@gmail.com>
1889 * config/i386/i386-modes.def (V1DI): New vector mode.
1890 * config/i386/i386.h (VALID_MMX_REG_MODE): Add V1DImode.
1891 * config/i386/mmx.md (MMXMODEI8): New mode iterator.
1892 (MMXMODE248): Ditto.
1893 (MMXMODE): Add V1DI mode.
1894 (mmxvecsize): Change DI mode to V1DI mode.
1895 ("mov<mode>): Use MMXMODEI8 mode iterator.
1896 ("*mov<mode>_internal_rex64"): Ditto.
1897 ("*mov<mode>_internal"): Ditto.
1898 ("mmx_add<mode>3"): Ditto. Handle V1DImode for TARGET_SSE2.
1899 ("mmx_sub<mode>3"): Ditto.
1900 ("mmx_adddi3"): Remove insn pattern.
1901 ("mmx_subdi3"): Ditto.
1902 ("mmx_ashr<mode>3"): Use SImode and "yN" constraint for operand 2.
1903 ("mmx_lshr<mode>3"): Ditto. Use MMXMODE248 mode iterator.
1904 ("mmx_ashl<mode>3"): Ditto.
1905 ("mmx_lshrdi3"): Remove insn pattern.
1906 ("mmx_ashldi3"): Ditto.
1907 * config/i386/i386.c (classify_argument): Handle V1DImode.
1908 (function_arg_advance_32): Ditto.
1909 (function_arg_32): Ditto.
1910 (struct builtin_description) [IX86_BUILTIN_PADDQ]: Use
1911 mmx_addv1di3 insn pattern.
1912 [IX86_BUILTIN_PSUBQ]: Use mmx_subv1di3 insn pattern.
1913 [IX86_BUILTIN_PSLL?, IX86_BUILTIN_PSRL?, IX86_BUILTIN_PSRA?,
1914 IX86_BUILTIN_PSLL?I, IX86_BUILTIN_PSRL?I, IX86_BUILTIN_PSRA?I,
1915 IX86_BUILTIN_PSLL?I128, IX86_BUILTIN_PSRL?I128, IX86_BUILTIN_PSRA?I128]:
1916 Remove definitions of built-in functions.
1917 (V1DI_type_node): New node.
1918 (v1di_ftype_v1di_int): Ditto.
1919 (v1di_ftype_v1di_v1di): Ditto.
1920 (v2si_ftype_v2si_si): Ditto.
1921 (v4hi_ftype_v4hi_di): Remove node.
1922 (v2si_ftype_v2si_di): Ditto.
1923 (ix86_init_mmx_sse_builtins): Handle V1DImode.
1924 (__builtin_ia32_psll?, __builtin_ia32_psrl?, __builtin_ia32_psra?):
1925 Redefine builtins using def_builtin_const with *_ftype_*_int node.
1926 (__builtin_ia32_psll?i, __builtin_ia32_psrl?i, __builtin_ia32_psra?i):
1927 Add new builtins using def_builtin_const.
1928 (ix86_expand_builtin) [IX86_BUILTIN_PSLL?, IX86_BUILTIN_PSRL?,
1929 IX86_BUILTIN_PSRA?, IX86_BUILTIN_PSLL?I, IX86_BUILTIN_PSRL?I,
1930 IX86_BUILTIN_PSRA?I]: Handle builtin definitions.
1931 * config/i386/mmintrin.h (__v1di): New typedef.
1932 (_mm_add_si64): Cast arguments to __v1di type.
1933 (_mm_sub_si64): Ditto.
1934 (_mm_sll_pi16): Cast __count to __v4hi type.
1935 (_mm_sll_pi32): Cast __count to __v2si type.
1936 (_mm_sll_si64): Cast arguments to __v1di type.
1937 (_mm_srl_pi16): Cast __count to __v4hi type.
1938 (_mm_srl_pi32): Cast __count to __v2si type.
1939 (_mm_srl_si64): Cast arguments to __v1di type.
1940 (_mm_sra_pi16): Cast __count to __v4hi type.
1941 (_mm_sra_pi32): Cast __count to __v2si type.
1942 (_mm_slli_pi16): Use __builtin_ia32_psllwi.
1943 (_mm_slli_pi32): Use __builtin_ia32_pslldi.
1944 (_mm_slli_si64): Use __builtin_ia32_psllqi. Cast __m to __v1di type.
1945 (_mm_srli_pi16): Use __builtin_ia32_psrlwi.
1946 (_mm_srli_pi32): Use __builtin_ia32_psrldi.
1947 (_mm_srli_si64): Use __builtin_ia32_psrlqi. Cast __m to __v1di type.
1948 (_mm_srai_pi16): Use __builtin_ia32_psrawi.
1949 (_mm_srai_pi32): Use __builtin_ia32_psradi.
1950 * config/i386/i386.md (UNSPEC_NOP): Remove unspec definition.
1951 * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psll?,
1952 __builtin_ia32_psrl?, __builtin_ia32_psra?, __builtin_ia32_psll?i,
1953 __builtin_ia32_psrl?i, __builtin_ia32_psra?i]: Add new builtins.
1955 2008-03-07 Joseph Myers <joseph@codesourcery.com>
1957 * doc/include/texinfo.tex: Update to version 2008-03-07.10.
1959 2008-03-07 Peter Bergner <bergner@vnet.ibm.com>
1962 * config/rs6000/rs6000.c (rs6000_legitimize_address): Don't generate
1963 reg+const addressing for Altivec modes. Don't generate reg+reg
1964 addressing for TFmode or TDmode quantities.
1966 2008-03-07 Paolo Bonzini <bonzini@gnu.org>
1968 * c-common.c (vector_types_convertible_p): Call langhook
1969 instead of comptypes.
1971 2008-03-06 Andrew Pinski <andrew_pinski@playstation.sony.com>
1974 * tree-ssa-ccp.c (get_symbol_constant_value): Handle
1975 integral and scalar float variables which have a
1978 2008-03-06 Nathan Froyd <froydnj@codesourcery.com>
1980 * dwarf2out.c (dwarf2out_frame_debug_expr): Consult the
1981 dwarf_register_span hook when emitting unwind information for
1982 register-to-memory saves.
1983 * config/rs6000/rs6000.c (spe_synthesize_frame): Delete.
1984 (rs6000_frame_related): Remove call to spe_synthesize_frame.
1986 2008-03-06 Jakub Jelinek <jakub@redhat.com>
1988 * gimplify.c (goa_lhs_expr_p): Allow different ADDR_EXPR nodes
1989 for the same VAR_DECL.
1991 2008-03-06 Tom Tromey <tromey@redhat.com>
1994 * doc/standards.texi (Standards): Don't mention treelang.
1995 * doc/invoke.texi (Overall Options): Don't mention treelang.
1996 * doc/install.texi (Prerequisites): Don't mention bison or
1998 (Configuration): Don't mention treelang.
1999 (Building): Likewise.
2000 * doc/frontends.texi (G++ and GCC): Don't mention treelang.
2002 2008-03-06 Paolo Bonzini <bonzini@gnu.org>
2004 * simplify-rtx.c (simplify_subreg): Remove useless shifts from
2005 word-extractions out of a multi-word object.
2007 2008-03-06 Richard Guenther <rguenther@suse.de>
2009 * tree.def (BIT_FIELD_REF): Constrain result type and its precision.
2010 * tree-cfg.c (verify_expr): Verify BIT_FIELD_REF constraints on
2011 result type and precision.
2012 * expr.c (get_inner_reference): Set unsignedp based on the result
2013 type of BIT_FIELD_REF.
2014 * tree.h (BIT_FIELD_REF_UNSIGNED): Remove.
2015 * tree-sra.c (instantiate_element): Do not set BIT_FIELD_REF_UNSIGNED.
2016 (try_instantiate_multiple_fields): Likewise. Use the correct type
2018 (sra_build_assignment): Likewise.
2019 (sra_build_elt_assignment): Likewise.
2020 (sra_explode_bitfield_assignment): Likewise.
2021 * print-tree.c (print_node): Do not check BIT_FIELD_REF_UNSIGNED.
2022 * tree-vect-transform.c (vect_create_epilog_for_reduction): Do not
2023 set BIT_FIELD_REF_UNSIGNED.
2024 (vectorizable_load): Likewise.
2026 2008-03-06 Andreas Krebbel <krebbel1@de.ibm.com>
2028 * cse.c (cse_extended_basic_block): Invalidate artificial defs
2031 2008-03-06 Richard Guenther <rguenther@suse.de>
2033 * alias.c (struct alias_set_entry): Move has_zero_child field
2034 to pack with alias_set.
2036 2008-03-05 H.J. Lu <hongjiu.lu@intel.com>
2038 * config/i386/i386-modes.def: Use 4 byte alignment on DI for
2041 2008-03-05 Ian Lance Taylor <iant@google.com>
2043 * alias.h (alias_set_type): Change from HOST_WIDE_INT to int.
2045 2008-03-05 Kenneth Zadeck <zadeck@naturalbridge.com>
2047 * fwprop.c (update_df): Support width and offset parameters of
2049 * ra-conflict.c (mark_reg_store, clear_reg_in_live,
2050 global_conflicts): Change DF_REF_EXTRACT to either
2051 DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT. Change
2052 DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART.
2053 * df-scan.c (df_ref_record, df_defs_record,
2054 df_ref_create_structure, df_def_record_1, df_uses_record,
2055 df_get_conditional_uses, df_get_call_refs, df_insn_refs_collect,
2056 df_bb_refs_collect, df_entry_block_defs_collect,
2057 df_exit_block_uses_collect): Support new width and offset fields.
2058 (ref_extract_pool): New storage pool.
2059 (df_free_ref): New function.
2060 (df_reg_chain_unlink, df_free_collection_rec,
2061 df_sort_and_compress_refs): Call df_free_ref.
2062 (df_ref_equal_p, df_ref_compare): Compare offset and width fields
2064 (df_ref_create_structure): Allocate df_ref_extract if offset and
2065 width fields are used.
2066 (df_def_record_1): Get offset and width from ZERO_EXTRACT.
2067 (df_uses_record): Get offset and width from ZERO_EXTRACT
2069 * global.c (build_insn_chain): Change DF_REF_EXTRACT to either
2070 DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT. Change
2071 DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART.
2072 * df.h (df_ref_flags): Change DF_REF_EXTRACT to either
2073 DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT. Change
2074 DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART.
2075 (df_ref_extract): New structure.
2076 (DF_REF_WIDTH, DF_REF_OFFSET): New macros.
2077 (df_ref_create): Add width and offset parameters.
2079 2008-03-05 Richard Guenther <rguenther@suse.de>
2081 * tree-ssa-structalias.c (get_constraint_for_component_ref):
2082 Use ranges_overlap_p.
2083 (offset_overlaps_with_access): Rename
2084 to ranges_overlap_p and move ...
2085 * tree-flow-inline.h (ranges_overlap_p): ... here.
2087 * tree.h (get_inner_reference, handled_component_p): Update
2090 * tree.h (record_component_aliases, get_alias_set,
2091 alias_sets_conflict_p, alias_sets_must_conflict_p,
2092 objects_must_conflict_p): Move declarations ...
2093 * alias.h (record_component_aliases, get_alias_set,
2094 alias_sets_conflict_p, alias_sets_must_conflict_p,
2095 objects_must_conflict_p): ... here.
2096 Include coretypes.h.
2097 * Makefile.in (ALIAS_H): Add coretypes.h dependency.
2099 2008-03-05 Aldy Hernandez <aldyh@redhat.com>
2101 * cfg.c: Include tree-flow.h.
2102 (remove_edge_raw): Call redirect_edge_var_map_clear.
2103 (redirect_edge_succ_nodup): Call redirect_edge_var_map_dup.
2104 * tree-flow-inline.h (redirect_edge_var_map_def): New.
2105 (redirect_edge_var_map_result): New.
2106 * tree-cfgcleanup.c (remove_forwarder_block_with_phi): Replace
2107 PENDING_STMT use with redirect_edge_var_map_*.
2108 * tree-ssa.c (edge_var_maps): New definition.
2109 (redirect_edge_var_map_add): New.
2110 (redirect_edge_var_map_clear): New.
2111 (redirect_edge_var_map_dup): New.
2112 (redirect_edge_var_map_vector): New.
2113 (redirect_edge_var_map_destroy): New.
2114 (ssa_redirect_edge): Replace PENDING_STMT use with
2115 redirect_edge_var_map_*.
2116 (flush_pending_stmts): Same.
2117 (delete_tree_ssa): Destroy edge var map.
2118 * tree-flow.h (struct _edge_var_map): New.
2119 Define edge_var_map vector type.
2120 Declare redirect_edge_var_map_* prototypes.
2121 * Makefile.in (cfg.o): Depend on TREE_FLOW_H.
2122 * tree-cfg.c (reinstall_phi_args): Replace
2123 PENDING_STMT use with redirect_edge_var_map_*.
2125 2008-03-05 Richard Guenther <rguenther@suse.de>
2127 PR tree-optimization/35472
2128 * tree-ssa-dse.c (dse_optimize_stmt): Do not delete a store
2129 whose single use_stmt has a overlapping set of loaded and
2130 stored symbols as that use_stmt might be a noop assignment then.
2132 2008-03-05 Joel Sherrill <joel.sherrill@oarcorp.com>
2134 * gthr-rtems.h: Implement __gthread_mutex_destroy.
2136 2008-03-05 Richard Guenther <rguenther@suse.de>
2139 * tree.def (BIT_FIELD_REF): Document that operands 1 and 2
2140 should be constants.
2141 * tree-cfg.c (verify_expr): Verify it.
2142 * fold-const.c (fold_truthop): Remove code generating
2143 BIT_FIELD_REFs of structure bases.
2144 (fold_binary): Likewise.
2145 (fold_ternary): Position and size of BIT_FIELD_REFs are
2146 always host integers.
2147 (make_bit_field_ref): Remove.
2148 (optimize_bit_field_compare): Remove.
2149 (all_ones_mask_p): Remove.
2151 2008-03-05 Gabor Loki <loki@gcc.gnu.org>
2154 * rtl-factoring.c (clear_regs_live_in_seq): Fix backward steps.
2155 (split_block_and_df_analyze): New. Split basic block and rebuild
2157 (block_label_after): Use SPLIT_BLOCK_AND_DF_ANALYZE instead of
2159 (split_pattern_seq): Likewise.
2160 (erase_matching_seqs): Likewise.
2161 (split_pattern_seq): Skip return insn in case of REG_NORETURN note.
2163 2008-03-04 Geoff Keating <geoffk@apple.com>
2165 * fold-const.c (tree_single_nonnegative_warnv_p): Fix mixed
2166 declaration and code.
2167 (tree_invalid_nonnegative_warnv_p): Likewise.
2169 2008-03-05 Serge Belyshev <belyshev@depni.sinp.msu.ru>
2171 * doc/install.texi (Testing): Correct quoting for the RUNTESTFLAGS
2172 examples. Truncate option-names then causing overfull hbox.
2174 2008-03-04 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2177 * configure.ac (CONFIG_SJLJ_EXCEPTIONS): Force SJLJ exceptions
2179 * configure: Rebuilt.
2181 2008-03-04 Rafael Espindola <espindola@google.com>
2183 * fold-const.c (tree_simple_nonnegative_warnv_p): New.
2184 (tree_unary_nonnegative_warnv_p): New.
2185 (tree_binary_nonnegative_warnv_p): New.
2186 (tree_single_nonnegative_warnv_p): New.
2187 (tree_invalid_nonnegative_warnv_p): New.
2188 (tree_expr_nonnegative_warnv_p): Redefine in term of the new functions.
2190 2008-03-04 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2193 * opts.c (handle_option): Postpone 'unknown option' errors only for
2196 2008-03-04 H.J. Lu <hongjiu.lu@intel.com>
2199 * config/i386/smmintrin.h (SIDD_XXX): Renamed to ...
2202 2008-03-04 Rafael Espindola <espindola@google.com>
2204 * fold-const.c (tree_unary_nonzero_warnv_p): New.
2205 (tree_binary_nonzero_warnv_p): New.
2206 (tree_single_nonzero_warnv_p): New.
2207 (tree_expr_nonzero_warnv_p): Redefine using the new functions.
2209 2008-03-04 Uros Bizjak <ubizjak@gmail.com>
2212 * fold-const.c (fold_cond_expr_with_comparison): Prevent
2213 transformations for modes that have signed zeros.
2214 * ifcvt.c (noce_try_abs): Ditto.
2216 2008-03-04 Joseph Myers <joseph@codesourcery.com>
2218 * config/i386/i386.c (override_options): Force
2219 -maccumulate-outgoing-args on if TARGET_STACK_PROBE.
2221 2008-03-04 Jan Hubicka <jh@suse.cz>
2224 * ipa-inline.c (cgraph_decide_inlining_of_small_function): Fix typo
2227 2008-03-04 Danny Smith <dannysmith@users.sourceforge.net>
2229 * config/i386/i386.md (allocate_stack_worker_32): Use __chkstk
2230 label to probe the stack.
2232 2008-03-04 Danny Smith <dannysmith@users.sourceforge.net>
2234 * gthr-win32.h [__GTHREAD_HIDE_WIN32API]
2235 (__gthr_win32_mutex_destroy): Declare.
2236 [__GTHREAD_HIDE_WIN32API] (__gthread_mutex_destroy): Use
2237 __gthr_win32_mutex_destroy.
2238 * config/i386/gthr-win32.c (__gthr_win32_mutex_destroy): Define.
2240 2008-03-03 Jan Hubicka <jh@suse.cz>
2243 * ipa-inline.c (cgraph_decide_inlining_of_small_function): Be more
2244 aggressive on inlining cold calls.
2246 2008-03-03 Richard Guenther <rguenther@suse.de>
2248 * tree-ssa-sccvn.c (visit_reference_op_store): Do not insert
2249 struct copies into the expression table.
2250 (simplify_unary_expression): Handle VIEW_CONVERT_EXPR.
2251 (try_to_simplify): Likewise.
2252 * fold-const.c (fold_unary): Fold VIEW_CONVERT_EXPR of
2253 integral and pointer arguments which do not change the
2254 precision to NOP_EXPRs.
2255 * tree-ssa-loop-ivopts.c (may_be_nonaddressable_p): Adjust
2256 VIEW_CONVERT_EXPR case.
2258 2008-03-02 Sebastian Pop <sebastian.pop@amd.com>
2260 * tree-scalar-evolution.c (instantiate_parameters_1): An SSA_NAME
2261 defined in a loop at depth 0 is invariant.
2262 * tree-chrec.c (evolution_function_is_invariant_rec_p): Ditto.
2263 * tree-ssa-loop-ivopts.c (expr_invariant_in_loop_p): Should never
2264 be called at loop depth 0.
2266 2008-03-02 Jakub Jelinek <jakub@redhat.com>
2269 * gcc.c (process_command): Update copyright notice dates.
2270 * gcov.c (print_version): Likewise.
2271 * gcov-dump.c (print_version): Likewise.
2272 * mips-tfile.c (main): Likewise.
2273 * mips-tdump.c (main): Likewise.
2275 2008-03-02 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2278 * c-common.c (flag_permissive): Delete.
2279 (constant_expression_warnings): Check flags first.
2280 (constant_expression_error): New.
2281 * c-common.h (flag_permissive): Delete.
2282 (constant_expression_error): Declare.
2283 * flags.h (flag_permissive): Declare. Update description.
2284 * diagnostic.c (pedwarn): Update.
2286 * diagnostic.h: (pedantic_error_kind): Rename as pedantic_warning_kind.
2287 (permissive_error_kind): New.
2288 * toplev.c (flag_permissive): Define. Update description.
2289 * toplev.h (permissive_error_kind): Declare.
2290 * c-errors.c (pedwarn_c99): Use pedantic_warning_kind.
2291 (pedwarn_c90): Use pedantic_warning_kind.
2292 * c-opts.c (c_common_post_options): flag_permissive does not affect
2293 flag_pedantic_errors.
2295 2008-03-02 Joseph Myers <joseph@codesourcery.com>
2297 * libgcc2.c (__addvSI3, __addvsi3, __addvDI3, __subvSI3,
2298 __subvsi3, __subvDI3, __negvSI2, __negvsi2, __negvDI2, __absvSI2,
2299 __absvsi2, __absvDI2): Use unsigned arithmetic.
2301 2008-03-02 Andi Kleen <ak@suse.de>
2302 Richard Guenther <rguenther@suse.de>
2304 * struct-equiv.c: Remove file.
2305 * cfg_cleanup.c (condjump_equiv_p): Remove.
2306 * Makefile.in (OBJS-common): Remove struct-equiv.o.
2307 (struct-equiv.o): Remove rule.
2308 * basic-block.h (struct_equiv_checkpoint, STRUCT_EQUIV_*,
2309 insns_match_p, struct_equiv_block_eq, struct_equiv_init,
2310 rtx_equiv_p, condjump_equiv_p): Remove prototypes.
2312 2008-03-01 Alexandre Oliva <aoliva@redhat.com>
2314 * ifcvt.c (noce_process_if_block): Try to handle only the then
2315 block if the else block exists but isn't suitable.
2317 2008-03-01 Janne Blomqvist <jb@gcc.gnu.org>
2320 * gthr-posix.h (__gthread_mutex_destroy): Remove extra declarations.
2321 * gthr-posix95.h (__gthread_mutex_destroy): Likewise. Note this fixes
2322 regression from previous patch.
2324 2008-03-01 Janne Blomqvist <jb@gcc.gnu.org>
2327 * gthr.h: Add __gthread_mutex_destroy as a function that must be
2329 * gthr-vxworks.h (__gthread_mutex_destroy): Null implementation.
2330 * gthr-single.h (__gthread_mutex_destroy): Likewise.
2331 * gthr-rtems.h (__gthread_mutex_destroy): Likewise.
2332 * gthr-mipssde.h (__gthread_mutex_destroy): Likewise.
2333 * gthr-nks.h (__gthread_mutex_destroy): Likewise.
2334 * gthr-solaris.h (__gthread_mutex_destroy): Call mutex_destroy.
2335 * gthr-win32.h (__GTHREAD_MUTEX_DESTROY_FUNCTION): Remove.
2336 (__gthread_mutex_destroy_function): Rename to
2337 __gthread_mutex_destroy.
2338 * gthr-dce.h (__gthread_mutex_destroy): Call
2339 pthread_mutex_destroy.
2340 * gthr-tpf.h (__gthread_mutex_destroy): Likewise.
2341 * gthr-posix.h (__gthread_mutex_destroy): Likewise.
2342 * gthr-posix95.h (__gthread_mutex_destroy): Likewise.
2344 2008-03-01 Alexandre Oliva <aoliva@redhat.com>
2346 * df-scan.c (df_ref_chain_change_bb): Simplify.
2347 (df_insn_change_bb): Add new_bb argument. Simplify. Call
2348 set_block_for_insn if there's any change.
2349 * df.h ((df_insn_change_bb): Fix prototype.
2350 * cfgrtl.c (update_bb_for_insn_chain): Pass bb to
2351 df_insn_change_bb, don't call set_block_for_insn.
2352 * emit-rtl.c (reorder_insns): Likewise.
2353 * haifa-sched.c (move_insn): Likewise.
2355 2008-03-01 Alexandre Oliva <aoliva@redhat.com>
2357 * rtlanal.c (loc_mentioned_in_p): Test XVECEXPs correctly.
2359 2008-03-01 Alexandre Oliva <aoliva@redhat.com>
2361 * tree-flow-inline.h (next_readonly_imm_use): Return
2362 NULL_USE_OPERAND_P after the end.
2364 2008-03-01 Richard Guenther <rguenther@suse.de>
2366 PR tree-optimization/35411
2367 * tree-sra.c (sra_build_assignment): Split conversion to
2368 final type to a separate statement if we are not assigning
2371 2008-02-29 Francois-Xavier Coudert <coudert@clipper.ens.fr>
2373 * fold-const.c (fold_convertible_p): Correct the logic to follow
2374 that in fold_convert().
2376 2008-02-29 Douglas Gregor <doug.gregor@gmail.com>
2379 * tree-inline.c (build_duplicate_type): When we make a
2380 duplicate type, make it unique in the canonical types system.
2382 2008-02-29 Tom Tromey <tromey@redhat.com>
2384 * toplev.c (input_file_stack, input_file_stack_tick, fs_p,
2385 input_file_stack_history, input_file_stack_restored): Remove.
2386 (push_srcloc, pop_srcloc, restore_input_file_stack): Likewise.
2387 * input.h (struct file_stack): Remove.
2388 (push_srcloc, pop_srcloc, restore_input_file_stack): Likewise.
2389 (input_file_stack, input_file_stack_tick, INPUT_FILE_STACK_BITS):
2391 * diagnostic.h (struct diagnostic_context) <last_module>: Change
2393 (diagnostic_last_module_changed): Add 'map' argument.
2394 (diagnostic_set_last_function): Likewise.
2395 * diagnostic.c (undiagnostic_report_current_module): Iterate using
2396 line map, not input_file_stack.
2397 * c-lex.c (fe_file_change): Don't use push_srcloc or pop_srcloc.
2399 2008-02-29 Paul Brook <paul@codesourcery.com>
2401 * config/arm/arm.md (arm_addsi3): Add r/k/n alternative.
2403 2008-02-29 Paul Brook <paul@codesourcery.com>
2405 * config/arm/ieee754-df.S (muldf3): Use RET macros.
2407 2008-02-29 Richard Guenther <rguenther@suse.de>
2409 * tree-ssa-pre.c (get_sccvn_value): Create missing VNs via
2411 * tree-ssa-sccnv.c (visit_reference_op_store): Use the rhs
2412 value for comparing for a store match.
2413 (simplify_unary_expression): Do nothing for SSA_NAMEs.
2414 (try_to_simplify): Do not do a full-blown reference lookup.
2416 2008-02-29 Kaz Kojima <kkojima@gcc.gnu.org>
2418 * config/sh/sh.c (sh_scalar_mode_supported_p): New function.
2419 (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
2421 * config/sh/sh.h (OVERRIDE_OPTIONS): Don't warn for profiling.
2423 2008-02-29 Sebastian Pop <sebastian.pop@amd.com>
2425 * tree-loop-linear.c (try_interchange_loops): Compare memory access
2426 strides against cache sizes.
2428 2008-02-29 Kaz Kojima <kkojima@gcc.gnu.org>
2430 * config/sh/sh.c (sh_secondary_reload): Handle loading a float
2433 2008-02-28 Richard Sandiford <rsandifo@nildram.co.uk>
2435 * simplify-rtx.c (simplify_unary_operation_1): Extend the handling
2436 of SUBREG_PROMOTED_VAR_P to cope with cases where the extended value
2437 is smaller than the original promoted value.
2438 (simplify_subreg): If OP is a SUBREG, try to preserve its
2439 SUBREG_PROMOTED_VAR_P information.
2441 2008-02-28 Steven Bosscher <stevenb.gcc@gmail.com>
2443 * tree-ssa-sccvn (vn_ssa_aux_obstack): New obstack.
2444 (VN_INFO_GET): Allocate new objects on the obstack.
2445 (init_scc_vn): Initialize the obstack. Use XDELETE instead of free
2446 for rpo_numbers_temp, for consistency.
2447 (free_scc_vn): Free the obstack.
2449 2008-02-28 Sebastian Pop <sebastian.pop@amd.com>
2451 * doc/invoke.texi: Document -ftree-loop-distribution.
2452 * tree-loop-distribution.c: New.
2453 * tree-pass.h (pass_loop_distribution): New.
2454 * graphds.h (struct graph): Add htab_t indices.
2455 * timevar.def (TV_TREE_LOOP_DISTRIBUTION): New.
2456 * tree-vectorizer.c (rename_variables_in_loop): Extern.
2457 (slpeel_tree_duplicate_loop_to_edge_cfg): Init PENDING_STMT to NULL.
2458 * tree-vectorizer.h (tree_duplicate_loop_on_edge): Declared.
2459 * tree-data-ref.c (debug_data_dependence_relations): New.
2460 (dump_data_dependence_relation): Also print data references.
2461 (free_data_ref): Extern.
2462 (same_access_functions): Moved...
2463 (find_vertex_for_stmt): Renamed rdg_vertex_for_stmt.
2464 (dump_rdg_vertex, debug_rdg_vertex, dump_rdg_component,
2465 debug_rdg_component, dump_rdg, debug_rdg, dot_rdg_1, dot_rdg,
2466 struct rdg_vertex_info, rdg_vertex_for_stmt): New.
2467 (create_rdg_edge_for_ddr, create_rdg_vertices): Cleaned up.
2468 (stmts_from_loop): Skip LABEL_EXPR.
2469 (hash_stmt_vertex_info, eq_stmt_vertex_info, hash_stmt_vertex_del):
2471 (build_rdg): Initialize rdg->indices htab.
2472 (free_rdg, stores_from_loop, ref_base_address,
2473 rdg_defs_used_in_other_loops_p, have_similar_memory_accesses,
2474 have_similar_memory_accesses_1, ref_base_address_1,
2475 remove_similar_memory_refs): New.
2476 * tree-data-ref.h: Depend on tree-chrec.h.
2477 (debug_data_dependence_relations, free_data_ref): Declared.
2478 (same_access_functions): ... here.
2479 (ddr_is_anti_dependent, ddrs_have_anti_deps, ddr_dependence_level):
2481 (struct rdg_vertex): Add has_mem_write and has_mem_reads.
2482 (RDGV_HAS_MEM_WRITE, RDGV_HAS_MEM_READS, RDG_STMT,
2483 RDG_MEM_WRITE_STMT, RDG_MEM_READS_STMT): New.
2484 (dump_rdg_vertex, debug_rdg_vertex, dump_rdg_component,
2485 debug_rdg_component, dump_rdg, debug_rdg, dot_rdg,
2486 rdg_vertex_for_stmt): Declared.
2487 (struct rdg_edge): Add level.
2489 (free_rdg, stores_from_loop, remove_similar_memory_refs,
2490 rdg_defs_used_in_other_loops_p, have_similar_memory_accesses):
2492 (rdg_has_similar_memory_accesses): New.
2493 * tree-vect-analyze.c: Remove unused static decls.
2494 * lambda.h (dependence_level): New.
2495 * common.opt (ftree-loop-distribution): New.
2496 * tree-flow.h (mark_virtual_ops_in_bb,
2497 slpeel_tree_duplicate_loop_to_edge_cfg,
2498 rename_variables_in_loop): Declared.
2499 * Makefile.in (TREE_DATA_REF_H): Depend on tree-chrec.h.
2500 (OBJS-common): Add tree-loop-distribution.o.
2501 (tree-loop-distribution.o): New rule.
2502 * tree-cfg.c (mark_virtual_ops_in_bb): New.
2503 (mark_virtual_ops_in_region): Use mark_virtual_ops_in_bb.
2504 * passes.c (init_optimization_passes): Schedule pass_loop_distribution.
2506 2008-02-28 Joseph Myers <joseph@codesourcery.com>
2509 * tree.c (handle_dll_attribute): Disallow TYPE_DECLs for types
2510 other than structures and unions.
2512 2008-02-28 Richard Guenther <rguenther@suse.de>
2515 2008-02-26 Richard Guenther <rguenther@suse.de>
2517 * tree-flow.h (uid_decl_map_hash, uid_decl_map_eq): Move ...
2518 * tree.h (uid_decl_map_hash, uid_decl_map_eq): ... here.
2519 (lookup_decl_from_uid): Declare.
2520 (remove_decl_from_map): Likewise.
2521 * tree-ssa.c (uid_decl_map_eq, uid_decl_map_hash): Move ...
2522 * tree.c (uid_decl_map_eq, uid_decl_map_hash): ... here.
2523 (decl_for_uid_map): New global hashtable mapping DECL_UID
2525 (init_ttree): Allocate it.
2526 (insert_decl_to_uid_decl_map): New helper function.
2527 (make_node_stat): Insert new decls into the map.
2528 (copy_node_stat): Likewise.
2529 (lookup_decl_from_uid): New function.
2530 (remove_decl_from_map): Likewise.
2531 (print_decl_for_uid_map_statistics): New helper.
2532 (dump_tree_statistics): Call it.
2534 * tree-flow.h (struct gimple_df): Make referenced_vars a bitmap.
2535 (referenced_var_iterator): Adjust.
2536 (FOR_EACH_REFERENCED_VAR): Adjust.
2537 (FOR_EACH_REFERENCED_VAR_IN_BITMAP): New iterator.
2538 (num_referenced_vars): Adjust.
2539 * tree-flow-inline.h (gimple_referenced_vars): Adjust.
2540 (first_referenced_var): Remove.
2541 (end_referenced_vars_p): Likewise.
2542 (next_referenced_var): Likewise.
2543 (referenced_var_iterator_set): New helper function.
2544 * tree-dfa.c (referenced_var_lookup): Adjust.
2545 (referenced_var_check_and_insert): Likewise.
2546 (remove_referenced_var): Likewise.
2547 * tree-ssa.c (verify_flow_insensitive_alias_info): Use
2548 FOR_EACH_REFERENCED_VAR_IN_BITMAP.
2549 (verify_call_clobbering): Likewise.
2550 (verify_memory_partitions): Likewise.
2551 (init_tree_ssa): Allocate bitmap instead of hashtable for
2553 (delete_tree_ssa): Adjust.
2554 * tree-ssa-alias.c (mark_aliases_call_clobbered): Use
2555 FOR_EACH_REFERENCED_VAR_IN_BITMAP.
2556 (compute_tag_properties): Likewise.
2557 (set_initial_properties): Likewise.
2558 (find_partition_for): Likewise.
2559 (update_reference_counts): Likewise.
2560 (dump_may_aliases_for): Likewise.
2561 * tree-ssa-operands.c (add_virtual_operand): Likewise.
2562 (add_call_clobber_ops): Likewise.
2563 (add_call_read_ops): Likewise.
2564 (get_asm_expr_operands): Likewise.
2565 * tree-into-ssa.c (dump_decl_set): Likewise.
2566 (update_ssa): Likewise.
2567 * tree-sra.c (scan_function): Likewise.
2568 (decide_instantiations): Likewise.
2569 (scalarize_parms): Likewise.
2570 * tree-ssa-alias-warnings.c (build_reference_table): Likewise.
2571 (dsa_named_for): Likewise.
2572 * tree-ssa-structalias.c (update_alias_info): Likewise.
2573 (merge_smts_into): Likewise.
2575 2008-02-27 David Daney <ddaney@avtrex.com>
2578 * config/mips/iris.h (MIPS_DEBUGGING_INFO): Define.
2579 * config/mips/openbsd.h (MIPS_DEBUGGING_INFO): Same.
2580 * config/mips/sde.h (MIPS_DEBUGGING_INFO): Remove undef.
2581 * config/mips/vxworks.h (MIPS_DEBUGGING_INFO): Same.
2582 * config/mips/mips.h (MIPS_DEBUGGING_INFO): Remove define.
2584 2008-02-27 Uros Bizjak <ubizjak@gmail.com>
2587 * config/darwin-ppc-ldouble-patch.def (BUILT_IN_NANL): Add.
2588 (BUILT_IN_NEXTTOWARD): Remove.
2589 (BUILT_IN_NEXTTOWARDF): Ditto.
2590 * config/darwin.c (darwin_patch_builtin): Use ACONCAT instead of
2591 alloca/strcpy/strcat. Remove commented-out code. Fix whitespace.
2593 2008-02-27 Tom Tromey <tromey@redhat.com>
2595 * tree-dump.c (dequeue_and_dump) <FUNCTION_DECL>: Check
2596 DECL_SAVED_TREE, not DECL_LANG_SPECIFIC, when dumping body.
2598 2008-02-27 Jan Beulich <jbeulich@novell.com>
2600 * c-decl.c (merge_decls): Use DECL_USER_ALIGN() on olddecl to
2601 update the respective field on newdecl.
2603 2008-02-27 Revital Eres <eres@il.ibm.com>
2605 PR rtl-optimization/34999
2606 * bb-reorder.c (add_labels_and_missing_jumps): Do not handle
2607 crossing edges that ends with a call insn.
2608 (fix_up_fall_thru_edges): Handle crossing edges that ends with a
2609 call insn and clear the EDGE_CROSSING flag of the crossing edge
2610 when fixing fallthru edges.
2612 2008-02-27 Richard Guenther <rguenther@suse.de>
2615 * fold-const.c (fold_unary): Return the correct argument,
2616 converted to the result type.
2618 2008-02-27 Richard Guenther <rguenther@suse.de>
2621 * expr.c (expand_expr_real_1): Assert on rotates that operate
2623 * fold-const.c (fold_binary): Use the types precision, not the
2624 bitsize of the mode if folding rotate expressions. Build rotates
2625 only for full modes.
2627 2008-02-27 Jakub Jelinek <jakub@redhat.com>
2629 * c-ppoutput.c (scan_translation_unit): Handle CPP_PRAGMA
2631 * c-pragma.c (pragma_ns_name): New typedef.
2632 (registered_pp_pragmas): New variable.
2633 (c_pp_lookup_pragma): New function.
2634 (c_register_pragma_1): If flag_preprocess_only, do nothing
2635 for non-expanded pragmas, for expanded ones push pragma's
2636 namespace and name into registered_pp_pragmas vector.
2637 (c_invoke_pragma_handler): Register OpenMP pragmas even when
2638 flag_preprocess_only, don't register GCC pch_preprocess
2639 pragma if flag_preprocess_only.
2640 * c-opts.c (c_common_init): Call init_pragma even if
2641 flag_preprocess_only.
2642 * c-pragma.c (c_pp_lookup_pragma): New prototype.
2643 * config/darwin.h (DARWIN_REGISTER_TARGET_PRAGMAS): Don't call
2644 cpp_register_pragma if flag_preprocess_only.
2646 2008-02-26 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
2649 * c-parser.c (c_parser_translation_unit): Warn for empty
2650 translation unit, not empty source file.
2652 2008-02-26 Paul Brook <paul@codesourcery.com>
2654 * config/arm/arm.c (thumb_set_frame_pointer): Ensure SP is first
2655 operand for Thumb-2.
2656 * config/arm/arm.h (reg_class): Add CORE_REGS.
2657 (REG_CLASS_NAMES, REG_CLASS_CONTENTS): Ditto.
2658 (BASE_REG_CLASS): Use CORE_REGS.
2659 (PREFERRED_RELOAD_CLASS): Add STACK_REG.
2660 (REGNO_MODE_OK_FOR_REG_BASE_P): Use REGNO_MODE_OK_FOR_BASE_P.
2661 (REGNO_OK_FOR_INDEX_P): Exclude SP.
2662 (ARM_REG_OK_FOR_INDEX_P): Always define. Use
2663 ARM_REGNO_OK_FOR_INDEX_P.
2664 (ARM_PRINT_OPERAND_ADDRESS): Swap operands for [reg, sp].
2665 * config/arm/arm.md (arm_addsi3, thumb1_addsi3, arm_subsi3_insn,
2666 arm_movsi_insn, thumb1_movsi_insni, stack_tie): Add "k" alternatives.
2667 (ldm/stm peepholes): Ditto.
2668 * config/arm/thumb2.md (thumb2_movdi): Add "k" alternatives.
2669 * config/arm/vfp.md (arm_movsi_vfp, thumb2_movsi_vfp): Ditto.
2670 * config/arm/iwmmxt.md (iwmmxt_movsi_insn): Ditto.
2671 * config/arm/constraints.md: Enable "k" constraint on ARM.
2673 2008-02-27 Ben Elliston <bje@au.ibm.com>
2675 * config/rs6000/rs6000.c: Annotate cache line size field in all
2676 instances of struct processor_costs.
2678 2008-02-26 David Edelsohn <edelsohn@gnu.org>
2680 * dbgcnt.def (cfg_cleanup, cprop1, cprop2, dce_fast, dce_ud, dse1,
2681 dse2, gcse, if_conversion, if_after_combine, if_after_reload,
2682 jump_bypass): New counters.
2683 * cfgcleanup.c (cleanup_cfg): Add dbg_cnt.
2684 * dce.c (gate_ud_dce): Same.
2685 (gate_fast_dce): Same.
2686 * dse.c (gate_dse1): New function.
2687 (gate_dse2): New function.
2688 (gate_dse): Merge results of new gate functions.
2689 * gcse.c (gcse_main): Bracket cprop1 and cprop2 with dbg_cnt.
2690 (gate_handle_jump_bypass): Add dbg_cnt.
2691 (gate_handle_gcse): Add dbg_cnt.
2692 * ifcvt.c (gate_handle_if_conversion): Same.
2693 (gate_handle_if_after_combine): Same.
2694 (gate_handle_if_after_reload): Same.
2695 * Makefile.in: Add DBGCNT_H to cfgcleanup.o and ifcvt.o.
2697 2008-02-26 Edmar Wienskoski <edmar@freescale.com>
2699 * config/rs6000/rs6000.c (processor_costs): Update e300 cache
2701 * doc/invoke.texi: Add e300c2 and e300c3 to list of cpus.
2703 2008-02-26 Jason Merrill <jason@redhat.com>
2706 * attribs.c (decl_attributes): Leave ATTR_FLAG_TYPE_IN_PLACE
2707 alone if it's the naming decl for the type's main variant.
2709 2008-02-26 Tom Tromey <tromey@redhat.com>
2711 * system.h (USE_MAPPED_LOCATION): Poison.
2712 * Makefile.in (GTFILES): Put CPP_ID_DATA_H first.
2713 * tree-cfg.c (make_cond_expr_edges): Remove old location code.
2714 (make_goto_expr_edges): Likewise.
2715 (remove_bb): Likewise.
2716 (execute_warn_function_return): Likewise.
2717 * basic-block.h (struct edge_def) <goto_locus>: Change type to
2719 * c-common.c (fname_decl): Remove old location code.
2720 * tree-vect-transform.c (vect_finish_stmt_generation): Remove old
2722 * rtl.h (ASM_OPERANDS_SOURCE_LOCATION): Remove old-location
2724 (ASM_INPUT_SOURCE_LOCATION): Likewise.
2725 (gen_rtx_ASM_INPUT): Likewise.
2726 (gen_rtx_ASM_INPUT_loc): Likewise.
2727 (get_rtx_asm_OPERANDS): Remove.
2728 * cfglayout.c (insn_locators_alloc): Remove old location code.
2729 (set_curr_insn_source_location): Likewise.
2730 (curr_insn_locator): Likewise.
2731 * print-tree.c (print_node): Remove old location code.
2732 * tree-mudflap.c (mf_varname_tree): Remove old location code.
2733 (mf_file_function_line_tree): Remove test of USE_MAPPED_LOCATION.
2734 * cfgexpand.c (expand_gimple_cond_expr): Don't use
2735 location_from_locus.
2736 (construct_exit_block): Remove old location code.
2737 * emit-rtl.c (force_next_line_note): Remove old location code.
2738 * profile.c (branch_prob): Remove old location code.
2739 * tree-vectorizer.h (LOC, UNKNOWN_LOC, EXPR_LOC, LOC_FILE,
2740 LOC_LINE): Remove old-location variants.
2741 * langhooks.c (lhd_print_error_function): Remove old location
2743 * configure, config.in: Rebuilt.
2744 * configure.ac (--enable-mapped-location): Remove.
2745 * c-decl.c (c_init_decl_processing): Remove old location code.
2746 (finish_function): Likewise.
2747 * recog.c (decode_asm_operands): Remove old location code.
2748 * c-pch.c (c_common_read_pch): Remove old location code.
2749 * rtl.def (ASM_INPUT, ASM_OPERANDS): Remove old location
2751 * gimple-low.c (lower_function_body): Remove old location code.
2752 * toplev.c (unknown_location): Remove.
2753 (push_srcloc): Remove old-location variant.
2754 (process_options): Remove old location code.
2755 (lang_dependent_init): Likewise.
2756 * input.h (UNKNOWN_LOCATION): Move definition.
2757 (location_t): Undeprecate.
2758 (source_locus): Remove.
2759 (location_from_locus): Remove.
2760 (struct location_s): Remove.
2761 Remove all old-location code.
2762 (input_line, input_filename): Remove.
2763 * final.c (final_scan_insn): Remove old location code.
2764 * diagnostic.c (diagnostic_build_prefix): Remove
2765 USE_MAPPED_LOCATION test.
2766 * tree.h (gimple_stmt) <locus>: Now a location_t.
2767 (tree_exp) <locus>: Likewise.
2768 (DECL_IS_BUILTIN): Remove old-location variant.
2769 (annotate_with_file_line, annotate_with_locus): Likewise.
2770 (expr_locus, set_expr_locus): Update.
2771 * tree.c (build1_stat): Remove old location code.
2772 (last_annotated_node): Remove.
2773 (annotate_with_file_line): Remove old-location variant.
2774 (annotate_with_locus): Likewise.
2775 (expr_location): Remove old location code.
2776 (set_expr_location): Likewise.
2777 (expr_has_location): Likewise.
2778 (expr_locus): Likewise.
2779 (set_expr_locus): Likewise.
2780 (expr_filename): Don't use location_from_locus.
2781 (expr_lineno): Likewise.
2782 * rtl-error.c (location_for_asm): Remove old location code.
2783 * c-lex.c (cb_line_change): Remove old location code.
2784 (fe_file_change): Likewise.
2785 (cb_def_pragma): Likewise.
2786 (c_lex_with_flags): Likewise.
2787 * gengtype.c (do_typedef): Don't special-case location types.
2788 (define_location_structures): Remove.
2789 (main): Don't call define_location_structures.
2790 * tree-pretty-print.c (dump_implicit_edges): Remove old location
2793 2008-02-26 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2796 * builtins.def (BUILT_IN_STDARG_START): Remove.
2797 * builtins.c (expand_builtin): Remove BUILT_IN_STDARG_START.
2798 * tree-stdarg.c (execute_optimize_stdarg): Likewise.
2799 * tree-inline.c (inline_forbidden_p_1): Likewise.
2801 2008-02-26 Richard Guenther <rguenther@suse.de>
2803 * tree-flow.h (uid_decl_map_hash, uid_decl_map_eq): Move ...
2804 * tree.h (uid_decl_map_hash, uid_decl_map_eq): ... here.
2805 (lookup_decl_from_uid): Declare.
2806 (remove_decl_from_map): Likewise.
2807 * tree-ssa.c (uid_decl_map_eq, uid_decl_map_hash): Move ...
2808 * tree.c (uid_decl_map_eq, uid_decl_map_hash): ... here.
2809 (decl_for_uid_map): New global hashtable mapping DECL_UID
2811 (init_ttree): Allocate it.
2812 (insert_decl_to_uid_decl_map): New helper function.
2813 (make_node_stat): Insert new decls into the map.
2814 (copy_node_stat): Likewise.
2815 (lookup_decl_from_uid): New function.
2816 (remove_decl_from_map): Likewise.
2817 (print_decl_for_uid_map_statistics): New helper.
2818 (dump_tree_statistics): Call it.
2820 * tree-flow.h (struct gimple_df): Make referenced_vars a bitmap.
2821 (referenced_var_iterator): Adjust.
2822 (FOR_EACH_REFERENCED_VAR): Adjust.
2823 (FOR_EACH_REFERENCED_VAR_IN_BITMAP): New iterator.
2824 (num_referenced_vars): Adjust.
2825 * tree-flow-inline.h (gimple_referenced_vars): Adjust.
2826 (first_referenced_var): Remove.
2827 (end_referenced_vars_p): Likewise.
2828 (next_referenced_var): Likewise.
2829 (referenced_var_iterator_set): New helper function.
2830 * tree-dfa.c (referenced_var_lookup): Adjust.
2831 (referenced_var_check_and_insert): Likewise.
2832 (remove_referenced_var): Likewise.
2833 * tree-ssa.c (verify_flow_insensitive_alias_info): Use
2834 FOR_EACH_REFERENCED_VAR_IN_BITMAP.
2835 (verify_call_clobbering): Likewise.
2836 (verify_memory_partitions): Likewise.
2837 (init_tree_ssa): Allocate bitmap instead of hashtable for
2839 (delete_tree_ssa): Adjust.
2840 * tree-ssa-alias.c (mark_aliases_call_clobbered): Use
2841 FOR_EACH_REFERENCED_VAR_IN_BITMAP.
2842 (compute_tag_properties): Likewise.
2843 (set_initial_properties): Likewise.
2844 (find_partition_for): Likewise.
2845 (update_reference_counts): Likewise.
2846 (dump_may_aliases_for): Likewise.
2847 * tree-ssa-operands.c (add_virtual_operand): Likewise.
2848 (add_call_clobber_ops): Likewise.
2849 (add_call_read_ops): Likewise.
2850 (get_asm_expr_operands): Likewise.
2851 * tree-into-ssa.c (dump_decl_set): Likewise.
2852 (update_ssa): Likewise.
2853 * tree-sra.c (scan_function): Likewise.
2854 (decide_instantiations): Likewise.
2855 (scalarize_parms): Likewise.
2856 * tree-ssa-alias-warnings.c (build_reference_table): Likewise.
2857 (dsa_named_for): Likewise.
2858 * tree-ssa-structalias.c (update_alias_info): Likewise.
2859 (merge_smts_into): Likewise.
2861 2008-02-26 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2864 * doc/invoke.texi (-Wall): Add -Wvolatile-register-var.
2865 * c-opts.c (c_common_handle_option): Wall enables
2866 Wvolatile-register-var.
2867 * common.opt: Move Wvolatile-register-var to...
2870 2008-02-26 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2872 * common.opt (Wlarger-than=): New.
2873 * doc/invoke.texi (Warning Options): Replace -Wlarger-than- with
2875 * opts.c (common_handle_option): Handle -Wlarger-than=.
2876 * optc-gen.awk: Likewise.
2877 * opth-gen.awk: Likewise.
2878 * stor-layout.c (layout_decl): Use -Wlarger-than= for warning.
2879 * tree-optimize.c (tree_rest_of_compilation): Likewise.
2881 2008-02-26 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2883 * c-common.c (match_case_to_enum_1): Add appropriate
2884 OPT_W* parameter to warning.
2885 (c_do_switch_warnings): Likewise.
2886 * c-typeck.c (warning_init): Add one more parameter following
2888 (push_init_level): Update call to warning_init.
2889 (pop_init_level): Likewise.
2890 (add_pending_init): Likewise.
2891 (output_init_element: Likewise.
2893 2008-02-26 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2896 * toplev.c (toplev_main): If there are warnings or error, print
2897 errors for ignored options.
2898 * opts.c (ignored_options): New static variable.
2899 (postpone_unknown_option_error): New.
2900 (print_ignored_options): New.
2901 (handle_option): Postpone errors for unknown -Wno-* options.
2902 * opts.h (print_ignored_options): Declare.
2904 2008-02-25 Richard Sandiford <rsandifo@nildram.co.uk>
2906 * config/mips/mips.md (loadgp_blockage, blockage): Change type
2909 2008-02-25 Richard Guenther <rguenther@suse.de>
2912 2008-02-25 Richard Guenther <rguenther@suse.de>
2914 * tree-flow.h (uid_decl_map_hash, uid_decl_map_eq): Move ...
2915 * tree.h (uid_decl_map_hash, uid_decl_map_eq): ... here.
2916 (lookup_decl_from_uid): Declare.
2917 * tree-ssa.c (uid_decl_map_eq, uid_decl_map_hash): Move ...
2918 * tree.c (uid_decl_map_eq, uid_decl_map_hash): ... here.
2919 (decl_for_uid_map): New global hashtable mapping DECL_UID
2921 (init_ttree): Allocate it.
2922 (insert_decl_to_uid_decl_map): New helper function.
2923 (make_node_stat): Insert new decls into the map.
2924 (copy_node_stat): Likewise.
2925 (lookup_decl_from_uid): New function.
2926 (print_decl_for_uid_map_statistics): New helper.
2927 (dump_tree_statistics): Call it.
2929 * tree-flow.h (struct gimple_df): Make referenced_vars a bitmap.
2930 (referenced_var_iterator): Adjust.
2931 (FOR_EACH_REFERENCED_VAR): Adjust.
2932 (FOR_EACH_REFERENCED_VAR_IN_BITMAP): New iterator.
2933 (num_referenced_vars): Adjust.
2934 * tree-flow-inline.h (gimple_referenced_vars): Adjust.
2935 (first_referenced_var): Remove.
2936 (end_referenced_vars_p): Likewise.
2937 (next_referenced_var): Likewise.
2938 (referenced_var_iterator_set): New helper function.
2939 * tree-dfa.c (referenced_var_lookup): Adjust.
2940 (referenced_var_check_and_insert): Likewise.
2941 (remove_referenced_var): Likewise.
2942 * tree-ssa.c (verify_flow_insensitive_alias_info): Use
2943 FOR_EACH_REFERENCED_VAR_IN_BITMAP.
2944 (verify_call_clobbering): Likewise.
2945 (verify_memory_partitions): Likewise.
2946 (init_tree_ssa): Allocate bitmap instead of hashtable for
2948 (delete_tree_ssa): Adjust.
2949 * tree-ssa-alias.c (mark_aliases_call_clobbered): Use
2950 FOR_EACH_REFERENCED_VAR_IN_BITMAP.
2951 (compute_tag_properties): Likewise.
2952 (set_initial_properties): Likewise.
2953 (find_partition_for): Likewise.
2954 (update_reference_counts): Likewise.
2955 (dump_may_aliases_for): Likewise.
2956 * tree-ssa-operands.c (add_virtual_operand): Likewise.
2957 (add_call_clobber_ops): Likewise.
2958 (add_call_read_ops): Likewise.
2959 (get_asm_expr_operands): Likewise.
2960 * tree-into-ssa.c (dump_decl_set): Likewise.
2961 (update_ssa): Likewise.
2962 * tree-sra.c (scan_function): Likewise.
2963 (decide_instantiations): Likewise.
2964 (scalarize_parms): Likewise.
2965 * tree-ssa-alias-warnings.c (build_reference_table): Likewise.
2966 (dsa_named_for): Likewise.
2967 * tree-ssa-structalias.c (update_alias_info): Likewise.
2968 (merge_smts_into): Likewise.
2970 2008-02-25 Janne Blomqvist <jb@gcc.gnu.org>
2973 * doc/invoke.texi (-fcx-limited-range): Document new option.
2974 * toplev.c (process_options): Handle -fcx-fortran-rules.
2975 * common.opt: Add documentation for -fcx-fortran-rules.
2977 2008-02-25 Janne Blomqvist <jb@gcc.gnu.org>
2980 * doc/invoke.texi (-fcx-limited-range): Correct to be in line with
2981 actual behaviour and C99.
2983 2008-02-26 Ben Elliston <bje@au.ibm.com>
2985 * config/rs6000/rs6000.h (ASM_CPU_POWER5_SPEC): Define.
2986 (ASM_CPU_POWER6_SPEC): Likewise.
2987 (ASM_CPU_SPEC): Pass %(asm_cpu_power5) for -mcpu=power5.
2988 Likewise, pass %(asm_cpu_power6) for -mcpu=power6.
2989 (EXTRA_SPECS): Add asm_cpu_power5, asm_cpu_power6 spec strings.
2991 2008-02-25 Richard Guenther <rguenther@suse.de>
2993 * tree-flow.h (uid_decl_map_hash, uid_decl_map_eq): Move ...
2994 * tree.h (uid_decl_map_hash, uid_decl_map_eq): ... here.
2995 (lookup_decl_from_uid): Declare.
2996 * tree-ssa.c (uid_decl_map_eq, uid_decl_map_hash): Move ...
2997 * tree.c (uid_decl_map_eq, uid_decl_map_hash): ... here.
2998 (decl_for_uid_map): New global hashtable mapping DECL_UID
3000 (init_ttree): Allocate it.
3001 (insert_decl_to_uid_decl_map): New helper function.
3002 (make_node_stat): Insert new decls into the map.
3003 (copy_node_stat): Likewise.
3004 (lookup_decl_from_uid): New function.
3005 (print_decl_for_uid_map_statistics): New helper.
3006 (dump_tree_statistics): Call it.
3008 * tree-flow.h (struct gimple_df): Make referenced_vars a bitmap.
3009 (referenced_var_iterator): Adjust.
3010 (FOR_EACH_REFERENCED_VAR): Adjust.
3011 (FOR_EACH_REFERENCED_VAR_IN_BITMAP): New iterator.
3012 (num_referenced_vars): Adjust.
3013 * tree-flow-inline.h (gimple_referenced_vars): Adjust.
3014 (first_referenced_var): Remove.
3015 (end_referenced_vars_p): Likewise.
3016 (next_referenced_var): Likewise.
3017 (referenced_var_iterator_set): New helper function.
3018 * tree-dfa.c (referenced_var_lookup): Adjust.
3019 (referenced_var_check_and_insert): Likewise.
3020 (remove_referenced_var): Likewise.
3021 * tree-ssa.c (verify_flow_insensitive_alias_info): Use
3022 FOR_EACH_REFERENCED_VAR_IN_BITMAP.
3023 (verify_call_clobbering): Likewise.
3024 (verify_memory_partitions): Likewise.
3025 (init_tree_ssa): Allocate bitmap instead of hashtable for
3027 (delete_tree_ssa): Adjust.
3028 * tree-ssa-alias.c (mark_aliases_call_clobbered): Use
3029 FOR_EACH_REFERENCED_VAR_IN_BITMAP.
3030 (compute_tag_properties): Likewise.
3031 (set_initial_properties): Likewise.
3032 (find_partition_for): Likewise.
3033 (update_reference_counts): Likewise.
3034 (dump_may_aliases_for): Likewise.
3035 * tree-ssa-operands.c (add_virtual_operand): Likewise.
3036 (add_call_clobber_ops): Likewise.
3037 (add_call_read_ops): Likewise.
3038 (get_asm_expr_operands): Likewise.
3039 * tree-into-ssa.c (dump_decl_set): Likewise.
3040 (update_ssa): Likewise.
3041 * tree-sra.c (scan_function): Likewise.
3042 (decide_instantiations): Likewise.
3043 (scalarize_parms): Likewise.
3044 * tree-ssa-alias-warnings.c (build_reference_table): Likewise.
3045 (dsa_named_for): Likewise.
3046 * tree-ssa-structalias.c (update_alias_info): Likewise.
3047 (merge_smts_into): Likewise.
3049 2008-02-25 Andreas Krebbel <krebbel1@de.ibm.com>
3052 * cse.c (cse_insn): Avoid creation of overlapping MEMs.
3053 * alias.c (nonoverlapping_memrefs_p): Export for use in other modules.
3054 * alias.h (nonoverlapping_memrefs_p): Likewise.
3056 2008-02-25 Jan Beulich <jbeulich@novell.com>
3058 * Makefile.in: Also prefix uses of crt0.o and mcrt0.o with $(T).
3059 * config/i386/netware-libgcc.exp: Add __bswap?i2,
3060 __emultls_get_address, __emultls_register_common,
3061 __floatundi?f, and _Unwind_GetIPInfo.
3062 * config/i386/netware.c (gen_stdcall_or_fastcall_decoration):
3063 Sync with config/i386/winnt.c:gen_stdcall_or_fastcall_suffix().
3064 (gen_regparm_prefix): Likewise.
3065 (i386_nlm_encode_section_info): Sync with
3066 config/i386/winnt.c:i386_pe_encode_section_info().
3067 (i386_nlm_maybe_mangle_decl_assembler_name): New.
3068 i386_nlm_mangle_decl_assembler_name): New.
3069 (netware_override_options): New.
3070 * config/i386/netware.h (netware_override_options): Declare.
3071 (OVERRIDE_OPTIONS): Re-define to netware_override_options.
3072 (i386_nlm_mangle_decl_assembler_name): Declare.
3073 (TARGET_MANGLE_DECL_ASSEMBLER_NAME): Define.
3075 2008-02-25 Ben Elliston <bje@au.ibm.com>
3078 * c-decl.c (grokdeclarator): Remove unused local variables
3079 `typedef_type' and `type_as_written'.
3081 (find_rarely_executed_basic_blocks_and_crossing_edges): Remove
3082 unused local variable `has_hot_blocks'.
3083 (fix_crossing_conditional_branches): Remove unused local variable
3086 2008-02-25 Uros Bizjak <ubizjak@gmail.com>
3089 * builtins.def (BUILT_IN_NAN): Define as c99 builtin
3090 using DEF_C99_BUILTIN.
3091 (BUILT_IN_NANF): Ditto.
3092 (BUILT_IN_NANL): Ditto.
3094 2008-02-25 Ayal Zaks <zaks@il.ibm.com>
3095 Revital Eres <eres@il.ibm.com>
3097 * modulo-sched.c (calculate_must_precede_follow): Address TODO
3098 regarding the order of two dependent insns in the same row.
3100 2008-02-25 Eric Botcazou <ebotcazou@adacore.com>
3102 * stor-layout.c (layout_decl): Do not bump the alignment of a
3103 bit-field to more than byte alignment if it is packed.
3105 2008-02-24 David Edelsohn <edelsohn@gnu.org>
3107 * config/rs6000/rs6000.c (processor_costs): Add cache costs for
3110 2008-02-24 Diego Novillo <dnovillo@google.com>
3112 http://gcc.gnu.org/ml/gcc-patches/2008-02/msg01094.html
3115 * tree-vrp.c (vrp_evaluate_conditional): With
3116 -Wtype-limits, emit a warning when comparing against a
3117 constant outside the natural range of OP0's type.
3118 * c.opt (Wtype-limits): Move ...
3119 * common.opt (Wtype-limits): ... here.
3121 2008-02-24 Edmar Wienskoski <edmar@freescale.com>
3123 * config.gcc (powerpc*-*-*): Add new cores e300c2 and e300c3.
3124 * config/rs6000/e300c2c3.md: New file.
3125 * config/rs6000/rs6000.c (processor_costs): Add new costs for
3127 (rs6000_override_options): Add e300c2 and e300c3 cases to
3128 processor_target_table. Do not allow usage of Altivec or Spe
3129 with e300 cores. Initialize rs6000_cost for e300c2 and e300c3.
3130 (rs6000_issue_rate): Set issue rate for e300c2 and e300c3.
3131 * config/rs6000/rs6000.h (processor_type): Add
3132 PROCESSOR_PPCE300C2 and PROCESSOR_PPCE300C3.
3133 (ASM_CPU_SPEC): Add e300c2 and e300c3.
3134 * config/rs6000/rs6000.md (define_attr "cpu"): Add ppce300c2
3135 and ppce300c3. Include e300c2c3.md.
3137 2008-02-23 David Edelsohn <edelsohn@gnu.org>
3139 * config/rs6000/rs6000.h (CONSTANT_ALIGNMENT): Use STRICT_ALIGNMENT
3140 instead of TARGET_STRICT_ALIGN.
3142 2008-02-23 Joseph Myers <joseph@codesourcery.com>
3144 * explow.c (memory_address): Assert that the generated address is
3147 2008-02-23 Francois-Xavier Coudert <coudert@clipper.ens.fr>
3150 * config/darwin-protos.h: Add darwin_patch_builtins prototype.
3151 * config/darwin-ppc-ldouble-patch.def: New file.
3152 * config/rs6000/darwin.h (SUBTARGET_INIT_BUILTINS): New macro.
3153 * config/rs6000/rs6000.c (rs6000_init_builtins): Call
3154 SUBTARGET_INIT_BUILTINS if defined.
3155 * config/darwin.c (darwin_patch_builtin, darwin_patch_builtins):
3158 2008-02-23 Andrew Pinski <andrew_pinski@playstation.sony.com>
3161 * simplify-rtx.c (simplify_binary_operation_1): Add simplification
3162 of (and X (ior (not X) Y) and (and (ior (not X) Y) X).
3164 2008-02-23 Andrew Pinski <andrew_pinski@playstation.sony.com>
3167 * c-pch.c (c_common_valid_pch): Make the "too short to be a PCH
3168 file" warning condtional on -Winvalid-PCH.
3170 2008-02-23 Daniel Jacobowitz <dan@codesourcery.com>
3172 * expmed.c (extract_bit_field): Always use adjust_address for MEM.
3174 2008-02-23 Uros Bizjak <ubizjak@gmail.com>
3178 * config/i386/mmx.md (*mov<mode>_internal_rex64): Use "!y" to
3179 prevent reload from using MMX registers.
3180 (*mov<mode>_internal): Ditto.
3181 (*movv2sf_internal_rex64): Ditto.
3182 (*movv2sf_internal): Ditto.
3184 2008-02-23 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
3186 PR documentation/31569
3187 * doc/install.texi2html: Use makeinfo --no-number-sections.
3189 2008-02-22 Nathan Froyd <froydnj@codesourcery.com>
3191 * config/rs6000/rs6000.c (rs6000_legitimize_address): Check to
3192 ensure that we can address an entire entity > 8 bytes. Don't
3193 generate reg+reg addressing for such data.
3195 2008-02-22 Nathan Froyd <froydnj@codesourcery.com>
3197 * config/rs6000/rs6000.h (CONSTANT_ALIGNMENT): Don't overalign
3198 strings when optimizing for size, unless the target cares about
3201 2008-02-22 Tom Tromey <tromey@redhat.com>
3203 * regclass.c (current_pass): Remove declaration.
3205 2008-02-22 Anatoly Sokolov <aesok@post.ru>
3207 * config/avr/libgcc.S (__RAMPZ__): Define.
3208 (__do_copy_data): Add for devices with 128KB code memory.
3210 2008-02-22 Nathan Froyd <froydnj@codesourcery.com>
3212 * config/rs6000/linuxspe.h (SUBSUBTARGET_OVERRIDE_OPTIONS):
3214 * config/rs6000/eabispe.h (SUBSUBTARGET_OVERRIDE_OPTIONS): Likewise.
3216 2008-02-22 Hans-Peter Nilsson <hp@axis.com>
3218 * config/cris/cris.h (REG_CLASS_FROM_LETTER): Recognize 'b' for
3221 2008-02-22 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
3224 * c-typeck.c (build_binary_op): Warn about floating point
3225 comparisons if FLOAT_TYPE_P, not only for REAL_TYPE.
3227 2008-02-21 Janis Johnson <janis187@us.ibm.com>
3230 * config/rs6000/rs6000.c (rs6000_altivec_abi): Clarify comment.
3231 (rs6000_explicit_options): Split abi into spe_abi and altivec_abi,
3233 (rs6000_override_options): Set altivec_abi as default, not override,
3234 for 64-bit GNU/Linux; for 32-bit GNU/Linux default to altivec_abi for
3235 TARGET_ALTIVEC; default to TARGET_ALTIVEC_VRSAVE when AltiVec ABI
3236 is used; use new member spe_abi.
3237 (rs6000_handle_option): Set rs6000_explicit_options.vrsave; use
3238 spe_abi and altivec_abi.
3240 2008-02-22 Tomas Bily <tbily@suse.cz>
3242 * tree-vectorizer.c (vect_is_simple_reduction): Fix comment typo.
3244 2008-02-21 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
3247 * config.build (build_file_translate): Set to `CMD //c' only if
3249 * Makefile.in (build_file_translate): Improve comment.
3251 2008-02-21 Jan Hubicka <jh@suse.cz>
3253 * predict.def (PRED_TREE_OPCODE_POSITIVE, PRED_TREE_OPCODE_NONEQUAL,
3254 PRED_TREE_OPCODE_POSITIVE, PRED_TREE_OPCODE_NONEQUAL, PRED_CALL,
3255 PRED_TREE_EARLY_RETURN, PRED_NULL_RETURN): Update.
3257 2008-02-21 Michael Matz <matz@suse.de>
3260 * config/i386/i386.c (ix86_expand_branch): Add missing breaks.
3262 2008-02-21 Uros Bizjak <ubizjak@gmail.com>
3264 * config/i386/i386.md (mov<mode>cc): Macroize expander from movsfcc,
3265 movdfcc and movxfcc using X87MODEF mode iterator and SSE_FLOAT_MODE_P
3267 * config/i386/sse.md (<sse>_movup<ssemodesuffixf2c>): Macroize insn
3268 from sse_movups adn sse2_movupd using SSEMODEF2P mode iterator and
3269 SSE_VEC_FLOAT_MODE_P as insn constraint.
3270 (<sse>_movmskp<ssemodesuffixf2c>): Ditto from similar patterns.
3271 (sse4a_movnt<mode>): Macroize insn from sse4a_movntsf and
3272 sse4a_movntdf using MODEF mode iterator.
3273 (sse4a_vmmovnt<mode>): Macroize insn form sse4a_vmmovntv2df and
3274 sse4a_vmmovntv4sf using SSEMODEF2P mode iterator.
3275 (sse4_1_blendp<ssemodesuffixf2c>): Ditto from similar patterns.
3276 (sse4_1_blendvp<ssemodesuffixf2c>): Ditto.
3277 (sse4_1_dpp<ssemodesuffixf2c>): Ditto.
3278 (sse4_1_roundp<ssemodesuffixf2c>): Ditto.
3279 (sse4_1_rounds<ssemodesuffixf2c>): Ditto.
3281 2008-02-21 Richard Guenther <rguenther@suse.de>
3283 * tree.def (PAREN_EXPR): New tree code.
3284 * fold-const.c (fold_unary): Remove PAREN_EXPR around constants
3286 * tree-pretty-print.c (dump_generic_node): Handle PAREN_EXPR.
3287 * expr.c (expand_expr_real_1): Likewise.
3288 * tree-inline.c (estimate_num_insns_1): Likewise.
3289 * tree-complex.c (expand_complex_move): Likewise.
3290 * tree-vectorizer.c (vect_is_simple_use): Treat PAREN_EXPR (x)
3293 2008-02-20 Kaz Kojima <kkojima@gcc.gnu.org>
3296 * config/sh/sh.c (find_barrier): Don't go past 'from' argument.
3298 2008-02-20 Kaz Kojima <kkojima@gcc.gnu.org>
3301 * config/sh/sh.md (jump_compact): Disable for crossing jumps.
3303 * config/sh/sh.c (find_barrier): Don't go past
3304 NOTE_INSN_SWITCH_TEXT_SECTIONS note.
3306 2008-02-20 DJ Delorie <dj@redhat.com>
3308 * config/h8300/h8300.md (insv): Force source operand to be a register.
3310 * config/h8300/h8300.c (h8300_expand_epilogue): Emit return insn
3311 as a jump, not as a plain insn.
3313 2008-02-20 Seongbae Park <seongbae.park@gmail.com>
3315 * doc/invoke.texi (Warning Options): Add new option
3316 -Wframe-larger-than=.
3317 (-Wframe-larger-than): Document.
3319 * flags.h (warn_frame_larger_than, frame_larger_than_size):
3320 Add declarations for new option variables.
3322 * final.c (final_start_function): Check the frame size
3323 before emission and issue a Wframe-larger-than warning.
3325 * opts.c (warn_frame_larger_than, frame_larger_than_size):
3326 Add definitions for new option variables.
3327 (common_handle_option): Handle new option OPT_Wframe_larger_than_.
3329 * common.opt (Wframe-larger-than=): New option.
3331 2008-02-20 Uros Bizjak <ubizjak@gmail.com>
3333 * config/i386/sse.md (<sse>_vmmul<mode>3): Fix typo in asm template.
3334 (<sse>_div<mode>3): Ditto.
3335 (<sse>_vmdiv<mode>3): Ditto.
3336 (<sse>_vmsqrt<mode>2): Ditto.
3337 (*smax<mode>3): Ditto.
3338 (sse5_frcz<mode>2): Ditto.
3339 (sse5_vmfrcz<mode>2): Ditto. Use TARGET_SSE5 instead of TARGET_ROUND
3342 2008-02-20 Richard Guenther <rguenther@suse.de>
3345 * builtins.c (validate_arg): If we want an INTEGER_TYPE,
3346 be happy with INTEGRAL_TYPE_P.
3348 2008-02-20 Richard Guenther <rguenther@suse.de>
3350 * fold-const.c (split_tree): Associate floatig-point expressions
3351 if flag_associative_math is set.
3353 2008-02-20 Richard Guenther <rguenther@suse.de>
3355 * tree.h (fold_real_zero_addition_p): Declare.
3356 * fold-const.c (fold_real_zero_addition_p): Export.
3357 * tree-ssa-reassoc.c (eliminate_using_constants): Also handle
3358 floating-point operations with zero and one.
3360 2008-02-20 Paolo Bonzini <bonzini@gnu.org>
3362 * doc/install.texi: Correct references to CFLAGS, replacing them
3363 with BOOT_CFLAGS. Document flags used during bootstrap for
3366 2008-02-20 Uros Bizjak <ubizjak@gmail.com>
3368 * config/i386/i386.h (SSE_VEC_FLOAT_MODE_P): New define.
3369 * config/i386/i386.md (*sse_setcc<mode>): Macroize from *sse_setccsf
3370 and *sse_setccdf using MODEF mode iterator and SSE_FLOAT_MODE_P as
3372 (smin<mode>3): Ditto from similar patterns.
3373 (smax<mode>3): Ditto.
3374 (*ieee_smin<mode>3): Ditto.
3375 (*ieee_smax<mode>3): Ditto.
3376 * config/i386/sse.md (sse): New mode attribute.
3377 (mov<mode>): Macroize expander from movv4sf and movv2df using
3378 SSEMODEF2P mode iterator.
3379 (<sse>_movnt<mode>): Ditto from similar patterns. Use
3380 SSE_VEC_FLOAT_MODE_P as insn constraint.
3381 (storent<mode>): Ditto.
3382 (storent<mode>): Macroize expander from storentsf and storentdf using
3383 MODEF mode iterator.
3384 (neg<mode>2): Macroize from negv4sf2 and negv2df2 using SSEMODEF2P
3385 mode iterator and SSE_VEC_FLOAT_MODE_P as insn constraint.
3386 (abs<mode>2): Ditto from similar patterns.
3387 (add<mode>3, *add<mode>3, <sse>_vmadd<mode>3): Ditto.
3388 (sub<mode>3, *sub<mode>3, <sse>_vmsub<mode>3): Ditto.
3389 (<sse>_div<mode>3, <sse>_vmdiv<mode>3): Ditto.
3390 (<sse>_vmsqrt<mode>2): Ditto.
3391 (smin<mode>3, *smin<mode>3_finite, *smin<mode>3)
3392 (<sse>_vmsmin<mode>3, *ieee_smin<mode>3): Ditto.
3393 (smax<mode>3, *smax<mode>3_finite, *smax<mode>3)
3394 (<sse>_vmsmax<mode>3, *ieee_smax<mode>3): Ditto.
3395 (<sse>_maskcmp<mode>3): Macroize from sse_maskcmpv4sf3,
3396 sse_maskcmpsf3, sse2_maskcmpv2df3 and sse2_maskcmpdf3 using SSEMODEF4
3397 mode iterator. Use SSE_FLOAT_MODE_P with SSE_VEC_FLOAT_MODE_P as
3399 (<sse>_comi): Macroize from sse_comi and sse2_comi using MODEF mode
3400 iterator and SSE_FLOAT_MODE_P as insn constraint.
3401 (<sse>_ucomi): Ditto from similar patterns.
3402 (<sse>_vmmaskcmp<mode>3): Macroize from sse_vmmaskcmpv4sf3 and
3403 sse2_vmmaskcmpv2df3 using SSEMODEF2P mode iterator and
3404 SSE_VEC_FLOAT_MODE_P as insn constraint.
3405 (vcond<mode>): Ditto from similar patterns.
3406 (and<mode>3, *and<mode>3): Ditto.
3407 (<sse>_nand<mode>3): Ditto.
3408 (ior<mode>3, *ior<mode>3): Ditto.
OSDN Git Service
