From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 E0F6C3858C62 for ; Wed, 12 Jul 2023 21:50:40 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E0F6C3858C62 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-pl1-x632.google.com with SMTP id d9443c01a7336-1b8ad9eede0so557445ad.1 for ; Wed, 12 Jul 2023 14:50:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1689198639; x=1691790639; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=drlti2OIJ0HvkpnQB6ofcE31LiI3GIkifz4jBlKl8K8=; b=Ckgg4x5HvA54spkds/RBI5WUljevWO06NEHMyiL7lvRZ5c9WgM68QBXLHMI1NexOGt K2liSDzQ4IZiDF4ys9ynpkdLZ3bOjqJS4WuD7HdXwpYldzZIG25LXqYD8XSoh/XTiNpo KKSl/IT38DH479Bzdz4PLQIyXf6JevAMmILfBUq1+Q3nlw9UCaG7JAKp3LHTUKQZO3eu lcX8+Ho1FnEptlz26g8e2pBVJrnixeTEnSDkWDcEl7NkPMzs+Yx+NBLKyneU6mmNrnk+ NQNdxC6UoAyLTsHOB9T9ghCHQT5f4g+Jt/7VUONksu8ERT0DTXyLuimoan9Xcuwd398i HFmA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1689198639; x=1691790639; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=drlti2OIJ0HvkpnQB6ofcE31LiI3GIkifz4jBlKl8K8=; b=dj1Bj4jtzNvvGSPzQzukQ04XAySrYRethNSLLeQl6hfUBUPkBgB3dihcOZeOyxr/eZ FQVHXe+vtnYvnbokMbusuCt+8oIX+iDSq8RT0z1aHPGEDMKwO8DhTaP6dx3nHADo3aV+ yq9i4e8xblVElbsn1pl78is+K63S8X6ikJSmDfagWPbv7pVW+/XeqBYxLklcrh45uhXV lQzQ57VqkNgmyMUx7b2d1iDyrc5rgg24OLv+30ExDDAKlqYLvKWKUWFtGAkD8uctuxU4 wlb+F1K1RjE8gpYwtBzBQhw+O43uNp+a1LezpHXbUhUaZWOyZ6xDD8duxYma7Ah2JZvY BirQ== X-Gm-Message-State: ABy/qLawnU0JQ87qwFKHhTuWl2Uw9WwFAA5APRw5lZos8oJP+CDjk6w0 g+yNrx6YT3cjEyrfeNclzu8= X-Google-Smtp-Source: APBJJlFIcBoikUg7BYBRzeWz7p2ht0hV2NTLD7hyxxpTKmw0qf71+0d1j8kdMFYt1pox1sE2Rs8VaA== X-Received: by 2002:a17:903:cd:b0:1b8:400a:48f2 with SMTP id x13-20020a17090300cd00b001b8400a48f2mr17755616plc.62.1689198639400; Wed, 12 Jul 2023 14:50:39 -0700 (PDT) Received: from [172.31.0.109] ([136.36.130.248]) by smtp.gmail.com with ESMTPSA id jk16-20020a170903331000b001b9e82a6be7sm4449691plb.220.2023.07.12.14.50.38 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 12 Jul 2023 14:50:38 -0700 (PDT) Message-ID: Date: Wed, 12 Jul 2023 15:50:37 -0600 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.12.0 Subject: Re: [COMMITTED] [range-op] Take known set bits into account in popcount [PR107053] Content-Language: en-US To: Aldy Hernandez , GCC patches Cc: Andrew MacLeod References: <20230712211528.65888-1-aldyh@redhat.com> From: Jeff Law In-Reply-To: <20230712211528.65888-1-aldyh@redhat.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-2.3 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE 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 7/12/23 15:15, Aldy Hernandez via Gcc-patches wrote: > This patch teaches popcount about known set bits which are now > available in the irange. > > PR tree-optimization/107053 > > gcc/ChangeLog: > > * gimple-range-op.cc (cfn_popcount): Use known set bits. > > gcc/testsuite/ChangeLog: > > * gcc.dg/tree-ssa/pr107053.c: New test. You could probably play similar games with ctz/clz, though it's hard to know if it's worth the effort. One way to find out might be to build jemalloc which uses those idioms heavily. Similarly for deepsjeng from spec2017. Jeff