gcc.git
6 years agocompiler: speed up variable initializer sorting
Ian Lance Taylor [Thu, 7 Jun 2018 16:56:09 +0000 (16:56 +0000)]
compiler: speed up variable initializer sorting

    The compiler used to do variable initializer sorting by looping
    through all the initialized variables and, for each one, looping
    through all the initialized variables and checking for a dependency.
    For very large packages with thousands of initialized global
    variables, this quadratic loop could take quite a long time.

    Change the approach to first loop through all the initialized
    variables and fetch all the references to other variables from the
    initialization code.  Then, loop through them again and this time add
    a dependency for each referenced, initialized, variable, while
    checking for initialization loops.  We still have a nested loop, but
    this time the inner loop should normally be short--just the list of
    referenced variables, not the list of all variables.

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

From-SVN: r261284

6 years ago* eo.po: Update.
Joseph Myers [Thu, 7 Jun 2018 15:26:56 +0000 (16:26 +0100)]
* eo.po: Update.

From-SVN: r261280

6 years ago* g++.dg/cpp0x/range-for9.C: Adjust dg-error.
Marek Polacek [Thu, 7 Jun 2018 14:18:27 +0000 (14:18 +0000)]
* g++.dg/cpp0x/range-for9.C: Adjust dg-error.

From-SVN: r261278

6 years agot-vxworks (LIBGCC_INCLUDES): Add -I$(MULTIBUILDTOP)../../gcc/include.
Olivier Hainque [Thu, 7 Jun 2018 13:31:24 +0000 (13:31 +0000)]
t-vxworks (LIBGCC_INCLUDES): Add -I$(MULTIBUILDTOP)../../gcc/include.

2018-06-07  Olivier Hainque  <hainque@adacore.com>

        * config/t-vxworks (LIBGCC_INCLUDES): Add
        -I$(MULTIBUILDTOP)../../gcc/include.
        * config/t-vxworks7: Likewise. Reformat a bit to match
        the t-vxworks layout.

From-SVN: r261273

6 years agoconfig.gcc: Support "tremont".
Olga Makhotina [Thu, 7 Jun 2018 11:07:05 +0000 (11:07 +0000)]
config.gcc: Support "tremont".

2018-06-07  Olga Makhotina  <olga.makhotina@intel.com>

gcc/

        * config.gcc: Support "tremont".
        * config/i386/driver-i386.c (host_detect_local_cpu): Detect "tremont".
        * config/i386/i386-c.c (ix86_target_macros_internal): Handle
        PROCESSOR_TREMONT.
        * config/i386/i386.c (m_TREMONT): Define.
        (processor_target_table): Add "tremont".
        (PTA_TREMONT): Define.
        (ix86_lea_outperforms): Add TARGET_TREMONT.
        (get_builtin_code_for_version): Handle PROCESSOR_TREMONT.
        (fold_builtin_cpu): Add M_INTEL_TREMONT, replace M_INTEL_GOLDMONT
        and M_INTEL_GOLDMONT_PLUS.
        (fold_builtin_cpu): Add "tremont".
        (ix86_add_stmt_cost): Add TARGET_TREMONT.
        (ix86_option_override_internal): Add "tremont".
        * config/i386/i386.h (processor_costs): Define TARGET_TREMONT.
        (processor_type): Add PROCESSOR_TREMONT.
        * config/i386/x86-tune.def: Add m_TREMONT.
        * doc/invoke.texi: Add tremont as x86 -march=/-mtune= CPU type.

gcc/testsuite/

        * gcc.target/i386/funcspec-56.inc: Test arch=tremont.

libgcc/

        * config/i386/cpuinfo.h (processor_types): Add INTEL_TREMONT.

From-SVN: r261270

6 years agomsp430.c (msp430_mcu_name): Set the "i" in the symbol defined for msp430i* devices...
Jozef Lawrynowicz [Thu, 7 Jun 2018 10:09:42 +0000 (10:09 +0000)]
msp430.c (msp430_mcu_name): Set the "i" in the symbol defined for msp430i* devices to be lower case.

* gcc/config/msp430/msp430.c (msp430_mcu_name): Set the "i" in the
symbol defined for msp430i* devices to be lower case.

gcc/testsuite/gcc.target/msp430/
* msp430i-device-symbol.c: New test.
* msp430f-device-symbol.c: New test.
* msp430.h: New test header file.

From-SVN: r261268

6 years agographite-sese-to-poly.c (extract_affine): Avoid unneded wrapping.
Richard Biener [Thu, 7 Jun 2018 09:48:31 +0000 (09:48 +0000)]
graphite-sese-to-poly.c (extract_affine): Avoid unneded wrapping.

2018-06-07  Richard Biener  <rguenther@suse.de>

* graphite-sese-to-poly.c (extract_affine): Avoid unneded
wrapping.  Properly wrap the result of a BIT_NOT_EXPR.
Properly wrap signed arithmetic if overflow wraps.

From-SVN: r261267

6 years agoDefault special members of regex types and add noexcept
Jonathan Wakely [Thu, 7 Jun 2018 08:56:45 +0000 (09:56 +0100)]
Default special members of regex types and add noexcept

* include/bits/regex.h (sub_match): Add noexcept to default
constructor and length observer.
(match_results): Add noexcept to default constructor and observers
with no preconditions. Define destructor as defaulted.
(operator==, operator!=, swap): Add noexcept.
(regex_iterator): Add default member initializers and define default
constructor and destructor as defaulted. Add noexcept to equality
and dereference operators.

From-SVN: r261266

