aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/pointer-arith64.c
blob: dad10331b297acd0ca4c53ee3820e09357ceffe7 (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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
char *cps(char *data, short pos)
{
	data += pos;
	return data;
}

int *ipss(int *data, short pos)
{
	data += pos;
	return data;
}
int *ipus(int *data, unsigned short pos)
{
	data += pos;
	return data;
}

int *ipsi(int *data, int pos)
{
	data += pos;
	return data;
}
int *ipui(int *data, unsigned int pos)
{
	data += pos;
	return data;
}

/*
 * check-name: pointer-arith64
 * check-command: test-linearize -Wno-decl --arch=generic -m64 $file
 *
 * check-output-start
cps:
.L0:
	<entry-point>
	sext.64     %r2 <- (16) %arg2
	add.64      %r5 <- %arg1, %r2
	ret.64      %r5


ipss:
.L2:
	<entry-point>
	sext.64     %r10 <- (16) %arg2
	mul.64      %r11 <- %r10, $4
	add.64      %r14 <- %arg1, %r11
	ret.64      %r14


ipus:
.L4:
	<entry-point>
	zext.64     %r19 <- (16) %arg2
	mul.64      %r20 <- %r19, $4
	add.64      %r23 <- %arg1, %r20
	ret.64      %r23


ipsi:
.L6:
	<entry-point>
	sext.64     %r28 <- (32) %arg2
	mul.64      %r29 <- %r28, $4
	add.64      %r32 <- %arg1, %r29
	ret.64      %r32


ipui:
.L8:
	<entry-point>
	zext.64     %r37 <- (32) %arg2
	mul.64      %r38 <- %r37, $4
	add.64      %r41 <- %arg1, %r38
	ret.64      %r41


 * check-output-end
 */