1  /* { dg-do compile } */
       2  /* { dg-options "-march=rv64gc_zba_zbb -mabi=lp64" } */
       3  /* { dg-skip-if "" { *-*-* } { "-O0" "-O1" "-Os" "-Oz" "-Og" } } */
       4  
       5  int f(unsigned int* a)
       6  {
       7    const int C = 1000;
       8    return *a * 3 > C ? C : *a * 3;
       9  }
      10  
      11  /* { dg-final { scan-assembler-times "minu" 1 } } */
      12  /* { dg-final { scan-assembler-times "sext.w" 1 } } */
      13  /* { dg-final { scan-assembler-not "zext.w" } } */
      14