[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog

2009-02-10  Jakub Jelinek  <jakub@redhat.com>

        PR target/39139
        * function.h (struct function): Add has_local_explicit_reg_vars
        bit.
        * gimplify.c (gimplify_bind_expr): Set it if local DECL_HARD_REGISTER
        VAR_DECLs were seen.
        * tree-ssa-live.c (remove_unused_locals): Recompute
        cfun->has_local_explicit_reg_vars.
        * tree-ssa-sink.c (statement_sink_location): Don't sink BLKmode
        copies or clearings if cfun->has_local_explicit_reg_vars.

2009-02-10  Uros Bizjak  <ubizjak@gmail.com>

        PR target/39118
        * config/i386/i386.c (expand_prologue): Emit blockage at the end
        of function prologue when frame pointer is used to access
        red zone area.

2009-02-10  Richard Guenther  <rguenther@suse.de>

        PR middle-end/39127
        * gimplify.c (gimple_regimplify_operands): Always look if
        we need to create a temporary.

2009-02-10  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/39132
        * tree-loop-distribution.c (todo): New global var.
        (generate_memset_zero): Trigger TODO_rebuild_alias.
        (tree_loop_distribution): Return todo.

2009-02-10  H.J. Lu  <hongjiu.lu@intel.com>

        PR target/39119
        * config/i386/i386.c (x86_64_reg_class): Remove X86_64_AVX_CLASS.
        (x86_64_reg_class_name): Removed.
        (classify_argument): Return 0 if bytes > 32.  Return 0 if the
        first one isn't X86_64_SSE_CLASS or any other ones aren't
        X86_64_SSEUP_CLASS when size > 16bytes.  Don't turn
        X86_64_SSEUP_CLASS into X86_64_SSE_CLASS if the preceded one
        is X86_64_SSEUP_CLASS.  Set AVX modes to 1 X86_64_SSE_CLASS
        and 3 X86_64_SSEUP_CLASS.
        (construct_container): Remove X86_64_AVX_CLASS.  Handle 4
        registers with 1 X86_64_SSE_CLASS and 3 X86_64_SSEUP_CLASS.

2009-02-10  Ben Elliston  <bje@au.ibm.com>

        * config/rs6000/rs6000.md (allocate_stack): Always use an update
        form instruction to update the stack back chain word, even if the
        user has disabled the generation of update instructions.
        (movdi_<mode>_update_stack): New.
        (movsi_update_stack): Likewise.
        * config/rs6000/rs6000.c (rs6000_emit_allocate_stack): Likewise,
        always use an update form instruction to update the stack back
        chain word.

2009-02-09  Sebastian Pop  <sebastian.pop@amd.com>

        PR middle-end/38953
        * graphite.c (if_region_set_false_region): After moving a region 
        in the false branch of a condition, remove the empty dummy basic block.
        (gloog): Remove wrong fix for PR38953.

2009-02-09  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>

        * config/spu/spu.c (array_to_constant): Fix (latent) wrong-code
        generation due to implicit sign extension.

2009-02-09  Eric Botcazou  <ebotcazou@adacore.com>

        PR middle-end/38981
        * tree-ssa-coalesce.c (add_coalesce): Cap the costs of coalesce pairs
        at MUST_COALESCE_COST-1 instead of MUST_COALESCE_COST.

2009-02-09  Richard Guenther  <rguenther@suse.de>

        PR middle-end/35202
        * convert.c (convert_to_real): Disable (float)fn((double)x)
        to fnf(x) conversion if errno differences may occur and
        -fmath-errno is set.

2009-02-07  Anatoly Sokolov  <aesok@post.ru>

        * config/avr/avr.c (avr_mcu_t): Add ata6289 device.
        * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
        * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).

2009-02-06  Joseph Myers  <joseph@codesourcery.com>

        PR c/35434
        * c-common.c (handle_alias_attribute): Disallow attribute for
        anything not a FUNCTION_DECL or VAR_DECL.

2009-02-06  Janis Johnson  <janis187@us.ibm.com>

        PR c/39035
        * real.c (do_compare): Special-case compare of zero against
        decimal float value.

2009-02-06  Joseph Myers  <joseph@codesourcery.com>

        PR c/36432
        * c-decl.c (grokdeclarator): Don't treat [] declarators in fields
        as indicating flexible array members unless the field itself is
        being declarared as the incomplete array.

2009-02-06  Jan Hubicka  <jh@suse.cz>

        PR tree-optimization/38844
        * ipa-inline.c (try_inline): Stop inlining recursion when edge
        is already inlined.

2009-02-06  Richard Guenther  <rguenther@suse.de>

        PR middle-end/38977
        * tree-cfg.c (need_fake_edge_p): Force a fake edge for
        fork because we may expand it as __gcov_fork.

2009-02-06  Nick Clifton  <nickc@redhat.com>

        * config/m32c/m32c.h (PCC_BITFIELD_TYPE_MATTERS): Define to zero.

2009-02-06  Paolo Bonzini  <bonzini@gnu.org>

        PR tree-optimization/35659
        * tree-ssa-sccvn.c (vn_constant_eq, vn_reference_eq, vn_nary_op_eq
        vn_phi_eq): Shortcut if hashcode does not match.
        (vn_reference_op_compute_hash): Do not call iterative_hash_expr for
        NULL operands.
        * tree-ssa-pre.c (pre_expr_hash): Look at hashcode if available,
        and avoid iterative_hash_expr.
        (FOR_EACH_VALUE_ID_IN_SET): New.
        (value_id_compare): Remove.
        (sorted_array_from_bitmap_set): Use FOR_EACH_VALUE_ID_IN_SET to
        sort expressions by value id.

2009-02-05  Kaz Kojima  <kkojima@gcc.gnu.org>

        PR target/38991
        * config/sh/predicates.md (general_movsrc_operand): Don't check
        the subreg of system registers here.

2009-02-05  Jakub Jelinek  <jakub@redhat.com>

        PR c++/39106
        * cgraphunit.c (cgraph_function_versioning): Clear also DECL_VIRTUAL_P
        on the copied decl.

2009-02-05  Paolo Bonzini  <bonzini@gnu.org>

        PR rtl-optimization/39110
        * rtlanal.c (rtx_addr_can_trap_p_1): Shortcut unaligned
        addresses, not aligned ones.

2009-02-05  Daniel Berlin  <dberlin@dberlin.org>
            Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/39100
        * tree-ssa-structalias.c (do_ds_constraint): Actually do what the
        comment says and add edges.

2009-02-05  Joseph Myers  <joseph@codesourcery.com>

        PR c/35435
        * c-common.c (handle_tls_model_attribute): Ignore attribute for
        non-VAR_DECLs without checking DECL_THREAD_LOCAL_P.

2009-02-04  Tobias Grosser  <grosser@fim.uni-passau.de> 

        * graphite.c (bb_in_sese_p, sese_build_livein_liveouts_use,
        sese_build_livein_liveouts_bb, sese_build_livein_liveouts,
        register_bb_in_sese, new_sese, free_sese): Moved.
        (dot_scop_1, build_scop_loop_nests, build_loop_iteration_domains,
        outermost_loop_in_scop, build_scop_iteration_domain,
        expand_scalar_variables_ssa_name, get_vdef_before_scop,
        limit_scops): Use bb_in_sese_p instead of bb_in_scop_p.
        Use loop_in_sese_p instead of loop_in_scop_p.
        (new_graphite_bb, gloog): Do not initialize SCOP_BBS_B.
        (new_scop, free_scop): Remove SCOP_LOOP2CLOOG_LOOP and SCOP_BBS_B.
        (scopdet_basic_block_info): Fix bug in scop detection.
        (new_loop_to_cloog_loop_str, hash_loop_to_cloog_loop,
        eq_loop_to_cloog_loop): Remove.
        (nb_loops_around_loop_in_scop, nb_loop
        ref_nb_loops): Moved here...
        * graphite.h (ref_nb_loops): ... from here.
        (struct scop): Remove bbs_b bitmap and loop2cloog_loop.
        (loop_domain_dim, loop_iteration_vector_dim): Remove.
        (SCOP_BBS_B, bb_in_scop_p, loop_in_scop_p): Removed.
        * testsuite/gcc.dg/graphite/scop-19.c: New

2009-02-04  Paolo Bonzini  <bonzini@gnu.org>
            Hans-Peter Nilsson  <hp@axis.com>

        PR rtl-optimization/37889
        * rtlanal.c (rtx_addr_can_trap_p_1): Add offset and size arguments.
        Move offset handling from PLUS to before the switch.  Use new
        arguments when considering SYMBOL_REFs too.
        (rtx_addr_can_trap_p): Pass dummy offset and size.
        (enum may_trap_p_flags): Remove.
        (may_trap_p_1): Pass size from MEM_SIZE.

        PR rtl-optimization/38921
        * loop-invariant.c (find_invariant_insn): Use may_trap_or_fault_p.
        * rtl.h (may_trap_after_code_motion_p): Delete prototype.
        * rtlanal.c (may_trap_after_code_motion_p): Delete.
        (may_trap_p, may_trap_or_fault_p): Pass 0/1 as flags.

2009-02-04  H.J. Lu  <hongjiu.lu@intel.com>

        AVX Programming Reference (January, 2009)
        * config/i386/sse.md (*vpclmulqdq): New.

2009-02-04  Jakub Jelinek  <jakub@redhat.com>

        PR tree-optimization/38977
        PR gcov-profile/38292
        * calls.c (special_function_p): Disregard __builtin_ prefix.

2009-02-04  Hariharan Sandanagobalane  <hariharan@picochip.com>

        * config/picochip/picochip.c (GO_IF_LEGITIMATE_ADDRESS): Disallow
        non-indexable addresses even before reload.

2009-02-03  Joseph Myers  <joseph@codesourcery.com>

        PR c/29129
        * c-decl.c (grokdeclarator): Mark [*] arrays in field declarators
        as having variable size.  Do not give an error for unnamed
        parameters with [*] declarators.  Give a warning for type names
        with [*] declarators and mark them as variable size.
        * c-parser.c (c_parser_sizeof_expression): Do not give an error
        for sizeof applied to [*] type names.

