Balaji V. Iyer [Mon, 10 Feb 2014 16:56:54 +0000 (16:56 +0000)]
re PR target/59691 (cilk-plus run failures on non-sse processors)
Fix for PR target/59691.
+2014-02-10 Balaji V. Iyer <balaji.v.iyer@intel.com>
+
+ PR target/59691
+ * runtime/config/x86/os-unix-sysdep.c (__builtin_cpu_supports): New
+ function.
+ (restore_x86_fp_state): Added a check if the cpu supports the
+ instruction before emitting it.
+ (sysdep_save_fp_ctrl_state): Likewise.
+
From-SVN: r207664
Rainer Orth [Mon, 10 Feb 2014 16:44:05 +0000 (16:44 +0000)]
Don't xfail gcc.dg/binop-xor1.c
* gcc.dg/binop-xor1.c: Don't xfail scan-tree-dump-times.
From-SVN: r207663
Jeff Law [Mon, 10 Feb 2014 16:25:44 +0000 (09:25 -0700)]
re PR middle-end/52306 (ICE in cselib_record_set, at cselib.c:2158)
PR middle-end/52306
* reload1.c (emit_input_reload_insns): Do not create invalid RTL
when changing the SET_DEST of a prior insn to avoid an input
reload.
PR middle-end-52306
* gcc.c-torture/compile/pr52306.c: New test.
From-SVN: r207662
Rainer Orth [Mon, 10 Feb 2014 16:23:38 +0000 (16:23 +0000)]
Compile g++.dg/ext/vector26.C with -mmmx
* g++.dg/ext/vector26.C: Use -mmmx for 32-bit x86.
From-SVN: r207661
Rainer Orth [Mon, 10 Feb 2014 16:18:20 +0000 (16:18 +0000)]
Don't xfail 22_locale/num_put/put/char/14220.cc etc. on Solaris 9/x86
* testsuite/22_locale/num_put/put/char/14220.cc: Don't xfail
execution on i?86-*-solaris2.9, remove comment.
* testsuite/22_locale/num_put/put/wchar_t/14220.cc: Likewise.
From-SVN: r207660
Ulrich Weigand [Mon, 10 Feb 2014 14:46:24 +0000 (14:46 +0000)]
sysv4.h (ENDIAN_SELECT): Do not attempt to enforce big-endian mode for -mcall-aixdesc...
* config/rs6000/sysv4.h (ENDIAN_SELECT): Do not attempt to enforce
big-endian mode for -mcall-aixdesc, -mcall-freebsd, -mcall-netbsd,
-mcall-openbsd, or -mcall-linux.
(CC1_ENDIAN_BIG_SPEC): Remove.
(CC1_ENDIAN_LITTLE_SPEC): Remove.
(CC1_ENDIAN_DEFAULT_SPEC): Remove.
(CC1_SPEC): Remove (always empty) %cc1_endian_... spec.
(SUBTARGET_EXTRA_SPECS): Remove %cc1_endian_big, %cc1_endian_little,
and %cc1_endian_default.
* config/rs6000/sysv4le.h (CC1_ENDIAN_DEFAULT_SPEC): Remove.
From-SVN: r207658
Richard Biener [Mon, 10 Feb 2014 13:51:23 +0000 (13:51 +0000)]
re PR tree-optimization/60115 (wrong code at -O3 on x86_64-linux-gnu)
2014-02-10 Richard Biener <rguenther@suse.de>
PR tree-optimization/60115
* tree-eh.c (tree_could_trap_p): Unify TARGET_MEM_REF and
MEM_REF handling. Properly verify that the accesses are not
out of the objects bound.
* gcc.dg/torture/pr60115.c: New testcase.
From-SVN: r207656
Kyrylo Tkachov [Mon, 10 Feb 2014 11:25:16 +0000 (11:25 +0000)]
aarch64.c (aarch64_override_options): Fix typo from coretex to cortex.
* config/aarch64/aarch64.c (aarch64_override_options): Fix typo from
coretex to cortex.
From-SVN: r207654
Eric Botcazou [Mon, 10 Feb 2014 11:15:38 +0000 (11:15 +0000)]
ipa-devirt.c (get_polymorphic_call_info_from_invariant): Return proper constants and fix formatting.
* ipa-devirt.c (get_polymorphic_call_info_from_invariant): Return
proper constants and fix formatting.
(possible_polymorphic_call_targets): Fix formatting.
From-SVN: r207653
Eric Botcazou [Mon, 10 Feb 2014 11:09:21 +0000 (11:09 +0000)]
pr33426-ivdep-3.cc: Require vect_int_mult as well.
* g++.dg/vect/pr33426-ivdep-3.cc: Require vect_int_mult as well.
* g++.dg/vect/pr33426-ivdep-4.cc: Likewise.
From-SVN: r207652
Kirill Yukhin [Mon, 10 Feb 2014 10:36:59 +0000 (10:36 +0000)]
avx512fintrin.h (_mm512_storeu_epi64): Removed.
gcc/
* config/i386/avx512fintrin.h (_mm512_storeu_epi64): Removed.
(_mm512_loadu_epi32): Renamed into...
(_mm512_loadu_si512): This.
(_mm512_storeu_epi32): Renamed into...
(_mm512_storeu_si512): This.
(_mm512_maskz_ceil_ps): Removed.
(_mm512_maskz_ceil_pd): Ditto.
(_mm512_maskz_floor_ps): Ditto.
(_mm512_maskz_floor_pd): Ditto.
(_mm512_floor_round_ps): Ditto.
(_mm512_floor_round_pd): Ditto.
(_mm512_ceil_round_ps): Ditto.
(_mm512_ceil_round_pd): Ditto.
(_mm512_mask_floor_round_ps): Ditto.
(_mm512_mask_floor_round_pd): Ditto.
(_mm512_mask_ceil_round_ps): Ditto.
(_mm512_mask_ceil_round_pd): Ditto.
(_mm512_maskz_floor_round_ps): Ditto.
(_mm512_maskz_floor_round_pd): Ditto.
(_mm512_maskz_ceil_round_ps): Ditto.
(_mm512_maskz_ceil_round_pd): Ditto.
(_mm512_expand_pd): Ditto.
(_mm512_expand_ps): Ditto.
* config/i386/i386.c (ix86_builtins): Remove
IX86_BUILTIN_EXPANDPD512_NOMASK, IX86_BUILTIN_EXPANDPS512_NOMASK.
(bdesc_args): Ditto.
* config/i386/predicates.md (const1256_operand): New.
(const_1_to_2_operand): Ditto.
* config/i386/sse.md (avx512pf_gatherpf<mode>sf): Change hint value.
(*avx512pf_gatherpf<mode>sf_mask): Ditto.
(*avx512pf_gatherpf<mode>sf): Ditto.
(avx512pf_gatherpf<mode>df): Ditto.
(*avx512pf_gatherpf<mode>df_mask): Ditto.
(*avx512pf_gatherpf<mode>df): Ditto.
(avx512pf_scatterpf<mode>sf): Ditto.
(*avx512pf_scatterpf<mode>sf_mask): Ditto.
(*avx512pf_scatterpf<mode>sf): Ditto.
(avx512pf_scatterpf<mode>df): Ditto.
(*avx512pf_scatterpf<mode>df_mask): Ditto.
(*avx512pf_scatterpf<mode>df): Ditto.
(avx512f_expand<mode>): Removed.
(<shift_insn><mode>3<mask_name>): Change predicate type.
testsuite/gcc/
* gcc.target/i386/avx512f-vexpandpd-1.c: Update intrinsics.
* gcc.target/i386/avx512f-vexpandps-1.c: Ditto.
* gcc.target/i386/avx512f-vexpandpd-2.c: Ditto.
* gcc.target/i386/avx512f-vexpandps-2.c: Ditto.
* gcc.target/i386/avx512f-vmovdqu32-1: Ditto.
* gcc.target/i386/avx512f-vmovdqu32-2: Ditto.
* gcc.target/i386/avx512f-vmovdqu64-1: Ditto.
* gcc.target/i386/avx512f-vmovdqu64-2: Ditto.
* gcc.target/i386/avx512f-vpcmpd-2.c: Ditto.
* gcc.target/i386/avx512f-vpcmpq-2.c: Ditto.
* gcc.target/i386/avx512f-vpcmupd-2.c: Ditto.
* gcc.target/i386/avx512f-vpcmupq-2.c: Ditto.
* gcc.target/i386/avx512f-vrndscalepd-1.c: Ditto.
* gcc.target/i386/avx512f-vrndscaleps-1.c: Ditto.
* gcc.target/i386/avx512f-vrndscalepd-2.c: Ditto.
* gcc.target/i386/avx512f-vrndscaleps-2.c: Ditto.
* gcc.target/i386/avx512pf-vgatherpf0dpd-1.c: Update parameters.
* gcc.target/i386/avx512pf-vgatherpf0dps-1.c: Ditto.
* gcc.target/i386/avx512pf-vgatherpf0qpd-1.c: Ditto.
* gcc.target/i386/avx512pf-vgatherpf0qps-1.c: Ditto.
* gcc.target/i386/avx512pf-vgatherpf1dpd-1.c: Ditto.
* gcc.target/i386/avx512pf-vgatherpf1dps-1.c: Ditto.
* gcc.target/i386/avx512pf-vgatherpf1qpd-1.c: Ditto.
* gcc.target/i386/avx512pf-vgatherpf1qps-1.c: Ditto.
* gcc.target/i386/avx512f-vpsrad-2.c: Initialize 64 bits.
* gcc.target/i386/avx512f-vpslld-2.c: Ditto.
* gcc.target/i386/avx512f-vpsrld-2.c: Ditto.
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
From-SVN: r207651
Jakub Jelinek [Mon, 10 Feb 2014 10:01:23 +0000 (11:01 +0100)]
pr59984.c: Require effective target vect_simd_clones.
* gcc.dg/vect/pr59984.c: Require effective target
vect_simd_clones.
From-SVN: r207650
GCC Administrator [Mon, 10 Feb 2014 00:16:44 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r207649
Paul Thomas [Sun, 9 Feb 2014 20:50:21 +0000 (20:50 +0000)]
re PR fortran/57522 ([F03] ASSOCIATE construct creates array descriptor with incorrect stride for derived type array component)
2014-02-09 Paul Thomas <pault@gcc.gnu.org>
PR fortran/57522
* resolve.c (resolve_assoc_var): Set the subref_array_pointer
attribute for the 'associate-name' if necessary.
* trans-stmt.c (trans_associate_var): If the 'associate-name'
is a subref_array_pointer, assign the element size of the
associate variable to 'span'.
2014-02-09 Paul Thomas <pault@gcc.gnu.org>
PR fortran/57522
* gfortran.dg/associated_target_5.f03 : New test
From-SVN: r207646
Paul Thomas [Sun, 9 Feb 2014 19:45:06 +0000 (19:45 +0000)]
re PR fortran/59026 (ELEMENTAL procedure with VALUE arguments emits wrong code)
2014-02-09 Paul Thomas <pault@gcc.gnu.org>
PR fortran/59026
* trans-expr.c (gfc_conv_procedure_call): Pass the value of the
actual argument to a formal argument with the value attribute
in an elemental procedure.
2014-02-09 Paul Thomas <pault@gcc.gnu.org>
PR fortran/59026
* gfortran.dg/elemental_by_value_1.f90 : New test
From-SVN: r207645
Richard Sandiford [Sun, 9 Feb 2014 14:19:13 +0000 (14:19 +0000)]
baseline_symbols.txt: New file.
libstdc++-v3/
* config/abi/post/mips64-linux-gnu/32/baseline_symbols.txt: New file.
* config/abi/post/mips64-linux-gnu/baseline_symbols.txt: Update.
* config/abi/post/mips64-linux-gnu/64/baseline_symbols.txt: Likewise.
From-SVN: r207643
GCC Administrator [Sun, 9 Feb 2014 00:16:51 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r207641
Janus Weil [Sat, 8 Feb 2014 21:32:25 +0000 (22:32 +0100)]
re PR fortran/58470 ([OOP] ICE on invalid with FINAL procedure and type extension)
2014-02-08 Janus Weil <janus@gcc.gnu.org>
Mikael Morin <mikael.morin@gcc.gnu.org>
PR fortran/58470
* class.c (generate_finalization_wrapper): Assert that proc_tree has
been set in gfc_resolve_finalizers.
* resolve.c (resolve_fl_derived0): Remove unnecessary call to
gfc_is_finalizable.
2014-02-08 Janus Weil <janus@gcc.gnu.org>
PR fortran/58470
* gfortran.dg/finalize_22.f90: New.
Co-Authored-By: Mikael Morin <mikael@gcc.gnu.org>
From-SVN: r207636
Paul Thomas [Sat, 8 Feb 2014 16:22:46 +0000 (16:22 +0000)]
re PR fortran/60066 (Bad elemental invocation of non-scalar base object)
2014-02-08 Paul Thomas <pault@gcc.gnu.org>
PR fortran/60066
* gfortran.dg/elemental_subroutine_10.f90 : New test. This PR
was fixed by the patch for PR59906.
From-SVN: r207633
Jakub Jelinek [Sat, 8 Feb 2014 14:52:39 +0000 (15:52 +0100)]
tree-vect-data-refs.c (vect_analyze_data_refs): For clobbers not at the end of datarefs vector use ordered_remove to avoid...
* tree-vect-data-refs.c (vect_analyze_data_refs): For clobbers
not at the end of datarefs vector use ordered_remove to avoid
reordering datarefs vector.
From-SVN: r207632
Andreas Schwab [Sat, 8 Feb 2014 09:33:24 +0000 (09:33 +0000)]
re PR translation/52289 (translatable string typo: "must not be have")
PR translation/52289
* gfortran.dg/coarray_8.f90: Update dg-error match.
From-SVN: r207630
Jakub Jelinek [Sat, 8 Feb 2014 09:10:14 +0000 (10:10 +0100)]
re PR c/59984 (OpenMP pragma makes loop incorrect)
PR c/59984
* gimplify.c (gimplify_bind_expr): In ORT_SIMD region
mark local addressable non-static vars as GOVD_PRIVATE
instead of GOVD_LOCAL.
* omp-low.c (lower_omp_for): Move gimple_bind_vars
and BLOCK_VARS of gimple_bind_block to new_stmt rather
than copying them.
* gcc.dg/vect/pr59984.c: New test.
From-SVN: r207629
Jakub Jelinek [Sat, 8 Feb 2014 09:09:01 +0000 (10:09 +0100)]
re PR middle-end/60092 (posix_memalign not recognized to derive alias and alignment info)
PR middle-end/60092
* tree-ssa-ccp.c (surely_varying_stmt_p): Don't return true
if TYPE_ATTRIBUTES (gimple_call_fntype ()) contain
assume_aligned or alloc_align attributes.
(bit_value_assume_aligned): Add ATTR, PTRVAL and ALLOC_ALIGN
arguments. Handle also assume_aligned and alloc_align attributes.
(evaluate_stmt): Adjust bit_value_assume_aligned caller.
Handle calls to functions with assume_aligned or alloc_align
attributes.
* doc/extend.texi: Document assume_aligned and alloc_align
attributes.
c-family/
* c-common.c (handle_alloc_size_attribute): Use tree_fits_uhwi_p
and tree_to_uhwi.
(handle_alloc_align_attribute, handle_assume_aligned_attribute): New
functions.
(c_common_attribute_table): Add alloc_align and assume_aligned
attributes.
testsuite/
* gcc.dg/attr-alloc_align-1.c: New test.
* gcc.dg/attr-alloc_align-2.c: New test.
* gcc.dg/attr-alloc_align-3.c: New test.
* gcc.dg/attr-assume_aligned-1.c: New test.
* gcc.dg/attr-assume_aligned-2.c: New test.
* gcc.dg/attr-assume_aligned-3.c: New test.
From-SVN: r207628
Terry Guo [Sat, 8 Feb 2014 01:33:54 +0000 (01:33 +0000)]
invoke.texi: Document ARM -march=armv7e-m.
2014-02-08 Terry Guo <terry.guo@arm.com>
* doc/invoke.texi: Document ARM -march=armv7e-m.
From-SVN: r207627
GCC Administrator [Sat, 8 Feb 2014 00:16:41 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r207626
Jakub Jelinek [Fri, 7 Feb 2014 23:58:29 +0000 (00:58 +0100)]
cilk-common.c (cilk_init_builtins): Clear TREE_NOTHROW flag on __cilkrts_rethrow builtin.
* cilk-common.c (cilk_init_builtins): Clear TREE_NOTHROW
flag on __cilkrts_rethrow builtin.
From-SVN: r207623
Jakub Jelinek [Fri, 7 Feb 2014 23:55:24 +0000 (00:55 +0100)]
re PR target/60077 (gcc.target/i386/pr35767-5.c FAILs)
PR target/60077
* gcc.target/i386/pr60077-1.c: New test.
* gcc.target/i386/pr60077-2.c: New test.
From-SVN: r207622
Jakub Jelinek [Fri, 7 Feb 2014 23:54:17 +0000 (00:54 +0100)]
re PR ipa/60026 (ICE at -O3 on valid code (with the optimize pragma) on x86_64-linux-gnu)
PR ipa/60026
* ipa-cp.c (determine_versionability): Fail at -O0
or __attribute__((optimize (0))) or -fno-ipa-cp functions.
* tree-sra.c (ipa_sra_preliminary_function_checks): Similarly.
Revert:
2014-02-04 Jakub Jelinek <jakub@redhat.com>
PR ipa/60026
* tree-inline.c (copy_forbidden): Fail for
__attribute__((optimize (0))) functions.
From-SVN: r207621
Jan Hubicka [Fri, 7 Feb 2014 23:49:18 +0000 (00:49 +0100)]
varpool.c: Include pointer-set.h.
* varpool.c: Include pointer-set.h.
(varpool_remove_unreferenced_decls): Variables in other partitions
will not be output; be however careful to not lose information
about partitioning.
From-SVN: r207620
Jan Hubicka [Fri, 7 Feb 2014 23:47:17 +0000 (00:47 +0100)]
* lto.c (unify_scc): Free CONSTRUCTOR_ELTS.
From-SVN: r207619
Jan Hubicka [Fri, 7 Feb 2014 23:26:39 +0000 (00:26 +0100)]
gimple-fold.c (gimple_get_virt_method_for_vtable): Do O(1) lookup in the vtable constructor.
* gimple-fold.c (gimple_get_virt_method_for_vtable): Do O(1)
lookup in the vtable constructor.
From-SVN: r207616
Jeff Law [Fri, 7 Feb 2014 22:35:49 +0000 (15:35 -0700)]
re PR target/40977 (problem with code like this: res = ((uint64_t)resh << 32) | resl;)
PR target/40977
* config/m68k/m68k.md (ashldi_extsi): Turn into a
define_insn_and_split.
From-SVN: r207615
Prathamesh Kulkarni [Fri, 7 Feb 2014 22:09:01 +0000 (22:09 +0000)]
c-parser.c (c_parser_get_builtin_args): Replace calls to C_EXPR_APPEND by vec_safe_push.
* c-parser.c (c_parser_get_builtin_args): Replace calls to
C_EXPR_APPEND by vec_safe_push.
* c-tree.h (C_EXPR_APPEND): Remove.
From-SVN: r207614
Misty De Meo [Fri, 7 Feb 2014 21:10:55 +0000 (21:10 +0000)]
re PR libgcc/58710 (HAVE_GETIPINFO is incorrectly set on Mac OS X 10.4)
PR target/58710
* configure.ac: Use AC_LINK_IFELSE in check for
_Unwind_GetIPInfo.
* configure: Regenerate.
From-SVN: r207612
Benno Schulenberg [Fri, 7 Feb 2014 17:52:59 +0000 (17:52 +0000)]
re PR translation/52289 (translatable string typo: "must not be have")
PR translation/52289
* fortran/resolve.c (resolve_ordinary_assign): Fix typoed word
in an error message.
From-SVN: r207609
Jeff Law [Fri, 7 Feb 2014 17:29:26 +0000 (10:29 -0700)]
* ipa-inline.c (inline_small_functions): Fix typos.
From-SVN: r207608
Jakub Jelinek [Fri, 7 Feb 2014 16:42:24 +0000 (17:42 +0100)]
re PR preprocessor/56824 (pragma GCC diagnostic push/pop fail with GCC diagnostic ignored "-Waggregate-return")
PR preprocessor/56824
* line-map.c (get_combined_adhoc_loc, linemap_get_expansion_line,
linemap_get_expansion_filename, linemap_location_in_system_header_p,
linemap_location_from_macro_expansion_p,
linemap_macro_loc_to_spelling_point, linemap_macro_loc_to_def_point,
linemap_macro_loc_to_exp_point, linemap_expand_location): Fix
formatting.
(linemap_compare_locations): Look through adhoc locations for both
l0 and l1.
* gcc.dg/pr56824.c: New test.
From-SVN: r207606
Richard Sandiford [Fri, 7 Feb 2014 14:52:26 +0000 (14:52 +0000)]
gcc/
* config/s390/s390-protos.h (s390_can_use_simple_return_insn)
(s390_can_use_return_insn): Declare.
* config/s390/s390.h (EPILOGUE_USES): Define.
* config/s390/s390.c (s390_mainpool_start): Allow two main_pool
instructions.
(s390_chunkify_start): Handle return JUMP_LABELs.
(s390_early_mach): Emit a main_pool instruction on the entry edge.
(s300_set_up_by_prologue, s390_can_use_simple_return_insn)
(s390_can_use_return_insn): New functions.
(s390_fix_long_loop_prediction): Handle conditional returns.
(TARGET_SET_UP_BY_PROLOGUE): Define.
* config/s390/s390.md (ANY_RETURN): New code iterator.
(*creturn, *csimple_return, return, simple_return): New patterns.
From-SVN: r207605
Richard Sandiford [Fri, 7 Feb 2014 14:52:13 +0000 (14:52 +0000)]
s390.c (s390_restore_gprs_from_fprs): Add REG_CFA_RESTORE notes to each restore.
gcc/
* config/s390/s390.c (s390_restore_gprs_from_fprs): Add REG_CFA_RESTORE
notes to each restore. Also add REG_CFA_DEF_CFA when restoring %r15.
(s390_optimize_prologue): Don't clear RTX_FRAME_RELATED_P. Update the
REG_CFA_RESTORE list when deciding not to restore a register.
From-SVN: r207604
Richard Sandiford [Fri, 7 Feb 2014 14:50:19 +0000 (14:50 +0000)]
s390.c: Include tree-pass.h and context.h.
gcc/
* config/s390/s390.c: Include tree-pass.h and context.h.
(s390_early_mach): New function, split out from...
(s390_emit_prologue): ...here.
(pass_data_s390_early_mach): New pass structure.
(pass_s390_early_mach): New class.
(s390_option_override): Create and register early_mach pass.
Move to end of file.
From-SVN: r207603
Richard Sandiford [Fri, 7 Feb 2014 14:49:12 +0000 (14:49 +0000)]
var-tracking.c (vt_stack_adjustments): Don't require stack_adjusts to match for the exit block.
gcc/
* var-tracking.c (vt_stack_adjustments): Don't require stack_adjusts
to match for the exit block.
From-SVN: r207602
Andreas Krebbel [Fri, 7 Feb 2014 14:22:41 +0000 (14:22 +0000)]
2014-02-07 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
* config/s390/s390.md ("atomic_load<mode>", "atomic_store<mode>")
("atomic_compare_and_swap<mode>", "atomic_fetch_<atomic><mode>"):
Reject misaligned operands.
From-SVN: r207601
Andreas Krebbel [Fri, 7 Feb 2014 14:21:29 +0000 (14:21 +0000)]
gcc-have-sync-compare-and-swap.c: Align the 16 byte variable used for atomic operations.
2014-02-07 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
* gcc.dg/gcc-have-sync-compare-and-swap.c: Align the 16 byte
variable used for atomic operations.
From-SVN: r207600
Andreas Krebbel [Fri, 7 Feb 2014 14:20:17 +0000 (14:20 +0000)]
optabs.c (expand_atomic_compare_and_swap): Allow expander to fail.
2014-02-07 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
* optabs.c (expand_atomic_compare_and_swap): Allow expander to
fail.
From-SVN: r207599
Richard Biener [Fri, 7 Feb 2014 13:41:10 +0000 (13:41 +0000)]
re PR middle-end/60092 (posix_memalign not recognized to derive alias and alignment info)
2014-02-07 Richard Biener <rguenther@suse.de>
PR middle-end/60092
* gimple-low.c (lower_builtin_posix_memalign): New function.
(lower_stmt): Call it to lower posix_memalign in a way
to make alignment info accessible.
* gcc.dg/vect/pr60092-2.c: New testcase.
From-SVN: r207598
Jakub Jelinek [Fri, 7 Feb 2014 10:49:08 +0000 (11:49 +0100)]
re PR c++/60082 (Certain Cilk keywords executable Hanging for -O1)
PR c++/60082
* tree.c (build_common_builtin_nodes): Set ECF_LEAF for
__builtin_setjmp_receiver.
Revert
2014-02-05 Balaji V. Iyer <balaji.v.iyer@intel.com>
* g++.dg/cilk-plus/CK/catch_exc.cc: Disable test for -O1.
* c-c++-common/cilk-plus/CK/spawner_inline.c: Likewise.
From-SVN: r207597
Andreas Krebbel [Fri, 7 Feb 2014 10:14:24 +0000 (10:14 +0000)]
_fixdfdi.c: Throw invalid exception if number cannot be represented.
2014-02-07 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
* config/s390/32/_fixdfdi.c: Throw invalid exception if number
cannot be represented.
* config/s390/32/_fixsfdi.c: Likewise.
* config/s390/32/_fixtfdi.c: Likewise.
* config/s390/32/_fixunsdfdi.c: Likewise.
* config/s390/32/_fixunssfdi.c: Likewise.
* config/s390/32/_fixunstfdi.c: Likewise.
2014-02-07 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
* gcc.target/s390/fp2int1.c: New testcase.
From-SVN: r207596
Richard Biener [Fri, 7 Feb 2014 09:33:23 +0000 (09:33 +0000)]
re PR middle-end/60092 (posix_memalign not recognized to derive alias and alignment info)
2014-02-07 Richard Biener <rguenther@suse.de>
PR middle-end/60092
* builtin-types.def (BT_FN_INT_PTRPTR_SIZE_SIZE): Add.
* builtins.def (BUILT_IN_POSIX_MEMALIGN): Likewise.
* tree-ssa-structalias.c (find_func_aliases_for_builtin_call):
Handle BUILT_IN_POSIX_MEMALIGN.
(find_func_clobbers): Likewise.
* tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Likewise.
(call_may_clobber_ref_p_1): Likewise.
* gcc.dg/tree-ssa/alias-30.c: New testcase.
* gcc.dg/tree-ssa/alias-31.c: Likewise.
From-SVN: r207595
Richard Sandiford [Fri, 7 Feb 2014 07:46:34 +0000 (07:46 +0000)]
configure.ac (libgcc_cv_mips_hard_float): New.
libgcc/
* configure.ac (libgcc_cv_mips_hard_float): New.
* configure: Regenerate.
* config.host (mips*-*-*): Use t-hardfp-sfdf rather than
t-softfp-sfdf for hard-float targets.
* config/mips/t-mips (LIB2_SIDITI_CONV_FUNCS): Reinstate.
(softfp_float_modes, softfp_int_modes, softfp_extensions)
(softfp_truncations, softfp_exclude_libgcc2): New.
* config/t-hardfp: New file.
* config/t-hardfp-sfdf: Likewise.
* config/hardfp.c: Likewise.
From-SVN: r207593
Jan Hubicka [Fri, 7 Feb 2014 06:01:36 +0000 (07:01 +0100)]
re PR ipa/59918 (ICE in record_target_from_binfo, at ipa-devirt.c:693)
PR ipa/59918
* ipa-devirt.c (record_target_from_binfo): Remove overactive sanity check.
* g++.dg/torture/pr59918.C: New testcase.
From-SVN: r207592
Jan Hubicka [Fri, 7 Feb 2014 02:28:33 +0000 (02:28 +0000)]
re PR ipa/59469 (LLVM build failure with gcc LTO)
PR ipa/59469
* lto-cgraph.c (lto_output_node): Use
symtab_get_symbol_partitioning_class.
(lto_output_varpool_node): likewise.
(symtab_get_symbol_partitioning_class): Move here from
lto/lto-partition.c
* cgraph.h (symbol_partitioning_class): Likewise.
(symtab_get_symbol_partitioning_class): Declare.
From-SVN: r207591
Jan Hubicka [Fri, 7 Feb 2014 02:27:37 +0000 (02:27 +0000)]
re PR ipa/59469 (LLVM build failure with gcc LTO)
PR ipa/59469
* lto-cgraph.c (lto_output_node): Use
symtab_get_symbol_partitioning_class.
(lto_output_varpool_node): likewise.
(symtab_get_symbol_partitioning_class): Move here from
lto/lto-partition.c
* cgraph.h (symbol_partitioning_class): Likewise.
(symtab_get_symbol_partitioning_class): Declare.
From-SVN: r207590
Jan Hubicka [Fri, 7 Feb 2014 02:27:05 +0000 (03:27 +0100)]
re PR ipa/59469 (LLVM build failure with gcc LTO)
PR ipa/59469
* lto-cgraph.c (lto_output_node): Use
symtab_get_symbol_partitioning_class.
(lto_output_varpool_node): likewise.
(symtab_get_symbol_partitioning_class): Move here from
lto/lto-partition.c
* cgraph.h (symbol_partitioning_class): Likewise.
(symtab_get_symbol_partitioning_class): Declare.
* lto-partition.c (symbol_class): Move to cgraph.h
(get_symbol_class): Move to symtab.c
(add_references_to_partition, add_symbol_to_partition_1,
lto_max_map, lto_1_to_1_map, lto_balanced_map,
lto_promote_cross_file_statics): Update.
From-SVN: r207589
Jan Hubicka [Fri, 7 Feb 2014 02:14:58 +0000 (03:14 +0100)]
parser.c (synthesize_implicit_template_parm): Use grow_tree_vec.
* parser.c (synthesize_implicit_template_parm): Use grow_tree_vec.
* ggc.h (ggc_internal_cleared_alloc): New macro.
* vec.h (vec_safe_copy): Handle memory stats.
* omp-low.c (simd_clone_struct_alloc): Use ggc_internal_cleared_alloc.
* target-globals.c (save_target_globals): Likewise.
From-SVN: r207588
Jakub Jelinek [Fri, 7 Feb 2014 02:11:27 +0000 (03:11 +0100)]
re PR target/60077 (gcc.target/i386/pr35767-5.c FAILs)
PR target/60077
* expr.c (emit_move_resolve_push): Export; be bit more selective
on when to clear alias set.
* expr.h (emit_move_resolve_push): Declare.
* function.h (struct function): Add tail_call_marked.
* tree-tailcall.c (optimize_tail_call): Set tail_call_marked.
* config/i386/i386-protos.h (ix86_expand_push): Remove.
* config/i386/i386.md (TImode move expander): De not call
ix86_expand_push.
(FP push expanders): Preserve memory attributes.
* config/i386/sse.md (push<mode>1): Remove.
* config/i386/i386.c (ix86_expand_vector_move): Handle push
operation.
(ix86_expand_push): Remove.
* config/i386/mmx.md (push<mode>1): Remove.
From-SVN: r207587
GCC Administrator [Fri, 7 Feb 2014 00:16:57 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r207586
Jakub Jelinek [Thu, 6 Feb 2014 21:54:21 +0000 (22:54 +0100)]
re PR rtl-optimization/60030 (ICE in simplify_subreg, at simplify-rtx.c:5903)
PR rtl-optimization/60030
* internal-fn.c (ubsan_expand_si_overflow_mul_check): Surround
lopart with paradoxical subreg before shifting it up by hprec.
From-SVN: r207582
Kyrylo Tkachov [Thu, 6 Feb 2014 16:51:03 +0000 (16:51 +0000)]
[ARM] Cortex-A57 rtx costs
* config/arm/aarch-cost-tables.h (cortexa57_extra_costs): New table.
Remove extra newline at end of file.
* config/arm/arm.c (arm_cortex_a57_tune): New tuning struct.
(arm_issue_rate): Handle cortexa57.
* config/arm/arm-cores.def (cortex-a57): Use cortex_a57 tuning.
(cortex-a57.cortex-a53): Likewise.
From-SVN: r207565
Jakub Jelinek [Thu, 6 Feb 2014 15:52:36 +0000 (16:52 +0100)]
re PR debug/59575 (ICE in maybe_record_trace_start, at dwarf2cfi.c:2239)
PR target/59575
* config/arm/arm.c (emit_multi_reg_push): Add dwarf_regs_mask argument,
don't record in REG_FRAME_RELATED_EXPR registers not set in that
bitmask.
(arm_expand_prologue): Adjust all callers.
(arm_unwind_emit_sequence): Allow saved, but not important for unwind
info, registers also at the lowest numbered registers side. Use
gcc_assert instead of abort, and SET_SRC/SET_DEST macros instead of
XEXP.
* gcc.target/arm/pr59575.c: New test.
From-SVN: r207564
Jakub Jelinek [Thu, 6 Feb 2014 15:52:17 +0000 (16:52 +0100)]
re PR debug/59575 (ICE in maybe_record_trace_start, at dwarf2cfi.c:2239)
PR target/59575
* config/arm/arm.c (emit_multi_reg_push): Add dwarf_regs_mask argument,
don't record in REG_FRAME_RELATED_EXPR registers not set in that
bitmask.
(arm_expand_prologue): Adjust all callers.
(arm_unwind_emit_sequence): Allow saved, but not important for unwind
info, registers also at the lowest numbered registers side. Use
gcc_assert instead of abort, and SET_SRC/SET_DEST macros instead of
XEXP.
* gcc.target/arm/pr59575.c: New test.
From-SVN: r207563
Jakub Jelinek [Thu, 6 Feb 2014 15:47:12 +0000 (16:47 +0100)]
re PR debug/59992 (Compilation of insn-recog.c too slow due to var-tracking)
PR debug/59992
* var-tracking.c (adjust_mems): Before adding a SET
to amd->side_effects, adjust it's SET_SRC using
simplify_replace_fn_rtx.
* gcc.dg/pr59992.c: New test.
From-SVN: r207562
Marc Glisse [Thu, 6 Feb 2014 15:32:27 +0000 (16:32 +0100)]
constexpr-attribute2.C: Restrict to target init_priority.
2014-02-06 Marc Glisse <marc.glisse@inria.fr>
* g++.dg/cpp0x/constexpr-attribute2.C: Restrict to target
init_priority. Test alignment of variable instead of function.
From-SVN: r207561
Arnaud Charlet [Thu, 6 Feb 2014 14:16:52 +0000 (15:16 +0100)]
Code clean ups.
From-SVN: r207560
Arnaud Charlet [Thu, 6 Feb 2014 14:15:51 +0000 (15:15 +0100)]
[multiple changes]
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Refined_Pragma): Remove
local variable Pack_Spec. Refinement pragmas may now apply to
bodies of both visible and private subprograms.
2014-02-06 Robert Dewar <dewar@adacore.com>
* exp_attr.adb (Expand_Loop_Entry_Attribute):
Minor change (Attr => N) (Expand_Pred_Succ): New name
Expand_Pred_Succ_Attribute (Expand_N_Attribute_Reference, case
Max): Expand into if expression if Modify_Tree_For_C mode.
(Expand_N_Attribute_Reference, case Min): ditto
* sinfo.ads: Modify_Tree_For_C takes care of expanding Min and
Max attributes.
2014-02-06 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): Do not generate
predicate check if this is an internal declaration with
No_Initialization set, as for an expanded aggregate component.
2014-02-06 Doug Rupp <rupp@adacore.com>
* init.c (__gnat_default_resignal_p) [VMS]: Test for and resignal
conditions with severity of "SUCCESS" or "INFORMATIONAL".
From-SVN: r207559
Arnaud Charlet [Thu, 6 Feb 2014 14:13:53 +0000 (15:13 +0100)]
[multiple changes]
2014-02-06 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Analyze_Pragma): Analyze pragma
Debug rewritten node before rewriting it as a null statement in
GNATprove mode.
2014-02-06 Robert Dewar <dewar@adacore.com>
* sem_attr.adb (Min_Max): New procedure.
(Max_Alignment_For_Allocation_Max_Size_In_Storage_Elements): New
procedure.
From-SVN: r207558
Arnaud Charlet [Thu, 6 Feb 2014 14:11:59 +0000 (15:11 +0100)]
2014-02-06 Sergey Rybin <rybin@adacore.com frybin>
* gnat_ugn.texi, vms_data.ads: Add documentation of '-t' option for
gnatmetric/gnatpp.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Abstract_State): Update
all calls to Create_Abstract_State to pass the proper state
"declaration".
(Create_Abstract_State): Add new formal parameter
State_Decl along with comment on usage. Establish a link between
the abstract state entity and the state declaration.
From-SVN: r207557
Robert Dewar [Thu, 6 Feb 2014 14:09:36 +0000 (14:09 +0000)]
sem_attr.adb (Analyze_Attribute, case Max): Check for improper comparison of unordered enumeration type.
2014-02-06 Robert Dewar <dewar@adacore.com>
* sem_attr.adb (Analyze_Attribute, case Max): Check for improper
comparison of unordered enumeration type.
(Analyze_Attribute, case Max): Check for improper comparison of
unordered enumeration type.
* sem_res.adb (Bad_Unordered_Enumeration_Reference): Moved to
sem_util.adb.
* sem_util.ads, sem_util.adb (Bad_Unordered_Enumeration_Reference):
Moved here from Sem_Res.
From-SVN: r207556
Arnaud Charlet [Thu, 6 Feb 2014 14:04:00 +0000 (15:04 +0100)]
[multiple changes]
2014-02-06 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, sem_prag.adb, sem_res.adb, lib-xref.adb: Minor
reformatting.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch6.adb (Process_Formals): Error message reformatting.
From-SVN: r207555
Marek Polacek [Thu, 6 Feb 2014 13:57:37 +0000 (13:57 +0000)]
re PR c/60087 (Incorrect column number for -Wsign-compare)
PR c/60087
c-family/
* c-common.c (warn_for_sign_compare): Call warning_at with location
instead of warning.
testsuite/
* gcc.dg/pr60087.c: New test.
From-SVN: r207554
Alan Modra [Thu, 6 Feb 2014 13:25:38 +0000 (23:55 +1030)]
re PR target/60032 (ICE in reload_cse_simplify_operands, at postreload.c:411)
PR target/60032
gcc/
* config/rs6000/rs6000.c (rs6000_secondary_memory_needed_mode): Only
change SDmode to DDmode when lra_in_progress.
gcc/testsuite/
* gcc.target/powerpc/pr60032.c: New.
From-SVN: r207553
Jakub Jelinek [Thu, 6 Feb 2014 10:59:30 +0000 (11:59 +0100)]
re PR middle-end/59150 (ICE: in expand_one_var, at cfgexpand.c:1242 with -fopenmp)
PR middle-end/59150
* tree-vect-data-refs.c (vect_analyze_data_refs): For clobbers, call
free_data_ref on the dr first, and before goto again also set dr
to the next dr. For simd_lane_access, free old datarefs[i] before
overwriting it. For get_vectype_for_scalar_type failure, don't
free_data_ref if simd_lane_access.
From-SVN: r207551
Jakub Jelinek [Thu, 6 Feb 2014 10:58:16 +0000 (11:58 +0100)]
* Makefile.in (prefix.o, cppbuiltin.o): Depend on $(BASEVER).
From-SVN: r207550
Jakub Jelinek [Thu, 6 Feb 2014 10:54:20 +0000 (11:54 +0100)]
re PR target/60062 (wrong code (for code with the optimize attribute) at -O1 and above on x86_64-linux-gnu in 32-bit mode)
PR target/60062
* tree.h (opts_for_fn): New inline function.
(opt_for_fn): Define.
* config/i386/i386.c (ix86_function_regparm): Use
opt_for_fn (decl, optimize) instead of optimize.
* gcc.c-torture/execute/pr60062.c: New test.
* gcc.c-torture/execute/pr60072.c: New test.
From-SVN: r207549
Hristian Kirtchev [Thu, 6 Feb 2014 10:26:32 +0000 (10:26 +0000)]
sem_ch3.adb (Handle_Late_Controlled_Primitive): Add local variable Spec.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch3.adb (Handle_Late_Controlled_Primitive): Add local
variable Spec. Do not inherit the null indicator from the
subprogram body when generating the spec.
From-SVN: r207548
Arnaud Charlet [Thu, 6 Feb 2014 10:23:17 +0000 (11:23 +0100)]
[multiple changes]
2014-02-06 Robert Dewar <dewar@adacore.com>
* casing.adb (Determine_Casing): Consider SPARK_Mode to be
mixed case.
2014-02-06 Ed Schonberg <schonberg@adacore.com>
* exp_ch6.adb (Is_Build_In_Place_Function): Predicate is false
when the function has a foreign convention, but not if only the
limited return type has such a convention.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch3.adb (Handle_Late_Controlled_Primitive): Remove local
variable Spec. Comment reformatting. Use Copy_Separate_Tree
rather than New_Copy_Tree when building the corresponding
subprogram declaration.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Global_Item): Remove
the mode-related checks on abstract states with enabled external
properties.
(Property_Error): Removed.
2014-02-06 Javier Miranda <miranda@adacore.com>
* lib-xref.adb (Generate_Reference): When
generating the reference to the first private entity take care
of handling swapped entities.
From-SVN: r207547
Arnaud Charlet [Thu, 6 Feb 2014 10:21:40 +0000 (11:21 +0100)]
2014-02-06 Sergey Rybin <rybin@adacore.com frybin>
* gnat_ugn.texi, vms_data.ads: Add documentation of -j option for
gnatmetric.
2014-02-06 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_N_Shift_Left): Handle shift counts greater
than the word size when operating in Modify_Tree_For_C mode.
* sinfo.ads: Add documentation section on Modify_Tree_For_C mode.
2014-02-06 Robert Dewar <dewar@adacore.com>
* erroutc.adb (Warning_Specifically_Suppressed.Matches):
compare is case insensitive.
* gnat_rm.texi: Document that string compare for Warnings Off
is now case insensitive.
From-SVN: r207546
Arnaud Charlet [Thu, 6 Feb 2014 10:19:06 +0000 (11:19 +0100)]
[multiple changes]
2014-02-06 Eric Botcazou <ebotcazou@adacore.com>
* gnat_rm.texi: Small wording tweak.
2014-02-06 Pascal Obry <obry@adacore.com>
* prj-attr.adb, projects.texi, snames.ads-tmpl: Add Included_Patterns
and Included_Artifact_Patterns attribute definitions.
2014-02-06 Yannick Moy <moy@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Set
SPARK_Mode pragma component for all subprograms, including stubs.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch10.adb (Analyze_Package_Body_Stub): Maintain
the configuration options of the enclosing context in a
stack-like fasion.
(Analyze_Subprogram_Body_Stub): Maintain the
configuration options of the enclosing context in a stack-like
fashion.
2014-02-06 Robert Dewar <dewar@adacore.com>
* debug.adb: -gnatd.u sets Modify_Tree_For C
* exp_ch4.adb (Expand_N_Op_Rotate_Left): Expand out
if Modify_Tree_For_C (Expand_N_Op_Rotate_Right): ditto.
(Expand_N_Op_Arithmetic_Right_Shift): ditto.
* exp_intr.adb (Expand_Shift): Call expander so we do
Modify_Tree_For_C expansions.
* gnat1drv.adb (Adjust_Global_Switches): Set Modify_Tree_For_C
if -gnatd.u set.
2014-02-06 Fedor Rybin <frybin@adacore.com>
* prj-proc.ads (Tree_Loaded_Callback): new type Callback used
after the phase 1 of the processing of each aggregated project
to get access to project trees of aggregated projects.
(Process_Project_Tree_Phase_1): new parameter On_New_Tree_Loaded
If specified, On_New_Tree_Loaded is called after each aggregated
project has been processed succesfully.
(Process): new parameter On_New_Tree_Loaded.
* prj-proc.adb (Process_Aggregated_Projects): On_New_Tree_Loaded
callback added after processing of each aggregated project.
(Recursive_Process): new parameter On_New_Tree_Loaded.
(Process): new parameter On_New_Tree_Loaded.
(Process_Project_Tree_Phase_1): new parameter On_New_Tree_Loaded.
* prj-conf.ads (Parse_Project_And_Apply_Config): new parameter
On_New_Tree_Loaded.
* prj-conf.adb (Parse_Project_And_Apply_Config): new parameter
On_New_Tree_Loaded.
2014-02-06 Bob Duff <duff@adacore.com>
* gnat_ugn.texi: Implement --insert-blank-lines and
--preserve-blank-lines switches.
From-SVN: r207545
Marcus Shawcroft [Thu, 6 Feb 2014 10:17:18 +0000 (10:17 +0000)]
[AArch64] Fix SYMBOL_REF symbol classification.
The symbol classification logic in correctly classifies all
SYMBOL_REF's as SYMBOL_FORCE_TO_MEM, the intention of the code is to
catch only the large memory model case.
From-SVN: r207544
Arnaud Charlet [Thu, 6 Feb 2014 10:13:42 +0000 (11:13 +0100)]
2014-02-06 Sergey Rybin <rybin@adacore.com frybin>
* gnat_ugn.texi, vms_data.ads: Add documentation of -j option for
gnatelim.
2014-02-06 Eric Botcazou <ebotcazou@adacore.com>
* gnat_rm.texi (Pragma Optimize_Alignment): Document the effect
of the pragma on individual objects.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb Node29 is now used as BIP_Initialization_Call.
(BIP_Initialization_Call): New routine.
(Set_BIP_Initialization_Call): New routine.
(Write_Field29_Name): Add an entry for constants and variables.
* einfo.ads Add new attribute BIP_Initialization_Call and update
its usage in nodes.
(BIP_Initialization_Call): New routine along with pragma Inline.
(Set_BIP_Initialization_Call): New routine along with pragma Inline.
* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration):
Add local declaration Res_Decl. Capture the build-in-place
initialization call when the related object declaration has
created a transient block.
* exp_ch7.adb (Process_Transient_Objects): Add local variable
Fin_Insrt. Recognize a scenario where an object declaration acts
as a transient context and is initialized by a build-in-place
function call.
From-SVN: r207543
Arnaud Charlet [Thu, 6 Feb 2014 10:11:07 +0000 (11:11 +0100)]
[multiple changes]
2014-02-06 Pascal Obry <obry@adacore.com>
* prj-util.adb (For_Interface_Sources): Fix handling of required
bodies for aggregate libs.
2014-02-06 Robert Dewar <dewar@adacore.com>
* nlists.ads: Minor comment clarifications.
2014-02-06 Robert Dewar <dewar@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Set Modify_Tree_For_C
if gnatd.V set.
* opt.ads (Modify_Tree_For_C): New flag.
* output.ads, output.adb (Last_Char): New function.
2014-02-06 Pascal Obry <obry@adacore.com>
* projects.texi, prj-env.adb (Initialize_Default_Project_Path): Add
share/gpr for cross-builds.
From-SVN: r207542
Ian Bolton [Thu, 6 Feb 2014 10:10:41 +0000 (10:10 +0000)]
Fix pr59597.c test to work with PIC variants too
From-SVN: r207541
Robert Dewar [Thu, 6 Feb 2014 10:08:16 +0000 (10:08 +0000)]
exp_util.ads, [...]: Minor reformatting and code clean ups.
2014-02-06 Robert Dewar <dewar@adacore.com>
* exp_util.ads, checks.adb, sem_prag.adb, prj-util.adb, sem_ch13.adb:
Minor reformatting and code clean ups.
From-SVN: r207540
Kyrylo Tkachov [Thu, 6 Feb 2014 10:08:12 +0000 (10:08 +0000)]
aarch64-cores.def (cortex-a53): Specify CRC32 and crypto support.
2014-02-06 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
* config/aarch64/aarch64-cores.def (cortex-a53): Specify CRC32
and crypto support.
(cortex-a57): Likewise.
(cortex-a57.cortex-a53): Likewise.
From-SVN: r207539
Pascal Obry [Thu, 6 Feb 2014 10:06:38 +0000 (10:06 +0000)]
prj-util.adb (For_Interface_Sources): Skip non compilable languages.
2014-02-06 Pascal Obry <obry@adacore.com>
* prj-util.adb (For_Interface_Sources): Skip non compilable languages.
* prj.ads: Minor typo fix in comment.
From-SVN: r207538
Arnaud Charlet [Thu, 6 Feb 2014 10:04:39 +0000 (11:04 +0100)]
[multiple changes]
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Depends_In_Decl_Part): Add
local variable Expr. Flag clauses with extra parenthesis as this
is not allowed by the syntax of the pragma. Code reformatting.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference): Alphabetize
variables. Rename variabme Tnn to Temp. Do not create a temporary
if assertions are disabled. Find enclosing routine _Postconditions
and insert the temporary that captures the value of the prefix
before the routine.
* exp_ch6.adb (Build_Postconditions_Procedure):
Insert the generated _Postconditions routine
before the first source declaration of the related
subprogram.
(Insert_After_Last_Declaration): Removed.
(Insert_Before_First_Source_Declaration): New routine.
2014-02-06 Ed Schonberg <schonberg@adacore.com>
* exp_util.adb, exp_util.ads (Within_Internal_Subprogram):
Utility to determine whether current expansion is for the body
of a predefined primitive operation.
(Make_Predicate_Check): Use Within_Internal_Subpgram
* checks.adb (Apply_Predicate_Check): Use
Within_Internal_Subprogram
* sem_ch13.adb (Freeze_Entity_Checks): Ditto.
2014-02-06 Pascal Obry <obry@adacore.com>
* prj.ads, prj-util.adb: Minor reformatting.
From-SVN: r207537
Arnaud Charlet [Thu, 6 Feb 2014 09:58:37 +0000 (10:58 +0100)]
[multiple changes]
2014-02-06 Ed Schonberg <schonberg@adacore.com>
* exp_ch6.adb (Expand_Subprogram_Contract, Append_Enabled_Item):
Take into account the Split_PPC flag to ensure that conjuncts
in a composite postcondition aspect are tested in source order.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch6.adb (Analyze_Generic_Subprogram_Body): Flag illegal
use of SPARK_Mode.
* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Flag
illegal use of SPARK_Mode.
(Instantiate_Subprogram_Body): Flag illegal use of SPARK_Mode.
* sem_prag.adb (Analyze_Pragma): Code reformatting.
* sem_util.adb Add with and use clause for Aspects.
(Check_SPARK_Mode_In_Generic): New routine.
* sem_util.ads (Check_SPARK_Mode_In_Generic): New routine.
2014-02-06 Thomas Quinot <quinot@adacore.com>
* a-calend.adb (Formatting_Operations.Split): Ensure that
Time_Error is raised for invalid time values.
From-SVN: r207536
Arnaud Charlet [Thu, 6 Feb 2014 09:56:29 +0000 (10:56 +0100)]
[multiple changes]
2014-02-06 Arnaud Charlet <charlet@adacore.com>
* sem_prag.adb (Analyze_Pragma): Rewrite as a null statement
in GNATprove_Mode.
2014-02-06 Robert Dewar <dewar@adacore.com>
* einfo.ads, einfo.adb (Is_Discriminant_Check_Function): New flag.
* exp_ch3.adb (Build_Dcheck_Function): Set
Is_Discriminant_Check_Function.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch7.adb (Is_Subprogram_Call): Inspect
the original tree in certain cases where a construct has been
factored out and replaced by a reference to a temporary.
2014-02-06 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Process_Full_View): Fix typo in the order of
parameters when propagating predicate function to full view.
(Find_Type_Of_Object): Freeze base type of object type to catch
premature use of discriminated private type without a full view.
From-SVN: r207535
Arnaud Charlet [Thu, 6 Feb 2014 09:53:00 +0000 (10:53 +0100)]
[multiple changes]
2014-02-06 Robert Dewar <dewar@adacore.com>
* sprint.adb: Minor reformatting.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch4.adb (Process_Transient_Object): Add local variable
Temp_Ins. When the transient object is initialized by an
aggregate, the hook must capture the object after the last
component assignment takes place.
* exp_ch7.adb (Detect_Subprogram_Call): Expose the subprogram to
routine Is_Subprogram_Call.
(Is_Subprogram_Call): Inspect an
aggregate that has been heavily expanded for subprogram calls.
(Process_Transient_Objects): Add local variables Expr, Ptr_Id
and Temp_Ins. Remove the nested declare block and adjust the
indentation. When the transient object is initialized by an
aggregate, the hook must capture the object after the last
component assignment takes place.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Global_Item): Detect illegal uses of
external states with enabled properties that do not match the
global mode.
(Property_Error): New routine.
* sem_res.adb (Property_Error): New routine.
(Resolve_Actuals): Detect illegal uses of external variables with
enabled properties in procedure calls that do not match the mode of
the corresponding formal parameter.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_util.adb (Has_Enabled_Property): Rename
formal parameter Prop_Nam to Property. Update the comment on usage
and all occurrences in the body. Add local variable Prop_Nam. When
inspecting a property with an expression, the property name
appears as the first choice of the component association.
From-SVN: r207534
Yury Gribov [Thu, 6 Feb 2014 09:48:15 +0000 (09:48 +0000)]
arm.c (arm_vector_alignment_reachable): Check unaligned_access.
2014-02-06 Yury Gribov <y.gribov@samsung.com>
Kugan Vivekanandarajah <kuganv@linaro.org>
gcc/
* config/arm/arm.c (arm_vector_alignment_reachable): Check
unaligned_access.
* config/arm/arm.c (arm_builtin_support_vector_misalignment): Likewise.
testsuite/
* gcc.target/arm/vect-noalign.c: New file.
Co-Authored-By: Kugan Vivekanandarajah <kuganv@linaro.org>
From-SVN: r207533
Richard Biener [Thu, 6 Feb 2014 09:41:44 +0000 (09:41 +0000)]
tree-cfg.c (gimple_duplicate_sese_region): Fix ordering of set_loop_copy and initialize_original_copy_tables.
2014-02-06 Richard Biener <rguenther@suse.de>
* tree-cfg.c (gimple_duplicate_sese_region): Fix ordering of
set_loop_copy and initialize_original_copy_tables.
From-SVN: r207532
Alex Velenko [Thu, 6 Feb 2014 09:27:57 +0000 (09:27 +0000)]
[AArch64] Shift right pattern fix
gcc/
* config/aarch64/aarch64-simd.md
(aarch64_ashr_simddi): Change QI to SI.
From-SVN: r207531
Jan Hubicka [Thu, 6 Feb 2014 07:39:24 +0000 (08:39 +0100)]
re PR middle-end/60013 (Build of 176.gcc from CPU2000 loops in cc1 starting with r207231)
PR middle-end/60013
* ipa-inline-analysis.c (compute_bb_predicates): Ensure monotonicity
of the dataflow.
* gcc.dg/pr60013.c: New testcase.
Co-Authored-By: Jakub Jelinek <jakub@redhat.com>
From-SVN: r207529
GCC Administrator [Thu, 6 Feb 2014 00:16:40 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r207528
Bill Schmidt [Wed, 5 Feb 2014 23:54:57 +0000 (23:54 +0000)]
rs6000.c (altivec_expand_vec_perm_const): Change CODE_FOR_altivec_vpku[hw]um to CODE_FOR_altivec_vpku[hw]um_direct.
2014-02-05 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
* config/rs6000/rs6000.c (altivec_expand_vec_perm_const): Change
CODE_FOR_altivec_vpku[hw]um to
CODE_FOR_altivec_vpku[hw]um_direct.
* config/rs6000/altivec.md (vec_unpacks_hi_<VP_small_lc>): Change
UNSPEC_VUNPACK_HI_SIGN to UNSPEC_VUNPACK_HI_SIGN_DIRECT.
(vec_unpacks_lo_<VP_small_lc>): Change UNSPEC_VUNPACK_LO_SIGN to
UNSPEC_VUNPACK_LO_SIGN_DIRECT.
From-SVN: r207525
Marek Polacek [Wed, 5 Feb 2014 21:06:56 +0000 (21:06 +0000)]
re PR c/53123 (Double return statement in c-omp.c source file)
PR c/53123
c-family/
* c-omp.c (c_finish_omp_atomic): Remove unreachable return
statement.
From-SVN: r207524
Jan Hubicka [Wed, 5 Feb 2014 20:42:37 +0000 (20:42 +0000)]
* gimple-fold.c (can_refer_decl_in_current_unit_p): Default visibility is safe.
From-SVN: r207523
Bill Schmidt [Wed, 5 Feb 2014 20:15:57 +0000 (20:15 +0000)]
altivec.md (altivec_vsum2sws): Adjust code generation for -maltivec=be.
gcc:
2014-02-05 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
* config/rs6000/altivec.md (altivec_vsum2sws): Adjust code
generation for -maltivec=be.
(altivec_vsumsws): Simplify redundant test.
gcc/testsuite:
2014-02-05 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
* gcc.dg/vmx/sum2s.c: New.
* gcc.dg/vmx/sum2s-be-order.c: New.
From-SVN: r207521
Bill Schmidt [Wed, 5 Feb 2014 20:07:51 +0000 (20:07 +0000)]
altivec.md (UNSPEC_VPACK_UNS_UNS_MOD_DIRECT): New unspec.
gcc:
2014-02-05 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
* altivec.md (UNSPEC_VPACK_UNS_UNS_MOD_DIRECT): New unspec.
(UNSPEC_VUNPACK_HI_SIGN_DIRECT): Likewise.
(UNSPEC_VUNPACK_LO_SIGN_DIRECT): Likewise.
(mulv8hi3): Use gen_altivec_vpkuwum_direct instead of
gen_altivec_vpkuwum.
(altivec_vpkpx): Test for VECTOR_ELT_ORDER_BIG instead of for
BYTES_BIG_ENDIAN.
(altivec_vpks<VI_char>ss): Likewise.
(altivec_vpks<VI_char>us): Likewise.
(altivec_vpku<VI_char>us): Likewise.
(altivec_vpku<VI_char>um): Likewise.
(altivec_vpku<VI_char>um_direct): New (copy of
altivec_vpku<VI_char>um that still relies on BYTES_BIG_ENDIAN, for
internal use).
(altivec_vupkhs<VU_char>): Emit vupkls* instead of vupkhs* when
target is little endian and -maltivec=be is not specified.
(*altivec_vupkhs<VU_char>_direct): New (copy of
altivec_vupkhs<VU_char> that always emits vupkhs*, for internal
use).
(altivec_vupkls<VU_char>): Emit vupkhs* instead of vupkls* when
target is little endian and -maltivec=be is not specified.
(*altivec_vupkls<VU_char>_direct): New (copy of
altivec_vupkls<VU_char> that always emits vupkls*, for internal
use).
(altivec_vupkhpx): Emit vupklpx instead of vupkhpx when target is
little endian and -maltivec=be is not specified.
(altivec_vupklpx): Emit vupkhpx instead of vupklpx when target is
little endian and -maltivec=be is not specified.
gcc/testsuite:
2014-02-05 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
* gcc.dg/vmx/pack.c: New.
* gcc.dg/vmx/pack-be-order.c: New.
* gcc.dg/vmx/unpack.c: New.
* gcc.dg/vmx/unpack-be-order.c: New.
From-SVN: r207520
Balaji V. Iyer [Wed, 5 Feb 2014 19:46:33 +0000 (11:46 -0800)]
catch_exc.cc: Disable test for -O1.
2014-02-05 Balaji V. Iyer <balaji.v.iyer@intel.com>
* g++.dg/cilk-plus/CK/catch_exc.cc: Disable test for -O1.
* c-c++-common/cilk-plus/CK/spawner_inline.c: Likewise.
From-SVN: r207519
Richard Henderson [Wed, 5 Feb 2014 18:42:19 +0000 (10:42 -0800)]
re PR debug/52727 (internal compiler error at dwarf2cfi.c2:685)
PR debug/52727
* combine-stack-adj.c: Revert r206943.
* sched-int.h (struct deps_desc): Add last_args_size.
* sched-deps.c (init_deps): Initialize it.
(sched_analyze_insn): Add OUTPUT dependencies between insns that
contain REG_ARGS_SIZE notes.
From-SVN: r207518