compiler, runtime: More steps toward separating int and intgo.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193059 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-31  Jakub Jelinek  <jakub@redhat.com>

PR tree-optimization/53708
* tree-vect-data-refs.c (vect_can_force_dr_alignment_p): Preserve
user-supplied alignment when used with an explicit section name.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193058 138bc75d-0d04-0410-961f-82ee72b054a4

* include/bits/forward_list.h (forward_list::assign): Dispatch to new
functions based on assignability of elements.
(forward_list::_M_assign): Add overloaded functions for assigning
via assignment or via clearing and insertion.
(forward_list::_M_assign_val): Likewise.
(forward_list::_M_move_assign(forward_list&&, false_type)): Do not
erase elements that are not moved.
* include/bits/forward_list.tcc (forward_list::operator=): Call
assign() to copy elements.
* testsuite/23_containers/forward_list/cons/10.cc: New.
* testsuite/23_containers/forward_list/cons/11.cc: New.
* testsuite/23_containers/forward_list/cons/12.cc: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193057 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193056 138bc75d-0d04-0410-961f-82ee72b054a4

gcc:
2012-10-31  Dehao Chen  <dehao@google.com>

* tree-eh.c (do_return_redirection): Set location for jump statement.
(do_goto_redirection): Likewise.
(frob_into_branch_around): Likewise.
(lower_try_finally_nofallthru): Likewise.
(lower_try_finally_copy): Likewise.
(lower_try_finally_switch): Likewise.
* expr.c (store_expr): Use current insn location instead of expr
location.
(expand_expr_real): Likewise.
(expand_expr_real_1): Likewise.

gcc/testsuite:
2012-10-31  Dehao Chen  <dehao@google.com>

* g++.dg/debug/dwarf2/block.C: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193053 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-31   Easwaran Raman  <eraman@google.com>

PR target/54938
PR middle-end/54957
* optabs.c (emit_cmp_and_jump_insn_1): Add REG_BR_PROB note
only if it doesn't already exist.
* stmt.c (get_outgoing_edge_probs): Return 0 if BB is NULL.
(emit_case_dispatch_table): Handle the case where STMT_BB is
NULL.
(expand_sjlj_dispatch_table): Pass BB containing before_case
to emit_case_dispatch_table.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193052 138bc75d-0d04-0410-961f-82ee72b054a4

This patch implements generic type query and conversion functions,
and applies them to the use of cgraph_node, varpool_node, and symtab_node.

The functions are:

bool is_a <TYPE> (pointer)
  Tests whether the pointer actually points to a more derived TYPE.

TYPE *as_a <TYPE> (pointer)
  Converts pointer to a TYPE*.

TYPE *dyn_cast <TYPE> (pointer)
  Converts pointer to TYPE* if and only if "is_a <TYPE> pointer".
  Otherwise, returns NULL.
  This function is essentially a checked down cast.

These functions reduce compile time and increase type safety when treating a
generic item as a more specific item.  In essence, the code change is from

  if (symtab_function_p (node))
    {
      struct cgraph_node *cnode = cgraph (node);
      ....
    }

to

  if (cgraph_node *cnode = dyn_cast <cgraph_node> (node))
    {
      ....
    }

The necessary conditional test defines a variable that holds a known good
pointer to the specific item and avoids subsequent conversion calls and
the assertion checks that may come with them.

When, the property test is embedded within a larger condition, the variable
declaration gets pulled out of the condition.  (This leaves some room for
using the variable inappropriately.)

  if (symtab_variable_p (node)
      && varpool (node)->finalized)
    varpool_analyze_node (varpool (node));

becomes

  varpool_node *vnode = dyn_cast <varpool_node> (node);
  if (vnode && vnode->finalized)
    varpool_analyze_node (vnode);

Note that we have converted two sets of assertions in the calls to varpool
into safe and efficient use of a variable.

There are remaining calls to symtab_function_p and symtab_variable_p that
do not involve a pointer to a more specific type.  These have been converted
to calls to a functions is_a <cgraph_node> and is_a <varpool_node>.  The
original predicate functions have been removed.

The cgraph.h header defined both a struct and a function with the name
varpool_node.  This name overloading can cause some unintuitive error messages
when, as is common in C++, one omits the struct keyword when using the type.
I have renamed the function to varpool_node_for_decl.

Tested on x86_64.

Index: gcc/ChangeLog

2012-10-31  Lawrence Crowl  <crowl@google.com>