2009-02-03  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR C++/36607
        * convert.c (convert_to_integer): Treat OFFSET_TYPE like INTEGER_TYPE.

2009-02-03  Jakub Jelinek  <jakub@redhat.com>

        * gcc.c (process_command): Update copyright notice dates.
        * gcov.c (print_version): Likewise.
        * gcov-dump.c (print_version): Likewise.
        * mips-tfile.c (main): Likewise.
        * mips-tdump.c (main): Likewise.

2009-02-03  Joseph Myers  <joseph@codesourcery.com>

        PR c/35433
        * c-typeck.c (composite_type): Set TYPE_SIZE and TYPE_SIZE_UNIT
        for composite type involving a zero-length array type.

2009-02-03  Jakub Jelinek  <jakub@redhat.com>

        PR target/35318
        * function.c (match_asm_constraints_1): Skip over
        initial optional % in the constraint.

        PR inline-asm/39059
        * c-parser.c (c_parser_postfix_expression): If fixed point is not
        supported, don't accept FIXED_CSTs.
        * c-decl.c (finish_declspecs): Error if fixed point is not supported
        and _Sat is used without _Fract/_Accum.  Set specs->type to
        integer_type_node for cts_fract/cts_accum if fixed point is not
        supported.

2009-02-02  Catherine Moore  <clm@codesourcery.com>

        * sde.h (SUBTARGET_ARM_SPEC): Don't assemble -fpic code as -mabicalls.

2009-02-02  Richard Sandiford  <rdsandiford@googlemail.com>

        * config/mips/mips.h (FILE_HAS_64BIT_SYMBOLS): New macro.
        (ABI_HAS_64BIT_SYMBOLS): Use it.
        (DWARF2_ADDR_SIZE): Use it instead of ABI_HAS_64BIT_SYMBOLS.

2009-02-02  Paul Brook  <paul@codesourcery.com>

        * config/arm/arm.md (arm_addsi3): Add r/r/k alternative.

2009-02-02  Jakub Jelinek  <jakub@redhat.com>

        PR inline-asm/39058
        * recog.h (asm_operand_ok): Add constraints argument.
        * recog.c (asm_operand_ok): Likewise.  If it is set, for digits
        recurse on matching constraint.
        (check_asm_operands): Pass constraints as 3rd argument to
        asm_operand_ok.  Don't look up matching constraint here.
        * stmt.c (expand_asm_operands): Pass NULL as 3rd argument
        to asm_operand_ok.

2009-02-02  Ben Elliston  <bje@au.ibm.com>

        * doc/tm.texi (Storage Layout): Fix TARGET_ALIGN_ANON_BITFIELD and
        TARGET_NARROW_VOLATILE_BITFIELD macro names.

2009-01-31  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * doc/install.texi (hppa*-hp-hpux*): Update binutils and linker
        information.  Remove some obsolete information.  Reorganize.

        * config/pa/fptr.c: Revert license to GPL 2.
        * config/pa/milli64.S: Likewise.

2009-01-31  Dave Korn  <dave.korn.cygwin@gmail.com>

        PR target/38904
        * mkmap-flat.awk (END):  Use pe_dll command-line arg to pass
        LIBRARY name in, instead of hard-coding it.
        * config.gcc (i[34567]86-*-pe | i[34567]86-*-cygwin*):  Add an
        extra target make frag to tmake_files according to EH model.
        (i[34567]86-*-mingw* | x86_64-*-mingw*):  Likewise.
        * config/i386/t-dw2-eh, config/i386/t-sjlj-eh:  Add new target
        frags that define makefile variable EH_MODEL appropriately.
        * config/i386/cygming.h (DWARF2_UNWIND_INFO):  Add comment.
        * config/i386/cygwin.h (LIBGCC_EH_EXTN):  Define to nothing or
        to "-sjlj" according to type of EH configured.
        (LIBGCC_SONAME):  Concatenate it to shared library base name.
        * config/i386/mingw32.h (LIBGCC_EH_EXTN):  Define to "_dw2" or
        to "_sjlj" according to type of EH configured.
        (LIBGCC_SONAME):  Concatenate it to shared library base name.
        * config/i386/t-cygming (SHLIB_SONAME):  Use EH_MODEL.
        (SHLIB_LINK):  Add missing semicolon to if-else construct.
        (SHLIB_MKMAP_OPTS):  Pass library name to mkmap-flat.awk as
        string value of "pe_dll" command-line option.
        * config/i386/t-cygwin (SHLIB_EH_EXTENSION):  New helper.
        (SHLIB_SONAME):  Use it when overriding t-cygming default.
        (SHLIB_IMPLIB):  Override t-cygming default.
        (SHLIB_MKMAP_OPTS):  Pass library name to mkmap-flat.awk as
        string value of "pe_dll" command-line option.

2009-01-31  Dave Korn  <dave.korn.cygwin@gmail.com>

        PR target/38952
        * config/i386/i386.c (ix86_builtin_setjmp_frame_value): New.
        (TARGET_BUILTIN_SETJMP_FRAME_VALUE): Override default to point at it.

2009-01-31  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/38937
        * tree-ssa-structalias.c (do_sd_constraint): Do not shortcut
        computing the transitive closure.

2009-01-30  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/39041
        * tree-ssa-forwprop.c (forward_propagate_addr_expr_1):
        Propagate variable indices only if the types match for this stmt.

2009-01-30  Jakub Jelinek  <jakub@redhat.com>

        PR target/39013
        * c-decl.c (pop_scope): Set DECL_EXTERNAL for functions declared
        inline but never defined.

2009-01-30  Wolfgang Gellerich  <gellerich@de,ibm.com>

        * config/s390/s390.md (*insv<mode>_reg_extimm): Removed.
        (*insv_h_di_reg_extimm): New insn.
        (*insv_l<mode>_reg_extimm): New insn.

2009-01-30  Hariharan Sandanagobalane  <hariharan@picochip.com>

        * config/picochip/picochip.c (flag_conserve_stack): set
        PARAM_LARGE_STACK_FRAME and PARAM_STACK_FRAME_GROWTH to zero under
        fconserve-stack. Reduce call-overhead used by inliner.

2009-01-30  Hariharan Sandanagobalane  <hariharan@picochip.com>

        PR/38157
        * common.opt (flag_conserve_stack): Initialised to zero.

2009-01-30  Kai Tietz  <kai.tietz@onevision.com>

        PR/39002
        * config/i386/i386.c (ix86_can_use_return_insn_p): Check for nsseregs.
        (ix86_expand_epilogue): Take nsseregs in account to use proper restore
        method.

2009-01-29  H.J. Lu  <hongjiu.lu@intel.com>

        * ira-color.c (allocno_reload_assign): Update comments.
        * regmove.c (regmove_optimize): Likewise.

        * ra.h: Removed.

