summaryrefslogtreecommitdiff
path: root/polly/lib/External/ppcg/tests/shared_sink.c
blob: ae3fac2fc1e93b0ad40f9e4b5a6547457b2bfa8c (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
#include <stdlib.h>

/* Check that the sources of live ranges with the same sink
 * are executed in order.
 */
int main()
{
	int A[128];
	int n = 128;

	A[0] = 0;
#pragma scop
	for (int i = 0; i < n; ++i) {
		int set = 0;
		if (A[i] < 2)
			set = 1;
		if (set)
			A[i] = 2;
	}
#pragma endscop
	if (A[0] != 2)
		return EXIT_FAILURE;

	return EXIT_SUCCESS;
}