2013-09-25  Yvan Roux  <yvan.roux@linaro.org>

	* lra.c (update_inc_notes): Remove all REG_DEAD and REG_UNUSED notes.

From-SVN: r202915

rtlanal.c (lsb_bitfield_op_p): New predicate for bitfield operations from the least significant bit.

2013-09-25  Yvan Roux  <yvan.roux@linaro.org>
	    Vladimir Makarov  <vmakarov@redhat.com>

	* rtlanal.c (lsb_bitfield_op_p): New predicate for bitfield operations
	from the least significant bit.
	(strip_address_mutations): Add bitfield operations handling.
	(must_be_index_p): Add shifting and rotate operations handling.
	(set_address_base): Use must_be_base_p predicate.
	(set_address_index):Use must_be_index_p predicate.


Co-Authored-By: Vladimir Makarov <vmakarov@redhat.com>

From-SVN: r202914

	* config/i386/i386.c (ix86_avx256_split_vector_move_misalign):
	Use new names.
	(ix86_expand_vector_move_misalign): Support new unaligned load and
	stores and use new names.
	(CODE_FOR_sse2_storedqu): Rename to ...
	(CODE_FOR_sse2_storedquv16qi): ... this.
	(CODE_FOR_sse2_loaddqu): Rename to ...
	(CODE_FOR_sse2_loaddquv16qi): ... this.
	(CODE_FOR_avx_loaddqu256): Rename to ...
	(CODE_FOR_avx_loaddquv32qi): ... this.
	(CODE_FOR_avx_storedqu256): Rename to ...
	(CODE_FOR_avx_storedquv32qi): ... this.
	* config/i386/i386.md (fpint_logic): New.
	* config/i386/sse.md (VMOVE): Extend for AVX512.
	(VF): Ditto.
	(VF_128_256): New.
	(VF_512): Ditto.
	(VI_UNALIGNED_LOADSTORE): Ditto.
	(sse2_avx_avx512f): Ditto.
	(sse2_avx2): Extend for AVX512.
	(sse4_1_avx2): Ditto.
	(avx2_avx512f): New.
	(sse): Extend for AVX512.
	(sse2): Ditto.
	(sse4_1): Ditto.
	(avxsizesuffix): Ditto.
	(sseintvecmode): Ditto.
	(ssePSmode): Ditto.
	(<sse>_loadu<ssemodesuffix><avxsizesuffix>): Ditto.
	(<sse>_storeu<ssemodesuffix><avxsizesuffix>): Ditto.
	(<sse2>_loaddqu<avxsizesuffix>): Extend for AVX512 and rename to ...
	(<sse2_avx_avx512f>_loaddqu<mode>): ... this.
	(<sse2>_storedqu<avxsizesuffix>): Extend for AVX512 and rename to ...
	(<sse2_avx_avx512f>_storedqu<mode): ... this.
	(<sse>_movnt<mode>): Replace constraint "x" with "v".
	(STORENT_MODE): Extend for AVX512.
	(*absneg<mode>2): Replace constraint "x" with "v".
	(*mul<mode>3): Ditto.
	(*ieee_smin<mode>3): Ditto.
	(*ieee_smax<mode>3): Ditto.
	(avx_cmp<mode>3): Replace VF with VF_128_256.
	(*<sse>_maskcmp<mode>3_comm): Ditto.
	(<sse>_maskcmp<mode>3): Ditto.
	(<sse>_andnot<mode>3): Extend for AVX512.
	(<code><mode>3, anylogic): Replace VF with VF_128_256.
	(<code><mode>3, fpint_logic): New.
	(*<code><mode>3): Extend for AVX512.
	(avx512flogicsuff): New.
	(avx512f_<logic><mode>): Ditto.
	(<sse>_movmsk<ssemodesuffix><avxsizesuffix>): Replace VF with
	VF_128_256.
	(<sse4_1>_blend<ssemodesuffix><avxsizesuffix>): Ditto.
	(<sse4_1>_blendv<ssemodesuffix><avxsizesuffix>): Ditto.
	(<sse4_1>_dp<ssemodesuffix><avxsizesuffix>): Ditto.
	(avx_vtest<ssemodesuffix><avxsizesuffix>): Ditto.
	(<sse4_1>_round<ssemodesuffix><avxsizesuffix>): Ditto.
	(xop_vpermil2<mode>3): Ditto.
	(*avx_vpermilp<mode>): Extend for AVX512 and rename to ...
	(*<sse2_avx_avx512f>_vpermilp<mode>): ... this.
	(avx_vpermilvar<mode>3): Extend for AVX512 and rename to ...
	(<sse2_avx_avx512f>_vpermilvar<mode>3): ... this.


