1 /* Verify if VRs are saved and restored. */
4 /* { dg-require-effective-target s390_vx } */
5 /* { dg-options "-O3 -march=z13 -mzarch" } */
7 typedef int __attribute__((vector_size(16))) v4si
;
9 v4si
__attribute__((noinline
))
12 a
+= (v4si
){ 1, 1, 1, 1 };
13 if (__builtin_tbegin (0) == 0)
15 a
+= (v4si
){ 1, 1, 1, 1 };
16 __builtin_tabort (256);
20 a
-= (v4si
){ 1, 1, 1, 1 };
28 v4si a
= (v4si
){ 0, 0, 0, 0 };