xpc_add_ypc(int x,int y)1 int xpc_add_ypc(int x, int y)
2 {
3 	return (x + 1) + (y + 1);
4 }
5 
xmc_add_ypc(int x,int y)6 int xmc_add_ypc(int x, int y)
7 {
8 	return (x - 1) + (y + 1);
9 }
10 
xpc_add_ymc(int x,int y)11 int xpc_add_ymc(int x, int y)
12 {
13 	return (x + 1) + (y - 1);
14 }
15 
xmc_add_ymc(int x,int y)16 int xmc_add_ymc(int x, int y)
17 {
18 	return (x - 1) + (y - 1);
19 }
20 
xpc_sub_ypc(int x,int y)21 int xpc_sub_ypc(int x, int y)
22 {
23 	return (x + 1) - (y + 1);
24 }
25 
xmc_sub_ypc(int x,int y)26 int xmc_sub_ypc(int x, int y)
27 {
28 	return (x - 1) - (y + 1);
29 }
30 
xpc_sub_ymc(int x,int y)31 int xpc_sub_ymc(int x, int y)
32 {
33 	return (x + 1) - (y - 1);
34 }
35 
xmc_sub_ymc(int x,int y)36 int xmc_sub_ymc(int x, int y)
37 {
38 	return (x - 1) - (y - 1);
39 }
40 
41 /*
42  * check-name: canonical-add
43  * check-description:
44  *	1) verify that constants in add/sub chains are
45  *	   pushed at the right of the whole chain.
46  *	   For example '(a + 1) + b' must be canonicalized into '(a + b) + 1'
47  *	   This is needed for '(a + 1) + b - 1' to be simplified into '(a + b)'
48  *
49  * check-command: test-linearize -Wno-decl $file
50  * check-known-to-fail
51  * check-output-ignore
52 
53  * check-output-excludes: \\$1
54  * check-output-excludes: \\$-1
55  */
56