From patchwork Tue Jun 9 16:09:36 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Alex Butler X-Patchwork-Id: 1306062 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Authentication-Results: ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=sourceware.org (client-ip=2620:52:3:1:0:246e:9693:128c; helo=sourceware.org; envelope-from=libc-alpha-bounces@sourceware.org; receiver=) Authentication-Results: ozlabs.org; dmarc=none (p=none dis=none) header.from=arm.com Authentication-Results: ozlabs.org; dkim=fail reason="signature verification failed" (1024-bit key; unprotected) header.d=armh.onmicrosoft.com header.i=@armh.onmicrosoft.com header.a=rsa-sha256 header.s=selector2-armh-onmicrosoft-com header.b=sM5p2vDC; dkim=fail reason="signature verification failed" (1024-bit key) header.d=armh.onmicrosoft.com header.i=@armh.onmicrosoft.com header.a=rsa-sha256 header.s=selector2-armh-onmicrosoft-com header.b=sM5p2vDC; dkim-atps=neutral Received: from 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 RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 49hFSd1tLNz9sT2 for ; Wed, 10 Jun 2020 02:09:53 +1000 (AEST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 35BA6388B01F; Tue, 9 Jun 2020 16:09:51 +0000 (GMT) X-Original-To: libc-alpha@sourceware.org Delivered-To: libc-alpha@sourceware.org Received: from EUR05-VI1-obe.outbound.protection.outlook.com (mail-vi1eur05on2089.outbound.protection.outlook.com [40.107.21.89]) by sourceware.org (Postfix) with ESMTPS id A8C803840C14 for ; Tue, 9 Jun 2020 16:09:45 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org A8C803840C14 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=arm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=Alex.Butler@arm.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=armh.onmicrosoft.com; s=selector2-armh-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=/LSdgkNQl+qpm7PkdnvogE9XUyZFxiEYh23yg3CMQ4E=; b=sM5p2vDCs2+BfcJUDg2lp3USzML8RsubIHRXLGALFeUwCPvoEbW6SyuKgHpmmDeHflQ34H8wVqIcBeXYim2363C8Z6R0SOAOHMO54YRfHJtHFsgfPwPvqDddeNQ0a7+mSB1iyQmzKYfg8iTkmjiKQUKnymuzmSH5yow86TRPkjg= Received: from DB8PR06CA0017.eurprd06.prod.outlook.com (2603:10a6:10:100::30) by AM4PR0802MB2194.eurprd08.prod.outlook.com (2603:10a6:200:5c::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3066.23; Tue, 9 Jun 2020 16:09:43 +0000 Received: from DB5EUR03FT018.eop-EUR03.prod.protection.outlook.com (2603:10a6:10:100:cafe::ee) by DB8PR06CA0017.outlook.office365.com (2603:10a6:10:100::30) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3066.18 via Frontend Transport; Tue, 9 Jun 2020 16:09:43 +0000 X-MS-Exchange-Authentication-Results: spf=pass (sender IP is 63.35.35.123) smtp.mailfrom=arm.com; sourceware.org; dkim=pass (signature was verified) header.d=armh.onmicrosoft.com; sourceware.org; dmarc=bestguesspass 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; Received: from 64aa7808-outbound-1.mta.getcheckrecipient.com (63.35.35.123) by DB5EUR03FT018.mail.protection.outlook.com (10.152.20.69) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3066.18 via Frontend Transport; Tue, 9 Jun 2020 16:09:43 +0000 Received: ("Tessian outbound 56dbe829191e:v59"); Tue, 09 Jun 2020 16:09:43 +0000 X-CheckRecipientChecked: true X-CR-MTA-CID: da39dc01dbf77fe9 X-CR-MTA-TID: 64aa7808 Received: from b5a79ff3d56d.1 by 64aa7808-outbound-1.mta.getcheckrecipient.com id 769DD551-E489-4325-80FD-EFD1255B3E33.1; Tue, 09 Jun 2020 16:09:38 +0000 Received: from EUR05-DB8-obe.outbound.protection.outlook.com by 64aa7808-outbound-1.mta.getcheckrecipient.com with ESMTPS id b5a79ff3d56d.1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384); Tue, 09 Jun 2020 16:09:38 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=CoupYaW4QFiJ6jIyPVkt1ogCwWDYcEiFEud7+aisxXXG7kdMBViKHIlDSCAukCW8fYq4d1v8E3rxWYSa/lwOQnZPVSbzW1DPrNURZmRmeeIINYiJknVRP9+rZURCeEPJyNPVsS49COYaMyVy/8AnTCtELic2mpKASv0laxI+xHg9JRKX6f2pbtOlgfRbN5NmFHqWU5rA188e2MO+mJU4LImJvuQ3M5kgVsY/Q3MxAPez0lh6W93Z1W3DACZj+AVMF00xnZCcGK4nnQ+l9VSC8OjgtmcbtZhXuH6DxHzgagPeNyOMS4gQijZp/gldr6l1JpCljDVM1y5qmJ3hucEJcQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=/LSdgkNQl+qpm7PkdnvogE9XUyZFxiEYh23yg3CMQ4E=; b=oJ2U8OoL6zPj7lBIBybP6JjgTjKppvjTCFrfPahp+UqXpb/qljEl185o5XlzgSv36SqTupMs0vrFHjMmAbE+cUFNosnqpWSy6fVEDTCMsIQRSjrTHkzZ6wmstkz4einKenRHwVoNgK7opcLI3fSc+M11jps8vc7AKeZn3mw6FsPWnbDQgsTXVbuNBfP88vc8Ucp+CQjekL9tok5Tcw9ImwIDV3ZItPBoAH5DRCoDEixoKtkddUdBLWwhaU8s2HyaHufqi0W8+lR5tRu0lo8jGzZHVomCSX2Tp5zqlT+8DQpftYJXOCY3T81pjfKH6zLQKton/5cznWPgXuHJnLLk5A== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=arm.com; dmarc=pass action=none header.from=arm.com; dkim=pass header.d=arm.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=armh.onmicrosoft.com; s=selector2-armh-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=/LSdgkNQl+qpm7PkdnvogE9XUyZFxiEYh23yg3CMQ4E=; b=sM5p2vDCs2+BfcJUDg2lp3USzML8RsubIHRXLGALFeUwCPvoEbW6SyuKgHpmmDeHflQ34H8wVqIcBeXYim2363C8Z6R0SOAOHMO54YRfHJtHFsgfPwPvqDddeNQ0a7+mSB1iyQmzKYfg8iTkmjiKQUKnymuzmSH5yow86TRPkjg= Received: from VI1PR08MB3663.eurprd08.prod.outlook.com (2603:10a6:803:85::26) by VI1PR08MB3262.eurprd08.prod.outlook.com (2603:10a6:803:47::28) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3066.18; Tue, 9 Jun 2020 16:09:37 +0000 Received: from VI1PR08MB3663.eurprd08.prod.outlook.com ([fe80::dda9:2735:3473:b60c]) by VI1PR08MB3663.eurprd08.prod.outlook.com ([fe80::dda9:2735:3473:b60c%6]) with mapi id 15.20.3066.023; Tue, 9 Jun 2020 16:09:37 +0000 From: Alex Butler To: "libc-alpha@sourceware.org" Subject: [PATCH] aarch64: MTE compatible strrchr Thread-Topic: [PATCH] aarch64: MTE compatible strrchr Thread-Index: AQHWPng+D8KO8EcLsUiLlFVXUCCpyQ== Date: Tue, 9 Jun 2020 16:09:36 +0000 Message-ID: Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: yes X-MS-TNEF-Correlator: Authentication-Results-Original: sourceware.org; dkim=none (message not signed) header.d=none;sourceware.org; dmarc=none action=none header.from=arm.com; x-originating-ip: [82.70.46.126] x-ms-publictraffictype: Email X-MS-Office365-Filtering-HT: Tenant X-MS-Office365-Filtering-Correlation-Id: bdf8b34e-75d8-4142-142c-08d80c8f85a3 x-ms-traffictypediagnostic: VI1PR08MB3262:|AM4PR0802MB2194: X-Microsoft-Antispam-PRVS: x-checkrecipientrouted: true nodisclaimer: true x-ms-oob-tlc-oobclassifiers: OLM:9508;OLM:9508; x-forefront-prvs: 042957ACD7 X-MS-Exchange-SenderADCheck: 1 X-Microsoft-Antispam-Untrusted: BCL:0; X-Microsoft-Antispam-Message-Info-Original: 2IQY4q1JKzCARCSZYbyEmD3jNUQ4ONuM4LHZ1dciOra9bCaDHlE87xf90tkgU/Vog0OHD54tkf2rPUxI611RclC6bPv/OdsZ18U6WstPD6oOIJo5yVvKAf0+mMYhGn4YM53iA78oQaEKjahpCtlfR0EfPUB1/bpcRZ8ey9h1iECS+R2h07iacNlAJrjSm5jnlFGZ/kc6Sc3Gkg4wUs5bV3hSmUmZlNbYZycBzxu7Op8yahrfz3ly7lR0LC82wBMccTETm/skE1WNl4rryfXsXglCpalrGr/XYiCd/7fnvKx8f0EP7BUxZXp9v76OqETdPwKMETrWTNyALJlJyWtv1g== X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:VI1PR08MB3663.eurprd08.prod.outlook.com; PTR:; CAT:NONE; SFTY:; SFS:(4636009)(376002)(346002)(39860400002)(136003)(396003)(366004)(33656002)(5660300002)(316002)(52536014)(6916009)(6506007)(86362001)(26005)(66446008)(7696005)(186003)(76116006)(66946007)(66616009)(91956017)(83380400001)(8676002)(71200400001)(8936002)(99936003)(66556008)(55016002)(19627405001)(64756008)(9686003)(66476007)(478600001)(2906002); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata: bAQ2qSNeABbiyFz1dylhA+Z9k8P5IViHX47Jjs5CAr37SaHgJYa2E84A71wfwMIjILQAs7lWvxVmuvuTGElhZzLiKzkwVOoUcCGM1X7sT91VxXa7rfXIGQp9z7BjCZpHlJ6Np3fw9x1hE8SnpAh7GfgJv86fPkGpzjC+XBIle0Mjuqt7Ec2G21YMSXImpfv65FtaQVVPXpk2wuoSMzU626ZGI/tDuikfQpMlyBz38+z2fU9E+slMmizTRiQDm4bydPLrFFeGsBcTmIpxTeyMlXCboPqQan9eVHnwNNrMuS/3cWI763Y+LEXmiv5Ls95iuENTHvO71sdPij9pFAE17IXOK4Y74h/cw/t+dQUYC0amlHJE/uWOgerp189e4z2IH9/8aYkfKNeer1uVWKGTQr+6sRqUiF1mVvztuh9nEi5hgovh2o7nZQKWXgPPII7nLNpoBT/VCAVo4+G2WjhISU4zNkvtY7igNFT3ZQ/k4QE= x-ms-exchange-transport-forked: True MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR08MB3262 Original-Authentication-Results: sourceware.org; dkim=none (message not signed) header.d=none; sourceware.org; dmarc=none action=none header.from=arm.com; X-EOPAttributedMessage: 0 X-MS-Exchange-Transport-CrossTenantHeadersStripped: DB5EUR03FT018.eop-EUR03.prod.protection.outlook.com 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; SFTY:; SFS:(4636009)(136003)(346002)(376002)(39860400002)(396003)(46966005)(66616009)(478600001)(235185007)(5660300002)(70206006)(86362001)(19627405001)(52536014)(30864003)(7696005)(83380400001)(8676002)(70586007)(6506007)(81166007)(2906002)(316002)(55016002)(47076004)(336012)(99936003)(82740400003)(82310400002)(9686003)(8936002)(33656002)(26005)(186003)(6916009)(356005)(579004); DIR:OUT; SFP:1101; X-MS-Office365-Filtering-Correlation-Id-Prvs: 1b81f876-fb6f-43da-38e8-08d80c8f81ce X-Forefront-PRVS: 042957ACD7 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: nvjps0BclxeBv6IJhV3lpeeUHn+3OhplsmyyCecAF9NqPX2y2qfjeH+Clw3Sd0Rsh3vCP8FeAAHr6iPjoWR3UcxbFzZvPX9Sjq1+56ttUzBy2Sfho6R2/Rs9KmJ8H24J46rKwyo87c7CD1Wx7xU4U3wo0BmL2lAuyzTHYOlIzorRr0DtHicae4/Nj42LVzR3BmICSur6GoFTNdVaIopTHp000SopQyDNvP6hzI6JDtEaqbn7Teh0K7KS6peDQ8qYcrLRmNsbogVO3eLaqOrAOPlcn1p4XqjzlH/yi+JLEzYSfiQ183v1UlCcf/lSmHlTFLAZcG2mW2tIDBw1HkqKGJxVaDZOVTTo5wukKJ+RLrPpGwhRk3v5J06o2cPVfi4ZxgC/rK87AHAlqVvPXYuMQQ== X-OriginatorOrg: arm.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 09 Jun 2020 16:09:43.4779 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: bdf8b34e-75d8-4142-142c-08d80c8f85a3 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-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM4PR0802MB2194 X-Spam-Status: No, score=-17.7 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, GIT_PATCH_0, HTML_MESSAGE, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H2, SPF_HELO_PASS, SPF_PASS, TXREP, UNPARSEABLE_RELAY autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: libc-alpha@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libc-alpha mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: libc-alpha-bounces@sourceware.org Sender: "Libc-alpha" This patch adds an MTE compatible implementation of strrchr. Please see the benchmark results for the performance uplift. | length | alignment | uplift A72 | uplift A53 | uplift N1 | |--------+-----------+-------------|-------------|-------------| | 2048 | 0 | 0.91x | 0.80x | 0.98x | | 2048 | 1 | 0.88x | 0.79x | 0.91x | | 2048 | 0 | 0.92x | 0.80x | 1.00x | | 2048 | 2 | 0.92x | 0.80x | 0.97x | | 2048 | 0 | 0.93x | 0.80x | 1.01x | | 2048 | 3 | 0.92x | 0.80x | 0.93x | | 2048 | 0 | 0.95x | 0.80x | 1.00x | | 2048 | 4 | 0.93x | 0.80x | 0.98x | | 2048 | 0 | 0.95x | 0.81x | 1.03x | | 2048 | 5 | 0.91x | 0.79x | 0.95x | | 2048 | 0 | 0.93x | 0.80x | 0.97x | | 2048 | 6 | 1.01x | 0.85x | 1.12x | | 2048 | 0 | 1.27x | 0.93x | 1.40x | | 2048 | 7 | 1.23x | 0.92x | 1.38x | | 256 | 1 | 0.92x | 0.80x | 1.00x | | 256 | 1 | 0.96x | 0.82x | 1.06x | | 256 | 2 | 0.96x | 0.82x | 1.07x | | 256 | 2 | 0.96x | 0.82x | 1.06x | | 256 | 3 | 0.92x | 0.80x | 0.99x | | 256 | 3 | 0.96x | 0.82x | 1.06x | | 256 | 4 | 0.96x | 0.82x | 1.07x | | 256 | 4 | 0.90x | 0.80x | 1.00x | | 256 | 5 | 0.95x | 0.82x | 1.08x | | 256 | 5 | 0.96x | 0.82x | 1.06x | | 256 | 6 | 0.95x | 0.83x | 1.04x | | 256 | 6 | 0.95x | 0.81x | 1.03x | | 256 | 7 | 0.97x | 0.82x | 1.05x | | 256 | 7 | 0.97x | 0.82x | 1.05x | | 1 | 0 | 1.09x | 1.37x | 1.41x | | 1 | 0 | 1.09x | 1.38x | 1.42x | | 2 | 0 | 1.09x | 1.37x | 1.41x | | 2 | 0 | 1.09x | 1.38x | 1.37x | | 3 | 0 | 1.09x | 1.38x | 1.42x | | 3 | 0 | 1.09x | 1.37x | 1.41x | | 4 | 0 | 1.09x | 1.38x | 1.42x | | 4 | 0 | 1.10x | 1.37x | 1.41x | | 5 | 0 | 1.09x | 1.37x | 1.42x | | 5 | 0 | 1.09x | 1.38x | 1.42x | | 6 | 0 | 1.09x | 1.36x | 1.42x | | 6 | 0 | 1.09x | 1.37x | 1.41x | | 7 | 0 | 1.10x | 1.37x | 1.40x | | 7 | 0 | 1.09x | 1.38x | 1.40x | | 8 | 0 | 1.09x | 1.37x | 1.41x | | 8 | 0 | 1.08x | 1.36x | 1.40x | | 9 | 0 | 1.09x | 1.38x | 1.40x | | 9 | 0 | 1.08x | 1.38x | 1.42x | | 10 | 0 | 1.09x | 1.36x | 1.41x | | 10 | 0 | 1.09x | 1.37x | 1.41x | | 11 | 0 | 1.09x | 1.37x | 1.45x | | 11 | 0 | 1.09x | 1.37x | 1.38x | | 12 | 0 | 1.09x | 1.37x | 1.38x | | 12 | 0 | 1.10x | 1.36x | 1.41x | | 13 | 0 | 1.09x | 1.36x | 1.39x | | 13 | 0 | 1.09x | 1.36x | 1.42x | | 14 | 0 | 1.09x | 1.37x | 1.52x | | 14 | 0 | 1.09x | 1.37x | 1.40x | | 15 | 0 | 1.09x | 1.37x | 1.42x | | 15 | 0 | 1.09x | 1.37x | 1.40x | | 16 | 0 | 0.87x | 0.89x | 0.98x | | 16 | 0 | 0.87x | 0.88x | 0.92x | | 17 | 0 | 0.88x | 1.04x | 1.19x | | 17 | 0 | 0.87x | 1.04x | 1.17x | | 18 | 0 | 0.88x | 1.03x | 1.20x | | 18 | 0 | 0.88x | 1.04x | 1.19x | | 19 | 0 | 0.87x | 1.04x | 1.19x | | 19 | 0 | 0.88x | 1.04x | 1.19x | | 20 | 0 | 0.88x | 1.05x | 1.18x | | 20 | 0 | 0.88x | 1.04x | 1.20x | | 21 | 0 | 0.88x | 1.03x | 1.20x | | 21 | 0 | 0.87x | 1.04x | 1.19x | | 22 | 0 | 0.88x | 1.05x | 1.19x | | 22 | 0 | 0.88x | 1.04x | 1.19x | | 23 | 0 | 0.87x | 1.03x | 1.19x | | 23 | 0 | 0.88x | 1.04x | 1.20x | | 24 | 0 | 0.88x | 1.05x | 1.20x | | 24 | 0 | 0.88x | 1.04x | 1.18x | | 25 | 0 | 0.88x | 1.03x | 1.20x | | 25 | 0 | 0.88x | 1.05x | 1.20x | | 26 | 0 | 0.88x | 1.04x | 1.21x | | 26 | 0 | 0.87x | 1.03x | 1.19x | | 27 | 0 | 0.88x | 1.05x | 1.20x | | 27 | 0 | 0.88x | 1.03x | 1.18x | | 28 | 0 | 0.88x | 1.04x | 1.17x | | 28 | 0 | 0.88x | 1.05x | 1.18x | | 29 | 0 | 0.87x | 1.03x | 1.19x | | 29 | 0 | 0.88x | 1.05x | 1.20x | | 30 | 0 | 0.88x | 1.03x | 1.16x | | 30 | 0 | 0.88x | 1.05x | 1.19x | | 31 | 0 | 0.87x | 1.03x | 1.19x | | 31 | 0 | 0.88x | 1.05x | 1.29x | | 32 | 0 | 1.14x | 1.04x | 1.20x | | 32 | 0 | 1.14x | 1.05x | 1.19x | | 2048 | 0 | 1.00x | 1.05x | 1.24x | | 2048 | 1 | 0.55x | 1.00x | 1.00x | | 2048 | 0 | 1.16x | 0.96x | 1.11x | | 2048 | 2 | 1.09x | 0.94x | 1.06x | | 2048 | 0 | 1.13x | 0.82x | 1.13x | | 2048 | 3 | 1.11x | 0.87x | 1.08x | | 2048 | 0 | 1.15x | 0.84x | 1.13x | | 2048 | 4 | 1.08x | 0.79x | 1.09x | | 2048 | 0 | 0.97x | 0.80x | 1.09x | | 2048 | 5 | 1.11x | 0.80x | 1.08x | | 2048 | 0 | 1.12x | 0.78x | 1.07x | | 2048 | 6 | 1.00x | 0.77x | 1.08x | | 2048 | 0 | 1.19x | 0.76x | 1.05x | | 2048 | 7 | 1.15x | 0.76x | 1.07x | | 256 | 1 | 1.08x | 0.94x | 1.06x | | 256 | 1 | 1.05x | 0.94x | 1.06x | | 256 | 2 | 1.07x | 0.94x | 1.06x | | 256 | 2 | 1.09x | 0.94x | 1.06x | | 256 | 3 | 1.08x | 0.93x | 1.06x | | 256 | 3 | 1.09x | 0.93x | 1.04x | | 256 | 4 | 1.08x | 0.94x | 1.06x | | 256 | 4 | 1.09x | 0.94x | 1.04x | | 256 | 5 | 1.08x | 0.93x | 1.10x | | 256 | 5 | 1.08x | 0.94x | 1.07x | | 256 | 6 | 1.08x | 0.94x | 1.06x | | 256 | 6 | 1.07x | 0.93x | 1.07x | | 256 | 7 | 1.08x | 0.94x | 1.04x | | 256 | 7 | 1.08x | 0.94x | 1.07x | | 1 | 0 | 0.96x | 1.23x | 1.14x | | 1 | 0 | 1.04x | 1.24x | 1.15x | | 2 | 0 | 1.04x | 1.24x | 1.13x | | 2 | 0 | 1.01x | 1.24x | 1.14x | | 3 | 0 | 1.04x | 1.24x | 1.14x | | 3 | 0 | 1.04x | 1.24x | 1.14x | | 4 | 0 | 1.04x | 1.24x | 1.13x | | 4 | 0 | 1.04x | 1.24x | 1.14x | | 5 | 0 | 1.04x | 1.24x | 1.14x | | 5 | 0 | 1.04x | 1.24x | 1.14x | | 6 | 0 | 1.04x | 1.24x | 1.14x | | 6 | 0 | 1.05x | 1.24x | 1.14x | | 7 | 0 | 1.04x | 1.23x | 1.14x | | 7 | 0 | 1.03x | 1.24x | 1.14x | | 8 | 0 | 1.04x | 1.23x | 1.14x | | 8 | 0 | 1.04x | 1.24x | 1.13x | | 9 | 0 | 1.04x | 1.24x | 1.14x | | 9 | 0 | 1.04x | 1.24x | 1.13x | | 10 | 0 | 1.04x | 1.24x | 1.14x | | 10 | 0 | 1.04x | 1.24x | 1.14x | | 11 | 0 | 1.04x | 1.23x | 1.14x | | 11 | 0 | 1.04x | 1.24x | 1.14x | | 12 | 0 | 1.04x | 1.24x | 1.14x | | 12 | 0 | 1.04x | 1.24x | 1.13x | | 13 | 0 | 1.04x | 1.24x | 1.14x | | 13 | 0 | 1.04x | 1.24x | 1.13x | | 14 | 0 | 1.04x | 1.23x | 1.14x | | 14 | 0 | 1.04x | 1.24x | 1.14x | | 15 | 0 | 1.04x | 1.24x | 1.14x | | 15 | 0 | 1.04x | 1.24x | 1.14x | | 16 | 0 | 1.04x | 1.26x | 1.14x | | 16 | 0 | 1.04x | 1.24x | 1.14x | | 17 | 0 | 0.84x | 0.94x | 0.96x | | 17 | 0 | 0.83x | 0.95x | 0.96x | | 18 | 0 | 0.83x | 0.94x | 0.96x | | 18 | 0 | 0.83x | 0.94x | 0.97x | | 19 | 0 | 0.83x | 0.93x | 0.96x | | 19 | 0 | 0.83x | 0.93x | 0.96x | | 20 | 0 | 0.83x | 0.94x | 0.96x | | 20 | 0 | 0.82x | 0.94x | 0.96x | | 21 | 0 | 0.83x | 0.95x | 0.96x | | 21 | 0 | 0.83x | 0.94x | 0.96x | | 22 | 0 | 0.82x | 0.93x | 0.96x | | 22 | 0 | 0.83x | 0.93x | 0.96x | | 23 | 0 | 0.83x | 0.94x | 0.96x | | 23 | 0 | 0.82x | 0.95x | 0.96x | | 24 | 0 | 0.83x | 0.94x | 0.96x | | 24 | 0 | 0.83x | 0.93x | 0.96x | | 25 | 0 | 0.82x | 0.94x | 0.96x | | 25 | 0 | 0.84x | 0.94x | 0.96x | | 26 | 0 | 0.83x | 0.94x | 0.93x | | 26 | 0 | 0.83x | 0.94x | 0.96x | | 27 | 0 | 0.84x | 0.94x | 0.97x | | 27 | 0 | 0.83x | 0.94x | 0.96x | | 28 | 0 | 0.83x | 0.94x | 0.96x | | 28 | 0 | 0.83x | 0.94x | 0.96x | | 29 | 0 | 0.83x | 0.94x | 0.96x | | 29 | 0 | 0.83x | 0.94x | 0.96x | | 30 | 0 | 0.83x | 0.93x | 0.80x | | 30 | 0 | 0.83x | 0.95x | 0.84x | | 31 | 0 | 0.83x | 0.94x | 1.01x | | 31 | 0 | 0.83x | 0.94x | 1.02x | | 32 | 0 | 0.83x | 0.94x | 0.96x | | 32 | 0 | 0.83x | 0.93x | 0.96x | This patch passes the tests with no regressions. 8< --- 8< --- 8< Add support for MTE to strrchr. Regression tested with xcheck and benchmarked with glibc's benchtests on the Cortex-A53, Cortex-A72, and Neoverse N1. The existing implementation assumes that any access to the pages in which the string resides is safe. This assumption is not true when MTE is enabled. This patch updates the algorithm to ensure that accesses remain within the bounds of an MTE tag (16-byte chunks) and improves overall performance. Co-authored-by: Wilco Dijkstra From 83cba4cdf38cd648e57fb646746eab134af462ed Mon Sep 17 00:00:00 2001 From: Alex Butler Date: Thu, 14 May 2020 02:16:35 +0100 Subject: [PATCH] aarch64: add MTE compatible strrchr --- sysdeps/aarch64/strrchr.S | 205 ++++++++++++++++++++-------------------------- 1 file changed, 91 insertions(+), 114 deletions(-) diff --git a/sysdeps/aarch64/strrchr.S b/sysdeps/aarch64/strrchr.S index 94da08d..a9b2bf4 100644 --- a/sysdeps/aarch64/strrchr.S +++ b/sysdeps/aarch64/strrchr.S @@ -24,142 +24,119 @@ * * ARMv8-a, AArch64 * Neon Available. + * MTE compatible. */ /* Arguments and results. */ #define srcin x0 #define chrin w1 - #define result x0 #define src x2 -#define tmp1 x3 -#define wtmp2 w4 -#define tmp3 x5 -#define src_match x6 -#define src_offset x7 -#define const_m1 x8 -#define tmp4 x9 -#define nul_match x10 -#define chr_match x11 +#define tmp x3 +#define wtmp w3 +#define synd x3 +#define shift x4 +#define src_match x4 +#define nul_match x5 +#define chr_match x6 #define vrepchr v0 -#define vdata1 v1 -#define vdata2 v2 -#define vhas_nul1 v3 -#define vhas_nul2 v4 -#define vhas_chr1 v5 -#define vhas_chr2 v6 -#define vrepmask_0 v7 -#define vrepmask_c v16 -#define vend1 v17 -#define vend2 v18 +#define vdata v1 +#define vhas_nul v2 +#define vhas_chr v3 +#define vrepmask v4 +#define vrepmask2 v5 +#define vend v5 +#define dend d5 /* Core algorithm. - For each 32-byte hunk we calculate a 64-bit syndrome value, with - two bits per byte (LSB is always in bits 0 and 1, for both big - and little-endian systems). For each tuple, bit 0 is set iff - the relevant byte matched the requested character; bit 1 is set - iff the relevant byte matched the NUL end of string (we trigger - off bit0 for the special case of looking for NUL). Since the bits - in the syndrome reflect exactly the order in which things occur - in the original string a count_trailing_zeros() operation will - identify exactly which byte is causing the termination, and why. */ + For each 16-byte chunk we calculate a 64-bit syndrome value, with + four bits per byte (LSB is always in bits 0 and 1, for both big + and little-endian systems). For each tuple, bits 0-1 are set if + the relevant byte matched the requested character; bits 2-3 are set + if the relevant byte matched the NUL end of string. */ ENTRY(strrchr) DELOUSE (0) - cbz x1, L(null_search) - /* Magic constant 0x40100401 to allow us to identify which lane - matches the requested byte. Magic constant 0x80200802 used - similarly for NUL termination. */ - mov wtmp2, #0x0401 - movk wtmp2, #0x4010, lsl #16 + bic src, srcin, 15 dup vrepchr.16b, chrin - bic src, srcin, #31 /* Work with aligned 32-byte hunks. */ - dup vrepmask_c.4s, wtmp2 - mov src_offset, #0 - ands tmp1, srcin, #31 - add vrepmask_0.4s, vrepmask_c.4s, vrepmask_c.4s /* equiv: lsl #1 */ - b.eq L(aligned) - - /* Input string is not 32-byte aligned. Rather than forcing - the padding bytes to a safe value, we calculate the syndrome - for all the bytes, but then mask off those bits of the - syndrome that are related to the padding. */ - ld1 {vdata1.16b, vdata2.16b}, [src], #32 - neg tmp1, tmp1 - cmeq vhas_nul1.16b, vdata1.16b, #0 - cmeq vhas_chr1.16b, vdata1.16b, vrepchr.16b - cmeq vhas_nul2.16b, vdata2.16b, #0 - cmeq vhas_chr2.16b, vdata2.16b, vrepchr.16b - and vhas_nul1.16b, vhas_nul1.16b, vrepmask_0.16b - and vhas_chr1.16b, vhas_chr1.16b, vrepmask_c.16b - and vhas_nul2.16b, vhas_nul2.16b, vrepmask_0.16b - and vhas_chr2.16b, vhas_chr2.16b, vrepmask_c.16b - addp vhas_nul1.16b, vhas_nul1.16b, vhas_nul2.16b // 256->128 - addp vhas_chr1.16b, vhas_chr1.16b, vhas_chr2.16b // 256->128 - addp vhas_nul1.16b, vhas_nul1.16b, vhas_nul1.16b // 128->64 - addp vhas_chr1.16b, vhas_chr1.16b, vhas_chr1.16b // 128->64 - mov nul_match, vhas_nul1.2d[0] - lsl tmp1, tmp1, #1 - mov const_m1, #~0 - mov chr_match, vhas_chr1.2d[0] - lsr tmp3, const_m1, tmp1 - - bic nul_match, nul_match, tmp3 // Mask padding bits. - bic chr_match, chr_match, tmp3 // Mask padding bits. - cbnz nul_match, L(tail) - -L(loop): - cmp chr_match, #0 - csel src_match, src, src_match, ne - csel src_offset, chr_match, src_offset, ne -L(aligned): - ld1 {vdata1.16b, vdata2.16b}, [src], #32 - cmeq vhas_nul1.16b, vdata1.16b, #0 - cmeq vhas_chr1.16b, vdata1.16b, vrepchr.16b - cmeq vhas_nul2.16b, vdata2.16b, #0 - cmeq vhas_chr2.16b, vdata2.16b, vrepchr.16b - addp vend1.16b, vhas_nul1.16b, vhas_nul2.16b // 256->128 - and vhas_chr1.16b, vhas_chr1.16b, vrepmask_c.16b - and vhas_chr2.16b, vhas_chr2.16b, vrepmask_c.16b - addp vhas_chr1.16b, vhas_chr1.16b, vhas_chr2.16b // 256->128 - addp vend1.16b, vend1.16b, vend1.16b // 128->64 - addp vhas_chr1.16b, vhas_chr1.16b, vhas_chr1.16b // 128->64 - mov nul_match, vend1.2d[0] - mov chr_match, vhas_chr1.2d[0] - cbz nul_match, L(loop) - - and vhas_nul1.16b, vhas_nul1.16b, vrepmask_0.16b - and vhas_nul2.16b, vhas_nul2.16b, vrepmask_0.16b - addp vhas_nul1.16b, vhas_nul1.16b, vhas_nul2.16b - addp vhas_nul1.16b, vhas_nul1.16b, vhas_nul1.16b - mov nul_match, vhas_nul1.2d[0] + mov wtmp, 0x3003 + dup vrepmask.8h, wtmp + tst srcin, 15 + beq L(loop1) + + ld1 {vdata.16b}, [src], 16 + cmeq vhas_nul.16b, vdata.16b, 0 + cmeq vhas_chr.16b, vdata.16b, vrepchr.16b + mov wtmp, 0xf00f + dup vrepmask2.8h, wtmp + bit vhas_nul.16b, vhas_chr.16b, vrepmask.16b + and vhas_nul.16b, vhas_nul.16b, vrepmask2.16b + addp vend.16b, vhas_nul.16b, vhas_nul.16b + lsl shift, srcin, 2 + fmov synd, dend + lsr synd, synd, shift + lsl synd, synd, shift + ands nul_match, synd, 0xcccccccccccccccc + bne L(tail) + cbnz synd, L(loop2) + + .p2align 5 +L(loop1): + ld1 {vdata.16b}, [src], 16 + cmeq vhas_chr.16b, vdata.16b, vrepchr.16b + cmhs vhas_nul.16b, vhas_chr.16b, vdata.16b + umaxp vend.16b, vhas_nul.16b, vhas_nul.16b + fmov synd, dend + cbz synd, L(loop1) + + cmeq vhas_nul.16b, vdata.16b, 0 + bit vhas_nul.16b, vhas_chr.16b, vrepmask.16b + bic vhas_nul.8h, 0x0f, lsl 8 + addp vend.16b, vhas_nul.16b, vhas_nul.16b + fmov synd, dend + ands nul_match, synd, 0xcccccccccccccccc + beq L(loop2) L(tail): - /* Work out exactly where the string ends. */ - sub tmp4, nul_match, #1 - eor tmp4, tmp4, nul_match - ands chr_match, chr_match, tmp4 - /* And pick the values corresponding to the last match. */ - csel src_match, src, src_match, ne - csel src_offset, chr_match, src_offset, ne - - /* Count down from the top of the syndrome to find the last match. */ - clz tmp3, src_offset - /* Src_match points beyond the word containing the match, so we can - simply subtract half the bit-offset into the syndrome. Because - we are counting down, we need to go back one more character. */ - add tmp3, tmp3, #2 - sub result, src_match, tmp3, lsr #1 - /* But if the syndrome shows no match was found, then return NULL. */ - cmp src_offset, #0 + sub nul_match, nul_match, 1 + and chr_match, synd, 0x3333333333333333 + ands chr_match, chr_match, nul_match + sub result, src, 1 + clz tmp, chr_match + sub result, result, tmp, lsr 2 csel result, result, xzr, ne + ret + .p2align 4 +L(loop2): + cmp synd, 0 + csel src_match, src, src_match, ne + csel chr_match, synd, chr_match, ne + ld1 {vdata.16b}, [src], 16 + cmeq vhas_nul.16b, vdata.16b, 0 + cmeq vhas_chr.16b, vdata.16b, vrepchr.16b + bit vhas_nul.16b, vhas_chr.16b, vrepmask.16b + umaxp vend.16b, vhas_nul.16b, vhas_nul.16b + fmov synd, dend + tst synd, 0xcccccccccccccccc + beq L(loop2) + + bic vhas_nul.8h, 0x0f, lsl 8 + addp vend.16b, vhas_nul.16b, vhas_nul.16b + fmov synd, dend + and nul_match, synd, 0xcccccccccccccccc + sub nul_match, nul_match, 1 + and tmp, synd, 0x3333333333333333 + ands tmp, tmp, nul_match + csel chr_match, tmp, chr_match, ne + csel src_match, src, src_match, ne + sub src_match, src_match, 1 + clz tmp, chr_match + sub result, src_match, tmp, lsr 2 ret -L(null_search): - b __strchrnul END(strrchr) weak_alias (strrchr, rindex) -- 2.7.4