2010-10-04  Bob Duff  <duff@adacore.com>

* sem_res.adb (Resolve_Type_Conversion): If a type conversion is needed
to make a qualified expression into a name (syntax-wise), then do not
consider it redundant.

2010-10-04  Thomas Quinot  <quinot@adacore.com>

* sem_warn.ads: Fix typo.

2010-10-04  Javier Miranda  <miranda@adacore.com>

* exp_cg.adb (Is_Predefined_Dispatching_Operation): Handle suffix in
TSS names.
(Write_Call_Info): Add missing support for renamed primitives.

2010-10-04  Thomas Quinot  <quinot@adacore.com>

* exp_ch5.adb (Make_Field_Expr): New subprogram, to factor duplicated
code between Make_Component_List_Assign and Make_Field_Assign.

2010-10-04  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Get_Directories): For non extending projects that
declare that they have no sources, do not create a non existing object
or exec directory if builder switch -p is used.

2010-10-04  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi (gnatcheck): Change the description of the report file
format.

2010-10-04  Ed Falis  <falis@adacore.com>

* s-taprop-vxworks.adb (Is_Task_Context): Import VxWorks intContext to
determine whether Set_True is called from a task or an ISR.
(Set_True): test for being in a task context before trying to
dereference Defer_Abort or Undefer_Abort.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164936 138bc75d-0d04-0410-961f-82ee72b054a4

2010-10-04  Robert Dewar  <dewar@adacore.com>

* sem_res.adb, sinput-l.adb: Minor reformatting.

2010-10-04  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch5.adb (Expand_N_Assignment_Statement): Do not generate a tag
check when the target object is an interface since the expression of
the right hand side must only cover the interface.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164935 138bc75d-0d04-0410-961f-82ee72b054a4

2010-10-04  Vincent Celier  <celier@adacore.com>

* frontend.adb: Set Lib.Parsing_Main_Extended_Source to True before
loading the main source, so that if it is preprocessed and -gnateG is
used, the preprocessed file is written.
* lib.ads (Analysing_Subunit_Of_Main): New global variable to indicate
if a subunit is from the main unit when it is loaded.
* sem_ch10.adb (Analyze_Proper_Body): Set Lib.Analysing_Subunit_Of_Main
to True before loading a subunit.
* sem_ch12.adb (Copy_Generic_Node): Set Lib.Analysing_Subunit_Of_Main
to True when the main is a generic unit before loading one of its
subunits.
* sinput-l.adb (Load_File): If -gnateG is used, write the preprocessed
file only for the main unit (spec, body and subunits).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164934 138bc75d-0d04-0410-961f-82ee72b054a4

2010-10-04  Vincent Celier  <celier@adacore.com>

* sinput-l.adb (Load_File): Do not fail when switch -gnateG is
specified and the processed file cannot be written. Just issue a
warning and continue.

2010-10-04  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb: Minor reformatting.

2010-10-04  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Analyze_Subprogram_Renaming): If the renamed operation
is an overridden inherited operation, the desired operation is the
overriding one, which is the alias of the visible one.

2010-10-04  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Find_Corresponding_Spec): Check that the wrapper body is
present before deleting from the tree, when an inherited function with
a controlling result that returns a null extension is overridden by a
later declaration or body.

2010-10-04  Gary Dismukes  <dismukes@adacore.com>

* checks.adb: Update comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164933 138bc75d-0d04-0410-961f-82ee72b054a4

* optc-gen.awk: Define global_options_set.  Don't define
target_flags_explicit.
* opth-gen.awk: Declare global_options_set.  Define
target_flags_explicit as macro.
* opts-common.c (handle_option): Take opts_set and generated_p
parameters.
(handle_generated_option, read_cmdline_option, set_option): Take
opts_set parameter.
(set_option): Use opts_set instead of hardcoding target_flags and
target_flags_explicit.
* opts.c (sel_sched_switch_set, profile_arc_flag_set,
flag_profile_values_set, flag_unroll_loops_set, flag_tracer_set,
flag_value_profile_transformations_set, flag_peel_loops_set,
flag_branch_probabilities_set, flag_inline_functions_set,
flag_ipa_cp_set, flag_ipa_cp_clone_set,
flag_predictive_commoning_set, flag_unswitch_loops_set,
flag_gcse_after_reload_set): Remove.
(common_handle_option, lang_handle_option, target_handle_option):
Take opts_set parameter.  Assert that it is &global_options_set.
(common_handle_option): Don't set _set variables.  Check opts_set
instead of such variables.
(enable_warning_as_error): Pass &global_options_set to
handle_generated_option.
* opts.h (cl_option_handler_func.handler, set_option,
handle_option, handle_generated_option, read_cmdline_option): Add
opts_set parameters.
(handle_option): Add generated_p parameter.
* config/i386/i386.c (ix86_function_specific_save,
ix86_function_specific_restore): Updat for renaming of
target_flags_explicit field.
* config/i386/i386.opt (target_flags_explicit): Rename to
ix86_target_flags_explicit.
* config/ia64/ia64.c (ia64_override_options_after_change): Check
global_options_set.x_flag_selective_scheduling and
global_options_set.x_flag_selective_scheduling2, not
sel_sched_switch_set.
* flags.h (sel_sched_switch_set,
flag_speculative_prefetching_set): Remove.
* gcc.c (driver_handle_option): Take opts_set parameter.  Assert
that it is &global_options_set.
(process_command): Pass &global_options_set to
read_cmdline_option.
* lto-opts.c (lto_reissue_options): Pass &global_options_set to
set_option.
* toplev.c (target_flags_explicit): Remove.

