From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp-out2.suse.de (smtp-out2.suse.de [195.135.220.29]) by sourceware.org (Postfix) with ESMTPS id 13F773858408 for ; Thu, 6 Jan 2022 16:35:36 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 13F773858408 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=suse.cz Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=suse.cz Received: from imap2.suse-dmz.suse.de (imap2.suse-dmz.suse.de [192.168.254.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-521) server-digest SHA512) (No client certificate requested) by smtp-out2.suse.de (Postfix) with ESMTPS id 3C3DA1F37F; Thu, 6 Jan 2022 16:35:35 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.cz; s=susede2_rsa; t=1641486935; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:cc: mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=vDsV5OAMyTG3Z0xTyxUpPXCcQysVaqCeMMD8Uy7jD9M=; b=E2Ahcq8cEnX6OdL2fve6RpKHjlpjy1ytlNa7p6V0wI+Is5/yojop1Tl/dOpov62glPdcto WDgqjStufm42qV3VaFHPSnxt4dSeRhgJhYGkcN4kn/f94ARVWGTdVGVGtYS0xajmAszm1v 9hwDxqlvbLhv7cv8A3dD4VYr7NR3jjk= DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/relaxed; d=suse.cz; s=susede2_ed25519; t=1641486935; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:cc: mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=vDsV5OAMyTG3Z0xTyxUpPXCcQysVaqCeMMD8Uy7jD9M=; b=VHxD8yWLX3HZZXz4epZm1/utKVz/b3R/6DA2qEoGFxjJutZ5ZW2VtzcqjsmkxYabuiPPHM DbgVtIsycjSJ8eBA== Received: from imap2.suse-dmz.suse.de (imap2.suse-dmz.suse.de [192.168.254.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-521) server-digest SHA512) (No client certificate requested) by imap2.suse-dmz.suse.de (Postfix) with ESMTPS id 22CA613C5F; Thu, 6 Jan 2022 16:35:35 +0000 (UTC) Received: from dovecot-director2.suse.de ([192.168.254.65]) by imap2.suse-dmz.suse.de with ESMTPSA id NudXB1ca12GREQAAMHmgww (envelope-from ); Thu, 06 Jan 2022 16:35:35 +0000 Message-ID: Date: Thu, 6 Jan 2022 17:35:34 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.4.1 Subject: Re: [PATCH] Loop unswitching: support gswitch statements. Content-Language: en-US To: Andrew MacLeod , Richard Biener Cc: GCC Patches References: <0db1d9e8-f097-e766-a9fa-1a98c47b8115@suse.cz> <3a07ef98-d05f-dc07-2e36-a2b4ffd52936@suse.cz> <7bcc368c-3f26-4503-aec1-a3d6378e33ec@suse.cz> <561a3ffd-8973-d771-418f-76c484085cc5@suse.cz> <20265d97-6350-c234-695d-bc18e2e617b4@suse.cz> <930e2424-a23d-9dc9-444a-991c829d98ad@redhat.com> <44776175-67a3-8bd8-b823-714b549c8f37@redhat.com> From: =?UTF-8?Q?Martin_Li=c5=a1ka?= In-Reply-To: <44776175-67a3-8bd8-b823-714b549c8f37@redhat.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-5.5 required=5.0 tests=BAYES_00, BODY_8BITS, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, NICE_REPLY_A, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 06 Jan 2022 16:35:37 -0000 On 1/6/22 17:20, Andrew MacLeod wrote: > So if you get a FALSE back, you cannot use any results because GORI is claiming that it cant figure something out... or there is nothing to figure out.   Most of rangers routines are implemented so that if they return FALSE, the result is meaningless. All right, then it's my bad, sorry for the noise. > > > what is IDX you are passing?  order_385? Yep. (gdb) p idx $1 = > > As a side note, theres a typo in the testcase:  .. Im not sure how that affects things, but : Oh, yeah, that's typo :) > > defaut: >         __builtin_unreachable (); > > > default is misspelled...  maybe it thinks that some kind of runtime value?   I am surprised it even compiles.  maybe that is mucking up what GORI thiunks it can calculate? But it does not affect anything. The bailout happens due to: │ 199 // Only process switches if it within the size limit. │ 200 if (EDGE_COUNT (e->src->succs) > (unsigned)m_max_edges) │ > 201 return NULL; Cheers, Martin