1 // canonicalize to == or !=
2 int cmp_ltu_eq0(unsigned int x
) { return (x
< 1) == (x
== 0); }
3 int cmp_geu_ne0(unsigned int x
) { return (x
>= 1) == (x
!= 0); }
5 // canonicalize to the smaller value
6 int cmp_ltu(unsigned int x
) { return (x
< 256) == (x
<= 255); }
7 int cmp_geu(unsigned int x
) { return (x
>= 256) == (x
> 255); }
10 * check-name: canonical-cmpu
11 * check-command: test-linearize -Wno-decl $file
14 * check-output-returns: 1