c-family:
* c-opts.c (c_common_handle_option): Pass &global_options_set to
handle_generated_option.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164932 138bc75d-0d04-0410-961f-82ee72b054a4

PR middle-end/45871
* tree-ssa-ccp.c (get_base_constructor): Take HOST_WIDE_INT offset;
use get_ref_base_and_offset to handle references.
(fold_const_aggregate_ref): Update.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164931 138bc75d-0d04-0410-961f-82ee72b054a4

2010-10-04  Martin Jambor  <mjambor@suse.cz>

PR tree-optimization/45572
* ipa-prop.c (ipa_make_edge_direct_to_target): Call
ipa_check_create_node_params.
* ipa-inline.c (add_new_edges_to_heap): Do not insert inlined edges.

* testsuite/g++.dg/ipa/pr45572-1.C: New test.
* testsuite/g++.dg/ipa/pr45572-2.C: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164930 138bc75d-0d04-0410-961f-82ee72b054a4

2010-10-04  Yao Qi  <yao@codesourcery.com>

        * doc/passes.texi: Clean up.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164929 138bc75d-0d04-0410-961f-82ee72b054a4

2010-10-04  Richard Guenther  <rguenther@suse.de>

* f95-lang.c (current_translation_unit): New global variable.
(gfc_create_decls): Build a translation-unit decl.
(pushdecl): In the global binding-level use the
translation-unit decl as DECL_CONTEXT.
* trans-decl.c (gfc_get_symbol_decl): Use DECL_FILE_SCOPE_P.
(build_function_decl): Likewise.  Delay setting the assembler
name, leave setting of DECL_CONTEXT to pushdecl.
(trans_function_start): Use DECL_FILE_SCOPE_P.
(gfc_create_module_variable): Likewise.  Remove questionable
asserts.
* trans.c (gfc_generate_module_code): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164928 138bc75d-0d04-0410-961f-82ee72b054a4

* acinclude.m4 (GLIBCXX_ENABLE): Properly quote argument to
AC_HELP_STRING.  Double quote expansion of _g_help.
(GLIBCXX_ENABLE_LIBSTDCXX_TIME): Double quote third argument of
GLIBCXX_ENABLE.
(GLIBCXX_ENABLE_CHEADERS): Likewise.
(GLIBCXX_ENABLE_CLOCALE): Likewise.
(GLIBCXX_ENABLE_ALLOCATOR): Likewise.
(GLIBCXX_ENABLE_CSTDIO): Likewise.
(GLIBCXX_ENABLE_SYMVERS): Likewise.
* configure: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164927 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/:
* c-typeck.c (lookup_field): If -fplan9-extensions, permit
referring to a field using a typedef name.
(find_anonymous_field_with_type): New static function.
(convert_to_anonymous_field): New static function.
(convert_for_assignment): If -fplan9-extensions, permit converting
pointer to struct to pointer to anonymous field.
* c-decl.c (grokfield): If -fplan9-extensions, permit anonymous
fields.
(is_duplicate_field): New static function.
(detect_field_duplicates_hash): If -fplan9-extensions, check for
typedef names duplicating field names.
(detect_field_duplicates): Likewise.
* doc/invoke.texi (Option Summary): Mention -fplan9-extensions.
(C Dialect Options): Document -fplan9-extensions.
* doc/extend.texi (Unnamed Fields): Document -fplan9-extensions.
gcc/c-family/:
* c.opt (-fplan9-extensions): New option.
gcc/testsuite/:
* gcc.dg/anon-struct-11.c: New test.
* gcc.dg/anon-struct-12.c: New test.
* gcc.dg/anon-struct-13.c: New test.
* gcc.dg/anon-struct-14.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164926 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164924 138bc75d-0d04-0410-961f-82ee72b054a4

Revert revision 164914.

gcc/

2010-10-03  H.J. Lu  <hongjiu.lu@intel.com>

* tree-vect-data-refs.c (vect_analyze_data_ref_access): Revert
revision 164914.
(vect_create_data_ref_ptr): Likewise.
* tree-vect-stmts.c (vectorizable_store): Likewise.
(perm_mask_for_reverse): Likewise.
(reverse_vec_elements): Likewise.
(vectorizable_load): Likewise.

