From patchwork Thu Oct 4 17:56:56 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Richard Henderson X-Patchwork-Id: 148122 Delivered-To: patch@linaro.org Received: by 2002:a2e:8595:0:0:0:0:0 with SMTP id b21-v6csp1285778lji; Thu, 4 Oct 2018 11:00:09 -0700 (PDT) X-Google-Smtp-Source: ACcGV63AcLyyxmuEE5Pyn5IxQly0ip+IKE2+WuniaQZGLfpBtaJjpDIDwEGYl71rb9l7g7pHGYUJ X-Received: by 2002:a0c:82a2:: with SMTP id i31-v6mr6257868qva.27.1538676009174; Thu, 04 Oct 2018 11:00:09 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1538676009; cv=none; d=google.com; s=arc-20160816; b=tPpNzgU8w+sKNr0Jb9WIl3SDq3Zz6TYYuTaIuzV4fO8fghN1ZCpnayYlFzBCT+6/sE 4DMar/nailWUSeituXG+E1dW4uK5riTyT4znsnPOOcFJMwB+0Y/J5hMcIIu11ztvfpEx OSeFYMOjFYAJmzC3TBM2Jd71qVnlpFtUwCEAPA6rf2av+wwCb3kY2H1Mh+AqhUyzS/ZJ ytQiG3DF+4rUv45DBg9WAaqNq7dk/7EVUXJ3o0vXqblTz4+peKZVU1Z0mpyDCuza2Sgq Ev6QU5WysKJZEtXYOJbIhiRUV9ivS4NtX84Sa2ZXG65BePp/cn+rpDEaeYYRU8EVzkBB h/uA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:cc:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:subject :content-transfer-encoding:mime-version:message-id:date:to:from :dkim-signature; bh=BW1Nb1dvugxi2oybHRes3HHJq2RSBH/p2Op4g4lY5x0=; b=GOWDxhLc1xWv8CJEumlvq+VbBgjIeB7vkOiaCuZFvbYcXN2ZcWhxCfvSf6wYQrkWBX N1IbZ40wGwxDXi0Mqm9qVKn/ar+GVuo5NPYxi+pqWpqCmmcNr7R/QjlIclmj9CEYy1iu oW8ITZLfN70uspMrVwXPXxs9YuOytP8IvklUaxJW33IBnk17EK5nNHWAlx8+UFuMXdC1 BfXBBkADWJmiokUAQKpYIrENj6x/Z25I45W5KythuY60lDuZ9JbpNN7rt9G1UvtXcRp5 Bi6QPT7hVdbn2HXJUZqfykoJn8W7tf+HkbrOlCw82d2U224jk61wscWLTW2UAIjov7oO C6Hg== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=c8EvQn5b; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 2001:4830:134:3::11 as permitted sender) smtp.mailfrom="qemu-devel-bounces+patch=linaro.org@nongnu.org"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=linaro.org Return-Path: Received: from lists.gnu.org (lists.gnu.org. [2001:4830:134:3::11]) by mx.google.com with ESMTPS id k23-v6si2263399qvk.99.2018.10.04.11.00.08 for (version=TLS1 cipher=AES128-SHA bits=128/128); Thu, 04 Oct 2018 11:00:09 -0700 (PDT) Received-SPF: pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 2001:4830:134:3::11 as permitted sender) client-ip=2001:4830:134:3::11; Authentication-Results: mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=c8EvQn5b; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 2001:4830:134:3::11 as permitted sender) smtp.mailfrom="qemu-devel-bounces+patch=linaro.org@nongnu.org"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=linaro.org Received: from localhost ([::1]:58110 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1g87uy-00087Q-CB for patch@linaro.org; Thu, 04 Oct 2018 14:00:08 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:32769) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1g87sH-0006Dr-AD for qemu-devel@nongnu.org; Thu, 04 Oct 2018 13:57:27 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1g87s3-0005gE-74 for qemu-devel@nongnu.org; Thu, 04 Oct 2018 13:57:14 -0400 Received: from mail-oi1-x244.google.com ([2607:f8b0:4864:20::244]:38497) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1g87s2-0005eN-Lj for qemu-devel@nongnu.org; Thu, 04 Oct 2018 13:57:07 -0400 Received: by mail-oi1-x244.google.com with SMTP id u197-v6so8228630oif.5 for ; Thu, 04 Oct 2018 10:57:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=BW1Nb1dvugxi2oybHRes3HHJq2RSBH/p2Op4g4lY5x0=; b=c8EvQn5bAEH/O7dykT0iSJCXvpbIuu8IAeyoO9HpWfI9z+ELGlS2NEJGKMHaowHaj+ KYp2yLoU4tB1kBjt7+dGuaj2K0LMFjoC09edE+/F8Ejp1/BEEYLddwHEkDNF+raL1UCX 0eG3Tw04CTQJd/rH5lT5jvV6xb/YTQkxncutU= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=BW1Nb1dvugxi2oybHRes3HHJq2RSBH/p2Op4g4lY5x0=; b=e2uoT5SVoRKAwAhc7+cTm11mooPLzWB8TkUaFE03x/Q14Yi5JU8UWWzEeOe600Wke2 djJjSUjJ56JZLd8T+3XU3uQKkYP9mZ4b5rD9VvTOQalXEkuR7+QHotsc86LoY2vnrbdi b5H9OmdNk5FlbgMKbLhS1bB58KRYU5bsQBzm9sujVV2/qSGhKDcL/OTsWuMGn7hhmRjp aEppN7jaGaBoiV09dcQENCA1Q5G8Pfo7GY3effKo8Um9Fntpm02pUnhUm/+cZte+vo2i rA31BupdSJkVzdJ5DsDnf/CZQBTICCb2QcONCIbKbkK6/I7WbcJwJ9yrNhIlPDCit+GO ENLQ== X-Gm-Message-State: ABuFfoi/FgoqySCqPvFLckUsch/4EL7lXHKBDwECtoWzSbWVxempecuS PUhl6PmH8eGBPB8P/Vo5xWEEjR6SSMVRCA== X-Received: by 2002:aca:ab89:: with SMTP id u131-v6mr3728680oie.316.1538675824032; Thu, 04 Oct 2018 10:57:04 -0700 (PDT) Received: from cloudburst.twiddle.net ([187.217.227.243]) by smtp.gmail.com with ESMTPSA id f84-v6sm1830649oia.44.2018.10.04.10.57.02 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 04 Oct 2018 10:57:02 -0700 (PDT) From: Richard Henderson To: qemu-devel@nongnu.org Date: Thu, 4 Oct 2018 12:56:56 -0500 Message-Id: <20181004175700.20847-1-richard.henderson@linaro.org> X-Mailer: git-send-email 2.17.1 MIME-Version: 1.0 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::244 Subject: [Qemu-devel] [PATCH v3 0/4] softfloat: Fix division X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: cota@braap.org, alex.bennee@linaro.org Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: "Qemu-devel" Changes from v2: * Add shift128Left. I had been using shortShift128Left, with a shift of 64, which lead to undefined behaviour. Which I suspect is exactly the Heisenbug Alex saw. I did keep the R-b tags I had already applied. r~ Richard Henderson (4): softfloat: Fix division softfloat: Specialize udiv_qrnnd for x86_64 softfloat: Specialize udiv_qrnnd for s390x softfloat: Specialize udiv_qrnnd for ppc64 include/fpu/softfloat-macros.h | 62 +++++++++++++++++++++++++++++----- fpu/softfloat.c | 35 ++++++++++++++----- 2 files changed, 80 insertions(+), 17 deletions(-) -- 2.17.1 Tested-by: Alex Bennée