From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pg1-x52c.google.com (mail-pg1-x52c.google.com [IPv6:2607:f8b0:4864:20::52c]) by sourceware.org (Postfix) with ESMTPS id 01CB23858C5F for ; Thu, 30 Nov 2023 04:42:13 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 01CB23858C5F Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 01CB23858C5F Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::52c ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1701319334; cv=none; b=l8HpiNveX78MYRqjnWyzDMfgW0IYOdoHarTJxjKDp9WhsKQXs2VQi7Qtg2tG6S1yP5883DvVL1+ADUVNoizf3wksroZ7GuJIXIAEWrgF069ndAwQRTxBcmhFAe09yMo4k54WquOCke64lv7NPussoXxqS4cmild5TwyJSLXsLnw= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1701319334; c=relaxed/simple; bh=YPH4KiORAhxxpckPdHiqPhjD/iDyRua7m+LAi3VuAl0=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=BGx7rb8fA7HGETxYnPxdFrmyfG7YTyL7rxq1M9KWrcpNDecukSh4HVncLOCZCrWbq3LzdkdYxQZK8oxkO/PPLCFFG6Y7YX8FkR7iE+2ucp8rdcCCHdsA3pJ5gmG2OJXQ6YsXCtcXSnWwV/ZoPRhJcGozwD6MFZEfX0q+VsNalp4= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-pg1-x52c.google.com with SMTP id 41be03b00d2f7-5c1f8b0c149so453448a12.3 for ; Wed, 29 Nov 2023 20:42:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1701319332; x=1701924132; darn=gcc.gnu.org; h=mime-version:user-agent:message-id:in-reply-to:date:references :organization:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=F3IdZvd9pF0a5DU8Ed0jFiIQIlfXjpfw+iab66poLe4=; b=M8Jrf1TOsL4KSi16T94aYsYw2IfUUx1yWr1iQh2By/PCFZWqacxDreevSeakY7OD2I zFGKAFCELxIKmuwl2hSib0K9eYCr3EfKNApH34Xc0rDC447vQ85trnFEWQ/57cwzFLkB 361YPZstggSRVsmwYaohulgg+EoX50a5bvzTQIwoYAWFL+2yOADZtjPq7xr8ukWLf3dq cdnixqIZAHw8yAhOd30ZmRcgcMmuvD6O6a/w6RjdMAL/DUatHOhaJNDR8pVihMillEYp 3FpHag3CbWOXZBRhj+6aGZBRIMZEw8PPBRcpPBzcq+EqPwe08msC5ZrIdJoRgUS2Mheo X6ew== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1701319332; x=1701924132; h=mime-version:user-agent:message-id:in-reply-to:date:references :organization:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=F3IdZvd9pF0a5DU8Ed0jFiIQIlfXjpfw+iab66poLe4=; b=aNhkkMzMxqy+X0Drdao9tuXPwQV0zMyGEwk89B2vfk6278/XDVFCpBW56ajgeqZyw6 bKur+2HTBjp57oyuPRfQZussEprYt7jS/iyyhefEd07aCMvr1QAMh0Tycx6kIYIrpxkx j4111w97PjoWfI45tfNhZ/Tsv3xVAA5Q513XMVZJGEXm/9ra1sv6KGD9z2qg4AJI2sIL TXi28WPheN/R5qj4gEfiFSdpT3XkIyjaPLqUn0ZIjcNfxEBvMV+1f4sMG5E6OozXI9UZ Tss7JM8VDiD1C76Hw5Chq9GThWVq+Sr28CQurXN4djPwuT3cSLnQzD4J14vU70fYyVev XItA== X-Gm-Message-State: AOJu0YxYAKgCAKN6oybBslyh7SCeA7sw2tzi8Cjcl+zQJOTitTPCoDCv 2+KMvgcVPtB353es4SHvYc2hxg== X-Google-Smtp-Source: AGHT+IH/cS2L9t6iFTNNKCOKGQZFfZMe/GzxozG5UxjeeO1Cq7z7dBngfgYPVp7lG2pYZWPDtQ96pg== X-Received: by 2002:a05:6a20:3d28:b0:18c:2287:29cf with SMTP id y40-20020a056a203d2800b0018c228729cfmr19576466pzi.40.1701319331806; Wed, 29 Nov 2023 20:42:11 -0800 (PST) Received: from free.home ([2804:7f1:2080:8d38:553a:9121:2785:9c36]) by smtp.gmail.com with ESMTPSA id q11-20020a170902a3cb00b001a98f844e60sm236729plb.263.2023.11.29.20.42.10 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 29 Nov 2023 20:42:11 -0800 (PST) Received: from livre (livre.home [172.31.160.2]) by free.home (8.15.2/8.15.2) with ESMTPS id 3AU4ft6S049694 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Thu, 30 Nov 2023 01:41:55 -0300 From: Alexandre Oliva To: Hans-Peter Nilsson , Eric Botcazou Cc: , , Rainer Orth , , Subject: Re: [PATCH] testsuite: scev: expect fail on ilp32 Organization: Free thinker, does not speak for AdaCore References: <6f1516e7-f4be-4e13-b04c-8b5c31cae4f7@gmail.com> <20231129180047.1334620430@pchp3.se.axis.com> Date: Thu, 30 Nov 2023 01:41:55 -0300 In-Reply-To: <20231129180047.1334620430@pchp3.se.axis.com> (Hans-Peter Nilsson's message of "Wed, 29 Nov 2023 19:00:47 +0100") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Scanned-By: MIMEDefang 2.84 X-Spam-Status: No, score=0.3 required=5.0 tests=DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,KAM_NUMSUBJECT,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,T_SCC_BODY_TEXT_LINE,WEIRD_QUOTING 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: On Nov 29, 2023, Hans-Peter Nilsson wrote: >> XPASS: gcc.dg/tree-ssa/scev-3.c scan-tree-dump-times ivopts "&a" 1 >> XPASS: gcc.dg/tree-ssa/scev-4.c scan-tree-dump-times ivopts "&a" 1 >> XPASS: gcc.dg/tree-ssa/scev-5.c scan-tree-dump-times ivopts "&a" 1 > It XPASSes on the ilp32 targets I've tried - except "ia32" > (as in i686-elf) and h8300-elf. Notably XPASSing targets > includes a *default* configuration of arm-eabi, which in > part contradicts your observation above. My arm-eabi testing then targeted tms570 (big-endian cortex-r5). I borrowed the ilp32 vs lp64 line from an internal patch by Eric that we've had in gcc-11 and gcc-12, when I hit this fail while transitioning the first and then the second of our 32-bit targets to gcc-13. Eric, would you happen to recall where the notion that lp64 was a good heuristic for these tests? > Alex, can you share the presumably plural set of targets > where you found gcc.dg/tree-ssa/scev-[3-5].c to fail before > your patch, besides "ia32"? I haven't even seen scev-4.c fail, I only got reports that it did. I'm not even claiming it fails, I'm only claiming it has been observed to fail on some ilp32 targets, and nobody seems to have a good sense of when it's supposed to pass or fail, so my reasoning was that making it an expected fail is less alarming than seeing actual failures on some targets. It was known to be imprecise, but to be an improvement over getting a FAIL for some reasonably common targets when there was no reason to expect it to actually pass, or even to have ever passed. > So, ilp32 is IMO a really bad approximation for the elusive > property. Yeah. Maybe we should just drop the ilp32, so that it's an unsurprising fail on any targets? > Would you please consider changing those "ilp32" to a > specific set of targets where these tests failed? I'd normally have aimed for that, but the challenge is that arm-eabi is not uniform in the results for this test, and there doesn't seem to be much support or knowledge to delineate on which target variants it's meant to pass or not. The test expects the transformation to take place, as if it ought to, but there's no strong reason to expect that it should. There's nothing wrong if it doesn't. Going about trying to match the expectations to the current results may be useful, but investigating the reasons why we get the current results for each target is beyond my available resources for a set of tests that used to *seem* to pass uniformly only because of a bug in the test pattern. I don't see much value in these tests as they are, TBH. -- Alexandre Oliva, happy hacker https://FSFLA.org/blogs/lxo/ Free Software Activist GNU Toolchain Engineer More tolerance and less prejudice are key for inclusion and diversity Excluding neuro-others for not behaving ""normal"" is *not* inclusive