1  /* { dg-do compile } */
       2  /* { dg-options "-march=rv64gc_zbs -mabi=lp64" } */
       3  /* { dg-skip-if "" { *-*-* } { "-O0" } } */
       4  
       5  /* binv */
       6  long
       7  foo0 (long i, long j)
       8  {
       9    return i ^ (1L << j);
      10  }
      11  
      12  /* binvi */
      13  long
      14  foo1 (long i)
      15  {
      16    return i ^ (1L << 20);
      17  }
      18  
      19  /* { dg-final { scan-assembler-times "binv\t" 1 } } */
      20  /* { dg-final { scan-assembler-times "binvi\t" 1 } } */
      21  /* { dg-final { scan-assembler-not "andi" } } */