comparison test/callback_suite_aggrs/mk-cases.lua @ 523:cd46e111bc4c

- new test/callback_suite_aggrs (currently ahead of checked-in dyncall code and won't compile, though, as with call_suite_aggrs; dc code will be checked in, soon)
author Tassilo Philipp
date Wed, 13 Apr 2022 14:59:57 +0200
parents
children 1b1abed0ea32
comparison
equal deleted inserted replaced
522:f7fec6699e21 523:cd46e111bc4c
1 require "config"
2
3 -- use shared helpers to generate cases
4 package.path = '../common/?.lua;' .. package.path
5 require"mk-cases"
6
7
8 -- returns: generated case str, num args; accumulates unique idx => aggr-sig in
9 -- aggrs (sequentially) and aggr-sig => {body,name} in seen_aggrs (depth first
10 -- for nested aggrs, so sub-aggrs conveniently precede parents)
11 function mkcase(id, sig, aggrs, seen_aggrs)
12 local sig = trim(sig)
13 local fsig = put_sig_rtype_first(sig)
14 local h = { "/* ",id,":",sig," */ " }
15 local t = { }
16 local pos = -1
17 local n_nest = 0
18 local aggr = { }
19 local aggr_sig = { }
20 aggr[0] = { } -- non-sequential [0] collects all non-aggr types (not used, though)
21 aggr_sig[0] = ''
22 for i = 1, #fsig do
23 local name = "a"..pos
24 local ch = fsig:sub(i,i)
25
26 -- @@@ not handling callconv prefixes
27
28 -- aggregate nest level change?
29 if ch == '{' or ch == '<' then
30 n_nest = n_nest + 1
31 aggr[n_nest] = { }
32 aggr_sig[n_nest] = ''
33 end
34
35 aggr_sig[n_nest] = aggr_sig[n_nest]..ch
36
37 -- array? Just append to name of member var from prev loop
38 if ch:match('[%[%]0123456789]') ~= nil then
39 aggr[n_nest][#aggr[n_nest]] = aggr[n_nest][#aggr[n_nest]]..ch
40 else
41 -- register (sub)aggrs on closing char
42 if ch == '}' or ch == '>' then
43 -- only add unseen aggregates, key is aggr sig, val is body and name
44 if seen_aggrs[aggr_sig[n_nest]] == nil then
45 aggrs[#aggrs+1] = aggr_sig[n_nest]
46 if ch == '}' then ch = 'struct ' else ch = 'union ' end
47 ch = ch..'A'..#aggrs
48 seen_aggrs[aggr_sig[n_nest]] = { aggr[n_nest], ch }
49 end
50 ch = seen_aggrs[aggr_sig[n_nest]][2]
51
52 n_nest = n_nest - 1
53 aggr_sig[n_nest] = aggr_sig[n_nest]..aggr_sig[n_nest+1]
54 end
55
56 -- add member type and var name to aggr
57 if ch ~= '{' and ch ~= '}' and ch ~= '<' and ch ~= '>' then
58 aggr[n_nest][#aggr[n_nest]+1] = ch
59 aggr[n_nest][#aggr[n_nest]+1] = 'm'..(#aggr[n_nest] >> 1)
60 end
61
62 -- no nesting (= actual func args), generate case code
63 if n_nest == 0 then
64 -- aggregate types have more than one char
65 if #ch > 1 then
66 t[#t+1] = "*("..ch.."*)K_a["..pos.."]"
67 else
68 --t[#t+1] = "V_"..ch.."["..pos.."]="..name..";"
69 t[#t+1] = "K_"..ch.."["..pos.."]"
70 end
71
72 -- is return type or func arg?
73 if pos == -1 then
74 h[#h+1] = "void f"..id.."(void* addr) { write_V_" -- @@@ not handling callconv prefixes
75 h[#h+1] = ch -- pos = 7
76 h[#h+1] = '('
77 h[#h+1] = -1 -- pos = 9; retval pos (=num args), will be set at end
78 h[#h+1] = ', (( '..ch..'(*)('
79 t = { } -- clear; aggr return type handled explicitly
80 else
81 h[#h+1] = ch
82 h[#h+1] = ","
83 end
84
85 pos = pos + 1
86 end
87 end
88 end
89 e = ')'
90 -- retval is aggregate?
91 if #h[7] > 1 then
92 e = '), '..h[7]
93 h[7] = 'a'
94 end
95 h[9] = pos
96 if h[#h] == ',' then h[#h] = '' end
97 h[#h + 1] = "))addr)("
98 return table.concat(h,"")..table.concat(t,",")..e..");}\n", pos
99 end
100
101
102 function mkall()
103 local lineno = 0
104 local sigtab = { }
105 local cases = ''
106 local aggrs = { }
107 local seen_aggrs = { }
108 local max_numargs = 0
109
110 for line in io.lines() do
111 local sig = trim(line)
112 local c, n = mkcase(lineno, sig, aggrs, seen_aggrs)
113 cases = cases..c
114 max_numargs = math.max(max_numargs, n)
115 sigtab[#sigtab+1] = sig
116 lineno = lineno + 1
117 end
118
119 local agg_defs, agg_sizes, agg_sigs, agg_names = mkaggrdefs(aggrs, seen_aggrs, aggrpacking, aggrpackingseed, aggrcpsimple)
120
121 -- make table.concat work
122 if #agg_names > 0 then
123 table.insert(agg_names, 1, '')
124 end
125
126 io.write(table.concat(agg_defs,'\n')..'\n')
127 io.write(cases)
128 io.write(mkfuntab(lineno, 'f', 'funptr', 'G_funtab', true))
129 io.write(mksigtab(sigtab, '', 'G_sigtab'))
130 io.write('const char* G_agg_sigs[] = {\n\t"'..table.concat(agg_sigs, '",\n\t"')..'"\n};\n')
131 io.write('int G_agg_sizes[] = {\n\t'..table.concat(agg_sizes, ',\n\t')..'\n};\n')
132 io.write('funptr G_agg_touchAfuncs[] = {'..string.sub(table.concat(agg_names, ',\n\t(funptr)&f_touch'),2)..'\n};\n')
133 io.write('funptr G_agg_cmpfuncs[] = {'..string.sub(table.concat(agg_names, ',\n\t(funptr)&f_cmp'),2)..'\n};\n')
134 io.write("int G_maxargs = "..max_numargs..";\n")
135 end
136
137 mkall()
138