Handle addr_expr and component_ref in graphite-ast-to-ast

2016-03-02  Tom de Vries  <tom@codesourcery.com>

PR tree-optimization/68659
* graphite-isl-ast-to-gimple.c (collect_all_ssa_names): Handle
new_expr == NULL_TREE.
(get_new_name): Handle ADDR_EXPR.

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

Correct ChangeLog for revision 233907.

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

PR tree-optimization/69052
* loop-invariant.c (canonicalize_address): New function.
(inv_can_prop_to_addr_use): Check validity of address expression
which is canonicalized by above function.

gcc/testsuite/ChangeLog
PR tree-optimization/69052
* gcc.target/i386/pr69052.c: New test.

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

decl alignment not respected

This patch cures a problem with ICF of read-only variables at the
intersection of -fsection-anchors, -ftree-loop-vectorize, and targets
with alignment restrictions.

What happens with the testcase is:
- "c" is referenced in a constructor, thus make_decl_rtl for "c",
- make_decl_rtl puts "c" in an anchor block (-fsection-anchors),
- anchor block contents can't move, so "c" alignment can't change by
  ipa_increase_alignment (-ftree-loop-vectorize),
- however "a" alignment can be increased,
- ICF aliases "a" to "c".
So we have a decl for "a" saying it is aligned to 128 bits, using mem
for "c" which is only 16 bit aligned.

PR ipa/69990
gcc/
* ipa-icf.c (sem_variable::merge): Do not merge an alias with
larger alignment.
gcc/testsuite/
gcc.dg/pr69990.c: New.

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

PR c/68062
* c-c++-common/vector-compare-4.c: Add -Wno-psabi to dg-options.

PR middle-end/70022
* gcc.dg/pr70022.c: Add -w -Wno-psabi to dg-options.

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

PR target/70028
* config/i386/i386.md (kmovw): Move m constraint to 2nd alternative.
(*movhi_internal): Put mask moves from and to memory separately
from moves from/to GPRs.

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

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

2016-03-02  Richard Biener  <rguenther@suse.de>

* genmatch.c (dt_node::gen_kids): Fix match code-gen for embedded
GENERIC expressions in GIMPLE.

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

2016-03-02  Richard Biener  <rguenther@suse.de>

* config/i386/i386.c (type_natural_mode): Fix typo.

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

* config.gcc (mep-*-elf): Add newlib-stdint.h to tm_file.

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

Print markers to stderr to avoid races with sanitizer output

* c-c++-common/asan/swapcontext-test-1.c,
* c-c++-common/tsan/thread_leak.c,
* g++.dg/tsan/aligned_vs_unaligned_race.C,
* g++.dg/tsan/benign_race.C,
* g++.dg/tsan/fd_close_norace.C,
* g++.dg/tsan/fd_close_norace2.C: Print markers to stderr to avoid
races with sanitizer output

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

2016-03-02  Richard Biener  <rguenther@suse.de>
Uros Bizjak  <ubizjak@gmail.com>

PR target/67278
* config/i386/i386.c (type_natural_mode): Handle XFmode vectors.

* gcc.dg/simd-8.c: New testcase.

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

2016-03-02  Richard Biener  <rguenther@suse.de>

PR middle-end/67278
* tree-cfg.c (verify_expr): Adjust BIT_FIELD_REF case.

* gcc.dg/simd-7.c: New testcase.

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

* gcc.target/i386/pr70007.c: Tweak.

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

S/390: Ada: Enable Stack_Check_Probes.

gcc/ada/ChangeLog

* system-linux-s390.adsx: Enable Stack_Check_Probes.
* system-linux-s390.ads: Likewise.

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

S/390: Reduce accuracy of bessel_6.f90.

gcc/testsuite/ChangeLog

* gfortran.dg/bessel_6.f90: Reduce accuracy for S/390.

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

PR c/67854
* gimplify.c (gimplify_va_arg_expr): Use expanded location for the
"is promoted to" warning.

* gcc.dg/pr67854.c: New test.

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

PR middle-end/70025
* gcc.dg/torture/pr70025.c: New test.

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

Adjust test case in PR68621 to compile with -fpic.

2016-03-02  Venkataramanan Kumar  <venkataramanan.kumar@amd.com>

        PR tree-optimization/68621
        * gcc.dg/tree-ssa/ifc-8.c: Adjust test.

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