2009-01-29  Robert Millan  <rmh@aybabtu.com>

        * gcc/config.gcc: Recognize GNU/kOpenSolaris (*-*-kopensolaris*-gnu).
        * gcc/config/i386/kopensolaris-gnu.h: New file.  Undefine
        `MD_UNWIND_SUPPORT'.
        * gcc/config/kopensolaris-gnu.h: New file (based on kfreebsd-gnu.h).

2009-01-29  Kazu Hirata  <kazu@codesourcery.com>

        PR tree-optimization/39007
        * tree-loop-distribution.c (generate_builtin): Use
        recompute_dominator to compute the immediate dominator of the
        basic block just after the loop.

2008-01-29  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>

        * config/i386/sol2-10.h [!HAVE_AS_IX86_DIFF_SECT_DELTA]
        (ASM_OUTPUT_DWARF_PCREL): Define.

2008-01-29  Vladimir Makarov  <vmakarov@redhat.com>

        * doc/tm.texi (TARGET_IRA_COVER_CLASSES): Modify description.
        * doc/passes.texi: Remove entries about regclass, local-alloc, and
        global.  Modify entries about regmove and IRA.

        * ra-conflict.c: Remove the file.

        * reload.c (push_reload, find_dummy_reload): Remove flag_ira.

        * tree-pass.h (pass_local_alloc, pass_global_alloc): Remove.
        (pass_regclass_init): Rename to pass_reginfo_init.

        * cfgloopanal.c (estimate_reg_pressure_cost): Remove flag_ira.

        * toplev.h (flag_ira): Remove.

        * caller-save.c (setup_save_areas): Remove flag_ira.

        * ira-color.c (ira_reuse_stack_slot, ira_mark_new_stack_slot): Ditto.

        * global.c: Remove the file.

        * opts.c: (decode_options): Remove flag_ira.

        * hard-reg-set.h (losing_caller_save_reg_set): Remove.

        * regmove.c: Modify file description.
        (find_use_as_address, try_auto_increment): Define them only if
        AUTO_INC_DEC is defined.
        (replacement_quality, replace_in_call_usage, fixup_match_1,
        stable_and_no_regs_but_for_p): Remove.
        (reg_set_in_bb): Make it static.
        (regmove_optimize): Remove flag_ira and code which worked for
        !flag_ira.

        * local-alloc.c: Remove the file.

        * common.opt (fira): Remove.

        * ira.c: Include except.h.
        (eliminable_regset): Move from global.c.
        (mark_elimination): Ditto.  Remove flag_ira.
        (reg_renumber, struct equivalence, reg_equiv, equiv_mem,
        equiv_mem_modified, validate_equiv_mem_from_store,
        validate_equiv_mem, equiv_init_varies_p, equiv_init_movable_p,
        contains_replace_regs, memref_referenced_p, memref_used_between_p,
        no_equiv, recorded_label_ref): Move from local-alloc.c.
        (update_equiv_regs): Ditto.  Make it static.
        (print_insn_chain, print_insn_chains): Move it from global.c.
        (pseudo_for_reload_consideration_p): Ditto.  Remove flag_ira.
        (build_insn_chain): Ditto.  Make it static.
        (ra_init_live_subregs): Move from ra-conflict.c.  Make it static.
        Rename to init_live_subregs.
        (gate_ira): Remove flag_ira.

        * regclass.c: Rename reginfo.c.  Change file description.
        (FORBIDDEN_INC_DEC_CLASSES): Remove.
        (reg_class_superclasses, forbidden_inc_dec_class, in_inc_dec): Remove.
        (init_reg_sets_1): Remove code for evaluation of
        reg_class_superclasses and losing_caller_save_reg_set.
        (init_regs): Remove init_reg_autoinc.
        (struct costs, costs, init_cost, ok_for_index_p_nonstrict,
        ok_for_base_p_nonstrict): Remove.
        (regclass_init): Rename to reginfo_init.  Don't initialize init_cost.
        (pass_regclass_init): Rename to pass_reginfo_init.  Modify
        corresponding entries.
        (dump_regclass, record_operand_costs, scan_one_insn,
        init_reg_autoinc, regclass, record_reg_classes, copy_cost,
        record_address_regs, auto_inc_dec_reg_p): Remove.
        (gt-regclass.h): Rename to gt-reginfo.h.

        * rtl.h (dump_global_regs, retry_global_alloc,
        build_insn_chain, dump_local_alloc, update_equiv_regs): Remove.

        * Makefile.in (RA_H): Remove.
        (OBJS-common): Remove global.o, local-alloc.o, and ra-conflict.o.
        Rename regclass.o to reginfo.o.
        (regclass.o): Rename to reginfo.o.  Rename gt-regclass.h to
        gt-reginfo.h.
        (global.o, local-alloc.o, ra-conflict.o): Remove entries.
        (GTFILES): Rename regclass.c to reginfo.c.

        * passes.c (init_optimization_passes): Remove pass_local_alloc and
        pass_global_alloc.  Rename pass_regclass_init to pass_reginfo_init.

        * reload1.c (compute_use_by_pseudos, reload, count_pseudo,
        count_spilled_pseudo, find_reg, alter_reg, delete_output_reload):
        Remove flag_ira.
        (finish_spills): Ditto.  Remove code for !flga_ira.
        
2009-01-29  Kenneth Zadeck  <zadeck@naturalbridge.com>

        PR middle-end/35854
        * doc/invoke.texi (rtl debug options): Complete rewrite.
        * auto-inc-dec.c (pass_inc_dec): Rename pass from "auto-inc-dec"
        to auto_inc_dec".
        * mode-switching.c (pass_mode_switching): Rename pass from
        "mode-sw" to "mode_sw".
        * except.c (pass_convert_to_eh_ranges): Rename pass from
        "eh-ranges" to "eh_ranges".
        * lower-subreg.c (pass_lower_subreg): Renamed pass from "subreg"
        to "subreg1".
                
        
2009-01-29  Andrey Belevantsev  <abel@ispras.ru>
            Alexander Monakov  <amonakov@ispras.ru>

        PR middle-end/38857
        * sel-sched.c (count_occurrences_1): Check that *cur_rtx is a hard
        register.
        (move_exprs_to_boundary): Change return type and pass through
        should_move from move_op.  Relax assert.  Update usage ...
        (schedule_expr_on_boundary): ... here.  Use should_move instead of
        cant_move.
        (move_op_orig_expr_found): Indicate that insn was disconnected from
        stream.
        (code_motion_process_successors): Do not call after_merge_succs
        callback if original expression was not found when traversing any of
        the branches.
        (code_motion_path_driver): Change return type.  Update prototype.
        (move_op): Update comment.  Add a new parameter (should_move).  Update
        prototype.  Set *should_move based on indication provided by
        move_op_orig_expr_found.

2009-01-28  Pat Haugen  <pthaugen@us.ibm.com>

        * doc/invoke.texi (avoid-indexed-addresses): Document new option.
        * config/rs6000/rs6000-protos.h (avoiding_indexed_address_p): Declare.
        * config/rs6000/rs6000.opt (avoid-indexed-addresses): New option.
        * config/rs6000/rs6000.c (rs6000_override_options): Default
        avoid-indexed-addresses on for Power6, off for everything else.
        (avoiding_indexed_address_p): New function.
        (rs6000_legitimize_address): Use it.
        (rs6000_legitimate_address): Likewise.
        * config/rs6000/rs6000.md (movXX_updateX): Likewise

2009-01-28  Kazu Hirata  <kazu@codesourcery.com>

        PR tree-optimization/38997
        * tree-loop-distribution.c (generate_memset_zero): Use
        POINTER_PLUS_EXPR for a pointer addition.

2009-01-28  Andreas Krebbel  <krebbel1@de.ibm.com>

        * config/s390/s390.md (bswap<mode>2): New pattern added.

2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>

        * config/s390/s390.md (*tls_load_31): Added type attribute.

2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>

        * config/s390/s390.md: Fix a few comments.

2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>

        * config/s390/s390.md (*tmsi_reg): Fixed z10prop attribute.
        (*tm<mode>_full): Fixed z10prop attribute.
        (*tst<mode>_extimm): Fixed z10prop attribute.
        (*tst<mode>_cconly_extimm): Fixed z10prop attribute.
        (*tstqiCCT_cconly): Fixed z10prop attribute.
        (*cmpsi_ccu_zerohi_rlsi): Fixed z10prop attribute.
        (*movsi_larl): Fixed z10prop attribute.
        (*movsi_zarch): Fixed z10prop attribute.
        (*movsi_eas): Fixed z10prop attribute.
        (*movhi): Fixed z10prop attribute.
        (*movqi): Fixed z10prop attribute.
        (*movstrictqi): Fixed z10prop attribute.
        (*mov<mode>): Fixed z10prop attribute.
        (*movcc): Fixed z10prop attribute.
        (*sethighpartdi_64): Fixed z10prop attribute.
        (*zero_extendhi<mode>2_z10): Fixed z10prop attribute.
        (*negdi2_sign_cc): Fixed z10prop attribute.
        (*negdi2_sign): Fixed z10prop attribute.
        (*absdi2_sign_cc): Fixed z10prop attribute.
        (*absdi2_sign): Fixed z10prop attribute.
        (*negabsdi2_sign_cc): Fixed z10prop attribute.
        (*negabsdi2_sign): Fixed z10prop attribute.
        (*cmp_and_trap_signed_int<mode>): Fixed z10prop attribute.
        (*cmp_and_trap_unsigned_int<mode>): Fixed z10prop attribute.
        (doloop_si64): Fixed z10prop attribute.
        (doloop_si31): Fixed z10prop attribute.
        (doloop_long): Fixed z10prop attribute.
        (indirect_jump): Fixed z10prop attribute.
        (nop): Fixed z10prop attribute.
        (main_base_64): Fixed z10prop attribute.
        (reload_base_64): Fixed z10prop attribute.

2009-01-28  Jakub Jelinek  <jakub@redhat.com>

        PR rtl-optimization/38740
        * reorg.c (gate_handle_delay_slots): Avoid dbr scheduling if !optimize.
        * config/mips/mips.c (mips_reorg): Likewise.

2009-01-28  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/38926
        * tree-ssa-pre.c (add_to_value): Assert we add only expressions
        with the correct value id to a value.
        (do_regular_insertion): Use the value number of edoubleprime
        for the value number of the expr.

        Revert
        2008-08-21  Richard Guenther  <rguenther@suse.de>

        * tree-ssa-pre.c (insert_into_preds_of_block): Before inserting
        a PHI ask VN if it is already available.
        * tree-ssa-sccvn.h (vn_phi_lookup): Declare.
        * tree-ssa-sccvn.c (vn_phi_lookup): Export.

2009-01-28  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/38934
        * tree-vrp.c (extract_range_from_assert): For LE_EXPR and LT_EXPR
        set to varying whenever max has TREE_OVERFLOW set, similarly
        for GE_EXPR and GT_EXPR and TREE_OVERFLOW min.

2009-01-28  Richard Guenther  <rguenther@suse.de>

        PR middle-end/38908
        * tree-ssa.c (warn_uninitialized_var): Do not warn for seemingly
        uninitialized aggregate uses in call arguments.

2009-01-28  Paolo Bonzini  <bonzini@gnu.org>

        PR tree-optimization/38984
        * tree-ssa-structalias.c (get_constraints_for_1): Do not use
        the nothing_id variable if -fno-delete-null-pointer-checks.

2009-01-28  Uros Bizjak  <ubizjak@gmail.com>

        PR target/38988
        * config/i386/i386.md (set_rip_rex64): Wrap operand 1 in label_ref.
        (set_got_offset_rex64): Ditto.

2009-01-27  H.J. Lu  <hongjiu.lu@intel.com>

        PR target/38941
        * doc/extend.texi: Improve local variable with asm reg.

2009-01-27  Adam Nemet  <anemet@caviumnetworks.com>

        * c.opt (Wpacked-bitfield-compat): Change init value to -1.
        * c-opts.c (c_common_post_options): If -W*packed-bitfield-compat
        was not supplied then set warn_packed_bitfield_compat to the
        default value of 1.
        * stor-layout.c (place_field): Check warn_packed_bitfield_compat
        against 1.

2009-01-27  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/38503
        * cfgexpand.c (expand_gimple_basic_block): Ignore
        GIMPLE_CHANGE_DYNAMIC_TYPE during expansion.
        * tree-ssa-structalias.c (set_uids_in_ptset): Do not prune
        variables that cannot have TBAA applied.
        (compute_points_to_sets): Do not remove GIMPLE_CHANGE_DYNAMIC_TYPE
        statements.

2009-01-27  Uros Bizjak  <ubizjak@gmail.com>

        PR middle-end/38969
        * calls.c (initialize_argument_information): Do not wrap complex
        arguments in SAVE_EXPR.

2009-01-26  Andreas Tobler  <a.tobler@schweiz.org>

        * config/t-vxworks (LIBGCC2_INCLUDES): Fix typo.
        (INSTALL_LIBGCC): Revert typo commit.

2009-01-26  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/38745
        * tree-ssa-alias.c (update_alias_info_1): Exclude RESULT_DECL
        from special handling.

2009-01-26  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/38745
        * tree-ssa.c (execute_update_addresses_taken): Do not include
        variables that cannot possibly be a register in not_reg_needs.
        Do not clear TREE_ADDRESSABLE on vars that may not become
        registers.
        * tree-ssa.c (update_alias_info_1): Include those in the set
        of addressable vars.

2009-01-26  Richard Guenther  <rguenther@suse.de>

        PR middle-end/38851
        * Makefile.in (tree-ssa-dse.o): Add langhooks.h.
        * tree-ssa-dse.c: Include langhooks.h
        (execute_simple_dse): Remove stores with zero size.

2009-01-24  Jakub Jelinek  <jakub@redhat.com>

        PR c/38957
        * c-typeck.c (c_finish_return): Handle POINTER_PLUS_EXPR the same way
        as PLUS_EXPR.

2009-01-24  Julian Brown  <julian@codesourcery.com>

        * config/arm/t-linux-eabi (LIB2FUNCS_STATIC_EXTRA): Add
        config/arm/linux-atomic.c.
        * config/arm/linux-atomic.c: New.

2009-01-24  Eric Botcazou  <ebotcazou@adacore.com>

        * config/sparc/linux.h (DBX_REGISTER_NUMBER): Delete.
        * config/sparc/linux64.h (DBX_REGISTER_NUMBER): Likewise.
        * config/sparc/sysv4.h (DBX_REGISTER_NUMBER): Likewise.

2009-01-24  H.J. Lu  <hongjiu.lu@intel.com>

        PR c/38938
        * c-opts.c (c_common_handle_option): Update warn_pointer_sign
        properly.

2009-01-24  Sebastian Pop  <sebastian.pop@amd.com>

        PR tree-optimization/38953
        * graphite.c (graphite_verify): Add a call to verify_loop_closed_ssa.
        (scop_adjust_phis_for_liveouts): Initialize false_i to zero.
        (gloog): Split the exit of the scop when the scop exit is a loop exit.
        (graphite_transform_loops): Only call cleanup_tree_cfg if gloog
        changed the CFG.

2009-01-24  Paul Brook  <paul@codesourcery.com>

        * config/arm/neon.md (neon_type): Move to arm.md.
        (neon_mov<VSTRUCT>): Add neon_type attribute.
        * config/arm/arm.md (neon_type): Move to here.
        (conds): Add "unconditioal" and use as default for NEON insns.

2009-01-24  Ben Elliston  <bje@au.ibm.com>

        * bitmap.h (BITMAP_FREE): Eliminate `implicit conversion from
        void *' warning from -Wc++-compat.
        * Makefile.in (dominance.o-warn): Remove.

