platform/upstream/gcc.git
9 years agoAVX-512. 72/n. Extend VI itterator.
Alexander Ivchenko [Tue, 14 Oct 2014 08:49:23 +0000 (08:49 +0000)]
AVX-512. 72/n.  Extend VI itterator.

gcc/
* config/i386/i386.c
(ix86_expand_vector_logical_operator): Handle V16SF and V8DF modes.
* config/i386/sse.md
(define_mode_iterator VI): Add V64QI and V32HI modes.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216190

9 years agoAVX-512. 71/n. Remove redudant iterator attribute.
Alexander Ivchenko [Tue, 14 Oct 2014 08:47:55 +0000 (08:47 +0000)]
AVX-512. 71/n. Remove redudant iterator attribute.

gcc/
* config/i386/sse.md (define_mode_attr avx2_avx512f): Remove.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216189

9 years agotypedefs.cc: Rename to alias_decl.cc.
Paolo Carlini [Tue, 14 Oct 2014 08:45:38 +0000 (08:45 +0000)]
typedefs.cc: Rename to alias_decl.cc.

2014-10-14  Paolo Carlini  <paolo.carlini@oracle.com>

* testsuite/20_util/add_lvalue_reference/requirements/typedefs.cc:
Rename to alias_decl.cc.
* testsuite/20_util/add_rvalue_reference/requirements/typedefs.cc:
Likewise.
* testsuite/20_util/common_type/requirements/typedefs-3.cc: Likewise.
* testsuite/20_util/conditional/requirements/typedefs-2.cc: Likewise.
* testsuite/20_util/decay/requirements/typedefs-2.cc: Likewise.
* testsuite/20_util/enable_if/requirements/typedefs-2.cc: Likewise.
* testsuite/20_util/make_signed/requirements/typedefs-3.cc: Likewise.
* testsuite/20_util/make_unsigned/requirements/typedefs-3.cc:
Likewise.
* testsuite/20_util/remove_reference/requirements/typedefs.cc:
Likewise.
* testsuite/20_util/result_of/requirements/typedefs.cc: Likewise.
* testsuite/20_util/underlying_type/requirements/typedefs-3.cc:
Likewise.

From-SVN: r216188

9 years agoAVX-512. 70/n. Add vpmaxmin.
Alexander Ivchenko [Tue, 14 Oct 2014 08:45:17 +0000 (08:45 +0000)]
AVX-512. 70/n. Add vpmaxmin.

gcc/
* config/i386/sse.md
(define_insn "*sse4_1_<code><mode>3<mask_name>"): Add masking.
(define_insn "*sse4_1_<code><mode>3<mask_name>"): Ditto.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216187

9 years agoAVX-512. 69/n. Add vpmulhrsw insn support.
Alexander Ivchenko [Tue, 14 Oct 2014 08:42:02 +0000 (08:42 +0000)]
AVX-512. 69/n. Add vpmulhrsw insn support.

gcc/
        * config/i386/sse.md
        (define_insn "avx512bw_umulhrswv32hi3<mask_name>"): New.
        (define_expand "<ssse3_avx2>_pmulhrsw<mode>3_mask"): Ditto.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216186

9 years agoAVX-512. 68/n. Add vpmullw, vpacksdw, pmaddwd insn.
Alexander Ivchenko [Tue, 14 Oct 2014 08:40:34 +0000 (08:40 +0000)]
AVX-512. 68/n.  Add vpmullw, vpacksdw, pmaddwd insn.

gcc/
* config/i386/sse.md
(define_c_enum "unspec"): Add UNSPEC_PMADDWD512.
(define_mode_iterator VI2_AVX2): Add V32HI mode.
(define_expand "mul<mode>3<mask_name>"): Add masking.
(define_insn "*mul<mode>3<mask_name>"): Ditto.
(define_expand "<s>mul<mode>3_highpart<mask_name>"): Ditto.
(define_insn "*<s>mul<mode>3_highpart<mask_name>"): Ditto.
(define_insn "avx512bw_pmaddwd512<mode><mask_name>"): New.
(define_mode_attr SDOT_PMADD_SUF): Ditto.
(define_expand "sdot_prod<mode>"): Add <SDOT_PMADD_SUF>.
(define_insn "<sse2_avx2>_packssdw<mask_name>"): Add masking.
(define_insn "*<ssse3_avx2>_pmulhrsw<mode>3<mask_name>"): Ditto.
(define_insn "avx2_packusdw"): Delete.
(define_insn "sse4_1_packusdw"): Ditto.
(define_insn "<sse4_1_avx2>_packusdw<mask_name>"): New.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216185

9 years agoAVX-512. 67/n. Update constraints in vec_dup insn.
Alexander Ivchenko [Tue, 14 Oct 2014 08:38:47 +0000 (08:38 +0000)]
AVX-512. 67/n. Update constraints in vec_dup insn.

gcc/
* config/i386/sse.md
(define_insn "vec_dup<mode>"): Update constraints.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216184

9 years agoAVX-512. 66/n. Extend vpalignr insn patterns.
Alexander Ivchenko [Tue, 14 Oct 2014 08:35:12 +0000 (08:35 +0000)]
AVX-512. 66/n. Extend vpalignr insn patterns.

gcc/
* config/i386/sse.md
(define_mode_iterator SSESCALARMODE): Add V4TI mode.
(define_insn "<ssse3_avx2>_palignr<mode>_mask"): New.
(define_insn "<ssse3_avx2>_palignr<mode>"): Add EVEX version.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216183

9 years agoAVX-512. 65/n. Add rest of VI1-AVX2: mul insn pattern.
Alexander Ivchenko [Tue, 14 Oct 2014 08:33:01 +0000 (08:33 +0000)]
AVX-512. 65/n. Add rest of VI1-AVX2: mul insn pattern.

gcc/
* config/i386/sse.md
(define_expand "mul<mode>3<mask_name>"): Add masking.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216182

9 years agoAVX-512. 64/n. Add rest of VI1-AVX2: vpack[us]wb.
Alexander Ivchenko [Tue, 14 Oct 2014 08:28:33 +0000 (08:28 +0000)]
AVX-512. 64/n. Add rest of VI1-AVX2: vpack[us]wb.

gcc/
* config/i386/sse.md
(define_insn "<sse2_avx2>_packsswb<mask_name>"): Add masking.
(define_insn "<sse2_avx2>_packuswb<mask_name>"): Ditto.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216181

9 years agoAVX-512. 62/n. Add vpmaddubsw,vdbpsadbw insn patterns.
Alexander Ivchenko [Tue, 14 Oct 2014 08:26:09 +0000 (08:26 +0000)]
AVX-512. 62/n. Add vpmaddubsw,vdbpsadbw insn patterns.

gcc/
* config/i386/sse.md
(define_c_enum "unspec"): Add UNSPEC_DBPSADBW, UNSPEC_PMADDUBSW512.
(define_insn "avx512bw_pmaddubsw512<mode><mask_name>"): New.
(define_insn "<mask_codefor>avx512bw_dbpsadbw<mode><mask_name>"):
Ditto.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216180

9 years agoAVX-512. 61/n. Update FP logic insn patterns.
Alexander Ivchenko [Tue, 14 Oct 2014 08:20:43 +0000 (08:20 +0000)]
AVX-512. 61/n. Update FP logic insn patterns.

gcc/
* config/i386/sse.md
(define_insn "<sse>_andnot<VF_128_256:mode>3<mask_name>"): Add masking,
use VF_128_256 mode iterator and update assembler emit code.
(define_insn "<sse>_andnot<VF_512:mode>3<mask_name>"): New.
(define_expand "<any_logic:code><VF_128_256:mode>3<mask_name>"):
Add masking, use VF_128_256 mode iterator.
(define_expand "<any_logic:code><VF_512:mode>3<mask_name>"): New.
(define_insn "*<any_logic:code><VF_128_256:mode>3<mask_name>"):
Add masking, use VF_128_256 mode iterator and update assembler emit
code.
(define_insn "*<any_logic:code><VF_512:mode>3<mask_name>"): New.
(define_mode_attr avx512flogicsuff): Delete.
(define_insn "avx512f_<logic><mode>"): Ditto.
(define_insn "*andnot<mode>3<mask_name>"): Update MODE_XI, MODE_OI,
MODE_TI.
(define_insn "<mask_codefor><code><mode>3<mask_name>"): Ditto.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216179

9 years agoAVX-512. 60/n. Update 128bit ashrv insn pattern.
Alexander Ivchenko [Tue, 14 Oct 2014 08:19:17 +0000 (08:19 +0000)]
AVX-512. 60/n. Update 128bit ashrv insn pattern.

gcc/
* config/i386/sse.md
(define_mode_iterator VI128_128 [V16QI V8HI V2DI]): Delete.
(define_expand "vashr<mode>3<mask_name>"): Add masking,
use VI12_128 mode iterator.
(define_expand "ashrv2di3<mask_name>"): New.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216178

9 years agoAVX-512. 59/n. Add vptest[n]m, ucmp, cmpeq insn patterns.
Alexander Ivchenko [Tue, 14 Oct 2014 08:15:32 +0000 (08:15 +0000)]
AVX-512. 59/n. Add vptest[n]m, ucmp, cmpeq insn patterns.

