charlet [Sun, 16 Oct 2011 12:12:11 +0000 (12:12 +0000)]
2011-10-16 Tristan Gingold <gingold@adacore.com>
* link.c (_AIX): Add support for GNU ld.
2011-10-16 Fedor Rybin <frybin@adacore.com>
* gnat_ugn.texi: Fixing gnattest example names in the doc.
Adding explanation to additional tests usage.
2011-10-16 Robert Dewar <dewar@adacore.com>
* exp_ch6.adb, sem_ch6.adb: Minor reformatting.
2011-10-16 Eric Botcazou <ebotcazou@adacore.com>
* a-convec.adb: Fix minor inconsistencies.
2011-10-16 Matthew Heaney <heaney@adacore.com>
* a-cusyqu.ads, a-cbsyqu.ads, a-cuprqu.ads, a-cbprqu.ads (package
Implementation): Specify pragma Implementation_Defined.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180056
138bc75d-0d04-0410-961f-
82ee72b054a4
irar [Sun, 16 Oct 2011 10:47:12 +0000 (10:47 +0000)]
* tree-vect-stmts.c (vectorizable_load): For SLP without
permutation treat the first load of the node as the first
element in its interleaving chain.
* tree-vect-slp.c (vect_get_and_check_slp_defs): Swap the
operands if necessary and possible.
(vect_build_slp_tree): Add new argument. Allow load groups of
any size in basic blocks. Keep all the loads for further
permutation check. Use the new argument to determine if there
is a permutation. Update the recursive calls.
(vect_supported_load_permutation_p): Allow subchains of
interleaving chains in basic block vectorization.
(vect_analyze_slp_instance): Update the call to
vect_build_slp_tree. Check load permutation based on the new
parameter.
(vect_schedule_slp_instance): Don't start from the first element
in interleaving chain unless the loads are permuted.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180055
138bc75d-0d04-0410-961f-
82ee72b054a4
hubicka [Sun, 16 Oct 2011 09:02:33 +0000 (09:02 +0000)]
PR target/48668
PR target/50689
* cgraphunit.c (cgraph_expand_function): Expand thunks and alises
after function body.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180053
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Sun, 16 Oct 2011 00:17:57 +0000 (00:17 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180052
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Sat, 15 Oct 2011 19:49:33 +0000 (19:49 +0000)]
/cp
2011-10-15 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/50732
* semantics.c (finish_trait_expr): Do not try to instantiate the
the base type of an __is_base_of trait.
(check_trait_type): Return a tree; use complete_type_or_else.
/testsuite
2011-10-15 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/50732
* g++.dg/ext/is_base_of_incomplete.C: New.
* g++.dg/ext/is_base_of_diagnostic.C: Adjust dg-errors.
* g++.dg/ext/unary_trait_incomplete.C: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180048
138bc75d-0d04-0410-961f-
82ee72b054a4
rth [Sat, 15 Oct 2011 19:36:50 +0000 (19:36 +0000)]
Use VEC_PERM_EXPR in the vectorizer.
* tree-vect-slp.c: Include langhooks.h.
(vect_create_mask_and_perm): Emit VEC_PERM_EXPR, not a builtin.
(vect_transform_slp_perm_load): Use can_vec_perm_expr_p. Simplify
mask creation for VEC_PERM_EXPR.
* tree-vect-stmts.c (perm_mask_for_reverse): Return the mask,
not the builtin.
(reverse_vec_elements): Emit VEC_PERM_EXPR not a builtin.
* Makefile.in (tree-vect-slp.o): Update dependency.
* optabs.c (can_vec_perm_expr_p): Allow NULL as unknown constant.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180047
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Sat, 15 Oct 2011 14:48:37 +0000 (14:48 +0000)]
* gcc.target/sparc/combined-1.c: Compile at -O2.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180040
138bc75d-0d04-0410-961f-
82ee72b054a4
uros [Sat, 15 Oct 2011 14:31:16 +0000 (14:31 +0000)]
* ChangeLog: Fix whitespace.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180039
138bc75d-0d04-0410-961f-
82ee72b054a4
amodra [Sat, 15 Oct 2011 13:39:58 +0000 (13:39 +0000)]
PR bootstrap/50738
* ifcvt.c (dead_or_predicable): Revert accidental commit with
HAVE_simple_return test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180038
138bc75d-0d04-0410-961f-
82ee72b054a4
uros [Sat, 15 Oct 2011 11:04:38 +0000 (11:04 +0000)]
* gcc.target/i386/fma_float_?.c (dg-prune_output): Remove.
(dg-options): Add -Wno-attributes.
* gcc.target/i386/fma_double_?.c: Ditto.
* gcc.target/i386/fma_run_float_?.c: Ditto.
* gcc.target/i386/fma_run_double_?.c: Ditto.
* gcc.target/i386/l_fma_float_?.c: Dtto.
* gcc.target/i386/l_fma_double_?.c: Ditto.
* gcc.target/i386/l_fma_run_float_?.c: Ditto.
* gcc.target/i386/l_fma_run_double_?.c: Ditto.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180029
138bc75d-0d04-0410-961f-
82ee72b054a4
amodra [Sat, 15 Oct 2011 10:36:00 +0000 (10:36 +0000)]
* ifcvt.c (dead_or_predicable): Disable if-conversion when
doing so is likely to kill a shrink-wrapping opportunity.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180028
138bc75d-0d04-0410-961f-
82ee72b054a4
amodra [Sat, 15 Oct 2011 10:32:33 +0000 (10:32 +0000)]
PR rtl-optimization/49941
* jump.c (mark_jump_label_1): Set JUMP_LABEL for simple_return jumps.
* rtl.h (set_return_jump_label): Declare.
* function.c (set_return_jump_label): New function, extracted..
(thread_prologue_and_epilogue_insns): ..from here. Use it in
another instance to set return jump_label.
* cfgrtl.c (force_nonfallthru_and_redirect): Use set_return_jump_label.
* reorg.c (find_end_label): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180027
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Sat, 15 Oct 2011 09:24:32 +0000 (09:24 +0000)]
2011-10-15 Nicolas Roche <roche@adacore.com>
* gcc-interface/lang-specs.h: Ensure -mrtp switch is passed when using
either rtp-smp or ravenscar-cert-rtp runtimes.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180026
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Sat, 15 Oct 2011 09:22:01 +0000 (09:22 +0000)]
2011-10-15 Bob Duff <duff@adacore.com>
* exp_ch6.adb (Add_Unconstrained_Actuals_To_Build_In_Place_Call):
Do not create a pool formal on unless RE_Root_Storage_Pool_Ptr
is available.
(Expand_N_Extended_Return_Statement): Do not create a renaming of the
build-in-place pool parameter unless RE_Root_Storage_Pool_Ptr is
available.
(Make_Build_In_Place_Call_In_Allocator): Add the user-defined
pool only if RE_Root_Storage_Pool_Ptr is available.
(Make_Build_In_Place_Call_In_Object_Declaration): Do not add a
pool actual unless RE_Root_Storage_Pool_Ptr is available.
* sem_ch6.adb (Create_Extra_Formals): Add build-in-place pool
formal only if RE_Root_Storage_Pool_Ptr is available.
2011-10-15 Matthew Heaney <heaney@adacore.com>
* a-cusyqu.ads, a-cbsyqu.ads, a-cuprqu.ads, a-cbprqu.ads (Queue
type): Specify Priority aspect for protected type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180025
138bc75d-0d04-0410-961f-
82ee72b054a4
burnus [Sat, 15 Oct 2011 08:34:36 +0000 (08:34 +0000)]
2011-10-15 Tobias Burnus <burnus@net-b.de>
* gfortran.texi (Fortran 2008 status, TS 29113 status,
Further Interoperability of Fortran with C): Update implementation
status, change references from TR 29113 to TS 29113.
* intrinsic.texi (RANK): Change TR 29113 to TS 29113.
* invoke.text (-std=): Ditto, change -std=f2008tr to
* -std=f2008ts.
* lang.opt (std=): Ditto.
* options.c (gfc_handle_option, set_default_std_flags): Ditto
* and
change GFC_STD_F2008_TR to GFC_STD_F2008_TS.
* libgfortran.h: Ditto.
* intrinsic.c (add_functions, gfc_check_intrinsic_standard):
* Ditto.
* decl.c (verify_c_interop_param): Ditto.
2011-10-15 Tobias Burnus <burnus@net-b.de>
* gfortran.dg/bind_c_usage_23.f90: Change TR 29113 to TS 29113
* in
the comments.
* gfortran.dg/bind_c_usage_24.f90: Ditto.
* gfortran.dg/rank_3.f90: Ditto.
* gfortran.dg/bind_c_usage_22.f90: Ditto, change -std=f2008tr to
-std=f2008ts in dg-options.
* gfortran.dg/rank_4.f90: Ditto.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180024
138bc75d-0d04-0410-961f-
82ee72b054a4
davem [Sat, 15 Oct 2011 03:46:59 +0000 (03:46 +0000)]
Fix mv8plus, allow targetting Linux or Solaris from other sparc host.
* config/sparc/sol2.h: Protect -m{cpu,tune}=native handling
with a more complete cpp test.
* config/sparc/linux64.h: Likewise.
* config/sparc/linux.h: Likewise.
* config/sparc/sparc.opt (sparc_debug): New target variable.
(mdebug): New target option.
* config/sparc/sparc.h (MASK_DEBUG_OPTIONS, MASK_DEBUG_ALL,
TARGET_DEBUG_OPTIONS): New defines.
* config/sparc/sparc.c (debug_target_flag_bits,
debug_target_flags): New functions.
(sparc_option_override): Add name strings back to cpu_table[].
Parse -mdebug string. When TARGET_DEBUG_OPTIONS is true, print
out the target flags before and after override processing as well
as the selected cpu. If MASK_V8PLUS, make sure that the selected
cpu is at least v9.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180021
138bc75d-0d04-0410-961f-
82ee72b054a4
kkojima [Sat, 15 Oct 2011 02:32:53 +0000 (02:32 +0000)]
PR target/49263
* config/sh/sh.h (ZERO_EXTRACT_ANDMASK): New macro.
* config/sh/sh.c (sh_rtx_costs): Add test instruction case.
* config/sh/sh.md (tstsi_t): Name existing insn. Make inner
and instruction commutative.
(tsthi_t, tstqi_t, tstqi_t_zero, tstsi_t_and_not,
tstsi_t_zero_extract_eq, tstsi_t_zero_extract_xor,
tstsi_t_zero_extract_subreg_xor_little,
tstsi_t_zero_extract_subreg_xor_big): New insns.
(*movsicc_t_false, *movsicc_t_true): Replace space with tab in
asm output.
(*andsi_compact): Reorder alternatives so that K08 is considered
first.
* gcc.target/sh/pr49263.c: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180020
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Sat, 15 Oct 2011 00:19:01 +0000 (00:19 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180019
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Fri, 14 Oct 2011 23:24:36 +0000 (23:24 +0000)]
* gnat.dg/specs/debug1.ads: Tweak.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180015
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Fri, 14 Oct 2011 23:02:40 +0000 (23:02 +0000)]
PR target/50354
* config/sparc/linux64.h (TARGET_DEFAULT): Only override if the default
processor is at least V9 and TARGET_64BIT_DEFAULT is defined.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180013
138bc75d-0d04-0410-961f-
82ee72b054a4
gerald [Fri, 14 Oct 2011 20:22:15 +0000 (20:22 +0000)]
* invoke.texi (AVR Options): Avoid \leq{}.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180007
138bc75d-0d04-0410-961f-
82ee72b054a4
ktietz [Fri, 14 Oct 2011 19:30:42 +0000 (19:30 +0000)]
* gimplify.c (gimplify_expr): Take care that for bitwise-binary
transformation the operands have compatible types.
* gfortran.fortran-torture/compile/logical-2.f90: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180006
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Fri, 14 Oct 2011 19:25:07 +0000 (19:25 +0000)]
* config/i386/sse.md (vec_widen_smult_hi_v8hi,
vec_widen_smult_lo_v8hi, vec_widen_umult_hi_v8hi,
vec_widen_umult_lo_v8hi): Macroize using VI2_AVX2
mode iterator and any_extend code iterator.
(vec_widen_<s>mult_hi_v8si, vec_widen_<s>mult_lo_v8si): New
expanders.
(vec_widen_smult_hi_v4si, vec_widen_smult_lo_v4si): Enable
also for TARGET_SSE4_1 using pmuldq insn.
(sdot_prodv8hi): Macroize using VI2_AVX2 iterator.
(sse2_sse4_1): New code attr.
(udot_prodv4si): Macroize using any_extend code iterator.
(<s>dot_prodv8si): New expander.
* gcc.target/i386/sse2-mul-1.c: New test.
* gcc.target/i386/sse4_1-mul-1.c: New test.
* gcc.target/i386/avx-mul-1.c: New test.
* gcc.target/i386/xop-mul-1.c: New test.
* gcc.target/i386/avx2-mul-1.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180005
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Fri, 14 Oct 2011 19:22:59 +0000 (19:22 +0000)]
fix PR tag
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180004
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Fri, 14 Oct 2011 19:12:57 +0000 (19:12 +0000)]
PR c++/50563
* parser.c (cp_parser_cache_group): Handle end==CPP_COMMA.
(cp_parser_save_nsdmi): Pass it.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180003
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Fri, 14 Oct 2011 19:12:45 +0000 (19:12 +0000)]
PR c++/50507
* method.c (walk_field_subobs): Check for NSDMI before
complaining about uninitialized fields.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180002
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Fri, 14 Oct 2011 19:12:33 +0000 (19:12 +0000)]
* pt.c (tsubst_decl) [FIELD_DECL]: Use void_zero_node
instead of error_mark_node as a placeholder.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180001
138bc75d-0d04-0410-961f-
82ee72b054a4
janus [Fri, 14 Oct 2011 17:59:29 +0000 (17:59 +0000)]
2011-10-14 Janus Weil <janus@gcc.gnu.org>
PR fortran/50570
* expr.c (gfc_check_vardef_context): Don't throw an error on
non-pointer assignments involving an intent(in) pointer dummy.
2011-10-14 Janus Weil <janus@gcc.gnu.org>
PR fortran/50570
* gfortran.dg/pointer_intent_5.f90: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180000
138bc75d-0d04-0410-961f-
82ee72b054a4
hjl [Fri, 14 Oct 2011 17:38:46 +0000 (17:38 +0000)]
Changed cost for loading QImode using movzbl.
2011-10-14 Yakovlev Vladimir <vladimir.b.yakovlev@intel.com>
* config/i386/i386.c (atom_cost): Changed cost for loading
QImode using movzbl.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179999
138bc75d-0d04-0410-961f-
82ee72b054a4
meissner [Fri, 14 Oct 2011 17:36:05 +0000 (17:36 +0000)]
Fix typo in my last change
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179998
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Fri, 14 Oct 2011 16:55:25 +0000 (16:55 +0000)]
* config/i386/sse.md (vec_interleave_high<mode>,
vec_interleave_low<mode>): Add AVX2 expanders for VI_256
modes.
* config/i386/i386.c (expand_vec_perm_interleave3): New function.
(ix86_expand_vec_perm_builtin_1): Call it.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179995
138bc75d-0d04-0410-961f-
82ee72b054a4
gjl [Fri, 14 Oct 2011 16:42:24 +0000 (16:42 +0000)]
Fix thinko from r179765
* config/avr/avr.c (avr_option_override): Don't override
flag_omit_frame_pointer if not actually needed.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179994
138bc75d-0d04-0410-961f-
82ee72b054a4
gjl [Fri, 14 Oct 2011 15:42:33 +0000 (15:42 +0000)]
PR target/46278
* doc/invoke.texi (AVR Options): Document -mstrict-X.
* config/avr/avr.opt (-mstrict-X): New option.
(avr_strict_X): New variable reflecting -mstrict-X.
* config/avr/avr.c (avr_reg_ok_for_addr_p): Add parameter
outer_code and pass it down to avr_regno_mode_code_ok_for_base_p.
(avr_legitimate_address_p): Pass outer_code to
avr_reg_ok_for_addr_p and use that function in case PLUS.
(avr_mode_code_base_reg_class): Depend on avr_strict_X.
(avr_regno_mode_code_ok_for_base_p): Ditto, and depend on outer_code.
(avr_option_override): Disable -fcaller-saves if -mstrict-X is on.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179993
138bc75d-0d04-0410-961f-
82ee72b054a4
tema [Fri, 14 Oct 2011 15:37:07 +0000 (15:37 +0000)]
Exclude 32-bit archs from warn-vect-op* tests.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179991
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Fri, 14 Oct 2011 15:28:39 +0000 (15:28 +0000)]
* config/i386/sse.md (neg<mode>2): Use VI_AVX2 iterator instead
of VI_128.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179990
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 14 Oct 2011 15:12:32 +0000 (15:12 +0000)]
2011-10-14 Ed Schonberg <schonberg@adacore.com>
* exp_disp.adb (Check_Premature_Freezing): If an untagged type
is a generic actual, it is a subtype of a type that was frozen
by the instantiation, and even if not marked frozen it does not
affect the construction of the dispatch table.
2011-10-14 Robert Dewar <dewar@adacore.com>
* make.adb, mlib-utl.adb, sem_util.adb, sem_ch4.adb: Minor code
reformatting.
* s-rident.ads: Add missing Compiler_Unit pragma.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179989
138bc75d-0d04-0410-961f-
82ee72b054a4
burnus [Fri, 14 Oct 2011 15:09:21 +0000 (15:09 +0000)]
2011-10-14 Tobias Burnus <burnus@net-b.de>
PR fortran/50718
* trans-expr.c (gfc_conv_procedure_call): Fix -fcheck=pointer
for dummy arguments with VALUE attribute.
2011-10-14 Tobias Burnus <burnus@net-b.de>
PR fortran/50718
* gfortran.dg/pointer_check_11.f90: New.
* gfortran.dg/pointer_check_12.f90: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179988
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Fri, 14 Oct 2011 15:05:55 +0000 (15:05 +0000)]
* config/i386/sse.md (mulv2di3): Macroize using VI8_AVX2
iterator.
(ashl<mode>3): Use VI248_AVX2 iterator instead of VI248_128.
Use <sseinsnmode> instead of TI in mode attr.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179987
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 14 Oct 2011 15:03:39 +0000 (15:03 +0000)]
2011-10-14 Gary Dismukes <dismukes@adacore.com>
* sem_res.adb: Minor reformatting.
2011-10-14 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call):
Code and comment reformatting. Use BIP_Task_Master
when creating a _master.
(BIP_Formal_Suffix): Code reformatting. Correct the case for
BIP_Task_Master.
(Make_Build_In_Place_Call_In_Object_Declaration): Use
BIP_Task_Master when creating a reference to the enclosing
function's _master formal.
(Move_Activation_Chain): Use BIP_Task_Master when creating a reference
to the _master.
* exp_ch6.ads: Change BIP_Master to BIP_Task_Master.
(Needs_BIP_Finalization_Master): Alphabetized.
* sem_ch6.adb (Create_Extra_Formals): Update the usage of
BIP_Task_Master.
2011-10-14 Ed Schonberg <schonberg@adacore.com>
* par-ch6.adb (P_Return_Object_Declaration): In Ada 2012 mode,
reject an aliased keyword on the object declaration of an extended
return statement. In older versions of the language indicate
that this is illegal in the standard.
2011-10-14 Pascal Obry <obry@adacore.com>
* sem_util.adb, sem_ch4.adb: Minor reformatting.
2011-10-14 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb: Recognize properly procedure calls that are
transformed into code statements.
2011-10-14 Vincent Celier <celier@adacore.com>
* projects.texi: Minor fix in project example.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179986
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 14 Oct 2011 14:56:46 +0000 (14:56 +0000)]
2011-10-14 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb: Return objects are aliased if their type is
immutably limited as per AI05-0053.
2011-10-14 Gary Dismukes <dismukes@adacore.com>
* exp_ch4.adb (Expand_N_Op_And): Remove Short_Circuit_And_Or
expansion code (moved to sem_res) (Expand_N_Op_Or): Remove
Short_Circuit_And_Or expansion code (moved to sem_res).
* sem_res.adb (Resolve_Logical_Op): Add code to rewrite Boolean
"and" and "or" operators as short-circuit "and then" and "or
else", when pragma Short_Circuit_And_Or is active.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179985
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Fri, 14 Oct 2011 14:43:03 +0000 (14:43 +0000)]
/cp
2011-10-14 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/38174
* call.c (add_builtin_candidate): If two pointers have a composite
pointer type, generate a single candidate with that type.
/testsuite
2011-10-14 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/38174
* g++.dg/overload/operator4.C: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179984
138bc75d-0d04-0410-961f-
82ee72b054a4
rsandifo [Fri, 14 Oct 2011 14:39:32 +0000 (14:39 +0000)]
gcc/testsuite/
2011-10-14 David Alan Gilbert <david.gilbert@linaro.org>
* gcc.dg/di-longlong64-sync-1.c: New test.
* gcc.dg/di-sync-multithread.c: New test.
* gcc.target/arm/di-longlong64-sync-withhelpers.c: New test.
* gcc.target/arm/di-longlong64-sync-withldrexd.c: New test.
* lib/target-supports.exp: (arm_arch_*_ok): Series of effective-target
tests for v5, v6, v6k, and v7-a, and add-options helpers.
(check_effective_target_arm_arm_ok): New helper.
(check_effective_target_sync_longlong): New helper.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179983
138bc75d-0d04-0410-961f-
82ee72b054a4
rsandifo [Fri, 14 Oct 2011 14:39:10 +0000 (14:39 +0000)]
gcc/
2011-10-14 David Alan Gilbert <david.gilbert@linaro.org>
* config/arm/linux-atomic-64bit.c: New (based on linux-atomic.c).
* config/arm/linux-atomic.c: Change comment to point to 64bit version.
(SYNC_LOCK_RELEASE): Instantiate 64bit version.
* config/arm/t-linux-eabi: Pull in linux-atomic-64bit.c.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179982
138bc75d-0d04-0410-961f-
82ee72b054a4
rsandifo [Fri, 14 Oct 2011 14:38:58 +0000 (14:38 +0000)]
gcc/
2011-10-14 David Alan Gilbert <david.gilbert@linaro.org>
* config/arm/arm.c (arm_output_ldrex): Support ldrexd.
(arm_output_strex): Support strexd.
(arm_output_it): New helper to output it in Thumb2 mode only.
(arm_output_sync_loop): Support DI mode. Change comment to
not support const_int.
(arm_expand_sync): Support DI mode.
* config/arm/arm.h (TARGET_HAVE_LDREXBHD): Split into LDREXBH
and LDREXD.
* config/arm/iterators.md (NARROW): move from sync.md.
(QHSD): New iterator for all current ARM integer modes.
(SIDI): New iterator for SI and DI modes only.
* config/arm/sync.md (sync_predtab): New mode_attr.
(sync_compare_and_swapsi): Fold into sync_compare_and_swap<mode>.
(sync_lock_test_and_setsi): Fold into sync_lock_test_and_setsi<mode>.
(sync_<sync_optab>si): Fold into sync_<sync_optab><mode>.
(sync_nandsi): Fold into sync_nand<mode>.
(sync_new_<sync_optab>si): Fold into sync_new_<sync_optab><mode>.
(sync_new_nandsi): Fold into sync_new_nand<mode>.
(sync_old_<sync_optab>si): Fold into sync_old_<sync_optab><mode>.
(sync_old_nandsi): Fold into sync_old_nand<mode>.
(sync_compare_and_swap<mode>): Support SI & DI.
(sync_lock_test_and_set<mode>): Likewise.
(sync_<sync_optab><mode>): Likewise.
(sync_nand<mode>): Likewise.
(sync_new_<sync_optab><mode>): Likewise.
(sync_new_nand<mode>): Likewise.
(sync_old_<sync_optab><mode>): Likewise.
(sync_old_nand<mode>): Likewise.
(arm_sync_compare_and_swapsi): Turn into iterator on SI & DI.
(arm_sync_lock_test_and_setsi): Likewise.
(arm_sync_new_<sync_optab>si): Likewise.
(arm_sync_new_nandsi): Likewise.
(arm_sync_old_<sync_optab>si): Likewise.
(arm_sync_old_nandsi): Likewise.
(arm_sync_compare_and_swap<mode> NARROW): use sync_predtab, fix indent.
(arm_sync_lock_test_and_setsi<mode> NARROW): Likewise.
(arm_sync_new_<sync_optab><mode> NARROW): Likewise.
(arm_sync_new_nand<mode> NARROW): Likewise.
(arm_sync_old_<sync_optab><mode> NARROW): Likewise.
(arm_sync_old_nand<mode> NARROW): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179981
138bc75d-0d04-0410-961f-
82ee72b054a4
rsandifo [Fri, 14 Oct 2011 14:38:42 +0000 (14:38 +0000)]
gcc/
2011-10-14 David Alan Gilbert <david.gilbert@linaro.org>
PR target/48126
* config/arm/arm.c (arm_output_sync_loop): Move label before barrier.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179980
138bc75d-0d04-0410-961f-
82ee72b054a4
rsandifo [Fri, 14 Oct 2011 14:38:30 +0000 (14:38 +0000)]
gcc/
2011-10-14 David Alan Gilbert <david.gilbert@linaro.org>
* config/arm/arm.h (TARGET_HAVE_DMB_MCR): MCR Not available in Thumb1.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179979
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Fri, 14 Oct 2011 14:03:53 +0000 (14:03 +0000)]
2011-10-14 Paolo Carlini <paolo.carlini@oracle.com>
* doc/invoke.texi ([Wformat-zero-length]): Tidy.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179978
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Fri, 14 Oct 2011 12:05:43 +0000 (12:05 +0000)]
* gimple.c (walk_stmt_load_store_addr_ops): Call visit_addr
also on COND_EXPR/VEC_COND_EXPR comparison operands if they are
ADDR_EXPRs.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179969
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Fri, 14 Oct 2011 11:25:27 +0000 (11:25 +0000)]
2011-10-14 François Dumont <francois.cppdevs@free.fr>
* testsuite/performance/23_containers/insert_erase/41975.cc: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179968
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Fri, 14 Oct 2011 11:03:06 +0000 (11:03 +0000)]
2011-10-14 Richard Guenther <rguenther@suse.de>
PR tree-optimization/50723
* ipa-split.c (split_function): Use GSI_CONTINUE_LINKING.
* gcc.dg/torture/pr50723.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179967
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Fri, 14 Oct 2011 10:38:23 +0000 (10:38 +0000)]
2011-10-14 Jonathan Wakely <jwakely.gcc@gmail.com>
* testsuite/22_locale/codecvt_byname/50714.cc: Fix mychar.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179966
138bc75d-0d04-0410-961f-
82ee72b054a4
nicola [Fri, 14 Oct 2011 10:19:01 +0000 (10:19 +0000)]
In gcc/:
2011-10-14 Nicola Pero <nicola.pero@meta-innovation.com>
* gengtype.c (files_rules): Added rules for objc/objc-map.h and
objc/objc-map.c.
In gcc/objc/:
2011-10-14 Nicola Pero <nicola.pero@meta-innovation.com>
* objc-map.h: New file.
* objc-map.c: New file.
* config-lang.in (gtfiles): Added objc-map.h.
* Make-lang.in (OBJC_OBJS): Added objc-map.o.
(objc/objc-map.o): New rule.
(objc/objc-act.o): Depend on objc/objc-map.h.
* objc-next-runtime-abi-02.c: Added a TODO comment.
* objc-act.c: Include objc-map.h.
(nst_method_hash_list, cls_method_hash_list): Removed.
(instance_method_map, class_method_map): New.
(cls_name_hash_list, als_name_hash_list): Removed.
(class_name_map, alias_name_map): Removed.
(ivar_offset_hash_list): Removed.
(hash_class_name_enter, hash_class_name_lookup, hash_enter,
hash_lookup, hash_add_attr, add_method_to_hash_list): Removed.
(interface_hash_init): New.
(objc_init): Call interface_hash_init.
(objc_write_global_declarations): Iterate over class_method_map
and instance_method_map instead of cls_method_hash_list and
nst_method_hash_list.
(objc_declare_alias): Use alias_name_map instead of
cls_name_hash_list.
(objc_is_class_name): Use class_name_map and alias_name_map
instead of cls_name_hash_list and als_name_hash_list.
(interface_tuple, interface_htab, hash_interface, eq_interface):
Removed.
(interface_map): New.
(add_class): Renamed to add_interface. Use interface_map instead
of interface_htab.
(lookup_interface): Use interface_map instead of interface_htab.
(check_duplicates): Changed first argument to be a tree,
potentially a TREE_VEC, instead of a hash. Changed implementation
to match.
(lookup_method_in_hash_lists): Use class_method_map and
instance_method_map instead of cls_method_hash_list and
nst_method_hash_list.
(objc_build_selector_expr): Likewise.
(hash_func): Removed.
(hash_init): Create instance_method_map, class_method_map,
class_name_map, and alias_name_map. Do not create
nst_method_hash_list, cls_method_hash_list, cls_name_hash_list,
als_name_hash_list, and ivar_offset_hash_list.
(insert_method_into_method_map): New.
(objc_add_method): Use insert_method_into_method_map instead of
add_method_to_hash_list.
(start_class): Call add_interface instead of add_class.
* objc-act.h (cls_name_hash_list, als_name_hash_list,
nst_method_hash_list, cls_method_hash_list): Removed.
In gcc/objcp/:
2011-10-14 Nicola Pero <nicola.pero@meta-innovation.com>
* Make-lang.in (OBJCXX_OBJS): Added objc-map.o.
(objcp/objc-map.o): New rule.
(objcp/objcp-act.o): Depend on objc/objc-map.h.
* config-lang.in (gtfiles): Added objc-map.h.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179965
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Fri, 14 Oct 2011 09:14:58 +0000 (09:14 +0000)]
/gcc
2011-10-14 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/17212
* c-family/c.opt ([Wformat-zero-length]): Add C++ and Objective-C++.
* doc/invoke.texi: Update.
/testsuite
2011-10-14 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/17212
* g++.dg/warn/format6.C: New.
* obj-c++.dg/warn6.mm: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179964
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Fri, 14 Oct 2011 09:14:26 +0000 (09:14 +0000)]
/gcc
2011-10-14 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/17212
* c-family/c.opt ([Wformat-zero-length]): Add C++ and Objective-C++.
* doc/invoke.texi: Update.
/testsuite
2011-10-14 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/17212
* g++.dg/warn/format6.C: New.
* obj-c++.dg/warn6.mm: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179963
138bc75d-0d04-0410-961f-
82ee72b054a4
iains [Fri, 14 Oct 2011 08:13:04 +0000 (08:13 +0000)]
gcc:
PR bootstrap/50699
* config/darwin.c (darwin_patch_builtin): Adjust argument type. Only
build for powerpc targets. (darwin_patch_builtins): Only build for
powerpc targets.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179962
138bc75d-0d04-0410-961f-
82ee72b054a4
ktietz [Fri, 14 Oct 2011 06:57:55 +0000 (06:57 +0000)]
2011-10-14 Jonathan Yong <jon_y@users.sourceforge.net>
* configure.host: Use config/os/mingw32-w64 instead of
config/os/mingw32 if vendor key is "w64".
* config/os/mingw32-w64: Duplicate from config/os/mingw32.
* config/os/mingw32-w64/os_defines.h: Enable
_GLIBCXX_FULLY_DYNAMIC_STRING if undefined.
* acinclude.m4: Set fully-dynamic-string to 1 when enabled,
0 when disabled or undefined if unset by user.
* include/bits/basic_string.h: Check if
_GLIBCXX_FULLY_DYNAMIC_STRING is set to 0 instead of undefined.
include/bits/basic_string.tcc: Likewise.
* configure: Regenerated.
* config.h.in: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179961
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Fri, 14 Oct 2011 06:06:14 +0000 (06:06 +0000)]
* config/i386/sse.md (*avx_cvtdq2pd256_2): Rename to...
(avx_cvtdq2pd256_2): ... this.
(sseunpackfltmode): New mode attr.
(vec_unpacks_float_hi_v8hi, vec_unpacks_float_lo_v8hi,
vec_unpacku_float_hi_v8hi, vec_unpacku_float_lo_v8hi): Macroize
using VI2_AVX2 iterator.
(vec_unpacku_float_hi_v8si, vec_unpacku_float_lo_v8si): New
expanders.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179960
138bc75d-0d04-0410-961f-
82ee72b054a4
davem [Fri, 14 Oct 2011 03:48:06 +0000 (03:48 +0000)]
Merge sparc plus/minus vector operations using a code iterator.
* config/sparc/sparc.md (plusminus): New code iterator.
(plusminus_insn): New code attr.
(addv2si3, subv2si3, addv4hi3, subv4hi3, addv2hi3, subv2hi3): Merge
using plusminus and plusminus_insn.
(fpadd64_vis, fpsub64_vis): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179959
138bc75d-0d04-0410-961f-
82ee72b054a4
rth [Fri, 14 Oct 2011 03:31:23 +0000 (03:31 +0000)]
Expand vector permutation with vec_perm and vec_perm_const.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179958
138bc75d-0d04-0410-961f-
82ee72b054a4
rth [Fri, 14 Oct 2011 03:27:01 +0000 (03:27 +0000)]
rs6000: Fix typo in rs6000_expand_vector_init
Of course we don't support vectors of size <= 4.
We're supposed to be checking the vector element size.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179957
138bc75d-0d04-0410-961f-
82ee72b054a4
rth [Fri, 14 Oct 2011 03:25:58 +0000 (03:25 +0000)]
Move lowering of vector shifts from v/s to v/v from gimple to rtl.
This allows other rtl expanders to rely on shifts of vector by scalar.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179956
138bc75d-0d04-0410-961f-
82ee72b054a4
rth [Fri, 14 Oct 2011 03:20:37 +0000 (03:20 +0000)]
i386: Implement vec_perm_const<mode>.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179955
138bc75d-0d04-0410-961f-
82ee72b054a4
rth [Fri, 14 Oct 2011 03:18:14 +0000 (03:18 +0000)]
spu: Implement vec_permv16qi.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179954
138bc75d-0d04-0410-961f-
82ee72b054a4
rth [Fri, 14 Oct 2011 03:17:16 +0000 (03:17 +0000)]
rs6000: Implement vec_permv16qi.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179953
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Fri, 14 Oct 2011 00:18:38 +0000 (00:18 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179952
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Fri, 14 Oct 2011 00:12:40 +0000 (00:12 +0000)]
2011-10-13 Paolo Carlini <paolo.carlini@oracle.com>
PR libstdc++/50714
* include/bits/codecvt.h (codecvt<>::codecvt(size_t)): Initialize
_M_c_locale_codecvt member.
* testsuite/22_locale/codecvt_byname/50714.cc: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179948
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Thu, 13 Oct 2011 21:23:47 +0000 (21:23 +0000)]
PR c++/50614
* cp-tree.h (VAR_TEMPL_TYPE_FIELD_OR_FUNCTION_DECL_CHECK): New.
(DECL_TEMPLATE_INFO): Use it.
* pt.c (tsubst_decl) [FIELD_DECL]: Set DECL_TEMPLATE_INFO
if the decl has an NSDMI.
* init.c (perform_member_init): Use it.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179945
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Thu, 13 Oct 2011 21:23:36 +0000 (21:23 +0000)]
PR c++/50437
* cp-tree.h (struct tree_lambda_expr): Add closure field.
(LAMBDA_EXPR_CLOSURE): New.
* pt.c (tsubst_copy_and_build) [LAMBDA_EXPR]: Likewise.
* semantics.c (build_lambda_object): Use it instead of TREE_TYPE.
(begin_lambda_type, lambda_function, add_capture): Likewise.
(add_default_capture, lambda_expr_this_capture): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179944
138bc75d-0d04-0410-961f-
82ee72b054a4
davem [Thu, 13 Oct 2011 21:15:44 +0000 (21:15 +0000)]
Fix the RTL of some sparc VIS patterns.
* config/sparc/sparc.md (UNSPEC_FPMERGE): Delete.
(UNSPEC_MUL16AU, UNSPEC_MUL8, UNSPEC_MUL8SU, UNSPEC_MULDSU): New
unspecs.
(fpmerge_vis): Remove inaccurate comment, represent using vec_select
of a vec_concat.
(vec_interleave_lowv8qi, vec_interleave_highv8qi): New insns.
(fmul8x16_vis, fmul8x16au_vis, fmul8sux16_vis, fmuld8sux16_vis):
Reimplement as unspecs and remove inaccurate comments.
(vis3_shift_patname): New code attr.
(<vis3_shift_insn><vbits>_vis): Rename to "v<vis3_shift_patname><mode>3".
(vis3_addsub_ss_patname): New code attr.
(<vis3_addsub_ss_insn><vbits>_vis): Rename to
"<vis3_addsub_ss_patname><mode>3".
* config/sparc/sparc.c (sparc_vis_init_builtins): Update to
accommodate pattern name changes.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179943
138bc75d-0d04-0410-961f-
82ee72b054a4
dnovillo [Thu, 13 Oct 2011 18:26:08 +0000 (18:26 +0000)]
* cp-tree.h (struct language_function): Rename in_function_try_handler
to x_in_function_try_handler.
Rename in_base_initializer to x_in_base_initializer.
Update all users.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179940
138bc75d-0d04-0410-961f-
82ee72b054a4
dnovillo [Thu, 13 Oct 2011 18:25:10 +0000 (18:25 +0000)]
* class.c (sorted_fields_type_new): Factor out of ...
(finish_struct_1): ... here.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179939
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Thu, 13 Oct 2011 18:01:51 +0000 (18:01 +0000)]
PR c++/50618
* init.c (expand_aggr_init_1): Don't zero-initialize virtual
bases of a base subobject.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179934
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Thu, 13 Oct 2011 16:26:48 +0000 (16:26 +0000)]
* config/i386/sse.md (vec_set<mode>): Change V_128 iterator mode
to V.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179931
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Thu, 13 Oct 2011 16:09:12 +0000 (16:09 +0000)]
* tree-ssa.c (maybe_optimize_var): Drop TREE_ADDRESSABLE
from vector or complex vars even if their DECL_UID is in not_reg_needs
bitmap.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179930
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Thu, 13 Oct 2011 16:08:04 +0000 (16:08 +0000)]
* config/i386/sse.md (reduc_umin_v8hi): New pattern.
* config/i386/i386.c (ix86_build_const_vector): Handle
also V32QI, V16QI, V16HI and V8HI modes.
(emit_reduc_half): New function.
(ix86_expand_reduc): Use phminposuw insn for V8HImode UMIN.
Use emit_reduc_half helper function.
* gcc.target/i386/sse4_1-phminposuw-2.c: New test.
* gcc.target/i386/sse4_1-phminposuw-3.c: New test.
* gcc.target/i386/avx-vphminposuw-2.c: New test.
* gcc.target/i386/avx-vphminposuw-3.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179929
138bc75d-0d04-0410-961f-
82ee72b054a4
dnovillo [Thu, 13 Oct 2011 15:41:52 +0000 (15:41 +0000)]
2011-10-12 Lawrence Crowl <crowl@google.com>
Diego Novillo <dnovillo@google.com>
* lto-streamer-in.c (input_struct_function_base): Factor out of ...
(input_function): ... here.
* lto-streamer-out.c (output_struct_function_base): Factor out of ...
(output_function): ... here.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179928
138bc75d-0d04-0410-961f-
82ee72b054a4
dnovillo [Thu, 13 Oct 2011 15:40:29 +0000 (15:40 +0000)]
2011-10-12 Gabriel Charette <gchare@google.com>
Diego Novillo <dnovillo@google.com>
* streamer-hooks.h (struct streamer_hooks): Add hooks
input_location and output_location.
* lto-streamer-in.c (lto_input_location): Use
streamer_hooks.input_location, if set.
* lto-streamer-out.c (lto_output_location): Use
streamer_hooks.output_location, if set.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179927
138bc75d-0d04-0410-961f-
82ee72b054a4
hjl [Thu, 13 Oct 2011 15:39:27 +0000 (15:39 +0000)]
Check ia32 instead of ilp32.
2011-10-13 H.J. Lu <hongjiu.lu@intel.com>
* gcc.target/i386/pr50712.c: Check ia32 instead of ilp32.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179926
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Thu, 13 Oct 2011 12:59:34 +0000 (12:59 +0000)]
* doc/invoke.texi (SPARC options): Document -mfix-at697f.
* config/sparc/sparc.opt (mfix-at697f): New option.
* config/sparc/sparc.c (TARGET_MACHINE_DEPENDENT_REORG): Define.
(sparc_reorg): New function.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179921
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Thu, 13 Oct 2011 12:28:16 +0000 (12:28 +0000)]
* gcc.dg/builtins-67.c: Guard iround and irint with HAVE_C99_RUNTIME.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179920
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Thu, 13 Oct 2011 12:07:44 +0000 (12:07 +0000)]
2011-10-13 Richard Guenther <rguenther@suse.de>
PR tree-optimization/50712
* ipa-split.c (split_function): Always re-gimplify parameters
when they are not gimple vals before passing them. Properly
check for type compatibility.
* gcc.target/i386/pr50712.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179919
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 11:12:07 +0000 (11:12 +0000)]
Remove Packages_To_Check parameter.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179918
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 11:11:37 +0000 (11:11 +0000)]
Remove default for argument Packages_To_Check.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179917
138bc75d-0d04-0410-961f-
82ee72b054a4
vries [Thu, 13 Oct 2011 11:10:01 +0000 (11:10 +0000)]
Fix PR middle-end/50527 ChangeLog entry
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179916
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 11:09:11 +0000 (11:09 +0000)]
2011-10-13 Robert Dewar <dewar@adacore.com>
* sem_ch9.adb, sem_util.adb, sem_util.ads, exp_ch6.adb, sem_ch4.adb,
sem_ch6.adb, exp_ch3.adb: Minor reformatting.
2011-10-13 Arnaud Charlet <charlet@adacore.com>
* Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add a-ngcoar.o.
2011-10-13 Jerome Guitton <guitton@adacore.com>
* sysdep.c (__gnat_get_task_options): Re-enable VX_SPE_TASK on vThreads
2011-10-13 Eric Botcazou <ebotcazou@adacore.com>
* a-convec.ads (Cursor): Minor reformatting.
* a-convec.adb (Next): Fix minor inconsistencies.
(Previous): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179915
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 11:05:50 +0000 (11:05 +0000)]
2011-10-13 Ed Schonberg <schonberg@adacore.com>
* sem_util.ads, sem_util.adb (Available_Full_View_Of_Component):
New predicate to determine whether some operations on an array
type are available when the full view of its component may differ
from the view of the point of the array declaration.
* sem_ch4.adb (Find_Equality_Types): Use
Available_Full_View_Of_Component.
* sem_type.adb (Valid_Boolean_Arg, Valid_Comparison_Arg): Ditto
2011-10-13 Ed Schonberg <schonberg@adacore.com>
* sem_ch9.adb: Analyze aspects while discriminants of protected
type are visible.
2011-10-13 Geert Bosch <bosch@adacore.com>
* Makefile.rtl (GNATRTL_TASKING_OBJECTS): Add
a-nlcoar.o, a-nllcar.o, a-nucoar.o and s-gearop.o, as these no
longer depend on an external library.
* gcc-interface/Makefile.in (GNATRTL_LINEARALGEBRA_OBJS): Remove
a-nlcoar.o, a-nllcar.o, a-nucoar.o and s-gearop.o.
Update dependencies.
* gcc-interface/Make-lang.in: Update dependencies.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179914
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 11:00:13 +0000 (11:00 +0000)]
2011-10-13 Cyrille Comar <comar@adacore.com>
* gnat_ugn.texi: Minor editing.
2011-10-13 Vincent Celier <celier@adacore.com>
* projects.texi: Add documentation on packages and attributes
that are inherited from a project being extended into the
extended project.
2011-10-13 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch3.adb (Build_Master): Rewritten.
(Expand_N_Full_Type_Declaration): Reformat the declarative
region. Update the call to Build_Master_Renaming.
(Expand_Previous_Access_Type): Rewritten.
* exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call):
Add local constant Result_Subt and update related usage.
(Expand_N_Extended_Return_Statement): Add local constant
Result_Subt and update related usage.
* exp_ch9.adb (Build_Activation_Chain): Rewritten to use the
new context detection mechanism.
(Build_Class_Wide_Master):
Use Insert_Action to add the renaming into the tree.
(Build_Master_Entity): Rewritten to use the new context detection
mechanism.
(Build_Master_Renaming): Add formal parameter Ins_Nod
and related usage. Use Insert_Action to add the renaming into the
tree.
(Find_Enclosing_Context): New subsidiary routine. Rather
than relying on enclosing scopes, this routine looks at the
tree structure to figure out the proper context for a _master
or a _chain. This approach eliminates the issues with transient
scopes which have not been converted into blocks.
* exp_ch9.ads (Build_Master_Entity): Change parameter profile
to better reflect the new usage. Update the related comment.
(Build_Master_Renaming): Add formal parameter Ins_Nod. Update
the comment on usage.
* sem_ch3.adb (Access_Definition): Update the calls to
Build_Master_Entity and Build_Master_Renaming.
* sem_ch6.adb (Create_Extra_Formals): Add local variable
Full_Subt. Code reformatting.
* sem_util.adb (Is_Iterator): Alphabetized.
(Is_LHS): Alphabetized.
(Is_Limited_Class_Wide_Type): New routine.
* sem_util.ads (Is_Limited_Class_Wide_Type): New routine.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179913
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 10:56:08 +0000 (10:56 +0000)]
2011-10-13 Geert Bosch <bosch@adacore.com>
* a-ngrear.adb (Solve): Make generic and move to
System.Generic_Array_Operations.
* s-gearop.ads (Matrix_Vector_Solution, Matrix_Matrix_Solution):
New generic solvers to compute a vector resp. matrix Y such
that A * Y = X, approximately.
* s-gearop.adb (Matrix_Vector_Solution, Matrix_Matrix_Solution):
Implement using Forward_Eliminate and Back_Substitute
* a-ngcoar.adb: Reimplement in pure Ada to remove dependencies
on BLAS and LAPACK.
* a-ngcoar.ads ("abs"): Fix return type to be real.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179912
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Thu, 13 Oct 2011 10:54:19 +0000 (10:54 +0000)]
PR ada/50589
* s-linux-alpha.ads: Do not "with" Interfaces.C.
* s-linux-sparc.ads: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179911
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 10:52:59 +0000 (10:52 +0000)]
2011-10-13 Geert Bosch <bosch@adacore.com>
* s-gearop.ads (Forward_Eliminate): Add "abs" formal function
returning a Real.
* s-gearop.adb (Forward_Eliminate): Remove local "abs" function
and use formal.
* a-ngrear.adb (Forward_Eliminate): Adjust instantiation for
new profile.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179910
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 10:51:39 +0000 (10:51 +0000)]
2011-10-13 Geert Bosch <bosch@adacore.com>
* a-ngrear.adb, s-gearop.adb, s-gearop.ads (Sqrt): Make generic and
move to System.Generic_Array_Operations.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179909
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 10:49:57 +0000 (10:49 +0000)]
2011-10-13 Geert Bosch <bosch@adacore.com>
* a-ngrear.adb ("abs"): Adjust for modified L2_Norm generic
* s-gearop.ads (L2_Norm): Change profile to be suitable for
Complex_Vector
* s-gearop.adb (L2_Norm): Reimplement using direct definition,
not inner product
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179908
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 10:47:00 +0000 (10:47 +0000)]
2011-10-13 Robert Dewar <dewar@adacore.com>
* exp_ch5.adb, sem_ch3.adb, impunit.adb, impunit.ads, sem_type.adb,
prj-proc.adb, exp_ch9.adb, s-regpat.adb, sem_ch10.adb, sem_prag.adb,
sem_ch12.adb, freeze.adb, sem_attr.adb, sem_attr.ads, gnatlink.adb,
par-ch6.adb, exp_ch6.adb, sem_ch4.adb, sem_ch6.adb, sem_ch8.adb,
par-util.adb, sem_ch13.adb, lib-xref.adb, g-trasym.adb, g-trasym.ads,
exp_aggr.adb, s-taprop-posix.adb: Minor reformatting.
2011-10-13 Geert Bosch <bosch@adacore.com>
* s-gearop.adb: Minor comment additions.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179907
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 10:43:52 +0000 (10:43 +0000)]
2011-10-13 Fedor Rybin <frybin@adacore.com>
* gnat_ugn.texi: Add gnattest section.
2011-10-13 Ed Schonberg <schonberg@adacore.com>
* freeze.adb: Do not create body of renaming if declaration has
errors.
2011-10-13 Olivier Hainque <hainque@adacore.com>
* init.c (__gnat_error_handler - vxworks case): Restrict sigtramp calls
further, to the ppc+kernel case only.
2011-10-13 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch4.adb (Expand_N_Allocator): Comment reformatting.
* exp_ch6.adb (Add_Unconstrained_Actuals_To_Build_In_Place_Call):
Do not create a pool formal on .NET/JVM.
(Expand_N_Extended_Return_Statement): Alphabetize local
variables. Do not create a renaming of the build-in-place pool
parameter on .NET/JVM. (Make_Build_In_Place_Call_In_Allocator):
Add the user-defined pool only on non-VM targets.
(Make_Build_In_Place_Call_In_Object_Declaration): Alphabetize
local variables. Do not add a pool actual on .NET/JVM.
* sem_ch6.adb: Add with and use clause for Targparm.
(Create_Extra_Formals): Add build-in-place pool formal only on
non-VM targets.
* rtsfind.ads: Alphabetize entries.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179906
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 10:40:53 +0000 (10:40 +0000)]
2011-10-13 Sergey Rybin <rybin@adacore.com>
* gnat_ugn.texi: Minor correction.
2011-10-13 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb: Minor error message improvement.
2011-10-13 Robert Dewar <dewar@adacore.com>
* a-cbprqu.adb, a-ciorma.adb, exp_ch3.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179905
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 10:39:15 +0000 (10:39 +0000)]
2011-10-13 Gary Dismukes <dismukes@adacore.com>
* exp_ch5.adb (Expand_N_Loop_Statement): For the transformation
of a for loop for an enumeration type with an enumeration rep
clause, which involves moving the original loop parameter into
a nested block, the loop parameter's entity must be removed from
the entity list of the loop scope.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179904
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 10:37:33 +0000 (10:37 +0000)]
2011-10-13 Bob Duff <duff@adacore.com>
* exp_ch6.ads (BIP_Storage_Pool): New "extra implicit parameter"
that gets passed in the same cases where BIP_Alloc_Form is passed
(caller-unknown-size results). BIP_Storage_Pool is used when
BIP_Alloc_Form = User_Storage_Pool. In that case, a pointer
to the user-defined storage pool is passed at the call site,
and this pool is used in callee to allocate the result.
* exp_ch6.adb (Add_Unconstrained_Actuals_To_Build_In_Place_Call): New
version of Add_Alloc_Form_Actual_To_Build_In_Place_Call. Passes
the additional BIP_Storage_Pool actual.
(Expand_N_Extended_Return_Statement): Allocate the function
result using the user-defined storage pool, if BIP_Alloc_Form =
User_Storage_Pool.
* sem_ch6.adb: Add the "extra formal" for BIP_Storage_Pool.
* exp_ch4.adb: Don't overwrite storage pool set by
Expand_N_Extended_Return_Statement.
* s-stopoo.ads, rtsfind.ads (Root_Storage_Pool_Ptr): New type,
for use in build-in-place function calls within allocators
where the access type has a user-defined storage pool.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179903
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 10:32:13 +0000 (10:32 +0000)]
2011-10-13 Sergey Rybin <rybin@adacore.com>
* gnat_ugn.texi, vms_data.ads: Add an option to control enumeration
literal casing.
2011-10-13 Nicolas Roche <roche@adacore.com>
* gnatlink.adb: Ensure that -mrtp is passed when
runtime name ends with 'rtp'.
2011-10-13 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_Pragma, case Unchecked_Union): an
unchecked union type can be limited.
2011-10-13 Olivier Hainque <hainque@adacore.com>
* init.c (__gnat_error_handler) <VxWorks version>: Add comments on
the use of the signal trampoline for PPC in the sjlj case as well.
Add legitimate casts, preventing compile time warnings on the
(sighandler *) profile.
2011-10-13 Yannick Moy <moy@adacore.com>
* sem_aggr.adb (Resolve_Aggr_Expr): Always perform semantic
analysis in Alfa mode.
2011-10-13 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (OK_For_Limited_Init_In_05): Conditional and case
expressions are legal limited return values if each one of their
dependent expressions are legal.
2011-10-13 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Analyze_Procedure_Call_Statement): In Ada 2012 mode,
if the prefix of the call is a qualified expression, rewrite as
a code statement.
* sem_ch13.adb (Analyze_Code_Statement): In Ada 2012 mode, the
code statement is legal if it is a rewriting of a procedure call.
2011-10-13 Ed Schonberg <schonberg@adacore.com>
* exp_aggr.adb (Flatten): If a component association has a box,
assume that aggregate is not static.
(Safe_Aggregate): If a component association in a non-limited
aggregate has a box, assume that it cannot be expanded in place.
2011-10-13 Vincent Celier <celier@adacore.com>
* prj-conf.adb (Get_Or_Create_Configuration_File): Call
Process_Project_Tree_Phase_1 with Packages_To_Check.
(Process_Project_And_Apply_Config): Ditto
* prj-part.ads, prj-part.adb, prj-pars.ads, prj-pars.adb (Parse):
Remove default for argument Packages_To_Check.
* prj-proc.adb (Recursive_Process): New argument
Packages_To_Check.
(Process): Ditto.
(Process_Project_Tree_Phase_1): Ditto.
(Recursive_Project.Process_Aggregated_Projects): Call
Prj.Part.Parse and Process_Project_Tree_Phase_1 with
Packages_To_Check.
* prj-proc.ads (Process): New argument Packages_To_Check
(Process_Project_Tree_Phase_1): Ditto
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179902
138bc75d-0d04-0410-961f-
82ee72b054a4
vries [Thu, 13 Oct 2011 10:24:47 +0000 (10:24 +0000)]
2011-10-13 Tom de Vries <tom@codesourcery.com>
* function.c (gimplify_parameters): Set number of arguments of call to
BUILT_IN_ALLOCA_WITH_ALIGN to 2.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179901
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 13 Oct 2011 10:23:36 +0000 (10:23 +0000)]
* gcc-interface/Makefile.in: Fix typo.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179900
138bc75d-0d04-0410-961f-
82ee72b054a4