1  /* { dg-do compile } */
       2  /* { dg-options "-march=rv64gc_svnapot -mabi=lp64 -mcmodel=medlow -misa-spec=20191213" } */
       3  
       4  int main () {
       5  
       6  #ifndef __riscv_arch_test
       7  #error "__riscv_arch_test"
       8  #endif
       9  
      10  #if __riscv_xlen != 64
      11  #error "__riscv_xlen"
      12  #endif
      13  
      14  #if !defined(__riscv_i) || (__riscv_i != (2 * 1000 * 1000 + 1 * 1000))
      15  #error "__riscv_i"
      16  #endif
      17  
      18  #if !defined(__riscv_c) || (__riscv_c != (2 * 1000 * 1000))
      19  #error "__riscv_c"
      20  #endif
      21  
      22  #if defined(__riscv_e)
      23  #error "__riscv_e"
      24  #endif
      25  
      26  #if !defined(__riscv_a) || (__riscv_a != (2 * 1000 * 1000 + 1 * 1000))
      27  #error "__riscv_a"
      28  #endif
      29  
      30  #if !defined(__riscv_m) || (__riscv_m != (2 * 1000 * 1000))
      31  #error "__riscv_m"
      32  #endif
      33  
      34  #if !defined(__riscv_f) || (__riscv_f != (2 * 1000 * 1000 + 2 * 1000))
      35  #error "__riscv_f"
      36  #endif
      37  
      38  #if !defined(__riscv_d) || (__riscv_d != (2 * 1000 * 1000 + 2 * 1000))
      39  #error "__riscv_d"
      40  #endif
      41  
      42  #if !defined(__riscv_svnapot)
      43  #error "__riscv_svnapot"
      44  #endif
      45  
      46    return 0;
      47  }