aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2011-08-01final.c (output_addr_const): Print fixed-point constants as decimal not hex.Julian Brown2-2/+6
gcc/ * final.c (output_addr_const): Print fixed-point constants as decimal not hex. From-SVN: r177017
2011-08-01stor-layout.c (initialize_sizetypes): Properly sign-extend bitsiztype ↵Richard Guenther2-1/+10
TYPE_MAX_VALUE. 2011-08-01 Richard Guenther <rguenther@suse.de> * stor-layout.c (initialize_sizetypes): Properly sign-extend bitsiztype TYPE_MAX_VALUE. From-SVN: r177016
2011-08-01optabs.c (prepare_cmp_insn): Use correct biasing for fixed-point comparison ↵Julian Brown2-2/+9
helpers. * optabs.c (prepare_cmp_insn): Use correct biasing for fixed-point comparison helpers. From-SVN: r177015
2011-08-01aspects.ads, [...]: Add aspect Type_Invariant, Precondition, Postcondition.Robert Dewar5-35/+135
2011-08-01 Robert Dewar <dewar@adacore.com> * aspects.ads, aspects.adb: Add aspect Type_Invariant, Precondition, Postcondition. (Same_Aspect): New function. * sem_ch13.adb (Analyze_Aspect_Specifications): Add aspect Type_Invariant, Precondition, Postcondition. * snames.ads-tmpl: Add Name_Type_Invariant. From-SVN: r177011
2011-08-01freeze.adb (Freeze_Entity): Don't call Check_Aspect_At_Freeze_Point here.Robert Dewar4-33/+146
2011-08-01 Robert Dewar <dewar@adacore.com> * freeze.adb (Freeze_Entity): Don't call Check_Aspect_At_Freeze_Point here. (Freeze_All_Ent): Fix error in handling inherited aspects. * sem_ch13.adb (Analyze_Aspect_Specifications): Skip aspect that is already analyzed, but don't skip entire processing of a declaration, that's wrong in some cases of declarations being rewritten. (Analyze_Aspect_Specification): Set Is_Delayed_Aspect in aspects. Don't delay for integer, string literals Treat predicates in usual manner for delay, remove special case code, not needed. (Analyze_Freeze_Entity): Make call to Check_Aspect_At_Freeze_Point (Build_Predicate_Function): Update saved expression in aspect (Build_Invariant_Procedure): Update saved expression in aspect * exp_ch4.adb (Expand_N_Selected_Component): Only do the optimization of replacement of discriminant references if the reference is simple. From-SVN: r177010
2011-08-01aspects.ads, [...]: Add Static_Predicate and Dynamic_Predicate.Robert Dewar9-24/+142
2011-08-01 Robert Dewar <dewar@adacore.com> * aspects.ads, aspects.adb: Add Static_Predicate and Dynamic_Predicate. * sem_ch13.adb (Analyze_Aspect_Specification): Add processing for Static_Predicate and Dynamic_Predicate. (Build_Predicate_Function): Add processing for Static_Predicate and Dynamic_Predicate. * sinfo.ads, sinfo.adb (From_Dynamic_Predicate): New flag (From_Static_Predicate): New flag * snames.ads-tmpl: Add Name_Static_Predicate and Name_Dynamic_Predicate 2011-08-01 Robert Dewar <dewar@adacore.com> * usage.adb: Documentation cleanup for Ada version modes in usage. * expander.adb: Minor reformatting. From-SVN: r177009
2011-08-01[multiple changes]Arnaud Charlet16-66/+373
2011-08-01 Robert Dewar <dewar@adacore.com> * atree.ads: Minor comment fix. * a-stwifi.adb, a-stzfix.adb, a-strfix.adb, a-ztexio.ads, a-textio.ads, a-witeio.ads, sem_prag.adb: Minor reformatting. 2011-08-01 Doug Rupp <rupp@adacore.com> * env.c (__gnat_setenv) [VMS]: Force 32bit on item list structure pointers. Use descrip.h header file for convenience. Add some comments. 2011-08-01 Robert Dewar <dewar@adacore.com> * freeze.adb (Freeze_Entity): Call Check_Aspect_At_Freeze_Point (Freeze_All): Call Check_Aspect_At_End_Of_Declarations * sem_ch13.ads, sem_ch13.adb (Check_Aspect_At_Freeze_Point): New procedure. (Check_Aspect_At_End_Of_Declarations): New procedure (Analye_Aspect_Specification): Minor changes for above procedures * sinfo.ads, sinfo.adb (Is_Delayed_Aspect): Now set in aspect specification node as well. 2011-08-01 Pascal Obry <obry@adacore.com> * adaint.c (_gnat_stat): GetFilesAttributesEx() would fail on special Windows files. Use GetFilesAttributes() in this case to check for file existence instead of returning with an error code. From-SVN: r177008
2011-08-01a-stzfix.adb, [...] (Replace_Slice): Fixed computation when High is above ↵Vincent Celier3-27/+52
Source length. 2011-08-01 Vincent Celier <celier@adacore.com> * a-stzfix.adb, a-stwifi.adb (Replace_Slice): Fixed computation when High is above Source length. From-SVN: r177007
2011-08-01a-ztexio.ads, [...]: Fix comment.Robert Dewar4-12/+13
2011-08-01 Robert Dewar <dewar@adacore.com> * a-ztexio.ads, a-textio.ads, a-witeio.ads: Fix comment. From-SVN: r177006
2011-08-01[multiple changes]Arnaud Charlet8-147/+150
2011-08-01 Robert Dewar <dewar@adacore.com> * aspects.ads (Boolean_Aspects): New subtype. * exp_ch13.adb (Expand_Freeze_Entity): Fix errors in handling aspects for derived types in cases where the parent type and derived type have aspects. * freeze.adb (Freeze_Entity): Fix problems in handling derived type with aspects when parent type also has aspects. (Freeze_Entity): Deal with delay of boolean aspects (must evaluate boolean expression at this point). * sem_ch13.adb (Analyze_Aspect_Specifications): Delay all aspects in accordance with final decision on the Ada 2012 feature. * sinfo.ads, sinfo.adb (Is_Boolean_Aspect): New flag. 2011-08-01 Matthew Heaney <heaney@adacore.com> * a-chtgbo.adb (Delete_Node_Sans_Free): Replace iterator with selector. From-SVN: r177005
2011-08-01[multiple changes]Arnaud Charlet5-6/+56
2011-08-01 Pascal Obry <obry@adacore.com> * a-stzunb-shared.adb, a-strunb-shared.adb, a-stwiun-shared.adb: Fix Replace_Slice when High is above current string size. (Replace_Slice): Fix DL computation when High is above current string length. 2011-08-01 Gary Dismukes <dismukes@adacore.com> * gnat_rm.texi: Add documentation for pragma Static_Elaboration_Desired. From-SVN: r177004
2011-08-01[multiple changes]Arnaud Charlet5-40/+50
2011-08-01 Matthew Heaney <heaney@adacore.com> * a-rbtgbo.adb (Delete_Node_Sans_Free): Fixed assignment to left child of node. 2011-08-01 Pascal Obry <obry@adacore.com> * a-stzunb-shared.adb, a-strunb-shared.adb, a-stwiun-shared.adb: Minor reformatting. From-SVN: r177003
2011-08-01[multiple changes]Arnaud Charlet4-12/+46
2011-08-01 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb (Analyze_Attribute, case 'Access): handle properly named access to protected subprograms in generic bodies. * sem_ch6.adb (Analyze_Subprogram_Declaration): If the context is a protected type, indicate that the convention of the subprogram is Convention_Protected, because it may be used in subsequent declarations within the protected declaration. 2011-08-01 Vincent Celier <celier@adacore.com> * mlib-prj.adb (Build_Library): Use "ada_" as the prefix for the "init" and "final" procedures when the name of the library is "ada", to avoid duplicate symbols "adainit" and "adafinal" in executables. From-SVN: r177002
2011-08-01sem_attr.adb (Analyze_Attribute, [...]): Handle properly a quantified ↵Ed Schonberg2-7/+26
expression that appears within a postcondition and... 2011-08-01 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb (Analyze_Attribute, case 'Result): Handle properly a quantified expression that appears within a postcondition and uses the Ada2012 'Result attribute. From-SVN: r177001
2011-08-01Use temporary variables for calls with multiple results.Ian Lance Taylor6-283/+611
From-SVN: r176998
2011-07-31h8300: Add flags to .section directives.Richard Henderson3-4/+9
From-SVN: r176996
2011-07-31Handle SIZE_TYPE being unsigned short.Richard Henderson3-0/+9
From-SVN: r176995
2011-08-01Daily bump.GCC Administrator1-1/+1
From-SVN: r176994
2011-07-31re PR target/49880 (SuperH: ICE when -m4 is used with -mdiv=call-div1)Kaz Kojima2-2/+8
PR target/49880 * config/sh/sh.md (udivsi3_i1): Enable for TARGET_DIVIDE_CALL_DIV1. (divsi3_i1): Likewise. From-SVN: r176990
2011-07-31* de.po: Update.Joseph Myers2-61/+65
From-SVN: r176988
2011-07-31re PR tree-optimization/49749 (Reassociation rank algorithm does not include ↵Bill Schmidt2-7/+161
all non-NULL operands) 2011-07-29 Bill Schmidt <wschmidt@linux.vnet.ibm.com> PR tree-optimization/49749 * tree-ssa-reassoc.c (get_rank): New forward declaration. (PHI_LOOP_BIAS): New macro. (phi_rank): New function. (loop_carried_phi): Likewise. (propagate_rank): Likewise. (get_rank): Add calls to phi_rank and propagate_rank. From-SVN: r176984
2011-07-31Check TARGET_LP64 for SIZE_TYPE/PTRDIFF_TYPE.H.J. Lu2-2/+8
2011-07-31 H.J. Lu <hongjiu.lu@intel.com> * config/i386/x86-64.h (SIZE_TYPE): Check TARGET_LP64 instead of TARGET_64BIT. (PTRDIFF_TYPE): Likewise. From-SVN: r176981
2011-07-31re PR target/49920 (unable to find a register to spill in class ‘DIREG’)Uros Bizjak4-22/+79
PR target/49920 * config/i386/i386.md (strset): Do not expand strset_singleop when %eax or $edi are fixed. (*strsetdi_rex_1): Disable when %eax or %edi are fixed. (*strsetsi_1): Ditto. (*strsethi_1): Ditto. (*strsetqi_1): Ditto. (*rep_stosdi_rex64): Disable when %eax, %ecx or %edi are fixed. (*rep_stossi): Ditto. (*rep_stosqi): Ditto. (cmpstrnsi): Also fail when %ecx is fixed. (*cmpstrnqi_nz_1): Disable when %ecx, %esi or %edi are fixed. (*cmpstrnqi_1): Ditto. (*strlenqi_1): Ditto. (*strmovdi_rex_1): Disable when %esi or %edi are fixed. (*strmovsi_1): Ditto. (*strmovhi_1): Ditto. (*strmovqi_1): Ditto. (*rep_movdi_rex64): Disable when %ecx, %esi or %edi are fixed. (*rep_movsi): Ditto. (*rep_movqi): Ditto. testsuite/ChangeLog: PR target/49920 * gcc.target/i386/pr49920.c: New test. From-SVN: r176979
2011-07-3120050314-1.c: Dump and cleanup lim1 pass only.Uros Bizjak28-55/+85
* gcc.dg/tree-ssa/20050314-1.c: Dump and cleanup lim1 pass only. * gcc.dg/tree-ssa/pr23109.c: Ditto. * gcc.dg/tree-ssa/loop-7.c: Ditto. * gcc.dg/tree-ssa/loop-32.c: Ditto. * gcc.dg/tree-ssa/loop-33.c: Ditto. * gcc.dg/tree-ssa/loop-34.c: Ditto. * gcc.dg/tree-ssa/loop-35.c: Ditto. * gcc.dg/tree-ssa/restrict-3.c: Ditto. * gcc.dg/tree-ssa/ssa-lim-2.c: Ditto. * gcc.dg/tree-ssa/ssa-lim-1.c: Ditto. * gcc.dg/tree-ssa/ssa-lim-3.c: Ditto. * gcc.dg/tree-ssa/ssa-lim-6.c: Ditto. * gcc.dg/tree-ssa/structopt-1.c: Ditto. * g++.dg/tree-ssa/pr33615.C: Ditto. * g++.dg/tree-ssa/restrict1.C: Ditto. * c-c++-common/restrict-2.c: Ditto. * gfortran.dg/pr32921.f: Ditto. * gcc.dg/tree-ssa/ssa-dse-10.c: Dump and cleanup dse1 pass only. * gcc.dg/fold-compare-2.c: Dump and cleanup vrp1 pass only. * gcc.dg/tree-ssa/vrp47.c: Ditto. * gcc.dg/tree-ssa/pr25501.c: Dump and cleanup mergephi1 pass only. * gcc.dg/tree-ssa/pr15349.c: Dump and cleanup mergephi2 pass only. * gcc.dg/tree-ssa/tailrecursion-1.c: Dump and cleanup tailr1 pass only. * gcc.dg/tree-ssa/tailrecursion-2.c: Ditto. * gcc.dg/tree-ssa/tailrecursion-3.c: Ditto. * gcc.dg/tree-ssa/tailrecursion-4.c: Ditto. * gcc.dg/tree-ssa/tailrecursion-6.c: Ditto. From-SVN: r176978
2011-07-31gcc-dg.exp (cleanup-dump): Also remove .exe.Uros Bizjak2-2/+10
* lib/gcc-dg.exp (cleanup-dump): Also remove .exe. and .exe.ltrans[0-9]*. dump files. From-SVN: r176977
2011-07-31Author: Mikael Pettersson <mikpe@it.uu.se>Mikael Pettersson2-0/+24
PR target/47908 * gcc/config/m68k/m68k.c (m68k_override_options_after_change): New function. Disable instruction scheduling for non-ColdFire targets. (TARGET_OVERRIDE_OPTIONS_AFTER_CHANGE): Define. From-SVN: r176975
2011-07-31Move the creation of anti-dep edgeRevital Eres2-6/+11
From-SVN: r176972
2011-07-31re PR fortran/49112 ([OOP] Missing type-bound procedure, "duplicate save" ↵Janus Weil5-26/+101
warnings and internal compiler error) 2011-07-31 Janus Weil <janus@gcc.gnu.org> PR fortran/49112 * resolve.c (resolve_structure_cons): Don't do the full dt resolution, only call 'resolve_fl_derived0'. (resolve_typebound_procedures): Resolve typebound procedures of parent type. (resolve_fl_derived0): New function, which does a part of the work for 'resolve_fl_derived'. (resolve_fl_derived): Call 'resolve_fl_derived0' and do some additional things. 2011-07-31 Janus Weil <janus@gcc.gnu.org> PR fortran/49112 * gfortran.dg/abstract_type_6.f03: Modified. * gfortran.dg/typebound_proc_24.f03: New. From-SVN: r176971
2011-07-31SMS: Misc. fixesRevital Eres2-11/+23
From-SVN: r176970
2011-07-31re PR middle-end/43513 (The stack pointer is adjusted twice)Tom de Vries2-1/+8
2011-07-31 Tom de Vries <tom@codesourcery.com> PR middle-end/43513 * tree-ssa-loop-ivopts.c (may_be_unaligned_p): Use max of get_object_alignment and TYPE_ALIGN. From-SVN: r176969
2011-07-31Daily bump.GCC Administrator1-1/+1
From-SVN: r176967
2011-07-30re PR testsuite/49917 (g++.dg/init/for1.C wrong?)Paolo Carlini2-1/+8
2011-07-30 Paolo Carlini <paolo.carlini@oracle.com> PR testsuite/49917 * g++.dg/init/for1.C: Fix. From-SVN: r176962
2011-07-30re PR fortran/48876 (ICE when initializing character variable with ↵Thomas Koenig4-0/+21
zero-length string) 2011-07-30 Thomas Koenig <tkoenig@gcc.gnu.org> PR fortran/48876 * expr.c (gfc_simplify_expr): If end of a string is less than zero, set it to zero. 2011-07-30 Thomas Koenig <tkoenig@gcc.gnu.org> PR fortran/48876 * gfortran.dg/string_5.f90: New test. From-SVN: r176961
2011-07-30re PR middle-end/43513 (The stack pointer is adjusted twice)Tom de Vries2-0/+9
2011-07-30 Tom de Vries <tom@codesourcery.com> PR middle-end/43513 * tree-ssa-dce.c (ref_may_be_aliased): Add assert. (propagate_necessity): Handle WITH_SIZE_EXPR call arg. From-SVN: r176959
2011-07-30re PR c++/49867 ([C++0x] ICE on lambda inside switch with case labels in the ↵Jason Merrill4-0/+54
lambda) PR c++/49867 * parser.c (cp_parser_lambda_expression): Also clear in_statement and in_switch_statement_p. (cp_parser_class_specifier): Likewise. From-SVN: r176958
2011-07-30Daily bump.GCC Administrator1-1/+1
From-SVN: r176956
2011-07-29driver-native.c [__sgi__]: Include <invent.h>, <sys/sbd.h>.Rainer Orth4-4/+93
* config/mips/driver-native.c [__sgi__]: Include <invent.h>, <sys/sbd.h>. (cpu_types): New array. (cputype): New function. (host_detect_local_cpu): Only define buf, f if !__sgi__. Use scaninvent instead of /proc/cpuinfo if __sgi__. * config.host: Also use driver-native.o, mips/x-native on mips-sgi-irix*. * config/mips/iris6.h [__mips__] (host_detect_local_cpu): Declare. (EXTRA_SPEC_FUNCTIONS, MARCH_MTUNE_NATIVE_SPECS): Define. (DRIVER_SELF_SPECS): Add MARCH_MTUNE_NATIVE_SPECS. From-SVN: r176947
2011-07-29re PR middle-end/49897 (nesting lastprivate gives incorrect result)Jakub Jelinek2-2/+12
PR middle-end/49897 PR middle-end/49898 * omp-low.c (use_pointer_for_field): If disallowing copy-in/out in nested parallel and outer is a gimple_reg, mark it as addressable and set its bit in task_shared_vars bitmap too. * testsuite/libgomp.c/pr49897-1.c: New test. * testsuite/libgomp.c/pr49897-2.c: New test. * testsuite/libgomp.c/pr49898-1.c: New test. * testsuite/libgomp.c/pr49898-2.c: New test. From-SVN: r176945
2011-07-29predicates.md (tp_or_register_operand): Remove predicate.Uros Bizjak2-5/+4
* config/i386/predicates.md (tp_or_register_operand): Remove predicate. From-SVN: r176930
2011-07-29driver-alpha.c (IMPLVER_EV4_FAMILY, [...]): Define.Rainer Orth4-43/+75
* config/alpha/driver-alpha.c (IMPLVER_EV4_FAMILY, IMPLVER_EV5_FAMILY, IMPLVER_EV6_FAMILY, IMPLVER_EV7_FAMILY): Define. (AMASK_BWX, AMASK_FIX, AMASK_CIX, AMASK_MVI, AMASK_PRECISE, AMASK_LOCKPFTCHOK): Define. (host_detect_local_cpu): Remove buf, f, cpu_names. Define cpu_types, implver, amask. Use __builtin_alpha_implver, __builtin_alpha_amask to determine native CPU. * config.host: Also use driver-alpha.o, alpha/x-alpha on alpha*-dec-osf*. * config/alpha/osf5.h [__alpha__ || __alpha] (host_detect_local_cpu): Declare. (EXTRA_SPEC_FUNCTIONS, MCPU_MTUNE_NATIVE_SPECS) (DRIVER_SELF_SPECS): Define. From-SVN: r176926
2011-07-29* function.c: Remove unwanted commit.Uros Bizjak1-10/+0
From-SVN: r176925
2011-07-29re PR target/47715 ([x32] TLS doesn't work)Uros Bizjak4-12/+81
PR target/47715 * config/i386/i386.md (*load_tp_x32): New. (*load_tp_x32_zext): Ditto. (*add_tp_x32): Ditto. (*add_tp_x32_zext): Ditto. (*load_tp_<mode>): Disable for TARGET_X32 targets. (*add_tp_<mode>): Ditto. * config/i386/i386.c (get_thread_pointer): Load thread pointer in ptr_mode and convert to Pmode if needed. From-SVN: r176924
2011-07-29re PR target/49687 ([avr] Missed optimization for widening MUL)Georg-Johann Lay2-0/+17
PR target/49687 * config/avr/avr.md (mulsi3, *mulsi3, mulu<mode>si3, muls<mode>si3, mulohisi3, mulhisi3, umulhisi3, usmulhisi3, *<any_extend:extend_prefix><any_extend2:extend_prefix>mul<QIHI:mode><QIHI2:mode>si3): Add X to register footprint: Clobber r26/r27. From-SVN: r176923
2011-07-29builtins.c (fold_builtin_signbit): Build the comparison with a proper type.Richard Guenther2-2/+8
2011-07-29 Richard Guenther <rguenther@suse.de> * builtins.c (fold_builtin_signbit): Build the comparison with a proper type. From-SVN: r176922
2011-07-29re PR middle-end/49893 (-O3 generates wrong code for volatile)Richard Guenther2-0/+7
2011-07-29 Richard Guenther <rguenther@suse.de> PR tree-optimization/49893 * tree-predcom.c (suitable_reference_p): Volatile references are not suitable. From-SVN: r176921
2011-07-29re PR target/49313 (Inefficient libgcc implementations for avr)Georg-Johann Lay3-19/+355
PR target/49313 * config/avr/libgcc.S (__ffshi2): Don't skip 2-word instruction. (__ctzsi2): Result for 0 may be undefined. (__ctzhi2): Result for 0 may be undefined. (__popcounthi2): Don't clobber r30. Use __popcounthi2_tail. (__popcountsi2): Ditto. And don't clobber r26. (__popcountdi2): Ditto. And don't clobber r27. * config/avr/avr.md (UNSPEC_COPYSIGN): New c_enum. (parityhi2): New expand. (paritysi2): New expand. (popcounthi2): New expand. (popcountsi2): New expand. (clzhi2): New expand. (clzsi2): New expand. (ctzhi2): New expand. (ctzsi2): New expand. (ffshi2): New expand. (ffssi2): New expand. (copysignsf3): New insn. (bswapsi2): New expand. (*parityhi2.libgcc): New insn. (*parityqihi2.libgcc): New insn. (*paritysihi2.libgcc): New insn. (*popcounthi2.libgcc): New insn. (*popcountsi2.libgcc): New insn. (*popcountqi2.libgcc): New insn. (*popcountqihi2.libgcc): New insn-and-split. (*clzhi2.libgcc): New insn. (*clzsihi2.libgcc): New insn. (*ctzhi2.libgcc): New insn. (*ctzsihi2.libgcc): New insn. (*ffshi2.libgcc): New insn. (*ffssihi2.libgcc): New insn. (*bswapsi2.libgcc): New insn. From-SVN: r176920
2011-07-29re PR tree-optimization/47407 (gcc.dg/tree-ssa/pr42585.c FAILs on Tru64 UNIX ↵Rainer Orth2-2/+9
V5.1B) PR tree-optimization/47407 * gcc.dg/tree-ssa/pr42585.c: XFAIL scan-tree-dump-times on alpha*-dec-osf*. Sort target list. From-SVN: r176919
2011-07-29tree-vrp.c (get_value_range): Only set parameter default definitions to ↵Richard Guenther5-9/+32
varying, leave others at undefined. 2011-07-29 Richard Guenther <rguenther@suse.de> * tree-vrp.c (get_value_range): Only set parameter default definitions to varying, leave others at undefined. (extract_range_from_binary_expr): Fix undefined handling. (vrp_visit_phi_node): Handle merged undefined state. * gcc.dg/uninit-suppress.c: Also disable VRP. * gcc.dg/uninit-suppress_2.c: Likewise. From-SVN: r176918
2011-07-29re PR c++/49808 (GCC adds an address-of somewhere!)Jason Merrill4-21/+56
PR c++/49808 * pt.c (tsubst) [TEMPLATE_PARM_INDEX]: Call convert_from_reference. (convert_nontype_argument, tsubst_template_arg): Handle its output. From-SVN: r176916
2011-07-28Add a testcase for PR rtl-optimization/47958.H.J. Lu2-0/+18
2011-07-28 H.J. Lu <hongjiu.lu@intel.com> PR rtl-optimization/47958 * gcc.dg/torture/pr47958-1.c: New. From-SVN: r176914