ebotcazou [Sun, 24 May 2015 21:58:37 +0000 (21:58 +0000)]
* configure: Regenerate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223635
138bc75d-0d04-0410-961f-
82ee72b054a4
uros [Sun, 24 May 2015 19:57:47 +0000 (19:57 +0000)]
* ChangLog: Fix whitespace.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223634
138bc75d-0d04-0410-961f-
82ee72b054a4
hubicka [Sun, 24 May 2015 19:38:14 +0000 (19:38 +0000)]
PR lto/66180
* ipa-devirt.c (type_with_linkage): Check that TYPE_STUB_DECL
is set; check for assembler name at LTO time.
(type_in_anonymous_namespace): Remove hacks, check that all
anonymous types are called "<anon>"
(odr_type_p): Simplify; add check for "<anon>"
(odr_subtypes_equivalent): Add odr_type_p check.
* tree.c (need_assembler_name_p): Even anonymous namespace needs
assembler name.
* mangle.c (mangle_decl): Mangle anonymous namespace types as
"<anon>".
* g++.dg/lto/pr66180_0.C: New testcase.
* g++.dg/lto/pr66180_1.C: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223633
138bc75d-0d04-0410-961f-
82ee72b054a4
mikael [Sun, 24 May 2015 14:55:50 +0000 (14:55 +0000)]
PR fortran/66257
gcc/fortran/
* resolve.c (resolve_actual_arglist): Don't throw an error
if the argument with procedure pointer component is not a variable.
gcc/testsuite/
* typebound_call_27.f90: New file.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223631
138bc75d-0d04-0410-961f-
82ee72b054a4
hubicka [Sun, 24 May 2015 06:13:44 +0000 (06:13 +0000)]
* ipa-utils.h (method_class_type): Remove.
* cgraphunit.c (walk_polymorphic_call_targets): Use TYPE_METHOD_BASETYPE.
* ipa-devirt.c (type_in_anonymous_namespace_p): Check that it is called
on main variants only.
(method_class_type): Remove.
(update_type_inheritance_graph): Use TYPE_METHOD_BASETYPE.
(build_type_inheritance_graph): Likewise.
* ipa-icf.c (sem_function::equals_wpa): Likewise.
* pa-polymorphic-call.c (decl_maybe_in_construction_p,
check_stmt_for_type_change): Use TYPE_METHOD_BASETYPE.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223629
138bc75d-0d04-0410-961f-
82ee72b054a4
hubicka [Sun, 24 May 2015 04:22:35 +0000 (04:22 +0000)]
* tree.c (prototype_p, virtual_method_call_p, obj_type_ref_class,
is_typedef_decl, typedef_variant_p): Constify.
* tree.h (prototype_p, virtual_method_call_p, obj_type_ref_class,
is_typedef_decl, typedef_variant_p): Constify.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223628
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Sun, 24 May 2015 00:33:06 +0000 (00:33 +0000)]
add default for HAVE_tablejump
gcc/ChangeLog:
2015-05-23 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* defaults.h (gen_tablejump): New function.
(HAVE_tablejump): Add default value.
* expr.c: Adjust.
* stmt.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223625
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Sun, 24 May 2015 00:33:00 +0000 (00:33 +0000)]
add default for HAVE_store_multiple
gcc/ChangeLog:
2015-05-23 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* defaults.h (gen_store_multiple): New function.
(HAVE_store_multiple): Add default value.
* expr.c (move_block_from_reg): Adjust.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223624
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Sun, 24 May 2015 00:32:54 +0000 (00:32 +0000)]
add default for HAVE_load_multiple
gcc/ChangeLog:
2015-05-23 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* defaults.h (gen_load_multiple): New function.
(HAVE_load_multiple): Add default value.
* expr.c (move_block_to_reg): Adjust.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223623
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Sun, 24 May 2015 00:32:49 +0000 (00:32 +0000)]
provide default for HAVE_mem_signal_fence
gcc/ChangeLog:
2015-05-23 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* defaults.h (gen_mem_signal_fence): New function.
(HAVE_mem_signal_fence): Add default value.
* optabs.c: Adjust.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223622
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Sun, 24 May 2015 00:32:43 +0000 (00:32 +0000)]
always define HAVE_memory_barrier
gcc/ChangeLog:
2015-05-23 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* defaults.h (gen_memory_barrier): New function.
(HAVE_memory_barrier): Add default value.
* optabs.c: Adjust.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223621
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Sun, 24 May 2015 00:32:37 +0000 (00:32 +0000)]
provide default for HAVE_mem_thread_fence
gcc/ChangeLog:
2015-05-23 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* defaults.h (gen_mem_thread_fence): New function.
(HAVE_mem_thread_fence): Add default definition.
* optabs.c: Adjust.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223620
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Sun, 24 May 2015 00:32:31 +0000 (00:32 +0000)]
always define HAVE_lo_sum
gcc/ChangeLog:
2015-05-23 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* combine.c (find_split_point): Check the value of HAVE_lo_sum
instead of if it is defined.
(combine_simplify_rtx): Likewise.
* lra-constraints.c (process_address_1): Likewise.
* config/darwin.c: Adjust.
* genconfig.c (main): Always define HAVE_lo_sum.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223619
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Sun, 24 May 2015 00:16:18 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223618
138bc75d-0d04-0410-961f-
82ee72b054a4
manu [Sat, 23 May 2015 23:02:52 +0000 (23:02 +0000)]
gcc/fortran/ChangeLog:
2015-05-24 Manuel López-Ibáñez <manu@gcc.gnu.org>
PR fortran/44054
* gfortran.h (struct gfc_error_buf): Rename as
gfc_error_buffer. Move closer to push, pop and free
methods. Reimplement using an output_buffer.
* error.c (errors, warnings, warning_buffer, cur_error_buffer):
Delete everywhere in this file.
(error_char): Delete all contents.
(gfc_increment_error_count): Delete.
(gfc_error_now): Update comment. Set error_buffer.flag.
(gfc_warning_check): Do not handle warning_buffer.
(gfc_error_1): Delete.
(gfc_error_now_1): Delete.
(gfc_error_check): Simplify.
(gfc_move_error_buffer_from_to): Renamed from
gfc_move_output_buffer_from_to.
(gfc_push_error): Handle only gfc_error_buffer.
(gfc_pop_error): Likewise.
(gfc_free_error): Likewise.
(gfc_get_errors): Remove warnings and errors.
(gfc_diagnostics_init): Use static error_buffer.
(gfc_error_1,gfc_error_now_1): Delete declarations.
* symbol.c, decl.c, trans-common.c, data.c, expr.c, expr.c,
frontend-passes.c, resolve.c, match.c, parse.c: Replace
gfc_error_1 with gfc_error and gfc_error_now_1 with gfc_error_1
everywhere.
* f95-lang.c (gfc_be_parse_file): Do not update errorcount and
warningcount here.
* primary.c (match_complex_constant): Replace gfc_error_buf and
output_buffer with gfc_error_buffer.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223614
138bc75d-0d04-0410-961f-
82ee72b054a4
nathan [Sat, 23 May 2015 22:28:54 +0000 (22:28 +0000)]
cp/
PR c++/65936
* pt.c (lookup_template_class_1): Copy may_alias attribute too.
testsuite/
PR c++/65936
* g++.dg/template/pr65936.C: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223613
138bc75d-0d04-0410-961f-
82ee72b054a4
prathamesh3492 [Sat, 23 May 2015 21:22:18 +0000 (21:22 +0000)]
2015-05-20 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
* genmatch.c (parser::parse_operation): Reject expanding operator-list inside 'for'.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223612
138bc75d-0d04-0410-961f-
82ee72b054a4
prathamesh3492 [Sat, 23 May 2015 19:53:51 +0000 (19:53 +0000)]
Fix date in ChangeLog entry for r223610
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223611
138bc75d-0d04-0410-961f-
82ee72b054a4
prathamesh3492 [Sat, 23 May 2015 19:52:05 +0000 (19:52 +0000)]
2015-05-23 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
* genmatch.c (parser::parse_for): Reject iterator if used as operator-list.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223610
138bc75d-0d04-0410-961f-
82ee72b054a4
prathamesh3492 [Sat, 23 May 2015 19:36:32 +0000 (19:36 +0000)]
2015-05-19 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
* genmatch.c (parser::parse_operator_list): Check for CPP_CLOSE_PAREN after end of id-list.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223609
138bc75d-0d04-0410-961f-
82ee72b054a4
hubicka [Sat, 23 May 2015 18:25:41 +0000 (18:25 +0000)]
* lto.c (hash_canonical_type): Be sure we hash only types that
need alias set.
(gimple_register_canonical_type_1): Do not produce canonical
types for types that do not need alias sets.
* tree.c (gimple_canonical_types_compatible_p): Sanity check that
we do not try to compute canonical type for type that does not need
alias set.
(verify_type): Drop FIXME for METHOD_TYPE, update FIXME for
FUNCITON_TYPE.
* tree.h (type_with_alias_set_p): New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223608
138bc75d-0d04-0410-961f-
82ee72b054a4
hubicka [Sat, 23 May 2015 14:32:26 +0000 (14:32 +0000)]
* lto.c (hash_canonical_type): Drop hashing of METHOD_BASETYPE.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223607
138bc75d-0d04-0410-961f-
82ee72b054a4
hubicka [Sat, 23 May 2015 13:51:26 +0000 (13:51 +0000)]
* tree.c (gimple_canonical_types_compatible_p): Do not compare
function attributes.
(verify_type): Remove METHOD_TYPE FIXME; update FUNCTION_TYPE.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223606
138bc75d-0d04-0410-961f-
82ee72b054a4
fdumont [Sat, 23 May 2015 11:17:38 +0000 (11:17 +0000)]
2015-05-23 François Dumont fdumont@gcc.gnu.org>
PR libstdc++/64657
* include/debug/functions.h (__check_sorted_aux): Cast expression to
void.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223605
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Sat, 23 May 2015 00:16:15 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223603
138bc75d-0d04-0410-961f-
82ee72b054a4
wilson [Fri, 22 May 2015 23:39:06 +0000 (23:39 +0000)]
gcc/
* Makefile.in (check_gcc_parallelize): Delete.
(lang_checks_parallelized): Update comment.
gcc/c
* Make-lang.in (check_gcc_pallelize): Define.
gcc/cp
* Make-lang.in (check_g++_parallelize): Update comment.
gcc/fortran
* Make-lang.in (check_gfortran_parallelize): Update comment.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223597
138bc75d-0d04-0410-961f-
82ee72b054a4
miyuki [Fri, 22 May 2015 22:58:22 +0000 (22:58 +0000)]
PR rtl-optimization/66237
* bb-reorder.c (fix_crossing_conditional_branches): Fix wrong
location of an "as_a" cast.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223596
138bc75d-0d04-0410-961f-
82ee72b054a4
law [Fri, 22 May 2015 21:25:26 +0000 (21:25 +0000)]
* config/pa/pa.md (non-canonical shift-add insns): Remove.
(peepholes with non-canonical RTL sources): Remove.
(peepholes for indexed stores of FP regs in integer modes): Match and
generate canonical RTL.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223592
138bc75d-0d04-0410-961f-
82ee72b054a4
glisse [Fri, 22 May 2015 21:05:26 +0000 (21:05 +0000)]
2015-05-22 Marc Glisse <marc.glisse@inria.fr>
PR tree-optimization/63387
gcc/
* match.pd ((X /[ex] A) * A -> X): Remove unnecessary condition.
((x ord x) & (y ord y) -> (x ord y),
(x ord x) & (x ord y) -> (x ord y)): New simplifications.
* fold-const.c (tree_unary_nonnegative_warnv_p) <ABS_EXPR>: Handle
vectors like scalars.
gcc/testsuite/
* gcc.dg/pr63387-2.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223591
138bc75d-0d04-0410-961f-
82ee72b054a4
glisse [Fri, 22 May 2015 20:59:27 +0000 (20:59 +0000)]
2015-05-22 Marc Glisse <marc.glisse@inria.fr>
gcc/
* convert.c (convert_to_integer, convert_to_vector): Include the
types in the error message.
gcc/testsuite/
* gcc.dg/simd-1.c: Update to the new message.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223590
138bc75d-0d04-0410-961f-
82ee72b054a4
ian [Fri, 22 May 2015 20:53:45 +0000 (20:53 +0000)]
include/:
* libiberty.h (asprintf): Don't declare if HAVE_DECL_ASPRINTF is
not defined.
libiberty/:
* configure.ac: Add AC_GNU_SOURCE.
* Makefile.in (COMPILE.c): Add -D_GNU_SOURCE.
* configure, config.in: Rebuild.
* floatformat.c (_GNU_SOURCE): Don't define if already defined.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223589
138bc75d-0d04-0410-961f-
82ee72b054a4
glisse [Fri, 22 May 2015 20:37:04 +0000 (20:37 +0000)]
2015-05-22 Marc Glisse <marc.glisse@inria.fr>
gcc/
* match.pd ((x | y) & ~x -> y & ~x, (x & y) | ~x -> y | ~x): New
simplifications.
gcc/testsuite/
* gcc.dg/nand.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223587
138bc75d-0d04-0410-961f-
82ee72b054a4
law [Fri, 22 May 2015 20:17:09 +0000 (20:17 +0000)]
* config/pa/pa.md (integer_indexed_store splitters): Use
mem_shadd_operand. Use ASHIFT rather than MULT in the resulting
insns -- adjusting the constant 2nd operand accordingly.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223586
138bc75d-0d04-0410-961f-
82ee72b054a4
law [Fri, 22 May 2015 20:08:43 +0000 (20:08 +0000)]
* combine.c (try_combine): Canonicalize (plus (mult X pow2) Y) into
(plus (ashift X log2) Y) if it is a split point.
* gcc.target/hppa/shadd-3.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223583
138bc75d-0d04-0410-961f-
82ee72b054a4
sandra [Fri, 22 May 2015 16:34:35 +0000 (16:34 +0000)]
2015-05-22 Sandra Loosemore <sandra@codesourcery.com>
gcc/testsuite/
* gcc.target/aarch64/advsimd-intrinsics/advsimd-intrinsics.exp:
Set dg-do-what-default to compile only on ARM targets without
arm_neon_hw execution support. Remove redundant c-torture-execute
in loop over test cases.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223580
138bc75d-0d04-0410-961f-
82ee72b054a4
law [Fri, 22 May 2015 16:13:07 +0000 (16:13 +0000)]
* pa.c (mem_shadd_or_shadd_rtx_p): New function factored out
of hppa_legitimize_address to handle both forms of a multiply
by 2, 4 or 8.
(hppa_legitimize_address): Use mem_shadd_or_shadd_rtx_p.
Always generate the ASHIFT variant as the result is not directly
used in a MEM. Update comments and refactor slightly to improve
readability.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223579
138bc75d-0d04-0410-961f-
82ee72b054a4
uros [Fri, 22 May 2015 14:39:22 +0000 (14:39 +0000)]
* config.host (i[34567]-*-*, x86_64-*-*): Add t-crtfm instead of
i386/t-crtfm to tmake_file.
* config/i386/crtfastmath.c (set_fast_math_sse): New function.
(set_fast_math): Use set_fast_math_sse for SSE targets.
* config/i386/t-crtfm: Remove.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223578
138bc75d-0d04-0410-961f-
82ee72b054a4
ktkachov [Fri, 22 May 2015 14:36:27 +0000 (14:36 +0000)]
[AArch64] PR target/65491: Classify V1TF vectors as AAPCS64 short vectors rather than composite types
PR target/65491
* config/aarch64/aarch64.c (aarch64_short_vector_p): Move above
aarch64_composite_type_p. Remove check for aarch64_composite_type_p.
(aarch64_composite_type_p): Return false if given type and mode are
for a short vector.
PR target/65491
* gcc.target/aarch64/pr65491_1.c: New test.
* gcc.target/aarch64/aapcs64/type-def.h (vlf1_t): New typedef.
* gcc.target/aarch64/aapcs64/func-ret-1.c: Add test for vlf1_t.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223577
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Fri, 22 May 2015 14:14:38 +0000 (14:14 +0000)]
/cp
2015-05-22 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/65598
* decl.c (grokdeclarator): Use the correct location in error
messages about 'explicit'.
/testsuite
2015-05-22 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/65598
* g++.dg/cpp0x/explicit9.C: New.
* g++.dg/cpp0x/explicit8.C: Check the locations too.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223576
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Fri, 22 May 2015 13:52:58 +0000 (13:52 +0000)]
2015-05-22 Richard Biener <rguenther@suse.de>
* tree-vectorizer.h (struct _slp_oprnd_info): Add second_pattern
member.
* tree-vect-loop.c (vect_analyze_loop_operations): Look at
patterns when determining whether SLP is pure.
(vect_is_slp_reduction): Remove check for pattern stmts.
(vect_is_simple_reduction_1): Remove dead code.
* tree-vect-slp.c (vect_create_oprnd_info): Initialize second_pattern.
(vect_get_and_check_slp_defs): Pass in the stmt number.
Allow the first def in a reduction to be not a pattern stmt when
the rest of the stmts def are patterns.
(vect_build_slp_tree_1): Allow tcc_expression codes like
SAD_EXPR and DOT_PROD_EXPR.
(vect_build_slp_tree): Adjust.
(vect_analyze_slp): Refactor and move BB vect error message ...
(vect_slp_analyze_bb_1): ... here.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223574
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 13:33:18 +0000 (13:33 +0000)]
2015-05-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Constrain_Concurrent): If the context is a
type declaration, generate an Itype_Reference for the anonymous
subtype, to force elaboration at this point in gigi.
2015-05-22 Gary Dismukes <dismukes@adacore.com>
* layout.adb, einfo.ads, sem_ch12.adb, freeze.adb, sem_util.ads,
exp_ch4.adb, sem_ch6.adb: Minor reformatting and typo fixes.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223573
138bc75d-0d04-0410-961f-
82ee72b054a4
aldyh [Fri, 22 May 2015 13:31:29 +0000 (13:31 +0000)]
* tree-switch-conversion.c (build_one_array): Set DECL_IGNORED_P
for CSWTCH temporary.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223572
138bc75d-0d04-0410-961f-
82ee72b054a4
nathan [Fri, 22 May 2015 13:22:19 +0000 (13:22 +0000)]
fix to use rvalue where expected
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223571
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 13:19:46 +0000 (13:19 +0000)]
Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223570
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 13:17:54 +0000 (13:17 +0000)]
2015-05-22 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Actuals): If the call is to an overridden
operation, replace the names of the actuals in named associations
with the names of the actuals of the subprogram that is eventually
executed. The names of the formals and the defaults can differ
between the two operations when they are operations of a formal
derived type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223569
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 13:09:47 +0000 (13:09 +0000)]
2015-05-22 Bob Duff <duff@adacore.com>
* a-convec.ads, a-convec.adb (Append): Check for fast path. Split
out slow path into separate procedure. Inline Append. Fast path
now avoids calling Insert.
(Finalize): Do the busy checking last, so the container gets emptied.
(Insert, Insert_Space): Remove redundancy.
2015-05-22 Robert Dewar <dewar@adacore.com>
* switch-c.adb (Scan_Front_End_Switches): Insist on -gnatc
for -gnatd.V.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223567
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 13:06:34 +0000 (13:06 +0000)]
* gnatvsn.ads: Minor code reorg to remember more easily to update
variables.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223566
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 13:04:01 +0000 (13:04 +0000)]
2015-05-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Analyze_With_Clause): In ASIS_Mode, a
limited_with clause on a predefined unit is not transformed into
a regular with_clause, to preserve the original tree structure.
* sinfo.ads (N_With_Clause): Add comment on handling of
Limited_With.
* sem_ch10.adb: Minor reformatting.
2015-05-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Freeze_Profile): A limited view of a type in
the profile of a subprogram renaming does not require freezing,
because it is declared in a different unit.
2015-05-22 Ed Schonberg <schonberg@adacore.com>
* exp_aggr.adb (Get_Constraint_Association): If type (of ancestor
composite type) is private, go to full view. This was previously
done only in an instance context, but is happen whenever a chain
of private extensions includes one inherited discriminant.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223565
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 13:01:37 +0000 (13:01 +0000)]
2015-05-22 Robert Dewar <dewar@adacore.com>
* einfo.ads: Minor comment updates.
* exp_unst.adb: Move Subps table to spec Don't remove old entries
from table Add Last field to record last entry used.
* exp_unst.ads: Move Subps table here from body So that Cprint
can access saved values.
2015-05-22 Bob Duff <duff@adacore.com>
* a-cdlili.adb, a-cdlili.ads, a-cohama.adb, a-cohama.ads,
* a-cohase.adb, a-cohase.ads, a-convec.adb, a-convec.ads,
* a-coorma.adb, a-coorma.ads, a-coorse.adb, a-coorse.ads:
(Pseudo_Reference, Element_Access, Get_Element_Access): New
declarations added for use by performance improvements in exp_ch5.adb.
* snames.ads-tmpl: New names referenced by exp_ch5.adb.
* exp_ch5.adb: Speed up "for ... of" loops for predefined containers.
Instead of doing literally what the RM calls for, we do something
equivalent that avoids expensive operations inside the loop. If the
container package has appropriate Next, Pseudo_Reference,
Element_Access, Get_Element_Access declarations, we invoke the
optimization.
* snames.ads-tmpl: Note speed improvement.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223563
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 12:56:34 +0000 (12:56 +0000)]
2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
* einfo.ads (Is_Atomic_Or_VFA): Move to XEINFO INLINES section.
* xeinfo.adb: Replace a-einfo.h with einfo.h throughout.
Add pattern to translate "or else" into "||".
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223562
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 12:54:59 +0000 (12:54 +0000)]
2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
* einfo.ads (Has_Volatile_Full_Access): Rename into...
(Is_Volatile_Full_Access): ...this.
(Set_Has_Volatile_Full_Access): Rename into...
(Set_Is_Volatile_Full_Access): ...this.
* einfo.adb (Has_Volatile_Full_Access): Rename into...
(Is_Volatile_Full_Access): ...this.
(Set_Has_Volatile_Full_Access): Rename into...
(Set_Is_Volatile_Full_Access): ...this.
(Is_Atomic_Or_VFA): Adjust to above renaming.
* errout.adb (Special_Msg_Delete): Likewise.
* exp_pakd.adb (Install_PAT): Likewise.
* freeze.adb (Freeze_Array_Type): Likewise.
* sem_ch8.adb (Analyze_Object_Renaming): Likewise.
* sem_ch13.adb (Inherit_Delayed_Rep_Aspects): Likewise.
(Inherit_Aspects_At_Freeze_Point): Likewise.
* sem_prag.adb (Set_Atomic_VFA): Likewise.
(Process_Atomic_Independent_Shared_Volatile): Likewise.
* sem_util.adb (Is_Atomic_Or_VFA_Object): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223561
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 12:53:21 +0000 (12:53 +0000)]
2015-05-22 Robert Dewar <dewar@adacore.com>
* exp_ch5.adb, layout.adb, einfo.adb, einfo.ads, sem_prag.adb,
freeze.adb, freeze.ads, sem_util.adb, sem_util.ads, exp_ch2.adb,
exp_ch4.adb, errout.adb, exp_aggr.adb, sem_ch13.adb: This is a general
change that deals with the fact that most of the special coding for
Atomic should also apply to the case of Volatile_Full_Access.
A new attribute Is_Atomic_Or_VFA is introduced, and many of the
references to Is_Atomic now use this new attribute.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223560
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 12:51:36 +0000 (12:51 +0000)]
2015-05-22 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_N_Op_Eq): Introduce 'Machine for 'Result
comparison.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223559
138bc75d-0d04-0410-961f-
82ee72b054a4
ktkachov [Fri, 22 May 2015 12:51:34 +0000 (12:51 +0000)]
[ARM] Handle UNSPEC_VOLATILE in rtx costs and don't recurse inside the unspec
* config/arm/arm.c (arm_new_rtx_costs): Handle UNSPEC_VOLATILE.
(arm_unspec_cost): Allow UNSPEC_VOLATILE. Do not recurse inside
unknown unspecs.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223558
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 12:50:35 +0000 (12:50 +0000)]
2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
* sprint.adb (Source_Dump): When generating debug files, deal
with the case of a stand-alone package instantiation by dumping
together the spec and the body in the common debug file.
2015-05-22 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb (Minimum_Size): Size is zero for null range
discrete subtype.
2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb (Anonymous_Master): This attribute now applies
to package and subprogram bodies.
(Set_Anonymous_Master): This attribute now applies to package and
subprogram bodies.
(Write_Field36_Name): Add output for package and subprogram bodies.
* einfo.ads Update the documentation on attribute Anonymous_Master
along with occurrences in entities.
* exp_ch4.adb (Create_Anonymous_Master): Reimplemented to
handle spec and body anonymous masters of the same unit.
(Current_Anonymous_Master): Reimplemented. Handle a
package instantiation that acts as a compilation unit.
(Insert_And_Analyze): Reimplemented.
2015-05-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Analyze_With_Clause): A limited_with_clause on a
predefined unit is treated as a regular with_clause.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223557
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 12:46:00 +0000 (12:46 +0000)]
Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223556
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 12:45:14 +0000 (12:45 +0000)]
2015-05-22 Robert Dewar <dewar@adacore.com>
* sem_ch12.adb, prj.ads, makeutl.ads, sem_ch6.adb, prj-nmsc.adb,
prj-conf.adb, sem_disp.adb: Minor reformatting.
2015-05-22 Vincent Celier <celier@adacore.com>
* clean.adb (Parse_Cmd_Line): For native gnatclean, check
for switch -P and, if found and gprclean is available, invoke
silently gprclean.
* make.adb (Initialize): For native gnatmake, check for switch -P
and, if found and gprbuild is available, invoke silently gprbuild.
2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch13.adb (Validate_Unchecked_Conversions): Also issue
specific warning for discrete types when the source is larger
than the target.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223555
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 12:42:05 +0000 (12:42 +0000)]
2015-05-22 Ed Schonberg <schonberg@adacore.com>
* einfo.ads, einfo.adb (Incomplete_Actuals): New attribute of
package instantiations. Holds the list of actuals in the instance
that are incomplete types, to determine where the corresponding
instance body must be placed.
* sem_ch6.adb (Conforming_Types): An incomplete type used as an
actual in an instance matches an incomplete formal.
* sem_disp.adb (Check_Dispatching_Call): Handle missing case of
explicit dereference.
(Inherited_Subprograms): In the presence of a limited view there
are no subprograms to inherit.
* sem_ch12.adb (Preanalyze_Actuals): Build list of incomplete
actuals of instance, for later placement of instance body and
freeze nodes for actuals.
(Install_Body): In the presence of actuals that incomplete types
from a limited view, the instance body cannot be placed after
the declaration because full views have not been seen yet. Any
use of the non-limited views in the instance body requires
the presence of a regular with_clause in the enclosing unit,
and will fail if this with_clause is missing. We place the
instance body at the beginning of the enclosing body, which is
the unit being compiled, and ensure that freeze nodes for the
full views of the incomplete types appear before the instance.
2015-05-22 Pascal Obry <obry@adacore.com>
* makeutl.ads, prj-conf.adb, prj-nmsc.adb, prj.ads
(In_Place_Option): Removed.
(Relocate_Build_Tree_Option): New constant.
(Root_Dir_Option): New constant.
(Obj_Root_Dir): Removed.
(Build_Tree_Dir): New variable.
(Root_Src_Tree): Removed.
(Root_Dir): New variable.
* prj-conf.adb (Get_Or_Create_Configuration_File): Add check
for improper relocation.
* prj-nmsc.adb (Locate_Directory): Add check for improper
relocation.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223553
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Fri, 22 May 2015 12:34:46 +0000 (12:34 +0000)]
2015-05-22 Richard Biener <rguenther@suse.de>
PR tree-optimization/66251
* tree-vect-stmts.c (vectorizable_conversion): Properly
set STMT_VINFO_VEC_STMT even for the SLP case.
* gfortran.fortran-torture/compile/pr66251.f90: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223552
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 12:34:33 +0000 (12:34 +0000)]
2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb (Default_Init_Cond_Procedure): Code cleanup. The
attribute now applies to the base type.
(Has_Default_Init_Cond): Now applies to the base type.
(Has_Inherited_Default_Init_Cond): Now applies to the base type.
(Set_Default_Init_Cond_Procedure): Code cleanup. The attribute now
applies to the base type.
(Set_Has_Default_Init_Cond): Now applies to the base type.
(Set_Has_Inherited_Default_Init_Cond): Now applies to the base type.
* exp_ch3.adb (Expand_N_Object_Declaration): No need to use the
base type when adding a call to the Default_Initial_Condition.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223551
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 12:32:55 +0000 (12:32 +0000)]
2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb Node36 is now used as Anonymous_Master. Flag253
is now unused.
(Anonymous_Master): New routine.
(Has_Anonymous_Master): Removed.
(Set_Anonymous_Master): New routine.
(Set_Has_Anonymous_Master): Removed.
(Write_Entity_Flags): Remove the output for Has_Anonymous_Maser.
(Write_Field36_Name): Add output for Anonymous_Master.
* einfo.ads Add new attribute Anonymous_Master along with
occurrences in nodes. Remove attribute Has_Anonymous_Master along
with occurrences in nodes.
(Anonymous_Master): New routine along with pragma Inline.
(Has_Anonymous_Master): Removed along with pragma Inline.
(Set_Anonymous_Master): New routine along with pragma Inline.
(Set_Has_Anonymous_Master): Removed along with pragma Inline.
* exp_ch4.adb (Create_Anonymous_Master): New routine.
(Current_Anonymous_Master): Reimplemented.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223550
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 12:31:03 +0000 (12:31 +0000)]
2015-05-22 Bob Duff <duff@adacore.com>
* freeze.adb (Freeze_Profile): Suppress warning if imported
subprogram is not at library level.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223549
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:53:29 +0000 (10:53 +0000)]
2015-05-22 Robert Dewar <dewar@adacore.com>
* sem_ch8.adb (Analyze_Object_Renaming): Check for renaming
component of an object to which Volatile_Full_Access applies.
2015-05-22 Jerome Guitton <guitton@adacore.com>
* exp_dbug.ads: Add note about non bit-packed arrays.
2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
* sem_prag.adb: Fix typo.
* einfo.ads: Grammar fixes in comments.
2015-05-22 Bob Duff <duff@adacore.com>
* a-cborma.ads, a-cidlli.ads, a-cimutr.ads, a-ciormu.ads,
* a-cihase.ads, a-cohama.ads, a-coorse.ads, a-cbhama.ads,
* a-cborse.ads, a-comutr.ads, a-ciorma.ads, a-cobove.ads,
* a-coormu.ads, a-convec.ads, a-cohase.ads, a-coinho.ads,
* a-cbdlli.ads, a-cbmutr.ads, a-cbhase.ads, a-cdlili.ads,
* a-cihama.ads, a-coinve.ads, a-ciorse.ads, a-coorma.ads,
* a-coinho-shared.ads (Constant_Reference_Type, Reference_Type):
Add an initialization expression "raise Program_Error". See,
for example, RM-A.18.2(148.4).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223548
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Fri, 22 May 2015 10:50:49 +0000 (10:50 +0000)]
fix some dates in ChangeLogs
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223547
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:50:19 +0000 (10:50 +0000)]
2015-05-22 Robert Dewar <dewar@adacore.com>
* debug.adb: Update documentation.
* einfo.ads, einfo.adb (Needs_Typedef): New flag
* exp_unst.adb (Unnest_Subprogram): Mark AREC types as needing
typedef's in C.
* frontend.adb: Update comments.
* gnat1drv.adb (Adjust_Global_Switches): Set all needed flags
for -gnatd.V
* opt.ads (Generate_C_Code): New switch.
* osint-c.adb (Write_C_File_Info): Removed, not used
(Write_H_File_Info): Removed, not used
* osint-c.ads (Write_C_File_Info): Removed, not used
(Write_H_File_Info): Removed, not used
* osint.ads (Write_Info): Minor comment updates.
(Output_FD): Moved from private part to public part of spec.
* sem.adb (Semantics): Force expansion on if in Generate_C_Code
mode.
* atree.ads: minor typo in comment.
* sem_prag.adb (Process_Atomic_Independent_Shared_Volatile):
Do not allow VFA on composite object with aliased component.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223546
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:42:23 +0000 (10:42 +0000)]
2015-05-22 Arnaud Charlet <charlet@adacore.com>
* osint-c.adb, osint-c.ads (Set_File_Name): Move back to spec.
2015-05-22 Pascal Obry <obry@adacore.com>
* prj-util.adb: Minor comment editing.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223545
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:40:27 +0000 (10:40 +0000)]
Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223544
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:40:07 +0000 (10:40 +0000)]
2015-05-22 Pascal Obry <obry@adacore.com>
* makeutl.ads (In_Place_Option): New constant.
* prj.ads (Obj_Root_Dir): New variable (absolute path to relocate
objects).
(Root_Src_Tree): New variable (absolute path of root source tree).
* prj-conf.adb (Do_Autoconf): Take into account the object root
directory (if defined) to generate configuration project.
* prj-nmsc.adb (Get_Directories): Handle case where Obj_Root_Dir
is defined.
(Locate_Directory): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223543
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:38:07 +0000 (10:38 +0000)]
2015-05-22 Pascal Obry <obry@adacore.com>
* prj-util.ads, prj-util.adb (Relative_Path): New routine.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223542
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:36:56 +0000 (10:36 +0000)]
2015-05-22 Bob Duff <duff@adacore.com>
* exp_utils.ads, exp_utils.adb (Find_Optional_Prim_Op): New
interface to return Empty when not found, so we can avoid handling
Program_Error in that case.
(Find_Prim_Op): Fix latent bug: raise Program_Error when there are no
primitives.
* exp_ch7.adb, sem_util.adb: Use Find_Optional_Prim_Op when the
code is expecting Empty.
* sem_ch8.adb: Use Find_Optional_Prim_Op to avoid handling
Program_Error.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223541
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:35:33 +0000 (10:35 +0000)]
2015-05-22 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, sem_intr.adb, exp_ch4.adb, s-rannum.adb,
sem_eval.adb, s-fatgen.adb, s-expmod.ads: Remove incorrect hyphen in
non-binary.
* exp_util.adb: Add comment.
* osint-c.ads, osint-c.adb (Set_Library_Info_Name): Move from spec to
body.
(Set_File_Name): New name for the above.
(Create_C_File, Create_H_File, Write_C_File_Info, Write_H_File_Info,
Close_C_File, Close_H_File): New procedure.
* osint.adb: Minor reformatting.
* osint.ads: Minor comment updates.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223540
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:32:15 +0000 (10:32 +0000)]
2015-05-22 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb: Minor rewording.
* exp_util.ads: Clarify that Find_Prim_Op is only for
tagged types.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223539
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:30:37 +0000 (10:30 +0000)]
2015-05-22 Robert Dewar <dewar@adacore.com>
* atree.adb, atree.ads, treepr.adb: Change name Needs_Actuals_Check to
Check_Actuals.
* exp_ch4.adb (Expand_N_Op_Expon): Optimize 2**x in modular
and overflow cases.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223538
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:28:06 +0000 (10:28 +0000)]
2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
* exp_pakd.adb (Install_PAT): Propagate representation aspects
from the original array type to the PAT.
2015-05-22 Robert Dewar <dewar@adacore.com>
* treepr.adb (Print_Node_Header): Add output of Needs_Actuals_Check.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223537
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:25:20 +0000 (10:25 +0000)]
2015-05-22 Robert Dewar <dewar@adacore.com>
* atree.adb, atree.ads (Needs_Actuals_Check): New flag.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223536
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:23:39 +0000 (10:23 +0000)]
2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Pragma): Remove the detection
of a useless Part_Of indicator when the related item is a constant.
(Check_Matching_Constituent): Do not emit an error on a constant.
(Check_Missing_Part_Of): Do not check for a missing Part_Of indicator
when the related item is a constant.
(Collect_Body_States): Code cleanup.
(Collect_Visible_States): Code cleanup.
(Report_Unused_States): Do not emit an error on a constant.
* sem_util.ads, sem_util.adb (Has_Variable_Input): Removed.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223535
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:20:00 +0000 (10:20 +0000)]
2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch8.adb (Analyze_Object_Renaming): Copy
Has_Volatile_Full_Access from renamed to renaming entities.
* sem_prag.adb (Process_Atomic_Independent_Shared_Volatile):
Tidy up and remove redundant setting of Has_Volatile_Full_Access.
2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
* ghost.adb (Check_Ghost_Completion): Update references to SPARK
RM 6.9 rules.
(Check_Ghost_Policy): Update references to SPARK RM 6.9 rules.
* sem_ch3.adb (Analyze_Object_Declaration): Update references
to SPARK RM 6.9 rules.
(Check_Completion): Ghost entities do not require a special form of
completion.
* sem_ch6.adb (Analyze_Generic_Subprogram_Body): Update references
to SPARK RM 6.9 rules.
(Analyze_Subprogram_Body_Helper): Update references to SPARK RM 6.9
rules.
* sem_ch7.adb (Analyze_Package_Body_Helper): Update references
to SPARK RM 6.9 rules.
(Requires_Completion_In_Body): Ghost entities do not require a special
form of completion.
2015-05-22 Robert Dewar <dewar@adacore.com>
* a-csquin.ads: Use Ada 2012 notation.
* sem_ch8.adb: Minor reformatting.
2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): Aspect Import
acts as a completion.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223534
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:15:47 +0000 (10:15 +0000)]
2015-05-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb: Minor reformatting.
2015-05-22 Jose Ruiz <ruiz@adacore.com>
* a-reatim.adb: Minor change, fix typo.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223533
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:14:35 +0000 (10:14 +0000)]
2015-05-22 Robert Dewar <dewar@adacore.com>
* sem_util.ads: Minor addition of ??? comment.
* sem_prag.adb, sem_util.adb: Minor reformatting.
* sem_ch13.adb: minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223532
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 10:11:36 +0000 (10:11 +0000)]
2015-05-22 Robert Dewar <dewar@adacore.com>
* a-reatim.ads: Add Compile_Time_Error to ensure Duration
is 64-bits.
* sem_ch13.adb: Improve error message.
* exp_ch4.adb: Minor reformatting.
2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Pragma): Constants without variable
input do not require indicator Part_Of.
(Check_Missing_Part_Of): Constants without variable input do not
requrie indicator Part_Of.
(Collect_Visible_States): Constants without variable input are
not part of the hidden state of a package.
* sem_util.ads, sem_util.adb (Has_Variable_Input): New routine.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223531
138bc75d-0d04-0410-961f-
82ee72b054a4
mpolacek [Fri, 22 May 2015 09:27:35 +0000 (09:27 +0000)]
* doc/extend.texi: Use @pxref instead of @xref.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223530
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Fri, 22 May 2015 09:10:29 +0000 (09:10 +0000)]
2015-05-22 hiraditya <hiraditya@msn.com>
* gimple.h (gimple_expr_type): Refactor to make it concise.
Remove redundant if.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223529
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Fri, 22 May 2015 09:08:46 +0000 (09:08 +0000)]
2015-05-22 Richard Biener <rguenther@suse.de>
PR tree-optimization/65701
* tree-vect-data-refs.c (vect_enhance_data_refs_alignment):
Move peeling cost models into one place. Peel for alignment
for single loads only if an aligned load is cheaper than
an unaligned load.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223528
138bc75d-0d04-0410-961f-
82ee72b054a4
mpolacek [Fri, 22 May 2015 09:07:31 +0000 (09:07 +0000)]
PR c/47043
* c-common.c (handle_deprecated_attribute): Allow CONST_DECL.
* c-parser.c (c_parser_enum_specifier): Parse and apply enumerator
attributes.
* cp-tree.h (build_enumerator): Update declaration.
* decl.c (build_enumerator): Add attributes parameter. Call
cplus_decl_attributes.
* init.c (constant_value_1): Pass tf_none to mark_used.
* parser.c (cp_parser_enumerator_definition): Parse attributes and
pass them down to build_enumerator.
* pt.c (tsubst_enum): Pass decl attributes to build_enumerator.
* semantics.c (finish_id_expression): Don't warn_deprecated_use here.
* doc/extend.texi (Enumerator Attributes): New section.
Document syntax of enumerator attributes.
* c-c++-common/attributes-enum-1.c: New test.
* c-c++-common/attributes-enum-2.c: New test.
* g++.dg/cpp0x/attributes-enum-1.C: New test.
* g++.dg/cpp1y/attributes-enum-1.C: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223527
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Fri, 22 May 2015 09:00:28 +0000 (09:00 +0000)]
2015-05-22 Richard Biener <rguenther@suse.de>
* tree-vect-loop.c (get_reduction_op): New function.
(vect_model_reduction_cost): Use it, add reduc_index parameter.
Make ready for BB reductions.
(vect_create_epilog_for_reduction): Use get_reduction_op.
(vectorizable_reduction): Init reduc_index to a valid value.
Adjust vect_model_reduction_cost call.
* tree-vect-slp.c (vect_get_constant_vectors): Use the proper
operand for reduction defaults. Add SAD_EXPR support.
Assert we have a neutral op for SLP reductions.
* tree-vect-stmts.c (vect_mark_stmts_to_be_vectorized): When
walking pattern stmt ops only recurse to SSA names.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223526
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Fri, 22 May 2015 08:55:59 +0000 (08:55 +0000)]
2015-05-22 Richard Biener <rguenther@suse.de>
* tree-vect-patterns.c (vect_recog_dot_prod_pattern): Replace
assert with guard, remove check on detected reduction.
(vect_recog_sad_pattern): Likewise.
(vect_recog_widen_sum_pattern): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223525
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 22 May 2015 08:52:17 +0000 (08:52 +0000)]
2015-05-21 Robert Dewar <dewar@adacore.com>
* exp_util.adb (Activate_Atomic_Synchronization): Do not set
Atomic_Sync_Required for an object renaming declaration.
* sem_ch8.adb (Analyze_Object_Renaming): Copy Is_Atomic and
Is_Independent to renaming object.
2015-05-21 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Iterator_Specification): Diagnose
various illegalities in iterators over arrays and containers:
a) New function Get_Cursor_Type, to verify that the cursor is
not a limited type at the point of iteration.
b) If the container is a constant, an element_iterator is illegal
if the container type does not have a Constant_Indexing aspect.
c) If the iterate function has an in-out controlling parameter,
the container cannot be a constant object.
d) Reject additional cases of iterators over a
discriminant-dependent component of a mutable object.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223524
138bc75d-0d04-0410-961f-
82ee72b054a4
ktkachov [Fri, 22 May 2015 08:21:22 +0000 (08:21 +0000)]
[AArch64] Add __extension__ and __always_inline__ to crypto intrinsics
* config/aarch64/arm_neon.h (vaeseq_u8): Add __extension__ and
__always_inline__ attribute.
(vaesdq_u8): Likewise.
(vaesmcq_u8): Likewise.
(vaesimcq_u8): Likewise.
(vsha1cq_u32): Likewise.
(vsha1mq_u32): Likewise.
(vsha1pq_u32): Likewise.
(vsha1h_u32): Likewise.
(vsha1su0q_u32): Likewise.
(vsha1su1q_u32): Likewise.
(vsha256hq_u32): Likewise.
(vsha256h2q_u32): Likewise.
(vsha256su0q_u32): Likewise.
(vsha256su1q_u32): Likewise.
(vmull_p64): Likewise.
(vmull_high_p64): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223523
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Fri, 22 May 2015 01:04:24 +0000 (01:04 +0000)]
always define HAVE_peephole
gcc/ChangeLog:
2015-05-20 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* final.c (final_scan_insn): Don't check HAVE_peephole with the
preprocessor.
* output.h: Likewise.
* genconfig.c (main): Alwways define HAVE_peephole.
* genpeep.c: Don't emit checks of HAVE_peephole.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223519
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Fri, 22 May 2015 01:04:17 +0000 (01:04 +0000)]
remove #if HAVE_conditional_move
gcc/ChangeLog:
2015-05-20 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* combine.c, expmed.c, expr.c, optabs.c optabs.h, toplev.c: DOn't
check HAVE_conditional_move with the preprocessor.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223518
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Fri, 22 May 2015 01:04:09 +0000 (01:04 +0000)]
always define HAVE_conditional_move
gcc/ChangeLog:
2015-05-20 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* genconfig.c (main): Always define HAVE_conditional_move.
* combine.c, expmed.c, expr.c, ifcvt.c, optabs.c, optabs.h,
toplev.c, tree-ssa-phiopt.c: Don't check if HAVE_conditional_move
is defined.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223517
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Fri, 22 May 2015 01:03:59 +0000 (01:03 +0000)]
don't compare ARG_FRAME_POINTER_REGNUM and FRAME_POINTER_REGNUM with the preprocessor
gcc/ChangeLog:
2015-05-20 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* combine.c, df-problems.c, df-scan.c, emit-rtl.c, reginfo.c,
reload.c, rtlanal.c: Remove comparison of ARG_FRAME_POINTER_REGNUM
and FRAME_POINTER_REGNUM with the preprocessor.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223516
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Fri, 22 May 2015 01:03:51 +0000 (01:03 +0000)]
move default for STACK_PUSH_CODE to defaults.h
gcc/ChangeLog:
2015-05-20 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* defaults.h: Add default for STACK_PUSH_CODE.
* expr.c: Don't redefine STACK_PUSH_CODE.
* recog.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223515
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Fri, 22 May 2015 01:03:42 +0000 (01:03 +0000)]
remove most ifdef STACK_GROWS_DOWNWARD
gcc/c-family/ChangeLog:
2015-05-20 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* c-cppbuiltin.c (c_cpp_builtins): Use if instead of #if with
STACK_GROWS_DOWNWARD.
gcc/ChangeLog:
2015-05-20 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* builtins.c, dwarf2cfi.c, explow.c, expr.c, recog.c,
sched-deps.c: Use if instead of preprocessor checks with
STACK_GROWS_DOWNWARD.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223514
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Fri, 22 May 2015 01:03:11 +0000 (01:03 +0000)]
always define STACK_GROWS_DOWNWARD
gcc/c-family/ChangeLog:
2015-05-20 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* c-cppbuiltin.c (c_cpp_builtins): Check the value of
STACK_GROWS_DOWNWARD rather than if it is defined.
gcc/ChangeLog:
2015-05-20 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* *.c: Check the value of STACK_GROWS_DOWNWARD rather than if it
is defined.
* config/**/*.h: Define STACK_GROWS_DOWNWARD to an integer.
* defaults.h: Provide default for STACK_GROWS_DOWNWARD.
* doc/tm.texi.in: Update references to STACK_GROWS_DOWNWARD.
* doc/tm.texi: Regenerate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223513
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Fri, 22 May 2015 00:16:18 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223512
138bc75d-0d04-0410-961f-
82ee72b054a4
sandra [Thu, 21 May 2015 23:02:18 +0000 (23:02 +0000)]
2015-05-21 Sandra Loosemore <sandra@codesourcery.com>
gcc/testsuite/
* gcc.target/arm/simd/simd.exp: Skip all tests if no arm_neon_ok
effective target support. If no arm_neon_hw support, do not attempt
to execute the tests; only compile them.
* gcc.target/arm/simd/vextf32_1.c: Remove explicit "dg-do run"
and "dg-require-effective-target arm_neon_ok".
* gcc.target/arm/simd/vextp16_1.c: Likewise.
* gcc.target/arm/simd/vextp64_1.c: Likewise.
* gcc.target/arm/simd/vextp8_1.c: Likewise.
* gcc.target/arm/simd/vextQf32_1.c: Likewise.
* gcc.target/arm/simd/vextQp16_1.c: Likewise.
* gcc.target/arm/simd/vextQp64_1.c: Likewise.
* gcc.target/arm/simd/vextQp8_1.c: Likewise.
* gcc.target/arm/simd/vextQs16_1.c: Likewise.
* gcc.target/arm/simd/vextQs32_1.c: Likewise.
* gcc.target/arm/simd/vextQs64_1.c: Likewise.
* gcc.target/arm/simd/vextQs8_1.c: Likewise.
* gcc.target/arm/simd/vextQu16_1.c: Likewise.
* gcc.target/arm/simd/vextQu32_1.c: Likewise.
* gcc.target/arm/simd/vextQu64_1.c: Likewise.
* gcc.target/arm/simd/vextQu8_1.c: Likewise.
* gcc.target/arm/simd/vexts16_1.c: Likewise.
* gcc.target/arm/simd/vexts32_1.c: Likewise.
* gcc.target/arm/simd/vexts64_1.c: Likewise.
* gcc.target/arm/simd/vexts8_1.c: Likewise.
* gcc.target/arm/simd/vextu16_1.c: Likewise.
* gcc.target/arm/simd/vextu32_1.c: Likewise.
* gcc.target/arm/simd/vextu64_1.c: Likewise.
* gcc.target/arm/simd/vextu8_1.c: Likewise.
* gcc.target/arm/simd/vrev16p8_1.c: Likewise.
* gcc.target/arm/simd/vrev16qp8_1.c: Likewise.
* gcc.target/arm/simd/vrev16qs8_1.c: Likewise.
* gcc.target/arm/simd/vrev16qu8_1.c: Likewise.
* gcc.target/arm/simd/vrev16s8_1.c: Likewise.
* gcc.target/arm/simd/vrev16u8_1.c: Likewise.
* gcc.target/arm/simd/vrev32p16_1.c: Likewise.
* gcc.target/arm/simd/vrev32p8_1.c: Likewise.
* gcc.target/arm/simd/vrev32qp16_1.c: Likewise.
* gcc.target/arm/simd/vrev32qp8_1.c: Likewise.
* gcc.target/arm/simd/vrev32qs16_1.c: Likewise.
* gcc.target/arm/simd/vrev32qs8_1.c: Likewise.
* gcc.target/arm/simd/vrev32qu16_1.c: Likewise.
* gcc.target/arm/simd/vrev32qu8_1.c: Likewise.
* gcc.target/arm/simd/vrev32s16_1.c: Likewise.
* gcc.target/arm/simd/vrev32s8_1.c: Likewise.
* gcc.target/arm/simd/vrev32u16_1.c: Likewise.
* gcc.target/arm/simd/vrev32u8_1.c: Likewise.
* gcc.target/arm/simd/vrev64f32_1.c: Likewise.
* gcc.target/arm/simd/vrev64p16_1.c: Likewise.
* gcc.target/arm/simd/vrev64p8_1.c: Likewise.
* gcc.target/arm/simd/vrev64qf32_1.c: Likewise.
* gcc.target/arm/simd/vrev64qp16_1.c: Likewise.
* gcc.target/arm/simd/vrev64qp8_1.c: Likewise.
* gcc.target/arm/simd/vrev64qs16_1.c: Likewise.
* gcc.target/arm/simd/vrev64qs32_1.c: Likewise.
* gcc.target/arm/simd/vrev64qs8_1.c: Likewise.
* gcc.target/arm/simd/vrev64qu16_1.c: Likewise.
* gcc.target/arm/simd/vrev64qu32_1.c: Likewise.
* gcc.target/arm/simd/vrev64qu8_1.c: Likewise.
* gcc.target/arm/simd/vrev64s16_1.c: Likewise.
* gcc.target/arm/simd/vrev64s32_1.c: Likewise.
* gcc.target/arm/simd/vrev64s8_1.c: Likewise.
* gcc.target/arm/simd/vrev64u16_1.c: Likewise.
* gcc.target/arm/simd/vrev64u32_1.c: Likewise.
* gcc.target/arm/simd/vrev64u8_1.c: Likewise.
* gcc.target/arm/simd/vtrnf32_1.c: Likewise.
* gcc.target/arm/simd/vtrnp16_1.c: Likewise.
* gcc.target/arm/simd/vtrnp8_1.c: Likewise.
* gcc.target/arm/simd/vtrnqf32_1.c: Likewise.
* gcc.target/arm/simd/vtrnqp16_1.c: Likewise.
* gcc.target/arm/simd/vtrnqp8_1.c: Likewise.
* gcc.target/arm/simd/vtrnqs16_1.c: Likewise.
* gcc.target/arm/simd/vtrnqs32_1.c: Likewise.
* gcc.target/arm/simd/vtrnqs8_1.c: Likewise.
* gcc.target/arm/simd/vtrnqu16_1.c: Likewise.
* gcc.target/arm/simd/vtrnqu32_1.c: Likewise.
* gcc.target/arm/simd/vtrnqu8_1.c: Likewise.
* gcc.target/arm/simd/vtrns16_1.c: Likewise.
* gcc.target/arm/simd/vtrns32_1.c: Likewise.
* gcc.target/arm/simd/vtrns8_1.c: Likewise.
* gcc.target/arm/simd/vtrnu16_1.c: Likewise.
* gcc.target/arm/simd/vtrnu32_1.c: Likewise.
* gcc.target/arm/simd/vtrnu8_1.c: Likewise.
* gcc.target/arm/simd/vuzpf32_1.c: Likewise.
* gcc.target/arm/simd/vuzpp16_1.c: Likewise.
* gcc.target/arm/simd/vuzpp8_1.c: Likewise.
* gcc.target/arm/simd/vuzpqf32_1.c: Likewise.
* gcc.target/arm/simd/vuzpqp16_1.c: Likewise.
* gcc.target/arm/simd/vuzpqp8_1.c: Likewise.
* gcc.target/arm/simd/vuzpqs16_1.c: Likewise.
* gcc.target/arm/simd/vuzpqs32_1.c: Likewise.
* gcc.target/arm/simd/vuzpqs8_1.c: Likewise.
* gcc.target/arm/simd/vuzpqu16_1.c: Likewise.
* gcc.target/arm/simd/vuzpqu32_1.c: Likewise.
* gcc.target/arm/simd/vuzpqu8_1.c: Likewise.
* gcc.target/arm/simd/vuzps16_1.c: Likewise.
* gcc.target/arm/simd/vuzps32_1.c: Likewise.
* gcc.target/arm/simd/vuzps8_1.c: Likewise.
* gcc.target/arm/simd/vuzpu16_1.c: Likewise.
* gcc.target/arm/simd/vuzpu32_1.c: Likewise.
* gcc.target/arm/simd/vuzpu8_1.c: Likewise.
* gcc.target/arm/simd/vzipf32_1.c: Likewise.
* gcc.target/arm/simd/vzipp16_1.c: Likewise.
* gcc.target/arm/simd/vzipp8_1.c: Likewise.
* gcc.target/arm/simd/vzipqf32_1.c: Likewise.
* gcc.target/arm/simd/vzipqp16_1.c: Likewise.
* gcc.target/arm/simd/vzipqp8_1.c: Likewise.
* gcc.target/arm/simd/vzipqs16_1.c: Likewise.
* gcc.target/arm/simd/vzipqs32_1.c: Likewise.
* gcc.target/arm/simd/vzipqs8_1.c: Likewise.
* gcc.target/arm/simd/vzipqu16_1.c: Likewise.
* gcc.target/arm/simd/vzipqu32_1.c: Likewise.
* gcc.target/arm/simd/vzipqu8_1.c: Likewise.
* gcc.target/arm/simd/vzips16_1.c: Likewise.
* gcc.target/arm/simd/vzips32_1.c: Likewise.
* gcc.target/arm/simd/vzips8_1.c: Likewise.
* gcc.target/arm/simd/vzipu16_1.c: Likewise.
* gcc.target/arm/simd/vzipu32_1.c: Likewise.
* gcc.target/arm/simd/vzipu8_1.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223508
138bc75d-0d04-0410-961f-
82ee72b054a4
sandra [Thu, 21 May 2015 23:00:32 +0000 (23:00 +0000)]
2015-05-21 Sandra Loosemore <sandra@codesourcery.com>
gcc/testsuite/
* gcc.dg/vect/bb-slp-pr65935.c: Remove explicit "dg-do run".
* gcc.dg/vect/pr59354.c: Likewise.
* gcc.dg/vect/pr64252.c: Likewise.
* gcc.dg/vect/pr64404.c: Likewise.
* gcc.dg/vect/pr64493.c: Likewise.
* gcc.dg/vect/pr64495.c: Likewise.
* gcc.dg/vect/pr64844.c: Likewise.
* gcc.dg/vect/pr65518.c: Likewise.
* gcc.dg/vect/vect-aggressive-1.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223507
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Thu, 21 May 2015 22:39:32 +0000 (22:39 +0000)]
2015-05-21 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/66210
* g++.dg/cpp1y/var-templ28.C: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223506
138bc75d-0d04-0410-961f-
82ee72b054a4
hjl [Thu, 21 May 2015 21:58:57 +0000 (21:58 +0000)]
Allow indirect branch via GOT slot for x32
X32 doesn't support indirect branch via 32-bit memory slot since
indirect branch will load 64-bit address from 64-bit memory slot.
Since x32 GOT slot is 64-bit, we should allow indirect branch via GOT
slot for x32.
gcc/
PR target/66232
* config/i386/constraints.md (Bg): New constraint for GOT memory
operand.
* config/i386/i386.md (*call_got_x32): New pattern.
(*call_value_got_x32): Likewise.
* config/i386/predicates.md (GOT_memory_operand): New predicate.
gcc/testsuite/
PR target/66232
* gcc.target/i386/pr66232-1.c: New test.
* gcc.target/i386/pr66232-2.c: Likewise.
* gcc.target/i386/pr66232-3.c: Likewise.
* gcc.target/i386/pr66232-4.c: Likewise.
* gcc.target/i386/pr66232-5.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223505
138bc75d-0d04-0410-961f-
82ee72b054a4