gcc.git
8 years agoCorrectly handle ARM targets.
Martin Sebor [Thu, 26 Nov 2015 23:31:32 +0000 (23:31 +0000)]
Correctly handle ARM targets.

* g++.dg/init/new45.C (cookie_size): New constant set to a value
appropriate for the target.
(operator new[]): Use it.

From-SVN: r230987

8 years ago[PR67753] adjust for padding when bypassing memory in assign_parm_setup_block
Alexandre Oliva [Thu, 26 Nov 2015 21:57:40 +0000 (21:57 +0000)]
[PR67753] adjust for padding when bypassing memory in assign_parm_setup_block

Storing a register in memory as a full word and then accessing the
same memory address under a smaller-than-word mode amounts to
right-shifting of the register word on big endian machines.  So, if
BLOCK_REG_PADDING chooses upward padding for BYTES_BIG_ENDIAN, and
we're copying from the entry_parm REG directly to a pseudo, bypassing
any stack slot, perform the shifting explicitly.

This fixes the miscompile of function_return_val_10 in
gcc.target/aarch64/aapcs64/func-ret-4.c for target aarch64_be-elf
introduced in the first patch for 67753.

for  gcc/ChangeLog

PR rtl-optimization/67753
PR rtl-optimization/64164
* function.c (assign_parm_setup_block): Right-shift
upward-padded big-endian args when bypassing the stack slot.

From-SVN: r230985

8 years agoMIPS/GCC/doc: Reorder `-mcompact-branches='
Maciej W. Rozycki [Thu, 26 Nov 2015 20:50:54 +0000 (20:50 +0000)]
MIPS/GCC/doc: Reorder `-mcompact-branches='

Move the `-mcompact-branches=' option out of the middle of a block of
floating-point options.  The option is not related to FP in any way.
Place it immediately below other branch instruction selection options.

* doc/invoke.texi (Option Summary) <MIPS Options>: Reorder
`-mcompact-branches='.
(MIPS Options): Likewise.

From-SVN: r230984

8 years agoFix whitespacing.
Mike Stump [Thu, 26 Nov 2015 20:48:29 +0000 (20:48 +0000)]
Fix whitespacing.

From-SVN: r230983

8 years ago* Makefile.in (build/genmatch.o): Depend on internal-fn.def.
Jakub Jelinek [Thu, 26 Nov 2015 20:00:33 +0000 (21:00 +0100)]
* Makefile.in (build/genmatch.o): Depend on internal-fn.def.

From-SVN: r230982

