gcc.git
5 years agoMove is_valid_fd to filedescriptor.c file.
Martin Liska [Mon, 12 Aug 2019 07:36:48 +0000 (09:36 +0200)]
Move is_valid_fd to filedescriptor.c file.

2019-08-12  Martin Liska  <mliska@suse.cz>

* Makefile.in: Add filedescriptor.c.
* filedescriptor.c: New file.
* lrealpath.c (is_valid_fd): Remove.

From-SVN: r274273

5 years agoDaily bump.
GCC Administrator [Mon, 12 Aug 2019 00:16:25 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r274272

5 years agoPR fortran/91413 Generate warning when making array static
Janne Blomqvist [Sun, 11 Aug 2019 09:42:41 +0000 (12:42 +0300)]
PR fortran/91413 Generate warning when making array static

When moving a local variable from the stack to static storage, the
procedure is no longer safe to be called recursively or concurrently
from multiple threads.  Thus generate a warning when this is done.
Also double the default limit for switching from stack to static.

Regtested on x86_64-pc-linux-gnu.

gcc/fortran/ChangeLog:

2019-08-11  Janne Blomqvist  <jb@gcc.gnu.org>

PR fortran/91413
* invoke.texi (-fmax-stack-var-size): Document increased default.
* options.c (gfc_post_options): Increase default stack var size to
65536 bytes.
* trans-decl.c (gfc_finish_var_decl): Generate warning when local
array moved to static storage.

From-SVN: r274264

5 years agod: Fix ICE: gimplification failed (gimplify.c at 13436)
Iain Buclaw [Sun, 11 Aug 2019 06:53:14 +0000 (06:53 +0000)]
d: Fix ICE: gimplification failed (gimplify.c at 13436)

The expression that caused the ICE

++(a += 1.0);

The D front-end rewrites and applies implicit type conversions so the
expression gets simplified as

(int)((double) a += 1.0) += 1

The codegen pass would subsequently generate the following invalid code

(int)(double) a = (int)((double) a + 1.0) + 1

The LHS expression `(int)(double) a', represented as a FIX_TRUNC_EXPR
being what trips as it is not a valid lvalue for assignment.

While LHS casts are stripped away, convert_expr adds a double cast
because it converts the expression to its original type before
converting it to its target type.  There is no valid reason why this is
done, so it has been removed.

gcc/d/ChangeLog:

PR d/90601
* d-convert.cc (convert_expr): Don't convert an expression to its
original front-end type before converting to its target type.

gcc/testsuite/ChangeLog:

PR d/90601
* gdc.dg/pr90601.d: New test.

From-SVN: r274263

5 years agoCorrect a single misfire in previous ChangeLog cleanup.
Hans-Peter Nilsson [Sun, 11 Aug 2019 01:40:39 +0000 (01:40 +0000)]
Correct a single misfire in previous ChangeLog cleanup.

From-SVN: r274262

5 years agoDaily bump.
GCC Administrator [Sun, 11 Aug 2019 00:16:25 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r274261

5 years agodecl.c (match_old_style_init): Use a clearer error message.
Steven G. Kargl [Sat, 10 Aug 2019 18:26:13 +0000 (18:26 +0000)]
decl.c (match_old_style_init): Use a clearer error message.

2019-08-10  Steven G. Kargl  <kargl@gcc.gnu.org>

* decl.c (match_old_style_init): Use a clearer error message.
* expr.c (gfc_check_assign): Update BOZ checking to provide a stricter
adherence to the Fortran standard.  Use gfc_invalid_boz () to
relax errors into warnings.
* gfortran.h (gfc_isym_id): Add new ids GFC_ISYM_DFLOAT,
GFC_ISYM_FLOAT, GFC_ISYM_REALPART, and GFC_ISYM_SNGL
* intrinsic.c (add_functions): Use new ids to split REAL generic into
REAL, FLOAT, DFLOAT, SNGL, and REALPART generics.
(gfc_intrinsic_func_interface): Allow new intrinsics in an
initialization expression
* resolve.c (resolve_operator): Deal with BOZ as operands.
        Use gfc_invalid_boz to allow for errors or warnings via the
-fallow-invalid-boz option.  A BOZ cannot be an operand to an
unary operator.  Both operands of a binary operator cannot be BOZ.
        For binary operators, convert a BOZ operand into the type and
kind of the other operand for REAL or INTEGER operand.
* trans-intrinsic.c: Use new ids to cause conversions to happen.

2019-08-10  Steven G. Kargl  <kargl@gcc.gnu.org>

* gfortran.dg/boz_8.f90: Adjust error messages.
* gfortran.dg/nan_4.f90: Ditto.
* gfortran.dg/boz_1.f90: Add -fallow-invalid-boz to dg-options,
and test for warnings.
* gfortran.dg/boz_3.f90: Ditto.
* gfortran.dg/boz_4.f90: Ditto.
* gfortran.dg/dec_structure_6.f90: Ditto.
* gfortran.dg/ibits.f90: Ditto.

From-SVN: r274257

5 years agod: Fix internal compiler error: in add_expr, at tree.c:7794
Iain Buclaw [Sat, 10 Aug 2019 14:11:49 +0000 (14:11 +0000)]
d: Fix internal compiler error: in add_expr, at tree.c:7794

gcc/d/ChangeLog:

PR d/91238
* d-codegen.cc (build_address): If taking the address of a CALL_EXPR,
wrap it in a TARGET_EXPR.

gcc/testsuite/ChangeLog:

PR d/91238
* gdc.dg/pr91238.d: New test.

From-SVN: r274253

5 years agotree-core.h (enum omp_clause_code): Add OMP_CLAUSE_DEVICE_TYPE.
Jakub Jelinek [Sat, 10 Aug 2019 10:18:25 +0000 (12:18 +0200)]
tree-core.h (enum omp_clause_code): Add OMP_CLAUSE_DEVICE_TYPE.

* tree-core.h (enum omp_clause_code): Add OMP_CLAUSE_DEVICE_TYPE.
(enum omp_clause_device_type_kind): New enum.
(struct tree_omp_clause): Add subcode.device_type_kind.
* tree.h (OMP_CLAUSE_DEVICE_TYPE_KIND): Define.
* tree.c (omp_clause_num_ops, omp_clause_code_name): Add entries
for device_type clause.
(walk_tree_1): Handle OMP_CLAUSE_DEVICE_TYPE.
* tree-pretty-print.c (dump_omp_clause): Likewise.
c-family/
* c-pragma.h (enum pragma_omp_clause): Add
PRAGMA_OMP_CLAUSE_DEVICE_TYPE.
c/
* c-parser.c (c_parser_omp_clause_name): Parse device_type.
(c_parser_omp_clause_device_type): New function.
(c_parser_omp_all_clauses): Handle PRAGMA_OMP_CLAUSE_DEVICE_TYPE.
(OMP_DECLARE_TARGET_CLAUSE_MASK): Add PRAGMA_OMP_CLAUSE_DEVICE_TYPE.
(c_parser_omp_declare_target): Handle device_type clauses.  Remove
diagnostics for declare target with clauses nested in clause-less
declare target declaration-definition-seq.
* c-typeck.c (c_finish_omp_clauses): Handle OMP_CLAUSE_DEVICE_TYPE.
cp/
* parser.c (cp_parser_omp_clause_name): Parse device_type.
(cp_parser_omp_clause_device_type): New function.
(cp_parser_omp_all_clauses): Handle PRAGMA_OMP_CLAUSE_DEVICE_TYPE.
(OMP_DECLARE_TARGET_CLAUSE_MASK): Add PRAGMA_OMP_CLAUSE_DEVICE_TYPE.
(cp_parser_omp_declare_target): Handle device_type clauses.  Remove
diagnostics for declare target with clauses nested in clause-less
declare target declaration-definition-seq.
* semantics.c (finish_omp_clauses): Handle OMP_CLAUSE_DEVICE_TYPE.
testsuite/
* c-c++-common/gomp/declare-target-2.c: Don't expect error for
declare target with clauses in between declare target without clauses
and end declare target.
* c-c++-common/gomp/declare-target-4.c: New test.

From-SVN: r274252

5 years agore PR target/91408 (ICE in extract_insn, at recog.c:2310 since r273981)
Jakub Jelinek [Sat, 10 Aug 2019 10:13:52 +0000 (12:13 +0200)]
re PR target/91408 (ICE in extract_insn, at recog.c:2310 since r273981)

PR target/91408
* config/i386/mmx.md (usadv8qi): Use register_operand instead of
vector_operand.

* gcc.target/i386/pr91408.c: New test.

From-SVN: r274251

5 years agoAssorted ChangeLog cleanups.
Jakub Jelinek [Sat, 10 Aug 2019 09:59:17 +0000 (11:59 +0200)]
Assorted ChangeLog cleanups.

From-SVN: r274250

5 years agoFix ODR violation in d/runtime.cc
Iain Buclaw [Sat, 10 Aug 2019 05:25:44 +0000 (05:25 +0000)]
Fix ODR violation in d/runtime.cc

gcc/d/ChangeLog:

PR d/90893
* runtime.cc (enum libcall_type): Rename to...
(enum d_libcall_type): ...this.
(get_libcall_type): Use d_libcall_type.
(build_libcall_decl): Likewise.

From-SVN: r274249

5 years agoDaily bump.
GCC Administrator [Sat, 10 Aug 2019 00:16:23 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r274248

5 years ago* zh_TW.po: Update.
Joseph Myers [Fri, 9 Aug 2019 22:02:08 +0000 (23:02 +0100)]
* zh_TW.po: Update.

From-SVN: r274243

5 years ago* uk.po: Update.
Joseph Myers [Fri, 9 Aug 2019 22:00:35 +0000 (23:00 +0100)]
* uk.po: Update.

From-SVN: r274241

5 years agoreload1.c (finish_spills): Do not check ira_conflicts_p when handling spilled pseudos.
Vladimir Makarov [Fri, 9 Aug 2019 21:22:22 +0000 (21:22 +0000)]
reload1.c (finish_spills): Do not check ira_conflicts_p when handling spilled pseudos.

* reload1.c (finish_spills): Do not check ira_conflicts_p when
handling spilled pseudos.

From-SVN: r274240

5 years agors6000: vec-rotate-*.c fixes
Segher Boessenkool [Fri, 9 Aug 2019 17:33:25 +0000 (19:33 +0200)]
rs6000: vec-rotate-*.c fixes

This fixes two minor problems with the new testcases.  The first is
that almost all other tests, including all vec* tests, for powerpc use
names with dashes, not underscores.  The more important one is the the
vec-rotate-1.c and vec-rotate-3.c tests need the -maltivec flag.

gcc/testsuite/
* gcc.target/powerpc/vec_rotate-1.c: Rename to ...
* gcc.target/powerpc/vec-rotate-1.c: ... this.  Add -maltivec option.
* gcc.target/powerpc/vec_rotate-2.c: Rename to ...
* gcc.target/powerpc/vec-rotate-2.c: ... this.
* gcc.target/powerpc/vec_rotate-3.c: Rename to ...
* gcc.target/powerpc/vec-rotate-3.c: ... this.  Add -maltivec option.
* gcc.target/powerpc/vec_rotate-4.c: Rename to ...
* gcc.target/powerpc/vec-rotate-4.c: ... this.

From-SVN: r274239

5 years ago[aarch64] PR target/91386 Use copy_rtx to avoid modifying original insns in peep2...
Richard Earnshaw [Fri, 9 Aug 2019 16:14:59 +0000 (16:14 +0000)]
[aarch64] PR target/91386 Use copy_rtx to avoid modifying original insns in peep2 pattern

PR target/91386 is a situation where a peephole2 pattern substitution
is discarded late because the selected instructions contain
frame-related notes that we cannot redistribute (because the pattern
has more than one insn in the output).  Unfortunately, the original
insns were being modified during the generation, so after the undo we
are left with corrupt RTL.

We avoid this by ensuring that the modifications are always made on a
copy, so that the original insns are never changed.

PR target/91386
* config/aarch64/aarch64.c (aarch64_gen_adjusted_ldpstp): Use copy_rtx
to preserve the contents of the original insns.

From-SVN: r274238

5 years ago[arm] Recognize thumb2 16-bit variants of the add and compare instructions
Richard Earnshaw [Fri, 9 Aug 2019 15:33:18 +0000 (15:33 +0000)]
[arm] Recognize thumb2 16-bit variants of the add and compare instructions

The addsi3_compare_op[12] patterns currently only have constraints to
pick the 32-bit variants of the instructions.  Although the assembler
may sometimes opportunistically match a 16-bit t2 instruction, there's
no real control over that within the compiler.  Consequently we might
emit a 32-bit adds instruction with a 16-bit subs instruction would
serve equally well.  We do, of course still have to be careful about
the small number of boundary cases by controlling the order quite
carefully.

This patch adds the constraints and templates to match the t2 16-bit
variants of these instructions.  Now, for example, we can generate

    subs r0, r0, #1 // 16-bit instruction

instead of

    adds r0, r0, #1 // 32-bit instruction.

*confit/arm/arm.md (addsi3_compare_op1): Add 16-bit thumb-2 variants.
(addsi3_compare_op2): Likewise.

From-SVN: r274237

5 years ago[PATCH][GCC][AARCH64] Add effective-target check to b key execution tests
Sam Tebbs [Fri, 9 Aug 2019 14:11:54 +0000 (14:11 +0000)]
[PATCH][GCC][AARCH64] Add effective-target check to b key execution tests

gcc/testsuite
2019-08-09  Sam Tebbs<sam.tebbs@arm.com>

* lib/target-supports.exp
(check_effective_target_arm_v8_4a_bkey_directive): New proc.
* g++.target/aarch64/return_address_sign_b_exception.C,
return_address_sign_ab_exception.C: Add dg-require-effective-target
checks.

From-SVN: r274236

5 years agoStrengthen alias_ptr_types_compatible_p in LTO mode.
Martin Liska [Fri, 9 Aug 2019 12:06:30 +0000 (14:06 +0200)]
Strengthen alias_ptr_types_compatible_p in LTO mode.

2019-08-09  Martin Liska  <mliska@suse.cz>

* alias.c (alias_ptr_types_compatible_p): Strengten
type comparison in LTO mode.

From-SVN: r274235

5 years agoReject tail calls that read from an escaped RESULT_DECL (PR90313)
Richard Sandiford [Fri, 9 Aug 2019 09:37:55 +0000 (09:37 +0000)]
Reject tail calls that read from an escaped RESULT_DECL (PR90313)

In this PR we have two return paths from a function "map".  The common
code sets <result> to the value returned by one path, while the other
path does:

   <retval> = map (&<retval>, ...);

We treated this call as tail recursion, losing the copy semantics
on the value returned by the recursive call.

We'd correctly reject the same thing for variables:

   local = map (&local, ...);

The problem is that RESULT_DECLs didn't get the same treatment.

2019-08-09  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
PR middle-end/90313
* tree-tailcall.c (find_tail_calls): Reject calls that might
read from an escaped RESULT_DECL.

gcc/testsuite/
PR middle-end/90313
* g++.dg/torture/pr90313.cc: New test.

From-SVN: r274234

5 years agoskip Cholesky decomposition in is>>n_mv_dist
Alexandre Oliva [Fri, 9 Aug 2019 09:20:58 +0000 (09:20 +0000)]
skip Cholesky decomposition in is>>n_mv_dist

normal_mv_distribution maintains the variance-covariance matrix param
in Cholesky-decomposed form.  Existing param_type constructors, when
taking a full or lower-triangle varcov matrix, perform Cholesky
decomposition to convert it to the internal representation.  This
internal representation is visible both in the varcov() result, and in
the streamed-out representation of a normal_mv_distribution object.

The problem is that when that representation is streamed back in, the
read-back decomposed varcov matrix is used as a lower-triangle
non-decomposed varcov matrix, and it undergoes Cholesky decomposition
again.  So, each cycle of stream-out/stream-in changes the varcov
matrix to its "square root", instead of restoring the original
params.

This patch includes Corentin's changes that introduce verification in
testsuite/ext/random/normal_mv_distribution/operators/serialize.cc and
other similar tests that the object read back in compares equal to the
written-out object: the modified tests pass only if (u == v).

This patch also fixes the error exposed by his change, introducing an
alternate private constructor for param_type, used only by operator>>.

for  libstdc++-v3/ChangeLog

* include/ext/random
(normal_mv_distribution::param_type::param_type): New private
ctor taking a decomposed varcov matrix, for use by...
(operator>>): ... this, befriended.
* include/ext/random.tcc (operator>>): Use it.
(normal_mv_distribution::param_type::_M_init_lower): Adjust
member function name in exception message.

for  libstdc++-v3/ChangeLog
from  Corentin Gay  <gay@adacore.com>

* testsuite/ext/random/beta_distribution/operators/serialize.cc,
testsuite/ext/random/hypergeometric_distribution/operators/serialize.cc,
testsuite/ext/random/normal_mv_distribution/operators/serialize.cc,
testsuite/ext/random/triangular_distribution/operators/serialize.cc,
testsuite/ext/random/von_mises_distribution/operators/serialize.cc:
Add call to `VERIFY`.

From-SVN: r274233

5 years agoAdd -flto=auto option value.
Martin Liska [Fri, 9 Aug 2019 08:33:05 +0000 (10:33 +0200)]
Add -flto=auto option value.

2019-08-09  Martin Liska  <mliska@suse.cz>

* doc/invoke.texi: Document the option value.
* lto-wrapper.c (run_gcc): Set auto_parallel
only with -flto=auto.
2019-08-09  Martin Liska  <mliska@suse.cz>

* g++.dg/lto/devirt-19_0.C: Add -flto=auto.

From-SVN: r274232

5 years agoProvide proper error message for -flto=abcd.
Martin Liska [Fri, 9 Aug 2019 07:51:40 +0000 (09:51 +0200)]
Provide proper error message for -flto=abcd.

2019-08-09  Martin Liska  <mliska@suse.cz>

* opts.c (common_handle_option): Error for an invalid argument
to -flto=.
2019-08-09  Martin Liska  <mliska@suse.cz>

* gcc.dg/spellcheck-options-21.c: New test.

From-SVN: r274231

5 years agoImplement -fopt-info support for IPA ICF.
Martin Liska [Fri, 9 Aug 2019 07:50:12 +0000 (09:50 +0200)]
Implement -fopt-info support for IPA ICF.

2019-08-09  Martin Liska  <mliska@suse.cz>

* ipa-icf.c (sem_function::merge): Define AUTO_DUMP_SCOPE and
use dump_printf to report optimization.
(sem_variable::merge): Likwise.
(sem_item_optimizer::merge_classes): Use dump_printf to report
ICF hits.
2019-08-09  Martin Liska  <mliska@suse.cz>

* g++.dg/ipa/ipa-icf-2.C: Add -optimized to -fdump-ipa-icf.
* g++.dg/ipa/ipa-icf-3.C: Likewise.
* g++.dg/ipa/ipa-icf-4.C: Likewise.
* g++.dg/ipa/ipa-icf-6.C: Likewise.
* gcc.dg/ipa/ipa-icf-1.c: Likewise.
* gcc.dg/ipa/ipa-icf-10.c: Likewise.
* gcc.dg/ipa/ipa-icf-11.c: Likewise.
* gcc.dg/ipa/ipa-icf-12.c: Likewise.
* gcc.dg/ipa/ipa-icf-13.c: Likewise.
* gcc.dg/ipa/ipa-icf-16.c: Likewise.
* gcc.dg/ipa/ipa-icf-18.c: Likewise.
* gcc.dg/ipa/ipa-icf-2.c: Likewise.
* gcc.dg/ipa/ipa-icf-20.c: Likewise.
* gcc.dg/ipa/ipa-icf-21.c: Likewise.
* gcc.dg/ipa/ipa-icf-23.c: Likewise.
* gcc.dg/ipa/ipa-icf-25.c: Likewise.
* gcc.dg/ipa/ipa-icf-26.c: Likewise.
* gcc.dg/ipa/ipa-icf-27.c: Likewise.
* gcc.dg/ipa/ipa-icf-3.c: Likewise.
* gcc.dg/ipa/ipa-icf-35.c: Likewise.
* gcc.dg/ipa/ipa-icf-36.c: Likewise.
* gcc.dg/ipa/ipa-icf-37.c: Likewise.
* gcc.dg/ipa/ipa-icf-38.c: Likewise.
* gcc.dg/ipa/ipa-icf-39.c: Likewise.
* gcc.dg/ipa/ipa-icf-5.c: Likewise.
* gcc.dg/ipa/ipa-icf-7.c: Likewise.
* gcc.dg/ipa/ipa-icf-8.c: Likewise.
* gcc.dg/ipa/ipa-icf-merge-1.c: Likewise.
* gcc.dg/ipa/pr64307.c: Likewise.
* gcc.dg/ipa/pr90555.c: Likewise.

From-SVN: r274230

5 years agoPort value profiling to -fopt-info infrastructure.
Martin Liska [Fri, 9 Aug 2019 07:47:35 +0000 (09:47 +0200)]
Port value profiling to -fopt-info infrastructure.

2019-08-09  Martin Liska  <mliska@suse.cz>

* value-prof.c (gimple_divmod_fixed_value_transform):
Use dump_printf_loc.
(gimple_mod_pow2_value_transform): Likewise.
(gimple_mod_subtract_transform): Likewise.
(init_node_map): Likewise.
(gimple_ic_transform): Likewise.
(gimple_stringops_transform): Likewise.
2019-08-09  Martin Liska  <mliska@suse.cz>

* g++.dg/tree-prof/indir-call-prof.C: Add -optimize
to -fdump-ipa-profile.
* g++.dg/tree-prof/morefunc.C: Likewise.
* g++.dg/tree-prof/reorder.C: Likewise.
* gcc.dg/tree-prof/ic-misattribution-1.c: Likewise.
* gcc.dg/tree-prof/indir-call-prof.c: Likewise.
* gcc.dg/tree-prof/stringop-1.c: Likewise.
* gcc.dg/tree-prof/stringop-2.c: Likewise.
* gcc.dg/tree-prof/val-prof-1.c: Likewise.
* gcc.dg/tree-prof/val-prof-2.c: Likewise.
* gcc.dg/tree-prof/val-prof-3.c: Likewise.
* gcc.dg/tree-prof/val-prof-4.c: Likewise.
* gcc.dg/tree-prof/val-prof-5.c: Likewise.
* gcc.dg/tree-prof/val-prof-7.c: Likewise.

From-SVN: r274229

5 years agoc-parser.c (check_no_duplicate_clause): Simplify using omp_find_clause.
Jakub Jelinek [Fri, 9 Aug 2019 07:24:51 +0000 (09:24 +0200)]
c-parser.c (check_no_duplicate_clause): Simplify using omp_find_clause.

c/
* c-parser.c (check_no_duplicate_clause): Simplify using
omp_find_clause.
(c_parser_omp_clause_if): Fix up printing of target {enter,exit} data
directive name modifiers.
(c_parser_omp_clause_proc_bind): Check for duplicate proc_bind clause.
cp/
* parser.c (check_no_duplicate_clause): Simplify using
omp_find_clause.
(cp_parser_omp_clause_if): Fix up printing of target {enter,exit} data
directive name modifiers.
testsuite/
* c-c++-common/gomp/if-4.c: New test.
* c-c++-common/gomp/clause-dups-1.c: New test.

From-SVN: r274227

5 years agore PR c/91401 (schedule + dist_schedule clauses rejected on distribute parallel for)
Jakub Jelinek [Fri, 9 Aug 2019 07:23:03 +0000 (09:23 +0200)]
re PR c/91401 (schedule + dist_schedule clauses rejected on distribute parallel for)

PR c/91401
c/
* c-parser.c (c_parser_omp_clause_dist_schedule): Fix up typos in the
check_no_duplicate_clause call.  Comment it out, instead emit a
warning for duplicate dist_schedule clauses.
cp/
* parser.c (cp_parser_omp_clause_dist_schedule): Comment out the
check_no_duplicate_clause call, instead emit a warning for duplicate
dist_schedule clauses.
testsuite/
* c-c++-common/gomp/pr91401-1.c: New test.
* c-c++-common/gomp/pr91401-2.c: New test.

From-SVN: r274226

5 years agouse rand instead of random
Alexandre Oliva [Fri, 9 Aug 2019 03:48:53 +0000 (03:48 +0000)]
use rand instead of random

rand is in ISO C, whereas random is only in POSIX, so it makes sense
to use the more portable function everywhere instead of falling back
from one to the other on systems that miss the less portable one.

for  gcc/testsuite/ChangeLog

* gcc.target/i386/sse2-mul-1.c: Use rand.  Drop fallback.
* gcc.target/i386/sse4_1-blendps-2.c: Likewise.
* gcc.target/i386/sse4_1-blendps.c: Likewise.
* gcc.target/i386/xop-vshift-1.c: Likewise.
* gcc.target/powerpc/direct-move.h: Likewise.

From-SVN: r274225

5 years agoDaily bump.
GCC Administrator [Fri, 9 Aug 2019 00:16:23 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r274224

5 years agodecl.c (grokdeclarator): Use id_loc and EXPR_LOCATION in a few error messages.
Paolo Carlini [Thu, 8 Aug 2019 22:15:40 +0000 (22:15 +0000)]
decl.c (grokdeclarator): Use id_loc and EXPR_LOCATION in a few error messages.

/cp
2019-08-08  Paolo Carlini  <paolo.carlini@oracle.com>

* decl.c (grokdeclarator): Use id_loc and EXPR_LOCATION in
a few error messages.

/testsuite
2019-08-08  Paolo Carlini  <paolo.carlini@oracle.com>

* g++.dg/cpp0x/enum20.C: Test location(s) too.
* g++.dg/other/friend3.C: Likewise.
* g++.dg/parse/dtor5.C: Likewise.
* g++.dg/parse/friend7.C: Likewise.
* g++.dg/template/error22.C: Likewise.
* g++.old-deja/g++.brendan/err-msg5.C: Likewise.

From-SVN: r274220

5 years ago* doc/extend.texi: Add const qualifier to ld intrinsics.
Mihailo Stojanovic [Thu, 8 Aug 2019 21:06:17 +0000 (21:06 +0000)]
* doc/extend.texi: Add const qualifier to ld intrinsics.

From-SVN: r274219

5 years agors6000: Rename DFP iterator and attr to DDTD and q
Segher Boessenkool [Thu, 8 Aug 2019 20:18:56 +0000 (22:18 +0200)]
rs6000: Rename DFP iterator and attr to DDTD and q

This is more in line with the other iterators we have, and a bit easier
to read and write.

* config/rs6000/dfp.md (D64_D128): Rename to ...
(DDTD): ... this, throughout.
(dfp_suffix): Rename to ...
(q): ... this, throughout.

From-SVN: r274218

5 years agors6000: Use iterators in more DFP patterns
Segher Boessenkool [Thu, 8 Aug 2019 20:16:53 +0000 (22:16 +0200)]
rs6000: Use iterators in more DFP patterns

I noticed some patterns in dfp.md could use the D64_D128 iterator but
don't yet.  This converts all remaining simple cases.

* config/rs6000/dfp.md (D64_D128): Move earlier in the file.
(dfp_suffix): Ditto.
(adddd3, addtd3): Merge to ...
(add<mode>3 for D64_D128): ... this.
(subdd3, subtd3): Merge to ...
(sub<mode>3 for D64_D128): ... this.
(muldd3, multd3): Merge to ...
(mul<mode>3 for D64_D128): ... this.
(divdd3, divtd3): Merge to ...
(div<mode>3 for D64_D128): ... this.
(*cmpdd_internal1, *cmptd_internal1): Merge to ...
(*cmp<mode>_internal1 for D64_D128): ... this.
(ftruncdd2, ftrunctd2): Merge to ...
(ftrunc<mode>2 for D64_D128): ... this.
(fixdddi2, fixtddi2): Merge to ...
(fix<mode>di2 for D64_D128): ... this.

From-SVN: r274217

5 years agoRISC-V: Fix C ABI for flattened struct with 0-length bitfield.
Jim Wilson [Thu, 8 Aug 2019 19:04:56 +0000 (19:04 +0000)]
RISC-V: Fix C ABI for flattened struct with 0-length bitfield.

gcc/
PR target/91229
* config/riscv/riscv.c (riscv_flatten_aggregate_field): New arg
ignore_zero_width_bit_field_p.  Skip zero size bitfields when true.
Pass into recursive call.
(riscv_flatten_aggregate_argument): New arg.  Pass to
riscv_flatten_aggregate_field.
(riscv_pass_aggregate_in_fpr_pair_p): New local warned.  Call
riscv_flatten_aggregate_argument twice, with false and true as last
arg.  Process result twice.  Compare results and warn if different.
(riscv_pass_aggregate_in_fpr_and_gpr_p): Likewise.

gcc/testsuite/
* gcc.target/riscv/flattened-struct-abi-1.c: New test.
* gcc.target/riscv/flattened-struct-abi-2.c: New test.

From-SVN: r274215

5 years agore PR c++/79520 (Spurious caching for constexpr arguments)
Marek Polacek [Thu, 8 Aug 2019 17:54:58 +0000 (17:54 +0000)]
re PR c++/79520 (Spurious caching for constexpr arguments)

PR c++/79520
* g++.dg/cpp1y/constexpr-79520.C: New test.

From-SVN: r274214

5 years ago[C] Fix bogus nested enum error message
Richard Sandiford [Thu, 8 Aug 2019 17:12:05 +0000 (17:12 +0000)]
[C] Fix bogus nested enum error message

For:

    enum a { A };
    enum a { B };

we emit a bogus error about nested definitions before the real error:

foo.c:2:6: error: nested redefinition of â€˜enum a’
    2 | enum a { B };
      |      ^
foo.c:2:6: error: redeclaration of â€˜enum a’
foo.c:1:6: note: originally defined here
    1 | enum a { A };
      |      ^

This is because we weren't clearing C_TYPE_BEING_DEFINED once the
definition was over.

I think it's OK to clear C_TYPE_BEING_DEFINED even for a definition
that actually is nested (and so whose outer definition is still open),
since we'll already have given an error by then.  It means that second
and subsequent attempts to define a nested enum will usually get the
redeclaration error instead of the nested error, but that seems just
as accurate (nested_first and nested_second in the test).  The only
exception is if the first nested enum was also invalid by being empty,
but then the enum as a whole has already produced two errors
(nested_empty in the test).

2019-08-08  Richard Sandiford  <richard.sandiford@arm.com>

gcc/c/
* c-decl.c (finish_enum): Clear C_TYPE_BEING_DEFINED.

gcc/testsuite/
* gcc.dg/pr79983.c (enum E): Don't allow an error about nested
definitions.
* gcc.dg/enum-redef-1.c: New test.

From-SVN: r274213

5 years agoPR c++/87519 - bogus warning with -Wsign-conversion.
Marek Polacek [Thu, 8 Aug 2019 15:37:46 +0000 (15:37 +0000)]
PR c++/87519 - bogus warning with -Wsign-conversion.

* typeck.c (cp_build_binary_op): Use same_type_p instead of comparing
the types directly.

* g++.dg/warn/Wsign-conversion-5.C: New test.

From-SVN: r274211

5 years agoconstexpr.c (inline_asm_in_constexpr_error): New.
Marek Polacek [Thu, 8 Aug 2019 14:55:52 +0000 (14:55 +0000)]
constexpr.c (inline_asm_in_constexpr_error): New.

* constexpr.c (inline_asm_in_constexpr_error): New.
(cxx_eval_constant_expression) <case ASM_EXPR>: Call it.
(potential_constant_expression_1) <case ASM_EXPR>: Likewise.

* g++.dg/cpp2a/inline-asm3.C: New test.

From-SVN: r274210

5 years agoP0325R4 to_array from LFTS with updates
Jonathan Wakely [Thu, 8 Aug 2019 10:18:53 +0000 (11:18 +0100)]
P0325R4 to_array from LFTS with updates

As an extension to what the standard requires, this also adds
conditional noexcept-specifiers to the std::to_array functions.

P0325R4 to_array from LFTS with updates
* include/experimental/array (to_array): Qualify call to __to_array.
* include/std/array (__cpp_lib_to_array, to_array): Define for C++20.
* include/std/version (__cpp_lib_to_array): Likewise.
* testsuite/23_containers/array/creation/1.cc: New test.
* testsuite/23_containers/array/creation/2.cc: New test.
* testsuite/23_containers/array/creation/3_neg.cc: New test.
* testsuite/23_containers/array/tuple_interface/tuple_element_neg.cc:
Use zero for dg-error line number.

From-SVN: r274209

5 years agoFix file descriptor existence of MinGW.
Martin Liska [Thu, 8 Aug 2019 07:50:28 +0000 (09:50 +0200)]
Fix file descriptor existence of MinGW.

2019-08-08  Martin Liska  <mliska@suse.cz>

PR bootstrap/91352
* gcc.c (driver::detect_jobserver): Use is_valid_fd.
* lto-wrapper.c (jobserver_active_p): Likewise.
2019-08-08  Martin Liska  <mliska@suse.cz>

PR bootstrap/91352
* libiberty.h (is_valid_fd): New function.
2019-08-08  Martin Liska  <mliska@suse.cz>

PR bootstrap/91352
* lrealpath.c (is_valid_fd): New function.

From-SVN: r274208

5 years agoWhen cloning set operator new/delete to false.
Martin Liska [Thu, 8 Aug 2019 07:43:11 +0000 (09:43 +0200)]
When cloning set operator new/delete to false.

2019-08-08  Martin Liska  <mliska@suse.cz>

* cgraphclones.c (set_new_clone_decl_and_node_flags): Drop
IS_OPERATOR_NEW and IS_OPERATOR_DELETE.
(create_version_clone_with_body): Likewise.

From-SVN: r274207

5 years agogimplify.c (omp_add_variable): Use GOVD_PRIVATE | GOVD_EXPLICIT for VLA helper variab...
Jakub Jelinek [Thu, 8 Aug 2019 06:39:02 +0000 (08:39 +0200)]
gimplify.c (omp_add_variable): Use GOVD_PRIVATE | GOVD_EXPLICIT for VLA helper variables on target data even if...

* gimplify.c (omp_add_variable): Use GOVD_PRIVATE | GOVD_EXPLICIT
for VLA helper variables on target data even if not GOVD_FIRSTPRIVATE.
(gimplify_scan_omp_clauses): For OMP_CLAUSE_USE_DEVICE_* use just
GOVD_EXPLICIT flags.
(gimplify_omp_workshare): For OMP_TARGET_DATA move all
OMP_CLAUSE_USE_DEVICE_* clauses to the end of clauses chain.
* omp-low.c (scan_sharing_clauses): For OMP_CLAUSE_USE_DEVICE_*
call install_var_field with mask 11 instead of 3.
(lower_omp_target): For OMP_CLAUSE_USE_DEVICE_* use pass
(splay_tree_key) &DECL_UID (var) to build_sender_ref instead of var.
gcc/c/
* c-typeck.c (c_finish_omp_clauses): For C_ORT_OMP
OMP_CLAUSE_USE_DEVICE_* clauses use oacc_reduction_head bitmap
instead of generic_head to track duplicates.
gcc/cp/
* semantics.c (finish_omp_clauses): For C_ORT_OMP
OMP_CLAUSE_USE_DEVICE_* clauses use oacc_reduction_head bitmap
instead of generic_head to track duplicates.
libgomp/
* target.c (gomp_map_vars_internal): For GOMP_MAP_USE_DEVICE_PTR
perform the lookup in the first loop only if !not_found_cnt, otherwise
perform lookups for it in the second loop guarded with
if (not_found_cnt || has_firstprivate).
* testsuite/libgomp.c/target-37.c: New test.
* testsuite/libgomp.c++/target-22.C: New test.

From-SVN: r274206

5 years agoDaily bump.
GCC Administrator [Thu, 8 Aug 2019 00:16:29 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r274205

5 years agore PR fortran/91359 (logical function X returns .TRUE. - Warning: spaghetti code)
Steven G. Kargl [Wed, 7 Aug 2019 22:33:27 +0000 (22:33 +0000)]
re PR fortran/91359 (logical function X returns .TRUE. - Warning:  spaghetti code)

2019-08-07  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/91359
* pr91359_2.f:  Fix missing hyphen in dg-do
* pr91359_1.f:  Ditto.  Remove RESULT variable to test actual fix!

From-SVN: r274201

5 years agore PR c++/67533 (internal compiler error: in build_call_a, at cp/call.c:372)
Marek Polacek [Wed, 7 Aug 2019 21:21:57 +0000 (21:21 +0000)]
re PR c++/67533 (internal compiler error: in build_call_a, at cp/call.c:372)

PR c++/67533
* g++.dg/tls/thread_local-ice5.C: New test.

From-SVN: r274200

5 years ago[AArch64] Fix INSR for zero floats
Richard Sandiford [Wed, 7 Aug 2019 19:15:58 +0000 (19:15 +0000)]
[AArch64] Fix INSR for zero floats

We used INSR to handle zero integers but not zero floats.

2019-08-07  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/constraints.md (Z): Handle floating-point zeros too.
* config/aarch64/predicates.md (aarch64_reg_or_zero): Likewise.

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

From-SVN: r274193

5 years ago[AArch64] Prefer FPRs over GPRs for INSR
Richard Sandiford [Wed, 7 Aug 2019 19:12:15 +0000 (19:12 +0000)]
[AArch64] Prefer FPRs over GPRs for INSR

INSR of GPRs involves a cross-file move while INSR of FPRs doesn't.
We should therefore disparage the GPR version relative to the FPR
version.

The patch also adds MOVPRFX handling, but this is only tested
properly by the ACLE.

2019-08-07  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/aarch64-sve.md (vec_shl_insert_<mode>): Add
MOVPRFX alternatives.  Make the GPR alternatives more expensive
than the FPR ones.

gcc/testsuite/
* gcc.target/aarch64/sve/init_12.c: Expect w1 to be moved into
a temporary FPR.

From-SVN: r274192

5 years ago[AArch64] Prefer FPRs over GPRs for CLASTB
Richard Sandiford [Wed, 7 Aug 2019 19:08:55 +0000 (19:08 +0000)]
[AArch64] Prefer FPRs over GPRs for CLASTB

This patch makes the SVE CLASTB GPR alternative more expensive than the
FPR alternative in order to avoid unnecessary cross-file moves.  It also
fixes the prefix used to print the FPR; <vw> only handles 32-bit and
64-bit elements.

2019-08-07  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/aarch64-sve.md (fold_extract_last_<mode>):
Disparage the GPR alternative relative to the FPR one.
Fix handling of 8-bit and 16-bit FPR values.

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

From-SVN: r274191

5 years ago[AArch64] Merge SVE reduction patterns
Richard Sandiford [Wed, 7 Aug 2019 19:05:42 +0000 (19:05 +0000)]
[AArch64] Merge SVE reduction patterns

The reorg showed that we had an unnecessary separation between
the bitwise and max/min reductions for integers, and the
addition and max/min reductions for fp.

2019-08-07  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/iterators.md (BITWISEV): Delete.
(SVE_INT_REDUCTION, SVE_FP_REDUCTION): New int iterators.
(optab): Handle UNSPEC_UMAXV, UNSPEC_UMINV, UNSPEC_SMAXV,
UNSPEC_SMINV, UNSPEC_FADDV, UNSPEC_FMAXNMV, UNSPEC_FMAXV,
UNSPEC_FMINNMV, UNSPEC_FMINV.
(bit_reduc_op): Delete.
(sve_int_op): New int attribute.
(sve_fp_op): Handle UNSPEC_FADDV, UNSPEC_FMAXNMV, UNSPEC_FMAXV,
UNSPEC_FMINNMV, UNSPEC_FMINV.
* config/aarch64/aarch64-sve.md
(reduc_<MAXMINV:maxmin_uns>_scal_<SVE_I:mode>)
(*reduc_<MAXMINV:maxmin_uns>_scal_<SVE_I:mode>)
(reduc_<BITWISEV:optab>_scal_<SVE_I:mode>)
(*reduc_<BITWISEV:optab>_scal_<SVE_I:mode>): Merge into...
(reduc_<SVE_INT_REDUCTION:optab>_scal_<SVE_I:mode>)
(*reduc_<SVE_INT_REDUCTION:optab>_scal_<SVE_I:mode>): ...these
new patterns.
(reduc_plus_scal_<SVE_F:mode>, *reduc_plus_scal_<SVE_I:mode>)
(reduc_<FMAXMINV:optab>_scal_<SVE_F:mode>)
(*reduc_<FMAXMINV:optab>_scal_<SVE_F:mode>): Merge into...
(reduc_<SVE_FP_REDUCTION:optab>_scal_<SVE_F:mode>)
(*reduc_<SVE_FP_REDUCTION:optab>_scal_<SVE_F:mode>): ...these
new patterns.

From-SVN: r274190

5 years ago[AArch64] Merge SVE ternary FP operations
Richard Sandiford [Wed, 7 Aug 2019 19:01:37 +0000 (19:01 +0000)]
[AArch64] Merge SVE ternary FP operations

This patch combines the four individual fused multiply-add optabs
into one pattern and uses unspecs instead of rtx codes.  This is
part of a series of patches that change the SVE FP patterns so that
they can describe cases in which the predicate isn't all-true.

2019-08-07  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/aarch64-sve.md (fma<mode>4, *fma<mode>4)
(fnma<mode>4, *fnma<mode>4, fnms<mode>4, *fnms<mode>4)
(fms<mode>4, *fms<mode>4): Replace with...
(<SVE_COND_FP_TERNARY:optab><SVE_F:mode>4)
(*<SVE_COND_FP_TERNARY:optab><SVE_F:mode>4): ...these new patterns.
Use unspecs instead of rtx codes.
(cond_<optab><mode>, *cond_<optab><mode>_2, *cond_<optab><mode>_4)
(*cond_<optab><mode>_any): Add the predicate to SVE_COND_FP_TERNARY.

From-SVN: r274189

5 years ago[AArch64] Merge SVE FMAXNM/FMINNM patterns
Richard Sandiford [Wed, 7 Aug 2019 18:56:48 +0000 (18:56 +0000)]
[AArch64] Merge SVE FMAXNM/FMINNM patterns

This patch makes us use the same define_insn for both the smax/smin
and fmax/fmin optabs.  It also continues the process started by
the earlier FP unary patch of moving predicated FP patterns from
rtx codes to unspecs.

There's no need to handle the FMAX and FMIN instructions until
the ACLE patch, since we only use FMAXNM and FMINNM at present.

2019-08-07  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/iterators.md (SVE_COND_FP_MAXMIN_PUBLIC): New
int iterator.
(maxmin_uns_op): Handle UNSPEC_COND_FMAXNM and UNSPEC_COND_FMINNM.
* config/aarch64/aarch64-sve.md
(<FMAXMIN:su><FMAXMIN:maxmin><SVE_F:mode>3): Rename to...
(<SVE_COND_FP_MAXMIN_PUBLIC:optab><SVE_F:mode>3): ...this and
use a single unspec for the rhs.
(*<su><maxmin><mode>3): Delete.
(<maxmin_uns><SVE_F:mode>3): Use a single unspec for the rhs.

From-SVN: r274188

5 years ago[AArch64] Merge SVE FP unary patterns
Richard Sandiford [Wed, 7 Aug 2019 18:51:40 +0000 (18:51 +0000)]
[AArch64] Merge SVE FP unary patterns

This patch merges the SVE FP rounding patterns with the other SVE
FP unary patterns.

At the moment, we only generate unary FP operations for full vectors,
so we can use (sqrt:VNx4SF ...) etc. in the rtl pattern.  With the ACLE,
it's also possible to generate predicated operations on partial vectors
without specifying a value for inactive lanes.  (sqrt:VNx4SF ...) would
then have different faulting behaviour from the instruction that the
pattern generates.

This patch therefore uses unspecs to represent the operations instead.
Later patches make this change for other patterns.

2019-08-07  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/iterators.md (UNSPEC_COND_FABS, UNSPEC_COND_FNEG)
(UNSPEC_COND_FRINTA, UNSPEC_COND_FRINTI, UNSPEC_COND_FRINTM)
(UNSPEC_COND_FRINTN, UNSPEC_COND_FRINTP, UNSPEC_COND_FRINTX)
(UNSPEC_COND_FRINTZ, UNSPEC_COND_FSQRT): New unspecs.
(optab, sve_fp_op): Handle them.
(SVE_FP_UNARY): Delete.
(optab): Remove sqrt entry.
(sve_fp_op): Remove neg, abs and sqrt entries.
(SVE_COND_FP_UNARY): New int iterator.
* config/aarch64/aarch64-sve.md (<frint_pattern><mode>2)
(*<frint_pattern><mode>2): Delete.
(<SVE_FP_UNARY:optab><SVE_F:mode>2): Replace with...
(<SVE_COND_FP_UNARY:optab><SVE_F:mode>2): ...this.
(*<SVE_FP_UNARY:optab><SVE_F:mode>2): Replace with...
(*<SVE_COND_FP_UNARY:optab><SVE_F:mode>2): ...this.

From-SVN: r274187

5 years ago[AArch64] Remove redundant SVE FADDA pattern
Richard Sandiford [Wed, 7 Aug 2019 18:47:26 +0000 (18:47 +0000)]
[AArch64] Remove redundant SVE FADDA pattern

*pred_fold_left_plus_<mode> could no longer match anything, since
UNSPEC_FADDA now takes three operands.  Predicated FADDAs should
now go through mask_fold_left_plus_<mode> instead.

2019-08-07  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/aarch64-sve.md (*pred_fold_left_plus_<mode>): Delete.

From-SVN: r274186

5 years ago[AArch64] Make SVE UNSPEC_COND_*s match the insn mnemonic
Richard Sandiford [Wed, 7 Aug 2019 18:43:01 +0000 (18:43 +0000)]
[AArch64] Make SVE UNSPEC_COND_*s match the insn mnemonic

This patch makes the UNSPEC_COND* names match the instruction mnemonics,
rather than having the previous mixture in which some used instructions
while others used operator names.

2019-08-07  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/iterators.md (UNSPEC_COND_ADD): Rename to...
(UNSPEC_COND_FADD): ...this.
(UNSPEC_COND_SUB): Rename to...
(UNSPEC_COND_FSUB): ...this.
(UNSPEC_COND_MUL): Rename to...
(UNSPEC_COND_FMUL): ...this.
(UNSPEC_COND_DIV): Rename to...
(UNSPEC_COND_FDIV): ...this.
(UNSPEC_COND_MAX): Rename to...
(UNSPEC_COND_FMAXNM): ...this.
(UNSPEC_COND_MIN): Rename to...
(UNSPEC_COND_FMINNM): ...this.
(UNSPEC_COND_LT): Rename to...
(UNSPEC_COND_FCMLT): ...this.
(UNSPEC_COND_LE): Rename to...
(UNSPEC_COND_FCMLE): ...this.
(UNSPEC_COND_EQ): Rename to...
(UNSPEC_COND_FCMEQ): ...this.
(UNSPEC_COND_NE): Rename to...
(UNSPEC_COND_FCMNE): ...this.
(UNSPEC_COND_GE): Rename to...
(UNSPEC_COND_FCMGE): ...this.
(UNSPEC_COND_GT): Rename to...
(UNSPEC_COND_FCMGT): ...this.
(SVE_COND_FP_BINARY, SVE_COND_FP_CMP, optab, cmp_op, sve_fp_op)
(sve_fp_op_rev): Update accordingly.
* config/aarch64/aarch64.c (aarch64_unspec_cond_code): Likewise.

From-SVN: r274185

5 years ago[AArch64] Reorganise aarch64-sve.md
Richard Sandiford [Wed, 7 Aug 2019 18:37:21 +0000 (18:37 +0000)]
[AArch64] Reorganise aarch64-sve.md

aarch64-sve.md was getting a bit jumbled, with related operations
separated by unrelated operations.  Also, many SVE instructions need
to have several patterns due to the various ways in which predication
can be used, and it was getting hard to tell which instructions had a
complete set of patterns.

This patch therefore tries to use an explicit grouping scheme.
Banner comments are usually frowned on, but md files have been
a traditional exception (e.g. when using Mike's template for
new targets).

The patch also lists the instructions implemented by each section,
so that it's possible to search the file by instruction mnemonic.

I wouldn't be surprised if I end up having to rip out the contents
section, but I found it useful for the month or so that that I've
been using it locally.  The patch checks that the contents remain
up-to-date by running a checking script during an early stage of
the build.

No functional change intended.

2019-08-07  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/aarch64-sve.md: Reorganize contents and add
banner comments.
* config/aarch64/check-sve-md.awk: New file.
* config/aarch64/t-aarch64 (s-check-sve-md): New rule.
(insn-conditions.md): Depend on it.

From-SVN: r274184

5 years agore PR target/91385 (Zero-extended negation (*negsi2_1_zext) is not generated)
Uros Bizjak [Wed, 7 Aug 2019 18:34:11 +0000 (20:34 +0200)]
re PR target/91385 (Zero-extended negation (*negsi2_1_zext) is not generated)

PR target/91385
* config/i386/sse.md (*negsi2_1_zext): Simplify insn pattern.
(*negsi2_cmpz_zext): Ditto.

testsuite/ChangeLog:

PR target/91385
* gcc.target/i386/pr91385.c: New test.

From-SVN: r274183

5 years ago[AArch64] Remove unused commutative attribute
Richard Sandiford [Wed, 7 Aug 2019 18:32:21 +0000 (18:32 +0000)]
[AArch64] Remove unused commutative attribute

The commutative attribute was once used by the SVE conditional binary
expanders, but it's now dead code.

2019-08-07  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/iterators.md (commutative): Remove.

From-SVN: r274182

5 years agoPR c++/81429 - wrong parsing of constructor with C++11 attribute.
Marek Polacek [Wed, 7 Aug 2019 17:32:12 +0000 (17:32 +0000)]
PR c++/81429 - wrong parsing of constructor with C++11 attribute.

* parser.c (cp_parser_constructor_declarator_p): Handle the scenario
when a parameter declaration begins with [[attribute]].

* g++.dg/cpp0x/gen-attrs-68.C: New test.
* g++.dg/cpp0x/gen-attrs-69.C: New test.

From-SVN: r274181

5 years agoPR driver/91130 Use CL_DRIVER when handling of COLLECT_GCC_OPTIONS in lto-wrapper.c
Richard Earnshaw [Wed, 7 Aug 2019 16:15:35 +0000 (16:15 +0000)]
PR driver/91130 Use CL_DRIVER when handling of COLLECT_GCC_OPTIONS in lto-wrapper.c

Some options are handled differently by the main driver (gcc, g++,
etc) from the back-end compiler programs (cc1, cc1plus, etc) in that
in the driver they do not take an additional argument, while in the
compiler programs they do.  The processing option option CL_DRIVER
controls this alternative interpretation of the options.

The environment variable COLLECT_GCC_OPTIONS is the list of options to
add to a compile if the compiler re-invokes itself at some point.  As
such, the options are driver options, so CL_DRIVER should be used when
processing this list.  Currently lto-wrapper is doing this
incorrectly.

PR driver/91130
* lto-wrapper.c (find_and_merge_options): Use CL_DRIVER when
processing COLLECT_GCC_OPTIONS.
(run_gcc): Likewise.

From-SVN: r274176

5 years agoPR c++/91346 - Implement P1668R1, allow unevaluated asm in constexpr.
Marek Polacek [Wed, 7 Aug 2019 14:20:40 +0000 (14:20 +0000)]
PR c++/91346 - Implement P1668R1, allow unevaluated asm in constexpr.

* constexpr.c (cxx_eval_constant_expression): Handle ASM_EXPR.
(potential_constant_expression_1) <case ASM_EXPR>: Allow.
* cp-tree.h (finish_asm_stmt): Adjust.
* parser.c (cp_parser_asm_definition): Grab the locaion of "asm" and
use it.  Change an error to a pedwarn.  Allow asm in C++2a, warn
otherwise.
* pt.c (tsubst_expr): Pass a location down to finish_asm_stmt.
* semantics.c (finish_asm_stmt): New location_t parameter.  Use it.

* g++.dg/cpp2a/inline-asm1.C: New test.
* g++.dg/cpp2a/inline-asm2.C: New test.
* g++.dg/cpp1y/constexpr-neg1.C: Adjust dg-error.

From-SVN: r274169

5 years agore PR tree-optimization/91109 ([arm] gcc.c-torture/execute/20040709-1.c fails since...
Bernd Edlinger [Wed, 7 Aug 2019 13:45:06 +0000 (13:45 +0000)]
re PR tree-optimization/91109 ([arm] gcc.c-torture/execute/20040709-1.c fails since r273135)

2019-08-07  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        PR tree-optimization/91109
        * lra-remat.c (update_scratch_ops): Remove assignment of the
        hard register.

From-SVN: r274163

5 years agoMake IPA predicate::size a poly_int64
Richard Sandiford [Wed, 7 Aug 2019 13:18:35 +0000 (13:18 +0000)]
Make IPA predicate::size a poly_int64

This patch changes the IPA predicate::size field from a HOST_WIDE_INT
to a poly_int64.

2019-08-07  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* data-streamer.h (streamer_write_poly_uint64): Declare.
(streamer_read_poly_uint64): Likewise.
* data-streamer-in.c (streamer_read_poly_uint64): New function.
* data-streamer-out.c (streamer_write_poly_uint64): Likewise.
* ipa-predicate.h (condition::size): Turn into a poly_int64.
(add_condition): Take a poly_int64 size.
* ipa-predicate.c (add_condition): Likewise.
* ipa-prop.h (ipa_load_from_parm_agg): Take a poly_int64 size pointer.
* ipa-prop.c (ipa_load_from_parm_agg): Likewise.
(ipcp_modif_dom_walker::before_dom_children): Update accordingly.
* ipa-fnsummary.c (evaluate_conditions_for_known_args): Handle
condition::size as a poly_int64.
(unmodified_parm_1): Take a poly_int64 size pointer.
(unmodified_parm): Likewise.
(unmodified_parm_or_parm_agg_item): Likewise.
(set_cond_stmt_execution_predicate): Update accordingly.
(set_switch_stmt_execution_predicate): Likewise.
(will_be_nonconstant_expr_predicate): Likewise.
(will_be_nonconstant_predicate): Likewise.
(inline_read_section): Stream condition::size as a poly_int.
(ipa_fn_summary_write): Likewise.

From-SVN: r274162

5 years agoReplace int with boolean in predicate functions.
Martin Liska [Wed, 7 Aug 2019 12:45:57 +0000 (14:45 +0200)]
Replace int with boolean in predicate functions.

2019-08-07  Martin Liska  <mliska@suse.cz>

* fold-const.c (twoval_comparison_p): Replace int
with bool as a return type.
(simple_operand_p): Likewise.
(operand_equal_p): Replace int with bool as a return type.
* fold-const.h (operand_equal_p): Likewise.

From-SVN: r274161

5 years agoPR 53796 Make inquire(file=, recl=) conform to F2018
Janne Blomqvist [Wed, 7 Aug 2019 07:34:10 +0000 (10:34 +0300)]
PR 53796 Make inquire(file=, recl=) conform to F2018

In my original patch to fix PR 53796 I forgot to fix the behavior for
unconnected units when inquiring via filename. This patch fixes that.

Regtested on x86_64-pc-linux-gnu, committed as obvious.

libgfortran/ChangeLog:

2019-08-07  Janne Blomqvist  <jb@gcc.gnu.org>

PR fortran/53796
* io/inquire.c (inquire_via_filename): Set recl to -1 for
unconnected units.

gcc/testsuite/ChangeLog:

2019-08-07  Janne Blomqvist  <jb@gcc.gnu.org>

PR fortran/53796
* gfortran.dg/inquire_recl_f2018.f90: Test for unconnected unit
with inquire via filename.

From-SVN: r274160

5 years agotree-core.h (enum omp_clause_code): Adjust OMP_CLAUSE_USE_DEVICE_PTR OpenMP description.
Jakub Jelinek [Wed, 7 Aug 2019 07:27:10 +0000 (09:27 +0200)]
tree-core.h (enum omp_clause_code): Adjust OMP_CLAUSE_USE_DEVICE_PTR OpenMP description.

* tree-core.h (enum omp_clause_code): Adjust OMP_CLAUSE_USE_DEVICE_PTR
OpenMP description.  Add OMP_CLAUSE_USE_DEVICE_ADDR clause.
* tree.c (omp_clause_num_ops, omp_clause_code_name): Add entries
for OMP_CLAUSE_USE_DEVICE_ADDR clause.
(walk_tree_1): Handle OMP_CLAUSE_USE_DEVICE_ADDR.
* tree-pretty-print.c (dump_omp_clause): Likewise.
* tree-nested.c (convert_nonlocal_omp_clauses,
convert_local_omp_clauses): Likewise.
* gimplify.c (gimplify_scan_omp_clauses, gimplify_adjust_omp_clauses):
Likewise.
* omp-low.c (scan_sharing_clauses, lower_omp_target): Likewise.
Treat OMP_CLAUSE_USE_DEVICE_ADDR like OMP_CLAUSE_USE_DEVICE_PTR
clause with array or reference to array types, no matter what type
except for reference it has.
gcc/c-family/
* c-pragma.h (enum pragma_omp_clause): Add
PRAGMA_OMP_CLAUSE_USE_DEVICE_ADDR.  Set PRAGMA_OACC_CLAUSE_USE_DEVICE
equal to PRAGMA_OMP_CLAUSE_USE_DEVICE_PTR instead of being a separate
enumeration value.
gcc/c/
* c-parser.c (c_parser_omp_clause_name): Parse use_device_addr clause.
(c_parser_omp_clause_use_device_addr): New function.
(c_parser_omp_all_clauses): Handle PRAGMA_OMP_CLAUSE_USE_DEVICE_ADDR.
(OMP_TARGET_DATA_CLAUSE_MASK): Add PRAGMA_OMP_CLAUSE_USE_DEVICE_ADDR.
(c_parser_omp_target_data): Handle PRAGMA_OMP_CLAUSE_USE_DEVICE_ADDR
like PRAGMA_OMP_CLAUSE_USE_DEVICE_PTR, adjust diagnostics about no
map or use_device_* clauses.
* c-typeck.c (c_finish_omp_clauses): For OMP_CLAUSE_USE_DEVICE_PTR
in OpenMP, require pointer type rather than pointer or array type.
Handle OMP_CLAUSE_USE_DEVICE_ADDR.
gcc/cp/
* parser.c (cp_parser_omp_clause_name): Parse use_device_addr clause.
(cp_parser_omp_all_clauses): Handle PRAGMA_OMP_CLAUSE_USE_DEVICE_ADDR.
(OMP_TARGET_DATA_CLAUSE_MASK): Add PRAGMA_OMP_CLAUSE_USE_DEVICE_ADDR.
(cp_parser_omp_target_data): Handle PRAGMA_OMP_CLAUSE_USE_DEVICE_ADDR
like PRAGMA_OMP_CLAUSE_USE_DEVICE_PTR, adjust diagnostics about no
map or use_device_* clauses.
* semantics.c (finish_omp_clauses): For OMP_CLAUSE_USE_DEVICE_PTR
in OpenMP, require pointer or reference to pointer type rather than
pointer or array or reference to pointer or array type. Handle
OMP_CLAUSE_USE_DEVICE_ADDR.
* pt.c (tsubst_omp_clauses): Handle OMP_CLAUSE_USE_DEVICE_ADDR.
gcc/testsuite/
* c-c++-common/gomp/target-data-1.c (foo): Use use_device_addr clause
instead of use_device_ptr clause where required by OpenMP 5.0, add
further tests for both use_device_ptr and use_device_addr clauses.
libgomp/
* testsuite/libgomp.c/target-18.c (struct S): New type.
(foo): Use use_device_addr clause instead of use_device_ptr clause
where required by OpenMP 5.0, add further tests for both use_device_ptr
and use_device_addr clauses.
* testsuite/libgomp.c++/target-9.C (struct S): New type.
(foo): Use use_device_addr clause instead of use_device_ptr clause
where required by OpenMP 5.0, add further tests for both use_device_ptr
and use_device_addr clauses.  Add t and u arguments.
(main): Adjust caller.

From-SVN: r274159

5 years agors6000: support vector int type rotatert
Kewen Lin [Wed, 7 Aug 2019 07:11:14 +0000 (07:11 +0000)]
rs6000: support vector int type rotatert

gcc/ChangeLog

2019-08-07  Kewen Lin  <linkw@gcc.gnu.org>

    * config/rs6000/vector.md (vrotr<mode>3): New define_expand.

gcc/testsuite/ChangeLog

2019-08-07  Kewen Lin  <linkw@gcc.gnu.org>

    * gcc.target/powerpc/vec_rotate-1.c: New test.
    * gcc.target/powerpc/vec_rotate-2.c: New test.
    * gcc.target/powerpc/vec_rotate-3.c: New test.
    * gcc.target/powerpc/vec_rotate-4.c: New test.

From-SVN: r274158

5 years agowrap math.h for M_PI et al in target/i386 tests
Alexandre Oliva [Wed, 7 Aug 2019 06:35:39 +0000 (06:35 +0000)]
wrap math.h for M_PI et al in target/i386 tests

Most but not all of the tests that expect M_PI, M_PI_2 and/or M_PI_4
to be defined in math.h explicitly exclude one target system that does
not satisfy this non-standard assumption.

This patch introduces a wrapper header that includes math.h and then
conditionally supplies the missing non-standard macro definitions.
With that, we can drop the dg-skip-if "no M_PI" exclusions.

for  gcc/testsuite/ChangeLog

* gcc.target/i386/math_m_pi.h: New.
* gcc.target/i386/sse4_1-round.h: Use it.
* gcc.target/i386/pr73350.c: Likewise.
* gcc.target/i386/avx512f-vfixupimmpd-2.c: Likewise.
* gcc.target/i386/avx512f-vfixupimmps-2.c: Likewise.
* gcc.target/i386/avx512f-vfixupimmsd-2.c: Likewise.
* gcc.target/i386/avx512f-vfixupimmss-2.c: Likewise.
* gcc.target/i386/avx512f-vfixupimmss-2.c: Likewise.
* gcc.target/i386/avx-ceil-sfix-2-vec.c: Likewise.  Drop
dg-skip-if "no M_PI".
* gcc.target/i386/avx-cvt-2-vec.c: Likewise.
* gcc.target/i386/avx-floor-sfix-2-vec.c: Likewise.
* gcc.target/i386/avx-rint-sfix-2-vec.c: Likewise.
* gcc.target/i386/avx-round-sfix-2-vec.c: Likewise.
* gcc.target/i386/avx512f-ceil-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-ceil-vec-1.c: Likewise.
* gcc.target/i386/avx512f-ceilf-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-ceilf-vec-1.c: Likewise.
* gcc.target/i386/avx512f-floor-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-floor-vec-1.c: Likewise.
* gcc.target/i386/avx512f-floorf-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-floorf-vec-1.c: Likewise.
* gcc.target/i386/avx512f-rint-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-rintf-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-round-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-roundf-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-trunc-vec-1.c: Likewise.
* gcc.target/i386/avx512f-truncf-vec-1.c: Likewise.
* gcc.target/i386/sse2-cvt-vec.c: Likewise.
* gcc.target/i386/sse4_1-ceil-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-ceil-vec.c: Likewise.
* gcc.target/i386/sse4_1-ceilf-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-ceilf-vec.c: Likewise.
* gcc.target/i386/sse4_1-floor-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-floor-vec.c: Likewise.
* gcc.target/i386/sse4_1-floorf-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-floorf-vec.c: Likewise.
* gcc.target/i386/sse4_1-rint-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-rint-vec.c: Likewise.
* gcc.target/i386/sse4_1-rintf-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-rintf-vec.c: Likewise.
* gcc.target/i386/sse4_1-round-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-round-vec.c: Likewise.
* gcc.target/i386/sse4_1-roundf-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-roundf-vec.c: Likewise.
* gcc.target/i386/sse4_1-roundsd-4.c: Likewise.
* gcc.target/i386/sse4_1-roundss-4.c: Likewise.
* gcc.target/i386/sse4_1-trunc-vec.c: Likewise.
* gcc.target/i386/sse4_1-truncf-vec.c: Likewise.

From-SVN: r274157

5 years agoRISC-V: Handle g extension in multilib-generator
Kito Cheng [Wed, 7 Aug 2019 03:12:34 +0000 (03:12 +0000)]
RISC-V: Handle g extension in multilib-generator

gcc/ChangeLog

* gcc/config/riscv/multilib-generator: (canonical_order): Add 'g'.
(arch_canonicalize): Support rv32g and rv64g and fix error
handling.

From-SVN: r274156

5 years agoDaily bump.
GCC Administrator [Wed, 7 Aug 2019 00:16:44 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r274155

5 years agore PR fortran/91359 (logical function X returns .TRUE. - Warning: spaghetti code)
Steven G. Kargl [Tue, 6 Aug 2019 21:32:09 +0000 (21:32 +0000)]
re PR fortran/91359 (logical function X returns .TRUE. - Warning:  spaghetti code)

2019-08-06  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/91359
* trans-decl.c (gfc_generate_return): Ensure something is returned
from a function.

2019-08-06  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/91359
* gfortran.dg/pr91359_1.f: New test.
* gfortran.dg/pr91359_2.f: Ditto.

From-SVN: r274149

5 years agore PR fortran/42546 (ALLOCATED statement typo in the docs and for scalar variables)
Steven G. Kargl [Tue, 6 Aug 2019 19:46:29 +0000 (19:46 +0000)]
re PR fortran/42546 (ALLOCATED statement typo in the docs and for scalar variables)

2019-08-01  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/42546
* check.c(gfc_check_allocated): Add comment pointing to ...
* intrinsic.c(sort_actual): ... the checking done here.

2019-08-01  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/42546
* gfortran.dg/allocated_1.f90: New test.
* gfortran.dg/allocated_2.f90: Ditto.

From-SVN: r274147

5 years agoP1651R0 bind_front should not unwrap reference_wrapper
Jonathan Wakely [Tue, 6 Aug 2019 15:57:55 +0000 (16:57 +0100)]
P1651R0 bind_front should not unwrap reference_wrapper

P1651R0 bind_front should not unwrap reference_wrapper
* include/std/functional (bind_front): Don't unwrap reference_wrapper.
* include/std/version (__cpp_lib_bind_front): Update value.
* testsuite/20_util/function_objects/bind_front/1.cc: Fix test for
feature test macro.
* testsuite/20_util/function_objects/bind_front/2.cc: New test.

From-SVN: r274146

5 years agoSpecialize std::numbers constants for __float128
Jonathan Wakely [Tue, 6 Aug 2019 15:57:51 +0000 (16:57 +0100)]
Specialize std::numbers constants for __float128

* include/std/numbers [!__STRICT_ANSI__ && _GLIBCXX_USE_FLOAT128]
(e_v, log2e_v, log10e_v, pi_v, inv_pi_v, inv_sqrtpi_v, ln2_v, ln10_v)
(sqrt2_v, sqrt3_v, inv_sqrt3, egamma_v, phi_v): Add explicit
specializations for __float128.
* testsuite/26_numerics/numbers/float128.cc: New test.

From-SVN: r274145

5 years agoFix gcc.target/i386/avx512vp2intersect-2intersect-1b.c etc. execution tests
Rainer Orth [Tue, 6 Aug 2019 14:53:24 +0000 (14:53 +0000)]
Fix gcc.target/i386/avx512vp2intersect-2intersect-1b.c etc. execution tests

gcc/testsuite:
* gcc.target/i386/avx512vp2intersect-2intersect-1b.c (AVX512F):
Remove.
(AVX512VP2INTERSECT): Define.
* gcc.target/i386/avx512vp2intersect-2intersectvl-1b.c (AVX512F):
Remove.
(AVX512VP2INTERSECT): Define.

From-SVN: r274144

5 years agoPR c++/91378 - ICE with noexcept and auto return type.
Jason Merrill [Tue, 6 Aug 2019 14:07:59 +0000 (10:07 -0400)]
PR c++/91378 - ICE with noexcept and auto return type.

Here, since the call to g is not type-dependent, we call mark_used on it to
determine its return type.  This also wants to instantiate the
noexcept-expression.  But since nothing in maybe_instantiate_noexcept was
calling push_to_top_level, we substituted b.i with processing_template_decl
set, so we left it unresolved for later access checking.  As a result, the
type of C::g<int> remained instantiation-dependent, leading to an ICE in
type_dependent_expression_p on the assert that the type of a function
template with no dependent template arguments must be non-dependent.

* pt.c (maybe_instantiate_noexcept): push_to_top_level.

From-SVN: r274143

5 years agodecl.c (check_array_designated_initializer): Use cp_expr_loc_or_input_loc in one...
Paolo Carlini [Tue, 6 Aug 2019 09:56:44 +0000 (09:56 +0000)]
decl.c (check_array_designated_initializer): Use cp_expr_loc_or_input_loc in one place.

/cp
2019-08-06  Paolo Carlini  <paolo.carlini@oracle.com>

* decl.c (check_array_designated_initializer): Use
cp_expr_loc_or_input_loc in one place.

/testsuite
2019-08-06  Paolo Carlini  <paolo.carlini@oracle.com>

* g++.dg/cpp0x/desig1.C: Check location too.

From-SVN: r274141

5 years agoAdd operator new/delete to cgraph_node::dump.
Martin Liska [Tue, 6 Aug 2019 07:38:16 +0000 (09:38 +0200)]
Add operator new/delete to cgraph_node::dump.

2019-08-06  Martin Liska  <mliska@suse.cz>

* cgraph.c (cgraph_node::dump): Dump DECL_IS_OPERATOR_NEW_P
and DECL_IS_OPERATOR_DELETE_P.

From-SVN: r274139

5 years agotree.h (OMP_CLAUSE_LASTPRIVATE_TASKLOOP_IV): Rename to ...
Jakub Jelinek [Tue, 6 Aug 2019 07:26:32 +0000 (09:26 +0200)]
tree.h (OMP_CLAUSE_LASTPRIVATE_TASKLOOP_IV): Rename to ...

* tree.h (OMP_CLAUSE_LASTPRIVATE_TASKLOOP_IV): Rename to ...
(OMP_CLAUSE_LASTPRIVATE_LOOP_IV): ... this.  Adjust comment.
* gimplify.c (gimple_add_tmp_var): In SIMD contexts, turn addressable
new vars into GOVD_PRIVATE rather than GOVD_LOCAL.
(gimplify_omp_for): Don't do C++ random access iterator clause
adjustments on combined constructs from OMP_LOOP.  For OMP_LOOP,
don't predetermine the artificial iterator in case of C++ random
access iterators as lastprivate, but private.  For OMP_LOOP, force
bind expr around simd body and force for_pre_body before the
construct.  Use OMP_CLAUSE_LASTPRIVATE_LOOP_IV instead of
OMP_CLAUSE_LASTPRIVATE_TASKLOOP_IV.
(gimplify_omp_loop): Add firstprivate clauses on OMP_PARALLEL for
diff var of C++ random access iterators.  Handle
OMP_CLAUSE_FIRSTPRIVATE.  For OMP_CLAUSE_LASTPRIVATE_LOOP_IV, if
not outermost also add OMP_CLAUSE_FIRSTPRIVATE, and in both cases
clear OMP_CLAUSE_LASTPRIVATE_LOOP_IV on the lastprivate clause
on the OMP_FOR and OMP_DISTRIBUTE constructs if any.
* omp-low.c (lower_rec_input_clauses): For
OMP_CLAUSE_LASTPRIVATE_LOOP_IV on simd copy construct the private
variables instead of default constructing them.
(lower_lastprivate_clauses): Use OMP_CLAUSE_LASTPRIVATE_LOOP_IV
instead of OMP_CLAUSE_LASTPRIVATE_TASKLOOP_IV and move the
is_taskloop_ctx check from the assert to the guarding condition.
gcc/cp/
* parser.c (cp_parser_omp_for_loop): For OMP_LOOP, ignore parallel
clauses and predetermine iterator as lastprivate.
* semantics.c (handle_omp_for_class_iterator): Use
OMP_CLAUSE_LASTPRIVATE_LOOP_IV instead of
OMP_CLAUSE_LASTPRIVATE_TASKLOOP_IV, set it for lastprivate also
on OMP_LOOP construct.  If a clause is missing for class iterator
on OMP_LOOP, add firstprivate clause, and if there is private
clause, turn it into firstprivate too.
(finish_omp_for): Formatting fix.  For OMP_LOOP, adjust
OMP_CLAUSE_LASTPRIVATE_LOOP_IV clause CP_CLAUSE_INFO, so that it
uses copy ctor instead of default ctor.
* cp-gimplify.c (cp_gimplify_expr): Handle OMP_LOOP like
OMP_DISTRIBUTE etc.
(cp_fold_r): Likewise.
(cp_genericize_r): Likewise.
(cxx_omp_finish_clause): Also finish lastprivate clause with
OMP_CLAUSE_LASTPRIVATE_LOOP_IV flag.
* pt.c (tsubst_omp_clauses): Handle OMP_CLAUSE_BIND.
(tsubst_omp_for_iterator): For OMP_LOOP, ignore parallel
clauses and predetermine iterator as lastprivate.
* constexpr.c (potential_constant_expression_1): Handle OMP_LOOP
like OMP_DISTRIBUTE etc.
libgomp/
* testsuite/libgomp.c++/loop-13.C: New test.
* testsuite/libgomp.c++/loop-14.C: New test.
* testsuite/libgomp.c++/loop-15.C: New test.

From-SVN: r274138

5 years agoRISC-V: Handle extensions combination correctly in multilib-generator.
Kito Cheng [Tue, 6 Aug 2019 03:16:40 +0000 (03:16 +0000)]
RISC-V: Handle extensions combination correctly in multilib-generator.

Input string consist of four parts:
  <primary arch>-<abi>-<additional arches>-<extensions>

and generator doing combination with <extensions> part, but it just
append the extension at the end of arch string, it might generate
invalid arch.

For example, without this patch `./multilib-generator rv32imafc-ilp32--d`
will generate:

MULTILIB_OPTIONS = march=rv32imafc/march=rv32imafcd mabi=ilp32
                                         ^^^^^^^^^^

and rv32imafcd is not in canonical order.

Tested with python 2.7 and python 3.6/3.7.

gcc/ChangeLog

* gcc/config/riscv/multilib-generator: (canonical_order): New.
(arch_canonicalize): Dito.
Apply arch_canonicalize for alts.

From-SVN: r274137

5 years agoDR 2413 - typename in conversion-function-ids.
Marek Polacek [Tue, 6 Aug 2019 02:23:43 +0000 (02:23 +0000)]
DR 2413 - typename in conversion-function-ids.

* parser.c (cp_parser_conversion_type_id): Call
cp_parser_type_specifier_seq with CP_PARSER_FLAGS_TYPENAME_OPTIONAL
instead of CP_PARSER_FLAGS_NONE.

* g++.dg/cpp2a/typename17.C: New test.

From-SVN: r274136

5 years agoPR middle-end/50476 - Warn of pointer set to object whose lifetime is limited
Martin Sebor [Tue, 6 Aug 2019 00:30:02 +0000 (00:30 +0000)]
PR middle-end/50476 - Warn of pointer set to object whose lifetime is limited

gcc/testsuite/ChangeLog:
* gcc.dg/uninit-pr50476.c: New test.

From-SVN: r274135

5 years agoDaily bump.
GCC Administrator [Tue, 6 Aug 2019 00:16:25 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r274134

5 years agoPR c++/60517 - warning/error for taking address of member of a temporary object
Martin Sebor [Tue, 6 Aug 2019 00:08:45 +0000 (00:08 +0000)]
PR c++/60517 - warning/error for taking address of member of a temporary object

testsuite/ChangeLog:
* g++.dg/pr60517.C: New test.

From-SVN: r274130

5 years agoAdd missing ChangeLog entry.
Michael Meissner [Mon, 5 Aug 2019 23:07:31 +0000 (23:07 +0000)]
Add missing ChangeLog entry.

2019-08-02  Michael Meissner  <meissner@linux.ibm.com>

* config/rs6000/future.md: New file.
* config/rs6000/rs6000.md: Include future.md.
* config/rs6000/t-rs6000 (MD_INCLUDES): Add future.md.

From-SVN: r274129

5 years agoextend.texi (Common Variable Attributes): Document alias attribute.
Martin Sebor [Mon, 5 Aug 2019 22:40:49 +0000 (22:40 +0000)]
extend.texi (Common Variable Attributes): Document alias attribute.

gcc/ChangeLog:

* doc/extend.texi (Common Variable Attributes): Document alias
attribute.

From-SVN: r274127

5 years agocp-tree.h (cp_expr_loc_or_input_loc): New.
Paolo Carlini [Mon, 5 Aug 2019 20:04:22 +0000 (20:04 +0000)]
cp-tree.h (cp_expr_loc_or_input_loc): New.

2019-08-05  Paolo Carlini  <paolo.carlini@oracle.com>

* cp-tree.h (cp_expr_loc_or_input_loc): New.
(cxx_incomplete_type_diagnostic): Use it.
* call.c (build_converted_constant_expr_internal, convert_like_real,
convert_arg_to_ellipsis, convert_for_arg_passing, build_over_call,
build_cxx_call, perform_implicit_conversion_flags,
initialize_reference): Likewise.
* constexpr.c (cxx_eval_internal_function, cxx_eval_call_expression,
eval_and_check_array_index, cxx_eval_store_expression,
cxx_eval_statement_list, cxx_eval_loop_expr,
cxx_eval_constant_expression, potential_constant_expression_1):
Likewise.
* constraint.cc (check_for_logical_overloads,
satisfy_predicate_constraint): Likewise.
* cp-gimplify.c (cp_gimplify_expr): Likewise.
* cvt.c (cp_convert_to_pointer, convert_to_reference,
cp_convert_and_check, ocp_convert, maybe_warn_nodiscard): Likewise.
* decl.c (pop_switch): Likewise.
* decl2.c (delete_sanity): Likewise.
* error.c (location_of): Likewise.
* init.c (maybe_warn_list_ctor, build_aggr_init,
warn_placement_new_too_small, build_new_1, build_vec_init): Likewise.
* lex.c (unqualified_name_lookup_error): Likewise.
* parser.c (cp_parser_initializer_list, cp_parser_omp_for_cond):
Likewise.
* pt.c (check_for_bare_parameter_packs, check_valid_ptrmem_cst_expr,
unify_arg_conversion, convert_nontype_argument,
tsubst_copy_and_build, resolve_typename_type): Likewise.
* semantics.c (maybe_convert_cond, finish_call_expr,
cp_build_vec_convert): Likewise.
* typeck.c (decay_conversion, rationalize_conditional_expr,
cp_build_unary_op, build_x_compound_expr_from_list,
maybe_warn_about_returning_address_of_local,
maybe_warn_pessimizing_move): Likewise.
* typeck2.c (check_narrowing, digest_init_r,
process_init_constructor_array): Likewise.

From-SVN: r274124

5 years agoPR c++/88095, CTAD for literal operator templates per P0732
Tom Honermann [Mon, 5 Aug 2019 19:34:23 +0000 (19:34 +0000)]
PR c++/88095, CTAD for literal operator templates per P0732

This patch fixes PR c++/88095: class nontype template parameter UDL string
literals doesn't accepts deduction placeholder

It also addresses a latent issue; literal operator templates with template
parameter packs of literal class type were previously accepted.  The patch
corrects this and adds a test (udlit-class-nttp-neg.C).

This fix is needed for one of the char8_t remediation approaches documented
in P1423, and may be helpful for existing code bases impacted by the char8_t
changes adopted via P0482 for C++20.

gcc/cp/ChangeLog:

2019-08-02  Tom Honermann  <tom@honermann.net>

        * parser.c (cp_parser_template_declaration_after_parameters): Enable
        class template argument deduction for non-type template parameters
        in literal operator templates.

gcc/testsuite/ChangeLog:

2019-08-02  Tom Honermann  <tom@honermann.net>

        PR c++/88095
        * g++.dg/cpp2a/udlit-class-nttp-ctad.C: New test.
        * g++.dg/cpp2a/udlit-class-nttp-ctad-neg.C: New test.
        * g++.dg/cpp2a/udlit-class-nttp-ctad-neg2.C: New test.
        * g++.dg/cpp2a/udlit-class-nttp.C: New test.
        * g++.dg/cpp2a/udlit-class-nttp-neg.C: New test.
        * g++.dg/cpp2a/udlit-class-nttp-neg2.C: New test.

From-SVN: r274123

5 years agore PR fortran/91372 (Error: Unclassifiable statement)
Steven G. Kargl [Mon, 5 Aug 2019 19:24:31 +0000 (19:24 +0000)]
re PR fortran/91372 (Error: Unclassifiable statement)

2019-08-05  Steven g. Kargl  <kargl@gcc.gnu.org>

PR fortran/91372
* decl.c (gfc_match_data): Allow an implied do-loop to nestle against
DATA.

2019-08-05  Steven g. Kargl  <kargl@gcc.gnu.org>

PR fortran/91372
* gfortran.dg/pr91372.f90: New test.

From-SVN: r274122

5 years agoPR c++/91338 - Implement P1161R3: Deprecate a[b,c].
Marek Polacek [Mon, 5 Aug 2019 19:01:15 +0000 (19:01 +0000)]
PR c++/91338 - Implement P1161R3: Deprecate a[b,c].

* c-opts.c (c_common_post_options): Enable -Wcomma-subscript by
default for C++2a, unless -Wno-deprecated.
* c.opt (Wcomma-subscript): New warning.

* parser.c (cp_parser_postfix_open_square_expression): Warn about uses
of a comma operator within a subscripting expression.
(cp_parser_skip_to_closing_square_bracket_1): New function, made out
of...
(cp_parser_skip_to_closing_square_bracket): ...this.

* doc/invoke.texi: Document -Wcomma-subscript.

* g++.dg/cpp2a/comma1.C: New test.
* g++.dg/cpp2a/comma2.C: New test.
* g++.dg/cpp2a/comma3.C: New test.
* g++.dg/cpp2a/comma4.C: New test.

From-SVN: r274121

5 years ago* semantics.c (force_paren_expr): Preserve location.
Jason Merrill [Mon, 5 Aug 2019 17:38:18 +0000 (13:38 -0400)]
* semantics.c (force_paren_expr): Preserve location.

From-SVN: r274120

5 years agoMake function_code a 32-bit field
Richard Sandiford [Mon, 5 Aug 2019 16:47:04 +0000 (16:47 +0000)]
Make function_code a 32-bit field

Adding SVE intrinsics on top of the existing AArch64 intrinsics blows
the 12-bit function_code in tree_function_decl.  That bitfield has no
spare bits, but it comes at the end of the structure and is preceded
by a pointer, so on LP64 hosts there's currently a 32-bit hole at end.

This patch therefore makes function_code an independent field and
moves the bitfield to the 32-bit hole.

I wondered about instead making function_code 16 bits, so that the
patch leaves 28 spare bits instead of just 12.  That seemed a bit
short-term though; I can't guarantee that we won't blow 16 bits once
the SVE2 functions are added...

If we run out of bits again, we can start chomping from the top
of the enum.  E.g. 24 bits should surely be enough, but there's
no point paying the overhead of the masking until we need it.

2019-08-05  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* tree-core.h (tree_function_decl): Make function_code an
independent field.  Group the remaining bitfields into bytes
and move decl_type so that it contines to be at a byte boundary.
Leave 12 bits for future expansion.

From-SVN: r274119

5 years agoFold MASK_LOAD/STORE with an all-true mask
Richard Sandiford [Mon, 5 Aug 2019 16:46:58 +0000 (16:46 +0000)]
Fold MASK_LOAD/STORE with an all-true mask

This patch folds IFN_MASK_LOAD and IFN_MASK_STOREs to normal accesses
if the mask is all-true.  This can happen for fully-masked loops that
didn't actually need to be (which could be handled by the vectoriser
instead), or for unrolled fully-masked loops whose first iteration is
guaranteed to operate on a full vector.  It's also useful when the
accesses are generated directly by intrinsics (to follow for SVE).

2019-08-05  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* gimple-fold.c (gimple_fold_mask_load_store_mem_ref)
(gimple_fold_mask_load, gimple_fold_mask_store): New functions.
(gimple_fold_call): Use them to fold IFN_MASK_LOAD and
IFN_MASK_STORE.

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

From-SVN: r274118

5 years agoAdd a gimple_move_vops helper function
Richard Sandiford [Mon, 5 Aug 2019 16:46:48 +0000 (16:46 +0000)]
Add a gimple_move_vops helper function

I needed to add another instance of this idiom, so thought it'd
be worth having a helper function.

2019-08-05  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* gimple.h (gimple_move_vops): Declare.
* gimple.c (gimple_move_vops): New function
* gimple-fold.c (replace_call_with_call_and_fold)
(gimple_fold_builtin_memory_op, gimple_fold_builtin_memset)
(gimple_fold_builtin_stpcpy, fold_builtin_atomic_compare_exchange)
(gimple_fold_call): Use it.
* ipa-param-manipulation.c (ipa_modify_call_arguments): Likewise.
* tree-call-cdce.c (use_internal_fn): Likewise.
* tree-if-conv.c (predicate_load_or_store): Likewise.
* tree-ssa-ccp.c (optimize_atomic_bit_test_and): Likewise.
* tree-ssa-math-opts.c (pass_cse_reciprocals::execute): Likewise.
* tree-ssa-propagate.c (finish_update_gimple_call): Likewise.
(update_call_from_tree): Likewise.
* tree-vect-stmts.c (vectorizable_load): Likewise.
* tree-vectorizer.c (adjust_simduid_builtins): Likewise.

From-SVN: r274117

5 years agopr80993.c: Add cleanup-saved-temps to final actions.
Jozef Lawrynowicz [Mon, 5 Aug 2019 14:02:35 +0000 (14:02 +0000)]
pr80993.c: Add cleanup-saved-temps to final actions.

2019-08-05  Jozef Lawrynowicz  <jozef.l@mittosystems.com>

* gcc.target/msp430/pr80993.c: Add cleanup-saved-temps to final
actions.

From-SVN: r274116

5 years agoHandle new operators with no arguments in DCE.
Martin Liska [Mon, 5 Aug 2019 12:53:01 +0000 (14:53 +0200)]
Handle new operators with no arguments in DCE.

2019-08-05  Martin Liska  <mliska@suse.cz>

PR c++/91334
* tree-ssa-dce.c (propagate_necessity): Handle new operators
with not arguments.
(eliminate_unnecessary_stmts): Likewise.
2019-08-05  Martin Liska  <mliska@suse.cz>

PR c++/91334
* g++.dg/torture/pr91334.C: New test.

From-SVN: r274115

5 years agore PR tree-optimization/91169 (cd2a31a FAILs)
Richard Biener [Mon, 5 Aug 2019 12:30:49 +0000 (12:30 +0000)]
re PR tree-optimization/91169 (cd2a31a FAILs)

2019-08-05  Richard Biener  <rguenther@suse.de>

PR middle-end/91169
* fold-const.c (get_array_ctor_element_at_index): Create
offset_ints according to the sign of the index type and treat
that as signed if it is obviously so.

* gnat.dg/array37.adb: New testcase.

From-SVN: r274114

5 years agore PR target/91341 (Missing AVX Intrinsics: load/store u2)
Jakub Jelinek [Mon, 5 Aug 2019 08:00:30 +0000 (10:00 +0200)]
re PR target/91341 (Missing AVX Intrinsics: load/store u2)

PR target/91341
* config/i386/avxintrin.h (_mm256_loadu2_m128, _mm256_storeu2_m128,
_mm256_loadu2_m128d, _mm256_storeu2_m128d, _mm256_loadu2_m128i,
_mm256_storeu2_m128i): New function.

* gcc.target/i386/avx-loadu2-m128-1.c: New test.
* gcc.target/i386/avx-loadu2-m128-2.c: New test.
* gcc.target/i386/avx-loadu2-m128d-1.c: New test.
* gcc.target/i386/avx-loadu2-m128d-2.c: New test.
* gcc.target/i386/avx-loadu2-m128i-1.c: New test.
* gcc.target/i386/avx-loadu2-m128i-2.c: New test.
* gcc.target/i386/avx-storeu2-m128-1.c: New test.
* gcc.target/i386/avx-storeu2-m128-2.c: New test.
* gcc.target/i386/avx-storeu2-m128d-1.c: New test.
* gcc.target/i386/avx-storeu2-m128d-2.c: New test.
* gcc.target/i386/avx-storeu2-m128i-1.c: New test.
* gcc.target/i386/avx-storeu2-m128i-2.c: New test.

From-SVN: r274109

5 years agoRISC-V: Promote type correctly for libcalls
Kito Cheng [Mon, 5 Aug 2019 03:32:38 +0000 (03:32 +0000)]
RISC-V: Promote type correctly for libcalls

 - argument and return value for libcall won't promote at
   default_promote_function_mode_always_promote, however we expect it
   should sign-extend as normal function.

 - Witout this patch, this test case will fail at -march=rv64i -mabi=lp64.

 - The implementation of riscv_promote_function_mode is borrowed from MIPS.

gcc/ChangeLog

* config/riscv/riscv.c (riscv_promote_function_mode): New.
(TARGET_PROMOTE_FUNCTION_MODE): Use riscv_promote_function_mode.

gcc/testsuite/ChangeLog

* gcc.target/riscv/promote-type-for-libcall.c: New.

From-SVN: r274107