From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtpbguseast3.qq.com (smtpbguseast3.qq.com [54.243.244.52]) by sourceware.org (Postfix) with ESMTPS id CDBFE3857C52 for ; Thu, 22 Sep 2022 08:08:29 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org CDBFE3857C52 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: bizesmtp65t1663834104t0uski6v Received: from LAPTOP-EPITNQBU ( [58.60.1.3]) by bizesmtp.qq.com (ESMTP) with id ; Thu, 22 Sep 2022 16:08:24 +0800 (CST) X-QQ-SSF: 01400000000000D0J000000A0000000 X-QQ-FEAT: OE6UcXCtsg35WW6aOWVmjIiZ87R0AcoFVndOAbbgGhvBsSjQjItxC5JZpCa9j bHPCUMk8WOP01tugocX5oypCDWwVPd2ix6Kh3miQyPWq5WnAu/LUCOKBnkIbYqfDZbcmQK+ ACzaICfXrGfe38HS6Lt4KDCmhLUHokfuCwWxfIF8WeeCUVr6gSG3Cvl4uqeP+6sGKBG86dA J82RKav/tPQ6V0hkEcIz+4Myq4wk3JqwGMxV9ozzedJBt8BhMuX1tymwbASTQmsQ4uZJFHh vEak0VkoYhhyDxmCVmbfbCY1p5QOAp7x6qowwkhi8ep2sJd3z9ea81urmv81DzIT+iWR5eK rzwp+tn8E9wvYU1JLYYHteorUKwXI3IpYW11xgwhaoJj1pD4+UZON/MF3YN/8G+wxmAn137 JQuT2mghFw8CKJB/o1tctIpBmRik0r9K X-QQ-GoodBg: 2 Date: Thu, 22 Sep 2022 16:08:24 +0800 From: "juzhe.zhong@rivai.ai" To: rguenther Cc: gcc-patches Subject: Re: Re: [PATCH] DSE: Enhance dse with def-ref analysis References: <20220922070625.7197-1-juzhe.zhong@rivai.ai>, , , <2794D55ECC21EB61+2022092215574700429612@rivai.ai>, X-Priority: 3 X-GUID: 177B0885-A267-447E-901C-993214B26D97 X-Has-Attach: no X-Mailer: Foxmail 7.2.16.188[cn] Mime-Version: 1.0 Message-ID: Content-Type: multipart/alternative; boundary="----=_001_NextPart471384663770_=----" X-QQ-SENDSIZE: 520 Feedback-ID: bizesmtp:rivai.ai:qybglogicsvr:qybglogicsvr7 X-Spam-Status: No, score=-11.1 required=5.0 tests=BAYES_00,GIT_PATCH_0,HTML_MESSAGE,KAM_DMARC_STATUS,KAM_SHORT,RCVD_IN_BARRACUDACENTRAL,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,SPF_PASS,TXREP autolearn=ham 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_NextPart471384663770_=---- Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: base64 RG9lcyB5b3VyIGxvY2FsIGNvZGUgZXhjbHVkZSBteSBjb2Rlcz8NCkkgYW0g dXNpbmcgR0NDMTIuMi4gV2hlbiBJIGRlbGV0ZSBhbGwgbXkgY29kZXMgYW5k IGFwcGx5IHlvdXIgY29kZXMgb25seS4NCkl0IGZhaWxzIHRvIGRlbGV0ZSBy ZWR1bmRhbnQgc3RvcmVzIGFuZCBubyBhdXRvLXZlY290b3JpemF0aW9uIG9m IG15IFJWViBHQ0MgaW4gdGhpcyB0ZXN0LiANCkkgYW0gbm90IHN1cmUgd2hl dGhlciBJIGFtIG9uIHRoZSBzYW1lIHBhZ2Ugd2l0aCB5b3UuDQoNCg0KDQoN Cmp1emhlLnpob25nQHJpdmFpLmFpDQogDQpGcm9tOiBSaWNoYXJkIEJpZW5l cg0KRGF0ZTogMjAyMi0wOS0yMiAxNjowMQ0KVG86IGp1emhlLnpob25nQHJp dmFpLmFpDQpTdWJqZWN0OiBSZTogUmU6IFtQQVRDSF0gRFNFOiBFbmhhbmNl IGRzZSB3aXRoIGRlZi1yZWYgYW5hbHlzaXMNCk9uIFRodSwgMjIgU2VwIDIw MjIsIGp1emhlLnpob25nQHJpdmFpLmFpIHdyb3RlOg0KIA0KPiBJIHRyaWVk IHRoaXMgc29sdXRpb24geW91IGdhdmU6DQo+ID4+IGVsc2UgaWYgKHJlZl9t YXliZV91c2VkX2J5X3N0bXRfcCAodXNlX3N0bXQsIHJlZikpDQo+ID4+ICAg ew0KPiA+PiAgICAgICBpZiAoaXNfZ2ltcGxlX2Fzc2lnbiAodXNlX3N0bXQp KQ0KPiA+PiB7DQo+ID4+ICAgZGF0YV9yZWZlcmVuY2VfcCBkcmEsIGRyYjsN Cj4gPj4gICBkcmEgPSBjcmVhdGVfZGF0YV9yZWYgKE5VTEwsIE5VTEwsIHJl Zi0+cmVmLCBzdG10LA0KPiA+PiBmYWxzZSwgZmFsc2UpOw0KPiA+PiAgIGRy YiA9IGNyZWF0ZV9kYXRhX3JlZiAoTlVMTCwgTlVMTCwNCj4gPj4gZ2ltcGxl X2Fzc2lnbl9yaHMxICh1c2Vfc3RtdCksDQo+ID4+IHVzZV9zdG10LCBmYWxz ZSwgZmFsc2UpOw0KPiA+PiAgIGJvb2wgYWxpYXNfcCA9IGRyX21heV9hbGlh c19wIChkcmEsIGRyYiwgTlVMTCk7DQo+ID4+ICAgZnJlZV9kYXRhX3JlZiAo ZHJhKTsNCj4gPj4gICBmcmVlX2RhdGFfcmVmIChkcmIpOw0KPiA+PiAgIGlm ICghYWxpYXNfcCkNCj4gPj4gICAgIHsNCj4gPj4gICAgICAgaWYgKGdpbXBs ZV92ZGVmICh1c2Vfc3RtdCkpDQo+ID4+IGRlZnMuc2FmZV9wdXNoICh1c2Vf c3RtdCk7DQo+ID4+ICAgICAgIGNvbnRpbnVlOw0KPiA+PiAgICAgfQ0KPiA+ PiB9DQo+IA0KPiBJdCBzdGlsbCBmYWlscyB0byBkZWxldGUgdGhlIHJlZHVu ZGFudCBzdG9yZS4gVGhlIHJlYXNvbiBpcyB3aGVuIGNoZWNraW5nIHRoZSBy ZWR1bmRhbnQgc3RvcmUuDQo+IGl0IGRpZG4ndCBtYXRjaCB0aGUgY29uZHRp b246IHJlZl9tYXliZV91c2VkX2J5X3N0bXRfcCAodXNlX3N0bXQsIHJlZiku DQogDQpJdCBkb2VzIGZvciBtZToNCiANCiAgRGVsZXRlZCBkZWFkIHN0b3Jl OiBhW2lfMThdID0gXzU7DQogDQouLi4NCiANCiAgPGJiIDM+IDoNCiAgXzEg PSBiW2lfMThdOw0KICBfMiA9IGNbaV8xOF07DQogIF8zID0gZFtpXzE4XTsN CiAgXzQgPSBfMiAqIF8zOw0KICBfNSA9IF8xICsgXzQ7DQogIF84ID0gZVtp XzE4XTsNCiAgXzkgPSBfMyAqIF84Ow0KICBfMTAgPSBfNSArIF85Ow0KICBi W2lfMThdID0gXzEwOw0KICBfMTIgPSBpXzE4ICsgMTsNCiAgXzEzID0gYVtf MTJdOw0KICBfMTUgPSBfMyAqIF8xMzsNCiAgXzE2ID0gXzEwICsgXzE1Ow0K ICBhW2lfMThdID0gXzE2Ow0KIA0KdGhlIG90aGVyIHJlbGV2YW50IGZ1bmN0 aW9uIGlzIHN0bXRfa2lsbHNfcmVmX3AsIHRoYXQgb25lIGRvZXMNCmhhbmRs ZSBhW2lfMThdIHZzLiBhW2lfMThdIGp1c3QgZmluZS4NCiANCj4gTWF5YmUg d2Ugc2hvdWxkIGZpcnN0IGZpZ3VyZSB3aHkgaXQgZG9lc24ndCBzYXRpc2Z5 IHRoaXMgc2l0dWF0aW9uPw0KPiANCj4gDQo+IGp1emhlLnpob25nQHJpdmFp LmFpDQo+ICANCj4gRnJvbTogUmljaGFyZCBCaWVuZXINCj4gRGF0ZTogMjAy Mi0wOS0yMiAxNTo0NA0KPiBUbzogSnUtWmhlIFpob25nDQo+IENDOiBnY2Mt cGF0Y2hlczsgcmljaGFyZC5zYW5kaWZvcmQNCj4gU3ViamVjdDogUmU6IFtQ QVRDSF0gRFNFOiBFbmhhbmNlIGRzZSB3aXRoIGRlZi1yZWYgYW5hbHlzaXMN Cj4gT24gVGh1LCAyMiBTZXAgMjAyMiwgUmljaGFyZCBCaWVuZXIgd3JvdGU6 DQo+ICANCj4gPiBPbiBUaHUsIDIyIFNlcCAyMDIyLCBqdXpoZS56aG9uZ0By aXZhaS5haSB3cm90ZToNCj4gPiANCj4gPiA+IEZyb206IEp1LVpoZSBaaG9u ZyA8anV6aGUuemhvbmdAcml2YWkuYWk+DQo+ID4gPiANCj4gPiA+IFRoaXMg cGF0Y2ggZml4IGlzc3VlOiBQUiA5OTQwNw0KPiA+ID4gaHR0cHM6Ly9nY2Mu Z251Lm9yZy9idWd6aWxsYS9zaG93X2J1Zy5jZ2k/aWQ9OTk0MDcNCj4gPiA+ IA0KPiA+ID4gVGhlIGVuaGFuY2VtZW50IGltcGxlbWVudGF0aW9uIGlzIHNp bXBsZToNCj4gPiA+IDEuU2VhcmNoIGdpbXBsZSBzdGF0ZW1lbnQgaW4gcHJv Z3JhbSByZXZlcnNlIG9yZGVyLg0KPiA+ID4gMi5RdWV1ZSB0aGUgc3RvcmUg c3RhdGVtZW50IHdoaWNoIG1heSBiZSBwb3NzaWJsZSBraWxsIHRoZSBkZWYN Cj4gPiA+ICAgb2YgcHJldmlvdXMgc3RvcmUgc3RhdGVtZW50Lg0KPiA+ID4g My5QZXJmb3JtIGRzZV9kZWZfcmVmX2FuYWx5c2lzIHRvIHJlbW92ZSBzdG9y ZXMgd2lsbCBub3Qga2lsbA0KPiA+ID4gICBhbnkgZGVmLg0KPiA+ID4gICBG b3IgZXhhbXBsZToNCj4gPiA+ICAgICBhW2lfMThdID0gXzU7DQo+ID4gPiAg ICAgLi4uDQo+ID4gPiAgICAgZm9vICgmYSk7DQo+ID4gPiAgICAgYVtpXzE4 XSA9IF83Ow0KPiA+ID4gICAgIA0KPiA+ID4gICBhW2lfMThdID0gXzcgaXMg cXVldWVkIGF0IHRoZSBiZWdpbmluZyBhbmQgd2lsbCBiZSByZW1vdmVkDQo+ ID4gPiAgIGluIGRzZV9kZWZfcmVmX2FuYWx5c2lzLg0KPiA+ID4gNC5SZW1v dmUgdGhlIHN0b3JlIGlmIHRoZSBkZWYgaXMgY29uZmlybWVkIHRvIGJlIGtp bGxlZC4NCj4gPiANCj4gPiBCdXQgd2UgYWxyZWFkeSBkbyB0aGUgdmVyeSBz YW1lIHRoaW5nIGluIGRzZV9jbGFzc2lmeV9zdG9yZSwgSSBmYWlsDQo+ID4g dG8gc2VlIHdoeSB3ZSBuZWVkIHRvIGhhdmUgYW4gYWx0ZXJuYXRlIGltcGxl bWVudGF0aW9uPyAgSXQgYWxzbw0KPiA+IHNlZW1zIHRvIGJlIHF1YWRyYXRp YyBpbiB0aGUgc2l6ZSBvZiBhIGJhc2ljLWJsb2NrPw0KPiA+IA0KPiA+IFRo ZSBpc3N1ZSB3aXRoIGRzZV9jbGFzc2lmeV9zdG9yZSBpcyB0aGF0IGl0IHJl bGllcyBvbg0KPiA+IHJlZl9tYXliZV91c2VkX2J5X3N0bXRfcCBidXQgdGhh dCBkb2Vzbid0IGhhbmRsZQ0KPiA+IA0KPiA+ICBhW2ldID0gLi47DQo+ID4g IC4uID0gYVtpKzFdOw0KPiA+IA0KPiA+IGJ1dCB3aGVuIHNlZWluZyBhW18x XSB2cy4gYVtfMl0gKHR3byB2YXJpYWJsZSBvZmZzZXRzKSwgaXQgZ2l2ZXMN Cj4gPiB1cCwgYXNzZXJ0aW5nIG1heS1hbGlhc2luZy4gIFdlIGRvIGhhdmUg aW5mcmFzdHJ1Y3R1cmUgdG8gY2F0Y2gNCj4gPiBzdWNoIGNhc2VzIHdpdGgg ZGF0YSByZWZlcmVuY2UgYW5hbHlzaXMuICBJZiB3ZSB3YW50IHRvIGNhdGNo DQo+ID4gdGhlc2UgY2FzZXMgd2Ugc2hvdWxkIHVzZSB0aGF0IGluc3RlYWQu ICBHaXZlbiB3ZSBoYXZlIGENCj4gPiBEU0UvRENFIHBhc3MgcGFpciByaWdo dCBiZWZvcmUgbG9vcCBvcHRpbWl6YXRpb25zIHdlIGNvdWxkIGV2ZW4NCj4g PiBtb3ZlIHRob3NlIGluc2lkZSBvZiB0aGUgbG9vcCBwaXBlbGluZSBhbmQg cGVyZm9ybSB0aGlzIG1vcmUNCj4gPiBleHBlbnNpdmUgY2hlY2tzIGNvbmRp dGlvbmFsIG9uIGxvb3Avc2NldiBhdmFpbGFiaWxpdHkuDQo+ICANCj4gT2gs IGFuZCB3aGVuIGRvaW5nIG5vbi1sb29wIGF3YXJlIGFuYWx5c2lzIHdlIGRv bid0IG5lZWQgU0NFVi4gIFRoZQ0KPiBmb2xsb3dpbmcgb3B0aW1pemVzIHRo ZSB0ZXN0Y2FzZSBidXQgYXMgc2FpZCBJIGRvbid0IHRoaW5rIHdlIHdhbnQN Cj4gdG8gcGVyZm9ybSB0aGlzIGZvciBlYWNoIG9mIHRoZSBEU0UgcGFzc2Vz IHNpbmNlIGl0IGNhbiBiZSBzb21ld2hhdA0KPiBleHBlbnNpdmUsIGF0IGxl YXN0IHdpdGhvdXQgZG9pbmcgbW9yZSBjYWNoaW5nICh3ZSBjb3VsZCBrZWVw IGENCj4gc3RtdCAtPiBkYXRhLXJlZiBoYXNoLW1hcCBhbmQgY29tcHV0ZSBk YXRhLXJlZnMgYXQgbW9zdCBvbmNlIGZvciBlYWNoDQo+IHN0YXRlbWVudCwg dGhhdCB3b3VsZCBtYWtlIGl0IG1vcmUgYWNjZXB0YWJsZSkuDQo+ICANCj4g UmljaGFyZC4NCj4gIA0KPiBGcm9tIDUxNWIyMTNlOWQwNmMyYmQzNjE2MGU2 NjcyOGY1N2U0ODA5NWJiODQgTW9uIFNlcCAxNyAwMDowMDowMCAyMDAxDQo+ IEZyb206IFJpY2hhcmQgQmllbmVyIDxyZ3VlbnRoZXJAc3VzZS5kZT4NCj4g RGF0ZTogVGh1LCAyMiBTZXAgMjAyMiAwOTo0MDo0MCArMDIwMA0KPiBTdWJq ZWN0OiBbUEFUQ0hdIHRyZWUtb3B0aW1pemF0aW9uLzk5NDA3IC0gRFNFIHdp dGggZGF0YS1yZWYgYW5hbHlzaXMNCj4gVG86IGdjYy1wYXRjaGVzQGdjYy5n bnUub3JnDQo+ICANCj4gKiB0cmVlLXNzYS1kc2UuYyAoZHNlX2NsYXNzaWZ5 X3N0b3JlKTogVXNlIGRhdGEtcmVmIGFuYWx5c2lzDQo+IHRvIGRpc2FtYmln dWF0ZSBtb3JlIHVzZXMuDQo+IC0tLQ0KPiBnY2MvdHJlZS1zc2EtZHNlLmNj IHwgMjEgKysrKysrKysrKysrKysrKysrKysrDQo+IDEgZmlsZSBjaGFuZ2Vk LCAyMSBpbnNlcnRpb25zKCspDQo+ICANCj4gZGlmZiAtLWdpdCBhL2djYy90 cmVlLXNzYS1kc2UuY2MgYi9nY2MvdHJlZS1zc2EtZHNlLmNjDQo+IGluZGV4 IDM0Y2ZkMWE4ODAyLi4zNDBhNTRmNDEwNSAxMDA2NDQNCj4gLS0tIGEvZ2Nj L3RyZWUtc3NhLWRzZS5jYw0KPiArKysgYi9nY2MvdHJlZS1zc2EtZHNlLmNj DQo+IEBAIC00NSw2ICs0NSw4IEBAIGFsb25nIHdpdGggR0NDOyBzZWUgdGhl IGZpbGUgQ09QWUlORzMuICBJZiBub3Qgc2VlDQo+ICNpbmNsdWRlICJpcGEt bW9kcmVmLmgiDQo+ICNpbmNsdWRlICJ0YXJnZXQuaCINCj4gI2luY2x1ZGUg InRyZWUtc3NhLWxvb3Atbml0ZXIuaCINCj4gKyNpbmNsdWRlICJjZmdsb29w LmgiDQo+ICsjaW5jbHVkZSAidHJlZS1kYXRhLXJlZi5oIg0KPiAvKiBUaGlz IGZpbGUgaW1wbGVtZW50cyBkZWFkIHN0b3JlIGVsaW1pbmF0aW9uLg0KPiBA QCAtMTAxOSw2ICsxMDIxLDI1IEBAIGRzZV9jbGFzc2lmeV9zdG9yZSAoYW9f cmVmICpyZWYsIGdpbXBsZSAqc3RtdCwNCj4gICAvKiBJZiB0aGUgc3RhdGVt ZW50IGlzIGEgdXNlIHRoZSBzdG9yZSBpcyBub3QgZGVhZC4gICovDQo+ICAg ZWxzZSBpZiAocmVmX21heWJlX3VzZWRfYnlfc3RtdF9wICh1c2Vfc3RtdCwg cmVmKSkNCj4gICAgIHsNCj4gKyAgICAgICBpZiAoaXNfZ2ltcGxlX2Fzc2ln biAodXNlX3N0bXQpKQ0KPiArIHsNCj4gKyAgIGRhdGFfcmVmZXJlbmNlX3Ag ZHJhLCBkcmI7DQo+ICsgICBkcmEgPSBjcmVhdGVfZGF0YV9yZWYgKE5VTEws IE5VTEwsIHJlZi0+cmVmLCBzdG10LA0KPiArIGZhbHNlLCBmYWxzZSk7DQo+ ICsgICBkcmIgPSBjcmVhdGVfZGF0YV9yZWYgKE5VTEwsIE5VTEwsDQo+ICsg Z2ltcGxlX2Fzc2lnbl9yaHMxICh1c2Vfc3RtdCksDQo+ICsgdXNlX3N0bXQs IGZhbHNlLCBmYWxzZSk7DQo+ICsgICBib29sIGFsaWFzX3AgPSBkcl9tYXlf YWxpYXNfcCAoZHJhLCBkcmIsIE5VTEwpOw0KPiArICAgZnJlZV9kYXRhX3Jl ZiAoZHJhKTsNCj4gKyAgIGZyZWVfZGF0YV9yZWYgKGRyYik7DQo+ICsgICBp ZiAoIWFsaWFzX3ApDQo+ICsgICAgIHsNCj4gKyAgICAgICBpZiAoZ2ltcGxl X3ZkZWYgKHVzZV9zdG10KSkNCj4gKyBkZWZzLnNhZmVfcHVzaCAodXNlX3N0 bXQpOw0KPiArICAgICAgIGNvbnRpbnVlOw0KPiArICAgICB9DQo+ICsgfQ0K PiArDQo+ICAgICAgIC8qIEhhbmRsZSBjb21tb24gY2FzZXMgd2hlcmUgd2Ug Y2FuIGVhc2lseSBidWlsZCBhbiBhb19yZWYNCj4gc3RydWN0dXJlIGZvciBV U0VfU1RNVCBhbmQgaW4gZG9pbmcgc28gd2UgZmluZCB0aGF0IHRoZQ0KPiBy ZWZlcmVuY2VzIGhpdCBub24tbGl2ZSBieXRlcyBhbmQgdGh1cyBjYW4gYmUg aWdub3JlZC4NCj4gDQogDQotLSANClJpY2hhcmQgQmllbmVyIDxyZ3VlbnRo ZXJAc3VzZS5kZT4NClNVU0UgU29mdHdhcmUgU29sdXRpb25zIEdlcm1hbnkg R21iSCwgRnJhbmtlbnN0cmFzc2UgMTQ2LCA5MDQ2MSBOdWVybmJlcmcsDQpH ZXJtYW55OyBHRjogSXZvIFRvdGV2LCBBbmRyZXcgTXllcnMsIEFuZHJldyBN Y0RvbmFsZCwgQm91ZGllbiBNb2VybWFuOw0KSFJCIDM2ODA5IChBRyBOdWVy bmJlcmcpDQogDQo= ------=_001_NextPart471384663770_=------