* is-a.h: New.
(is_a <T> (U*)): New.  Test for is-a relationship.
(as_a <T> (U*)): New.  Treat as a derived type.
(dyn_cast <T> (U*)): New.  Conditionally cast based on is_a.
* cgraph.h (varpool_node): Rename to varpool_node_for_decl.
Adjust callers to match.
(is_a_helper <cgraph_node>::test (symtab_node_def *)): New.
(is_a_helper <varpool_node>::test (symtab_node_def *)): New.
(symtab_node_def::try_function): New.  Change most calls to
symtab_function_p with calls to dyn_cast <cgraph_node> (p).
(symtab_node_def::try_variable): New.  Change most calls to
symtab_variable_p with calls to dyn_cast <varpool_node> (p).
(symtab_function_p): Remove.  Change callers to use
        is_a <cgraph_node> (p) instead.
(symtab_variable_p): Remove.  Change callers to use
        is_a <varpool_node> (p) instead.
* cgraph.c (cgraph_node_for_asm): Remove redundant call to
symtab_node_for_asm.
* cgraphunit.c (symbol_finalized_and_needed): New.
(symbol_finalized): New.
(cgraph_analyze_functions): Split complicated conditionals out into
above new functions.
* Makefile.in (CGRAPH_H): Add is-a.h as used by cgraph.h.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193051 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc.dg/pr44974.c: Add noinline.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193050 138bc75d-0d04-0410-961f-82ee72b054a4

Fix PR number typo in ChangeLog.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193049 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-31  Janus Weil  <janus@gcc.gnu.org>

PR fortran/53718
* trans.h (GFC_DECL_PUSH_TOPLEVEL): Removed.
* trans-decl.c (gfc_get_symbol_decl,gfc_generate_function_code): Remove
GFC_DECL_PUSH_TOPLEVEL.
(build_function_decl): Do not push __copy procedure to toplevel.

2012-10-31  Janus Weil  <janus@gcc.gnu.org>

PR fortran/53718
* gfortran.dg/class_54.f90: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193048 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/
PR tree-optimization/55018
* basic-block.h (dfs_find_deadend): New prototype.
* cfganal.c (dfs_find_deadend): No longer static.  Use bitmap
instead of sbitmap for visited.
(flow_dfs_compute_reverse_execute): Use dfs_find_deadend here, too.
* dominance.c (calc_dfs_tree): If saw_unconnected,
traverse from dfs_find_deadend of unconnected b
instead of b directly.

testsuite/
PR tree-optimization/55018
* gcc.dg/torture/pr55018.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193047 138bc75d-0d04-0410-961f-82ee72b054a4

runtime/goc2c: Drop gc support, change int to intgo.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193046 138bc75d-0d04-0410-961f-82ee72b054a4

* config/i386/i386.c (ix86_expand_prologue): Emit frame info for the
special register pushes before frame probing and allocation.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193044 138bc75d-0d04-0410-961f-82ee72b054a4

/cp
2012-10-31  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/54583
* tree.c (build_cplus_array_type): Set TREE_NO_WARNING on the
TYPE_SIZE of VLAs.

/testsuite
2012-10-31  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/54583
* g++.dg/ext/vla13.C: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193043 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-31  Vladimir Makarov  <vmakarov@redhat.com>

PR middle-end/55150
* lra-constraints.c (lra_constraints): Update debug insn info
after equivalence change.

2012-10-31  Vladimir Makarov  <vmakarov@redhat.com>

PR middle-end/55150
* gcc.dg/pr55150.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193042 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-31  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55134
        * trans-array.c (gfc_conv_array_parameter): Regard AS_DEFERRED
        * as
        array with descriptor.

2012-10-31  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55134
        * gfortran.dg/associate_11.f90: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193041 138bc75d-0d04-0410-961f-82ee72b054a4

* testsuite-management/validate_failures.py: Fix parsing
of summary lines.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193039 138bc75d-0d04-0410-961f-82ee72b054a4

* ipa-inline.c (ipa_inline): Avoid infinite loop on inlining
empty virtual functions calling themselves.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193038 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-31  Tobias Burnus  <burnus@net-b.de>
            Joseph Myers <joseph@codesourcery.com>
            David S. Miller <davem@davemloft.net>
            Ulrich Drepper <drepper@redhat.com>
            Marek Polacek <polacek@redhat.com>:
            Petr Baudis <pasky@suse.cz>

        * math/complex.c (csqrtq): NaN and INF fixes.
        * math/sqrtq.c (sqrt): NaN, INF and < 0 fixes.
        * math/expm1q.c (expm1q): Changes from GLIBC. Use expq for
        large parameters. Fix errno for boundary conditions.
        * math/finiteq.c (finiteq): Add comment.
        * math/fmaq.c (fmaq): Changes from GLIBC. Fix missing underflows
        and bad results for some subnormal results. Fix sign of inexact
        zero return. Fix sign of exact zero return.
        Ensure additions are not scheduled after fetestexcept.
        * math/jnq.c (jnq): Changes from GLIBC. Set up errno properly
        for ynq. Fix jnq precision.
        * math/nearbyintq.c (nearbyintq): Changes from GLIBC. Do not
        manipulate bits before adding and subtracting TWO112[sx].
        * math/rintq.c (rintq): Ditto.
        * math/scalbnq.c (scalbnq): Changes from GLIBC. Fix integer
        overflow.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193037 138bc75d-0d04-0410-961f-82ee72b054a4

