From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp2-g21.free.fr (smtp2-g21.free.fr [IPv6:2a01:e0c:1:1599::11]) by sourceware.org (Postfix) with ESMTPS id 33F943858D32 for ; Tue, 19 Sep 2023 05:03:59 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 33F943858D32 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=free.fr Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=free.fr Received: from [192.168.1.28] (unknown [90.112.30.115]) (Authenticated sender: paulf@free.fr) by smtp2-g21.free.fr (Postfix) with ESMTPSA id 35C542003D3 for ; Tue, 19 Sep 2023 07:03:58 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=free.fr; s=smtp-20201208; t=1695099838; bh=HIcjF4ryfgOyE5RCSiMSOyl9hcjGl7Su3lrlJle+Z40=; h=Date:Subject:To:References:From:In-Reply-To:From; b=SdXJXcPhO1SZEpU9hFMbkn0OvIgyJUC9tXEHPxi85PZbqedAnnBKuBjoHm6N66wgd dInv2BiwtRBiPGZ0oeiCT1IxT9QUsG8nHQNrz0IgchhtAoB2Z2OkwCKrk6t9mqEOxS mk2JyFo6FKI5/tC5mtw0ys7kC/IwT1VBKEB2Bl9hZyhSYav5PWA2hj13MhpC79Fw+t wZI9bZq2OvRWNAYFrB3Qi/5vOcanVh/pcUWUSl2SXBLYGRGT6N1koeVnjIUZYRx7xB aQCIgM2r9KCqSqo00fyqmlxsqmfhriuNqTB1uQoyJQV8gwQFUkiMIai4+04htusICK 1hDQUCHyfZ9Gg== Message-ID: Date: Tue, 19 Sep 2023 07:03:57 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:102.0) Gecko/20100101 Thunderbird/102.15.1 Subject: Re: Safe transposition of logical and operands To: "gcc@gcc.gnu.org" References: <12c6db0e-10cf-eef6-6209-77da64738897@free.fr> <2cabfda8e4ef48627a681fdb1619f2937cc4bd97.camel@gwdg.de> <1dbda88a-60dd-bb00-1217-244d111598fb@free.fr> <36ac57c1e19b68fd588208a9ac03b58fe29fab32.camel@gwdg.de> Content-Language: en-US From: Paul Floyd In-Reply-To: <36ac57c1e19b68fd588208a9ac03b58fe29fab32.camel@gwdg.de> Content-Type: text/plain; charset=UTF-8; format=flowed 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,JMQ_SPF_NEUTRAL,NICE_REPLY_A,SPF_HELO_NONE,SPF_PASS,TXREP 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 18-09-23 22:52, Martin Uecker wrote: > Is the problem that valgrind transforms the code before it then > emulates it and the problem is that during emulation the code > could trap? Yes, roughly the process is guest ISA -> IR -> IR transformations -> IR optimizations -> execution The && "idiom recovery" is getting filtered out during the IR transformations. A+ Paul