Co-Authored-By: Andrey Turetskiy <andrey.turetskiy@intel.com>
Co-Authored-By: Anna Tikhonova <anna.tikhonova@intel.com>
Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
Co-Authored-By: Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Co-Authored-By: Michael Zolotukhin <michael.v.zolotukhin@intel.com>
Co-Authored-By: Sergey Lega <sergey.s.lega@intel.com>

From-SVN: r202913

	(RTL_ERROR_H, TRANS_MEM_H, COVERAGE_H, DEMANGLE_H, ALIAS_H)
	(SCHED_INT_H, SEL_SCHED_IR_H, SEL_SCHED_DUMP_H, VALTRACK_H, DDG_H)
	(GGC_INTERNAL_H, DECNUM_H, BACKTRACE_H, MKDEPS_H, TREE_HASHER_H)
	(TREE_SSA_LIVE_H, SSAEXPAND_H, DWARF2OUT_H, SCEV_H, OMEGA_H)
	(TREE_DATA_REF_H, IRA_INT_H, LRA_INT_H, DBGCNT_H, DATA_STREAMER_H)
	(GIMPLE_STREAMER_H, TREE_STREAMER_H, STREAMER_HOOKS_H)
	(TREE_VECTORIZER_H, IPA_INLINE_H, GSTAB_H, LIBFUNCS_H)
	(GRAPHITE_HTAB_H): Remove.

From-SVN: r202912

From-SVN: r202911

From-SVN: r202910

	* config/i386/t-i386 (i386.o): Remove.
	(i386-c.o): Use COMPILE and POSTCOMPILE.

From-SVN: r202909

