From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2153) id F2B0538582AD; Tue, 25 Oct 2022 08:45:12 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F2B0538582AD DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1666687512; bh=7RLVC1v9XhdZnbfxNxW8whm5mwAznLmh8UX8xARBJdw=; h=From:To:Subject:Date:From; b=WVy0T2MDW8c8jQQQz7lePjG8UhQjTU0bA4rPk394YE2LJ5PRzJWLl57v6XwLCC1R0 Xq0gRu6IczwPdEklLS16o2+QhmcCXvr4BBtFC3IorhmBtvOQjO82ta16y4KFmCVFwQ lWcP0QqMorXfNp76ABsgj4Z3lWRkj8nfj5ZOq2x8= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Jakub Jelinek To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-3481] gimplify: Call gimple_boolify on IFN_ASSUME argument [PR107368] X-Act-Checkin: gcc X-Git-Author: Jakub Jelinek X-Git-Refname: refs/heads/master X-Git-Oldrev: 593632051f48a20bdc685d00d168f064d808bd7b X-Git-Newrev: 44e18da4d9c5faf189fe876986927be12ae4e4c4 Message-Id: <20221025084512.F2B0538582AD@sourceware.org> Date: Tue, 25 Oct 2022 08:45:12 +0000 (GMT) List-Id: https://gcc.gnu.org/g:44e18da4d9c5faf189fe876986927be12ae4e4c4 commit r13-3481-g44e18da4d9c5faf189fe876986927be12ae4e4c4 Author: Jakub Jelinek Date: Tue Oct 25 10:42:59 2022 +0200 gimplify: Call gimple_boolify on IFN_ASSUME argument [PR107368] The following testcase ICEs in C, because assume attribute condition has int type rather than bool and the gimplification into GIMPLE_ASSUME assigns it into a bool variable. Fixed by calling gimple_boolify. 2022-10-25 Jakub Jelinek PR tree-optimization/107368 * gimplify.cc (gimplify_call_expr): For complex IFN_ASSUME conditions call gimple_boolify on the condition. * gcc.dg/attr-assume-5.c: New test. Diff: --- gcc/gimplify.cc | 2 +- gcc/testsuite/gcc.dg/attr-assume-5.c | 10 ++++++++++ 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/gcc/gimplify.cc b/gcc/gimplify.cc index 44cc9e6677b..d236ef948bc 100644 --- a/gcc/gimplify.cc +++ b/gcc/gimplify.cc @@ -3584,7 +3584,7 @@ gimplify_call_expr (tree *expr_p, gimple_seq *pre_p, bool want_value) a separate function easily. */ tree guard = create_tmp_var (boolean_type_node); *expr_p = build2 (MODIFY_EXPR, void_type_node, guard, - CALL_EXPR_ARG (*expr_p, 0)); + gimple_boolify (CALL_EXPR_ARG (*expr_p, 0))); *expr_p = build3 (BIND_EXPR, void_type_node, NULL, *expr_p, NULL); push_gimplify_context (); gimple_seq body = NULL; diff --git a/gcc/testsuite/gcc.dg/attr-assume-5.c b/gcc/testsuite/gcc.dg/attr-assume-5.c new file mode 100644 index 00000000000..8aa0f361dad --- /dev/null +++ b/gcc/testsuite/gcc.dg/attr-assume-5.c @@ -0,0 +1,10 @@ +/* PR tree-optimization/107368 */ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +double +f4 (double x) +{ + [[gnu::assume (x && x > 0.0)]]; + return x; +}