PR other/50899
* doc/gcc.texi: Add @direntry for gcov.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193036 138bc75d-0d04-0410-961f-82ee72b054a4

* expr.c (can_move_by_pieces): Apply ATTRIBUTE_UNUSED to len.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193035 138bc75d-0d04-0410-961f-82ee72b054a4

Uppercase in ChangeLog.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193034 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-31  Jonathan Yong  <jon_y@users.sourceforge.net>

* config/os/mingw32-w64/os_defines.h: Do not define anymore
_GLIBCXX_HAVE_BROKEN_VSWPRINTF.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193033 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-31  Jonathan Yong  <jon_y@users.sourceforge.net>

* config/os/mingw32-w64/os_defines.h: Do not define anymore
_GLIBCXX_HAVE_BROKEN_VSWPRINTF.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193032 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/54955 - Fail to parse alignas expr at the beginning of a declaration

In this PR, g++ embarrassingly fails to parse the simple alignas
expression below:

    alignas(double) int f;

even though the simple-declaration production in Clause 7 suggests
otherwise.

Fixed thus and tested on x86_64-unknown-linux-gnu against trunk.

gcc/cp

PR c++/54955
* parser.c (cp_nth_tokens_can_be_std_attribute_p): Recognize the
'Alignas' keyword as the beginning of a c++11 attribute specifier.
Update the comment of the function.
(cp_next_tokens_can_be_gnu_attribute_p): Update the comment of the
function.

gcc/testsuite/

PR c++/54955
* g++.dg/cpp0x/gen-attrs-48-2.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193029 138bc75d-0d04-0410-961f-82ee72b054a4

PR tree-optimization/19105
PR tree-optimization/21643
PR tree-optimization/46309
* tree-ssa-reassoc.c (init_range_entry): Add STMT argument
and use it if EXP is NULL.
(update_range_test): Handle OPCODE equal to ERROR_MARK
and oe->op NULL.
(optimize_range_tests): Likewise.
(final_range_test_p, suitable_cond_bb, no_side_effect_bb, get_ops,
maybe_optimize_range_tests): New functions.
(reassociate_bb): Call maybe_optimize_range_tests if last
stmt of bb is GIMPLE_COND that hasn't been visited yet.

* gcc.dg/pr19105.c: New test.
* gcc.dg/pr21643.c: New test.
* gcc.dg/pr46309-2.c: New test.
* gcc.c-torture/execute/pr46309.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193028 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/
* config/rs6000/rs6000.md (insvsi, insvdi, extvsi, extvdi): Rename to...
(insvsi_internal, insvdi_internal, extvsi_internal)
(extvdi_internal): ...this.
(insv, extv): Update accordingly.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193027 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/
* combine.c (simplify_comparison): If BITS_BIG_ENDIAN, always assume
that zero_extracts of const_ints are doing word-sized extractions.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193026 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/
* combine.c (make_extraction): Remove dead wanted_inner_mode-
and pos_rtx-related code.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193025 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/
* expmed.c (store_bit_field_1): Move generation of MEM insvs
to the MEM_P block.
(extract_bit_field_1): Likewise extvs and extzvs.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193024 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/
* expmed.c (store_bit_field_using_insv): New function,
split out from...
(store_bit_field_1): ...here.
(extract_bit_field_using_extv): New function, split out from...
(extract_bit_field_1): ...here.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193023 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/
* expmed.c (store_bit_field_1): Use OP_MODE to check whether an
insv pattern is available.  Remove redundant checks for OP_MODE
being MAX_MACHINE_MODE.
(extract_bit_field_1): Remove redundant checks for EXT_MODE being
MAX_MACHINE_MODE.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193022 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/
* expmed.c (store_bit_field_1): Remove test for BLKmode values.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193021 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-31  Ralf Corsépius  <ralf.corsepius@rtems.org>,
    Joel Sherrill  <joel.sherrill@oarcorp.com>

* config/sparc/t-rtems: New (Custom multilibs).
* config/sparc/t-rtems-64: New (Custom multilibs).
* config.gcc (sparc64-*-rtems*): Add sparc/t-rtems-64.
(sparc-*-rtems*): Add sparc/t-rtems.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193018 138bc75d-0d04-0410-961f-82ee72b054a4