gcc/testsuite/

2010-10-03  H.J. Lu  <hongjiu.lu@intel.com>

* g++.dg/torture/pr45764.C: Revert revision 164914.
* gcc.dg/vect/pr43432.c: Likewise.
* gcc.dg/vect/vect-114.c: Likewise.
* gcc.dg/vect/vect-15.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164919 138bc75d-0d04-0410-961f-82ee72b054a4

* typeck.c (require_complete_type_sfinae): Add complain parm to...
(require_complete_type): ...this function.
(cp_build_array_ref, convert_arguments): Use it.
(convert_for_initialization, cp_build_modify_expr): Likewise.
* cp-tree.h: Declare it.
* call.c (build_over_call): Use it.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164918 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/
* cppbuiltin.c: New file.
* cppbuiltin.h: New file.
* Makefile.in: Take into account cppbuiltin.{h,c}.

gcc/c-family/
* c-cppbuiltin.c (define__GNUC__, builtin_define_type_precision):
Remove.
(c_cpp_builtins): Call functions from cppbuiltin.c instead
of duplicating code.

gcc/fortran/
* cpp.c (cpp_define_builtins): Call functions from cppbuiltin.c
instead of duplicating code.
* Make-lang.in: Add dependency on cppbuiltin.h. Don't define
BASEVER.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164917 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/

2010-10-03  Andi Kleen <ak@linux.intel.com>

* lto-cgraph.c (input_cgraph): Check for missing sections.

gcc/lto/

2010-10-03  Andi Kleen <ak@linux.intel.com>

     * lto.c (lto_file_finalize): Replace gcc_assert for missing section
          with fatal_error.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164916 138bc75d-0d04-0410-961f-82ee72b054a4

* config/i386/i386.md (*ashl<mode>3_mask): Change operand 2 preticate
to nonimmediate_operand.  Force operand 2 to register when allowed.
(*<shiftrt_insn><mode>3_mask): Ditto.
(*<rotate_insn><mode>3_mask): Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164915 138bc75d-0d04-0410-961f-82ee72b054a4

Disallow negative steps in vectorizer.

gcc/

2010-10-02  H.J. Lu  <hongjiu.lu@intel.com>

PR tree-optimization/45720
PR tree-optimization/45764
* tree-vect-data-refs.c (vect_analyze_data_ref_access):
Don't accept backwards consecutive accesses.
(vect_create_data_ref_ptr): Disallow negative steps.

* tree-vect-stmts.c (vectorizable_store): Allow negative steps.
(perm_mask_for_reverse): Removed.
(reverse_vec_elements): Likewise.
(vectorizable_load): Don't hanle negative steps.

gcc/testsuite/

2010-10-02  H.J. Lu  <hongjiu.lu@intel.com>

PR tree-optimization/45720
PR tree-optimization/45764
* g++.dg/torture/pr45764.C: New.

* gcc.dg/vect/pr43432.c: Xfail.
* gcc.dg/vect/vect-114.c: Likewise.
* gcc.dg/vect/vect-15.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164914 138bc75d-0d04-0410-961f-82ee72b054a4

Revert the pvs change.

2010-10-02  H.J. Lu  <hongjiu.lu@intel.com>

PR libstdc++/45863
* scripts/extract_symvers: Revert the pvs change.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164913 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164912 138bc75d-0d04-0410-961f-82ee72b054a4

* tree-ssa-ccp.c (ccp_fold_stmt): Fold away OBJ_TYPE_REF when
call destination is known.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164908 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc.dg/torture/pr45678-1.c: Add -fno-common to options on 32-bit
hppa*-*-hpux*.
* gcc.dg/torture/pr45678-2.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164906 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/45820
* config/pa/pa.c (pa_secondary_reload): Handle symbolic operands
earlier.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164905 138bc75d-0d04-0410-961f-82ee72b054a4

Allow to pass separate configure arguments for build, host and target.

/:
PR bootstrap/45326
PR bootstrap/45174
* configure.ac: Honor initial values of $build_configargs,
$host_configargs, $target_configargs.  Mark the precious, so
environment settings get recorded.
* configure: Regenerate.

gcc/:
* doc/install.texi (Configuration): Document build_configargs,
host_configargs, target_configargs.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164904 138bc75d-0d04-0410-961f-82ee72b054a4

2010-10-02  Janus Weil  <janus@gcc.gnu.org>

PR fortran/45748
* resolve.c (resolve_formal_arglist): Avoid setting default type for
formal arguments of intrinsic procedures.

2010-10-02  Janus Weil  <janus@gcc.gnu.org>

PR fortran/45748
* gfortran.dg/intrinsic_6.f90: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164901 138bc75d-0d04-0410-961f-82ee72b054a4

