From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <cassio.neri@gmail.com>
Received: from mail-wr1-x429.google.com (mail-wr1-x429.google.com
 [IPv6:2a00:1450:4864:20::429])
 by sourceware.org (Postfix) with ESMTPS id 2A5633847832;
 Fri, 21 May 2021 17:46:53 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 2A5633847832
Received: by mail-wr1-x429.google.com with SMTP id v12so21848254wrq.6;
 Fri, 21 May 2021 10:46:53 -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:reply-to:from:date:message-id
 :subject:to;
 bh=xIKJb+3LccEOjgQP2DmY/EcGr/mUJ0Ce/p12UTf5vpY=;
 b=avD8QPJUtapEKh+7Q/vGf7Pr7SX7pHVTV5pxmiYNYbx4J4Zhu6rQgYXy0Qch28JbHD
 46jNVZTBe5YQ/FOXUc0pt3GVw9NPJNc1frSXD+veyIxQwe2xAUxYwl76C2NnxqYVFiAZ
 7PPtUfwoHbe7niPduVHaLvNg+a1UbAYLyZ4zh9xYaSn/odNC6xORne1t1LJ7KKfmKIMz
 5Egyvu/cEP/oOGWlbY9mTfNoZHoWedLRiZ+hvVKIVzOwoFV3RFOvFtlyReekQxVElqyx
 4fo9mBVC4WU1j4WK0d15+zpoA8choUoe6HzvosUimzn7npj/N3bANKGFHMBXU9N1NsSf
 c7cg==
X-Gm-Message-State: AOAM531rSi5aZHnuU+j4CB2Uo9bgjeyhdAGY/2U/iyaKbIFWoafJU0MW
 E0Z5n9Pzd2ILhS7ZWGzDYD/VHfztizDQFK83xVclQv7sjsMW+w==
X-Google-Smtp-Source: ABdhPJytR/m82PRYxyhoYHGMkcrRyIJjTSYRppQ+cMnOmLLznI5BRdxdIuzEVHb/k72vx0tok2nvEWNfmO0Q0sPai7w=
X-Received: by 2002:adf:8b09:: with SMTP id n9mr10991091wra.148.1621619211826; 
 Fri, 21 May 2021 10:46:51 -0700 (PDT)
MIME-Version: 1.0
Reply-To: cassio.neri@gmail.com
From: Cassio Neri <cassio.neri@gmail.com>
Date: Fri, 21 May 2021 18:46:40 +0100
Message-ID: <CAOfgUPgc+4fZ65GtcprdiM+ObP6o-avP85frLzY0A1uqZHOoUg@mail.gmail.com>
Subject: [PATCH] libstdc++: More efficient std::chrono::year::leap.
To: libstdc++@gcc.gnu.org, gcc-patches@gcc.gnu.org
Content-Type: text/plain; charset="UTF-8"
X-Spam-Status: No, score=-9.4 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 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: libstdc++@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Libstdc++ mailing list <libstdc++.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/libstdc++>,
 <mailto:libstdc++-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/libstdc++/>
List-Post: <mailto:libstdc++@gcc.gnu.org>
List-Help: <mailto:libstdc++-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/libstdc++>,
 <mailto:libstdc++-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Fri, 21 May 2021 17:46:54 -0000

Simple change to std::chrono::year::is_leap. If a year is multiple of 100,
then it's divisible by 400 if and only if it's divisible by 16. The latter
allows for better code generation.

Tested on x86_64-pc-linux-gnu.

libstdc++-v3/ChangeLog:

* include/std/chrono:

diff --git a/libstdc++-v3/include/std/chrono b/libstdc++-v3/include/std/chrono
index 4631a727d73..6221d02c1b3 100644
--- a/libstdc++-v3/include/std/chrono
+++ b/libstdc++-v3/include/std/chrono
@@ -1612,7 +1612,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
  constexpr uint32_t __offset       = __max_dividend / 2 / 100 * 100;
  const bool __is_multiple_of_100
   = __multiplier * (_M_y + __offset) < __bound;
- return (!__is_multiple_of_100 || _M_y % 400 == 0) && _M_y % 4 == 0;
+ return (!__is_multiple_of_100 || _M_y % 16 == 0) && _M_y % 4 == 0;
       }

       explicit constexpr