GitLab

2011-07-26  H.J. Lu  <hongjiu.lu@intel.com>

	PR target/47372
	* config/i386/i386.c (ix86_delegitimize_address): Call
	simplify_gen_subreg for PIC with mode of x only if modes of
	x and orig_x are different.


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

	to GC allocated copy of the string.
	(dwarf2out_finish): Emit .debug_macinfo or .debug_macro sections
	before .debug_line, not after it.


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

2011-07-26  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/49776
	* typeck.c (cp_build_modify_expr): Check digest_init return value
	for error_mark_node.

/testsuite
2011-07-26  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/49776
	* g++.dg/cpp0x/constexpr-49776.C: New.


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

"Bug 47046 - gcc.target/i386/sse4_1-movntdqa.c ICEs with -fgraphite-identity"

The problem here is that we are left with the following code to be
translated in the new representation following the transform that
Graphite has chosen:

        D.2709_14 = j_33 * i_32;
        D.2710_15 = D.2709_14 * i_32;
        D.2711_16 = D.2710_15 * sign_34;
        *D.2708_13 = D.2711_16;

In this particular case we have a nonlinear expression "i * i" for
which we have to generate code following the new graphite_iv variables.

The patch fixes the function that detects whether we are passing non
linear stuff to graphite: evolution_function_is_affine_p.  It seems
like for the moment evolution_function_is_affine_p is testing whether
an evolution function is affine only in the innermost loop, without
looking recursively at what happens in outer loops.

The chrec for this case is: {0, +, {0, +, {1, +, 2}_1}_1}_2 and we are
testing whether the evolution is affine only for the loop_2, which is
true as we have {0, +, blah}_2 with blah invariant in loop_2.

The patch adds the recursive call to evolution_function_is_affine_p.

Bootstrapped and tested on amd64-linux.

2011-07-26  Sebastian Pop  <sebastian.pop@amd.com>

	PR middle-end/47046
	* tree-chrec.h (evolution_function_is_affine_p): Recursively call
	evolution_function_is_affine_p on CHREC_RIGHT.

	* gcc.dg/graphite/id-pr47046.c: New.

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

2011-07-26  Sebastian Pop  <sebastian.pop@amd.com>

	* tree-data-ref.c (max_stmt_executions_tree): Do not call
	lang_hooks.types.type_for_size.

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

2011-07-26  Sebastian Pop  <sebastian.pop@amd.com>

	PR middle-end/47653
	* gcc.dg/graphite/run-id-pr47593.c: New.

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

2011-07-26  Sebastian Pop  <sebastian.pop@amd.com>

	PR middle-end/47653
	* graphite-scop-detection.c (graphite_can_represent_loop): Discard
	loops using wrapping semantics.

	* gcc.dg/graphite/run-id-pr47653.c: New.
	* gcc.dg/graphite/interchange-3.c: Do not use unsigned types for
	induction variables.
	* gcc.dg/graphite/scop-16.c: Same.
	* gcc.dg/graphite/scop-17.c: Same.
	* gcc.dg/graphite/scop-21.c: Same.

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

With this patch we avoid instantiating ADDR_EXPR: it makes no sense
to translate &b[i] into &b[{0, +, 1}_1].

Bootstrapped and tested on amd64-linux.

2011-07-26  Sebastian Pop  <sebastian.pop@amd.com>

	PR middle-end/48805
	* tree-scalar-evolution.c (instantiate_scev_r): Return
	chrec_dont_know for ADDR_EXPR.

	* gcc.dg/graphite/id-pr48805.c: New.

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

	exists, rather than on whether gcc is in configdirs.
	* configure: Rebuild.


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

	PR target/49853
	* config/i386/i386.c (ix86_expand_move): Call convert_to_mode
	if legitimize_tls_address returned operand in wrong mode. Allow
	SImode and DImode symbolic operand for PIC.  Call convert_to_mode
	if legitimize_pic_address returned operand in wrong mode.



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

	* tree-sra.c (tree_non_mode_aligned_mem_p): Strip conversions and
	return false for invariants.



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

