xref: /illumos-gate/usr/src/tools/smatch/src/validation/mem2reg/reload-aliasing.c (revision b30d193948be5a7794d7ae3ba0ed9c2f72c88e0f)
1 extern int g, h;
2 
3 void f00(int *s)
4 {
5 	g = *s;
6 	h = *s;
7 }
8 
9 void f01(int *a, int *b, int *s)
10 {
11 	*a = *s;
12 	*b = *s;
13 }
14 
15 /*
16  * check-name: reload-aliasing.c
17  * check-command: test-linearize -Wno-decl $file
18  *
19  * check-output-start
20 f00:
21 .L0:
22 	<entry-point>
23 	load.32     %r2 <- 0[%arg1]
24 	store.32    %r2 -> 0[g]
25 	load.32     %r4 <- 0[%arg1]
26 	store.32    %r4 -> 0[h]
27 	ret
28 
29 
30 f01:
31 .L2:
32 	<entry-point>
33 	load.32     %r6 <- 0[%arg3]
34 	store.32    %r6 -> 0[%arg1]
35 	load.32     %r9 <- 0[%arg3]
36 	store.32    %r9 -> 0[%arg2]
37 	ret
38 
39 
40  * check-output-end
41  */
42