* MAINTAINERS (mep): Remove myself as MeP maintainer.
* config.gcc: Deprecate mep-*.

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

PR c++/70036

* parser.c (cp_parser_requires_clause): Call
check_for_bare_parameter_packs.

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

* gcc/cp/call.c: Mark as C++ for emacs.

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

PR c++/51489

* constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT
the operands.

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

PR c++/69995

* constexpr.c (cxx_eval_call_expression): Unshare arg.
(cxx_eval_constant_expression) [DECL_EXPR]: Unshare init.
[TARGET_EXPR]: Unshare init.

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

2016-03-01  Vladimir Makarov  <vmakarov@redhat.com>

PR middle-end/70025
* lra-constraints.c (regno_val_use_in): New.
(match_reload): Use it instead of regno_use_in.

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

Daily bump.

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

PR tree-optimization/69196
* tree-ssa-threadbackward.c (fsm_find_control_statement_thread_paths):
Appropriately clamp the number of statements to copy when the
thread path does not traverse a loop backedge.

PR tree-optimization/69196
* gcc.dg/tree-ssa/pr69196.c: New test.

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

PR rtl-optimization/70007
* gcse.c (compute_ld_motion_mems): Tidy up and also invalidate memory
references present in REG_EQUAL notes attached to non-SET patterns.

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

PR tree-optimization/69196
* tree-ssa-threadbackward.c (fsm_find_control_statement_thread_paths):
Do count some PHIs in the thread path against the insn count.  Decrease
final statement count by one as the control statement in the last
block will get removed.  Remove special cased code for handling PHIs in the last block.

PR tree-optimization/69196
* gcc.dg/tree-ssa/vrp46.c: Twiddle threading params to keep it from
duplicating code and spoiling the expected output.

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

2016-03-01  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR target/70033
* gcc.target/powerpc/p9-lxvx-stxvx-1.c: Make sure compiler
supports power9 before doing tests.
* gcc.target/powerpc/p9-lxvx-stxvx-2.c: Likewise.
* gcc.target/powerpc/p9-lxvx-stxvx-3.c: Likewise.
* gcc.target/powerpc/p9-permute.c: Likewise.

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

PR target/70027
* config/i386/i386.c (ix86_output_call_insn): Add -masm=intel
asm dialect alternatives to explicit GOTPCREL calls.

testsuite/ChangeLog:

PR target/70027
* gcc.target/i386/pr70027.c: New test.

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

Fix date

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

PR ada/70017
* ira.c (do_reload): Issue warning for generic stack checking here...
* reload1.c (reload): ...instead of here and streamline it.

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

PR c/69796
PR c/69974
* c-parser.c (c_parser_translation_unit): Don't change TREE_TYPE
of incomplete decls to error_mark_node.

* gcc.dg/pr69796.c: New test.
* gcc.dg/pr69974.c: New test.

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

* gnat.dg/stack_usage3.adb: Robustify and enable for all targets.

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

* config.gcc (cr16-*-elf): Add newlib-stdint.h to tm_file.

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

PR tree-optimization/69987
* gfortran.dg/pr69987.f90: New test.

PR tree-optimization/69989
* gcc.c-torture/compile/pr69989-2.c: New test.

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

2016-03-01  Richard Biener  <rguenther@suse.de>

PR tree-optimization/69983
* tree-chrec.c (eq_evolutions_p): Handle conversions, compare
types and fall back to operand_equal_p.

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

PR c++/69795
* c-common.c (reject_gcc_builtin): Check for FUNCTION_DECL rather than
any DECL.

* g++.dg/parse/invalid1.C: New test.

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

S/390: Revert setmem pattern folding

This does not work without:
https://gcc.gnu.org/ml/gcc-patches/2016-02/msg01575.html

2016-03-01  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

Revert
2016-03-01  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/constraints.md ("jm8"): New constraint.
* config/s390/predicates.md ("const_int_8bitset_operand"): New predicate.
* config/s390/s390.md ("*setmem_long", "*setmem_long_and"): Merge
into ...
("*setmem_long<setmem_and>"): New pattern.
("*setmem_long_31z", "*setmem_long_and_31z"): Merge
into ...
("*setmem_long_31z<setmem_and>"): New pattern.
* config/s390/subst.md ("setmem_31z_subst", "setmem_and_subst"):
New substitution rules with the required attributes.

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

Revert recent gensupport change.