2011-07-26  H.J. Lu  <hongjiu.lu@intel.com>

	* testsuite/demangle-expected: Remove an extra line.


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

	mode iterator.  Change operand 2 predicate to <nonmemory_operand>.
	(add->lea zext splitter): Change operand 2 predicate to
	x86_64_nonmemory_operand.



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

	* predict.c (maybe_hot_frequency_p): Make sure a zero entry-block
	frequency makes everything hot.


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

	(d_print_comp): Check for NULL template argument.
	* testsuite/demangle-expected: Add test case.


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

	PR tree-optimization/49840
	* tree-vrp.c (range_fits_type_p): Properly handle full
	double-int precision.


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

	PR bootstrap/49786
	* ipa-cp.c (update_profiling_info): Avoid overflow when updating
	counts.
	(update_specialized_profile): Likewise.



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

	PR target/49832
	PR target/49833
	* config/i386/i386.md (i): Change SImode attribute to "e".
	(g): Change SImode attribute to "rme".
	(di): Change SImode attribute to "nF".
	(general_operand): Change SImode attribute to x86_64_general_operand.
	(general_szext_operand): Change SImode attribute to
	x86_64_szext_general_operand.
	(immediate_operand): Change SImode attribute to
	x86_64_immediate_operand.
	(nonmemory_operand): Change SImode attribute to
	x86_64_nonmemory_operand.
	(*movdi_internal_rex64): Remove mode from pic_32bit_operand check.
	(*movsi_internal): Ditto.  Use "e" constraint in alternative 2.
	(*lea_1): Use SWI48 mode iterator.
	(*lea_1_zext): New insn pattern.
	(testsi_ccno_1): Use x86_64_nonmemory_operand predicate for operand 2.
	(*bt<mode>): Ditto.
	(*add<mode>1): Use x86_64_general_operand predicate for operand 2.
	Update operand constraints.
	(addsi_1_zext): Ditto.
	(*add<mode>2): Ditto.
	(*addsi_3_zext): Ditto.
	(*subsi_1_zext): Ditto.
	(*subsi_2_zext): Ditto.
	(*subsi_3_zext): Ditto.
	(*addsi3_carry_zext): Ditto.
	(*<plusminus_insn>si3_zext_cc_overflow): Ditto.
	(*mulsi3_1_zext): Ditto.
	(*andsi_1): Ditto.
	(*andsi_1_zext): Ditto.
	(*andsi_2_zext): Ditto.
	(*<any_or:code>si_1_zext): Ditto.
	(*<any_or:code>si_2_zext): Ditto.
	(*test<mode>_1): Use <general_operand> predicate for operand 1.
	(*and<mode>_2): Ditto.
	(mov<mode>cc): Use  <general_operand> predicate for operands 1 and 2.
	(add->lea splitter): Check operand modes in insn constraint.  Extend
	operands less than SImode wide to SImode.
	(add->lea zext splitter): Do not extend input operands to DImode.
	(*lea_general_1): Handle only QImode and HImode operands.
	(*lea_general_2): Ditto.
	(*lea_general_3): Ditto.
	(*lea_general_1_zext): Remove.
	(*lea_general_2_zext): Ditto.
	(*lea_general_3_zext): Ditto.
	(*lea_general_4): Check operand modes in insn constraint.  Extend
	operands less than SImode wide to SImode.
	(ashift->lea splitter): Ditto.
	* config/i386/i386.c (ix86_print_operand_address): Print address
	registers with 'q' modifier on 64bit targets.
	* config/i386/predicates.md (pic_32bit_opreand): Define as special
	predicate.  Reject non-SI and non-DI modes.



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

        * trans-array.c (CAF_TOKEN_FIELD): New macro constant.
        (gfc_conv_descriptor_token): New function.
        * trans-array.h (gfc_conv_descriptor_token): New prototype.
        * trans-types.c (gfc_get_array_descriptor_base): For coarrays
        with -fcoarray=lib, append "void *token" to the array descriptor.
        (gfc_array_descriptor_base_caf): New static variable.
        * trans-expr.c (gfc_conv_procedure_call): Handle token and
        * offset
        when passing a descriptor coarray to a nondescriptor dummy.

2011-07-26  Tobias Burnus  <burnus@net-b.de>

        * gfortran.dg/coarray_lib_token_2.f90: New.



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

	* gcc.dg/vect/vect-70.c: Reduce the data size to fit
	SPU local store.



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

	PR tree-opt/49671
	* tree-inline.c (remap_gimple_op_r): Copy TREE_THIS_VOLATILE and
	TREE_THIS_NOTRAP into the inner most MEM_REF.
	Always copy TREE_THIS_VOLATILE.
	* tree-sra.c (ptr_parm_has_direct_uses): Check that the lhs, rhs and
	arguments are not volatile references.

2011-07-25  Andrew Pinski  <apinski@cavium.com>

	PR tree-opt/49671
	* gcc.dg/tree-ssa/pr49671-1.c: New testcase.
	* gcc.dg/tree-ssa/pr49671-2.c: New testcase.



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

	* include/std/array (at): Remove constexpr when -fno-exceptions.
	* testsuite/23_containers/array/at_neg.cc: Test.



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

        * final.c (final_scan_insn): Don't test for it.
        (rest_of_clean_state): Likewise.

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

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

	* config/rs6000/rs6000.c (rs6000_frame_related): Return the insn.
	(emit_frame_save): Likewise.
	(rs6000_emit_prologue): Move the FRAME_RELATED_EXPR from the save
	insn onto a dummy blockage insn after the join label.

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

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

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

        Move to ...
        * genattr-common.c ... here.
        (main): Call gen_attr.
        * optc-gen.awk: Make generated program include insn-attr-common.h .
        * Makefile.in (oprions.o): Depend on insn-attr-common.h


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

	PR bootstrap/49845
	* parser.c (cp_parser_perform_range_for_lookup): Always assign *being
	and *end before returning.


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

	PRINT_OPERAND_PUNCT_VALID_P): Remove macro.
	* config/m32c/m32c-protos.h (m32c_print_operand_punct_valid_p,
	m32c_print_operand, m32c_print_operand_address): Remove.
	* config/m32c/m32c.c (m32c_print_operand_punct_valid_p): Make static.
	Change return type to bool. Change argument type to bool.
	(m32c_print_operand, m32c_print_operand_address): Make static.
	(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS,
	TARGET_PRINT_OPERAND_PUNCT_VALID_P): Define.



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

