gcc.git
9 years agoPass manager: add support for termination of pass list
Martin Liska [Wed, 4 Nov 2015 16:50:45 +0000 (17:50 +0100)]
Pass manager: add support for termination of pass list

* cgraphunit.c (cgraph_node::expand_thunk): Call
allocate_struct_function before init_function_start.
(cgraph_node::expand): Use push_cfun and pop_cfun.
* config/i386/i386.c (ix86_code_end): Call
allocate_struct_function before init_function_start.
* config/rs6000/rs6000.c (rs6000_code_end): Likewise.
* function.c (init_function_start): Move preamble to all
callers.
* passes.c (do_per_function_toporder): Use push_cfun and pop_cfun.
(execute_one_pass): Handle newly added TODO_discard_function.
(execute_pass_list_1): Terminate if cfun equals to NULL.
(execute_pass_list): Do not push and pop cfun, expect that
cfun is set.
* tree-pass.h (TODO_discard_function): Define.

From-SVN: r229764

9 years agoENABLE_CHECKING refactoring: remove remaining occurrences
Mikhail Maltsev [Wed, 4 Nov 2015 15:01:46 +0000 (15:01 +0000)]
ENABLE_CHECKING refactoring: remove remaining occurrences

libcpp/

* config.in: Regenerate.
* configure: Regenerate.
* configure.ac: Remove ENABLE_CHECKING.

gcc/

* cfganal.c (inverted_post_order_compute): Remove conditional
compilation, use flag_checking.
* config.in: Regenerate.
* configure: Regenerate.
* configure.ac: Remove ENABLE_CHECKING.
* genconditions.c: Do not #undef ENABLE_CHECKING.
* sese.h (bb_in_region): Comment out broken check.
* tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa_1): Remove
conditional compilation, use flag_checking.

From-SVN: r229758

9 years agoENABLE_CHECKING refactoring: C family front ends
Mikhail Maltsev [Wed, 4 Nov 2015 14:32:42 +0000 (14:32 +0000)]
ENABLE_CHECKING refactoring: C family front ends

gcc/c-family/

* c-omp.c (c_omp_split_clauses): Remove conditional compilation. Use
flag_checking.

gcc/cp/

* call.c (validate_conversion_obstack): Define unconditionally.
* constexpr.c (maybe_constant_value, fold_non_dependent_expr): Use
gcc_checking_assert.
* cp-tree.h: Use CHECKING_P instead of ENABLE_CHECKING.
* decl2.c (cxx_post_compilation_parsing_cleanups): Use flag_checking.
* mangle.c (add_substitution): Likewise.
* method.c (maybe_explain_implicit_delete): Likewise.
* parser.c (cp_parser_template_argument_list): Remove conditional
compilation.
* pt.c (check_unstripped_args): Rename to...
(verify_unstripped_args): ... this and remove conditional compilation.
(retrieve_specialization): Guard call of verify_unstripped_args with
flag_checking.
(template_parm_to_arg): Remove conditional compilation.
(template_parms_to_args, coerce_template_parameter_pack,
coerce_template_parms): Likewise.
(tsubst_copy): Use flag_checking.
(type_unification_real): Remove conditional compilation.
(build_non_dependent_expr): Use flag_checking.
* tree.c (build_target_expr): Remove conditional compilation, use
gcc_checking_assert.
* typeck.c (comptypes): Likewise.
* typeck2.c (digest_init_r): Likewise.

From-SVN: r229756

9 years agoHandle recursive restrict in function parameter
Tom de Vries [Wed, 4 Nov 2015 14:18:43 +0000 (14:18 +0000)]
Handle recursive restrict in function parameter

2015-11-04  Tom de Vries  <tom@codesourcery.com>

PR tree-optimization/67742
* tree-ssa-structalias.c (struct fieldoff): Add restrict_pointed_type
field.
(push_fields_onto_fieldstack): Handle restrict_pointed_type field.
(create_variable_info_for_1): Add and handle handle_param parameter.
Add restrict handling.
(create_variable_info_for): Call create_variable_info_for_1 with extra
arg.
(make_param_constraints): Drop restrict_name parameter.  Ignore
vi->only_restrict_pointers.
(intra_create_variable_infos): Call create_variable_info_for_1 with
extra arg.  Remove restrict handling.  Call make_param_constraints with
one less arg.

* gcc.dg/tree-ssa/restrict-7.c: New test.
* gcc.dg/tree-ssa/restrict-8.c: New test.

From-SVN: r229755

9 years agoUse decl_type in create_variable_info_for_1
Tom de Vries [Wed, 4 Nov 2015 14:18:34 +0000 (14:18 +0000)]
Use decl_type in create_variable_info_for_1

2015-11-04  Tom de Vries  <tom@codesourcery.com>

* tree-ssa-structalias.c (create_variable_info_for_1): Use decl_type
variable.

From-SVN: r229754

9 years ago* gnat.dg/slice9.adb: New test.
Eric Botcazou [Wed, 4 Nov 2015 08:50:46 +0000 (08:50 +0000)]
* gnat.dg/slice9.adb: New test.

From-SVN: r229735

9 years agogotest: fix handling of --goarch option
Ian Lance Taylor [Wed, 4 Nov 2015 01:52:40 +0000 (01:52 +0000)]
gotest: fix handling of --goarch option

    I managed to add a new --goarch option to gotest without noticing that
    the script already had one.  Worse, they set different variables.
    Remove the old option in favor of the new one.

    Reviewed-on: https://go-review.googlesource.com/16613

From-SVN: r229734