2008-01-23  Paolo Bonzini  <bonzini@gnu.org>

        PR tree-optimization/38932
        * fold-const.c (fold_unary_ignore_overflow): New.
        * tree.h (fold_unary_ignore_overflow): Declare.
        * tree-ssa-ccp.c (ccp_fold): Use fold_unary_ignore_overflow.
        * tree-ssa-sccvn.c (visit_reference_op_load,
        simplify_unary_expression): Likewise.

2009-01-22  Adam Nemet  <anemet@caviumnetworks.com>

        * c-decl.c (finish_struct): Move code to set DECL_PACKED after
        DECL_BIT_FIELD is alreay known.  Also inherit packed for bitfields
        regardless of their type.
        * c-common.c (handle_packed_attribute): Don't ignore packed on
        bitfields.
        * c.opt (Wpacked-bitfield-compat): New warning option.
        * stor-layout.c (place_field): Warn if offset of a field changed.
        * doc/extend.texi (packed): Mention the ABI change.
        * doc/invoke.texi (-Wpacked-bitfield-compat): Document.
        (Warning Options): Add it to the list.

2009-01-22  H.J. Lu  <hongjiu.lu@intel.com>

        * c-opts.c (c_common_post_options): Fix a typo in comments.

2009-01-22  Steve Ellcey  <sje@cup.hp.com>

        PR middle-end/38615
        * gimplify.c (gimplify_init_constructor): Fix promotion of const
        variables to static.
        * doc/invoke.texi (-fmerge-all-constants): Update description.

2009-01-22  Uros Bizjak  <ubizjak@gmail.com>

        PR target/38931
        * config/i386/i386.md (*movsi_1): Use type "mmx" for alternative 2.
        (*movdi_1_rex64): Use type "mmx" for alternative 5.

2009-01-22  Richard Earnshaw  <rearnsha@arm.com>

        * arm.h (DATA_ALIGNMENT): Align structures, unions and arrays to
        a word boundary.
        (LOCAL_ALIGNMENT): Similarly.

2009-01-22  Mark Shinwell  <shinwell@codesourcery.com>
            Joseph Myers  <joseph@codesourcery.com>

        * config/arm/arm.c (all_architectures): Add iWMMXt2 entry.
        * config/arm/arm-cores.def: New ARM_CORE entry for iWMMXt2.
        * config/arm/arm-tune.md: Regenerate.
        * doc/invoke.texi (ARM Options): Document -mcpu=iwmmxt2 and
        -march=iwmmxt2.

2009-01-22  Mark Shinwell  <shinwell@codesourcery.com>

        * config/arm/bpabi.h (SUBTARGET_EXTRA_ASM_SPEC): Bump EABI
        version number to five.

2009-01-22  Dodji Seketeli  <dodji@redhat.com>

        PR c++/38930
        * c-decl.c: (clone_underlying_type): Revert PR c++/26693 changes.
        * c-common.c (set_underlying_type): Likewise.
        (is_typedef_decl ): Likewise
        * tree.h: Likewise
        (set_underlying_type): Likewise.
        (is_typedef_type): Likewise.

2009-01-21  Vladimir Makarov  <vmakarov@redhat.com>

        PR middle-end/38587
        * ira-color.c (coalesce_spill_slots): Don't coalesce allocnos
        crossing setjmps.

2009-01-21  Dave Korn  <dave.korn.cygwin@gmail.com>

        PR bootstrap/37660
        * config/i386/cygwin.h (SHARED_LIBGCC_SPEC):  New helper macro.
        (LIBGCC_SPEC):  Don't define.
        (REAL_LIBGCC_SPEC):  Define instead, using SHARED_LIBGCC_SPEC.

2009-01-21  Uros Bizjak  <ubizjak@gmail.com>

        PR rtl-optimization/38879
        * alias.c (base_alias_check): Unaligned access via AND address can
        alias all surrounding object types except those with sizes equal
        or wider than the size of unaligned access.

2009-01-21  Dodji Seketeli  <dodji@redhat.com>

        PR c++/26693
        * c-decl.c: (clone_underlying_type): Move this ...
        * c-common.c (set_underlying_type): ... here.
        Also, make sure the function properly sets TYPE_STUB_DECL() on
        the newly created typedef variant type.
        (is_typedef_decl ): New entry point.
        * tree.h: Added a new member member_types_needing_access_check to
        struct tree_decl_non_common.
        (set_underlying_type): New entry point.
        (is_typedef_type): Likewise.

2009-01-21  Bingfeng Mei  <bmei@broadcom.com>

        * alias.c (walk_mems_1, walk_mems_2, insn_alias_sets_conflict_p):
        Check whether two instructions have memory references that
        belong to conflicting alias sets.  walk_mems_1 and walk_mems_2
        are helper functions for traversing.
        * alias.h (insn_alias_sets_confilict_p): New prototypes.
        * ddg.c (add_inter_loop_mem_dep): Call insn_alias_sets_conflict_p
        not to draw dependency edge for instructions with non-conflicting
        alias sets.

2009-01-20  Joseph Myers  <joseph@codesourcery.com>

        PR other/38758
        * longlong.h: Update copyright years.  Use soft-fp license
        notice.  Sync __clz_tab declaration with glibc.

2009-01-20  Steve Ellcey  <sje@cup.hp.com>

        PR target/30687
        * doc/extend.texi (syscall_linkage): New.
        (version_id): Modify.

2009-01-20  Andrew Pinski  <andrew_pinski@playstation.sony.com>
            Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/38747
        PR tree-optimization/38748
        * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Disable the VCE
        conversion if the base address is an indirect reference and the
        aliasing sets could cause issues.

2009-01-20  Sebastian Pop  <sebastian.pop@amd.com>

        * common.opt (fgraphite, fgraphite-identity): Add comment for 
        explaining why these options are not documented.

2009-01-20  Sebastian Pop  <sebastian.pop@amd.com>

        * graphite.c (stmt_simple_for_scop_p): Also handle cases when
        gimple_call_lhs is NULL.

2008-01-20  Paolo Bonzini  <bonzini@gnu.org>

        PR target/38868
        * emit-rtl.c (adjust_address_1): Make sure memref is never
        overwritten.

2009-01-20  Ben Elliston  <bje@au.ibm.com>

        * libgcov.c (__gcov_execl, __gcov_execlp, __gcov_execle): Remove
        const qualifier from arg parameter. Remove unnecessary cast to char *.
        * gcov-io.h (__gcov_execl, __gcov_execlp, __gcov_execle): Remove
        const qualifier from arg 2.

2009-01-19  Iain Sandoe  <iain.sandoe@sandoe-acoustics.co.uk>

        * config/darwin.h: Add static-libgfortran to LINK_SPEC.

2009-01-19  Vladimir Makarov  <vmakarov@redhat.com>

        PR c/38869
        * rtl.h (reinit_regs): New prototype.
        * regclass.c: Include ira.h.
        (reinit_regs): New.
        * Makefile.in (regclass.o): Add ira.h.
        * config/i386/i386.c (ix86_maybe_switch_abi): Use reinit_regs.

2009-01-18  H.J. Lu  <hongjiu.lu@intel.com>

        PR target/38736
        * c-common.c (handle_aligned_attribute): Use
        ATTRIBUTE_ALIGNED_VALUE instead of BIGGEST_ALIGNMENT for
        default alignment value.

        * c-cppbuiltin.c (c_cpp_builtins): Define __BIGGEST_ALIGNMENT__.

        * defaults.h (ATTRIBUTE_ALIGNED_VALUE): New.
        * config/i386/i386.h (ATTRIBUTE_ALIGNED_VALUE): Likewise.

        * doc/extend.texi: Update __attribute__ ((aligned)).  Document
        __BIGGEST_ALIGNMENT__.

        * doc/tm.texi: Document ATTRIBUTE_ALIGNED_VALUE.