2010-10-02  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/42831
* gfortran.dg/dependency_37.f90:  New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164900 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164899 138bc75d-0d04-0410-961f-82ee72b054a4

* config/i386/i386.md (*ashl<mode>3_mask): New insn_and_split pattern.
(*<shiftrt_insn><mode>3_mask): Ditto.
(*<rotate_insn><mode>3_mask): Ditto.

testsuite/ChangeLog:

* gcc.target/i386/shift_mask.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164895 138bc75d-0d04-0410-961f-82ee72b054a4

* config/t-stack(LIB2ADD_ST): Set instead of LIB2ADD.
* config/i386/t-stack-i386 (LIB2ADD_ST): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164893 138bc75d-0d04-0410-961f-82ee72b054a4

2010-10-01  Benjamin Kosnik  <bkoz@redhat.com>

* scripts/extract_symvers: Add support for tracking TLS symbols.
* testsuite/util/testsuite_abi.h (symbol::category): Add tls type.
* testsuite/util/testsuite_abi.cc: Set symbol type to tls when
appropriate, collect size info.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164892 138bc75d-0d04-0410-961f-82ee72b054a4

2010-10-01  Steve Ellcey  <sje@cup.hp.com>

PR tree-optimization/44716
* config/ia64/hpux.h (UNLIKELY_EXECUTED_TEXT_SECTION_NAME): Define.
(HOT_TEXT_SECTION_NAME): Define.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164891 138bc75d-0d04-0410-961f-82ee72b054a4

Mention PR, fix typo.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164887 138bc75d-0d04-0410-961f-82ee72b054a4

    * common.opt: Add -fcombine-stack-adjustments.
        * opts.c (decode_options): Enable -fcombine-stack-adjustments at
        -O1.
        * combine-stack-adj.c (gate_handle_stack_adjustments): Check
        flag_combine_stack_adjustments.
        * doc/invoke.texi: Document the new option.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164883 138bc75d-0d04-0410-961f-82ee72b054a4

2010-10-01  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/45854
* tree-eh.c (cleanup_empty_eh): Avoid degenerate case.

* g++.dg/torture/pr45854.C: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164881 138bc75d-0d04-0410-961f-82ee72b054a4

* scripts/extract_symvers: Use pvs if present.
* config/abi/post/solaris2.8/baseline_symbols.txt: New file.
* config/abi/post/solaris2.8/sparcv9/baseline_symbols.txt: Likewise.
* config/abi/post/solaris2.10/amd64/baseline_symbols.txt: Likewise.
* config/abi/post/solaris2.10/baseline_symbols.txt: Likewise.
* config/abi/post/solaris2.10/sparcv9/baseline_symbols.txt: Likewise.
* configure.host (i?86-*-solaris2*): Remove.
(sparc*-*-solaris2*): Remove.
(*-*-solaris2.[89]): Use solaris2.8 baseline.
(*-*-solaris2.1[0-9]): Use solaris2.10 baseline.
* testsuite/Makefile.am (new-abi-baseline): Add missing /.
* testsuite/Makefile.in: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164879 138bc75d-0d04-0410-961f-82ee72b054a4

Remove the extra `$'.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164878 138bc75d-0d04-0410-961f-82ee72b054a4

Fix moxie-rtems configuration

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164877 138bc75d-0d04-0410-961f-82ee72b054a4

Add the missing `$'.

2010-10-01  H.J. Lu  <hongjiu.lu@intel.com>