Detect assembler support for RTM

* acinclude.m4 (LIBITM_CHECK_AS_RTM): New.
* configure.ac: Use it.
* config.h.in, configure: Rebuild.
* testsuite/Makefile.in: Rebuild.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193017 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/
* config/rs6000/rs6000.c (legitimize_reload_address): Remove code
handling non-aligned ld/std.
* config/rs6000/paired.md (movv2sf_paired): Use 'Y' instead of 'o'.
* config/rs6000/vsx.md (vsx_mov, vsx_movti): Likewise.
* config/rs6000/altivec.md (altivec_mov, altivec_movti): Likewise.
* config/rs6000/dfp.md (movtd_internal): Use 'm' instead of 'o'.
gcc/testsuite/
* gcc.target/powerpc/dimode_off.c: New.
* gcc.target/powerpc/timode_off.c: New.
* gcc.target/powerpc/dfmode_off.c: New.
* gcc.target/powerpc/tfmode_off.c: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193016 138bc75d-0d04-0410-961f-82ee72b054a4

* src/powerpc/linux64_closure.S: Add new ABI support.
* src/powerpc/linux64.S: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193015 138bc75d-0d04-0410-961f-82ee72b054a4

* config/rs6000/linux64.h (TARGET_OS_CPP_BUILTINS): Define _CALL_LINUX.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193014 138bc75d-0d04-0410-961f-82ee72b054a4

    PR target/52498
        * vmsdbgout.c (vmsdbgout_write_source_line): Comment out names of
        last two parameters.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193013 138bc75d-0d04-0410-961f-82ee72b054a4

    * lra-constraints.c (choose_split_class): Add ATTRIBUTE_UNUSED to
        hard_reg_class.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193012 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-31  Joel Sherrill  <joel.sherrill@oarcorp.com>

* config.host (m32r-*-rtems*): Include crtinit.o and crtfinit.o
as extra_parts.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193010 138bc75d-0d04-0410-961f-82ee72b054a4

* include/bits/forward_list.h (forward_list): Adjust comments.
(forward_list(const forward_list&, const _Alloc&)): Use
_M_range_initialize to copy elements.
(forward_list(forward_list&&, const _Alloc&)): Add exception
specification.
(_Fwd_list_base(const _Fwd_list_base&, const _Node_alloc_type&)):
Remove.
* include/bits/forward_list.tcc (_Fwd_list_base(const _Fwd_list_base&,
const _Node_alloc_type&)): Remove.
(_Fwd_list_base(_Fwd_list_base&&, const _Node_alloc_type&)): Fix
memory leak when allocators are not equal.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193009 138bc75d-0d04-0410-961f-82ee72b054a4

compiler: Add -fgo-relative-import-path.

* lang.opt (-fgo-relative-import-path): New option.
* go-lang.c (go_relative_import_path): New static variable.
(go_langhook_init): Pass go_relative_import_path to
go_create_gogo.
(go_langhook_handle_option): Handle -fgo-relative-import-path.
* go-c.h (go_create_gogo): Update declaration.
* gccgo.texi (Invoking gccgo): Document
-fgo-relative-import-path.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193008 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193006 138bc75d-0d04-0410-961f-82ee72b054a4

PR debug/54551
PR debug/54693
* valtrack.c (dead_debug_promote_uses): Assert-check that
global used bit was clear and initialize entry
unconditionally.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193003 138bc75d-0d04-0410-961f-82ee72b054a4

* cse.c (hash_rtx_cb): Replace RTX_UNCHANGING_P with MEM_READONLY_P in
head comment.
(hash_rtx): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193001 138bc75d-0d04-0410-961f-82ee72b054a4

Remove lra_in_progress check for ARG_POINTER_REGNUM

gcc/

PR rtl-optimization/55093
* rtlanal.c (simplify_subreg_regno): Remove lra_in_progress
check for ARG_POINTER_REGNUM.

gcc/testsuite/

PR rtl-optimization/55093
* gcc.target/i386/pr55093.c: New file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193000 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc-interface/Make-lang.in: Fix and clean up rules for C files.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192998 138bc75d-0d04-0410-961f-82ee72b054a4

Rename pr55116.c to pr55116-1.c

* gcc.target/i386/pr55116.c: Renamed to ...
* gcc.target/i386/pr55116-1.c: This.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192997 138bc75d-0d04-0410-961f-82ee72b054a4

Add another testcase for PR middle-end/55116

* gcc.target/i386/pr55116-2.c: New file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192996 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-30  Steve Ellcey  <sellcey@mips.com>