2009-01-18  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/38819
        * tree-flow.h (operation_could_trap_helper_p): Declare.
        * tree-eh.c (operation_could_trap_helper_p): Export.
        * tree-ssa-sccvn.h (vn_nary_may_trap): Declare.
        * tree-ssa-sccvn.c (vn_nary_may_trap): New function.
        * tree-ssa-pre.c (insert_into_preds_of_block): Check if we
        are about to insert a possibly trapping instruction and fail
        in this case.

2009-01-18  Andreas Schwab  <schwab@suse.de>

        * doc/install.texi (Configuration): Remove obsolete paragraph
        about use of --with-gnu-ld with --with-gnu-as.

2009-01-18  Kazu Hirata  <kazu@codesourcery.com>

        * doc/extend.texi, doc/gimple.texi, doc/invoke.texi,
        doc/md.texi, doc/sourcebuild.texi, doc/tm.texi: Fix typos.
        Follow spelling conventions.

2009-01-18  Ben Elliston  <bje@au.ibm.com>

        * bitmap.c (bitmap_obstack_alloc_stat): Adjust cast to eliminate
        C++ warning about implicit conversion from void * to struct
        bitmap_head_def *.
        (bitmap_obstack_free): Likewise for bitmap_element *.
        * Makefile.in (bitmap.o-warn): Remove.

2009-01-17  Dave Korn  <dave.korn.cygwin@gmail.com>

        * Makefile.in (BACKENDLIBS):  Reorder to match dependencies.

2009-01-17  Sebastian Pop  <sebastian.pop@amd.com>
            Tobias Grosser  <tobi.grosser@amd.com>

        * graphite.c (graphite_trans_scop_block): Do not block single
        nested loops.

2009-01-16  Alexandre Oliva  <aoliva@redhat.com>

        * ebitmap.h (ebitmap_iter_init): Initialize all fields.
        * ipa-struct-reorg.c (gen_struct_type): Replace known-true
        test with assertion.

2009-01-16  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/38835
        PR middle-end/36227
        * fold-const.c (fold_binary): Remove PTR + INT -> (INT)(PTR p+ INT)
        and INT + PTR -> (INT)(PTR p+ INT) folding.
        * tree-ssa-address.c (create_mem_ref): Properly use POINTER_PLUS_EXPR.

2009-01-16  Adam Nemet  <anemet@caviumnetworks.com>

        PR target/38554
        * expmed.c (expand_shift): With SHIFT_COUNT_TRUNCATED, don't lift
        the subreg from a lowpart subreg if it is also casting the value.

2009-01-16  Sebastian Pop  <sebastian.pop@amd.com>
            Tobias Grosser  <tobi.grosser@amd.com>

        * graphite.c (compare_prefix_loops): New.
        (build_scop_canonical_schedules): Rewritten.
        (graphite_transform_loops): Move build_scop_canonical_schedules
        after build_scop_iteration_domain.

2009-01-16  Sebastian Pop  <sebastian.pop@amd.com>
            Tobias Grosser  <tobi.grosser@amd.com>

        * graphite.c (add_conditions_to_domain): Add the loops to 
        the dimension of the iteration domain.  Do copy the domain
        only when it exists.
        (build_scop_conditions_1): Do not call add_conditions_to_domain.
        (add_conditions_to_constraints): New.
        (can_generate_code_stmt, can_generate_code): Removed.
        (gloog): Do not call can_generate_code.
        (graphite_transform_loops): Call add_conditions_to_constraints
        after building the iteration domain.

2009-01-16  Jakub Jelinek  <jakub@redhat.com>

        PR tree-optimization/38789
        * tree-ssa-threadedge.c
        (record_temporary_equivalences_from_stmts_at_dest): Ignore calls to
        __builtin_constant_p.

2009-01-16  Kenneth Zadeck  <zadeck@naturalbridge.com>

        * dce.c (delete_unmarked_insns): Reversed the order that insns are
        examined before deleting them.
        
2009-01-16  Richard Earnshaw  <rearnsha@arm.com>

        * function.c (aggregate_value_p): Correctly extract the function
        type from CALL_EXPR_FN lookup.

2009-01-16  Hariharan Sandanagobalane  <hariharan@picochip.com>

        * config/picochip/picochip.c (picochip_override_options): Revert
        CFI asm flag disable commited previously.

2009-01-15  Sebastian Pop  <sebastian.pop@amd.com>
            Tobias Grosser  <tobi.grosser@amd.com>
            Jan Sjodin  <jan.sjodin@amd.com>

        * graphite.c (scan_tree_for_params): On substractions negate
        all the coefficients of the term.
        (clast_to_gcc_expression_red): New.  Handle reduction expressions
        of more than two operands.
        (clast_to_gcc_expression): Call clast_to_gcc_expression_red.
        (get_vdef_before_scop): Handle also the case of default definitions.

2009-01-15  Richard Sandiford  <rdsandiford@googlemail.com>

        * caller-save.c (add_used_regs_1, add_used_regs): New functions.
        (insert_one_insn): Use them instead of REG_DEAD and REG_INC notes.
        Also use them when walking CALL_INSN_FUNCTION_USAGE.

2009-01-15  H.J. Lu  <hongjiu.lu@intel.com>
            Joey Ye  <joey.ye@intel.com>

        PR middle-end/37843
        * cfgexpand.c (expand_stack_alignment): Don't update stack
        boundary nor check incoming stack boundary here.
        (gimple_expand_cfg): Update stack boundary and check incoming
        stack boundary here.

2009-01-15  Kenneth Zadeck  <zadeck@naturalbridge.com>

        * dce.c (find_call_stack_args, delete_unmarked_insns): Fixed comments.
        
2009-01-14  Jakub Jelinek  <jakub@redhat.com>

        PR rtl-optimization/38245
        * calls.c (expand_call): Add stack arguments to
        CALL_INSN_FUNCTION_USAGE even for pure calls (when
        ACCUMULATE_OUTGOING_ARGS) and even for args partially passed
        in regs and partially in memory or BLKmode arguments.
        (emit_library_call_value_1): Add stack arguments to
        CALL_INSN_FUNCTION_USAGE even for pure calls (when
        ACCUMULATE_OUTGOING_ARGS).
        * dce.c: Include tm_p.h.
        (find_call_stack_args): New function.
        (deletable_insn_p): Call it for CALL_P insns.  Add ARG_STORES
        argument.
        (mark_insn): Call find_call_stack_args for CALL_Ps.
        (prescan_insns_for_dce): Walk insns backwards in bb rather than
        forwards.  Allocate and free arg_stores bitmap if needed, pass it
        down to deletable_insn_p, don't mark stores set in arg_stores
        bitmap, clear the bitmap at the beginning of each bb.
        * Makefile.in (dce.o): Depend on $(TM_P_H).

2009-01-14  Michael Meissner  <gnu@the-meissners.org>

        PR target/22599
        * config/i386/i386.c (print_operand): Add tests for 'D', 'C', 'F', 'f'
        to make sure the insn is a conditional test (bug 22599).  Reformat a
        few long lines.

2009-01-14  Sebastian Pop  <sebastian.pop@amd.com>

        PR middle-end/38431
        * graphite.c (get_vdef_before_scop, scop_adjust_vphi): New.
        (scop_adjust_phis_for_liveouts): Call scop_adjust_vphi.
        (gloog): Do not call cleanup_tree_cfg.
        (graphite_transform_loops): Call cleanup_tree_cfg after all 
        scops have been code generated.

2009-01-14  Basile Starynkevitch  <basile@starynkevitch.net>
        * doc/gty.texi (Invoking the garbage collector): Added new node
        and section documenting ggc_collect.

2009-01-14  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/38826
        PR middle-end/38477
        * tree-ssa-structalias.c (emit_alias_warning): Emit the pointer
        initialization notes only if we actually emitted a warning.
        (intra_create_variable_infos): Add constraints for a result decl
        that is passed by hidden reference.
        (build_pred_graph): Mark all related variables non-direct on
        address-taking.

2009-01-14  Nick Clifton  <nickc@redhat.com>

        * ira-conflicts.c: Include addresses.h for the definition of
        base_reg_class.
        (ira_build_conflicts): Use base_reg_class instead of BASE_REG_CLASS.
        * Makefile.in: Add a dependency of ira-conflicts.o on addresses.h.

2009-01-13  Vladimir Makarov  <vmakarov@redhat.com>

        PR target/38811
        * Makefile.in (ira-lives.o): Add except.h.

        * ira-lives.c: Include except.h.
        (process_bb_node_lives): Process can_throw_internal.

2009-01-13  Jakub Jelinek  <jakub@redhat.com>

        PR rtl-optimization/38774
        * combine.c (simplify_set): When undoing cc_use change, don't do
        PUT_CODE on the newly created comparison, but instead put back the
        old comparison.

2009-01-13  Joseph Myers  <joseph@codesourcery.com>

        * doc/invoke.texi (ARM Options): Update lists of -mcpu and -march
        values.  Remove duplicate arm8 entry.

2009-01-13  Sebastian Pop  <sebastian.pop@amd.com>

        PR tree-optimization/38786
        * graphite.c (expand_scalar_variables_ssa_name): New, outlined from
        the SSA_NAME case of expand_scalar_variables_expr.
        Set the type of an expression to the type of its assign statement.
        (expand_scalar_variables_expr): Also gather the scalar computation
        used to index the memory access.  Do not pass loop_p.
        Fix comment.  Stop recursion on tcc_constant or tcc_declaration.
        (expand_scalar_variables_stmt): Pass to expand_scalar_variables_expr
        the gimple_stmt_iterator where it inserts new code.
        Do not pass loop_p.
        (copy_bb_and_scalar_dependences): Do not pass loop_p.
        (translate_clast): Update call to copy_bb_and_scalar_dependences.

2009-01-13  Sebastian Pop  <sebastian.pop@amd.com>

        * graphite.h (debug_value): Removed.
        * graphite.c (debug_value): Removed.

2009-01-13  Richard Earnshaw  <rearnsha@arm.com>

        * config/arm/arm.c (output_move_double): Don't synthesize thumb-2
        ldrd/strd with two 32-bit instructions.

