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