From-SVN: r202908

	(gcc-ranlib.o, gcc-nm.o, collect2.o, collect2-aix.o, tlink.o)
	(lto-wrapper.o, default-c.o, attribs.o, incpath.o, prefix.o)
	(gcc.o, options.o, options-save.o, version.o, gtype-desc.o)
	(trans-mem.o, ggc-common.o, ggc-page.o, ggc-none.o, stringpool.o)
	(convert.o, double-int.o, lto-compress.o, data-streamer-in.o)
	(data-streamer-out.o, data-streamer.o, gimple-streamer-in.o)
	(gimple-streamer-out.o, tree-streamer.o, tree-streamer-in.o)
	(tree-streamer-out.o, streamer-hooks.o, lto-cgraph.o)
	(lto-streamer-in.o, lto-streamer-out.o, lto-section-in.o)
	(lto-section-out.o, lto-opts.o, lto-streamer.o, langhooks.o)
	(test-dump.o, tree.o, tree-dump.o, tree-inline.o, print-tree.o)
	(stor-layout.o, asan.o, tsan.o, ubsan.o, tree-ssa-tail-merge.o)
	(tree-ssa-structalias.o, tree-ssa-uninit.o, tree-ssa.o)
	(tree-into-ssa.o, tree-ssa-ter.o, tree-ssa-coalesce.o)
	(tree-outof-ssa.o, tree-ssa-dse.o, tree-ssa-forwprop.o)
	(tree-ssa-phiprop.o, tree-ssa-ifcombine.o, tree-ssa-phiopt.o)
	(tree-nrv.o, tree-ssa-copy.o, tree-ssa-propagate.o)
	(tree-ssa-dom.o, tree-ssa-uncprop.o, tree-ssa-threadedge.o)
	(tree-ssa-threadupdate.o, tree-ssanames.o, tree-phinodes.o)
	(domwalk.o, tree-ssa-live.o, tree-ssa-copyrename.o)
	(tree-ssa-pre.o, tree-ssa-sccvn.o)
	(gimple-ssa-strength-reduction.o, tree-vrp.o, tree-cfg.o)
	(tree-cfgcleanup.o, tree-tailcall.o, tree-ssa-sink.o)
	(tree-nested.o, tree-if-conv.o, tree-iterator.o, tree-dfa.o)
	(tree-ssa-operands.o, tree-eh.o, tree-ssa-loop.o)
	(tree-ssa-loop-unswitch.o, tree-ssa-address.o)
	(tree-ssa-loop-niter.o, tree-ssa-loop-ivcanon.o)
	(tree-ssa-loop-ch.o, tree-ssa-loop-prefetch.o, tree-predcom.o)
	(tree-ssa-loop-ivopts.o, tree-affine.o, tree-ssa-loop-manip.o)
	(tree-ssa-loop-im.o, tree-ssa-math-opts.o, tree-ssa-alias.o)
	(tree-ssa-reassoc.o, tree-optimize.o, gimplify.o)
	(gimple-iterator.o, gimple-fold.o, gimple-low.o, omp-low.o)
	(tree-browser.o, omega.o, tree-chrec.o, tree-scalar-evolution.o)
	(tree-data-ref.o, sese.o, graphite.o, graphite-blocking.o)
	(graphite-clast-to-gimple.o, graphite-dependences.o)
	(graphite-interchange.o, graphite-poly.o)
	(graphite-scop-detection.o, graphite-sese-to-poly.o)
	(graphite-optimize-isl.o, tree-vect-loop.o)
	(tree-vect-loop-manip.o, tree-vect-patterns.o, tree-vect-slp.o)
	(tree-vect-stmts.o, tree-vect-data-refs.o, tree-vectorizer.o)
	(vtable-verify.o, tree-loop-distribution.o, tree-parloops.o)
	(tree-stdarg.o, tree-object-size.o, internal-fn.o, gimple.o)
	(gimple-pretty-print.o, tree-mudflap.o, tree-nomudflap.o)
	(tree-pretty-print.o, tree-diagnostic.o, fold-const.o)
	(diagnostic.o, diagnostic-color.o, opts.o, opts-global.o)
	(opts-common.o, targhooks.o, common/common-targhooks.o, input.o)
	(toplev.o, hwint.o, passes.o, plugin.o, main.o, host-default.o)
	(rtl-error.o, rtl.o, print-rtl.o, rtlanal.o, varasm.o, function.o)
	(statistics.o, stmt.o, except.o, expr.o, dojump.o, builtins.o)
	(calls.o, expmed.o, explow.o, optabs.o, dbxout.o, debug.o)
	(sdbout.o, dwarf2out.o, dwarf2cfi.o, dwarf2asm.o, vmsdbgout.o)
	(xcoffout.o, godump.o, emit-rtl.o, real.o, realmpfr.o, dfp.o)
	(fixed-value.o, jump.o, simplify-rtx.o, symtab.o, cgraph.o)
	(cgraphunit.o, cgraphclones.o, cgraphbuild.o, varpool.o, ipa.o)
	(ipa-profile.o, ipa-devirt.o, ipa-prop.o, ipa-ref.o, ipa-cp.o)
	(ipa-split.o, ipa-inline.o, ipa-inline-analysis.o)
	(ipa-inline-transform.o, ipa-utils.o, ipa-reference.o)
	(ipa-pure-const.o, coverage.o, cselib.o, cse.o, dce.o, dumpfile.o)
	(dse.o, fwprop.o, web.o, ree.o, cprop.o, gcse.o, store-motion.o)
	(resource.o, lcm.o, mode-switching.o, tree-ssa-dce.o)
	(tree-call-cdce.o, tree-ssa-ccp.o, tree-ssa-strlen.o, tree-sra.o)
	(tree-switch-conversion.o, tree-complex.o, tree-emutls.o)
	(tree-vect-generic.o, df-core.o, df-problems.o, df-scan.o)
	(regstat.o, valtrack.o, var-tracking.o, profile.o, mcf.o)
	(tree-profile.o, value-prof.o, loop-doloop.o, alloc-pool.o)
	(auto-inc-dec.o, cfg.o, cfghooks.o, cfgexpand.o, cfgrtl.o)
	(cfganal.o, cfgbuild.o, cfgcleanup.o, cfgloop.o, cfgloopanal.o)
	(graphds.o, loop-iv.o, loop-invariant.o, cfgloopmanip.o)
	(loop-init.o, loop-unswitch.o, loop-unroll.o, dominance.o)
	(et-forest.o, combine.o, reginfo.o, bitmap.o, vec.o, hash-table.o)
	(reload.o, reload1.o, rtlhooks.o, postreload.o, postreload-gcse.o)
	(caller-save.o, bt-load.o, reorg.o, alias.o, stack-ptr-mod.o)
	(init-regs.o, ira-build.o, ira-costs.o, ira-conflicts.o)
	(ira-color.o, ira-emit.o, ira-lives.o, ira.o, lra.o)
	(lra-assigns.o, lra-coalesce.o, lra-constraints.o)
	(lra-eliminations.o, lra-lives.o, lra-spills.o, regmove.o)
	(combine-stack-adj.o, compare-elim.o, ddg.o, modulo-sched.o)
	(haifa-sched.o, sched-deps.o, sched-rgn.o, sched-ebb.o)
	(sched-vis.o, sel-sched.o, sel-sched-dump.o, sel-sched-ir.o)
	(final.o, recog.o, reg-stack.o, sreal.o, predict.o, lists.o)
	(bb-reorder.o, tracer.o, timevar.o, regcprop.o, regrename.o)
	(ifcvt.o, params.o, pointer-set.o, hooks.o, pretty-print.o)
	(errors.o, dbgcnt.o, lower-subreg.o, target-globals.o)
	(hw-doloop.o, file-find.o, context.o, $(common_out_object_file))
	(insn-attrtab.o, insn-automata.o, insn-dfatab.o, insn-emit.o)
	(insn-enums.o, insn-extract.o, insn-latencytab.o, insn-modes.o)
	(insn-opinit.o, insn-output.o, insn-peep.o, insn-preds.o)
	(insn-recog.o, intl.o, cppbuiltin.o, cppdefault.o, gcov.o)
	(gcov-dump.o): Remove.
	(default-c.o): Use COMPILE and POSTCOMPILE.
	(CFLAGS-gcc.o): New variable.
	($(common_out_object_file)): Use COMPILE and POSTCOMPILE.

