From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=kwKX=6K=adacore.com=botcazou@sourceware.org>
Received: from mail-wm1-x32a.google.com (mail-wm1-x32a.google.com [IPv6:2a00:1450:4864:20::32a])
	by sourceware.org (Postfix) with ESMTPS id D05FF3858412
	for <gcc@gcc.gnu.org>; Tue, 14 Feb 2023 09:26:16 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org D05FF3858412
Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com
Received: by mail-wm1-x32a.google.com with SMTP id n13so10500572wmr.4
        for <gcc@gcc.gnu.org>; Tue, 14 Feb 2023 01:26:16 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=adacore.com; s=google;
        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=6+7c0mXrJTVDS10d1xmOMKODKGsgCpXb7AccNvutz4Q=;
        b=MQ6O5/dksXXfBB+aI1VVXwoTqlIbiBeIDLKMrfurNGA3BOBqkt3+MsdFjPJod2GTlZ
         30rEEGfguqGZqFwUW0lEomdP+/zuHGM9D5CgMHrQdBpYc47QgUJ2/UF4roEqSW0sAgMz
         bXPPOHK4qJCDo5usQtqVOHafJ4g3+vgnREPdE4xlYfmoJz9HMI9GV4oT/8pElbgMcZEf
         KzCymirI+3pQ1/X21VVCslwdSvDJLIGRUhlBAc5LEsWhUm5qzENTo5wFeUjyRWN4rary
         Z7BE0pQ/YnXEAbR8J6Plwz+GMwhWdS3RNIU3tJNpUQ4HUAMNWfLSVNJH3bR6fhd3nSsQ
         SLuA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20210112;
        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=6+7c0mXrJTVDS10d1xmOMKODKGsgCpXb7AccNvutz4Q=;
        b=wWDG/gNxv2oh+/xMiEdOA7VoenzASmkeYHaIouB4DC2t/4cTdAeYusT/SWimHNuYxr
         6HlfSgAKoMKCmuFErpxQHTa0NwD86GfU1Dw7aqUOKUjEaEgl5yC4voNsYU8iT+1cUX+T
         G8MgfkIm1jJiX0HRMZ6QeJfZIe8OuMW1Xwt2Lzsk7FvFK/1/TILQhs6kI+IolZ3dLRUa
         hIx/FX+6Jv7uXItHMTpT3smA7KRH01dOwDO1xxynLlIb1w65JrnPNg5YK97M/mdmTjBb
         TEOrR3zrcc4UuuOu1tvmSSa3qiMgvxrxZHllYy5TJQKiz7miDH6993iyMXK0UpM6TlR5
         ncxw==
X-Gm-Message-State: AO0yUKU7kSZM/gppp3a2gUC5W3qnjNdXr/LPQcm2SittRWEKEaK1CI8N
	p+HmfKmCMfc+RJqVXsmz0JzHMw==
X-Google-Smtp-Source: AK7set+RxQp75wrTQICBRJB/8HeOtPGcWSwC2AF/cHTMHnMRlD2qpgnae+9oViD193azHdMmKCw8tA==
X-Received: by 2002:a05:600c:2ac8:b0:3da:fcb7:39e5 with SMTP id t8-20020a05600c2ac800b003dafcb739e5mr1443666wme.23.1676366775543;
        Tue, 14 Feb 2023 01:26:15 -0800 (PST)
Received: from fomalhaut.localnet ([2a01:e0a:8d5:d990:e654:e8ff:fe8f:2ce6])
        by smtp.gmail.com with ESMTPSA id q14-20020a05600c46ce00b003db12112fcfsm18266086wmo.4.2023.02.14.01.26.14
        (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
        Tue, 14 Feb 2023 01:26:15 -0800 (PST)
From: Eric Botcazou <botcazou@adacore.com>
X-Google-Original-From: Eric Botcazou <ebotcazou@adacore.com>
To: Jakub Jelinek <jakub@redhat.com>
Cc: Simon Richter <Simon.Richter@hogyros.de>, Segher Boessenkool <segher@kernel.crashing.org>, David Edelsohn <dje.gcc@gmail.com>, gcc@gcc.gnu.org
Subject: Re: POWER __builtin_add_overflow/__builtin_mul_overflow with u64
Date: Tue, 14 Feb 2023 10:26:14 +0100
Message-ID: <1843696.tdWV9SEqCh@fomalhaut>
In-Reply-To: <Y+tFG7lMckrx7zGF@tucnak>
References: <567bf141-3d8b-201f-933b-087db28fc38b@hogyros.de> <Y+tFG7lMckrx7zGF@tucnak>
MIME-Version: 1.0
Content-Transfer-Encoding: 7Bit
Content-Type: text/plain; charset="us-ascii"
X-Spam-Status: No, score=-4.4 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,KAM_NUMSUBJECT,KAM_SHORT,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=no autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org
List-Id: <gcc.gcc.gnu.org>

> rs6000 indeed doesn't implement {,u}{add,sub,mul}v4_optab for
> any mode and thus leaves it to the generic code.

https://gcc.gnu.org/pipermail/gcc-patches/2016-October/460209.html

-- 
Eric Botcazou