* config/mips/mti-linux.h (SYSROOT_SUFFIX_SPEC): Change order
and add mabi=64.
(DRIVER_SELF_SPECS): Make -n32 the default on mips64* archs.
* config/mips/t-mti-linux (MULTILIB_OPTIONS): Change order.
(MULTILIB_DIRNAMES): Ditto.
(MULTILIB_EXCEPTIONS): New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192995 138bc75d-0d04-0410-961f-82ee72b054a4

Fix ChangeLog typo.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192994 138bc75d-0d04-0410-961f-82ee72b054a4

* lra-constrraints.c (check_secondary_memory_needed_p):
Add ATTRIBUTE_UNUSED to parameters.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192993 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/
* defaults.h (SLOW_UNALIGNED_ACCESS): Provide default definition.
* expmed.c (SLOW_UNALIGNED_ACCESS): Remove default definition.
* expr.c (SLOW_UNALIGNED_ACCESS): Likewise.
* lra-constraints.c (SLOW_UNALIGNED_ACCESS): Likewise.
(simplify_operand_subreg): Don't check STRICT_ALIGNMENT here.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192992 138bc75d-0d04-0410-961f-82ee72b054a4

* ipa-inline-analysis.c (eliminated_by_inlining_prob): Cleanup.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192991 138bc75d-0d04-0410-961f-82ee72b054a4

* tree-ssa-loop-niter.c (number_of_iterations_exit): New parameter
EVERY_ITERATION with implicit value of true.
(record_estimate): Check dominance relationship of the basic block
we are estimating on instead of relying on UPPER to be false.
(struct ilb_data): Drop RELIABLE.
(idx_infer_loop_bounds): Update.
(infer_loop_bounds_from_ref): Drop parameter RELIABLE.
(infer_loop_bounds_from_array): Drop parameter RELIABLE.
(infer_loop_bounds_from_undefined): Update comments and handling
of RELIABLE.
(estimate_numbers_of_iterations_loop): Record all bounds.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192990 138bc75d-0d04-0410-961f-82ee72b054a4

* tree-ssa-loop-niter.c (number_of_iterations_exit): New parameter
EVERY_ITERATION with implicit value of true.
(record_estimate): Check dominance relationship of the basic block
we are estimating on instead of relying on UPPER to be false.
(struct ilb_data): Drop RELIABLE.
(idx_infer_loop_bounds): Update.
(infer_loop_bounds_from_ref): Drop parameter RELIABLE.
(infer_loop_bounds_from_array): Drop parameter RELIABLE.
(infer_loop_bounds_from_undefined): Update comments and handling
of RELIABLE.
(estimate_numbers_of_iterations_loop): Record all bounds.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192989 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/
* lra-eliminations.c (lra_eliminate_regs_1): Use simplify_gen_subreg
rather than gen_rtx_SUBREG.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192988 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-30  Richard Biener  <rguenther@suse.de>

* gimple.h (gimple_store_p): New predicate.
(gimple_assign_load_p): Likewise.
* tree-inline.c (estimate_num_insns): Use it.

* gcc.dg/vect/slp-perm-2.c: Adjust.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192987 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-30  Marc Glisse  <marc.glisse@inria.fr>

* fold-const.c (fold_binary_op_with_conditional_arg): Handle vectors.
(fold_binary_loc): call it for VEC_COND_EXPR.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192986 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-30  James Greenhalgh  <james.greenhalgh@arm.com>
    Tejas Belagod  <tejas.belagod@arm.com>

* config/aarch64/aarch64-simd.md
(aarch64_simd_bsl<mode>_internal): New pattern.
(aarch64_simd_bsl<mode>): Likewise.
(aarch64_vcond_internal<mode>): Likewise.
(vcondu<mode><mode>): Likewise.
(vcond<mode><mode>): Likewise.
* config/aarch64/iterators.md (UNSPEC_BSL): Add to define_constants.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192985 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-30  Richard Biener  <rguenther@suse.de>

PR tree-optimization/55111
* tree-ssa-pre.c (eliminate_insert): Properly fold the built
stmt.

* gcc.dg/torture/pr55111.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192984 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/54963
* config/sh/iterators.md (SIDI): New mode iterator.
* config/sh/sh.md (negdi2): Use parallel around operation and T_REG
clobber in expander.
(*negdi2): Mark output operand as early clobbered.  Add T_REG clobber.
Split after reload.  Simplify split code.
(abssi2, absdi2): Fold expanders into abs<mode>2.
(*abssi2, *absdi2): Fold into *abs<mode>2 insn_and_split.  Split insns
before reload.
(*negabssi2, *negabsdi2): Fold into *negabs<mode>2.  Add T_REG clobber.
Split insns before reload.
(negsi_cond): Reformat.  Use emit_move_insn instead of
gen_movesi.
(negdi_cond): Reformat.  Use emit_move_insn instead of a pair
of gen_movsi.  Split insn before reload.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192983 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/54988
* config/sh/sh.md (tstqi_t_zero): Rename to *tstqi_t_zero.
(*tst<mode>_t_zero): New insns.
* config/sh/iterators.md (lowpart_be, lowpart_le): New mode attributes.

