1 /* { dg-do compile } */
2 /* { dg-require-effective-target rv64 } */
3 /* { dg-skip-if "" { *-*-* } { "-O0" } } */
4
5 int
6 sle (int x, int y)
7 {
8 return x <= y;
9 }
10
11 /* { dg-final { scan-assembler "\\sxori\\sa0,a0,1\n\\sret\n" } } */
12 /* { dg-final { scan-assembler-not "andi|sext\\.w" } } */