1 /* { dg-do compile } */
2 /* { dg-options "-fdump-rtl-peephole2 -dp" } */
3 /* { dg-skip-if "code quality test" { *-*-* } { "-O0" "-O1" } { "" } } */
4
5 typedef unsigned int __attribute__ ((mode (SI))) uint_t;
6 typedef int __attribute__ ((mode (SI))) int_t;
7
8 uint_t
le_cmpzvsi(uint_t x,int_t y,int_t z)9 le_cmpzvsi (uint_t x, int_t y, int_t z)
10 {
11 int_t v;
12
13 v = x >> y;
14 if (v <= z)
15 return 1;
16 else
17 return 2;
18 }
19
20 /* Expect assembly like:
21
22 subb3 8(%ap),$32,%r0 # 39 [c=40] *subqi3/1
23 cmpzv 8(%ap),%r0,4(%ap),12(%ap) # 53 [c=96] *cmpzv_ccnz
24 jgtr .L6 # 42 [c=26] *branch_ccnz
25 movl $1,%r0 # 37 [c=4] *movsi_2
26 ret # 48 [c=0] return
27 .L6:
28
29 */
30
31 /* { dg-final { scan-rtl-dump-times "Splitting with gen_peephole2" 1 "peephole2" } } */
32 /* { dg-final { scan-assembler-not "\t(bit|cmp|tst)\[bwl\] " } } */
33 /* { dg-final { scan-assembler "cmpzv\[^ \]*_ccnz(/\[0-9\]+)?\n" } } */
34 /* { dg-final { scan-assembler "branch_ccnz\n" } } */
35