From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from xry111.site (xry111.site [IPv6:2001:470:683e::1]) by sourceware.org (Postfix) with ESMTPS id 28E39385840E for ; Sun, 27 Nov 2022 09:03:49 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 28E39385840E Authentication-Results: sourceware.org; dmarc=pass (p=reject dis=none) header.from=xry111.site Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=xry111.site DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=xry111.site; s=default; t=1669539826; bh=WppLlXv60/673xJbs1LnvUkeQdRdqOFr3eFnGR9PZxU=; h=Subject:From:To:Date:In-Reply-To:References:From; b=gR7jT1LZD+niB0KeF2Qk6PRuCbrqmfql3n+QnjYgmEOCnQRvjdimg3NmhYb42a/QL 4s0lZFwmXVIzvOPzg2wVfYNEuOjT5AvKKpi81czri5fV7l9ibimrj7uNM93f8L/Ejc AA+utLoAJmvEC2ERy9POzzXAAoD8O6uLXpHGA2ow= Received: from [IPv6:240e:358:11cb:3100:dc73:854d:832e:3] (unknown [IPv6:240e:358:11cb:3100:dc73:854d:832e:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature ECDSA (P-384) server-digest SHA384) (Client did not present a certificate) (Authenticated sender: xry111@xry111.site) by xry111.site (Postfix) with ESMTPSA id C20DE65AFA; Sun, 27 Nov 2022 04:03:44 -0500 (EST) Message-ID: <7a515731425f6e768e1c76a257b62e12c3c3e8dd.camel@xry111.site> Subject: Re: [PATCH] rtl: add predicates for addition, subtraction & multiplication From: Xi Ruoyao To: Charlie Sale , gcc-patches@gcc.gnu.org Date: Sun, 27 Nov 2022 17:03:37 +0800 In-Reply-To: <20221127021613.432881-1-softwaresale01@gmail.com> References: <20221127021613.432881-1-softwaresale01@gmail.com> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 User-Agent: Evolution 3.46.0 MIME-Version: 1.0 X-Spam-Status: No, score=-5.9 required=5.0 tests=BAYES_00,BODY_8BITS,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FROM_SUSPICIOUS_NTLD,GIT_PATCH_0,LIKELY_SPAM_FROM,PDS_OTHER_BAD_TLD,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: T24gU2F0LCAyMDIyLTExLTI2IGF0IDIxOjE2IC0wNTAwLCBDaGFybGllIFNhbGUgdmlhIEdjYy1w YXRjaGVzIHdyb3RlOgo+IFRoaXMgaXMgbXkgZmlyc3QgY29udHJpYnV0aW9uIHRvIEdDQyA6KSBv bmUgb2YgdGhlIGJlZ2lubmVyIHByb2plY3RzCj4gc3VnZ2VzdGVkIG9uIHRoZSB3ZWJzaXRlIHdh cyB0byBhZGQgYW5kIHVzZSBSVEwgdHlwZSBwcmVkaWNhdGVzLiBJCj4gYWRkZWQgcHJlZGljYXRl cyBmb3IgYWRkaXRpb24sIHN1YnRyYWN0aW9uIGFuZCBtdWx0aXBsaWNhdGlvbi4gSSBhbHNvCj4g d2VudCB0aHJvdWdoIGFuZCB1c2VkIHRoZW0gaW4gdGhlIGNvZGUuCj4gCj4gSSBkaWQgbm90IGFk ZCB0ZXN0cyBiZWNhdXNlIEknbSBub3QgYWRkZGluZy9tb2RpZnlpbmcgYW55IGJlaGF2aW9yLgo+ IEFsbCBleGlzdGluZ3MgdGVzdHMgZGlkIHBhc3MuCj4gCj4gTGlrZSBJIHNhaWQsIHRoaXMgaXMg bXkgZmlyc3QgcGF0Y2guIFBsZWFzZSBsZXQgbWUga25vdyBpZiBJIGRpZAo+IGFueXRoaW5nIHdy b25nIG9yIGlmIHRoZXJlJ3MgYW55dGhpbmcgSSBjYW4gaW1wcm92ZSBmb3IgbmV4dCB0aW1lLgo+ IAo+IFNpZ25lZC1vZmYtYnk6IENoYXJsaWUgU2FsZSA8c29mdHdhcmVzYWxlMDFAZ21haWwuY29t Pgo+IC0tLQo+IMKgZ2NjL0NoYW5nZUxvZ8KgwqDCoMKgwqDCoMKgwqDCoMKgwqAgfMKgIDQzICsr KysrKysKPiDCoGdjYy9hbGlhcy5jY8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCB8wqAgMzAgKysr LS0KPiDCoGdjYy9hdXRvLWluYy1kZWMuY2PCoMKgwqDCoMKgIHzCoCAxMSArLQo+IMKgZ2NjL2Nh bGxzLmNjwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIHzCoMKgIDggKy0KPiDCoGdjYy9jZmdleHBh bmQuY2PCoMKgwqDCoMKgwqDCoMKgIHzCoCAxNiArLS0KPiDCoGdjYy9jb21iaW5lLXN0YWNrLWFk ai5jYyB8wqAgMzkgKysrLS0tLQo+IMKgZ2NjL2NvbWJpbmUuY2PCoMKgwqDCoMKgwqDCoMKgwqDC oCB8IDI0MSArKysrKysrKysrKysrKysrKy0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KPiDCoGdjYy9j b21wYXJlLWVsaW0uY2PCoMKgwqDCoMKgIHzCoMKgIDMgKy0KPiDCoGdjYy9jc2UuY2PCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgIHzCoCA2NiArKysrKy0tLS0tLQo+IMKgZ2NjL2NzZWxpYi5j Y8KgwqDCoMKgwqDCoMKgwqDCoMKgwqAgfMKgIDM3ICsrKy0tLQo+IMKgZ2NjL2RjZS5jY8KgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgfMKgwqAgNCArLQo+IMKgZ2NjL2R3YXJmMmNmaS5jY8Kg wqDCoMKgwqDCoMKgwqAgfMKgwqAgMiArLQo+IMKgZ2NjL2R3YXJmMm91dC5jY8KgwqDCoMKgwqDC oMKgwqAgfMKgIDExICstCj4gwqBnY2MvZW1pdC1ydGwuY2PCoMKgwqDCoMKgwqDCoMKgwqAgfMKg wqAgNiArLQo+IMKgZ2NjL2V4cGxvdy5jY8KgwqDCoMKgwqDCoMKgwqDCoMKgwqAgfMKgIDMxICsr LS0tCj4gwqBnY2MvZXhwci5jY8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIHzCoCAyMyArKy0t Cj4gwqBnY2MvZmluYWwuY2PCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgfMKgIDIwICsrLS0KPiDC oGdjYy9mdW5jdGlvbi5jY8KgwqDCoMKgwqDCoMKgwqDCoCB8wqDCoCA3ICstCj4gwqBnY2MvZndw cm9wLmNjwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCB8wqDCoCAyICstCj4gwqBnY2MvaGFpZmEtc2No ZWQuY2PCoMKgwqDCoMKgwqAgfMKgIDEwICstCj4gwqBnY2MvaWZjdnQuY2PCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqAgfMKgIDExICstCj4gwqBnY2MvaXJhLmNjwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoCB8wqDCoCA2ICstCj4gwqBnY2MvbG9vcC1kb2xvb3AuY2PCoMKgwqDCoMKgwqAgfMKg IDcwICsrKysrKy0tLS0tLQo+IMKgZ2NjL2xvb3AtaXYuY2PCoMKgwqDCoMKgwqDCoMKgwqDCoCB8 wqAgMjEgKy0tLQo+IMKgZ2NjL2xyYS1jb25zdHJhaW50cy5jY8KgwqAgfMKgIDM0ICsrKy0tLQo+ IMKgZ2NjL2xyYS1lbGltaW5hdGlvbnMuY2PCoCB8wqAgMjUgKystLQo+IMKgZ2NjL2xyYS5jY8Kg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgfMKgwqAgNiArLQo+IMKgZ2NjL21vZHVsby1zY2hl ZC5jY8KgwqDCoMKgwqAgfMKgwqAgMiArLQo+IMKgZ2NjL3Bvc3RyZWxvYWQuY2PCoMKgwqDCoMKg wqDCoCB8wqAgMjUgKystLQo+IMKgZ2NjL3JlZ2luZm8uY2PCoMKgwqDCoMKgwqDCoMKgwqDCoCB8 wqAgMTIgKy0KPiDCoGdjYy9yZWxvYWQuY2PCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIHwgMTgwICsr KysrKysrKysrKystLS0tLS0tLS0tLS0tLS0tCj4gwqBnY2MvcmVsb2FkMS5jY8KgwqDCoMKgwqDC oMKgwqDCoMKgIHzCoCA4NSArKysrKystLS0tLS0tLQo+IMKgZ2NjL3Jlb3JnLmNjwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgIHzCoCAxMiArLQo+IMKgZ2NjL3J0bC5jY8KgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqAgfMKgwqAgMyArLQo+IMKgZ2NjL3J0bC5owqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgIHzCoCAxMSArKwo+IMKgZ2NjL3J0bGFuYWwuY2PCoMKgwqDCoMKgwqDCoMKgwqDC oCB8wqAgMjUgKystLQo+IMKgZ2NjL3NjaGVkLWRlcHMuY2PCoMKgwqDCoMKgwqDCoCB8wqDCoCA4 ICstCj4gwqBnY2Mvc2ltcGxpZnktcnR4LmNjwqDCoMKgwqDCoCB8IDE0MyArKysrKysrKystLS0t LS0tLS0tLS0tLQo+IMKgZ2NjL3Zhci10cmFja2luZy5jY8KgwqDCoMKgwqAgfMKgIDM3ICsrKy0t LQo+IMKgMzkgZmlsZXMgY2hhbmdlZCwgNTk1IGluc2VydGlvbnMoKyksIDczMSBkZWxldGlvbnMo LSkKPiAKPiBkaWZmIC0tZ2l0IGEvZ2NjL0NoYW5nZUxvZyBiL2djYy9DaGFuZ2VMb2cKCkRvIG5v dCBlZGl0IHRoaXMgZmlsZS4gIEl0J3MgYXV0b21hdGljYWxseSBnZW5lcmF0ZWQgZnJvbSBHaXQg Y29tbWl0CmxvZy4gIFdyaXRlIHRoZSBDaGFuZ2VMb2cgZW50cmllcyBpbiB0aGUgY29tbWl0IG1l c3NhZ2UgaW5zdGVhZC4KIAovKiBzbmlwICovCgo+IC3CoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg cmV0dXJuIHNpbXBsaWZ5X2dlbl9iaW5hcnkgKEdFVF9DT0RFICh4KSwgR0VUX01PREUgKHgpLAo+ IC3CoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBvcDAsIFhFWFAgKHgsIDEpKTsKPiArwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgIHJldHVybiBzaW1wbGlmeV9nZW5fYmluYXJ5IChHRVRfQ09ERSAoeCks IEdFVF9NT0RFICh4KSwgb3AwLAo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBYRVhQICh4LCAx KSk7CgpEb24ndCB1cGRhdGUgdGhpbmdzIGlycmVsZXZhbnQgdG8geW91ciB0b3BpYyBzdGVhbHRo eS4KCi8qIHNuaXAgKi8KCj4gLcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqAgJiYgKHQgPSBnZXRfcmVnX2tub3duX3ZhbHVlIChSRUdOTyAo WEVYUCAoc3JjLCAwKSkpKQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgICYmICh0ID0gZ2V0X3JlZ19rbm93bl92YWx1ZSAoCj4gK8Kg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqAgUkVHTk8gKFhFWFAgKHNyYywgMCkpKSkKCkxpa2V3aXNlLgoKLyogc25pcCAq LwoKPiAtwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIG9wMCA9IGV4cGFuZF9kZWJ1Z19leHByIChU UkVFX09QRVJBTkQgKFRSRUVfT1BFUkFORCAoZXhwLCAwKSwKPiAtwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDApKTsKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgIG9wMCA9IGV4cGFuZF9kZWJ1Z19leHByIChUUkVFX09QRVJBTkQgKFRSRUVfT1BFUkFORCAo ZXhwLCAwKSwgMCkpOwoKTGlrZXdpc2UuCgovKiBzbmlwICovCgo+IC3CoMKgwqDCoMKgwqDCoMKg IGVsc2UgaWYgKGRlc3QgPT0gc3RhY2tfcG9pbnRlcl9ydHgKPiAtwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoCAmJiBSRUdfUCAoc3JjKQo+ICvCoMKgwqDCoMKgwqDCoMKgIGVsc2Ug aWYgKGRlc3QgPT0gc3RhY2tfcG9pbnRlcl9ydHggJiYgUkVHX1AgKHNyYykKCkxpa2V3aXNlLCBh bmQgR0NDIGhhcyBpdHMgb3duIGNvZGluZyBzdHlsZSB3aGljaCBpcyBub3QgIndoYXQgbG9va3MK YmV0dGVyIGluIHlvdXIgb3BpbmlvbiIuCgpJJ2xsIHN0b3AgcmVhZGluZyB0aGUgcGF0Y2ggaGVy ZSBiZWNhdXNlIGl0J3MgdG9vIGxvbmcgYW5kIHRoZXJlIGlzCmFscmVhZHkgdG9vIG11Y2ggc3Rl YWx0aCBjaGFuZ2VzLgoKVHJ5IHRvIGJyZWFrIHRoZSBwYXRjaCBpbnRvIGEgc2VyaWVzIG9mIG11 bHRpcGxlIHNtYWxsIHBhdGNoZXMgYmVjYXVzZQppdCdzIGRpZmZpY3VsdCB0byByZXZpZXcgYSB2 ZXJ5IGxhcmdlIGRpZmYuCgpEbyBub3QgcmFuZG9tbHkgbW9kaWZ5IGNvZGluZyBzdHlsZS4gIEV2 ZW4gaWYgeW91IGhhdmUgYSBnb29kIHJlYXNvbiB0bwptYWtlIHN0eWxlIGNoYW5nZXMsIHlvdSBz aG91bGQgc3VibWl0IHRoZW0gYXMgYSBzZXBhcmF0ZSBwYXRjaCAob3IKc2VwYXJhdGUgcGF0Y2gg c2VyaWVzKSBiZWNhdXNlIG1peGluZyBzdHlsZSBjaGFuZ2VzIGFuZCByZWFsIGNvZGUKY2hhbmdl cyBtYWtlcyBpdCBkaWZmaWN1bHQgdG8gcmV2aWV3IHRoZSBjb2RlLgoKLS0gClhpIFJ1b3lhbyA8 eHJ5MTExQHhyeTExMS5zaXRlPgpTY2hvb2wgb2YgQWVyb3NwYWNlIFNjaWVuY2UgYW5kIFRlY2hu b2xvZ3ksIFhpZGlhbiBVbml2ZXJzaXR5Cg==