2016-03-01  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

Revert
2016-03-01  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* gensupport.c (process_substs_on_one_elem): Split loop to
complete mark_operands_used_in_match_dup on all expressions in the
vector first.
(adjust_operands_numbers): Inline into process_substs_on_one_elem
and remove function.

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

2016-03-01  Richard Biener  <rguenther@suse.de>

PR middle-end/70022
* fold-const.c (fold_indirect_ref_1): Fix range checking for
vector BIT_FIELD_REF extract.

* gcc.dg/pr70022.c: New testcase.

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

2016-03-01  Richard Biener  <rguenther@suse.de>

PR tree-optimization/69994
* tree-ssa-reassoc.c (ops_equal_values_p): Handle missing case.

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

gcc/

PR tree-optimization/69956
* tree-vect-stmts.c (supportable_widening_operation): Support
multi-step conversion of boolean vectors.
(supportable_narrowing_operation): Likewise.

gcc/testsuite/

PR tree-optimization/69956
* gcc.dg/pr69956.c: New test.

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

S/390: Disallow SImode in s390_decompose_address

After Y is never used anymore with SImode operands we can finally
disallow SImode (if != Pmode) in s390_decompose_address.  In fact that
was the whole point of the patch series.

gcc/ChangeLog:

2016-03-01  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/s390.c (s390_decompose_address): Don't accept SImode
anymore.

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

S/390: Use define_subst for the setmem patterns.

While trying to get rid of the Y constraint in the setmem patterns I
noticed that for these patterns it isn't even a problem since these
always only use the constraint with a Pmode match_operand.  But while
being at it I've tried to fold some of the patterns a bit.

gcc/ChangeLog:

2016-03-01  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/constraints.md ("jm8"): New constraint.
* config/s390/predicates.md ("const_int_8bitset_operand"): New predicate.
* config/s390/s390.md ("*setmem_long", "*setmem_long_and"): Merge
into ...
("*setmem_long<setmem_and>"): New pattern.
("*setmem_long_31z", "*setmem_long_and_31z"): Merge
into ...
("*setmem_long_31z<setmem_and>"): New pattern.
* config/s390/subst.md ("setmem_31z_subst", "setmem_and_subst"):
New substitution rules with the required attributes.

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

S/390: Get rid of Y constraint in vector.md.

This finally removes the Y constraint from the vector patterns while
folding some of them using a code iterator.

gcc/ChangeLog:

2016-03-01  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/subst.md (DSI_VI): New mode iterator.
("addr_style_op_subst"): Use DSI_VI instead of DSI.
* config/s390/vector.md ("vec_set<mode>"): Move expander before
the insn definition.
("*vec_set<mode>"): Change predicate and add alternative to
support only either register or const_int operands as element
selector.
("*vec_set<mode>_plus"): New pattern to support reg + const_int
operands.
("vec_extract<mode>"): New expander.
("*vec_extract<mode>"): New insn definition supporting reg and
const_int element selectors.
("*vec_extract<mode>_plus"): New insn definition supporting
reg+const_int element selectors.
("rotl<mode>3", "ashl<mode>3", "ashr<mode>3"): Merge into the
following expander+insn definition.
("<vec_shifts_name><mode>3"): New expander.
("*<vec_shifts_name><mode>3<addr_style_op>"): New insn definition.

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

S/390: Get rid of Y constraint in tabort.

This removes the Y constraint from the tabort pattern definition.  In
this case it is easier without using substitutions.

gcc/ChangeLog:

2016-03-01  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/s390.md ("*tabort_1"): Change predicate to
nonmemory_operand.  Add a second alternative to cover
register as well as const int operands.
("*tabort_1_plus"): New pattern definition.

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

S/390: Get rid of Y constraint in arithmetic right shift
 patterns.

The arithmetic shift patterns set also the condition code.  This adds
more substitution potential.  Depending on whether the actual result
or the CC output will be used 3 different variants of each of these
patterns are needed.  This multiplied with the PLUS and the AND
operands from the earlier substitutions enables a lot of folding.

