aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/bool-simplify.c
blob: 5b3cf449eb56fecee927103ba5d926ecf1c37fc1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
int and_0(int a)
{
	return a && 0;
}

int and_1(int a)
{
	return a && 1;
}

int or_0(int a)
{
	return a || 0;
}

int or_1(int a)
{
	return a || 1;
}

/*
 * check-name: bool-simplify
 * check-command: test-linearize -Wno-decl $file
 *
 * check-output-start
and_0:
.L0:
	<entry-point>
	ret.32      $0


and_1:
.L2:
	<entry-point>
	setne.1     %r8 <- %arg1, $0
	zext.32     %r11 <- (1) %r8
	ret.32      %r11


or_0:
.L4:
	<entry-point>
	setne.1     %r14 <- %arg1, $0
	zext.32     %r17 <- (1) %r14
	ret.32      %r17


or_1:
.L6:
	<entry-point>
	ret.32      $1


 * check-output-end
 */