2009-01-13  Richard Earnshaw  <rearnsha@arm.com>

        * config/arm/arm.c (struct processors): Pass for speed down into
        cost helper functions.
        (const_ok_for_op): Handle COMPARE and inequality nodes.
        (arm_rtx_costs_1): Rewrite.
        (arm_size_rtx_costs): Update prototype.
        (arm_rtx_costs): Pass speed down to helper functions.
        (arm_slowmul_rtx_costs): Rework cost calculations.
        (arm_fastmul_rtx_costs, arm_xscale_rtx_costs): Likewise.
        (arm_9e_rtx_costs): Likewise.

2009-01-13  Uros Bizjak  <ubizjak@gmail.com>

        * config/alpha/alpha.c (alpha_legitimate_address_p): Explicit
        relocations of local symbols wider than UNITS_PER_WORD are not valid.
        (alpha_legitimize_address): Do not split local symbols wider than
        UNITS_PER_WORD into HIGH/LO_SUM parts.

2009-01-13  Danny Smith  <dannysmith@users.sourceforge.net>

        PR bootstrap/38580
        * gcc.c (process_command): Replace call to execvp with calls
        to pex_one and exit.

2009-01-03  Anatoly Sokolov  <aesok@post.ru>

        PR target/29141
        * config/avr/t-avr (LIB1ASMFUNCS): Add _tablejump_elpm.
        * config/avr/libgcc.S (__do_global_ctors, __do_global_dtors): Add
        variant for devices with 3-byte PC.
        (__tablejump_elpm__) : New.

2009-01-12  Jakub Jelinek  <jakub@redhat.com>

        PR c/32041
        * c-parser.c (c_parser_postfix_expression): Allow `->' in
        offsetof member-designator, handle it as `[0].'.

2009-01-12  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa.c (pa_asm_output_mi_thunk): Use pc-relative branch to thunk
        function when not using named sections on targets with named sections
        if branch distance is less than 262132.

2009-01-12  Richard Earnshaw  <rearnsha@arm.com>

        * combine.c (combine_instructions):  Recompute
        optimize_this_for_speed_p  for each BB in the main combine loop.

2009-01-12  Tomas Bily  <tbily@suse.cz>

        PR middlend/38385
        * tree-loop-distribution.c (prop_phis): New function.
        (generate_builtin): Call prop_phis.
        * testsuite/gcc.dg/tree-ssa/pr38385.c: New file.

2009-01-12  Jakub Jelinek  <jakub@redhat.com>

        PR tree-optimization/38807
        * tree-ssa-reassoc.c (remove_visited_stmt_chain): Don't look at
        gimple_visited_p unless stmt is GIMPLE_ASSIGN.

2009-01-11  Adam Nemet  <anemet@caviumnetworks.com>

        * expmed.c (store_bit_field_1): Properly truncate the paradoxical
        subreg of op0 to the original op0.

2009-01-11  Laurent GUERBY  <laurent@guerby.net>

        * doc/sourcebuild.texi (Source Tree): Move up intl and fixinc.
        
2009-01-11  Markus Schoepflin  <markus.schoepflin@comsoft.de>

        PR debug/7055
        * gcc/mips-tfile.c (parse_def): Fix parsing of def strings
        starting with digits.

2009-01-10  Jakub Jelinek  <jakub@redhat.com>

        PR target/38695
        * config/arm/arm.c (arm_is_long_call_p): Don't call
        arm_function_in_section_p if decl isn't a FUNCTION_DECL.

2009-01-09  Steven Bosscher  <steven@gcc.gnu.org>

        * regrename.c (regrename_optimize): Fix dumping.
        (find_oldest_value_reg): Preserve REG_POINTER.
        (copy_hardreg_forward_1): Likewise.

2009-01-09  Diego Novillo  <dnovillo@google.com>

        * gimple.h (struct gimple_statement_base) <uid>: Document
        the restrictions on its use.
        (gimple_uid): Tidy.
        (gimple_set_uid): Tidy.

2009-01-09  Jakub Jelinek  <jakub@redhat.com>

        * config/i386/i386.c (ix86_expand_movmem, ix86_expand_setmem): Add
        zero guard even if align_bytes != 0 and count is smaller than
        size_needed.

2008-01-09  Vladimir Makarov  <vmakarov@redhat.com>

        PR rtl-optimization/38495
        * ira-emit.c (print_move_list, ira_debug_move_list): New functions.
        (add_range_and_copies_from_move_list): Print all added ranges.
        Add ranges to memory optimized destination.

2009-01-09  Jakub Jelinek  <jakub@redhat.com>

        PR target/38686
        PR target/38708
        * config/i386/i386.c (override_options): Reject
        -mstringop-strategy=rep_8byte with -m32.
        (ix86_expand_movmem): For size_needed == 1 set epilogue_size_needed
        to 1.  Do count comparison against epilogue_size_needed at compile
        time even when count_exp was constant forced into register.  For
        size_needed don't jump to epilogue, instead just avoid aligning
        and invoke the body algorithm.  If need_zero_guard, add zero guard
        even if count is non-zero, but smaller than size_needed + number of
        bytes that could be stored for alignment.
        (ix86_expand_setmem): For size_needed == 1 set epilogue_size_needed
        to 1.  If need_zero_guard, add zero guard even if count is non-zero,
        but smaller than size_needed + number of bytes that could be stored
        for alignment.  Compare size_needed with epilogue_size_needed instead
        of desired_align - align, don't adjust size_needed, pass
        epilogue_size_needed to the epilogue expanders.

        PR c/35742
        * c-pretty-print.c (pp_c_expression): Handle GOTO_EXPR like BIND_EXPR.

2009-01-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa.c (last_address): Change to unsigned.
        (update_total_code_bytes): Change argument to unsigned.  Don't
        check if insn addresses are set.
        (pa_output_function_epilogue): Set last_address to UINT_MAX if insn
        addresses are not set.
        (pa_asm_output_mi_thunk): Handle wrap when updating last_address.

2009-01-09  Nick Clifton  <nickc@redhat.com>

        * config/sh/symbian.c: Replace uses of DECL_INLINE with
        DECL_DECLARED_INLINE_P.

2009-01-09  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/38347
        * dojump.c (do_jump_by_parts_zero_rtx): Use mode instead of
        GET_MODE (op0) in operand_subword_force calls.

        PR middle-end/38771
        * fold-const.c (fold_unary): For COMPOUND_EXPR and COND_EXPR,
        fold_convert arg0 operands to TREE_TYPE (op0) first.

2009-01-08  Vladimir Makarov  <vmakarov@redhat.com>

        * params.def (ira-max-conflict-table-size): Decrease default value
        to 1000.

2009-01-08  Jakub Jelinek  <jakub@redhat.com>

        PR tree-optimization/37031
        * lambda-code.c (lambda_collect_parameters): Call pointer_set_destroy
        on parameter_set.
        (build_access_matrix): Reserve correct size for AM_MATRIX vector,
        allocate it using gc instead of heap, use VEC_quick_push instead of
        VEC_safe_push.
        * graphite.c (build_access_matrix): Allocate AM_MATRIX vector using gc
        instead of heap, use VEC_quick_push instead of VEC_safe_push.
        * tree-data-ref.h (struct access_matrix): Change matrix to gc
        allocated vector from heap allocated.
        * lambda.h: Add DEF_VEC_ALLOC_P for gc allocated lambda_vector.
        * tree-loop-linear.c (linear_transform_loops): Allocate nest
        vector only after perfect_loop_nest_depth call.

2009-01-08  Sebastian Pop  <sebastian.pop@amd.com>
            Jan Sjodin  <jan.sjodin@amd.com>

        PR tree-optimization/38559
        * graphite.c (debug_value, copy_constraint,
        swap_constraint_variables, scale_constraint_variable, ): New.
        (get_lower_bound, get_upper_bound): Removed.
        (graphite_trans_bb_strip_mine): Clean up this code that works
        only for constant number of iterations.  Fully copy upper and
        lower bound constraints, not only the constant part of them.
        * graphite.h (debug_value): Declared.

2009-01-08  Ira Rosen  <irar@il.ibm.com>

        PR tree-optimization/37194
        * tree-vect-transform.c (vect_estimate_min_profitable_iters):
        Don't add the cost of cost model guard in prologue to scalar 
        outside cost in case of known number of iterations.

2009-01-07  Nathan Froyd  <froydnj@codesourcery.com>
            Alan Modra  <amodra@bigpond.net.au>

        * config/rs6000/rs6000.c (rs6000_legitimize_address): Check for
        non-word-aligned REG+CONST addressing.

2009-01-07  Uros Bizjak  <ubizjak@gmail.com>

        PR target/38706
        * config/alpha/alpha.c (alpha_end_function): For TARGET_ABI_OSF, call
        free_after_compilation when outputting a thunk.
        (alpha_output_mi_thunk_osf): Assert that we are processing a thunk.
        Do not call free_after_compilation here.

2009-01-07  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.c (ix86_target_string): Use ARRAY_SIZE.
        (ix86_valid_target_attribute_inner_p): Ditto.

2009-01-07  Jan Sjodin  <jan.sjodin@amd.com>

        PR tree-optimization/38492
        PR tree-optimization/38498
        * tree-check.c (operator_is_linear, scev_is_linear_expression): New.
        * tree-chrec.h (scev_is_linear_expression): Declared.
        * graphite.c (graphite_cannot_represent_loop_niter): New.
        (scopdet_basic_block_info): Call graphite_cannot_represent_loop_niter.
        (graphite_loop_normal_form): Use gcc_assert.
        (scan_tree_for_params): Use CASE_CONVERT.
        (phi_node_is_iv, bb_contains_non_iv_scalar_phi_nodes): New.
        (build_scop_conditions_1): Call bb_contains_non_iv_scalar_phi_nodes.
        Use gcc_assert.  Discard scops that contain unhandled cases.
        (build_scop_conditions): Return a boolean status for unhandled cases.
        (strip_mine_profitable_p): Print the loop number, not its depth.
        (is_interchange_valid): Pass the depth of the loop nest, don't
        recompute it wrongly.
        (graphite_trans_bb_block): Same.
        (graphite_trans_bb_block): Print tentative of loop blocking.
        (graphite_trans_scop_block): Do not print that the loop has been
        blocked.
        (graphite_transform_loops): Do not handle scops that contain condition
        scalar phi nodes.

