From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ej1-x629.google.com (mail-ej1-x629.google.com [IPv6:2a00:1450:4864:20::629]) by sourceware.org (Postfix) with ESMTPS id 91C793858414 for ; Tue, 9 Jan 2024 09:39:58 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 91C793858414 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 91C793858414 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::629 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1704793200; cv=none; b=SC0voa28sBC91om2kfayEG+BE3SqQE5RoRY2Zs4DBH+yxgpkAW+RTNW3cm7Er1gTPgg2M/CTHQJ9GZIb9DtLHuU7QgbPs2AxmutmhhtvQsepcaieyBLH0MErlx0bN/5xGw6GpqM98L5PgJTLTLNHT5BQWUS3BIlQLIhP2sQG/zo= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1704793200; c=relaxed/simple; bh=izt+ueORXx5JMvvY9Uw1hVBaeMnFdpNlqRRZn3PzqTs=; h=DKIM-Signature:Message-ID:Date:MIME-Version:Subject:To:From; b=cceolvucfxouDPES1mIXE/AJG4qtLaPAYEflQkuyzDMMc8PiypjLcCiY5TJAFEHwNmfussoaFz+wNjzt16WqJVHCabZWwjB+0V1o5+X91L04rjEW57fmOZjCvhLP52J75W3YzTq8VdA9PP5el79p3h9dxBDfna5r64qXPwtbEuI= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-ej1-x629.google.com with SMTP id a640c23a62f3a-a298accc440so305660666b.1 for ; Tue, 09 Jan 2024 01:39:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1704793197; x=1705397997; darn=gcc.gnu.org; h=content-transfer-encoding:in-reply-to:from:content-language :references:to:subject:cc:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=qeEXelFKGFBPdk+wAh+MIyxBdEUh/YRK7gUOUqyOPZI=; b=RY4T8JBYQP/oOraD6pCC57vazAr6UzmZA47EWguZVDiLbBQDf2EIZ+G6iHVAwW1CBz iGddNYY2bRpwqFKG2mO+WDI9w+Ctce1OfgT/D8TGdS6yrSyys/u1f17EN6YKzso2MTxg +MIzJqYiGdJTH5dVb0mnLo1l96jcM7nDMo0xeZU2u+9bxV0YYqhaaBUiCYg+7yGkZFdo 8wBNbk1k0eiCEcewYiy78gaoIdkhKVItd/4ZAGT04K+c605AKb5bNT/gAZSH09qLWE5d cViVJU2LM+24B+PhITOMF9mp/ss6kprz7wMFfEgEbL7K/JlUHyrZtPSLmpxsjiZDMGNU Pspg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1704793197; x=1705397997; h=content-transfer-encoding:in-reply-to:from:content-language :references:to:subject:cc:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=qeEXelFKGFBPdk+wAh+MIyxBdEUh/YRK7gUOUqyOPZI=; b=o26r2dj4Y/yKQf2cDyHthP9tFOIw9PDxRHXSOOgS3bwdXWV6GvxU+gpOsdauOpR2zb kDRJRLV/lQr8t0dlgvScreh3kG3zMSwO8qb8sIEotxnrqtwyGVelHu+Eqcd8a1i+Ydoh Kvv7WL9F7/7l47SZupJpV68aHGmik4zKtqoC+8MFtACwb6k/8lkeGUyKP3AhRSHBUxHZ 9eJFtcaPUH57r6unoc9nUmVR2t7XHEgb+EWvnNAgoSfkj2iKEVDXxyTOoso3EY59Ai/S pfeRcAC73VEqbp/TxomVEI1WQsTN/XdXogDt69F4kI54YfGtxXW8NtrtItARGdMtDLhQ WbkQ== X-Gm-Message-State: AOJu0Ywn01DEuB5XNlAyNz23O8/wgM6qbnPoy4Ah5hGJCa2H6eqf7gd6 qOnHfmfV4HkE7kmSemlJeyc= X-Google-Smtp-Source: AGHT+IFrXE1yVlVNEyUOOnTTA7RR1EKXTU3+BGsjZpvvd3+2LZDgp4mF1yhK1XThEtT/kpKU17SyWw== X-Received: by 2002:a17:907:748:b0:a28:aef6:9965 with SMTP id xc8-20020a170907074800b00a28aef69965mr438735ejb.94.1704793196997; Tue, 09 Jan 2024 01:39:56 -0800 (PST) Received: from [192.168.1.23] (ip-149-172-150-237.um42.pools.vodafone-ip.de. [149.172.150.237]) by smtp.gmail.com with ESMTPSA id m18-20020a1709060d9200b00a26aea4942dsm811454eji.123.2024.01.09.01.39.56 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 09 Jan 2024 01:39:56 -0800 (PST) Message-ID: Date: Tue, 9 Jan 2024 10:39:55 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Cc: rdapp.gcc@gmail.com, kito.cheng@gmail.com, kito.cheng@sifive.com, jeffreyalaw@gmail.com Subject: Re: [PATCH] RISC-V: Fix loop invariant check To: Juzhe-Zhong , gcc-patches@gcc.gnu.org References: <20240109012453.675353-1-juzhe.zhong@rivai.ai> Content-Language: en-US From: Robin Dapp In-Reply-To: <20240109012453.675353-1-juzhe.zhong@rivai.ai> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-3.0 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,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: OK. I'm still a bit unsure about whether SSA_NAME_IS_DEFAULT_DEF can really occur but if it does it's not wrong to treat it as loop invariant. Regards Robin