gcc/c-family

	* c-common.h (set_underlying_type): Remove parm name from
	declaration.

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

	    Nathan Ridge  <zeratul976@hotmail.com>

	PR libstdc++/49836
	* include/bits/stl_vector.h (vector<>::_M_emplace_back_aux):
	Declare.
	(vector<>::push_back(const value_type&)): Use it.
	* include/bits/vector.tcc: Define.
	(vector<>::emplace_back(_Args&&...)): Use it.
	* testsuite/util/testsuite_tr1.h (CopyConsOnlyType, MoveConsOnlyType):
	Add.
	* testsuite/23_containers/vector/modifiers/push_back/49836.cc: New.
	* testsuite/23_containers/deque/modifiers/push_back/49836.cc:
	Likewise.
	* testsuite/23_containers/deque/modifiers/push_front/49836.cc:
	Likewise.
	* testsuite/23_containers/vector/requirements/dr438/assign_neg.cc:
	Adjust dg-error line number.
	* testsuite/23_containers/vector/requirements/dr438/insert_neg.cc:
	Likewise.
	* testsuite/23_containers/vector/requirements/dr438/
	constructor_1_neg.cc: Likewise.
	* testsuite/23_containers/vector/requirements/dr438/
	constructor_2_neg.cc: Likewise.


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

	* doc/sourcebuild.texi (Effective-Target Keywords, Environment
	attributes): Document mmap.

	gcc/testsuite:
	* lib/target-supports.exp (check_effective_target_mmap): New proc.

	* gcc.c-torture/execute/loop-2f.c: Remove #ifdef __unix__.
	* gcc.c-torture/execute/loop-2g.c: Likewise.
	* gcc.c-torture/execute/loop-2f.x: Load target-supports.exp.
	Require mmap support.
	* gcc.c-torture/execute/loop-2g.x: Likewise.
	* gcc.dg/20030711-1.c: Replace dg-do target list by mmap.
	(MAP_ANON): Provide default.
	* gcc.dg/20050826-1.c: Likewise.
	* gcc.target/i386/pr36533.c: Likewise.
	* gcc.dg/vect/pr49038.c: Remove dg-do run.
	Use dg-require-effective-target mmap.


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

	PRINT_OPERAND_PUNCT_VALID_P): Remove macro.
	* config/mmix/mmix-protos.h (mmix_print_operand_punct_valid_p,
	mmix_print_operand, mmix_print_operand_address): Remove.
	* config/mmix/mmix.c (mmix_print_operand_punct_valid_p): Make static.
	Change return type to bool. Change argument type to bool.
	(mmix_print_operand, mmix_print_operand_address): Make static.
	(mmix_intval, mmix_output_condition): Change 'x' argument type 
	to const_rtx.
	(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS,
	TARGET_PRINT_OPERAND_PUNCT_VALID_P): Define.



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

	* inclhack.def (solaris_posix_spawn_restrict): New fix.
	* fixincl.x: Regenerate.
	* tests/base/spawn.h: New test.


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

	PR target/39386
	* config/avr/avr.c (out_shift_with_cnt): Use tmp_reg as
	shift counter for x << x and x >> x shifts.



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

	* config/osf/sem.h: New file.
	* configure.tgt (alpha*-dec-osf*): Prepend osf to config_path.


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

2011-07-25  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/49838
	* parser.c (cp_parser_perform_range_for_lookup): Early return if
	error_operand_p (range).

/testsuite
2011-07-25  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/49838
	* g++.dg/cpp0x/range-for19.C: New.



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

	PR testsuite/49753
	* g++.dg/torture/pr49309.C: Add -fpreprocessed to dg-options.

	Revert:
	2011-07-15  Jakub Jelinek  <jakub@redhat.com>

	PR testsuite/49753
	* g++.dg/torture/pr49309.C: Remove.

	libmudflap:
	Revert:
	2011-07-15  Jakub Jelinek  <jakub@redhat.com>

	PR testsuite/49753
	PR tree-optimization/49309
	* testsuite/libmudflap.c++/pass68-frag.cxx: New test.


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

	* config.gcc: Reject *-*-solaris2 configuration.


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