PR target/54988
* gcc.target/sh/pr53988.c: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192982 138bc75d-0d04-0410-961f-82ee72b054a4

Remove alloca from dump_gimple_bb_header

* gimple-pretty-print.c (dump_gimple_bb_header): Avoid alloca.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192981 138bc75d-0d04-0410-961f-82ee72b054a4

Add myself to MAINTAINERS

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192980 138bc75d-0d04-0410-961f-82ee72b054a4

PR debug/54953
* valtrack.h (DEBUG_TEMP_AFTER_WITH_REG_FORCE): New.
* valtrack.c (dead_debug_insert_temp): Use emit_debug_insn_after
even for where == DEBUG_TEMP_AFTER_WITH_REG_FORCE.
* dce.c (word_dce_process_block, dce_process_block): Pass
DEBUG_TEMP_AFTER_WITH_REG_FORCE if insn is needed and therefore
not going to be eliminated.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192978 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/54989
* gcc.dg/hoist-register-pressure-1.c: Rename from
hoist-register-pressure.c. Add nonpic condition.
* gcc.dg/hoist-register-pressure-2.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192976 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192975 138bc75d-0d04-0410-961f-82ee72b054a4

This patch implements the unification of the *bitmap interfaces as discussed.
Essentially, we rename ebitmap and sbitmap functions to use the same names
as the bitmap functions.  This rename works because we can now overload
on the bitmap type.  Some macros now become inline functions to enable
that overloading.

The sbitmap non-bool returning bitwise operations have been merged with
the bool versions.  Sometimes this merge involved modifying the non-bool
version to compute the bool value, and sometimes modifying bool version to
add additional work from the non-bool version.  The redundant routines have
been removed.

The allocation functions have not been renamed, because we often do not
have an argument on which to overload.  The cardinality functions have not
been renamed, because they have different parameters, and are thus not
interchangable.  The iteration functions have not been renamed, because
they are functionally different.

Tested on x86_64, contrib/config-list.mk testing passed.

Index: gcc/ChangeLog

2012-10-29  Lawrence Crowl  <crowl@google.com>

