1# This file is part of ltrace.
2# Copyright (C) 2014 Petr Machata, Red Hat Inc.
3#
4# This program is free software; you can redistribute it and/or
5# modify it under the terms of the GNU General Public License as
6# published by the Free Software Foundation; either version 2 of the
7# License, or (at your option) any later version.
8#
9# This program is distributed in the hope that it will be useful, but
10# WITHOUT ANY WARRANTY; without even the implied warranty of
11# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12# General Public License for more details.
13#
14# You should have received a copy of the GNU General Public License
15# along with this program; if not, write to the Free Software
16# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
17# 02110-1301 USA
18
19# Test for a number of ways that HFA can be passed.
20
21ltraceMatch [ltraceLibTest {
22    struct(double) func_dbl_eqv(struct(double), struct(struct(double)), struct(struct(struct(double))), struct(struct(struct(struct(double)))));
23    struct(float) func_flt_eqv(struct(float), struct(struct(float)), struct(struct(struct(float))), struct(struct(struct(struct(float)))));
24
25    struct(float,struct(float)) func_hfa_f2(struct(float,struct(float)));
26    struct(float,struct(float,struct(float))) func_hfa_f3(struct(float,struct(float,struct(float))));
27    struct(float,struct(float,struct(float,struct(float)))) func_hfa_f4(struct(float,struct(float,struct(float,struct(float)))));
28    struct(float,struct(float,struct(float,struct(float,struct(float))))) func_hfa_f5(struct(float,struct(float,struct(float,struct(float,struct(float))))));
29    struct(float,struct(float,struct(float,struct(float,struct(float,struct(float)))))) func_hfa_f6(struct(float,struct(float,struct(float,struct(float,struct(float,struct(float)))))));
30    struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float))))))) func_hfa_f7(struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float))))))));
31    struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float)))))))) func_hfa_f8(struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float)))))))));
32    struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float))))))))) func_hfa_f9(struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float))))))))));
33    struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float)))))))))) func_hfa_f10(struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float)))))))))));
34    struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float))))))))))) func_hfa_f11(struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float))))))))))));
35    struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float)))))))))))) func_hfa_f12(struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float,struct(float)))))))))))));
36
37    struct(double,struct(double)) func_hfa_d2(struct(double,struct(double)));
38    struct(double,struct(double,struct(double))) func_hfa_d3(struct(double,struct(double,struct(double))));
39    struct(double,struct(double,struct(double,struct(double)))) func_hfa_d4(struct(double,struct(double,struct(double,struct(double)))));
40    struct(double,struct(double,struct(double,struct(double,struct(double))))) func_hfa_d5(struct(double,struct(double,struct(double,struct(double,struct(double))))));
41    struct(double,struct(double,struct(double,struct(double,struct(double,struct(double)))))) func_hfa_d6(struct(double,struct(double,struct(double,struct(double,struct(double,struct(double)))))));
42    struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double))))))) func_hfa_d7(struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double))))))));
43    struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double)))))))) func_hfa_d8(struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double)))))))));
44    struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double))))))))) func_hfa_d9(struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double))))))))));
45    struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double)))))))))) func_hfa_d10(struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double)))))))))));
46    struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double))))))))))) func_hfa_d11(struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double))))))))))));
47    struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double)))))))))))) func_hfa_d12(struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double,struct(double)))))))))))));
48} {
49    struct dbl_eqv1 { double d; };
50    struct dbl_eqv2 { struct dbl_eqv1 d; };
51    struct dbl_eqv3 { struct dbl_eqv2 d; };
52    struct dbl_eqv4 { struct dbl_eqv3 d; };
53
54    struct flt_eqv1 { float d; };
55    struct flt_eqv2 { struct flt_eqv1 d; };
56    struct flt_eqv3 { struct flt_eqv2 d; };
57    struct flt_eqv4 { struct flt_eqv3 d; };
58
59    struct struct_hfa_f2 { float a; struct flt_eqv1 b; };
60    struct struct_hfa_f3 { float a; struct struct_hfa_f2 b; };
61    struct struct_hfa_f4 { float a; struct struct_hfa_f3 b; };
62    struct struct_hfa_f5 { float a; struct struct_hfa_f4 b; };
63    struct struct_hfa_f6 { float a; struct struct_hfa_f5 b; };
64    struct struct_hfa_f7 { float a; struct struct_hfa_f6 b; };
65    struct struct_hfa_f8 { float a; struct struct_hfa_f7 b; };
66    struct struct_hfa_f9 { float a; struct struct_hfa_f8 b; };
67    struct struct_hfa_f10 { float a; struct struct_hfa_f9 b; };
68    struct struct_hfa_f11 { float a; struct struct_hfa_f10 b; };
69    struct struct_hfa_f12 { float a; struct struct_hfa_f11 b; };
70
71    struct struct_hfa_d2 { double a; struct dbl_eqv1 b; };
72    struct struct_hfa_d3 { double a; struct struct_hfa_d2 b; };
73    struct struct_hfa_d4 { double a; struct struct_hfa_d3 b; };
74    struct struct_hfa_d5 { double a; struct struct_hfa_d4 b; };
75    struct struct_hfa_d6 { double a; struct struct_hfa_d5 b; };
76    struct struct_hfa_d7 { double a; struct struct_hfa_d6 b; };
77    struct struct_hfa_d8 { double a; struct struct_hfa_d7 b; };
78    struct struct_hfa_d9 { double a; struct struct_hfa_d8 b; };
79    struct struct_hfa_d10 { double a; struct struct_hfa_d9 b; };
80    struct struct_hfa_d11 { double a; struct struct_hfa_d10 b; };
81    struct struct_hfa_d12 { double a; struct struct_hfa_d11 b; };
82
83    struct dbl_eqv1 func_dbl_eqv(struct dbl_eqv1 a, struct dbl_eqv2 b, struct dbl_eqv3 c, struct dbl_eqv4 d);
84    struct flt_eqv1 func_flt_eqv(struct flt_eqv1 a, struct flt_eqv2 b, struct flt_eqv3 c, struct flt_eqv4 d);
85
86    struct struct_hfa_f2 func_hfa_f2(struct struct_hfa_f2 e);
87    struct struct_hfa_f3 func_hfa_f3(struct struct_hfa_f3 e);
88    struct struct_hfa_f4 func_hfa_f4(struct struct_hfa_f4 e);
89    struct struct_hfa_f5 func_hfa_f5(struct struct_hfa_f5 e);
90    struct struct_hfa_f6 func_hfa_f6(struct struct_hfa_f6 e);
91    struct struct_hfa_f7 func_hfa_f7(struct struct_hfa_f7 e);
92    struct struct_hfa_f8 func_hfa_f8(struct struct_hfa_f8 e);
93    struct struct_hfa_f9 func_hfa_f9(struct struct_hfa_f9 e);
94    struct struct_hfa_f10 func_hfa_f10(struct struct_hfa_f10 e);
95    struct struct_hfa_f11 func_hfa_f11(struct struct_hfa_f11 e);
96    struct struct_hfa_f12 func_hfa_f12(struct struct_hfa_f12 e);
97    struct struct_hfa_d2 func_hfa_d2(struct struct_hfa_d2 e);
98    struct struct_hfa_d3 func_hfa_d3(struct struct_hfa_d3 e);
99    struct struct_hfa_d4 func_hfa_d4(struct struct_hfa_d4 e);
100    struct struct_hfa_d5 func_hfa_d5(struct struct_hfa_d5 e);
101    struct struct_hfa_d6 func_hfa_d6(struct struct_hfa_d6 e);
102    struct struct_hfa_d7 func_hfa_d7(struct struct_hfa_d7 e);
103    struct struct_hfa_d8 func_hfa_d8(struct struct_hfa_d8 e);
104    struct struct_hfa_d9 func_hfa_d9(struct struct_hfa_d9 e);
105    struct struct_hfa_d10 func_hfa_d10(struct struct_hfa_d10 e);
106    struct struct_hfa_d11 func_hfa_d11(struct struct_hfa_d11 e);
107    struct struct_hfa_d12 func_hfa_d12(struct struct_hfa_d12 e);
108} {
109    struct dbl_eqv1 func_dbl_eqv(struct dbl_eqv1 a, struct dbl_eqv2 b, struct dbl_eqv3 c, struct dbl_eqv4 d)
110    { return (struct dbl_eqv1){ a.d + b.d.d + c.d.d.d + d.d.d.d.d }; }
111
112    struct flt_eqv1 func_flt_eqv(struct flt_eqv1 a, struct flt_eqv2 b, struct flt_eqv3 c, struct flt_eqv4 d)
113    { return (struct flt_eqv1){ a.d + b.d.d + c.d.d.d + d.d.d.d.d }; }
114
115    struct struct_hfa_f2 func_hfa_f2(struct struct_hfa_f2 e) { return e; }
116    struct struct_hfa_f3 func_hfa_f3(struct struct_hfa_f3 e) { return e; }
117    struct struct_hfa_f4 func_hfa_f4(struct struct_hfa_f4 e) { return e; }
118    struct struct_hfa_f5 func_hfa_f5(struct struct_hfa_f5 e) { return e; }
119    struct struct_hfa_f6 func_hfa_f6(struct struct_hfa_f6 e) { return e; }
120    struct struct_hfa_f7 func_hfa_f7(struct struct_hfa_f7 e) { return e; }
121    struct struct_hfa_f8 func_hfa_f8(struct struct_hfa_f8 e) { return e; }
122    struct struct_hfa_f9 func_hfa_f9(struct struct_hfa_f9 e) { return e; }
123    struct struct_hfa_f10 func_hfa_f10(struct struct_hfa_f10 e) { return e; }
124    struct struct_hfa_f11 func_hfa_f11(struct struct_hfa_f11 e) { return e; }
125    struct struct_hfa_f12 func_hfa_f12(struct struct_hfa_f12 e) { return e; }
126    struct struct_hfa_d2 func_hfa_d2(struct struct_hfa_d2 e) { return e; }
127    struct struct_hfa_d3 func_hfa_d3(struct struct_hfa_d3 e) { return e; }
128    struct struct_hfa_d4 func_hfa_d4(struct struct_hfa_d4 e) { return e; }
129    struct struct_hfa_d5 func_hfa_d5(struct struct_hfa_d5 e) { return e; }
130    struct struct_hfa_d6 func_hfa_d6(struct struct_hfa_d6 e) { return e; }
131    struct struct_hfa_d7 func_hfa_d7(struct struct_hfa_d7 e) { return e; }
132    struct struct_hfa_d8 func_hfa_d8(struct struct_hfa_d8 e) { return e; }
133    struct struct_hfa_d9 func_hfa_d9(struct struct_hfa_d9 e) { return e; }
134    struct struct_hfa_d10 func_hfa_d10(struct struct_hfa_d10 e) { return e; }
135    struct struct_hfa_d11 func_hfa_d11(struct struct_hfa_d11 e) { return e; }
136    struct struct_hfa_d12 func_hfa_d12(struct struct_hfa_d12 e) { return e; }
137} {
138    func_dbl_eqv((struct dbl_eqv1){ 2.5 },
139		 (struct dbl_eqv2){ { 1.5 } },
140		 (struct dbl_eqv3){ { { 0.5 } } },
141		 (struct dbl_eqv4){ { { { -0.5 } } } });
142
143    func_flt_eqv((struct flt_eqv1){ 2.5 },
144		 (struct flt_eqv2){ { 1.5 } },
145		 (struct flt_eqv3){ { { 0.5 } } },
146		 (struct flt_eqv4){ { { { -0.5 } } } });
147
148    struct struct_hfa_f2 arg_func_hfa_f2 = { 1, { 2 } };
149    func_hfa_f2(arg_func_hfa_f2);
150    struct struct_hfa_f3 arg_func_hfa_f3 = { 3, { 1, { 2 } } };
151    func_hfa_f3(arg_func_hfa_f3);
152    struct struct_hfa_f4 arg_func_hfa_f4 = { 4, { 3, { 1, { 2 } } } };
153    func_hfa_f4(arg_func_hfa_f4);
154    struct struct_hfa_f5 arg_func_hfa_f5 = { 5, { 4, { 3, { 1, { 2 } } } } };
155    func_hfa_f5(arg_func_hfa_f5);
156    struct struct_hfa_f6 arg_func_hfa_f6 = { 6, { 5, { 4, { 3, { 1, { 2 } } } } } };
157    func_hfa_f6(arg_func_hfa_f6);
158    struct struct_hfa_f7 arg_func_hfa_f7 = { 7, { 6, { 5, { 4, { 3, { 1, { 2 } } } } } } };
159    func_hfa_f7(arg_func_hfa_f7);
160    struct struct_hfa_f8 arg_func_hfa_f8 = { 8, { 7, { 6, { 5, { 4, { 3, { 1, { 2 } } } } } } } };
161    func_hfa_f8(arg_func_hfa_f8);
162    struct struct_hfa_f9 arg_func_hfa_f9 = { 9, { 8, { 7, { 6, { 5, { 4, { 3, { 1, { 2 } } } } } } } } };
163    func_hfa_f9(arg_func_hfa_f9);
164    struct struct_hfa_f10 arg_func_hfa_f10 = { 10, { 9, { 8, { 7, { 6, { 5, { 4, { 3, { 1, { 2 } } } } } } } } } };
165    func_hfa_f10(arg_func_hfa_f10);
166    struct struct_hfa_f11 arg_func_hfa_f11 = { 11, { 10, { 9, { 8, { 7, { 6, { 5, { 4, { 3, { 1, { 2 } } } } } } } } } } };
167    func_hfa_f11(arg_func_hfa_f11);
168    struct struct_hfa_f12 arg_func_hfa_f12 = { 12, { 11, { 10, { 9, { 8, { 7, { 6, { 5, { 4, { 3, { 1, { 2 } } } } } } } } } } } };
169    func_hfa_f12(arg_func_hfa_f12);
170
171    struct struct_hfa_d2 arg_func_hfa_d2 = { 1, { 2 } };
172    func_hfa_d2(arg_func_hfa_d2);
173    struct struct_hfa_d3 arg_func_hfa_d3 = { 3, { 1, { 2 } } };
174    func_hfa_d3(arg_func_hfa_d3);
175    struct struct_hfa_d4 arg_func_hfa_d4 = { 4, { 3, { 1, { 2 } } } };
176    func_hfa_d4(arg_func_hfa_d4);
177    struct struct_hfa_d5 arg_func_hfa_d5 = { 5, { 4, { 3, { 1, { 2 } } } } };
178    func_hfa_d5(arg_func_hfa_d5);
179    struct struct_hfa_d6 arg_func_hfa_d6 = { 6, { 5, { 4, { 3, { 1, { 2 } } } } } };
180    func_hfa_d6(arg_func_hfa_d6);
181    struct struct_hfa_d7 arg_func_hfa_d7 = { 7, { 6, { 5, { 4, { 3, { 1, { 2 } } } } } } };
182    func_hfa_d7(arg_func_hfa_d7);
183    struct struct_hfa_d8 arg_func_hfa_d8 = { 8, { 7, { 6, { 5, { 4, { 3, { 1, { 2 } } } } } } } };
184    func_hfa_d8(arg_func_hfa_d8);
185    struct struct_hfa_d9 arg_func_hfa_d9 = { 9, { 8, { 7, { 6, { 5, { 4, { 3, { 1, { 2 } } } } } } } } };
186    func_hfa_d9(arg_func_hfa_d9);
187    struct struct_hfa_d10 arg_func_hfa_d10 = { 10, { 9, { 8, { 7, { 6, { 5, { 4, { 3, { 1, { 2 } } } } } } } } } };
188    func_hfa_d10(arg_func_hfa_d10);
189    struct struct_hfa_d11 arg_func_hfa_d11 = { 11, { 10, { 9, { 8, { 7, { 6, { 5, { 4, { 3, { 1, { 2 } } } } } } } } } } };
190    func_hfa_d11(arg_func_hfa_d11);
191    struct struct_hfa_d12 arg_func_hfa_d12 = { 12, { 11, { 10, { 9, { 8, { 7, { 6, { 5, { 4, { 3, { 1, { 2 } } } } } } } } } } } };
192    func_hfa_d12(arg_func_hfa_d12);
193}] {
194    { {func_dbl_eqv\({ 2.500* }, { { 1.50* } }, { { { 0.50* } } }, { { { { -0.50* } } } }\).*= { 4.00* }} == 1 }
195    { {func_flt_eqv\({ 2.500* }, { { 1.50* } }, { { { 0.50* } } }, { { { { -0.50* } } } }\).*= { 4.00* }} == 1 }
196
197    { {func_hfa_f2\({ 1.000*, { 2.000* } }\).*= { 1.000*, { 2.000* } }} == 1 }
198    { {func_hfa_f3\({ 3.000*, { 1.000*, { 2.000* } } }\).*= { 3.000*, { 1.000*, { 2.000* } } }} == 1 }
199    { {func_hfa_f4\({ 4.000*, { 3.000*, { 1.000*, { 2.000* } } } }\).*= { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } }} == 1 }
200    { {func_hfa_f5\({ 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } }\).*= { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } }} == 1 }
201    { {func_hfa_f6\({ 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } }\).*= { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } }} == 1 }
202    { {func_hfa_f7\({ 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } }\).*= { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } }} == 1 }
203    { {func_hfa_f8\({ 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } }\).*= { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } }} == 1 }
204    { {func_hfa_f9\({ 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } }\).*= { 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } }} == 1 }
205    { {func_hfa_f10\({ 10.000*, { 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } } }\).*= { 10.000*, { 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } } }} == 1 }
206    { {func_hfa_f11\({ 11.000*, { 10.000*, { 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } } } }\).*= { 11.000*, { 10.000*, { 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } } } }} == 1 }
207    { {func_hfa_f12\({ 12.000*, { 11.000*, { 10.000*, { 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } } } } }\).*= { 12.000*, { 11.000*, { 10.000*, { 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } } } } }} == 1 }
208
209    { {func_hfa_d2\({ 1.000*, { 2.000* } }\).*= { 1.000*, { 2.000* } }} == 1 }
210    { {func_hfa_d3\({ 3.000*, { 1.000*, { 2.000* } } }\).*= { 3.000*, { 1.000*, { 2.000* } } }} == 1 }
211    { {func_hfa_d4\({ 4.000*, { 3.000*, { 1.000*, { 2.000* } } } }\).*= { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } }} == 1 }
212    { {func_hfa_d5\({ 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } }\).*= { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } }} == 1 }
213    { {func_hfa_d6\({ 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } }\).*= { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } }} == 1 }
214    { {func_hfa_d7\({ 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } }\).*= { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } }} == 1 }
215    { {func_hfa_d8\({ 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } }\).*= { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } }} == 1 }
216    { {func_hfa_d9\({ 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } }\).*= { 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } }} == 1 }
217    { {func_hfa_d10\({ 10.000*, { 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } } }\).*= { 10.000*, { 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } } }} == 1 }
218    { {func_hfa_d11\({ 11.000*, { 10.000*, { 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } } } }\).*= { 11.000*, { 10.000*, { 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } } } }} == 1 }
219    { {func_hfa_d12\({ 12.000*, { 11.000*, { 10.000*, { 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } } } } }\).*= { 12.000*, { 11.000*, { 10.000*, { 9.000*, { 8.000*, { 7.000*, { 6.000*, { 5.000*, { 4.000*, { 3.000*, { 1.000*, { 2.000* } } } } } } } } } } } }} == 1 }
220}
221
222ltraceMatch [ltraceLibTest {
223    typedef hfa2_t = struct(float, float);
224    typedef hda2_t = struct(double, double);
225
226    void hfa2_n(hfa2_t, hfa2_t, hfa2_t, hfa2_t);
227    void hda2_n(hda2_t, hda2_t, hda2_t, hda2_t);
228    void hfa2_0(float, hfa2_t, hfa2_t, hfa2_t, hfa2_t);
229    void hda2_0(double, hda2_t, hda2_t, hda2_t, hda2_t);
230    void hfa2_1(hfa2_t, float, hfa2_t, hfa2_t, hfa2_t);
231    void hda2_1(hda2_t, double, hda2_t, hda2_t, hda2_t);
232    void hfa2_2(hfa2_t, hfa2_t, float, hfa2_t, hfa2_t);
233    void hda2_2(hda2_t, hda2_t, double, hda2_t, hda2_t);
234    void hfa2_3(hfa2_t, hfa2_t, hfa2_t, float, hfa2_t);
235    void hda2_3(hda2_t, hda2_t, hda2_t, double, hda2_t);
236    void hfa2_4(hfa2_t, hfa2_t, hfa2_t, hfa2_t, float);
237    void hda2_4(hda2_t, hda2_t, hda2_t, hda2_t, double);
238
239    typedef hfa3_t = struct(float, float, float);
240    typedef hda3_t = struct(double, double, double);
241
242    void hfa3_n(hfa3_t, hfa3_t, hfa3_t, hfa3_t);
243    void hda3_n(hda3_t, hda3_t, hda3_t, hda3_t);
244    void hfa3_0(float, hfa3_t, hfa3_t, hfa3_t, hfa3_t);
245    void hda3_0(double, hda3_t, hda3_t, hda3_t, hda3_t);
246    void hfa3_1(hfa3_t, float, hfa3_t, hfa3_t, hfa3_t);
247    void hda3_1(hda3_t, double, hda3_t, hda3_t, hda3_t);
248    void hfa3_2(hfa3_t, hfa3_t, float, hfa3_t, hfa3_t);
249    void hda3_2(hda3_t, hda3_t, double, hda3_t, hda3_t);
250    void hfa3_3(hfa3_t, hfa3_t, hfa3_t, float, hfa3_t);
251    void hda3_3(hda3_t, hda3_t, hda3_t, double, hda3_t);
252    void hfa3_4(hfa3_t, hfa3_t, hfa3_t, hfa3_t, float);
253    void hda3_4(hda3_t, hda3_t, hda3_t, hda3_t, double);
254
255    typedef hfa4_t = struct(float, float, float, float);
256    typedef hda4_t = struct(double, double, double, double);
257
258    void hfa4_n(hfa4_t, hfa4_t, hfa4_t, hfa4_t);
259    void hda4_n(hda4_t, hda4_t, hda4_t, hda4_t);
260    void hfa4_0(float, hfa4_t, hfa4_t, hfa4_t, hfa4_t);
261    void hda4_0(double, hda4_t, hda4_t, hda4_t, hda4_t);
262    void hfa4_1(hfa4_t, float, hfa4_t, hfa4_t, hfa4_t);
263    void hda4_1(hda4_t, double, hda4_t, hda4_t, hda4_t);
264    void hfa4_2(hfa4_t, hfa4_t, float, hfa4_t, hfa4_t);
265    void hda4_2(hda4_t, hda4_t, double, hda4_t, hda4_t);
266    void hfa4_3(hfa4_t, hfa4_t, hfa4_t, float, hfa4_t);
267    void hda4_3(hda4_t, hda4_t, hda4_t, double, hda4_t);
268    void hfa4_4(hfa4_t, hfa4_t, hfa4_t, hfa4_t, float);
269    void hda4_4(hda4_t, hda4_t, hda4_t, hda4_t, double);
270} {
271    typedef struct { float a; float b; } hfa2_t;
272    typedef struct { double a; double b; } hda2_t;
273
274    void hfa2_n(hfa2_t i, hfa2_t j, hfa2_t k, hfa2_t l);
275    void hda2_n(hda2_t i, hda2_t j, hda2_t k, hda2_t l);
276    void hfa2_0(float x, hfa2_t i, hfa2_t j, hfa2_t k, hfa2_t l);
277    void hda2_0(double x, hda2_t i, hda2_t j, hda2_t k, hda2_t l);
278    void hfa2_1(hfa2_t i, float x, hfa2_t j, hfa2_t k, hfa2_t l);
279    void hda2_1(hda2_t i, double x, hda2_t j, hda2_t k, hda2_t l);
280    void hfa2_2(hfa2_t i, hfa2_t j, float x, hfa2_t k, hfa2_t l);
281    void hda2_2(hda2_t i, hda2_t j, double x, hda2_t k, hda2_t l);
282    void hfa2_3(hfa2_t i, hfa2_t j, hfa2_t k, float x, hfa2_t l);
283    void hda2_3(hda2_t i, hda2_t j, hda2_t k, double x, hda2_t l);
284    void hfa2_4(hfa2_t i, hfa2_t j, hfa2_t k, hfa2_t l, float x);
285    void hda2_4(hda2_t i, hda2_t j, hda2_t k, hda2_t l, double x);
286
287    typedef struct { float a; float b; float c; } hfa3_t;
288    typedef struct { double a; double b; double c; } hda3_t;
289
290    void hfa3_n(hfa3_t i, hfa3_t j, hfa3_t k, hfa3_t l);
291    void hda3_n(hda3_t i, hda3_t j, hda3_t k, hda3_t l);
292    void hfa3_0(float x, hfa3_t i, hfa3_t j, hfa3_t k, hfa3_t l);
293    void hda3_0(double x, hda3_t i, hda3_t j, hda3_t k, hda3_t l);
294    void hfa3_1(hfa3_t i, float x, hfa3_t j, hfa3_t k, hfa3_t l);
295    void hda3_1(hda3_t i, double x, hda3_t j, hda3_t k, hda3_t l);
296    void hfa3_2(hfa3_t i, hfa3_t j, float x, hfa3_t k, hfa3_t l);
297    void hda3_2(hda3_t i, hda3_t j, double x, hda3_t k, hda3_t l);
298    void hfa3_3(hfa3_t i, hfa3_t j, hfa3_t k, float x, hfa3_t l);
299    void hda3_3(hda3_t i, hda3_t j, hda3_t k, double x, hda3_t l);
300    void hfa3_4(hfa3_t i, hfa3_t j, hfa3_t k, hfa3_t l, float x);
301    void hda3_4(hda3_t i, hda3_t j, hda3_t k, hda3_t l, double x);
302
303    typedef struct { float a; float b; float c; float d; } hfa4_t;
304    typedef struct { double a; double b; double c; double d; } hda4_t;
305
306    void hfa4_n(hfa4_t i, hfa4_t j, hfa4_t k, hfa4_t l);
307    void hda4_n(hda4_t i, hda4_t j, hda4_t k, hda4_t l);
308    void hfa4_0(float x, hfa4_t i, hfa4_t j, hfa4_t k, hfa4_t l);
309    void hda4_0(double x, hda4_t i, hda4_t j, hda4_t k, hda4_t l);
310    void hfa4_1(hfa4_t i, float x, hfa4_t j, hfa4_t k, hfa4_t l);
311    void hda4_1(hda4_t i, double x, hda4_t j, hda4_t k, hda4_t l);
312    void hfa4_2(hfa4_t i, hfa4_t j, float x, hfa4_t k, hfa4_t l);
313    void hda4_2(hda4_t i, hda4_t j, double x, hda4_t k, hda4_t l);
314    void hfa4_3(hfa4_t i, hfa4_t j, hfa4_t k, float x, hfa4_t l);
315    void hda4_3(hda4_t i, hda4_t j, hda4_t k, double x, hda4_t l);
316    void hfa4_4(hfa4_t i, hfa4_t j, hfa4_t k, hfa4_t l, float x);
317    void hda4_4(hda4_t i, hda4_t j, hda4_t k, hda4_t l, double x);
318} {
319    void hfa2_n(hfa2_t i, hfa2_t j, hfa2_t k, hfa2_t l) {}
320    void hda2_n(hda2_t i, hda2_t j, hda2_t k, hda2_t l) {}
321    void hfa2_0(float x, hfa2_t i, hfa2_t j, hfa2_t k, hfa2_t l) {}
322    void hda2_0(double x, hda2_t i, hda2_t j, hda2_t k, hda2_t l) {}
323    void hfa2_1(hfa2_t i, float x, hfa2_t j, hfa2_t k, hfa2_t l) {}
324    void hda2_1(hda2_t i, double x, hda2_t j, hda2_t k, hda2_t l) {}
325    void hfa2_2(hfa2_t i, hfa2_t j, float x, hfa2_t k, hfa2_t l) {}
326    void hda2_2(hda2_t i, hda2_t j, double x, hda2_t k, hda2_t l) {}
327    void hfa2_3(hfa2_t i, hfa2_t j, hfa2_t k, float x, hfa2_t l) {}
328    void hda2_3(hda2_t i, hda2_t j, hda2_t k, double x, hda2_t l) {}
329    void hfa2_4(hfa2_t i, hfa2_t j, hfa2_t k, hfa2_t l, float x) {}
330    void hda2_4(hda2_t i, hda2_t j, hda2_t k, hda2_t l, double x) {}
331
332    void hfa3_n(hfa3_t i, hfa3_t j, hfa3_t k, hfa3_t l) {}
333    void hda3_n(hda3_t i, hda3_t j, hda3_t k, hda3_t l) {}
334    void hfa3_0(float x, hfa3_t i, hfa3_t j, hfa3_t k, hfa3_t l) {}
335    void hda3_0(double x, hda3_t i, hda3_t j, hda3_t k, hda3_t l) {}
336    void hfa3_1(hfa3_t i, float x, hfa3_t j, hfa3_t k, hfa3_t l) {}
337    void hda3_1(hda3_t i, double x, hda3_t j, hda3_t k, hda3_t l) {}
338    void hfa3_2(hfa3_t i, hfa3_t j, float x, hfa3_t k, hfa3_t l) {}
339    void hda3_2(hda3_t i, hda3_t j, double x, hda3_t k, hda3_t l) {}
340    void hfa3_3(hfa3_t i, hfa3_t j, hfa3_t k, float x, hfa3_t l) {}
341    void hda3_3(hda3_t i, hda3_t j, hda3_t k, double x, hda3_t l) {}
342    void hfa3_4(hfa3_t i, hfa3_t j, hfa3_t k, hfa3_t l, float x) {}
343    void hda3_4(hda3_t i, hda3_t j, hda3_t k, hda3_t l, double x) {}
344
345    void hfa4_n(hfa4_t i, hfa4_t j, hfa4_t k, hfa4_t l) {}
346    void hda4_n(hda4_t i, hda4_t j, hda4_t k, hda4_t l) {}
347    void hfa4_0(float x, hfa4_t i, hfa4_t j, hfa4_t k, hfa4_t l) {}
348    void hda4_0(double x, hda4_t i, hda4_t j, hda4_t k, hda4_t l) {}
349    void hfa4_1(hfa4_t i, float x, hfa4_t j, hfa4_t k, hfa4_t l) {}
350    void hda4_1(hda4_t i, double x, hda4_t j, hda4_t k, hda4_t l) {}
351    void hfa4_2(hfa4_t i, hfa4_t j, float x, hfa4_t k, hfa4_t l) {}
352    void hda4_2(hda4_t i, hda4_t j, double x, hda4_t k, hda4_t l) {}
353    void hfa4_3(hfa4_t i, hfa4_t j, hfa4_t k, float x, hfa4_t l) {}
354    void hda4_3(hda4_t i, hda4_t j, hda4_t k, double x, hda4_t l) {}
355    void hfa4_4(hfa4_t i, hfa4_t j, hfa4_t k, hfa4_t l, float x) {}
356    void hda4_4(hda4_t i, hda4_t j, hda4_t k, hda4_t l, double x) {}
357} {
358    {
359	hfa2_t hfa1 = { 1, 2 };
360	hfa2_t hfa2 = { 5, 6 };
361	hfa2_t hfa3 = { 9, 10 };
362	hfa2_t hfa4 = { 13, 14 };
363
364	hda2_t hda1 = { 1, 2 };
365	hda2_t hda2 = { 5, 6 };
366	hda2_t hda3 = { 9, 10 };
367	hda2_t hda4 = { 13, 14 };
368
369	hfa2_n(hfa1, hfa2, hfa3, hfa4);
370	hda2_n(hda1, hda2, hda3, hda4);
371	hfa2_0(-1, hfa1, hfa2, hfa3, hfa4);
372	hda2_0(-1, hda1, hda2, hda3, hda4);
373	hfa2_1(hfa1, -1, hfa2, hfa3, hfa4);
374	hda2_1(hda1, -1, hda2, hda3, hda4);
375	hfa2_2(hfa1, hfa2, -1, hfa3, hfa4);
376	hda2_2(hda1, hda2, -1, hda3, hda4);
377	hfa2_3(hfa1, hfa2, hfa3, -1, hfa4);
378	hda2_3(hda1, hda2, hda3, -1, hda4);
379	hfa2_4(hfa1, hfa2, hfa3, hfa4, -1);
380	hda2_4(hda1, hda2, hda3, hda4, -1);
381    }
382
383    {
384	hfa3_t hfa1 = { 1, 2, 3 };
385	hfa3_t hfa2 = { 5, 6, 7 };
386	hfa3_t hfa3 = { 9, 10, 11 };
387	hfa3_t hfa4 = { 13, 14, 15 };
388
389	hda3_t hda1 = { 1, 2, 3 };
390	hda3_t hda2 = { 5, 6, 7 };
391	hda3_t hda3 = { 9, 10, 11 };
392	hda3_t hda4 = { 13, 14, 15 };
393
394	hfa3_n(hfa1, hfa2, hfa3, hfa4);
395	hda3_n(hda1, hda2, hda3, hda4);
396	hfa3_0(-1, hfa1, hfa2, hfa3, hfa4);
397	hda3_0(-1, hda1, hda2, hda3, hda4);
398	hfa3_1(hfa1, -1, hfa2, hfa3, hfa4);
399	hda3_1(hda1, -1, hda2, hda3, hda4);
400	hfa3_2(hfa1, hfa2, -1, hfa3, hfa4);
401	hda3_2(hda1, hda2, -1, hda3, hda4);
402	hfa3_3(hfa1, hfa2, hfa3, -1, hfa4);
403	hda3_3(hda1, hda2, hda3, -1, hda4);
404	hfa3_4(hfa1, hfa2, hfa3, hfa4, -1);
405	hda3_4(hda1, hda2, hda3, hda4, -1);
406    }
407
408    {
409	hfa4_t hfa1 = { 1, 2, 3, 4 };
410	hfa4_t hfa2 = { 5, 6, 7, 8 };
411	hfa4_t hfa3 = { 9, 10, 11, 12 };
412	hfa4_t hfa4 = { 13, 14, 15, 16 };
413
414	hda4_t hda1 = { 1, 2, 3, 4 };
415	hda4_t hda2 = { 5, 6, 7, 8 };
416	hda4_t hda3 = { 9, 10, 11, 12 };
417	hda4_t hda4 = { 13, 14, 15, 16 };
418
419	hfa4_n(hfa1, hfa2, hfa3, hfa4);
420	hda4_n(hda1, hda2, hda3, hda4);
421	hfa4_0(-1, hfa1, hfa2, hfa3, hfa4);
422	hda4_0(-1, hda1, hda2, hda3, hda4);
423	hfa4_1(hfa1, -1, hfa2, hfa3, hfa4);
424	hda4_1(hda1, -1, hda2, hda3, hda4);
425	hfa4_2(hfa1, hfa2, -1, hfa3, hfa4);
426	hda4_2(hda1, hda2, -1, hda3, hda4);
427	hfa4_3(hfa1, hfa2, hfa3, -1, hfa4);
428	hda4_3(hda1, hda2, hda3, -1, hda4);
429	hfa4_4(hfa1, hfa2, hfa3, hfa4, -1);
430	hda4_4(hda1, hda2, hda3, hda4, -1);
431    }
432
433}] {
434    { {hfa2_n\({ 1.00*, 2.00* }, { 5.00*, 6.00* }, { 9.00*, 10.00* }, { 13.00*, 14.00* }\).*= <void>} == 1}
435    { {hda2_n\({ 1.00*, 2.00* }, { 5.00*, 6.00* }, { 9.00*, 10.00* }, { 13.00*, 14.00* }\).*= <void>} == 1}
436    { {hfa2_0\(-1.00*, { 1.00*, 2.00* }, { 5.00*, 6.00* }, { 9.00*, 10.00* }, { 13.00*, 14.00* }\).*= <void>} == 1}
437    { {hda2_0\(-1.00*, { 1.00*, 2.00* }, { 5.00*, 6.00* }, { 9.00*, 10.00* }, { 13.00*, 14.00* }\).*= <void>} == 1}
438    { {hfa2_1\({ 1.00*, 2.00* }, -1.00*, { 5.00*, 6.00* }, { 9.00*, 10.00* }, { 13.00*, 14.00* }\).*= <void>} == 1}
439    { {hda2_1\({ 1.00*, 2.00* }, -1.00*, { 5.00*, 6.00* }, { 9.00*, 10.00* }, { 13.00*, 14.00* }\).*= <void>} == 1}
440    { {hfa2_2\({ 1.00*, 2.00* }, { 5.00*, 6.00* }, -1.00*, { 9.00*, 10.00* }, { 13.00*, 14.00* }\).*= <void>} == 1}
441    { {hda2_2\({ 1.00*, 2.00* }, { 5.00*, 6.00* }, -1.00*, { 9.00*, 10.00* }, { 13.00*, 14.00* }\).*= <void>} == 1}
442    { {hfa2_3\({ 1.00*, 2.00* }, { 5.00*, 6.00* }, { 9.00*, 10.00* }, -1.00*, { 13.00*, 14.00* }\).*= <void>} == 1}
443    { {hda2_3\({ 1.00*, 2.00* }, { 5.00*, 6.00* }, { 9.00*, 10.00* }, -1.00*, { 13.00*, 14.00* }\).*= <void>} == 1}
444    { {hfa2_4\({ 1.00*, 2.00* }, { 5.00*, 6.00* }, { 9.00*, 10.00* }, { 13.00*, 14.00* }, -1.00*\).*= <void>} == 1}
445    { {hda2_4\({ 1.00*, 2.00* }, { 5.00*, 6.00* }, { 9.00*, 10.00* }, { 13.00*, 14.00* }, -1.00*\).*= <void>} == 1}
446
447    { {hfa3_n\({ 1.00*, 2.00*, 3.00* }, { 5.00*, 6.00*, 7.00* }, { 9.00*, 10.00*, 11.00* }, { 13.00*, 14.00*, 15.00* }\).*= <void>} == 1}
448    { {hda3_n\({ 1.00*, 2.00*, 3.00* }, { 5.00*, 6.00*, 7.00* }, { 9.00*, 10.00*, 11.00* }, { 13.00*, 14.00*, 15.00* }\).*= <void>} == 1}
449    { {hfa3_0\(-1.00*, { 1.00*, 2.00*, 3.00* }, { 5.00*, 6.00*, 7.00* }, { 9.00*, 10.00*, 11.00* }, { 13.00*, 14.00*, 15.00* }\).*= <void>} == 1}
450    { {hda3_0\(-1.00*, { 1.00*, 2.00*, 3.00* }, { 5.00*, 6.00*, 7.00* }, { 9.00*, 10.00*, 11.00* }, { 13.00*, 14.00*, 15.00* }\).*= <void>} == 1}
451    { {hfa3_1\({ 1.00*, 2.00*, 3.00* }, -1.00*, { 5.00*, 6.00*, 7.00* }, { 9.00*, 10.00*, 11.00* }, { 13.00*, 14.00*, 15.00* }\).*= <void>} == 1}
452    { {hda3_1\({ 1.00*, 2.00*, 3.00* }, -1.00*, { 5.00*, 6.00*, 7.00* }, { 9.00*, 10.00*, 11.00* }, { 13.00*, 14.00*, 15.00* }\).*= <void>} == 1}
453    { {hfa3_2\({ 1.00*, 2.00*, 3.00* }, { 5.00*, 6.00*, 7.00* }, -1.00*, { 9.00*, 10.00*, 11.00* }, { 13.00*, 14.00*, 15.00* }\).*= <void>} == 1}
454    { {hda3_2\({ 1.00*, 2.00*, 3.00* }, { 5.00*, 6.00*, 7.00* }, -1.00*, { 9.00*, 10.00*, 11.00* }, { 13.00*, 14.00*, 15.00* }\).*= <void>} == 1}
455    { {hfa3_3\({ 1.00*, 2.00*, 3.00* }, { 5.00*, 6.00*, 7.00* }, { 9.00*, 10.00*, 11.00* }, -1.00*, { 13.00*, 14.00*, 15.00* }\).*= <void>} == 1}
456    { {hda3_3\({ 1.00*, 2.00*, 3.00* }, { 5.00*, 6.00*, 7.00* }, { 9.00*, 10.00*, 11.00* }, -1.00*, { 13.00*, 14.00*, 15.00* }\).*= <void>} == 1}
457    { {hfa3_4\({ 1.00*, 2.00*, 3.00* }, { 5.00*, 6.00*, 7.00* }, { 9.00*, 10.00*, 11.00* }, { 13.00*, 14.00*, 15.00* }, -1.00*\).*= <void>} == 1}
458    { {hda3_4\({ 1.00*, 2.00*, 3.00* }, { 5.00*, 6.00*, 7.00* }, { 9.00*, 10.00*, 11.00* }, { 13.00*, 14.00*, 15.00* }, -1.00*\).*= <void>} == 1}
459
460    { {hfa4_n\({ 1.00*, 2.00*, 3.00*, 4.00* }, { 5.00*, 6.00*, 7.00*, 8.00* }, { 9.00*, 10.00*, 11.00*, 12.00* }, { 13.00*, 14.00*, 15.00*, 16.00* }\).*= <void>} == 1}
461    { {hda4_n\({ 1.00*, 2.00*, 3.00*, 4.00* }, { 5.00*, 6.00*, 7.00*, 8.00* }, { 9.00*, 10.00*, 11.00*, 12.00* }, { 13.00*, 14.00*, 15.00*, 16.00* }\).*= <void>} == 1}
462    { {hfa4_0\(-1.00*, { 1.00*, 2.00*, 3.00*, 4.00* }, { 5.00*, 6.00*, 7.00*, 8.00* }, { 9.00*, 10.00*, 11.00*, 12.00* }, { 13.00*, 14.00*, 15.00*, 16.00* }\).*= <void>} == 1}
463    { {hda4_0\(-1.00*, { 1.00*, 2.00*, 3.00*, 4.00* }, { 5.00*, 6.00*, 7.00*, 8.00* }, { 9.00*, 10.00*, 11.00*, 12.00* }, { 13.00*, 14.00*, 15.00*, 16.00* }\).*= <void>} == 1}
464    { {hfa4_1\({ 1.00*, 2.00*, 3.00*, 4.00* }, -1.00*, { 5.00*, 6.00*, 7.00*, 8.00* }, { 9.00*, 10.00*, 11.00*, 12.00* }, { 13.00*, 14.00*, 15.00*, 16.00* }\).*= <void>} == 1}
465    { {hda4_1\({ 1.00*, 2.00*, 3.00*, 4.00* }, -1.00*, { 5.00*, 6.00*, 7.00*, 8.00* }, { 9.00*, 10.00*, 11.00*, 12.00* }, { 13.00*, 14.00*, 15.00*, 16.00* }\).*= <void>} == 1}
466    { {hfa4_2\({ 1.00*, 2.00*, 3.00*, 4.00* }, { 5.00*, 6.00*, 7.00*, 8.00* }, -1.00*, { 9.00*, 10.00*, 11.00*, 12.00* }, { 13.00*, 14.00*, 15.00*, 16.00* }\).*= <void>} == 1}
467    { {hda4_2\({ 1.00*, 2.00*, 3.00*, 4.00* }, { 5.00*, 6.00*, 7.00*, 8.00* }, -1.00*, { 9.00*, 10.00*, 11.00*, 12.00* }, { 13.00*, 14.00*, 15.00*, 16.00* }\).*= <void>} == 1}
468    { {hfa4_3\({ 1.00*, 2.00*, 3.00*, 4.00* }, { 5.00*, 6.00*, 7.00*, 8.00* }, { 9.00*, 10.00*, 11.00*, 12.00* }, -1.00*, { 13.00*, 14.00*, 15.00*, 16.00* }\).*= <void>} == 1}
469    { {hda4_3\({ 1.00*, 2.00*, 3.00*, 4.00* }, { 5.00*, 6.00*, 7.00*, 8.00* }, { 9.00*, 10.00*, 11.00*, 12.00* }, -1.00*, { 13.00*, 14.00*, 15.00*, 16.00* }\).*= <void>} == 1}
470    { {hfa4_4\({ 1.00*, 2.00*, 3.00*, 4.00* }, { 5.00*, 6.00*, 7.00*, 8.00* }, { 9.00*, 10.00*, 11.00*, 12.00* }, { 13.00*, 14.00*, 15.00*, 16.00* }, -1.00*\).*= <void>} == 1}
471    { {hda4_4\({ 1.00*, 2.00*, 3.00*, 4.00* }, { 5.00*, 6.00*, 7.00*, 8.00* }, { 9.00*, 10.00*, 11.00*, 12.00* }, { 13.00*, 14.00*, 15.00*, 16.00* }, -1.00*\).*= <void>} == 1}
472}
473
474ltraceDone
475