2009-01-07  H.J. Lu  <hongjiu.lu@intel.com>

        AVX Programming Reference (December, 2008)
        * config/i386/avxintrin.h (_mm256_stream_si256): New.
        (_mm256_stream_pd): Likewise.
        (_mm256_stream_ps): Likewise.

        * config/i386/i386.c (ix86_builtins): Add IX86_BUILTIN_MOVNTDQ256,
        IX86_BUILTIN_MOVNTPD256 and IX86_BUILTIN_MOVNTPS256.
        (ix86_special_builtin_type): Add VOID_FTYPE_PV4DI_V4DI.
        (bdesc_special_args): Add __builtin_ia32_movntdq256,
        __builtin_ia32_movntpd256 and __builtin_ia32_movntps256.
        (ix86_init_mmx_sse_builtins): Handle VOID_FTYPE_PV4DI_V4DI.
        (ix86_expand_special_args_builtin): Likewise.

        * config/i386/sse.md (AVXMODEDI): New.
        (avx_movnt<mode>): Likewise.
        (avx_movnt<mode>): Likewise.
        (<sse>_movnt<mode>): Remove AVX support.
        (sse2_movntv2di): Likewise.

2009-01-07  Richard Guenther  <rguenther@suse.de>

        PR middle-end/38751
        * fold-const.c (extract_muldiv): Remove obsolete comment.
        (fold_plusminus_mult_expr): Undo MINUS_EXPR
        to PLUS_EXPR canonicalization for the canonicalization.

2009-01-07  Gerald Pfeifer  <gerald@pfeifer.com>

        * doc/install.texi (alpha*-dec-osf*): Remove note on 32-bit
        hosted cross-compilers generating less efficient code.

2009-01-06  Richard Sandiford  <rdsandiford@googlemail.com>

        * function.h (rtl_data): Add a dbr_scheduled_p field.
        * reorg.c (dbr_schedule): Set it.
        (gate_handle_delay_slots): Check it.
        * config/mips/mips.c (mips_base_delayed_branch): Delete.
        (mips_reorg): Check flag_delayed_branch instead of
        mips_base_delayed_branch.
        (mips_override_options): Don't set mips_base_delayed_branch
        or flag_delayed_branch.

2009-01-06  Richard Sandiford  <rdsandiford@googlemail.com>

        PR rtl-optimization/38426.
        * ira.c (ira): Set current_function_is_leaf earlier.

2009-01-06  Jakub Jelinek  <jakub@redhat.com>

        PR rtl-optimization/38722
        * combine.c (try_combine): Don't modify PATTERN (i3) and notes
        too early, only set a flag and modify after last possible
        undo_all point.

2009-01-06  Janis Johnson  <janis187@us.ibm.com>

        PR c/34252
        * ginclude/float.h: Rename DECnn_DEN to DECnn_SUBNORMAL_MIN.
        * real.c (decimal_single_format): Correct values of emin and emax.
        (decimal_double_format): Ditto.
        (decimal_quad_format): Ditto.
        * c-cppbuiltin.c (builtin_define_decimal_float_constants): Adjust
        computation of DECnn_MIN and DECnn_MAX for corrected values of
        emin and emax.  Define __DECnn_SUBNORMAL_MIN__ instead of
        __DECnn_MIN__, and adjust its computation for the corrected value
        of emin.

2009-01-06  Jan Hubicka  <jh@suse.cz>

        PR target/38744
        * config/i386/i386.c (ix86_expand_call): Use ARRAY_SIZE.

2009-01-06  Gerald Pfeifer  <gerald@pfeifer.com>

        * doc/contrib.texi (Contributors): Slightly adjust the end note.
        Add Robert Clark to the list of testers.

2009-01-06  Jan Hubicka  <jh@suse.cz>
            Kai Tietz  <kai.tietz@onevision.com>

        * config/i386/i386.md (*msabi_syvabi): Add SSE regs clobbers.
        * config/i386/i386.c (ix86_expand_call): Add clobbers.

2009-01-06  Jan Hubicka  <jh@suse.cz>
            Kai Tietz  <kai.tietz@onevision.com>

        * config/i386/i386.h (CONDITIONAL_CALL_USAGE): SSE regs are not used
        for w64 ABI.
        * config/i386/i386.c (struct ix86_frame): Add padding0 and nsseregs.
        (ix86_nsaved_regs): Count only general purpose regs.
        (ix86_nsaved_sseregs): New.
        (ix86_compute_frame_layout): Update nsseregs; set preferred alignment
        to 16 for w64; compute padding and size of sse reg save area.
        (ix86_emit_save_regs, ix86_emit_save_regs_using_mov): Save only
        general purpose regs.
        (ix86_emit_save_sse_regs_using_mov): New.
        (ix86_expand_prologue): Save SSE regs if needed.
        (ix86_emit_restore_regs_using_mov): Use only general purpose regs.
        (ix86_emit_restore_sse_regs_using_mov): New.
        (ix86_expand_epilogue): Save SSE regs if needed.

2009-01-06  Jan Hubicka  <jh@suse.cz>
            Kai Tietz  <kai.tietz@onevision.com>

        * config/i386/i386.h (ACCUMULATE_OUTGOING_ARGS): Enable for MSABI
        * config/i386/i386.c (init_cumulative_args): Disallow calls of MSABI
        functions when accumulate outgoing args is off.

2009-01-06  H.J. Lu  <hongjiu.lu@intel.com>

        PR bootstrap/38742
        * ira-color.c (ira_reuse_stack_slot): Check ENABLE_IRA_CHECKING
        before using pseudos_have_intersected_live_ranges_p.

        * ira-int.h (ira_assert): Always define.

2009-01-06  H.J. Lu  <hongjiu.lu@intel.com>

        AVX Programming Reference (December, 2008)
        * config/i386/avxintrin.h (_mm_permute2_pd): Removed.
        (_mm256_permute2_pd): Likewise.
        (_mm_permute2_ps): Likewise.
        (_mm256_permute2_ps): Likewise.
        * config/i386/i386.md (UNSPEC_VPERMIL2): Likewise.
        * config/i386/sse.md (avx_vpermil2<mode>3): Likewise.

        * config/i386/i386.c (ix86_builtins): Remove
        IX86_BUILTIN_VPERMIL2PD, IX86_BUILTIN_VPERMIL2PS,
        IX86_BUILTIN_VPERMIL2PD256 and IX86_BUILTIN_VPERMIL2PS256.
        (ix86_builtin_type): Remove V8SF_FTYPE_V8SF_V8SF_V8SI_INT,
        V4DF_FTYPE_V4DF_V4DF_V4DI_INT, V4SF_FTYPE_V4SF_V4SF_V4SI_INT
        and V2DF_FTYPE_V2DF_V2DF_V2DI_INT.
        (bdesc_args): Remove __builtin_ia32_vpermil2pd,
        __builtin_ia32_vpermil2ps, __builtin_ia32_vpermil2pd256 and
        __builtin_ia32_vpermil2ps256.
        (ix86_init_mmx_sse_builtins): Updated.
        (ix86_expand_args_builtin): Likewise.

2009-01-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa.c (output_call): Relocate non-jump insns in the delay slot of
        long absolute calls when generating PA 2.0 code.

2009-01-05  Vladimir Makarov  <vmakarov@redhat.com>

        PR rtl-optimization/38583
        * params.h (IRA_MAX_CONFLICT_TABLE_SIZE): New macro.

        * params.def (ira-max-conflict-table-size): New.

        * doc/invoke.texi (ira-max-conflict-table-size): Decribe.
        
        * ira.h (ira_conflicts_p): New external definition.
        
        * ira-conflicts.c (build_conflict_bit_table): Do not build too big
        table.  Report this.  Return result of building.
        (ira_build_conflicts): Use ira_conflicts_p.  Check result of
        building conflict table.

        * ira-color.c (fast_allocation): Use num instead of ira_allocnos_num.
        (ira_color): Use ira_conflicts_p.
        
        * global.c: Include ira.h.
        (pseudo_for_reload_consideration_p, build_insn_chain): Use
        ira_conflicts_p.

        * Makefile.in (global.o): Add ira.h.
        
        * ira-build.c (mark_all_loops_for_removal,
        propagate_some_info_from_allocno): New.
        (remove_unnecessary_allocnos): Call
        propagate_some_info_from_allocno.
        (remove_low_level_allocnos): New.
        (remove_unnecessary_regions): Add parameter.  Call
        mark_all_loops_for_removal and remove_low_level_allocnos.  Pass
        parameter to remove_unnecessary_regions.
        (ira_build): Remove all regions but root if the conflict table was
        not built.  Update conflict hard regs for allocnos crossing calls.

        * ira.c (ira_conflicts_p): New global.
        (ira): Define and use ira_conflicts_p.

        * reload1.c (compute_use_by_pseudos, reload, count_pseudo,
        count_spilled_pseudo, find_reg, alter_reg, finish_spills,
        emit_input_reload_insns, delete_output_reload): Use ira_conflicts_p.
        
2009-01-06  Ben Elliston  <bje@au.ibm.com>

        * gengtype-lex.l (YY_NO_INPUT): Define.

2009-01-05  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR c/34911
        * c-common.c (handle_vector_size_attribute): Also reject
        BOOLEAN_TYPE types.

