/* { dg-do compile } */
/* { dg-options "-march=rv64gc -mabi=lp64" } */
/* { dg-skip-if "" { *-*-* } { "-O0" "-Og" "-O1" } } */

int c;

int main() {
  for (;;) {
    short h = c * 100;
    if (h & 0x7ff0)
      break;
  }
}

/* { dg-final { scan-assembler-times "andi\t" 1 } } */
/* { dg-final { scan-assembler-times "srli\t" 1 } } */