validation/backend/shift-special.c


1
2
3
4
5
6
7
8
9
10
11
12
13

long shift(long a, short b);
long shift(long a, short b)
{
	long r1 = a << b;
	long r2 = b << a;

	return r1 + r2;
}

/*
 * check-name: shift-special
 * check-command: ./sparsec -c $file -o tmp.o
 */