From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtpbgau2.qq.com (smtpbgau2.qq.com [54.206.34.216]) by sourceware.org (Postfix) with ESMTPS id 333283858D28 for ; Wed, 12 Apr 2023 11:37:26 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 333283858D28 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=rivai.ai Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=rivai.ai X-QQ-mid: bizesmtp67t1681299440t4aiofbc Received: from LAPTOP-EPITNQBU ( [58.60.1.20]) by bizesmtp.qq.com (ESMTP) with id ; Wed, 12 Apr 2023 19:37:19 +0800 (CST) X-QQ-SSF: 01400000000000F0O000000A0000000 X-QQ-FEAT: RmDZc/K2LPFSy7y4DARo1RSQd4IDLNRmkiACGOgCnQQ0djkDOH/zu0opJFgdW tdRe1XS246BtIxl7aA+ZCGsRAS6Ngys+Y4LYMDf9hdWyleu7NzzLCRXY0fiIVcz5wjZ1n7X XjkkD61DfVh3dgAMcofBgaF8GNAyBRsPaHnpFWCBxclqJ2HtrIrd9bwSSHvQw659YD1nznW BU60Yp+lmKDUnckXqbq2atjwj3RgMPi+B5UKHVUGGBHGZgZx/TnarAYsBNa4Z9x9lcyNFka zBJGMpxOjrcoZ8KjNMUJT8KnG36zwI51r5r6p76C2yxsn1YiSyEn/7Jb3e3zw98Lye+PQRg AG6LtJFB0LJvi6XvwGaIjMzbVhOJ29CNGdeOZpN9+mA+eK5eBw7vD3oUUZlrK5yKNoYwESQ c30CnP2rz6hekZg5jn5E/NO9vkxLFJDf X-QQ-GoodBg: 2 X-BIZMAIL-ID: 5124401357960544277 Date: Wed, 12 Apr 2023 19:37:19 +0800 From: "juzhe.zhong@rivai.ai" To: richard.sandiford , rguenther Cc: gcc-patches , jeffreyalaw , rdapp , linkw Subject: Re: Re: [PATCH] VECT: Add WHILE_LEN pattern for decrement IV support for auto-vectorization References: <20230407014741.139387-1-juzhe.zhong@rivai.ai>, <63723855B0BF2130+2023041120125573846623@rivai.ai>, , , <139DA38AFC9CA5B5+2023041216004591287739@rivai.ai>, , , , X-Priority: 3 X-GUID: 75321672-58DD-4AC0-9AC0-741E304AF88E X-Has-Attach: no X-Mailer: Foxmail 7.2.16.188[cn] Mime-Version: 1.0 Message-ID: Content-Type: multipart/alternative; boundary="----=_001_NextPart154371067187_=----" X-QQ-SENDSIZE: 520 Feedback-ID: bizesmtp:rivai.ai:qybglogicsvr:qybglogicsvr7 X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,HTML_MESSAGE,KAM_DMARC_STATUS,MIME_BASE64_TEXT,RCVD_IN_BARRACUDACENTRAL,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,RCVD_IN_SORBS_WEB,SPF_HELO_PASS,SPF_PASS,TXREP,T_KAM_HTML_FONT_INVALID autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: This is a multi-part message in MIME format. ------=_001_NextPart154371067187_=---- Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: base64 VGhhbmsgeW91LiBSaWNoYXJkLg0KDQoNCj4+IEkgdGhpbmsgdGhhdCBhbHJl YWR5IHdvcmtzIGZvciB0aGVtIChjb3VsZCBiZSBtaXNyZW1lbWJlcmluZyku DQo+PiBIb3dldmVyLCBJSVVDLCB0aGV5IGhhdmUgbm8gc3BlY2lhbCBpbnN0 cnVjdGlvbiB0byBjYWxjdWxhdGUgdGhlDQo+PiBsZW5ndGggKHVubGlrZSBm b3IgUlZWKSwgYW5kIHNvIGl0J3Mgb3Blbi1jb2RlZCB1c2luZyB2ZWN0X2dl dF9sZW4uDQoNClllYWgsIHRoZSBjdXJyZW50IGZsb3cgdXNpbmcgbWluLCBz dWIsIGFuZCB0aGVuIG1pbiBpbiB2ZWN0X2dldF9sZW4NCmlzIHdvcmtpbmcg Zm9yIElCTS4gQnV0IEkgd29uZGVyIHdoZXRoZXIgc3dpdGNoaW5nIHRoZSBj dXJyZW50IGZsb3cgb2YNCmxlbmd0aC1sb29wLWNvbnRyb2wgaW50byB0aGUg V0hJTEVfTEVOIHBhdHRlcm4gdGhhdCB0aGlzIHBhdGNoIGNhbiBpbXByb3Zl DQp0aGVpciBwZXJmb3JtYW5jZS4NCg0KPj4gKDEpIEhvdyBlYXN5IHdvdWxk IGl0IGJlIHRvIGV4cHJlc3MgV0hJTEVfTEVOIGluIG5vcm1hbCBnaW1wbGU/ DQo+PiAgICAgSSBoYXZlbid0IHRob3VnaHQgYWJvdXQgdGhpcyBhdCBhbGws IHNvIHRoZSBhbnN3ZXIgbWlnaHQgYmUNCj4+ICAgICAidmVyeSBoYXJkIi4g IEJ1dCBpdCByZW1pbmRzIG1lIGEgbGl0dGxlIG9mIFVRREVDIG9uIEFBcmNo NjQsDQo+PiAgICAgd2hpY2ggd2Ugb3Blbi1jb2RlIHVzaW5nIE1BWF9FWFBS IGFuZCBNSU5VU19FWFBSIChzZWUNCiA+PiAgICB2ZWN0X3NldF9sb29wX2Nv bnRyb2xzX2RpcmVjdGx5KS4NCg0KICA+PiAgIEknbSBub3Qgc2F5aW5nIFdI SUxFX0xFTiBpcyB0aGUgc2FtZSBvcGVyYXRpb24sIGp1c3QgdGhhdCBpdCBz ZWVtcw0KICA+PiAgIGxpa2UgaXQgbWlnaHQgYmUgb3Blbi1jb2RlYWJsZSBp biBhIHNpbWlsYXIgd2F5Lg0KDQogPj4gICAgRXZlbiBpZiB3ZSBjYW4gb3Bl bi1jb2RlIGl0LCB3ZSdkIHN0aWxsIG5lZWQgc29tZSB3YXkgZm9yIHRoZQ0K ICA+PiAgIHRhcmdldCB0byBzZWxlY3QgdGhlICJSVlYgd2F5IiBmcm9tIHRo ZSAiczM5MC9Qb3dlclBDIHdheSIuDQoNCldISUxFX0xFTiBpbiBkb2MgSSBk ZWZpbmUgaXMNCm9wZXJhbmQwID0gTUlOIChvcGVyYW5kMSwgb3BlcmFuZDIp b3BlcmFuZDEgaXMgdGhlIHJlc2lkdWFsIG51bWJlciBvZiBzY2FsYXIgZWxl bWVudHMgbmVlZCB0byBiZSB1cGRhdGVkLm9wZXJhbmQyIGlzIHZlY3Rvcml6 YXRpb24gZmFjdG9yICh2ZikgZm9yIHNpbmdsZSByZ3JvdXAuICAgICAgICAg aWYgbXVsdGlwbGUgcmdyb3VwIG9wZXJhbjIgPSB2ZiAqIG5pdGVtc19wZXJf Y3RybC5Zb3UgbWVhbiBzdWNoIHBhdHRlcm4gaXMgbm90IHdlbGwgZXhwcmVz c2VkIHNvIHdlIG5lZWQgdG8gcmVwbGFjZSBpdCB3aXRoIG5vcm1hbHRyZWUg Y29kZSAoTUlOIE9SIE1BWCkuIEFuZCBsZXQgUklTQy1WIGJhY2tlbmQgdG8g b3B0aW1pemUgdGhlbSBpbnRvIHZzZXR2bCA/U29ycnksIG1heWJlIEkgYW0g bm90IG9uIHRoZSBzYW1lIHBhZ2UuDQo+PiAoMikgV2hhdCBlZmZlY3QgZG9l cyB1c2luZyBhIHZhcmlhYmxlIElWIHN0ZXAgKHRoZSByZXN1bHQgb2YNCj4+ IHRoZSBXSElMRV9MRU4pIGhhdmUgb24gaXZvcHRzPyAgSSByZW1lbWJlciBl eHBlcmltZW50aW5nIHdpdGgNCj4+IHNvbWV0aGluZyBzaW1pbGFyIG9uY2Ug KGNhbid0IHJlbWVtYmVyIHRoZSBjb250ZXh0KSBhbmQgbm90DQo+PiBoYXZp bmcgYSBjb25zdGFudCBzdGVwIHByZXZlbnRlZCBpdm9wdHMgZnJvbSBtYWtp bmcgZ29vZA0KPj4gYWRkcmVzaW5nLW1vZGUgY2hvaWNlcy4NCg0KVGhhbmsg eW91IHNvIG11Y2ggZm9yIHBvaW50aW5nIG91dCB0aGlzLiBDdXJyZW50bHks IHZhcmlhbGJsZSBJViBzdGVwIGFuZCBkZWNyZWFzaW5nIG4gZG93biB0byAw IA0Kd29ya3MgZmluZSBmb3IgUklTQy1WIGRvd25zdHJlYW0gR0NDIGFuZCB3 ZSBkaWRuJ3QgZmluZCBpc3N1ZXMgcmVsYXRlZCBhZGRyZXNzaW5nLW1vZGUg Y2hvb3NpbmcuDQoNCkkgdGhpbmsgSSBtdXN0IG1pc3NlZCBzb21ldGhpbmcs IHdvdWxkIHlvdSBtaW5kIGdpdmluZyBtZSBzb21lIGhpbnRzIHNvIHRoYXQg SSBjYW4gc3R1ZHkgb24gaXZvcHRzDQp0byBmaW5kIG91dCB3aGljaCBjYXNl IG1heSBnZW5lcmF0ZSBpbmZlcmlvciBjb2RlZ2VucyBmb3IgdmFyaWFsYmxl IElWIHN0ZXA/DQoNClRoYW5rIHlvdSBzbyBtdWNoLg0KDQoNCmp1emhlLnpo b25nQHJpdmFpLmFpDQogDQpGcm9tOiBSaWNoYXJkIFNhbmRpZm9yZA0KRGF0 ZTogMjAyMy0wNC0xMiAxOToxNw0KVG86IFJpY2hhcmQgQmllbmVyDQpDQzog anV6aGUuemhvbmdcQHJpdmFpLmFpOyBnY2MtcGF0Y2hlczsgamVmZnJleWFs YXc7IHJkYXBwOyBsaW5rdw0KU3ViamVjdDogUmU6IFtQQVRDSF0gVkVDVDog QWRkIFdISUxFX0xFTiBwYXR0ZXJuIGZvciBkZWNyZW1lbnQgSVYgc3VwcG9y dCBmb3IgYXV0by12ZWN0b3JpemF0aW9uDQpSaWNoYXJkIEJpZW5lciA8cmd1 ZW50aGVyQHN1c2UuZGU+IHdyaXRlczoNCj4gT24gV2VkLCAxMiBBcHIgMjAy MywganV6aGUuemhvbmdAcml2YWkuYWkgd3JvdGU6DQo+DQo+PiANCj4+ID4+ IFRoYW5rcyBmb3IgdGhlIGRldGFpbGVkIGV4cGxhbmF0aW9uLiAgSnVzdCB0 byBjbGFyaWZ5IC0gd2l0aCBSVlYNCj4+ID4+IHRoZXJlJ3Mgb25seSBhIHNp bmdsZSBtYXNrIHJlZ2lzdGVyLCB2MC50LCBvciBkaWQgeW91IHdhbnQgdG8N Cj4+ID4+IHNheSBhbiBpbnN0cnVjdGlvbiBjYW4gb25seSBzcGVjaWZ5IGEg c2luZ2xlIG1hc2sgcmVnaXN0ZXI/DQo+PiANCj4+IFJWViBoYXMgMzIgKHYw fnYzMSkgdmVjdG9yIHJlZ2lzdGVyIGluIHRvdGFsLg0KPj4gV2UgY2FuIHN0 b3JlIHZlY3RvciBkYXRhIHZhbHVlIG9yIG1hc2sgdmFsdWUgaW4gYW55IG9m IHRoZW0uDQo+PiBXZSBhbHNvIGhhdmUgbWFzay1sb2dpYyBpbnN0cnVjdGlv biBmb3IgZXhhbXBsZSBtYXNrLWFuZCBiZXR3ZWVuIGFueSB2ZWN0b3IgcmVn aXN0ZXIuDQo+PiANCj4+IEhvd2V2ZXIsIGFueSB2ZWN0b3Igb3BlcmF0aW9u IGZvciBleGFtcGxlIGxpa2UgdmFkZC52diBjYW4gb25seSAgcHJlZGljYXRl ZCBieSB2MCAoaW4gYXNtIGlzIHYwLnQpIHdoaWNoIGlzIHRoZSBmaXJzdCB2 ZWN0b3IgcmVnaXN0ZXIuDQo+PiBXZSBjYW4gcHJlZGljYXRlIHZhZGQudnYg d2l0aCB2MSAtIHYzMS4NCj4+IA0KPj4gU28sIHlvdSBjYW4gaW1hZ2UgZXZl cnkgdGltZSB3ZSB3YW50IHRvIHVzZSBhIG1hc2sgdG8gcHJlZGljYXRlIGEg dmVjdG9yIG9wZXJhdGlvbiwgd2Ugc2hvdWxkIGFsd2F5cyBmaXJzdCBzdG9y ZSB0aGUgbWFzayB2YWx1ZQ0KPj4gaW50byB2MC4NCj4+IA0KPj4gU28sIHdl IGNhbiB3cml0ZSBpbnRyaW5zaWMgc2VxdWVuY2UgbGlrZSB0aGlzOg0KPj4g DQo+PiB2bXNlcSB2MCx2OCx2OSAoc3RvcmUgbWFzayB2YWx1ZSB0byB2MCkN Cj4+IHZtc2x0IHYxLHYxMCx2MTEgKHN0b3JlIG1hc2sgdmFsdWUgdG8gdjEp DQo+PiB2bWFuZCB2MCx2MCx2MQ0KPj4gdmFkZC52diAuLi52MC50IChwcmVk aWNhdGUgbWFzayBzaG91bGQgYWx3YXlzIGJlIG1hc2spLg0KPg0KPiBBaCwg SSBzZWUgLSB0aGF0IGV4cGxhaW5zIGl0IHdlbGwuDQo+DQo+PiA+PiBBUk0g U1ZFIHdvdWxkIGhhdmUgYSBsb29wIGNvbnRyb2wgbWFzayBhbmQgYSBzZXBh cmF0ZSBtYXNrDQo+PiA+PiBmb3IgdGhlIGlmIChjb25kW2ldKSB3aGljaCB3 b3VsZCBiZSBjb21iaW5lZCB3aXRoIGEgbWFzay1hbmQNCj4+ID4+IGluc3Ry dWN0aW9uIHRvIGEgdGhpcmQgbWFzayB3aGljaCBpcyB0aGVuIHVzZWQgb24g dGhlDQo+PiA+PiBwcmVkaWNhdGVkIGluc3RydWN0aW9ucy4NCj4+IA0KPj4g WWVhaCwgSSBrbm93IGl0LiBBUk0gU1ZFIHdheSBpcyBhIG1vcmUgZWxlZ2Fu dCB3YXkgdGhhbiBSVlYgZG8uIA0KPj4gSG93ZXZlciwgZm9yIFJWViwgd2Ug Y2FuJ3QgZm9sbG93IHRoaXMgZmxvdy4NCj4+IFdlIGRvbid0IGhhdmUgYSAg IndoaWxlbG8iIGluc3RydWN0aW9uIHRvIGdlbmVyYXRlIGxvb3AgY29udHJv bCBtYXNrLg0KPg0KPiBZZXAuICBTaW1pbGFyIGZvciBBVlg1MTIgd2hlcmUg SSBoYXZlIHRvIHVzZSBhIHZlY3RvciBjb21wYXJlLiAgSSdtDQo+IGN1cnJl bnRseSB1c2luZw0KPg0KPiAgeyAwLCAxLCAyIC4uLiB9IDwgeyByZW1haW5p bmdfbGVuLCByZW1haW5pbmdfbGVuLCAuLi4gfQ0KPg0KPiBhbmQgY2FyZWZ1 bCB1cGRhdGluZyBvZiByZW1haW5pbmdfbGVuICh3ZSBrbm93IGl0IHdpbGwg ZWl0aGVyDQo+IGJlIGFkanVzdGVkIGJ5IHRoZSBmdWxsIGNvbnN0YW50IHZl Y3RvciBsZW5ndGggb3IgdXBkYXRlZCB0byB6ZXJvKS4NCj4NCj4+IFdlIG9u bHkgY2FuIGRvIGxvb3AgY29udHJvbCB3aXRoIGxlbmd0aCBnZW5lcmF0ZWQg YnkgdnNldHZsLg0KPj4gQW5kIHdlIGNhbiBvbmx5IHVzZSAidjAiIHRvIG1h c2sgcHJlZGljYXRlIHZhZGQudnYsIGFuZCBtYXNrIHZhbHVlIGNhbiBvbmx5 IGdlbmVyYXRlZCBieSBjb21wYXJpc29uIG9yIG1hc2sgbG9naWNhbCBpbnN0 cnVjdGlvbnMuIA0KPj4gDQo+PiA+PiBQb3dlclBDIGFuZCBzMzkweCBtaWdo dCBiZSBhYmxlIHRvIHVzZSBXSElMRV9MRU4gYXMgd2VsbCAodGhvdWdoDQo+ PiA+PiB0aGV5IG9ubHkgaGF2ZSBMRU4gdmFyaWFudHMgb2YgbG9hZHMgYW5k IHN0b3JlcykgLSBvZiBjb3Vyc2UNCj4+ID4+IG9ubHkgInNpbXVsYXRpbmcg aXQiLiAgRm9yIHRoZSBmaXhlZC12ZWN0b3ItbGVuZ3RoIElTQXMgdGhlDQo+ PiA+PiBwcmVkaWNhdGVkIHZlY3RvciBsb29wIElNSE8gbWFrZXMgbW9zdCBz ZW5zZSBmb3IgdGhlIGVwaWxvZ3VlIHRvDQo+PiA+PiBoYW5kbGUgbG93LXRy aXAgbG9vcHMgYmV0dGVyLg0KPj4gDQo+PiBZZWFoLCBJIHdvbmRlciBob3cg dGhleSBkbyB0aGUgZmxvdyBjb250cm9sIChpZiAoY29uZFtpXSkpLiANCj4+ IEZvciBSVlYsIHlvdSBjYW4gaW1hZ2UgSSB3aWxsIG5lZWQgdG8gYWRkIGEg cGF0dGVybiBMRU5fTUFTS19MT0FEL0xFTl9NQVNLX1NUT1JFIChsZW5ndGgg Z2VuZXJhdGVkIGJ5IFdISUxFX0xFTiBhbmQgbWFzayBnZW5lcmF0ZWQgYnkg Y29tcGFyaXNvbikNCj4+IA0KPj4gSSB0aGluayB3ZSBjYW4gQ0MgSUJNIGZv bGtzIHRvIHNlZSB3aGV0aGVyIHdlIGNhbiBtYWtlIFdISUxFX0xFTiB3b3Jr cyANCj4+IGZvciBib3RoIElCTSBhbmQgUlZWID8NCj4NCj4gSSd2ZSBDQ2Vk IHRoZW0uICBBZGRpbmcgV0hJTEVfTEVOIHN1cHBvcnQgdG8gcnM2MDAwL3Mz OTB4IHdvdWxkIGJlDQo+IG1haW5seSB0aGUgImVhc3kiIHdheSB0byBnZXQg bGVuLW1hc2tlZCAoZXBpbG9nKSBsb29wIHN1cHBvcnQuDQogDQpJIHRoaW5r IHRoYXQgYWxyZWFkeSB3b3JrcyBmb3IgdGhlbSAoY291bGQgYmUgbWlzcmVt ZW1iZXJpbmcpLg0KSG93ZXZlciwgSUlVQywgdGhleSBoYXZlIG5vIHNwZWNp YWwgaW5zdHJ1Y3Rpb24gdG8gY2FsY3VsYXRlIHRoZQ0KbGVuZ3RoICh1bmxp a2UgZm9yIFJWViksIGFuZCBzbyBpdCdzIG9wZW4tY29kZWQgdXNpbmcgdmVj dF9nZXRfbGVuLg0KIA0KSSBzdXBwb3NlIG15IHR3byBxdWVzdGlvbnMgYXJl Og0KIA0KKDEpIEhvdyBlYXN5IHdvdWxkIGl0IGJlIHRvIGV4cHJlc3MgV0hJ TEVfTEVOIGluIG5vcm1hbCBnaW1wbGU/DQogICAgSSBoYXZlbid0IHRob3Vn aHQgYWJvdXQgdGhpcyBhdCBhbGwsIHNvIHRoZSBhbnN3ZXIgbWlnaHQgYmUN CiAgICAidmVyeSBoYXJkIi4gIEJ1dCBpdCByZW1pbmRzIG1lIGEgbGl0dGxl IG9mIFVRREVDIG9uIEFBcmNoNjQsDQogICAgd2hpY2ggd2Ugb3Blbi1jb2Rl IHVzaW5nIE1BWF9FWFBSIGFuZCBNSU5VU19FWFBSIChzZWUNCiAgICB2ZWN0 X3NldF9sb29wX2NvbnRyb2xzX2RpcmVjdGx5KS4NCiANCiAgICBJJ20gbm90 IHNheWluZyBXSElMRV9MRU4gaXMgdGhlIHNhbWUgb3BlcmF0aW9uLCBqdXN0 IHRoYXQgaXQgc2VlbXMNCiAgICBsaWtlIGl0IG1pZ2h0IGJlIG9wZW4tY29k ZWFibGUgaW4gYSBzaW1pbGFyIHdheS4NCiANCiAgICBFdmVuIGlmIHdlIGNh biBvcGVuLWNvZGUgaXQsIHdlJ2Qgc3RpbGwgbmVlZCBzb21lIHdheSBmb3Ig dGhlDQogICAgdGFyZ2V0IHRvIHNlbGVjdCB0aGUgIlJWViB3YXkiIGZyb20g dGhlICJzMzkwL1Bvd2VyUEMgd2F5Ii4NCiANCigyKSBXaGF0IGVmZmVjdCBk b2VzIHVzaW5nIGEgdmFyaWFibGUgSVYgc3RlcCAodGhlIHJlc3VsdCBvZg0K ICAgIHRoZSBXSElMRV9MRU4pIGhhdmUgb24gaXZvcHRzPyAgSSByZW1lbWJl ciBleHBlcmltZW50aW5nIHdpdGgNCiAgICBzb21ldGhpbmcgc2ltaWxhciBv bmNlIChjYW4ndCByZW1lbWJlciB0aGUgY29udGV4dCkgYW5kIG5vdA0KICAg IGhhdmluZyBhIGNvbnN0YW50IHN0ZXAgcHJldmVudGVkIGl2b3B0cyBmcm9t IG1ha2luZyBnb29kDQogICAgYWRkcmVzaW5nLW1vZGUgY2hvaWNlcy4NCiAN ClRoYW5rcywNClJpY2hhcmQNCiANCiANCiANCg== ------=_001_NextPart154371067187_=------