From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pf1-x435.google.com (mail-pf1-x435.google.com [IPv6:2607:f8b0:4864:20::435]) by sourceware.org (Postfix) with ESMTPS id EE0013858D20 for ; Sun, 28 Apr 2024 07:40:58 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org EE0013858D20 Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org EE0013858D20 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::435 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1714290062; cv=none; b=RvPMLM0Oou/aOSJHiPRGmM8JFDryusPBjXO1wOiFlJq9d7X0lGyEyjCKy90LrmKKD3yeHfuN/GfG5NhQBG5BEp3H6usFyxr5j0ISxRc8fxEG9wHPS0w0nRpRFZghSXXJSUDUyYFwE8j4VAfUKXN0bnzLwP+v5zt1SCrdLCB/I+w= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1714290062; c=relaxed/simple; bh=mwEti+cxpb/bLMFOhlRnC8GSumxonxxzvEBl+3Sc5i4=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=ihNhzRA/w55d2YSHn4EbqOsgQf5kdr8OWOnKsrvar6UwNtCpzpyr6u+nkhNJaErsJYPLTV/V41WW/hUP19gEK+vhHZa/yAbTmdKRIb5E9MpNVrSAt+e/9mkZD2Z5iccQY+SZilrmuHB9GQ8uvEIT2Rm2Gruprw1a3wD9Oul7+HA= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-pf1-x435.google.com with SMTP id d2e1a72fcca58-6f043f9e6d7so3630200b3a.3 for ; Sun, 28 Apr 2024 00:40:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1714290057; x=1714894857; darn=gcc.gnu.org; h=mime-version:user-agent:message-id:in-reply-to:date:references :organization:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=EyDF3jBdMq06B+eT9g33rJ1aWLZ7wxXsFvr8gkf1PIw=; b=iRfV4CU/Z/90gmWgcmGMNod1NirE+CN8FBEyFqnFba9Ys5sI6bpkE/REXnYwCvj/kT vagTqy3dgwXvaEA2jhBQ98VJbwZ2NZVA6/ISHzVWS8sayKz9PNbNRX1kTvqia2LpgqWc 7MF1oBg9aYIUb8AuEXU2oFaRwmrMK2I0+LRvLp36SS6O/IOZLpJW9FyuIHP2yK5L+U5s WM1CJgJzAvj85An2t+eli/VYffKQwejevM/x25H9QlAwKR+xdw1c3VOZgCyzXTWdnfqG 0dNsh3jkbG8PoYLZSoKi/STsP3y6TSjtNr+4AmTnTid7duNAqPWnCeA8AfNrFS7lB+ox wlbg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714290057; x=1714894857; h=mime-version:user-agent:message-id:in-reply-to:date:references :organization:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=EyDF3jBdMq06B+eT9g33rJ1aWLZ7wxXsFvr8gkf1PIw=; b=C7hZu9ZN7hfy+zGPZMtyNzGLM36bUwRdBQ4kHSNBMBFQYRe0mXfwfx8EoPAvNAiRhJ IBUogHewjmNfzwWnVTBJKmQofRJdTVqlgbnyATgUYkxc8f884NYFvRiIT0QnxoXcaN/D ol1uHJSGk4sR0eZsRHQ3SV4S9tmt+PgH6Gng9Yur1rX7wfYMKgdHAe6gjs6yFszFLgOc PkgEAQxLhdDJCb1cb7aUiUnRaAVjfsPHIJ1tofPXoisNtcMnAjlATAQB2e511Ib8us7k 81IfZDe/QehOk7c4Y1ULr85fz9fcheN/SBcLaLI+yCN3MpnkwCmQ8xgVVNNstzOnNbqq tkAQ== X-Gm-Message-State: AOJu0YwWbpU5kiBTX2RVcftdulEs1FYIbt92umcWtsKu1WezNg/PJIgD zJfUbzSt3dnaTKfA3EBZ+89PMpB5S+F7ejuNfdXARcpnp5erCyaIqlwEFKlvig== X-Google-Smtp-Source: AGHT+IFPPq/8dvbisOrSxhME/cG+C32jl1NjjQhbWXkl7GP/gC3MHc4+lEhWZnYM9zFecdjRPEjccw== X-Received: by 2002:a05:6a00:983:b0:6ec:fa34:34b6 with SMTP id u3-20020a056a00098300b006ecfa3434b6mr8913839pfg.13.1714290057201; Sun, 28 Apr 2024 00:40:57 -0700 (PDT) Received: from free.home ([2804:7f1:218b:5e2:c43b:e0c4:71a:241b]) by smtp.gmail.com with ESMTPSA id g14-20020a62f94e000000b006f2d97c3e87sm11234773pfm.125.2024.04.28.00.40.56 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 28 Apr 2024 00:40:56 -0700 (PDT) Received: from livre (livre.home [172.31.160.2]) by free.home (8.15.2/8.15.2) with ESMTPS id 43S7ekGD278348 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Sun, 28 Apr 2024 04:40:47 -0300 From: Alexandre Oliva To: Hans-Peter Nilsson Cc: gcc-patches@gcc.gnu.org, Rainer Orth , Mike Stump Subject: Re: enable sqrt insns for cdce3.c Organization: Free thinker, does not speak for AdaCore References: Date: Sun, 28 Apr 2024 04:40:46 -0300 In-Reply-To: (Hans-Peter Nilsson's message of "Tue, 23 Apr 2024 11:38:53 -0400 (EDT)") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Scanned-By: MIMEDefang 2.84 X-Spam-Status: No, score=-6.2 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,WEIRD_QUOTING 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: On Apr 23, 2024, Hans-Peter Nilsson wrote: > (We could also fix the predicate description to actually say > "for all floating-point modes" and/or split the predicate into > mode-specific variants, etc. ;-) Yeah, I suppose that could make sense. > MMIX has sqrtdf2 but not sqrtsf2, and the latter is what's used > in cdce3.c. I see, thanks for the info. -- Alexandre Oliva, happy hacker https://FSFLA.org/blogs/lxo/ Free Software Activist GNU Toolchain Engineer More tolerance and less prejudice are key for inclusion and diversity Excluding neuro-others for not behaving ""normal"" is *not* inclusive