9 years agoDaily bump.
GCC Administrator [Wed, 4 Nov 2015 00:16:11 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r229731

9 years agoremove usage of ROUND_TYPE_SIZE from encoding.c
Trevor Saunders [Tue, 3 Nov 2015 22:43:22 +0000 (22:43 +0000)]
remove usage of ROUND_TYPE_SIZE from encoding.c

gcc got rid of this target macro in 2003, so it seems safe to assume the
alternate path works fine on all targets.

libobjc/ChangeLog:

2015-11-03  Trevor Saunders  <tbsaunde+gcc@tbsaunde.org>

PR libobjc/24775
* encoding.c (objc_layout_finish_structure): Remove usage of
ROUND_TYPE_SIZE.

From-SVN: r229727

9 years agoremove unused config/arm/coff.h
Trevor Saunders [Tue, 3 Nov 2015 22:43:17 +0000 (22:43 +0000)]
remove unused config/arm/coff.h

gcc/ChangeLog:

2015-11-03  Trevor Saunders  <tbsaunde+gcc@tbsaunde.org>

* config/arm/coff.h: Remove.

From-SVN: r229726

9 years agoHandle auto parameter packs.
Jason Merrill [Tue, 3 Nov 2015 20:51:41 +0000 (15:51 -0500)]
Handle auto parameter packs.

* pt.c (struct find_parameter_pack_data): Add
type_pack_expansion_p field.
(find_parameter_packs_r): Use it to turn 'auto' into a parameter pack.
(uses_parameter_packs, make_pack_expansion)
(check_for_bare_parameter_packs, fixed_parameter_pack_p): Set it.

From-SVN: r229722

9 years agolibgomp.h (struct acc_dispatch_t): Remove args from exec_func.
Nathan Sidwell [Tue, 3 Nov 2015 20:18:33 +0000 (20:18 +0000)]
libgomp.h (struct acc_dispatch_t): Remove args from exec_func.

* libgomp.h (struct acc_dispatch_t): Remove args from exec_func.
* plugin/plugin-nvptx.c (nvptx_exec): Remove sizes & kinds arg.
(GOMP_OFFLOAD_openacc_parallel): Likewise.
* oacc-host.c (host_openacc_exec): Likewise.
* oacc-parallel.c (GOACC_parallel_keyed): Adjust exec_func call.

From-SVN: r229721

9 years agolex.c (search_line_sse42): Correctly advance the pointer to an aligned address.
Uros Bizjak [Tue, 3 Nov 2015 19:05:50 +0000 (20:05 +0100)]
lex.c (search_line_sse42): Correctly advance the pointer to an aligned address.

* lex.c (search_line_sse42): Correctly advance the pointer to an
aligned address.

From-SVN: r229718

9 years agore PR c/67882 (surprising offsetof result on an invalid array member without diagnostic)
Martin Sebor [Tue, 3 Nov 2015 18:53:19 +0000 (11:53 -0700)]
re PR c/67882 (surprising offsetof result on an invalid array member without diagnostic)

PR c++-common/67882

* c-family/c-common.h (fold_offsetof_1): Add argument.
* c-family/c-common.c (fold_offsetof_1): Diagnose more invalid
offsetof expressions that reference elements past the end of
an array.

        * c-c++-common/builtin-offsetof-2.c: New test.

From-SVN: r229717

9 years agore PR fortran/67982 (Incorrect -Wunused-function warning)
Dominique d'Humieres [Tue, 3 Nov 2015 18:03:38 +0000 (19:03 +0100)]
re PR fortran/67982 (Incorrect -Wunused-function warning)

2015-11-03  Dominique d'Humieres <dominiq@lps.ens.fr>

PR fortran/67982
* gfortran.dg/warn_unused_function_3.f90: New test.

From-SVN: r229716

9 years agoRemove superfluous gcc/ prefixes
Eric Botcazou [Tue, 3 Nov 2015 17:25:24 +0000 (17:25 +0000)]
Remove superfluous gcc/ prefixes

From-SVN: r229715

9 years agogimple-expr.c (useless_type_conversion_p): Reinstate type canonical check for aggrega...
Eric Botcazou [Tue, 3 Nov 2015 17:19:30 +0000 (17:19 +0000)]
gimple-expr.c (useless_type_conversion_p): Reinstate type canonical check for aggregate types and beef up comment for mode...

* gimple-expr.c (useless_type_conversion_p): Reinstate type canonical
check for aggregate types and beef up comment for mode check.

From-SVN: r229714

9 years ago* libsupc++/new: Declare sized deletes.
Jason Merrill [Tue, 3 Nov 2015 16:43:54 +0000 (11:43 -0500)]
* libsupc++/new: Declare sized deletes.

From-SVN: r229713

9 years agotree-vect-data-refs.c (vect_analyze_data_refs): Do not collect data references here.
Richard Biener [Tue, 3 Nov 2015 15:59:17 +0000 (15:59 +0000)]
tree-vect-data-refs.c (vect_analyze_data_refs): Do not collect data references here.

2015-11-03  Richard Biener  <rguenther@suse.de>

* tree-vect-data-refs.c (vect_analyze_data_refs): Do not collect
data references here.
* tree-vect-loop.c: Include cgraph.h.
(vect_analyze_loop_2): Collect data references here.
* tree-vect-slp.c (find_bb_location): Inline ...
(vect_slp_bb): ... here.  Renamed from vect_slp_analyze_bb.
Factor in vect_slp_transform_bb.
(vect_slp_transform_bb): Removed.
(vect_slp_analyze_bb_1): Collect data references here.
* tree-vectorizer.c (pass_slp_vectorize::execute): Call
vect_slp_bb.
* tree-vectorizer.h (vect_slp_bb): Declare.
(vect_slp_analyze_bb): Remove.
(vect_slp_transform_bb): Remove.
(find_bb_location): Remove.
(vect_analyze_data_refs): Remove stmt count reference parameter.

From-SVN: r229712

9 years agomksysinfo.sh: Make sure that CLONE_NEWUSER is defined.
Ian Lance Taylor [Tue, 3 Nov 2015 15:07:47 +0000 (15:07 +0000)]
mksysinfo.sh: Make sure that CLONE_NEWUSER is defined.

    Reviewed-on: https://go-review.googlesource.com/16588

From-SVN: r229711

9 years ago2015-11-03 Paolo Carlini <paolo.carlini@oracle.com>
Paolo Carlini [Tue, 3 Nov 2015 13:41:23 +0000 (13:41 +0000)]
2015-11-03  Paolo Carlini  <paolo.carlini@oracle.com>

* Wrap ChangeLog entries to 80 columns.

From-SVN: r229707

9 years agomultiple_target.c (create_dispatcher_calls): Add target check on ifunc.
Evgeny Stupachenko [Tue, 3 Nov 2015 12:02:53 +0000 (12:02 +0000)]
multiple_target.c (create_dispatcher_calls): Add target check on ifunc.

2015-11-03  Evgeny Stupachenko  <evstupac@gmail.com>

gcc/
* multiple_target.c (create_dispatcher_calls): Add target check
on ifunc.
(create_target_clone): Change assembler name for versioned declarations.
gcc/testsuite/
* g++.dg/ext/mvc4.C: Add dg-require-ifunc condition.
* gcc.target/i386/mvc5.c: Ditto.
* gcc.target/i386/mvc7.c: Add dg-require-ifunc condition and checks on
resolver.

From-SVN: r229706

9 years agoOpenACC atomic directive
Thomas Schwinge [Tue, 3 Nov 2015 11:28:22 +0000 (12:28 +0100)]
OpenACC atomic directive

gcc/c-family/
* c-pragma.c (oacc_pragmas): Add "atomic".
* c-pragma.h (pragma_kind): Add PRAGMA_OACC_ATOMIC.
gcc/c/
* c-parser.c (c_parser_omp_construct): Handle PRAGMA_OACC_ATOMIC.
gcc/cp/
* parser.c (cp_parser_omp_construct, cp_parser_pragma): Handle
PRAGMA_OACC_ATOMIC.
gcc/fortran/
* gfortran.h (gfc_statement): Add ST_OACC_ATOMIC,
ST_OACC_END_ATOMIC.
(gfc_exec_op): Add EXEC_OACC_ATOMIC.
* match.h (gfc_match_oacc_atomic): New prototype.
* openmp.c (gfc_match_omp_atomic, gfc_match_oacc_atomic): New
wrapper functions around...
(gfc_match_omp_oacc_atomic): ... this new function.
(oacc_code_to_statement, gfc_resolve_oacc_directive): Handle
EXEC_OACC_ATOMIC.
* parse.c (decode_oacc_directive): Handle "atomic", "end atomic".
(case_exec_markers): Add ST_OACC_ATOMIC.
(gfc_ascii_statement): Handle ST_OACC_ATOMIC, ST_OACC_END_ATOMIC.
(parse_omp_atomic): Rename to...
(parse_omp_oacc_atomic): ... this new function.  Add omp_p formal
parameter.  Adjust all users.
(parse_executable): Handle ST_OACC_ATOMIC.
(is_oacc): Handle EXEC_OACC_ATOMIC.
* resolve.c (gfc_resolve_blocks, gfc_resolve_code): Handle
EXEC_OACC_ATOMIC.
* st.c (gfc_free_statement): Handle EXEC_OACC_ATOMIC.
* trans-openmp.c (gfc_trans_oacc_directive): Handle
EXEC_OACC_ATOMIC.
* trans.c (trans_code): Handle EXEC_OACC_ATOMIC.
gcc/
* builtins.def (DEF_GOMP_BUILTIN): Enable for flag_openacc.
* omp-low.c (check_omp_nesting_restrictions): Allow
GIMPLE_OMP_ATOMIC_LOAD, GIMPLE_OMP_ATOMIC_STORE inside OpenACC
contexts.
gcc/testsuite/
* c-c++-common/goacc-gomp/nesting-fail-1.c: Move "atomic" tests
from here to...
* c-c++-common/goacc-gomp/nesting-1.c: ... here, and expect them
to succeed.
libgomp/
* testsuite/libgomp.oacc-c-c++-common/atomic_capture-1.c: New
file.
* testsuite/libgomp.oacc-c-c++-common/atomic_capture-2.c:
Likewise.
* testsuite/libgomp.oacc-c-c++-common/atomic_rw-1.c: Likewise.
* testsuite/libgomp.oacc-c-c++-common/atomic_update-1.c: Likewise.
* testsuite/libgomp.oacc-fortran/atomic_capture-1.f90: Likewise.
* testsuite/libgomp.oacc-fortran/atomic_rw-1.f90: New file.
* testsuite/libgomp.oacc-fortran/atomic_update-1.f90: Likewise.
* testsuite/libgomp.oacc-c-c++-common/par-reduction-1.c: New file.
* testsuite/libgomp.oacc-c-c++-common/par-reduction-2.c: Likewise.
* testsuite/libgomp.oacc-c-c++-common/worker-single-1a.c:
Likewise.
* testsuite/libgomp.oacc-c-c++-common/worker-single-4.c: Likewise.
* testsuite/libgomp.oacc-c-c++-common/worker-single-6.c: Likewise.

From-SVN: r229703

9 years ago[AARCH64][PATCH 1/3] Implementing the variants of the vmulx_ NEON intrinsic
Bilyan Borisov [Tue, 3 Nov 2015 10:58:27 +0000 (10:58 +0000)]
[AARCH64][PATCH 1/3] Implementing the variants of the vmulx_ NEON intrinsic

gcc/

* config/aarch64/aarch64-simd-builtins.def (fmulx): New.
* config/aarch64/aarch64-simd.md (aarch64_fmulx<mode>): New.
* config/aarch64/arm_neon.h (vmulx_f32): Rewrite to call fmulx
builtin.
(vmulxq_f32): Likewise.
(vmulx_f64): New.
(vmulxq_f64): Rewrite to call fmulx builtin.
(vmulxs_f32): Likewise.
(vmulxd_f64): Likewise.
(vmulx_lane_f32): Remove.
* config/aarch64/iterators.md (UNSPEC): Add fmulx.

gcc/testsuite/

* gcc/testsuite/gcc.target/aarch64/simd/vmulx_f32_1.c: New.
* gcc/testsuite/gcc.target/aarch64/simd/vmulx_f64_1.c: New.
* gcc/testsuite/gcc.target/aarch64/simd/vmulxq_f32_1.c: New.
* gcc/testsuite/gcc.target/aarch64/simd/vmulxq_f64_1.c: New.
* gcc/testsuite/gcc.target/aarch64/simd/vmulxs_f32_1.c: New.
* gcc/testsuite/gcc.target/aarch64/simd/vmulxd_f64_1.c: New.

From-SVN: r229702

9 years ago[AArch64] Fix ICE on (const_double:HF 0.0)
Alan Lawrence [Tue, 3 Nov 2015 10:35:31 +0000 (10:35 +0000)]
[AArch64] Fix ICE on (const_double:HF 0.0)

gcc/:

* config/aarch64/aarch64.md (*movhf_aarch64): Use
aarch64_reg_or_fp_zero for second operand.

gcc/testsuite/:

* gcc.target/aarch64/fp16/set_zero_1.c: New.

From-SVN: r229701

9 years agoChangeLog: Fix whitespace.
Uros Bizjak [Tue, 3 Nov 2015 08:45:55 +0000 (09:45 +0100)]
ChangeLog: Fix whitespace.

* ChangeLog: Fix whitespace.
* testsuite/ChangeLog: Ditto.

From-SVN: r229700

9 years agoMake the default constructors of tuple and pair conditionally explicit.
Ville Voutilainen [Tue, 3 Nov 2015 08:41:40 +0000 (10:41 +0200)]
Make the default constructors of tuple and pair conditionally explicit.

2015-11-03  Ville Voutilainen  <ville.voutilainen@gmail.com>

Make the default constructors of tuple and pair conditionally explicit.
* include/std/type_traits (is_unsigned, __is_array_unknown_bounds,
__is_default_constructible_atom, __is_default_constructible_safe,
__is_direct_constructible_new_safe, __is_direct_constructible_ref_cast,
__is_nt_default_constructible_impl, is_nothrow_default_constructible,
is_nothrow_constructible, is_nothrow_assignable,
is_trivially_constructible, is_trivially_copy_constructible,
is_trivially_move_constructible, is_trivially_assignable,
is_trivially_copy_assignable, is_trivially_move_assignable,
is_trivially_destructible): Simplify.
* include/std/type_traits (
__do_is_implicitly_default_constructible_impl,
__is_implicitly_default_constructible_impl,
__is_implicitly_default_constructible_safe,
__is_implicitly_default_constructible): New.
* include/bits/stl_pair.h (pair::pair()): Use it.
* include/std/tuple (tuple<_T1, _T2>::tuple): Use it.
* include/std/tuple (_ImplicitlyDefaultConstructibleTuple): New.
* include/std/tuple (tuple<_Types...>::tuple()): Use it.
* testsuite/20_util/declval/requirements/1_neg.cc: Adjust.
* testsuite/20_util/is_implicitly_default_constructible/requirements/explicit_instantiation.cc: New.
* testsuite/20_util/is_implicitly_default_constructible/requirements/typedefs.cc: Likewise.
* testsuite/20_util/is_implicitly_default_constructible/value.cc: Likewise.
* testsuite/20_util/make_signed/requirements/typedefs_neg.cc: Adjust.
* testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc: Likewise.
* testsuite/20_util/pair/cons/explicit_construct.cc: Likewise.
* testsuite/20_util/tuple/cons/explicit_construct.cc: Likewise.

From-SVN: r229699

9 years agomvc1.c: Move to ...
Uros Bizjak [Tue, 3 Nov 2015 08:34:42 +0000 (09:34 +0100)]
mvc1.c: Move to ...

* gcc.dg/mvc1.c: Move to ...
* gcc.target/i386/mvc1.c: ... here.  Require ifunc.
* gcc.dg/mvc2.c: Move to ...
* gcc.target/i386/mvc2.c: ... here.
* gcc.dg/mvc3.c: Move to ...
* gcc.target/i386/mvc3.c: ... here.
* gcc.dg/mvc4.c: Move to ...
* gcc.target/i386/mvc4.c: ... here.  Require ifunc.
* gcc.dg/mvc5.c: Move to ...
* gcc.target/i386/mvc5.c: ... here.
* gcc.dg/mvc6.c: Move to ...
* gcc.target/i386/mvc6.c: ... here.
* gcc.dg/mvc7.c: Move to ...
* gcc.target/i386/mvc7.c: ... here.

* g++.dg/ext/mvc1.C: Require ifunc.

From-SVN: r229697

9 years agodefer mark_addressable calls during expand till the end of expand
Alexandre Oliva [Tue, 3 Nov 2015 03:57:07 +0000 (03:57 +0000)]
defer mark_addressable calls during expand till the end of expand

for  gcc/ChangeLog

* gimple-expr.c: Include hash-set.h and rtl.h.
(mark_addressable_queue): New var.
(mark_addressable): Factor actual marking into...
(mark_addressable_1): ... this.  Queue it up during expand.
(mark_addressable_2): New.
(flush_mark_addressable_queue): New.
* gimple-expr.h (flush_mark_addressable_queue): Declare.
* cfgexpand.c: Include gimple-expr.h.
(pass_expand::execute): Flush mark_addressable queue.

From-SVN: r229696

9 years agoRemove ChangeLog entry unintentionally duplicated in the top level
Alexandre Oliva [Tue, 3 Nov 2015 03:52:56 +0000 (03:52 +0000)]
Remove ChangeLog entry unintentionally duplicated in the top level

From-SVN: r229695

9 years agoifcombine: factor out inner block viability test
Alexandre Oliva [Tue, 3 Nov 2015 00:31:18 +0000 (00:31 +0000)]
ifcombine: factor out inner block viability test

Bail out early if the inner block has side effects or is otherwise not
eligible for ifcombine.

for  gcc/ChangeLog

* tree-ssa-ifcombine.c (tree_ssa_ifcombine_bb_1): Factor out
bb_no_side_effects_p tests...
(tree_ssa_ifcombine_bb): ... here.

From-SVN: r229691

9 years ago[PR68083] don't introduce undefined behavior in ifcombine
Alexandre Oliva [Tue, 3 Nov 2015 00:30:07 +0000 (00:30 +0000)]
[PR68083] don't introduce undefined behavior in ifcombine

The ifcombine pass may move a conditional access to an uninitialized
value before the condition that ensures it is always well-defined,
thus introducing undefined behavior.  Stop it from doing so.

for  gcc/ChangeLog

PR tree-optimization/68083
* tree-ssa-ifcombine.c: Include tree-ssa.h.
(bb_no_side_effects_p): Test for undefined uses too.
* tree-ssa.c (gimple_uses_undefined_value_p): New.
* tree-ssa.h (gimple_uses_undefined_value_p): Declare.

for  gcc/testsuite/ChangeLog

PR tree-optimization/68083
* gcc.dg/torture/pr68083.c: New.  From Zhendong Su.

From-SVN: r229690

9 years agoDaily bump.
GCC Administrator [Tue, 3 Nov 2015 00:16:12 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r229689

9 years agolibgo: Bump version number.
Ian Lance Taylor [Mon, 2 Nov 2015 23:30:21 +0000 (23:30 +0000)]
libgo: Bump version number.

    Reviewed-on: https://go-review.googlesource.com/16583

From-SVN: r229686

9 years ago[PATCH] Avoid more irreducible loops in FSM threader
Jeff Law [Mon, 2 Nov 2015 23:25:06 +0000 (16:25 -0700)]
[PATCH] Avoid more irreducible loops in FSM threader

* tree-ssa-threadupdate.c (valid_jump_thread_path): Also detect
cases where the loop latch edge is in the middle of an FSM
path.

* gcc.dg/tree-ssa/ssa-thread-11.c: Verify that we do not have
irreducible loops in the CFG.

From-SVN: r229685

9 years agoRename make_restrict_var_constraints to make_param_constraints
Tom de Vries [Mon, 2 Nov 2015 23:23:28 +0000 (23:23 +0000)]
Rename make_restrict_var_constraints to make_param_constraints

2015-11-03  Tom de Vries  <tom@codesourcery.com>

* tree-ssa-structalias.c (make_restrict_var_constraints): Rename to ...
(make_param_constraints): ... this.  Add and handle restrict_name
parameter.  Handle is_full_var case.
(intra_create_variable_infos): Use make_param_constraints.

From-SVN: r229684

9 years agoReplace make_copy_constraint with make_constraint_from in make_restrict_var_constraints
Tom de Vries [Mon, 2 Nov 2015 23:23:19 +0000 (23:23 +0000)]
Replace make_copy_constraint with make_constraint_from in make_restrict_var_constraints

2015-11-03  Tom de Vries  <tom@codesourcery.com>

* tree-ssa-structalias.c (make_restrict_var_constraints): Replace
make_copy_constraint call with make_constraint_from call.

From-SVN: r229683

9 years agofreebsd64.h (ASM_SPEC32): Adust spec to handle PIE executables.
Andreas Tobler [Mon, 2 Nov 2015 21:51:25 +0000 (22:51 +0100)]
freebsd64.h (ASM_SPEC32): Adust spec to handle PIE executables.

2015-11-02  Andreas Tobler  <andreast@gcc.gnu.org>

    * config/rs6000/freebsd64.h (ASM_SPEC32): Adust spec to handle
    PIE executables.

From-SVN: r229680

9 years agomksysinfo.sh: Handle TIOCGPGRP if too complex for -dump-go-spec.
Ian Lance Taylor [Mon, 2 Nov 2015 20:23:09 +0000 (20:23 +0000)]
mksysinfo.sh: Handle TIOCGPGRP if too complex for -dump-go-spec.

    Reviewed-on: https://go-review.googlesource.com/16580

From-SVN: r229676

9 years agosyscall: Change raw_ioctl cmd type to uintptr.
Ian Lance Taylor [Mon, 2 Nov 2015 19:58:15 +0000 (19:58 +0000)]
syscall: Change raw_ioctl cmd type to uintptr.

    Attempt to fix a build bug report:

    ../../../../libgo/go/syscall/exec_linux.go:185:37: error: integer constant overflow
       _, err1 = raw_ioctl_ptr(sys.Ctty, TIOCSPGRP, unsafe.Pointer(&pgrp))

    Reviewed-on: https://go-review.googlesource.com/16539

From-SVN: r229674

9 years agolibcpp: Improvements to description of source_location in line-map.h
David Malcolm [Mon, 2 Nov 2015 19:47:03 +0000 (19:47 +0000)]
libcpp: Improvements to description of source_location in line-map.h

libcpp/ChangeLog:
* include/line-map.h (source_location): In the table in the
descriptive comment, show UNKNOWN_LOCATION, BUILTINS_LOCATION,
LINE_MAP_MAX_LOCATION_WITH_COLS, LINE_MAP_MAX_SOURCE_LOCATION.
Add notes about ad-hoc values.

From-SVN: r229673

9 years agoMove constant folds for maths functions to new file
Richard Sandiford [Mon, 2 Nov 2015 16:34:16 +0000 (16:34 +0000)]
Move constant folds for maths functions to new file

The new routines operate on the built-in enum rather than on tree decls.
The idea is to extend this to handle internal functions too, with a
combined enum for both.

The patch also moves fold_fma too, with the same prototype.  The long-term
plan is to replace FMA_EXPR with an internal function, for consistency
with the way that things like SQRT will be handled.

Tested on x86_64-linux-gnu, arm-linux-gnueabi and aarch64-linux-gnu.

gcc/
* builtins.h (fold_fma): Move to fold-const-call.h.
* builtins.c: Include fold-const-call.h.
(mathfn_built_in_2): New function, split out from...
(mathfn_built_in_1): ...here.
(do_real_to_int_conversion, fold_const_builtin_pow)
(fold_const_builtin_logb, fold_const_builtin_significand)
(fold_const_builtin_load_exponent, do_mpfr_arg1, do_mpfr_arg2)
(do_mpfr_arg3, do_mpfr_sincos, do_mpfr_bessel_n, do_mpc_arg1): Delete.
(fold_builtin_sincos): Use fold_const_call to handle constants.
(fold_builtin_1, fold_builtin_2, fold_builtin_3): Add explicit
checks for ERROR_MARK.  Use fold_const_call to handle constant
folds for math functions.
(fold_fma): Move to fold-const-call.c.
* fold-const.c: Include fold-const-call.h.
* Makefile.in (OBJS): Add fold-const-call.o.
(PLUGIN_HEADERS): Add fold-const-call.h.
* realmpfr.h (real_from_mpfr): Allow the format to be specified
directly.
* realmpfr.c (real_from_mpfr): Likewise.
* fold-const-call.h, fold-const-call.c: New files.

From-SVN: r229669

9 years ago[ARM] neon-testgen.ml typo
Julian Brown [Mon, 2 Nov 2015 12:43:14 +0000 (12:43 +0000)]
[ARM] neon-testgen.ml typo

* config/arm/neon-testgen.ml (emit_epilogue): Remove extraneous
brackets and semicolon.

From-SVN: r229662

9 years agoRevert: tree-scalar-evolution.c: Handle LSHIFT by constant
Alan Lawrence [Mon, 2 Nov 2015 12:39:31 +0000 (12:39 +0000)]
Revert: tree-scalar-evolution.c: Handle LSHIFT by constant

gcc/:

tree-scalar-evolution.c (interpret_rhs_expr): Handle some
LSHIFT_EXPRs as equivalent MULT_EXPRs.

gcc/testsuite/:

gcc.dg/vect/vect-strided-shift.c: New.

From-SVN: r229660

9 years agoMove gcc.target/arm/pr67929_1.c test to execute.exp
Kyrylo Tkachov [Mon, 2 Nov 2015 12:23:36 +0000 (12:23 +0000)]
Move gcc.target/arm/pr67929_1.c test to execute.exp

PR target/67929
* gcc.target/arm/pr67929_1.c: Move to...
* gcc.c-torture/execute/pr67929_1.c: ... Here.
Remove arm-specific directives.  Add noclone, noinline
attributes.

From-SVN: r229657

9 years ago[PR middle-end/68166] Restore build with fold checking enabled
Thomas Schwinge [Mon, 2 Nov 2015 07:42:04 +0000 (08:42 +0100)]
[PR middle-end/68166] Restore build with fold checking enabled

gcc/
PR middle-end/68166
* fold-const.c: Include "md5.h".

From-SVN: r229652

9 years ago[PATCH] Avoid ssa-thread-11.c on various targets
Jeff Law [Mon, 2 Nov 2015 05:59:19 +0000 (22:59 -0700)]
[PATCH] Avoid ssa-thread-11.c on various targets

* gcc.dg/tree-ssa/ssa-thread-11.c: Update target selector.

From-SVN: r229651

9 years ago[PATCH] Fix vms targets
Jeff Law [Mon, 2 Nov 2015 05:27:14 +0000 (22:27 -0700)]
[PATCH] Fix vms targets

* vmsdbgout.c: Revert unused header file reduction patch.

From-SVN: r229650

9 years ago* config/mcore/mcore.c: Include regs.h.
Jeff Law [Mon, 2 Nov 2015 05:23:52 +0000 (22:23 -0700)]
* config/mcore/mcore.c: Include regs.h.

From-SVN: r229649

9 years agoDaily bump.
GCC Administrator [Mon, 2 Nov 2015 00:16:12 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r229648

9 years agomksysinfo.sh: Handle TIOCSPGRP if too complex for -fdump-go-spec.
Ian Lance Taylor [Sun, 1 Nov 2015 20:51:23 +0000 (20:51 +0000)]
mksysinfo.sh: Handle TIOCSPGRP if too complex for -fdump-go-spec.

    Reviewed-on: https://go-review.googlesource.com/16534

From-SVN: r229645

9 years agore PR go/67968 (go1: internal compiler error: in write_specific_type_functions, at...
Ian Lance Taylor [Sun, 1 Nov 2015 20:46:04 +0000 (20:46 +0000)]
re PR go/67968 (go1: internal compiler error: in write_specific_type_functions, at go/gofrontend/types.cc:1812)

PR go/67968
    compiler: Traverse types of call expressions.

    https://gcc.gnu.org/PR67968 provides a test case that causes a gccgo
    crash on valid code.  The compiler failed to build the hash and equality
    functions required for a type descriptor.  The descriptor is for an
    unnamed type that is being returned by a function imported from a
    different package.  The unnamed type is being implicitly converted to an
    interface type by a return statement.  The fix is to ensure that the
    type of a call expression is always traversed.

    Test case sent out for the master testsuite as
    https://golang.org/cl/16532 .

From-SVN: r229642

9 years agopr67609-2.c: Include sse2-check.h.
Uros Bizjak [Sun, 1 Nov 2015 20:22:14 +0000 (21:22 +0100)]
pr67609-2.c: Include sse2-check.h.

* gcc.target/i386/pr67609-2.c: Include sse2-check.h.
(sse2_test): Rename from main.  Do not return 0.

From-SVN: r229641

9 years agopr46756.f: Remove XFAIL for AIX.
David Edelsohn [Sun, 1 Nov 2015 19:36:59 +0000 (19:36 +0000)]
pr46756.f: Remove XFAIL for AIX.

        * gfortran.dg/debug/pr46756.f: Remove XFAIL for AIX.
        * gfortran.dg/proc_ptr_39.f90: Require visibility.
        * gfortran.dg/read_dir.f90: XFAIL AIX.

From-SVN: r229640

9 years agoDaily bump.
GCC Administrator [Sun, 1 Nov 2015 00:16:16 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r229639

9 years agoruntime: If no split stacks, allocate stacks using mmap on 64-bit systems.
Ian Lance Taylor [Sat, 31 Oct 2015 23:48:19 +0000 (23:48 +0000)]
runtime: If no split stacks, allocate stacks using mmap on 64-bit systems.

    When not using split stacks, libgo allocate large stacks for each
    goroutine.  On a 64-bit system, libgo allocates a maximum of 128G for
    the Go heap, and allocates 4M for each stack.  When the stacks are
    allocated from the Go heap, the result is that a program can only create
    32K goroutines, which is not enough for an active Go server.  This patch
    changes libgo to allocate the stacks using mmap directly, rather than
    allocating them out of the Go heap.  This change is only done for 64-bit
    systems when not using split stacks.  When using split stacks, the
    stacks are allocated using mmap directly anyhow.  On a 32-bit system,
    there is no maximum size for the Go heap, or, rather, the maximum size
    is the available address space anyhow.

    Reviewed-on: https://go-review.googlesource.com/16531

From-SVN: r229636

9 years agoMakefile.am (go_cmd_go_files): Update to Go 1.5.1 library by adding alldocs.go, doc...
Ian Lance Taylor [Sat, 31 Oct 2015 21:29:38 +0000 (21:29 +0000)]
Makefile.am (go_cmd_go_files): Update to Go 1.5.1 library by adding alldocs.go, doc.go, note.go.

* Makefile.am (go_cmd_go_files): Update to Go 1.5.1 library by
adding alldocs.go, doc.go, note.go.
* Makefile.in: Rebuild.

From-SVN: r229635

9 years agors6000: Rewrite rs6000_reg_live_or_pic_offset_p
Segher Boessenkool [Sat, 31 Oct 2015 19:50:09 +0000 (20:50 +0100)]
rs6000: Rewrite rs6000_reg_live_or_pic_offset_p

This function is quite a puzzle; untangle it.  No functional change.

2015-10-31  Segher Boessenkool  <segher@kernel.crashing.org>

* config/rs6000/rs6000.c (rs6000_reg_live_or_pic_offset_p): Rewrite.

From-SVN: r229634

9 years agors6000: Another PIC LRA fix
Segher Boessenkool [Sat, 31 Oct 2015 19:48:19 +0000 (20:48 +0100)]
rs6000: Another PIC LRA fix

This one for TARGET_TOC && TARGET_MINIMAL_TOC.  Without it, r30 is not
saved in the prologue for functions that do not use r30, but the register
is set later in the prologue anyhow.  This made all java tests fail.

2015-10-31  Segher Boessenkool  <segher@kernel.crashing.org>

* config/rs6000/rs6000.c (rs6000_reg_live_or_pic_offset_p): Use the
same condition for testing whether RS6000_PIC_OFFSET_TABLE_REGNUM is
live as for using it elsewhere, for TARGET_MINIMAL_TOC.

From-SVN: r229633

9 years agoRemove support for N3994, terse range-for, which was not adopted.
Ville Voutilainen [Sat, 31 Oct 2015 19:42:01 +0000 (21:42 +0200)]
Remove support for N3994, terse range-for, which was not adopted.

/cp
2015-10-31  Ville Voutilainen  <ville.voutilainen@gmail.com>

Remove the implementation of N3994, terse range-for loops.
* parser.c (cp_parser_for_init_statement): Remove the parsing
of a terse range-for.

/testsuite
2015-10-31  Ville Voutilainen  <ville.voutilainen@gmail.com>

Remove the implementation of N3994, terse range-for loops.
* g++.dg/cpp1z/range-for1.C: Remove.

From-SVN: r229632

9 years agore PR bootstrap/68168 (r229609 breaks bootstrap)
Cesar Philippidis [Sat, 31 Oct 2015 17:55:03 +0000 (10:55 -0700)]
re PR bootstrap/68168 (r229609 breaks bootstrap)

PR Bootstrap/68168

gcc/fortran/
* openmp.c (resolve_omp_clauses): Pass &n->where when calling
gfc_error.

From-SVN: r229631

9 years ago* gnat.dg/discr45.adb: New test.
Eric Botcazou [Sat, 31 Oct 2015 17:13:32 +0000 (17:13 +0000)]
* gnat.dg/discr45.adb: New test.

From-SVN: r229630

9 years agoImplement multiple 'auto' feature from Concepts TS.
Jason Merrill [Sat, 31 Oct 2015 16:20:05 +0000 (12:20 -0400)]
Implement multiple 'auto' feature from Concepts TS.

* parser.c (cp_parser_type_id_1): Allow 'auto' if -fconcepts.
(cp_parser_template_type_arg): Likewise.
(get_concept_from_constraint): Split out most logic to...
* constraint.cc (placeholder_extract_concept_and_args): ...here.
(equivalent_placeholder_constraints, hash_placeholder_constraint): New.
* cxx-pretty-print.c (pp_cxx_constrained_type_spec): New.
* cxx-pretty-print.h: Declare it.
* error.c (dump_type) [TEMPLATE_TYPE_PARM]: Call it.
* pt.c (is_auto_r, extract_autos_r, extract_autos, auto_hash): New.
(type_uses_auto): Use is_auto_r.
(do_auto_deduction): Handle multiple 'auto's if -fconcepts.
* typeck.c (structural_comptypes) [TEMPLATE_TYPE_PARM]: Compare
constraints.

From-SVN: r229629

9 years agoStreamline for_each_template_parm.
Jason Merrill [Sat, 31 Oct 2015 16:19:55 +0000 (12:19 -0400)]
Streamline for_each_template_parm.

* pt.c (for_each_template_parm_r): Use WALK_SUBTREE.
Return a meaningful value rather than error_mark_node.
(for_each_template_parm): Return a tree.
(uses_template_parms_level): Return bool.
* cp-tree.h: Adjust.

From-SVN: r229628

9 years agoImprove deduction failure diagnostics.
Jason Merrill [Sat, 31 Oct 2015 16:19:50 +0000 (12:19 -0400)]
Improve deduction failure diagnostics.

* pt.c (unify): Don't diagnose no common base if we already have
the same template.
(do_auto_deduction): Explain deduction failure.

From-SVN: r229627

9 years agopt.c (hash_tmpl_and_args): Use iterative_hash_object on template uid.
Jason Merrill [Sat, 31 Oct 2015 16:19:44 +0000 (12:19 -0400)]
pt.c (hash_tmpl_and_args): Use iterative_hash_object on template uid.

* pt.c (hash_tmpl_and_args): Use iterative_hash_object on template
uid.

From-SVN: r229626

9 years agoMake some functions static.
Jason Merrill [Sat, 31 Oct 2015 16:19:38 +0000 (12:19 -0400)]
Make some functions static.

* parser.c (synthesize_implicit_template_parm)
(finish_fully_implicit_template): Make static.

From-SVN: r229625

9 years agolibgo: Update from Go 1.5 to Go 1.5.1.
Ian Lance Taylor [Sat, 31 Oct 2015 15:23:52 +0000 (15:23 +0000)]
libgo: Update from Go 1.5 to Go 1.5.1.

    Reviewed-on: https://go-review.googlesource.com/16527

From-SVN: r229624

9 years agoggc-common.c : Restore needed header for checking=release.
Markus Trippelsdorf [Sat, 31 Oct 2015 10:57:33 +0000 (10:57 +0000)]
ggc-common.c : Restore needed header for checking=release.

       *ggc-common.c : Restore needed header for checking=release.

From-SVN: r229623

9 years agoTune pointer-plus folding
Tom de Vries [Sat, 31 Oct 2015 09:33:25 +0000 (09:33 +0000)]
Tune pointer-plus folding

2015-10-31  Tom de Vries  <tom@codesourcery.com>

* fold-const.c (fold_unary_loc): Tune POINTER_PLUS_EXPR folding.

* gfortran.dg/assumed_type_2.f90: Update test.
* gfortran.dg/no_arg_check_2.f90: Same.

From-SVN: r229621

9 years agoDon't expect existing varinfo for arguments in intra_create_variable_infos
Tom de Vries [Sat, 31 Oct 2015 08:08:48 +0000 (08:08 +0000)]
Don't expect existing varinfo for arguments in intra_create_variable_infos

2015-10-31  Tom de Vries  <tom@codesourcery.com>

* tree-ssa-structalias.c (intra_create_variable_infos): Don't expect
existing varinfo for arguments.

From-SVN: r229620

9 years agoAdd initial constraints in create_function_info_for
Tom de Vries [Sat, 31 Oct 2015 08:08:39 +0000 (08:08 +0000)]
Add initial constraints in create_function_info_for

2015-10-31  Tom de Vries  <tom@codesourcery.com>

* tree-ssa-structalias.c (ipa_pta_execute): Add extra arg to call to
create_function_info_for.  Dump constraints generated during
create_function_info_for. Move intra_create_variable_infos call and
function-return-values-escape bit to ...
(create_function_info_for): ... here, and merge
intra_create_variable_infos call with argument loop.  Add and handle
nonlocal_p parameter.

From-SVN: r229619

9 years agoImprove readability and structure of create_function_info_for
Tom de Vries [Sat, 31 Oct 2015 08:08:28 +0000 (08:08 +0000)]
Improve readability and structure of create_function_info_for

2015-10-31  Tom de Vries  <tom@codesourcery.com>

* tree-ssa-structalias.c (create_function_info_for): Make sure prev_vi
updating is alap, and seperated from preceding code.  Make sure
insert_vi_for_tree is seperated from surrounding code.

From-SVN: r229618

9 years agoUse make_copy_constraint in ipa_pta_execute
Tom de Vries [Sat, 31 Oct 2015 08:08:18 +0000 (08:08 +0000)]
Use make_copy_constraint in ipa_pta_execute

2015-10-31  Tom de Vries  <tom@codesourcery.com>

* tree-ssa-structalias.c (ipa_pta_execute): Use make_copy_constraint.

From-SVN: r229617

9 years agoruntime: Remove now unnecessary pad field from ParFor.
Ian Lance Taylor [Sat, 31 Oct 2015 00:59:47 +0000 (00:59 +0000)]
runtime: Remove now unnecessary pad field from ParFor.

    It is not needed due to the removal of the ctx field.

    Reviewed-on: https://go-review.googlesource.com/16525

From-SVN: r229616

9 years agoDaily bump.
GCC Administrator [Sat, 31 Oct 2015 00:16:16 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r229615

9 years agocompiler: Create pointer type for all types with methods.
Ian Lance Taylor [Fri, 30 Oct 2015 23:00:06 +0000 (23:00 +0000)]
compiler: Create pointer type for all types with methods.

    Reviewed-on: https://go-review.googlesource.com/16522

From-SVN: r229612

9 years ago* config-list.mk (nvptx-none): Add it.
Nathan Sidwell [Fri, 30 Oct 2015 22:31:54 +0000 (22:31 +0000)]
* config-list.mk (nvptx-none): Add it.

From-SVN: r229611

9 years agonvptx.h (HARD_REGNO_NREGS): Avoid warning on unused args.
Jeff Law [Fri, 30 Oct 2015 22:30:20 +0000 (22:30 +0000)]
nvptx.h (HARD_REGNO_NREGS): Avoid warning on unused args.

* config/nvptx/nvptx.h (HARD_REGNO_NREGS): Avoid warning on unused
args.
(MOVE_MAX): Set to 8.

Co-Authored-By: Nathan Sidwell <nathan@acm.org>
From-SVN: r229610

9 years agogfortran.h (gfc_omp_namespace): Add locus where member.
Cesar Philippidis [Fri, 30 Oct 2015 22:16:52 +0000 (15:16 -0700)]
gfortran.h (gfc_omp_namespace): Add locus where member.

gcc/fortran/
* gfortran.h (gfc_omp_namespace): Add locus where member.
* openmp.c (gfc_match_omp_variable_list): Set where for each list
item found.
(resolve_omp_clauses): Remove where argument and use the where
gfc_omp_namespace member when reporting errors.
(resolve_omp_do):  Update call to resolve_omp_clauses.
(resolve_oacc_loop): Likewise.
(gfc_resolve_oacc_directive): Likewise.
(gfc_resolve_omp_directive): Likewise.
(gfc_resolve_omp_declare_simd): Likewise.

gcc/testsuite/
* gfortran.dg/gomp/intentin1.f90: Adjust copyprivate warning.

From-SVN: r229609

9 years agocgraph.c: Include context.h for offloading.
Cesar Philippidis [Fri, 30 Oct 2015 22:15:17 +0000 (15:15 -0700)]
cgraph.c: Include context.h for offloading.

gcc/
* cgraph.c: Include context.h for offloading.
* varpool.c: Include context.h and omp-low.h.

From-SVN: r229608

9 years agoAdd contains_symbol_ref_p
Anatoly Sokolov [Fri, 30 Oct 2015 20:56:32 +0000 (23:56 +0300)]
Add contains_symbol_ref_p

From-SVN: r229607

9 years agore PR fortran/46588 (ICE with assumed character length function)
Steven G. Kargl [Fri, 30 Oct 2015 19:20:36 +0000 (19:20 +0000)]
re PR fortran/46588 (ICE with assumed character length function)

2015-10-30  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/46588
* gfortran.dg/pr46588.f90: New test.

From-SVN: r229606

9 years agoShare code from fold_array_ctor_reference with fold.
Alan Lawrence [Fri, 30 Oct 2015 19:03:14 +0000 (19:03 +0000)]
Share code from fold_array_ctor_reference with fold.

        * gimple-fold.c (fold_array_ctor_reference): Move searching code to:
        * fold-const.c (get_array_ctor_element_at_index): New.
        (fold): Remove binary-search through CONSTRUCTOR, call previous.

        * fold-const.h (get_array_ctor_element_at_index): New.

From-SVN: r229605

9 years agoMakefile.in (OBJS): Add multiple_target.o.
Evgeny Stupachenko [Fri, 30 Oct 2015 18:17:43 +0000 (18:17 +0000)]
Makefile.in (OBJS): Add multiple_target.o.

2015-10-30  Evgeny Stupachenko  <evstupac@gmail.com>

gcc/
* Makefile.in (OBJS): Add multiple_target.o.
* attrib.c (make_attribute): Moved from config/i386/i386.c
* config/i386/i386.c (make_attribute): Deleted.
* multiple_target.c (create_dispatcher_calls): New.
(get_attr_len): Ditto.
(get_attr_str): Ditto.
(separate_attrs): Ditto.
(is_valid_asm_symbol): Ditto.
(create_new_asm_name): Ditto.
(create_target_clone): Ditto.
(expand_target_clones): Ditto.
(ipa_target_clone): Ditto.
(ipa_dispatcher_calls): Ditto.
* passes.def (pass_target_clone): Two new ipa passes.
* tree-pass.h (make_pass_target_clone): Ditto.
* doc/extend.texi (target_clones): New attribute description.
gcc/c-family/
* c-common.c (handle_target_clones_attribute): New.
(c_common_attribute_table): Add handle_target_clones_attribute.
(handle_always_inline_attribute): Add check on target_clones attribute.
(handle_target_attribute): Ditto.
gcc/testsuite/
* gcc.dg/mvc1.c: New test for multiple targets cloning.
* gcc.dg/mvc2.c: Ditto.
* gcc.dg/mvc3.c: Ditto.
* gcc.dg/mvc4.c: Ditto.
* gcc.dg/mvc5.c: Ditto.
* gcc.dg/mvc6.c: Ditto.
* gcc.dg/mvc7.c: Ditto.
* g++.dg/ext/mvc1.C: Ditto.
* g++.dg/ext/mvc2.C: Ditto.
* g++.dg/ext/mvc3.C: Ditto.
* g++.dg/ext/mvc4.C: Ditto.

From-SVN: r229595

9 years agore PR fortran/51993 (Erroneous type component initialization leads to internal compil...
Steven G. Kargl [Fri, 30 Oct 2015 18:13:50 +0000 (18:13 +0000)]
re PR fortran/51993 (Erroneous type component initialization leads to internal compiler error)

2015-10-15  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/51993
* decl.c (gfc_set_constant_character_len): Convert gcc_assert into an
if-statement causing an early return leads to valid error message.

2015-10-15  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/51993
* gfortran.dg/pr51993.f90: New test.

From-SVN: r229594

9 years agore PR rtl-optimization/68106 (c-c++-common/torture/builtin-arith-overflow-11.c FAILs...
Vladimir Makarov [Fri, 30 Oct 2015 17:45:16 +0000 (17:45 +0000)]
re PR rtl-optimization/68106 (c-c++-common/torture/builtin-arith-overflow-11.c FAILs with -flra-remat @ aarch64)

2015-10-30  Vladimir Makarov  <vmakarov@redhat.com>

PR rtl-optimization/68106
* lra-remat.c (input_regno_present_p): Process hard regs
explicitly present in machine description insns.
(call_used_input_regno_present_p): Ditto.
(calculate_gen_cands): Ditto.
(do_remat): Ditto.

2015-10-30  Vladimir Makarov  <vmakarov@redhat.com>

PR rtl-optimization/68106
* gcc.target/aarch64/pr68106.c: New.

From-SVN: r229593

9 years agore PR fortran/36192 (ICE with wrong index types and bad parens)
Steven G. Kargl [Fri, 30 Oct 2015 16:46:20 +0000 (16:46 +0000)]
re PR fortran/36192 (ICE with wrong index types and bad parens)

2015-10-30  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/36192
* interface.c (get_expr_storage_size):  Check for INTEGER type before
calling gmp routines.

2015-10-30  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/36192
* gfortran.dg/pr36192_1.f90: New test.

From-SVN: r229590

9 years agore PR fortran/68154 (ICE on initializing character parameter array (explicit, implied))
Steven G. Kargl [Fri, 30 Oct 2015 16:26:59 +0000 (16:26 +0000)]
re PR fortran/68154 (ICE on initializing character parameter array (explicit, implied))

2015-10-30  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/68154
* decl.c (add_init_expr_to_sym): if the char length in the typespec
is NULL, check for and use a constructor.

2015-10-30  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/68154
*gfortran.dg/pr68154.f90

From-SVN: r229588

9 years agoFix comment typo.
Jim Wilson [Fri, 30 Oct 2015 16:11:59 +0000 (16:11 +0000)]
Fix comment typo.

* config/arm/neon-testgen.ml: Fix comment typo.

From-SVN: r229587

9 years ago[comment] Improve comment for reg_set_p
Kyrylo Tkachov [Fri, 30 Oct 2015 15:54:11 +0000 (15:54 +0000)]
[comment] Improve comment for reg_set_p

* rtlanal.c (reg_set_p): Expand function comment.

From-SVN: r229586

9 years agoalias.c: Remove unused headers.
Andrew MacLeod [Fri, 30 Oct 2015 15:48:59 +0000 (15:48 +0000)]
alias.c: Remove unused headers.

2015-10-30  Andrew MacLeod  <amacleod@redhat.com>

* alias.c: Remove unused headers.
* asan.c: Likewise.
* attribs.c: Likewise.
* auto-inc-dec.c: Likewise.
* auto-profile.c: Likewise.
* bb-reorder.c: Likewise.
* bitmap.c: Likewise.
* bt-load.c: Likewise.
* builtins.c: Likewise.
* caller-save.c: Likewise.
* calls.c: Likewise.
* ccmp.c: Likewise.
* cfg.c: Likewise.
* cfganal.c: Likewise.
* cfgbuild.c: Likewise.
* cfgcleanup.c: Likewise.
* cfgexpand.c: Likewise.
* cfghooks.c: Likewise.
* cfgloop.c: Likewise.
* cfgloopanal.c: Likewise.
* cfgloopmanip.c: Likewise.
* cfgrtl.c: Likewise.
* cgraph.c: Likewise.
* cgraphbuild.c: Likewise.
* cgraphclones.c: Likewise.
* cgraphunit.c: Likewise.
* cilk-common.c: Likewise.
* combine-stack-adj.c: Likewise.
* combine.c: Likewise.
* compare-elim.c: Likewise.
* convert.c: Likewise.
* coverage.c: Likewise.
* cppbuiltin.c: Likewise.
* cprop.c: Likewise.
* cse.c: Likewise.
* cselib.c: Likewise.
* data-streamer-in.c: Likewise.
* data-streamer-out.c: Likewise.
* data-streamer.c: Likewise.
* dbxout.c: Likewise.
* dce.c: Likewise.
* ddg.c: Likewise.
* debug.c: Likewise.
* df-core.c: Likewise.
* df-problems.c: Likewise.
* df-scan.c: Likewise.
* dfp.c: Likewise.
* dojump.c: Likewise.
* dominance.c: Likewise.
* domwalk.c: Likewise.
* double-int.c: Likewise.
* dse.c: Likewise.
* dumpfile.c: Likewise.
* dwarf2asm.c: Likewise.
* dwarf2cfi.c: Likewise.
* dwarf2out.c: Likewise.
* emit-rtl.c: Likewise.
* except.c: Likewise.
* explow.c: Likewise.
* expmed.c: Likewise.
* expr.c: Likewise.
* final.c: Likewise.
* fixed-value.c: Likewise.
* fold-const.c: Likewise.
* function.c: Likewise.
* fwprop.c: Likewise.
* gcse.c: Likewise.
* generic-match-head.c: Likewise.
* ggc-common.c: Likewise.
* gimple-builder.c: Likewise.
* gimple-expr.c: Likewise.
* gimple-fold.c: Likewise.
* gimple-iterator.c: Likewise.
* gimple-low.c: Likewise.
* gimple-match-head.c: Likewise.
* gimple-pretty-print.c: Likewise.
* gimple-ssa-isolate-paths.c: Likewise.
* gimple-ssa-strength-reduction.c: Likewise.
* gimple-streamer-in.c: Likewise.
* gimple-streamer-out.c: Likewise.
* gimple-walk.c: Likewise.
* gimple.c: Likewise.
* gimplify-me.c: Likewise.
* gimplify.c: Likewise.
* godump.c: Likewise.
* graph.c: Likewise.
* graphds.c: Likewise.
* haifa-sched.c: Likewise.
* hw-doloop.c: Likewise.
* ifcvt.c: Likewise.
* init-regs.c: Likewise.
* internal-fn.c: Likewise.
* ipa-chkp.c: Likewise.
* ipa-comdats.c: Likewise.
* ipa-cp.c: Likewise.
* ipa-devirt.c: Likewise.
* ipa-icf-gimple.c: Likewise.
* ipa-icf.c: Likewise.
* ipa-inline-analysis.c: Likewise.
* ipa-inline-transform.c: Likewise.
* ipa-inline.c: Likewise.
* ipa-polymorphic-call.c: Likewise.
* ipa-profile.c: Likewise.
* ipa-prop.c: Likewise.
* ipa-pure-const.c: Likewise.
* ipa-ref.c: Likewise.
* ipa-reference.c: Likewise.
* ipa-split.c: Likewise.
* ipa-utils.c: Likewise.
* ipa-visibility.c: Likewise.
* ipa.c: Likewise.
* ira-build.c: Likewise.
* ira-color.c: Likewise.
* ira-conflicts.c: Likewise.
* ira-costs.c: Likewise.
* ira-emit.c: Likewise.
* ira-lives.c: Likewise.
* ira.c: Likewise.
* jump.c: Likewise.
* langhooks.c: Likewise.
* lcm.c: Likewise.
* lists.c: Likewise.
* loop-doloop.c: Likewise.
* loop-init.c: Likewise.
* loop-invariant.c: Likewise.
* loop-iv.c: Likewise.
* loop-unroll.c: Likewise.
* lower-subreg.c: Likewise.
* lra-assigns.c: Likewise.
* lra-coalesce.c: Likewise.
* lra-constraints.c: Likewise.
* lra-eliminations.c: Likewise.
* lra-lives.c: Likewise.
* lra-remat.c: Likewise.
* lra-spills.c: Likewise.
* lra.c: Likewise.
* lto-cgraph.c: Likewise.
* lto-compress.c: Likewise.
* lto-opts.c: Likewise.
* lto-section-in.c: Likewise.
* lto-section-out.c: Likewise.
* lto-streamer-in.c: Likewise.
* lto-streamer-out.c: Likewise.
* lto-streamer.c: Likewise.
* mcf.c: Likewise.
* mode-switching.c: Likewise.
* modulo-sched.c: Likewise.
* optabs.c: Likewise.
* opts-global.c: Likewise.
* passes.c: Likewise.
* plugin.c: Likewise.
* postreload-gcse.c: Likewise.
* postreload.c: Likewise.
* predict.c: Likewise.
* print-tree.c: Likewise.
* profile.c: Likewise.
* real.c: Likewise.
* realmpfr.c: Likewise.
* recog.c: Likewise.
* ree.c: Likewise.
* reg-stack.c: Likewise.
* regcprop.c: Likewise.
* reginfo.c: Likewise.
* regrename.c: Likewise.
* regstat.c: Likewise.
* reload.c: Likewise.
* reload1.c: Likewise.
* reorg.c: Likewise.
* resource.c: Likewise.
* rtl-chkp.c: Likewise.
* rtl-error.c: Likewise.
* rtlanal.c: Likewise.
* rtlhooks.c: Likewise.
* sanopt.c: Likewise.
* sched-deps.c: Likewise.
* sched-ebb.c: Likewise.
* sched-rgn.c: Likewise.
* sdbout.c: Likewise.
* sel-sched-dump.c: Likewise.
* sel-sched-ir.c: Likewise.
* sel-sched.c: Likewise.
* sese.c: Likewise.
* shrink-wrap.c: Likewise.
* simplify-rtx.c: Likewise.
* stack-ptr-mod.c: Likewise.
* statistics.c: Likewise.
* stmt.c: Likewise.
* stor-layout.c: Likewise.
* store-motion.c: Likewise.
* stringpool.c: Likewise.
* symtab.c: Likewise.
* target-globals.c: Likewise.
* targhooks.c: Likewise.
* toplev.c: Likewise.
* tracer.c: Likewise.
* trans-mem.c: Likewise.
* tree-affine.c: Likewise.
* tree-call-cdce.c: Likewise.
* tree-cfg.c: Likewise.
* tree-cfgcleanup.c: Likewise.
* tree-chkp-opt.c: Likewise.
* tree-chkp.c: Likewise.
* tree-chrec.c: Likewise.
* tree-complex.c: Likewise.
* tree-data-ref.c: Likewise.
* tree-dfa.c: Likewise.
* tree-diagnostic.c: Likewise.
* tree-dump.c: Likewise.
* tree-eh.c: Likewise.
* tree-emutls.c: Likewise.
* tree-if-conv.c: Likewise.
* tree-inline.c: Likewise.
* tree-into-ssa.c: Likewise.
* tree-iterator.c: Likewise.
* tree-loop-distribution.c: Likewise.
* tree-nested.c: Likewise.
* tree-nrv.c: Likewise.
* tree-object-size.c: Likewise.
* tree-outof-ssa.c: Likewise.
* tree-parloops.c: Likewise.
* tree-phinodes.c: Likewise.
* tree-predcom.c: Likewise.
* tree-pretty-print.c: Likewise.
* tree-profile.c: Likewise.
* tree-scalar-evolution.c: Likewise.
* tree-sra.c: Likewise.
* tree-ssa-address.c: Likewise.
* tree-ssa-alias.c: Likewise.
* tree-ssa-ccp.c: Likewise.
* tree-ssa-coalesce.c: Likewise.
* tree-ssa-copy.c: Likewise.
* tree-ssa-dce.c: Likewise.
* tree-ssa-dse.c: Likewise.
* tree-ssa-forwprop.c: Likewise.
* tree-ssa-ifcombine.c: Likewise.
* tree-ssa-live.c: Likewise.
* tree-ssa-loop-ch.c: Likewise.
* tree-ssa-loop-im.c: Likewise.
* tree-ssa-loop-ivcanon.c: Likewise.
* tree-ssa-loop-ivopts.c: Likewise.
* tree-ssa-loop-manip.c: Likewise.
* tree-ssa-loop-niter.c: Likewise.
* tree-ssa-loop-prefetch.c: Likewise.
* tree-ssa-loop-unswitch.c: Likewise.
* tree-ssa-loop.c: Likewise.
* tree-ssa-math-opts.c: Likewise.
* tree-ssa-operands.c: Likewise.
* tree-ssa-phiopt.c: Likewise.
* tree-ssa-phiprop.c: Likewise.
* tree-ssa-pre.c: Likewise.
* tree-ssa-propagate.c: Likewise.
* tree-ssa-reassoc.c: Likewise.
* tree-ssa-scopedtables.c: Likewise.
* tree-ssa-sink.c: Likewise.
* tree-ssa-strlen.c: Likewise.
* tree-ssa-structalias.c: Likewise.
* tree-ssa-tail-merge.c: Likewise.
* tree-ssa-ter.c: Likewise.
* tree-ssa-threadupdate.c: Likewise.
* tree-ssa-uncprop.c: Likewise.
* tree-ssa-uninit.c: Likewise.
* tree-ssa.c: Likewise.
* tree-ssanames.c: Likewise.
* tree-stdarg.c: Likewise.
* tree-streamer-in.c: Likewise.
* tree-streamer-out.c: Likewise.
* tree-streamer.c: Likewise.
* tree-switch-conversion.c: Likewise.
* tree-tailcall.c: Likewise.
* tree-vect-data-refs.c: Likewise.
* tree-vect-generic.c: Likewise.
* tree-vect-loop-manip.c: Likewise.
* tree-vect-loop.c: Likewise.
* tree-vect-patterns.c: Likewise.
* tree-vect-slp.c: Likewise.
* tree-vect-stmts.c: Likewise.
* tree-vectorizer.c: Likewise.
* tree-vrp.c: Likewise.
* tree.c: Likewise.
* tsan.c: Likewise.
* ubsan.c: Likewise.
* value-prof.c: Likewise.
* var-tracking.c: Likewise.
* varasm.c: Likewise.
* varpool.c: Likewise.
* vmsdbgout.c: Likewise.
* vtable-verify.c: Likewise.
* web.c: Likewise.
* wide-int-print.cc: Likewise.
* wide-int.cc: Likewise.
* xcoffout.c: Likewise.

From-SVN: r229585

9 years agoRe: [Docs] Reword the documentation for -fdump-rtl-
James Greenhalgh [Fri, 30 Oct 2015 15:46:01 +0000 (15:46 +0000)]
Re: [Docs] Reword the documentation for -fdump-rtl-

gcc/

* doc/invoke.texi (fdump-rtl-@var{pass}): Clarify relationship
between pass numbering and execution order.

From-SVN: r229584

9 years ago[ARM] Fix checking RTL error in cortex_a9_sched_adjust_cost
Kyrylo Tkachov [Fri, 30 Oct 2015 14:43:11 +0000 (14:43 +0000)]
[ARM] Fix checking RTL error in cortex_a9_sched_adjust_cost

* config/arm/arm.c (cortex_a9_sched_adjust_cost): Use reg_set_p to
check for dependencies.

From-SVN: r229583

9 years agoDon't free dominators after sincos
Richard Sandiford [Fri, 30 Oct 2015 13:47:25 +0000 (13:47 +0000)]
Don't free dominators after sincos

sincos has always freed dominators at the end, but AFAICT they should
still be up-to-date.  (In particular, gimple_purge_dead_eh_edges
updates the information.)

Tested on x86_64-linux-gnu, arm-linux-gnueabi and aarch64-linux-gnu.

gcc/
* tree-ssa-math-opts.c (pass_cse_sincos::execute): Don't free
CDI_DOMINATORS.

From-SVN: r229582

9 years agoAllow real_format to be passed to more real.h functions
Richard Sandiford [Fri, 30 Oct 2015 13:45:42 +0000 (13:45 +0000)]
Allow real_format to be passed to more real.h functions

Most real.h routines used machine modes to specify the format of
an operation and converted that to a float_format * internally.
Some also had alternative versions that accepted a float_format *.

In an upcoming patch it seemed more convenient for the callers
I was adding to use float_format directly, since the callers need
to examine the format themselves for other reasons.  This patch
therefore replaces the machine_mode arguments with a new class that
allows both machine modes and float_format pointers to be used.

Tested on x86_64-linux-gnu, arm-linux-gnueabi and aarch64-linux-gnu.

gcc/
* real.h (format_helper): New.
(real_convert, exact_real_truncate, real_from_string3, real_to_target)
(real_from_target, real_nan, real_2expN, real_value_truncate)
(significand_size, real_from_string2, exact_real_inverse)
(exact_real_inverse, real_powi, real_trunc, real_floor, real_ceil)
(real_round, real_isinteger, real_from_integer): Replace
machine_mode arguments with format_helper arguments.
* real.c (exact_real_inverse, real_from_string2, real_from_string3)
(real_from_integer, real_nan, real_2expN, real_convert)
(real_value_truncate, exact_real_truncate, real_to_target)
(real_from_target, significand_size, real_powi, real_trunc)
(real_floor, real_ceil, real_round, real_isinteger): Replace
machine_mode arguments with format_helper arguments.
(real_to_target_fmt, real_from_target_fmt): Delete.
* dfp.h (decimal_real_convert): Replace mode argument with real_format.
* dfp.c (decimal_to_binary, decimal_real_convert): Replace mode
argument with real_format.
* builtins.c (do_real_to_int_conversion): Update type of fn argument.

gcc/java/
* jcf-parse.c (get_constant): Use real_from_target rather than
real_from_target_fmt.

From-SVN: r229581

9 years agoFix real_2expN mode arguments in fixed-value.c
Richard Sandiford [Fri, 30 Oct 2015 13:44:01 +0000 (13:44 +0000)]
Fix real_2expN mode arguments in fixed-value.c

fixed-value.c was passing a fixed-point mode to the floating-point
real_2expN routine.  That didn't cause a problem in practice because
all real_2expN did was check for decimal float modes, but it triggered
a failure with an upcoming patch.

Tested on x86_64-linux-gnu, arm-linux-gnueabi and aarch64-linux-gnu.

gcc/
* fixed-value.c (check_real_for_fixed_mode, fixed_from_string)
(fixed_to_decimal, fixed_convert_from_real)
(real_convert_from_fixed): Fix mode arguments to real_2expN.

From-SVN: r229580

9 years agoRobustify REAL_MODE_FORMAT
Richard Sandiford [Fri, 30 Oct 2015 13:42:27 +0000 (13:42 +0000)]
Robustify REAL_MODE_FORMAT

Make sure that REAL_MODE_FORMAT aborts if it is passed an invalid mode,
rather than stepping beyond the bounds of an array.  It turned out that
some code was passing non-float modes to the real.h routines.

Tested on x86_64-linux-gnu, arm-linux-gnueabi and aarch64-linux-gnu.

gcc/
* real.h (REAL_MODE_FORMAT): Abort if the mode isn't a
SCALAR_FLOAT_MODE_P.

From-SVN: r229579

9 years ago[Trivial] tree-sra.c: A few comment fixes/additions.
Alan Lawrence [Fri, 30 Oct 2015 13:27:10 +0000 (13:27 +0000)]
[Trivial] tree-sra.c: A few comment fixes/additions.

* tree-sra.c (scalarizable_type_p): Comment variable-length arrays.
(completely_scalarize): Comment zero-length arrays.
(get_access_replacement): Correct comment re. precondition.

From-SVN: r229577

9 years agolibgcc changes for AMD znver1.
Venkataramanan Kumar [Fri, 30 Oct 2015 13:20:42 +0000 (13:20 +0000)]
libgcc changes for AMD znver1.

2015-10-30  Venkataramanan Kumar  <venkataramanan.kumar@amd.com>

* config/i386/i386.c (get_builtin_code_for_version): Set priority
for PROCESSOR_ZNVER1.
(enum processor_model): Add M_AMDFAM17H_znver1.
(struct arch_names_table): Likewise.
* doc/extend.texi: ADD znver1.

2015-10-30  Venkataramanan Kumar  <venkataramanan.kumar@amd.com>

* config/i386/cpuinfo.c (enum processor_types): Add AMDFAM17H.
(processor_subtypes): Add znver1.
(get_amd_cpu): Detect znver1.

From-SVN: r229575