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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
#include <assert.h>
int main(int argc, char *argv[])
{
// Test how well we can represent structs
struct int_array_float_array
{
int a[3];
float b[3];
};
struct int_array_float_array x={{0, 1, 2}, {3.0f, 4.0f, 5.0f}};
x.a[0]=0;
x.a[1]=1;
x.a[2]=2;
x.b[0]=3.0f;
x.b[1]=4.0f;
x.b[2]=5.0f;
assert(x.a[0]==0);
assert(*(x.a+0)==0);
assert(*(0+x.a)==0);
assert(0[x.a]==0);
// Test merging when there is only one value on both paths
if(argc>2)
{
x.a[0]=0;
}
assert(x.a[0]==0);
assert(x.a[1]==1);
assert(x.b[0]==3.0f);
// Test merging when there is one value for a and two values for b, to test if
// we are representing them separately
if(argc>3)
{
x.a[0]=0;
x.b[2]=15.0f;
}
assert(x.a[0]==0);
assert(x.a[1]==1);
assert(x.b[2]>0.0f);
assert(x.b[2]==15.0f);
assert(x.b[2]==1.0f);
assert(x.b[0]==3.0f);
// Test merging when there are two values for a and b
if(argc>4)
{
x.a[0]=11;
x.b[2]=25.0f;
}
assert(x.a[0]<12);
assert(x.a[0]>2);
assert(x.a[0]==0);
assert(x.a[1]==1);
return 0;
}
|
