https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127100
--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
(In reply to Stefan Schulze Frielinghaus from comment #10)
> Regarding vll there are no real changes or new/similar instructions in newer
> architectures. Therefore, I think it would be fine to fix the test to
> -march=z13 for a dg-compile test. If you think it would be worthwhile to
> have gfortran.target/s390 I'm fine with coming up with one.
Compile time only test without gfortran.target/s390 could be e.g.
--- a/gcc/testsuite/gfortran.dg/pr127100.f90 2026-08-27 11:28:34.396582831
+0200
+++ b/gcc/testsuite/gfortran.dg/pr127100.f90 2026-08-27 11:29:34.152797758
+0200
@@ -0,0 +1,11 @@
+! PR tree-optimization/127100
+! { dg-do compile { target s390*-*-* } }
+! { dg-options "-O2 -march=z13 -fdump-tree-optimized" }
+! Verify the test isn't miscompiled into unconditional STOP 1.
+! { dg-final { scan-tree-dump "return 0;" "optimized" } }
+
+program main
+ integer(kind=1), dimension(2,2) :: a
+ a = reshape((/ 1_1, 2_1, 3_1, 4_1/), shape(a))
+ if (any(matmul(a,a) /= reshape ( (/ 7, 10, 15, 22 /), shape(a)))) STOP 1
+end program main
> > Plus, I can test this in 16 branch in Fedora build system, but it takes
> > there ~ 2 days, or I can test on cfarm192 which could be somewhat faster,
> > but still I think Stefan has faster boxes around.
>
> I already started a bootstrap+regtest for z13,z14,z17 and will report back
> once they finished. Btw. feel free to throw any patches over the fence, I'm
> happy if I can help out here and there.
Thanks.