6 years agore PR tree-optimization/69615 (0 to limit signed range checks don't always use unsign...
Jakub Jelinek [Thu, 7 Jun 2018 07:41:18 +0000 (09:41 +0200)]
re PR tree-optimization/69615 (0 to limit signed range checks don't always use unsigned compare)

PR tree-optimization/69615
* tree-ssa-reassoc.c (optimize_range_tests_var_bound): If rhs2 is lhs
of a cast from a same precision integral SSA_NAME in a bb dominated
by first_bb, retry with rhs2 set to the rhs1 of the cast.  Don't emit
cast to utype if rhs2 has already a compatible type.

* gcc.dg/tree-ssa/pr69615.c: New test.

From-SVN: r261264

6 years agore PR tree-optimization/85935 ([graphite] ICE in extract_affine, at graphite-sese...
Richard Biener [Thu, 7 Jun 2018 07:01:56 +0000 (07:01 +0000)]
re PR tree-optimization/85935 ([graphite] ICE in extract_affine, at graphite-sese-to-poly.c:287)

2018-06-07  Richard Biener  <rguenther@suse.de>

PR tree-optimization/85935
* graphite-scop-detection.c (find_params_in_bb): Analyze
condition operands with respect to the correct loop.  Assert
the analysis doesn't fail.

* gcc.dg/graphite/pr85935.c: New testcase.

From-SVN: r261263

6 years ago2018-06-07 François Dumont <fdumont@gcc.gnu.org>
François Dumont [Thu, 7 Jun 2018 05:44:53 +0000 (05:44 +0000)]
2018-06-07  François Dumont  <fdumont@gcc.gnu.org>

* src/c++11/debug.cc
(_Safe_iterator_base::_M_detach()): Reset state only if needed.
(_Safe_iterator_base::_M_detach_single()): Likewise.
(_Safe_local_iterator_base::_M_detach()): Reset state only if needed.
(_Safe_local_iterator_base::_M_detach_single()): Likewise.

From-SVN: r261262

6 years agoFix compilation of libgcov with GCOV_LOCKED=0.
Martin Liska [Thu, 7 Jun 2018 04:23:16 +0000 (06:23 +0200)]
Fix compilation of libgcov with GCOV_LOCKED=0.

2018-06-07  Martin Liska  <mliska@suse.cz>

* libgcov-driver.c: Rename cs_all to all and assign it from
        all_prg.

From-SVN: r261261

6 years agoFix libgcov-driver-system bootstrap failure (PR bootstrap/86057).
Martin Liska [Thu, 7 Jun 2018 04:21:35 +0000 (06:21 +0200)]
Fix libgcov-driver-system bootstrap failure (PR bootstrap/86057).

2018-06-07  Martin Liska  <mliska@suse.cz>

        PR bootstrap/86057
* libgcov-driver-system.c (replace_filename_variables): Use
        memcpy instead of mempcpy.
(allocate_filename_struct): Do not allocate filename, allocate
        prefix and set it.
(gcov_exit_open_gcda_file): Allocate memory for gf->filename
        here and properly copy content into it.
* libgcov-driver.c (struct gcov_filename): Remove max_length
        field, change prefix from size_t into char *.
(compute_summary): Do not calculate longest filename.
(gcov_do_dump): Release memory of gf.filename after each file.
* libgcov-util.c (compute_summary): Use new signature of
        compute_summary.
(calculate_overlap): Likewise.

From-SVN: r261260

6 years agoDaily bump.
GCC Administrator [Thu, 7 Jun 2018 00:16:22 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r261259

6 years agovsx.md (first_match_index_<mode>): Calculate index using natural element order.
Carl Love [Wed, 6 Jun 2018 23:16:06 +0000 (23:16 +0000)]
vsx.md (first_match_index_<mode>): Calculate index using natural element order.

gcc/ChangeLog:

2018-06-04  Carl Love  <cel@us.ibm.com>

* gcc/config/rs6000/vsx.md (first_match_index_<mode>): Calculate index
using natural element order.  Use gen_lshrsi3 instead of gen_ashrsi3
as it is slightly cheaper.
(first_match_or_eos_index_<mode>):
Calculate index using natural element order.
(first_match_index_<mode>):
Calculate index using natural element order.
(first_match_or_eos_index_<mode>):
Calculate index using natural order.
(define_insn vclzlsbb): Change to define_insn vclzlsbb_<mode>.
for BE and LE modes.
* gcc/config/rs6000/rs6000-c.c: Rename P9V_BUILTIN_VCLZLSBB,
P9V_BUILTIN_VCLZLSBB_V16QI.
* gcc/config/rs6000/rs6000-builtin.def: Make VCLZLSBB mode
specific.

gcc/testsuite/ChangeLog:

2018-06-04  Carl Love  <cel@us.ibm.com>

* gcc.target/powerpc/builtins-8-p9-runnable.c: Add additional
debug print statements.  Fix a few formating issues.

From-SVN: r261255

6 years agoextend.texi (PowerPC AltiVec Built-in Functions): Adjust indentation and line wrap...
Kelvin Nilsen [Wed, 6 Jun 2018 23:03:35 +0000 (23:03 +0000)]
extend.texi (PowerPC AltiVec Built-in Functions): Adjust indentation and line wrap for many prototypes.

gcc/ChangeLog:

2018-06-06  Kelvin Nilsen  <kelvin@gcc.gnu.org>

* doc/extend.texi (PowerPC AltiVec Built-in Functions): Adjust
indentation and line wrap for many prototypes.  Add missing
@smallexample directives around block of prototypes for vec_xl and
vec_xst.

From-SVN: r261254

6 years agore PR target/85657 (Make __ibm128 a separate type, even if long double uses the IBM...
Michael Meissner [Wed, 6 Jun 2018 22:54:17 +0000 (22:54 +0000)]
re PR target/85657 (Make __ibm128 a separate type, even if long double uses the IBM double-double format)

[gcc]
2018-06-06  Michael Meissner  <meissner@linux.ibm.com>

PR target/85657
* config/rs6000/rs6000-builtin.def (BU_IBM128_2): New helper
macro for __ibm128 built-in functions.
(PACK_IF): Add __ibm128 pack/unpack functions.
(UNPACK_IF): Likewise.
* config/rs6000/rs6000.c (rs6000_builtin_mask_calculate): Do not
enable long double built-in functions if long double is IEEE
128-bit floating point.
(rs6000_invalid_builtin): Update long double built-in function
error message.
(rs6000_expand_builtin): For PACK_IF and UNPACK_IF built-in
functions, adjust the built-in function to use the long double
built-in function if __ibm128 and long double are the same type.
* doc/extend.texi (PowerPC builtins): Update documention for
__builtin_{,un}pack_longdouble.  Add documentation for
__builtin_{,un}pack_ibm128.

[gcc/testsuite]
2018-06-06  Michael Meissner  <meissner@linux.ibm.com>

PR target/85657
* gcc.target/powerpc/pr85657-4.c: New tests.
* gcc.target/powerpc/pr85657-5.c: Likewise.
* gcc.target/powerpc/pr85657-6.c: Likewise.

From-SVN: r261253

6 years agobuiltins-7-p9-runnable.c: Change first argument to vui_arg.
Carl Love [Wed, 6 Jun 2018 21:46:26 +0000 (21:46 +0000)]
builtins-7-p9-runnable.c: Change first argument to vui_arg.

gcc/testsuite/ChangeLog:

2018-06-06  Carl Love  <cel@us.ibm.com>
* gcc.target/powerpc/builtins-7-p9-runnable.c: Change first
argument to vui_arg.

From-SVN: r261249

6 years agore PR fortran/85641 (ICE with string concatenate)
Thomas Koenig [Wed, 6 Jun 2018 21:41:29 +0000 (21:41 +0000)]
re PR fortran/85641 (ICE with string concatenate)

2018-06-06  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/85641
* frontend-passes.c (is_fe_temp): Add prototype.
(realloc_string_callback): Early return for frontend-generated
temporary.

2018-06-06  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/85641
* gfortran.dg/realloc_on_assign_30.f90: New test.

From-SVN: r261248

6 years agobuiltins-3.c: Move tests requiring -mvsx to builtins-4.c.
Carl Love [Wed, 6 Jun 2018 21:38:49 +0000 (21:38 +0000)]
builtins-3.c: Move tests requiring -mvsx to builtins-4.c.

gcc/testsuite/ChangeLog:

2018-06-06  Carl Love  <cel@us.ibm.com>

* gcc.target/powerpc/builtins-3.c: Move tests requiring -mvsx
to builtins-4.c.
* gcc.target/powerpc/builtins-4.c: New test file for tests
that need -mvsx.

From-SVN: r261247

6 years agore PR target/85657 (Make __ibm128 a separate type, even if long double uses the IBM...
Michael Meissner [Wed, 6 Jun 2018 21:11:15 +0000 (21:11 +0000)]
re PR target/85657 (Make __ibm128 a separate type, even if long double uses the IBM double-double format)

[gcc]
2018-06-06  Michael Meissner  <meissner@linux.ibm.com>

* config/rs6000/rs6000.c (rs6000_passes_ieee128): New boolean to
track if we pass or return IEEE 128-bit floating point.
(ieee128_mangling_gcc_8_1): New boolean to say whether to generate
C++ mangling that is compatible with GCC 8.1.
(TARGET_ASM_GLOBALIZE_DECL_NAME): Override target hook.
(init_cumulative_args): Note if we pass or return IEEE 128-bit
floating point types.
(rs6000_function_arg_advance_1): Likewise.
(rs6000_mangle_type): Optionally generate mangled names that match
what GCC 8.1 generated for IEEE 128-bit floating point types.
(rs6000_globalize_decl_name): If we have an external function that
passes or returns IEEE 128-bit types, generate a weak reference
from the mangled name used in GCC 8.1 to the current mangled
name.

[gcc]
2018-06-05  Michael Meissner  <meissner@linux.ibm.com>

* config/rs6000/rs6000.c (rs6000_init_builtins): Make __ibm128 use
the long double type if long double is IBM extended double.  Make
__float128 use the long double type if long double is IEEE 128-bit.

[gcc/testsuite]
2018-06-05  Michael Meissner  <meissner@linux.ibm.com>

PR target/85657
* g++.dg/pr85657.C: Only test whether __ibm128 and long double can
be used in templates.  Don't check for them in overloaded functions.

From-SVN: r261246

6 years agoRemove redundant std::move on const object
Jonathan Wakely [Wed, 6 Jun 2018 19:39:27 +0000 (20:39 +0100)]
Remove redundant std::move on const object

* include/bits/shared_ptr_base.h (__shared_count): Remove redundant
move of const value.

From-SVN: r261245

6 years agoRISC-V: Add interrupt attribute modes.
Jim Wilson [Wed, 6 Jun 2018 19:08:36 +0000 (19:08 +0000)]
RISC-V: Add interrupt attribute modes.

gcc/
* config/riscv/riscv.c (enum riscv_privilege_levels): New.
(struct machine_function): New field interrupt_mode.
(riscv_handle_type_attribute): New function.  Add forward declaration.
(riscv_attribute_table) <interrupt>: Use riscv_handle_type_attribute.
(riscv_expand_epilogue): Check interrupt_mode field.
(riscv_set_current_function): Check interrupt attribute args and
set interrupt_mode field.
* config/riscv/riscv.md (UNSPECV_SRET, UNSPECV_URET): New.
(riscv_sret, riscv_uret): New.
* doc/extend.texi (RISC-V Function Attributes) <interrupt>: Document
new arguments to interrupt attribute.

gcc/testsuite/
* gcc.target/riscv/interrupt-5.c (sub3): Add new test.
* gcc.target/riscv/interrupt-mmode.c: New.
* gcc.target/riscv/interrupt-smode.c: New.
* gcc.target/riscv/interrupt-umode.c: New.

From-SVN: r261244

6 years agore PR target/63177 (Powerpc no-vfa-vect-depend-2.c and no-vfa-vect-depend-3.c failures)
Peter Bergner [Wed, 6 Jun 2018 18:40:53 +0000 (13:40 -0500)]
re PR target/63177 (Powerpc no-vfa-vect-depend-2.c and no-vfa-vect-depend-3.c failures)

PR target/63177
* /config/rs6000/rs6000.h (ASM_CPU_SPEC): Add support for -mpower9.
Don't handle -mcpu=power8 if -mpower9-vector is also used.

From-SVN: r261243

6 years agore PR c++/86068 (__cpp_transactional_memory is 210500)
Jakub Jelinek [Wed, 6 Jun 2018 17:55:39 +0000 (19:55 +0200)]
re PR c++/86068 (__cpp_transactional_memory is 210500)

PR c++/86068
* c-cppbuiltin.c (c_cpp_builtins): Fix a typo, set
__cpp_transactional_memory to 201500 instead of 210500.

* include/bits/c++config: Check __cpp_transactional_memory >= 201500L
rather than __cpp_transactional_memory >= 201505L.

From-SVN: r261242

6 years agore PR c++/85977 (Incorrect handling of array reference size deduction)
Marek Polacek [Wed, 6 Jun 2018 17:51:19 +0000 (17:51 +0000)]
re PR c++/85977 (Incorrect handling of array reference size deduction)

PR c++/85977
* pt.c (unify): If ELTTYPE has no deducible template parms, skip
deduction from the list elements.
(type_unification_real): Check convertibility of list elements.

* g++.dg/cpp0x/initlist102.C: New test.
* g++.dg/cpp0x/initlist103.C: New test.
* g++.dg/cpp0x/initlist104.C: New test.

From-SVN: r261241

6 years agoPR c++/86060 - ICE on range for with -std=c++98.
Jason Merrill [Wed, 6 Jun 2018 17:47:48 +0000 (13:47 -0400)]
PR c++/86060 - ICE on range for with -std=c++98.

* parser.c (cp_parser_init_statement): Don't clobber *decl after
pedwarn.

From-SVN: r261239

6 years agoPR c++/85710 - ICE with -Wmemset-elt-size.
Jason Merrill [Wed, 6 Jun 2018 15:14:12 +0000 (11:14 -0400)]
PR c++/85710 - ICE with -Wmemset-elt-size.

c-family/
* c-warn.c (warn_for_memset): Don't crash on incomplete element type.
cp/
* semantics.c (finish_call_expr): Call warn_for_memset here.
* parser.c (cp_parser_postfix_expression): Not here.
(literal_integer_zerop): No longer static.
* pt.c (build_non_dependent_expr): Don't wrap CONST_DECL.

From-SVN: r261238

6 years agoreflect: fix StructOf hash and string
Ian Lance Taylor [Wed, 6 Jun 2018 14:50:16 +0000 (14:50 +0000)]
reflect: fix StructOf hash and string

    Adjust the hash and string fields computed by StructOf to match the
    values that the compiler computes for a struct type with the same
    field names and types.  This makes the reflect code match the
    compiler's Type::hash_for_method and Type::reflection methods.

    Fixes golang/go#25284

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

From-SVN: r261235

6 years agors6000-builtin.def (VSX_BUILTIN_VEC_LD, [...]): Add comment to explain non-traditiona...
Kelvin Nilsen [Wed, 6 Jun 2018 14:46:29 +0000 (14:46 +0000)]
rs6000-builtin.def (VSX_BUILTIN_VEC_LD, [...]): Add comment to explain non-traditional uses.

gcc/ChangeLog:

2018-06-06  Kelvin Nilsen  <kelvin@gcc.gnu.org>

* config/rs6000/rs6000-builtin.def (VSX_BUILTIN_VEC_LD,
VSX_BUILTIN_VEC_ST): Add comment to explain non-traditional uses.
* config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Remove
several redundant entries.

From-SVN: r261234

6 years agoix86_expand_call: convert return type to rtx_insn *
David Malcolm [Wed, 6 Jun 2018 13:33:08 +0000 (13:33 +0000)]
ix86_expand_call: convert return type to rtx_insn *

Eliminate an "as_a <rtx_insn *>()" cast.

gcc/ChangeLog:
* config/i386/i386-protos.h (ix86_expand_call): Strengthen return
type from "rtx" to "rtx_insn *".
* config/i386/i386.c (ix86_expand_split_stack_prologue): Likewise
for local "call_insn", removing cast.
(ix86_expand_call): Likewise, introducing a "call_insn" local.

From-SVN: r261233

6 years agore PR tree-optimization/86066 (wrong code for bit-field manipulation at -Os)
Eric Botcazou [Wed, 6 Jun 2018 13:13:24 +0000 (13:13 +0000)]
re PR tree-optimization/86066 (wrong code for bit-field manipulation at -Os)

PR tree-optimization/86066
* gimple-ssa-store-merging.c (process_store): Do not bypass BIT_NOT_EXPR
for BIT_INSERT_EXPR stores.

From-SVN: r261232

6 years agore PR tree-optimization/86062 (Missed redundancy elimination with struct and array)
Richard Biener [Wed, 6 Jun 2018 13:03:29 +0000 (13:03 +0000)]
re PR tree-optimization/86062 (Missed redundancy elimination with struct and array)

2018-06-06  Richard Biener  <rguenther@suse.de>

PR tree-optimization/86062
* tree-ssa-sccvn.c (vn_reference_lookup_3): Handle arbitrary
component refs ontop
of to be offsetted base.

* g++.dg/tree-ssa/pr86062.C: New testcase.

From-SVN: r261231

6 years agoMSP430: Allow interrupt handlers to be static
Jozef Lawrynowicz [Wed, 6 Jun 2018 11:49:20 +0000 (11:49 +0000)]
MSP430: Allow interrupt handlers to be static

* gcc/config/msp430/msp430.c (msp430_attr): Allow interrupt handlers
to be static and remove check on interrupt attribute name.

gcc/testsuite/gcc.target/msp430/
* function-attributes-4.c: New test.
* static-interrupts.c: New test.

From-SVN: r261229

6 years agoPR libstdc++/86008 add std::quoted support for string_view
Jonathan Wakely [Wed, 6 Jun 2018 06:05:07 +0000 (07:05 +0100)]
PR libstdc++/86008 add std::quoted support for string_view

PR libstdc++/86008
* include/bits/quoted_string.h (_Quoted_string<basic_string_view, C>):
Define new partial specialization.
* include/std/iomanip (quoted(basic_string_view<C,T>, C, C)): Define
new overload.
(operator<<(basic_ostream<C,T>&, const _Quoted_string<S,C>&)): Use
value not reference for iteration.
* testsuite/27_io/manipulators/standard/char/quoted.cc: Adjust
comment.
* testsuite/27_io/manipulators/standard/char/quoted_sv.cc: New test.
* testsuite/27_io/manipulators/standard/wchar_t/quoted.cc: Adjust
comment.

From-SVN: r261227

6 years agoDaily bump.
GCC Administrator [Wed, 6 Jun 2018 00:16:31 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r261226

6 years agoextend.texi (PowerPC AltiVec Built-in Functions): Remove volatile qualifier from...
Kelvin Nilsen [Tue, 5 Jun 2018 22:57:07 +0000 (22:57 +0000)]
extend.texi (PowerPC AltiVec Built-in Functions): Remove volatile qualifier from vec_lvsl and vec_lvsr argument prototypes.

gcc/ChangeLog:

2018-06-05  Kelvin Nilsen  <kelvin@gcc.gnu.org>

* doc/extend.texi (PowerPC AltiVec Built-in Functions): Remove
volatile qualifier from vec_lvsl and vec_lvsr argument prototypes.

From-SVN: r261220

6 years agore PR target/79924 (aarch64: untranslated diagnostics in aarch64_err_no_fpadvsimd)
Steve Ellcey [Tue, 5 Jun 2018 22:21:36 +0000 (22:21 +0000)]
re PR target/79924 (aarch64: untranslated diagnostics in aarch64_err_no_fpadvsimd)

2018-06-05  Steve Ellcey  <sellcey@cavium.com>

PR target/79924
* gcc.target/aarch64/mgeneral-regs_1.c: Update error message.
* gcc.target/aarch64/mgeneral-regs_2.c: Ditto.
* gcc.target/aarch64/mgeneral-regs_3.c: Ditto.
* gcc.target/aarch64/nofp_1.c: Ditto.

From-SVN: r261218

6 years agore PR target/79924 (aarch64: untranslated diagnostics in aarch64_err_no_fpadvsimd)
Steve Ellcey [Tue, 5 Jun 2018 22:20:13 +0000 (22:20 +0000)]
re PR target/79924 (aarch64: untranslated diagnostics in aarch64_err_no_fpadvsimd)

2018-06-05  Steve Ellcey  <sellcey@cavium.com>

PR target/79924
* config/aarch64/aarch64-protos.h (aarch64_err_no_fpadvsimd): Remove
second argument.
* config/aarch64/aarch64-protos..c (aarch64_err_no_fpadvsimd):
Remove second argument, change how error is called.
(aarch64_layout_arg): Remove second argument from
aarch64_err_no_fpadvsimd call.
(aarch64_init_cumulative_args): Ditto.
(aarch64_gimplify_va_arg_expr): Ditto.
* config/aarch64/aarch64.md (mov<mode>): Ditto.

From-SVN: r261217

6 years agoreflect: canonicalize types returned by StructOf() and friends
Ian Lance Taylor [Tue, 5 Jun 2018 20:23:40 +0000 (20:23 +0000)]
reflect: canonicalize types returned by StructOf() and friends

    Background: since gccgo does not currently merge identical types at link time,
    the reflect function canonicalize() exists to choose a canonical specimen
    for each set of identical types.
    In this way, user code has the guarantee that identical types
    will always compare as ==

    Change: arrange reflect functions MapOf(), SliceOf(), StructOf() etc.
    to call canonicalize() on the types they create, before storing the types
    in internal lookup caches and returning them.

    This fixes known cases where canonicalize() is needed but was missing.
    Supersedes https://golang.org/cl/112575 and mostly fixes issue 25284.

    Updates golang/go#25284

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

From-SVN: r261216

6 years agoChangeLog: Fix whitespace.
Uros Bizjak [Tue, 5 Jun 2018 18:18:18 +0000 (20:18 +0200)]
ChangeLog: Fix whitespace.

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

From-SVN: r261210

6 years agoi386.md (simple_return_indirect_internal): New expander.
Uros Bizjak [Tue, 5 Jun 2018 18:04:07 +0000 (20:04 +0200)]
i386.md (simple_return_indirect_internal): New expander.

* config/i386/i386.md (simple_return_indirect_internal): New expander.
(*simple_return_indirect_internal<mode>): Rename from
simple_return_indirect_internal.  Use W mode iterator.
(rstorssp): New expander.
(*rstorssp<mode>): Rename from rstorssp.  Use P mode iterator.
(clrssbsy): New expander.
(*clrssbsy<mode>): Rename from clrssbsy.  Use P mode iterator.

From-SVN: r261208

6 years ago[arm] Make arm_cmse.h C99 compatible
Andre Vieira [Tue, 5 Jun 2018 15:07:09 +0000 (15:07 +0000)]
[arm] Make arm_cmse.h C99 compatible

gcc/ChangeLog
2018-06-05  Andre Vieira  <andre.simoesdiasvieira@arm.com>

* config/arm/arm_cmse.h (cmse_nsfptr_create): Change typeof to
__typeof__.
(cmse_check_pointed_object): Likewise.

gcc/testsuite/ChangeLog
2018-06-05  Andre Vieira  <andre.simoesdiasvieira@arm.com>

* gcc.target/arm/cmse/cmse-1c99.c: New test.

From-SVN: r261204

6 years agore PR fortran/85701 ([openacc] ICE in mark_scope_block_unused, at tree-ssa-live.c...
Cesar Philippidis [Tue, 5 Jun 2018 13:58:50 +0000 (06:58 -0700)]
re PR fortran/85701 ([openacc] ICE in mark_scope_block_unused, at tree-ssa-live.c:364)

PR fortran/85701

gcc/fortran/
* openmp.c (gfc_resolve_oacc_declare): Error on functions and
subroutine data clause arguments.

gcc/testsuite/
* gfortran.dg/goacc/pr85701.f90: New test.

From-SVN: r261202

6 years agolto.c (cmp_type_location): Expand locations only once.
Richard Biener [Tue, 5 Jun 2018 13:42:57 +0000 (13:42 +0000)]
lto.c (cmp_type_location): Expand locations only once.

2018-06-05  Richard Biener  <rguenther@suse.de>

* lto.c (cmp_type_location): Expand locations only once.

From-SVN: r261201

6 years agore PR c++/85976 (ICE in cp_tree_equal when building Blitz. May be nested templates.)
Marek Polacek [Tue, 5 Jun 2018 13:11:00 +0000 (13:11 +0000)]
re PR c++/85976 (ICE in cp_tree_equal when building Blitz. May be nested templates.)

PR c++/85976
* tree.c (cp_tree_equal): Handle USING_DECL.

* g++.dg/cpp0x/alias-decl-64.C: New test.

From-SVN: r261200

6 years agoSupport variables in expansion of -fprofile-generate option (PR gcov-profile/47618).
Martin Liska [Tue, 5 Jun 2018 12:10:22 +0000 (14:10 +0200)]
Support variables in expansion of -fprofile-generate option (PR gcov-profile/47618).

2018-06-05  Martin Liska  <mliska@suse.cz>

PR gcov-profile/47618
* doc/invoke.texi: Document how -fprofile-dir format
        is extended.
2018-06-05  Martin Liska  <mliska@suse.cz>

PR gcov-profile/47618
* libgcov-driver-system.c (replace_filename_variables): New
        function.
(gcov_exit_open_gcda_file): Use it.

From-SVN: r261199

6 years agoPR c++/85731 - wrong error with qualified-id in template.
Jason Merrill [Tue, 5 Jun 2018 11:27:12 +0000 (07:27 -0400)]
PR c++/85731 - wrong error with qualified-id in template.

* semantics.c (finish_qualified_id_expr): build_qualified_name
for unbound names in the current class.

From-SVN: r261196

6 years agotree-cfgcleanup.c (cleanup_control_flow_pre): For edge removal pretend DOM info isn...
Richard Biener [Tue, 5 Jun 2018 11:11:16 +0000 (11:11 +0000)]
tree-cfgcleanup.c (cleanup_control_flow_pre): For edge removal pretend DOM info isn't available so we do not update it and...

2018-06-05  Richard Biener  <rguenther@suse.de>

* tree-cfgcleanup.c (cleanup_control_flow_pre): For edge
removal pretend DOM info isn't available so we do not update
it and only remove edges, not dominated blocks.  Actually free
DOM info in case we removed something.  Remove unreachable blocks.
(mfb_keep_latches): Work with either DOM info or marked backedges.
(cleanup_tree_cfg_noloop): Do not remove unreachable blocks
first.  Mark backedges if DOM info isn't available.
(Re-)compute DOM info after cleanup_control_flow_pre.

From-SVN: r261195

6 years agotree-cfg.c (struct locus_discrim_map): Store line, not location.
Richard Biener [Tue, 5 Jun 2018 11:10:25 +0000 (11:10 +0000)]
tree-cfg.c (struct locus_discrim_map): Store line, not location.

2018-06-05  Richard Biener  <rguenther@suse.de>

* tree-cfg.c (struct locus_discrim_map): Store line, not location.
(locus_discrim_hasher::hash): Adjust.
(locus_discrim_hasher::equal): Likewise.
(next_discriminator_for_locus): Work on line directly.
(same_line_p): Pass in expanded locus1 as well.
(assign_discriminators): Avoid redundant location expansions.

From-SVN: r261194

6 years agore PR c/86046 (ICE in execute_todo, at passes.c:2043)
Richard Biener [Tue, 5 Jun 2018 10:02:50 +0000 (10:02 +0000)]
re PR c/86046 (ICE in execute_todo, at passes.c:2043)

2018-06-05  Richard Biener  <rguenther@suse.de>

PR tree-optimization/86046
* tree-ssa.c (maybe_optimize_var): Clear DECL_GIMPLE_REG_P
if required after clearing TREE_ADDRESSABLE.

* gcc.dg/pr86046.c: New testcase.

From-SVN: r261193

6 years agore PR tree-optimization/86047 (ICE in for_each_index, at tree-ssa-loop.c:647)
Richard Biener [Tue, 5 Jun 2018 10:01:49 +0000 (10:01 +0000)]
re PR tree-optimization/86047 (ICE in for_each_index, at tree-ssa-loop.c:647)

2018-06-05  Richard Biener  <rguenther@suse.de>

PR tree-optimization/86047
* tree-ssa-loop.c (for_each_index): Glob handling of all
decls and constants and really handle all of them.

* gcc.dg/pr86047.c: New testcase.

From-SVN: r261192

6 years ago[arm] PR target/81497: Fix arm_acle.h for C++
Kyrylo Tkachov [Tue, 5 Jun 2018 09:50:16 +0000 (09:50 +0000)]
[arm] PR target/81497: Fix arm_acle.h for C++

When trying to compile something with arm_acle.h using G++ we get a number of nasty errors:
arm_acle.h:48:49: error: invalid conversion from ‘const void*’ to ‘const int*’ [-fpermissive]
    return __builtin_arm_ldc (__coproc, __CRd, __p);

This is because the intrinsics that are supposed to be void return the "result" of their builtin,
which is void. C lets that slide but C++ complains.

After fixing that we run into further errors:
arm_acle.h:48:46: error: invalid conversion from 'const void*' to 'const int*' [-fpermissive]
    return __builtin_arm_ldc (__coproc, __CRd, __p);
                                               ^~~
Because the pointer arguments in these intrinsics are void pointers but the builtin
expects int pointers. So this patch introduces new qualifiers for void pointers and their
const-qualified versions and uses that in the specification of these intrinsics.

This gives us the opportunity of creating an arm subdirectory in g++.dg and inaugurates it
with the first arm-specific C++ tests (in that directory).

PR target/81497
* config/arm/arm-builtins.c (arm_type_qualifiers): Add
qualifier_void_pointer and qualifier_const_void_pointer.
(arm_ldc_qualifiers, arm_stc_qualifiers): Use the above.
(arm_init_builtins): Handle the above.
* config/arm/arm_acle.h (__arm_cdp, __arm_ldc, __arm_ldcl, __arm_stc,
__arm_stcl, __arm_mcr, __arm_cdp2, __arm_ldc2, __arm_ldcl2, __arm_stc2,
__arm_stcl2,__arm_mcr2, __arm_mcrr, __arm_mcrr2): Remove return for
void intrinsics.

* g++.target/arm/arm.exp: New file.
* g++.target/arm/pr81497.C: Likewise.

From-SVN: r261191

6 years agoSimplify gcov_histogram as it's used only for ARCS counters.
Martin Liska [Tue, 5 Jun 2018 08:13:31 +0000 (10:13 +0200)]
Simplify gcov_histogram as it's used only for ARCS counters.

2018-06-05  Martin Liska  <mliska@suse.cz>

* auto-profile.c (read_autofdo_file): Do not use
gcov_ctr_summary struct.
(afdo_callsite_hot_enough_for_early_inline): Likewise.
* coverage.c (struct counts_entry): Likewise.
(read_counts_file): Read just single summary entry.
(get_coverage_counts): Use gcov_summary struct.
* coverage.h (get_coverage_counts): Likewise.
* gcov-dump.c (dump_working_sets): Likewise.
(tag_summary): Dump just single summary.
* gcov-io.c (gcov_write_summary): Write just histogram
summary.
(gcov_read_summary): Read just single summary.
(compute_working_sets): Use gcov_summary struct.
* gcov-io.h (GCOV_TAG_SUMMARY_LENGTH): Remove usage
of GCOV_COUNTERS_SUMMABLE.
(GCOV_COUNTERS_SUMMABLE): Remove.
(GCOV_FIRST_VALUE_COUNTER): Replace with
GCOV_COUNTER_V_INTERVAL.
(struct gcov_ctr_summary): Remove.
(struct gcov_summary): Directly use fields of former
gcov_ctr_summary.
(compute_working_sets): Use gcov_summary struct.
* gcov.c (read_count_file): Do not use ctrs fields.
* lto-cgraph.c (merge_profile_summaries): Use gcov_summary
struct.
* lto-streamer.h (struct GTY): Make profile_info gcov_summary
struct.
* profile.c: Likewise.
* profile.h: Likewise.
2018-06-05  Martin Liska  <mliska@suse.cz>

* libgcov-driver.c (gcov_compute_histogram): Remove usage
of gcov_ctr_summary.
(compute_summary): Do it just for a single summary.
(merge_one_data): Likewise.
(merge_summary): Simplify as we read just single summary.
(dump_one_gcov): Pass proper argument.
* libgcov-util.c (compute_one_gcov): Simplify as we have just
single summary.
(gcov_info_count_all_cold): Likewise.
(calculate_overlap): Likewise.

From-SVN: r261189

6 years agoPrint working directory only in intermediate format (PR gcov-profile/84846).
Martin Liska [Tue, 5 Jun 2018 08:11:52 +0000 (10:11 +0200)]
Print working directory only in intermediate format (PR gcov-profile/84846).

2018-06-05  Martin Liska  <mliska@suse.cz>

PR gcov-profile/84846
* gcov.c (output_lines): Print working directory only
in intermediate format.

From-SVN: r261188

6 years ago* include/std/type_traits: Fix comment typos.
Jonathan Wakely [Tue, 5 Jun 2018 07:37:36 +0000 (08:37 +0100)]
* include/std/type_traits: Fix comment typos.

From-SVN: r261186

6 years agoMark some Filesystem tests as XFAIL for mingw
Jonathan Wakely [Tue, 5 Jun 2018 07:37:30 +0000 (08:37 +0100)]
Mark some Filesystem tests as XFAIL for mingw

Symlinks are not supported on mingw.

* testsuite/27_io/filesystem/operations/read_symlink.cc: XFAIL for
mingw* targets.
* testsuite/27_io/filesystem/operations/symlink_status.cc: Likewise.
* testsuite/experimental/filesystem/operations/read_symlink.cc:
Likewise.

From-SVN: r261185

6 years agoS/390: Fix __builtin_tbeginc signature
Andreas Krebbel [Tue, 5 Jun 2018 07:22:24 +0000 (07:22 +0000)]
S/390: Fix __builtin_tbeginc signature

The builtin was accidentally defined to have an integer return value.
Fixed with the attached patch.

gcc/ChangeLog:

2018-06-05  Andreas Krebbel  <krebbel@linux.ibm.com>

* config/s390/s390-builtin-types.def: Add void function type.
* config/s390/s390-builtins.def: Use the function type for the
tbeginc builtin.

gcc/testsuite/ChangeLog:

2018-06-05  Andreas Krebbel  <krebbel@linux.ibm.com>

* gcc.target/s390/htm-builtins-compile-4.c: New test.

From-SVN: r261183

6 years ago2018-06-05 François Dumont <fdumont@gcc.gnu.org>
François Dumont [Tue, 5 Jun 2018 05:47:44 +0000 (05:47 +0000)]
2018-06-05  François Dumont  <fdumont@gcc.gnu.org>

* include/bits/stl_tempbuf.h
(_Temporary_buffer(_FwdIte, _FwdIte)): Delete, replaced by...
(_Temporary_buffer(_FwdIte, size_type)): ...this, new.
* include/ext/memory (temporary_buffer<>(_FwdIte, _FwdIte)): Adapt.
* include/bits/stl_algo.h (__stable_partition): Adapt.
(__inplace_merge): Adapt.
(__stable_sort): Adapt.

From-SVN: r261181

6 years agoDaily bump.
GCC Administrator [Tue, 5 Jun 2018 00:16:35 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r261180

6 years agoRISC-V: Don't clobber retval when __builtin_eh_return called.
Jim Wilson [Mon, 4 Jun 2018 23:44:43 +0000 (23:44 +0000)]
RISC-V: Don't clobber retval when __builtin_eh_return called.

gcc/
* config/riscv/riscv-protos.h (riscv_expand_epilogue): Change bool arg
to int.
* config/riscv/riscv.c (riscv_for_each_saved_reg): New args epilogue
and maybe_eh_return.  Change regno to unsigned int.  Use new args to
handle EH_RETURN_DATA_REGNO registers properly.
(riscv_expand_prologue): Pass new args to riscv_for_each_saved_reg.
(riscv_expand_epilogue): Update comment.  Change argument name and
type.  Update code to use new name and type.  Pass new args to
riscv_for_each_saved_reg.  Only use EH_RETURN_STACKADJ_RTX when
EXCEPTION_RETURN.
* config/riscv/riscv.md (NORMAL_RETURN): New.
(SIBCALL_RETURN, EXCEPTION_RETURN): New.
(epilogue, sibcall_epilogue): Update riscv_expand_epilogue arg.
(eh_return): Call gen_eh_return_internal and emit barrier.
(eh_return_internal): Call riscv_expand_epilogue.

From-SVN: r261176

6 years agogimple-ssa-store-merging.c (struct merged_store_group): Move up bit_insertion field...
Eric Botcazou [Mon, 4 Jun 2018 22:12:51 +0000 (22:12 +0000)]
gimple-ssa-store-merging.c (struct merged_store_group): Move up bit_insertion field and declare can_be_merged_into method.

* gimple-ssa-store-merging.c (struct merged_store_group): Move up
bit_insertion field and declare can_be_merged_into method.
(merged_store_group::can_be_merged_into): New method.
(imm_store_chain_info::coalesce_immediate): Call it to decide whether
consecutive non-overlapping stores can be merged.  Turn MEM_REF stores
into BIT_INSERT_EXPR stores if the group contains a non-MEM_REF store.

From-SVN: r261173

6 years agoPR libstdc++/85930 fix misplaced alignment-specifier
Jonathan Wakely [Mon, 4 Jun 2018 21:38:42 +0000 (22:38 +0100)]
PR libstdc++/85930 fix misplaced alignment-specifier

PR libstdc++/85930
* include/bits/shared_ptr_base.h [!__cpp_rtti]: Include <typeinfo>
unconditionally. Remove redundant declaration.
[!__cpp_rtti] (_Sp_make_shared_tag::_S_ti): Fix location of
alignment-specifier.

From-SVN: r261172

6 years agocompiler: fix crashes on cyclic var/type references
Ian Lance Taylor [Mon, 4 Jun 2018 19:10:05 +0000 (19:10 +0000)]
compiler: fix crashes on cyclic var/type references

    This patch fixes type traversal to avoid compiler crashes for test
    cases where a type T includes an expression that refers back to the
    type without actually explicitly mentioning T. Examples include

      var x [uintptr(unsafe.Sizeof(&x))]byte
      var a [len(a)]int

    The fix involves expanding the set of types that the traversal code
    "remembers" (to avoid cycles) to include array types, and introducing an
    additional guard in Builtin_call_expression::do_is_constant to catch
    cyclic type constructs.

    Fixes golang/go#25299
    Fixes golang/go#25679
    Fixes golang/go#25315
    Fixes golang/go#25680

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

From-SVN: r261168

6 years agoAdd myself as gcov maintainer.
Martin Liska [Mon, 4 Jun 2018 18:55:10 +0000 (20:55 +0200)]
Add myself as gcov maintainer.

2018-06-04  Martin Liska  <mliska@suse.cz>

* MAINTAINERS: Add myself as gcov maintainer.

From-SVN: r261167

6 years agore PR middle-end/85955 (ICE in fold_convert_loc, at fold-const.c:2408)
Richard Biener [Mon, 4 Jun 2018 18:03:24 +0000 (18:03 +0000)]
re PR middle-end/85955 (ICE in fold_convert_loc, at fold-const.c:2408)

2018-06-04  Richard Biener  <rguenther@suse.de>

PR tree-optimization/85955
* builtins.c (fold_builtin_sincos): Convert pointers to
destination to appropriate type before dereferencing.

* gcc.dg/pr85955.c: New testcase.

From-SVN: r261165

6 years ago* g++.dg/warn/string1.C: Prune extra warning with -std=c++17.
Jason Merrill [Mon, 4 Jun 2018 17:46:17 +0000 (13:46 -0400)]
* g++.dg/warn/string1.C: Prune extra warning with -std=c++17.

From-SVN: r261164

6 years ago* es.po, fr.po: Update.
Joseph Myers [Mon, 4 Jun 2018 16:41:25 +0000 (17:41 +0100)]
* es.po, fr.po: Update.

From-SVN: r261159

6 years agors6000: Fix absif2
Segher Boessenkool [Mon, 4 Jun 2018 16:36:24 +0000 (18:36 +0200)]
rs6000: Fix absif2

Without this patch absif2 always FAILs.  There is no testcase for
that, nor do we see it during bootstrap, but it is obvious.

* config/rs6000/rs6000.md (abs<mode>2 for FLOAT128): Handle IFmode.

From-SVN: r261158

6 years agoDefine std::fpos special members as defaulted
Jonathan Wakely [Mon, 4 Jun 2018 16:07:55 +0000 (17:07 +0100)]
Define std::fpos special members as defaulted

* include/bits/postypes.h (fpos): Define special members as defaulted.

From-SVN: r261156

6 years agoPR libstdc++/85930 fix misaligned reference
Jonathan Wakely [Mon, 4 Jun 2018 16:07:35 +0000 (17:07 +0100)]
PR libstdc++/85930 fix misaligned reference

PR libstdc++/85930
* include/bits/shared_ptr_base.h (_Sp_make_shared_tag::_S_ti): Align
the static variable correctly.

From-SVN: r261155

6 years agore PR fortran/85981 (ICE in gfc_trans_string_copy, at fortran/trans-expr.c:6539)
Steven G. Kargl [Mon, 4 Jun 2018 15:54:48 +0000 (15:54 +0000)]
re PR fortran/85981 (ICE in gfc_trans_string_copy, at fortran/trans-expr.c:6539)

2018-06-04  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/85981
* resolve.c (resolve_allocate_deallocate): Check errmsg is default
character kind.

2018-06-04  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/85981
* gfortran.dg/allocate_alloc_opt_14.f90: New test.
* gfortran.dg/allocate_alloc_opt_1.f90: Update error string.
* gfortran.dg/allocate_stat_2.f90: Ditto.
* gfortran.dg/deallocate_alloc_opt_1.f90: Ditto.

From-SVN: r261154

6 years ago[MAINTAINERS] Update email address
Matthew Fortune [Mon, 4 Jun 2018 15:38:08 +0000 (15:38 +0000)]
[MAINTAINERS] Update email address

* MAINTAINERS: Update my email address.

From-SVN: r261153

6 years agoPR c++/61806 - missed SFINAE with partial specialization.
Jason Merrill [Mon, 4 Jun 2018 15:16:00 +0000 (11:16 -0400)]
PR c++/61806 - missed SFINAE with partial specialization.

* cp-tree.h (deferring_access_check_sentinel): Add deferring_kind
parameter to constructor.
* pt.c (instantiate_class_template_1): Enable access checking
before call to most_specialized_partial_spec.

From-SVN: r261151

6 years agoFix expand_expr_real_1 handling of BLKmode bitfield references
Richard Sandiford [Mon, 4 Jun 2018 15:02:07 +0000 (15:02 +0000)]
Fix expand_expr_real_1 handling of BLKmode bitfield references

The handling of bitfield references in expand_expr_real_1 includes:

            machine_mode ext_mode = mode;

            if (ext_mode == BLKmode
                && ! (target != 0 && MEM_P (op0)
                      && MEM_P (target)
                      && multiple_p (bitpos, BITS_PER_UNIT)))
              ext_mode = int_mode_for_size (bitsize, 1).else_blk ();

            if (ext_mode == BLKmode)
              {
                [...]
                gcc_assert (MEM_P (op0)

Here "mode" is the TYPE_MODE of the result, so when mode == BLKmode,
the target must be a MEM if nonnull, since no other rtl objects can
have BLKmode.  But there's no guarantee that the source value op0 is also
BLKmode and thus also a MEM: we can reach the assert for any source if
the bitsize being extracted is larger than the largest integer mode
(or larger than MAX_FIXED_MODE_SIZE).

This triggered for SVE with -msve-vector-bits=512, where we could
sometimes try to extract a BLKmode value from a 512-bit vector,
and where int_mode_for_size would rightly fail for large bitsizes.

The patch reuses the existing:

/* Otherwise, if this is a constant or the object is not in memory
   and need be, put it there.  */
else if (CONSTANT_P (op0) || (!MEM_P (op0) && must_force_mem))
  {
    memloc = assign_temp (TREE_TYPE (tem), 1, 1);
    emit_move_insn (memloc, op0);
    op0 = memloc;
    clear_mem_expr = true;
  }

to handle this case.

2018-05-29  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
* expr.c (expand_expr_real_1): Force the operand into memory if
its TYPE_MODE is BLKmode and if there is no integer mode for
the number of bits being extracted.

gcc/testsuite/
* gcc.target/aarch64/sve/extract_5.c: New test.

From-SVN: r261150

6 years agore PR target/85832 ([AVX512] possible shorter code when comparing with vector of...
Jakub Jelinek [Mon, 4 Jun 2018 13:49:55 +0000 (15:49 +0200)]
re PR target/85832 ([AVX512] possible shorter code when comparing with vector of zeros)

PR target/85832
PR target/86036
* config/i386/sse.md (<avx512>_eq<mode>3<mask_scalar_merge_name>_1):
Use vptestnm rather than vptestm in (=Yc,v,C) variant.

* gcc.target/i386/avx512f-pr85832.c: Expect vptestnm rather than
vptestm.
* gcc.target/i386/avx512vl-pr85832.c: Likewise.
* gcc.target/i386/avx512vlbw-pr85832.c: Likewise.
* gcc.target/i386/avx512bw-pr85832.c: Likewise.
* gcc.target/i386/avx512bw-pr86036.c: New test.

From-SVN: r261148

6 years agoPR c++/85765 - SFINAE and non-type default template arg.
Jason Merrill [Mon, 4 Jun 2018 13:22:52 +0000 (09:22 -0400)]
PR c++/85765 - SFINAE and non-type default template arg.

* pt.c (type_unification_real): Do full semantic processing if
substituting a partial args list replaces all template parms.

From-SVN: r261146

6 years agotree-cfgcleanup.c (cleanup_tree_cfg_1): Fold into...
Richard Biener [Mon, 4 Jun 2018 11:38:38 +0000 (11:38 +0000)]
tree-cfgcleanup.c (cleanup_tree_cfg_1): Fold into...

2018-06-04  Richard Biener  <rguenther@suse.de>

* tree-cfgcleanup.c (cleanup_tree_cfg_1): Fold into...
(cleanup_tree_cfg_noloop): ... single caller.  Do
start_recording_case_labels later.

From-SVN: r261145

6 years agocldemoteintrin.h: Change define from _X86INTRIN_H_INCLUDED to _IMMINTRIN_H_INCLUDED.
Sebastian Peryt [Mon, 4 Jun 2018 11:08:40 +0000 (13:08 +0200)]
cldemoteintrin.h: Change define from _X86INTRIN_H_INCLUDED to _IMMINTRIN_H_INCLUDED.

2018-06-04  Sebastian Peryt  <sebastian.peryt@intel.com>

        * config/i386/cldemoteintrin.h: Change define from _X86INTRIN_H_INCLUDED
        to _IMMINTRIN_H_INCLUDED.
        * config/i386/pconfigintrin.h: Ditto.
        * config/i386/waitpkgintrin.h: Ditto.
        * config/i386/immintrin.h: Add includes for sgxintrin.h,
        pconfigintrin.h, waitpkgintrin.h and cldemoteintrin.h.
        * config/i386/x86intrin.h: Remove includes for mintrin.h, xmmintrin.h,
        emmintrin.h, pmmintrin.h, tmmintrin.h, smmintrin.h, wmmintrin.h,
        bmiintrin.h, bmi2intrin.h, lzcntintrin.h, sgxintrin.h, pconfigintrin.h,
        waitpkgintrin.h and cldemoteintrin.h.

From-SVN: r261144

6 years ago[MAINTAINERS] Remove redundant write-after-approval entries
Tom de Vries [Mon, 4 Jun 2018 09:30:44 +0000 (09:30 +0000)]
[MAINTAINERS] Remove redundant write-after-approval entries

2018-06-04  Tom de Vries  <tdevries@suse.de>

* MAINTAINERS: Remove write-after-approval entries for component
maintainers.

From-SVN: r261143

6 years agore PR tree-optimization/86038 (ICE in to_reg_br_prob_base, at profile-count.h:242)
Richard Biener [Mon, 4 Jun 2018 09:28:22 +0000 (09:28 +0000)]
re PR tree-optimization/86038 (ICE in to_reg_br_prob_base, at profile-count.h:242)

2018-06-04  Richard Biener  <rguenther@suse.de>

PR tree-optimization/86038
* tracer.c (find_best_successor): Check probability for
being initialized, bail out if not.

* gcc.dg/pr86038.c: New testcase.

From-SVN: r261142

6 years ago[arm] PR target/86003 build failures with --with-cpu=xscale
Richard Earnshaw [Mon, 4 Jun 2018 08:41:45 +0000 (08:41 +0000)]
[arm] PR target/86003 build failures with --with-cpu=xscale

The XScale cpu configuration in GCC has always been somewhat
non-conforming.  Although XScale isn't an architecture (it's simply an
implementation of ARMv5te), we do by tradition emit a specific
pre-define for it.  We achieve this effect by adding an additional
feature bit to the xscale CPU definition that isn't part of the base
architecture.

When I restructured the options last year I overlooked this oddity and
the result, of course, is that this configuration now fails to build
as intended.

What happens is that the driver (correctly) constructs an architecture
for the xscale cpu name (as armv5te) and passes it in addition to the
CPU name.  The backend code, on finding both a cpu and an architecture
specifies attempts to correlate the two and finds a difference due to
the additional feature bit and reports an inconsistency (fatally if
-werror is specified).

I think the best fix to this is to treat the xscale feature bit using
the same mechanism that we use for other 'quirks' in CPU
implementations and simply filter it out before comparing the
capabilities.  It has the additional benefit that it's also the
simplest fix.

PR target/86003
* config/arm/arm-cpus.in (ALL_QUIRKS): Add xscale feature to the list
of bits to ignore when comparing architectures.

From-SVN: r261140

6 years agore PR tree-optimization/69615 (0 to limit signed range checks don't always use unsign...
Jakub Jelinek [Mon, 4 Jun 2018 07:37:56 +0000 (09:37 +0200)]
re PR tree-optimization/69615 (0 to limit signed range checks don't always use unsigned compare)

PR tree-optimization/69615
* fold-const.c (merge_ranges): If range1 is - [x, x] and x is the
maximum or minimum of the type, try to merge it also as if
range1 is + [-, x - 1] or + [x + 1, -].

* gcc.dg/pr69615.c: New test.

From-SVN: r261139

6 years agore PR c++/86025 (ICE with -Wduplicated-branches and OpenMP critical)
Jakub Jelinek [Mon, 4 Jun 2018 07:27:52 +0000 (09:27 +0200)]
re PR c++/86025 (ICE with -Wduplicated-branches and OpenMP critical)

PR c++/86025
* tree.c (inchash::add_expr): Handle IDENTIFIER_NODE.

* c-c++-common/gomp/pr86025.c: New test.

From-SVN: r261137

6 years agoDaily bump.
GCC Administrator [Mon, 4 Jun 2018 00:16:42 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r261136

6 years ago* gcc.target/powerpc/altivec-7.c: Remove extra brace.
Andreas Schwab [Sun, 3 Jun 2018 17:50:29 +0000 (17:50 +0000)]
* gcc.target/powerpc/altivec-7.c: Remove extra brace.

From-SVN: r261130

6 years agoPR c++/85739 - ICE with pointer to member template parm.
Jason Merrill [Sun, 3 Jun 2018 12:37:03 +0000 (08:37 -0400)]
PR c++/85739 - ICE with pointer to member template parm.

* cvt.c (perform_qualification_conversions): Use cp_fold_convert.

From-SVN: r261129

6 years agore PR tree-optimization/86034 (wrong code for bit-field manipulation at -Os)
Eric Botcazou [Sun, 3 Jun 2018 11:51:10 +0000 (11:51 +0000)]
re PR tree-optimization/86034 (wrong code for bit-field manipulation at -Os)

PR tree-optimization/86034
* gimple-ssa-store-merging.c (output_merged_store): Convert the RHS to
the unsigned bitfield type in a bit insertion sequence if it does not
have a larger precision than the bitfield size.
(process_store): Also bypass widening conversions for BIT_INSERT_EXPR.

From-SVN: r261128

6 years agore PR fortran/36497 (USE association, cray pointers and error checking)
Paul Thomas [Sun, 3 Jun 2018 11:14:51 +0000 (11:14 +0000)]
re PR fortran/36497 (USE association, cray pointers and error checking)

2018-06-03  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/36497
* decl.c (variable_decl): Use gfc_add_type for cray pointees.

2018-06-03  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/36497
* gfortran.dg/cray_pointer_12.f90: New test.

From-SVN: r261127

6 years agore PR fortran/85938 (Spurious assert failure for matmul with reshaped array)
Steven G. Kargl [Sun, 3 Jun 2018 05:23:59 +0000 (05:23 +0000)]
re PR fortran/85938 (Spurious assert failure for matmul with reshaped array)

2018-06-02  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/85938
* gfortran.dg/pr85938.f90: Fixed by revision r261081

From-SVN: r261125

6 years ago[NDS32] Implement peephole2 patterns for tuning code size.
Kito Cheng [Sun, 3 Jun 2018 03:46:32 +0000 (03:46 +0000)]
[NDS32] Implement peephole2 patterns for tuning code size.

gcc/
* config/nds32/nds32-peephole2.md: Add new patterns for code size.

From-SVN: r261124

6 years ago[NDS32] Add -march=v3j.
Chung-Ju Wu [Sun, 3 Jun 2018 03:26:56 +0000 (03:26 +0000)]
[NDS32] Add -march=v3j.

gcc/
* config/nds32/nds32-opts.h (nds32_arch_type): Add ARCH_V3J.
* config/nds32/nds32.c (nds32_option_override): Consider ARCH_V3J.
* config/nds32/nds32.h (TARGET_ISA_V3): Add ARCH_V3J checking.
* config/nds32/nds32.opt (march): Add enum value Value(ARCH_V3J).

From-SVN: r261123

6 years ago[NDS32] Disable -fdelete-null-pointer-checks by default for nds32*-*-elf.
Chung-Ju Wu [Sun, 3 Jun 2018 03:17:40 +0000 (03:17 +0000)]
[NDS32] Disable -fdelete-null-pointer-checks by default for nds32*-*-elf.

gcc/
* common/config/nds32/nds32-common.c (nds32_option_optimization_table):
Disable -fdelete-null-pointer-checks for ELF toolchain.

From-SVN: r261122

6 years agoPR c++/85761 - ICE with ill-formed use of const outer variable.
Jason Merrill [Sun, 3 Jun 2018 01:01:47 +0000 (21:01 -0400)]
PR c++/85761 - ICE with ill-formed use of const outer variable.

* expr.c (mark_use): Handle location wrappers.

From-SVN: r261121

6 years agoDaily bump.
GCC Administrator [Sun, 3 Jun 2018 00:16:36 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r261120

6 years ago[NDS32] Support Linux target for nds32.
Chung-Ju Wu [Sat, 2 Jun 2018 14:22:12 +0000 (14:22 +0000)]
[NDS32] Support Linux target for nds32.

gcc/
* config.gcc (nds32*): Use nds32-linux.opt and nds32-elf.opt.
(nds32le-*-*, nds32be-*-*): Integrate checking process.
(nds32*-*-*): Add glibc and uclibc conditions.
* common/config/nds32/nds32-common.c (nds32_except_unwind_info): New.
(TARGET_EXCEPT_UNWIND_INFO): Define.
* config/nds32/elf.h: New file.
* config/nds32/linux.h: New file.
* config/nds32/nds32-elf.opt: New file.
* config/nds32/nds32-linux.opt: New file.
* config/nds32/nds32-fp-as-gp.c
(pass_nds32_fp_as_gp::gate): Consider TARGET_LINUX_ABI.
* config/nds32/nds32.c (nds32_conditional_register_usage): Consider
TARGET_LINUX_ABI.
(nds32_asm_file_end): Ditto.
(nds32_print_operand): Ditto.
(nds32_insert_attributes): Ditto.
(nds32_init_libfuncs): New function.
(TARGET_HAVE_TLS): Define.
(TARGET_INIT_LIBFUNCS): Define.
* config/nds32/nds32.h (TARGET_DEFAULT_RELAX): Apply different relax
spec content.
(TARGET_ELF): Apply different mcmodel setting.
(LINK_SPEC, LIB_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): The content has
been migrated into elf.h and linux.h files.
* config/nds32/nds32.md (add_pc): Consider TARGET_LINUX_ABI.
* config/nds32/nds32.opt (mvh): Consider TARGET_LINUX_ABI.
(mcmodel): The content has been migrated into nds32-elf.opt and
nds32-linux.opt files.
* config/nds32/t-elf: New file.
* config/nds32/t-linux: New file.

libgcc/
* config.host (nds32*-linux*): New.
* config/nds32/linux-atomic.c: New file.
* config/nds32/linux-unwind.h: New file.

Co-Authored-By: Kito Cheng <kito.cheng@gmail.com>
Co-Authored-By: Monk Chiang <sh.chiang04@gmail.com>
From-SVN: r261116

6 years ago[NDS32] Implement fp-as-gp optimization.
Chung-Ju Wu [Sat, 2 Jun 2018 11:14:04 +0000 (11:14 +0000)]
[NDS32] Implement fp-as-gp optimization.

gcc/
* config/nds32/constants.md (unspec_volatile_element): Add
UNSPEC_VOLATILE_OMIT_FP_BEGIN and UNSPEC_VOLATILE_OMIT_FP_END.
* config/nds32/nds32-fp-as-gp.c: New implementation of fp_as_gp
optimization.
* config/nds32/nds32-protos.h (nds32_naked_function_p): Declare.
(make_pass_nds32_fp_as_gp): Declare.
* config/nds32/nds32.c (nds32_register_passes): Add fp_as_gp as one
optmization pass.
(nds32_asm_function_end_prologue): Remove unused asm output.
(nds32_asm_function_begin_epilogue): Remove unused asm output.
(nds32_asm_file_start): Output necessary fp_as_gp information.
(nds32_option_override): Adjust register usage.
(nds32_expand_prologue): Consider fp_as_gp situation.
(nds32_expand_prologue_v3push): Consider fp_as_gp situation.
* config/nds32/nds32.md (prologue): Check fp_as_gp_p and naked_p.
(epilogue): Ditto.
(return): Ditto.
(simple_return): Ditto.
(omit_fp_begin): Output special directive for fp_as_gp.
(omit_fp_end): Output special directive for fp_as_gp.
* config/nds32/nds32.opt (mfp-as-gp, mno-fp-as-gp, mforce-fp-as-gp,
mforbid-fp-as-gp): New options.

Co-Authored-By: Shiva Chen <shiva0217@gmail.com>
From-SVN: r261115

6 years agodecl.c (gnat_to_gnu_entity): If this is not a definition...
Eric Botcazou [Sat, 2 Jun 2018 11:11:40 +0000 (11:11 +0000)]
decl.c (gnat_to_gnu_entity): If this is not a definition...

* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: If this is
not a definition, retrieve the expression only if it's a compile-time
known value if we are just annotating types.

* gcc-interface/utils.c (convert): Do not try to upcast properly for a
conversion between tagged types in type_annotate_only mode.

From-SVN: r261113

6 years agoAdd missing directive
Eric Botcazou [Sat, 2 Jun 2018 10:57:54 +0000 (10:57 +0000)]
Add missing directive

From-SVN: r261109

6 years agoada-tree.h (TYPE_PADDING_FOR_COMPONENT): New macro.
Eric Botcazou [Sat, 2 Jun 2018 10:45:41 +0000 (10:45 +0000)]
ada-tree.h (TYPE_PADDING_FOR_COMPONENT): New macro.

* gcc-interface/ada-tree.h (TYPE_PADDING_FOR_COMPONENT): New macro.
* gcc-interface/decl.c (gnat_to_gnu_component_type): Cache the padding
type built for an aliased component with variable size.

From-SVN: r261106