1 /* { dg-do compile } */
2 /* { dg-options "-fdump-rtl-peephole2 -dp" } */
3 /* { dg-skip-if "code quality test" { *-*-* } { "-O0" "-O1" } { "" } } */
4
5 typedef int __attribute__ ((mode (QI))) int_t;
6
7 void
8 eq_ctzqi (int_t *w, int_t *x)
9 {
10 int_t v;
11
12 v = __builtin_ctz (*x + 1);
13 if (v == 0)
14 *w = v;
15 else
16 *w = v + 2;
17 }
18
19 /* Expect assembly like:
20
21 cvtbl *8(%ap),%r0 # 34 [c=28] *extendqisi2
22 incl %r0 # 35 [c=32] *addsi3
23 ffs $0,$32,%r0,%r0 # 36 [c=4] *ctzsi2
24 tstl %r0 # 37 [c=6] *cmpsi_ccz/0
25 jeql .L2 # 38 [c=26] *branch_ccz
26 addb2 $2,%r0 # 33 [c=32] *addqi3
27 .L2:
28
29 */
30
31 /* { dg-final { scan-rtl-dump-not "Splitting with gen_peephole2" "peephole2" } } */
32 /* { dg-final { scan-assembler "\t(bit|cmpz?|tst). " } } */
33 /* { dg-final { scan-assembler "cmpsi\[^ \]*_ccz(/\[0-9\]+)?\n" } } */
34 /* { dg-final { scan-assembler "branch_ccz\n" } } */