- 03 Jan, 2005 40 commits
-
-
From-SVN: r92863
Richard Henderson committed -
* config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New. (ia64_const_ok_for_letter_p): New. (ia64_const_double_ok_for_letter_p): New. (ia64_extra_constraint): New. (ia64_expand_vecint_compare): New. (ia64_expand_vcondu_v2si): New. (ia64_expand_vecint_cmov): New. (ia64_expand_vecint_minmax): New. (ia64_print_operand): Add 'v'. (ia64_preferred_reload_class): New. (ia64_vector_mode_supported_p): New. * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New. (PREFERRED_RELOAD_CLASS): Move to function. (CONST_OK_FOR_LETTER_P): Move to function. (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function. (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove. (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove. (EXTRA_CONSTRAINT): Move to function. * config/ia64/ia64.md: Include vect.md. (itanium_class): Add mmalua. (type): Handle it. * config/ia64/itanium1.md (1_mmalua): New. Add it to bypasses. (1b_mmalua): New. * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly. * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any CONST0_RTX. (const_int_2bit_operand): New. (fr_reg_or_0_operand): New. * config/ia64/ia64-modes.def: Add vector modes. * config/ia64/ia64-protos.h: Update. * config/ia64/vect.md: New file. * gcc.dg/vect/vect.exp: Enable for ia64. * lib/target-supports.exp (check_effective_target_vect_int): Likewise. (check_effective_target_vect_float): Likewise. (check_effective_target_vect_no_align): Likewise. * gcc.dg/vect/vect-30.c: XFAIL for vect_no_align. * gcc.dg/vect/vect-8.c: Likewise. From-SVN: r92862
Richard Henderson committed -
From-SVN: r92861
Richard Henderson committed -
* testsuite/libjava.lang/Process_4.java (Process_4): Expect only a non-zero exit status from 'false'. From-SVN: r92860
Eric Botcazou committed -
PR c++/14136 * parser.c (cp_parser_unqualified_id): Do not issue error message for typedef-name as destructor declarator when performing an uncommitted tentative parse. From-SVN: r92859
Volker Reichelt committed -
PR target/19235 * gcc.dg/pr19236-1.c: New test case. From-SVN: r92855
Uros Bizjak committed -
From-SVN: r92853
Arnaud Charlet committed -
* ug_words, gnat_ugn.texi: Added alpha-ivms transitioning section to porting guide chapter (vms version). Revised doc title (removed "for native platforms") and subtitle. Add discussion on warning flag for obsolescent features. First we note that it applies to obsolete GNAT features, which was previously omitted. Second we contrast the behavior with that of the new Ada 2005 AI-368 restriction No_Obsolescent_Features. Preliminary rewriting of GNAT & libraries chapter in order to take into account default project locations & new project manager capabilities. * cstand.adb (Create_Operators): Clean up format and documentation of unary and binary operator result tables. No change in code, just reformatting and addition of comments. * errout.ads, gnatfind.adb, s-maccod.ads, sem.adb, sem_ch2.adb: Minor reformatting * atree.ads, elists.ads, lib.ads, namet.ads, nlists.ads, repinfo.ads, sinput.ads, stringt.ads, uintp.ads, urealp.ads: Minor clarification to comments for Tree_Read and Tree_Write. * exp_attr.ads: Minor reformatting. * comperr.adb (Compiler_Abort): Add specialized message for GAP versions. * exp_pakd.adb (Create_Packed_Array_Type): Add a guard to check whether the ancestor type is private, as may be the case with nested instantiations. From-SVN: r92852
Arnaud Charlet committed -
* s-tasini.ads, s-tasini.adb (Undefer_Abortion): Handle case of Self_Id.Deferral_Level = 0. (Do_Pending_Action): Move this function to the spec. * s-tasren.adb (Selective_Wait [Terminate_Selected]): Call Do_Pending_Action explicitely when needed, in case we're using No_Abort restrictions. * s-tassta.adb (Create_Task): If Abort is not allowed, reset the deferral level since it will not get changed by the generated code. Keeping a default value of 1 would prevent some operations (e.g. select or delay) to proceed successfully. From-SVN: r92851
Arnaud Charlet committed -
s-fileio.adb (Temp_File_Record): Change length of string component Name from L_tmpnam + 1 to max_path_len + 1. * s-fileio.adb (Temp_File_Record): Change length of string component Name from L_tmpnam + 1 to max_path_len + 1. From-SVN: r92850
Arnaud Charlet committed -
* sem_ch4.adb (Has_Fixed_Op): New predicate in Check_Arithmetic_Pair, to determine whether one of the operands is a fixed-point type for which a user-defined multiplication or division operation might be defined. * sem_res.adb (Valid_Conversion): The legality rules for conversions of access types are symmetric in Ada 2005: either designated type can be unconstrained. From-SVN: r92849
Arnaud Charlet committed -
sem_ch12.adb (Analyze_Package_Instantiation): Create a separate node to use as the defining identifier for a formal package. * sem_ch12.adb (Analyze_Package_Instantiation): Create a separate node to use as the defining identifier for a formal package. (Remove_Parent): If the instance takes place within (an instance of) a sibling, preserve private declarations of common parent. From-SVN: r92848
Arnaud Charlet committed -
s-arit64.adb (Double_Divide): Put back changes that got accidentally removed during the previous update (test... * s-arit64.adb (Double_Divide): Put back changes that got accidentally removed during the previous update (test properly for case of dividing largest negative number by -1, which generates overflow). From-SVN: r92847
Arnaud Charlet committed -
* par.adb: Enhance error message handling for configuration file pragmas. From-SVN: r92846
Arnaud Charlet committed -
s-osinte-darwin.ads, [...]: Clean up darwin port by using proper type definitions from header files. * s-osinte-darwin.ads, s-osinte-darwin.adb: Clean up darwin port by using proper type definitions from header files. Use SIGTERM instead of SIGABRT for SIGADAABORT. From-SVN: r92845
Arnaud Charlet committed -
namet.adb (Get_Decoded_Name_With_Brackets): Fix case of not allowing upper case letter or underscore after W... * namet.adb (Get_Decoded_Name_With_Brackets): Fix case of not allowing upper case letter or underscore after W, as allowed by spec. From-SVN: r92844
Arnaud Charlet committed -
make.adb (Collect_Arguments_And_Compile): Do not attempt to build libraries when Unique_Compile is True (-u switch). * make.adb (Collect_Arguments_And_Compile): Do not attempt to build libraries when Unique_Compile is True (-u switch). (Gnatmake): ditto. From-SVN: r92843
Arnaud Charlet committed -
PR ada/16949 * sinfo.ads: Fix obsolete reference to xsinfo.spt (replaced by xsinfo.adb). From-SVN: r92842
Arnaud Charlet committed -
PR ada/17527 * init.c: Fix warnings on Free BSD section. From-SVN: r92841
Arnaud Charlet committed -
* i-cstrin.adb (Update): Do not append a null in form called with a String. This avoids unintended behavior. From-SVN: r92840
Arnaud Charlet committed -
From-SVN: r92839
Arnaud Charlet committed -
* exp_ch7.ads (Make_Final_Call): Rewrite comment (was incorrectly copied from Make_Init_Call). * exp_strm.adb (Build_Mutable_Record_Read_Procedure): Do component reads and assignments on a temporary variable declared with appropriate discriminants. From-SVN: r92838
Arnaud Charlet committed -
* exp_dist.adb: Declare subprogram index in Build_RPC_Receiver_Body, to reduce the amount of PCS-specific code in RACW stubs generation. (Copy_Specification): Set Etype on copied formal parameter entities, as this information is needed for PolyORB stubs generation. (PolyORB_Support.Build_Subprogram_Receiving_Stubs): Remove unused variable Dynamic_Async. (Build_Subprogram_Receiving_Stubs): Make PCS-specific (Build_RPC_Receiver_Specification): Make generic again, as recent changes have allowed RPC receivers to have the same profile for both variants of the PCS. Reorganise RPC receiver generation to reduce differences between the structure of GARLIC and PolyORB RPC receivers. (Add_Receiving_Stubs_To_Declarations): Make this subprogram PCS-specific. Simplify elaboration code for RCI packages. * s-parint.ads, s-parint.adb, rtsfind.ads: Reorganise RPC receiver generation to reduce differences between the structure of GARLIC and PolyORB RPC receivers. * s-stratt.adb: Fix typo in comment. From-SVN: r92837
Arnaud Charlet committed -
exp_ch3.adb (Stream_Operations_OK): Predicate to determine when the generation of predefined stream operations... * exp_ch3.adb (Stream_Operations_OK): Predicate to determine when the generation of predefined stream operations (specs and bodies) should proceed. Under various restrictions these subprograms must not be generated. From-SVN: r92836
Arnaud Charlet committed -
exp_aggr.adb (Packed_Array_Aggregate_Handled): The values of the bounds can be negative, and must be declared Int, not Nat. * exp_aggr.adb (Packed_Array_Aggregate_Handled): The values of the bounds can be negative, and must be declared Int, not Nat. * sem_elim.adb (Line_Num_Match): Correct wrong code when index in an array is checked after using the index in the array. * makegpr.adb (Add_Switches): Check if there is a package for the processor. If there is no package, do not look for switches. From-SVN: r92835
Arnaud Charlet committed -
* eval_fat.adb: (Eps_Model,Eps_Denorm): Remove, no longer used. (Succ): Re-implement using Scaling, Exponent and Ceiling attributes. (Pred): Implement in terms of Succ. * trans.c (convert_with_check): Reimplement conversion of float to integer. From-SVN: r92834
Arnaud Charlet committed -
* decl.c (compatible_signatures_p): New function. The intended purpose is to check if two function signatures for a call-site and a callee are compatible enough for the call to be valid. The underlying purpose is to check if a call to a mapped builtin is using the right interface. The current code actually does not check antyhing - this a placeholder for future refinements. (gnat_to_gnu_entity) <E_Subprogram_Call>: Add preliminary bits to handle builtin calls for convention Intrinsic. * gigi.h (builtin_decl_for): Declare (new function). * utils.c (gnat_install_builtins): Install the target specific builtins. (builtin_decl_for): New function, provide a dummy body for now. From-SVN: r92833
Arnaud Charlet committed -
checks.adb (Apply_Alignment_Check): Generate a warning if an object address is incompatible with its base type... * checks.adb (Apply_Alignment_Check): Generate a warning if an object address is incompatible with its base type alignment constraints when this can be decided statically. From-SVN: r92832
Arnaud Charlet committed -
* bld.ads, bld.adb, bld-io.ads, bld-io.adb, gprcmd.adb, gpr2make.ads, gpr2make.adb: Remove gpr2make, replaced by gprmake. * Makefile.in: Add support to build shared Ada libraries on solaris x86 Remove gpr2make, replaced by gprmake. Remove references to gnatmem and libaddr2line. Add indepsw.adb<indepsw-linux.adb to TOOLS_TARGET_PAIRS for IA64 linux. (gnatlib-shared-darwin): Add "-fno-common" to GNATLIBCFLAGS. Add support for specialized version of Ada.Numerics.Aux for Darwin: use a-numaux-darwin.ads and a-numaux-darwin.adb Enable mlib-tgt-lynxos.adb on lynxos. * Make-lang.in: Remove rules for gpr2make. When generating sdefault.adb, do not call Relocate_Path on S3 for function Target_Name, as it is not a path. Remove references to gnatmem and libaddr2line. * a-numaux-darwin.ads, a-numaux-darwin.adb, g-soccon-darwin.ads: New files. From-SVN: r92831
Arnaud Charlet committed -
* atree.adb: Add a fifth component to entities This allows us to add 32 flags and four new fields * atree.ads: Add a fifth component to entities This allows us to add 32 flags and four new fields * einfo.ads, einfo.adb: Document new fields and new flags now available Add routines for printing new fields * treepr.adb: Call routines to print out additional fields if present From-SVN: r92830
Arnaud Charlet committed -
* s-atacco.ads, a-direio.adb: Protect use of 'Constrained by warnings on/off, since this is an obsolescent feature, for which we now generate a warning. * sem_attr.adb (Analyze_Attribute, case Constrained): Issue warning if warning mode is set and obsolescent usage of this attribute occurs. (Resolve_Access, case 'Access): Note that GNAT uses the context type to disambiguate overloaded prefixes, in accordance with AI-235. GNAT code predates, and partly motivates, the adoption of the AI. Implement new Ada 2005 attribute Mod * exp_attr.adb (Expand_N_Attribute_Reference): Implement Ada 2005 attribute Mod. * par-ch4.adb (P_Name): In Ada 2005 mode, recognize new attribute Mod * snames.h, snames.ads, snames.adb: Add entry for No_Dependence for pragma restrictions. New entry for Ada 2005 attribute Mod. * par-prag.adb: Add recognition of new pragma Restrictions No_Dependence Recognize restriction No_Obsolescent_Features at parse time * bcheck.adb: Add circuitry for checking for consistency of No_Dependence restrictions. * lib-writ.ads, lib-writ.adb: Output new R lines for No_Dependence restrictions. * restrict.ads, restrict.adb: Add subprograms to deal with No_Dependence restrictions. * rtsfind.adb: Check that implicit with's do not violate No_Dependence restrictions. * sem_ch3.adb, sem_ch11.adb, sem_ch13.adb, lib-xref.adb, sem_attr.adb: Add check for new restriction No_Obsolescent_Features * scn.ads, prj-err.ads, prj-err.adb, ali-util.adb, gprep.adb: Add new dummy parameter to scng instantiation. Needed for new restriction No_Obsolescent_Features * scn.adb: (Obsolescent_Check): New procedure Needed for new restriction No_Obsolescent_Features * scng.ads, scng.adb: Always allow wide characters in Ada 2005 mode, as specified by AI-285, needed for implementation of AI-388 (adding greek pi to Ada.Numerics). Add new generic formal to scng, needed for new restriction No_Obsolescent_Features. * s-rident.ads: Add new restriction No_Obsolescent_Features. * ali.ads, ali.adb: Adjustments for reading new No_Dependence restrictions lines. (Scan_ALI): When finding an unexpected character on an R line, raise exception Bad_R_Line, instead of calling Fatal_Error, so that, when Ignore_Errors is True, default restrictions are set and scanning of the ALI file continues with the next line. Also, when Bad_R_Line is raised and Ignore_Errors is True, skip to the end of le line. * sem_ch10.adb: Check that explicit with's do not violate No_Dependence restrictions. (Install_Withed_Unit): Add code to implement AI-377 and diagnose illegal context clauses containing child units of instance. * sem_prag.adb: Processing and checking for new No_Dependence restrictions. (Analyze_Pragma, case Psect_Object): Call Check_Arg_Is_External_Name to analyze and check the External argument. * a-numeri.ads: Add greek letter pi as alternative spelling of Pi From-SVN: r92829
Arnaud Charlet committed -
* gen-soccon.c: New utility program to generate g-soccon.ads automatically. * socket.c, gsocket.h: Split inclusion of system header files into a gsocket.h file separated from socket.c, to allow reuse in gen-soccon.c. * g-soccon.ads, g-soccon-unixware.ads, g-soccon-tru64.ads, g-soccon-aix.ads, g-soccon-irix.ads, g-soccon-hpux.ads, g-soccon-interix.ads, g-soccon-solaris.ads, g-soccon-mingw.ads, g-soccon-vxworks.ads, g-soccon-freebsd.ads: Note that these files should not be edited by hand anymore, but should be regenerated using gen-soccon. From-SVN: r92828
Arnaud Charlet committed -
2005-01-03 Paolo Carlini <pcarlini@suse.de> * include/bits/istream.tcc (ignore(streamsize), ignore(streamsize, int_type)): Reset _M_gcount to numeric_limits<streamsize>::min(). * src/istream.cc (basic_istream<char>::ignore(streamsize, int_type), basic_istream<wchar_t>::ignore(streamsize, int_type)): Likewise. * src/istream.cc (basic_istream<char>::ignore(streamsize), basic_istream<wchar_t>::ignore(streamsize)): Likewise; fix a typo. From-SVN: r92827
Paolo Carlini committed -
Revert 2004-12-28 Makefile changes, a better fix will be applied to mainline and src after GCC 4.0 branches. From-SVN: r92826
Paolo Bonzini committed -
PR target/19236 * config/i386/i386.c (log1psf2): Change mode of operands[0,1] to SFmode. (log1pdf2): Change mode of operands[0,1] to DFmode. From-SVN: r92825
Uros Bizjak committed -
* config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false. * config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true. * config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise. * config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to SPARC_RELAXED_ORDERING. From-SVN: r92824
Eric Botcazou committed -
PR target/14631 * config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW, IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message. * config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector handling. (*mmx_pinsrw, *sse2_pinsrw): New patterns. * config/i386/i386/predicates.md (const_pow2_1_to_8_operand, const_pow2_1_to_128_operand): New predicates. Co-Authored-By: Uros Bizjak <uros@kss-loka.si> From-SVN: r92823
Richard Henderson committed -
PR rtl-optimization/12092 * gcc.dg/pr12092-1.c: Fix typo in dg directive. From-SVN: r92822
Hans-Peter Nilsson committed -
From-SVN: r92819
GCC Administrator committed -
2005-01-02 Paolo Carlini <pcarlini@suse.de> * src/istream.cc (basic_istream<char>::ignore(streamsize), basic_istream<char>::ignore(streamsize, int_type), basic_istream<wchar_t>::ignore(streamsize), basic_istream<wchar_t>::ignore(streamsize, int_type)): Avoid _M_gcount overflows. * include/bits/istream.tcc (ignore(streamsize), ignore(streamsize, int_type)): Likewise; use snextc in the main loop, consistently with the specializations above. From-SVN: r92816
Paolo Carlini committed
-