1 2007-04-27 Ian Lance Taylor <iant@google.com>
4 * tree.c (build_distinct_type_copy): If TYPE_MIN_VALUE or
5 TYPE_MAX_VALUE exist, convert them to the new type.
7 2007-04-27 Zdenek Dvorak <dvorakz@suse.cz>
9 * tree-cfgcleanup.c (cleanup_tree_cfg): Verify dominance info
10 if it claims to be available.
11 * tree-ssa-dce.c (remove_dead_stmt): Mark cfg as altered when
13 (perform_tree_ssa_dce): Always free postdominators.
15 2007-04-27 Richard Henderson <rth@redhat.com>
17 * config/alpha/predicates.md (aligned_memory_operand): Mark
18 as define_special_predicate.
19 (unaligned_memory_operand, normal_memory_operand): Likewise.
20 (reg_or_unaligned_mem_operand): Remove.
21 (any_memory_operand): Match the documentation and check for
22 non-renumbered pseudos during reload.
23 * config/alpha/alpha.c (alpha_secondary_reload): Rename from
24 alpha_secondary_reload_class, update to new interface, make static.
25 Handle CQImode like HImode. Remove FP subreg check.
26 (alpha_expand_mov): Use replace_equiv_address.
27 (alpha_expand_mov_nobwx): Use any_memory_operand.
28 (TARGET_SECONDARY_RELOAD): New.
29 * config/alpha/alpha.h (SECONDARY_INPUT_RELOAD_CLASS): Remove.
30 (SECONDARY_OUTPUT_RELOAD_CLASS): Remove.
31 * config/alpha/sync.md (I12MODE, I48MODE, modesuffix): Move ...
32 * config/alpha/alpha.md: ... here.
33 (RELOAD12, reloadmode): New.
35 (reload_in<RELOAD12>): Macro-ize from reload_inqi, reload_inhi.
36 Don't handle the aligned case here.
37 (reload_out<RELOAD12>): Macro-ize from reload_outqi, reload_outhi.
38 (reload_in<I12MODE>_aligned): Macro-ize from reload_inqi_help,
39 reload_inhi_help. Don't expect a scratch register.
40 (reload_out<I12MODE>_aligned): Macro-ize from reload_outqi_help,
42 * config/alpha/alpha-protos.h (alpha_secondary_reload_class): Remove.
44 2007-04-27 Richard Guenther <rguenther@suse.de>
46 * tree-ssa-forwprop.c (get_prop_dest_stmt): Fix comment typo.
48 2007-04-27 Richard Guenther <rguenther@suse.de>
50 PR tree-optimization/30965
51 PR tree-optimization/30978
52 * Makefile.in (tree-ssa-forwprop.o): Depend on $(FLAGS_H).
53 * tree-ssa-forwprop.c (forward_propagate_into_cond_1): Remove.
54 (find_equivalent_equality_comparison): Likewise.
55 (simplify_cond): Likewise.
56 (get_prop_source_stmt): New helper.
57 (get_prop_dest_stmt): Likewise.
58 (can_propagate_from): Likewise.
59 (remove_prop_source_from_use): Likewise.
60 (combine_cond_expr_cond): Likewise.
61 (forward_propagate_comparison): New function.
62 (forward_propagate_into_cond): Rewrite to use fold for
64 (tree_ssa_forward_propagate_single_use_vars): Call
65 forward_propagate_comparison to propagate comparisons.
67 2007-04-27 Richard Guenther <rguenther@suse.de>
69 PR tree-optimization/31715
70 * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make
71 sure to do computation on the offset in an appropriate
74 2007-04-27 Richard Sandiford <richard@codesourcery.com>
76 * reload.h (elimination_target_reg_p): Declare.
77 * reload.c (find_reloads): Don't apply the reg_rtx move
78 optimization if the SET_DEST satisfies elimination_target_reg_p.
79 * reload1.c (elimination_target_reg_p): New function.
80 (gen_reload): In the move/add2 fallback, make sure that op0
81 does not overlap the destination register.
83 2007-04-27 Zdenek Dvorak <dvorakz@suse.cz>
85 * tree-ssa-loop-im.c (determine_invariantness_stmt): Attempt to
86 transform only GIMPLE_MODIFY_STMTs.
87 * tree-complex.c (expand_complex_operations_1): Ditto.
88 (expand_complex_div_wide): Do not create gotos in COND_EXPR branches.
89 * tree-ssa-loop-manip.c (build_if_stmt): Removed.
90 (tree_transform_and_unroll_loop): Do not create gotos in COND_EXPR
92 * value-prof.c (tree_divmod_fixed_value, tree_mod_pow2,
93 tree_mod_subtract, tree_ic, tree_stringop_fixed_value): Ditto.
94 * omp-low.c (expand_parallel_call, expand_omp_for_generic,
95 expand_omp_for_static_chunk, expand_omp_for_static_nochunk): Ditto.
96 * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes,
97 slpeel_add_loop_guard): Ditto.
98 * tree-mudflap.c (mf_build_check_statement_for): Ditto.
99 * lambda-code.c (perfect_nestify): Ditto.
100 * tree-iterator.c (tsi_split_statement_list_before): Fix splitting
101 before the first statement.
102 * tree-optimize.c (execute_free_datastructures): Fix comments.
103 (execute_free_cfg_annotations): Do not call disband_implicit_edges.
104 * tree-flow.h (disband_implicit_edges): Declaration removed.
105 * tree-cfg.c (make_cond_expr_edges): Remove gotos from COND_EXPR
107 (cleanup_dead_labels, tree_redirect_edge_and_branch): Handle COND_EXPRs
109 (disband_implicit_edges, has_label_p): Removed.
110 (tree_verify_flow_info): Verify that COND_EXPR branches are empty.
111 (tree_lv_add_condition_to_bb): Do not create gotos in COND_EXPR
113 * tree.c (build3_stat): Mark COND_EXPRs used as statements as having
115 * tree-pretty-print.c (dump_implicit_edges): Dump implicit edges
117 * cfgexpand.c (label_rtx_for_bb): New function.
118 (expand_gimple_cond_expr): Do not expect gotos in COND_EXPR branches.
119 Use label_rtx_for_bb to find the labels.
120 (expand_gimple_basic_block): Remove RETURN_EXPR at the end of the
121 last block. Detect fallthru edges.
123 2007-04-26 Ian Lance Taylor <iant@google.com>
126 * reload.c (find_reloads_subreg_address): If the address was valid
127 in the original mode but not in the new mode, reload the whole
130 2007-04-27 Zdenek Dvorak <dvorakz@suse.cz>
132 * tree-cfgcleanup.c (cfgcleanup_altered_bbs): New global variable.
133 (remove_fallthru_edge): Use remove_edge_and_dominated_blocks.
134 (cleanup_control_expr_graph): Do not invalidate dominance info.
135 Record altered blocks.
136 (cleanup_control_flow, cleanup_forwarder_blocks): Removed.
137 (cleanup_control_flow_bb, split_bbs_on_noreturn_calls,
138 cleanup_tree_cfg_bb): New functions.
139 (remove_forwarder_block): Do not maintain the worklist of blocks.
140 Record altered blocks.
141 (cleanup_tree_cfg_1): Iterate over cfgcleanup_altered_bbs,
143 (cleanup_tree_cfg): Do not iterate cleanup_tree_cfg_1. Only call
144 delete_unreachable_blocks if dominators are not available.
145 * tree-inline.c (optimize_inline_calls): Free dominance information
147 * tree-flow.h (remove_edge_and_dominated_blocks,
148 cfgcleanup_altered_bbs): Altered.
149 * tree-cfg.c (replace_uses_by, tree_merge_blocks): Record altered
151 (get_all_dominated_blocks, remove_edge_and_dominated_blocks): New
153 (tree_purge_dead_eh_edges): Use remove_edge_and_dominated_blocks,
154 do not invalidate dominators.
156 2007-04-26 Anatoly Sokolov <aesok@post.ru>
158 * config/avr/avr.c (avr_mcu_types): Add support for ATmega8HVA and
159 ATmega16HVA devices. Move AT90USB82 device to 'avr5' architecture.
160 * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
161 * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
163 2007-04-26 Steve Ellcey <sje@cup.hp.com>
165 * config/ia64/ia64.md (ip_value): Fix itanium_class attribute.
167 2007-04-26 Richard Guenther <rguenther@suse.de>
169 PR tree-optimization/31703
170 * tree-ssa-loop-im.c (rewrite_bittest): Make sure to use
171 the right type for the target of the bittest.
173 2007-04-26 Richard Sandiford <richard@codesourcery.com>
175 * config/i386/vx-common.h (RETURN_IN_MEMORY): Use
176 ix86_sol10_return_in_memory.
178 2007-04-26 Richard Sandiford <richard@codesourcery.com>
180 * config/i386/i386.c (ix86_sol10_return_in_memory): Remove unused
183 2007-04-26 Jakub Jelinek <jakub@redhat.com>
186 * tree-inline.c (copy_body_r): Don't touch TREE_TYPE of OMP_CLAUSE.
188 PR tree-optimization/30558
189 * tree-eh.c (lower_eh_filter): If EH_FILTER_MUST_NOT_THROW
190 clear this_state.prev_try.
192 2007-04-26 Richard Sandiford <richard@codesourcery.com>
193 Mark Mitchell <mark@codesourcery.com>
195 * config/i386/i386-protos.h (ix86_sol10_return_in_memory): Declare.
196 * config/i386/i386.c (ix86_sol10_return_in_memory): New function.
197 * config/i386/sol2-10.h (RETURN_IN_MEMORY): Use it.
199 2007-04-26 Richard Sandiford <richard@codesourcery.com>
202 * doc/invoke.texi (%:print-asm-header): Document.
203 * gcc.c (asm_options): Use %:print-asm-header() for --target-help
205 (static_spec_functions): Add print-asm-header.
206 (main): Print a banner before the --target-help linker options.
207 (print_asm_header_spec_function): New function.
209 2007-04-25 Kaz Kojima <kkojima@gcc.gnu.org>
212 * config/sh/sh.md (movsi_ie): Fix length for TARGET_SH2A.
213 (movsf_ie): Likewise.
215 2007-04-25 Paolo Carlini <pcarlini@suse.de>
217 * doc/extend.texi ([Type Traits]): Adjust per N2255.
219 2007-04-25 Bob Wilson <bob.wilson@acm.org>
221 * config/xtensa/lib1funcs.asm (__udivsi3, __divsi3): Throw an exception
223 (__umodsi3, __modsi3): Likewise.
225 2007-04-25 Dirk Mueller <dmueller@suse.de>
227 * c-typeck.c (build_compound_expr): Annotate warning()
228 call with OPT_Wunused_value.
229 * tree-ssa.c (warn_uninit): Annotate warning with
231 * c-common.c (handle_sentinel_attribute): Annotate warning
232 call with OPT_Wattributes.
234 2007-04-25 Thiemo Seufer <ths@mips.com>
236 * config/mips/mips.opt (mdmx, mmt, mno-mdmx): New options.
238 * config/mips/mips.h (ASM_SPEC): Pass -mmt/-mno-mt and -mdmx/-mno-mdmx
239 on to the assembler. Improve handling of -mno-mips16. Add handling
240 of -mno-mips3d, -mno-dsp, -mno-dspr2.
241 * doc/invoke.texi (MIPS Options): Whitespace cleanup. Fix wrong use
242 of @itemx. Document -mno-dsp, -mno-dspr2, -mno-paired-single, -mdmx,
243 -mno-mdmx, -mno-mips3d, -mmt and -mno-mt.
245 2007-04-25 Danny Smith <dannysmith.users.sourceforge.net>
248 * config/i386/winnt.c (i386_pe_file_end): Strip only
249 USER_LABEL_PREFIX when writing export name.
251 2007-04-25 Richard Sandiford <richard@codesourcery.com>
253 * config.gcc (sh-wrs-vxworks): Don't include dbxelf.h. Include
254 sh/elf.h, vx-common.h and vxworks.h.
255 * config/sh/sh.h: Include config/vxworks-dummy.h.
256 (SUBTARGET_OVERRIDE_OPTIONS): Define.
257 (OVERRIDE_OPTIONS): Use it.
258 * config/sh/sh.md (GOTaddr2picreg): Add suport for VxWorks RTPs.
259 (vxworks_picreg): New pattern.
260 * config/sh/vxworks.h (TARGET_OS_CPP_BUILTINS): Use
261 VXWORKS_OS_CPP_BUILTINS.
262 (LIB_SPEC, LINK_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Redefine
263 to their VXWORKS_* equivalents.
264 (SUBTARGET_OVERRIDE_OPTIONS, SUBTARGET_CPP_SPEC): Define.
265 (SUBTARGET_LINK_EMUL_SUFFIX, FUNCTION_PROFILER): Define.
266 * config/sh/lib1funcs.asm (NO_FPSCR_VALUES): Define for VxWorks PIC.
267 (set_fpscr, ic_invalidate): Add VxWorks PIC sequences.
268 * config/sh/t-vxworks (MULTILIB_OPTIONS): Add m4a, -mrtp and
269 -mrtp/-fPIC multilibs.
270 (MULTILIB_EXCEPTIONS): Generalize globs accordingly.
271 (MULTILIB_MATCHES, EXTRA_MULTILIB_PARTS): Define.
272 (MULTILIB_OSDIRNAMES): Delete.
274 2007-04-25 Anatoly Sokolov <aesok@post.ru>
277 * config/avr/avr.h (ASM_OUTPUT_ALIGN): Redefine.
279 2007-04-24 Brooks Moses <brooks.moses@codesourcery.com>
281 * real.c (mpfr_from_real): Handle Inf and NaN, and allow the
282 rounding mode to be specified by the caller.
283 (real_to_mpfr) Likewise.
284 * real.h: Update mpfr_from_real, mpfr_to_real prototypes to
285 include new arguments.
286 * builtins.c: Update mpfr_from_real, mpfr_to_real calls.
288 2007-04-24 Ian Lance Taylor <iant@google.com>
290 PR tree-optimization/31605
291 * tree-vrp.c (set_value_range): Check that min and max are not
292 both overflow infinities.
293 (set_value_range_to_value): New static function.
294 (extract_range_from_binary_expr): Call set_value_range_to_value.
295 (extract_range_from_cond_expr): Likewise.
296 (extract_range_from_expr): Likewise.
297 (extract_range_from_unary_expr): Likewise. Don't create a range
298 which overflows on both sides.
299 (vrp_meet): Check for a useless range.
300 (vrp_visit_phi_node): If we see a constant which looks like an
301 overflow infinity, turn off the TREE_OVERFLOW flag.
303 2007-04-24 Ian Lance Taylor <iant@google.com>
305 * flow.c (elim_reg_cond): Handle a comparison of a subreg.
307 2007-04-24 Simon Martin <simartin@users.sourceforge.net>
310 * tree-pass.h (TDF_DIAGNOSTIC): New dump control to specify that a
311 diagnostic message is being built.
312 * tree-pretty-print.c (dump_generic_node): Only write the
313 formatted text into BUFFER's stream if we are not building a
315 * toplev.c (default_tree_printer): Pass TDF_DIAGNOSTIC to
317 * Makefile.in (toplev.o): Depend on tree-pass.h.
319 2007-04-24 Ian Lance Taylor <iant@google.com>
321 PR tree-optimization/31602
322 * tree-ssa-loop-ch.c (copy_loop_headers): Set TREE_NO_WARNING for
323 conditionals in the copied loop header.
324 * tree-cfg.c (fold_cond_expr_cond): Don't issue undefined overflow
325 warnings if TREE_NO_WARNING is set.
326 * doc/invoke.texi (Warning Options): Clarify that
327 -Wstrict-overflow does not warn about loops.
329 2007-04-24 Janis Johnson <janis187@us.ibm.com>
331 * config/rs6000/rs6000.c (function_arg_advance): For 32-bit ELF ABI,
332 expand on the comment about _Decimal128 arguments and check the
333 integer result of the modulus operation; for 64-bit ELF ABI, ensure
334 that _Decimal128 argument uses even/odd register pair.
335 (function_arg): Ditto.
337 2007-04-24 Hui-May Chang <hm.chang@apple.com>
339 * reload1.c (merge_assigned_reloads) : Do not merge a RELOAD_OTHER
340 instruction with a RELOAD_FOR_OPERAND_ADDRESS instruction.
342 2007-04-24 Richard Guenther <rguenther@suse.de>
343 Olga Golovanevsky <olga@il.ibm.com>
345 * fold-const.c (multiple_of_p): Check for bottom
348 2007-04-24 Richard Henderson <rth@redhat.com>
350 * libgcc2.h (AVOID_FP_TYPE_CONVERSION): Rename from
351 IS_IBM_EXTENDED. Also define in terms of WIDEST_HARDWARE_FP_SIZE.
352 * libgcc2.c (__floatdisf): Avoid double-word arithmetic when
353 looking for non-zero bits shifted out. Avoid a recursive call
354 when constructing the scalar.
355 (__floatundisf): Likewise.
357 2007-04-24 Nathan Froyd <froydnj@codesourcery.com>
359 * dwarf2out.c (field_byte_offset): Move the existing logic
360 under the control of PCC_BITFIELD_TYPE_MATTERS and just use
361 the bit offset of the field if !PCC_BITFIELD_TYPE_MATTERS.
363 2007-04-24 Andreas Krebbel <krebbel1@de.ibm.com>
366 * config/s390/s390.c (s390_expand_setmem): Don't ICE for constant length
367 argument of 0 for memset.
368 (s390_expand_movmem, s390_expand_setmem, s390_expand_cmpmem): Use
369 unsigned shift instead of the signed variant.
371 2007-04-24 Andreas Krebbel <krebbel1@de.ibm.com>
373 * config/s390/s390.md ("*cmp<mode>_ccs_0_ibm", "*cmp<mode>_ccs_ibm",
374 "fix_trunc<BFP:mode><GPR:mode>2_ieee", "fix_truncdfsi2_ibm",
375 "floatsidf2_ibm", "floatsisf2", "truncdfsf2_ieee", "truncdfsf2_ibm",
376 "*trunctfdf2_ieee", "*trunctfdf2_ibm", "*trunctfsf2_ieee",
377 "*trunctfsf2_ibm", "extendsfdf2_ieee", "extendsfdf2_ibm",
378 "*extenddftf2_ieee", "*extenddftf2_ibm", "*extendsftf2_ieee",
379 "*extendsftf2_ibm", "*add<mode>3", "*add<mode>3_ibm", "*sub<mode>3_ibm",
380 "*mul<mode>3", "*mul<mode>3_ibm", "*div<mode>3", "*div<mode>3_ibm",
381 "*neg<mode>2_ibm", "*abs<mode>2_ibm"): Insn definitions removed.
382 ("fix_trunc<BFP:mode><GPR:mode>2_bfp", "floatsi<mode>2",
383 "truncdfsf2", "trunctf<mode>2", "add<mode>3", "sub<mode>3",
384 "mul<mode>3", "div<mode>3"): Insn definitions added.
385 ("fixuns_trunc<BFP:mode><GPR:mode>2", "fix_trunc<mode>di2",
386 "fix_trunc<mode>si2"): gen_fix_trunc<BFP:mode><GPR:mode>2_ieee renamed
387 to gen_fix_trunc<BFP:mode><GPR:mode>2_bfp.
388 ("fix_truncdfsi2", "floatsitf2", "truncdfsf2", "trunctfdf2",
389 "trunctfsf2", "extendsfdf2", "extenddftf2", "extendsftf2", "add<mode>3",
390 "sub<mode>3", "mul<mode>3", "div<mode>3"): Expander removed.
391 ("fix_trunc<mode>si2", "extend<DSF:mode><BFP:mode>2"): Expander added.
392 * config/s390/s390.h (TARGET_IBM_FLOAT, TARGET_IEEE_FLOAT,
393 TARGET_FLOAT_FORMAT): Macro definitions removed.
394 (FP_REGNO_P): No special case for !TARGET_IEEE_FLOAT anymore.
395 * config/s390/s390.c (struct processor_costs, z900_cost, z990_cost,
396 z9_109_cost): Remove fields for hexfloat instructions: dxr, ddr and der.
397 (s390_rtx_costs): Remove !TARGET_IEEE_FLOAT special branches.
398 (s390_gen_rtx_const_DI): Function removed.
399 * config/s390/s390-protos.h (s390_gen_rtx_const_DI): Prototype removed.
401 2007-04-24 Richard Sandiford <richard@codesourcery.com>
403 * optabs.c (set_conv_libfunc): Prefer libgcc2's __ffsMM2 functions
404 over an external ffs function.
406 2007-04-24 Chao-ying Fu <fu@mips.com>
407 Richard Sandiford <richard@nildram.co.uk>
409 * doc/md.texi (madd@var{m}@var{n}4, umadd@var{m}@var{n}4): Document.
410 * optabs.h (OTI_smadd_widen, OTI_umadd_widen): New optab_indexes.
411 (smadd_widen_optab, umadd_widen_optab): Define.
412 * optabs.c (init_optabs): Initialize smadd_widen_optab and
414 * genopinit.c (optabs): Fill in smadd_widen_optab and
416 * expr.c (expand_expr_real_1): Try to use smadd_widen_optab
417 and umadd_widen_optab to implement multiply-add sequences.
418 * config/mips/mips.md (*<su>mul_acc_di): Rename to...
419 (<u>maddsidi4): ...this. Extend condition to include
420 GENERATE_MADD_MSUB and TARGET_DSPR2. Change the constraint
421 of operand 0 to "ka" and use the three-operand form of madd<u>
423 * config/mips/mips-dspr2.md (mips_madd, mips_maddu): Convert
425 * config/mips/constraints.md (ka): New register constraint.
427 2007-04-24 Jan Hubicka <j@suse.cz>
431 2007-04-23 Jan Hubicka <jh@suse.cz>
432 * function.c (init_function_start): Don't init line number info.
433 (expand_function_end): Update.
434 (reset_block_changes, record_block_change, finalize_block_changes,
435 check_block_change, free_block_changes): Kill.
436 * function.h (reset_block_changes, record_block_change,
437 finalize_block_changes, check_block_change, free_block_changes): Remove
439 (struct function): Remove ib_boundaries_block.
440 * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
441 Use curr_insn_locator to initialize locator.
442 (emit_line_note): Remove.
443 * cfgexpand.c (expand_gimple_cond_expr): Update.
444 (construct_exit_block): Likewise.
445 (tree_expand_cfg): Initialize/finalize locators.
446 * expr.c (expand_expr_real): Update.
447 * cfglayout.c (line_locators_locs, line_locators_lines,
448 file_locators_locs, file_locators_files): Remove.
449 (set_block_levels): Move to cfgexpand.c.
450 (insn_locators_initialize): Remove.
451 (pass_insn_locators_initialize): Remove.
452 (locations_locators_locs, locations_locators_vals): New static vars.
453 (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
455 (insn_locators_alloc, insn_locators_finalize,
456 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
458 (locator_location): New.
459 (locator_line, locator_file): Rewrite.
460 * rtl.h (emit_line_note): Kill.
461 (insn_locators_alloc, insn_locators_finalize,
462 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
464 * tree-inline.c (initialize_cfun): Do not initialize
466 * passes.c (pass_insn_locators_initialize): Remove.
468 2007-04-24 Daniel Franke <franke.daniel@gmail.com>
470 * doc/invoke.texi: Removed leading '-' from option index entries.
472 2007-04-23 Zdenek Dvorak <dvorakz@suse.cz>
474 * tree-phinodes.c (reserve_phi_args_for_new_edge, remove_phi_node):
476 (create_phi_node): Use set_phi_nodes.
477 * omp-low.c (expand_omp_parallel): Use bb_stmt_list.
478 * tree-if-conv.c (process_phi_nodes): Use set_phi_nodes.
479 (combine_blocks): Use bb_stmt_list and set_bb_stmt_list.
480 * tree-flow-inline.h (phi_nodes, set_phi_nodes,
481 (bsi_start, bsi_last): Use bb_stmt_list.
482 (phi_nodes_ptr, bb_stmt_list, set_bb_stmt_list): New functions.
483 * cfgexpand.c (expand_gimple_basic_block): Use bb_stmt_list.
484 Traverse the statements using tsi iterator.
485 * basic-block.h (struct basic_block_def): Fields stmt_list
486 and phi_nodes moved to ...
487 (struct tree_bb_info): ... new structure.
488 * tree-cfg.c (create_bb): Allocate il.tree. Use set_bb_stmt_list.
489 (tree_merge_blocks): Use bb_stmt_list and set_bb_stmt_list.
490 (remove_bb): Handle blocks with NULL stmt list. Clear il.tree field.
491 (tree_verify_flow_info): Verify that il.tree is not set for
492 entry and exit block.
493 (tree_split_block): Use set_bb_stmt_list.
495 2007-04-23 Mike Stump <mrs@apple.com>
497 * config/i386/i386.c (ix86_tune_features
498 [X86_TUNE_DEEP_BRANCH_PREDICTION]: Prefer call over thunks on
501 2007-04-23 H.J. Lu <hongjiu.lu@intel.com>
503 * config/i386/i386.md (prefix_extra): New attribute.
504 (length): Add prefix_extra.
506 * onfig/i386/sse.md (sse2_movdqu): Set prefix_data16.
507 (sse2_movntv2di): Likewise.
508 (sse2_cvtps2dq): Likewise.
509 (sse2_cvtpd2pi): Likewise.
510 (sse2_cvttpd2pi): Likewise.
511 (*sse2_cvtpd2ps): Likewise.
512 (*add<mode>3): Likewise.
513 (sse2_ssadd<mode>3): Likewise.
514 (sse2_usadd<mode>3): Likewise.
515 (*sub<mode>3): Likewise.
516 (sse2_sssub<mode>3): Likewise.
517 (sse2_ussub<mode>3): Likewise.
518 (*mulv8hi3): Likewise.
519 (*smulv8hi3_highpart): Likewise.
520 (*umulv8hi3_highpart): Likewise.
521 (sse2_umulv2siv2di3): Likewise.
522 (sse2_pmaddwd): Likewise.
523 (ashr<mode>3): Likewise.
524 (lshr<mode>3): Likewise.
525 (ashl<mode>3): Likewise.
526 (sse2_ashlti3): Likewise.
527 (sse2_lshrti3): Likewise.
528 (*umaxv16qi3): Likewise.
529 (*smaxv8hi3): Likewise.
530 (*uminv16qi3): Likewise.
531 (*sminv8hi3): Likewise.
532 (sse2_eq<mode>3): Likewise.
533 (sse2_gt<mode>3): Likewise.
534 (*and<mode>3): Likewise.
535 (sse2_nand<mode>3): Likewise.
536 (*ior<mode>3): Likewise.
537 (*xor<mode>3): Likewise.
538 (sse2_packsswb): Likewise.
539 (sse2_packssdw): Likewise.
540 (sse2_packuswb): Likewise.
541 (sse2_punpckhbw): Likewise.
542 (sse2_punpcklbw): Likewise.
543 (sse2_punpckhwd): Likewise.
544 (sse2_punpcklwd): Likewise.
545 (sse2_punpckhdq): Likewise.
546 (sse2_punpckldq): Likewise.
547 (sse2_punpckhqdq): Likewise.
548 (sse2_punpcklqdq): Likewise.
549 (*sse2_pinsrw): Likewise.
550 (*sse2_pextrw): Likewise.
551 (sse2_pshufd_1): Likewise.
552 (sse2_uavgv16qi3): Likewise.
553 (sse2_uavgv8hi3): Likewise.
554 (sse2_psadbw): Likewise.
555 (sse2_pmovmskb): Likewise.
556 (*sse2_maskmovdqu): Likewise.
557 (*sse2_maskmovdqu_rex64): Likewise.
558 (sse4a_extrqi): Likewise.
559 (sse4a_extrq): Likewise.
560 (sse3_lddqu): Set prefix_rep.
561 (sse3_addsubv4sf3): Likewise.
562 (sse3_haddv4sf3): Likewise.
563 (sse3_hsubv4sf3): Likewise.
564 (sse_cvtss2si): Likewise.
565 (sse_cvtss2si_2): Likewise.
566 (sse_cvtss2siq): Likewise.
567 (sse_cvtss2siq_2): Likewise.
568 (sse_cvttss2si): Likewise.
569 (sse_cvttss2siq): Likewise.
570 (sse2_cvttps2dq): Likewise.
571 (sse3_movshdup): Likewise.
572 (sse3_movsldup): Likewise.
573 (sse2_cvtsd2si): Likewise.
574 (sse2_cvtsd2si_2): Likewise.
575 (sse2_cvtsd2siq): Likewise.
576 (sse2_cvtsd2siq_2): Likewise.
577 (sse2_cvttsd2si): Likewise.
578 (sse2_cvttsd2siq): Likewise.
579 (*sse2_cvtpd2dq): Likewise.
580 (*sse2_cvttpd2dq): Likewise.
581 (sse2_pshuflw_1): Likewise.
582 (sse2_pshufhw_1): Likewise.
583 (sse4a_insertqi): Likewise.
584 (sse4a_insertq): Likewise.
585 (ssse3_phaddwv8hi3): Set prefix_data16 and prefix_extra.
586 (ssse3_phadddv4si3): Likewise.
587 (ssse3_phaddswv8hi3): Likewise.
588 (ssse3_phsubwv8hi3): Likewise.
589 (ssse3_phsubdv4si3): Likewise.
590 (ssse3_phsubswv8hi3): Likewise.
591 (ssse3_pmaddubswv8hi3): Likewise.
592 (ssse3_pmulhrswv8hi3): Likewise.
593 (ssse3_pshufbv16qi3): Likewise.
594 (ssse3_psign<mode>3): Likewise.
595 (ssse3_palignrti): Likewise.
596 (abs<mode>2): Likewise.
597 (ssse3_phaddwv4hi3): Set prefix_extra.
598 (ssse3_phadddv2si3): Likewise.
599 (ssse3_phaddswv4hi3): Likewise.
600 (ssse3_phsubwv4hi3): Likewise.
601 (ssse3_phsubdv2si3): Likewise.
602 (ssse3_phsubswv4hi3): Likewise.
603 (ssse3_pmaddubswv4hi3): Likewise.
604 (ssse3_pmulhrswv4hi3): Likewise.
605 (ssse3_pshufbv8qi3): Likewise.
606 (ssse3_psign<mode>3): Likewise.
607 (ssse3_palignrdi): Likewise.
608 (abs<mode>2): Likewise.
609 (sse2_cvtdq2ps): Set mode to V4SF instead of V2DF.
610 (*vec_dupv2df): Set mode to V2DF instead of V4SF.
611 (sse2_pmovmskb): Set mode to SI instead of V2DF.
613 2007-04-23 Nick Clifton <nickc@redhat.com>
615 * params.def: Fix formatting of emacs local variables.
617 2007-04-23 H.J. Lu <hongjiu.lu@intel.com>
619 * config/i386/sse.md (sse2_stored): Don't split to inter-unit
620 move if inter-unit move isn't allowed.
621 Don't split moving the first element of V2DI to DI to inter-unit
622 move if inter-unit move isn't allowed.
624 2007-04-23 Richard Guenther <rguenther@suse.de>
626 * tree-ssa-sink.c (execute_sink_code): Calculate CDI_DOMINATORS
627 and CDI_POST_DOMINATORS separately.
629 2007-04-23 Nick Clifton <nickc@redhat.com>
631 * c.opt (Wformat-contains-nul): Add warning attribute.
633 2007-04-23 Jan Hubicka <jh@suse.cz>
635 * function.c (init_function_start): Don't init line number info.
636 (expand_function_end): Update.
637 (reset_block_changes, record_block_change, finalize_block_changes,
638 check_block_change, free_block_changes): Kill.
639 * function.h (reset_block_changes, record_block_change,
640 finalize_block_changes, check_block_change, free_block_changes): Remove
642 (struct function): Remove ib_boundaries_block.
643 * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
644 Use curr_insn_locator to initialize locator.
645 (emit_line_note): Remove.
646 * cfgexpand.c (expand_gimple_cond_expr): Update.
647 (construct_exit_block): Likewise.
648 (tree_expand_cfg): Initialize/finalize locators.
649 * expr.c (expand_expr_real): Update.
650 * cfglayout.c (line_locators_locs, line_locators_lines,
651 file_locators_locs, file_locators_files): Remove.
652 (set_block_levels): Move to cfgexpand.c.
653 (insn_locators_initialize): Remove.
654 (pass_insn_locators_initialize): Remove.
655 (locations_locators_locs, locations_locators_vals): New static vars.
656 (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
658 (insn_locators_alloc, insn_locators_finalize,
659 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
661 (locator_location): New.
662 (locator_line, locator_file): Rewrite.
663 * rtl.h (emit_line_note): Kill.
664 (insn_locators_alloc, insn_locators_finalize,
665 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
667 * tree-inline.c (initialize_cfun): Do not initialize
669 * passes.c (pass_insn_locators_initialize): Remove.
671 2007-04-22 Andrew Pinski <andrew_pinski@playstation.sony.com>
674 * expr.c (reduce_to_bit_field_precision): Handle
677 2007-04-22 Uros Bizjak <ubizjak@gmail.com>
679 PR tree-optimization/24659
680 * optabs.h (enum optab_index) [OTI_vec_unpacks_hi,
681 OTI_vec_unpacks_lo]: Update comment to mention floating point operands.
682 (vec_pack_trunc_optab): Rename from vec_pack_mod_optab.
683 * genopinit.c (optabs): Rename vec_pack_mod_optab
684 to vec_pack_trunc_optab.
685 * tree-vect-transform.c (vectorizable_type_demotion): Do not fail
686 early for scalar floating point operands for NOP_EXPR.
687 (vectorizable_type_promotion): Ditto.
688 * optabs.c (optab_for_tree_code) [VEC_PACK_TRUNC_EXPR]: Return
689 vec_pack_trunc_optab.
690 (expand_binop): Rename vec_float_trunc_optab to vec_pack_mod_optab.
692 * tree.def (VEC_PACK_TRUNC_EXPR): Rename from VEC_PACK_MOD_EXPR.
693 * tree-pretty-print.c (dump_generic_node) [VEC_PACK_TRUNC_EXPR]:
694 Rename from VEC_PACK_MOD_EXPR.
695 (op_prio) [VEC_PACK_TRUNC_EXPR]: Ditto.
696 * expr.c (expand_expr_real_1): Ditto.
697 * tree-inline.c (estimate_num_insns_1): Ditto.
698 * tree-vect-generic.c (expand_vector_operations_1): Ditto.
700 * config/i386/sse.md (vec_unpacks_hi_v4sf): New expander.
701 (vec_unpacks_lo_v4sf): Ditto.
702 (vec_pack_trunc_v2df): Ditto.
703 (vec_pack_trunc_v8hi): Rename from vec_pack_mod_v8hi.
704 (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
705 (vec_pack_trunc_v2di): Rename from vec_pack_mod_v2di.
707 * config/rs6000/altivec.md (vec_pack_trunc_v8hi): Rename from
709 (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
711 * doc/c-tree.texi (Expression trees) [VEC_PACK_TRUNC_EXPR]:
712 Rename from VEC_PACK_MOD_EXPR. This expression also represent
713 packing of floating point operands.
714 [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO_EXPR]: These expression also
715 represent unpacking of floating point operands.
716 * doc/md.texi (Standard Names) [vec_pack_trunc]: Update documentation.
717 [vec_unpacks_hi]: Ditto.
718 [vec_unpacks_lo]: Ditto.
720 2007-04-22 Jan Hubicka <jh@suse.cz>
722 * final.c (rest_of_handle_final): Call
723 targetm.asm_out.constructor/targetm.asm_out.destructor
724 * cgraphunit.c (cgraph_build_static_cdtor): Don't do it here; set
725 proper priority via decl_*_priority_insert.
726 * c-common.c (c_expand_body): Likewise.
728 2007-04-22 Richard Guenther <rguenther@suse.de>
730 PR tree-optimization/29789
731 * tree-ssa-loop-im.c (stmt_cost): Adjust cost of shifts.
732 (rewrite_reciprocal): New helper split out from
733 determine_invariantness_stmt.
734 (rewrite_bittest): Likewise.
735 (determine_invariantness_stmt): Rewrite (A >> B) & 1 to
736 A & (1 << B) if (1 << B) is loop invariant but (A >> B)
739 2007-04-22 Revital Eres <eres@il.ibm.com>
741 * loop-unroll.c (var_to_expand): New field to support also
742 insns of the form x = something + x.
743 (analyze_insn_to_expand_var): Use it.
744 (expand_var_during_unrolling): Likewise.
746 2007-04-21 Zdenek Dvorak <dvorakz@suse.cz>
748 * predict.c: Include pointer-set.h.
749 (bb_predictions): New variable.
750 (tree_predicted_by_p, tree_predict_edge,
751 remove_predictions_associated_with_edge): Use bb_predictions map
752 instead of bb->predictions.
753 (clear_bb_predictions, assert_is_empty): New functions.
754 (combine_predictions_for_bb): Use bb_predictions map. Call
755 clear_bb_predictions.
756 (tree_estimate_probability): Create and free bb_predictions map.
757 * Makefile.in (predict.o): Add pointer-set.h dependency.
758 * basic-block.h (struct basic_block_def): Remove predictions
760 * cfgrtl.c (rtl_verify_flow_info_1): Do not check bb->predictions.
762 2007-04-21 Kaz Kojima <kkojima@gcc.gnu.org>
765 * config/sh/sh.md (length): Check if prev_nonnote_insn (insn)
768 2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
770 * timevar.c (timevar_print): Change reference of --disable-checking to
771 --enable-checking=release. Also warn if assert checking is disabled.
773 2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
776 * c-gimplifier.c (gimplify_compound_literal_expr): Mark the
777 decl as addressable if the compound literal was marked as
779 Mark the decl as a gimple register if it is a complex or
780 vector decl and does not live in memory.
782 2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
784 * tree.h (GIMPLE_TUPLE_P): Also true for PHI_NODEs.
785 (GENERIC_NEXT): New function macro.
786 (PHI_CHAIN): Use phi_node's new chain variable.
787 (tree_phi_node): Change tree_common to tree_base
788 and add the chain field.
789 * tree-phinodes.c (make_phi_node): Don't set
790 TREE_TYPE on the new node.
791 * c-decl.c (lang_tree_node): Use GENERIC_NEXT
792 instead of checking GIMPLE_TUPLE_P in chain_next.
793 * tree-vect-transform.c
794 (get_initial_def_for_induction): Look at
795 PHI_RESULT_TREE for the type of the phi node.
796 (update_vuses_to_preheader): Use PHI_CHAIN
797 instead of TREE_CHAIN on the phi node.
798 * tree-ssa-structalias.c (compute_points_to_sets):
800 (ipa_pta_execute): Likewise.
802 2007-04-21 Richard Guenther <rguenther@suse.de>
805 * fold-const.c (fold_unary): Call fold_convert_const on the
808 2007-04-21 Alexandre Oliva <aoliva@redhat.com>
810 * gcse.c (store_killed_in_insn): Handle PARALLELs.
811 (store_killed_in_pat): New.
813 2007-04-20 Richard Henderson <rth@redhat.com>
816 * config/i386/i386.c (type_has_variadic_args_p): Look for any
817 TREE_LIST with a void_type_node value, not void_list_node exactly.
819 2007-04-21 Douglas Gregor <doug.gregor@gmail.com>
821 * doc/standards.texi: Re-arrange into language-specific
822 subsections. Add a C++ section, documenting which standards we
825 2007-04-21 Zdenek Dvorak <dvorakz@suse.cz>
827 * tree-ssa-structalias.c (delete_points_to_sets): Free graph->complex.
828 * tree-ssa-operands.c (finalize_ssa_vuse_ops): Free new_ops.
830 2007-04-20 Daniel Jacobowitz <dan@codesourcery.com>
832 * config/rs6000/sysv4.h (STARTFILE_DEFAULT_SPEC): Include
833 ecrti.o and crtbegin.o.
834 (LIB_DEFAULT_SPEC): Include -lc.
835 (ENDFILE_DEFAULT_SPEC): Include crtend.o and ecrtn.o.
837 2007-04-20 Richard Henderson <rth@redhat.com>
840 * config/alpha/alpha.c (get_unaligned_address): Remove extra_offset
841 argument; update all callers.
842 (get_unaligned_offset): New.
843 * config/alpha/alpha.md (extendqidi2, extendhidi2): Don't use
844 get_unaligned_address, just pass on the address directly.
845 (unaligned_extendqidi): Use gen_lowpart instead of open-coding
846 the subreg in the helper patterns.
847 (unaligned_extendqidi_le): Use get_unaligned_offset.
848 (unaligned_extendqidi_be, unaligned_extendhidi_le): Likewise.
849 (unaligned_extendhidi_be): Likewise.
850 (unaligned_extendhidi): Tidy.
851 * config/alpha/alpha-protos.h: Update.
853 2007-04-20 Richard Henderson <rth@redhat.com>
855 * config/alpha/alpha.h (CPP_SPEC, CPP_SUBTARGET_SPEC): Remove.
856 (EXTRA_SPECS, SUBTARGET_EXTRA_SPECS): Remove.
857 * config/alpha/linux.h (CPP_SPEC): Undef before redefine.
858 * config/alpha/linux-elf.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
859 * config/alpha/freebsd.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
860 (CPP_SPEC): Don't include %(cpp_subtarget).
861 * config/alpha/netbsd.h (CPP_SPEC): Rename CPP_SUBTARGET_SPEC.
862 (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
863 * config/alpha/osf.h (CPP_SPEC, EXTRA_SPECS): Similarly.
865 2007-04-20 Jakub Jelinek <jakub@redhat.com>
867 * config/i386/i386.c (bdesc_2arg): Use ORDERED rather than UNORDERED
868 for __builtin_ia32_cmpordss.
870 PR tree-optimization/31632
871 * fold-const.c (fold_binary): Use op0 and op1 instead of arg0
872 and arg1 for optimizations of comparison against min/max values.
873 Fold arg0 to arg1's type for optimizations of comparison against
874 min+1 and max-1 values.
876 2007-04-19 Bernd Schmidt <bernd.schmidt@analog.com>
878 * reload.c (combine_reloads): When trying to use a dying register,
879 check whether it's uninitialized and don't use if so.
881 2007-04-19 Brooks Moses <brooks.moses@codesourcery.com>
883 * fold-const.c: Remove prototypes for native_encode_expr and
884 native_interpret_expr.
885 (native_encode_expr): Make non-static.
886 (native_interpret_expr): Likewise.
887 * tree.h: Add prototypes for the above.
889 2007-04-19 Joseph Myers <joseph@codesourcery.com>
891 * config/rs6000/spe.md (*frob_tf_ti, *frob_ti_tf, *frob_ti_tf_2,
892 *mov_si<mode>_e500_subreg0, *mov_si<mode>_e500_subreg0_2,
893 *mov_sitf_e500_subreg8, *mov_sitf_e500_subreg8_2, spe_extenddftf2,
894 spe_fix_trunctfsi2_internal, spe_negtf2_internal, cmptfeq_gpr,
895 tsttfeq_gpr, cmptfgt_gpr, tsttfgt_gpr, cmptflt_gpr, tsttflt_gpr):
896 Add length attributes.
898 2007-04-19 Janis Johnson <janis187@us.ibm.com>
900 * ginclude/float.h: Check that __STDC_WANT_DEC_FP__ is defined,
903 * c-cppbuiltin.c (c_cpp_builtins): Remove definition of
904 __STDC_WANT_DEC_FP__.
906 2007-04-19 Joseph Myers <joseph@codesourcery.com>
908 * configure.ac: Allow both powerpc*-*-linux* and powerpc*-*-gnu*
909 for long double compatibility.
910 * configure: Regenerate.
912 2007-04-19 Eric Botcazou <ebotcazou@libertysurf.fr>
914 PR rtl-optimization/29841
915 * cfgbuild.c (control_flow_insn_p): Return TRUE for unconditional
917 * sched-deps.c (sched_analyze_insn): Prevent all non-jump instructions
918 that may cause control flow transfer from being moved.
920 2007-04-18 Jan Hubicka <jh@suse.cz>
922 * fold-const.c (div_if_zero_remainder): Do signed divide for pointer
925 2007-04-18 Eric Christopher <echristo@apple.com>
927 * config/rs6000/darwin.md (load_macho_picbase): Use link register
928 only. Update operands.
929 * config/rs6000/rs6000.c (rs6000_emit_prologue): Update caller.
930 * config/rs6000/rs6000.md (builtin_setjmp_receiver): Ditto. Move from
931 link register to pic register.
933 2007-04-18 Dirk Mueller <dmueller@suse.de>
936 * tree-vrp.c (search_for_addr_array): New.
937 (check_array_bounds): Suppress warning about
938 address taken of array refs if its not de-referenced.
940 2007-04-18 Dorit Nuzman <dorit@il.ibm.com>
942 * tree-vectorizer.c (destroy_loop_vec_info): Set loop->aux to NULL.
943 * tree-vect-analyze.c (vect_analyze_loop_form): Set loop->aux.
945 * tree-vectorizer.h (NITERS_KNOWN_P): New.
946 * tree-vect-analyze.c (vect_analyze_loop_form): Call NITERS_KNOWN_P
947 instead of LOOP_VINFO_INT_NITERS to avoid having to geneate loop_info.
949 * tree-vect-analyze.c (vect_determine_vectorization_factor): Add
951 (vect_analyze_operations): Fix indenetation. Fix a comment. Fix a
953 (vect_analyze_scalar_cycles): Fix indentation.
954 (vect_enhance_data_refs_alignment): Fix check in case of peeling.
955 (vect_mark_relevant): Include phis in relevance analysis.
957 * tree-vect-transform.c (vect_transform_loop): Add an assert.
959 2007-04-18 Anatoly Sokolov <aesok@post.ru>
961 * config/avr/avr.c (ptrreg_to_str): Replace error() with
962 output_operand_lossage().
964 2007-04-18 Dorit Nuzman <dorit@il.ibm.com>
966 * tree-vect-transform.c (get_initial_def_for_reduction): Clean away
967 the unused code for reduction without adjust-in-epilog to simplify the
970 2007-04-18 Wolfgang Gellerich <gellerich@de.ibm.com>
972 * config/s390/s390.h (S390_TDC_POSITIVE_ZERO): New constant.
973 (S390_TDC_NEGATIVE_ZERO): New constant.
974 (S390_TDC_POSITIVE_NORMALIZED_NUMBER): New constant.
975 (S390_TDC_NEGATIVE_NORMALIZED_NUMBER): New constant.
976 (S390_TDC_POSITIVE_DENORMALIZED_NUMBER): New constant.
977 (S390_TDC_NEGATIVE_DENORMALIZED_NUMBER): New constant.
978 (S390_TDC_POSITIVE_INFINITY): New constant.
979 (S390_TDC_NEGATIVE_INFINITY): New constant.
980 (S390_TDC_POSITIVE_QUIET_NAN): New constant.
981 (S390_TDC_NEGATIVE_QUIET_NAN): New constant.
982 (S390_TDC_POSITIVE_SIGNALING_NAN): New constant.
983 (S390_TDC_NEGATIVE_SIGNALING_NAN): New constant.
984 (S390_TDC_INFINITY): New constant.
985 * config/s390/s390.c (s390_canonicalize_comparison): Renamed
986 UNSPEC_CMPINT to UNSPEC_CCU_TO_INT, added a UNSPEC_CCU_TO_INT-like
987 optimization for UNSPEC_CCZ_TO_INT.
988 * config/s390/s390.md ("*TDC_insn_<mode>"): New insn.
989 ("*ccz_to_int"): New insn.
990 ("isinf<mode>2"): New insn.
991 (UNSPEC_CMPINT): Renamed to UNSPEC_CCU_TO_INT.
992 (UNSPEC_CCU_TO_INT): New constant, replaces UNSPEC_CMPINT.
993 (UNSPEC_CCZ_TO_INT): New constant.
995 2007-04-18 Richard Guenther <rguenther@suse.de>
997 PR tree-optimization/19431
998 PR tree-optimization/21463
999 * tree-pass.h (pass_phiprop): Declare.
1000 * passes.c (init_optimization_passes): New phiprop pass.
1001 * tree-ssa-forwprop.c (struct phiprop_d): New structure.
1002 (phivn_valid_p): New helper function.
1003 (phiprop_insert_phi): Likewise.
1004 (propagate_with_phi): Likewise.
1005 (tree_ssa_phiprop): New propagator propagating loads
1006 through phi nodes if profitable.
1008 2007-04-18 Dorit Nuzman <dorit@il.ibm.com>
1010 * tree-vect-analyze.c (process_use): New function.
1011 (vect_mark_stmts_to_be_vectorized): Factor out code to process_use.
1012 Check phis in all bbs.
1013 * tree-vectorizer.c (vect_is_simple_use): Remove a no longer relavant
1016 2007-04-18 Bernd Schmidt <bernd.schmidt@analog.com>
1018 * reload1.c (eliminte_regs_in_insn): Use REG_EQUIV notes the same way
1021 2007-04-17 Anatoly Sokolov <aesok@post.ru>
1024 * config/avr/avr.c (ptrreg_to_str): Replace gcc_unreachable() with
1027 2007-04-17 H.J. Lu <hongjiu.lu@intel.com>
1029 * config/i386/sse.md (sse_vmaddv4sf3): Use register_operand
1031 (sse_vmmulv4sf3): Likewise.
1032 (sse2_vmaddv2df3): Likewise.
1033 (sse2_vmmulv2df3): Likewise.
1035 2007-04-17 Zdenek Dvorak <dvorakz@suse.cz>
1037 PR rtl-optimization/31360
1038 * cfgloopanal.c (target_small_cost, target_pres_cost): Removed.
1039 (target_reg_cost): New.
1040 (init_set_costs): Initialize target_reg_cost. Add comments
1041 regarding the rationale of the costs.
1042 (global_cost_for_size): Renamed to...
1043 (estimate_reg_pressure_cost): ... and simplify. Decrease importance
1044 of register pressure.
1045 * tree-ssa-loop-ivopts.c (ivopts_global_cost_for_size): Use
1046 estimate_reg_pressure_cost. Add number of ivs.
1047 (determine_set_costs): Dump target_reg_cost.
1048 * loop-invariant.c (gain_for_invariant): Use
1049 estimate_reg_pressure_cost. Removed n_inv_uses argument.
1050 (best_gain_for_invariant, find_invariants_to_move): Remove
1052 * cfgloop.h (target_small_cost, target_pres_cost): Removed.
1053 (target_reg_cost): Declare.
1054 (global_cost_for_size): Declaration removed.
1055 (estimate_reg_pressure_cost): Declare.
1057 2007-04-17 Peter Bergner <bergner@vnet.ibm.com>
1059 * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Force TDmode
1060 regnos into even/odd register pairs.
1061 * config/rs6000/rs6000.h [SLOW_UNALIGNED_ACCESS]: Treat DDmode and
1062 TDmode similar to the other floating point modes.
1063 [SECONDARY_MEMORY_NEEDED]: Treat DDmode similar to DFmode.
1064 * config/rs6000/dfp.md (negdd2, absdd2, negtd2, abstd2): New
1066 (negdd2_fpr, absdd2_fpr, nabsdd2_fpr, negtd2_fpr, abstd2_fpr,
1067 nabstd2_fpr, movdd_hardfloat64_mfpgpr): New define_insn's.
1068 (movdd_hardfloat64): Use TARGET_MFPGPR.
1070 2007-04-17 Bernd Schmidt <bernd.schmidt@analog.com>
1072 * reload1.c (delete_output_reload): Don't count output in n_inherited.
1075 2005-01-05 Richard Henderson <rth@redhat.com>
1077 * reload1.c (do_input_reload): Restrict the optimization deleteing
1078 a previous output reload to RELOAD_FOR_INPUT.
1080 2007-04-17 Dorit Nuzman <dorit@il.ibm.com>
1082 * tree-vectorizer.h (stmt_vec_info_type): Add enum value
1083 induc_vec_info_type.
1084 (vectorizable_induction): New function declaration.
1085 * tree-vect-transform.c (get_initial_def_for_induction): No need to
1086 check if already vectorized. Find first place in BB where new stmts
1087 can be inserted. Takes only one argument.
1088 (vectorizable_induction): New function.
1089 (vect_transform_stmt): Add case for induc_vec_info_type to call
1090 vectorizable_induction.
1091 (vect_transform_loop): Consider phis for vectorization.
1092 * tree-vect-analyze.c (vect_determine_vectorization_factor): Simplify
1094 (analyze_operations): Call vectorizable_induction when analyzing phis.
1096 (vect_mark_stmts_to_be_vectorized): Remove redundant checks.
1097 (vect_mark_relevant): Include phis in relevance analysis.
1098 (vect_mark_stmts_to_be_vectorize): Likewise.
1099 * tree-vect-patterns.c (widened_name_p): Remove obsolete asserts.
1101 2007-04-16 Lawrence Crowl <crowl@google.com>
1103 * doc/invoke.texi (Debugging Options): Add documentation for the
1104 -femit-struct-debug options -femit-struct-debug-baseonly,
1105 -femit-struct-debug-reduced, and
1106 -femit-struct-debug-detailed[=...].
1108 * c-opts.c (c_common_handle_option): Add
1109 OPT_femit_struct_debug_baseonly, OPT_femit_struct_debug_reduced,
1110 and OPT_femit_struct_debug_detailed_.
1111 * c.opt: Add specifications for
1112 -femit-struct-debug-baseonly, -femit-struct-debug-reduced,
1113 and -femit-struct-debug-detailed[=...].
1114 * opts.c (set_struct_debug_option): Parse the
1115 -femit-struct-debug-... options.
1116 * opts.c (matches_main_base, main_input_basename,
1117 main_input_baselength, base_of_path, matches_main_base): Add
1118 variables and functions to compare header base name to compilation
1120 * opts.c (should_emit_struct_debug): Add to determine to emit a
1121 structure based on the option.
1122 (dump_struct_debug) Also disabled function to debug this
1124 * opts.c (handle_options): Save the base name of the
1127 * langhooks-def.h (LANG_HOOKS_GENERIC_TYPE_P): Define.
1128 (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add.
1129 This hook indicates if a type is generic. Set it by default
1131 * langhooks.h (struct lang_hooks_for_types): Add a new hook
1132 to determine if a struct type is generic or not.
1133 * cp/cp-tree.h (class_tmpl_impl_spec_p): Declare a C++ hook.
1134 * cp/tree.c (class_tmpl_impl_spec_p): Implement the C++ hook.
1135 * cp/cp-lang.c (LANG_HOOKS_GENERIC_TYPE_P): Override null C hook
1138 * flags.h (enum debug_info_usage): Add an enumeration to describe
1139 a program's use of a structure type.
1140 * dwarf2out.c (gen_struct_or_union_type_die): Add a new parameter
1141 to indicate the program's usage of the type. Filter structs based
1142 on the -femit-struct-debug-... specification.
1143 (gen_type_die): Split into two routines, gen_type_die and
1144 gen_type_die_with_usage. gen_type_die is now a wrapper
1145 that assumes direct usage.
1146 (gen_type_die_with_usage): Replace calls to gen_type_die
1147 with gen_type_die_with_usage adding the program usage of
1148 the referenced type.
1149 (dwarf2out_imported_module_or_decl): Suppress struct debug
1150 information using should_emit_struct_debug when appropriate.
1152 2007-04-16 Ian Lance Taylor <iant@google.com>
1154 PR tree-optimization/31522
1155 * tree-vrp.c (vr_phi_edge_counts): New static variable.
1156 (vrp_initialize): Allocate vr_phi_edge_counts.
1157 (vrp_visit_phi_node): Don't push to infinity if we saw a new
1158 executable edge. Drop test for all constants.
1159 (vrp_finalize): Free vrp_phi_edge_counts.
1161 * doc/cpp.texi (Common Predefined Macros): Clarify description of
1162 __GNUC_GNU_INLINE__ and __GNUC_STDC_INLINE__.
1164 * tree-ssa-propagate.c (cfg_blocks_add): Insert blocks with fewer
1165 predecessors at head rather than tail.
1167 2007-04-16 Matthias Klose <doko@debian.org>
1169 * config/alpha/linux.h (CPP_SPEC): Define.
1170 * config/arm/linux-gas.h (SUBTARGET_CPP_SPEC): Extend.
1172 2007-04-16 Aldy Hernandez <aldyh@redhat.com>
1174 * function.h: Remove sequence_stack extern declaration.
1176 2007-04-16 Kazu Hirata <kazu@codesourcery.com>
1178 * config/m68k/m68k.h (LONG_DOUBLE_TYPE_SIZE): Change to 64 on
1180 (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Change to 64 if __mfido__ is
1183 2007-04-16 Anatoly Sokolov <aesok@post.ru>
1185 * config/avr/avr.c (avr_arch_types): Rearranging array.
1186 (enum avr_arch): Add.
1187 (avr_mcu_types): Use avr_arch enumeration constants instead of
1189 * config/avr/avr.h (LINK_SPEC): Simplify.
1191 2007-04-16 Kazu Hirata <kazu@codesourcery.com>
1193 * config/m68k/m68k.c (m68k_libcall_value,
1194 m68k_function_value): Use macros for register names more.
1196 * config/m68k/m68k.h (FRAME_POINTER_REGNUM): Use A6_REG
1198 (M68K_REGNAME): Use A6_REG.
1199 * config/m68k/m68k.md (FP_REG): Rename to A6_REG.
1201 2007-04-16 Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
1204 * sched-int.h (struct deps): Split field 'pending_lists_length' into
1205 'pending_read_list_length' and 'pending_write_list_length'. Update
1207 * sched-deps.c (add_insn_mem_dependence): Change signature. Update
1208 to handle two length counters instead of one. Update all uses.
1209 (flush_pending_lists, sched_analyze_1, init_deps): Update to handle
1210 two length counters instead of one.
1211 * sched-rgn.c (propagate_deps): Update to handle two length counters
1214 2007-04-16 H.J. Lu <hongjiu.lu@intel.com>
1217 * config/i386/i386.c (ix86_expand_vec_set_builtin): Make a
1218 copy of source, pass it to ix86_expand_vector_set and return
1221 2007-04-16 David Ung <davidu@mips.com>
1222 Joseph Myers <joseph@codesourcery.com>
1224 * config/mips/mips.h (PROCESSOR_74KC, PROCESSOR_74KF,
1225 PROCESSOR_74KX, TUNE_74K, GENERATE_MADD_MSUB): Define.
1226 * config/mips/mips.c (mips_cpu_info_table, mips_rtx_cost_data):
1227 Add 74K processor information.
1228 * config/mips/mips.md: Include 74k.md.
1229 (cpu): Add 74kc,74kf,74kx.
1230 (ISA_HAS_MADD_MSUB): Change to GENERATE_MADD_MSUB throughout.
1231 * config/mips/74k.md: New.
1232 * doc/invoke.texi (MIPS Options): Document 74K support.
1234 2007-04-16 Dorit Nuzman <dorit@il.ibm.com>
1236 * tree-vect-analyze.c (vect_analyze_operations): Reorganize calls to
1237 vectorizable_* functions.
1238 * tree-vect-transform.c (vectorizable_call): Add check for
1239 STMT_VINFO_RELEVANT_P, STMT_VINFO_DEF_TYPE and STMT_VINFO_LIVE_P.
1240 (vectorizable_store): likewise.
1241 (vectorizable_conversion): Add check for STMT_VINFO_DEF_TYPE.
1243 (vectorizable_operation, vectorizable_type_demotion): Likewise.
1244 (vectorizable_type_promotion, vectorizable_load): Likewise.
1245 (vectorizable_live_operation, vectorizable_condition): Likewise.
1246 (vectorizable_assignment): Add check for STMT_VINFO_DEF_TYPE and
1248 (vect_transform_stmt): Reorganize calls to vectorizable_* functions.
1250 2007-04-15 Kazu Hirata <kazu@codesourcery.com>
1252 * config/m68k/linux.h (FUNCTION_VALUE_REGNO_P): Use macros for
1253 register numbers more.
1254 * config/m68k/m68k.h (STACK_POINTER_REGNUM,
1255 FRAME_POINTER_REGNUM, STATIC_CHAIN_REGNUM,
1256 M68K_STRUCT_VALUE_REGNUM, FUNCTION_VALUE, LIBCALL_VALUE,
1257 FUNCTION_VALUE_REGNO_P): Likewise.
1258 * config/m68k/m68kelf.h (M68K_STRUCT_VALUE_REGNUM,
1259 STATIC_CHAIN_REGNUM): Likewise.
1260 * config/m68k/m68kemb.h (FUNCTION_VALUE_REGNO_P): Likewise.
1261 * config/m68k/netbsd-elf.h (M68K_STRUCT_VALUE_REGNUM,
1262 STATIC_CHAIN_REGNUM, FUNCTION_VALUE_REGNO_P): Likewise.
1263 * config/m68k/m68k.md (FP_REG): New.
1265 2007-04-15 Kazu Hirata <kazu@codesourcery.com>
1267 * config/m68k/m68k.h (PREFERRED_STACK_BOUNDARY): Prefer 32-bit
1270 2007-04-15 Kazu Hirata <kazu@codesourcery.com>
1272 * config/i386/i386.c, config/s390/s390.c, config/s390/s390.md,
1273 tree-ssa-loop-niter.c, tree-ssa-structalias.c, tree-vrp.c: Fix
1276 2007-04-11 Zdenek Dvorak <dvorakz@suse.cz>
1278 * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Ignore
1281 2007-04-14 Andrew Pinski <andrew_pinski@playstation.sony.com>
1284 * c-decl.c (finish_decl): Grab the type of the decl after the call
1285 to store_init_value.
1287 2007-04-14 Steven Bosscher <steven@gcc.gnu.org>
1289 * common.opt (fforward-propagate): Fix "Optimization" annotation.
1291 2007-04-14 Jakub Jelinek <jakub@redhat.com>
1294 * omp-low.c (expand_omp_parallel): If child_cfun->cfg, free dominators,
1295 post dominators and cleanup cfg before returning.
1297 2007-04-14 Bernd Schmidt <bernd.schmidt@analog.com>
1299 * config/bfin/bfin.h (MODES_TIEABLE_P): Allow more modes to be tied.
1300 * config/bfin/bfin.md (movsi_insn): Delete two unused alternatives.
1302 2007-04-14 Kazu Hirata <kazu@codesourcery.com>
1304 * config.gcc: Recognize fido.
1305 * config/m68k/m68k-devices.def (fidoa): New.
1306 * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define
1308 (FL_FIDOA, TARGET_FIDOA): New.
1309 * config/m68k/m68k.opt (mfidoa): New.
1311 2007-04-13 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1314 * dwarf2out.c (output_call_frame_info): Call assemble_external_libcall
1315 when a personality function is used.
1317 2007-04-13 Bob Wilson <bob.wilson@acm.org>
1319 * config/xtensa/xtensa.c (xtensa_expand_builtin): Use CALL_EXPR_FN.
1321 2007-04-13 Mike Stump <mrs@apple.com>
1323 * config/darwin-c.c (handle_c_option): Handle -fapple-kext here so
1325 * config/darwin.opt (fapple-kext): Make C++ only.
1326 * config/darwin.c (darwin_override_options): Remove code to ensure
1327 -fapple-kext is given for C++ only.
1329 2007-04-13 Richard Sandiford <richard@codesourcery.com>
1331 * config/mips/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Define.
1332 * config/mips/mips.c (override_options): Call
1333 SUBTARGET_OVERRIDE_OPTIONS, if defined.
1335 2007-04-13 H.J. Lu <hongjiu.lu@intel.com>
1337 * config/i386/i386.opt (msvr3-shlib): Removed.
1339 * doc/invoke.texi: Remove -msvr3-shlib.
1341 2007-04-13 H.J. Lu <hongjiu.lu@intel.com>
1343 * config/i386/i386.opt (mpopcnt): Replace "popcount" instruction
1344 with "popcnt" instruction.
1346 2007-04-13 Richard Guenther <rguenther@suse.de>
1348 PR tree-optimization/21258
1349 * tree-vrp.c (compare_case_labels): New helper.
1350 (find_switch_asserts): New function.
1351 (find_assert_locations): Call it for SWITCH_EXPRs.
1353 2007-04-13 Uros Bizjak <ubizjak@gmail.com>
1355 * config/i386/i386.h (X87_FLOAT_MODE_P): Check for TARGET_80387.
1356 * config/i386/i386.md (*cmpfp0): Remove check for TARGET_80387, this
1357 check is now implied in X87_FLOAT_MODE_P.
1358 (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
1359 (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
1360 (fix_trunc<mode>_i386_fisttp): Ditto.
1361 (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
1362 (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
1363 (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
1364 (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
1365 (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
1366 (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
1367 (unnamed_splitters): Ditto.
1368 * config/i386/i386.c (function_value_32): Generate FIRST_FLOAT_REG
1369 for X87_FLOAT_MODE_P mode. Override FIRST_FLOAT_REG with
1370 FIRST_SSE_REG for local functions when SSE math is enabled or
1371 for functions with sseregparm attribute.
1372 (standard_80387_constant_p): Return -1 if mode is not
1374 (ix86_cc_mode): Assert that scalar mode is not DECIMAL_FLOAT_MODE_P.
1375 (ix86_expand_compare): Ditto.
1376 (ix86_expand_carry_flag_compare): Ditto.
1377 (ix86_expand_int_movcc): Check for SCALAR_FLOAT_MODE_P instead
1378 of FLOAT_MODE_P for cmp_mode and assert that cmp_mode is not
1379 DECIMAL_FLOAT_MODE_P.
1380 (ix86_preferred_output_reload_class): Use X87_FLOAT_MODE_P instead
1381 of SCALAR_FLOAT_MODE_P.
1382 (ix86_rtx_costs) [PLUS] Remove FLOAT_MODE_P and fall through to ...
1383 [MINUS]: ... here. Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P
1384 checks before FLOAT_MODE_P.
1385 [MULT]: Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P checks
1386 before FLOAT_MODE_P.
1391 [FLOAT_EXTEND]: Use SSE_FLOAT_MODE_P.
1393 2007-04-12 Paolo Bonzini <bonzini@gnu.org>
1394 Charles Wilson <libtool@cwilson.fastmail.fm>
1396 * Makefile.in (stamp-as, stamp-collect-ld, stamp-nm): Remove.
1397 (libgcc.mvars): Don't depend on them.
1398 * configure.ac (as, collect-ld, nm): Create from exec-tool.in.
1399 * exec-tool.in: New.
1401 2007-04-12 Brooks Moses <brooks.moses@codesourcery.com>
1403 * doc/invoke.text (--help): Document --help=common.
1405 2007-04-12 Thomas Neumann <tneumann@users.sourceforge.net>
1407 * stub-objc.c (objc_build_keyword_decl): Avoid C++ keywords.
1409 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1411 * Makefile.in (insn-emit.o): Depend on $(INTEGRATE_H).
1412 * genemit.c (main): Emit #include "integrate.h".
1413 * config/mips/mips-protos.h (SYMBOL_HALF): New mips_symbol_type.
1414 (LOADGP_RTP): New mips_loadgp_style.
1415 * config/mips/mips.h: Include config/vxworks-dummy.h.
1416 (TARGET_RTP_PIC): New macro.
1417 (TARGET_USE_GOT): Return true for TARGET_RTP_PIC.
1418 (TARGET_USE_PIC_FN_ADDR_REG): Return true for TARGET_VXWORKS_RTP.
1419 (ASM_OUTPUT_ADDR_DIFF_ELT): Emit function-relative case tables
1421 * config/mips/vxworks.h (SUBTARGET_ASM_SPEC): Define. Pass down
1422 -mvxworks-pic when using -mrtp and a PIC option.
1423 * config/mips/mips.c (mips_classify_symbol): Return SYMBOL_GOT_DISP
1425 (mips_symbolic_constant_p, mips_symbolic_address_p)
1426 (mips_symbol_insns): Handle SYMBOL_HALF.
1427 (override_options): Warn about -G and -mrtp being used together.
1428 Initialize mips_lo_relocs[SYMBOL_HALF].
1429 (mips_current_loadgp_style): Return LOADGP_RTP for RTP PIC.
1430 (mips_emit_loadgp): Handle LOADGP_RTP.
1431 (mips_in_small_data_p): Return false for TARGET_VXWORKS_RTP.
1432 * config/mips/mips.md (loadgp_rtp): New insn and splitter.
1433 (tablejump): Handle function-relative case table entries if
1435 * config/mips/predicates.md (symbol_ref_operand): New predicate.
1437 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1439 * config/mips/mips.md (load_call<mode>): Allow any general register.
1441 (sibcall_value_internal, sibcall_value_multiple_internal)
1442 (call_value_internal, call_value_split, call_value_multiple_internal)
1443 (call_value_multiple_split): Remove constraints from operand 0.
1445 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1447 * config/mips/mips-protos.h: In comments, refer to loadgp_absolute
1448 rather than loadgp_noshared.
1449 * config/mips/mips.c (mips_emit_loadgp): Use gen_loadgp_absolute
1450 instead of gen_loadgp_noshared. Use gen_loadgp_newabi instead of
1452 * config/mips/mips.md (loadgp): Rename to...
1453 (loadgp_newabi): ...this.
1454 (loadgp_noshared): Rename to...
1455 (loadgp_absolute): ...this.
1457 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1459 * config/mips/mips.c (mips_ok_for_lazy_binding_p): Always return
1460 false for locally-binding symbols.
1461 (mips_dangerous_for_la25_p): Check mips_global_symbol_p.
1463 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1465 * config/mips/mips-protos.h (SYMBOL_GOT_LOCAL): Rename to...
1466 (SYMBOL_GOT_PAGE_OFST): ...this.
1467 (SYMBOL_GOT_GLOBAL): Rename to...
1468 (SYMBOL_GOT_DISP): ...this.
1469 (SYMBOL_GOTOFF_GLOBAL): Rename to...
1470 (SYMBOL_GOTOFF_DISP): ...this. Update comments accordingly.
1471 * config/mips/mips.c (mips_global_symbol_p): New function.
1472 (mips_symbol_binds_local_p): Likewise.
1473 (mips_classify_symbol): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP
1474 and SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST. Use mips_global_symbol_p
1475 and mips_symbol_binds_local_p.
1476 (mips_symbolic_constant_p, mips_symbolic_address_p, mips_symbol_insns)
1477 (override_options): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP,
1478 SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST and SYMBOL_GOTOFF_GLOBAL to
1480 (mips_ok_for_lazy_binding_p): New function.
1481 (mips_load_call_address, mips_expand_call): Use it.
1482 (mips_dangerous_for_la25_p): Likewise.
1483 * config/mips/mips.md (*xgot_hi<mode>, *xgot_lo<mode>)
1484 (*got_disp<mode>): Use got_disp_operand instead of
1485 global_got_operand. Use SYMBOL_GOTOFF_DISP instead of
1486 SYMBOL_GOTOFF_GLOBAL.
1487 (*got_page<mode>): Use got_page_ofst_operand instead of
1489 * config/mips/predicates.md (const_call_insn_operand): Use
1490 SYMBOL_GOT_DISP instead of SYMBOL_GOT_GLOBAL.
1491 (global_got_operand): Rename to...
1492 (got_disp_operand): ...this and use SYMBOL_GOT_DISP instead of
1494 (local_got_operand): Rename to...
1495 (got_page_ofst_operand): ...this and use SYMBOL_GOT_PAGE_OFST instead
1496 of SYMBOL_GOT_LOCAL.
1498 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1500 * config/mips/mips.h (TARGET_SPLIT_CALLS): Check
1501 TARGET_CALL_CLOBBERED_GP.
1502 (TARGET_SIBCALLS): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1503 (TARGET_USE_GOT, TARGET_CALL_CLOBBERED_GP): New macros.
1504 (TARGET_CALL_SAVED_GP, TARGET_USE_PIC_FN_ADDR_REG): Likewise.
1505 (STARTING_FRAME_OFFSET): Check TARGET_CALL_CLOBBERED_GP instead
1506 of TARGET_ABICALLS && !TARGET_NEWABI.
1507 (MIPS_CALL): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1508 * config/mips/mips.c (mips_load_call_address): Check
1509 TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
1510 (mips_global_pointer): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1511 Check TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
1512 (mips_save_reg_p): Check TARGET_CALL_SAVED_GP instead of
1513 TARGET_ABICALLS && TARGET_NEWABI.
1514 (mips_current_loadgp_style): Check TARGET_USE_GOT instead of
1516 (mips_expand_prologue): Check TARGET_OLDABI instead of !TARGET_NEWABI.
1517 (mips_expand_epilogue): Check TARGET_CALL_SAVED_GP instead of
1518 TARGET_ABICALLS && TARGET_NEWABI.
1519 (mips_output_mi_thunk): Check TARGET_USE_GOT instead of
1520 TARGET_ABICALLS. Check TARGET_CALL_SAVED_GP instead of
1521 TARGET_NEWABI. Use TARGET_USE_PIC_FN_ADDR_REG to decide
1522 whether indirect calls must use $25.
1523 (mips_extra_live_on_entry): Check TARGET_GOT instead of
1525 * config/mips/mips.md (jal_macro): Check flag_pic and
1526 TARGET_CALL_CLOBBERED_GP instead of TARGET_ABICALLS and TARGET_NEWABI.
1527 (builtin_setjmp_setup, builtin_longjmp): Check TARGET_USE_GOT
1528 instead of TARGET_ABICALLS.
1529 (exception_receiver): Check TARGET_CALL_CLOBBERED_GP instead of
1530 TARGET_ABICALLS && TARGET_OLDABI.
1531 (load_call<mode>): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1532 (sibcall): In the comment above the define_insn, mention
1533 TARGET_USE_PIC_FN_ADDR_REG instead of TARGET_ABICALLS.
1534 * config/mips/constraints.md (c): Check TARGET_USE_PIC_FN_ADDR_REG
1535 instead of TARGET_ABICALLS.
1537 2007-04-12 Bernd Schmidt <bernd.schmidt@analog.com>
1539 * doc/md.texi (Blackfin family constraints): Document PA and PB.
1540 * config/bfin/bfin.h (CONST_OK_FOR_P): Handle PA and PB.
1541 (MACFLAGS_MATCH_P): New macro.
1542 * config/bfin/bfin.c (print_operand): Handle MACFLAG_IS_M.
1543 (bfin_secondary_reload): Treat EVEN_AREGS and ODD_AREGS like AREGS.
1544 * config/bfin/bfin.md (MACFLAG_IS_M): New constant. Renumber some of
1545 the other MACFLAG constants.
1546 (sum_of_accumulators, lshrpdi3, ashrpdi3): New patterns.
1547 (flag_machi): Tighten constraints. Renumber some of the operands.
1548 (flag_machi_acconly): Tighten constraints. Correct operand numbers in
1550 (flag_machi_parts_acconly): New pattern.
1551 (flag_macinithi): Tighten constraints. Allow any accumulator to be
1553 (flag_macinit1hi): Tighten constraints.
1554 (flag_mul_macv2hi_parts_acconly): New pattern.
1556 * config/bfin/lib1funcs.asm (___umulsi3_highpart, __smulsi3_highpart):
1557 Use a more efficient implementation.
1558 * config/bfin/bfin.md (umulsi3_highpart, smulsi3_highpart): Emit
1559 inline sequences when not optimizing for size.
1561 * config/bfin/bfin.md (movhi_low2high, movhi_high2high, movhi_low2low,
1562 movhi_high2low): Delete, merge functionality into...
1563 (packv2hi): ... this pattern.
1565 2007-02-11 Jie Zhang <jie.zhang@analog.com>
1566 * config/bfin/bfin.opt (msim): New option.
1567 (mcpu=): New option.
1568 * config/bfin/bfin-protos.h (enum bfin_cpu): New.
1569 (bfin_cpu_t): Typedef of enum bfin_cpu.
1570 (bfin_cpu_type): New declaration.
1571 * config/bfin/elf.h (STARTFILE_SPEC): Add support for
1572 -msim and -mcpu= options.
1573 (LIB_SPEC): Likewise.
1574 * config/bfin/bfin.c (bfin_cpu_type): Define.
1575 (bfin_handle_option): Handle -mcpu= option.
1576 * config/bfin/bfin.h (DEFAULT_CPU_TYPE): Define as BFIN_CPU_BF532.
1577 (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF531__, __ADSPBF532__,
1578 __ADSPBF533__ or __ADSPBF537__ according to the cpu type.
1580 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1582 * config.gcc (*-*-vxworks*): Don't add to tm_files in this stanza.
1583 (arm-wrs-vxworks, mips-wrs-vxworks, powerpc-wrs-vxworks)
1584 (powerpc-wrs-vxworksae): Use ${tm_file}.
1585 (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add svr4.h
1586 after elfos.h. Remove i386/sysv4.h and add i386/vx-common.h.
1587 * config/i386/vx-common.h: New file.
1589 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1591 * config/vxworks.h (VXWORKS_STARTFILE_SPEC): Use -l:crt0.o instead
1594 2007-04-12 Andreas Krebbel <krebbel1@de.ibm.com>
1596 * config/s390/s390.md ("trunctddd2"): Use TDmode for the target of
1599 2007-04-12 Douglas Gregor <doug.gregor@gmail.com>
1603 * c-common.c (c_build_qualified_type): Set canonical type
1606 2007-04-12 Richard Guenther <rguenther@suse.de>
1608 * tree-pretty-print.c (dump_generic_node): Print ARRAY_REF
1609 lower bound and element size if lower bound is not zero
1610 or either of the ARRAY_REF operands is set.
1612 2007-04-12 Richard Guenther <rguenther@suse.de>
1614 PR tree-optimization/24689
1615 PR tree-optimization/31307
1616 * fold-const.c (operand_equal_p): Compare INTEGER_CST array
1618 * gimplify.c (canonicalize_addr_expr): To be consistent with
1619 gimplify_compound_lval only set operands two and three of
1620 ARRAY_REFs if they are not gimple_min_invariant. This makes
1621 it never at this place.
1622 * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
1624 2007-04-11 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1626 * pa.c (pa_som_asm_init_sections): Ensure that cfun->machine is not
1627 null before emitting a .nsubspa directive.
1629 2007-04-11 Diego Novillo <dnovillo@redhat.com>
1631 * tree-ssa-alias.c (dump_mem_ref_stats): Do not call
1632 need_to_partition_p if there are no memory statements in the
1635 2007-04-11 Zdenek Dvorak <dvorakz@suse.cz>
1637 * tree-data-ref.c (chrec_steps_divide_constant_p): Removed.
1638 (gcd_of_steps_may_divide_p): New function.
1639 (analyze_miv_subscript): Use gcd_of_steps_may_divide_p.
1641 2007-04-11 Bernd Schmidt <bernd.schmidt@analog.com>
1643 * reload.c (find_reloads_toplev, find_reloads_address,
1644 find_reloads_address_1, find_reloads_subreg_address): Use rtx_equal_p,
1645 not a pointer equality test, to decide if we need to call
1646 push_reg_equiv_alt_mem.
1648 2007-04-11 Sebastian Pop <sebastian.pop@inria.fr>
1650 * tree-data-ref.c (affine_function_zero_p, constant_access_functions,
1651 insert_innermost_unit_dist_vector, add_distance_for_zero_overlaps): New.
1652 (build_classic_dist_vector): Call add_distance_for_zero_overlaps.
1654 2007-04-11 Zdenek Dvorak <dvorakz@suse.cz>
1656 * tree-data-ref.c (add_multivariate_self_dist): Force the distance
1657 vector to be positive.
1659 2007-04-11 Diego Novillo <dnovillo@redhat.com>
1663 * doc/invoke.texi: Document --params max-aliased-vops and
1665 * tree-ssa-operands.h (get_mpt_for, dump_memory_partitions,
1666 debug_memory_partitions): Move to tree-flow.h
1667 * params.h (AVG_ALIASED_VOPS): Define.
1668 * tree-ssa-alias.c (struct mp_info_def): Remove. Update all
1670 (mp_info_t): Likewise.
1671 (get_mem_sym_stats_for): New.
1672 (set_memory_partition): Move from tree-flow-inline.h.
1673 (mark_non_addressable): Only clear the set of symbols for the
1674 partition if it exists.
1675 (dump_memory_partitions): Move from tree-ssa-operands.c
1676 (debug_memory_partitions): Likewise.
1677 (need_to_partition_p): New.
1678 (dump_mem_ref_stats): New.
1679 (debug_mem_ref_stats): New.
1680 (dump_mem_sym_stats): New.
1681 (debug_mem_sym_stats): New.
1682 (update_mem_sym_stats_from_stmt): New.
1683 (compare_mp_info_entries): New.
1684 (mp_info_cmp): Call it.
1685 (sort_mp_info): Change argument to a list of mem_sym_stats_t
1687 (get_mpt_for): Move from tree-ssa-operands.c.
1688 (find_partition_for): New.
1689 (create_partition_for): Remove.
1690 (estimate_vop_reduction): New.
1691 (update_reference_counts): New.
1692 (build_mp_info): New.
1693 (compute_memory_partitions): Refactor.
1694 Document new heuristic.
1695 Call build_mp_info, update_reference_counts,
1696 find_partition_for and estimate_vop_reduction.
1697 (compute_may_aliases): Populate virtual operands before
1698 calling debugging dumps.
1699 (delete_mem_sym_stats): New.
1700 (delete_mem_ref_stats): New.
1701 (init_mem_ref_stats): New.
1702 (init_alias_info): Call it.
1703 (maybe_create_global_var): Remove alias_info argument.
1704 Get number of call sites and number of pure/const call sites
1705 from gimple_mem_ref_stats().
1706 (dump_alias_info): Call dump_memory_partitions first.
1707 (dump_points_to_info_for): Show how many times a pointer has
1709 * opts.c (decode_options): For -O2 set --param
1710 max-aliased-vops to 500.
1711 For -O3 set --param max-aliased-vops to 1000 and --param
1712 avg-aliased-vops to 3.
1713 * fortran/options.c (gfc_init_options): Remove assignment to
1715 * tree-flow-inline.h (gimple_mem_ref_stats): New.
1716 * tree-dfa.c (dump_variable): Dump memory reference
1718 Dump NO_ALIAS* settings.
1719 (referenced_var_lookup): Tidy.
1720 (mem_sym_stats): New.
1721 * tree-ssa-copy.c (may_propagate_copy): Return true if DEST
1722 and ORIG are different SSA names for a memory partition.
1723 * tree-ssa.c (delete_tree_ssa): Call delete_mem_ref_stats.
1724 * tree-flow.h (struct mem_sym_stats_d): Define.
1725 (mem_sym_stats_t): Define.
1726 (struct mem_ref_stats_d): Define.
1727 (struct gimple_df): Add field mem_ref_stats.
1728 (enum noalias_state): Define.
1729 (struct var_ann_d): Add bitfield noalias_state.
1730 (mem_sym_stats, delete_mem_ref_stats, dump_mem_ref_stats,
1731 debug_mem_ref_stats, debug_memory_partitions,
1732 debug_mem_sym_stats): Declare.
1733 * tree-ssa-structalias.c (update_alias_info): Update call
1734 sites, pure/const call sites and asm sites in structure
1735 returned by gimple_mem_ref_stats.
1736 Remove local variable IS_POTENTIAL_DEREF.
1737 Increase NUM_DEREFS if the memory expression is a potential
1739 Call update_mem_sym_stats_from_stmt.
1740 If the memory references memory, call
1741 update_mem_sym_stats_from_stmt for all the direct memory
1742 symbol references found.
1743 (intra_create_variable_infos): Set noalias_state field for
1744 pointer arguments according to the value of
1745 flag_argument_noalias.
1746 * tree-ssa-structalias.h (struct alias_info): Remove fields
1747 num_calls_found and num_pure_const_calls_found.
1748 (update_mem_sym_stats_from_stmt): Declare.
1749 * params.def (PARAM_MAX_ALIASED_VOPS): Change description.
1750 Set default value to 100.
1751 (PARAM_AVG_ALIASED_VOPS): Define.
1753 2007-04-11 Richard Guenther <rguenther@suse.de>
1756 * simplify-rtx.c (simplify_binary_operation_1): Do not simplify
1757 a * -b + c as c - a * b if we honor sign dependent rounding.
1759 2007-04-11 Bernd Schmidt <bernd.schmidt@analog.com>
1761 * config/bfin/bfin-protos.h (bfin_expand_movmem): Renamed from
1763 * config/bfin/bfin.c (bfin_expand_prologue, bfin_delegitimize_address,
1764 bfin_function_ok_for_sibcall, split_load_immediate): Remove unused
1766 (initialize_trampoline): Don't use old-style function definition.
1767 (bfin_secondary_reload): Mark IN_P argument as unused.
1769 2007-04-10 Sebastian Pop <sebastian.pop@inria.fr>
1771 PR tree-optimization/31343
1772 * tree-chrec.h (chrec_zerop): Moved before build_polynomial_chrec.
1773 (build_polynomial_chrec): Return a scalar when the evolution is zero.
1774 * testsuite/gcc.dg/vect/pr31343.c: New.
1776 2007-04-10 Eric Christopher <echristo@apple.com>
1778 * config/i386/i386.h (X87_FLOAT_MODE_P): New.
1779 * config/i386/i386.md (*cmpfp0): Use.
1780 (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
1781 (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
1782 (fix_trunc<mode>_i386_fisttp): Ditto.
1783 (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
1784 (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
1785 (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
1786 (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
1787 (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
1788 (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
1789 (unnamed_splitters): Ditto.
1790 * config/i386/i386.c (output_fix_trunc): Assert that
1791 we're not being passed a TFmode operand.
1793 2007-04-10 Zdenek Dvorak <dvorakz@suse.cz>
1795 PR tree-optimization/31526
1796 * tree-inline.c (copy_cfg_body): Use last_basic_block instead of
1797 n_basic_blocks to find newly added blocks.
1799 2007-04-10 Uros Bizjak <ubizjak@gmail.com>
1801 * config/i386/i386.md (fix_trunc<mode>di_sse): Remove "x" from "xm"
1803 (fix_trunc<mode>si_sse): Ditto.
1804 (*floatsisf2_mixed, *floatsisf2_sse): Ditto.
1805 (*floatsidf2_mixed, *floatsidf2_sse): Ditto.
1806 (*floatdisf2_mixed, *floatdisf2_sse): Ditto.
1807 (*floatdidf2_mixed, *floatdidf2_sse): Ditto.
1808 (floathi<mode>2): Rename from floathisf2 and floathidf2. Macroize
1809 expander using SSEMODEF mode macro.
1810 (floatsi<mode>2): Rename from floatsisf2 and floashidf2. Macroize
1811 expander using SSEMODEF mode macro.
1812 (*floathi<mode>2_i387): Rename from *floathisf2_i387 and
1813 *floathidf2_i387. Macroize insn using X87MODEF12 mode macro.
1814 (*floatsi<mode>2_i387): Rename from *floatsisf2_i387 and
1815 *floatsidf2_i387. Macroize insn using X87MODEF12 mode macro.
1816 (*floatdi<mode>2_i387): Rename from *floatdisf2_i387 and
1817 *floatdidf2_i387. Macroize insn using X87MODEF12 mode macro.
1818 (float<mode>xf2): Rename from floathixf2, floatsixf2 and floatdixf2.
1819 Macroize insn using X87MODEF mode macro.
1821 2007-04-09 H.J. Lu <hongjiu.lu@intel.com>
1823 * config/i386/sse.md (sse2_pinsrw): Removed.
1824 (sse2_pextrw): Renamed to ...
1825 (*sse2_pextrw): This.
1827 2007-04-09 Jan Hubicka <jh@suse.cz>
1830 * config/i386/sse.md
1831 (sse_vmaddv4sf3, sse_vmmulv4sf3): Remove '%' modifier.
1832 (sse_vmsmaxv4sf3_finite, sse_vmsminv4sf3_finite): Remove.
1833 (sse2_vmaddv2df3, sse2_vmmulv2df3): Remove '%' modifier.
1834 (sse2_vmsmaxv2df3_finite, sse2_vmsminv2df3_finite): Remove.
1836 2007-04-09 Jan Hubicka <jh@suse.cz>
1838 * tree-ssa-ccp (maybe_fold_offset_to_component_ref): Recurse into
1839 multiple fields of union.
1841 2007-04-09 Zdenek Dvorak <dvorakz@suse.cz>
1843 * cfgloopmanip.c (create_preheader): Do not use loop_preheader_edge.
1844 (create_preheaders): Check that loops are available.
1845 (fix_loop_structure): Clean up, improve comments.
1846 * tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa):
1847 Check that loops are available. Set LOOP_CLOSED_SSA to the loops
1849 * tree-scalar-evolution.c (scev_finalize): Clear scalar_evolution_info.
1850 * predict.c (tree_estimate_probability): Do not call
1851 calculate_dominance_info. Call create_preheaders.
1852 * tree-cfgcleanup.c (cleanup_tree_cfg_loop): Only call
1853 rewrite_into_loop_closed_ssa if LOOP_CLOSED_SSA is set in loops state
1855 * cfgloop.c (loop_preheader_edge): Assert that loops have preheaders.
1856 * cfgloop.h (LOOP_CLOSED_SSA): New constant.
1857 * tree-cfg.c (tree_split_edge): Make an assert more precise.
1858 * tree-ssa-threadedge.c (thread_across_edge): Comment the function
1861 2007-04-08 Jan Hubicka <jh@suse.cz>
1863 * tree.h (maybe_fold_offset_to_component_ref): Declare.
1864 * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Export.
1865 * fold-const.c (fold_unary): Use it.
1867 2007-04-08 Andrew Pinski <andrew_pinski@playstation.sony.com>
1869 * varasm.c (assemble_variable): Remove call to
1870 lang_hooks.decls.prepare_assemble_variable.
1871 * langhooks-def.h (LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE): Kill.
1872 (LANG_HOOKS_DECLS): Remove LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE.
1873 * langhooks.h (lang_hooks_for_decls): Remove
1874 prepare_assemble_variable.
1876 2007-04-08 Mike Stump <mrs@apple.com>
1878 * config/i386/i386.c: Use inc/dec on Core2.
1880 2007-04-08 Steven Bosscher <steven@gcc.gnu.org>
1882 * langhooks.c (lhd_tree_inlining_add_pending_fn_decls,
1883 lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
1884 lhd_tree_inlining_end_inlining): Remove.
1885 * langhooks.h (struct lang_hooks_for_tree_inlining): Remove then
1886 add_pending_fn_decls, anon_aggr_type_p, start_inlining, and
1888 * langhooks-def.h (lhd_tree_inlining_add_pending_fn_decls,
1889 lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
1890 lhd_tree_inlining_end_inlining): Remove prototypes.
1891 (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS,
1892 LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P,
1893 LANG_HOOKS_TREE_INLINING_START_INLINING,
1894 LANG_HOOKS_TREE_INLINING_END_INLINING): Remove.
1896 * c-objc-common.h (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do
1899 2007-04-08 Anatoly Sokolov <aesok@post.ru>
1902 * config/avr/predicates.md (io_address_operand): Delete predicate.
1903 (low_io_address_operand): Don't use 'mode' argument.
1904 (higth_io_address_operand): Rename ...
1905 (high_io_address_operand): ... to this. Don't use 'mode' argument.
1906 * config/avr/avr.md (*sbix_branch_tmp, *sbix_branch_tmp_bit7): Adjust
1909 2007-04-07 Daniel Berlin <dberlin@dberlin.org>
1911 Revert change removing staticp.
1913 2007-04-07 Anatoly Sokolov <aesok@post.ru>
1916 * config/avr/avr.md (*clrmemqi, *clrmemhi): Mark operand 4 as
1919 2007-04-07 Bruce Korb <bkorb@gnu.org>
1921 * c.opt: Add -Wformat-contains-nul.
1922 * c-format.c (set_Wformat): Set warn_format_contains_nul to the
1924 (check_format_info_main): Check OPT_Wformat_contains_nul before emitting
1925 the NUL byte warning.
1927 2007-04-07 H.J. Lu <hongjiu.lu@intel.com>
1929 * config/i386/i386.c (ix86_handle_option): Handle SSSE3.
1931 2007-04-06 Daniel Berlin <dberlin@dberlin.org>
1933 * tree.c (staticp): No longer use staticp langhook.
1934 * langhooks.c (lhd_staticp): Removed.
1935 * langhooks.h (struct lang_hooks): Remove staticp.
1936 * c-common.c (c_staticp): Remove.
1937 * c-common.h (c_staticp): Ditto.
1938 * langhooks-defs.h (lhd_staticp): Ditto.
1939 (LHD_HOOKS_STATICP): Ditto
1940 * tree.h (gcc_assert_lowered): New macro.
1942 2007-04-06 Zdenek Dvorak <dvorakz@suse.cz>
1944 * tree-ssa-loop-niter.c (idx_infer_loop_bounds): Add and use
1945 argument "reliable".
1946 (infer_loop_bounds_from_ref, infer_loop_bounds_from_array):
1947 Add argument "reliable". Propagate it through calls.
1948 (infer_loop_bounds_from_undefined): Derive number of iterations
1949 estimates from references in blocks that do not dominate loop latch.
1950 (gcov_type_to_double_int): New function.
1951 (estimate_numbers_of_iterations_loop): Use gcov_type_to_double_int
1952 and expected_loop_iterations_unbounded.
1953 * cfgloopanal.c (expected_loop_iterations_unbounded): New function.
1954 (expected_loop_iterations): Use expected_loop_iterations_unbounded.
1955 * tree-data-ref.c (estimated_loop_iterations): Export.
1956 (get_references_in_stmt): Fix -- do not return addresses of local
1958 * cfgloop.h (expected_loop_iterations_unbounded,
1959 estimated_loop_iterations): Declare.
1961 2007-04-06 Andreas Tobler <a.tobler@schweiz.org>
1963 * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
1965 2007-04-06 Uros Bizjak <ubizjak@gmail.com>
1967 * config/i386/i386.md (extend<mode>xf2): Rename from extendsfxf2
1968 and extenddfxf2. Macroize expander using X87MODEF12 mode macro.
1969 (*truncdfsf_mixed, *truncdfsf_i387, *truncdfsf2_i387_1):
1970 Use output_387_reg_move().
1971 (*truncxf<mode>2): Rename from *truncxfsf2 and truncxfdf2. Macroize
1972 expander using X87MODEF12 mode macro.
1973 (*truncxfsf2_mixed): Combine alternatives, ignore "r" alternative when
1974 choosing register preferences. Use output_387_reg_move().
1975 (*truncxfdf2_mixed): Combine alternatives, use "r" alternative
1976 instead of "x". Use output_387_reg_move().
1977 (*truncxf<mode>2_i387_noop): Rename from *truncxfsf2_i387_noop and
1978 *truncxfdf2_i387_noop. Macroize insn using X87MODEF12 mode macro.
1979 (*truncxf<mode>2_i387): Rename from *truncxfsf2_i387 and
1980 *truncxfdf2_i387. Macroize insn using X87MODEF12 mode macro.
1981 Use output_387_reg_move().
1982 (*truncxf?f_mixed splitter): Macroize splitter using X87MODEF12
1984 (*truncxf?f_i387 splitter): Ditto.
1986 2007-04-06 Daniel Berlin <dberlin@dberlin.org>
1988 * langhooks-def.h (LANG_HOOKS_INITIALIZER): Remove
1989 LANG_HOOKS_SAFE_FROM_P.
1990 * expr.c (safe_from_p): Remove langhook call.
1991 * langhooks.h (lang_hooks): Remove safe_from_p.
1992 (lhd_safe_from_p): Remove prototype.
1993 * langhooks.c (lhd_safe_from_p): Remove.
1995 2007-04-06 Jan Hubicka <jh@suse.cz>
1997 * cgraphunit.c (decide_is_function_needed): Do not keep always_inline
2000 2007-04-06 Uros Bizjak <ubizjak@gmail.com>
2002 * config/i386/i386.c (output_387_reg_move): Handle memory operand[0].
2003 * config/i386/i386.md (*movsf_1, *movdf_nointeger,
2004 *movdf_integer_rex64, *movdf_integer, *movxf_nointeger,
2005 *movxf_integer): Use output_387_reg_move() for x87 reg->mem
2007 (*extendsfdf2_mixed, *extendsfdf2_i387, *extendsfxf2_i387,
2008 *extenddfxf2_i387, *truncdfsf_fast_mixed): Ditto.
2010 2007-04-05 Richard Henderson <rth@redhat.com>
2012 * config/alpha/alpha.c (print_operand) [+]: Remove.
2013 (alpha_end_function): Print nop if call at end of function.
2014 * config/alpha/alpha.h (PRINT_OPERAND_PUNCT_VALID_P): Remove +.
2015 * config/alpha/alpha.md (UNSPEC_LDGP1): New.
2016 (call_osf_1_er_noreturn, call_value_osf_1_er_noreturn): New.
2017 (call_osf_2_er_nogp, call_value_osf_2_er_nogp): New.
2018 (call_osf_2_er, call_value_osf_2_er): Merge the ldgp highpart into
2019 the call pattern. Update peepholes to match.
2021 2007-04-05 Janis Johnson <janis187@us.ibm.com>
2023 * doc/extend.texi (Other Builtins): Add decimal float variants
2025 * builtins.def: Ditto.
2026 * builtins.c (expand_builtin): Ditto.
2028 2007-04-05 Uros Bizjak <ubizjak@gmail.com>
2029 H.J. Lu <hongjiu.lu@intel.com>
2032 * config/i386/sse.md (sse2_umulv2siv2di3): Use V4SImode instead
2033 of V8HImode when calling ix86_binary_operator_ok.
2034 (sse2_pmaddwd): Call ix86_binary_operator_ok.
2035 (sdot_prodv8hi): Operands 1 and 2 must be register.
2037 2007-04-05 Alexandre Oliva <aoliva@redhat.com>
2039 * tree-sra.c (try_instantiate_multiple_fields): Needlessly
2040 initialize align to silence bogus warning.
2042 2007-04-05 Alexandre Oliva <aoliva@redhat.com>
2045 * tree-sra.c (struct sra_elt): Add in_bitfld_block. Remove
2047 (struct sra_walk_fns): Remove use_all parameter from use.
2048 (sra_hash_tree): Handle BIT_FIELD_REFs.
2049 (sra_elt_hash): Don't hash bitfld blocks.
2050 (sra_elt_eq): Skip them in parent compares as well. Handle
2052 (sra_walk_expr): Don't maintain or pass down use_all_p.
2053 (scan_use): Remove use_all parameter.
2054 (scalarize_use): Likewise. Re-expand assignment to
2055 BIT_FIELD_REF of gimple_reg. De-scalarize before input or
2056 output, and re-scalarize after output. Don't mark anything
2058 (scalarize_ldst): Adjust.
2059 (scalarize_walk_gimple_modify_statement): Likewise.
2060 (build_element_name_1): Handle BIT_FIELD_REFs.
2061 (instantiate_element): Don't warn for any element whose parent
2063 (instantiate_missing_elements_1): Return the sra_elt.
2064 (canon_type_for_field): New.
2065 (try_instantiate_multiple_fields): New.
2066 (instantiate_missing_elemnts): Use them.
2067 (mark_no_warning): Removed.
2068 (generate_one_element_ref): Handle BIT_FIELD_REFs.
2069 (REPLDUP, sra_build_elt_assignment): New.
2070 (generate_copy_inout): Use them.
2071 (generate_element_copy): Likewise. Handle bitfld differences.
2072 (generate_element_zero): Don't recurse for blocks. Use
2073 sra_build_elt_assignment.
2074 (generate_one_element_int): Take elt instead of var. Use
2075 sra_build_elt_assignment.
2076 (generate_element_init_1): Adjust.
2077 (scalarize_use, scalarize_copy): Use REPLDUP.
2078 (scalarize_ldst): Move assert before dereference.
2079 (dump_sra_elt_name): Handle BIT_FIELD_REFs.
2081 2007-04-05 Steven Bosscher <steven@gcc.gnu.org>
2083 * regmove.c: Fix unused variable warnings due to previous commit.
2085 2007-04-05 Steven Bosscher <steven@gcc.gnu.org>
2087 * regmove.c (STACK_GROWS_DOWNWARD): Don't boolean-ize.
2088 (regmove_bb_head): Remove.
2089 (copy_src_to_dest): Don't update regmove_bb_head and BB_HEAD.
2090 (regmove_optimize): Don't do unnecessary CFG fixes for non-existing
2091 problems with fixup_match_1.
2092 Don't initialize/free regmove_bb_head.
2094 (reg_is_remote_constant_p): If an insn is in the same basic block
2095 but not before INSN, consider it remote, too.
2097 2007-04-05 Anatoly Sokolov <aesok@post.ru>
2100 * config/avr/avr.c (avr_handle_fndecl_attribute): Use the
2101 DECL_ASSEMBLER_NAME, not the DECL_NAME.
2103 2007-04-05 H.J. Lu <hongjiu.lu@intel.com>
2105 * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Reformat.
2106 (CONDITIONAL_REGISTER_USAGE): Likewise.
2108 2007-04-04 Richard Henderson <rth@redhat.com>
2110 * config/alpha/lib1funcs.asm: Remove unused file.
2112 2007-04-04 Brooks Moses <brooks.moses@codesourcery.com>
2115 * opts.c (print_specific_help): Fix --help=<language>
2117 (common_handle_option): Support --help=common.
2119 2007-04-04 Brooks Moses <brooks.moses@codesourcery.com>
2122 * gcc.c (main): Do not run the linker if
2123 print_subprocess_help indicates that it shouldn't be
2126 2007-04-04 Brooks Moses <brooks.moses@codesourcery.com>
2129 * doc/invoke.texi (--help=): Document <languages> value, fix
2130 formatting in tables of values.
2132 2007-04-04 Danny Smith <dannysmith.users.sourceforge.net>
2134 * config/i386/winnt-cxx.c (i386_pe_type_dllimport_p): Don't ignore
2135 dllimport attribute of virtual methods.
2137 2007-04-04 Chen Liqin <liqin@sunnorth.com.cn>
2139 * config/score/crti.asm: Change _bss_start to __bss_start.
2140 * config/score/score.h (CONDITIONAL_REGISTER_USAGE): Added.
2141 (OUTGOING_REG_PARM_STACK_SPACE) update.
2142 * config/score/score.opt: add options to make backend support
2143 score5, score5u, score7 and score7d.
2144 * config/score/score.md: Likewise.
2145 * config/score/misc.md: Likewise.
2146 * config/score/mac.md: Likewise.
2147 * doc/invoke.texi: Likewise.
2148 * doc/md.texi: update constraints define.
2150 2007-04-03 Richard Henderson <rth@redhat.com>
2152 * expr.c (store_expr): If get_signed_or_unsigned_type doesn't yield
2153 an appropriate type, use the mode instead.
2155 2007-04-03 Richard Sandiford <richard@codesourcery.com>
2157 * config.gcc (mips-wrs-vxworks): Add vx-common.h to tm_file.
2158 Set the default --with-arch setting to mips2.
2159 * config/mips/t-vxworks (MULTILIB_OPTIONS, MULTILIB_MATCHES)
2160 (MULTILIB_EXCEPTIONS): Redefine with new multilibs.
2161 (MULTILIB_OSDIRNAMES): Delete.
2162 (MULTILIB_DIRNAMES): Define.
2163 * config/mips/vxworks.h (LINK_SPEC): Add VXWORKS_LINK_SPEC.
2164 (LIB_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Define.
2165 (TARGET_OS_CPP_BUILTINS): Incorporate old SUBTARGET_CPP_SPEC
2166 definitions, except for _WRS_R3K_EXC_SUPPORT. Call
2167 VXWORKS_OS_CPP_BUILTINS.
2168 (SUBTARGET_CPP_SPEC): Redefine to VXWORKS_ADDITIONAL_CPP_SPEC.
2169 (MIPS_DEBUGGING_INFO): Undefine.
2170 (FUNCTION_PROFILER): Define to VXWORKS_FUNCTION_PROFILER.
2172 2007-04-03 Jakub Jelinek <jakub@redhat.com>
2175 * fold-const.c (native_encode_real): Encode real.c provided longs
2176 as a series of 32-bit native integers.
2177 (native_interpret_real): Interpret buffer as a series of 32-bit
2180 2007-04-03 Richard Guenther <rguenther@suse.de>
2182 * genpreds.c (write_insn_constraint_len): Write function
2183 optimized for CONSTRAINT_LEN implementation.
2184 (write_tm_preds_h): Output insn_constraint_len inline and
2185 use it for CONSTRAINT_LEN.
2186 (write_insn_preds_c): Don't output insn_constraint_len.
2187 * doc/md.texi (define_register_constraint): Document multi-letter
2188 constraints shall have the same length if they start with the same
2191 2007-04-03 Uros Bizjak <ubizjak@gmail.com>
2194 * config/i386/i386.md (isinf<mode>2): Expand only when
2195 TARGET_C99_FUNCTIONS is set.
2197 2007-04-03 Uros Bizjak <ubizjak@gmail.com>
2199 * config.gcc (i[34567]86-*-linux*): Add i386/t-crtpc to tm-file.
2200 (x86_64-*-linux*): Ditto.
2201 * config/i386/i386.opt (mpc): New option.
2202 * config/i386/i386.c (overrride_options): Handle
2203 ix87_precision_string.
2204 * config/i386/crtprec.c: New file.
2205 * config/i386/t-crtpc: Ditto.
2206 * config/i386/linux.h (ENDFILE_SPEC): Add handling of -mpc32, -mpc64
2208 * config/i386/linux64.h (ENDFILE_SPEC): Ditto.
2209 * config/i386/t-linux64 (EXTRA_MULTILIB_PARTS): Add
2210 crtprec32.o, crtprec64.o and crtprec80.o.
2212 * doc/invoke.texi (Machine Dependent Options): Add -mpc32, -mpc64
2214 (i386 and x86-64 Options): Document -mpc32, -mpc64 and -mpc80 options.
2216 2007-04-02 Eric Christopher <echristo@apple.com>
2218 * doc/invoke.texi (i386 and x86-64 Options): Document -m64
2219 limitations on darwin.
2221 2007-04-02 Anatoly Sokolov <aesok@post.ru>
2224 * config/avr/avr.c (avr_rtx_costs): Add missing 'break' statements.
2226 2007-04-02 Dave Korn <dave.korn@artimi.com>
2228 * doc/tm.texi (FUNCTION_MODE): Update and extend documentation.
2230 2007-04-02 Dave Korn <dave.korn@artimi.com>
2232 * libgcc2.h (exception_descriptor): Don't forward-declare.
2233 (__get_eh_table_language, __get_eh_table_version): Delete
2234 prototypes of long-dead functions.
2236 2007-04-01 Daniel Berlin <dberlin@dberlin.org>
2238 * ebitmap.h: New file
2239 * ebitmap.c: New file
2240 * Makefile.in (ebitmap.o): New target.
2242 2007-04-01 Jan Hubicka <jh@suse.cz>
2244 * emit-rtl.c (emit_insn_before_setloc): Do not ICE when asked to emit
2245 before very first instruction.
2247 2007-04-01 Jan Hubicka <jh@suse.cz>
2249 * ggc-page.c (ggc_print_statistics): Fix formatting string to avoid
2250 waring on 64bit hosts.
2251 * bitmap.h: Fix typo in bitmap_head_def.
2253 2007-04-01 Steven Bosscher <steven@gcc.gnu.org>
2255 PR rtl-optimization/31391
2256 * cfgcleanup.c (try_optimize_cfg): If a removed label is turned
2257 into a DELETED_LABEL note, and the label is in an empty basic
2258 block, update BB_END as well as BB_HEAD.
2260 2007-04-01 Richard Henderson <rth@redhat.com>
2262 PR tree-optimization/31169
2263 * tree-vrp.c (extract_range_from_binary_expr) <RSHIFT_EXPR>: Drop
2264 to varying if the range is outside [0, prec-1].
2266 2007-04-01 Richard Sandiford <richard@codesourcery.com>
2269 * config/mips/mips.md (load_const_gp): New insn.
2270 * config/mips/mips.c (mips_split_symbol): Avoid using or creating
2271 the MIPS16 GP pseudo register if no_new_pseudos.
2272 (mips16_gp_pseudo_reg): Use gen_load_const_gp.
2274 2007-03-31 Andrew Pinski <andrew_pinski@playstation.sony.com>
2277 * config/rs6000/rs6000.md (call): Convert to LR hard reg for
2279 (call_value): Likewise.
2281 2007-03-31 Wolfgang Bangerth <bangerth@dealii.org>
2282 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2285 * doc/invoke.texi: (optimization options): Reword description
2286 of -ffast-math. Document its primary purpose.
2288 2007-03-31 Richard Guenther <rguenther@suse.de>
2290 * omp-low.c (splay-tree.h): Include.
2291 (lookup_decl): Replace splay-tree usage by pointer-map.
2292 (maybe_lookup_decl): Likewise.
2293 (new_omp_context): Likewise.
2294 (delete_omp_context): Likewise.
2295 * gimplify.c (splay-tree.h): Include.
2296 * tree-inline.c (insert_decl_map): Replace splay-tree usage by
2298 (remap_ssa_name): Likewise.
2299 (remap_decl): Likewise.
2300 (remap_type_1): Likewise.
2301 (remap_type): Likewise.
2302 (copy_body_r): Likewise.
2303 (expand_call_inline): Likewise.
2304 (clone_body): Likewise.
2305 (copy_tree_r): Likewise.
2306 (remap_save_expr): Likewise.
2307 (unsave_r): Likewise.
2308 (unsave_expr_now): Likewise.
2309 (tree_function_versioning): Likewise.
2310 (build_duplicate_type): Likewise.
2311 * tree-inline.h (pointer-set.h): Include instead of splay-tree.h.
2312 (struct copy_body_data): Replace splay-tree by pointer-map.
2313 * Makefile.in (TREE_INLINE_H): Depend on pointer-map.h,
2314 not $(SPLAY_TREE_H).
2315 (gimplify.o): Depend on $(SPLAY_TREE_H).
2316 (omp-low.p): Likewise.
2318 2007-03-31 Anatoly Sokolov <aesok@post.ru>
2320 * config/avr/predicates.md (even_register_operand,
2321 odd_register_operand): New predicates.
2322 * config/avr/avr.md (movw peephole2): New.
2323 (movw_r peephole2): New.
2325 2007-03-30 Rafael Avila de Espindola <espindola@google.com>
2327 * tree.h (get_signed_or_unsigned_type): New.
2328 * fold-const.c (operand_equal_for_comparison_p): Use
2329 get_signed_or_unsigned_type instead of
2330 lang_hooks.types.signed_or_unsigned_type.
2331 * expr.c (store_expr): Ditto.
2332 * langhooks.c (get_signed_or_unsigned_type): New.
2333 (lhd_signed_or_unsigned_type): New.
2334 * langhooks.h (lhd_signed_or_unsigned_type): New.
2335 * langhooks-def.h (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Define.
2337 2007-03-30 Richard Henderson <rth@redhat.com>
2339 * tree-ssa-loop-ivopts.c: Include target.h.
2340 (produce_memory_decl_rtl): Pass the rtx through encode_section_info.
2341 (get_address_cost): Force SYMBOL_FLAG_LOCAL set.
2342 (force_expr_to_var_cost): Use produce_memory_decl_rtl.
2343 * Makefile.in (tree-ssa-loop-ivopts.o): Depend on TARGET_H.
2345 2007-03-30 Richard Henderson <rth@redhat.com>
2346 Kai Tietz <kai.tietz@onevision.com>
2348 * config/i386/cygming.h (DWARF2_DEBUGGING_INFO): Enable by
2350 (PREFERRED_DEBUGGING_TYPE): Prefer dwarf2 for 64-bit.
2351 (TARGET_64BIT_MS_ABI): New.
2352 (DBX_REGISTER_NUMBER): Handle 64-bit.
2353 (SIZE_TYPE, PTRDIFF_TYPE): Use long long for 64-bit.
2354 (LONG_TYPE_SIZE): Force to 32.
2355 (REG_PARM_STACK_SPACE): New.
2356 (OUTGOING_REG_PARM_STACK_SPACE): New.
2357 (REGPARM_MAX, SSE_REGPARM_MAX): New.
2358 (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
2359 (STACK_BOUNDARY): Use 128 for 64-bit.
2360 * config/i386/cygwin.asm: Use push/ret to preserve call stack.
2361 Add 64-bit implementation.
2362 * config/i386/gthr-win32.c (__gthr_win32_key_create): Mark dtor
2364 * config/i386/i386.c (x86_64_ms_abi_int_parameter_registers): New.
2365 (override_options): Set ix86_cmodel for TARGET_64BIT_MS_ABI.
2366 Warn for -mregparm, -mrtd in 64-bit mode; force ix86_regparm
2367 for 64-bit; use TARGET_SUBTARGET64_DEFAULT.
2368 (ix86_handle_cconv_attribute): Don't warn when ignoring if
2369 TARGET_64BIT_MS_ABI.
2370 (ix86_function_arg_regno_p): Handle TARGET_64BIT_MS_ABI.
2371 (ix86_pass_by_reference): Likewise.
2372 (ix86_function_value_regno_p): Likewise.
2373 (ix86_build_builtin_va_list): Likewise.
2374 (ix86_va_start, ix86_gimplify_va_arg): Likewise.
2375 (function_arg_advance_ms_64): New.
2376 (function_arg_advance): Call it.
2377 (function_arg_ms_64): New.
2378 (function_arg): Call it.
2379 (function_value_ms_64): New.
2380 (ix86_function_value_1): Call it.
2381 (return_in_memory_ms_64): New.
2382 (ix86_return_in_memory): Call it.
2383 (setup_incoming_varargs_ms_64): New.
2384 (ix86_setup_incoming_varargs): Call it.
2385 (ix86_expand_prologue): Handle 64-bit stack probing.
2386 (legitimize_pic_address): Handle TARGET_64BIT_MS_ABI.
2387 (output_pic_addr_const): Likewise.
2388 (x86_this_parameter): Likewise.
2389 (x86_output_mi_thunk): Likewise.
2390 (x86_function_profiler): Likewise.
2391 (TARGET_STRICT_ARGUMENT_NAMING): New.
2392 * config/i386/i386.h (TARGET_SUBTARGET64_DEFAULT): New.
2393 (TARGET_64BIT_MS_ABI): New.
2394 (CONDITIONAL_REGISTER_USAGE): Handle TARGET_64BIT_MS_ABI.
2395 * config/i386/i386.md (allocate_stack_worker): Remove.
2396 (allocate_stack_worker_32): Rename from allocate_stack_worker_1;
2397 describe the clobber of eax without a match_scratch.
2398 (allocate_stack_worker_postreload): Remove.
2399 (allocate_stack_worker_64): Rename from allocate_stack_worker_rex64;
2400 describe the clobbers of rax, r10, r11 properly; use __chkstk symbol.
2401 (allocate_stack_worker_rex64_postreload): Remove.
2402 (allocate_stack): Handle 64-bit.
2403 * config/i386/i386elf (TARGET_SUBTARGET_DEFAULT): Remove.
2404 * config/i386/mingw32.h (TARGET_VERSION): Set correctly for 64-bit.
2405 (EXTRA_OS_CPP_BUILTINS): Handle 64-bit.
2406 (STANDARD_INCLUDE_DIR): Handle TARGET_64BIT_DEFAULT.
2407 (STANDARD_STARTFILE_PREFIX_1): Likewise.
2408 * config/i386/unix.h (TARGET_SUBTARGET64_DEFAULT): New.
2409 * config.build (x86_64-*-mingw*): New host.
2410 * config.host (x86_64-*-mingw*): New host.
2411 * config.gcc (x86_64-*-mingw*): New target.
2412 * gthr-win32.h (__gthread_key_create): Mark dtor unused.
2414 2007-03-30 Richard Henderson <rth@redhat.com>
2415 Kai Tietz <kai.tietz@onevision.com>
2417 * c-pragma.c (struct def_pragma_macro_value): New.
2418 (struct def_pragma_macro): New.
2419 (pushed_macro_table): New.
2420 (dpm_hash, dpm_eq): New.
2421 (handle_pragma_push_macro, handle_pragma_pop_macro): New.
2422 (init_pragma): Install them.
2423 * doc/tm.texi (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
2425 2007-03-30 Anatoly Sokolov <aesok@post.ru>
2427 * config/avr/avr.c (avr_override_options): Clear
2428 'flag_delete_null_pointer_checks'.
2430 2007-03-30 Paolo Carlini <pcarlini@suse.de>
2433 * c-common.h (enum rid): Add RID_HAS_NOTHROW_ASSIGN,
2434 RID_HAS_NOTHROW_CONSTRUCTOR, RID_HAS_NOTHROW_COPY,
2435 RID_HAS_TRIVIAL_ASSIGN, RID_HAS_TRIVIAL_CONSTRUCTOR,
2436 RID_HAS_TRIVIAL_COPY, RID_HAS_TRIVIAL_DESTRUCTOR,
2437 RID_HAS_VIRTUAL_DESTRUCTOR, RID_IS_ABSTRACT, RID_IS_BASE_OF,
2438 RID_IS_CONVERTIBLE_TO, RID_IS_CLASS, RID_IS_EMPTY, RID_IS_ENUM,
2439 RID_IS_POD, RID_IS_POLYMORPHIC, RID_IS_UNION, as
2441 * doc/extend.texi (Extensions to the C++ Language): Add Type Traits.
2443 2007-03-30 Steven Bosscher <steven@gcc.gnu.org>
2445 * regmove.c: Move all of pass_stack_adjustments from here...
2446 * combine-stack-adj.c: ...to this new file.
2447 * Makefile.in: Add rules for combine-stack-adj.o.
2449 2007-03-30 Zdenek Dvorak <dvorakz@suse.cz>
2451 PR tree-optimization/31383
2452 * tree-data-ref.c (affine_function_equal_p): Do not require the vectors
2453 to have the same length.
2455 2007-03-30 Jan Hubicka <jh@suse.cz>
2458 * dwarf2out.c (reference_to_unused): Ask cgraph for functions
2459 availablility; add more sanity checking; ask varpool only about
2462 2007-03-29 Richard Henderson <rth@redhat.com>
2464 * unwind-generic.h (_sleb128_t, _uleb128_t): Don't use HAVE_LONG_LONG
2465 to decide, but __SIZEOF_LONG_LONG__.
2467 2007-03-29 Richard Henderson <rth@redhat.com>
2469 * emutls.c (struct __emutls_array): New.
2470 (emutls_destroy): Use it instead of casting element 0 from void*.
2471 (__emutls_get_address): Likewise.
2473 2007-03-29 Richard Henderson <rth@redhat.com>
2475 * varasm.c (initializer_constant_valid_p): Don't deny
2476 DECL_DLLIMPORT_P on functions.
2478 * config/i386/cygming.h: Remove function declarations.
2479 (SUBTARGET_ENCODE_SECTION_INFO): Don't undef first.
2480 (ASM_OUTPUT_LABELREF): Remove.
2481 (COMMON_ASM_OP): Remove.
2482 (ASM_OUTPUT_COMMON): Remove.
2483 (ASM_OUTPUT_ALIGNED_DECL_COMMON): New.
2484 (ASM_DECLARE_OBJECT_NAME): Use i386_pe_maybe_record_exported_symbol.
2485 (ASM_DECLARE_FUNCTION_NAME): Likewise.
2486 * config/i386/i386-interix.h (SUBTARGET_ENCODE_SECTION_INFO):
2487 Rename from TARGET_ENCODE_SECTION_INFO.
2488 * config/i386/netware.h: Likewise.
2489 * config/i386/i386-protos.h: Update.
2490 * config/i386/i386.c (ix86_function_ok_for_sibcall): Turn ifdef
2491 of TARGET_DLLIMPORT_DECL_ATTRIBUTES into straight if.
2492 (legitimate_constant_p): Reject dllimports.
2493 (dllimport_map, get_dllimport_decl): New.
2494 (legitimize_dllimport_symbol): New.
2495 (legitimize_address, ix86_expand_move): Use it.
2496 (TARGET_BINDS_LOCAL_P): Redefine for TARGET_DLLIMPORT_DECL_ATTRIBUTES.
2497 * config/i386/i386.h (DLL_IMPORT_EXPORT_PREFIX): Remove.
2498 (SYMBOL_FLAG_DLLIMPORT, SYMBOL_REF_DLLIMPORT_P): New.
2499 (SYMBOL_FLAG_DLLEXPORT, SYMBOL_REF_DLLEXPORT_P): New.
2500 * config/i386/predicates.md (constant_call_address_operand): Only
2501 accept symbols; reject dllimport_p symbols.
2502 * config/i386/uwin.h (ASM_DECLARE_FUNCTION_NAME): Use
2503 i386_pe_maybe_record_exported_symbol.
2504 * config/i386/winnt.c (DLL_IMPORT_PREFIX, DLL_EXPORT_PREFIX): Remove.
2505 (i386_pe_determine_dllexport_p): Rename from i386_pe_dllexport_p.
2506 (i386_pe_determine_dllimport_p): Rename from i386_pe_dllimport_p;
2507 trust the setting of DECL_DLLIMPORT_P.
2508 (i386_pe_dllexport_name_p, i386_pe_dllimport_name_p): Remove.
2509 (i386_pe_mark_dllexport, i386_pe_mark_dllimport): Remove.
2510 (gen_stdcall_or_fastcall_suffix): Return NULL if no change required;
2511 tidy the argument scanning loop.
2512 (i386_pe_encode_section_info): Set SYMBOL_FLAG_DLLIMPORT and
2513 SYMBOL_FLAG_DLLEXPORT in SYMBOL_REF_FLAGS.
2514 (i386_pe_strip_name_encoding): Remove.
2515 (i386_pe_binds_local_p): New.
2516 (i386_pe_strip_name_encoding_full): Use default_strip_name_encoding.
2517 (i386_pe_output_labelref): Remove.
2518 (i386_pe_asm_output_aligned_decl_common): New.
2519 (i386_pe_maybe_record_exported_symbol): Rename from
2520 i386_pe_record_exported_symbol; check for dllexported symbols.
2522 2007-03-29 Zack Weinberg <zack@mrtock.ucsd.edu>
2524 * gengtype.c (oprintf): Mostly revert changes from 2007-03-26;
2525 add comment explaining why vsnprintf cannot be used.
2527 2007-03-29 Douglas Gregor <doug.gregor@gmail.com>
2529 PR tree-optimization/30666
2530 * tree.c (build_complex_type): When creating type names for DWARF2
2531 debug info, create TYPE_DECLs for TYPE_NAME instead of
2533 (build_common_tree_nodes_2): Use build_complex_type when building
2534 predefined complex types, to preserve canonical types.
2536 2007-03-29 Steven Bosscher <steven@gcc.gnu.org>
2538 * ifcvt.c (struct noce_if_info): Add then_else_reversed field.
2539 (noce_get_alt_condition): Look at it to determine whether to
2540 reverse the condition or not.
2541 (noce_get_condition): Substitute the truth for lies.
2542 (noce_find_if_block): Set the then_else_reversed field.
2544 2007-03-29 Lars Poeschel <larsi@wh2.tu-dresden.de>
2546 * config/fr30/fr30.md (movdi): Do not accept immediates as the
2547 destination of this insn.
2548 * config/fr30/fr30.c (fr30_move_double): Use emit_move_insn rather
2549 than calling gen_rtx_SET directly. Use r0 to hold the value of
2550 'address + 4' rather than a stack based temporary which can be
2553 2007-03-29 Andreas Krebbel <krebbel1@de.ibm.com>
2555 * config/s390/s390.c (s390_secondary_input_reload_class,
2556 s390_secondary_output_reload_class): Functions removed.
2557 (s390_secondary_reload): New function.
2558 (TARGET_SECONDARY_RELOAD): Target macro defined.
2559 * config/s390/s390.h (SECONDARY_INPUT_RELOAD_CLASS,
2560 SECONDARY_OUTPUT_RELOAD_CLASS): Macro definitions removed.
2561 * config/s390/s390.md ("reload_outti", "reload_outdi",
2562 "reload_indi", "reload_insi", "reload_out<mode>", "reload_in<mode>",
2563 "reload_out<mode>"): Expanders removed.
2564 ("reload<mode>_plus", "reload<mode>_nonoffmem_in",
2565 "reload<mode>_nonoffmem_out"): Expanders added.
2567 2007-03-29 Andreas Krebbel <krebbel1@de.ibm.com>
2569 * regmove.c (optimize_reg_copy_1): Don't perform DEST->SRC repair action if
2570 SRC->DEST replacement failed anyway.
2572 2007-03-28 Mike Stump <mrs@apple.com>
2574 * config/darwin9.h (ASM_OUTPUT_ALIGNED_COMMON): Add.
2575 * config/darwin.h (MAX_OFILE_ALIGNMENT): Fix.
2576 * config/rs6000/darwin.h (ASM_OUTPUT_ALIGNED_COMMON): Removed #undef.
2578 2007-03-28 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
2580 * config.gcc: Accept barcelona as a variant of amdfam10.
2581 * config/i386/i386.c (override_options): Likewise.
2582 * doc/invoke.texi: Likewise.
2584 2007-03-28 Eric Botcazou <ebotcazou@adacore.com>
2586 * tree-dfa.c (get_ref_base_and_extent): Do not expect positive
2587 offsets for BIT_FIELD_REF and COMPONENT_REF.
2589 2007-03-28 Richard Guenther <rguenther@suse.de>
2591 * tree.c (is_global_var): Move ...
2592 * tree-flow-inline.h (is_global_var): ... here.
2593 * tree.h (is_global_var): Remove declaration.
2595 2007-03-28 Uros Bizjak <ubizjak@gmail.com>
2597 * config/i386/i386.h (X86_TUNE_PROMOTE_HIMODE_IMUL): New tuning
2599 (TARGET_TUNE_PROMOTE_HIMODE_IMUL): New define. Use new tuning option.
2600 * config/i386/i386.c (ix86_tune_features): Initialize new
2602 * config/i386/predicates.md (promotable_binary_operator): Use
2603 TARGET_TUNE_PROMOTE_HIMODE_IMUL.
2605 2007-03-28 Grigory Zagorodnev <grigory_zagorodnev@linux.intel.com>
2608 * config/i386/sse.md (uminv16qi3): Use UMIN instead of UMAX.
2610 2007-03-28 Lars Poeschel <larsi@wh2.tu-dresden.de>
2612 * config/fr30/fr30.md (movsi_internal): Change destination
2613 constraint from m to V and add m to the end.
2615 2007-03-28 Christian Bruel <christian.bruel@st.com>
2617 * config/sh/sh.md (movsi_i): Fix type attribute.
2619 2007-03-28 Christian Bruel <christian.bruel@st.com>
2621 * config/sh/sh.md (movsi_ie): Fix memory constraints attribute length.
2622 (movsf_ie): Likewise.
2624 2007-03-28 Christian Bruel <christian.bruel@st.com>
2626 * config.gcc: Add sh4-300 to multilib.
2627 * config/sh/t-mlib-sh4-300: New file.
2629 2007-03-28 Andreas Krebbel <krebbel1@de.ibm.com>
2631 * config/s390/s390.md ("fix_trunc<mode>di2"): New expander.
2632 ("fix_trunc<DFP:mode>di2_dfp"): New insn definition renamed from
2634 ("fixuns_truncdddi2", "fixuns_trunctddi2"): Use
2635 fix_trunc<DFP:mode>di2_dfp instead of fix_trunc<mode>di2.
2636 ("fix_truncdfsi2", "fix_truncsfsi2", "fixuns_truncdddi2",
2637 "fixuns_trunctddi2"): Whitespace fix.
2639 2007-03-28 Kaz Kojima <kkojima@gcc.gnu.org>
2641 * config/sh/sh.h (CALL_COOKIE_RET_TRAMP_SHIFT): Move after
2642 the definition of struct sh_args.
2643 (CALL_COOKIE_RET_TRAMP, CALL_COOKIE_STACKSEQ_SHIFT,
2644 CALL_COOKIE_INT_REG_GET): Likewise.
2646 2007-03-28 Steven Bosscher <steven@gcc.gnu.org>
2648 * ifcvt.c (cond_exec_find_if_block): Return FALSE if no
2649 transformations are applied successfully.
2651 2007-03-27 Douglas Gregor <doug.gregor@gmail.com>
2653 * tree.c (tree_contains_struct): Permit 512 tree codes.
2654 * tree.h (tree_contains_struct): Ditto.
2655 (MAX_TREE_CODES): Ditto.
2656 (struct tree_base): Make CODE 16 bits, instead of 8 bits. Add
2657 SPARE member to store remaining padding bits.
2659 2007-03-27 Anatoly Sokolov <aesok@post.ru>
2661 * config/avr/avr.c (avr_mcu_types): Move at90usb82 device to 'avr4'
2664 2007-03-27 Janis Johnson <janis187@us.ibm.com>
2666 * configure.ac: Fix assembler test for powerpc*-linux decimal float.
2667 * configure: Regenerate.
2669 * configure: Regenerate using the correct version of autoconf.
2671 2007-03-27 Anatoly Sokolov <aesok@post.ru>
2673 * config/avr/avr.c (avr_hard_regno_mode_ok): Disallow QImode in stack
2675 * config/avr/avr.h (REGISTER_NAMES): Rename "__SPL__" and "__SPH__"
2676 regs to "__SP_L__" and "__SP_H__".
2678 2007-03-27 Richard Guenther <rguenther@suse.de>
2680 * tree-dfa.c (get_ref_base_and_extent): Replace bit_offset and
2681 computations with it with a HOST_WIDE_INT variable.
2683 2007-03-26 Mike Stump <mrs@apple.com>
2685 * config/rs6000/darwin.h (DARWIN_MINVERSION_SPEC): Add
2686 objective-c-header, objective-c++-header and objc++-cpp-output
2688 * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Likewise.
2690 2007-03-26 Richard Henderson <rth@redhat.com>
2693 * config/i386/i386.c (IX86_BUILTIN_PSLLDQ128, IX86_BUILTIN_PSLLW128,
2694 IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128, IX86_BUILTIN_PSRAW128,
2695 IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128, IX86_BUILTIN_PSRLD128,
2696 IX86_BUILTIN_PSRLQ128): New.
2697 (ix86_init_mmx_sse_builtins): Add them.
2698 (ix86_expand_builtin): Expand them.
2699 * config/i386/sse.md (ashr<mode>3, lshr<mode>3, ashl<mode>3): Make
2700 operand 2 be TImode.
2701 * config/i386/emmintrin.h (_mm_slli_epi64, _mm_srai_epi16,
2702 _mm_srai_epi32, _mm_srli_epi16, _mm_srli_epi32,
2703 _mm_srli_epi64): Mark __B const.
2704 (_mm_srli_si128, _mm_srli_si128): Fix disabled inline versions.
2705 (_mm_sll_epi16, _mm_sll_epi32, _mm_sll_epi64, _mm_sra_epi16,
2706 _mm_sra_epi32, _mm_srl_epi16, _mm_srl_epi32, _mm_srl_epi64): Use
2707 new two-vector shift builtins.
2709 2007-03-26 Ian Lance Taylor <iant@google.com>
2711 PR tree-optimization/31345
2712 * tree-vrp.c (extract_range_from_binary_expr): Turn ranges like
2713 [+INF, +INF(OVF)] into VARYING.
2715 2007-03-26 Zack Weinberg <zackw@panix.com>
2717 * gengtype-parse.c: New file.
2718 * gengtype-yacc.y: Delete.
2719 * gengtype-lex.l: Don't include gengtype-yacc.h.
2720 Define YY_DECL and yyterminate appropriately for recursive
2721 descent parser. yylval is now a string out-parameter to yylex.
2722 (HWS, EOID): New shorthand.
2723 (IWORD): Add a couple more types.
2724 (yylex): Add a setup stanza. Remove the complex rules for
2725 detecting GTY'ed types and typedefs; replace with simple
2726 keyword detectors. Adjust everything for the changed
2727 definition of yylval. Ignore all pp-directives, not just #define.
2729 (parse_file): Rename yybegin; do not call yyparse.
2731 * gengtype.c (xasprintf): Export again.
2732 (this_file): New. Use everywhere __FILE__ was being used.
2733 (get_lang_bitmap): Special case types defined in gengtype.c.
2734 (do_typedef, new_structure): Suppress definition of certain types.
2735 (new_structure): Improve diagnostics of duplicate definitions.
2736 Make sure location_s is associated with input.h.
2737 (nreverse_pairs, define_location_structures): New functions.
2738 (main): Improve tagging of kludge types. Remove old kludges
2739 for input.h types; use define_location_structures.
2740 * gengtype.h: Update prototypes. Define token codes here.
2741 * Makefile.in: Remove all references to gengtype-yacc.
2742 Add rules for gengtype-parse.o. Adjust rules for gengtype-lex.o
2744 * bitmap.h (struct bitmap_head_def): Coalesce definitions,
2745 add GTY((skip)) to the field that's only conditionally there.
2746 * doc/install.texi: Document that Bison is no longer required
2747 unless building treelang.
2749 * gengtype.c: Don't include gtyp-gen.h.
2750 (srcdir): Declare here.
2751 (base_files, lang_dir_names): Allocate dynamically.
2752 (gt_files, num_gt_files, num_lang_dirs): New globals.
2753 (measure_input_list, read_input_line, read_input_list)
2754 (set_lang_bitmap): New functions.
2755 (get_base_file_bitmap): Rename get_lang_bitmap and drastically
2756 simplify, relying on read_input_list to set up the bitmaps.
2757 (main): Arguments are no longer unused. Check for correct number
2758 of command line arguments, set srcdir and srcdir_len, then call
2759 read_input_list, before doing anything else. No need to worry
2760 about duplicates in main loop.
2761 * configure.ac: Simplify the calculation of all_gtfiles.
2762 Put language tags in there. Don't set or substitute
2763 all_gtfiles_files_langs or all_gtfiles_files_frags.
2764 * Makefile.in: Revamp the way gengtype is invoked, now that it
2765 takes a file on its command line with a much simpler format.
2766 Remove or replace with gtyp-input.list all references to gtyp-gen.h.
2767 (GTFILES): Remove duplicates and C source files.
2768 * c-config-lang.in, cp/config-lang.in, objc/config-lang.in
2769 * objcp/config-lang.in: Add c-pragma.h to gtfiles.
2770 * configure: Regenerate.
2772 * gengtype.h: Remove all type definitions to gengtype.c; leave
2773 only definitions of options_p, type_p, and pair_p as opaque
2774 pointers. Update prototypes.
2775 * gengtype.c: Many type definitions moved here from gengtype.h.
2776 Consolidate type definitions at the top of the file.
2777 (xvasprintf): Delete.
2778 (xasprintf): Make static.
2779 (create_nested_pointer_option): Add 'next' parameter.
2780 (create_field_all, create_field_at): New functions.
2781 (create_field): Now a thin wrapper around create_field_all.
2782 (create_optional_field): Rename create_optional_field_ and add
2783 line argument. Original name is now a macro which supplies
2785 (oprintf): Use vsnprintf directly.
2786 (close_output_files): Use fatal rather than perror/exit.
2787 (note_def_vec, note_def_vec_alloc): Use create_field_at.
2788 (main): Set progname. Don't use exit.
2789 * gengtype-yacc.y (struct_fields): Use create_field_at.
2790 (option, optionseqopt): Delete.
2791 (optionseq): Consolidate productions from option here so we
2792 can use the first argument to create_option.
2794 * gengtype-lex.l: Distinguish unions from structures in the
2795 token type. Don't call find_structure; return the tag as a string.
2796 * gengtype-yacc.y: Add new token types ENT_TYPEDEF_UNION and ENT_UNION.
2797 Type of these, ENT_TYPEDEF_STRUCT, and ENT_STRUCT is string.
2798 Reorganize typedef_struct production accordingly.
2799 Use create_nested_ptr_option.
2800 * gengtype.c (create_nested_ptr_option): New function.
2801 * gengtype.h: Declare it.
2803 * gengtype.h (struct type): Replace 'sc' with boolean, scalar_is_char.
2804 (string_type): Don't declare.
2805 (do_scalar_typedef): Declare.
2806 (create_scalar_type): Update prototype.
2807 * gengtype.c (string_type): Make static.
2808 (scalar_nonchar, scalar_char): New.
2809 (do_scalar_typedef): Export. Always use scalar_nonchar for the type.
2810 (resolve_typedef): Use scalar_nonchar for error recovery.
2811 (create_scalar_type): Remove name_len field. Return scalar_char
2812 or scalar_nonchar as appropriate.
2813 (adjust_field_type): Look at scalar_is_char boolean to decide whether
2815 (throughout): Use scalar_nonchar instead of calling create_scalar_type,
2817 (main): Initialize scalar_char and scalar_nonchar before calling
2819 * gengtype-lex.l: Adjust for removal of second argument to
2820 create_scalar_type. Use yylval.s instead of yylval.t when
2822 * gengtype-yacc.y: Type of SCALAR is string. Call
2823 create_scalar_type from type:SCALAR rule. Adjust for removal of
2824 second argument to create_scalar_type.
2826 * vec.h: Remove all #if IN_GENGTYPE blocks.
2827 Add comment saying that changes may require adjustments to gengtype.
2828 * gengtype.c: Don't include coretypes.h or tm.h.
2829 Add comment to inclusion of errors.h.
2830 (note_def_vec, note_def_vec_alloc): New functions.
2831 * gengtype.h: Declare new functions.
2832 * gengtype-lex.l: Don't include coretypes.h.
2833 (YY_INPUT, macro_input, push_macro_expansion, mangle_macro_name):
2835 (update_lineno): Remove unnecessary prototype.
2836 (DEF_VEC_* rules): Simplify using note_def_vec / note_def_vec_alloc.
2837 (VEC rule): Just return VEC_TOKEN.
2838 * gengtype-yacc.y (VEC_TOKEN): New token type.
2839 (type): Add a production for VEC(a,b).
2840 * Makefile.in: Update dependencies.
2842 * gengtype-lex.l: Remove rules for parsing pointer-to-function
2843 typedefs that use the old PARAMS macro.
2845 * gengtype-lex.l: Remove all rules and states relating to yacc
2847 * gengtype-yacc.y: Similarly.
2848 * gengtype.c (note_yacc_type): Delete function.
2849 * gengtype.h: Update prototypes.
2851 2007-03-26 Joseph Myers <joseph@codesourcery.com>
2853 * tree-pretty-print.c (dump_generic_node): Report precision of
2854 unnamed integer types.
2856 2007-03-26 Steven Bosscher <steven@gcc.gnu.org>
2858 * ifcvt.c (noce_try_store_flag_constants): Don't check
2859 no_new_pseudos here.
2860 (noce_try_store_flag_constants): Don't check no_new_pseudos.
2861 (noce_try_addcc, noce_try_store_flag_mask, noce_try_cmove_arith,
2862 noce_try_cmove_arith, noce_try_minmax, noce_try_abs,
2863 noce_try_sign_mask): Likewise.
2864 (if_convert): Check no_new_pseudos here.
2866 (cond_exec_process_if_block, noce_process_if_block, find_if_block):
2868 (struct noce_if_info): Add then_bb, else_bb, join_bb members.
2869 (noce_get_condition): Handle new then_else_reversed argument.
2870 (noce_init_if_info): Remove, fold into noce_find_if_block.
2871 (noce_process_if_block): Take a struct noce_if_info as the
2872 argument. Don't set up one based on ce_if_info. Update pointer
2873 references accordingly.
2874 (cond_move_process_if_block): Likewise.
2875 (process_if_block): Removed.
2876 (find_if_block): Removed. Move functionality two new functions,
2877 noce_find_if_block and cond_exec_find_if_block.
2878 (noce_find_if_block): New function. Be aware of IF-THEN-JOIN
2879 blocks and the symmetric IF-ELSE-JOIN case.
2880 (cond_exec_find_if_block): Also new function mostly based on old
2881 find_if_block and process_if_block.
2882 (find_if_header): Replace find_if_block call with separately
2883 guarded calls to noce_find_if_block and cond_exec_find_if_block.
2884 (find_cond_trap): Update noce_get_condition call.
2885 (dead_or_predicable): Likewise.
2887 2007-03-26 Jakub Jelinek <jakub@redhat.com>
2889 * config/i386/i386.c (IX86_BUILTIN_CMPNEPD, IX86_BUILTIN_CMPNESD):
2891 (IX86_BUILTIN_PSLLW128, IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128,
2892 IX86_BUILTIN_PSRAW128, IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128,
2893 IX86_BUILTIN_PSRLD128, IX86_BUILTIN_PSRLQ128): Remove.
2894 (ix86_init_mmx_sse_builtins): Remove v8hi_ftype_v8hi_v2di and
2895 v4si_ftype_v4si_v2di. Remove __builtin_ia32_psllw128,
2896 __builtin_ia32_pslld128, __builtin_ia32_psllq128,
2897 __builtin_ia32_psrlw128, __builtin_ia32_psrld128,
2898 __builtin_ia32_psrlq128, __builtin_ia32_psraw128 and
2899 __builtin_ia32_psrad128 builtins.
2901 2007-03-26 Uros Bizjak <ubizjak@gmail.com>
2903 * reg-stack.c (replace_reg): Use IN_RANGE macro in gcc_assert().
2904 * config/i386/constraints.md
2905 (define_constraint "I"): Use IN_RANGE macro.
2906 (define_constraint "J"): Ditto.
2907 (define_constraint "K"): Ditto.
2908 (define_constraint "M"): Ditto.
2909 (define_constraint "N"): Ditto.
2910 (define_constraint "O"): Ditto.
2911 * config/i386/predicates.md
2912 (define_predicate "register_no_elim_operand"): Use IN_RANGE macro.
2913 (define_predicate "const_0_to_3_operand"): Ditto.
2914 (define_predicate "const_0_to_7_operand"): Ditto.
2915 (define_predicate "const_0_to_15_operand"): Ditto.
2916 (define_predicate "const_0_to_63_operand"): Ditto.
2917 (define_predicate "const_0_to_255_operand"): Ditto.
2918 (define_predicate "const_1_to_31_operand"): Ditto.
2919 (define_predicate "const_2_to_3_operand"): Ditto.
2920 (define_predicate "const_4_to_7_operand"): Ditto.
2922 2007-03-25 David Edelsohn <edelsohn@gnu.org>
2924 * config/rs6000/rs6000.c (rs6000_emit_prologue): Always clobber LR
2925 in SImode for save_world.
2926 * config/rs6000/altivec.md (save_world, restore_world): Convert to
2929 2007-03-25 Dorit Nuzman <dorit@il.ibm.com>
2931 PR tree-optimization/30784
2932 * fold-const.c (fold_ternary): Handle CONSTRUCTOR in case
2935 2007-03-25 Revital Eres <eres@il.ibm.com>
2937 * tree-if-conv.c (if_convertible_gimple_modify_stmt_p):
2938 Fold movement_possibility function into it.
2940 2007-03-25 David Edelsohn <edelsohn@gnu.org>
2942 * config/rs6000/darwin.md (load_macho_picbase): Ignore operand 0.
2943 (load_macho_picbase_{si,di}): Convert to LR hard reg.
2944 (call_indirect_nonlocal_darwin64): Same.
2945 (call_nonlocal_darwin64): Same.
2946 (call_value_indirect_nonlocal_darwin64): Same.
2947 (call_value_nonlocal_darwin64): Same.
2948 (sibcall_nonlocal_darwin64): Same.
2949 (sibcall_value_nonlocal_darwin64): Same.
2950 (sibcall_symbolic_64): Same.
2951 (sibcall_value_symbolic_64): Same.
2952 * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Remove
2954 (rs6000_emit_load_toc_table): Same.
2955 * config/rs6000/altivec.md (restore_world): Convert to LR hard reg.
2956 * config/rs6000/rs6000.md (mulh_call): Convert to LR hard reg.
2962 (load_toc_v4_pic_si): Same
2963 (load_toc_v4_PIC_1): Same.
2964 (load_toc_v4_PIC_1b): Same.
2965 (call_indirect_aix{32,64}): Same.
2966 (call_value_indirect_aix{32,64}): Same.
2969 (call_local{32,64}): Same.
2970 (call_value_local{32,64}): Same.
2971 (call_indirect_nonlocal_aix{32,64}): Same.
2972 (call_nonlocal_aix{32,64}): Same.
2973 (call_value_indirect_nonlocal_aix{32,64}): Same.
2974 (call_value_nonlocal_aix{32,64}): Same.
2975 (call_indirect_nonlocal_sysv<mode>): Same.
2976 (call_nonlocal_sysv<mode>): Same.
2977 (call_value_indirect_nonlocal_sysv<mode>): Same.
2978 (call_value_nonlocal_sysv<mode>): Same.
2980 (sibcall_local{32,64}): Same.
2981 (sibcall_value_local{32,64}): Same.
2982 (sibcall_nonlocal_aix{32,64}): Same.
2983 (sibcall_value_nonlocal_aix{32,64}): Same.
2984 (sibcall_nonlocal_sysv<mode>): Same.
2985 (sibcall_value): Same.
2986 (sibcall_value_nonlocal_sysv<mode>): Same.
2988 2007-03-24 Paul Brook <paul@codesourcery.com>
2990 * config/arm/lib1funcs.asm (div0): Use ARM_FUNC_START and do_push.
2991 * config/arm/linux-eabi.h: Remove legacy syscall hack.
2993 2007-03-24 Richard Henderson <rth@redhat.com>
2995 * config/ia64/constraints.md: New file.
2996 * config/ia64/predicates.md: Replace CONST_OK_FOR_? with
2997 satisfies_constraint_?.
2998 * config/ia64/ia64.c (ia64_move_ok, ia64_legitimate_constant_p,
2999 ia64_reload_gp, spill_restore_mem, ia64_expand_prologue,
3000 ia64_expand_epilogue, ia64_split_return_addr_rtx, ia64_rtx_costs,
3001 ia64_output_mi_thunk): Likewise.
3002 (ia64_const_ok_for_letter_p): Remove.
3003 (ia64_const_double_ok_for_letter_p): Remove.
3004 (ia64_extra_constraint): Remove.
3005 * config/ia64/ia64.h (REG_CLASS_FROM_LETTER): Remove.
3006 (CONST_OK_FOR_I, CONST_OK_FOR_J, CONST_OK_FOR_K, CONST_OK_FOR_L,
3007 CONST_OK_FOR_M, CONST_OK_FOR_N, CONST_OK_FOR_O, CONST_OK_FOR_P,
3008 CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_G,
3009 CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT,
3010 EXTRA_MEMORY_CONSTRAINT): Remove.
3011 * config/ia64/ia64.md: Include constriants.md. Replace
3012 CONST_OK_FOR_? with satisfies_constraint_?.
3014 2007-03-23 Michael Meissner <michael.meissner@amd.com>
3015 H.J. Lu <hongjiu.lu@intel.com>
3017 * config/dfp-bit.h (DPD_BID_NAME): New macro to give either the
3019 (name macros): Use DPD_BID_NAME to convert names properly.
3021 * optabs.c (DECIMAL_PREFIX): Prefix string to use for the current
3022 decimal floating point format.
3023 (init_floating_libfuncs): Change decimal functions so that they
3024 have a "bid_" prefix if the decimal system uses the BID format,
3025 and "dpd_" prefix if the decimal system uses the DPD format.
3026 (init_interclass_conv_libfuncs): Ditto.
3027 (init_intraclass_conv_libfuncs): Ditto.
3029 * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
3030 using the BID format.
3032 * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
3033 whether we are using the BID decimal format.
3034 * configure: Regenerate.
3036 * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
3037 the compiler has decimal floating point enabled. Define
3038 __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
3041 * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
3042 using the BID format.
3044 * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
3045 whether we are using the BID decimal format.
3046 * configure: Regenerate.
3048 * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
3049 the compiler has decimal floating point enabled. Define
3050 __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
3053 * doc/install.texi (--enable-decimal-float): Document BID and DPD
3054 options, and that it is enabled for i386/x86_64 systems.
3056 * Makefile.in (enable_decimal_float): New.
3058 (DECNUMINC): Add -I$(DECNUMFMT).
3059 (DECNUM_H): Mov decimal32.h, decimal64.h and decimal128.h
3060 to $(DECNUMFMT) from $(DECNUM).
3062 * configure.ac: Support * --enable-decimal-float={no,yes,bid,dpd}.
3063 Substitute enable_decimal_float.
3064 * configure: Regenerated.
3067 * config/dfp-bit.c (__dec_byte_swap): Use uint32_t instead of
3070 * configure.ac: Enable decimal float for x86_64-*-linux*.
3071 * configure: Regenerated.
3074 * dfp.c (decimal_real_arithmetic): Use decimal128FlipSign and
3075 decimal128ClearSign to flip and clear the sign bit in decimal128.
3076 (decimal_real_maxval): Set decimal128SetSign to set the sign
3079 2007-03-23 Ian Lance Taylor <iant@google.com>
3081 * fold-const.c (fold_binary): Correct warning for X - c >= X.
3083 2007-03-23 Ian Lance Taylor <iant@google.com>
3085 * tree-dump.c (dump_files): Correct comment.
3087 2007-03-23 Ian Lance Taylor <iant@google.com>
3089 * tree-vrp.c (operand_less_p): Ignore fold overflow warnings.
3091 2007-03-23 Steven Bosscher <steven@gcc.gnu.org>
3093 * tracer.c (tracer): Don't take FLAGS argument. Assert we are
3094 in cfglayout mode. Don't go into and out of cfglayout mode.
3095 Link the blocks in the order of the constructed traces.
3096 (rest_of_handle_tracer): Adjust call to tracer.
3097 * loop-init.c (rtl_loop_init): Assert we are in cfglayout mode.
3098 Don't go into cfglayout mode.
3099 (rtl_loop_done): Don't go out of cfglayout mode.
3100 * cfglayout.c (relink_block_chain): New function, split out from...
3101 (fixup_reorder_chain): ...here. Remove redundant checking.
3102 (cfg_layout_finalize): Don't clear the header, footer, and aux
3103 fields here, move the code to do so to relink_block_chain. Likewise
3104 for free_original_copy_tables.
3105 * rtl.h (tracer): Update prototype.
3106 * bb-reorder.c (reorder_basic_blocks): Don't take FLAGS argument.
3107 Assert we are in cfglayout mode. Don't go into and out of cfglayout
3108 mode. Use relink_block_chain to serialize the CFG according to the
3109 new basic block order. Move targetm.cannot_modify_jumps_p check from
3111 (gate_handle_reorder_blocks): ...to here.
3112 (duplicate_computed_gotos): Move targetm.cannot_modify_jumps_p check
3114 (gate_duplicate_computed_gotos): ...to here.
3115 (rest_of_handle_reorder_blocks): Don't see if anything has changed,
3116 something always changes when going into and out of cfglayout mode.
3117 Perform an expensive cfg cleanup while going into cfglayout mode.
3118 Always update liveness information on HAVE_conditional_execution
3119 targets. Reserialize the basic blocks and go out of cfglayout mode.
3120 * reg-stack.c: Include cfglayout.h.
3121 (rest_of_handle_stack_regs): Go into and out of cfglayout mode around
3122 the call to reorder_basic_blocks.
3123 * basic-block.h (reorder_basic_blocks): Update prototype.
3124 (relink_block_chain): New prototype.
3125 * passes.c (pass_outof_cfg_layout_mode): Move after cse2.
3127 2007-03-23 Joseph Myers <joseph@codesourcery.com>
3129 * config/mips/mips.md (type, hazard, *movdi_32bit,
3130 *movdi_gp32_fp64, *movdi_64bit, *movsi_internal, movcc,
3131 *movhi_internal, *movqi_internal, *movsf_hardfloat,
3132 *movdf_hardfloat_64bit, *movdf_hardfloat_32bit, *movdf_softfloat,
3133 movv2sf_hardfloat_64bit, load_df_low, load_df_high, store_df_high,
3134 mthc1, mfhc1): Change xfer instruction type to mfc and mtc, as
3136 (movcc): Change first xfer to multi.
3137 * config/mips/24k.md, config/mips/4100.md, config/mips/4300.md,
3138 config/mips/5000.md, config/mips/5400.md, config/mips/5500.md,
3139 config/mips/5k.md, config/mips/7000.md, config/mips/9000.md,
3140 config/mips/generic.md: Change reservations using "xfer" to use
3142 * config/mips/sb1.md (ir_sb1_mtxfer): Use "mtc" instead of
3143 using match_operand.
3144 (ir_sb1_mfxfer): Use "mfc" instead of using match_operand.
3145 * config/mips/sr71k.md (ir_sr70_xfer_from): Use "mfc" instead of
3147 (ir_sr70_xfer_to): Use "mtc" instead of examining mode.
3149 2007-03-22 Richard Henderson <rth@redhat.com>
3151 * config/i386/i386.c: Remove unnecessary function declarations.
3152 Move targetm definition, and all related macros, to the end of
3153 the file. Resort some functions to put definitions before uses.
3154 (ix86_attribute_table): Make static. Move to end of file.
3155 (ix86_gimplify_va_arg): Make static.
3157 2007-03-22 Richard Henderson <rth@redhat.com>
3159 * config/i386/i386.c (ix86_function_regparm): Early exit for 64-bit;
3160 don't increase local_regparm with force_align_arg_pointer check.
3161 (ix86_function_sseregparm): Assert 32-bit.
3162 (type_has_variadic_args_p): New.
3163 (ix86_return_pops_args): Early exit for 64-bit. Reindent; use
3164 type_has_variadic_args_p.
3165 (ix86_function_arg_regno_p): Use == 0 instead of ! test for eax.
3166 (init_cumulative_args): Remove TARGET_DEBUG_ARG. Remove zero_cum;
3167 use memset instead. Do maybe_vaarg check first; skip attribute
3168 tests if true; skip attribute tests for 64-bit.
3169 (construct_container): Remove TARGET_DEBUG_ARG.
3170 (function_arg_advance_32, function_arg_advance_64): Split out ...
3171 (function_arg_advance): ... from here.
3172 (function_arg_32, function_arg_64): Split out ...
3173 (function_arg): ... from here.
3174 (ix86_pass_by_reference): Tidy.
3175 (ix86_function_value_regno_p): Rearrange w/ switch on regno.
3176 (function_value_32): New, from parts of ix86_function_value
3177 and ix86_value_regno.
3178 (function_value_64): New, from parts of ix86_function_value
3179 and ix86_libcall_value.
3180 (ix86_function_value_1): New.
3181 (ix86_function_value, ix86_libcall_value): Use it.
3182 (return_in_memory_32, return_in_memory_64): Split out ...
3183 (ix86_return_in_memory): ... from here.
3184 (ix86_struct_value_rtx): Skip for 64-bit.
3185 (ix86_libcall_value, ix86_value_regno): Remove.
3186 (setup_incoming_varargs_64): Split out ...
3187 (ix86_setup_incoming_varargs): ... from here.
3188 (ix86_va_start): Remove TARGET_DEBUG_ARG.
3189 (legitimate_address_p, legitimize_address): Remove TARGET_DEBUG_ADDR.
3190 * config/i386/i386-protos.h (ix86_function_value): Remove.
3191 * config/i386/i386.opt (TARGET_DEBUG_ADDR, TARGET_DEBUG_ARG): Remove.
3193 2007-03-22 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
3196 * c-lex.c (interpret_float): On overflow, emit pedantic warning if
3197 infinities not supported, otherwise emit warning if -Woverflow. On
3198 underflow, emit warning if -Woverflow.
3199 * real.c (real_from_string): Return -1 if underflow, +1 if overflow
3201 * real.h (real_from_string): Update declaration
3203 2007-03-22 Kai Tietz <kai.tietz@onevision.com>
3204 Richard Henderson <rth@redhat.com>
3206 * defaults.h (OUTGOING_REG_PARM_STACK_SPACE): Provide default.
3207 * calls.c (compute_argument_block_size, expand_call,
3208 emit_library_call_value_1): Don't ifdef OUTGOING_REG_PARM_STACK_SPACE.
3209 * expr.c (block_move_libcall_safe_for_call_parm): Likewise.
3210 * function.c (STACK_DYNAMIC_OFFSET): Likewise.
3211 * doc/tm.texi (OUTGOING_REG_PARM_STACK_SPACE): Update.
3212 * config/alpha/unicosmk.h, config/bfin/bfin.h, config/iq2000/iq2000.h,
3213 config/mips/mips.h, config/mn10300/mn10300.h, config/mt/mt.h,
3214 config/pa/pa.h, config/rs6000/rs6000.h, config/score/score.h,
3215 config/spu/spu.h, config/v850/v850.h (OUTGOING_REG_PARM_STACK_SPACE):
3218 2007-03-22 Joseph Myers <joseph@codesourcery.com>
3220 * c-incpath.c (add_sysroot_to_chain): New.
3221 (merge_include_chains): Add sysroot argument. Call
3222 add_sysroot_to_chain if sysrooted.
3223 (register_include_chains): Update call to merge_include_chains.
3224 * doc/cppopts.texi: Document use of '=' in include directory
3227 2007-03-22 Uros Bizjak <ubizjak@gmail.com>
3229 * config/i386/i386.md (cmp<mode>): Rename from cmpsf and cmpdf.
3230 Macroize expander using SSEMODEF mode macro. Use SSE_FLOAT_MODE_P.
3231 (*cmpfp_<mode>): Rename from *cmpfp_sf and *cmpfp_df. Macroize
3232 insn pattern using X87MODEF12 mode macro.
3234 2007-03-21 Seongbae Park <seongbae.park@gmail.com>
3236 * regmove.c (regmove_optimize): Use reg_mentioned_p
3237 instead of reg_overlap_mentioned_p for DST.
3239 2007-03-21 Mike Stump <mrs@apple.com>
3241 * c.opt: Fixup for Objective-C/C++.
3243 2007-03-21 Steve Ellcey <sje@cup.hp.com>
3245 * explow.c (convert_memory_address): Fold memory reference when
3246 POINTERS_EXTEND_UNSIGNED < 0
3248 2007-03-21 Richard Henderson <rth@redhat.com>
3251 * config/i386/emmintrin.h (__m128i, __m128d): Mark may_alias.
3252 * config/i386/mmintrin.h (__m64): Likewise.
3253 * config/i386/xmmintrin.h (__m128): Likewise.
3255 2007-03-21 Richard Sandiford <richard@codesourcery.com>
3257 * config/vxworks.h (VXWORKS_ADDITIONAL_CPP_SPEC): Remove -D options.
3258 (VXWORKS_OS_CPP_BUILTINS): Define.
3259 * config/i386/vxworks.h (VXWORKS_CPU_DEFINE): Fold into...
3260 (TARGET_OS_CPP_BUILTINS): ...here. Use VXWORKS_OS_CPP_BUILTINS.
3262 2007-03-21 Richard Sandiford <richard@codesourcery.com>
3264 * rtl.h (constant_pool_reference_p): Delete.
3265 (find_constant_src): Declare.
3266 * rtlanal.c (find_constant_src): New function.
3267 * simplify-rtx.c (constant_pool_reference_p): Delete.
3268 * config/i386/i386.md: Use find_constant_src instead of
3269 constant_pool_reference_p/avoid_constant_pool_reference pairs.
3271 2007-03-21 Richard Sandiford <richard@codesourcery.com>
3273 * doc/invoke.texi (-fpie, -fPIE): Document __pie__ and __PIE__.
3274 * c-cppbuiltin.c (c_cpp_builtins): Define them.
3276 2007-03-20 Mark Mitchell <mark@codesourcery.com>
3278 * config/arm/elf.h (TARGET_ASM_DESTRUCTOR): Define.
3279 * config/arm/arm.c (arm_elf_asm_cdtor): New function.
3280 (arm_elf_asm_constructor): Use it.
3281 (arm_elf_asm_destructor): New function.
3283 2007-03-20 Bernd Schmidt <bernd.schmidt@analog.com>
3285 * jump.c (mark_jump_label): Treat SEQUENCE specially.
3287 2007-03-20 Nathan Sidwell <nathan@codesourcery.com>
3289 * config/vxlib.c (tls_delete_hook): Use TCB for kernel tasks.
3291 2007-03-19 Andrew Haley <aph@redhat.com>
3293 PR tree-optimization/31264
3294 * tree-vrp.c (register_edge_assert_for_1): Don't look though
3297 2007-03-19 Paolo Bonzini <bonzini@gnu.org>
3299 PR rtl-optimization/30907
3300 * fwprop.c (forward_propagate_into): Never propagate inside a loop.
3301 (fwprop_init): Always call loop_optimizer_initialize.
3302 (fwprop_done): Always call loop_optimizer_finalize.
3303 (fwprop): We always have loop info now.
3304 (gate_fwprop_addr): Remove.
3305 (pass_fwprop_addr): Use gate_fwprop as gate.
3307 PR rtl-optimization/30841
3308 * df-problems.c (df_ru_local_compute, df_rd_local_compute,
3309 df_chain_alloc): Call df_reorganize_refs unconditionally.
3310 * df-scan.c (df_rescan_blocks, df_reorganize_refs): Change
3311 refs_organized to refs_organized_size.
3312 (df_ref_create_structure): Use refs_organized_size instead of
3313 bitmap_size if refs had been organized, and keep refs_organized_size
3315 * df.h (struct df_ref_info): Change refs_organized to
3316 refs_organized_size.
3317 (DF_DEFS_SIZE, DF_USES_SIZE): Use refs_organized_size instead of
3320 2007-03-19 Mark Mitchell <mark@codesourcery.com>
3322 * except.c (output_function_exception_table): Do not reference the
3323 EH personality routine for functions that do not require an
3326 2007-03-20 Jakub Jelinek <jakub@redhat.com>
3329 * c-typeck.c (convert_for_assignment): Call comptypes for
3330 RECORD_TYPE or UNION_TYPE.
3333 * reload1.c (reload): Do invalid ASM checking after
3334 cleanup_subreg_operands.
3336 2007-03-19 Jeff Law <law@redhat.com>
3338 * tree-cfg.c (find_taken_edge): Tighten conditions for
3339 optimizing computed gotos.
3341 2007-03-19 Michael Matz <matz@suse.de>
3343 * builtins.c (expand_builtin_sync_operation,
3344 expand_builtin_compare_and_swap,
3345 expand_builtin_lock_test_and_set): Care for extending CONST_INTs
3348 * config/i386/sync.md (sync_double_compare_and_swapdi_pic,
3349 sync_double_compare_and_swap_ccdi_pic): Use "SD" as constraint
3352 2007-03-19 Andreas Krebbel <krebbel1@de.ibm.com>
3354 * doc/tm.texi: Add brackets around the return type of
3355 TARGET_SECONDARY_RELOAD.
3357 2007-03-19 Andrew Pinski <andrew_pinski@playstation.sony.com>
3358 Richard Guenther <rguenther@suse.de>
3360 PR tree-optimization/31254
3361 * tree-ssa-forwprop.c (forward_propagate_addr_expr_1):
3362 Use handled_component_p () where appropriate. Continue
3363 propagating into the rhs if we propagated into an INDIRECT_REF
3366 2007-03-19 Andreas Krebbel <krebbel1@de.ibm.com>
3368 * config/s390/s390.md (op_type attribute): RRR instruction type added.
3369 (FP, DFP, SD_SF, DD_DF, TD_TF): New mode macros.
3370 (xde, xdee): Mode attributes adjusted to support DFP modes.
3371 (RRer, f0, op1, Rf, bt, bfp, HALF_TMODE): New mode attributes added.
3372 ("cmp<mode>", "*cmp<mode>_css_0", "*cmp<mode>_ccs", TF move splitters,
3373 DF move splitters, "floatdi<mode>2", "add<mode>3", "*add<mode>3",
3374 "*add<mode>3_cc", "*add<mode>3_cconly", "sub<mode>3", "*sub<mode>3",
3375 "*sub<mode>3_cc", "*sub<mode>3_cconly", "mul<mode>3", "*mul<mode>3",
3376 "div<mode>3", "*div<mode>3", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
3377 "*negabs<mode>2_nocc", "copysign<mode>3"): Adjusted to support DFP
3379 ("*movtf_64", "*movtf_31", "*movdf_64dfp", "*movdf_64", "*movdf_31",
3380 "movsf"): Insn definitions removed.
3381 ("*mov<mode>_64", "*mov<mode>_31", "mov<mode>", "*mov<mode>_64dfp",
3382 "*mov<mode>_64", "*mov<mode>_31", "fix_trunc<DFP:mode>di2",
3383 "trunctddd2", "truncddsd2", "extendddtd2", "extendsddd2"): Insn
3385 ("fixuns_truncdddi2", "fixuns_trunctddi2", "mov<mode>",
3386 "reload_in<mode>", "reload_out<mode>"): Expander added.
3387 ("movtf", "movdf", "reload_outtf", "reload_outdf", "reload_intf"):
3390 2007-03-19 Andreas Krebbel <krebbel1@de.ibm.com>
3392 * config/s390/s390.md: Only non-functional changes. Renamed
3393 FPR mode macro to BFP all over the file.
3395 2007-03-19 Andreas Krebbel <krebbel1@de.ibm.com>
3397 * config/s390/s390.md (UNSPEC_COPYSIGN): New constant.
3398 (op_type attribute): RRF instruction type added.
3399 (fT0): New mode attribute.
3400 ("*movdi_64dfp", "*movdf_64dfp", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
3401 "*negabs<mode>2_nocc", "copysign<mode>3"): Insn definitions added.
3402 * config/s390/s390.h (SECONDARY_MEMORY_NEEDED): Due to a new instruction
3403 no secondary memory is needed when moving DFmode values between GPRs
3406 2007-03-19 Andreas Krebbel <krebbel1@de.ibm.com>
3408 * config/s390/s390.opt ("mhard-float", "msoft-float"): Bit value
3409 inverted and documentation adjusted.
3410 ("mhard-dfp", "msoft-dfp"): New options.
3411 * config/s390/s390.c (s390_handle_arch_option): New architecture
3413 (override_options): Sanity checks for the new options added.
3414 * config.gcc: New architecture switch: z9-ec.
3415 * config/s390/s390.h (processor_flags): PF_DFP added.
3416 (TARGET_CPU_DFP, TARGET_DFP): Macro definitions added.
3417 (TARGET_DEFAULT): Due to the s390.opt changes hard float is enabled
3418 when the bit is NOT set so remove it from the defaults.
3420 2007-03-19 Andreas Krebbel <krebbel1@de.ibm.com>
3422 * genemit.c (main): Print include statement for dfp.h.
3423 * dfp.h (decimal_real_arithmetic): Hide prototype if tree_code enum
3426 2007-03-19 Hans-Peter Nilsson <hp@axis.com>
3428 * config/cris/t-elfmulti (EXTRA_MULTILIB_PARTS): Do not define here.
3430 2007-03-19 Kaz Kojima <kkojima@gcc.gnu.org>
3433 * config/sh/sh.c (sh_adjust_cost): Use the result of single_set
3436 2007-03-18 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
3438 * pa.c (output_deferred_plabels, output_bb, output_millicode_call,
3439 attr_length_call, output_call, output_indirect_call): Cleanup
3440 formatting of targetm calls.
3442 2007-03-19 Hans-Peter Nilsson <hp@axis.com>
3444 * config/cris/cris.h (HANDLE_PRAGMA_PACK_PUSH_POP): Define to 1.
3446 2007-03-18 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
3448 * pa.md: Add fpstore_load and store_fpload instruction types. Provide
3449 reservation, bypass and anti-bypass descriptions for these instructions.
3450 Update move patterns.
3451 * pa.c (hppa_fpstore_bypass_p): Check for both TYPE_FPSTORE_LOAD and
3454 2007-03-18 Dorit Nuzman <dorit@il.ibm.com>
3456 * tree-vect-transform.c (get_initial_def_for_induction): Replace
3457 GET_MODE_NUNITS with TYPE_VECTOR_SUBPARTS.
3458 (get_initial_def_for_reduction): Likewise.
3460 2007-03-16 Daniel Berlin <dberlin@dberlin.org>
3462 Fix PR tree-optimization/29922
3463 * tree-ssa-pre.c (bb_bitmap_sets): Remove RVUSE_* members.
3464 (get_representative): Removed.
3465 (value_dies_in_block_x): Update for rvuse removal.
3466 (valid_in_sets): Update for renaming of vuses_dies_in_block_x.
3467 (compute_antic_aux): Handle when PHI nodes appear in
3468 non-single-successors.
3469 (dump_bitmap_of_names): Removed.
3470 (compute_antic_safe): Renamed and removed rvuse calculation.
3471 Calculate only antic safe.
3472 (insert_into_preds_of_block): Remove assert.
3473 (execute_pre): Update for renamed functions.
3474 (defer_or_phi_translate_block): New function.
3476 2007-03-17 Kazu Hirata <kazu@codesourcery.com>
3478 * config/arm/arm.c, config/arm/thumb2.md, config/m68k/m68k.c,
3479 config/spu/spu.c, omega.h, passes.c, predict.c: Fix comment
3481 * doc/cpp.texi, doc/extend.texi, doc/invoke.texi: Fix typos.
3482 Follow spelling conventions.
3484 * tree-data-ref.h: Remove the prototype for analyze_array.
3486 2007-03-17 Dorit Nuzman <dorit@il.ibm.com>
3488 PR tree-optimization/31041
3489 * tree-vect-transform.c (get_initial_def_for_induction): Call
3490 force_gimple_operand.
3492 2007-03-17 Olga Golovanevsky <olga@il.ibm.com>
3494 * ipa-type-escape.c (look_for_casts) : Revert code to use
3495 handled_component_p due to ada test a-numaux.adb.
3497 2007-03-17 Kazu Hirata <kazu@codesourcery.com>
3499 * final.c (final_scan_insn): Alter the condition of a
3500 conditional trap if we have nonstandard CC.
3502 2007-03-16 Alexandre Oliva <aoliva@redhat.com>
3504 * configure.ac: Remove excess quoting from asm line 0 test.
3505 * configure: Rebuilt.
3507 2007-03-16 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
3509 * doc/invoke.texi (-Wconversion): Document warnings specific to C++.
3510 * c-common.c (convert_and_check): Move warning logic to...
3511 (warnings_for_convert_and_check): ...here. Define.
3512 * c-common.h (warnings_for_convert_and_check): Declare.
3514 2007-03-16 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
3516 * pa.c (attr_length_call): Partially revert change of 2007-03-09.
3517 (output_call): Likewise.
3519 2007-03-16 Richard Sandiford <richard@codesourcery.com>
3521 * config/vxworks.h (SUPPORTS_INIT_PRIORITY): Define.
3523 2007-03-16 Richard Sandiford <richard@codesourcery.com>
3525 * config/vx-common.h (WINT_TYPE, WINT_TYPE_SIZE): Define.
3527 2007-03-16 Uros Bizjak <ubizjak@gmail.com>
3529 * config/i386/i386.c (override_options): Add PTA_NO_SAHF to k8,
3530 opteron, athlon-64 and athlon-fx processor_alias_table entries.
3532 2007-03-16 Sebastian Pop <sebastian.pop@inria.fr>
3534 PR tree-optimization/31183
3535 * tree-loop-linear.c (gather_interchange_stats, try_interchange_loops):
3536 Use double_int instead of unsigned int for representing access_strides.
3537 * testsuite/gcc.dg/tree-ssa/pr31183.c: New.
3539 2007-03-16 Richard Guenther <rguenther@suse.de>
3541 PR tree-optimization/31146
3542 * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Restructure
3543 to allow recursion of forward_propagate_addr_expr.
3544 (forward_propagate_addr_into_variable_array_index): Likewise.
3545 (forward_propagate_addr_expr): Likewise.
3546 (tree_ssa_forward_propagate_single_use_vars): Likewise.
3547 (forward_propagate_addr_expr_1): Recurse on simple copies
3548 instead of propagating into them. Do so for useless conversions
3550 (forward_propagate_addr_expr): Clean up unused statements after
3553 2007-03-16 Richard Guenther <rguenther@suse.de>
3555 * builtins.c (expand_builtin_cexpi): Use the right argument
3556 for the expansion via cexp.
3558 2007-03-16 Alexandre Oliva <aoliva@redhat.com>
3560 * configure.ac: Don't require ELF binutils to tolerate # 0 "".
3561 * configure: Rebuilt.
3563 2007-03-16 Alexandre Oliva <aoliva@redhat.com>
3566 * dwarf2out.c (force_type_die): Adjust comment.
3567 (dwarf2out_imported_module_or_decl): Handle base AT_import types.
3569 2007-03-15 DJ Delorie <dj@redhat.com>
3571 * config/frv/predicates.md (minmax_operator): Don't check operands
3574 2007-03-15 Zdenek Dvorak <dvorakz@suse.cz>
3576 * tree-ssa-loop-niter.c (record_estimate): Add "upper" argument.
3577 Update constant estimates of number of iterations.
3578 (record_nonwrapping_iv): Add "upper" argument. "data_size_bounds_p"
3579 argument renamed to "realistic".
3580 (compute_estimated_nb_iterations): Removed.
3581 (record_niter_bound): New function.
3582 (idx_infer_loop_bounds): For possible but unlikely tail arrays,
3583 call record_nonwrapping_iv with upper = false.
3584 (infer_loop_bounds_from_signedness): Pass upper argument to
3585 record_nonwrapping_iv.
3586 (estimate_numbers_of_iterations_loop): Do not call
3587 compute_estimated_nb_iterations. Record estimate based on profile
3588 information. Initialize the constant estimates of number of
3590 * tree-data-ref.c (estimated_loop_iterations): Return the recorded
3592 * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Add dump when
3593 number of iterations is too small.
3594 * cfgloop.h (struct nb_iter_bound): Remove "realistic" field.
3595 (EST_NOT_AVAILABLE): Removed.
3596 (struct loop): Replace estimated_nb_iterations by any_upper_bound,
3597 nb_iterations_upper_bound, any_estimate and nb_iterations_estimate
3600 2007-03-15 Zdenek Dvorak <dvorakz@suse.cz>
3602 * tree-ssa-loop-niter.c (refine_bounds_using_guard, bound_difference):
3603 Handle NE_EXPR guards.
3605 2007-03-15 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
3608 * c-opts.c (c_common_post_options): Handle C++ post-processing here.
3609 Set also -pedantic-errors by default for the preprocessor unless
3610 -fpermissive is given.
3612 2007-03-15 Richard Guenther <rguenther@suse.de>
3616 * builtins.c (expand_builtin_cexpi): As a fallback if we
3617 don't have builtins for sincos or cexp create a function
3618 declaration for cexp and expand to a call to that.
3619 (expand_builtin_int_roundingfn): Always fall
3620 back to floor/ceil and its variants even if they may be
3623 2007-03-15 Steven Bosscher <steven@gcc.gnu.org>
3626 * cfglayout.c (fixup_reorder_chain): Postpone deleting dead
3627 jump tables, move the call to delete_dead_jumptables from here...
3628 (cfg_layout_finalize): ...to here. But rebuild jump labels first.
3629 * cfgrtl.c (cfg_layout_can_merge_blocks_p): When not optimizing,
3630 don't allow merging of blocks that try_redirect_by_replacing_jump
3631 also does not handle when not optimizing.
3633 2007-03-15 Uros Bizjak <ubizjak@gmail.com>
3634 Francois-Xavier Coudert <coudert@clipper.ens.fr>
3636 * config/i386/i386.md (x86_sahf_1): Correctly handle
3639 2007-03-15 Uros Bizjak <ubizjak@gmail.com>
3642 * config/i386/i386.md (*addti3_1, *addti3_1 splitter): Use
3643 x86_64_general_operand as operand[2] predicate. Remove "iF"
3644 from operand constraints and use "e" constraint instead.
3645 (*subti3_1, *subti3_1 splitter): Ditto.
3646 (*negti2_1, *negti2_1 splitter): Use nonimmediate_operand as
3647 operand[1] predicate.
3649 2007-03-14 Sebastian Pop <sebastian.pop@inria.fr>
3651 * tree-loop-linear.c (gather_interchange_stats): For multidimensional
3652 arrays, multiply the access strides by the size of the sub-array.
3653 * testsuite/gcc.dg/tree-ssa/ltrans-5.c: New.
3655 2007-03-14 Uros Bizjak <ubizjak@gmail.com>
3657 * configure.ac (HAVE_AS_IX86_SAHF): On x86 targets check whether
3658 the configured assembler supports the sahf mnemonic.
3659 * configure: Regenerate.
3660 * config.in: Regenerate.
3662 * config/i386/i386.md (x86_sahf_1): Depending on HAVE_AS_IX86_SAHF,
3663 emit "sahf" or ".byte\t0x9e" as asm template.
3665 2007-03-14 Michael Meissner <michael.meissner@amd.com>
3668 * config/i386/i386.h (X86_TUNE_SHORTEN_X87_SSE): New tuning
3669 option to replace hard coded TARGET_xxx in md file.
3670 (X86_TUNE_AVOID_VECTOR_DECODE): Ditto.
3671 (X86_TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
3672 (X86_TUNE_SLOW_IMUL_IMM8): Ditto.
3673 (X86_TUNE_MOVE_M1_VIA_OR): Ditto.
3674 (X86_TUNE_NOT_UNPAIRABLE): Ditto.
3675 (X86_TUNE_NOT_VECTORMODE): Ditto.
3676 (TUNE_SHORTEN_X87_SSE): Use new tuning option.
3677 (TUNE_AVOID_VECTOR_DECODE): Ditto.
3678 (TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
3679 (TUNE_SLOW_IMUL_IMM8): Ditto.
3680 (TUNE_MOVE_M1_VIA_OR): Ditto.
3681 (TUNE_NOT_UNPAIRABLE): Ditto.
3682 (TUNE_NOT_VECTORMODE): Ditto.
3684 * config/i386/i386.c (ix86_tune_features): Fill in new tuning
3687 * config/i386/i386.md (fix_trunc?f?1_sse peephole2): Use new
3688 tuning options instead of hard coded TARGET_xxx.
3689 (fix ssemode peephole2's): Ditto.
3690 (imul peephole2's): Ditto.
3692 (movdi_or_rex64): Ditto.
3693 (move peephole2): Ditto.
3694 (not peephole2's): Ditto.
3696 2007-03-14 Dirk Mueller <dmueller@suse.de>
3698 * c-common.h (empty_body_warning): Rename to empty_if_body_warning.
3699 * c-common.c (empty_if_body_warning): Rephrase diagnostic message.
3700 * c-parser.c (c_parser_if_body): Always add an empty statement in case
3702 * c-parser.c (c_parser_do_statement): Warn about empty body in
3704 * c-typeck (c_finish_if_stmt): Call empty_if_body_warning.
3705 * doc/invoke.texi (-Wempty-body): Update documentation.
3707 2007-03-14 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
3710 * c-common.h (warn_for_div_by_zero): Declare.
3711 * c-common.c (warn_for_div_by_zero): Define.
3712 * c-typeck.c (build_binary_op): Call warn_for_div_zero instead of
3715 2007-03-14 Richard Sandiford <richard@codesourcery.com>
3717 * Makefile.in (PREPROCESSOR_DEFINES): Add directory terminators
3718 to PREFIX and STANDARD_PREFIX.
3720 2007-03-14 Richard Sandiford <richard@codesourcery.com>
3721 Phil Edwards <phil@codesourcery.com>
3723 * gthr-vxworks.h: Add an extern "C" wrapper for C++.
3724 (__gthread_once_t): Remove busy field for RTPs.
3725 (__GTHREAD_ONCE_INIT): Update accordingly.
3727 2007-03-14 Richard Sandiford <richard@codesourcery.com>
3729 * doc/invoke.texi: Document VxWorks options.
3731 2007-03-14 Uros Bizjak <ubizjak@gmail.com>
3733 * doc/invoke.texi (i386 and x86-64 Options): Clarify -msahf option.
3735 2007-03-13 Seongbae Park <seongbae.park@gmail.com>
3737 PR tree-optimization/30590
3738 * tree-nrv.c (tree_nrv): Check for the partial update of the
3741 2007-03-13 Alexandre Oliva <aoliva@redhat.com>
3743 * flags.h (flag_random_seed): Remove declaration, in favor of...
3744 * toplev.h (get_random_seed, set_random_seed): ... these.
3745 * tree.c (get_file_function_name): Use the former.
3746 * opts.c (common_handle_option): Use the latter.
3749 2007-03-13 Steven Bosscher <steven@gcc.gnu.org>
3752 * cse.c (cse_find_path): Do not bail out if a basic block that
3753 we already visited now becomes part of a path that starts at a
3754 different basic block. Just disallow this, to make sure we
3755 visit each basic block at most once.
3757 2007-03-13 Jan Hubicka <jh@suse.cz>
3759 * ipa-inline.c (cgraph_maybe_hot_edge_p): Look for hot/cold attributes,
3760 when profile esitmate is present, calls with very low frequency are
3763 2007-03-13 Zdenek Dvorak <dvorakz@suse.cz>
3765 PR tree-optimization/30730
3766 PR tree-optimization/26900
3767 * tree-ssa-loop-niter.c: Include gmp.h.
3769 (mpz_set_double_int, get_type_bounds, mpz_to_double_int,
3770 split_to_var_and_offset, determine_value_range,
3771 bound_difference_of_offsetted_base, refine_bounds_using_guard,
3772 bound_difference, bounds_add, bounds_negate,
3773 number_of_iterations_ne_max, dump_affine_iv): New functions.
3774 (number_of_iterations_ne, number_of_iterations_lt_to_ne,
3775 assert_loop_rolls_lt, assert_loop_rolls_le): Use bounds on the
3776 difference of initial and final value of control iv to validate
3778 (number_of_iterations_cond): Add loop parameter. Determine bounds
3779 on the difference of the extremes of the control iv. Add dumps.
3780 (expand_simple_operations): Handle phi nodes.
3781 (simplify_using_initial_conditions): Do not record used conditions.
3782 (number_of_iterations_exit): Pass loop to number_of_iterations_cond.
3783 Do not set additional_info.
3784 (implies_nonnegative_p, implies_ge_p): Removed.
3785 (derive_constant_upper_bound): Do not use parameter `additional'.
3786 (record_estimate): Parameter `additional' removed. Parameter
3787 `i_bound' added. Do not call derive_constant_upper_bound.
3788 (record_nonwrapping_iv): Use derive_constant_upper_bound to
3789 bound the number of iterations estimate.
3790 (estimate_numbers_of_iterations_loop): Pass the estimate from
3791 the number of iterations analysis to record_estimate.
3792 * tree.h (multiple_of_p): Declare.
3793 * tree-scalar-evolution.c (expression_expensive_p): Removed.
3794 (scev_const_prop): Do not check expression_expensive_p.
3795 * fold-const.c (multiple_of_p): Exported.
3796 * double-int.c (double_int_mask): Exported.
3797 * double-int.h (double_int_mask): Declare.
3798 * tree-flow.h (struct tree_niter_desc): Removed additional_info
3799 field. Added max field.
3801 2007-03-13 David Taylor <taylor@candd.org>
3804 * gcc.c (cpp_unique_options): If -MT or -MQ is seen, don't pass
3807 2007-03-13 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
3810 * pa.md (vdepi_ior): Don't allow zero length deposit. Likewise for
3811 two unamed patterns.
3813 2007-03-13 Uros Bizjak <ubizjak@gmail.com>
3815 * config/i386/i386.opt (mcx16, msahf): New options.
3816 * config/i386/i386.c (x86_cmpxchg16b, x86_sahf): Remove.
3817 (ix86_tune_features) [X86_TUNE_USE_SAHF]: Enable for m_GENERIC.
3819 * config/i386/driver-i386.c (bit_LAHF_LM): New define.
3820 (host_detect_local_cpu): Detect cx16 and lahf_lm cpuid bits.
3821 Output -mcx16 and -msahf options when corresponding bit is set.
3823 * doc/invoke.texi (i386 and x86-64 Options): Document -mcx16
3826 2007-03-13 Alexandre Oliva <aoliva@redhat.com>
3828 * configure.ac: Test for assembler tolerance to # 0 "".
3829 * configure, config.in: Rebuilt.
3830 * final.c (final_scan_insn): Emit it if HAVE_AS_LINE_ZERO.
3832 2007-03-13 Geoffrey Keating <geoffk@apple.com>
3834 * doc/invoke.texi (Spec Files): Update for '%{,' spec.
3836 * config/rs6000/darwin-fallback.c: Compile file only on powerpc.
3837 (handle_syscall): Handle direct system calls.
3838 * config/rs6000/darwin.h (HAS_MD_FALLBACK_FRAME_STATE_FOR): Delete.
3840 2007-03-12 Brooks Moses <brooks.moses@codesourcery.com>
3842 * doc/invoke.texi: Fix cpp.info cross-reference.
3843 * doc/passes.texi: Fix gcc.info cross-reference.
3845 2007-03-12 Zdenek Dvorak <dvorakz@suse.cz>
3847 PR tree-optimization/30835
3848 * lambda-code.c (can_convert_to_perfect_nest): Check whether
3849 bb_for_stmt is not NULL before accessing it.
3851 2007-03-12 Joseph Myers <joseph@codesourcery.com>
3853 * gcc.c (main): Handle target_sysroot_hdrs_suffix being NULL for
3856 2007-03-12 Brooks Moses <brooks.moses@codesourcery.com>
3859 * doc/install.texi: Document --enable-stage1-languages
3861 2007-03-12 Steven Bosscher <steven@gcc.gnu.org>
3863 * tree-pass.h (pass_into_cfg_layout_mode,
3864 pass_outof_cfg_layout_mode): Declare.
3865 * cfglayout.c (into_cfg_layout_mode, outof_cfg_layout_mode,
3866 pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode): New.
3867 * passes.c (pass_into_cfg_layout_mode): Schedule before jump2.
3868 (pass_outof_cfg_layout_mode): Schedule after pass_rtl_ifcvt.
3870 2007-03-12 Seongbae Park <seongbae.park@gmail.com>
3872 * c-decl.c (warn_variable_length_array): New function.
3873 Refactored from grokdeclarator to handle warn_vla
3874 and handle unnamed array case.
3875 (grokdeclarator): Refactored VLA warning case.
3876 * c.opt (Wvla): New flag.
3877 * doc/invoke.texi (Wvla): New warning.
3879 2007-03-12 Richard Henderson <rth@redhat.com>
3881 * config/alpha/alpha.c (alpha_elf_section_type_flags): New.
3882 (TARGET_SECTION_TYPE_FLAGS): New.
3884 2007-03-12 Richard Henderson <rth@redhat.com>
3886 * config/darwin.c (machopic_reloc_rw_mask): New.
3887 * config/darwin-protos.h (machopic_reloc_rw_mask): Declare.
3888 * config/darwin.h (TARGET_ASM_RELOC_RW_MASK): New.
3890 2007-03-12 Mark Mitchell <mark@codesourcery.com>
3892 * cppdefault.c (cpp_EXEC_PREFIX): New variable.
3893 * cppdefault.h (cpp_PREFIX): Document.
3894 (cpp_PREFIX_len): Likewise.
3895 (cpp_EXEC_PREFIX): New variable.
3896 * Makefile.in (PREPROCESSOR_DEFINES): Add STANDARD_EXEC_PREFIX.
3897 * c-incpath.c (add_standard_paths): Correct logic for relocating
3898 paths within prefix.
3900 2007-03-12 Uros Bizjak <ubizjak@gmail.com>
3902 * config/i386/i386.md (fixuns_trunc<mode>hi2): Implement from
3903 fixuns_truncsfhi2 and fixuns_truncdfhi2 using SSEMODEF
3905 (fix_trunc<mode>di_sse): Implement from fix_truncsfdi_sse and
3906 fix_truncdfdi_sse using SSEMODEF mode macro.
3907 (fix_trunc<mode>si_sse): Implement from fix_truncsfsi_sse and
3908 fix_truncdfsi_sse using SSEMODEF mode macro.
3909 (fix_trunc?f?i_sse peephole2): Implement using SSEMODEF mode macro.
3910 (fix_trunc?f?i_sse K8 peephole2): Fix register constraint.
3912 2007-03-12 Richard Sandiford <richard@codesourcery.com>
3914 * config.gcc (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add
3917 2007-03-12 Olga Golovanevsky <olga@il.ibm.com>
3919 * tree.h : Add multiple_of_p declaration.
3920 * fold-const.c (multiple_of_p): Make multiple_of_p public.
3921 * ipa-type-escape.c (results_of_malloc): Redundant.
3922 (visited_stmts): New. Visited stmt for walk_use_def_chains.
3923 (cast_type): Extended with new members.
3924 (check_cast): Returns cast_type.
3925 (cast): New structure for data of walk_use_def_chains.
3926 (is_malloc_result, is_cast_from_non_pointer_1,
3927 is_cast_from_non_pointer,
3928 is_array_access_through_pointer_and_index): New functions.
3929 (look_for_casts): Returns cast types.
3930 (check_call): Returns void.
3931 (okay_pointer_operation): Use support of pointer plus index,
3932 pointer plus constant and allow all multiplications.
3934 2007-03-11 Richard Guenther <rguenther@suse.de>
3936 PR tree-optimization/31115
3937 * tree-vrp.c (extract_range_from_binary_expr): Make sure
3938 the shift count is positive and non-anti-range for RSHIFT_EXPR.
3939 A shift count of zero is not special as with *_DIV_EXPR.
3940 (vrp_int_const_binop): Handle RSHIFT_EXPR for determining overflow
3943 2007-03-11 Ian Lance Taylor <iant@google.com>
3945 * tree-vrp.c (vrp_int_const_binop): Handle PLUS_EXPR and
3946 the *_DIV_EXPR codes correctly with overflow infinities.
3948 2007-03-11 Ira Rosen <irar@il.ibm.com>
3950 * tree-data-ref.c (analyze_offset): Add a return value (bool) to
3951 indicate success/failure of the analysis. Add negation to subtrahend
3952 in case of subtraction. Fail if both operands contain constants.
3953 (create_data_ref): Fail if analyze_offset fails.
3955 2007-03-11 Uros Bizjak <ubizjak@gmail.com>
3957 * config/i386/i386.md (frndintxf2): Rename to ...
3958 (rintxf2): ... this. Remove expander having same name.
3959 (rintsf2, rintdf2): Implement using SSEMODEF macro.
3960 (roundsf2, rounddf2): Ditto.
3961 (lrint<mode>di2, lrint<mode>si2): Implement using SSEMODEI24 macro.
3962 (lround<mode>di2, lround<mode>si2): Ditto.
3964 2007-03-11 Steven Bosscher <steven@gcc.gnu.org>
3966 * lower-subreg.c: Include except.h.
3967 (decompose_multiword_subregs): Verify that the only control flow
3968 insns we can split are loads to multi-words pseudos.
3969 Handle breaking such blocks after splitting, instead of calling
3970 find_many_sub_basic_blocks.
3972 * loop-unroll.c (split_edge_and_insert): Don't set BB_SUPERBLOCK
3973 on the new basic block. Add a lengthy comment explaining why we
3974 thought this was necessary.
3975 * cfglayout.c (cfg_layout_finalize): Don't break superblocks.
3977 2007-03-10 Mark Mitchell <mark@codesourcery.com>
3980 * tree.c (walk_type_fields): Recurse into the element type of
3981 ARRAY_TYPEs if there is a pointer set.
3983 2007-03-10 Dirk Mueller <dmueller@suse.de>
3985 * c-common.c (warn_logical_operator): Fix condition.
3987 2007-03-10 Tobias Schlüter <tobi@gcc.gnu.org>
3989 * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Add missing
3991 * config/darwin.c (machopic_select_section): Remove superfluous
3992 argument in call to categorize_decl_for_section. Remove unused