1  /* { dg-options "-march=sm_30" } */
       2  
       3  #include "main.c"
       4  
       5  /* { dg-final { scan-assembler-times "\\.target\tsm_30" 1 } } */