From-SVN: r202907

	(lto/lto-lang.o, lto/lto.o, lto/lto-partition.o)
	(lto/lto-object.o): Remove.

From-SVN: r202906

	* Make-lang.in (gospec.o): Remove.
	(CFLAGS-go/gospec.o): New variable.
	(GCCGO_OBJS): Update to use go/gospec.o.
	(go_OBJS): Define.
	(GO_SYSTEM_H, GO_C_H, GO_LINEMAP_H, GO_LEX_H, GO_PARSE_H)
	(GO_GOGO_H, GO_TYPES_H, GO_STATEMENTS_H, GO_EXPRESSIONS_H)
	(GO_EXPORT_H, GO_IMPORT_H, GO_RUNTIME_H, GO_AST_DUMP_H)
	(go/go-backend.o, go/go-lang.o, go/go-gcc.o, go/go-linemap.o)
	(go/ast-dump.o, go/dataflow.o, go/export.o, go/expressions.o)
	(go/go.o, go/go-dump.o, go/go-optimize.o, go/gogo-tree.o)
	(go/gogo.o, go/import.o, go/import-archive.o, go/lex.o)
	(go/parse.o, go/runtime.o, go/statements.o, go/types.o)
	(go/unsafe.o): Remove.
	(CFLAGS-go/go-gcc.o, CFLAGS-go/go-linemap.o): New variables.
	(go/%.o: go/gofrontend/%.cc): Use COMPILE and POSTCOMPILE.

