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
59
60
61
62
63
64
65
66
|
--- CompCert calling native:
s1 = { a = 'a' }
s2 = { a = 'x', b = 'y' }
s3 = { a = 'a', b = 'b', c = ' c' }
s4 = { a = 'p', b = 'q', c = ' r', d = 's' }
s5 = { a = 'a', b = 'b', c = ' c', d = 'd', e = 'e' }
s6 = { a = 'a', b = 'b', c = ' c', d = 'd', e = 'e', f = 'f' }
s7 = { a = 'a', b = 'b', c = ' c', d = 'd', e = 'e', f = 'f', g = 'g' }
s8 = "Hello, world!"
t1 = { a = 12 }
t2 = { a = 34, b = 56 }
t3 = { a = -1, b = -2, c = -3 }
t4 = { a = 11, b = 22, c = 33, d = 44 }
t4 = { a = 1, b = 2, c = 3, d = 4, e = 'x' }
u1 = { a = 12345678 }
u2 = { a = 1, b = -1 }
u3 = { a = -1, b = -2, c = -3 }
u4 = { a = 4, b = 3, c = 2, d = 1 }
u5 = { a = 123, b = 'z' }
u6 = { a = -12345678, b = 555 }
u7 = { a = 111111111, b = 2222, c = 'a' }
u8 = { a = 'u', b = 8 }
u9 = { a = { 9, 8, 7, 6 } }
after ms4, x = { 's', 'a', 'm', 'e' }
after mu9, x = { a = { 11, 22, 33, 44 } }
rs1 = { a = 'a' }
rs2 = { a = 'a', b = 'b' }
rs3 = { a = 'a', b = 'b', c = 'c' }
rs4 = { a = 'a', b = 'b', c = 'c', d = 'd' }
rs8 = { "Lorem ipsum" }
ru2 = { a = 12, b = -34 }
ru6 = { a = 12345678, b = -9999 }
ru9 = { a = { 111, 222, 333, 444 } }
--- native calling CompCert:
s1 = { a = 'a' }
s2 = { a = 'x', b = 'y' }
s3 = { a = 'a', b = 'b', c = ' c' }
s4 = { a = 'p', b = 'q', c = ' r', d = 's' }
s5 = { a = 'a', b = 'b', c = ' c', d = 'd', e = 'e' }
s6 = { a = 'a', b = 'b', c = ' c', d = 'd', e = 'e', f = 'f' }
s7 = { a = 'a', b = 'b', c = ' c', d = 'd', e = 'e', f = 'f', g = 'g' }
s8 = "Hello, world!"
t1 = { a = 12 }
t2 = { a = 34, b = 56 }
t3 = { a = -1, b = -2, c = -3 }
t4 = { a = 11, b = 22, c = 33, d = 44 }
t4 = { a = 1, b = 2, c = 3, d = 4, e = 'x' }
u1 = { a = 12345678 }
u2 = { a = 1, b = -1 }
u3 = { a = -1, b = -2, c = -3 }
u4 = { a = 4, b = 3, c = 2, d = 1 }
u5 = { a = 123, b = 'z' }
u6 = { a = -12345678, b = 555 }
u7 = { a = 111111111, b = 2222, c = 'a' }
u8 = { a = 'u', b = 8 }
u9 = { a = { 9, 8, 7, 6 } }
after ms4, x = { 's', 'a', 'm', 'e' }
after mu9, x = { a = { 11, 22, 33, 44 } }
rs1 = { a = 'a' }
rs2 = { a = 'a', b = 'b' }
rs3 = { a = 'a', b = 'b', c = 'c' }
rs4 = { a = 'a', b = 'b', c = 'c', d = 'd' }
rs8 = { "Lorem ipsum" }
ru2 = { a = 12, b = -34 }
ru6 = { a = 12345678, b = -9999 }
ru9 = { a = { 111, 222, 333, 444 } }
|