PR target/45858
* config.host: Add the missing `$'.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164876 138bc75d-0d04-0410-961f-82ee72b054a4

2010-10-01  Richard Guenther  <rguenther@suse.de>

* dwarf2out.c (gen_namespace_die): Use DECL_FILE_SCOPE_P.
(gen_decl_die): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164874 138bc75d-0d04-0410-961f-82ee72b054a4

* config/spu/spu.c (spu_init_builtins): No longer add END_BUILTINS
to the function code for SPU MD builtins.
(spu_expand_builtin): Update.
* config/spu/spu-c.c (spu_resolve_overloaded_builtin): Update.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164873 138bc75d-0d04-0410-961f-82ee72b054a4

* config/spu/spu.c (TARGET_EXCEPT_UNWIND_INFO): Set to
sjlj_except_unwind_info.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164872 138bc75d-0d04-0410-961f-82ee72b054a4

PR libffi/45677
* src/x86/ffi64.c (ffi_prep_cif_machdep): Ensure cif->bytes is
a multiple of 8.
* testsuite/libffi.call/many2.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164829 138bc75d-0d04-0410-961f-82ee72b054a4

2010-10-01  Tristan Gingold  <gingold@adacore.com>

* configure.ac: Define the nop insn for avr*-*-*
* configure: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164828 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/45807
* config/rs6000/rs6000.c (rs6000_emit_prologue): Properly sign
extend toc_restore_insn.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164825 138bc75d-0d04-0410-961f-82ee72b054a4

PR tree-optimization/43959
* function.c (gimplify_parameters): Use create_tmp_reg instead of
create_tmp_var.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164824 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164823 138bc75d-0d04-0410-961f-82ee72b054a4

* config/sh/sh.c (sh_expand_prologue): Set
current_function_static_stack_size.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164819 138bc75d-0d04-0410-961f-82ee72b054a4

Replace FLOAT_MIN, FLOAT_MAX to __FLT_MIN__, __FLT_MAX__.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164816 138bc75d-0d04-0410-961f-82ee72b054a4

* configure.ac: Check for Solaris 8 ld with .hidden support.
* configure: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164815 138bc75d-0d04-0410-961f-82ee72b054a4

Adjust failing testsuite pattern.

2010-09-30  Sebastian Pop  <sebastian.pop@amd.com>

* testsuite/libgomp.graphite/force-parallel-1.c: Adjust.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164814 138bc75d-0d04-0410-961f-82ee72b054a4

Fix PR45758: reset scevs before Graphite.

2010-09-24  Sebastian Pop  <sebastian.pop@amd.com>

PR middle-end/45758
* graphite.c (graphite_initialize): Call scev_reset.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164813 138bc75d-0d04-0410-961f-82ee72b054a4

Fix miscompilation of 416.gamess.

2010-09-23  Sebastian Pop  <sebastian.pop@amd.com>

* sese.h (scev_analyzable_p): Return false for real or floating
point.  Only handle INTEGRAL_TYPE_P and POINTER_TYPE_P.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164812 138bc75d-0d04-0410-961f-82ee72b054a4

Add testcase for PR45758.

2010-09-23  Sebastian Pop  <sebastian.pop@amd.com>

PR middle-end/45758
* gfortran.dg/graphite/pr45758.f90: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164811 138bc75d-0d04-0410-961f-82ee72b054a4

Fix memory leaks in new scop detection.

2010-09-23  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-scop-detection.c (is_scop_p): Free bblist.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164810 138bc75d-0d04-0410-961f-82ee72b054a4

Fix Graphite memory leaks.

2010-09-23  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-clast-to-gimple.c (compute_bounds_for_level): Free le
and ps.
* graphite-poly.c (pbb_number_of_iterations_at_time): Free le and
domain.
* graphite-sese-to-poly.c (add_upper_bounds_from_estimated_nit):
Do not allocate ub_expr, it is passed in initialized.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164809 138bc75d-0d04-0410-961f-82ee72b054a4

New flag: -fgraphite-dump-cloog.

Introduce a new flag: -fgraphite-dump-cloog. If enabled, graphite
dumps each SCoP into a CLooG input file for further debugging.
The naming follows the naming scheme of -fgraphite-write:
 <basename>.<scopnumber>.cloog

The file is dumped into the current working directory.

2010-09-16  Andreas Simbuerger  <simbuerg@fim.uni-passau.de>

* common.opt (fgraphite-dump-cloog): New flag.
* doc/invoke.texi (-fgraphite-dump-cloog): Documented.
* graphite-clast-to-gimple.c (init_cloog_input_file): New.
(build_cloog_prog): Dump CLooG input file when
flag_graphite_dump_cloog is set.
* graphite-cloog-compat.h (cloog_program_dump_cloog): New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164808 138bc75d-0d04-0410-961f-82ee72b054a4

CDI_POST_DOMINATORS are not used in Graphite.

2010-09-20  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-clast-to-gimple.c (graphite_verify): Remove call to
verify_dominators for CDI_POST_DOMINATORS.
* sese.h: Remove comment about CDI_POST_DOMINATORS.
(recompute_all_dominators): Remove call to free_dominance_info
for CDI_POST_DOMINATORS.  Remove call to calculate_dominance_info
for CDI_POST_DOMINATORS.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164807 138bc75d-0d04-0410-961f-82ee72b054a4

Only iterate over pbb_dim_iter_domain.

2010-09-09  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-poly.c (pbb_number_of_iterations_at_time): Only iterate
over pbb_dim_iter_domain.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164806 138bc75d-0d04-0410-961f-82ee72b054a4

Fix comments.

2010-09-09  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-flattening.c: Fix comments.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164805 138bc75d-0d04-0410-961f-82ee72b054a4

New pass: loop flattening.

2010-09-09  Sebastian Pop  <sebastian.pop@amd.com>

* Makefile.in (OBJS-common): Add graphite-flattening.o.
(graphite-flattening.o): New rule.
* common.opt (floop-flatten): New flag.
* doc/invoke.texi (-floop-flatten): Documented.
* graphite-flattening.c: New.
* graphite-poly.c (apply_poly_transforms): Call flatten_all_loops.
* graphite-poly.h (flatten_all_loops): Declared.
(lst_remove_loop_and_inline_stmts_in_loop_father): New.
* tree-ssa-loop.c (gate_graphite_transforms): When flag_loop_flatten
is set, also set flag_graphite.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164804 138bc75d-0d04-0410-961f-82ee72b054a4

Add cloog_checksum.

2010-09-09  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-poly.c (cloog_checksum): New.
* graphite-poly.h (cloog_checksum): Declared.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164803 138bc75d-0d04-0410-961f-82ee72b054a4

Fix pbb_number_of_iterations_at_time.

2010-09-09  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-poly.c (pbb_number_of_iterations): Removed.
(pbb_number_of_iterations_at_time): Correctly compute the number
of iterations in the transformed loop.
* graphite-poly.h (pbb_number_of_iterations): Removed.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164802 138bc75d-0d04-0410-961f-82ee72b054a4

Fix lst_update_scattering.

2010-09-09  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-poly.h (lst_update_scattering_seq): Removed.
(lst_update_scattering): Correctly handle outermost loop dewey
renumbering.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164801 138bc75d-0d04-0410-961f-82ee72b054a4

Outline lst_niter_for_loop.

2010-09-09  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-blocking.c (pbb_strip_mine_profitable_p): Renamed
lst_strip_mine_profitable_p.  Call lst_niter_for_loop.
* graphite-poly.h (lst_niter_for_loop): New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164800 138bc75d-0d04-0410-961f-82ee72b054a4

Call fatal_error when the transform read from file is not legal.

2010-09-09  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-poly.c (apply_poly_transforms): Do not abort when the
transform read from disk is not legal.  Call fatal_error instead.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164799 138bc75d-0d04-0410-961f-82ee72b054a4

Fix pretty printers.

2010-09-09  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-poly.c (print_pbb_body): Add missing closing parenthesis.
(print_scop_header): Removed.  Inlined in the only call place...
(print_scop): ... here.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164798 138bc75d-0d04-0410-961f-82ee72b054a4

Use FOR_EACH_VEC_ELT.

2010-09-09  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-poly.h (lst_dewey_number): Use FOR_EACH_VEC_ELT.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164797 138bc75d-0d04-0410-961f-82ee72b054a4

New SCoPDetection detects first SCoPs.

2010-09-02  Vladimir Kargov  <kargov@gmail.com>

* graphite-scop-detection.c (is_valid_expr_p, is_valid_loop_p): New.
(is_valid_stmt_p): Add data reference and operation-specific checks.
(is_valid_bb_p): Change structure, add loop validity check.
(is_scop_p): Move the TODO list
(find_scops_new): New.
(build_scops_new): Move part of functionality to find_scops_new and
build_scops.  Add necessary steps for successful SCoP construction.
(build_scops): Compute SCoP sets for both detection algorithms, choose
the resulting one depending on static condition.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164796 138bc75d-0d04-0410-961f-82ee72b054a4

Fix uninitialize warning.

2010-08-24  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-poly.c (graphite_read_scop_file): Fix uninitialize warning.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164795 138bc75d-0d04-0410-961f-82ee72b054a4

Avoid set but not used warning.

2010-08-24  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-dependences.c (dot_deps): Avoid set but not used warning.
(dot_deps_stmt): Same.
* graphite-poly.c (dot_lst): Same.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164794 138bc75d-0d04-0410-961f-82ee72b054a4

Speed-up loop blocking: strip-mining is always legal.

2010-08-23  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-blocking.c (scop_do_strip_mine): Do not call
graphite_legal_transform.
(scop_do_block): Same.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164793 138bc75d-0d04-0410-961f-82ee72b054a4

Fix the description of graphite_can_represent_loop.

2010-08-20  Vladimir Kargov  <kargov@gmail.com>

* graphite-scop-detection.c (graphite_can_represent_loop): Correct the
description.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164792 138bc75d-0d04-0410-961f-82ee72b054a4

Add testcase for PR45230.

2010-08-20  Sebastian Pop  <sebastian.pop@amd.com>

PR middle-end/45230
* gcc.dg/graphite/id-pr45230.c: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164791 138bc75d-0d04-0410-961f-82ee72b054a4

Also handle ARRAY_REFs in instantiate_scev_r.

2010-08-20  Sebastian Pop  <sebastian.pop@amd.com>

* tree-scalar-evolution.c (instantiate_array_ref): New.
(instantiate_scev_r): Also handle ARRAY_REFs.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164790 138bc75d-0d04-0410-961f-82ee72b054a4

Fix chrec_contains_symbols_defined_in_loop.

2010-08-20  Sebastian Pop  <sebastian.pop@amd.com>

* tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop):
Do not check for VAR_DECL, PARM_DECL, FUNCTION_DECL, LABEL_DECL,
RESULT_DECL, and FIELD_DECL.  Return false for an
SSA_NAME_IS_DEFAULT_DEF.
(compute_scalar_evolution_in_loop): Do not further analyze the
scalar evolution when no_evolution_in_loop_p returns true.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164789 138bc75d-0d04-0410-961f-82ee72b054a4

A function is affine when CHREC_RIGHT is invariant.

2010-08-20  Sebastian Pop  <sebastian.pop@amd.com>

* tree-chrec.h (evolution_function_is_affine_p): Do not check
whether CHREC_LEFT is invariant.  A function is affine when
CHREC_RIGHT is invariant.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164788 138bc75d-0d04-0410-961f-82ee72b054a4

Factor out is_gimple_reg calls.

2010-08-20  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-sese-to-poly.c (reduction_phi_p): Remove check for
is_gimple_reg.
(rewrite_degenerate_phi): Same.
(rewrite_reductions_out_of_ssa): Add check for is_gimple_reg.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164787 138bc75d-0d04-0410-961f-82ee72b054a4

Remove outermost loop parameter.

2010-08-18  Vladimir Kargov  <kargov@gmail.com>

* graphite-scop-detection.c (graphite_can_represent_scev,
graphite_can_represent_expr, stmt_has_simple_data_refs_p,
graphite_can_represent_loop): Remove outermost_loop.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164786 138bc75d-0d04-0410-961f-82ee72b054a4

Fix PR45229: gcc.c-torture/execute/20000412-4.c ICEs with -fgraphite-identity.

2010-08-17  Sebastian Pop  <sebastian.pop@amd.com>

PR middle-end/45229
* graphite-sese-to-poly.c (rewrite_cross_bb_scalar_deps): Do not
handle GIMPLE_CALLs with no LHS.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164785 138bc75d-0d04-0410-961f-82ee72b054a4

Integrate openscop tests in graphite testsuite.

2010-08-17  Riyadh Baghdadi  <baghdadi.mr@gmail.com>
    Sebastian Pop  <sebastian.pop@amd.com>

* gcc.dg/graphite/graphite.exp: Add test rules for openscop read/write.
Call remove-build-file to clean up the generated *.graphite files.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164784 138bc75d-0d04-0410-961f-82ee72b054a4

Add documentation for -fgraphite-read and -fgraphite-write.

2010-08-14  Riyadh Baghdadi <baghdadi.mr@gmail.com>

* doc/invoke.texi (debugging options): Update documentation.
(-floop-interchange): Same.
(-flopp-strip-mine): Same.
(-floop-block): Same.
(-fgraphite-read): Add documentation.
(-fgraphite-write): Same.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164783 138bc75d-0d04-0410-961f-82ee72b054a4

Disable graphite loop optimizations with fgraphite read.

2010-08-14  Riyadh Baghdadi <baghdadi.mr@gmail.com>

* toplev.c (process_options): Disable graphite loop optimization
options when -fgraphite-read flag is used.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164782 138bc75d-0d04-0410-961f-82ee72b054a4

Dump each scop in a separate file.

2010-08-17  Riyadh Baghdadi <baghdadi.mr@gmail.com>

* graphite-poly.c (init_graphite_out_file): New.
(init_graphite_in_file): New.
(apply_poly_transforms): Updated to enable reading and writing of
multiple scop files.
* toplev.c (init_asm_output): Remove graphite in/out file initialization.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164781 138bc75d-0d04-0410-961f-82ee72b054a4

Remove redundant checks in graphite_can_represent_scev.

2010-08-17  Tobias Grosser  <grosser@fim.uni-passau.de>

        * graphite-scop-detection.c (graphite_can_represent_scev): Remove
        redundant checks.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164780 138bc75d-0d04-0410-961f-82ee72b054a4

Fix 435.gromacs miscompile.

2010-08-12  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-clast-to-gimple.c (precision_for_value): Adjust
computation of precision by 1.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164779 138bc75d-0d04-0410-961f-82ee72b054a4

Enable graphite to read an OpenScop file.

2010-08-12  Riyadh Baghdadi <baghdadi.mr@gmail.com>

* graphite-cloog-util.c (openscop_read_cloog_matrix): New.
(openscop_read_polyhedron_matrix): New.
* graphite-cloog-util.h (openscop_read_polyhedron_matrix): Declared.
(openscop_read_N_int): Same.
* graphite-poly.c (openscop_read_N_int): New.
(openscop_read_one_int): New.
(openscop_read_N_string): New.
(openscop_read_one_string): New.
(openscop_read_powerset_matrix): New.
(graphite_read_transforms): Remove.
(graphite_read_scatt): New.
(graphite_read_scop_file): New.
(apply_poly_transforms): Updated to call graphite_read_scop_file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164778 138bc75d-0d04-0410-961f-82ee72b054a4

Fix include order to avoid failed compilation on CLOOG_ORG.

2010-08-11  Andreas Simbuerger  <simbuerg@fim.uni-passau.de>

* graphite-poly.c: Change include order.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164777 138bc75d-0d04-0410-961f-82ee72b054a4

Add necessary accessors for CloogMatrix (CLOOG_ORG).

2010-08-11  Andreas Simbuerger  <simbuerg@fim.uni-passau.de>

* graphite-cloog-compat.h (cloog_matrix_ncolumns): New.
(cloog_matrix_nrows): New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164776 138bc75d-0d04-0410-961f-82ee72b054a4

Remove spaces from matrix lines.

2010-08-11  Riyadh Baghdadi <baghdadi.mr@gmail.com>

* graphite-cloog-util.c (openscop_print_cloog_matrix): Remove spaces
from matrix lines.
* graphite-poly.c (openscop_print_scattering_function_1): Same.
(print_scattering_function_1): Same.
(openscop_print_pbb_domain): Same.
(openscop_print_scop_context): Same.
(print_scop_context): Same.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164775 138bc75d-0d04-0410-961f-82ee72b054a4

Fix columns order in openscop.

2010-08-11  Riyadh Baghdadi <baghdadi.mr@gmail.com>

* graphite-poly.c (openscop_print_pdr_polyhedron): Fix indentation.
(openscop_print_pdr_polyhedron): Print pph.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164774 138bc75d-0d04-0410-961f-82ee72b054a4

Add testcase for PR43423.

2010-07-29  Sebastian Pop  <sebastian.pop@amd.com>

* gcc.dg/graphite/graphite.exp: Add compile rules for vect-* files.
* gfortran.dg/graphite/graphite.exp: Same.
* gcc.dg/graphite/vect-pr43423.c: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164773 138bc75d-0d04-0410-961f-82ee72b054a4

Generate in priority signed types for integer constants.

2010-07-29  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-clast-to-gimple.c (gcc_type_for_interval): Generate in
priority signed types.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164772 138bc75d-0d04-0410-961f-82ee72b054a4

Avoid lang_hooks, call build_nonstandard_integer_type.

2010-07-29  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-clast-to-gimple.c (max_signed_precision_type): Remove the call
to lang_hooks.types.type_for_size.  Call build_nonstandard_integer_type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164771 138bc75d-0d04-0410-961f-82ee72b054a4

Write OpenScop format.

2010-07-29  Riyadh Baghdadi <baghdadi.mr@gmail.com>

* graphite-cloog-util.c (openscop_print_cloog_matrix): New.
(openscop_print_polyhedron_matrix): New.
* graphite-cloog-util.h (openscop_print_polyhedron_matrix): Declared.
* graphite-poly.c (openscop_print_pdr_polyhedron): Same.
(openscop_print_pdr_powerset): New.
(openscop_print_powerset_matrix): New.
(openscop_print_scattering_function_1): New.
(print_scattering_function): Add support for scattering names and
OpenScop format.
(graphite_write_transforms): Remove.
(apply_poly_transforms): Updated to call print_scop.
(print_pdr_access_layout): Updated to support OpenScop format.
(print_pdr): Same.
(openscop_print_pbb_domain): New.
(print_pbb_body): Added a parameter to allow indicating that pbb_body is
not provided.
(print_pbb): Updated to call the new print_pbb_body.
(openscop_print_scop_context): New.
(print_scop_header): New.
(print_scop): Updated to call print_scop_header.
* graphite-poly.h: Document OpenScop format.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164770 138bc75d-0d04-0410-961f-82ee72b054a4

Fix date

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164769 138bc75d-0d04-0410-961f-82ee72b054a4

* config/cris/m32c.c (cris_memory_move_cost): New.
(cris_register_move_cost): Make static. Change arguments type from
enum reg_class to reg_class_t.
(TARGET_REGISTER_MOVE_COST, TARGET_MEMORY_MOVE_COST): Define.
* config/cris/cris.h (REGISTER_MOVE_COST, MEMORY_MOVE_COST): Remove.
* config/cris/cris-protos.h (cris_register_move_cost): Remove.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164768 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/45843
* config/i386/i386.c (ix86_gimplify_va_arg): Use
INTVAL (XEXP (slot, 1)) as prev_size.

* g++.dg/torture/pr45843.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164766 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-30  Janus Weil  <janus@gcc.gnu.org>

PR fortran/45828
* resolve.c (resolve_allocate_expr): Do not use
'gfc_has_default_initializer'.

2010-09-30  Janus Weil  <janus@gcc.gnu.org>

PR fortran/45828
* gfortran.dg/allocate_derived_5.f90: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164765 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/45837: Make powerpc build again

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164764 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-30  Tobias Burnus  <burnus@net-b.de>

        * gfortran.tex (Fortran 2008 status): Update list of
        implemented features.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164763 138bc75d-0d04-0410-961f-82ee72b054a4