1 /* { dg-do compile } */
2 /* { dg-options "-O3 -march=zEC12 -mzarch" } */
3 
4 int
foo()5 foo ()
6 {
7   __builtin_tbegin_nofloat (0);
8   __builtin_tbegin_retry_nofloat (0, 42);
9 }
10 /* Make sure no FPR saves/restores are emitted.  */
11 /* { dg-final { scan-assembler-not "std" } } */
12 /* { dg-final { scan-assembler-not "ld" } } */
13