From-SVN: r202905

	* Make-lang.in (fortran_OBJS): Use fortran/gfortranspec.o.
	(gfortranspec.o): Remove.
	(CFLAGS-fortran/gfortranspec.o): New variable.
	(GFORTRAN_D_OBJS): Update.
	($(F95_PARSER_OBJS), fortran/openmp.o, GFORTRAN_TRANS_DEPS)
	(fortran/f95-lang.o, fortran/scanner.o, fortran/convert.o)
	(fortran/frontend-passes.o, fortran/trans.o, fortran/trans-decl.o)
	(fortran/trans-types, fortran/trans-const.o, fortran/trans-expr.o)
	(fortran/trans-stmt.o, fortran/trans-openmp.o, fortran/trans-io.o)
	(fortran/trans-array.o, fortran/trans-intrinsic.o)
	(fortran/dependency.o, fortran/trans-common.o, fortran/resolve.o)
	(fortran/data.o, fortran/options.o, fortran/cpp.o)
	(fortran/scanner.o, fortran/module.o): Remove.

From-SVN: r202904

	(c-family/c-cppbuiltin.o, c-family/c-dump.o, c-family/c-format.o)
	(c-family/c-gimplify.o, c-family/c-lex.o, c-family/c-omp.o)
	(c-family/c-opts.o, c-family/c-pch.o, c-family/c-ppoutput.o)
	(c-family/c-pragma.o, c-family/c-pretty-print.o)
	(c-family/c-semantics.o, c-family/c-ada-spec.o)
	(c-family/array-notation-common.o, c-family/stub-objc.o)
	(c-family/c-ubsan.o): Remove.

From-SVN: r202903

	* Make-lang.in (jvspec.o): Remove.
	(CFLAGS-java/jvspec.o): New variable.
	($(XGCJ)$(exeext), java_OBJS): Use java/jvspec.o
	(java/jvspec.o-warn): Rename from jvspec.o-warn.
	(JAVA_TREE_H, java/jcf-dump.o, java/boehm.o, java/builtins.o)
	(java/class.o, java/constants.o, java/decl.o, java/except.o)
	(java/expr.o, java/jcf-depend.o, java/jcf-parse.o)
	(java/jvgenmain.o, java/lang.o, java/mangle.o, java/mangle_name.o)
	(java/resource.o java/typeck.o, java/win32-host.o)
	(java/verify-glue.o, java/verify-impl.o, java/zextract.o)
	(java/java-gimplify.o, java/jcf-io.o, java/jcf-path.o): Remove.

From-SVN: r202902

gcc/cp
	* Make-lang.in (CXX_TREE_H, CXX_PARSER_H, CXX_PRETTY_PRINT_H):
	Remove.
