From patchwork Wed Dec 4 16:37:50 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Adhemerval Zanella Netto X-Patchwork-Id: 847300 Delivered-To: patch@linaro.org Received: by 2002:a5d:434d:0:b0:385:e875:8a9e with SMTP id u13csp424192wrr; Wed, 4 Dec 2024 08:45:27 -0800 (PST) X-Forwarded-Encrypted: i=3; AJvYcCXwSXl0EBLATb/FF4iIcEZIZIXMg6KKZe6bNb1ieaRKQcQUiiWmTxM9PE7xDYP/16+0k2Q6jg==@linaro.org X-Google-Smtp-Source: AGHT+IGXFDwDJlKRudOIUflqnBSMNXTNjyeKhj7Gau0UVBx5fP0rd4bocsQ+t+zYfaXr+1F7R/ws X-Received: by 2002:a05:6102:370b:b0:4ad:4895:ce1f with SMTP id ada2fe7eead31-4af9724ebc2mr8715975137.17.1733330727495; Wed, 04 Dec 2024 08:45:27 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1733330727; cv=pass; d=google.com; s=arc-20240605; b=XHfRl3V7mwn/OrJX+9NzmaH4L7C47wKuIN2HsflEMkFRVMpP6sSOijZ/NiH/t+LSBF e/oQ2TMc5xa6EQuQx/uRGIX9Xs21Z2ngCGPiua4PaL4cEu8z4CrIg5fJxtgI8YF0ppeQ 4nbjvzteqOg7zcSOmwCwYfXQigqk+UHE4Wrk/zkJuhH1IorLl0MwZiZKHRt/7i7FlzU2 GZHmL55UmK+dVavuQJwQtOKaRbbvdXLLPN9r8VhqmzNDxLh1qXI28i1Gc5nX2IuXVX7j XtdcsZl7ojjcOfzq4bZOcfFgUKvwZm5FjxMqWmPBUUU7QKmJ0+qsX3e6LwuScGoGCy/2 F2eQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:content-transfer-encoding :mime-version:references:in-reply-to:message-id:date:subject:cc:to :from:dkim-signature:dkim-filter:arc-filter:dmarc-filter :delivered-to:dkim-filter; bh=7Lj8FcZ5mEDIr2jDhXX0yDFoKgxbIFnTTlnCwneT7J4=; fh=CmGDM+TcKDkWttUBbuoeyeCWXo3i0fQaJViLknsVw4o=; b=eZc6DmQmj1+xwUE/QhdoYoFKRsZT4LSh/jp/EL0ZkTWuxpLGUT0NssvfJLAw7MUEk7 SCCSsuubobdiqOFbfvG3JyxVJq/tp8i94yoLafqP+cShNnX3PK+TYftwMlwfp3SDyfvm poqKPRhJkBl6fInBSX3lsZh3rnrSviZzqNZr+RpS22ErzQAIcK7/i9ltOfJY/yLbsFrG QBltN53mOZU0hPXuwa0d9KNZHdR4mZLjx/pRX/V+KLINh6u+u3XyBZRJcBWBqrroYZ7+ jS2XXMZUbSvp3KlWcw6lLmc/rpLQSsc+/lCJ6cK2NReQOuwyQcD/wrvr/R9MHj2xzErU e8xA==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@linaro.org header.s=google header.b=WQwC5fKo; arc=pass (i=1); spf=pass (google.com: domain of libc-alpha-bounces~patch=linaro.org@sourceware.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="libc-alpha-bounces~patch=linaro.org@sourceware.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=linaro.org Return-Path: Received: from server2.sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id ada2fe7eead31-4afb556974fsi351572137.563.2024.12.04.08.45.27 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 04 Dec 2024 08:45:27 -0800 (PST) Received-SPF: pass (google.com: domain of libc-alpha-bounces~patch=linaro.org@sourceware.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; Authentication-Results: mx.google.com; dkim=pass header.i=@linaro.org header.s=google header.b=WQwC5fKo; arc=pass (i=1); spf=pass (google.com: domain of libc-alpha-bounces~patch=linaro.org@sourceware.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="libc-alpha-bounces~patch=linaro.org@sourceware.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=linaro.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 05DB13858C56 for ; Wed, 4 Dec 2024 16:45:27 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 05DB13858C56 Authentication-Results: sourceware.org; dkim=pass (2048-bit key, unprotected) header.d=linaro.org header.i=@linaro.org header.a=rsa-sha256 header.s=google header.b=WQwC5fKo X-Original-To: libc-alpha@sourceware.org Delivered-To: libc-alpha@sourceware.org Received: from mail-pl1-x632.google.com (mail-pl1-x632.google.com [IPv6:2607:f8b0:4864:20::632]) by sourceware.org (Postfix) with ESMTPS id 3B5253858C54 for ; Wed, 4 Dec 2024 16:40:56 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 3B5253858C54 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=linaro.org Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=linaro.org ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 3B5253858C54 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::632 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1733330456; cv=none; b=TU4YwIw9LTvz5iolLSlYclbMJ4i0U0LJ7fkkXfzMfaMmM3h1rg8icsSudjfb7xBL1Xy6AYk9Z9oaf9DkvFHLQL6ZbA/wWtJ+zzKxr/wdYJPDThsY1hrHV25GxTGDr/D6uyQ5H2bpwSriz2dQM/RKChqD7a1pNZCsgIEaRPI6NP8= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1733330456; c=relaxed/simple; bh=qc5U3zwX8VSQlP521Rqk0hSbKTGxhyQnccFNCoDgb7M=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=a8YevsJdGN82JBuhZSiOUMUJsQCLBpce5i2/ebYi6ArDzSyOYZAYSzL7FGf60NDsePiQKZr6sR89c7C6r8aWNGzYw77FsWMxe+QNCUQYr39+RF08NeE3dXkwAkKpMfGrDLI7u4Q0rZm55x2Nbdk6v7XvZv6fxuftPVyembFSp/g= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3B5253858C54 Received: by mail-pl1-x632.google.com with SMTP id d9443c01a7336-2155e9dcbe7so42977765ad.3 for ; Wed, 04 Dec 2024 08:40:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1733330425; x=1733935225; darn=sourceware.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=7Lj8FcZ5mEDIr2jDhXX0yDFoKgxbIFnTTlnCwneT7J4=; b=WQwC5fKo6onUyXcMo/Fm4bDDHron3hz3QKLOVi5drDzsv8OD2ADjFod8BDVR8US/ys fYYvuBRm8jNDbzbDgPW3jSz2vDr2a7Z6tvb4xZRcd3QaOcPxOJpcQ7y9dWfITsVzfKTe COWDEsJ0mCYRZmF2V9dOIZjeOr/dyBo47D8Fbm/QU7UKRZUjtBAL2QJzZs+NoPSXpbQI aC5xhJcm+pY1H1+U131Tk3BpK3N0GAKiB9f/iQTronWgYKI2L7bdz4scNwHKBJU9MYLv jMtBwOn5n4zuYVNgQb3mNWJoeDTopBvO1Ku00wVUsjyzSTDNi3Zy2QzP/hysZZC8CBlV /HIg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1733330425; x=1733935225; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=7Lj8FcZ5mEDIr2jDhXX0yDFoKgxbIFnTTlnCwneT7J4=; b=gRk1GdPvsK3C9mpEpWY/7aaXRGhKQSWcM9lGNYIgRrzQLWxe4/O5in4bU6RBBtBDOa NmybE48wXc08Donq3KaWig7Ax7srqQrQLTtcyttaMQ2UORHIfuL1rS40DOWzzYmVQMUG 0HOGuK4T96X82Rd0sQdFMTVsNh125hDM7Ni7Rb8XELHiXF9hJ5/tPOdKS4OcKK0nKAQk I2OJpnucWldZ+0qMSLC9FLXVn/8A843j64/CNp4u8KIMbY52zsippeCiNXi8dz+n0xAL 45KZSTt+3vbMOVM0rl3BedlqW3Eh2E/Q9d5Xqw8QjHcfVK8M/jb8nZlA3e2HOHoeG0K+ XZDQ== X-Gm-Message-State: AOJu0YxceeHEnma2Okhcrhb0TRHWxmBCa7Ro8QlfzAHrKBUTotiz2rFK QF6kVJRFLnPqmoWeWzfcHTQtVWbj+Vhv1u6aUq/AR+T7KaxKl7smjgR8P+y6e6UhkgqnHzs+KIO w X-Gm-Gg: ASbGncs9fp10l5dx2yazVjYk5C9uT6TFCI2BgeCBqOfcU5NQNq/G3qRrHB3YaDm5xIv ahSbY85/nFJg8wsT/1XhPAxngLRWT0mclpbeCUniDQmOI9x86CW8jrvOlTJLXlF/37ruYFkkQ9H yWJ+LwiRk0RUQEUU/BMZzGjvcqZjsXJ/VyahA5B7Pxle+oFeoQHA0/inbHFMpa4cQCey0rtFOS+ iEgxR+rnQPly9rQ6+gbkM47E+3z9rIgPFcB+gDRpSkySeTk/VXH4jh9AAH4fg== X-Received: by 2002:a17:902:d2ca:b0:215:4a4e:927e with SMTP id d9443c01a7336-215bd16f660mr99426345ad.39.1733330424839; Wed, 04 Dec 2024 08:40:24 -0800 (PST) Received: from mandiga.. ([2804:1b3:a7c2:2d1:40a3:b587:af7c:a5cd]) by smtp.gmail.com with ESMTPSA id d9443c01a7336-21521967714sm114029225ad.140.2024.12.04.08.40.23 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 04 Dec 2024 08:40:24 -0800 (PST) From: Adhemerval Zanella To: libc-alpha@sourceware.org Cc: DJ Delorie , Joseph Myers Subject: [PATCH v2 15/25] math: Fix the expected carg (inf) results Date: Wed, 4 Dec 2024 13:37:50 -0300 Message-ID: <20241204163949.1408676-16-adhemerval.zanella@linaro.org> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20241204163949.1408676-1-adhemerval.zanella@linaro.org> References: <20241204163949.1408676-1-adhemerval.zanella@linaro.org> MIME-Version: 1.0 X-BeenThere: libc-alpha@sourceware.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Libc-alpha mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: libc-alpha-bounces~patch=linaro.org@sourceware.org The pi defined constants are not the expected value for carg on non-default rounding modes (similar to atan). Instead use autogenerated value. --- math/auto-libm-test-in | 11 ++ math/auto-libm-test-out-carg | 250 +++++++++++++++++++++++++++++++++++ math/libm-test-carg.inc | 28 ---- 3 files changed, 261 insertions(+), 28 deletions(-) diff --git a/math/auto-libm-test-in b/math/auto-libm-test-in index 6dbda50a28..82c9aa272b 100644 --- a/math/auto-libm-test-in +++ b/math/auto-libm-test-in @@ -1879,6 +1879,17 @@ cacosh -0x1p-112 -0.0 cacosh 0.75 1.25 cacosh -2 -3 +carg inf 2.0 +carg inf -2.0 +carg 10 inf +carg 10 -inf +carg -inf 10 +carg -inf -10 +carg inf inf +carg inf -inf +carg -inf inf +carg -inf -inf + # carg (x + i 0) == 0 for x > 0. carg 2.0 0 # carg (x - i 0) == -0 for x > 0. diff --git a/math/auto-libm-test-out-carg b/math/auto-libm-test-out-carg index cf5530b068..1ec9956d76 100644 --- a/math/auto-libm-test-out-carg +++ b/math/auto-libm-test-out-carg @@ -1,3 +1,253 @@ +carg inf 2.0 += carg downward binary32 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg tonearest binary32 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg towardzero binary32 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg upward binary32 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg downward binary64 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg tonearest binary64 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg towardzero binary64 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg upward binary64 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg downward intel96 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg tonearest intel96 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg towardzero intel96 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg upward intel96 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg downward m68k96 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg tonearest m68k96 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg towardzero m68k96 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg upward m68k96 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg downward binary128 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg tonearest binary128 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg towardzero binary128 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg upward binary128 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg downward ibm128 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg tonearest ibm128 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg towardzero ibm128 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok += carg upward ibm128 plus_infty 0x2p+0 : 0x0p+0 : inexact-ok +carg inf -2.0 += carg downward binary32 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg tonearest binary32 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg towardzero binary32 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg upward binary32 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg downward binary64 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg tonearest binary64 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg towardzero binary64 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg upward binary64 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg downward intel96 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg tonearest intel96 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg towardzero intel96 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg upward intel96 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg downward m68k96 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg tonearest m68k96 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg towardzero m68k96 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg upward m68k96 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg downward binary128 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg tonearest binary128 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg towardzero binary128 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg upward binary128 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg downward ibm128 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg tonearest ibm128 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg towardzero ibm128 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok += carg upward ibm128 plus_infty -0x2p+0 : -0x0p+0 : inexact-ok +carg 10 inf += carg downward binary32 0xap+0 plus_infty : 0x1.921fb4p+0 : inexact-ok += carg tonearest binary32 0xap+0 plus_infty : 0x1.921fb6p+0 : inexact-ok += carg towardzero binary32 0xap+0 plus_infty : 0x1.921fb4p+0 : inexact-ok += carg upward binary32 0xap+0 plus_infty : 0x1.921fb6p+0 : inexact-ok += carg downward binary64 0xap+0 plus_infty : 0x1.921fb54442d18p+0 : inexact-ok += carg tonearest binary64 0xap+0 plus_infty : 0x1.921fb54442d18p+0 : inexact-ok += carg towardzero binary64 0xap+0 plus_infty : 0x1.921fb54442d18p+0 : inexact-ok += carg upward binary64 0xap+0 plus_infty : 0x1.921fb54442d19p+0 : inexact-ok += carg downward intel96 0xap+0 plus_infty : 0x1.921fb54442d18468p+0 : inexact-ok += carg tonearest intel96 0xap+0 plus_infty : 0x1.921fb54442d1846ap+0 : inexact-ok += carg towardzero intel96 0xap+0 plus_infty : 0x1.921fb54442d18468p+0 : inexact-ok += carg upward intel96 0xap+0 plus_infty : 0x1.921fb54442d1846ap+0 : inexact-ok += carg downward m68k96 0xap+0 plus_infty : 0x1.921fb54442d18468p+0 : inexact-ok += carg tonearest m68k96 0xap+0 plus_infty : 0x1.921fb54442d1846ap+0 : inexact-ok += carg towardzero m68k96 0xap+0 plus_infty : 0x1.921fb54442d18468p+0 : inexact-ok += carg upward m68k96 0xap+0 plus_infty : 0x1.921fb54442d1846ap+0 : inexact-ok += carg downward binary128 0xap+0 plus_infty : 0x1.921fb54442d18469898cc51701b8p+0 : inexact-ok += carg tonearest binary128 0xap+0 plus_infty : 0x1.921fb54442d18469898cc51701b8p+0 : inexact-ok += carg towardzero binary128 0xap+0 plus_infty : 0x1.921fb54442d18469898cc51701b8p+0 : inexact-ok += carg upward binary128 0xap+0 plus_infty : 0x1.921fb54442d18469898cc51701b9p+0 : inexact-ok += carg downward ibm128 0xap+0 plus_infty : 0x1.921fb54442d18469898cc517018p+0 : inexact-ok += carg tonearest ibm128 0xap+0 plus_infty : 0x1.921fb54442d18469898cc517018p+0 : inexact-ok += carg towardzero ibm128 0xap+0 plus_infty : 0x1.921fb54442d18469898cc517018p+0 : inexact-ok += carg upward ibm128 0xap+0 plus_infty : 0x1.921fb54442d18469898cc51702p+0 : inexact-ok +carg 10 -inf += carg downward binary32 0xap+0 minus_infty : -0x1.921fb6p+0 : inexact-ok += carg tonearest binary32 0xap+0 minus_infty : -0x1.921fb6p+0 : inexact-ok += carg towardzero binary32 0xap+0 minus_infty : -0x1.921fb4p+0 : inexact-ok += carg upward binary32 0xap+0 minus_infty : -0x1.921fb4p+0 : inexact-ok += carg downward binary64 0xap+0 minus_infty : -0x1.921fb54442d19p+0 : inexact-ok += carg tonearest binary64 0xap+0 minus_infty : -0x1.921fb54442d18p+0 : inexact-ok += carg towardzero binary64 0xap+0 minus_infty : -0x1.921fb54442d18p+0 : inexact-ok += carg upward binary64 0xap+0 minus_infty : -0x1.921fb54442d18p+0 : inexact-ok += carg downward intel96 0xap+0 minus_infty : -0x1.921fb54442d1846ap+0 : inexact-ok += carg tonearest intel96 0xap+0 minus_infty : -0x1.921fb54442d1846ap+0 : inexact-ok += carg towardzero intel96 0xap+0 minus_infty : -0x1.921fb54442d18468p+0 : inexact-ok += carg upward intel96 0xap+0 minus_infty : -0x1.921fb54442d18468p+0 : inexact-ok += carg downward m68k96 0xap+0 minus_infty : -0x1.921fb54442d1846ap+0 : inexact-ok += carg tonearest m68k96 0xap+0 minus_infty : -0x1.921fb54442d1846ap+0 : inexact-ok += carg towardzero m68k96 0xap+0 minus_infty : -0x1.921fb54442d18468p+0 : inexact-ok += carg upward m68k96 0xap+0 minus_infty : -0x1.921fb54442d18468p+0 : inexact-ok += carg downward binary128 0xap+0 minus_infty : -0x1.921fb54442d18469898cc51701b9p+0 : inexact-ok += carg tonearest binary128 0xap+0 minus_infty : -0x1.921fb54442d18469898cc51701b8p+0 : inexact-ok += carg towardzero binary128 0xap+0 minus_infty : -0x1.921fb54442d18469898cc51701b8p+0 : inexact-ok += carg upward binary128 0xap+0 minus_infty : -0x1.921fb54442d18469898cc51701b8p+0 : inexact-ok += carg downward ibm128 0xap+0 minus_infty : -0x1.921fb54442d18469898cc51702p+0 : inexact-ok += carg tonearest ibm128 0xap+0 minus_infty : -0x1.921fb54442d18469898cc517018p+0 : inexact-ok += carg towardzero ibm128 0xap+0 minus_infty : -0x1.921fb54442d18469898cc517018p+0 : inexact-ok += carg upward ibm128 0xap+0 minus_infty : -0x1.921fb54442d18469898cc517018p+0 : inexact-ok +carg -inf 10 += carg downward binary32 minus_infty 0xap+0 : 0x3.243f68p+0 : inexact-ok += carg tonearest binary32 minus_infty 0xap+0 : 0x3.243f6cp+0 : inexact-ok += carg towardzero binary32 minus_infty 0xap+0 : 0x3.243f68p+0 : inexact-ok += carg upward binary32 minus_infty 0xap+0 : 0x3.243f6cp+0 : inexact-ok += carg downward binary64 minus_infty 0xap+0 : 0x3.243f6a8885a3p+0 : inexact-ok += carg tonearest binary64 minus_infty 0xap+0 : 0x3.243f6a8885a3p+0 : inexact-ok += carg towardzero binary64 minus_infty 0xap+0 : 0x3.243f6a8885a3p+0 : inexact-ok += carg upward binary64 minus_infty 0xap+0 : 0x3.243f6a8885a32p+0 : inexact-ok += carg downward intel96 minus_infty 0xap+0 : 0x3.243f6a8885a308dp+0 : inexact-ok += carg tonearest intel96 minus_infty 0xap+0 : 0x3.243f6a8885a308d4p+0 : inexact-ok += carg towardzero intel96 minus_infty 0xap+0 : 0x3.243f6a8885a308dp+0 : inexact-ok += carg upward intel96 minus_infty 0xap+0 : 0x3.243f6a8885a308d4p+0 : inexact-ok += carg downward m68k96 minus_infty 0xap+0 : 0x3.243f6a8885a308dp+0 : inexact-ok += carg tonearest m68k96 minus_infty 0xap+0 : 0x3.243f6a8885a308d4p+0 : inexact-ok += carg towardzero m68k96 minus_infty 0xap+0 : 0x3.243f6a8885a308dp+0 : inexact-ok += carg upward m68k96 minus_infty 0xap+0 : 0x3.243f6a8885a308d4p+0 : inexact-ok += carg downward binary128 minus_infty 0xap+0 : 0x3.243f6a8885a308d313198a2e037p+0 : inexact-ok += carg tonearest binary128 minus_infty 0xap+0 : 0x3.243f6a8885a308d313198a2e037p+0 : inexact-ok += carg towardzero binary128 minus_infty 0xap+0 : 0x3.243f6a8885a308d313198a2e037p+0 : inexact-ok += carg upward binary128 minus_infty 0xap+0 : 0x3.243f6a8885a308d313198a2e0372p+0 : inexact-ok += carg downward ibm128 minus_infty 0xap+0 : 0x3.243f6a8885a308d313198a2e03p+0 : inexact-ok += carg tonearest ibm128 minus_infty 0xap+0 : 0x3.243f6a8885a308d313198a2e03p+0 : inexact-ok += carg towardzero ibm128 minus_infty 0xap+0 : 0x3.243f6a8885a308d313198a2e03p+0 : inexact-ok += carg upward ibm128 minus_infty 0xap+0 : 0x3.243f6a8885a308d313198a2e04p+0 : inexact-ok +carg -inf -10 += carg downward binary32 minus_infty -0xap+0 : -0x3.243f6cp+0 : inexact-ok += carg tonearest binary32 minus_infty -0xap+0 : -0x3.243f6cp+0 : inexact-ok += carg towardzero binary32 minus_infty -0xap+0 : -0x3.243f68p+0 : inexact-ok += carg upward binary32 minus_infty -0xap+0 : -0x3.243f68p+0 : inexact-ok += carg downward binary64 minus_infty -0xap+0 : -0x3.243f6a8885a32p+0 : inexact-ok += carg tonearest binary64 minus_infty -0xap+0 : -0x3.243f6a8885a3p+0 : inexact-ok += carg towardzero binary64 minus_infty -0xap+0 : -0x3.243f6a8885a3p+0 : inexact-ok += carg upward binary64 minus_infty -0xap+0 : -0x3.243f6a8885a3p+0 : inexact-ok += carg downward intel96 minus_infty -0xap+0 : -0x3.243f6a8885a308d4p+0 : inexact-ok += carg tonearest intel96 minus_infty -0xap+0 : -0x3.243f6a8885a308d4p+0 : inexact-ok += carg towardzero intel96 minus_infty -0xap+0 : -0x3.243f6a8885a308dp+0 : inexact-ok += carg upward intel96 minus_infty -0xap+0 : -0x3.243f6a8885a308dp+0 : inexact-ok += carg downward m68k96 minus_infty -0xap+0 : -0x3.243f6a8885a308d4p+0 : inexact-ok += carg tonearest m68k96 minus_infty -0xap+0 : -0x3.243f6a8885a308d4p+0 : inexact-ok += carg towardzero m68k96 minus_infty -0xap+0 : -0x3.243f6a8885a308dp+0 : inexact-ok += carg upward m68k96 minus_infty -0xap+0 : -0x3.243f6a8885a308dp+0 : inexact-ok += carg downward binary128 minus_infty -0xap+0 : -0x3.243f6a8885a308d313198a2e0372p+0 : inexact-ok += carg tonearest binary128 minus_infty -0xap+0 : -0x3.243f6a8885a308d313198a2e037p+0 : inexact-ok += carg towardzero binary128 minus_infty -0xap+0 : -0x3.243f6a8885a308d313198a2e037p+0 : inexact-ok += carg upward binary128 minus_infty -0xap+0 : -0x3.243f6a8885a308d313198a2e037p+0 : inexact-ok += carg downward ibm128 minus_infty -0xap+0 : -0x3.243f6a8885a308d313198a2e04p+0 : inexact-ok += carg tonearest ibm128 minus_infty -0xap+0 : -0x3.243f6a8885a308d313198a2e03p+0 : inexact-ok += carg towardzero ibm128 minus_infty -0xap+0 : -0x3.243f6a8885a308d313198a2e03p+0 : inexact-ok += carg upward ibm128 minus_infty -0xap+0 : -0x3.243f6a8885a308d313198a2e03p+0 : inexact-ok +carg inf inf += carg downward binary32 plus_infty plus_infty : 0xc.90fdap-4 : inexact-ok += carg tonearest binary32 plus_infty plus_infty : 0xc.90fdbp-4 : inexact-ok += carg towardzero binary32 plus_infty plus_infty : 0xc.90fdap-4 : inexact-ok += carg upward binary32 plus_infty plus_infty : 0xc.90fdbp-4 : inexact-ok += carg downward binary64 plus_infty plus_infty : 0xc.90fdaa22168cp-4 : inexact-ok += carg tonearest binary64 plus_infty plus_infty : 0xc.90fdaa22168cp-4 : inexact-ok += carg towardzero binary64 plus_infty plus_infty : 0xc.90fdaa22168cp-4 : inexact-ok += carg upward binary64 plus_infty plus_infty : 0xc.90fdaa22168c8p-4 : inexact-ok += carg downward intel96 plus_infty plus_infty : 0xc.90fdaa22168c234p-4 : inexact-ok += carg tonearest intel96 plus_infty plus_infty : 0xc.90fdaa22168c235p-4 : inexact-ok += carg towardzero intel96 plus_infty plus_infty : 0xc.90fdaa22168c234p-4 : inexact-ok += carg upward intel96 plus_infty plus_infty : 0xc.90fdaa22168c235p-4 : inexact-ok += carg downward m68k96 plus_infty plus_infty : 0xc.90fdaa22168c234p-4 : inexact-ok += carg tonearest m68k96 plus_infty plus_infty : 0xc.90fdaa22168c235p-4 : inexact-ok += carg towardzero m68k96 plus_infty plus_infty : 0xc.90fdaa22168c234p-4 : inexact-ok += carg upward m68k96 plus_infty plus_infty : 0xc.90fdaa22168c235p-4 : inexact-ok += carg downward binary128 plus_infty plus_infty : 0xc.90fdaa22168c234c4c6628b80dcp-4 : inexact-ok += carg tonearest binary128 plus_infty plus_infty : 0xc.90fdaa22168c234c4c6628b80dcp-4 : inexact-ok += carg towardzero binary128 plus_infty plus_infty : 0xc.90fdaa22168c234c4c6628b80dcp-4 : inexact-ok += carg upward binary128 plus_infty plus_infty : 0xc.90fdaa22168c234c4c6628b80dc8p-4 : inexact-ok += carg downward ibm128 plus_infty plus_infty : 0xc.90fdaa22168c234c4c6628b80cp-4 : inexact-ok += carg tonearest ibm128 plus_infty plus_infty : 0xc.90fdaa22168c234c4c6628b80cp-4 : inexact-ok += carg towardzero ibm128 plus_infty plus_infty : 0xc.90fdaa22168c234c4c6628b80cp-4 : inexact-ok += carg upward ibm128 plus_infty plus_infty : 0xc.90fdaa22168c234c4c6628b81p-4 : inexact-ok +carg inf -inf += carg downward binary32 plus_infty minus_infty : -0xc.90fdbp-4 : inexact-ok += carg tonearest binary32 plus_infty minus_infty : -0xc.90fdbp-4 : inexact-ok += carg towardzero binary32 plus_infty minus_infty : -0xc.90fdap-4 : inexact-ok += carg upward binary32 plus_infty minus_infty : -0xc.90fdap-4 : inexact-ok += carg downward binary64 plus_infty minus_infty : -0xc.90fdaa22168c8p-4 : inexact-ok += carg tonearest binary64 plus_infty minus_infty : -0xc.90fdaa22168cp-4 : inexact-ok += carg towardzero binary64 plus_infty minus_infty : -0xc.90fdaa22168cp-4 : inexact-ok += carg upward binary64 plus_infty minus_infty : -0xc.90fdaa22168cp-4 : inexact-ok += carg downward intel96 plus_infty minus_infty : -0xc.90fdaa22168c235p-4 : inexact-ok += carg tonearest intel96 plus_infty minus_infty : -0xc.90fdaa22168c235p-4 : inexact-ok += carg towardzero intel96 plus_infty minus_infty : -0xc.90fdaa22168c234p-4 : inexact-ok += carg upward intel96 plus_infty minus_infty : -0xc.90fdaa22168c234p-4 : inexact-ok += carg downward m68k96 plus_infty minus_infty : -0xc.90fdaa22168c235p-4 : inexact-ok += carg tonearest m68k96 plus_infty minus_infty : -0xc.90fdaa22168c235p-4 : inexact-ok += carg towardzero m68k96 plus_infty minus_infty : -0xc.90fdaa22168c234p-4 : inexact-ok += carg upward m68k96 plus_infty minus_infty : -0xc.90fdaa22168c234p-4 : inexact-ok += carg downward binary128 plus_infty minus_infty : -0xc.90fdaa22168c234c4c6628b80dc8p-4 : inexact-ok += carg tonearest binary128 plus_infty minus_infty : -0xc.90fdaa22168c234c4c6628b80dcp-4 : inexact-ok += carg towardzero binary128 plus_infty minus_infty : -0xc.90fdaa22168c234c4c6628b80dcp-4 : inexact-ok += carg upward binary128 plus_infty minus_infty : -0xc.90fdaa22168c234c4c6628b80dcp-4 : inexact-ok += carg downward ibm128 plus_infty minus_infty : -0xc.90fdaa22168c234c4c6628b81p-4 : inexact-ok += carg tonearest ibm128 plus_infty minus_infty : -0xc.90fdaa22168c234c4c6628b80cp-4 : inexact-ok += carg towardzero ibm128 plus_infty minus_infty : -0xc.90fdaa22168c234c4c6628b80cp-4 : inexact-ok += carg upward ibm128 plus_infty minus_infty : -0xc.90fdaa22168c234c4c6628b80cp-4 : inexact-ok +carg -inf inf += carg downward binary32 minus_infty plus_infty : 0x2.5b2f8cp+0 : inexact-ok += carg tonearest binary32 minus_infty plus_infty : 0x2.5b2f9p+0 : inexact-ok += carg towardzero binary32 minus_infty plus_infty : 0x2.5b2f8cp+0 : inexact-ok += carg upward binary32 minus_infty plus_infty : 0x2.5b2f9p+0 : inexact-ok += carg downward binary64 minus_infty plus_infty : 0x2.5b2f8fe6643a4p+0 : inexact-ok += carg tonearest binary64 minus_infty plus_infty : 0x2.5b2f8fe6643a4p+0 : inexact-ok += carg towardzero binary64 minus_infty plus_infty : 0x2.5b2f8fe6643a4p+0 : inexact-ok += carg upward binary64 minus_infty plus_infty : 0x2.5b2f8fe6643a6p+0 : inexact-ok += carg downward intel96 minus_infty plus_infty : 0x2.5b2f8fe6643a469cp+0 : inexact-ok += carg tonearest intel96 minus_infty plus_infty : 0x2.5b2f8fe6643a46ap+0 : inexact-ok += carg towardzero intel96 minus_infty plus_infty : 0x2.5b2f8fe6643a469cp+0 : inexact-ok += carg upward intel96 minus_infty plus_infty : 0x2.5b2f8fe6643a46ap+0 : inexact-ok += carg downward m68k96 minus_infty plus_infty : 0x2.5b2f8fe6643a469cp+0 : inexact-ok += carg tonearest m68k96 minus_infty plus_infty : 0x2.5b2f8fe6643a46ap+0 : inexact-ok += carg towardzero m68k96 minus_infty plus_infty : 0x2.5b2f8fe6643a469cp+0 : inexact-ok += carg upward m68k96 minus_infty plus_infty : 0x2.5b2f8fe6643a46ap+0 : inexact-ok += carg downward binary128 minus_infty plus_infty : 0x2.5b2f8fe6643a469e4e5327a28294p+0 : inexact-ok += carg tonearest binary128 minus_infty plus_infty : 0x2.5b2f8fe6643a469e4e5327a28294p+0 : inexact-ok += carg towardzero binary128 minus_infty plus_infty : 0x2.5b2f8fe6643a469e4e5327a28294p+0 : inexact-ok += carg upward binary128 minus_infty plus_infty : 0x2.5b2f8fe6643a469e4e5327a28296p+0 : inexact-ok += carg downward ibm128 minus_infty plus_infty : 0x2.5b2f8fe6643a469e4e5327a282p+0 : inexact-ok += carg tonearest ibm128 minus_infty plus_infty : 0x2.5b2f8fe6643a469e4e5327a283p+0 : inexact-ok += carg towardzero ibm128 minus_infty plus_infty : 0x2.5b2f8fe6643a469e4e5327a282p+0 : inexact-ok += carg upward ibm128 minus_infty plus_infty : 0x2.5b2f8fe6643a469e4e5327a283p+0 : inexact-ok +carg -inf -inf += carg downward binary32 minus_infty minus_infty : -0x2.5b2f9p+0 : inexact-ok += carg tonearest binary32 minus_infty minus_infty : -0x2.5b2f9p+0 : inexact-ok += carg towardzero binary32 minus_infty minus_infty : -0x2.5b2f8cp+0 : inexact-ok += carg upward binary32 minus_infty minus_infty : -0x2.5b2f8cp+0 : inexact-ok += carg downward binary64 minus_infty minus_infty : -0x2.5b2f8fe6643a6p+0 : inexact-ok += carg tonearest binary64 minus_infty minus_infty : -0x2.5b2f8fe6643a4p+0 : inexact-ok += carg towardzero binary64 minus_infty minus_infty : -0x2.5b2f8fe6643a4p+0 : inexact-ok += carg upward binary64 minus_infty minus_infty : -0x2.5b2f8fe6643a4p+0 : inexact-ok += carg downward intel96 minus_infty minus_infty : -0x2.5b2f8fe6643a46ap+0 : inexact-ok += carg tonearest intel96 minus_infty minus_infty : -0x2.5b2f8fe6643a46ap+0 : inexact-ok += carg towardzero intel96 minus_infty minus_infty : -0x2.5b2f8fe6643a469cp+0 : inexact-ok += carg upward intel96 minus_infty minus_infty : -0x2.5b2f8fe6643a469cp+0 : inexact-ok += carg downward m68k96 minus_infty minus_infty : -0x2.5b2f8fe6643a46ap+0 : inexact-ok += carg tonearest m68k96 minus_infty minus_infty : -0x2.5b2f8fe6643a46ap+0 : inexact-ok += carg towardzero m68k96 minus_infty minus_infty : -0x2.5b2f8fe6643a469cp+0 : inexact-ok += carg upward m68k96 minus_infty minus_infty : -0x2.5b2f8fe6643a469cp+0 : inexact-ok += carg downward binary128 minus_infty minus_infty : -0x2.5b2f8fe6643a469e4e5327a28296p+0 : inexact-ok += carg tonearest binary128 minus_infty minus_infty : -0x2.5b2f8fe6643a469e4e5327a28294p+0 : inexact-ok += carg towardzero binary128 minus_infty minus_infty : -0x2.5b2f8fe6643a469e4e5327a28294p+0 : inexact-ok += carg upward binary128 minus_infty minus_infty : -0x2.5b2f8fe6643a469e4e5327a28294p+0 : inexact-ok += carg downward ibm128 minus_infty minus_infty : -0x2.5b2f8fe6643a469e4e5327a283p+0 : inexact-ok += carg tonearest ibm128 minus_infty minus_infty : -0x2.5b2f8fe6643a469e4e5327a283p+0 : inexact-ok += carg towardzero ibm128 minus_infty minus_infty : -0x2.5b2f8fe6643a469e4e5327a282p+0 : inexact-ok += carg upward ibm128 minus_infty minus_infty : -0x2.5b2f8fe6643a469e4e5327a282p+0 : inexact-ok carg 2.0 0 = carg downward binary32 0x2p+0 0x0p+0 : 0x0p+0 : inexact-ok = carg tonearest binary32 0x2p+0 0x0p+0 : 0x0p+0 : inexact-ok diff --git a/math/libm-test-carg.inc b/math/libm-test-carg.inc index 520e4c42ef..61684c6dcd 100644 --- a/math/libm-test-carg.inc +++ b/math/libm-test-carg.inc @@ -20,34 +20,6 @@ static const struct test_c_f_data carg_test_data[] = { - /* carg (x + iy) is specified as atan2 (y, x) */ - - /* carg (inf + i y) == +0 for finite y > 0. */ - TEST_c_f (carg, plus_infty, 2.0, 0), - - /* carg (inf + i y) == -0 for finite y < 0. */ - TEST_c_f (carg, plus_infty, -2.0, minus_zero), - - /* carg(x + i inf) == pi/2 for finite x. */ - TEST_c_f (carg, 10.0, plus_infty, lit_pi_2_d), - - /* carg(x - i inf) == -pi/2 for finite x. */ - TEST_c_f (carg, 10.0, minus_infty, -lit_pi_2_d), - - /* carg (-inf + i y) == +pi for finite y > 0. */ - TEST_c_f (carg, minus_infty, 10.0, lit_pi), - - /* carg (-inf + i y) == -pi for finite y < 0. */ - TEST_c_f (carg, minus_infty, -10.0, -lit_pi), - - TEST_c_f (carg, plus_infty, plus_infty, lit_pi_4_d), - - TEST_c_f (carg, plus_infty, minus_infty, -lit_pi_4_d), - - TEST_c_f (carg, minus_infty, plus_infty, lit_pi_3_m_4_d), - - TEST_c_f (carg, minus_infty, minus_infty, -lit_pi_3_m_4_d), - TEST_c_f (carg, qnan_value, qnan_value, qnan_value), AUTO_TESTS_c_f (carg),