* sbitmap.h (sbitmap_copy): Rename bitmap_copy.
(sbitmap_copy_n): Rename bitmap_copy_n.
(sbitmap_equal): Rename bitmap_equal_p.
(sbitmap_empty_p): Rename bitmap_empty_p.
(sbitmap_range_empty_p): Rename bitmap_range_empty_p.
(sbitmap_zero): Rename bitmap_clear.
(sbitmap_ones): Rename bitmap_ones.
(sbitmap_vector_zero): Rename bitmap_vector_clear.
(sbitmap_vector_ones): Rename bitmap_vector_ones.
(sbitmap_not): Rename bitmap_not.
(sbitmap_a_and_b_cg): Commented out.
(sbitmap_a_and_b): Rename bitmap_and.  Add bool return.
(sbitmap_difference): Rename bitmap_and_compl.
(sbitmap_a_or_b_cg): Commented out.
(sbitmap_a_or_b): Rename bitmap_xor.  Add bool return.
(sbitmap_a_xor_b_cg): Commented out.
(sbitmap_a_xor_b): Rename bitmap_xor.  Add bool return.
(sbitmap_a_and_b_or_c_cg): Rename bitmap_and_or.
(sbitmap_a_and_b_or_c): Commented out.
(sbitmap_a_or_b_and_c_cg): Rename bitmap_or_and.
(sbitmap_a_or_b_and_c): Commented out.
(sbitmap_union_of_diff_cg): Rename bitmap_ior_and_compl.
(sbitmap_union_of_diff): Commented out.
(dump_sbitmap): Rename dump_bitmap.
(dump_sbitmap_file): Rename dump_bitmap_file.
(debug_sbitmap): Rename debug_bitmap.
(dump_sbitmap_vector): Rename dump_bitmap_vector.
(sbitmap_first_set_bit): Rename bitmap_first_set_bit.
(sbitmap_last_set_bit): Rename bitmap_last_set_bit.
(sbitmap_a_subset_b_p): Rename bitmap_subset_p.
(sbitmap_any_common_bits): Rename bitmap_intersect_p.
(#define sbitmap_free): Reimplement as inline function.
(#define sbitmap_vector_free): Reimplement as inline function.
* bitmap.h (#define bitmap_zero): Remove as redundant.
(#define bitmap_empty_p): Reimplement as inline function.
(#define dump_bitmap): Reimplement as inline function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192969 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/c-family:
PR c++/54930
* c.opt (Wreturn_local_addr): Define new option.

gcc/c:
PR c++/54930
* c-typeck.c (c_finish_return): Use OPT_Wreturn_local_addr.

gcc/cp:
PR c++/54930
* typeck.c (maybe_warn_about_returning_address_of_local): Use
OPT_Wreturn_local_addr.

gcc:
PR c++/54930
* doc/invoke.texi (Warning Options): Document -Wno-return-local-addr.

gcc/testsuite:
PR c++/54930
* gcc.dg/Wreturn-local-addr.c: New.
* g++.dg/warn/Wno-return-local-addr.C: New.
* g++.dg/warn/Wreturn-local-addr.C: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192968 138bc75d-0d04-0410-961f-82ee72b054a4

Add a testcase for PR middle-end/55116

PR middle-end/55116
* gcc.target/i386/pr55116.c: New file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192967 138bc75d-0d04-0410-961f-82ee72b054a4

Remove trailing white spaces

* lra-assigns.c: Remove trailing white spaces.
* lra-coalesce.c: Likewise.
* lra-constraints.c: Likewise.
* lra-eliminations.c: Likewise.
* lra-int.h: Likewise.
* lra-spills.c: Likewise.
* lra.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192966 138bc75d-0d04-0410-961f-82ee72b054a4

PR libstdc++/55123
* include/bits/shared_ptr_base.h (__shared_count::_S_create_from_up):
Do not instantiate allocator with element_type.
* testsuite/20_util/shared_ptr/cons/55123.cc: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192964 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-29  Manuel López-Ibáñez  <manu@gcc.gnu.org>

PR c/53066
c/
* c-decl.c (warn_if_shadowing): Do not warn if a variable
shadows a function, unless the variable is a function or a
pointer-to-function.
gcc/
* tree.h (FUNCTION_POINTER_TYPE_P): New.
testsuite/
* gcc.dg/Wshadow-4.c: New.
* gcc.dg/Wshadow-4.h: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192963 138bc75d-0d04-0410-961f-82ee72b054a4

PR debug/54693
* gcc/valtrack.c (dead_debug_insert_temp): Defer rescan of
newly-emitted debug insn.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192962 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog:
PR debug/54693
* tree-ssa-threadedge.c (thread_around_empty_block): Copy
debug temps from predecessor before threading.
gcc/testsuite/ChangeLog:
PR debug/54693
* gcc.dg/guality/pr54693.c: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192961 138bc75d-0d04-0410-961f-82ee72b054a4

* testsuite-management/x86_64-unknown-linux-gnu.xfail: Update.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192960 138bc75d-0d04-0410-961f-82ee72b054a4

PR debug/54551
PR debug/54693
* valtrack.c (dead_debug_global_find): Accept NULL dtemp.
(dead_debug_global_insert): Return new entry.
(dead_debug_global_replace_temp): Return early if REG is no
longer in place, or if dtemp was already substituted.
(dead_debug_promote_uses): Insert for all defs and replace all
debug uses at once.
(dead_debug_local_finish): Release used after promotion.
(dead_debug_insert_temp): Stop if dtemp is NULL.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192959 138bc75d-0d04-0410-961f-82ee72b054a4

PR debug/54693
* loop-unroll.c (loop_exit_at_end_p): Skip debug insns.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192958 138bc75d-0d04-0410-961f-82ee72b054a4

PR debug/54693
* config/i386/i386.c (add_parameter_dependencies): Stop
backward scan at the insn before the incoming head.
(ix86_dependencies_evaluation_hook): Skip debug insns.  Stop
if first_arg is head.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192957 138bc75d-0d04-0410-961f-82ee72b054a4

* mmap.c (backtrace_vector_release): Correct last patch: add
aligned, not size.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192956 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-29  Andrew Pinski  <apinski@cavium.com>

        * config/aarch64/aarch64-protos.h (aarch64_load_tp): New proto.
        * config/aarch64/aarch64.c (aarch64_load_tp): Export.
        (aarch64_init_builtins): Don't add __builtin_thread_pointer builtin.
        * config/aarch64/aarch64.h (aarch64_builtins): Delete

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192955 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-29  Marc Glisse  <marc.glisse@inria.fr>

PR middle-end/55027

gcc/
* tree.c (real_zerop, real_onep, real_twop, real_minus_onep):
Handle VECTOR_CST.

testsuite/
* gcc.dg/pr55027.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192954 138bc75d-0d04-0410-961f-82ee72b054a4

It is October, not September. :)

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192953 138bc75d-0d04-0410-961f-82ee72b054a4

Omit testing wrap and replacement fixes during testing.

This exposes a missing result and tests a test that got hidden before.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192952 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-29  Vladimir Makarov  <vmakarov@redhat.com>

* rtlanal.c (strip_address_mutation): Use SUBREG_REG instead of
XEXP.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192951 138bc75d-0d04-0410-961f-82ee72b054a4

* config/i386/i386.c (ix86_decompose_address): Use simplify_gen_subreg
for all addresses, zero-extended with AND.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192950 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-29  Vladimir Makarov  <vmakarov@redhat.com>

PR middle-end/55116
* rtlanal.c (strip_address_mutation): Add SUBREG case.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192949 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc-interface/Makefile.in (s-oscons.ads): Adjust call to xoscons.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192947 138bc75d-0d04-0410-961f-82ee72b054a4

* ipa-inline.c (want_inline_function_called_once_p): Rename to ...
(want_inline_function_to_all_callers_p): check also functions with
multiple callers.
(ipa_inline): Handle inlining for size into multiple callers.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192946 138bc75d-0d04-0410-961f-82ee72b054a4

* mmap.c (backtrace_vector_release): Make sure freed block is
aligned on 8-byte boundary.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192945 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-29  Vladimir Makarov  <vmakarov@redhat.com>

PR rtl-optimization/55106
* g++.dg/pr55106.C: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192944 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-29  Richard Guenther  <rguenther@suse.de>

PR middle-end/53695
* tracer.c (tracer): Fixup loop structure.
* cfgloopmanip.c (force_single_succ_latches): Add assert.
(fix_loop_structure): Re-compute loop latches and disambiguate
loops with multiple latches if required.

* gcc.dg/torture/pr53695.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192943 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-29  Pascal Obry  <obry@adacore.com>

* xoscons.adb, Make-generated.in; The template used by xoscons is now
given as parameter.
* gcc-interface/Make-lang.in: Update dependencies.

2012-10-29  Yannick Moy  <moy@adacore.com>

* exp_dbug.adb (Qualify_Entity_Name): Only do renaming in formal
verification mode when there is a homonym.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192942 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-26  James Greenhalgh  <james.greenhalgh@arm.com>

* MAINTAINERS (Write After Approval): Add myself.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192941 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-29  Thomas Quinot  <quinot@adacore.com>

* xoscons.adb: Minor reformatting.

2012-10-29  Yannick Moy  <moy@adacore.com>

* exp_alfa.adb (Expand_Alfa): Backtrack change that removed
qualification of names in formal verification mode. Instead,
the qualification should be modified.
* exp_dbug.adb (Qualify_Entity_Name): Modify qualification in formal
verification mode, so that only a suffix is added to distinguish
homonyms from the same scope.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192940 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-29  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document that pragma Optimize_Alignment (Space) is
ignored with a warning for packed variable length records.

2012-10-29  Thomas Quinot  <quinot@adacore.com>

* socket.c, g-socthi-dummy.adb, g-socthi-dummy.ads, g-socthi-vms.adb,
g-socthi-vms.ads, g-socthi-vxworks.adb, g-socthi-vxworks.ads,
s-oscons-tmplt.c, g-socthi-mingw.adb, g-socthi-mingw.ads, g-socthi.adb,
g-socthi.ads, xoscons.adb, g-socket.adb, g-sothco.ads: Introduce an
appropriate subtype for IOCTL requests, since these may be signed or
unsigned.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192939 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-29  Gary Dismukes  <dismukes@adacore.com>

* exp_alfa.adb: Minor reformatting.

2012-10-29  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi, gnat_ugn.texi: Clarify documentation on maximum
line length style switch.

2012-10-29  Robert Dewar  <dewar@adacore.com>

* layout.adb (Set_Composite_Alignment): Ignore pragma
Optimize_Alignment (Space) for packed variable length records.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192938 138bc75d-0d04-0410-961f-82ee72b054a4

2012-10-29  Robert Dewar  <dewar@adacore.com>

* s-bignum.adb: Minor comment change.

2012-10-29  Thomas Quinot  <quinot@adacore.com>

* s-oscons-tmplt.c: Fix signedness of ioctl request identifiers
for x86_64-freebsd.

2012-10-29  Yannick Moy  <moy@adacore.com>

* exp_alfa.adb (Expand_Alfa): Remove qualification of names.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192937 138bc75d-0d04-0410-961f-82ee72b054a4