2016-03-01  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/s390.md ("*ashrdi3_cc_31")
("*ashrdi3_cconly_31""*ashrdi3_cc_31_and")
("*ashrdi3_cconly_31_and", "*ashrdi3_31_and", "*ashrdi3_31"):
Merge insn definitions into ...
("*ashrdi3_31<addr_style_op_cc><masked_op_cc><setcc><cconly>"):
New pattern definition.
("*ashr<mode>3_cc", "*ashr<mode>3_cconly", "ashr<mode>3", )
("*ashr<mode>3_cc_and", "*ashr<mode>3_cconly_and")
("*ashr<mode>3_and"): Merge insn definitions into ...
("*ashr<mode>3<addr_style_op_cc><masked_op_cc><setcc><cconly>"):
New pattern definition.
* config/s390/subst.md ("addr_style_op_cc_subst")
("masked_op_cc_subst", "setcc_subst", "cconly_subst"): New
substitutions patterns plus attributes.
Add ashiftrt to SUBST iterator.

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

S/390: Get rid of Y constraint in left and logical right
 shift patterns.

With this patch the substitution patterns added earlier are used for
the logical right shift and all the left shift patterns.

2016-03-01  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/s390.md ("<shift><mode>3"): Change predicate of
op2 to nonmemory_operand.
("*<shift>di3_31", "*<shift>di3_31_and"):
Merge into single pattern definition ...
("*<shift>di3_31<addr_style_op><masked_op>"): New pattern.
("*<shift><mode>3", "*<shift><mode>3_and"): Merge into single
pattern definition ...
("*<shift><mode>3<addr_style_op><masked_op>"): New pattern.
* config/s390/subst.md: Add ashift and lshiftrt to SUBST
iterator.

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

S/390: Get rid of Y constraint in rotate patterns.

This patch introduces substitution patterns to add PLUS const_int, and
AND operands to patterns and uses this to rewrite the existing rotate
pattern.

gcc/ChangeLog:

2016-03-01  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/predicates.md (const_int_6bitset_operand): New
        predicates.
* config/s390/s390.md: Include subst.md.
("rotl<mode>3"): New expander.
("rotl<mode>3", "*rotl<mode>3_and"): Merge insn definitions into
...
("*rotl<mode>3<addr_style_op><masked_op>"): New insn definition.
* config/s390/subst.md: New file.

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

S/390: Use enabled attribute overrides to disable
 alternatives.

So far whenever we wanted to disable an alternative we have used mode
attributes emitting constraints matching an earlier alternative
assuming that due to this the later alternative will never be chosen.

With this patch the `enabled' attribute, which so far is only set from
`cpu_facility', is overridden to 0 to disable certain alternatives.
This comes handy when defining the substitutions later and while
adding it anyway I've used it for the existing cases as well.

gcc/ChangeLog:

