1 /* Functional tests for the "target" attribute and pragma. */
3 /* { dg-require-effective-target target_attribute } */
4 /* { dg-options "-march=z13 -mzarch" } */
6 /* { dg-final { scan-assembler-times "\t\.machine \"z13\"" 1 } } */
7 /* { dg-final { scan-assembler-times "\t\.machinemode zarch" 1 } } */
11 /* { dg-final { scan-assembler-times "\t\.machine " 1 } } */
12 /* { dg-final { scan-assembler-times "\t\.machinemode " 1 } } */