gcc/objcp
	* Make-lang.in (START_HDRS, cc1objplus-checksum.o)
	(objcp/objcp-lang.o, objcp/objcp-decl.o
	(objcp/objc-runtime-shared-support.o)
	(objcp/objc-gnu-runtime-abi-01.o objcp/objc-next-runtime-abi-01.o)
	(objcp/objc-next-runtime-abi-02.o, objcp/objcp-act.o)
	(objcp/objc-encoding.o, objcp/objc-map.o): Use COMPILE and
	POSTCOMPILE.  Remove explicit dependencies.

From-SVN: r202901

	(objc/objc-runtime-shared-support.o)
	(objc/objc-gnu-runtime-abi-01.o, objc/objc-next-runtime-abi-01.o)
	(objc/objc-next-runtime-abi-02.o, objc/objc-act.o)
	(objc/objc-encoding.o, objc/objc-map.o): Remove.

From-SVN: r202900

	* Make-lang.in (g++spec.o): Remove.
	(CFLAGS-cp/g++spec.o): New variable.
	(GXX_OBJS): Reference cp/g++spec.o.
	(cc1plus-checksum.o, cp/lex.o, cp/cp-array-notation.o)
	(cp/cp-lang.o, cp/decl.o, cp/decl2.o, cp/cp-objcp-common.o)
	(cp/typeck2.o, cp/typeck.o, cp/class.o, cp/call.o)
	(cp/friend.o, cp/init.o, cp/method.o, cp/cvt.o, cp/search.o)
	(cp/tree.o, cp/ptree.o, cp/rtti.o, cp/except.o, cp/expr.o)
	(cp/pt.o, cp/error.o, cp/repo.o, cp/semantics.o, cp/dump.o)
	(cp/optimize.o, cp/mangle.o, cp/parser.o, cp/cp-gimplify.o)
	(cp/name-lookup.o, cp/cxx-pretty-print.o): Remove.

From-SVN: r202899

	* Makefile.in (C_TREE_H): Reference c/c-tree.h.
gcc/c
	* Make-lang.in (c/gccspec.o): Remove.
	(CFLAGS-c/gccspec.o): New variable.
	(cc1-checksum.o, C_TREE_H, c/c-aux-info.o, c/c-convert.o)
	(c/c-decl.o, c/c-errors.o, c/c-lang.o, c/c-objc-common.o)
	(c/c-parser.o, c/c-typeck.o, c/c-array-notation.o): Remove.

From-SVN: r202898

	* Makefile.in (DRIVER_DEFINES): Use $(and), not shell code,
	to add -DENABLE_SHARED_LIBGCC.
	(gcc.o): Don't use subshell.
gcc/c
	* Make-lang.in (c/gccspec.o): Don't use subshell.
gcc/cp
	* Make-lang.in (g++spec.o): Don't use subshell.
gcc/fortran
	* Make-lang.in (gfortranspec.o): Don't use subshell.
gcc/go
	* Make-lang.in (gospec.o): Don't use subshell.
gcc/java
	* Make-lang.in (jvspec.o): Don't use subshell.

From-SVN: r202897

	* Makefile.in (OUTPUT_OPTION): Define as "-o $@".
	* configure.ac: Don't invoke AM_PROG_CC_C_O.
	(NO_MINUS_C_MINUS_O, OUTPUT_OPTION): Don't subst.
	* configure, config.in: Rebuild.
gcc/ada
	* gcc-interface/Makefile.in (OUTPUT_OPTION): Define as "-o $@".

From-SVN: r202896

From-SVN: r202895

From-SVN: r202894

From-SVN: r202893

tree-ssa-threadedge.c (thread_across_edge): Use foo.last () rather than foo[foo.length () - 1] to access last member in a vec.

        * tree-ssa-threadedge.c (thread_across_edge): Use foo.last () rather
        than foo[foo.length () - 1] to access last member in a vec.
        * tree-ssa-threadupdate.c (register_jump_thread): Similarly.

From-SVN: r202892

2013-09-25  Richard Biener  <rguenther@suse.de>

	PR middle-end/58521
	* tree.c (iterative_hash_expr): Remove MEM_REF special handling.

From-SVN: r202889

	* cgraph.c (cgraph_resolve_speculation): Use semantical equivalency
	test.

From-SVN: r202888

	PR sanitizer/58420
	* ubsan.c (ubsan_type_descriptor): Handle IDENTIFIER_NODEs
	when determining the type name.

From-SVN: r202887

	PR sanitizer/58413
c-family/
	* c-ubsan.c (ubsan_instrument_shift): Don't instrument
	an expression if we can prove it is correct.
	(ubsan_instrument_division): Likewise.  Remove unnecessary
	check.
testsuite/
	* c-c++-common/ubsan/shift-5.c: New test.
	* c-c++-common/ubsan/shift-6.c: New test.
	* c-c++-common/ubsan/div-by-zero-5.c: New test.
	* gcc.dg/ubsan/c-shift-1.c: New test.


Co-Authored-By: Jakub Jelinek <jakub@redhat.com>

From-SVN: r202886

	PR c++/58516
cp/
	* semantics.c (finish_transaction_stmt): Check for EXPR_P before
	setting the expr location.

testsuite/
	* g++.dg/tm/pr58516.C: New test.

From-SVN: r202883

Fixes https://code.google.com/p/go/issues/detail?id=6005.

From-SVN: r202881

From-SVN: r202879

	* config/sh/sh.md: Fix formatting.

From-SVN: r202876

From-SVN: r202875

location rather than top level include dir.

From-SVN: r202873

[gcc/testsuite/]
2013-09-24  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>

    * lib/target-supports.exp (check_effective_target_arm_cond_exec):
    New procedure.
    * gcc.target/arm/minmax_minus.c: Check for cond_exec target.

From-SVN: r202872

2013-09-24  Christophe Lyon  <christophe.lyon@linaro.org>

	* gimple-pretty-print.c: Various whitespace tweaks.
	* tree-core.h: Likewise.
	* tree-pretty-print.c: Likewise.
	* tree-ssa-alias.c: Likewise.
	* tree-ssa-copy.c: Likewise.
	* tree-ssanames.c: Likewise.
	* tree-ssanames.h: Likewise.
	* tree-vrp.c: Likewise.

From-SVN: r202869

	PR middle-end/57134
	PR middle-end/57586
	* stmt.c (expand_asm_operands): Call expand_expr with
	EXPAND_MEMORY for output operands that disallow regs.  Don't
	use EXPAND_WRITE on inout operands.

From-SVN: r202866

re PR tree-optimization/58513 (*var and MEM[(const int &)var]  (var has int* type) are not treated as the same data ref.)

2013-09-24  Richard Biener  <rguenther@suse.de>

	PR middle-end/58513
	* tree.c (reference_alias_ptr_type): Move ...
	* alias.c (reference_alias_ptr_type): ... here and implement
	in terms of the new reference_alias_ptr_type_1.
	(ref_all_alias_ptr_type_p): New helper.
	(get_deref_alias_set_1): Drop flag_strict_aliasing here,
	use ref_all_alias_ptr_type_p.
	(get_deref_alias_set): Add flag_strict_aliasing check here.
	(reference_alias_ptr_type_1): New function, split out from ...
	(get_alias_set): ... here.
	(alias_ptr_types_compatible_p): New function.
	* alias.h (reference_alias_ptr_type): Declare.
	(alias_ptr_types_compatible_p): Likewise.
	* tree.h (reference_alias_ptr_type): Remove.
	* fold-const.c (operand_equal_p): Use alias_ptr_types_compatible_p
	to compare MEM_REF alias types.

	* g++.dg/vect/pr58513.cc: New testcase.

From-SVN: r202865

2013-09-24  Richard Biener  <rguenther@suse.de>

	* tree-vrp.c (vrp_finalize): Check for SSA name presence.

From-SVN: r202863

2013-09-24  Marc Glisse  <marc.glisse@inria.fr>

	PR libstdc++/58338
	PR libstdc++/56166
	* include/bits/basic_string.h (basic_string)
	[basic_string(basic_string&&)]: Make the noexcept conditional.
	[operator=(basic_string&&), assign(basic_string&&)]: Link to PR 58265.
	[begin(), end(), rbegin(), rend(), clear]: Remove noexcept.
	[pop_back]: Comment on the lack of noexcept.
	* include/debug/string (basic_string) [basic_string(const _Allocator&),
	basic_string(basic_string&&), begin(), end(), rbegin(), rend(), clear,
	operator[](size_type), pop_back]: Comment out noexcept, until vstring
	replaces basic_string.

From-SVN: r202861