8 years agore PR c++/67238 ([C++11][C++14]cc1plus crash for nested decltype expression in parame...
Paolo Carlini [Thu, 26 Nov 2015 18:43:47 +0000 (18:43 +0000)]
re PR c++/67238 ([C++11][C++14]cc1plus crash for nested decltype expression in parameter pack in trailing return type when '-g' enabled)

2015-11-26  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/67238
* g++.dg/cpp0x/pr67238.C: New.

From-SVN: r230981

8 years agopr67876.C: Remove duplicate content.
Martin Sebor [Thu, 26 Nov 2015 18:01:02 +0000 (18:01 +0000)]
pr67876.C: Remove duplicate content.

gcc/testsuite/
* g++.dg/pr67876.C: Remove duplicate content.

From-SVN: r230980

8 years agocp-gimplify.c (genericize_cp_loop): Change LOOP_EXPR's location to start of loop...
Andreas Arnez [Thu, 26 Nov 2015 17:52:01 +0000 (17:52 +0000)]
cp-gimplify.c (genericize_cp_loop): Change LOOP_EXPR's location to start of loop body instead of start of loop.

gcc/cp/ChangeLog:

2015-11-26  Andreas Arnez  <arnez@linux.vnet.ibm.com>

* cp-gimplify.c (genericize_cp_loop): Change LOOP_EXPR's location
to start of loop body instead of start of loop.

gcc/testsuite/ChangeLog:

2015-11-26  Andreas Arnez  <arnez@linux.vnet.ibm.com>

* g++.dg/guality/pr67192.C: New test.

From-SVN: r230979

8 years agoinstall.texi (Prerequisites): Increase ISL requirement to 0.14 or 0.15.
David Edelsohn [Thu, 26 Nov 2015 16:57:23 +0000 (16:57 +0000)]
install.texi (Prerequisites): Increase ISL requirement to 0.14 or 0.15.

        * doc/install.texi (Prerequisites): Increase ISL requirement to
        0.14 or 0.15.

From-SVN: r230978

8 years agoEnsure another pretty-printer test uses C++98 mode
Jonathan Wakely [Thu, 26 Nov 2015 16:25:55 +0000 (16:25 +0000)]
Ensure another pretty-printer test uses C++98 mode

* testsuite/libstdc++-prettyprinters/debug.cc: Add -std=gnu++98 to
dg-options and avoid use of uniform-init.

From-SVN: r230977

8 years agolibitm: Use multiplicative hashing in the multi-lock TM method.
Torvald Riegel [Thu, 26 Nov 2015 16:10:54 +0000 (16:10 +0000)]
libitm: Use multiplicative hashing in the multi-lock TM method.

* method-ml.cc (ml_mg): Use multiplicative instead of simple hashing.
(ml_wt_dispatch::pre_write): Adapt.
(ml_wt_dispatch::pre_load): Likewise.

From-SVN: r230975

8 years agoEnsure pretty-printer test uses C++98 mode
Jonathan Wakely [Thu, 26 Nov 2015 15:42:47 +0000 (15:42 +0000)]
Ensure pretty-printer test uses C++98 mode

* testsuite/libstdc++-prettyprinters/simple.cc: Add -std=gnu++98 to
dg-options and avoid use of uniform-init.

From-SVN: r230973

8 years ago[AArch64] Add NEON intrinsics vqrdmlah_lane and vqrdmlsh_lane.
Matthew Wahab [Thu, 26 Nov 2015 15:19:57 +0000 (15:19 +0000)]
[AArch64] Add NEON intrinsics vqrdmlah_lane and vqrdmlsh_lane.

        gcc/
* gcc/config/aarch64/arm_neon.h
(vqrdmlah_laneq_s16, vqrdmlah_laneq_s32): New.
(vqrdmlahq_laneq_s16, vqrdmlahq_laneq_s32): New.
(vqrdmlsh_lane_s16, vqrdmlsh_lane_s32): New.
(vqrdmlshq_laneq_s16, vqrdmlshq_laneq_s32): New.
(vqrdmlah_lane_s16, vqrdmlah_lane_s32): New.
(vqrdmlahq_lane_s16, vqrdmlahq_lane_s32): New.
(vqrdmlahh_s16, vqrdmlahh_lane_s16, vqrdmlahh_laneq_s16): New.
(vqrdmlahs_s32, vqrdmlahs_lane_s32, vqrdmlahs_laneq_s32): New.
(vqrdmlsh_lane_s16, vqrdmlsh_lane_s32): New.
(vqrdmlshq_lane_s16, vqrdmlshq_lane_s32): New.
(vqrdmlshh_s16, vqrdmlshh_lane_s16, vqrdmlshh_laneq_s16): New.
(vqrdmlshs_s32, vqrdmlshs_lane_s32, vqrdmlshs_laneq_s32): New.

        gcc/testsuite
* gcc.target/aarch64/advsimd-intrinsics/vqrdmlXh_lane.inc: New file,
support code for vqrdml{as}h_lane tests.
* gcc.target/aarch64/advsimd-intrinsics/vqrdmlah_lane.c: New.
* gcc.target/aarch64/advsimd-intrinsics/vqrdmlsh_lane.c: New.

From-SVN: r230972

8 years ago[AArch64] Add NEON intrinsics vqrdmlah and vqrdmlsh.
Matthew Wahab [Thu, 26 Nov 2015 15:13:02 +0000 (15:13 +0000)]
[AArch64] Add NEON intrinsics vqrdmlah and vqrdmlsh.

        gcc/
* gcc/config/aarch64/arm_neon.h (vqrdmlah_s16, vqrdmlah_s32): New.
(vqrdmlahq_s16, vqrdmlahq_s32): New.
(vqrdmlsh_s16, vqrdmlsh_s32): New.
(vqrdmlshq_s16, vqrdmlshq_s32): New.

        gcc/testsuite
* gcc.target/aarch64/advsimd-intrinsics/vqrdmlXh.inc: New file,
support code for vqrdml{as}h tests.
* gcc.target/aarch64/advsimd-intrinsics/vqrdmlah.c: New.
* gcc.target/aarch64/advsimd-intrinsics/vqrdmlsh.c: New.

From-SVN: r230971

8 years ago[AArch64][dejagnu] Dejagnu support for ARMv8.1 Adv.SIMD.
Matthew Wahab [Thu, 26 Nov 2015 15:06:04 +0000 (15:06 +0000)]
[AArch64][dejagnu] Dejagnu support for ARMv8.1 Adv.SIMD.

        gcc/testsuite
* lib/target-supports.exp (add_options_for_arm_v8_1a_neon): New.
(check_effective_target_arm_arch_FUNC_ok)
(add_options_for_arm_arch_FUNC)
(check_effective_target_arm_arch_FUNC_multilib): Add "armv8.1-a"
to the list to be generated.
(check_effective_target_arm_v8_1a_neon_ok_nocache): New.
(check_effective_target_arm_v8_1a_neon_ok): New.
(check_effective_target_arm_v8_1a_neon_hw): New.

From-SVN: r230970

8 years ago[AArch64] Add ACLE feature macro for ARMv8.1 Adv.SIMD instructions.
Matthew Wahab [Thu, 26 Nov 2015 14:59:10 +0000 (14:59 +0000)]
[AArch64] Add ACLE feature macro for ARMv8.1 Adv.SIMD instructions.

* config/aarch64/aarch64-c.c (aarch64_update_cpp_builtins): Add
ARM_FEATURE_QRDMX.

From-SVN: r230969

8 years agoDWARF: fix loc. descr. generation for DW_AT_static_link
Pierre-Marie de Rodat [Thu, 26 Nov 2015 14:56:24 +0000 (14:56 +0000)]
DWARF: fix loc. descr. generation for DW_AT_static_link

gcc/ChangeLog:

PR debug/53927
* tree-nested.c (finalize_nesting_tree_1): Append a field to
hold the frame base address.
* dwarf2out.c (gen_subprogram_die): Generate for
DW_AT_static_link a location description that computes the value
of this field.

From-SVN: r230968

8 years agoRevert "Improve verification of loop->latch in verify_loop_structure"
Tom de Vries [Thu, 26 Nov 2015 14:35:27 +0000 (14:35 +0000)]
Revert "Improve verification of loop->latch in verify_loop_structure"

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

revert:
2015-11-25  Tom de Vries  <tom@codesourcery.com>

* cfgloop.c (find_single_latch): New function, factored out of ...
(flow_loops_find): ... here.
(verify_loop_structure): Improve verification of loop->latch.
* cfgloop.h (find_single_latch): Declare.
* omp-low.c (expand_omp_for_generic): Initialize latch of orig_loop.

From-SVN: r230967

8 years agoaarch64-simd-builtins.def: Add missing changes from r230962.
Matthew Wahab [Thu, 26 Nov 2015 14:17:04 +0000 (14:17 +0000)]
aarch64-simd-builtins.def: Add missing changes from r230962.

* config/aarch64/aarch64-simd-builtins.def:
Add missing changes from r230962.

From-SVN: r230966

8 years agonvptx.c (write_func_decl_from_insn): Replace callee arg with name.
Nathan Sidwell [Thu, 26 Nov 2015 14:13:28 +0000 (14:13 +0000)]
nvptx.c (write_func_decl_from_insn): Replace callee arg with name.

* config/nvptx/nvptx.c (write_func_decl_from_insn): Replace callee
arg with name.  Don't deal with split regs.  Tweak formatting.
(nvptx_expand_call): Adjust write_func_decl_from_insn call.
(nvptx_output_call_insn): Don't deal with split regs here.

testsuite/
* gcc.target/nvptx/proto-1.c: Adjust expected asm.

From-SVN: r230965

8 years agore PR tree-optimization/68555 (gcc.dg/vect/bb-slp-10.c FAILs)
Richard Biener [Thu, 26 Nov 2015 14:01:26 +0000 (14:01 +0000)]
re PR tree-optimization/68555 (gcc.dg/vect/bb-slp-10.c FAILs)

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

PR testsuite/68555
* gcc.dg/vect/bb-slp-10.c: Adjust pattern, use target selector
and not XFAIL.

From-SVN: r230963

8 years ago[AArch64] Add builtins for ARMv8.1 Adv.SIMD instructions.
Matthew Wahab [Thu, 26 Nov 2015 13:57:42 +0000 (13:57 +0000)]
[AArch64] Add builtins for ARMv8.1 Adv.SIMD instructions.

* config/aarch64/aarch64-simd-builtins.def
(sqrdmlah, sqrdmlsh): New.
(sqrdmlah_lane, sqrdmlsh_lane): New.
(sqrdmlah_laneq, sqrdmlsh_laneq): New.

From-SVN: r230962

8 years agore PR tree-optimization/68554 (gcc.dg/vect/bb-slp-subgroups-2.c FAILs)
Richard Biener [Thu, 26 Nov 2015 13:51:40 +0000 (13:51 +0000)]
re PR tree-optimization/68554 (gcc.dg/vect/bb-slp-subgroups-2.c FAILs)

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

PR testsuite/68554
* gcc.dg/vect/bb-slp-subgroups-2.c: Require vect_perm.

From-SVN: r230961

8 years ago[AArch64] Add sqrdmah, sqrdmsh instructions.
Matthew Wahab [Thu, 26 Nov 2015 13:50:47 +0000 (13:50 +0000)]
[AArch64] Add sqrdmah, sqrdmsh instructions.

* config/aarch64/aarch64-simd.md
(aarch64_sqmovun<mode>): Fix some white-space.
(aarch64_<sur>qmovun<mode>): Likewise.
(aarch64_sqrdml<SQRDMLH_AS:rdma_as>h<mode>): New.
(aarch64_sqrdml<SQRDMLH_AS:rdma_as>h_lane<mode>): New.
(aarch64_sqrdml<SQRDMLH_AS:rdma_as>h_laneq<mode>): New.
* config/aarch64/iterators.md (UNSPEC_SQRDMLAH): New.
(UNSPEC_SQRDMLSH): New.
(SQRDMLH_AS): New.
(rdma_as): New.

From-SVN: r230959

8 years ago* g++.dg/tree-ssa/pr61034.C: Scan tree dumps also for alpha*-*-*.
Uros Bizjak [Thu, 26 Nov 2015 13:50:19 +0000 (14:50 +0100)]
* g++.dg/tree-ssa/pr61034.C: Scan tree dumps also for alpha*-*-*.

From-SVN: r230958

8 years agore PR tree-optimization/66721 (gcc.target/i386/pr61403.c FAILs)
Richard Biener [Thu, 26 Nov 2015 13:46:59 +0000 (13:46 +0000)]
re PR tree-optimization/66721 (gcc.target/i386/pr61403.c FAILs)

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

PR tree-optimization/66721
* tree-vect-loop.c (vect_analyze_loop_2): Compute scalar
iteration cost earlier.  Re-do analysis without SLP when
vectorization using SLP fails and without has a chance to succeed.

From-SVN: r230956

8 years agogenmatch.c (dt_simplify::gen_1): For generic wrap all multi-result-use captures in...
Richard Biener [Thu, 26 Nov 2015 13:45:45 +0000 (13:45 +0000)]
genmatch.c (dt_simplify::gen_1): For generic wrap all multi-result-use captures in a SAVE_EXPR.

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

* genmatch.c (dt_simplify::gen_1): For generic wrap all
multi-result-use captures in a SAVE_EXPR.

From-SVN: r230955

8 years agoFix typo
David Edelsohn [Thu, 26 Nov 2015 13:44:36 +0000 (08:44 -0500)]
Fix typo

From-SVN: r230954

8 years ago[AArch64] Add support for ARMv8.1 Adv.SIMD instructions.
Matthew Wahab [Thu, 26 Nov 2015 13:39:20 +0000 (13:39 +0000)]
[AArch64] Add support for ARMv8.1 Adv.SIMD instructions.

* config/aarch64/aarch64.h (AARCH64_ISA_RDMA): New.
(TARGET_SIMD_RDMA): New.

From-SVN: r230953

8 years ago* configure: Regenerate.
David Edelsohn [Thu, 26 Nov 2015 13:27:21 +0000 (13:27 +0000)]
* configure: Regenerate.

From-SVN: r230950

8 years ago* configure: Regenerate.
David Edelsohn [Thu, 26 Nov 2015 13:24:19 +0000 (13:24 +0000)]
* configure: Regenerate.

From-SVN: r230949

8 years ago* libtool.m4 (export_symbols_cmds) [AIX]: Add global TLS "L" symbols.
David Edelsohn [Thu, 26 Nov 2015 13:20:59 +0000 (13:20 +0000)]
* libtool.m4 (export_symbols_cmds) [AIX]: Add global TLS "L" symbols.

From-SVN: r230948

8 years agore PR c++/67249 ([concepts] ICE parsing f(pair<auto, concept>))
Paolo Carlini [Thu, 26 Nov 2015 13:14:45 +0000 (13:14 +0000)]
re PR c++/67249 ([concepts] ICE parsing f(pair<auto, concept>))

2015-11-26  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/67249
* g++.dg/concepts/pr67249.C: New.

From-SVN: r230947

8 years ago[combine] Only restrict pure simplification in mult-extend subst case, allow other...
Kyrylo Tkachov [Thu, 26 Nov 2015 13:07:29 +0000 (13:07 +0000)]
[combine] Only restrict pure simplification in mult-extend subst case, allow other substitutions

* combine.c (subst): Do not return clobber of zero in widening mult
case.  Just return x unchanged if it is a no-op substitution.

From-SVN: r230946

8 years agore PR testsuite/66799 (gcc.dg/vect/pr20122.c FAILs)
Richard Biener [Thu, 26 Nov 2015 12:15:43 +0000 (12:15 +0000)]
re PR testsuite/66799 (gcc.dg/vect/pr20122.c FAILs)

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

PR testsuite/66799
* gcc.dg/vect/pr20122.c (main): Do not align Kernel, do not
vectorize init loop and adjust expected outcome.

From-SVN: r230943

8 years agore PR c++/68527 (ICE with -fdump-ada-spec on invalid C++ 11 code)
Eric Botcazou [Thu, 26 Nov 2015 12:04:50 +0000 (12:04 +0000)]
re PR c++/68527 (ICE with -fdump-ada-spec on invalid C++ 11 code)

PR c++/68527
* c-ada-spec.c (dump_nested_types): Add guard for error_mark_node.
(print_ada_struct_decl): Likewise.

From-SVN: r230942

8 years agore PR testsuite/67203 (FAIL: g++.dg/tree-ssa/pr61034.C -std=gnu++11 scan-tree-dump...
Richard Biener [Thu, 26 Nov 2015 11:53:13 +0000 (11:53 +0000)]
re PR testsuite/67203 (FAIL: g++.dg/tree-ssa/pr61034.C  -std=gnu++11  scan-tree-dump-times fre2 "free" 10)

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

PR testsuite/67203
* g++.dg/tree-ssa/pr61034.C: Make expected optimization result
dependent on PUSH_ARGS_REVERSED.  Drop optimization level and
also monitor final optimization result.

From-SVN: r230940

8 years agore PR rtl-optimization/68249 (wrong code at -O2 and -O3 on x86_64-linux-gnu)
Jakub Jelinek [Thu, 26 Nov 2015 11:52:11 +0000 (12:52 +0100)]
re PR rtl-optimization/68249 (wrong code at -O2 and -O3 on x86_64-linux-gnu)

PR rtl-optimization/68249
PR rtl-optimization/68321
* gcc.c-torture/execute/pr68249.c: New test.
* gcc.c-torture/execute/pr68321.c: New test.

From-SVN: r230939

8 years agore PR target/68416 ([MPX] GCC emits a lot of redundant bndmov instructions)
Ilya Enkovich [Thu, 26 Nov 2015 11:49:20 +0000 (11:49 +0000)]
re PR target/68416 ([MPX] GCC emits a lot of redundant bndmov instructions)

gcc/

2015-11-26  Vladimir Makarov  <vmakarov@redhat.com>

PR target/68416
* config/i386/i386.h (enum reg_class): Add
bounds registers to ALL_REGS.

gcc/testsuite/

2015-11-26  Ilya Enkovich  <enkovich.gnu@gmail.com>

PR target/68416
* gcc.target/i386/mpx/pr68416.c: New test.

From-SVN: r230938

8 years agoBack out latest change.
Eric Botcazou [Thu, 26 Nov 2015 11:17:20 +0000 (11:17 +0000)]
Back out latest change.

From-SVN: r230935

8 years agore PR c++/67313 (ICE: in vague_linkage_p, at cp/decl2.c:1878 with -fno-weak and varia...
Paolo Carlini [Thu, 26 Nov 2015 10:37:33 +0000 (10:37 +0000)]
re PR c++/67313 (ICE: in vague_linkage_p, at cp/decl2.c:1878 with -fno-weak and variadic template)

2015-11-26  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/67313
* g++.dg/cpp0x/no-weak1.C: New.

From-SVN: r230934

8 years agore PR tree-optimization/68128 (A huge regression in Parboil v2.5 OpenMP CUTCP test...
Jakub Jelinek [Thu, 26 Nov 2015 10:18:50 +0000 (11:18 +0100)]
re PR tree-optimization/68128 (A huge regression in Parboil v2.5 OpenMP CUTCP test (2.5 times lower performance))

PR tree-optimization/68128
* tree.h (OMP_CLAUSE_SHARED_READONLY): Define.
* gimplify.c: Include gimple-walk.h.
(enum gimplify_omp_var_data): Add GOVD_WRITTEN.
(omp_notice_variable): Set flags to n->value if n already
exists in target region, but we need to jump to do_outer.
(omp_shared_to_firstprivate_optimizable_decl_p,
omp_mark_stores, omp_find_stores_op, omp_find_stores_stmt): New
functions.
(gimplify_adjust_omp_clauses_1): Set OMP_CLAUSE_SHARED_READONLY
on OMP_CLAUSE_SHARED if it is a scalar non-addressable that is
not modified in the body.  Call omp_mark_stores for outer
contexts on OMP_CLAUSE_SHARED clauses if they could be written
in the body or on OMP_CLAUSE_LASTPRIVATE.
(gimplify_adjust_omp_clauses): Add body argument, call
omp_find_stores_{stmt,op} on the body through walk_gimple_seq.
Set OMP_CLAUSE_SHARED_READONLY
on OMP_CLAUSE_SHARED if it is a scalar non-addressable that is
not modified in the body.  Call omp_mark_stores for outer
contexts on OMP_CLAUSE_SHARED clauses if they could be written
in the body or on OMP_CLAUSE_LASTPRIVATE or on OMP_CLAUSE_LINEAR
without OMP_CLAUSE_LINEAR_NO_COPYOUT or on OMP_CLAUSE_REDUCTION.
(gimplify_oacc_cache, gimplify_omp_parallel, gimplify_omp_task,
gimplify_omp_for, gimplify_omp_workshare, gimplify_omp_target_update,
gimplify_expr): Adjust gimplify_adjust_omp_clauses callers.
* tree-nested.c (convert_nonlocal_omp_clauses,
convert_local_omp_clauses): Clear OMP_CLAUSE_SHARED_READONLY on
non-local vars or local vars referenced from nested routines.
* omp-low.c (scan_sharing_clauses): For OMP_CLAUSE_SHARED_READONLY
attempt to optimize it into OMP_CLAUSE_FIRSTPRIVATE.  Even for
TREE_READONLY, don't call use_pointer_for_field with non-NULL
second argument until we are sure we are keeping OMP_CLAUSE_SHARED.

* gcc.dg/gomp/pr68128-1.c: New test.
* gcc.dg/gomp/pr68128-2.c: New test.

From-SVN: r230932

8 years agoimplement-c.texi (Integers Implementation): Make GCC's promises about signed left...
Paolo Bonzini [Thu, 26 Nov 2015 10:16:56 +0000 (10:16 +0000)]
implement-c.texi (Integers Implementation): Make GCC's promises about signed left shift stronger and clarify the cases when...

2015-11-26  Paolo Bonzini <bonzini@gnu.org>

* doc/implement-c.texi (Integers Implementation): Make GCC's promises
about signed left shift stronger and clarify the cases when they're
broken.

From-SVN: r230931

8 years ago[calls.c] PR rtl-optimization/67226: Take into account pretend_args_size when checkin...
Kyrylo Tkachov [Thu, 26 Nov 2015 09:58:28 +0000 (09:58 +0000)]
[calls.c] PR rtl-optimization/67226: Take into account pretend_args_size when checking stack offsets for sibcall optimisation

2015-11-26  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
            Bernd Schmidt  <bschmidt@redhat.com>

PR rtl-optimization/67226
* calls.c (store_one_arg): Take into account
crtl->args.pretend_args_size when checking for overlap between
arg->value and argblock + arg->locate.offset during sibcall
optimization.

* gcc.c-torture/execute/pr67226.c: New test.

Co-Authored-By: Bernd Schmidt <bernds@redhat.com>
From-SVN: r230929

8 years agore PR c++/68508 (Internal compiler error with parentheses around return value in...
Jakub Jelinek [Thu, 26 Nov 2015 09:52:48 +0000 (10:52 +0100)]
re PR c++/68508 (Internal compiler error with parentheses around return value in C++14 with ASan enabled)

PR c++/68508
* cp-tree.h (cp_ubsan_maybe_instrument_downcast): Add INTYPE argument.
* cp-ubsan.c (cp_ubsan_maybe_instrument_downcast): Likewise.  Use
it instead of or in addition to TREE_TYPE (op).  Use
is_properly_derived_from, return NULL_TREE if TREE_TYPE (intype) and
TREE_TYPE (type) are the same type minus qualifiers.
* typeck.c (build_static_cast_1): Adjust callers.

* g++.dg/ubsan/pr68508.C: New test.

From-SVN: r230928

8 years ago[AArch64] Update patterns to support FP zero
Wilco Dijkstra [Thu, 26 Nov 2015 09:46:34 +0000 (09:46 +0000)]
[AArch64] Update patterns to support FP zero

2015-11-26  Wilco Dijkstra  <wdijkstr@arm.com>

* config/aarch64/aarch64.md (cbranch<mode>4): Use
aarch64_fp_compare_operand.
(store_pairsf): Use aarch64_reg_or_fp_zero.
(store_pairdf): Likewise.
(cstore<mode>4): Use aarch64_fp_compare_operand.
(cmov<mode>6): Likewise.
* config/aarch64/aarch64-ldpstp.md: Use aarch64_reg_or_fp_zero.

From-SVN: r230927

8 years ago* testsuite/libgomp.c/target-35.c: New test.
Jakub Jelinek [Thu, 26 Nov 2015 09:44:49 +0000 (10:44 +0100)]
* testsuite/libgomp.c/target-35.c: New test.

From-SVN: r230926

8 years agoPR c++/67876 - [6 Regression] ICE when compiling Firefox 38
Martin Sebor [Thu, 26 Nov 2015 01:52:04 +0000 (01:52 +0000)]
PR c++/67876 - [6 Regression] ICE when compiling Firefox 38

gcc/cp
* pt.c (convert_template_argument): Make sure number of tree
operands is greater than zero before attempting to extract one.

gcc/testsuite/
* g++.dg/pr67876.C: New test.

From-SVN: r230924

8 years agore PR go/61303 (gccgo: segfault, regression since 4.8.2)
Ian Lance Taylor [Thu, 26 Nov 2015 00:24:21 +0000 (00:24 +0000)]
re PR go/61303 (gccgo: segfault, regression since 4.8.2)

PR go/61303
    runtime: don't overallocate in select code

    If we've already allocated an fd_set, don't allocate another one.

    Also, don't bother to read from rdwake if it wasn't returned in select.

    Fixes https://gcc.gnu.org/PR61303.

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

From-SVN: r230922

8 years agoDaily bump.
GCC Administrator [Thu, 26 Nov 2015 00:16:12 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r230921

8 years agofix PR68453: recursively add phi nodes to merge points
Aditya Kumar [Thu, 26 Nov 2015 00:07:43 +0000 (00:07 +0000)]
fix PR68453: recursively add phi nodes to merge points

The patch adds close phi nodes to every outer loop exit, and to every loop
guard.  For loop guards it computes an initial value that determines where we
stop inserting phi nodes.  When the initial value is a constant, the initial
value is considered to be defined in the entry of the code gen region.

Co-Authored-By: Sebastian Pop <s.pop@samsung.com>
From-SVN: r230918

8 years agoPR c/66516 - missing diagnostic on taking the address of a builtin function
Martin Sebor [Wed, 25 Nov 2015 23:29:57 +0000 (23:29 +0000)]
PR c/66516 - missing diagnostic on taking the address of a builtin function

PR c/66516 - missing diagnostic on taking the address of a builtin function
* g++.dg/addr_builtin-1.C: New test (accidentally omitted from
initial commit).
* gcc.dg/addr_builtin-1.c: Same.

From-SVN: r230916

8 years agore PR lto/67548 (LTO drops weak binding with "ld -r")
Jan Hubicka [Wed, 25 Nov 2015 23:05:07 +0000 (00:05 +0100)]
re PR lto/67548 (LTO drops weak binding with "ld -r")

PR lto/67548
* lto-plugin.c (linker_output, linker_output_set): New statics.
(all_symbols_read_handler): Add -flinker-output option.
(onload): Record linker_output info.

* ipa-visibility.c (cgraph_externally_visible_p,
varpool_node::externally_visible_p): When doing incremental linking,
hidden symbols may be still used later.
(update_visibility_by_resolution_info): Do not drop weak during
incremental link.
(function_and_variable_visibility): Fix formating.
* flag-types.h (lto_linker_output): Declare.
* common.opt 9flag_incremental_link): New flag.

* lto-lang.c (lto_post_options): Process flag_lto_linker_output.
* lang.opt (lto_linker_output): New enum.
(flinker_output): New flag.

From-SVN: r230915

8 years agoupdate changelog
Michael Meissner [Wed, 25 Nov 2015 23:01:59 +0000 (23:01 +0000)]
update changelog

From-SVN: r230914

8 years ago<patch #10>
Michael Meissner [Wed, 25 Nov 2015 22:49:41 +0000 (22:49 +0000)]
<patch #10>

[gcc]
2015-11-25  Michael Meissner  <meissner@linux.vnet.ibm.com>

<patch #10>
* config/rs6000/constraints.md (wb constraint): New constraint for
ISA 3.0 d-form scalar addressing.

* config/rs6000/rs6000.c (mode_supports_vmx_dform): Add support
for ISA 3.0 D-form addressing to load SFmode/DFmode scalars into
Altivec registers.  Add wb constraint for Altivec registers with
D-form addressing.  If we have ISA 3.0 d-form support, undo
secondary reload support for using FPR registers if we want to do
D-form addressing.
(rs6000_debug_reg_global): Likewise.
(rs6000_setup_reg_addr_masks): Likewise.
(rs6000_init_hard_regno_mode_ok): Likewise.
(rs6000_secondary_reload): Likewise.
(rs6000_preferred_reload_class): Likewise.
(rs6000_secondary_reload_class): Likewise.

* config/rs6000/rs6000.h (enum r6000_reg_class_enum): Add wb
constraint.

* config/rs6000/rs6000.md (f32_lr2 mode attribute): Add support
for ISA 3.0 SFmode/DFmode d-form addressing to Altivec registers.
(f32_lm2): Likewise.
(f32_li2): Likewise.
(f32_sr2): Likewise.
(f32_sm2): Likewise.
(f32_si2): Likewise.
(f64_p9): Likewise.
(extendsfdf2_fpr): Likewise.
(mov<mode>_hardfloat): Likewise.
(mov<mode>_hardfloat32): Likewise.
(mov<mode>_hardfloat64): Likewise.

* doc/md.texi (RS/6000 constraints): Document wb constraint.
Fixup we constraint documentation.

[gcc/testsuite]
2015-11-25  Michael Meissner  <meissner@linux.vnet.ibm.com>

* gcc.target/powerpc/dform-1.c: New test.
* gcc.target/powerpc/dform-2.c: Likewise.

From-SVN: r230913

8 years agolto-symtab.c: Include alias.h
Jan Hubicka [Wed, 25 Nov 2015 22:22:37 +0000 (23:22 +0100)]
lto-symtab.c: Include alias.h

* lto-symtab.c: Include alias.h
(warn_type_compatibility_p): Replace types_compatible_p checks by
TBAA and size checks; set bit 2 if locations are TBAA incompatible.
(lto_symtab_merge): Compare DECL sizes.
(lto_symtab_merge_decls_2): Warn about TBAA in compatibility.
* gfortran.dg/lto/bind_c-6_0.f90: New testcase.
* gfortran.dg/lto/bind_c-6_1.c: New testcase.

From-SVN: r230911

8 years ago* g++.dg/init/self1.C: Remove dg-do run.
Jason Merrill [Wed, 25 Nov 2015 22:13:28 +0000 (17:13 -0500)]
* g++.dg/init/self1.C: Remove dg-do run.

From-SVN: r230910

8 years agore PR c++/68434 ([concepts] function tsubst sets TYPE_CANONICAL before setting a...
Ryan Burn [Wed, 25 Nov 2015 22:13:23 +0000 (22:13 +0000)]
re PR c++/68434 ([concepts] function tsubst sets TYPE_CANONICAL before setting a type's PLACEHOLDER_TYPE_CONSTRAINTS)

PR c++/68434

* pt.c (tsubst): Set PLACEHOLDER_TYPE_CONSTRAINTS before
calling canonical_type_parameter.

From-SVN: r230909

8 years agolambda.c (maybe_add_lambda_conv_op): Only set no_sanitize_undefined if SANITIZE_NULL.
Jason Merrill [Wed, 25 Nov 2015 21:34:00 +0000 (16:34 -0500)]
lambda.c (maybe_add_lambda_conv_op): Only set no_sanitize_undefined if SANITIZE_NULL.

* lambda.c (maybe_add_lambda_conv_op): Only set
no_sanitize_undefined if SANITIZE_NULL.

From-SVN: r230908

8 years agoAdd pass_oacc_kernels pass group in passes.def
Tom de Vries [Wed, 25 Nov 2015 21:26:37 +0000 (21:26 +0000)]
Add pass_oacc_kernels pass group in passes.def

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

* omp-low.c (pass_expand_omp_ssa::clone): New function.
* passes.def: Add pass_oacc_kernels pass group.
* tree-ssa-loop-ch.c (pass_ch::clone): New function.

* g++.dg/tree-ssa/copyprop-1.C: Update after adding new dce1.
* gcc.dg/pr23911.c: Same.
* gcc.dg/tree-ssa/20030709-2.c: Same.
* gcc.dg/tree-ssa/20030731-2.c: Same.
* gcc.dg/tree-ssa/20040729-1.c: Same.
* gcc.dg/tree-ssa/cfgcleanup-1.c: Same.
* gcc.dg/tree-ssa/loop-36.c: Same.
* gcc.dg/tree-ssa/pr21086.c: Same.
* gcc.dg/tree-ssa/ssa-dce-1.c: Same.
* gcc.dg/tree-ssa/ssa-dce-2.c: Same.
* gcc.dg/vect/pr26359.c: Same.
* c-c++-common/restrict-2.c: Update after adding new lim1.
* c-c++-common/restrict-4.c: Same.
* g++.dg/tree-ssa/pr33615.C: Same.
* g++.dg/tree-ssa/restrict1.C: Same.
* gcc.dg/tm/pub-safety-1.c: Same.
* gcc.dg/tm/reg-promotion.c: Same.
* gcc.dg/tree-ssa/20050314-1.c: Same.
* gcc.dg/tree-ssa/loop-32.c: Same.
* gcc.dg/tree-ssa/loop-33.c: Same.
* gcc.dg/tree-ssa/loop-34.c: Same.
* gcc.dg/tree-ssa/loop-35.c: Same.
* gcc.dg/tree-ssa/loop-7.c: Same.
* gcc.dg/tree-ssa/pr23109.c: Same.
* gcc.dg/tree-ssa/restrict-3.c: Same.
* gcc.dg/tree-ssa/restrict-5.c: Same.
* gcc.dg/tree-ssa/ssa-lim-1.c: Same.
* gcc.dg/tree-ssa/ssa-lim-10.c: Same.
* gcc.dg/tree-ssa/ssa-lim-11.c: Same.
* gcc.dg/tree-ssa/ssa-lim-12.c: Same.
* gcc.dg/tree-ssa/ssa-lim-2.c: Same.
* gcc.dg/tree-ssa/ssa-lim-3.c: Same.
* gcc.dg/tree-ssa/ssa-lim-6.c: Same.
* gcc.dg/tree-ssa/ssa-lim-7.c: Same.
* gcc.dg/tree-ssa/ssa-lim-8.c: Same.
* gcc.dg/tree-ssa/ssa-lim-9.c: Same.
* gcc.dg/tree-ssa/structopt-1.c: Same.
* gfortran.dg/pr32921.f: Same.
* g++.dg/tree-ssa/pr19637.C: Update after adding new dom1.
* g++.dg/tree-ssa/pr61009.C: Same.
* g++.dg/tree-ssa/ssa-dom.C: Same.
* gcc.dg/pr20115-1.c: Same.
* gcc.dg/tree-prof/20050826-2.c: Same.
* gcc.dg/tree-prof/cmpsf-1.c: Same.
* gcc.dg/tree-ssa/20030821-1.c: Same.
* gcc.dg/tree-ssa/20030922-2.c: Same.
* gcc.dg/tree-ssa/20031022-1.c: Same.
* gcc.dg/tree-ssa/20040615-1.c: Same.
* gcc.dg/tree-ssa/20040624-1.c: Same.
* gcc.dg/tree-ssa/pr21417.c: Same.
* gcc.dg/tree-ssa/pr61607.c: Same.
* gcc.dg/tree-ssa/slsr-27.c: Same.
* gcc.dg/tree-ssa/slsr-28.c: Same.
* gcc.dg/tree-ssa/slsr-29.c: Same.
* gcc.dg/tree-ssa/ssa-dom-branch-1.c: Same.
* gcc.dg/tree-ssa/ssa-dom-cse-3.c: Same.
* gcc.dg/tree-ssa/ssa-dom-thread-1.c: Same.
* gcc.dg/tree-ssa/ssa-dom-thread-2a.c: Same.
* gcc.dg/tree-ssa/ssa-dom-thread-2b.c: Same.
* gcc.dg/tree-ssa/ssa-dom-thread-2c.c: Same.
* gcc.dg/tree-ssa/ssa-dom-thread-2d.c: Same.
* gcc.dg/tree-ssa/ssa-dom-thread-2e.c: Same.
* gcc.dg/tree-ssa/ssa-dom-thread-2f.c: Same.
* gcc.dg/tree-ssa/ssa-dom-thread-4.c: Same.
* gcc.dg/tree-ssa/ssa-dom-thread-5.c: Same.
* gcc.dg/tree-ssa/ssa-dom-thread-6.c: Same.
* gcc.dg/tree-ssa/ssa-dom-thread-7.c: Same.
* gcc.dg/tree-ssa/ssa-thread-12.c: Same.
* gcc.dg/tree-ssa/vrp47.c: Same.
* gcc.dg/tree-ssa/copy-headers.c: Update after adding ch1.
* gcc.dg/tree-ssa/foldconst-2.c: Same.
* gcc.dg/tree-ssa/loop-40.c: Same.
* gcc.dg/gomp/notify-new-function-3.c: Update after adding ompexpssa1.

From-SVN: r230907

8 years agoAdd pass_oacc_kernels
Tom de Vries [Wed, 25 Nov 2015 21:26:24 +0000 (21:26 +0000)]
Add pass_oacc_kernels

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

* tree-pass.h (make_pass_oacc_kernels, make_pass_oacc_kernels2):
Declare.
* tree-ssa-loop.c (gate_oacc_kernels): New static function.
(pass_data_oacc_kernels, pass_data_oacc_kernels2): New pass_data.
(class pass_oacc_kernels, class pass_oacc_kernels2): New pass.
(make_pass_oacc_kernels, make_pass_oacc_kernels2): New function.

From-SVN: r230906

8 years agoconstexpr-array13.C: Fix.
Paolo Carlini [Wed, 25 Nov 2015 20:46:25 +0000 (20:46 +0000)]
constexpr-array13.C: Fix.

2015-11-25  Paolo Carlini  <paolo.carlini@oracle.com>

* g++.dg/cpp0x/constexpr-array13.C: Fix.

From-SVN: r230903

8 years agotimevar.def (TV_IPA_LTO_DECOMPRESS, [...]): New.
Jan Hubicka [Wed, 25 Nov 2015 20:00:47 +0000 (21:00 +0100)]
timevar.def (TV_IPA_LTO_DECOMPRESS, [...]): New.

* timevar.def (TV_IPA_LTO_DECOMPRESS, TV_IPA_LTO_COMPRESS,
TV_IPA_LTO_OUTPUT): New.
* lto-compress.c: Include timevar.h
(lto_end_compression, lto_end_uncompression): Add timers.
* langhooks.c: Include timevar.h
(lhd_append_data): Add timer.

From-SVN: r230902

8 years ago* gfortran.dg/nint_p7.f90: New testcase.
David Edelsohn [Wed, 25 Nov 2015 19:39:19 +0000 (19:39 +0000)]
* gfortran.dg/nint_p7.f90: New testcase.

From-SVN: r230898

8 years agore PR sanitizer/67941 (calls on function pointer from a captureless lambda cause...
Jason Merrill [Wed, 25 Nov 2015 18:58:11 +0000 (13:58 -0500)]
re PR sanitizer/67941 (calls on function pointer from a captureless lambda cause ubsan warning)

PR c++/67941
* lambda.c (maybe_add_lambda_conv_op): Mark _FUN as
no_sanitize_undefined.

From-SVN: r230897

8 years agocp-ubsan.c (cp_ubsan_instrument_vptr_p): Use do_ubsan_in_current_function.
Jason Merrill [Wed, 25 Nov 2015 18:58:06 +0000 (13:58 -0500)]
cp-ubsan.c (cp_ubsan_instrument_vptr_p): Use do_ubsan_in_current_function.

* cp-ubsan.c (cp_ubsan_instrument_vptr_p): Use
do_ubsan_in_current_function.

From-SVN: r230896

8 years agovarasm.c (default_elf_asm_output_limited_string, [...]): Replace fprintf by putc.
Jan Hubicka [Wed, 25 Nov 2015 18:12:51 +0000 (19:12 +0100)]
varasm.c (default_elf_asm_output_limited_string, [...]): Replace fprintf by putc.

* varasm.c (default_elf_asm_output_limited_string,
default_elf_asm_output_ascii): Replace fprintf by putc.

From-SVN: r230895

8 years agore PR rtl-optimization/67954 (internal compiler error: in patch_jump_insn, at cfgrtl...
Vladimir Makarov [Wed, 25 Nov 2015 17:58:35 +0000 (17:58 +0000)]
re PR rtl-optimization/67954 (internal compiler error: in patch_jump_insn, at cfgrtl.c:1303)

2015-11-25  Vladimir Makarov  <vmakarov@redhat.com>

PR rtl-optimization/67954
* lra-constraints.c (curr_insn_transform): Add check on scratch
pseudo when change class to NO_REGS.  Add an assert.

From-SVN: r230894

8 years agonvptx.md (load_arg_reg<mode>): Arg number constraint is 'n'.
Nathan Sidwell [Wed, 25 Nov 2015 17:33:30 +0000 (17:33 +0000)]
nvptx.md (load_arg_reg<mode>): Arg number constraint is 'n'.

* config/nvptx/nvptx.md (load_arg_reg<mode>): Arg number
constraint is 'n'.
* config/nvptx/nvptx.c (write_one_arg): Use 'i' directly as arg
number.
(nvptx_write_function_decl): Number args from 0.
(nvptx_declare_function_name): Likewise.
(nvptx_function_incoming_arg): Likewise.
(nvptx_output_call_insn): Correct formatting.

From-SVN: r230889

8 years agooptabs.def: Add new optabs fmax_optab/fmin_optab.
David Sherwood [Wed, 25 Nov 2015 17:12:28 +0000 (17:12 +0000)]
optabs.def: Add new optabs fmax_optab/fmin_optab.

2015-11-25  David Sherwood  <david.sherwood@arm.com>

        * optabs.def: Add new optabs fmax_optab/fmin_optab.
        * internal-fn.def: Add new fmax/fmin internal functions.
        * doc/md.texi: Add fmin and fmax patterns.

From-SVN: r230888

8 years agore PR c++/68087 (ICE with constexpr in array with negative index)
Markus Trippelsdorf [Wed, 25 Nov 2015 16:40:16 +0000 (16:40 +0000)]
re PR c++/68087 (ICE with constexpr in array with negative index)

/cp
2015-11-25  Markus Trippelsdorf  <markus@trippelsdorf.de>
    Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/68087
* constexpr.c (cxx_eval_array_reference): Use tree_fits_shwi_p before
tree_to_shwi to avoid ICEs.

/testsuite
2015-11-25  Markus Trippelsdorf  <markus@trippelsdorf.de>
    Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/68087
* g++.dg/cpp0x/constexpr-array13.C: New.

Co-Authored-By: Paolo Carlini <paolo.carlini@oracle.com>
From-SVN: r230886

8 years ago[multiple changes]
Arnaud Charlet [Wed, 25 Nov 2015 15:30:09 +0000 (16:30 +0100)]
[multiple changes]

2015-11-25  Eric Botcazou  <ebotcazou@adacore.com>

* gnatlink.adb (Gnatlink): Do not reinstate -fsjlj for the linker
from the switches saved in the ALI file but from the exception
settings.

2015-11-25  Arnaud Charlet  <charlet@adacore.com>

* lib-xref-spark_specific.adb
(Add_SPARK_Scope): Take entry families into account.
* a-exetim.ads, a-exetim-default.ads, a-exetim-mingw.ads (Clock,
Clock_For_Interrupts): preconditions added.
* a-extiin.ads (Clock): preconditions added.
* par-ch3.adb (P_Declarative_Items): In case of misplaced
aspect specifications, ensure that flag Done is properly set to
continue parsing.

From-SVN: r230879

8 years ago[multiple changes]
Arnaud Charlet [Wed, 25 Nov 2015 15:16:44 +0000 (16:16 +0100)]
[multiple changes]

2015-11-25  Arnaud Charlet  <charlet@adacore.com>

* exp_util.adb (Remove_Side_Effects): Minimize extra temporaries
and use of 'Reference when needed.

2015-11-25  Doug Rupp  <rupp@adacore.com>

* sigtramp-vxworks-target.inc (__x86_64__): Restore context for the
sake of uniformity.
* init.c (__gnat_inum_to_ivec): Add some casting to avoid
warnings when sizeof(long) != sizeof(int)

2015-11-25  Yannick Moy  <moy@adacore.com>

* lib-xref-spark_specific.adb (SPARK_Entities): Add entries for
consideration.
(Add_SPARK_Scope): Take tasks into account.
(Detect_And_Add_SPARK_Scope): Take tasks into account.
(Enclosing_Subprogram_Or_Library_Package): Take tasks into account.

From-SVN: r230878

8 years ago[multiple changes]
Arnaud Charlet [Wed, 25 Nov 2015 15:14:27 +0000 (16:14 +0100)]
[multiple changes]

2015-11-25  Bob Duff  <duff@adacore.com>

* sem_elab.adb (Check_Internal_Call_Continue): Code clean ups.

2015-11-25  Eric Botcazou  <ebotcazou@adacore.com>

* sem_util.ads (Has_Compatible_Alignment): Add Layout_Done
parameter.
* sem_util.adb (Has_Compatible_Alignment): Likewise.
(Has_Compatible_Alignment_Internal): Likewise. Do not set the
result to Unknown for packed types if Layout_Done is true.
* checks.adb (Apply_Address_Clause_Check): Adjust call and
pass False to Has_Compatible_Alignment.
* sem_ch13.adb (Validate_Address_Clauses): Likewise but pass True.

From-SVN: r230877

8 years ago[multiple changes]
Arnaud Charlet [Wed, 25 Nov 2015 15:10:52 +0000 (16:10 +0100)]
[multiple changes]

2015-11-25  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb: When <target>-gnat is called with switch -P
and a GPR tool is invoked, invoke the GPR tool with switch
--target=<target>.

2015-11-25  Hristian Kirtchev  <kirtchev@adacore.com>

* opt.adb, bcheck.adb: Minor reformatting.

From-SVN: r230876

8 years ago[multiple changes]
Arnaud Charlet [Wed, 25 Nov 2015 15:09:38 +0000 (16:09 +0100)]
[multiple changes]

2015-11-25  Jerome Lambourg  <lambourg@adacore.com>

* init.c: Enable the signal trampoline on x86_64-vx7
* sigtramp-vxworks-target.inc: Implement the signal trampoline
for x86_64
* tracebak.c: Remove the hook to use the generic
unwinder on x86_64-vx7.

2015-11-25  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb: When "gnat name -P" is called, invoke gprname
directly if available.

From-SVN: r230875

8 years agoinit.c (__gnat_is_stack_guard): Do not use mach calls for IOS simulator.
Tristan Gingold [Wed, 25 Nov 2015 15:07:12 +0000 (15:07 +0000)]
init.c (__gnat_is_stack_guard): Do not use mach calls for IOS simulator.

2015-11-25  Tristan Gingold  <gingold@adacore.com>

* init.c (__gnat_is_stack_guard): Do not use mach calls for
IOS simulator.

From-SVN: r230874

8 years agore PR fortran/68227 (ICE on using variable limit in forall header (gfc_do_allocate))
Steven G. Kargl [Wed, 25 Nov 2015 15:04:33 +0000 (15:04 +0000)]
re PR fortran/68227 (ICE on using variable limit in forall header (gfc_do_allocate))

2015-11-25  Steven G. Kargl  <kargl@gcc.gnu.org>

    PR fortran/68227
    * trans-stmt.c (gfc_do_allocate): Convert gcc_assert argument into
    into part of conditional statement.

From-SVN: r230873

8 years agore PR fortran/63858 (fixed form OpenACC directive ICE with -fopenacc -fopenmp)
Ilmir Usmanov [Wed, 25 Nov 2015 14:37:36 +0000 (14:37 +0000)]
re PR fortran/63858 (fixed form OpenACC directive ICE with -fopenacc -fopenmp)

PR fortran/63858

gcc/fortran/
* scanner.c (skip_oacc_attribute): Remove continue_flag parameter.
Rename as ...
(skip_free_oacc_sentinel): ... this.
(skip_omp_attribute): Remove continue_flag parameter. Rename as ...
(skip_free_omp_sentinel): ... this.
(skip_free_comments): Update to call skip_free_oacc_sentinel and
skip_free_omp_sentinel.
(skip_fixed_omp_sentinel): New function.
(skip_fixed_oacc_sentinel): New function.
(skip_fixed_comments): Fix mix of OpenACC and OpenMP sentinels in
continuation.

gcc/testsuite/
* goacc/omp-fixed.f: New test.
* goacc/omp.f95: Add check for mis-matched omp and acc continuations.

Co-Authored-By: Cesar Philippidis <cesar@codesourcery.com>
From-SVN: r230872

8 years agore PR c++/68385 (ICE building libstdc++ on arm-none-eabi)
Jason Merrill [Wed, 25 Nov 2015 14:35:24 +0000 (09:35 -0500)]
re PR c++/68385 (ICE building libstdc++ on arm-none-eabi)

PR c++/68385

* tree.c (integer_zerop, integer_onep, integer_each_onep)
(integer_all_onesp, integer_minus_onep, integer_pow2p)
(integer_nonzerop, integer_truep, tree_log2, tree_floor_log2)
(real_zerop, real_onep, real_minus_onep): Remove STRIP_NOPS.

From-SVN: r230871

8 years agore PR middle-end/68528 ([5 Only] Wrong constant folding)
Richard Biener [Wed, 25 Nov 2015 14:21:25 +0000 (14:21 +0000)]
re PR middle-end/68528 ([5 Only] Wrong constant folding)

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

PR middle-end/68528
* fold-const.c (fold_binary_loc): Do not call negate_expr_p
on stripped operands.

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

From-SVN: r230870

8 years agonvptx.c (walk_args_for_params): Delete.
Nathan Sidwell [Wed, 25 Nov 2015 14:03:44 +0000 (14:03 +0000)]
nvptx.c (walk_args_for_params): Delete.

* config/nvptx/nvptx.c (walk_args_for_params): Delete.
(nvptx_declare_function_name): Move assignments next to register
declarations, and process params here.

From-SVN: r230869

8 years agoImprove tests for valid values of iostream bitmask types
Jonathan Wakely [Wed, 25 Nov 2015 13:49:06 +0000 (13:49 +0000)]
Improve tests for valid values of iostream bitmask types

* testsuite/27_io/ios_base/types/fmtflags/case_label.cc: Explicitly
check minimum and maximum values, and size of underlying type.
* testsuite/27_io/ios_base/types/iostate/case_label.cc: Likewise.
* testsuite/27_io/ios_base/types/openmode/case_label.cc: Likewise.

From-SVN: r230868

8 years agors6000.c (rs6000_declare_alias): Rename and globalize both the symbol and the "dot...
David Edelsohn [Wed, 25 Nov 2015 12:52:50 +0000 (12:52 +0000)]
rs6000.c (rs6000_declare_alias): Rename and globalize both the symbol and the "dot" symbol for function descriptors.

* config/rs6000/rs6000.c (rs6000_declare_alias): Rename and globalize
both the symbol and the "dot" symbol for function descriptors.  Fix
inversion for rename of symbols with dollar sign.

From-SVN: r230867

8 years agoImprove verification of loop->latch in verify_loop_structure
Tom de Vries [Wed, 25 Nov 2015 11:28:49 +0000 (11:28 +0000)]
Improve verification of loop->latch in verify_loop_structure

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

* cfgloop.c (find_single_latch): New function, factored out of ...
(flow_loops_find): ... here.
(verify_loop_structure): Improve verification of loop->latch.
* cfgloop.h (find_single_latch): Declare.
* omp-low.c (expand_omp_for_generic): Initialize latch of orig_loop.

From-SVN: r230866

8 years agoPort libvtv to Solaris
Rainer Orth [Wed, 25 Nov 2015 10:30:25 +0000 (10:30 +0000)]
Port libvtv to Solaris

libstdc++-v3:
* acinclude.m4 (GLIBCXX_ENABLE_VTABLE_VERIFY) <solaris2*>: Use
-Wl,-R in VTV_CXXLINKFLAGS.
* configure: Regenerate.

* testsuite/18_support/bad_exception/23591_thread-1.c: Use
-fvtable-verify=none on Solaris 12+.

libgcc:
* Makefile.in (VTV_CFLAGS): New variable.
(vtv_start$(objext), vtv_end$(objext), vtv_end$(objext))
(vtv_start_preinit$(objext), vtv_end_preinit$(objext)): Use it.
* config.host (*-*-solaris2*): Add t-crtstuff-pic to tmake_file.
Add vtv_start.o, vtv_end.o, vtv_start_preinit.o, vtv_end_preinit.o
to extra_parts if $enable_vtable_verify = yes.

libvtv:
* configure.tgt (*-*-solaris2.[1-9]*): Declare supported.
* configure.ac: Call AC_USE_SYSTEM_EXTENSIONS.
<*-*-solaris2*>: Check for init priority support.
Check for getexecname, __fortify_fail, _obstack_begin.
(VTV_NO_OBSTACK): New conditional.
* configure: Regenerate.
* Makefile.am [VTV_NO_OBSTACK] (obstack.c): Use new condition.
Create empty config.h
* Makefile.in: Regenerate.

* vtv_rts.cc [HAVE_GETEXECNAME] (program_invocation_name): New
variable.
(read_section_offset_and_length) [HAVE_GETEXECNAME]: Set it.
(dl_iterate_phdr_callback) [HAVE_GETEXECNAME]: Set it.

(__fortify_fail): Wrap in HAVE___FORTIFY_FAIL
[!HAVE___FORTIFY_FAIL]: Provide non-Cygwin implementation.

(read_section_offset_and_length): Assert sh_size >= VTV_PAGE_SIZE.
(iterate_modules): Fix typo.
Use VTV_PAGE_SIZE.
(dl_iterate_phdr_callback): Fix typo.
Use VTV_PAGE_SIZE.
(__VLTChangePermission): Fix typos.

include:
* vtv-change-permission.h (VTV_PAGE_SIZE) [__sun__ && __svr4__ &&
__sparc__]: Define.

gcc:
* config/sol2.h (SUPPORTS_INIT_PRIORITY): Move up.
(STARTFILE_VTV_SPEC, ENDFILE_VTV_SPEC): Define.
(STARTFILE_SPEC): Use %(startfile_vtv).
(ENDFILE_SPEC): Use %(endfile_vtv).
(SUBTARGET_EXTRA_SPECS): Handle STARTFILE_VTV_SPEC,
ENDFILE_VTV_SPEC.

* gcc.c (LINK_COMMAND_SPEC): Move VTABLE_VERIFICATION_SPEC after %{L*}.

From-SVN: r230865

8 years agoRemove broken ifcvt code for speculating memory writes
Bernd Schmidt [Wed, 25 Nov 2015 10:23:28 +0000 (10:23 +0000)]
Remove broken ifcvt code for speculating memory writes

* ifcvt.c (noce_mem_write_may_trap_or_fault_p,
noce_can_store_speculate): Delete.
(noce_process_if_block): Don't try to handle single MEM stores.
* rtl.h (memory_must_be_modified_in_insn_p): Don't declare.
* alias.c (memory_must_be_modified_in_insn_p): Delete.

From-SVN: r230864

8 years agore PR c++/58910 (std::Tuple_impl is non constexpr when using identical userdefined...
Paolo Carlini [Wed, 25 Nov 2015 10:00:02 +0000 (10:00 +0000)]
re PR c++/58910 (std::Tuple_impl is non constexpr when using identical userdefined structs as template-args)

2015-11-25  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/58910
* g++.dg/cpp0x/constexpr-tuple2.C: New.

From-SVN: r230860

8 years ago[RTL-ifcvt] PR rtl-optimization/68435 Allow (c ? x++ : x--) form
Kyrylo Tkachov [Wed, 25 Nov 2015 09:48:29 +0000 (09:48 +0000)]
[RTL-ifcvt] PR rtl-optimization/68435 Allow (c ? x++ : x--) form

PR rtl-optimization/68435
* ifcvt.c (noce_try_cmove_arith): Skip final insn when checking
for conflicts between a, b and the set destinations.

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

From-SVN: r230859

8 years agore PR tree-optimization/68517 (ICE in tree-vect-data-refs.c:2751)
Richard Biener [Wed, 25 Nov 2015 09:22:47 +0000 (09:22 +0000)]
re PR tree-optimization/68517 (ICE in tree-vect-data-refs.c:2751)

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

PR tree-optimization/68517
* tree-vect-data-refs.c (vect_analyze_data_ref_accesses):
Properly handle zero-sized types.

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

From-SVN: r230858

8 years agoipa-inline-analysis.c: Include gimplify.h (set_cond_stmt_execution_predicate...
Jan Hubicka [Wed, 25 Nov 2015 09:08:20 +0000 (10:08 +0100)]
ipa-inline-analysis.c: Include gimplify.h (set_cond_stmt_execution_predicate...

* ipa-inline-analysis.c: Include gimplify.h
(set_cond_stmt_execution_predicate,
set_switch_stmt_execution_predicate): Be sure to not leak locations
to function body.

From-SVN: r230857

8 years agore PR target/67089 (Integer overflow checks not optimized on x86/x86_64)
Jakub Jelinek [Wed, 25 Nov 2015 08:58:32 +0000 (09:58 +0100)]
re PR target/67089 (Integer overflow checks not optimized on x86/x86_64)

PR target/67089
* tree-ssa-math-opts.c (uaddsub_overflow_check_p,
match_uaddsub_overflow): New functions.
(pass_optimize_widening_mul::execute): Call match_uaddsub_overflow.

* gcc.dg/pr67089-1.c: New test.
* gcc.dg/pr67089-2.c: New test.
* gcc.dg/pr67089-3.c: New test.
* gcc.dg/pr67089-4.c: New test.
* gcc.dg/pr67089-5.c: New test.
* gcc.dg/pr67089-6.c: New test.
* gcc.dg/pr67089-7.c: New test.

From-SVN: r230856

8 years agore PR tree-optimization/68492 (internal compiler error: in vect_is_simple_use, at...
Richard Biener [Wed, 25 Nov 2015 08:53:22 +0000 (08:53 +0000)]
re PR tree-optimization/68492 (internal compiler error: in vect_is_simple_use, at tree-vect-stmts.c:8266)

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

PR tree-optimization/68492
* tree-vect-slp.c (vect_build_slp_tree): Consistently build up
op from scalars after operand swapping.

From-SVN: r230855

8 years agore PR tree-optimization/68502 ([i686] spec2000/179.art runfails after r222914)
Richard Biener [Wed, 25 Nov 2015 08:46:34 +0000 (08:46 +0000)]
re PR tree-optimization/68502 ([i686] spec2000/179.art runfails after r222914)

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

PR tree-optimization/68502
* tree-vect-data-refs.c (vect_analyze_group_access_1): Restore
check that the step is a multiple of the type size.

* gcc.dg/vect/pr68502-1.c: New testcase.
* gcc.dg/vect/pr68502-2.c: Likewise.

From-SVN: r230854

8 years ago2015-11-24 Michael Collison <michael.collison@linaro.org>
Michael Collison [Wed, 25 Nov 2015 06:51:55 +0000 (06:51 +0000)]
2015-11-24  Michael Collison  <michael.collison@linaro.org>

* config/aarch64/aarch64-simd.md (widen_ssum, widen_usum)
(aarch64_<ANY_EXTEND:su><ADDSUB:optab>w<mode>_internal): New patterns
* config/aarch64/iterators.md (Vhalf, VDBLW): New mode attributes.
* gcc.target/aarch64/saddw-1.c: New test.
* gcc.target/aarch64/saddw-2.c: New test.
* gcc.target/aarch64/uaddw-1.c: New test.
* gcc.target/aarch64/uaddw-2.c: New test.
* gcc.target/aarch64/uaddw-3.c: New test.
* lib/target-support.exp
(check_effective_target_vect_widen_sum_hi_to_si_pattern):
Add aarch64 to list of support targets.

From-SVN: r230853

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

From-SVN: r230850

8 years agoFix typos from last checkin.
Steve Ellcey [Tue, 24 Nov 2015 22:12:25 +0000 (22:12 +0000)]
Fix typos from last checkin.

From-SVN: r230847

8 years agoframe-header-4.c: New test.
Steve Ellcey [Tue, 24 Nov 2015 22:11:27 +0000 (22:11 +0000)]
frame-header-4.c: New test.

2015-11-24  Steve Ellcey  <sellcey@imgtec.com>

* gcc.target/mips/frame-header-4.c: New test.

From-SVN: r230846

8 years agoframe-header-opt.c (gate): Check for optimize > 0.
Steve Ellcey [Tue, 24 Nov 2015 22:09:17 +0000 (22:09 +0000)]
frame-header-opt.c (gate): Check for optimize > 0.

2015-11-24  Steve Ellcey  <sellcey@imgtec.com>

* frame-header-opt.c (gate): Check for optimize > 0.
(has_inlined_assembly): New function.
(needs_frame_header_p): Remove is_leaf_function check,
add argument type check.
(callees_functions_use_frame_header): Add is_leaf_function
and has_inlined_assembly calls..
(set_callers_may_not_allocate_frame): New function.
(frame_header_opt): Add is_leaf_function call, add
set_callers_may_not_allocate_frame call.
* config/mips/mips.c (mips_compute_frame_info): Add check
to see if callee saved regs can be put in frame header.
(mips_expand_prologue): Add check to see if step1 is zero,
fix cfa restores when using frame header to store regs.
(mips_can_use_return_insn): Check to see if registers are
stored in frame header.
* config/mips/mips.h (machine_function): Add
callers_may_not_allocate_frame and
use_frame_header_for_callee_saved_regs fields.

From-SVN: r230845

8 years agoshrink-wrap: Fix thinko (PR68520)
Segher Boessenkool [Tue, 24 Nov 2015 21:23:25 +0000 (22:23 +0100)]
shrink-wrap: Fix thinko (PR68520)

Part of the shrink-wrapping algorithm has this comment:

  /* Now see if we can put the prologue at the start of PRO.  Putting it
     there might require duplicating a block that cannot be duplicated,
     or in some cases we cannot insert the prologue there at all.  If PRO
     wont't do, try again with the immediate dominator of PRO, and so on.

     The blocks that need duplicating are those reachable from PRO but
     not dominated by it.  We keep in BB_WITH a bitmap of the blocks
     reachable from PRO that we already found, and in VEC a stack of
     those we still need to consider (to find successors).  */

Two of the cases that push to that stack do not actually check the
bitmap first.  Either I thought those blocks could not be on the stack
already, or more likely I didn't think and it just didn't crash during
any testing.  But of course those blocks *can* already be on the stack
(if you have a hideous loop structure), and then we end up with the
same block on the stack more than once.  This is harmless, except that
(like in the PR) this can overflow the stack.

This fixes it, by doing the necessary bitmap checks before pushing.

PR rtl-optimization/68520
* shrink-wrap.c (try_shrink_wrapping): Don't push a block to VEC if
its bit was already set in BB_WITH.

From-SVN: r230843