From patchwork Mon Sep 30 13:33:50 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Victor Do Nascimento X-Patchwork-Id: 1991012 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@legolas.ozlabs.org Authentication-Results: legolas.ozlabs.org; dkim=pass (1024-bit key; unprotected) header.d=arm.com header.i=@arm.com header.a=rsa-sha256 header.s=selector1 header.b=OGwppTvo; dkim=pass (1024-bit key) header.d=arm.com header.i=@arm.com header.a=rsa-sha256 header.s=selector1 header.b=OGwppTvo; dkim-atps=neutral Authentication-Results: legolas.ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org (client-ip=2620:52:3:1:0:246e:9693:128c; helo=server2.sourceware.org; envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org; receiver=patchwork.ozlabs.org) Received: from server2.sourceware.org (server2.sourceware.org [IPv6:2620:52:3:1:0:246e:9693:128c]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (secp384r1) server-digest SHA384) (No client certificate requested) by legolas.ozlabs.org (Postfix) with ESMTPS id 4XHMWZ4HQFz1xsc for ; Mon, 30 Sep 2024 23:35:05 +1000 (AEST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 2632E3850203 for ; Mon, 30 Sep 2024 13:35:03 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from EUR02-VI1-obe.outbound.protection.outlook.com (mail-vi1eur02on2061e.outbound.protection.outlook.com [IPv6:2a01:111:f403:2607::61e]) by sourceware.org (Postfix) with ESMTPS id 4AA6E3858404 for ; Mon, 30 Sep 2024 13:34:33 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 4AA6E3858404 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=arm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=arm.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 4AA6E3858404 Authentication-Results: server2.sourceware.org; arc=pass smtp.remote-ip=2a01:111:f403:2607::61e ARC-Seal: i=3; a=rsa-sha256; d=sourceware.org; s=key; t=1727703276; cv=pass; b=j+9oXa4NefUc61blv6DOMoexmhVaEgpiNGHEFzSktk3Hf5goza4kTLUYDUbDeVzyIBZkWsr0DA4cFSOp1L5vQ1pl+eRH/4I91OisikRAf5Z5rT7HDz+8f4SOB+4PBEPg0OPjsExi6mA0q1X5MrTe20V6V/KpTHzVBfQ8UjpW8ik= ARC-Message-Signature: i=3; a=rsa-sha256; d=sourceware.org; s=key; t=1727703276; c=relaxed/simple; bh=um32pYBSZmdWFOOTsbQXSe3NrjFwxxeifb/3Yv7Tu7Y=; h=DKIM-Signature:DKIM-Signature:From:To:Subject:Date:Message-ID: MIME-Version; b=SrgD/M8JOso4GkYLW9vmAG2TTDBIpzlDGf0SDOdTofDKuv78NOa+Hp/xBagTHFDBdxokRT++jf1PWQye7gY/8jcVhTvVOMfc2i4Ytb3/AcxPiO8S0nh5nM2XXFv/7go3JyFV0Y/5GeVwXwECQ9PsdfqqSPmI1e6uSs/5JvfGrzI= ARC-Authentication-Results: i=3; server2.sourceware.org ARC-Seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=OdKLw4Q4eq69IzNAFNEuhZr1qkIx8A4+HsAlY20AcfzCT1VnCcVM/ANQF2L3Ba8AWVHFNrwO28oFp1ei0g1I9yusJtivC6Pi3ZTbrMPni1uy81KBDnZQtz6K7qCuBuNoCkhU5FdicAcuT/KISzBmChqzDXlzLYcSFS1dihFs5PMU52QBTXlHYcSfQ4JFdNnLC1v1mnI6KZoqrnUGE6TZ3RxJK8CsYSe3TBhMQujyqjZ5pq5v7zSFZnmq04QiNXlJjSzJEvLdr4O3hYAKaEjZCr+CQiWi0Vvus7pjooGS3Ah2rZmRCmaqEDY4qO4n03Ul2fYlQaWEpx8IAiiM1U7FpA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=p0y+arTjGQk8Z8kPNrR87vZ2EBJ6ODA/2nS/UTwAG8M=; b=ghKE66H9ELtWMvVPxq0e5zF7o1LF8kCpq7mAkLuckLHYZccsXctSWbo4OaWQWnZ33z4ls2cxhkbrNcJaXh6CsXIk1lNkVT2Xy0LNUVycf7X5+jyXmDgf0UgSNmzslN4F/45xxv1qrl9VupGlWrKfP4p9lxC6wFa57ufibBMlhy7XPMTf96hy8KETWVvjVIb8vlYudBiMlIq7Wp/vjxjjxsGn4+8vXc1HhGxS/VdUTWjaqgvEKT9odbNOfACTa8UOoXc2Vf5HWM6PSy4Lyjw3/WYp7moDE5DqU4eO/cJHAQ7r21wIOaDosMVIv7O6OdpkF+8YpVUgpq4192lq3pPcBQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 63.35.35.123) smtp.rcpttodomain=gcc.gnu.org smtp.mailfrom=arm.com; dmarc=pass (p=none sp=none pct=100) action=none header.from=arm.com; dkim=pass (signature was verified) header.d=arm.com; arc=pass (0 oda=1 ltdi=1 spf=[1,1,smtp.mailfrom=arm.com] dmarc=[1,1,header.from=arm.com]) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=arm.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=p0y+arTjGQk8Z8kPNrR87vZ2EBJ6ODA/2nS/UTwAG8M=; b=OGwppTvoM/f1POPRK4ZWqUHFwNsOkkapbPUJyhqnI7wbCQ6kWIqH/R/TJ7QhZroh4Xsb/3cNT0Z9VMSho7cW1Cl8TCXfBtnEvHcuDWGTyzmWWhZ+Qm7SHZjB5+8ur0wZd9R3Hf5VdPIn/cWOQe+5dFIMkQy3t9uAIN9fuihFH7U= Received: from DB3PR08CA0018.eurprd08.prod.outlook.com (2603:10a6:8::31) by AS1PR08MB7633.eurprd08.prod.outlook.com (2603:10a6:20b:475::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8026.13; Mon, 30 Sep 2024 13:34:27 +0000 Received: from DU2PEPF00028D09.eurprd03.prod.outlook.com (2603:10a6:8:0:cafe::d4) by DB3PR08CA0018.outlook.office365.com (2603:10a6:8::31) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8005.22 via Frontend Transport; Mon, 30 Sep 2024 13:34:27 +0000 X-MS-Exchange-Authentication-Results: spf=pass (sender IP is 63.35.35.123) smtp.mailfrom=arm.com; dkim=pass (signature was verified) header.d=arm.com;dmarc=pass action=none header.from=arm.com; Received-SPF: Pass (protection.outlook.com: domain of arm.com designates 63.35.35.123 as permitted sender) receiver=protection.outlook.com; client-ip=63.35.35.123; helo=64aa7808-outbound-1.mta.getcheckrecipient.com; pr=C Received: from 64aa7808-outbound-1.mta.getcheckrecipient.com (63.35.35.123) by DU2PEPF00028D09.mail.protection.outlook.com (10.167.242.169) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.8026.11 via Frontend Transport; Mon, 30 Sep 2024 13:34:26 +0000 Received: ("Tessian outbound 1fbff8811ff9:v470"); Mon, 30 Sep 2024 13:34:26 +0000 X-CheckRecipientChecked: true X-CR-MTA-CID: 4720fe83c8d095b2 X-TessianGatewayMetadata: 5jUnQKDKtdWR9DuXyUqSkl+8JLdsiBLjY4BoA20RFeSMymmnnj5HnAbUVA3q6vjnFgqBJL8ehkliZS10mYqOQexugAZliT/E9T2fYmIkT1GmsN70x7JOD2dPbFZsEt1hQXiTBrVfsPs/ezIm+sOo1wuScEi0gfUiqWFgFpDxxh8= X-CR-MTA-TID: 64aa7808 Received: from Le66e5c21043d.1 by 64aa7808-outbound-1.mta.getcheckrecipient.com id ECD6D8FA-371A-4DDC-9091-845D8A3DBA62.1; Mon, 30 Sep 2024 13:34:17 +0000 Received: from EUR05-VI1-obe.outbound.protection.outlook.com by 64aa7808-outbound-1.mta.getcheckrecipient.com with ESMTPS id Le66e5c21043d.1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384); Mon, 30 Sep 2024 13:34:17 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=uEgcmWV5CIFZdeheVKTRv+EvBjNoZgu2ligCV0vShG8y5H/xOroVyaQ3iOMDzo9NsJ+zATHU8AwtdLDFqi8BK5rBojjQlc7Mg/ozaZth+d0z2pp3pDXLcfZ0fm6bsJeWNe8FLBOSevOTb93YDYw9b2GwzTHtX4f/FttmrZF5Gde7w5Amd5h1K+VkY5aCO9iFLfz7Zw2uYNw6mQ6u9eSjYEvjYozKdj8dGyQsoQrCj5KZ/K09r0Uf1HSkUhbDELjAlzVoeJoi3FxlkEKYq4urQ1SnRp39OSch7vZG7tSn0VSJYe/8QpreZP//2orA4bWH7FqzFKGhNQeU8LQ1zfTapg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=p0y+arTjGQk8Z8kPNrR87vZ2EBJ6ODA/2nS/UTwAG8M=; b=logm2jr6R9BqABoUvQkwo0ya2lgIxW81yX16T8F5pOpQ6mWX2NzSm43wVzlWkBp3tcWviJuj4amvCC9ZEFVCmHUoNmU/ChcoobnS24Kb/7jHp/KrFwMb9KxHg04xuL83/NJFbl2JAFQ650VKozXCYa5KqJkfBeLH9ocEhUsM62aSODGZQhBZ3SLduqnlKdHXR9dzPbrI4zutJ6luQlOEt9n/fHXgti2D3qnHsfLBBXB6N+/L9Dvf/Qq8KAMy1T8L146i75oSIKZNfEYA37DGozl56DjOCc1zWLHPUjtCUFDH0XAMPUW4wSYejoH0VVD9nt7hzvyUbkkahqDSwV49LQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass (sender ip is 40.67.248.234) smtp.rcpttodomain=gcc.gnu.org smtp.mailfrom=arm.com; dmarc=pass (p=none sp=none pct=100) action=none header.from=arm.com; dkim=none (message not signed); arc=none (0) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=arm.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=p0y+arTjGQk8Z8kPNrR87vZ2EBJ6ODA/2nS/UTwAG8M=; b=OGwppTvoM/f1POPRK4ZWqUHFwNsOkkapbPUJyhqnI7wbCQ6kWIqH/R/TJ7QhZroh4Xsb/3cNT0Z9VMSho7cW1Cl8TCXfBtnEvHcuDWGTyzmWWhZ+Qm7SHZjB5+8ur0wZd9R3Hf5VdPIn/cWOQe+5dFIMkQy3t9uAIN9fuihFH7U= Received: from AM6P194CA0099.EURP194.PROD.OUTLOOK.COM (2603:10a6:209:8f::40) by PAVPR08MB8990.eurprd08.prod.outlook.com (2603:10a6:102:326::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8026.14; Mon, 30 Sep 2024 13:34:10 +0000 Received: from AMS0EPF0000019E.eurprd05.prod.outlook.com (2603:10a6:209:8f:cafe::78) by AM6P194CA0099.outlook.office365.com (2603:10a6:209:8f::40) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8005.26 via Frontend Transport; Mon, 30 Sep 2024 13:34:10 +0000 X-MS-Exchange-Authentication-Results: spf=pass (sender IP is 40.67.248.234) smtp.mailfrom=arm.com; dkim=none (message not signed) header.d=none;dmarc=pass action=none header.from=arm.com; Received-SPF: Pass (protection.outlook.com: domain of arm.com designates 40.67.248.234 as permitted sender) receiver=protection.outlook.com; client-ip=40.67.248.234; helo=nebula.arm.com; pr=C Received: from nebula.arm.com (40.67.248.234) by AMS0EPF0000019E.mail.protection.outlook.com (10.167.16.250) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.20.7918.13 via Frontend Transport; Mon, 30 Sep 2024 13:34:10 +0000 Received: from AZ-NEU-EX06.Arm.com (10.240.25.134) by AZ-NEU-EX03.Arm.com (10.251.24.31) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.39; Mon, 30 Sep 2024 13:34:08 +0000 Received: from AZ-NEU-EX03.Arm.com (10.251.24.31) by AZ-NEU-EX06.Arm.com (10.240.25.134) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.39; Mon, 30 Sep 2024 13:34:06 +0000 Received: from e133397.arm.com (10.57.85.121) by mail.arm.com (10.251.24.31) with Microsoft SMTP Server id 15.1.2507.39 via Frontend Transport; Mon, 30 Sep 2024 13:34:05 +0000 From: Victor Do Nascimento To: CC: , , "Victor Do Nascimento" Subject: [PATCH] middle-end: Fix ifcvt predicate generation for masked function calls Date: Mon, 30 Sep 2024 14:33:50 +0100 Message-ID: <20240930133350.3202348-1-victor.donascimento@arm.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 X-EOPAttributedMessage: 1 X-MS-TrafficTypeDiagnostic: AMS0EPF0000019E:EE_|PAVPR08MB8990:EE_|DU2PEPF00028D09:EE_|AS1PR08MB7633:EE_ X-MS-Office365-Filtering-Correlation-Id: 56aca6eb-6292-44b3-f52f-08dce1549ac4 x-checkrecipientrouted: true NoDisclaimer: true X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0; ARA:13230040|36860700013|82310400026|376014|1800799024; X-Microsoft-Antispam-Message-Info-Original: GWhz35LXIN4Q6lINiAjc/raHwlBHbtQcSsAp2sZnDfOEV49C3yVabNTuJ1d1gkbxZsh0ve7Q5L8y1jTzf0GS8GzyTOpBsN49kqOmx5sJUcPqGfG2aBsahHNVRmzAdvIBTbrLW6fAWn0EfisxQ0KCBoNnNrFNMgmJB5Zzh5t+R+45OMWULI9DXmG09blV9oF+scU5r0IVpUjvlQXqxyqhtRjh5ue22QzFhyzzjZEZKN5oHGzzN2pW9obotx0Bvgc3/n3QvDDEiIyw0QVPGaZ4evURKov4kqUwHFqNPA/xeZLBLn2IJAd26GjYARCIfE3Fgccq2Wv4Pi9+/OJzkmndwapVYaLfhZbF+W1u9nI4uPpO1QwVIBOLIvkQlUKz7DarDdg8jQTRsJJ+2rz51z726k5yHJVcIwQZA9f0dN44cEL0EMHu3OIPNdmwIObLgybSdoW4/7Xpg02UXv77KB3q91bCtTM1l+dqjbjlgwoMoW49kvN8i1uegkN3OmjHD/33F0U8wlqiVMau/NcV1B/MfkpUQ6q7j5pz13t3YXw3IkPL/yebqzgT8ncTjUetsMXKYtXZc+0lnoV70D3Njm1aAFrNY9DVGJTZ4bPcA2LHUAAU3oFV6vEpaUBCTS6yDIammXSM0IkL7Y1a8sbjb4fyZtDl8JxqNDVkRjGGE3UsU/E8fs7YHU7Z9qEtnYLDqsVSF1cmCEYW75uTYwOOFTKpc9Q44F4h4zUyT04iqk4w8DUstYgJ/+ie+NVqUISroDVtwcTlynqOe/7TyqhOMrDwN5r1MbA0vyIz8pA4EyWSzOTtLMFutgVmafgp8zkGrO4/VsoEePxKWdMUnlq6HJj6WmZVCOgc80/4qzFd6ZBN747gVdBT8otUXNCX5W1di0B4NE5bT1hxjTRRXgmEz87t209D/paok9SruoE8cDNj+U9Qjitk8/aYTYYB8cqXiIwicHo/fafakp6LyWvO2pXYnPJ9Ccx6aB1Na5GWNmR6oR5w5WPgX9fv+FhDmUb4GPzftDgaRCup7xlZm/46VQywEf9B5t3g3MIZ7SkDqK6pwBO+vBKkTTGzyNfu5VvIbxAxBlj8OlEttsJ9xnUJj+t0rCCfNm7N6wupm1K2I5uDewUVO6g8ommqj93qTbU7o6mKV9o4FOGIEm1lWQXP/+CSKBYJhmlbsZE57HD92jcdxwRdsrqcbIaIyB023emOOe/k2dyPB3EgJ46JG9lI7T1VLHCt92HoTPlvLv0Orp0uPhuTpAkIqhA662VJFKwggT4a9dYGhVByQomGP8V/Y/GP9DcwqDXix72T5jJKauwXylnz6ohW8Mobke9nPqNzHlRzprQgLOQlMFNN/uMTIbJYc1IUOhvxVDUN7OrFJa2813c7hxXP6qx5NgW7nDc0nN1N2JccYB81S4bqvXH+VoCpCA== X-Forefront-Antispam-Report-Untrusted: CIP:40.67.248.234; CTRY:IE; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:nebula.arm.com; PTR:InfoDomainNonexistent; CAT:NONE; SFS:(13230040)(36860700013)(82310400026)(376014)(1800799024); DIR:OUT; SFP:1101; X-MS-Exchange-Transport-CrossTenantHeadersStamped: PAVPR08MB8990 X-MS-Exchange-SkipListedInternetSender: ip=[2603:10a6:209:8f::40]; domain=AM6P194CA0099.EURP194.PROD.OUTLOOK.COM X-MS-Exchange-Transport-CrossTenantHeadersStripped: DU2PEPF00028D09.eurprd03.prod.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 0abc036b-4f26-4c1f-a669-08dce15490ae X-Microsoft-Antispam: BCL:0; ARA:13230040|82310400026|1800799024|36860700013|376014|35042699022; X-Microsoft-Antispam-Message-Info: xnPUMXAXDl1hQf1E1z9/CryvTZGRVU2lmhuHF1R2EN4196hfTOHUgrlav6OmgHZ2gj8mhzNF/78q4K4N9628CaSXuKSqXSHSZdRHgcZbNuja4jOAR2VfQ05OM6gf2vRmvE2KfqpqyTIwlTRrkpDQKMQoaEd5PMSc2YPfo5VbuCEzPXZzUpofNQiu6nBY0mbnbwGQqcLauFDAIpjNNsrxim0BhUKc2qAgde6QtqKxwZ8PPilvpBfWFZILnlAl+MEf1bG/F49EAzAY0HsfiWfWC++qmXvMYjapGTnf8ISbhe0QkHC34SlrE3Qyg/uXUmujXw5oS/45B0H5f/Vzi5UlF+j3D+O/Zyp10cAyeMF3/V0z6cbRrCI9BT41oZVF7yOMgZ/PiQ+peM/beW73UtUjB2TMprBpY4wVxXr+zx9CHGogIo1suUwpcQ05TgwSQo6gFEsxz9PpVzFf4OnbSglQnUUJNnMjXpkN/gzPnY03blB9nhZhbjsnkX3CiG/bnyW6StuD36xfWj12VeP3/qXboakseBeG4ElkgbghdTl5lPmxZqSzD+6lI73IkRcTukRhSoao+yutGh+XveGGCt2vsYnVQBvQxvQ7MUc3DX1/wUP3FolVZgDHQPTKwtkf1F0teBty6BQI3y1y0DTS8rQpC8y5u1aFTWy95f3BNfoDC8xhlYcNVdpmT2+ei406nz+jBE29Pd92CvMqmAYlElQw2ODeBXXxq0ERhQyQvSmfdkE92SQ/ZIBokZ17O2ckSO9o2HtD1zvLx8D+tFXuK/o1uvC5CKu7DedNLIuxprcEU67eiTBtoy/5UwqxZTuVoIu4Ypoxsr5q1YZFHgF+lea7qTBGBtzHab8k9FzIwuJMV/vkj3dyQpg2LtuomhQQg3NjexAbuWOI/zFcNkjdd46h5pOSJV1FGUdEFs5rTaazjXiGwAV7P86ev5+uiP2NU85EiIFzMBLZ1YQS4pPiLGnmB9de5kXICZdc5Yo4ZA+PifzeYa6TPBaqUkt3WT1vwLJJmz1OB6UWJYZIV1m24vtLwBVweQIQagnMneZuvfgBMOhlwBdTz+uWBd1x/fy/7WXT+txgLIHNpKsqjt45WLMJgkxszQiu1JPTsBECX8tuY6I+YJ28xmsfoylVQ8ZrBdhaLMNBNDNb1ci1x5kAndjuZp8r1SeuGpapFOrtSW+cp57t6Pnse6usLVhOyM3NBOhZHQ6oTI/bEqXkkeAUGoZ6lcAy8VHv/iy4h6HqcOQRv27zKORsG3lefwSWzvjWOWennCfkqiWos4YfQyseKYOi74ZCFAk8QcICZrTNLLaU2HZxvZd34SsWSktc+f+Gkh4V0Jso2YBS/H92CLQQSBJh99314VHy8iYWHLhal7nvoaWWsX5znXsGHe0r/DOIXK8mUJII9LZLphpJoWCV065QwQ== X-Forefront-Antispam-Report: CIP:63.35.35.123; CTRY:IE; LANG:en; SCL:1; SRV:; IPV:CAL; SFV:NSPM; H:64aa7808-outbound-1.mta.getcheckrecipient.com; PTR:ec2-63-35-35-123.eu-west-1.compute.amazonaws.com; CAT:NONE; SFS:(13230040)(82310400026)(1800799024)(36860700013)(376014)(35042699022); DIR:OUT; SFP:1101; X-OriginatorOrg: arm.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 30 Sep 2024 13:34:26.9869 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: 56aca6eb-6292-44b3-f52f-08dce1549ac4 X-MS-Exchange-CrossTenant-Id: f34e5979-57d9-4aaa-ad4d-b122a662184d X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=f34e5979-57d9-4aaa-ad4d-b122a662184d; Ip=[63.35.35.123]; Helo=[64aa7808-outbound-1.mta.getcheckrecipient.com] X-MS-Exchange-CrossTenant-AuthSource: DU2PEPF00028D09.eurprd03.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: AS1PR08MB7633 X-Spam-Status: No, score=-12.5 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FORGED_SPF_HELO, GIT_PATCH_0, SPF_HELO_PASS, SPF_NONE, TXREP, UNPARSEABLE_RELAY autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org Up until now, due to a latent bug in the code for the ifcvt pass, irrespective of the branch taken in a conditional statement, the original condition for the if statement was used in masking the function call. Thus, for code such as: if (a[i] > limit) b[i] = fixed_const; else b[i] = fn (a[i]); we would generate the following (wrong) if-converted tree code: _1 = a[i_1]; _2 = _1 > limit; _3 = .MASK_CALL (fn, _1, _2); cstore_4 = _2 ? fixed_const : _3; as opposed to the correct expected sequence: _1 = a[i_1]; _2 = _1 > limit; _3 = ~_2; _4 = .MASK_CALL (fn, _1, _3); cstore_5 = _2 ? fixed_const : _4; This patch ensures that the correct predicate mask generation is carried out such that, upon autovectorization, the correct vector lanes are selected in the vectorized function call. gcc/ChangeLog: * tree-if-conv.cc (predicate_statements): Fix handling of predicated function calls. gcc/testsuite/ChangeLog: * gcc.dg/vect/vect-fncall-mask.c: New. --- gcc/testsuite/gcc.dg/vect/vect-fncall-mask.c | 31 ++++++++++++++++++++ gcc/tree-if-conv.cc | 14 ++++++++- 2 files changed, 44 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/vect/vect-fncall-mask.c diff --git a/gcc/testsuite/gcc.dg/vect/vect-fncall-mask.c b/gcc/testsuite/gcc.dg/vect/vect-fncall-mask.c new file mode 100644 index 00000000000..554488e0630 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/vect-fncall-mask.c @@ -0,0 +1,31 @@ +/* { dg-do compile { target { aarch64*-*-* } } } */ +/* { dg-additional-options "-march=armv8.2-a+sve -fdump-tree-ifcvt-raw -Ofast" { target { aarch64*-*-* } } } */ + +extern int __attribute__ ((simd, const)) fn (int); + +const int N = 20; +const float lim = 101.0; +const float cst = -1.0; +float tot = 0.0; + +float b[20]; +float a[20] = { [0 ... 9] = 1.7014118e39, /* If branch. */ + [10 ... 19] = 100.0 }; /* Else branch. */ + +int main (void) +{ + #pragma omp simd + for (int i = 0; i < N; i += 1) + { + if (a[i] > lim) + b[i] = cst; + else + b[i] = fn (a[i]); + tot += b[i]; + } + return (0); +} + +/* { dg-final { scan-tree-dump {gimple_assign } ifcvt } } */ +/* { dg-final { scan-tree-dump {gimple_assign } ifcvt } } */ +/* { dg-final { scan-tree-dump {gimple_call <.MASK_CALL, _3, fn, _2, _34>} ifcvt } } */ diff --git a/gcc/tree-if-conv.cc b/gcc/tree-if-conv.cc index 0346a1376c5..246a6bb5bd1 100644 --- a/gcc/tree-if-conv.cc +++ b/gcc/tree-if-conv.cc @@ -2907,6 +2907,8 @@ predicate_statements (loop_p loop) This will cause the vectorizer to match the "in branch" clone variants, and serves to build the mask vector in a natural way. */ + tree mask = cond; + gimple_seq stmts = NULL; gcall *call = dyn_cast (gsi_stmt (gsi)); tree orig_fn = gimple_call_fn (call); int orig_nargs = gimple_call_num_args (call); @@ -2914,7 +2916,17 @@ predicate_statements (loop_p loop) args.safe_push (orig_fn); for (int i = 0; i < orig_nargs; i++) args.safe_push (gimple_call_arg (call, i)); - args.safe_push (cond); + /* If `swap', we invert the mask used for the if branch for use + when masking the function call. */ + if (swap) + { + tree true_val + = constant_boolean_node (true, TREE_TYPE (mask)); + mask = gimple_build (&stmts, BIT_XOR_EXPR, + TREE_TYPE (mask), mask, true_val); + } + gsi_insert_seq_before (&gsi, stmts, GSI_SAME_STMT); + args.safe_push (mask); /* Replace the call with a IFN_MASK_CALL that has the extra condition parameter. */