2009-01-05  Sebastian Pop  <sebastian.pop@amd.com>

        PR tree-optimization/38492
        * graphite.c (rename_map_elt, debug_rename_elt,
        debug_rename_map_1, debug_rename_map, new_rename_map_elt,
        rename_map_elt_info, eq_rename_map_elts,
        get_new_name_from_old_name, bb_in_sese_p): Moved around.
        (sese_find_uses_to_rename_use): Renamed sese_build_livein_liveouts_use.
        (sese_find_uses_to_rename_bb): Renamed sese_build_livein_liveouts_bb.
        (sese_build_livein_liveouts): New.
        (new_sese, free_sese): New.
        (new_scop): Call new_sese.
        (free_scop): Call free_sese.
        (rename_variables_from_edge, rename_phis_end_scop): Removed.
        (register_old_new_names): Renamed register_old_and_new_names.
        (register_scop_liveout_renames, add_loop_exit_phis,
        insert_loop_close_phis, struct igp,
        default_liveout_before_guard, add_guard_exit_phis,
        insert_guard_phis, copy_renames): New.
        (translate_clast): Call insert_loop_close_phis and insert_guard_phis.
        (sese_add_exit_phis_edge): Renamed scop_add_exit_phis_edge.
        (rewrite_into_sese_closed_ssa): Renamed scop_insert_phis_for_liveouts.
        (scop_adjust_phis_for_liveouts): New.
        (gloog): Call scop_adjust_phis_for_liveouts.

        * graphite.h (struct sese): Documented.  Added fields liveout,
        num_ver and livein.
        (SESE_LIVEOUT, SESE_LIVEIN, SESE_LIVEIN_VER, SESE_NUM_VER): New.
        (new_sese, free_sese, sese_build_livein_liveouts): Declared.
        (struct scop): Added field liveout_renames.
        (SCOP_LIVEOUT_RENAMES): New.

2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>

        PR tree-optimization/38510
        * graphite.c (recompute_all_dominators): Call mark_irreducible_loops.
        (translate_clast): Call recompute_all_dominators before
        graphite_verify.
        (gloog): Call recompute_all_dominators before graphite_verify.

2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
            Jan Sjodin  <jan.sjodin@amd.com>

        PR tree-optimization/38500
        * graphite.c (create_sese_edges): Call fix_loop_structure after
        splitting blocks.

2009-01-05  Joel Sherrill  <joel.sherrill@oarcorp.com>

        * config.gcc: Add m32r*-*-rtems*.
        * config/m32r/rtems.h: New file.

2009-01-05  Ben Elliston  <bje@au.ibm.com>

        * Makefile.in (.po.gmo): Use mkinstalldirs, not test -d || mkdir.
        (.po.pox): Likewise.
        (po/gcc.pot): Likewise.

2009-01-04  David S. Miller  <davem@davemloft.net>

        * config/sparc/sparc.h (SECONDARY_MEMORY_NEEDED_RTX): Delete.
        (STARTING_FRAME_OFFSET): Always set to zero.

2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>

        * tree.def (LSHIFT_EXPR, RSHIFT_EXPR): Add commentary.
        * tree-cfg.c (verify_gimple_assign_binary): Allow shifts of
        fixed-point types, and vectors of the same.

2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>

        * config/mips/sync.md (*mb_barrier): Rename to...
        (*memory_barrier): ...this.

2009-01-04  Jonathan Wakely  <jwakely.gcc@gmail.com>

        * doc/extend.texi (Function Attributes): Move @cindex after @item
        for 'artificial' and 'flatten'. Fix grammar for 'externally_visible'
        and put in alphabetical order. Fix 'target' name and put in order.
        * doc/invoke.texi (-Wstrict-null-sentinel, -fipa-matrix-reorg): Fix
        typos.

2009-01-04  Uros Bizjak  <ubizjak@gmail.com>

        * config/s390/s390.md (UNSPEC_MB): Rename from UNSPECV_MB.
        (memory_barrier): Expand as unspec instead of unspec_volatile.
        Remove mem:BLK from insn operands.  Use Pmode scratch register.
        (*memory_barrier): Define as unspec instead of unspec_volatile.
        Use (match_dup 0) as input operand.

        * config/sparc/sparc.md (UNSPEC_MEMBAR): Rename from UNSPECV_MEMBAR.
        * config/sparc/sync.md (memory_barrier): Expand as unspec instead of
        unspec_volatile.  Remove mem:BLK from insn operands.  Use Pmode
        scratch register.  Remove operand 1.
        (*stbar): Define as unspec instead of unspec_volatile.
        Use (match_dup 0) as input operand, remove (const_int 8).
        (*membar): Define as unspec instead of unspec_volatile.
        Use (match_dup 0) as input operand, remove input operand 2.

        * config/xtensa/xtensa.md (UNSPEC_MEMW): Rename from UNSPECV_MEMW.
        (memory_barrier): Expand as unspec instead of unspec_volatile.
        Remove mem:BLK from insn operands.  Use Pmode scratch register.
        (*memory_barrier): Define as unspec instead of unspec_volatile.
        Use (match_dup 0) as input operand.

        * config/ia64/sync.md (memory_barrier): Redefine as expander pattern.
        Remove mem:BLK from insn operands.  Use Pmode scratch register.
        Set volatile flag on operand 0.
        (*memory_barrier): New insn pattern.

        * config/rs6000/sync.md (memory_barrier): Remove mem:BLK from
        insn operands.
        (*memory_barrier): Use (match_dup 0) as input operand.

        * config/mips/sync.md (memory_barrier): Redefine as expander pattern.
        Remove mem:BLK from insn operands.  Use Pmode scratch register.
        Set volatile flag on operand 0.
        (*mb_internal): New insn pattern.

        * config/alpha/sync.md (*memory_barrier): Rename from *mb_internal.

2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>

        PR middle-end/38586
        * function.c (struct temp_slot): Move to the section of the file
        that deals with temp slots.  Remove field 'address'.
        (temp_slot_address_table): New hash table of address -> temp slot.
        (struct temp_slot_address_entry): New struct, items for the table.
        (temp_slot_address_compute_hash, temp_slot_address_hash,
        temp_slot_address_eq, insert_temp_slot_address): Support functions
        for the new table.
        (find_temp_slot_from_address): Rewrite to use the new hash table.
        (remove_unused_temp_slot_addresses): Remove addresses of temp
        slots that have been made available.
        (remove_unused_temp_slot_addresses_1): Call-back for htab_traverse,
        worker function for remove_unused_temp_slot_addresses.
        (assign_stack_temp_for_type): Don't clear the temp slot address list.
        Add the temp slot address to the address -> temp slot map.
        (update_temp_slot_address): Update via insert_temp_slot_address.
        (free_temp_slots): Call remove_unused_temp_slot_addresses.
        (pop_temp_slots): Likewise.
        (init_temp_slots): Allocate the address -> temp slot map, or empty
        the map if it is already allocated.
        (prepare_function_start): Initialize temp slot processing.

2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>

        PR middle-end/38584
        * cfgexpand.c (estimate_stack_frame_size): Simplify the estimate:
        Calculate the size of all stack vars assuming no packing of stack
        vars will happen, replacing a quadratic algorithm with a linear one.

2009-01-03  Jakub Jelinek  <jakub@redhat.com>

        PR target/38707
        * expmed.c (store_bit_field_1): Don't modify op0 if movstrict insn
        can't be used.

2009-01-03  Diego Novillo  <dnovillo@google.com>

        * doc/contrib.texi: Update contributions.

2009-01-03  Jakub Jelinek  <jakub@redhat.com>

        PR c++/38705
        * builtins.c (fold_builtin_memory_op): Give up if either operand
        is volatile.  Set srctype or desttype to non-qualified version
        of the other type.

        PR c/38700
        * builtins.c (fold_builtin_expect): Only check DECL_WEAK for VAR_DECLs
        and FUNCTION_DECLs.

2009-01-02  Kenneth Zadeck  <zadeck@naturalbridge.com>

        PR rtl-optimization/35805
        * df-problems.c (df_lr_finalize): Add recursive call to resolve lr
        problem if fast dce is able to remove any instructions.
        * dce.c (dce_process_block): Fix dump message.
        
2009-01-02  Mark Mitchell  <mark@codesourcery.com>

        PR 33649
        * tree-ssa-pre.c (compute_antic): Correct loop bounds.

2009-01-02  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/38690
        * tree-flow.h (op_code_prio, op_prio): New prototypes.
        * tree-pretty-print.c (op_code_prio): New function.
        (op_prio): No longer static.  Use op_code_prio.
        * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs):
        Use op_prio and op_code_prio to determine if () should be
        printed around operand(s) or not.

        * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs,
        dump_gimple_call, dump_gimple_switch, dump_gimple_cond,
        dump_gimple_label, dump_gimple_try, dump_symbols, dump_gimple_phi,
        dump_gimple_mem_ops, dump_bb_header, dump_bb_end, pp_cfg_jump): Use
        pp_character instead of pp_string for single letter printing.

2009-01-02  Richard Sandiford  <rdsandiford@googlemail.com>

        * doc/extend.texi: Fix '#pragma GCC option' typo.

2009-01-02  Richard Guenther  <rguenther@suse.de>

        * doc/install.texi (--enable-checking): Mention different
        default for stage1.
        (--enable-stage1-checking): Document.

2009-01-01  Andrew Pinski  <pinskia@gmail.com>

        PR middle-end/30142
        * tree-cfg.c (verify_expr): Add INDIRECT_REF case.  Change MODIFY_EXPR
        case to be an error.

2009-01-02  Ben Elliston  <bje@au.ibm.com>

        * config/fp-bit.h (pack_d): Constify argument.
        * config/fp-bit.c (makenan): Constify return type. Remove casts.
        (isnan): Constify argument.
        (isinf): Likewise.
        (iszero): Likewise.
        (pack_d): Likewise.
        (_fpadd_parts): Constify return type.
        (_fpmul_parts): Likewise.
        (_fpdiv_parts): Likewise.

2009-01-01  Jakub Jelinek  <jakub@redhat.com>

        PR c/36489
        * c-typeck.c (add_pending_init): Add IMPLICIT argument.  Only
        warn about overwriting initializer with side-effects or
        -Woverride-init if !IMPLICIT.
        (output_init_element): Likewise.  Pass IMPLICIT down to
        add_pending_init.
        (process_init_element): Add IMPLICIT argument.  Pass it down
        to output_init_element.
        (push_init_element, pop_init_level, set_designator): Adjust
        process_init_element callers.
        (set_nonincremental_init, set_nonincremental_init_from_string):
        Adjust add_pending_init callers.
        (output_pending_init_elements): Adjust output_init_element callers.
        * c-tree.h (process_init_element): Adjust prototype.
        * c-parser.c (c_parser_initelt, c_parser_initval): Adjust
        process_init_element callers.