gcc/
* config/i386/i386.c
(ix86_expand_args_builtin): Handle CODE_FOR_avx512vl_cmpv4di3_mask,
CODE_FOR_avx512vl_cmpv8si3_mask, CODE_FOR_avx512vl_ucmpv4di3_mask,
CODE_FOR_avx512vl_ucmpv8si3_mask, CODE_FOR_avx512vl_cmpv2di3_mask,
CODE_FOR_avx512vl_cmpv4si3_mask, CODE_FOR_avx512vl_ucmpv2di3_mask,
CODE_FOR_avx512vl_ucmpv4si3_mask.
* config/i386/sse.md
(define_insn "avx512f_ucmp<mode>3<mask_scalar_merge_name>"): Delete.
"<avx512>_ucmp<VI12_AVX512VL:mode>3<mask_scalar_merge_name>"):New.
(define_insn
"<avx512>_ucmp<VI48_AVX512VL:mode>3<mask_scalar_merge_name>"):Ditto.
(define_expand "<avx512>_eq<mode>3<mask_scalar_merge_name>"): Ditto.
(define_insn "<avx512>_eq<mode>3<mask_scalar_merge_name>_1"): Ditto.
(define_insn "<avx512>_gt<mode>3<mask_scalar_merge_name>"): Ditto.
(define_insn "<avx512>_testm<mode>3<mask_scalar_merge_name>"): Ditto.
(define_insn "<avx512>_testnm<mode>3<mask_scalar_merge_name>"): Ditto.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216177

9 years agoAVX-512. 58/n. Add vpmul[u]dq insn patterns.
Alexander Ivchenko [Tue, 14 Oct 2014 08:13:31 +0000 (08:13 +0000)]
AVX-512. 58/n.  Add vpmul[u]dq insn patterns.

gcc/
* config/i386/sse.md
(define_expand "vec_widen_umult_even_v8si<mask_name>"): Add masking.
(define_insn "*vec_widen_umult_even_v8si<mask_name>"): Ditto.
(define_expand "vec_widen_umult_even_v4si<mask_name>"): Ditto.
(define_insn "*vec_widen_umult_even_v4si<mask_name>"): Ditto.
(define_expand "vec_widen_smult_even_v8si<mask_name>"): Ditto.
(define_insn "*vec_widen_smult_even_v8si<mask_name>"): Ditto.
(define_expand "sse4_1_mulv2siv2di3<mask_name>"): Ditto.
(define_insn "*sse4_1_mulv2siv2di3<mask_name>"): Ditto.
(define_insn "avx512dq_mul<mode>3<mask_name>"): New.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216176

9 years agoAVX-512. 57/n. Extend blend/cmp/brodcast insn patterns.
Alexander Ivchenko [Tue, 14 Oct 2014 08:10:42 +0000 (08:10 +0000)]
AVX-512. 57/n. Extend blend/cmp/brodcast insn patterns.

gcc/
* config/i386/sse.md
(define_insn "avx512f_blendm<mode>"): Delete.
(define_insn "<avx512>_blendm<VI48_AVX512VL:mode>"): New.
(define_insn "<avx512>_blendm<VI12_AVX512VL:mode>"): Ditto..
(define_mode_attr cmp_imm_predicate): Add V8SF, V4DF, V8SI, V4DI, V4SF,
V2DF, V4SI, V2DI, V32HI, V64QI, V16HI, V32QI, V8HI, V16QI modes.
(define_insn
"avx512f_cmp<mode>3<mask_scalar_merge_name><round_saeonly_name>"):
Remove.
(define_insn
"<avx512>_cmp<VI48_AVX512VL:mode>3<mask_scalar_merge_name><round_saeonly_name>"):
New.
(define_insn
"<avx512>_cmp<VI12_AVX512VL:mode>3<mask_scalar_merge_name><round_saeonly_name>"):
Ditto.
(define_insn "<mask_codefor>avx512f_vec_dup<mode><mask_name>"): Delete.
(define_insn "<avx512>_vec_dup<V48_AVX512VL:mode><mask_name>"): New.
(define_insn "<avx512>_vec_dup<V12_AVX512VL:mode><mask_name>"): Ditto.
(define_insn "<mask_codefor>avx512f_vec_dup_gpr<mode><mask_name>"):
Delete.
(define_insn
"<mask_codefor><avx512>_vec_dup_gpr<VI48_AVX512VL:mode><mask_name>"):
New.
(define_insn
"<mask_codefor><avx512>_vec_dup_gpr<VI12_AVX512VL:mode><mask_name>"):
Ditto.
(define_insn·"<mask_codefor>avx512f_vec_dup_mem<mode><mask_name>"):
Delete.
(define_insn
"<mask_codefor><avx512>_vec_dup_mem<VI48_AVX512VL:mode><mask_name>"):
New.
(define_insn
"<mask_codefor><avx512>_vec_dup_mem<VI12_AVX512VL:mode><mask_name>"):
Ditto.

Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
From-SVN: r216175

9 years agore PR tree-optimization/63512 (ICE: error: virtual use of statement not up-to-date)
Richard Biener [Tue, 14 Oct 2014 07:36:02 +0000 (07:36 +0000)]
re PR tree-optimization/63512 (ICE: error: virtual use of statement not up-to-date)

2014-10-14  Richard Biener  <rguenther@suse.de>

PR tree-optimization/63512
* tree-ssa-pre.c (create_expression_by_pieces): Mark stmts
modified.

* g++.dg/torture/pr63512.C: New testcase.

From-SVN: r216174

9 years agore PR target/63260 ([SH] fabs, fneg do not need fp-mode setting and do not use fpscr)
Oleg Endo [Tue, 14 Oct 2014 00:50:18 +0000 (00:50 +0000)]
re PR target/63260 ([SH] fabs, fneg do not need fp-mode setting and do not use fpscr)

gcc/
PR target/63260
* config/sh/sh.md (negsf2, negsf2_i, negdf2, negdf2_i, abssf2,
abssf2_i, absdf2, absdf2_i): Remove fp_mode attribute.  Remove use
of FPSCR.
(negsf2_i): Rename to *negsf2_i.
(abssf2_i): Rename to *abssf2_i.
(negdf2_i): Rename to *negdf2_i.
(absdf2_i): Rename to *absdf2_i.

gcc/testsuite/
PR target/63260
* gcc.target/sh/pr63260.c: New.

From-SVN: r216173

