From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 13875 invoked by alias); 7 Mar 2016 11:26:24 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 13863 invoked by uid 89); 7 Mar 2016 11:26:23 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.0 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham version=3.3.2 spammy= X-HELO: relay1.mentorg.com Received: from relay1.mentorg.com (HELO relay1.mentorg.com) (192.94.38.131) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 07 Mar 2016 11:26:21 +0000 Received: from nat-ies.mentorg.com ([192.94.31.2] helo=SVR-IES-FEM-03.mgc.mentorg.com) by relay1.mentorg.com with esmtp id 1actIm-0002k2-Md from Tom_deVries@mentor.com ; Mon, 07 Mar 2016 03:26:16 -0800 Received: from [127.0.0.1] (137.202.0.76) by SVR-IES-FEM-03.mgc.mentorg.com (137.202.0.108) with Microsoft SMTP Server id 14.3.224.2; Mon, 7 Mar 2016 11:26:15 +0000 Subject: Re: [PATCH] Skip ubsan internal fns in tail-merge To: Jakub Jelinek References: <1c507aae804089fe39102391ff554d51a20ba391.1436450591.git.mliska@suse.cz> <20150709141312.GS10247@tucnak.redhat.com> <559E9481.70505@redhat.com> <20150709154153.GV10247@tucnak.redhat.com> <559EA345.6070105@redhat.com> <55A02707.6000505@redhat.com> <56DD4E9A.3030009@mentor.com> <20160307100155.GS3017@tucnak.redhat.com> CC: Jeff Law , Richard Biener , mliska , GCC Patches From: Tom de Vries Message-ID: <56DD6552.1030105@mentor.com> Date: Mon, 07 Mar 2016 11:26:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 MIME-Version: 1.0 In-Reply-To: <20160307100155.GS3017@tucnak.redhat.com> Content-Type: multipart/mixed; boundary="------------020102060604080400090705" X-SW-Source: 2016-03/txt/msg00466.txt.bz2 --------------020102060604080400090705 Content-Type: text/plain; charset="windows-1252"; format=flowed Content-Transfer-Encoding: 7bit Content-length: 1040 On 07/03/16 11:01, Jakub Jelinek wrote: > On Mon, Mar 07, 2016 at 10:49:14AM +0100, Tom de Vries wrote: >> This patch implements that. >> >> Should the asan internal function (ASAN_CHECK) be handled in the same way, >> as suggested here ( https://gcc.gnu.org/ml/gcc-patches/2015-07/msg00776.html >> )? >> >> OK for stage4 trunk if bootstrap and reg-test succeeds? > > Please certainly add ASAN_CHECK to the list. Done. > Perhaps more precise would be to allow merging them, but only if > gimple_location (stmt1) == gimple_location (stmt2). > Done. > Also, I wonder why you need to check both stmts individually, wouldn't it be > better (both for the is_tm_ending and the ubsan/asan internal calls) to > first call gimple_equal_p and only if it says the two are equal, check > is_tm_ending (only on one stmt, if they are equal, then I hope is_tm_ending > is necessarily equal for both), and similarly for the ubsan/asan ifns > compare the gimple_location? > Done. OK for stage4 trunk if bootstrap and reg-test succeeds? Thanks, - Tom --------------020102060604080400090705 Content-Type: text/x-patch; name= "0001-Skip-ubsan-asan-internal-fns-with-different-location-in-tail-merge.patch" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename*0="0001-Skip-ubsan-asan-internal-fns-with-different-location-in"; filename*1="-tail-merge.patch" Content-length: 2347 Skip ubsan/asan internal fns with different location in tail-merge 2016-03-07 Tom de Vries PR tree-optimization/70116 * tree-ssa-tail-merge.c (merge_stmts_p): New function, factored out of ... (find_duplicate): ... here. Move merge_stmts_p test to after gimple_equal_p test. (merge_stmts_p): Return false for ubsan/asan internal functions with different gimple_location. --- gcc/tree-ssa-tail-merge.c | 41 +++++++++++++++++++++++++++++++++++------ 1 file changed, 35 insertions(+), 6 deletions(-) diff --git a/gcc/tree-ssa-tail-merge.c b/gcc/tree-ssa-tail-merge.c index 5d32790..13ea4fe 100644 --- a/gcc/tree-ssa-tail-merge.c +++ b/gcc/tree-ssa-tail-merge.c @@ -1207,6 +1207,39 @@ gsi_advance_bw_nondebug_nonlocal (gimple_stmt_iterator *gsi, tree *vuse, } } +/* Return true if equal (in the sense of gimple_equal_p) statements STMT1 and + STMT2 are allowed to be merged. */ + +static bool +merge_stmts_p (gimple *stmt1, gimple *stmt2) +{ + /* What could be better than this here is to blacklist the bb + containing the stmt, when encountering the stmt f.i. in + same_succ_hash. */ + if (is_tm_ending (stmt1)) + return false; + + if (is_gimple_call (stmt1) + && gimple_call_internal_p (stmt1)) + { + switch (gimple_call_internal_fn (stmt1)) + { + case IFN_UBSAN_NULL: + case IFN_UBSAN_BOUNDS: + case IFN_UBSAN_VPTR: + case IFN_UBSAN_CHECK_ADD: + case IFN_UBSAN_CHECK_SUB: + case IFN_UBSAN_CHECK_MUL: + case IFN_UBSAN_OBJECT_SIZE: + case IFN_ASAN_CHECK: + return gimple_location (stmt1) == gimple_location (stmt2); + default: + break; + } + + return true; +} + /* Determines whether BB1 and BB2 (members of same_succ) are duplicates. If so, clusters them. */ @@ -1226,14 +1259,10 @@ find_duplicate (same_succ *same_succ, basic_block bb1, basic_block bb2) gimple *stmt1 = gsi_stmt (gsi1); gimple *stmt2 = gsi_stmt (gsi2); - /* What could be better than this here is to blacklist the bb - containing the stmt, when encountering the stmt f.i. in - same_succ_hash. */ - if (is_tm_ending (stmt1) - || is_tm_ending (stmt2)) + if (!gimple_equal_p (same_succ, stmt1, stmt2)) return; - if (!gimple_equal_p (same_succ, stmt1, stmt2)) + if (!merge_stmts_p (stmt1, stmt2)) return; gsi_prev_nondebug (&gsi1); --------------020102060604080400090705--