From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-qt1-x829.google.com (mail-qt1-x829.google.com [IPv6:2607:f8b0:4864:20::829]) by sourceware.org (Postfix) with ESMTPS id 5865D3954C04 for ; Thu, 29 Apr 2021 13:29:27 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 5865D3954C04 Received: by mail-qt1-x829.google.com with SMTP id f12so49080796qtf.2 for ; Thu, 29 Apr 2021 06:29:27 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=GPg11UwC99HGI9nUcuqJjI1/Qdyrc0prxJ0m0CHOsVs=; b=Jjms24cud/jXwh+J5wIedjgpUZJSxdLHtHmFhhKn4CM1aOMVM4qAfiPU+4wcMuM8Mf JlJGcANuMKaQkQTVqswmr8e6x6257EogvOzXOB9VE/IN81nuVS74VCrgwgSjFk9FChtC LSXG5kw+MWZvNkeV96sO/LPC9C/x5LbOybqNXiGbhxhHtKbnjn3yKpTK1AX6k2huJh/Q E2mKtUCUXS5Xd6Zo+2fex8u+8pmUqwcyWbFpKIiEsyKtlD4oca1Dy/oKDviUCmqVG3ql G74Nu7bXxT3EPvvmfCz0DOzY23NmV/SpPb1DHafpONdm29kVkDiXyN8272noQCu1hoei NfZg== X-Gm-Message-State: AOAM530HE8/4blZ/QHP+IPVHu3dmTUQBBoXoohWueaPl0JVRAD3pz7wo 4ktCpqwl0/qqHzt4oJL3DMQd9m84UmIMAoWoK8k6Ris+5YJRwg== X-Google-Smtp-Source: ABdhPJxSoWCVUaRByhs4tKNyJFE/RXqpM8hswv99pZTCRvg2WUPQ9KqR2GqKMvQZgWYkOKz9bpxXnjkvVMhhaydZWoc= X-Received: by 2002:a05:622a:243:: with SMTP id c3mr31763843qtx.225.1619702966496; Thu, 29 Apr 2021 06:29:26 -0700 (PDT) MIME-Version: 1.0 From: Uros Bizjak Date: Thu, 29 Apr 2021 15:29:14 +0200 Message-ID: Subject: [PATCH] i386: Cleanup comparison predicates. To: "gcc-patches@gcc.gnu.org" Content-Type: multipart/mixed; boundary="000000000000f5d54a05c11c7be3" X-Spam-Status: No, score=0.5 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP, UNWANTED_LANGUAGE_BODY 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-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 29 Apr 2021 13:29:28 -0000 --000000000000f5d54a05c11c7be3 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable CCCmode is allowed only with GEU and LTU comparison codes. Also allow CCGZmode for these two codes. There is no need to check for trivial FP comparison operator, ix86_fp_compare_code_to_integer will return UNKNOWN code for unsupported operators. 2021-04-29 Uro=C5=A1 Bizjak gcc/ * config/i386/predicates.md (fcmov_comparison_operator): Do not check for trivial FP comparison operator. : Allow CCGZmode. : Do not allow CCCmode. (ix86_comparison_operator) : Allow only CCmode. (ix86_carry_flag_operator): Match only LTU and UNLT code. Do not check for trivial FP comparison operator. Allow CCGZmode. Bootstrapped and regression tested on x86_64-linux-gnu {,-m32}. Pushed to master. Uros. --000000000000f5d54a05c11c7be3 Content-Type: text/plain; charset="US-ASCII"; name="p.diff.txt" Content-Disposition: attachment; filename="p.diff.txt" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_ko2xb2450 ZGlmZiAtLWdpdCBhL2djYy9jb25maWcvaTM4Ni9wcmVkaWNhdGVzLm1kIGIvZ2NjL2NvbmZpZy9p Mzg2L3ByZWRpY2F0ZXMubWQKaW5kZXggYjFkZjg1NDhhZjYuLjA0YTAzYTcwYjQ2IDEwMDY0NAot LS0gYS9nY2MvY29uZmlnL2kzODYvcHJlZGljYXRlcy5tZAorKysgYi9nY2MvY29uZmlnL2kzODYv cHJlZGljYXRlcy5tZApAQCAtMTM1MiwxNiArMTM1MiwxNyBAQCAoZGVmaW5lX3ByZWRpY2F0ZSAi ZmNtb3ZfY29tcGFyaXNvbl9vcGVyYXRvciIKICAgZW51bSBydHhfY29kZSBjb2RlID0gR0VUX0NP REUgKG9wKTsKIAogICBpZiAoaW5tb2RlID09IENDRlBtb2RlKQotICAgIHsKLSAgICAgIGlmICgh aXg4Nl90cml2aWFsX2ZwX2NvbXBhcmlzb25fb3BlcmF0b3IgKG9wLCBtb2RlKSkKLQlyZXR1cm4g ZmFsc2U7Ci0gICAgICBjb2RlID0gaXg4Nl9mcF9jb21wYXJlX2NvZGVfdG9faW50ZWdlciAoY29k ZSk7Ci0gICAgfQorICAgIGNvZGUgPSBpeDg2X2ZwX2NvbXBhcmVfY29kZV90b19pbnRlZ2VyIChj b2RlKTsKKwogICAvKiBpMzg3IHN1cHBvcnRzIGp1c3QgbGltaXRlZCBhbW91bnQgb2YgY29uZGl0 aW9uYWwgY29kZXMuICAqLwogICBzd2l0Y2ggKGNvZGUpCiAgICAgewotICAgIGNhc2UgTFRVOiBj YXNlIEdUVTogY2FzZSBMRVU6IGNhc2UgR0VVOgotICAgICAgaWYgKGlubW9kZSA9PSBDQ21vZGUg fHwgaW5tb2RlID09IENDRlBtb2RlIHx8IGlubW9kZSA9PSBDQ0Ntb2RlKQorICAgIGNhc2UgR0VV OiBjYXNlIExUVToKKyAgICAgIGlmIChpbm1vZGUgPT0gQ0NDbW9kZSB8fCBpbm1vZGUgPT0gQ0NH Wm1vZGUpCisJcmV0dXJuIHRydWU7CisgICAgICAvKiBGQUxMVEhSVSAqLworICAgIGNhc2UgR1RV OiBjYXNlIExFVToKKyAgICAgIGlmIChpbm1vZGUgPT0gQ0Ntb2RlIHx8IGlubW9kZSA9PSBDQ0ZQ bW9kZSkKIAlyZXR1cm4gdHJ1ZTsKICAgICAgIHJldHVybiBmYWxzZTsKICAgICBjYXNlIE9SREVS RUQ6IGNhc2UgVU5PUkRFUkVEOgpAQCAtMTQxOCwxMSArMTQxOSwxMSBAQCAoZGVmaW5lX3ByZWRp Y2F0ZSAiaXg4Nl9jb21wYXJpc29uX29wZXJhdG9yIgogCXJldHVybiB0cnVlOwogICAgICAgcmV0 dXJuIGZhbHNlOwogICAgIGNhc2UgR0VVOiBjYXNlIExUVToKLSAgICAgIGlmIChpbm1vZGUgPT0g Q0NHWm1vZGUpCisgICAgICBpZiAoaW5tb2RlID09IENDQ21vZGUgfHwgaW5tb2RlID09IENDR1pt b2RlKQogCXJldHVybiB0cnVlOwogICAgICAgLyogRkFMTFRIUlUgKi8KICAgICBjYXNlIEdUVTog Y2FzZSBMRVU6Ci0gICAgICBpZiAoaW5tb2RlID09IENDbW9kZSB8fCBpbm1vZGUgPT0gQ0NDbW9k ZSB8fCBpbm1vZGUgPT0gQ0NHWm1vZGUpCisgICAgICBpZiAoaW5tb2RlID09IENDbW9kZSkKIAly ZXR1cm4gdHJ1ZTsKICAgICAgIHJldHVybiBmYWxzZTsKICAgICBjYXNlIE9SREVSRUQ6IGNhc2Ug VU5PUkRFUkVEOgpAQCAtMTQ0MSwyMCArMTQ0MiwxNCBAQCAoZGVmaW5lX3ByZWRpY2F0ZSAiaXg4 Nl9jb21wYXJpc29uX29wZXJhdG9yIgogOzsgUmV0dXJuIHRydWUgaWYgT1AgaXMgYSB2YWxpZCBj b21wYXJpc29uIG9wZXJhdG9yCiA7OyB0ZXN0aW5nIGNhcnJ5IGZsYWcgdG8gYmUgc2V0LgogKGRl ZmluZV9wcmVkaWNhdGUgIml4ODZfY2FycnlfZmxhZ19vcGVyYXRvciIKLSAgKG1hdGNoX2NvZGUg Imx0dSxsdCx1bmx0LGd0dSxndCx1bmd0LGxlLHVubGUsZ2UsdW5nZSxsdGd0LHVuZXEiKQorICAo bWF0Y2hfY29kZSAibHR1LHVubHQiKQogewogICBtYWNoaW5lX21vZGUgaW5tb2RlID0gR0VUX01P REUgKFhFWFAgKG9wLCAwKSk7CiAgIGVudW0gcnR4X2NvZGUgY29kZSA9IEdFVF9DT0RFIChvcCk7 CiAKICAgaWYgKGlubW9kZSA9PSBDQ0ZQbW9kZSkKLSAgICB7Ci0gICAgICBpZiAoIWl4ODZfdHJp dmlhbF9mcF9jb21wYXJpc29uX29wZXJhdG9yIChvcCwgbW9kZSkpCi0JcmV0dXJuIGZhbHNlOwot ICAgICAgY29kZSA9IGl4ODZfZnBfY29tcGFyZV9jb2RlX3RvX2ludGVnZXIgKGNvZGUpOwotICAg IH0KLSAgZWxzZSBpZiAoaW5tb2RlID09IENDQ21vZGUpCi0gICByZXR1cm4gY29kZSA9PSBMVFUg fHwgY29kZSA9PSBHVFU7Ci0gIGVsc2UgaWYgKGlubW9kZSAhPSBDQ21vZGUpCisgICAgY29kZSA9 IGl4ODZfZnBfY29tcGFyZV9jb2RlX3RvX2ludGVnZXIgKGNvZGUpOworICBlbHNlIGlmIChpbm1v ZGUgIT0gQ0Ntb2RlICYmIGlubW9kZSAhPSBDQ0Ntb2RlICYmIGlubW9kZSAhPSBDQ0dabW9kZSkK ICAgICByZXR1cm4gZmFsc2U7CiAKICAgcmV0dXJuIGNvZGUgPT0gTFRVOwo= --000000000000f5d54a05c11c7be3--