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
leu_cmpzvsi(uint_t x,int_t y,uint_t z)9 leu_cmpzvsi (uint_t x, int_t y, uint_t z)
10 {
11 if (x >> y <= z)
12 return 1;
13 else
14 return 2;
15 }
16
17 /* Expect assembly like:
18
19 subb3 8(%ap),$32,%r0 # 39 [c=40] *subqi3/1
20 cmpzv 8(%ap),%r0,4(%ap),12(%ap) # 53 [c=96] *cmpzv_cc
21 jgtru .L6 # 42 [c=26] *branch_cc
22 movl $1,%r0 # 37 [c=4] *movsi_2
23 ret # 48 [c=0] return
24 .L6:
25
26 */
27
28 /* { dg-final { scan-rtl-dump-times "Splitting with gen_peephole2" 1 "peephole2" } } */
29 /* { dg-final { scan-assembler-not "\t(bit|cmp|tst)\[bwl\] " } } */
30 /* { dg-final { scan-assembler "cmpzv\[^ \]*_cc(/\[0-9\]+)?\n" } } */
31 /* { dg-final { scan-assembler "branch_cc\n" } } */
32