From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by sourceware.org (Postfix) with ESMTPS id 9B38C3858022 for ; Mon, 17 Oct 2022 13:26:05 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 9B38C3858022 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=redhat.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=redhat.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1666013165; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type; bh=5KFqY39tzb+t6nXzKo79h/CPWlssvloYuWrzsSB0Q1Q=; b=gum3E1gxVDDUqpgqx5AMkSd6aVGBh35OAwM4PC2Pu4YCtT+v3F6dprBl7YQ7QD/4eMjrCp HFFbTrNZARfWQ29++sV427CuDNuN3yGSS+Zuf6iGonLHHZxSS4ewZkCDXY7g9IMyKH9Bqi nn5GBDi0ztOEyF0cgbizzjlRrZxh+yU= Received: from mail-io1-f71.google.com (mail-io1-f71.google.com [209.85.166.71]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_128_GCM_SHA256) id us-mta-66-re5o4t3dMIOApSiKvfuIYA-1; Mon, 17 Oct 2022 09:26:04 -0400 X-MC-Unique: re5o4t3dMIOApSiKvfuIYA-1 Received: by mail-io1-f71.google.com with SMTP id w16-20020a6b4a10000000b006a5454c789eso7023905iob.20 for ; Mon, 17 Oct 2022 06:26:04 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=subject:from:cc:to:content-language:user-agent:mime-version:date :message-id:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=ccqYIeKGwnLPbOCODfbemrpd9dP0cXFFnJ+LVdicqQ0=; b=iKVkwuHCbWSYeD1ZcKnY50SuMRWYm7YD0B+PiEty28F1amIh3trxciA1RdPbOh9U8U TFoXgcAWb/VJ39KcDDuV+lJCaH/X6n3b9W4mq6NDIGjiUlzbWmQ0CXIFp/NhrzJoR7ZD QfS3KBu0MRsaZmPqYQEqPlp7guchruUVtZAgID4G9J0yluiXAX52q+mIt8vvBOTrV9ow rYkmUVPGwKDgEv+fDEhem+pv+yIiY61cGBPe1ta9p90MajDL9QpGyPZ9kWyDB8QGK/OR aaeulKv4JhsTRAW6yq/PCeTEtHw4JB4vwWOaZeO0sSD506XiGFSihjM50q0EGRgj4pOe PmYw== X-Gm-Message-State: ACrzQf23hGwqYq5ZC6snw218QMq8qKMXeQ6iru3xS6YzYwPxZPAHkcaU NRDDvunUE5r/lfodQZPhEO+ew1gKkZ9ZY8ytfPGgYMHeKgWbnMwzDuZpwtdqsJvdHBDrBwrLjzb ofaN1KcKcyn6zrU0wJOFZZV2TBbagz3Zr8ddr1B1NntF1tk/nh5FQyMgq/XA4lPn8NpyUoA== X-Received: by 2002:a92:c0c9:0:b0:2f9:ae60:164c with SMTP id t9-20020a92c0c9000000b002f9ae60164cmr4828507ilf.28.1666013162279; Mon, 17 Oct 2022 06:26:02 -0700 (PDT) X-Google-Smtp-Source: AMsMyM5WBho3V92TWBd4hsVlDwW9EqIya7Rw9kl8NUW8SIi210lXfBgyKM/48NtH7MMaRo/w56YE1A== X-Received: by 2002:a92:c0c9:0:b0:2f9:ae60:164c with SMTP id t9-20020a92c0c9000000b002f9ae60164cmr4828491ilf.28.1666013162036; Mon, 17 Oct 2022 06:26:02 -0700 (PDT) Received: from ?IPV6:2607:fea8:a263:f600::50d4? ([2607:fea8:a263:f600::50d4]) by smtp.gmail.com with ESMTPSA id g14-20020a05663810ee00b00349e1922573sm4380513jae.170.2022.10.17.06.26.00 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 17 Oct 2022 06:26:01 -0700 (PDT) Message-ID: <65c19cf9-5709-3be3-5cd4-7a75dbd53c6a@redhat.com> Date: Mon, 17 Oct 2022 09:25:59 -0400 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.2.1 To: gcc-patches Cc: "hernandez, aldy" From: Andrew MacLeod Subject: [COMMITTED] Add 3 floating NAN tests. X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: multipart/mixed; boundary="------------OiQ0rwBiG5YFWIsrEGtIshqS" Content-Language: en-US X-Spam-Status: No, score=-12.1 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_NONE,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. --------------OiQ0rwBiG5YFWIsrEGtIshqS Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit 3 tests from Aldy using the relations generated by GORI between operands to set or clear NANs as appropriate on outgoing edges. Pushed. Andrew --------------OiQ0rwBiG5YFWIsrEGtIshqS Content-Type: text/x-patch; charset=UTF-8; name="0004-Add-3-floating-NAN-tests.patch" Content-Disposition: attachment; filename="0004-Add-3-floating-NAN-tests.patch" Content-Transfer-Encoding: base64 RnJvbSA3ODk2YTMxZDMwMDNiYWQ4Yjg0NTg4MWY1OWU1NzBmYmMzYzc4Y2ZhIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBBbGR5IEhlcm5hbmRleiA8YWxkeWhAcmVkaGF0LmNvbT4KRGF0 ZTogTW9uLCAxMCBPY3QgMjAyMiAxMTowMTo0OCArMDIwMApTdWJqZWN0OiBbUEFUQ0ggNC80XSBB ZGQgMyBmbG9hdGluZyBOQU4gdGVzdHMuCgp4IFVOT1JEIHggc2hvdWxkIHNldCBOQU4gb24gdGhl IFRSVUUgc2lkZS4KVGhlIGZhbHNlIHNpZGUgb2YgeCA9PSB4IHNob3VsZCBzZXQgTkFOLgpUaGUg dHJ1ZSBzaWRlIG9mIHggIT0geCBzaG91bGQgc2V0IE5BTi4KCglnY2MvdGVzdHN1aXRlLwoJKiBn Y2MuZGcvdHJlZS1zc2EvdnJwLWZsb2F0LTNhLmM6IE5ldy4KCSogZ2NjLmRnL3RyZWUtc3NhL3Zy cC1mbG9hdC00YS5jOiBOZXcuCgkqIGdjYy5kZy90cmVlLXNzYS92cnAtZmxvYXQtNWEuYzogTmV3 LgotLS0KIGdjYy90ZXN0c3VpdGUvZ2NjLmRnL3RyZWUtc3NhL3ZycC1mbG9hdC0zYS5jIHwgMTkg KysrKysrKysrKysrKysrKwogZ2NjL3Rlc3RzdWl0ZS9nY2MuZGcvdHJlZS1zc2EvdnJwLWZsb2F0 LTRhLmMgfCAyMyArKysrKysrKysrKysrKysrKysrKwogZ2NjL3Rlc3RzdWl0ZS9nY2MuZGcvdHJl ZS1zc2EvdnJwLWZsb2F0LTVhLmMgfCAxNiArKysrKysrKysrKysrKwogMyBmaWxlcyBjaGFuZ2Vk LCA1OCBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgZ2NjL3Rlc3RzdWl0ZS9nY2Mu ZGcvdHJlZS1zc2EvdnJwLWZsb2F0LTNhLmMKIGNyZWF0ZSBtb2RlIDEwMDY0NCBnY2MvdGVzdHN1 aXRlL2djYy5kZy90cmVlLXNzYS92cnAtZmxvYXQtNGEuYwogY3JlYXRlIG1vZGUgMTAwNjQ0IGdj Yy90ZXN0c3VpdGUvZ2NjLmRnL3RyZWUtc3NhL3ZycC1mbG9hdC01YS5jCgpkaWZmIC0tZ2l0IGEv Z2NjL3Rlc3RzdWl0ZS9nY2MuZGcvdHJlZS1zc2EvdnJwLWZsb2F0LTNhLmMgYi9nY2MvdGVzdHN1 aXRlL2djYy5kZy90cmVlLXNzYS92cnAtZmxvYXQtM2EuYwpuZXcgZmlsZSBtb2RlIDEwMDY0NApp bmRleCAwMDAwMDAwMDAwMC4uNWFhZGFhN2M0ZGIKLS0tIC9kZXYvbnVsbAorKysgYi9nY2MvdGVz dHN1aXRlL2djYy5kZy90cmVlLXNzYS92cnAtZmxvYXQtM2EuYwpAQCAtMCwwICsxLDE5IEBACisv LyB7IGRnLWRvIGNvbXBpbGUgfQorLy8geyBkZy1vcHRpb25zICItTzIgLWZuby10aHJlYWQtanVt cHMgLWZkaXNhYmxlLXRyZWUtZnJlMSAtZmR1bXAtdHJlZS1ldnJwIiB9CisKK3ZvaWQgbGlua19l cnJvciAoKTsKK3ZvaWQgYmFyICgpOworCitmbG9hdAorZm9vIChmbG9hdCB4KQoreworICBpZiAo eCAhPSB4KQorICAgIHsKKyAgICAgIC8vIFRoZSB0cnVlIHNpZGUgb2YgeCAhPSB4IGltcGxpZXMg TkFOLCBzbyB3ZSBzaG91bGQgYmUgYWJsZSB0bworICAgICAgLy8gZm9sZCB0aGlzLgorICAgICAg aWYgKCFfX2J1aWx0aW5faXNuYW4gKHgpKQorCWxpbmtfZXJyb3IgKCk7CisgICAgfQorfQorCisv LyB7IGRnLWZpbmFsIHsgc2Nhbi10cmVlLWR1bXAtbm90ICJsaW5rX2Vycm9yIiAiZXZycCIgfSB9 CmRpZmYgLS1naXQgYS9nY2MvdGVzdHN1aXRlL2djYy5kZy90cmVlLXNzYS92cnAtZmxvYXQtNGEu YyBiL2djYy90ZXN0c3VpdGUvZ2NjLmRnL3RyZWUtc3NhL3ZycC1mbG9hdC00YS5jCm5ldyBmaWxl IG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAwLi43ZDMxODdiMzk2MgotLS0gL2Rldi9udWxs CisrKyBiL2djYy90ZXN0c3VpdGUvZ2NjLmRnL3RyZWUtc3NhL3ZycC1mbG9hdC00YS5jCkBAIC0w LDAgKzEsMjMgQEAKKy8vIHsgZGctZG8gY29tcGlsZSB9CisvLyB7IGRnLW9wdGlvbnMgIi1PMiAt Zm5vLXRocmVhZC1qdW1wcyAtZmRpc2FibGUtdHJlZS1mcmUxIC1mZHVtcC10cmVlLWV2cnAiIH0K Kwordm9pZCBsaW5rX2Vycm9yICgpOwordm9pZCBiYXIgKCk7CisKK2Zsb2F0Citmb28gKGZsb2F0 IHgpCit7CisgIGlmICh4ID09IHgpCisgICAgeworICAgICAgYmFyICgpOworICAgIH0KKyAgZWxz ZQorICAgIHsKKyAgICAgIC8vIFRoZSBmYWxzZSBzaWRlIG9mIHggPT0geCBpbXBsaWVzIE5BTiwg c28gd2Ugc2hvdWxkIGJlIGFibGUgdG8KKyAgICAgIC8vIGZvbGQgdGhpcy4KKyAgICAgIGlmICgh X19idWlsdGluX2lzbmFuICh4KSkKKwlsaW5rX2Vycm9yICgpOworICAgIH0KK30KKworLy8geyBk Zy1maW5hbCB7IHNjYW4tdHJlZS1kdW1wLW5vdCAibGlua19lcnJvciIgImV2cnAiIH0gfQpkaWZm IC0tZ2l0IGEvZ2NjL3Rlc3RzdWl0ZS9nY2MuZGcvdHJlZS1zc2EvdnJwLWZsb2F0LTVhLmMgYi9n Y2MvdGVzdHN1aXRlL2djYy5kZy90cmVlLXNzYS92cnAtZmxvYXQtNWEuYwpuZXcgZmlsZSBtb2Rl IDEwMDY0NAppbmRleCAwMDAwMDAwMDAwMC4uMDgzMzIzMDVmMmMKLS0tIC9kZXYvbnVsbAorKysg Yi9nY2MvdGVzdHN1aXRlL2djYy5kZy90cmVlLXNzYS92cnAtZmxvYXQtNWEuYwpAQCAtMCwwICsx LDE2IEBACisvLyB7IGRnLWRvIGNvbXBpbGUgfQorLy8geyBkZy1vcHRpb25zICItTzIgLWZuby10 aHJlYWQtanVtcHMgLWZkaXNhYmxlLXRyZWUtZnJlMSAtZmR1bXAtdHJlZS1ldnJwIiB9CisKK3Zv aWQgbGlua19lcnJvciAoKTsKKworZmxvYXQKK2ZvbyAoZmxvYXQgeCkKK3sKKyAgaWYgKF9fYnVp bHRpbl9pc25hbiAoeCkpCisgICAgeworICAgICAgaWYgKCFfX2J1aWx0aW5faXNuYW4gKHgpKQor CWxpbmtfZXJyb3IgKCk7CisgICAgfQorfQorCisvLyB7IGRnLWZpbmFsIHsgc2Nhbi10cmVlLWR1 bXAtbm90ICJsaW5rX2Vycm9yIiAiZXZycCIgfSB9Ci0tIAoyLjM3LjMKCg== --------------OiQ0rwBiG5YFWIsrEGtIshqS--