9 years agoDaily bump.
GCC Administrator [Tue, 14 Oct 2014 00:16:25 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r216172

9 years agoira.c (struct equivalence): Change member "is_arg_equivalence" and "replace" into...
Felix Yang [Tue, 14 Oct 2014 00:12:51 +0000 (00:12 +0000)]
ira.c (struct equivalence): Change member "is_arg_equivalence" and "replace" into boolean bitfields...

gcc/
        * ira.c (struct equivalence): Change member "is_arg_equivalence" and
        "replace" into boolean bitfields; turn member "loop_depth" into a short
        integer; add new member "no_equiv" and "reserved".
        (no_equiv): Set no_equiv of struct equivalence if register is marked
        as having no known equivalence.
        (update_equiv_regs): Check all definitions for a multiple-set
        register to make sure that the RHS have the same value.

Co-Authored-By: Jeff Law <law@redhat.com>
From-SVN: r216169

9 years agoc-parser.c (c_parser_all_labels): New function to replace the duplicate code.
Anthony Brandon [Mon, 13 Oct 2014 21:00:55 +0000 (21:00 +0000)]
c-parser.c (c_parser_all_labels): New function to replace the duplicate code.

gcc/c/ChangeLog:

2014-10-13  Anthony Brandon  <anthony.brandon@gmail.com>

        * c-parser.c (c_parser_all_labels): New function to replace
the duplicate code.
        (c_parser_statement): Call the new function.

From-SVN: r216165

9 years agoHandle cfa adjustments in csa pass
Richard Henderson [Mon, 13 Oct 2014 20:20:44 +0000 (13:20 -0700)]
Handle cfa adjustments in csa pass

* combine-stack-adj.c (no_unhandled_cfa): New.
(maybe_merge_cfa_adjust): New.
(combine_stack_adjustments_for_block): Use them.

From-SVN: r216161

9 years ago* Makefile.in (TAGS): Tag ../include files.
Aldy Hernandez [Mon, 13 Oct 2014 19:57:14 +0000 (19:57 +0000)]
* Makefile.in (TAGS): Tag ../include files.

From-SVN: r216160

9 years agors6000.h (DBX_REGISTER_NUMBER): Pass format argument to rs6000_dbx_register_number.
Ulrich Weigand [Mon, 13 Oct 2014 17:47:20 +0000 (17:47 +0000)]
rs6000.h (DBX_REGISTER_NUMBER): Pass format argument to rs6000_dbx_register_number.

* config/rs6000/rs6000.h (DBX_REGISTER_NUMBER): Pass format argument
to rs6000_dbx_register_number.
(DWARF_FRAME_REGNUM): Redefine as identity map.
(DWARF2_FRAME_REG_OUT): Call rs6000_dbx_register_number.
* config/rs6000/rs6000-protos.h (rs6000_dbx_register_number): Update.
* config/rs6000/rs6000.c (rs6000_dbx_register_number): Add format
argument to handle .debug_frame and .eh_frame directly.  Always
translate SPE high register numbers.  Add special treatment for CR,
but only in .debug_frame.  Respect RS6000_USE_DWARF_NUMBERING.

* config/rs6000/sysv.h (DBX_REGISTER_NUMBER): Do not undefine.
* config/rs6000/freebsd.h (DBX_REGISTER_NUMBER): Remove.
(RS6000_USE_DWARF_NUMBERING): Define.
* config/rs6000/freebsd64.h (DBX_REGISTER_NUMBER): Remove.
(RS6000_USE_DWARF_NUMBERING): Define.
* config/rs6000/netbsd.h (DBX_REGISTER_NUMBER): Remove.
(RS6000_USE_DWARF_NUMBERING): Define.
* config/rs6000/lynx.h (DBX_REGISTER_NUMBER): Remove.
(RS6000_USE_DWARF_NUMBERING): Define.
* config/rs6000/aix.h (RS6000_USE_DWARF_NUMBERING): Define.
* config/rs6000/darwin.h (RS6000_USE_DWARF_NUMBERING): Define.

From-SVN: r216157

9 years agoAdd missing in r216154 test.
Kirill Yukhin [Mon, 13 Oct 2014 17:29:31 +0000 (17:29 +0000)]
Add missing in r216154 test.

From-SVN: r216156

9 years agoi386.c (ix86_address_cost): Lower cost for when address contains GOT register.
Evgeny Stupachenko [Mon, 13 Oct 2014 17:28:24 +0000 (17:28 +0000)]
i386.c (ix86_address_cost): Lower cost for when address contains GOT register.

gcc/
* config/i386/i386.c (ix86_address_cost): Lower cost for
when address contains GOT register.

From-SVN: r216155

9 years agore PR target/8340 (ICE on x86 inline asm w/ -fPIC)
Kirill Yukhin [Mon, 13 Oct 2014 17:26:49 +0000 (17:26 +0000)]
re PR target/8340 (ICE on x86 inline asm w/ -fPIC)

gcc/
PR target/8340
PR middle-end/47602
PR rtl-optimization/55458
* config/i386/i386.c (ix86_use_pseudo_pic_reg): New.
(ix86_init_pic_reg): New.
(ix86_select_alt_pic_regnum): Add check on pseudo register.
(ix86_save_reg): Likewise.
(ix86_expand_prologue): Remove PIC register initialization
now performed in ix86_init_pic_reg.
(ix86_output_function_epilogue): Add check on pseudo register.
(set_pic_reg_ever_alive): New.
(legitimize_pic_address): Replace df_set_regs_ever_live with new
set_pic_reg_ever_alive.
(legitimize_tls_address): Likewise.
(ix86_pic_register_p): New check.
(ix86_delegitimize_address): Add check on pseudo register.
(ix86_expand_call): Insert move from pseudo PIC register to ABI
defined REAL_PIC_OFFSET_TABLE_REGNUM.
(TARGET_INIT_PIC_REG): New.
(TARGET_USE_PSEUDO_PIC_REG): New.
* config/i386/i386.h (PIC_OFFSET_TABLE_REGNUM): Return INVALID_REGNUM
if pic_offset_table_rtx exists.
* doc/tm.texi.in (TARGET_USE_PSEUDO_PIC_REG, TARGET_INIT_PIC_REG):
Document.
* doc/tm.texi: Regenerate.
* function.c (assign_parms): Generate pseudo register for PIC.
* init-regs.c (initialize_uninitialized_regs): Ignor pseudo PIC
register.
* ira-color.c (color_pass): Add check on pseudo register.
* ira-emit.c (change_loop): Don't create copies for PIC pseudo
register.
* ira.c (split_live_ranges_for_shrink_wrap): Add check on pseudo
register.
(ira): Add target specific PIC register initialization.
(do_reload): Keep PIC pseudo register.
* lra-assigns.c (spill_for): Add checks on pseudo register.
* lra-constraints.c (contains_symbol_ref_p): New.
(lra_constraints): Enable lra risky transformations when PIC is pseudo
register.
* shrink-wrap.c (try_shrink_wrapping): Add check on pseudo register.
* target.def (use_pseudo_pic_reg): New.
(init_pic_reg): New.

gcc/testsuite/
PR target/8340
PR middle-end/47602
PR rtl-optimization/55458
* gcc.target/i386/pic-1.c: Remove dg-error as test should pass now.
* gcc.target/i386/pr55458.c: Likewise.
* gcc.target/i386/pr47602.c: New.
* gcc.target/i386/pr23098.c: Move to XFAIL.

From-SVN: r216154

9 years agox86-tune.def (X86_TUNE_SSE_PARTIAL_REG_DEPENDENCY): Remove m_SILVERMONT and m_INTEL...
Evgeny Stupachenko [Mon, 13 Oct 2014 17:22:32 +0000 (17:22 +0000)]
x86-tune.def (X86_TUNE_SSE_PARTIAL_REG_DEPENDENCY): Remove m_SILVERMONT and m_INTEL from the tune.

gcc/
* config/i386/x86-tune.def (X86_TUNE_SSE_PARTIAL_REG_DEPENDENCY):
Remove m_SILVERMONT and m_INTEL from the tune.

From-SVN: r216153

9 years agore PR libfortran/63471 (unix.c:1906:10: error: implicit declaration of function ...
John David Anglin [Mon, 13 Oct 2014 17:02:35 +0000 (17:02 +0000)]
re PR libfortran/63471 (unix.c:1906:10: error: implicit declaration of function 'ttyname_r')

PR libfortran/63471
        * config/pa/pa-hpux11.h (TARGET_OS_CPP_BUILTINS): Define _REENTRANT
        when _HPUX_SOURCE is defined.

From-SVN: r216152

9 years agoCast size and elements to long for %l
H.J. Lu [Mon, 13 Oct 2014 16:01:40 +0000 (16:01 +0000)]
Cast size and elements to long for %l

* mangle.c (mangle_conv_op_name_for_type): Cast elements to
unsigned long.
(print_template_statistics): Cast size and elements to long.

From-SVN: r216151

9 years agore PR c++/62127 (ICE with VLA in constructor)
Jan Hubicka [Mon, 13 Oct 2014 14:43:24 +0000 (16:43 +0200)]
re PR c++/62127 (ICE with VLA in constructor)

PR tree-optimization/62127
* g++.dg/torture/pr62127.C: New testcase.
* tree.c (remap_type_1): When remapping array, remap
also its type.

From-SVN: r216150

9 years agore PR libstdc++/57350 (std::align missing)
Jonathan Wakely [Mon, 13 Oct 2014 14:08:44 +0000 (15:08 +0100)]
re PR libstdc++/57350 (std::align missing)

PR libstdc++/57350
* include/std/memory (align): Do not adjust correctly aligned address.
* testsuite/20_util/align/2.cc: New.

From-SVN: r216149

9 years agoUpdate ChangeLog for previous commit.
Christophe Lyon [Mon, 13 Oct 2014 14:01:19 +0000 (16:01 +0200)]
Update ChangeLog for previous commit.

From-SVN: r216148

9 years agoMakefile.in: (check-%): Update comment, as RUNTESTFLAGS no longer impact parallelization.
Christophe Lyon [Mon, 13 Oct 2014 13:56:34 +0000 (15:56 +0200)]
Makefile.in: (check-%): Update comment, as RUNTESTFLAGS no longer impact parallelization.

2014-10-13  Christophe Lyon  <christophe.lyon@linaro.org>

gcc/
* Makefile.in: (check-%): Update comment, as RUNTESTFLAGS no
longer impact parallelization.

From-SVN: r216147

9 years agore PR bootstrap/63496 (../../gcc/ipa-polymorphic-call.c:2117:1: error: assuming signe...
Jan Hubicka [Mon, 13 Oct 2014 12:44:00 +0000 (14:44 +0200)]
re PR bootstrap/63496 (../../gcc/ipa-polymorphic-call.c:2117:1: error: assuming signed overflow does not occur when assuming that (X + c) < X is always false [-Werror=strict-overflow])

PR bootstrap/63496
* ipa-polymorphic-call.c (extr_type_from_vtbl_ptr_store): Fix pasto.

From-SVN: r216146

9 years agoxmethods.py: Add xmethods for std::array, std::deque, std::forward_list, std::list...
Siva Chandra Reddy [Mon, 13 Oct 2014 11:23:10 +0000 (11:23 +0000)]
xmethods.py: Add xmethods for std::array, std::deque, std::forward_list, std::list, std::vector.

2014-10-13  Siva Chandra Reddy  <sivachandra@google.com>

* python/libstdcxx/v6/xmethods.py: Add xmethods for std::array,
std::deque, std::forward_list, std::list, std::vector.
* testsuite/libstdc++-xmethods/array.cc: New file.
* testsuite/libstdc++-xmethods/deque.cc: Likewise.
* testsuite/libstdc++-xmethods/forwardlist.cc: Likewise.
* testsuite/libstdc++-xmethods/list.cc: Likewise.
* testsuite/libstdc++-xmethods/vector.cc: Add tests.

From-SVN: r216145

9 years agoasan.c (instrument_derefs): BIT_FIELD_REF added.
Marat Zakirov [Mon, 13 Oct 2014 10:44:45 +0000 (10:44 +0000)]
asan.c (instrument_derefs): BIT_FIELD_REF added.

gcc/ChangeLog:

2014-09-19  Marat Zakirov  <m.zakirov@samsung.com>

* asan.c (instrument_derefs): BIT_FIELD_REF added.

gcc/testsuite/ChangeLog:

2014-09-19  Marat Zakirov  <m.zakirov@samsung.com>

* c-c++-common/asan/bitfield-5.c: New test.

From-SVN: r216144

9 years agomemory (align): Define.
Rüdiger Sonderfeld [Mon, 13 Oct 2014 10:05:21 +0000 (10:05 +0000)]
memory (align): Define.

2014-10-13  Rüdiger Sonderfeld  <ruediger@c-plusplus.de>

* include/std/memory (align): Define.
* testsuite/20_util/align/1.cc: New.

From-SVN: r216143

9 years agore PR libstdc++/61347 (std::distance(list.first(),list.end()) in O(1))
Marc Glisse [Mon, 13 Oct 2014 10:00:27 +0000 (12:00 +0200)]
re PR libstdc++/61347 (std::distance(list.first(),list.end()) in O(1))

2014-10-13  Marc Glisse  <marc.glisse@inria.fr>

PR libstdc++/61347
PR libstdc++/63345
* include/bits/list.tcc (_List_base::_M_clear()): Delay cast so it
isn't done for the sentinel.
* include/bits/stl_list.h (_List_base::_M_size): Move...
(_List_base::_List_impl::_M_node): ... here.
(_List_base::_M_get_size(), _List_base::_M_set_size(size_t),
_List_base::_M_inc_size(size_t), _List_base::_M_dec_size(size_t),
_List_base::_M_node_count): Adapt to the move.
* 23_containers/list/requirements/dr438/assign_neg.cc: Update
line number.
* 23_containers/list/requirements/dr438/constructor_1_neg.cc: Likewise.
* 23_containers/list/requirements/dr438/constructor_2_neg.cc: Likewise.
* 23_containers/list/requirements/dr438/insert_neg.cc: Likewise.

From-SVN: r216142

9 years agore PR ada/63225 (ada bootstrap failure when -fno-inline in STAGE1_CFLAGS)
Eric Botcazou [Mon, 13 Oct 2014 08:19:45 +0000 (08:19 +0000)]
re PR ada/63225 (ada bootstrap failure when -fno-inline in STAGE1_CFLAGS)

PR ada/63225
* uintp.adb (Vector_To_Uint): Move from here to...
* uintp.ads (UI_Vector): Make public.
(Vector_To_Uint): ...here.

Co-Authored-By: Alan Modra <amodra@gmail.com>
From-SVN: r216139

9 years agore PR c++/63419 (verify_gimple failed: "vector CONSTRUCTOR element is not a GIMPLE...
Richard Biener [Mon, 13 Oct 2014 07:58:05 +0000 (07:58 +0000)]
re PR c++/63419 (verify_gimple failed: "vector CONSTRUCTOR element is not a GIMPLE value")

2014-10-13  Richard Biener  <rguenther@suse.de>

PR tree-optimization/63419
* gimple-fold.h (gimple_convert): New function.
* gimple-fold.c (gimple_convert): Likewise.
* tree-ssa-pre.c (create_expression_by_pieces): Use gimple_convert
to split out required conversions early.

* g++.dg/torture/pr63419.C: New testcase.

From-SVN: r216138

9 years agortlanal.c (generic_subrtx_iterator <T>::add_subrtxes_to_queue): Add the parts of...
Richard Sandiford [Mon, 13 Oct 2014 07:05:46 +0000 (07:05 +0000)]
rtlanal.c (generic_subrtx_iterator <T>::add_subrtxes_to_queue): Add the parts of an insn in reverse order, with the pattern at the top of the queue.

gcc/
* rtlanal.c (generic_subrtx_iterator <T>::add_subrtxes_to_queue):
Add the parts of an insn in reverse order, with the pattern at
the top of the queue.  Detect when we're iterating over a SEQUENCE
pattern and in that case just consider patterns of subinstructions.

From-SVN: r216137

9 years agoDaily bump.
GCC Administrator [Mon, 13 Oct 2014 00:16:27 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r216131

9 years agore PR target/59401 ([SH] GBR addressing mode optimization produces wrong code)
Oleg Endo [Sun, 12 Oct 2014 23:14:07 +0000 (23:14 +0000)]
re PR target/59401 ([SH] GBR addressing mode optimization produces wrong code)

gcc/
PR target/59401
* config/sh/sh-protos (sh_find_equiv_gbr_addr): Use rtx_insn* instead
of rtx.
* config/sh/sh.c (sh_find_equiv_gbr_addr): Use def chains instead of
insn walking.
(sh_find_equiv_gbr_addr): Do nothing if input mem is already a GBR
address.  Use def chains to handle GBR clobbering call insns.

gcc/testsuite/
PR target/59401
PR target/54760
* gcc.target/pr54760-5.c: New.
* gcc.target/pr54760-6.c: New.
* gcc.target/sh/pr59401-1.c: New.

From-SVN: r216128

9 years agomove many gc hashtab to hash_table
Trevor Saunders [Sun, 12 Oct 2014 22:22:53 +0000 (22:22 +0000)]
move many gc hashtab to hash_table

gcc/

* asan.c, cfgloop.c, cfgloop.h, cgraph.c, cgraph.h,
config/darwin.c, config/m32c/m32c.c, config/mep/mep.c,
config/mips/mips.c, config/rs6000/rs6000.c, dwarf2out.c,
function.c, function.h, gimple-ssa.h, libfuncs.h, optabs.c,
output.h, rtl.h, sese.c, symtab.c, tree-cfg.c, tree-dfa.c,
tree-ssa.c, varasm.c: Use hash-table instead of hashtab.
* doc/gty.texi (for_user): Document new option.
* gengtype.c (create_user_defined_type): Don't try to get a struct for
char.
(walk_type): Don't error out on for_user option.
(write_func_for_structure): Emit user marking routines if requested by
for_user option.
(write_local_func_for_structure): Likewise.
(main): Mark types with for_user option as used.
* ggc.h (gt_pch_nx): Add overload for unsigned int.
* hash-map.h (hash_map::hash_entry::pch_nx_helper): AddOverloads.
* hash-table.h (ggc_hasher): New struct.
(hash_table::create_ggc): New function.
(gt_pch_nx): New overload for hash_table.

java/

* class.c, decl.c, except.c, expr.c, java-tree.h, lang.c: Use
hash_table instead of hashtab.

objc/

* objc-act.c: use hash_table instead of hashtab.

cp/

* cp-gimplify.c, cp-tree.h, decl.c, mangle.c, name-lookup.c,
pt.c, semantics.c, tree.c, typeck2.c: Use hash_table instead of
hashtab.

fortran/

* trans-decl.c, trans.c, trans.h: Use hash_table instead of hashtab.

c-family/

* c-common.c: Use hash_table instead of hashtab.

From-SVN: r216127

9 years agoREADME: Do not mention CVS.
Manuel López-Ibáñez [Sun, 12 Oct 2014 15:05:28 +0000 (15:05 +0000)]
README: Do not mention CVS.

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

* INSTALL/README: Do not mention CVS.

From-SVN: r216126

9 years agore PR c++/62115 (ICE with invalid default argument)
Jason Merrill [Sun, 12 Oct 2014 01:42:31 +0000 (21:42 -0400)]
re PR c++/62115 (ICE with invalid default argument)

PR c++/62115
* class.c (build_base_path): Preserve rvalueness.
* call.c (convert_like_real) [ck_base]: Let convert_to_base handle &/*.
* rtti.c (build_dynamic_cast_1): Call convert_to_reference later.

From-SVN: r216124

9 years agoDaily bump.
GCC Administrator [Sun, 12 Oct 2014 00:16:21 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r216123

9 years agore PR fortran/48979 (FRACTION und EXPONENT return invalid results for infinity/NaN)
François-Xavier Coudert [Sat, 11 Oct 2014 16:57:32 +0000 (16:57 +0000)]
re PR fortran/48979 (FRACTION und EXPONENT return invalid results for infinity/NaN)

PR fortran/48979

* simplify.c (gfc_simplify_atan): Use mpfr_zero_p to check for zeros.
(gfc_simplify_log): Likewise.
(gfc_simplify_scale): Likewise.
(gfc_simplify_exponent): Handle infinities and NaNs.
(gfc_simplify_fraction): Handle infinities.
(gfc_simplify_rrspacing): Handle signed zeros and NaNs.
(gfc_simplify_set_exponent): Handle infinities and NaNs.
(gfc_simplify_spacing): Handle zeros, infinities and NaNs.

* gfortran.dg/ieee/intrinsics_1.f90: New test.

From-SVN: r216120

9 years agosh.h (TARGET_SH4A_ARCH): Remove macro.
Oleg Endo [Sat, 11 Oct 2014 13:11:58 +0000 (13:11 +0000)]
sh.h (TARGET_SH4A_ARCH): Remove macro.

gcc/
* config/sh/sh.h (TARGET_SH4A_ARCH): Remove macro.
* config/sh/sh.h: Replace uses of TARGET_SH4A_ARCH with TARGET_SH4A.
* config/sh/sh.c: Likewise.
* config/sh/sh-mem.cc: Likewise.
* config/sh/sh.md: Likewise.
* config/sh/predicates.md: Likewise.
* config/sh/sync.md: Likewise.

From-SVN: r216119

9 years agotarget-supports.exp (check_effective_target_shared): New function.
Christophe Lyon [Sat, 11 Oct 2014 11:33:37 +0000 (11:33 +0000)]
target-supports.exp (check_effective_target_shared): New function.

2014-10-11  Christophe Lyon  <christophe.lyon@linaro.org>

gcc/testsuite/
* lib/target-supports.exp (check_effective_target_shared): New
function.
        * g++.dg/ipa/devirt-28a.C: Check if -shared is supported.

From-SVN: r216117

9 years agore PR c++/63194 (ICE in maybe_explain_implicit_delete, at cp/method.c:1552)
Jason Merrill [Sat, 11 Oct 2014 02:26:33 +0000 (22:26 -0400)]
re PR c++/63194 (ICE in maybe_explain_implicit_delete, at cp/method.c:1552)

PR c++/63194
* method.c (defaulted_late_check): Call maybe_instantiate_noexcept.

From-SVN: r216114

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

From-SVN: r216113

9 years agocgraphunit.c (symbol_table::process_new_functions): Missing call for call_cgraph_inse...
Martin Liska [Fri, 10 Oct 2014 23:37:42 +0000 (01:37 +0200)]
cgraphunit.c (symbol_table::process_new_functions): Missing call for call_cgraph_insertion_hooks added.

PR/63376
* cgraphunit.c (symbol_table::process_new_functions): Missing call
for call_cgraph_insertion_hooks added.

From-SVN: r216110

9 years agomethod.c (implicitly_declare_fn): Handle deleted lambda default ctor and copy assop...
Jason Merrill [Fri, 10 Oct 2014 20:27:07 +0000 (16:27 -0400)]
method.c (implicitly_declare_fn): Handle deleted lambda default ctor and copy assop here.

* method.c (implicitly_declare_fn): Handle deleted lambda default
ctor and copy assop here.
* class.c (check_bases_and_members): Not here.
(add_implicitly_declared_members): And don't set
CLASSTYPE_LAZY_MOVE_ASSIGN.

From-SVN: r216105

9 years ago* semantics.c (finish_id_expression): Check for error_mark_node.
Jason Merrill [Fri, 10 Oct 2014 20:24:36 +0000 (16:24 -0400)]
* semantics.c (finish_id_expression): Check for error_mark_node.

From-SVN: r216104

9 years agore PR c/63495 (struct __attribute__ ((aligned (8))) broken on x86)
Jakub Jelinek [Fri, 10 Oct 2014 17:43:21 +0000 (19:43 +0200)]
re PR c/63495 (struct __attribute__ ((aligned (8))) broken on x86)

PR c/63495
* stor-layout.c (min_align_of_type): Don't decrease alignment
through BIGGEST_FIELD_ALIGNMENT or ADJUST_FIELD_ALIGN if
TYPE_USER_ALIGN is set.

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

From-SVN: r216101

9 years agore PR target/63483 (Scheduler performs Invalid move of aliased memory reference)
Uros Bizjak [Fri, 10 Oct 2014 17:36:21 +0000 (19:36 +0200)]
re PR target/63483 (Scheduler performs Invalid move of aliased memory reference)

PR rtl-optimization/63483
* alias.c (true_dependence_1): Do not exit early for MEM_READONLY_P
references when alignment ANDs are involved.
(write_dependence_p): Ditto.
(may_alias_p): Ditto.

From-SVN: r216100

9 years agoasan.c (pass_sanopt::execute): Handle IFN_UBSAN_OBJECT_SIZE.
Marek Polacek [Fri, 10 Oct 2014 17:19:25 +0000 (17:19 +0000)]
asan.c (pass_sanopt::execute): Handle IFN_UBSAN_OBJECT_SIZE.

* asan.c (pass_sanopt::execute): Handle IFN_UBSAN_OBJECT_SIZE.
* doc/invoke.texi: Document -fsanitize=object-size.
* flag-types.h (enum sanitize_code): Add SANITIZE_OBJECT_SIZE and
or it into SANITIZE_UNDEFINED.
* gimple-fold.c (gimple_fold_call): Optimize IFN_UBSAN_OBJECT_SIZE.
* internal-fn.c (expand_UBSAN_OBJECT_SIZE): New function.
* internal-fn.def (UBSAN_OBJECT_SIZE): Define.
* opts.c (common_handle_option): Handle -fsanitize=object-size.
* ubsan.c: Include tree-object-size.h.
(ubsan_type_descriptor): Call tree_to_uhwi instead of tree_to_shwi.
(ubsan_expand_bounds_ifn): Use false instead of 0.
(ubsan_expand_objsize_ifn): New function.
(instrument_object_size): New function.
(pass_ubsan::execute): Add object size instrumentation.
* ubsan.h (ubsan_expand_objsize_ifn): Declare.
testsuite/
* c-c++-common/ubsan/object-size-1.c: New test.
* c-c++-common/ubsan/object-size-2.c: New test.
* c-c++-common/ubsan/object-size-3.c: New test.
* c-c++-common/ubsan/object-size-4.c: New test.
* c-c++-common/ubsan/object-size-5.c: New test.
* c-c++-common/ubsan/object-size-6.c: New test.
* c-c++-common/ubsan/object-size-7.c: New test.
* c-c++-common/ubsan/object-size-8.c: New test.
* c-c++-common/ubsan/object-size-9.c: New test.
* g++.dg/ubsan/object-size-1.C: New test.
* gcc.dg/ubsan/object-size-9.c: New test.

From-SVN: r216099

9 years ago* testsuite/Makefile.in: Regenerate.
Jonathan Wakely [Fri, 10 Oct 2014 16:14:59 +0000 (17:14 +0100)]
* testsuite/Makefile.in: Regenerate.

From-SVN: r216098

9 years agore PR libstdc++/49561 ([C++0x] std::list::size complexity)
Jonathan Wakely [Fri, 10 Oct 2014 16:14:52 +0000 (17:14 +0100)]
re PR libstdc++/49561 ([C++0x] std::list::size complexity)

PR libstdc++/49561
* acinclude.m4 (GLIBCXX_ENABLE_LIBSTDCXX_CXX11_ABI): Define.
* configure.ac: Use GLIBCXX_ENABLE_LIBSTDCXX_CXX11_ABI.
* configure: Regenerate.
* include/Makefile.am (stamp-cxx11-abi): New target.
(c++config.h): Set _GLIBCXX_USE_CXX11_ABI macro.
* include/Makefile.in: Regenerate.
* include/bits/c++config: Add _GLIBCXX_USE_CXX11_ABI placeholder and
define _GLIBCXX_DEFAULT_ABI_TAG.
* include/bits/list.tcc (list::emplace(const_iterator, _Args&...)):
Increment size.
(list::emplace(const_iterator, const value_type&)): Likewise.
(list::merge(list&), list::merge(list&, _StrictWeakOrdering)): Adjust
list sizes.
* include/bits/stl_list.h (_List_base, list): Add ABI tag macro.
(_List_base::_M_size): New data member in cxx11 ABI mode.
(_List_base::_S_distance(_List_node_base*, _List_node_base*)): New
function.
(_List_base::_M_get_size(), _List_base::_M_set_size(size_t),
_List_base::_M_inc_size(size_t), _List_base::_M_dec_size(size_t),
_List_base::_M_distance, _List_base::_M_node_count): New functions for
accessing list size correctly for the ABI mode.
(_List_base::_List_base(_List_base&&)): Copy size and reset source.
(_List_base::_M_init()): Initialize size member.
(list::size()): Use _List_base::_M_node_count.
(list::swap(list&)): Swap sizes.
(list::splice(iterator, list&)): Update sizes.
(list::splice(iterator, list&, iterator)): Likewise.
(list::insert(iterator, const value_type&)): Update size.
(list::insert(iterator, _Args&&...)): Likewise.
(list::_M_erase(iterator)): Likewise.
* testsuite/23_containers/list/requirements/dr438/assign_neg.cc:
Adjust.
* testsuite/23_containers/list/requirements/dr438/constructor_1_neg.cc:
Adjust.
* testsuite/23_containers/list/requirements/dr438/constructor_2_neg.cc:
Adjust.
* testsuite/23_containers/list/requirements/dr438/insert_neg.cc:
Adjust.
* testsuite/ext/profile/mutex_extensions_neg.cc: Adjust.
# End of auto-generated commit message
Fix date and whitespace in libstdc++-v3/ChangeLog

From-SVN: r216097

9 years agore PR target/63404 (gcc 5 miscompiles linux block layer)
Richard Henderson [Fri, 10 Oct 2014 15:56:07 +0000 (08:56 -0700)]
re PR target/63404 (gcc 5 miscompiles linux block layer)

PR target/63404

  * shrink-wrap.c (move_insn_for_shrink_wrap): Don't use single_set.
  Restrict the set of expressions we're willing to move.

From-SVN: r216096

9 years agoira.c (struct equivalence): Promote INIT_INSNs field to an rtx_insn_list.
Jeff Law [Fri, 10 Oct 2014 15:47:19 +0000 (09:47 -0600)]
ira.c (struct equivalence): Promote INIT_INSNs field to an rtx_insn_list.

        * ira.c (struct equivalence): Promote INIT_INSNs field to
        an rtx_insn_list.  Add comments.
        (no_equiv): Promote LIST to an rtx_insn_list.  Update
        testing for and creating the special marker.  Use methods
        to extract the insn and next pointers.  Promote INSN to an
        rtx_insn.
        (update_equiv_regs): Update test for special marker in the
        INIT_INSNs list.

From-SVN: r216095

9 years agore PR libstdc++/49561 ([C++0x] std::list::size complexity)
Jonathan Wakely [Fri, 10 Oct 2014 15:33:57 +0000 (16:33 +0100)]
re PR libstdc++/49561 ([C++0x] std::list::size complexity)

PR libstdc++/49561
* acinclude.m4 (GLIBCXX_ENABLE_LIBSTDCXX_CXX11_ABI): Define.
* configure.ac: Use GLIBCXX_ENABLE_LIBSTDCXX_CXX11_ABI.
* configure: Regenerate.
* include/Makefile.am (stamp-cxx11-abi): New target.
(c++config.h): Set _GLIBCXX_USE_CXX11_ABI macro.
* include/Makefile.in: Regenerate.
* include/bits/c++config: Add _GLIBCXX_USE_CXX11_ABI placeholder and
define _GLIBCXX_DEFAULT_ABI_TAG.
* include/bits/list.tcc (list::emplace(const_iterator, _Args&...)):
Increment size.
(list::emplace(const_iterator, const value_type&)): Likewise.
(list::merge(list&), list::merge(list&, _StrictWeakOrdering)): Adjust
list sizes.
* include/bits/stl_list.h (_List_base, list): Add ABI tag macro.
(_List_base::_M_size): New data member in cxx11 ABI mode.
(_List_base::_S_distance(_List_node_base*, _List_node_base*)): New
function.
(_List_base::_M_get_size(), _List_base::_M_set_size(size_t),
_List_base::_M_inc_size(size_t), _List_base::_M_dec_size(size_t),
_List_base::_M_distance, _List_base::_M_node_count): New functions for
accessing list size correctly for the ABI mode.
(_List_base::_List_base(_List_base&&)): Copy size and reset source.
(_List_base::_M_init()): Initialize size member.
(list::size()): Use _List_base::_M_node_count.
(list::swap(list&)): Swap sizes.
(list::splice(iterator, list&)): Update sizes.
(list::splice(iterator, list&, iterator)): Likewise.
(list::insert(iterator, const value_type&)): Update size.
(list::insert(iterator, _Args&&...)): Likewise.
(list::_M_erase(iterator)): Likewise.
* testsuite/23_containers/list/requirements/dr438/assign_neg.cc:
Adjust.
* testsuite/23_containers/list/requirements/dr438/constructor_1_neg.cc:
Adjust.
* testsuite/23_containers/list/requirements/dr438/constructor_2_neg.cc:
Adjust.
* testsuite/23_containers/list/requirements/dr438/insert_neg.cc:
Adjust.
* testsuite/ext/profile/mutex_extensions_neg.cc: Adjust.

From-SVN: r216094

9 years agoMinor reformatting.
Arnaud Charlet [Fri, 10 Oct 2014 14:50:48 +0000 (16:50 +0200)]
Minor reformatting.

From-SVN: r216093

9 years ago[multiple changes]
Arnaud Charlet [Fri, 10 Oct 2014 14:49:04 +0000 (16:49 +0200)]
[multiple changes]

2014-10-10  Robert Dewar  <dewar@adacore.com>

* freeze.adb, sem_attr.adb: Minor reformatting.

2014-10-10  Johannes Kanig  <kanig@adacore.com>

* a-cfdlli.ads, a-cfhama.ads, a-cfhase.ads, a-cforma.ads,
a-cforse.ads, a-cofove.ads: add "Default_Initial_Condition"
to container type.

2014-10-10  Vincent Celier  <celier@adacore.com>

* prj-conf.adb (Do_Autoconf): In Codepeer mode, do not try to get
any configuration switches from the project file.

2014-10-10  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Build_Wrapper): Renamed as Build_Operator_Wrapper.
(Build_Function_Wrapper): New function, to construct a wrapper
function for actuals that are functions with an arbitrary
number of parameters. Used in GNATProve mode to simplify proof
propagation in instantiations.

From-SVN: r216092

9 years ago[multiple changes]
Arnaud Charlet [Fri, 10 Oct 2014 14:45:27 +0000 (16:45 +0200)]
[multiple changes]

2014-10-10  Robert Dewar  <dewar@adacore.com>

* freeze.adb, gnat1drv.adb, sem_ch13.adb: Minor reformatting and
code clean up.

2014-10-10  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_res.adb (Is_OK_Volatile_Context): Allow
a volatile object reference to appear as the expression of a
type conversion.

From-SVN: r216091

9 years ago[multiple changes]
Arnaud Charlet [Fri, 10 Oct 2014 14:42:22 +0000 (16:42 +0200)]
[multiple changes]

2014-10-10  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Analyze_Aspect_Specifications, Library_Unit_Aspects):
Aspect specification is legal on a local instantiation of a
library-level generic unit.

2014-10-10  Gary Dismukes  <dismukes@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Set Front_End_Inlining
if inlining has been enabled via -gnatn and the target is not GCC.

2014-10-10  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb (Freeze_Entity): Freezing a subprogram does
not always freeze its profile. In particular, an attribute
reference that takes the access type does not freeze the types
of the formals.

From-SVN: r216090

9 years ago[multiple changes]
Arnaud Charlet [Fri, 10 Oct 2014 14:39:14 +0000 (16:39 +0200)]
[multiple changes]

2014-10-10  Robert Dewar  <dewar@adacore.com>

* errout.adb (Adjust_Name_Case): New procedure.
(Set_Msg_Node): Use Adjust_Name_Case.
* errout.ads (Adjust_Name_Case): New procedure.
* exp_intr.adb (Add_Source_Info): Minor code reorganization
(use Ekind_In).
(Write_Entity_Name): Use Errout.Adjust_Name_Case.
* sem_prag.adb (Is_Non_Significant_Pragma_Reference): Review
and fix up entries in Sig_Flags, and correct logical errors in
function itself.
* sprint.adb (Sprint_Node_Actual): Properly print string for
raise statement.

2014-10-10  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Analyze_Object_Declaration): For an object of an
anonymous array type with delayed aspects, defer freezing of
type until object itself is frozen.
* freeze.adb (Freeze_Entity): When freezing an object of an
anonymous array type with delayed aspects, remove freeze node of
object after freezing type, to prevent out-of-order elaboration
in the back-end. The initialization call for the object has
already been constructed when expanding the object declaration.

From-SVN: r216089

9 years agoexp_intr.adb (Write_Entity_Name): Moved to outer level
Robert Dewar [Fri, 10 Oct 2014 14:36:07 +0000 (14:36 +0000)]
exp_intr.adb (Write_Entity_Name): Moved to outer level

2014-10-10  Robert Dewar  <dewar@adacore.com>

* exp_intr.adb (Write_Entity_Name): Moved to outer level
(Write_Entity_Name): Properly handle operator names
(Expand_Source_Info): New procedure.
* exp_intr.ads (Add_Source_Info): New procedure.

2014-10-10  Robert Dewar  <dewar@adacore.com>

* butil.ads: Minor reformatting.
* sem_ch5.adb: Code clean up.

2014-10-10  Robert Dewar  <dewar@adacore.com>

* exp_ch11.adb (Expand_N_Raise_Statement): Handle
Prefix_Exception_Messages.
* opt.adb: Handle new flags Prefix_Exception_Message[_Config].
* opt.ads: New flags Prefix_Exception_Message[_Config].
* par-prag.adb: New dummy entry for pragma Prefix_Exception_Messages.
* snames.ads-tmpl: Add entries for new pragma Prefix_Exception_Messages.
* sem_prag.adb: Implement new pragma Prefix_Exception_Messages
* gnat_rm.texi: Document pragma Prefix_Exception_Messages.

From-SVN: r216088

9 years ago[multiple changes]
Arnaud Charlet [Fri, 10 Oct 2014 14:32:30 +0000 (16:32 +0200)]
[multiple changes]

2014-10-10  Gary Dismukes  <dismukes@adacore.com>

* sinfo.ads, gnat_ugn.texi, a-except.adb, a-except-2005.adb,
raise-gcc.c Spelling changes (prolog => prologue, epilog => epilogue).

2014-10-10  Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb (Is_Wrapped_In_Block): Handle properly blocks that
contain pragmas generated for loop invariants and type predicates.
Clarify use of this subprogram.

From-SVN: r216087

9 years ago[multiple changes]
Arnaud Charlet [Fri, 10 Oct 2014 14:00:07 +0000 (16:00 +0200)]
[multiple changes]

2014-10-10  Yannick Moy  <moy@adacore.com>

* sem_prag.adb (Analyze_Global_Item): Accept formal objects in Global
contracts.
* errout.adb, errout.ads (SPARK_Msg_NE): Issue error unless
SPARK_Mode is Off.

2014-10-10  Vadim Godunko  <godunko@adacore.com>

* a-stwima.adb (To_Sequence): Compute size of result array.

2014-10-10  Javier Miranda  <miranda@adacore.com>

* gnat_ugn.texi (Interfacing with C++ at the Class Level): Update the
sources of the example to avoid a warning when the Ada files are
automatically generated by the binding generator.

2014-10-10  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb (Resolve_Attribute, case 'Update): Set
Do_Range_Check on the expression of a record component
association when needed, as is done for array components, when
the corresponding type is a scalar type.

From-SVN: r216084

9 years ago[multiple changes]
Arnaud Charlet [Fri, 10 Oct 2014 13:57:55 +0000 (15:57 +0200)]
[multiple changes]

2014-10-10  Gary Dismukes  <dismukes@adacore.com>

* a-coinho-shared.adb: Minor typo fix.
* prj-env.ads: Minor reformatting.

2014-10-10  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_res.adb (Resolve_String_Literal): Do not
generate a string literal subtype for the default expression of
a formal parameter in GNATprove mode.

2014-10-10  Yannick Moy  <moy@adacore.com>

* errout.adb (SPARK_Msg_N): Issue error unless SPARK_Mode is Off.

2014-10-10  Ed Schonberg  <schonberg@adacore.com>

* exp_ch5.adb (Expand_Formal_Container_Element_Loop): Analyze
declaration for loop parameter before rest of loop, and set
entity kind to prevent assignments to it in the user code.
* sem_ch3.adb (Analyze_Object_Contract): No contracts apply to the
loop parameter in an element iteration over o formal container.

2014-10-10  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Document use of user-level routines to handle
e.g. col major arrays.

2014-10-10  Doug Rupp  <rupp@adacore.com>

* s-osinte-android.adb: Fix misspelling.
* gsocket.h: Tweak the Android quirks.

2014-10-10  Robert Dewar  <dewar@adacore.com>

* errout.ads (SPARK_Msg_N): Fix spec to match change in body.

From-SVN: r216083

9 years agoasan-dg.exp (asan_link_flags): Save ld_library_path.
Max Ostapenko [Fri, 10 Oct 2014 13:41:13 +0000 (16:41 +0300)]
asan-dg.exp (asan_link_flags): Save ld_library_path.

gcc/testsuite/

2014-10-10  Max Ostapenko  <m.ostapenko@partner.samsung.com>

* lib/asan-dg.exp (asan_link_flags): Save ld_library_path.
(asan_finish): Remove restore_ld_library_path_env_vars.
Restore ld_library_path with saved value. Restore LD_LIBRARY_PATH
related env variables by calling set_ld_library_path_env_vars.
* lib/tsan-dg.exp (tsan_link_flags): Save ld_library_path.
(tsan_finish): Remove restore_ld_library_path_env_vars.
Restore ld_library_path with saved value. Restore LD_LIBRARY_PATH
related env variables by calling set_ld_library_path_env_vars.
* lib/ubsan-dg.exp (ubsan_link_flags): Save ld_library_path.
(ubsan_finish): Remove restore_ld_library_path_env_vars.
Restore ld_library_path with saved value. Restore LD_LIBRARY_PATH
related env variables by calling set_ld_library_path_env_vars.

From-SVN: r216082

9 years ago[multiple changes]
Arnaud Charlet [Fri, 10 Oct 2014 13:28:21 +0000 (15:28 +0200)]
[multiple changes]

2014-10-10  Robert Dewar  <dewar@adacore.com>

* sem_ch13.adb: Minor code reorganization.

2014-10-10  Pat Rogers  <rogers@adacore.com>

* gnat_rm.texi: Text now indicates pragma No_Run_Time is not
for users.

2014-10-10  Vadim Godunko  <godunko@adacore.com>

* a-coinho-shared.adb: Add minor comment.
* a-stzmap.adb (To_Sequence): Compute size of result array.

From-SVN: r216081

9 years agoexp_ch3.adb (Build_Init_Procedure): Complete the condition of an if-stmt to match...
Javier Miranda [Fri, 10 Oct 2014 13:23:22 +0000 (13:23 +0000)]
exp_ch3.adb (Build_Init_Procedure): Complete the condition of an if-stmt to match its current documentation.

2014-10-10  Javier Miranda  <miranda@adacore.com>

* exp_ch3.adb (Build_Init_Procedure): Complete the condition of an
if-stmt to match its current documentation.

From-SVN: r216080

9 years ago[AArch64] Add --enable-fix-cortex-a53-835769 configure-time option
Kyrylo Tkachov [Fri, 10 Oct 2014 12:31:51 +0000 (12:31 +0000)]
[AArch64] Add --enable-fix-cortex-a53-835769 configure-time option

* configure.ac: Add --enable-fix-cortex-a53-835769 option.
* configure: Regenerate.
* config/aarch64/aarch64.c (aarch64_override_options): Handle
TARGET_FIX_ERR_A53_835769_DEFAULT.
* config/aarch64/aarch64.opt (mfix-cortex-a53-835769): Set Init
value to 2.
* doc/install.texi (aarch64*-*-*): Document
new --enable-fix-cortex-a53-835769 option.

From-SVN: r216076

9 years ago[AArch64] Implement workaround for ARM Cortex-A53 erratum 835769
Kyrylo Tkachov [Fri, 10 Oct 2014 12:28:45 +0000 (12:28 +0000)]
[AArch64] Implement workaround for ARM Cortex-A53 erratum 835769

* config/aarch64/aarch64.h (FINAL_PRESCAN_INSN): Define.
(ADJUST_INSN_LENGTH): Define.
* config/aarch64/aarch64.opt (mfix-cortex-a53-835769): New option.
* config/aarch64/aarch64.c (is_mem_p): New function.
(is_memory_op): Likewise.
(aarch64_prev_real_insn): Likewise.
(is_madd_op): Likewise.
(dep_between_memop_and_curr): Likewise.
(aarch64_madd_needs_nop): Likewise.
(aarch64_final_prescan_insn): Likewise.
* doc/invoke.texi (AArch64 Options): Document -mfix-cortex-a53-835769
and -mno-fix-cortex-a53-835769 options.

From-SVN: r216075

9 years ago[multiple changes]
Arnaud Charlet [Fri, 10 Oct 2014 12:21:19 +0000 (14:21 +0200)]
[multiple changes]

2014-10-10  Robert Dewar  <dewar@adacore.com>

* sem_ch7.adb, einfo.adb, einfo.ads, sem_prag.adb, sem_ch12.adb,
freeze.adb, sem_util.adb, sem_res.adb, exp_ch6.adb, exp_ch13.adb,
sem_ch6.adb, sem_cat.adb, sem_disp.adb
(Is_Subprogram_Or_Generic_Subprogram): New primitive. Use this primitive
throughout where appropriate.

2014-10-10  Bob Duff  <duff@adacore.com>

* a-coinho-shared.ads: Minor reformatting.
* s-traceb.adb: Minor clean up.

2014-10-10  Robert Dewar  <dewar@adacore.com>

* ali.adb (Scan_ALI): Read and process new GP flag on ALI P line.
* ali.ads (GNATprove_Mode): New component in ALI table.
(GNATprove_Mode_Specified): New global.
* gnatbind.adb (Gnatbind): Give fatal error if any file compiled
in GNATProve mode.
* lib-writ.ads, lib-writ.adb (GP): New flag on P line for
GNATProve_Mode.

2014-10-10  Javier Miranda  <miranda@adacore.com>

* exp_ch3.adb (Build_Init_Procedure): Adding assertion.
(Build_Init_Statement): Ensure that statements
associated with the parent components are located at the beginning
of the returned list of statements.

2014-10-10  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Inherit_Aspects_At_Freeze_Node): If the full
view of a private type T that has a type invariant is a scalar
or constrained array type, the base type created for the full
view has the same type invariant.

From-SVN: r216074

9 years agoexp_util.ads, [...]: Minor code reorganization.
Robert Dewar [Fri, 10 Oct 2014 12:18:17 +0000 (12:18 +0000)]
exp_util.ads, [...]: Minor code reorganization.

2014-10-10  Robert Dewar  <dewar@adacore.com>

* exp_util.ads, sem_ch12.adb, exp_util.adb, i-fortra.ads: Minor code
reorganization.

From-SVN: r216073

9 years agore PR tree-optimization/63464 (compare one character to many: faster)
Jakub Jelinek [Fri, 10 Oct 2014 12:15:30 +0000 (14:15 +0200)]
re PR tree-optimization/63464 (compare one character to many: faster)

PR tree-optimization/63464
* tree-switch-conversion.c (struct case_bit_test): Remove
hi and lo fields, add wide_int mask field.
(emit_case_bit_tests): Add MAXVAL argument, rewrite uses of
hi/lo fields into wide_int mask operations, optimize by pretending
minval to be 0 if maxval is small enough.
(process_switch): Adjust caller.

From-SVN: r216072

9 years agore PR tree-optimization/63379 (Incorrect vectorization when enabling SSE and O3,...
Richard Biener [Fri, 10 Oct 2014 11:17:13 +0000 (11:17 +0000)]
re PR tree-optimization/63379 (Incorrect vectorization when enabling SSE and O3, initialises loop with wrong value)

2014-10-10  Richard Biener  <rguenther@suse.de>

PR tree-optimization/63379
* tree-vect-slp.c (vect_get_constant_vectors): Do not compute
a neutral operand for min/max when it is not a reduction chain.

* gcc.dg/vect/pr63379.c: New testcase.

From-SVN: r216070

9 years agore PR fortran/59488 ([OpenMP] named constant in parallel construct leads to "not...
Jakub Jelinek [Fri, 10 Oct 2014 11:08:37 +0000 (13:08 +0200)]
re PR fortran/59488 ([OpenMP] named constant in parallel construct leads to "not specified in enclosing parallel" error.)

PR fortran/59488
* trans-openmp.c (gfc_omp_predetermined_sharing): Return
OMP_CLAUSE_DEFAULT_SHARED for parameters or vtables.

* gfortran.dg/gomp/pr59488-1.f90: New test.
* gfortran.dg/gomp/pr59488-2.f90: New test.

From-SVN: r216067

9 years agore PR tree-optimization/63476 (ICE: tree check: expected ssa_name, have var_decl...
Richard Biener [Fri, 10 Oct 2014 11:04:39 +0000 (11:04 +0000)]
re PR tree-optimization/63476 (ICE: tree check: expected ssa_name, have var_decl in walk_aliased_vdefs_1, at tree-ssa-alias.c:2689)

2014-10-10  Richard Biener  <rguenther@suse.de>

PR tree-optimization/63476
* tree-ssa-pre.c (struct bb_bitmap_sets): Add vop_on_exit member.
(BB_LIVE_VOP_ON_EXIT): New define.
(create_expression_by_pieces): Assign VUSEs to stmts.
(compute_avail): Track BB_LIVE_VOP_ON_EXIT.
(pass_pre::execute): Assert virtual SSA form is up-to-date
after insertion.

* g++.dg/torture/pr63476.C: New testcase.

From-SVN: r216065

9 years ago* lra-assigns.c (assign_by_spills): Fix thinko in previous change.
Eric Botcazou [Fri, 10 Oct 2014 08:27:52 +0000 (08:27 +0000)]
* lra-assigns.c (assign_by_spills): Fix thinko in previous change.

From-SVN: r216060

9 years ago* lra-assigns.c (assign_by_spills): Error out on spill failure.
Eric Botcazou [Fri, 10 Oct 2014 08:09:39 +0000 (08:09 +0000)]
* lra-assigns.c (assign_by_spills): Error out on spill failure.

From-SVN: r216059

9 years agogfortran.h (gfc_set_implicit_none): Update prototype.
Tobias Burnus [Fri, 10 Oct 2014 06:00:26 +0000 (08:00 +0200)]
gfortran.h (gfc_set_implicit_none): Update prototype.

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

gcc/fortran/
        * gfortran.h (gfc_set_implicit_none): Update prototype.
        * symbol.c (gfc_set_implicit_none): Take and
        use error location. Move diagnostic from here to ...
        * decl.c (gfc_match_implicit_none): ... here. And
        update call. Handle empty implicit-none-spec.
        (gfc_match_implicit): Handle statement-separator ";".

gcc/testsuite/
        * gfortran.dg/implicit_16.f90: New.

From-SVN: r216057

9 years agore PR c++/63207 (ICE in expand_expr_real_l when instantiating a template with a lambd...
Jason Merrill [Fri, 10 Oct 2014 03:28:18 +0000 (23:28 -0400)]
re PR c++/63207 (ICE in expand_expr_real_l when instantiating a template with a lambda that captures a const variable with a dependent initializer)

PR c++/63207
* semantics.c (outer_var_p): Non-static.
(process_outer_var_ref): Split out from finish_id_expression.
* pt.c (tsubst_copy_and_build): Call them.
* cp-tree.h: Declare them.

From-SVN: r216056

9 years agoDaily bump.
GCC Administrator [Fri, 10 Oct 2014 00:16:17 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r216054

9 years agocompiler: Permit "for range x" clauses.
Ian Lance Taylor [Thu, 9 Oct 2014 23:56:07 +0000 (23:56 +0000)]
compiler: Permit "for range x" clauses.

Fixes Issue 8370.

From-SVN: r216051

9 years agosemantics.c (check_constexpr_ctor_body_1): New.
Paolo Carlini [Thu, 9 Oct 2014 19:22:53 +0000 (19:22 +0000)]
semantics.c (check_constexpr_ctor_body_1): New.

/cp
2014-10-09  Paolo Carlini  <paolo.carlini@oracle.com>

* semantics.c (check_constexpr_ctor_body_1): New.
(check_constexpr_ctor_body): Use it; add bool parameter.
(build_data_member_initialization): Handle BIND_EXPR and
USING_STMT in the main conditional.
(build_constexpr_constructor_member_initializers): Do not
handle BIND_EXPR here.
(constexpr_fn_retval): Handle BIND_EXPR in the switch.
(massage_constexpr_body): Don't do it here.
* parser.c (cp_parser_ctor_initializer_opt_and_function_body):
Adjust check_constexpr_ctor_body call.
(cp_parser_compound_statement): Do not pedwarn for compound-statement
in constexpr function in C++14 mode.
* cp-tree.h (check_constexpr_ctor_body): Update declaration.

/testsuite
2014-10-09  Paolo Carlini  <paolo.carlini@oracle.com>

* g++.dg/cpp0x/constexpr-using3.C: New.
* g++.dg/cpp1y/constexpr-local-compound1.C: Likewise.
* g++.dg/cpp1y/constexpr-type-def-compound1.C: Likewise.
* g++.dg/cpp1y/constexpr-local1.C: Extend.
* g++.dg/cpp0x/constexpr-compound.C: Specify expected error.

From-SVN: r216049

9 years agoUpdate soft-fp from glibc.
Joseph Myers [Thu, 9 Oct 2014 18:21:30 +0000 (19:21 +0100)]
Update soft-fp from glibc.

This patch updates libgcc's copy of soft-fp from glibc, adding a
testcase for a bug fix this brings in.

Bootstrapped with no regressions on x86_64-unknown-linux-gnu.

libgcc:
* soft-fp/double.h: Update from glibc.
* soft-fp/eqdf2.c: Likewise.
* soft-fp/eqsf2.c: Likewise.
* soft-fp/eqtf2.c: Likewise.
* soft-fp/extenddftf2.c: Likewise.
* soft-fp/extended.h: Likewise.
* soft-fp/extendsfdf2.c: Likewise.
* soft-fp/extendsftf2.c: Likewise.
* soft-fp/extendxftf2.c: Likewise.
* soft-fp/gedf2.c: Likewise.
* soft-fp/gesf2.c: Likewise.
* soft-fp/getf2.c: Likewise.
* soft-fp/ledf2.c: Likewise.
* soft-fp/lesf2.c: Likewise.
* soft-fp/letf2.c: Likewise.
* soft-fp/op-1.h: Likewise.
* soft-fp/op-2.h: Likewise.
* soft-fp/op-4.h: Likewise.
* soft-fp/op-8.h: Likewise.
* soft-fp/op-common.h: Likewise.
* soft-fp/quad.h: Likewise.
* soft-fp/single.h: Likewise.
* soft-fp/soft-fp.h: Likewise.
* soft-fp/unorddf2.c: Likewise.
* soft-fp/unordsf2.c: Likewise.
* soft-fp/unordtf2.c: Likewise.
* config/c6x/eqd.c (__c6xabi_eqd): Update call to FP_CMP_EQ_D.
* config/c6x/eqf.c (__c6xabi_eqf): Update call to FP_CMP_EQ_S.
* config/c6x/ged.c (__c6xabi_ged): Update call to FP_CMP_D.
* config/c6x/gef.c (__c6xabi_gef): Update call to FP_CMP_S.
* config/c6x/gtd.c (__c6xabi_gtd): Update call to FP_CMP_D.
* config/c6x/gtf.c (__c6xabi_gtf): Update call to FP_CMP_S.
* config/c6x/led.c (__c6xabi_led): Update call to FP_CMP_D.
* config/c6x/lef.c (__c6xabi_lef): Update call to FP_CMP_S.
* config/c6x/ltd.c (__c6xabi_ltd): Update call to FP_CMP_D.
* config/c6x/ltf.c (__c6xabi_ltf): Update call to FP_CMP_S.

gcc/testsuite:
* gcc.dg/torture/float128-extendxf-underflow.c: New test.

From-SVN: r216048

9 years agore PR libstdc++/61909 (Small function optimization not applied to small objects)
Jonathan Wakely [Thu, 9 Oct 2014 18:17:28 +0000 (19:17 +0100)]
re PR libstdc++/61909 (Small function optimization not applied to small objects)

PR libstdc++/61909
* include/std/functional (__is_location_invariant): Treat all
trivially copyable types as location invariant.

From-SVN: r216047

9 years agore PR libstdc++/63322 (std::atomic<T> where T is not trivially copyable should be...
Jonathan Wakely [Thu, 9 Oct 2014 18:17:23 +0000 (19:17 +0100)]
re PR libstdc++/63322 (std::atomic<T> where T is not trivially copyable should be disabled.)

PR libstdc++/63322
* include/std/atomic (atomic): Add assertion for trivially copyable.
* testsuite/29_atomics/atomic/60695.cc: Adjust line number.

From-SVN: r216046

9 years agostatus_cxx2011.xml: Update.
Jonathan Wakely [Thu, 9 Oct 2014 18:17:07 +0000 (19:17 +0100)]
status_cxx2011.xml: Update.

* doc/xml/manual/status_cxx2011.xml: Update.
* doc/html/manual/status.html: Regenerate.

From-SVN: r216045

9 years agore PR c++/63309 (internal compiler error: Segmentation fault)
Jason Merrill [Thu, 9 Oct 2014 18:05:29 +0000 (14:05 -0400)]
re PR c++/63309 (internal compiler error: Segmentation fault)

PR c++/63309
* parser.c (cp_parser_class_head): push_template_decl for members
of templates, too.

From-SVN: r216044

9 years agore PR c++/63415 (internal compiler error: unexpected expression ‘static_cast<int...
Jason Merrill [Thu, 9 Oct 2014 18:05:23 +0000 (14:05 -0400)]
re PR c++/63415 (internal compiler error: unexpected expression ‘static_cast<int>(std::is_same<T, A1>{})’ of kind static_cast_expr)

PR c++/63415
* pt.c (value_dependent_expression_p) [CONSTRUCTOR]: Check the type.
(iterative_hash_template_arg): Likewise.

From-SVN: r216043

9 years agore PR c++/63437 ([C++14] Parenthesized "movable but not copyable" object doesn't...
Jason Merrill [Thu, 9 Oct 2014 18:05:17 +0000 (14:05 -0400)]
re PR c++/63437 ([C++14] Parenthesized "movable but not copyable" object doesn't compile in return statement)

PR c++/63437
* cp-tree.h (REF_PARENTHESIZED_P): Also allow INDIRECT_REF.
* semantics.c (force_paren_expr): And set it.
* typeck.c (check_return_expr): And handle it.

From-SVN: r216042

9 years agoFix r216010 fallout
Markus Trippelsdorf [Thu, 9 Oct 2014 17:52:00 +0000 (17:52 +0000)]
Fix r216010 fallout

This fixes fallout from r216010, which causes Firefox build failures.
Just move the gcc_assert below the new if statement.

From-SVN: r216041

9 years agodecl.c (grokdeclarator): constexpr only implies const in C++11.
Marc Glisse [Thu, 9 Oct 2014 13:53:54 +0000 (15:53 +0200)]
decl.c (grokdeclarator): constexpr only implies const in C++11.

2014-10-09  Marc Glisse  <marc.glisse@inria.fr>

gcc/cp/
* decl.c (grokdeclarator): constexpr only implies const in C++11.
gcc/testsuite/
* g++.dg/cpp0x/constexpr-52892-1.C: Error on missing const in C++14.
* g++.dg/cpp0x/constexpr-array-ptr7.C: Likewise.
* g++.dg/cpp0x/constexpr-diag1.C: Add const.
* g++.dg/cpp0x/constexpr-diag3.C: Likewise.
* g++.dg/cpp0x/constexpr-ex1.C: Likewise.
* g++.dg/cpp0x/constexpr-ex2.C: Likewise.
* g++.dg/cpp0x/constexpr-ex4.C: Likewise.
* g++.dg/cpp0x/constexpr-initlist.C: Likewise.
* g++.dg/cpp0x/constexpr-ptrmem.C: Likewise.
* g++.dg/cpp0x/constexpr-ptrsub.C: Likewise.
* g++.dg/cpp0x/constexpr-ref4.C: Likewise.
* g++.dg/cpp0x/constexpr-static6.C: Likewise.

From-SVN: r216039