On Fri, May 25, 2018 at 5:48 AM, Richard Biener <rguent...@suse.de> wrote: > > This simplifies data-ref analysis further and to make that work enhances > BB vectorization dependence analysis as a comment suggested. I've > needed to add tbaa_p flags to some of the alias disambiguators. > > Bootstrapped and tested on x86_64-unknown-linux-gnu, SPEC 2k6 build > is running right now. > > Richard. > > From 7478a9f17446e7ad1355b5a060ef8a65945e5323 Mon Sep 17 00:00:00 2001 > From: Richard Guenther <rguent...@suse.de> > Date: Fri, 25 May 2018 12:02:48 +0200 > Subject: [PATCH] Use oracle in BB vectorizer dependence analysis > > 2018-05-25 Richard Biener <rguent...@suse.de> > > * tree-ssa-alias.h (refs_may_alias_p): Add tbaa_p bool parameter, > defaulted to true. > (ref_maybe_used_by_stmt_p): Likewise. > (stmt_may_clobber_ref_p): Likewise. > (stmt_may_clobber_ref_p_1): Likewise. > * tree-ssa-alias.c (refs_may_alias_p): Add tbaa_p bool parameter > and pass it along. > (ref_maybe_used_by_stmt_p): Likewise. > (stmt_may_clobber_ref_p): Likewise. > (stmt_may_clobber_ref_p_1): Likewise. > * tree-vect-data-refs.c (vect_slp_analyze_node_dependences): Use > the alias oracle to disambiguate DRs with stmts DR analysis > couldn't handle. > (vect_analyze_data_refs): Do not give up on not analyzable > DRs for BB vectorization. Remove code truncating the dataref > vector. >
This caused: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85933 -- H.J.
