aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/mem2reg/quadra01.c
blob: bab337f2b364ea6ca952fe67057e20d9c89c4141 (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
#include "repeat.h"

void use(void *, void *, void *, void *);
void *def(void);

#define BLOCK(n) {				\
	void *label;				\
	use(&&w##n, &&x##n, &&y##n, &&z##n);	\
w##n:	label = def(); goto *label;		\
x##n:	label = def(); goto *label;		\
y##n:	label = def(); goto *label;		\
z##n:	label = def(); goto *label;		\
}

static void foo(void) {
	REPEAT2(5, BLOCK)
}

/*
 * check-name: quadratic @ liveness
 * check-command: test-linearize -I. $file
 * check-timeout:
 * check-known-to-fail
 *
 * check-output-ignore
 * check-output-excludes: phi\\.
 * check-output-excludes: phisrc\\.
 */