From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ej1-x635.google.com (mail-ej1-x635.google.com [IPv6:2a00:1450:4864:20::635]) by sourceware.org (Postfix) with ESMTPS id A1FC53858D20 for ; Tue, 1 Nov 2022 21:39:44 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org A1FC53858D20 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=linaro.org Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=linaro.org Received: by mail-ej1-x635.google.com with SMTP id 13so40484410ejn.3 for ; Tue, 01 Nov 2022 14:39:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=list-id:mime-version:subject:message-id:cc:to:date:from:from:to:cc :subject:date:message-id:reply-to; bh=GhR9Q1FUI/SMi5wZkqIIHOKdrOlogli+aFyTpLBNKlE=; b=cFzKRyw2m70vDB2iFYToYB09/w99lvn7yNOIUcQPIajBB4UIVaanAm6J0xw59w2GRx Fl7JxRSFCTmTReY896gsDNApJg0Doggdylrc/BEQfTySgSn6mgxaLlSB5ViF9f4ckUee H4tM3achWFnPmpClTSE7QzZ0yJzc/wvXuYdcT0m/6r1yi9o+XlCHFoWBJaF+EsCfWwBr INVCkryQrQy7RyiV9g+TC6xqFN3NI8P18XBD4rq+B6vPsoHseAnQJRQIBrUEEsatOiNL gbFpZHsgqd3ybs7xSpkUT6WHDuSuX8b4Kjp1WmVSVaTDryRaCn4cUyGY/GnFNto7k+R6 YPRw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-id:mime-version:subject:message-id:cc:to:date:from :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=GhR9Q1FUI/SMi5wZkqIIHOKdrOlogli+aFyTpLBNKlE=; b=KvMrH/yGRFuF66FErmx47HT0lmwaybyQXTetTwC2RY8rUACjVgDh18aOJwMQyxjQQN o1W0iKlyci7drZGKYcF02PTGIfSSV6MriyAgrOIVwnSJ/P26wLyRAnnnRDK0/Gomqukl RvDOqwcWI0D2lhIy/fq7E9Rr2zQRX0M0Nmme01Si2yMQFxgUQV9qm3ADT0PNTK/K8psZ IopcJccdaan9zjhXyPrZfMJPLG5d1mDtGWFi2QxjVejqeAik1ZRxiSkIKZxcGCQyw2Rp 6E4iwVS6lvUSOLNAmWUeub/2BTqgngqfTST0pd9S4r+1ixYz7CkkFsm09lqlzTYdFquq xyfw== X-Gm-Message-State: ACrzQf2s9Vfh2fiYHVXOjRuXWXvRLHm4hwZW8DwayXgcXJJrTtw+OIE9 +P6EFyOTKhPpXnJGUsP+y7k2kw== X-Google-Smtp-Source: AMsMyM5J5Qjkt56OGT9yUnRkR5c/tJ8bq2O7bWVHXP8rHcFam91KpF9/RfIUn95crTwI7dk80HhTow== X-Received: by 2002:a17:907:75f7:b0:7ad:bc7e:3fb6 with SMTP id jz23-20020a17090775f700b007adbc7e3fb6mr16181725ejc.550.1667338783259; Tue, 01 Nov 2022 14:39:43 -0700 (PDT) Received: from jenkins.jenkins (ci.linaro.org. [88.99.136.175]) by smtp.gmail.com with ESMTPSA id n2-20020a056402514200b00456d2721d93sm4895439edd.64.2022.11.01.14.39.42 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 01 Nov 2022 14:39:42 -0700 (PDT) From: ci_notify@linaro.org X-Google-Original-From: linaro-infrastructure-errors@lists.linaro.org Date: Tue, 1 Nov 2022 21:39:41 +0000 (UTC) To: Andrew MacLeod Cc: gcc-regression@gcc.gnu.org Message-ID: <824519934.20242.1667338782766@jenkins.jenkins> Subject: [TCWG CI] Failure after basepoints/gcc-13-3596-ge7310e24b1c: Make ranger vrp1 default. MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_20241_2101944409.1667338781831" X-Jenkins-Job: TCWG Build tcwg_gnu_native_build/master-arm X-Jenkins-Result: SUCCESS List-ID: X-Spam-Status: No, score=-13.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,RCVD_IN_DNSWL_NONE,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 ------=_Part_20241_2101944409.1667338781831 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Failure after basepoints/gcc-13-3596-ge7310e24b1c: Make ranger vrp1 default.: Results changed to -10 # true: 0 # build_abe binutils: 1 # build_abe gcc: 2 # build_abe linux: 4 # build_abe glibc: # FAILED # First few build errors in logs: # 00:00:12 pthread_create.c:50:1: error: alias must point to a defined variable or function # 00:02:24 /home/tcwg-buildslave/workspace/tcwg_gnu_2/glibc/csu/../csu/libc-tls.c:202: undefined reference to `_startup_fatal_not_constant' # 00:02:24 collect2: error: ld returned 1 exit status # 00:02:24 make[2]: *** [../Rules:293: /home/tcwg-buildslave/workspace/tcwg_gnu_2/abe/builds/armv8l-unknown-linux-gnueabihf/armv8l-unknown-linux-gnueabihf/glibc-glibc.git~master/support/test-run-command] Error 1 # 00:02:24 make[1]: *** [Makefile:484: support/others] Error 2 # 00:02:24 make: *** [Makefile:9: all] Error 2 from -10 # true: 0 # build_abe binutils: 1 # build_abe gcc: 2 # build_abe linux: 4 # build_abe glibc: 5 # build_abe gdb: 6 THIS IS THE END OF INTERESTING STUFF. BELOW ARE LINKS TO BUILDS, REPRODUCTION INSTRUCTIONS, AND THE RAW COMMIT. For latest status see comments in https://linaro.atlassian.net/browse/GNU-692 . Status of basepoints/gcc-13-3596-ge7310e24b1c commit for tcwg_gnu_native_build: commit e7310e24b1c0ca67b1bb507c1330b2bf39e59e32 Author: Andrew MacLeod Date: Tue Oct 25 16:42:41 2022 -0400 Make ranger vrp1 default. Turn on ranger as the default vrp1 pass and adjust testcases. gcc/ * params.opt (param_vrp1_mode): Make ranger default. gcc/testsuite/ * gcc.dg/pr68217.c: Test [-INF, -INF][0, 0] instead of [-INF, 0]. * gcc.dg/tree-ssa/vrp-unreachable.c: New. Test unreachable removal. * master-arm ** Failure after basepoints/gcc-13-3596-ge7310e24b1c: Make ranger vrp1 default.: ** https://ci.linaro.org/job/tcwg_gnu_native_build-build-master-arm/505/ Bad build: https://ci.linaro.org/job/tcwg_gnu_native_build-build-master-arm/505/artifact/artifacts Good build: https://ci.linaro.org/job/tcwg_gnu_native_build-build-master-arm/504/artifact/artifacts Reproduce current build: mkdir -p investigate-gcc-e7310e24b1c0ca67b1bb507c1330b2bf39e59e32 cd investigate-gcc-e7310e24b1c0ca67b1bb507c1330b2bf39e59e32 # Fetch scripts git clone https://git.linaro.org/toolchain/jenkins-scripts # Fetch manifests for bad and good builds mkdir -p bad/artifacts good/artifacts curl -o bad/artifacts/manifest.sh https://ci.linaro.org/job/tcwg_gnu_native_build-build-master-arm/505/artifact/artifacts/manifest.sh --fail curl -o good/artifacts/manifest.sh https://ci.linaro.org/job/tcwg_gnu_native_build-build-master-arm/504/artifact/artifacts/manifest.sh --fail # Reproduce bad build (cd bad; ../jenkins-scripts/tcwg_gnu-build.sh ^^ true %%rr[top_artifacts] artifacts) # Reproduce good build (cd good; ../jenkins-scripts/tcwg_gnu-build.sh ^^ true %%rr[top_artifacts] artifacts) Full commit (up to 1000 lines): commit e7310e24b1c0ca67b1bb507c1330b2bf39e59e32 Author: Andrew MacLeod Date: Tue Oct 25 16:42:41 2022 -0400 Make ranger vrp1 default. Turn on ranger as the default vrp1 pass and adjust testcases. gcc/ * params.opt (param_vrp1_mode): Make ranger default. gcc/testsuite/ * gcc.dg/pr68217.c: Test [-INF, -INF][0, 0] instead of [-INF, 0]. * gcc.dg/tree-ssa/vrp-unreachable.c: New. Test unreachable removal. --- gcc/params.opt | 2 +- gcc/testsuite/gcc.dg/pr68217.c | 2 +- gcc/testsuite/gcc.dg/tree-ssa/vrp-unreachable.c | 42 +++++++++++++++++++++++++ 3 files changed, 44 insertions(+), 2 deletions(-) diff --git a/gcc/params.opt b/gcc/params.opt index 3001566e641..a34fee193fc 100644 --- a/gcc/params.opt +++ b/gcc/params.opt @@ -1166,7 +1166,7 @@ Common Joined UInteger Var(param_vect_induction_float) Init(1) IntegerRage(0, 1) Enable loop vectorization of floating point inductions. -param=vrp1-mode= -Common Joined Var(param_vrp1_mode) Enum(vrp_mode) Init(VRP_MODE_VRP) Param Optimization +Common Joined Var(param_vrp1_mode) Enum(vrp_mode) Init(VRP_MODE_RANGER) Param Optimization --param=vrp1-mode=[vrp|ranger] Specifies the mode VRP1 should operate in. -param=vrp2-mode= diff --git a/gcc/testsuite/gcc.dg/pr68217.c b/gcc/testsuite/gcc.dg/pr68217.c index eb4f15e048f..60c80106760 100644 --- a/gcc/testsuite/gcc.dg/pr68217.c +++ b/gcc/testsuite/gcc.dg/pr68217.c @@ -10,4 +10,4 @@ int foo (void) return 0; } -/* { dg-final { scan-tree-dump "\\\[-INF, 0\\\]" "vrp1" } } */ +/* { dg-final { scan-tree-dump "\\\[-INF, -INF\\\]\\\[0, 0\\\]" "vrp1" } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp-unreachable.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp-unreachable.c new file mode 100644 index 00000000000..cdc57403c6e --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp-unreachable.c @@ -0,0 +1,42 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-vrp1-alias -fdump-tree-vrp2-alias" } */ + +void dead (unsigned n); +void alive (unsigned n); + +void func (unsigned n, unsigned m) +{ + if (n == 0) + __builtin_unreachable(); + if (n == 1) + __builtin_unreachable(); + if (n & 0x1) + __builtin_unreachable(); + if (n == 2) + __builtin_unreachable(); + if (n == 3) + __builtin_unreachable(); + if (n & 0x2) + __builtin_unreachable(); + if (n == 4) + __builtin_unreachable(); + if (n == 5) + __builtin_unreachable(); + if (n & 0x4) + __builtin_unreachable(); + if (n == 6) + __builtin_unreachable(); + if (n == 7) + __builtin_unreachable(); + if (n <8) + dead (n); + if (n != m) + __builtin_unreachable(); + alive (n); + alive (m); +} + +/* { dg-final { scan-tree-dump-not "dead" "vrp1" } } */ +/* { dg-final { scan-tree-dump-times "builtin_unreachable" 1 "vrp1" } } */ +/* { dg-final { scan-tree-dump-not "builtin_unreachable" "vrp2" } } */ +/* { dg-final { scan-tree-dump-times "fff8" 4 "vrp2" } } */ ------=_Part_20241_2101944409.1667338781831--