aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2007-08-16tree-vectorizer.c (new_loop_vec_info): Initialize new field.Victor Kaplansky29-26/+538
gcc/ChangeLog * tree-vectorizer.c (new_loop_vec_info): Initialize new field. (destroy_loop_vec_info): Add call to VEC_free. * tree-vectorizer.h (may_alias_ddrs): Define. (LOOP_VINFO_MAY_ALIAS_DDRS): Define. * tree-vect-analyze.c (vect_analyze_data_ref_dependence): Change reporting to dump. (vect_is_duplicate_ddr): New. (vect_mark_for_runtime_alias_test): New. (vect_analyze_data_ref_dependences) Add call to vect_mark_for_runtime_alias_test. (vect_enhance_data_refs_alignment): Define local variable vect_versioning_for_alias_required, don't perform peeling for alignment if versioning for alias is required. (vect_enhance_data_refs_alignment): Use PARAM_VECT_MAX_VERSION_FOR_ALIGNMENT_CHECKS instead of PARAM_VECT_MAX_VERSION_CHECKS. * tree-vect-transform.c (vect_create_cond_for_alias_checks): New. (vect_transform_loop): Add call to vect_create_cond_for_alias_checks. (vect_vfa_segment_size): New. * params.def (PARAM_VECT_MAX_VERSION_FOR_ALIGNMENT_CHECKS): Rename. (PARAM_VECT_MAX_VERSION_FOR_ALIAS_CHECKS): Define. * gcc/doc/invoke.texi (vect-max-version-for-alignment-checks): Document. (vect-max-version-for-alias-checks): Document. (vect-max-version-checks): Remove. gcc/testsuite/ChangeLog * gcc.dg/vect/vect-vfa-01.c: New. * gcc.dg/vect/vect-vfa-02.c: New. * gcc.dg/vect/vect-vfa-03.c: New. * gcc.dg/vect/vect-vfa-04.c: New. * gcc.dg/vect/vect-102a.c, gcc.dg/vect/vect-51.c, gcc.dg/vect/pr29145.c, gcc.dg/vect/vect-43.c, gcc.dg/vect/vect-61.c, gcc.dg/vect/vect-53.c, gcc.dg/vect/vect-45.c, gcc.dg/vect/vect-101.c, gcc.dg/vect/vect-37.c, gcc.dg/vect/vect-79.c, gcc.dg/vect/vect-102.c, gcc.dg/vect/vect-dv-2.c, gcc.dg/vect/vect-57.c, gcc.dg/vect/vect-49.c, gfortran.dg/vect/pr19049.f90: Rename to start with prefix no-vfa-. * gcc.dg/vect/vect.exp: Disable versioning for alias when test starts with no-vfa-. * gfortran.dg/vect/vect.exp: Likewise. From-SVN: r127559
2007-08-16i386.md (*rep_movdi_rex64): Emit "rep" prefix on the same line as the ↵Uros Bizjak3-33/+66
instruction for all asm dialects. * config/i386/i386.md (*rep_movdi_rex64): Emit "rep" prefix on the same line as the instruction for all asm dialects. (*rep_movsi): Ditto. (*rep_movsi_rex64): Ditto. (*rep_movqi): Ditto. (*rep_movqi_rex64): Ditto. (*rep_stosdi_rex64): Ditto. (*rep_stossi): Ditto. (*rep_stossi_rex64): Ditto. (*rep_stosqi): Ditto. (*rep_stosqi_rex64): Ditto. (*cmpstrnqi_nz_1): Ditto. (*cmpstrnqi_nz_rex_1): Ditto. (*cmpstrnqi_1): Ditto. (*cmpstrnqi_rex_1): Ditto. (*strlenqi_1): Ditto. (*strlenqi_rex_1): Ditto. * config/i386/sync.md (*sync_compare_and_swap<mode>): Emit "lock" prefix on the same line as the instruction for all asm dialects. (sync_double_compare_and_swap<mode>): Ditto. (*sync_double_compare_and_swapdi_pic): Ditto. (*sync_compare_and_swap_cc<mode>): Ditto. (sync_double_compare_and_swap_cc<mode>): Ditto. (*sync_double_compare_and_swap_ccdi_pic): Ditto. (sync_old_add<mode>): Ditto. (sync_add<mode>): Ditto. (sync_sub<mode>): Ditto. (sync_ior<mode>): Ditto. (sync_and<mode>): Ditto. (sync_xor<mode>): Ditto. From-SVN: r127558
2007-08-16Add new tests.Arnaud Charlet4-0/+63
From-SVN: r127556
2007-08-16Add new tests.Arnaud Charlet8-0/+88
From-SVN: r127555
2007-08-16Add new tests.Arnaud Charlet11-0/+204
From-SVN: r127554
2007-08-16ResyncArnaud Charlet1-0/+195
From-SVN: r127553
2007-08-16[multiple changes]Arnaud Charlet4-11/+18
2007-08-16 Robert Dewar <dewar@adacore.com> * gnat_ugn.texi: Add note on preprocessing (output file not written) 2007-08-16 Thomas Quinot <quinot@adacore.com> * a-tags.adb: Minor reformatting. 2007-08-16 Bob Duff <duff@adacore.com> * sem_type.ads, sem_ch4.adb: Minor reformatting. From-SVN: r127552
2007-08-16vms_conv.adb (Process_Argument): Ensure that project related options are not ↵Vincent Celier1-1/+10
put in the -cargs section when... 2007-08-16 Vincent Celier <celier@adacore.com> * vms_conv.adb (Process_Argument): Ensure that project related options are not put in the -cargs section when using GNAT COMPILE. From-SVN: r127551
2007-08-16sem_res.adb (Comes_From_Predefined_Lib_Unit): New.Hristian Kirtchev5-13/+101
2007-08-16 Hristian Kirtchev <kirtchev@adacore.com> Bob Duff <duff@adacore.com> Nicolas Setton <setton@adacore.com> * sem_res.adb (Comes_From_Predefined_Lib_Unit): New. (Resolve): Alphabetize local variables. Add new variable From_Lib. When the statement which is being resolved comes from a predefined library unit, all non-predefined library interpretations are skipped. (Resolve_Op_Concat): If string concatenation was folded in the parser, but the "&" is user defined, give an error, because the folding would be wrong. * sinfo.ads, sinfo.adb (Is_Folded_In_Parser): New flag to indicate that the parser has folded a long sequence of concatenations of string literals. * trans.c (Handled_Sequence_Of_Statements_to_gnu): Mark "JMPBUF_SAVE" and "JMP_BUF" variables as artificial. (N_String_Literal): Do not use alloca for very long string literals. Use xmalloc/free instead. Otherwise the stack might overflow. * utils.c (init_gigi_decls): Mark "JMPBUF_T" type as created by the compiler. From-SVN: r127550
2007-08-16sem_disp.adb (Check_Dispatching_Operation): If the operation implements an ↵Ed Schonberg1-2/+5
operation inherited from a progenitor interface... 2007-08-16 Ed Schonberg <schonberg@adacore.com> * sem_disp.adb (Check_Dispatching_Operation): If the operation implements an operation inherited from a progenitor interface, verify that they are subtype-conformant. From-SVN: r127549
2007-08-16sem_ch5.adb (Analyze_Assignment): Make sure we still note update in ↵Robert Dewar1-3/+12
exception case 2007-08-16 Robert Dewar <dewar@adacore.com> * sem_ch5.adb (Analyze_Assignment): Make sure we still note update in exception case From-SVN: r127548
2007-08-16sem_ch3.adb (OK_For_Limited_Init_In_05): Allow calls to 'Input to initialize ↵Gary Dismukes1-62/+95
a limited object. 2007-08-16 Gary Dismukes <dismukes@adacore.com> Javier Miranda <miranda@adacore.com> * sem_ch3.adb (OK_For_Limited_Init_In_05): Allow calls to 'Input to initialize a limited object. (Build_Derived_Record_Type): Add missing check of rules ARM 3.9.4 13/2 and 14/2. Make sure Has_Complex_Representation is inherited by derived type. From-SVN: r127547
2007-08-16sem_ch12.adb (Copy_Generic_Node): A reference to a child unit of the generic ↵Ed Schonberg1-1/+5
for an enclosing instance is a... 2007-08-16 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Copy_Generic_Node): A reference to a child unit of the generic for an enclosing instance is a global reference, even though its scope is the enclosing instance. From-SVN: r127546
2007-08-16sem_ch10.adb (Has_With_Clause): If the name of the with clause currently ↵Hristian Kirtchev1-11/+147
inspected is a selected component... 2007-08-16 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch10.adb (Has_With_Clause): If the name of the with clause currently inspected is a selected component, retrieve the entity of its selector. (Install_Limited_Withed_Unit): Call Has_Limited_With_Clause starting from the immediate ancestor of Main_Unit_Entity. (Install_Limited_Withed_Unit): Do not install the limited view of package P if P is reachable through an ancestor chain from package C and C also has a with clause for P in its body. (Has_Limited_With_Clause): New routine. (Has_With_Clause): New routine. From-SVN: r127545
2007-08-16prj.ads (Project_Data): Add comments.Vincent Celier5-177/+309
2007-08-16 Vincent Celier <celier@adacore.com> * prj.ads (Project_Data): Add comments. * prj-attr.adb: New attribute Removed_Source_Dirs * prj-nmsc.adb (Get_Directories): Take into account new attribute Removed_Source_Dirs * snames.ads, snames.adb: New standard name Removed_Source_Dirs From-SVN: r127544
2007-08-16Makefile.in (gnatlib): Propagate FORCE_DEBUG_ADAFLAGS value to sub makefilesNicolas Roche2-31/+37
2007-08-16 Nicolas Roche <roche@adacore.com> * Makefile.in (gnatlib): Propagate FORCE_DEBUG_ADAFLAGS value to sub makefiles * Make-lang.in: Update dependencies From-SVN: r127543
2007-08-16make.adb (Collect_Arguments): Call Test_If_Relative_Path with ↵Vincent Celier3-11/+20
Including_Non_Switch set to False. 2007-08-16 Vincent Celier <celier@adacore.com> * make.adb (Collect_Arguments): Call Test_If_Relative_Path with Including_Non_Switch set to False. (Gnatmake): For the compiler, call Test_If_Relative_Path with Including_Non_Switch set to False. * makeutl.adb, makeutl.ads (Test_If_Relative_Path): New Boolean parameter Including_Non_Switch, defaulted to True. When Including_Non_Switch is False, options that are not switches and appear as relative path are not converted to absolute paths. From-SVN: r127542
2007-08-16g-dyntab.adb, [...]: (Set_Item): Suppress Range_Check on Allocated_Table.Thomas Quinot3-3/+31
2007-08-16 Thomas Quinot <quinot@adacore.com> * g-dyntab.adb, g-table.adb, table.adb: (Set_Item): Suppress Range_Check on Allocated_Table. From-SVN: r127541
2007-08-16exp_ch9.adb (Build_Protected_Entry): Undo previous change because it is not ↵Javier Miranda1-5/+3
really required and can introduce... 2007-08-16 Javier Miranda <miranda@adacore.com> * exp_ch9.adb (Build_Protected_Entry): Undo previous change because it is not really required and can introduce regression with the debugger. The original problem is fixed with the patch written for checks.adb. From-SVN: r127540
2007-08-16exp_attr.adb (Attribute_Priority): Add missing support for entries and entry ↵Javier Miranda1-10/+66
barriers. 2007-08-16 Javier Miranda <miranda@adacore.com> * exp_attr.adb (Attribute_Priority): Add missing support for entries and entry barriers. From-SVN: r127539
2007-08-16exp_aggr.adb (Build_Record_Aggr_Code): Extend the test for an ancestor part ↵Gary Dismukes8-91/+246
given by an aggregate to test for an... 2007-08-16 Gary Dismukes <dismukes@adacore.com> Ed Schonberg <schonberg@adacore.com> Javier Miranda <miranda@adacore.com> * exp_aggr.adb (Build_Record_Aggr_Code): Extend the test for an ancestor part given by an aggregate to test for an unchecked conversion, since this can occur in some cases when the ancestor part is a function call, and we don't want to fall into the recursive call to this procedure in that case. * exp_ch3.adb (Stream_Operation_OK): Revise tests for availability of stream attributes on limited types to account for user-specified attributes as well as whether Input (resp. Output) becomes available due to Read (resp. Write) being available for the type. Change Boolean variable to the more accurate name Has_Predefined_Or_Specified_Stream_Attribute. Change convoluted double-"not" predicate at beginning of return statement to more understandable form. * exp_ch5.adb (Expand_N_Extended_Return_Statement): If the extended return has an associated N_Handled_Sequence_Of_Statements, then wrap it in a block statement and use that as the first statement of the expanded return rather than incorrectly using the handled sequence as the first statement. * exp_ch6.adb (Expand_N_Subprogram_Declaration): If this is a protected operation, generate an explicit freeze node for it rather than generating extra formals, to ensure that gigi has the proper order of elaboration for anonymous subtypes in the signature of the subprograms. (Build_In_Place_Formal): Move assertion to beginning of loop. (Is_Build_In_Place_Function_Call): Allow for an unchecked conversion applied to a function call (occurs for some cases of 'Input). (Make_Build_In_Place_Call_In_*): Allow for an unchecked conversion applied to a function call (occurs for some cases of 'Input). * exp_strm.adb (Build_Record_Or_Elementary_Input_Function): For Ada 2005, generate an extended return statement enclosing the result object and 'Read call. * freeze.adb (Freeze_Record_Type): Extend the current management of components that are access type with an allocator as default value: add missing support to the use of qualified expressions of the allocator (which also cause freezing of the designated type!) (Freeze_Entity): Call Freeze_Subprogram in the case of a predefined dispatching operation, since extra formals may be needed by calls to build-in-place functions (such as stream 'Input). * sem_ch6.adb (Create_Extra_Formals): Skip creation of the extra formals for 'Constrained and accessibility level in the case of a predefined dispatching operation. * exp_util.adb (Insert_Actions): A protected body is a valid insertion point, no need to find the parent node. From-SVN: r127538
2007-08-16cstand.adb (Create_Standard): Create an entity for a zero-sized type ↵Gary Dismukes5-65/+140
associated with... 2007-08-16 Gary Dismukes <dismukes@adacore.com> * cstand.adb (Create_Standard): Create an entity for a zero-sized type associated with Standard_Debug_Renaming_Type, to be used as the type of the special variables whose names provide debugger encodings for renaming declarations. * einfo.ads, einfo.adb (Debug_Renaming_Link): Change to return Node25. (Set_Debug_Renaming_Link): Change to set Node25. (Write_Field13_Name): Remove case for E_Enumeration_Literal. (Write_Field25_Name): Add case for E_Variable to output "Debug_Renaming_Link". (Write_Field23_Name): Correct the output string for "Limited_View". * exp_dbug.adb: Add with and use of Tbuild. (Debug_Renaming_Declaration): Replace creation of an enumeration type and literal with creation of a variable of type Standard_Debug_Renaming_Type whose name encodes both the renamed object and the entity of the renaming declaration. (Qualify_Entity_Name): Add the delayed qualification of the entity name part of the name of a variable that has a Debug_Renaming_Link. * stand.ads (Standard_Debug_Renaming_Type): New Entity_Id denoting a special type to be associated with variables that provide debugger encodings for renaming declarations. From-SVN: r127537
2007-08-16re PR middle-end/32897 (Invalid rematerialisation of subregs)Richard Sandiford4-9/+53
gcc/ PR middle-end/32897 * reload.c (find_reloads): Check that the memory returned by find_reloads_toplev was not the result of forcing a constant to memory. (find_reloads_toplev): Always use simplify_gen_subreg to get the subreg of a constant. If the result is also a constant, but not a legitimate one, force it into the constant pool and reload its address. gcc/testsuite/ * gcc.dg/torture/pr32897.c: New test. From-SVN: r127536
2007-08-16re PR c++/31132 (ICE on inconsistent friend declaration)Paolo Carlini4-1/+24
/cp 2007-08-16 Paolo Carlini <pcarlini@suse.de> PR c++/31132 * pt.c (tsubst_friend_function): When check_classfn returns error_mark_node likewise return it. /testsuite 2007-08-16 Paolo Carlini <pcarlini@suse.de> PR c++/31132 * g++.dg/template/crash69.C: New. From-SVN: r127535
2007-08-16Add test casesArnaud Charlet5-0/+69
From-SVN: r127534
2007-08-16Add test cases.Arnaud Charlet9-0/+119
From-SVN: r127533
2007-08-15rs6000.c (rs6000_rtx_costs): Add CLZ, CTZ, and POPCOUNT.David Edelsohn2-0/+11
* config/rs6000/rs6000.c (rs6000_rtx_costs): Add CLZ, CTZ, and POPCOUNT. From-SVN: r127532
2007-08-16Daily bump.GCC Administrator1-1/+1
From-SVN: r127530
2007-08-15configure.host (gnu*): Set use_libgcj_bc to yes.Samuel Thibault2-1/+5
2007-08-16 Samuel Thibault <samuel.thibault@ens-lyon.org> * configure.host (gnu*): Set use_libgcj_bc to yes. From-SVN: r127527
2007-08-15rs6000.c (rs6000_file_start): Output a .gnu_attribute directive for the ↵Daniel Jacobowitz2-2/+13
current vector ABI. * config/rs6000/rs6000.c (rs6000_file_start): Output a .gnu_attribute directive for the current vector ABI. From-SVN: r127526
2007-08-15re PR target/32963 (ICE in failed_reload, could not find a spill register)Steve Ellcey2-0/+7
PR target/32963 caller-save.c (reg_save_code): Set invalide status on restore code. From-SVN: r127523
2007-08-15target-supports.exp (check_effective_target_arm32): Use ↵Daniel Jacobowitz2-33/+10
check_no_compiler_messages. * lib/target-supports.exp (check_effective_target_arm32): Use check_no_compiler_messages. From-SVN: r127522
2007-08-15tree-ssa-alias.c (compute_memory_partitions): Use alias_bitmap_obstack to ↵Diego Novillo4-69/+177
allocate bitmaps. * tree-ssa-alias.c (compute_memory_partitions): Use alias_bitmap_obstack to allocate bitmaps. (reset_alias_info): Factor out of init_alias_info. Mark all name tags not associated to an SSA name for renaming. (init_alias_info): Call it. (create_name_tags): Tidy. Add comments. (dump_points_to_info_for): Do not call get_mem_sym_stats_for. testsuite/ChangeLog gcc.dg/tree-ssa/20070815.c: New test. From-SVN: r127520
2007-08-15Class.java (internalGetFields): Use LinkedHashSet.Tom Tromey3-2/+7
* java/lang/Class.java (internalGetFields): Use LinkedHashSet. * classpath/lib/java/lang/Class.class: Rebuilt. From-SVN: r127518
2007-08-15mips.c (vr4130_swap_insns_p): Use new interface to scheduler dependencies.Maxim Kuvyrkov2-6/+12
* config/mips/mips.c (vr4130_swap_insns_p): Use new interface to scheduler dependencies. From-SVN: r127516
2007-08-15i386.md (subsi3_carry_zext): Remove "m" constraint for "register_operand".Rask Ingemann Lambertsen3-7/+17
* config/i386/i386.md (subsi3_carry_zext): Remove "m" constraint for "register_operand". (*iorsi_1_zext): Likewise. (*iorsi_1_zext_imm): Likewise. * config/i386/sse.md: (*sse4_1_extractps): Use "nonimmediate_operand" with "rm"/"xm" constraint. (sse2_vmsqrtv2df2): Likewise. From-SVN: r127515
2007-08-15re PR target/32765 (Testsuite failures due to undefined symbol ↵Jack Howarth3-0/+8
___emutls_get_address) PR target/32765 * testsuite/libgomp.fortran/pr32550.f90: Use -static-libgcc on Darwin. * testsuite/libgomp.fortran/crayptr2.f90: Likwise. From-SVN: r127514
2007-08-15re PR fortran/29459 (Spurious warnings about anonymous variables)Francois-Xavier Coudert2-1/+15
PR fortran/29459 * trans.c (gfc_create_var_np): Do not emit warnings for anonymous variables. From-SVN: r127513
2007-08-15re PR fortran/33077 (RANDOM_SEED failure for integer(kind=8))Francois-Xavier Coudert4-4/+17
PR fortran/33077 * intrinsics/random.c (random_seed_i8): Fix code logic. * gfortran.dg/random_7.f90: Initialize variable. From-SVN: r127512
2007-08-15re PR middle-end/33074 (ICE in copy_insn_1, at emit-rtl.c:4925)Jakub Jelinek4-1/+18
PR middle-end/33074 * emit-rtl.c (try_split): Use INSN_LIST instead of EXPR_LIST for REG_LIBCALL note. * gfortran.dg/pr33074.f90: New test. From-SVN: r127511
2007-08-15re PR c++/32992 (Incorrect code generated for anonymous union and return)Jakub Jelinek5-1/+53
PR c++/32992 * typeck.c (check_return_expr): Don't NRV optimize vars in anonymous unions. * decl.c (finish_function): Comment fix. * g++.dg/opt/nrv14.C: New test. From-SVN: r127510
2007-08-15* ChangeLog: Remove gcc/ prefix from file names.Uros Bizjak1-26/+25
From-SVN: r127509
2007-08-15re PR c++/33035 (ICE on local class destructor)Paolo Carlini4-1/+30
/cp 2007-08-15 Paolo Carlini <pcarlini@suse.de> PR c++/33035 * pt.c (push_template_decl_real): Depending on TYPE_P use either TYPE_CONTEXT or DECL_CONTEXT. /testsuite 2007-08-15 Paolo Carlini <pcarlini@suse.de> PR c++/33035 * g++.dg/template/crash68.C: New. From-SVN: r127508
2007-08-15natPosixProcess.cc (sigchld_handler): Remove 'si' and 'third' parameters.Samuel Thibault2-0/+20
2007-08-15 Samuel Thibault <samuel.thibault@ens-lyon.org> * java/lang/natPosixProcess.cc (sigchld_handler) [!SA_SIGINFO]: Remove 'si' and 'third' parameters. Disable calling pmi->old_sigaction.sa_sigaction. (java::lang::PosixProcess*ProcessManager::init) [!SA_SIGINFO]: Set sa.sa_handler instead of sa.sa_sigaction, don't set SA_SIGINFO flag. From-SVN: r127507
2007-08-15* include/private/gcconfig.h: Handle mips64-linux n64 ABI.David Daney2-1/+10
From-SVN: r127506
2007-08-15sibcall-3.c: Remove m68k from XFAIL list.Maxim Kuvyrkov3-2/+7
* gcc.dg/sibcall-3.c: Remove m68k from XFAIL list. * gcc.dg/sibcall-4.c: Ditto. From-SVN: r127505
2007-08-15Remove stray conflict marker.Ben Elliston1-1/+0
From-SVN: r127504
2007-08-15Daily bump.GCC Administrator1-1/+1
From-SVN: r127502
2007-08-15semantics.c (finish_omp_clauses): Strip a NOP_EXPR if constructors and ↵Mark Mitchell2-0/+27
destructors return this. * semantics.c (finish_omp_clauses): Strip a NOP_EXPR if constructors and destructors return this. From-SVN: r127499
2007-08-14re PR fortran/33066 ("type, bind(C) t": Diagnose missing "::")Francois-Xavier Coudert5-3/+42
PR fortran/33066 * decl.c (gfc_get_type_attr_spec): Fix whitespace. (gfc_match_derived_decl): Fix logic. * gfortran.dg/use_8.f90: New test. * gfortran.dg/c_loc_tests_2.f03: Fix code. From-SVN: r127497
generated by cgit v1.1 at 2024-11-01 22:47:44 +0000