2016-03-01  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/s390.md ("op_type", "atype", "length" attributes):
Remove RRR type.  It doesn't really exist.
("RRer", "f0", "v0", "vf", "vd", "op1", "Rf"): Remove mode
attributes.
("BFP", "DFP", "nDSF", "nDFDI"): Add mode attributes.
("*cmp<mode>_ccs", "floatdi<mode>2", "add<mode>3")
("*add<mode>3_cc", "*add<mode>3_cconly", "sub<mode>3")
("*sub<mode>3_cc", "*sub<mode>3_cconly", "mul<mode>3")
("fma<mode>4", "fms<mode>4", "div<mode>3", "*neg<mode>2")
("*abs<mode>2", "*negabs<mode>2", "sqrt<mode>2"): Override
`enabled' attribute.

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

gensupport: Fix define_subst operand renumbering.

When processing substitutions the operands are renumbered.  To find a
free operand number the array used_operands_numbers is used.
Currently this array is used to assign new numbers before all the
RTXes in the vector have been processed.  I did run into problems with
this for insns where a match_dup occurred in a later (use ...) operand
referring to an earlier operand (e.g. s390.md "setmem_long").

The patch splits the loop doing the processing into two in order to
have all the operand numbers collected already when assigning new
numbers.

gcc/ChangeLog:

2016-03-01  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* gensupport.c (process_substs_on_one_elem): Split loop to
complete mark_operands_used_in_match_dup on all expressions in the
vector first.
(adjust_operands_numbers): Inline into process_substs_on_one_elem
and remove function.

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

2016-02-29  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

PR target/70011
* gcc.dg/vect/costmodel/ppc/costmodel-fast-math-vect-pr299925.c:
XFAIL when hardware supports efficient unaligned storage access.

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

Fix PR c++/69961 (invalid ctor call with dependent args)

gcc/cp/ChangeLog:

PR c++/68948
PR c++/69961
* pt.c (tsubst_baselink): Reinstate the check for an invalid
constructor call.

gcc/testsuite/ChangeLog:

PR c++/69961
* g++.dg/template/pr69961a.C: New test.
* g++.dg/template/pr69961b.C: New test.

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

PR preprocessor/69985: fix ICE with long lines in -Wformat

gcc/testsuite/ChangeLog:
PR preprocessor/69985
* gcc.dg/cpp/pr69985.c: New test case.

libcpp/ChangeLog:
PR preprocessor/69985
(linemap_position_for_loc_and_offset): Rename param from "offset"
to "column_offset".  Right-shift the column_offset by m_range_bits
of the pertinent ordinary map whenever offsetting a
source_location.  For clarity, offset the column by the column
offset, rather than the other way around.

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

PR target/69706
* config/sparc/sparc.c (NWORDS_UP): Rename to...
(CEIL_NWORDS): ...this.  Use CEIL macro.
(compute_fp_layout): Adjust to above renaming.
(function_arg_union_value): Likewise.
(sparc_arg_partial_bytes): Likewise.
(sparc_function_arg_advance): Likewise.

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

Daily bump.

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

PR tree-optimization/70005
* tree-ssa-uncprop.c (associate_equivalences_with_edges): Handle case
where an object with a boolean range is compared against a value
outside [0..1].

PR tree-optimization/70005
* gcc.c-torture/execute/pr70005.c New test.

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

PR tree-optimization/69999
* gimple-ssa-split-paths.c (split_paths): When duplicating a block
with an outgoing edge marked with EDGE_IRREDUCIBLE_LOOP, schedule
loop cleanups.

PR tree-optimization/69999
* gcc.c-torture/compile/pr69999.c: New test.

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

* sv.po: Update.

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

Poison ENABLE_CHECKING macro

* system.h: Poison ENABLE_CHECKING macro.

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

2016-02-29  Richard Biener  <rguenther@suse.de>

PR tree-optimization/69994
* tree-ssa-reassoc.c (gimple_nop_conversion_p): New function.
(get_unary_op): Look through nop conversions.
(ops_equal_values_p): New function, look for equality diregarding
nop conversions.
(eliminate_plus_minus_pair): Use ops_equal_values_p
(repropagate_negates): Do not use get_unary_op here.

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

Replace ENABLE_CHECKING macro with flag_checking in GNAT

* gcc-interface/utils.c (set_reverse_storage_order_on_pad_type):
Replace ENABLE_CHECKING macro with flag_checking.

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

HSA: reduce dump output w/o -details flag

* hsa-gen.c (gen_body_from_gimple): Dump only if TDF_DETAILS
is presented in dump flags.
* hsa-regalloc.c (linear_scan_regalloc): Likewise.
(hsa_regalloc): Likewise.

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

gcc/testsuite/

2016-02-29  Yuri Rumyantsev  <ysrumyan@gmail.com>

PR tree-optimization/69652
* gcc.dg/torture/pr69652.c: Delete test.
* gcc.dg/vect/pr69652.c: New test.

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

PR c++/69995
* constexpr.c (cxx_eval_store_expression): Unshare init.

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

2016-02-19  Richard Biener  <rguenther@suse.de>

PR tree-optimization/69980
* tree-vect-slp.c (vect_attempt_slp_rearrange_stmts): Update
permutation of those we need to keep.

* gfortran.dg/vect/pr69980.f90: New testcase.

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

PR target/69706
* config/sparc/sparc.c (ROUND_ADVANCE): Rename to...
(NWORDS_UP): ...this
(init_cumulative_args): Minor tweaks.
(sparc_promote_function_mode): Likewise.
(scan_record_type): Delete.
(traverse_record_type): New function template.
(classify_data_t): New structure type.
(classify_registers): New inline function.
(function_arg_slotno): In 64-bit mode, bail out early if FP slots are
exhausted.  Instantiate traverse_record_type on classify_registers and
deal with the case of a structure passed in slot #15 with no FP field
in the first word.
(assign_data_t): New structure type.
(compute_int_layout): New static function.
(compute_fp_layout): Likewise.
(count_registers): New inline function.
(assign_int_registers): New static function.
(assign_fp_registers): Likewise.
(assign_registers): New inline function.
(function_arg_record_value_1): Delete.
(function_arg_record_value_2): Likewise.
(function_arg_record_value_3): Likewise.
(function_arg_record_value): Adjust to above changes.  Instantiate
traverse_record_type on count_registers to first count the number of
registers to be used and then on assign_registers to assign them.
(function_arg_union_value): Adjust to above renaming.
(sparc_function_arg_1); Minor tweaks.  Remove commented out code.
(sparc_arg_partial_bytes): Adjust to above renaming.  Deal with the
case of a structure passed in slot #15
(sparc_function_arg_advance): Likewise.
(function_arg_padding): Minor tweak.

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

* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Retrofit
handling of unconstrained array types as designated types into common
processing.  Also handle array types as incomplete designated types.

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

* gcc-interface/decl.c (gnat_to_gnu_entity) <Concurrent types>: In
ASIS mode, fully lay out the minimal record type.

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

* gcc-interface/trans.c (finalize_nrv_r): Remove obsolete code.
(build_return_expr): Likewise.
(Call_to_gnu): If this is a function call and there is no target,
create a temporary for the return value for all aggregate types,
but never create it for a return statement.  Push a binding level
around the call in more cases.  Remove obsolete code.

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

* gcc-interface/ada-tree.h (DECL_RETURN_VALUE_P): New macro.
* gcc-interface/gigi.h (gigi): Remove useless attribute.
(gnat_gimplify_expr): Likewise.
(gnat_to_gnu_external): Declare.
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Factor out
code dealing with the expression of external constants into...
Invoke gnat_to_gnu_external instead.
<E_Variable>: Invoke gnat_to_gnu_external to translate renamed objects
when not for a definition.  Deal with COMPOUND_EXPR and variables with
DECL_RETURN_VALUE_P set for renamings and with the case of a dangling
'reference to a function call in a renaming.  Remove obsolete test and
adjust associated comment.
* gcc-interface/trans.c (Call_to_gnu): Set DECL_RETURN_VALUE_P on the
temporaries created to hold the return value, if any.
(gnat_to_gnu_external): ...this.  New function.
* gcc-interface/utils.c (create_var_decl): Detect a constant created
to hold 'reference to function call.
* gcc-interface/utils2.c (build_unary_op) <ADDR_EXPR>: Add folding
for COMPOUND_EXPR in the DECL_RETURN_VALUE_P case.

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

2016-02-29  Richard Biener  <rguenther@suse.de>

PR tree-optimization/69720
* tree-vect-loop.c (get_initial_def_for_reduction): Avoid
the adjustment_def path for possibly vectorized defs.
(vect_create_epilog_for_reduction): Handle vectorized initial
defs properly.

* gcc.dg/vect/vect-outer-pr69720.c: New testcase.

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

Daily bump.

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

2016-02-28  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/68147
PR fortran/47674
* frontend-passes.c (realloc_string_callback): Don't set
walk_subtrees.

2016-02-28  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/68147
PR fortran/47674
* gfortran.dg/realloc_on_assign_26.f90:  New test case.

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

2016-02-28  Thomas Koenig  <tkoenig@gcc.gnu.org>

* dump-parse-tree.c (show_code_node):  Print association
list of a block if present.  Handle EXEC_END_BLOCK.

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

2016-02-28  Harald Anlauf <anlauf@gmx.de>
    Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/56007
* match.c (gfc_match_iterator): Add diagnostic for array variable
as do loop index.

* gfortran.dg/coarray_8.f90: Adjust error message.
* gfortran.dg/pr56007.f90: New test.
* gfortran.dg/pr56007.f: New test.

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

Add a test for PR tree-optimization/69989

PR tree-optimization/69989
* gcc.dg/torture/pr69989.c: New test.

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

* config/i386/cygming.h (STACK_REALIGN_DEFAULT): Define.

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

2016-02-28  Harald Anlauf  <anlauf@gmx.de>

PR fortran/60126
* gfortran.dg/pr60126.f90: New test.

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

Revert
2016-02-26  Richard Biener  <rguenther@suse.de>
    Jeff Law  <law@redhat.com>

PR tree-optimization/69740
* cfghooks.c (remove_edge): Request loop fixups if we delete
an edge that might turn an irreducible loop into a natural
loop.

Revert
2016-02-26  Richard Biener  <rguenther@suse.de>
    Jeff Law  <law@redhat.com>

PR tree-optimization/69740
* gcc.c-torture/compile/pr69740-1.c: New test.
* gcc.c-torture/compile/pr69740-2.c: New test.

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

Daily bump.

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

2016-02-27  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

Fix ChangeLogs

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

2016-02-27  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
    Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/69110
* io.c (gfc_match_open): Check that open status is an expression
constant before comparing string to 'scratch' with NEWUNIT.

* gfortran.dg/newunit_4.f90: New test.

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

PR target/69613
PR rtl-optimization/69886
* gcc.dg/torture/pr69886.c: Add -w -Wno-psabi to dg-options.
* gcc.dg/torture/pr69613.c: Likewise.  Guard -mavx with avx_runtime
target.

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

Right size for events

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

PR rtl-optimization/69896
* tree-vect-generic.c (get_compute_type): Avoid single element
vector types.

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

Daily bump.

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

Rename the tuning option and related functions to enable the Newton series for the reciprocal square root to reflect its approximative characteristic.

gcc/
* config/aarch64/aarch64-protos.h (aarch64_emit_swrsqrt): Rename
function to "aarch64_emit_approx_rsqrt".
* config/aarch64/aarch64-tuning-flags.def: Rename tuning flag to
AARCH64_EXTRA_TUNE_APPROX_RSQRT.
* config/aarch64/aarch64.c (exynosm1_tunigs): Use new flag name.
(xgene1_tunings): Likewise.
(use_rsqrt_p): Likewise.
(aarch64_emit_swrsqrt): Use new function name.
* config/aarch64/aarch64-simd.md (aarch64_rsqrts_*): Likewise.
* config/aarch64/aarch64.opt (mlow-precision-recip-sqrt): Reword the
text explaining this option.
* doc/invoke.texi (-mlow-precision-recip-sqrt): Likewise.

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

PR tree-optimization/15826 - don't use "if" to extract a single bit
bit-field
2016-02-26  Martin Sebor  <msebor@redhat.com>

        PR tree-optimization/15826
        * gcc.dg/tree-ssa/pr15826.c: New test.

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

PR target/69969
* config/rs6000/rs6000.c (rs6000_option_override_internal): Don't
complain about -mallow-movmisalign without -mvsx if
TARGET_ALLOW_MOVMISALIGN was not set explicitly.

* gcc.target/powerpc/pr69969.c: New test.

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

PR c++/15766 - bad parse error recovery (2 bugs)

gcc/testsuite/ChangeLog:
2016-02-26  Martin Sebor  <msebor@redhat.com>

PR c++/15766
* g++.old-deja/g++.other/decl5.C: Add a test case.

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

2016-02-26  Joel Sherrill <joel@rtems.org>

* config-list.mk: Add aarch64-rtems and x86_64-rtems

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

2016-02-26  Joel Sherrill <joel@rtems.org>

* config.host: Add x86_64-*-rtems*.

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

2016-02-26  Joel Sherrill <joel@rtems.org>

* config.gcc: Add x86_64-*-rtems*.
* gcc/config/i386/rtems-64.h: New file.

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

2016-02-26  Joel Sherrill <joel@rtems.org>

* config.gcc: Add aarch64-*-rtems*.
* gcc/config/aarch64/rtems.h: New file.

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

2016-02-26  Joel Sherrill <joel@rtems.org>

* libgcc/config.host: Add aarch64-*-rtems*.

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

PR c++/69958
* pt.c (make_argument_pack): New.
(tsubst_copy) [SIZEOF_EXPR]: Handle partial expansion.
(tsubst_copy_and_build): Likewise.

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

[hsa,testsuite] Introduce offload_device_shared_as effective target

2016-02-26  Keith McDaniel <k.allen.mcdaniel@gmail.com>
    Martin Jambor  <mjambor@suse.cz>

* testsuite/lib/libgomp.exp
(check_effective_target_offload_device_shared_as): New proc.
* testsuite/libgomp.c++/declare_target-1.C: New test.

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

2016-02-26  Paul E. Murphy  <murphyp@linux.vnet.ibm.com>
    Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

* config/rs6000/sfp-machine.h (_FP_DECL_EX): Declare _fpsr as a
union of u64 and double.
(FP_TRAPPING_EXCEPTIONS): Return a bitmask of trapping exceptions.
(FP_INIT_ROUNDMODE): Read the fpscr instead of writing a mystery
value.
(FP_ROUNDMODE): Update the usage of _fpscr.

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