1int  or_not0(int a) { return a | ~0; }
2int and_not0(int a) { return a & ~0; }
3int xor_not0(int a) { return a ^ ~0; }
4
5/*
6 * check-name: bool-not-zero
7 * check-command: test-linearize -Wno-decl $file
8 *
9 * check-output-start
10or_not0:
11.L0:
12	<entry-point>
13	ret.32      $0xffffffff
14
15
16and_not0:
17.L2:
18	<entry-point>
19	ret.32      %arg1
20
21
22xor_not0:
23.L4:
24	<entry-point>
25	not.32      %r8 <- %arg1
26	ret.32      %r8
27
28
29 * check-output-end
30 */
31