testsuite: grep the expected output only when needed
[smatch.git] / validation / optim / bool-simplify.c
blob05be114978c1cf2eb7bd13d1c300a41642bbe500
1 int and_0(int a)
3 return a && 0;
6 int and_1(int a)
8 return a && 1;
11 int or_0(int a)
13 return a || 0;
16 int or_1(int a)
18 return a || 1;
22 * check-name: bool-simplify
23 * check-command: test-linearize -Wno-decl $file
25 * check-output-start
26 and_0:
27 .L0:
28 <entry-point>
29 ret.32 $0
32 and_1:
33 .L2:
34 <entry-point>
35 setne.1 %r8 <- %arg1, $0
36 cast.32 %r11 <- (1) %r8
37 ret.32 %r11
40 or_0:
41 .L4:
42 <entry-point>
43 setne.1 %r14 <- %arg1, $0
44 cast.32 %r17 <- (1) %r14
45 ret.32 %r17
48 or_1:
49 .L6:
50 <entry-point>
51 ret.32 $1
54 * check-output-end