1  /* { dg-do compile } */
       2  /* Verify -mtune has higher priority than -mcpu for pipeline model .  */
       3  /* { dg-options "-mcpu=sifive-s21 -mtune=sifive-u74 -fdump-rtl-sched2-details -march=rv32i -mabi=ilp32" } */
       4  /* { dg-final { scan-rtl-dump "simple_return\[ \]+:sifive_7_B" "sched2" } } */
       5  
       6  int main()
       7  {
       8    return 0;
       9  }
      10