aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2012-04-05gimple.c (walk_gimple_op): Compute val_only for the LHS of an assigment in ↵Richard Guenther4-90/+92
the canonical way... 2012-04-05 Richard Guenther <rguenther@suse.de> * gimple.c (walk_gimple_op): Compute val_only for the LHS of an assigment in the canonical way, avoiding is_gimple_mem_rhs. (is_gimple_mem_rhs, is_gimple_reg_rhs, is_gimple_stmt): Move ... * gimplify.c (is_gimple_mem_rhs, is_gimple_reg_rhs, is_gimple_stmt): ... here and make static. * gimple.h (is_gimple_mem_rhs, is_gimple_reg_rhs, is_gimple_stmt): Remove. From-SVN: r186165
2012-04-05tree-ssa-dse.c (dse_optimize_stmt): Remember the stmt basic-block before ↵Richard Guenther2-1/+9
removing it. 2012-04-05 Richard Guenther <rguenther@suse.de> * tree-ssa-dse.c (dse_optimize_stmt): Remember the stmt basic-block before removing it. From-SVN: r186164
2012-04-05re PR testsuite/52614 (Test failures in gcc.dg/vect: vectorizing unaligned ↵Bill Schmidt3-2/+9
access) gcc/testsuite: 2012-04-05 Bill Schmidt <wschmidt@linux.vnet.ibm.com> Dominique D'Humieures <dominiq@lps.ens.fr> PR testsuite/52614 * gcc.dg/vect/vect.exp: Use -fno-common on all targets. * gcc.dg/vect/costmodel/ppc/ppc-costmodel-vect.exp: Likewise. Co-Authored-By: Dominique d'Humieres <dominiq@lps.ens.fr> From-SVN: r186163
2012-04-05tree-ssanames.c (release_dead_ssa_names): Compact the SSA version namespace ↵Richard Guenther2-6/+30
as we release the freelist. 2012-04-05 Richard Guenther <rguenther@suse.de> * tree-ssanames.c (release_dead_ssa_names): Compact the SSA version namespace as we release the freelist. From-SVN: r186162
2012-04-05Restore HAVE_INET6 tests (PR libgcj/52645)Rainer Orth3-5/+17
PR libgcj/52645 * gnu/java/net/natPlainDatagramSocketImplPosix.cc (setOption): Restore HAVE_INET6 check. * gnu/java/net/natPlainDatagramSocketImplWin32.cc (setOption): Likewise. From-SVN: r186161
2012-04-05tree-nrv.c (tree_nrv): Release VDEFs.Richard Guenther9-3/+33
2012-04-05 Richard Guenther <rguenther@suse.de> * tree-nrv.c (tree_nrv): Release VDEFs. * tree-sra.c (sra_modify_constructor_assign): Likewise. (sra_modify_assign): Likewise. * tree-vect-stmts.c (vect_remove_stores): Likewise. * tree-vect-loop.c (vect_transform_loop): Likewise. * tree-ssa-dom.c (optimize_stmt): Likewise. * tree-vect-slp.c (vect_schedule_slp): Likewise. * tree-ssa-math-opts.c (execute_cse_sincos): Likewise. From-SVN: r186160
2012-04-05gimple-iterator.c (gsi_remove): Return whether EH edges need to be cleanup.Richard Guenther9-24/+35
2012-04-05 Richard Guenther <rguenther@suse.de> * gimple-iterator.c (gsi_remove): Return whether EH edges need to be cleanup. * gimple.h (gsi_remove): Adjust. * tree-ssa-operands.c (unlink_stmt_vdef): Optimize. * tree-ssa-dom.c (optimize_stmt): Use gsi_remove result. * tree-ssa-dse.c (dse_optimize_stmt): Likewise. * tree-ssa-forwprop.c (remove_prop_source_from_use): Likewise. * tree-ssa-math-opts.c (execute_optimize_widening_mul): Likewise. * tree-ssa-pre.c (eliminate): Likewise. From-SVN: r186159
2012-04-05Export std::_List_node_base for non-PIC codeRainer Orth2-4/+8
From-SVN: r186158
2012-04-05PR bootstrap/52840: libstdc++: let debug find sources for compatibility.loBernhard Reutner-Fischer3-2/+11
2012-04-05 Bernhard Reutner-Fischer <aldot@gcc.gnu.org> PR bootstrap/52840 * src/Makefile.am (build-debug): Do not adjust vpath dir, remove Makefile.tmp * src/Makefile.in: Adjust as per above. From-SVN: r186156
2012-04-05Daily bump.GCC Administrator1-1/+1
From-SVN: r186153
2012-04-04rtl.texi (const_double): Document as sign-extending.Mike Stump7-60/+108
* doc/rtl.texi (const_double): Document as sign-extending. * expmed.c (expand_mult): Ensure we don't use shift incorrectly. * emit-rtl.c (immed_double_int_const): Refine to state the value is signed. * simplify-rtx.c (mode_signbit_p): Add a fixme for wider than CONST_DOUBLE integers. (simplify_const_unary_operation, UNSIGNED_FLOAT): Ensure no negative values are converted. Fix conversions bigger than HOST_BITS_PER_WIDE_INT. (simplify_binary_operation_1): Ensure we don't use shift incorrectly. (simplify_immed_subreg): Sign-extend CONST_DOUBLEs. * explow.c (plus_constant_mode): Add. (plus_constant): Implement with plus_constant_mode. * rtl.h (plus_constant_mode): Add. From-SVN: r186147
2012-04-04syscall: Add more constants.Ian Lance Taylor4-10/+21
From-SVN: r186144
2012-04-04Partially revert:Uros Bizjak2-4/+8
2012-03-28 Benjamin Kosnik <bkoz@redhat.com> PR libstdc++/52689 * src/c++98/compatibility-ldbl.cc: Guard with PIC From-SVN: r186142
2012-04-04Use long long in gtm_jmpbuf for x86-64H.J. Lu2-7/+13
2012-04-04 H.J. Lu <hongjiu.lu@intel.com> PR libitm/52854 * config/x86/target.h (gtm_jmpbuf): Replace long with long long for x86-64. From-SVN: r186140
2012-04-04re PR c++/52845 (non-void return type deduced for lambda with empty compound ↵Jason Merrill4-0/+18
statement) PR c++/52845 * decl.c (finish_function): Update fntype after deducing return type. From-SVN: r186139
2012-04-04re PR bootstrap/52808 (LTO bootstrap failed with bootstrap-profiled)Richard Guenther3-2/+16
2012-04-04 Richard Guenther <rguenther@suse.de> PR tree-optimization/52808 * tracer.c (tail_duplicate): Do not tail-duplicate loop header blocks. * Makefile.in (tracer.o): Depend on $(CFGLOOP_H). From-SVN: r186135
2012-04-04pex-unix.c (to_ptr32): Fix style.Tristan Gingold2-2/+8
2012-04-04 Tristan Gingold <gingold@adacore.com> * pex-unix.c (to_ptr32): Fix style. From-SVN: r186134
2012-04-04expr.c (expand_expr_real_2): Handle larger sizetype in POINTER_PLUS_EXPR.Tristan Gingold2-0/+10
2012-04-04 Tristan Gingold <gingold@adacore.com> * expr.c (expand_expr_real_2): Handle larger sizetype in POINTER_PLUS_EXPR. From-SVN: r186133
2012-04-04libgfortran.h: Include complex.h before math.hTristan Gingold2-7/+13
2012-04-04 Tristan Gingold <gingold@adacore.com> * libgfortran.h: Include complex.h before math.h From-SVN: r186131
2012-04-04Daily bump.GCC Administrator1-1/+1
From-SVN: r186128
2012-04-03syscall, net: Fix GNU/Linux netlink code for big-endian systems.Ian Lance Taylor7-21/+67
From-SVN: r186123
2012-04-03re PR c++/52796 ([C++11] Initialization of primitive object with 0-length ↵Jason Merrill4-0/+43
parameter pack fails to value-initialize) PR c++/52796 * pt.c (tsubst_initializer_list): A pack expansion with no elements means value-initialization. From-SVN: r186122
2012-04-03t-sh (MULTILIB_MATCHES): Match m2a-single-only to m2a-single instead of m2e.Kaz Kojima2-2/+7
* config/sh/t-sh (MULTILIB_MATCHES): Match m2a-single-only to m2a-single instead of m2e. From-SVN: r186116
2012-04-03mksysinfo.sh: Add some more networking constants.Ian Lance Taylor4-3/+17
From-SVN: r186114
2012-04-03gotest: Fix finding functions on PPC.Ian Lance Taylor3-5/+20
From-SVN: r186112
2012-04-03expr.c (get_bit_range): Add OFFSET parameter and adjust BITPOS.Eric Botcazou5-7/+73
* expr.c (get_bit_range): Add OFFSET parameter and adjust BITPOS. Change type of BITOFFSET to signed. Make sure the lower bound of the computed range is non-negative by adjusting OFFSET and BITPOS. (expand_assignment): Adjust call to get_bit_range. From-SVN: r186110
2012-04-03h8300.c (h8300_current_function_monitor_function_p): New function.Sandeep Kumar Singh6-9/+94
* h8300/h8300.c (h8300_current_function_monitor_function_p): New function. Added to check monitor functions. (h8300_option_override): Modified to generate error/warning messages for invalid combinations of different command line options. * h8300/h8300.md: Generate 'rte' for monitor functions. Do not save EXR on stack for monitor function in case of H8S target when "-mno-exr" is passed. * h8300/h8300-protos.h (h8300_current_function_monitor_function_p): Add prototype. * doc/invoke.texi: Document H8S options. From-SVN: r186109
2012-04-03mmap.m4: Use *vms* instead of vms*.Tristan Gingold10-103/+29
config/ 2012-04-03 Tristan Gingold <gingold@adacore.com> * mmap.m4: Use *vms* instead of vms*. gcc/ 2012-04-03 Tristan Gingold <gingold@adacore.com> * configure.ac: Use GCC_AC_FUNC_MMAP_BLACKLIST instead of gcc_AC_FUNC_MMAP_BLACKLIST. * acinclude.m4 (gcc_AC_FUNC_MMAP_BLACKLIST): Remove. * Makefile.in (aclocal_deps): Add mmap.m4. * configure: Regenerate. * aclocal.m4: Regenerate. libitm/ 2012-04-03 Tristan Gingold <gingold@adacore.com> * configure: Regenerate. From-SVN: r186106
2012-04-03re PR bootstrap/52808 (LTO bootstrap failed with bootstrap-profiled)Richard Guenther6-17/+65
2012-04-03 Richard Guenther <rguenther@suse.de> PR tree-optimization/52808 * tracer.c (tail_duplicate): Return whether we have duplicated any block. (tracer): If we have duplicated any block, cleanup the CFG. * cfghooks.c (duplicate_block): If we duplicated a loop header but not its loop, destroy the loop because it now has multiple entries. * tree-ssa-threadupdate.c (thread_through_loop_header): Tell the cfg manipulation routines we are not creating a multiple entry loop. * gcc.dg/pr52808.c: New testcase. From-SVN: r186104
2012-04-03vms-c.c (vms_pragma_nomember_alignment): Handle 'byte' alignment.Tristan Gingold2-1/+13
2012-04-03 Tristan Gingold <gingold@adacore.com> * config/vms/vms-c.c (vms_pragma_nomember_alignment): Handle 'byte' alignment. (vms_c_common_override_options): Allow parameterless variadic functions. From-SVN: r186102
2012-04-03re PR middle-end/52835 (-O3 wrongly optimizes loop __builtin_memcpy away)Jakub Jelinek4-6/+32
PR tree-optimization/52835 * tree-data-ref.c (build_rdg): Return NULL if compute_data_dependences_for_loop failed. * gfortran.dg/pr52835.f90: New test. From-SVN: r186101
2012-04-03varasm.c (initializer_constant_valid_for_bitfield_p): Return true for ↵Eric Botcazou4-6/+44
REAL_CST as well. * varasm.c (initializer_constant_valid_for_bitfield_p): Return true for REAL_CST as well. (output_constructor): Use RECORD_OR_UNION_TYPE_P predicate. In the bitfield case, if the value is a REAL_CST, convert it first to an INTEGER_CST. From-SVN: r186100
2012-04-02Add --with-abi= support to x86_64-*-*H.J. Lu3-2/+59
2012-04-02 H.J. Lu <hongjiu.lu@intel.com> * config.gcc: Use i386/biarchx32.h instead of i386/biarch64.h for --with-abi={x32|mx32} or --with-multilib-list=mx32. (supported_defaults): Add abi for i[34567]86-*-* and x86_64-*-*. * config/i386/biarchx32.h: New. From-SVN: r186099
2012-04-03Daily bump.GCC Administrator1-1/+1
From-SVN: r186097
2012-04-02arm.h (PREFERRED_RELOAD_CLASS): Remove.Anatoly Sokolov3-10/+34
* config/arm/arm.h (PREFERRED_RELOAD_CLASS): Remove. * config/arm/arm.c (TARGET_PREFERRED_RELOAD_CLASS): Define. (arm_preferred_reload_class): New function. From-SVN: r186092
2012-04-02ffi.c (ffi_prep_args_SYSV): Declare double_tmp.Peter Bergner2-7/+14
* src/powerpc/ffi.c (ffi_prep_args_SYSV): Declare double_tmp. Silence casting pointer to integer of different size warning. Delete goto to previously deleted label. (ffi_call): Silence possibly undefined warning. (ffi_closure_helper_SYSV): Declare variable type. From-SVN: r186091
2012-04-02Update x32 rt_sigreturn syscall number to 0x40000201H.J. Lu2-1/+6
2012-04-02 H.J. Lu <hongjiu.lu@intel.com> * config/i386/linux-unwind.h (RT_SIGRETURN_SYSCALL): Update x32 system call number. From-SVN: r186087
2012-04-02re PR middle-end/52756 (255.vortex in SPEC CPU 2000 failed to build)Richard Guenther4-0/+68
2012-04-02 Richard Guenther <rguenther@suse.de> PR tree-optimization/52756 * tree-ssa-threadupdate.c (def_split_header_continue_p): New function. (thread_through_loop_header): After threading through the loop latch remove the split part from the loop and clear further threading opportunities that would create a multiple entry loop. * gcc.dg/torture/pr52756.c: New testcase. From-SVN: r186085
2012-04-02Fix .jcr alignmentRainer Orth2-1/+7
From-SVN: r186082
2012-04-02re PR middle-end/52800 (eglibc build broken with internal compiler error in ↵Richard Guenther2-1/+7
cfgloop .) 2012-04-02 Richard Guenther <rguenther@suse.de> PR rtl-optimization/52800 * cprop.c (execute_rtl_cprop): Call cleanup_cfg with CLEANUP_CFG_CHANGED. From-SVN: r186081
2012-04-02re PR rtl-optimization/52803 (ICE: in ira, at ira.c:3616 with ↵Richard Guenther4-7/+31
-fno-move-loop-invariants on almost any code) 2012-04-02 Richard Guenther <rguenther@suse.de> PR middle-end/52803 * loop-init.c (gate_handle_loop2): Destroy loops here if we don't enter RTL loop optimizers. * gcc.dg/pr52803.c: New testcase. From-SVN: r186080
2012-04-02[multiple changes]Arnaud Charlet11-43/+161
2012-04-02 Robert Dewar <dewar@adacore.com> * s-atopri.ads: Minor reformatting. 2012-04-02 Thomas Quinot <quinot@adacore.com> * sem_util.adb: Minor reformatting, minor code cleanup. 2012-04-02 Ed Schonberg <schonberg@adacore.com> * lib-xref.adb (Generate_Reference): For a reference to an operator symbol, set the sloc to point to the first character of the operator name, and not to the initial quaote. (Output_References): Ditto for the definition of an operator symbol. 2012-04-02 Vincent Celier <celier@adacore.com> * ali.adb (Scan_Ali): Recognize Z lines. Set Implicit_With_From_Instantiation to True in the With_Record for Z lines. * ali.ads (With_Record): New Boolean component Implicit_With_From_Instantiation, defaulted to False. * csinfo.adb: Indicate that Implicit_With_From_Instantiation is special * lib-writ.adb (Write_ALI): New array Implicit_With. (Collect_Withs): Set Implicit_With for the unit is it is not Yes. (Write_With_Lines): Write a Z line instead of a W line if Implicit_With is Yes for the unit. * sem_ch12.adb (Inherit_Context): Only add a unit in the context if it is not there yet. * sinfo.ads: New flag Implicit_With_From_Instantiation (Flag12) added. From-SVN: r186079
2012-04-02Partially revert:Uros Bizjak3-0/+34
2012-03-29 Richard Guenther <rguenther@suse.de> * rtl.h (extended_count): Remove. * combine.c (extended_count): Remove. From-SVN: r186077
2012-04-02[multiple changes]Arnaud Charlet17-205/+1327
2012-04-02 Yannick Moy <moy@adacore.com> * osint.adb, osint.ads (Add_Default_Search_Dirs): Add library search dirs in file specified with option -gnateO. 2012-04-02 Robert Dewar <dewar@adacore.com> * sem_ch5.adb, exp_util.adb, sem_util.adb, exp_ch4.adb: Minor reformatting. 2012-04-02 Olivier Hainque <hainque@adacore.com> * g-sse.ads: Add x86-solaris and x86_64-darwin to the set of platforms where the use of this spec is supported. Add current year to the copyright notice. * gcc-interfaces/Makefile.in: Add g-sse.o and g-ssvety.o to EXTRA_GNATRTL_NONTASKING_OBJS on x86 32/64 targets that support it and where they were missing (x86-solaris, x86-freebsd, x86_64-freebsd, and x86-darwin). 2012-04-02 Gary Dismukes <dismukes@adacore.com> * bindgen.adb (Gen_Ada_Init): When compiling for the AAMP small library, where we no longer suppress the Standard_Library, generate an empty body rather than the usual generation of assignments to imported globals, since those aren't present in the small library. 2012-04-02 Ed Schonberg <schonberg@adacore.com> * sinfo.ads: Minor documentation fix. 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com> * sem_res.adb (Resolve_Conditional_Expression): Add local variables Else_Typ and Then_Typ. Add missing type conversions to the "then" and "else" expressions when their respective types are scalar. 2012-04-02 Vincent Pucci <pucci@adacore.com> * exp_ch9.adb: Reordering of the local subprograms. New Table for the lock free implementation that maps each protected subprograms with the protected component it references. (Allow_Lock_Free_Implementation): New routine. Check if the protected body enables the lock free implementation. (Build_Lock_Free_Protected_Subprogram_Body): New routine. (Build_Lock_Free_Unprotected_Subprogram_Body): New routine. (Comp_Of): New routine. * Makefile.rtl: Add s-atopri.o * debug.adb: New compiler debug flag -gnatd9 for lock free implementation. * rtsfind.ads: RE_Atomic_Compare_Exchange_8, RE_Atomic_Compare_Exchange_16, RE_Atomic_Compare_Exchange_32, RE_Atomic_Compare_Exchange_64, RE_Atomic_Load_8, RE_Atomic_Load_16, RE_Atomic_Load_32, RE_Atomic_Load_64, RE_Uint8, RE_Uint16, RE_Uint32, RE_Uint64 added. * s-atropi.ads: New file. Defines atomic primitives used by the lock free implementation. From-SVN: r186076
2012-04-02[multiple changes]Arnaud Charlet10-791/+790
2012-04-02 Emmanuel Briot <briot@adacore.com> * g-expect.adb (Expect_Internal): Fix leak of the input file descriptor. 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch4.adb (Expand_N_Quantified_Expression): Reimplemented. The expansion no longer uses the copy of the original QE created during analysis. * sem.adb (Analyze): Add processing for loop parameter specifications. * sem_ch4.adb (Analyze_Quantified_Expression): Reimplemented. The routine no longer creates a copy of the original QE. All constituents of a QE are now preanalyzed and resolved. * sem_ch5.adb (Analyze_Iteration_Scheme): Remove the guard which bypasses all processing when the iteration scheme is related to a QE. Relovate the code which analyzes loop parameter specifications to a separate routine. (Analyze_Iterator_Specification): Preanalyze the iterator name. This action was originally done in Analyze_Iteration_Scheme. Update the check which detects an iterator specification in the context of a QE. (Analyze_Loop_Parameter_Specification): New routine. This procedure allows for a stand-alone analysis of a loop parameter specification without the need of a parent iteration scheme. Add code to update the type of the loop variable when the range generates an itype and the context is a QE. (Pre_Analyze_Range): Renamed to Preanalyze_Range. Update all references to the routine. * sem_ch5.ads: Code reformatting. (Analyze_Loop_Parameter_Specification): New routine. * sem_ch6.adb (Fully_Conformant_Expressions): Detect a case when establishing conformance between two QEs utilizing different specifications. * sem_res.adb (Proper_Current_Scope): New routine. (Resolve): Do not resolve a QE as there is nothing to be done now. Ignore any loop scopes generated for QEs when detecting an expression function as the scopes are cosmetic and do not appear in the tree. (Resolve_Quantified_Expression): Removed. All resolution of QE constituents is now performed during analysis. This ensures that loop variables appearing in array aggregates are properly resolved. 2012-04-02 Ed Schonberg <schonberg@adacore.com> * sem_util.adb (Build_Default_Subtype): If the base type is private and its full view is available, use the full view in the subtype declaration. From-SVN: r186074
2012-04-02Complete previous change.Arnaud Charlet1-1/+1
From-SVN: r186073
2012-04-02[multiple changes]Arnaud Charlet7-3/+72
2012-04-02 Jose Ruiz <ruiz@adacore.com> * gnat_ugn.texi: Add some minimal documentation about how to use GNATtest for cross platforms. 2012-04-02 Vincent Celier <celier@adacore.com> * opt.ads (Object_Path_File_Name): New variable. * prj-attr.adb: New Compiler attribute Object_Path_Switches. * prj-nmsc.adb (Process_Compiler): Recognize new attribute Object_Path_Switches. * snames.ads-tmpl: New standard name Object_Path_Switches. * switch-c.adb (Scan_Front_End_Switches): Recognize new switch -gnateO= and put its value in Opt.Object_Path_File_Name. From-SVN: r186072
2012-04-02[multiple changes]Arnaud Charlet5-44/+113
2012-04-02 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch7.adb (Process_Declarations): Detect a case where a source object was initialized by another source object, but the expression was rewritten as a class-wide conversion of Ada.Tags.Displace. * exp_util.adb (Initialized_By_Ctrl_Function): Removed. (Is_Controlled_Function_Call): New routine. (Is_Displacement_Of_Ctrl_Function_Result): Removed. (Is_Displacement_Of_Object_Or_Function_Result): New routine. (Is_Source_Object): New routine. (Requires_Cleanup_Actions): Detect a case where a source object was initialized by another source object, but the expression was rewritten as a class-wide conversion of Ada.Tags.Displace. * exp_util.ads (Is_Displacement_Of_Ctrl_Function_Result): Removed. (Is_Displacement_Of_Object_Or_Function_Result): New routine. 2012-04-02 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Resolve_Call): A call to an expression function does not freeze if it appears in a different scope from the expression function itself. Such calls appear in the generated bodies of other expression functions, or in pre/postconditions of subsequent subprograms. From-SVN: r186071
2012-04-02[multiple changes]Arnaud Charlet5-60/+129
2012-04-02 Yannick Moy <moy@adacore.com> * lib-xref-alfa.adb: Code clean up. 2012-04-02 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Analyze_Subprogram_Instantiation): Do not suppress style checks, because the subprogram instance itself may contain violations of syle rules. * style.adb (Missing_Overriding): Check for missing overriding indicator on a subprogram instance. 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch6.adb (Last_Implicit_Declaration): New routine. (Process_PPCs): Insert the body of _postconditions after the last internally generated declaration. This ensures that actual subtypes created for formal parameters are visible and properly frozen as _postconditions may reference them. From-SVN: r186070
2012-04-022012-04-02 Robert Dewar <dewar@adacore.com>Robert Dewar7-8/+296
* einfo.adb (First_Component_Or_Discriminant) Now applies to all types with discriminants, not just records. * exp_attr.adb (Expand_N_Attribute): Add Scalar_Values handling for arrays, scalars and non-variant records. * sem_attr.adb (Analyze_Attribute): Handle Valid_Scalars * sem_attr.ads (Valid_Scalars): Update description * sem_util.ads, sem_util.adb (No_Scalar_Parts): New function. From-SVN: r186069