xref: /titanic_51/usr/src/lib/libctf/common/ctf_dwarf.c (revision 7fd791373689a6af05e27efec3b1ab556e02aa23)
1*7fd79137SRobert Mustacchi /*
2*7fd79137SRobert Mustacchi  * CDDL HEADER START
3*7fd79137SRobert Mustacchi  *
4*7fd79137SRobert Mustacchi  * The contents of this file are subject to the terms of the
5*7fd79137SRobert Mustacchi  * Common Development and Distribution License (the "License").
6*7fd79137SRobert Mustacchi  * You may not use this file except in compliance with the License.
7*7fd79137SRobert Mustacchi  *
8*7fd79137SRobert Mustacchi  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
9*7fd79137SRobert Mustacchi  * or http://www.opensolaris.org/os/licensing.
10*7fd79137SRobert Mustacchi  * See the License for the specific language governing permissions
11*7fd79137SRobert Mustacchi  * and limitations under the License.
12*7fd79137SRobert Mustacchi  *
13*7fd79137SRobert Mustacchi  * When distributing Covered Code, include this CDDL HEADER in each
14*7fd79137SRobert Mustacchi  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
15*7fd79137SRobert Mustacchi  * If applicable, add the following below this CDDL HEADER, with the
16*7fd79137SRobert Mustacchi  * fields enclosed by brackets "[]" replaced with your own identifying
17*7fd79137SRobert Mustacchi  * information: Portions Copyright [yyyy] [name of copyright owner]
18*7fd79137SRobert Mustacchi  *
19*7fd79137SRobert Mustacchi  * CDDL HEADER END
20*7fd79137SRobert Mustacchi  */
21*7fd79137SRobert Mustacchi /*
22*7fd79137SRobert Mustacchi  * Copyright 2007 Sun Microsystems, Inc.  All rights reserved.
23*7fd79137SRobert Mustacchi  * Use is subject to license terms.
24*7fd79137SRobert Mustacchi  */
25*7fd79137SRobert Mustacchi /*
26*7fd79137SRobert Mustacchi  * Copyright 2012 Jason King.  All rights reserved.
27*7fd79137SRobert Mustacchi  * Use is subject to license terms.
28*7fd79137SRobert Mustacchi  */
29*7fd79137SRobert Mustacchi 
30*7fd79137SRobert Mustacchi /*
31*7fd79137SRobert Mustacchi  * Copyright 2018 Joyent, Inc.
32*7fd79137SRobert Mustacchi  */
33*7fd79137SRobert Mustacchi 
34*7fd79137SRobert Mustacchi /*
35*7fd79137SRobert Mustacchi  * CTF DWARF conversion theory.
36*7fd79137SRobert Mustacchi  *
37*7fd79137SRobert Mustacchi  * DWARF data contains a series of compilation units. Each compilation unit
38*7fd79137SRobert Mustacchi  * generally refers to an object file or what once was, in the case of linked
39*7fd79137SRobert Mustacchi  * binaries and shared objects. Each compilation unit has a series of what DWARF
40*7fd79137SRobert Mustacchi  * calls a DIE (Debugging Information Entry). The set of entries that we care
41*7fd79137SRobert Mustacchi  * about have type information stored in a series of attributes. Each DIE also
42*7fd79137SRobert Mustacchi  * has a tag that identifies the kind of attributes that it has.
43*7fd79137SRobert Mustacchi  *
44*7fd79137SRobert Mustacchi  * A given DIE may itself have children. For example, a DIE that represents a
45*7fd79137SRobert Mustacchi  * structure has children which represent members. Whenever we encounter a DIE
46*7fd79137SRobert Mustacchi  * that has children or other values or types associated with it, we recursively
47*7fd79137SRobert Mustacchi  * process those children first so that way we can then refer to the generated
48*7fd79137SRobert Mustacchi  * CTF type id while processing its parent. This reduces the amount of unknowns
49*7fd79137SRobert Mustacchi  * and fixups that we need. It also ensures that we don't accidentally add types
50*7fd79137SRobert Mustacchi  * that an overzealous compiler might add to the DWARF data but aren't used by
51*7fd79137SRobert Mustacchi  * anything in the system.
52*7fd79137SRobert Mustacchi  *
53*7fd79137SRobert Mustacchi  * Once we do a conversion, we store a mapping in an AVL tree that goes from the
54*7fd79137SRobert Mustacchi  * DWARF's die offset, which is relative to the given compilation unit, to a
55*7fd79137SRobert Mustacchi  * ctf_id_t.
56*7fd79137SRobert Mustacchi  *
57*7fd79137SRobert Mustacchi  * Unfortunately, some compilers actually will emit duplicate entries for a
58*7fd79137SRobert Mustacchi  * given type that look similar, but aren't quite. To that end, we go through
59*7fd79137SRobert Mustacchi  * and do a variant on a merge once we're done processing a single compilation
60*7fd79137SRobert Mustacchi  * unit which deduplicates all of the types that are in the unit.
61*7fd79137SRobert Mustacchi  *
62*7fd79137SRobert Mustacchi  * Finally, if we encounter an object that has multiple compilation units, then
63*7fd79137SRobert Mustacchi  * we'll convert all of the compilation units separately and then do a merge, so
64*7fd79137SRobert Mustacchi  * that way we can result in one single ctf_file_t that represents everything
65*7fd79137SRobert Mustacchi  * for the object.
66*7fd79137SRobert Mustacchi  *
67*7fd79137SRobert Mustacchi  * Conversion Steps
68*7fd79137SRobert Mustacchi  * ----------------
69*7fd79137SRobert Mustacchi  *
70*7fd79137SRobert Mustacchi  * Because a given object we've been given to convert may have multiple
71*7fd79137SRobert Mustacchi  * compilation units, we break the work into two halves. The first half
72*7fd79137SRobert Mustacchi  * processes each compilation unit (potentially in parallel) and then the second
73*7fd79137SRobert Mustacchi  * half optionally merges all of the dies in the first half. First, we'll cover
74*7fd79137SRobert Mustacchi  * what's involved in converting a single ctf_cu_t's dwarf to CTF. This covers
75*7fd79137SRobert Mustacchi  * the work done in ctf_dwarf_convert_one().
76*7fd79137SRobert Mustacchi  *
77*7fd79137SRobert Mustacchi  * An individual ctf_cu_t, which represents a compilation unit, is converted to
78*7fd79137SRobert Mustacchi  * CTF in a series of multiple passes.
79*7fd79137SRobert Mustacchi  *
80*7fd79137SRobert Mustacchi  * Pass 1: During the first pass we walk all of the top-level dies and if we
81*7fd79137SRobert Mustacchi  * find a function, variable, struct, union, enum or typedef, we recursively
82*7fd79137SRobert Mustacchi  * transform all of its types. We don't recurse or process everything, because
83*7fd79137SRobert Mustacchi  * we don't want to add some of the types that compilers may add which are
84*7fd79137SRobert Mustacchi  * effectively unused.
85*7fd79137SRobert Mustacchi  *
86*7fd79137SRobert Mustacchi  * During pass 1, if we encounter any structures or unions we mark them for
87*7fd79137SRobert Mustacchi  * fixing up later. This is necessary because we may not be able to determine
88*7fd79137SRobert Mustacchi  * the full size of a structure at the beginning of time. This will happen if
89*7fd79137SRobert Mustacchi  * the DWARF attribute DW_AT_byte_size is not present for a member. Because of
90*7fd79137SRobert Mustacchi  * this possibility we defer adding members to structures or even converting
91*7fd79137SRobert Mustacchi  * them during pass 1 and save that for pass 2. Adding all of the base
92*7fd79137SRobert Mustacchi  * structures without any of their members helps deal with any circular
93*7fd79137SRobert Mustacchi  * dependencies that we might encounter.
94*7fd79137SRobert Mustacchi  *
95*7fd79137SRobert Mustacchi  * Pass 2: This pass is used to do the first half of fixing up structures and
96*7fd79137SRobert Mustacchi  * unions. Rather than walk the entire type space again, we actually walk the
97*7fd79137SRobert Mustacchi  * list of structures and unions that we marked for later fixing up. Here, we
98*7fd79137SRobert Mustacchi  * iterate over every structure and add members to the underlying ctf_file_t,
99*7fd79137SRobert Mustacchi  * but not to the structs themselves. One might wonder why we don't, and the
100*7fd79137SRobert Mustacchi  * main reason is that libctf requires a ctf_update() be done before adding the
101*7fd79137SRobert Mustacchi  * members to structures or unions.
102*7fd79137SRobert Mustacchi  *
103*7fd79137SRobert Mustacchi  * Pass 3: This pass is used to do the second half of fixing up structures and
104*7fd79137SRobert Mustacchi  * unions. During this part we always go through and add members to structures
105*7fd79137SRobert Mustacchi  * and unions that we added to the container in the previous pass. In addition,
106*7fd79137SRobert Mustacchi  * we set the structure and union's actual size, which may have additional
107*7fd79137SRobert Mustacchi  * padding added by the compiler, it isn't simply the last offset. DWARF always
108*7fd79137SRobert Mustacchi  * guarantees an attribute exists for this. Importantly no ctf_id_t's change
109*7fd79137SRobert Mustacchi  * during pass 2.
110*7fd79137SRobert Mustacchi  *
111*7fd79137SRobert Mustacchi  * Pass 4: The next phase is to add CTF entries for all of the symbols and
112*7fd79137SRobert Mustacchi  * variables that are present in this die. During pass 1 we added entries to a
113*7fd79137SRobert Mustacchi  * map for each variable and function. During this pass, we iterate over the
114*7fd79137SRobert Mustacchi  * symbol table and when we encounter a symbol that we have in our lists of
115*7fd79137SRobert Mustacchi  * translated information which matches, we then add it to the ctf_file_t.
116*7fd79137SRobert Mustacchi  *
117*7fd79137SRobert Mustacchi  * Pass 5: Here we go and look for any weak symbols and functions and see if
118*7fd79137SRobert Mustacchi  * they match anything that we recognize. If so, then we add type information
119*7fd79137SRobert Mustacchi  * for them at this point based on the matching type.
120*7fd79137SRobert Mustacchi  *
121*7fd79137SRobert Mustacchi  * Pass 6: This pass is actually a variant on a merge. The traditional merge
122*7fd79137SRobert Mustacchi  * process expects there to be no duplicate types. As such, at the end of
123*7fd79137SRobert Mustacchi  * conversion, we do a dedup on all of the types in the system. The
124*7fd79137SRobert Mustacchi  * deduplication process is described in lib/libctf/common/ctf_merge.c.
125*7fd79137SRobert Mustacchi  *
126*7fd79137SRobert Mustacchi  * Once pass 6 is done, we've finished processing the individual compilation
127*7fd79137SRobert Mustacchi  * unit.
128*7fd79137SRobert Mustacchi  *
129*7fd79137SRobert Mustacchi  * The following steps reflect the general process of doing a conversion.
130*7fd79137SRobert Mustacchi  *
131*7fd79137SRobert Mustacchi  * 1) Walk the dwarf section and determine the number of compilation units
132*7fd79137SRobert Mustacchi  * 2) Create a ctf_cu_t for each compilation unit
133*7fd79137SRobert Mustacchi  * 3) Add all ctf_cu_t's to a workq
134*7fd79137SRobert Mustacchi  * 4) Have the workq process each die with ctf_dwarf_convert_one. This itself
135*7fd79137SRobert Mustacchi  *    is comprised of several steps, which were already enumerated.
136*7fd79137SRobert Mustacchi  * 5) If we have multiple cu's, we do a ctf merge of all the dies. The mechanics
137*7fd79137SRobert Mustacchi  *    of the merge are discussed in lib/libctf/common/ctf_merge.c.
138*7fd79137SRobert Mustacchi  * 6) Free everything up and return a ctf_file_t to the user. If we only had a
139*7fd79137SRobert Mustacchi  *    single compilation unit, then we give that to the user. Otherwise, we
140*7fd79137SRobert Mustacchi  *    return the merged ctf_file_t.
141*7fd79137SRobert Mustacchi  *
142*7fd79137SRobert Mustacchi  * Threading
143*7fd79137SRobert Mustacchi  * ---------
144*7fd79137SRobert Mustacchi  *
145*7fd79137SRobert Mustacchi  * The process has been designed to be amenable to threading. Each compilation
146*7fd79137SRobert Mustacchi  * unit has its own type stream, therefore the logical place to divide and
147*7fd79137SRobert Mustacchi  * conquer is at the compilation unit. Each ctf_cu_t has been built to be able
148*7fd79137SRobert Mustacchi  * to be processed independently of the others. It has its own libdwarf handle,
149*7fd79137SRobert Mustacchi  * as a given libdwarf handle may only be used by a single thread at a time.
150*7fd79137SRobert Mustacchi  * This allows the various ctf_cu_t's to be processed in parallel by different
151*7fd79137SRobert Mustacchi  * threads.
152*7fd79137SRobert Mustacchi  *
153*7fd79137SRobert Mustacchi  * All of the ctf_cu_t's are loaded into a workq which allows for a number of
154*7fd79137SRobert Mustacchi  * threads to be specified and used as a thread pool to process all of the
155*7fd79137SRobert Mustacchi  * queued work. We set the number of threads to use in the workq equal to the
156*7fd79137SRobert Mustacchi  * number of threads that the user has specified.
157*7fd79137SRobert Mustacchi  *
158*7fd79137SRobert Mustacchi  * After all of the compilation units have been drained, we use the same number
159*7fd79137SRobert Mustacchi  * of threads when performing a merge of multiple compilation units, if they
160*7fd79137SRobert Mustacchi  * exist.
161*7fd79137SRobert Mustacchi  *
162*7fd79137SRobert Mustacchi  * While all of these different parts do support and allow for multiple threads,
163*7fd79137SRobert Mustacchi  * it's important that when only a single thread is specified, that it be the
164*7fd79137SRobert Mustacchi  * calling thread. This allows the conversion routines to be used in a context
165*7fd79137SRobert Mustacchi  * that doesn't allow additional threads, such as rtld.
166*7fd79137SRobert Mustacchi  *
167*7fd79137SRobert Mustacchi  * Common DWARF Mechanics and Notes
168*7fd79137SRobert Mustacchi  * --------------------------------
169*7fd79137SRobert Mustacchi  *
170*7fd79137SRobert Mustacchi  * At this time, we really only support DWARFv2, though support for DWARFv4 is
171*7fd79137SRobert Mustacchi  * mostly there. There is no intent to support DWARFv3.
172*7fd79137SRobert Mustacchi  *
173*7fd79137SRobert Mustacchi  * Generally types for something are stored in the DW_AT_type attribute. For
174*7fd79137SRobert Mustacchi  * example, a function's return type will be stored in the local DW_AT_type
175*7fd79137SRobert Mustacchi  * attribute while the arguments will be in child DIEs. There are also various
176*7fd79137SRobert Mustacchi  * times when we don't have any DW_AT_type. In that case, the lack of a type
177*7fd79137SRobert Mustacchi  * implies, at least for C, that its C type is void. Because DWARF doesn't emit
178*7fd79137SRobert Mustacchi  * one, we have a synthetic void type that we create and manipulate instead and
179*7fd79137SRobert Mustacchi  * pass it off to consumers on an as-needed basis. If nothing has a void type,
180*7fd79137SRobert Mustacchi  * it will not be emitted.
181*7fd79137SRobert Mustacchi  *
182*7fd79137SRobert Mustacchi  * Architecture Specific Parts
183*7fd79137SRobert Mustacchi  * ---------------------------
184*7fd79137SRobert Mustacchi  *
185*7fd79137SRobert Mustacchi  * The CTF tooling encodes various information about the various architectures
186*7fd79137SRobert Mustacchi  * in the system. Importantly, the tool assumes that every architecture has a
187*7fd79137SRobert Mustacchi  * data model where long and pointer are the same size. This is currently the
188*7fd79137SRobert Mustacchi  * case, as the two data models illumos supports are ILP32 and LP64.
189*7fd79137SRobert Mustacchi  *
190*7fd79137SRobert Mustacchi  * In addition, we encode the mapping of various floating point sizes to various
191*7fd79137SRobert Mustacchi  * types for each architecture. If a new architecture is being added, it should
192*7fd79137SRobert Mustacchi  * be added to the list. The general design of the ctf conversion tools is to be
193*7fd79137SRobert Mustacchi  * architecture independent. eg. any of the tools here should be able to convert
194*7fd79137SRobert Mustacchi  * any architecture's DWARF into ctf; however, this has not been rigorously
195*7fd79137SRobert Mustacchi  * tested and more importantly, the ctf routines don't currently write out the
196*7fd79137SRobert Mustacchi  * data in an endian-aware form, they only use that of the currently running
197*7fd79137SRobert Mustacchi  * library.
198*7fd79137SRobert Mustacchi  */
199*7fd79137SRobert Mustacchi 
200*7fd79137SRobert Mustacchi #include <libctf_impl.h>
201*7fd79137SRobert Mustacchi #include <sys/avl.h>
202*7fd79137SRobert Mustacchi #include <sys/debug.h>
203*7fd79137SRobert Mustacchi #include <gelf.h>
204*7fd79137SRobert Mustacchi #include <libdwarf.h>
205*7fd79137SRobert Mustacchi #include <dwarf.h>
206*7fd79137SRobert Mustacchi #include <libgen.h>
207*7fd79137SRobert Mustacchi #include <workq.h>
208*7fd79137SRobert Mustacchi #include <errno.h>
209*7fd79137SRobert Mustacchi 
210*7fd79137SRobert Mustacchi #define	DWARF_VERSION_TWO	2
211*7fd79137SRobert Mustacchi #define	DWARF_VARARGS_NAME	"..."
212*7fd79137SRobert Mustacchi 
213*7fd79137SRobert Mustacchi /*
214*7fd79137SRobert Mustacchi  * Dwarf may refer recursively to other types that we've already processed. To
215*7fd79137SRobert Mustacchi  * see if we've already converted them, we look them up in an AVL tree that's
216*7fd79137SRobert Mustacchi  * sorted by the DWARF id.
217*7fd79137SRobert Mustacchi  */
218*7fd79137SRobert Mustacchi typedef struct ctf_dwmap {
219*7fd79137SRobert Mustacchi 	avl_node_t	cdm_avl;
220*7fd79137SRobert Mustacchi 	Dwarf_Off	cdm_off;
221*7fd79137SRobert Mustacchi 	Dwarf_Die	cdm_die;
222*7fd79137SRobert Mustacchi 	ctf_id_t	cdm_id;
223*7fd79137SRobert Mustacchi 	boolean_t	cdm_fix;
224*7fd79137SRobert Mustacchi } ctf_dwmap_t;
225*7fd79137SRobert Mustacchi 
226*7fd79137SRobert Mustacchi typedef struct ctf_dwvar {
227*7fd79137SRobert Mustacchi 	ctf_list_t	cdv_list;
228*7fd79137SRobert Mustacchi 	char		*cdv_name;
229*7fd79137SRobert Mustacchi 	ctf_id_t	cdv_type;
230*7fd79137SRobert Mustacchi 	boolean_t	cdv_global;
231*7fd79137SRobert Mustacchi } ctf_dwvar_t;
232*7fd79137SRobert Mustacchi 
233*7fd79137SRobert Mustacchi typedef struct ctf_dwfunc {
234*7fd79137SRobert Mustacchi 	ctf_list_t	cdf_list;
235*7fd79137SRobert Mustacchi 	char		*cdf_name;
236*7fd79137SRobert Mustacchi 	ctf_funcinfo_t	cdf_fip;
237*7fd79137SRobert Mustacchi 	ctf_id_t	*cdf_argv;
238*7fd79137SRobert Mustacchi 	boolean_t	cdf_global;
239*7fd79137SRobert Mustacchi } ctf_dwfunc_t;
240*7fd79137SRobert Mustacchi 
241*7fd79137SRobert Mustacchi typedef struct ctf_dwbitf {
242*7fd79137SRobert Mustacchi 	ctf_list_t	cdb_list;
243*7fd79137SRobert Mustacchi 	ctf_id_t	cdb_base;
244*7fd79137SRobert Mustacchi 	uint_t		cdb_nbits;
245*7fd79137SRobert Mustacchi 	ctf_id_t	cdb_id;
246*7fd79137SRobert Mustacchi } ctf_dwbitf_t;
247*7fd79137SRobert Mustacchi 
248*7fd79137SRobert Mustacchi /*
249*7fd79137SRobert Mustacchi  * The ctf_cu_t represents a single top-level DWARF die unit. While generally,
250*7fd79137SRobert Mustacchi  * the typical object file has only a single die, if we're asked to convert
251*7fd79137SRobert Mustacchi  * something that's been linked from multiple sources, multiple dies will exist.
252*7fd79137SRobert Mustacchi  */
253*7fd79137SRobert Mustacchi typedef struct ctf_die {
254*7fd79137SRobert Mustacchi 	Elf		*cu_elf;	/* shared libelf handle */
255*7fd79137SRobert Mustacchi 	char		*cu_name;	/* basename of the DIE */
256*7fd79137SRobert Mustacchi 	ctf_merge_t	*cu_cmh;	/* merge handle */
257*7fd79137SRobert Mustacchi 	ctf_list_t	cu_vars;	/* List of variables */
258*7fd79137SRobert Mustacchi 	ctf_list_t	cu_funcs;	/* List of functions */
259*7fd79137SRobert Mustacchi 	ctf_list_t	cu_bitfields;	/* Bit field members */
260*7fd79137SRobert Mustacchi 	Dwarf_Debug	cu_dwarf;	/* libdwarf handle */
261*7fd79137SRobert Mustacchi 	Dwarf_Die	cu_cu;		/* libdwarf compilation unit */
262*7fd79137SRobert Mustacchi 	Dwarf_Off	cu_cuoff;	/* cu's offset */
263*7fd79137SRobert Mustacchi 	Dwarf_Off	cu_maxoff;	/* maximum offset */
264*7fd79137SRobert Mustacchi 	ctf_file_t	*cu_ctfp;	/* output CTF file */
265*7fd79137SRobert Mustacchi 	avl_tree_t	cu_map;		/* map die offsets to CTF types */
266*7fd79137SRobert Mustacchi 	char		*cu_errbuf;	/* error message buffer */
267*7fd79137SRobert Mustacchi 	size_t		cu_errlen;	/* error message buffer length */
268*7fd79137SRobert Mustacchi 	size_t		cu_ptrsz;	/* object's pointer size */
269*7fd79137SRobert Mustacchi 	boolean_t	cu_bigend;	/* is it big endian */
270*7fd79137SRobert Mustacchi 	boolean_t	cu_doweaks;	/* should we convert weak symbols? */
271*7fd79137SRobert Mustacchi 	uint_t		cu_mach;	/* machine type */
272*7fd79137SRobert Mustacchi 	ctf_id_t	cu_voidtid;	/* void pointer */
273*7fd79137SRobert Mustacchi 	ctf_id_t	cu_longtid;	/* id for a 'long' */
274*7fd79137SRobert Mustacchi } ctf_cu_t;
275*7fd79137SRobert Mustacchi 
276*7fd79137SRobert Mustacchi static int ctf_dwarf_offset(ctf_cu_t *, Dwarf_Die, Dwarf_Off *);
277*7fd79137SRobert Mustacchi static int ctf_dwarf_convert_die(ctf_cu_t *, Dwarf_Die);
278*7fd79137SRobert Mustacchi static int ctf_dwarf_convert_type(ctf_cu_t *, Dwarf_Die, ctf_id_t *, int);
279*7fd79137SRobert Mustacchi 
280*7fd79137SRobert Mustacchi static int ctf_dwarf_function_count(ctf_cu_t *, Dwarf_Die, ctf_funcinfo_t *,
281*7fd79137SRobert Mustacchi     boolean_t);
282*7fd79137SRobert Mustacchi static int ctf_dwarf_convert_fargs(ctf_cu_t *, Dwarf_Die, ctf_funcinfo_t *,
283*7fd79137SRobert Mustacchi     ctf_id_t *);
284*7fd79137SRobert Mustacchi 
285*7fd79137SRobert Mustacchi typedef int (ctf_dwarf_symtab_f)(ctf_cu_t *, const GElf_Sym *, ulong_t,
286*7fd79137SRobert Mustacchi     const char *, const char *, void *);
287*7fd79137SRobert Mustacchi 
288*7fd79137SRobert Mustacchi /*
289*7fd79137SRobert Mustacchi  * This is a generic way to set a CTF Conversion backend error depending on what
290*7fd79137SRobert Mustacchi  * we were doing. Unless it was one of a specific set of errors that don't
291*7fd79137SRobert Mustacchi  * indicate a programming / translation bug, eg. ENOMEM, then we transform it
292*7fd79137SRobert Mustacchi  * into a CTF backend error and fill in the error buffer.
293*7fd79137SRobert Mustacchi  */
294*7fd79137SRobert Mustacchi static int
295*7fd79137SRobert Mustacchi ctf_dwarf_error(ctf_cu_t *cup, ctf_file_t *cfp, int err, const char *fmt, ...)
296*7fd79137SRobert Mustacchi {
297*7fd79137SRobert Mustacchi 	va_list ap;
298*7fd79137SRobert Mustacchi 	int ret;
299*7fd79137SRobert Mustacchi 	size_t off = 0;
300*7fd79137SRobert Mustacchi 	ssize_t rem = cup->cu_errlen;
301*7fd79137SRobert Mustacchi 	if (cfp != NULL)
302*7fd79137SRobert Mustacchi 		err = ctf_errno(cfp);
303*7fd79137SRobert Mustacchi 
304*7fd79137SRobert Mustacchi 	if (err == ENOMEM)
305*7fd79137SRobert Mustacchi 		return (err);
306*7fd79137SRobert Mustacchi 
307*7fd79137SRobert Mustacchi 	ret = snprintf(cup->cu_errbuf, rem, "die %s: ", cup->cu_name);
308*7fd79137SRobert Mustacchi 	if (ret < 0)
309*7fd79137SRobert Mustacchi 		goto err;
310*7fd79137SRobert Mustacchi 	off += ret;
311*7fd79137SRobert Mustacchi 	rem = MAX(rem - ret, 0);
312*7fd79137SRobert Mustacchi 
313*7fd79137SRobert Mustacchi 	va_start(ap, fmt);
314*7fd79137SRobert Mustacchi 	ret = vsnprintf(cup->cu_errbuf + off, rem, fmt, ap);
315*7fd79137SRobert Mustacchi 	va_end(ap);
316*7fd79137SRobert Mustacchi 	if (ret < 0)
317*7fd79137SRobert Mustacchi 		goto err;
318*7fd79137SRobert Mustacchi 
319*7fd79137SRobert Mustacchi 	off += ret;
320*7fd79137SRobert Mustacchi 	rem = MAX(rem - ret, 0);
321*7fd79137SRobert Mustacchi 	if (fmt[strlen(fmt) - 1] != '\n') {
322*7fd79137SRobert Mustacchi 		(void) snprintf(cup->cu_errbuf + off, rem,
323*7fd79137SRobert Mustacchi 		    ": %s\n", ctf_errmsg(err));
324*7fd79137SRobert Mustacchi 	}
325*7fd79137SRobert Mustacchi 	va_end(ap);
326*7fd79137SRobert Mustacchi 	return (ECTF_CONVBKERR);
327*7fd79137SRobert Mustacchi 
328*7fd79137SRobert Mustacchi err:
329*7fd79137SRobert Mustacchi 	cup->cu_errbuf[0] = '\0';
330*7fd79137SRobert Mustacchi 	return (ECTF_CONVBKERR);
331*7fd79137SRobert Mustacchi }
332*7fd79137SRobert Mustacchi 
333*7fd79137SRobert Mustacchi /*
334*7fd79137SRobert Mustacchi  * DWARF often opts to put no explicit type to describe a void type. eg. if we
335*7fd79137SRobert Mustacchi  * have a reference type whose DW_AT_type member doesn't exist, then we should
336*7fd79137SRobert Mustacchi  * instead assume it points to void. Because this isn't represented, we
337*7fd79137SRobert Mustacchi  * instead cause it to come into existence.
338*7fd79137SRobert Mustacchi  */
339*7fd79137SRobert Mustacchi static ctf_id_t
340*7fd79137SRobert Mustacchi ctf_dwarf_void(ctf_cu_t *cup)
341*7fd79137SRobert Mustacchi {
342*7fd79137SRobert Mustacchi 	if (cup->cu_voidtid == CTF_ERR) {
343*7fd79137SRobert Mustacchi 		ctf_encoding_t enc = { CTF_INT_SIGNED, 0, 0 };
344*7fd79137SRobert Mustacchi 		cup->cu_voidtid = ctf_add_integer(cup->cu_ctfp, CTF_ADD_ROOT,
345*7fd79137SRobert Mustacchi 		    "void", &enc);
346*7fd79137SRobert Mustacchi 		if (cup->cu_voidtid == CTF_ERR) {
347*7fd79137SRobert Mustacchi 			(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
348*7fd79137SRobert Mustacchi 			    "failed to create void type: %s\n",
349*7fd79137SRobert Mustacchi 			    ctf_errmsg(ctf_errno(cup->cu_ctfp)));
350*7fd79137SRobert Mustacchi 		}
351*7fd79137SRobert Mustacchi 	}
352*7fd79137SRobert Mustacchi 
353*7fd79137SRobert Mustacchi 	return (cup->cu_voidtid);
354*7fd79137SRobert Mustacchi }
355*7fd79137SRobert Mustacchi 
356*7fd79137SRobert Mustacchi /*
357*7fd79137SRobert Mustacchi  * There are many different forms that an array index may take. However, we just
358*7fd79137SRobert Mustacchi  * always force it to be of a type long no matter what. Therefore we use this to
359*7fd79137SRobert Mustacchi  * have a single instance of long across everything.
360*7fd79137SRobert Mustacchi  */
361*7fd79137SRobert Mustacchi static ctf_id_t
362*7fd79137SRobert Mustacchi ctf_dwarf_long(ctf_cu_t *cup)
363*7fd79137SRobert Mustacchi {
364*7fd79137SRobert Mustacchi 	if (cup->cu_longtid == CTF_ERR) {
365*7fd79137SRobert Mustacchi 		ctf_encoding_t enc;
366*7fd79137SRobert Mustacchi 
367*7fd79137SRobert Mustacchi 		enc.cte_format = CTF_INT_SIGNED;
368*7fd79137SRobert Mustacchi 		enc.cte_offset = 0;
369*7fd79137SRobert Mustacchi 		/* All illumos systems are LP */
370*7fd79137SRobert Mustacchi 		enc.cte_bits = cup->cu_ptrsz * 8;
371*7fd79137SRobert Mustacchi 		cup->cu_longtid = ctf_add_integer(cup->cu_ctfp, CTF_ADD_NONROOT,
372*7fd79137SRobert Mustacchi 		    "long", &enc);
373*7fd79137SRobert Mustacchi 		if (cup->cu_longtid == CTF_ERR) {
374*7fd79137SRobert Mustacchi 			(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
375*7fd79137SRobert Mustacchi 			    "failed to create long type: %s\n",
376*7fd79137SRobert Mustacchi 			    ctf_errmsg(ctf_errno(cup->cu_ctfp)));
377*7fd79137SRobert Mustacchi 		}
378*7fd79137SRobert Mustacchi 
379*7fd79137SRobert Mustacchi 	}
380*7fd79137SRobert Mustacchi 
381*7fd79137SRobert Mustacchi 	return (cup->cu_longtid);
382*7fd79137SRobert Mustacchi }
383*7fd79137SRobert Mustacchi 
384*7fd79137SRobert Mustacchi static int
385*7fd79137SRobert Mustacchi ctf_dwmap_comp(const void *a, const void *b)
386*7fd79137SRobert Mustacchi {
387*7fd79137SRobert Mustacchi 	const ctf_dwmap_t *ca = a;
388*7fd79137SRobert Mustacchi 	const ctf_dwmap_t *cb = b;
389*7fd79137SRobert Mustacchi 
390*7fd79137SRobert Mustacchi 	if (ca->cdm_off > cb->cdm_off)
391*7fd79137SRobert Mustacchi 		return (1);
392*7fd79137SRobert Mustacchi 	if (ca->cdm_off < cb->cdm_off)
393*7fd79137SRobert Mustacchi 		return (-1);
394*7fd79137SRobert Mustacchi 	return (0);
395*7fd79137SRobert Mustacchi }
396*7fd79137SRobert Mustacchi 
397*7fd79137SRobert Mustacchi static int
398*7fd79137SRobert Mustacchi ctf_dwmap_add(ctf_cu_t *cup, ctf_id_t id, Dwarf_Die die, boolean_t fix)
399*7fd79137SRobert Mustacchi {
400*7fd79137SRobert Mustacchi 	int ret;
401*7fd79137SRobert Mustacchi 	avl_index_t index;
402*7fd79137SRobert Mustacchi 	ctf_dwmap_t *dwmap;
403*7fd79137SRobert Mustacchi 	Dwarf_Off off;
404*7fd79137SRobert Mustacchi 
405*7fd79137SRobert Mustacchi 	VERIFY(id > 0 && id < CTF_MAX_TYPE);
406*7fd79137SRobert Mustacchi 
407*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_offset(cup, die, &off)) != 0)
408*7fd79137SRobert Mustacchi 		return (ret);
409*7fd79137SRobert Mustacchi 
410*7fd79137SRobert Mustacchi 	if ((dwmap = ctf_alloc(sizeof (ctf_dwmap_t))) == NULL)
411*7fd79137SRobert Mustacchi 		return (ENOMEM);
412*7fd79137SRobert Mustacchi 
413*7fd79137SRobert Mustacchi 	dwmap->cdm_die = die;
414*7fd79137SRobert Mustacchi 	dwmap->cdm_off = off;
415*7fd79137SRobert Mustacchi 	dwmap->cdm_id = id;
416*7fd79137SRobert Mustacchi 	dwmap->cdm_fix = fix;
417*7fd79137SRobert Mustacchi 
418*7fd79137SRobert Mustacchi 	ctf_dprintf("dwmap: %p %" DW_PR_DUx "->%d\n", dwmap, off, id);
419*7fd79137SRobert Mustacchi 	VERIFY(avl_find(&cup->cu_map, dwmap, &index) == NULL);
420*7fd79137SRobert Mustacchi 	avl_insert(&cup->cu_map, dwmap, index);
421*7fd79137SRobert Mustacchi 	return (0);
422*7fd79137SRobert Mustacchi }
423*7fd79137SRobert Mustacchi 
424*7fd79137SRobert Mustacchi static int
425*7fd79137SRobert Mustacchi ctf_dwarf_attribute(ctf_cu_t *cup, Dwarf_Die die, Dwarf_Half name,
426*7fd79137SRobert Mustacchi     Dwarf_Attribute *attrp)
427*7fd79137SRobert Mustacchi {
428*7fd79137SRobert Mustacchi 	int ret;
429*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
430*7fd79137SRobert Mustacchi 
431*7fd79137SRobert Mustacchi 	if ((ret = dwarf_attr(die, name, attrp, &derr)) == DW_DLV_OK)
432*7fd79137SRobert Mustacchi 		return (0);
433*7fd79137SRobert Mustacchi 	if (ret == DW_DLV_NO_ENTRY) {
434*7fd79137SRobert Mustacchi 		*attrp = NULL;
435*7fd79137SRobert Mustacchi 		return (ENOENT);
436*7fd79137SRobert Mustacchi 	}
437*7fd79137SRobert Mustacchi 	(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
438*7fd79137SRobert Mustacchi 	    "failed to get attribute for type: %s\n",
439*7fd79137SRobert Mustacchi 	    dwarf_errmsg(derr));
440*7fd79137SRobert Mustacchi 	return (ECTF_CONVBKERR);
441*7fd79137SRobert Mustacchi }
442*7fd79137SRobert Mustacchi 
443*7fd79137SRobert Mustacchi static int
444*7fd79137SRobert Mustacchi ctf_dwarf_ref(ctf_cu_t *cup, Dwarf_Die die, Dwarf_Half name, Dwarf_Off *refp)
445*7fd79137SRobert Mustacchi {
446*7fd79137SRobert Mustacchi 	int ret;
447*7fd79137SRobert Mustacchi 	Dwarf_Attribute attr;
448*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
449*7fd79137SRobert Mustacchi 
450*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_attribute(cup, die, name, &attr)) != 0)
451*7fd79137SRobert Mustacchi 		return (ret);
452*7fd79137SRobert Mustacchi 
453*7fd79137SRobert Mustacchi 	if (dwarf_formref(attr, refp, &derr) == DW_DLV_OK) {
454*7fd79137SRobert Mustacchi 		dwarf_dealloc(cup->cu_dwarf, attr, DW_DLA_ATTR);
455*7fd79137SRobert Mustacchi 		return (0);
456*7fd79137SRobert Mustacchi 	}
457*7fd79137SRobert Mustacchi 
458*7fd79137SRobert Mustacchi 	(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
459*7fd79137SRobert Mustacchi 	    "failed to get unsigned attribute for type: %s\n",
460*7fd79137SRobert Mustacchi 	    dwarf_errmsg(derr));
461*7fd79137SRobert Mustacchi 	return (ECTF_CONVBKERR);
462*7fd79137SRobert Mustacchi }
463*7fd79137SRobert Mustacchi 
464*7fd79137SRobert Mustacchi static int
465*7fd79137SRobert Mustacchi ctf_dwarf_refdie(ctf_cu_t *cup, Dwarf_Die die, Dwarf_Half name,
466*7fd79137SRobert Mustacchi     Dwarf_Die *diep)
467*7fd79137SRobert Mustacchi {
468*7fd79137SRobert Mustacchi 	int ret;
469*7fd79137SRobert Mustacchi 	Dwarf_Off off;
470*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
471*7fd79137SRobert Mustacchi 
472*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_ref(cup, die, name, &off)) != 0)
473*7fd79137SRobert Mustacchi 		return (ret);
474*7fd79137SRobert Mustacchi 
475*7fd79137SRobert Mustacchi 	off += cup->cu_cuoff;
476*7fd79137SRobert Mustacchi 	if ((ret = dwarf_offdie(cup->cu_dwarf, off, diep, &derr)) !=
477*7fd79137SRobert Mustacchi 	    DW_DLV_OK) {
478*7fd79137SRobert Mustacchi 		(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
479*7fd79137SRobert Mustacchi 		    "failed to get die from offset %" DW_PR_DUu ": %s\n",
480*7fd79137SRobert Mustacchi 		    off, dwarf_errmsg(derr));
481*7fd79137SRobert Mustacchi 		return (ECTF_CONVBKERR);
482*7fd79137SRobert Mustacchi 	}
483*7fd79137SRobert Mustacchi 
484*7fd79137SRobert Mustacchi 	return (0);
485*7fd79137SRobert Mustacchi }
486*7fd79137SRobert Mustacchi 
487*7fd79137SRobert Mustacchi static int
488*7fd79137SRobert Mustacchi ctf_dwarf_signed(ctf_cu_t *cup, Dwarf_Die die, Dwarf_Half name,
489*7fd79137SRobert Mustacchi     Dwarf_Signed *valp)
490*7fd79137SRobert Mustacchi {
491*7fd79137SRobert Mustacchi 	int ret;
492*7fd79137SRobert Mustacchi 	Dwarf_Attribute attr;
493*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
494*7fd79137SRobert Mustacchi 
495*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_attribute(cup, die, name, &attr)) != 0)
496*7fd79137SRobert Mustacchi 		return (ret);
497*7fd79137SRobert Mustacchi 
498*7fd79137SRobert Mustacchi 	if (dwarf_formsdata(attr, valp, &derr) == DW_DLV_OK) {
499*7fd79137SRobert Mustacchi 		dwarf_dealloc(cup->cu_dwarf, attr, DW_DLA_ATTR);
500*7fd79137SRobert Mustacchi 		return (0);
501*7fd79137SRobert Mustacchi 	}
502*7fd79137SRobert Mustacchi 
503*7fd79137SRobert Mustacchi 	(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
504*7fd79137SRobert Mustacchi 	    "failed to get unsigned attribute for type: %s\n",
505*7fd79137SRobert Mustacchi 	    dwarf_errmsg(derr));
506*7fd79137SRobert Mustacchi 	return (ECTF_CONVBKERR);
507*7fd79137SRobert Mustacchi }
508*7fd79137SRobert Mustacchi 
509*7fd79137SRobert Mustacchi static int
510*7fd79137SRobert Mustacchi ctf_dwarf_unsigned(ctf_cu_t *cup, Dwarf_Die die, Dwarf_Half name,
511*7fd79137SRobert Mustacchi     Dwarf_Unsigned *valp)
512*7fd79137SRobert Mustacchi {
513*7fd79137SRobert Mustacchi 	int ret;
514*7fd79137SRobert Mustacchi 	Dwarf_Attribute attr;
515*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
516*7fd79137SRobert Mustacchi 
517*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_attribute(cup, die, name, &attr)) != 0)
518*7fd79137SRobert Mustacchi 		return (ret);
519*7fd79137SRobert Mustacchi 
520*7fd79137SRobert Mustacchi 	if (dwarf_formudata(attr, valp, &derr) == DW_DLV_OK) {
521*7fd79137SRobert Mustacchi 		dwarf_dealloc(cup->cu_dwarf, attr, DW_DLA_ATTR);
522*7fd79137SRobert Mustacchi 		return (0);
523*7fd79137SRobert Mustacchi 	}
524*7fd79137SRobert Mustacchi 
525*7fd79137SRobert Mustacchi 	(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
526*7fd79137SRobert Mustacchi 	    "failed to get unsigned attribute for type: %s\n",
527*7fd79137SRobert Mustacchi 	    dwarf_errmsg(derr));
528*7fd79137SRobert Mustacchi 	return (ECTF_CONVBKERR);
529*7fd79137SRobert Mustacchi }
530*7fd79137SRobert Mustacchi 
531*7fd79137SRobert Mustacchi static int
532*7fd79137SRobert Mustacchi ctf_dwarf_boolean(ctf_cu_t *cup, Dwarf_Die die, Dwarf_Half name,
533*7fd79137SRobert Mustacchi     Dwarf_Bool *val)
534*7fd79137SRobert Mustacchi {
535*7fd79137SRobert Mustacchi 	int ret;
536*7fd79137SRobert Mustacchi 	Dwarf_Attribute attr;
537*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
538*7fd79137SRobert Mustacchi 
539*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_attribute(cup, die, name, &attr)) != 0)
540*7fd79137SRobert Mustacchi 		return (ret);
541*7fd79137SRobert Mustacchi 
542*7fd79137SRobert Mustacchi 	if (dwarf_formflag(attr, val, &derr) == DW_DLV_OK) {
543*7fd79137SRobert Mustacchi 		dwarf_dealloc(cup->cu_dwarf, attr, DW_DLA_ATTR);
544*7fd79137SRobert Mustacchi 		return (0);
545*7fd79137SRobert Mustacchi 	}
546*7fd79137SRobert Mustacchi 
547*7fd79137SRobert Mustacchi 	(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
548*7fd79137SRobert Mustacchi 	    "failed to get boolean attribute for type: %s\n",
549*7fd79137SRobert Mustacchi 	    dwarf_errmsg(derr));
550*7fd79137SRobert Mustacchi 
551*7fd79137SRobert Mustacchi 	return (ECTF_CONVBKERR);
552*7fd79137SRobert Mustacchi }
553*7fd79137SRobert Mustacchi 
554*7fd79137SRobert Mustacchi static int
555*7fd79137SRobert Mustacchi ctf_dwarf_string(ctf_cu_t *cup, Dwarf_Die die, Dwarf_Half name, char **strp)
556*7fd79137SRobert Mustacchi {
557*7fd79137SRobert Mustacchi 	int ret;
558*7fd79137SRobert Mustacchi 	char *s;
559*7fd79137SRobert Mustacchi 	Dwarf_Attribute attr;
560*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
561*7fd79137SRobert Mustacchi 
562*7fd79137SRobert Mustacchi 	*strp = NULL;
563*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_attribute(cup, die, name, &attr)) != 0)
564*7fd79137SRobert Mustacchi 		return (ret);
565*7fd79137SRobert Mustacchi 
566*7fd79137SRobert Mustacchi 	if (dwarf_formstring(attr, &s, &derr) == DW_DLV_OK) {
567*7fd79137SRobert Mustacchi 		if ((*strp = ctf_strdup(s)) == NULL)
568*7fd79137SRobert Mustacchi 			ret = ENOMEM;
569*7fd79137SRobert Mustacchi 		else
570*7fd79137SRobert Mustacchi 			ret = 0;
571*7fd79137SRobert Mustacchi 		dwarf_dealloc(cup->cu_dwarf, attr, DW_DLA_ATTR);
572*7fd79137SRobert Mustacchi 		return (ret);
573*7fd79137SRobert Mustacchi 	}
574*7fd79137SRobert Mustacchi 
575*7fd79137SRobert Mustacchi 	(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
576*7fd79137SRobert Mustacchi 	    "failed to get string attribute for type: %s\n",
577*7fd79137SRobert Mustacchi 	    dwarf_errmsg(derr));
578*7fd79137SRobert Mustacchi 	return (ECTF_CONVBKERR);
579*7fd79137SRobert Mustacchi }
580*7fd79137SRobert Mustacchi 
581*7fd79137SRobert Mustacchi static int
582*7fd79137SRobert Mustacchi ctf_dwarf_member_location(ctf_cu_t *cup, Dwarf_Die die, Dwarf_Unsigned *valp)
583*7fd79137SRobert Mustacchi {
584*7fd79137SRobert Mustacchi 	int ret;
585*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
586*7fd79137SRobert Mustacchi 	Dwarf_Attribute attr;
587*7fd79137SRobert Mustacchi 	Dwarf_Locdesc *loc;
588*7fd79137SRobert Mustacchi 	Dwarf_Signed locnum;
589*7fd79137SRobert Mustacchi 
590*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_attribute(cup, die, DW_AT_data_member_location,
591*7fd79137SRobert Mustacchi 	    &attr)) != 0)
592*7fd79137SRobert Mustacchi 		return (ret);
593*7fd79137SRobert Mustacchi 
594*7fd79137SRobert Mustacchi 	if (dwarf_loclist(attr, &loc, &locnum, &derr) != DW_DLV_OK) {
595*7fd79137SRobert Mustacchi 		(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
596*7fd79137SRobert Mustacchi 		    "failed to obtain location list for member offset: %s",
597*7fd79137SRobert Mustacchi 		    dwarf_errmsg(derr));
598*7fd79137SRobert Mustacchi 		dwarf_dealloc(cup->cu_dwarf, attr, DW_DLA_ATTR);
599*7fd79137SRobert Mustacchi 		return (ECTF_CONVBKERR);
600*7fd79137SRobert Mustacchi 	}
601*7fd79137SRobert Mustacchi 	dwarf_dealloc(cup->cu_dwarf, attr, DW_DLA_ATTR);
602*7fd79137SRobert Mustacchi 
603*7fd79137SRobert Mustacchi 	if (locnum != 1 || loc->ld_s->lr_atom != DW_OP_plus_uconst) {
604*7fd79137SRobert Mustacchi 		(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
605*7fd79137SRobert Mustacchi 		    "failed to parse location structure for member");
606*7fd79137SRobert Mustacchi 		dwarf_dealloc(cup->cu_dwarf, loc->ld_s, DW_DLA_LOC_BLOCK);
607*7fd79137SRobert Mustacchi 		dwarf_dealloc(cup->cu_dwarf, loc, DW_DLA_LOCDESC);
608*7fd79137SRobert Mustacchi 		return (ECTF_CONVBKERR);
609*7fd79137SRobert Mustacchi 	}
610*7fd79137SRobert Mustacchi 
611*7fd79137SRobert Mustacchi 	*valp = loc->ld_s->lr_number;
612*7fd79137SRobert Mustacchi 
613*7fd79137SRobert Mustacchi 	dwarf_dealloc(cup->cu_dwarf, loc->ld_s, DW_DLA_LOC_BLOCK);
614*7fd79137SRobert Mustacchi 	dwarf_dealloc(cup->cu_dwarf, loc, DW_DLA_LOCDESC);
615*7fd79137SRobert Mustacchi 	return (0);
616*7fd79137SRobert Mustacchi }
617*7fd79137SRobert Mustacchi 
618*7fd79137SRobert Mustacchi 
619*7fd79137SRobert Mustacchi static int
620*7fd79137SRobert Mustacchi ctf_dwarf_offset(ctf_cu_t *cup, Dwarf_Die die, Dwarf_Off *offsetp)
621*7fd79137SRobert Mustacchi {
622*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
623*7fd79137SRobert Mustacchi 
624*7fd79137SRobert Mustacchi 	if (dwarf_dieoffset(die, offsetp, &derr) == DW_DLV_OK)
625*7fd79137SRobert Mustacchi 		return (0);
626*7fd79137SRobert Mustacchi 
627*7fd79137SRobert Mustacchi 	(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
628*7fd79137SRobert Mustacchi 	    "failed to get die offset: %s\n",
629*7fd79137SRobert Mustacchi 	    dwarf_errmsg(derr));
630*7fd79137SRobert Mustacchi 	return (ECTF_CONVBKERR);
631*7fd79137SRobert Mustacchi }
632*7fd79137SRobert Mustacchi 
633*7fd79137SRobert Mustacchi /* simpler variant for debugging output */
634*7fd79137SRobert Mustacchi static Dwarf_Off
635*7fd79137SRobert Mustacchi ctf_die_offset(Dwarf_Die die)
636*7fd79137SRobert Mustacchi {
637*7fd79137SRobert Mustacchi 	Dwarf_Off off = -1;
638*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
639*7fd79137SRobert Mustacchi 
640*7fd79137SRobert Mustacchi 	(void) dwarf_dieoffset(die, &off, &derr);
641*7fd79137SRobert Mustacchi 	return (off);
642*7fd79137SRobert Mustacchi }
643*7fd79137SRobert Mustacchi 
644*7fd79137SRobert Mustacchi static int
645*7fd79137SRobert Mustacchi ctf_dwarf_tag(ctf_cu_t *cup, Dwarf_Die die, Dwarf_Half *tagp)
646*7fd79137SRobert Mustacchi {
647*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
648*7fd79137SRobert Mustacchi 
649*7fd79137SRobert Mustacchi 	if (dwarf_tag(die, tagp, &derr) == DW_DLV_OK)
650*7fd79137SRobert Mustacchi 		return (0);
651*7fd79137SRobert Mustacchi 
652*7fd79137SRobert Mustacchi 	(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
653*7fd79137SRobert Mustacchi 	    "failed to get tag type: %s\n",
654*7fd79137SRobert Mustacchi 	    dwarf_errmsg(derr));
655*7fd79137SRobert Mustacchi 	return (ECTF_CONVBKERR);
656*7fd79137SRobert Mustacchi }
657*7fd79137SRobert Mustacchi 
658*7fd79137SRobert Mustacchi static int
659*7fd79137SRobert Mustacchi ctf_dwarf_sib(ctf_cu_t *cup, Dwarf_Die base, Dwarf_Die *sibp)
660*7fd79137SRobert Mustacchi {
661*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
662*7fd79137SRobert Mustacchi 	int ret;
663*7fd79137SRobert Mustacchi 
664*7fd79137SRobert Mustacchi 	*sibp = NULL;
665*7fd79137SRobert Mustacchi 	ret = dwarf_siblingof(cup->cu_dwarf, base, sibp, &derr);
666*7fd79137SRobert Mustacchi 	if (ret == DW_DLV_OK || ret == DW_DLV_NO_ENTRY)
667*7fd79137SRobert Mustacchi 		return (0);
668*7fd79137SRobert Mustacchi 
669*7fd79137SRobert Mustacchi 	(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
670*7fd79137SRobert Mustacchi 	    "failed to sibling from die: %s\n",
671*7fd79137SRobert Mustacchi 	    dwarf_errmsg(derr));
672*7fd79137SRobert Mustacchi 	return (ECTF_CONVBKERR);
673*7fd79137SRobert Mustacchi }
674*7fd79137SRobert Mustacchi 
675*7fd79137SRobert Mustacchi static int
676*7fd79137SRobert Mustacchi ctf_dwarf_child(ctf_cu_t *cup, Dwarf_Die base, Dwarf_Die *childp)
677*7fd79137SRobert Mustacchi {
678*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
679*7fd79137SRobert Mustacchi 	int ret;
680*7fd79137SRobert Mustacchi 
681*7fd79137SRobert Mustacchi 	*childp = NULL;
682*7fd79137SRobert Mustacchi 	ret = dwarf_child(base, childp, &derr);
683*7fd79137SRobert Mustacchi 	if (ret == DW_DLV_OK || ret == DW_DLV_NO_ENTRY)
684*7fd79137SRobert Mustacchi 		return (0);
685*7fd79137SRobert Mustacchi 
686*7fd79137SRobert Mustacchi 	(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
687*7fd79137SRobert Mustacchi 	    "failed to child from die: %s\n",
688*7fd79137SRobert Mustacchi 	    dwarf_errmsg(derr));
689*7fd79137SRobert Mustacchi 	return (ECTF_CONVBKERR);
690*7fd79137SRobert Mustacchi }
691*7fd79137SRobert Mustacchi 
692*7fd79137SRobert Mustacchi /*
693*7fd79137SRobert Mustacchi  * Compilers disagree on what to do to determine if something has global
694*7fd79137SRobert Mustacchi  * visiblity. Traditionally gcc has used DW_AT_external to indicate this while
695*7fd79137SRobert Mustacchi  * Studio has used DW_AT_visibility. We check DW_AT_visibility first and then
696*7fd79137SRobert Mustacchi  * fall back to DW_AT_external. Lack of DW_AT_external implies that it is not.
697*7fd79137SRobert Mustacchi  */
698*7fd79137SRobert Mustacchi static int
699*7fd79137SRobert Mustacchi ctf_dwarf_isglobal(ctf_cu_t *cup, Dwarf_Die die, boolean_t *igp)
700*7fd79137SRobert Mustacchi {
701*7fd79137SRobert Mustacchi 	int ret;
702*7fd79137SRobert Mustacchi 	Dwarf_Signed vis;
703*7fd79137SRobert Mustacchi 	Dwarf_Bool ext;
704*7fd79137SRobert Mustacchi 
705*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_signed(cup, die, DW_AT_visibility, &vis)) == 0) {
706*7fd79137SRobert Mustacchi 		*igp = vis == DW_VIS_exported;
707*7fd79137SRobert Mustacchi 		return (0);
708*7fd79137SRobert Mustacchi 	} else if (ret != ENOENT) {
709*7fd79137SRobert Mustacchi 		return (ret);
710*7fd79137SRobert Mustacchi 	}
711*7fd79137SRobert Mustacchi 
712*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_boolean(cup, die, DW_AT_external, &ext)) != 0) {
713*7fd79137SRobert Mustacchi 		if (ret == ENOENT) {
714*7fd79137SRobert Mustacchi 			*igp = B_FALSE;
715*7fd79137SRobert Mustacchi 			return (0);
716*7fd79137SRobert Mustacchi 		}
717*7fd79137SRobert Mustacchi 		return (ret);
718*7fd79137SRobert Mustacchi 	}
719*7fd79137SRobert Mustacchi 	*igp = ext != 0 ? B_TRUE : B_FALSE;
720*7fd79137SRobert Mustacchi 	return (0);
721*7fd79137SRobert Mustacchi }
722*7fd79137SRobert Mustacchi 
723*7fd79137SRobert Mustacchi static int
724*7fd79137SRobert Mustacchi ctf_dwarf_die_elfenc(Elf *elf, ctf_cu_t *cup, char *errbuf, size_t errlen)
725*7fd79137SRobert Mustacchi {
726*7fd79137SRobert Mustacchi 	GElf_Ehdr ehdr;
727*7fd79137SRobert Mustacchi 
728*7fd79137SRobert Mustacchi 	if (gelf_getehdr(elf, &ehdr) == NULL) {
729*7fd79137SRobert Mustacchi 		(void) snprintf(errbuf, errlen,
730*7fd79137SRobert Mustacchi 		    "failed to get ELF header: %s\n",
731*7fd79137SRobert Mustacchi 		    elf_errmsg(elf_errno()));
732*7fd79137SRobert Mustacchi 		return (ECTF_CONVBKERR);
733*7fd79137SRobert Mustacchi 	}
734*7fd79137SRobert Mustacchi 
735*7fd79137SRobert Mustacchi 	cup->cu_mach = ehdr.e_machine;
736*7fd79137SRobert Mustacchi 
737*7fd79137SRobert Mustacchi 	if (ehdr.e_ident[EI_CLASS] == ELFCLASS32) {
738*7fd79137SRobert Mustacchi 		cup->cu_ptrsz = 4;
739*7fd79137SRobert Mustacchi 		VERIFY(ctf_setmodel(cup->cu_ctfp, CTF_MODEL_ILP32) == 0);
740*7fd79137SRobert Mustacchi 	} else if (ehdr.e_ident[EI_CLASS] == ELFCLASS64) {
741*7fd79137SRobert Mustacchi 		cup->cu_ptrsz = 8;
742*7fd79137SRobert Mustacchi 		VERIFY(ctf_setmodel(cup->cu_ctfp, CTF_MODEL_LP64) == 0);
743*7fd79137SRobert Mustacchi 	} else {
744*7fd79137SRobert Mustacchi 		(void) snprintf(errbuf, errlen,
745*7fd79137SRobert Mustacchi 		    "unknown ELF class %d", ehdr.e_ident[EI_CLASS]);
746*7fd79137SRobert Mustacchi 		return (ECTF_CONVBKERR);
747*7fd79137SRobert Mustacchi 	}
748*7fd79137SRobert Mustacchi 
749*7fd79137SRobert Mustacchi 	if (ehdr.e_ident[EI_DATA] == ELFDATA2LSB) {
750*7fd79137SRobert Mustacchi 		cup->cu_bigend = B_FALSE;
751*7fd79137SRobert Mustacchi 	} else if (ehdr.e_ident[EI_DATA] == ELFDATA2MSB) {
752*7fd79137SRobert Mustacchi 		cup->cu_bigend = B_TRUE;
753*7fd79137SRobert Mustacchi 	} else {
754*7fd79137SRobert Mustacchi 		(void) snprintf(errbuf, errlen,
755*7fd79137SRobert Mustacchi 		    "unknown ELF data encoding: %hhu", ehdr.e_ident[EI_DATA]);
756*7fd79137SRobert Mustacchi 		return (ECTF_CONVBKERR);
757*7fd79137SRobert Mustacchi 	}
758*7fd79137SRobert Mustacchi 
759*7fd79137SRobert Mustacchi 	return (0);
760*7fd79137SRobert Mustacchi }
761*7fd79137SRobert Mustacchi 
762*7fd79137SRobert Mustacchi typedef struct ctf_dwarf_fpent {
763*7fd79137SRobert Mustacchi 	size_t	cdfe_size;
764*7fd79137SRobert Mustacchi 	uint_t	cdfe_enc[3];
765*7fd79137SRobert Mustacchi } ctf_dwarf_fpent_t;
766*7fd79137SRobert Mustacchi 
767*7fd79137SRobert Mustacchi typedef struct ctf_dwarf_fpmap {
768*7fd79137SRobert Mustacchi 	uint_t			cdf_mach;
769*7fd79137SRobert Mustacchi 	ctf_dwarf_fpent_t	cdf_ents[4];
770*7fd79137SRobert Mustacchi } ctf_dwarf_fpmap_t;
771*7fd79137SRobert Mustacchi 
772*7fd79137SRobert Mustacchi static const ctf_dwarf_fpmap_t ctf_dwarf_fpmaps[] = {
773*7fd79137SRobert Mustacchi 	{ EM_SPARC, {
774*7fd79137SRobert Mustacchi 		{ 4, { CTF_FP_SINGLE, CTF_FP_CPLX, CTF_FP_IMAGRY } },
775*7fd79137SRobert Mustacchi 		{ 8, { CTF_FP_DOUBLE, CTF_FP_DCPLX, CTF_FP_DIMAGRY } },
776*7fd79137SRobert Mustacchi 		{ 16, { CTF_FP_LDOUBLE, CTF_FP_LDCPLX, CTF_FP_LDIMAGRY } },
777*7fd79137SRobert Mustacchi 		{ 0, { 0 } }
778*7fd79137SRobert Mustacchi 	} },
779*7fd79137SRobert Mustacchi 	{ EM_SPARC32PLUS, {
780*7fd79137SRobert Mustacchi 		{ 4, { CTF_FP_SINGLE, CTF_FP_CPLX, CTF_FP_IMAGRY } },
781*7fd79137SRobert Mustacchi 		{ 8, { CTF_FP_DOUBLE, CTF_FP_DCPLX, CTF_FP_DIMAGRY } },
782*7fd79137SRobert Mustacchi 		{ 16, { CTF_FP_LDOUBLE, CTF_FP_LDCPLX, CTF_FP_LDIMAGRY } },
783*7fd79137SRobert Mustacchi 		{ 0, { 0 } }
784*7fd79137SRobert Mustacchi 	} },
785*7fd79137SRobert Mustacchi 	{ EM_SPARCV9, {
786*7fd79137SRobert Mustacchi 		{ 4, { CTF_FP_SINGLE, CTF_FP_CPLX, CTF_FP_IMAGRY } },
787*7fd79137SRobert Mustacchi 		{ 8, { CTF_FP_DOUBLE, CTF_FP_DCPLX, CTF_FP_DIMAGRY } },
788*7fd79137SRobert Mustacchi 		{ 16, { CTF_FP_LDOUBLE, CTF_FP_LDCPLX, CTF_FP_LDIMAGRY } },
789*7fd79137SRobert Mustacchi 		{ 0, { 0 } }
790*7fd79137SRobert Mustacchi 	} },
791*7fd79137SRobert Mustacchi 	{ EM_386, {
792*7fd79137SRobert Mustacchi 		{ 4, { CTF_FP_SINGLE, CTF_FP_CPLX, CTF_FP_IMAGRY } },
793*7fd79137SRobert Mustacchi 		{ 8, { CTF_FP_DOUBLE, CTF_FP_DCPLX, CTF_FP_DIMAGRY } },
794*7fd79137SRobert Mustacchi 		{ 12, { CTF_FP_LDOUBLE, CTF_FP_LDCPLX, CTF_FP_LDIMAGRY } },
795*7fd79137SRobert Mustacchi 		{ 0, { 0 } }
796*7fd79137SRobert Mustacchi 	} },
797*7fd79137SRobert Mustacchi 	{ EM_X86_64, {
798*7fd79137SRobert Mustacchi 		{ 4, { CTF_FP_SINGLE, CTF_FP_CPLX, CTF_FP_IMAGRY } },
799*7fd79137SRobert Mustacchi 		{ 8, { CTF_FP_DOUBLE, CTF_FP_DCPLX, CTF_FP_DIMAGRY } },
800*7fd79137SRobert Mustacchi 		{ 16, { CTF_FP_LDOUBLE, CTF_FP_LDCPLX, CTF_FP_LDIMAGRY } },
801*7fd79137SRobert Mustacchi 		{ 0, { 0 } }
802*7fd79137SRobert Mustacchi 	} },
803*7fd79137SRobert Mustacchi 	{ EM_NONE }
804*7fd79137SRobert Mustacchi };
805*7fd79137SRobert Mustacchi 
806*7fd79137SRobert Mustacchi static int
807*7fd79137SRobert Mustacchi ctf_dwarf_float_base(ctf_cu_t *cup, Dwarf_Signed type, ctf_encoding_t *enc)
808*7fd79137SRobert Mustacchi {
809*7fd79137SRobert Mustacchi 	const ctf_dwarf_fpmap_t *map = &ctf_dwarf_fpmaps[0];
810*7fd79137SRobert Mustacchi 	const ctf_dwarf_fpent_t *ent;
811*7fd79137SRobert Mustacchi 	uint_t col = 0, mult = 1;
812*7fd79137SRobert Mustacchi 
813*7fd79137SRobert Mustacchi 	for (map = &ctf_dwarf_fpmaps[0]; map->cdf_mach != EM_NONE; map++) {
814*7fd79137SRobert Mustacchi 		if (map->cdf_mach == cup->cu_mach)
815*7fd79137SRobert Mustacchi 			break;
816*7fd79137SRobert Mustacchi 	}
817*7fd79137SRobert Mustacchi 
818*7fd79137SRobert Mustacchi 	if (map->cdf_mach == EM_NONE) {
819*7fd79137SRobert Mustacchi 		(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
820*7fd79137SRobert Mustacchi 		    "Unsupported machine type: %d\n", cup->cu_mach);
821*7fd79137SRobert Mustacchi 		return (ENOTSUP);
822*7fd79137SRobert Mustacchi 	}
823*7fd79137SRobert Mustacchi 
824*7fd79137SRobert Mustacchi 	if (type == DW_ATE_complex_float) {
825*7fd79137SRobert Mustacchi 		mult = 2;
826*7fd79137SRobert Mustacchi 		col = 1;
827*7fd79137SRobert Mustacchi 	} else if (type == DW_ATE_imaginary_float ||
828*7fd79137SRobert Mustacchi 	    type == DW_ATE_SUN_imaginary_float) {
829*7fd79137SRobert Mustacchi 		col = 2;
830*7fd79137SRobert Mustacchi 	}
831*7fd79137SRobert Mustacchi 
832*7fd79137SRobert Mustacchi 	ent = &map->cdf_ents[0];
833*7fd79137SRobert Mustacchi 	for (ent = &map->cdf_ents[0]; ent->cdfe_size != 0; ent++) {
834*7fd79137SRobert Mustacchi 		if (ent->cdfe_size * mult * 8 == enc->cte_bits) {
835*7fd79137SRobert Mustacchi 			enc->cte_format = ent->cdfe_enc[col];
836*7fd79137SRobert Mustacchi 			return (0);
837*7fd79137SRobert Mustacchi 		}
838*7fd79137SRobert Mustacchi 	}
839*7fd79137SRobert Mustacchi 
840*7fd79137SRobert Mustacchi 	(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
841*7fd79137SRobert Mustacchi 	    "failed to find valid fp mapping for encoding %d, size %d bits\n",
842*7fd79137SRobert Mustacchi 	    type, enc->cte_bits);
843*7fd79137SRobert Mustacchi 	return (EINVAL);
844*7fd79137SRobert Mustacchi }
845*7fd79137SRobert Mustacchi 
846*7fd79137SRobert Mustacchi static int
847*7fd79137SRobert Mustacchi ctf_dwarf_dwarf_base(ctf_cu_t *cup, Dwarf_Die die, int *kindp,
848*7fd79137SRobert Mustacchi     ctf_encoding_t *enc)
849*7fd79137SRobert Mustacchi {
850*7fd79137SRobert Mustacchi 	int ret;
851*7fd79137SRobert Mustacchi 	Dwarf_Signed type;
852*7fd79137SRobert Mustacchi 
853*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_signed(cup, die, DW_AT_encoding, &type)) != 0)
854*7fd79137SRobert Mustacchi 		return (ret);
855*7fd79137SRobert Mustacchi 
856*7fd79137SRobert Mustacchi 	switch (type) {
857*7fd79137SRobert Mustacchi 	case DW_ATE_unsigned:
858*7fd79137SRobert Mustacchi 	case DW_ATE_address:
859*7fd79137SRobert Mustacchi 		*kindp = CTF_K_INTEGER;
860*7fd79137SRobert Mustacchi 		enc->cte_format = 0;
861*7fd79137SRobert Mustacchi 		break;
862*7fd79137SRobert Mustacchi 	case DW_ATE_unsigned_char:
863*7fd79137SRobert Mustacchi 		*kindp = CTF_K_INTEGER;
864*7fd79137SRobert Mustacchi 		enc->cte_format = CTF_INT_CHAR;
865*7fd79137SRobert Mustacchi 		break;
866*7fd79137SRobert Mustacchi 	case DW_ATE_signed:
867*7fd79137SRobert Mustacchi 		*kindp = CTF_K_INTEGER;
868*7fd79137SRobert Mustacchi 		enc->cte_format = CTF_INT_SIGNED;
869*7fd79137SRobert Mustacchi 		break;
870*7fd79137SRobert Mustacchi 	case DW_ATE_signed_char:
871*7fd79137SRobert Mustacchi 		*kindp = CTF_K_INTEGER;
872*7fd79137SRobert Mustacchi 		enc->cte_format = CTF_INT_SIGNED | CTF_INT_CHAR;
873*7fd79137SRobert Mustacchi 		break;
874*7fd79137SRobert Mustacchi 	case DW_ATE_boolean:
875*7fd79137SRobert Mustacchi 		*kindp = CTF_K_INTEGER;
876*7fd79137SRobert Mustacchi 		enc->cte_format = CTF_INT_SIGNED | CTF_INT_BOOL;
877*7fd79137SRobert Mustacchi 		break;
878*7fd79137SRobert Mustacchi 	case DW_ATE_float:
879*7fd79137SRobert Mustacchi 	case DW_ATE_complex_float:
880*7fd79137SRobert Mustacchi 	case DW_ATE_imaginary_float:
881*7fd79137SRobert Mustacchi 	case DW_ATE_SUN_imaginary_float:
882*7fd79137SRobert Mustacchi 	case DW_ATE_SUN_interval_float:
883*7fd79137SRobert Mustacchi 		*kindp = CTF_K_FLOAT;
884*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_float_base(cup, type, enc)) != 0)
885*7fd79137SRobert Mustacchi 			return (ret);
886*7fd79137SRobert Mustacchi 		break;
887*7fd79137SRobert Mustacchi 	default:
888*7fd79137SRobert Mustacchi 		(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
889*7fd79137SRobert Mustacchi 		    "encountered unkown DWARF encoding: %d", type);
890*7fd79137SRobert Mustacchi 		return (ECTF_CONVBKERR);
891*7fd79137SRobert Mustacchi 	}
892*7fd79137SRobert Mustacchi 
893*7fd79137SRobert Mustacchi 	return (0);
894*7fd79137SRobert Mustacchi }
895*7fd79137SRobert Mustacchi 
896*7fd79137SRobert Mustacchi /*
897*7fd79137SRobert Mustacchi  * Different compilers (at least GCC and Studio) use different names for types.
898*7fd79137SRobert Mustacchi  * This parses the types and attempts to unify them. If this fails, we just fall
899*7fd79137SRobert Mustacchi  * back to using the DWARF itself.
900*7fd79137SRobert Mustacchi  */
901*7fd79137SRobert Mustacchi static int
902*7fd79137SRobert Mustacchi ctf_dwarf_parse_base(const char *name, int *kindp, ctf_encoding_t *enc,
903*7fd79137SRobert Mustacchi     char **newnamep)
904*7fd79137SRobert Mustacchi {
905*7fd79137SRobert Mustacchi 	char buf[256];
906*7fd79137SRobert Mustacchi 	char *base, *c, *last;
907*7fd79137SRobert Mustacchi 	int nlong = 0, nshort = 0, nchar = 0, nint = 0;
908*7fd79137SRobert Mustacchi 	int sign = 1;
909*7fd79137SRobert Mustacchi 
910*7fd79137SRobert Mustacchi 	if (strlen(name) + 1 > sizeof (buf))
911*7fd79137SRobert Mustacchi 		return (EINVAL);
912*7fd79137SRobert Mustacchi 
913*7fd79137SRobert Mustacchi 	(void) strlcpy(buf, name, sizeof (buf));
914*7fd79137SRobert Mustacchi 	for (c = strtok_r(buf, " ", &last); c != NULL;
915*7fd79137SRobert Mustacchi 	    c = strtok_r(NULL, " ", &last)) {
916*7fd79137SRobert Mustacchi 		if (strcmp(c, "signed") == 0) {
917*7fd79137SRobert Mustacchi 			sign = 1;
918*7fd79137SRobert Mustacchi 		} else if (strcmp(c, "unsigned") == 0) {
919*7fd79137SRobert Mustacchi 			sign = 0;
920*7fd79137SRobert Mustacchi 		} else if (strcmp(c, "long") == 0) {
921*7fd79137SRobert Mustacchi 			nlong++;
922*7fd79137SRobert Mustacchi 		} else if (strcmp(c, "char") == 0) {
923*7fd79137SRobert Mustacchi 			nchar++;
924*7fd79137SRobert Mustacchi 		} else if (strcmp(c, "short") == 0) {
925*7fd79137SRobert Mustacchi 			nshort++;
926*7fd79137SRobert Mustacchi 		} else if (strcmp(c, "int") == 0) {
927*7fd79137SRobert Mustacchi 			nint++;
928*7fd79137SRobert Mustacchi 		} else {
929*7fd79137SRobert Mustacchi 			/*
930*7fd79137SRobert Mustacchi 			 * If we don't recognize any of the tokens, we'll tell
931*7fd79137SRobert Mustacchi 			 * the caller to fall back to the dwarf-provided
932*7fd79137SRobert Mustacchi 			 * encoding information.
933*7fd79137SRobert Mustacchi 			 */
934*7fd79137SRobert Mustacchi 			return (EINVAL);
935*7fd79137SRobert Mustacchi 		}
936*7fd79137SRobert Mustacchi 	}
937*7fd79137SRobert Mustacchi 
938*7fd79137SRobert Mustacchi 	if (nchar > 1 || nshort > 1 || nint > 1 || nlong > 2)
939*7fd79137SRobert Mustacchi 		return (EINVAL);
940*7fd79137SRobert Mustacchi 
941*7fd79137SRobert Mustacchi 	if (nchar > 0) {
942*7fd79137SRobert Mustacchi 		if (nlong > 0 || nshort > 0 || nint > 0)
943*7fd79137SRobert Mustacchi 			return (EINVAL);
944*7fd79137SRobert Mustacchi 		base = "char";
945*7fd79137SRobert Mustacchi 	} else if (nshort > 0) {
946*7fd79137SRobert Mustacchi 		if (nlong > 0)
947*7fd79137SRobert Mustacchi 			return (EINVAL);
948*7fd79137SRobert Mustacchi 		base = "short";
949*7fd79137SRobert Mustacchi 	} else if (nlong > 0) {
950*7fd79137SRobert Mustacchi 		base = "long";
951*7fd79137SRobert Mustacchi 	} else {
952*7fd79137SRobert Mustacchi 		base = "int";
953*7fd79137SRobert Mustacchi 	}
954*7fd79137SRobert Mustacchi 
955*7fd79137SRobert Mustacchi 	if (nchar > 0)
956*7fd79137SRobert Mustacchi 		enc->cte_format = CTF_INT_CHAR;
957*7fd79137SRobert Mustacchi 	else
958*7fd79137SRobert Mustacchi 		enc->cte_format = 0;
959*7fd79137SRobert Mustacchi 
960*7fd79137SRobert Mustacchi 	if (sign > 0)
961*7fd79137SRobert Mustacchi 		enc->cte_format |= CTF_INT_SIGNED;
962*7fd79137SRobert Mustacchi 
963*7fd79137SRobert Mustacchi 	(void) snprintf(buf, sizeof (buf), "%s%s%s",
964*7fd79137SRobert Mustacchi 	    (sign ? "" : "unsigned "),
965*7fd79137SRobert Mustacchi 	    (nlong > 1 ? "long " : ""),
966*7fd79137SRobert Mustacchi 	    base);
967*7fd79137SRobert Mustacchi 
968*7fd79137SRobert Mustacchi 	*newnamep = ctf_strdup(buf);
969*7fd79137SRobert Mustacchi 	if (*newnamep == NULL)
970*7fd79137SRobert Mustacchi 		return (ENOMEM);
971*7fd79137SRobert Mustacchi 	*kindp = CTF_K_INTEGER;
972*7fd79137SRobert Mustacchi 	return (0);
973*7fd79137SRobert Mustacchi }
974*7fd79137SRobert Mustacchi 
975*7fd79137SRobert Mustacchi static int
976*7fd79137SRobert Mustacchi ctf_dwarf_create_base(ctf_cu_t *cup, Dwarf_Die die, ctf_id_t *idp, int isroot,
977*7fd79137SRobert Mustacchi     Dwarf_Off off)
978*7fd79137SRobert Mustacchi {
979*7fd79137SRobert Mustacchi 	int ret;
980*7fd79137SRobert Mustacchi 	char *name, *nname;
981*7fd79137SRobert Mustacchi 	Dwarf_Unsigned sz;
982*7fd79137SRobert Mustacchi 	int kind;
983*7fd79137SRobert Mustacchi 	ctf_encoding_t enc;
984*7fd79137SRobert Mustacchi 	ctf_id_t id;
985*7fd79137SRobert Mustacchi 
986*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_string(cup, die, DW_AT_name, &name)) != 0)
987*7fd79137SRobert Mustacchi 		return (ret);
988*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_unsigned(cup, die, DW_AT_byte_size, &sz)) != 0) {
989*7fd79137SRobert Mustacchi 		goto out;
990*7fd79137SRobert Mustacchi 	}
991*7fd79137SRobert Mustacchi 	ctf_dprintf("Creating base type %s from off %llu, size: %d\n", name,
992*7fd79137SRobert Mustacchi 	    off, sz);
993*7fd79137SRobert Mustacchi 
994*7fd79137SRobert Mustacchi 	bzero(&enc, sizeof (ctf_encoding_t));
995*7fd79137SRobert Mustacchi 	enc.cte_bits = sz * 8;
996*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_parse_base(name, &kind, &enc, &nname)) == 0) {
997*7fd79137SRobert Mustacchi 		ctf_free(name, strlen(name) + 1);
998*7fd79137SRobert Mustacchi 		name = nname;
999*7fd79137SRobert Mustacchi 	} else {
1000*7fd79137SRobert Mustacchi 		if (ret != EINVAL)
1001*7fd79137SRobert Mustacchi 			return (ret);
1002*7fd79137SRobert Mustacchi 		ctf_dprintf("falling back to dwarf for base type %s\n", name);
1003*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_dwarf_base(cup, die, &kind, &enc)) != 0)
1004*7fd79137SRobert Mustacchi 			return (ret);
1005*7fd79137SRobert Mustacchi 	}
1006*7fd79137SRobert Mustacchi 
1007*7fd79137SRobert Mustacchi 	id = ctf_add_encoded(cup->cu_ctfp, isroot, name, &enc, kind);
1008*7fd79137SRobert Mustacchi 	if (id == CTF_ERR) {
1009*7fd79137SRobert Mustacchi 		ret = ctf_errno(cup->cu_ctfp);
1010*7fd79137SRobert Mustacchi 	} else {
1011*7fd79137SRobert Mustacchi 		*idp = id;
1012*7fd79137SRobert Mustacchi 		ret = ctf_dwmap_add(cup, id, die, B_FALSE);
1013*7fd79137SRobert Mustacchi 	}
1014*7fd79137SRobert Mustacchi out:
1015*7fd79137SRobert Mustacchi 	ctf_free(name, strlen(name) + 1);
1016*7fd79137SRobert Mustacchi 	return (ret);
1017*7fd79137SRobert Mustacchi }
1018*7fd79137SRobert Mustacchi 
1019*7fd79137SRobert Mustacchi /*
1020*7fd79137SRobert Mustacchi  * Getting a member's offset is a surprisingly intricate dance. It works as
1021*7fd79137SRobert Mustacchi  * follows:
1022*7fd79137SRobert Mustacchi  *
1023*7fd79137SRobert Mustacchi  * 1) If we're in DWARFv4, then we either have a DW_AT_data_bit_offset or we
1024*7fd79137SRobert Mustacchi  * have a DW_AT_data_member_location. We won't have both. Thus we check first
1025*7fd79137SRobert Mustacchi  * for DW_AT_data_bit_offset, and if it exists, we're set.
1026*7fd79137SRobert Mustacchi  *
1027*7fd79137SRobert Mustacchi  * Next, if we have a bitfield and we don't have a DW_AT_data_bit_offset, then
1028*7fd79137SRobert Mustacchi  * we have to grab the data location and use the following dance:
1029*7fd79137SRobert Mustacchi  *
1030*7fd79137SRobert Mustacchi  * 2) Gather the set of DW_AT_byte_size, DW_AT_bit_offset, and DW_AT_bit_size.
1031*7fd79137SRobert Mustacchi  * Of course, the DW_AT_byte_size may be omitted, even though it isn't always.
1032*7fd79137SRobert Mustacchi  * When it's been omitted, we then have to say that the size is that of the
1033*7fd79137SRobert Mustacchi  * underlying type, which forces that to be after a ctf_update(). Here, we have
1034*7fd79137SRobert Mustacchi  * to do different things based on whether or not we're using big endian or
1035*7fd79137SRobert Mustacchi  * little endian to obtain the proper offset.
1036*7fd79137SRobert Mustacchi  */
1037*7fd79137SRobert Mustacchi static int
1038*7fd79137SRobert Mustacchi ctf_dwarf_member_offset(ctf_cu_t *cup, Dwarf_Die die, ctf_id_t mid,
1039*7fd79137SRobert Mustacchi     ulong_t *offp)
1040*7fd79137SRobert Mustacchi {
1041*7fd79137SRobert Mustacchi 	int ret;
1042*7fd79137SRobert Mustacchi 	Dwarf_Unsigned loc, bitsz, bytesz;
1043*7fd79137SRobert Mustacchi 	Dwarf_Signed bitoff;
1044*7fd79137SRobert Mustacchi 	size_t off;
1045*7fd79137SRobert Mustacchi 	ssize_t tsz;
1046*7fd79137SRobert Mustacchi 
1047*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_unsigned(cup, die, DW_AT_data_bit_offset,
1048*7fd79137SRobert Mustacchi 	    &loc)) == 0) {
1049*7fd79137SRobert Mustacchi 		*offp = loc;
1050*7fd79137SRobert Mustacchi 		return (0);
1051*7fd79137SRobert Mustacchi 	} else if (ret != ENOENT) {
1052*7fd79137SRobert Mustacchi 		return (ret);
1053*7fd79137SRobert Mustacchi 	}
1054*7fd79137SRobert Mustacchi 
1055*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_member_location(cup, die, &loc)) != 0)
1056*7fd79137SRobert Mustacchi 		return (ret);
1057*7fd79137SRobert Mustacchi 	off = loc * 8;
1058*7fd79137SRobert Mustacchi 
1059*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_signed(cup, die, DW_AT_bit_offset,
1060*7fd79137SRobert Mustacchi 	    &bitoff)) != 0) {
1061*7fd79137SRobert Mustacchi 		if (ret != ENOENT)
1062*7fd79137SRobert Mustacchi 			return (ret);
1063*7fd79137SRobert Mustacchi 		*offp = off;
1064*7fd79137SRobert Mustacchi 		return (0);
1065*7fd79137SRobert Mustacchi 	}
1066*7fd79137SRobert Mustacchi 
1067*7fd79137SRobert Mustacchi 	/* At this point we have to have DW_AT_bit_size */
1068*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_unsigned(cup, die, DW_AT_bit_size, &bitsz)) != 0)
1069*7fd79137SRobert Mustacchi 		return (ret);
1070*7fd79137SRobert Mustacchi 
1071*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_unsigned(cup, die, DW_AT_byte_size,
1072*7fd79137SRobert Mustacchi 	    &bytesz)) != 0) {
1073*7fd79137SRobert Mustacchi 		if (ret != ENOENT)
1074*7fd79137SRobert Mustacchi 			return (ret);
1075*7fd79137SRobert Mustacchi 		if ((tsz = ctf_type_size(cup->cu_ctfp, mid)) == CTF_ERR) {
1076*7fd79137SRobert Mustacchi 			int e = ctf_errno(cup->cu_ctfp);
1077*7fd79137SRobert Mustacchi 			(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
1078*7fd79137SRobert Mustacchi 			    "failed to get type size: %s", ctf_errmsg(e));
1079*7fd79137SRobert Mustacchi 			return (ECTF_CONVBKERR);
1080*7fd79137SRobert Mustacchi 		}
1081*7fd79137SRobert Mustacchi 	} else {
1082*7fd79137SRobert Mustacchi 		tsz = bytesz;
1083*7fd79137SRobert Mustacchi 	}
1084*7fd79137SRobert Mustacchi 	tsz *= 8;
1085*7fd79137SRobert Mustacchi 	if (cup->cu_bigend == B_TRUE) {
1086*7fd79137SRobert Mustacchi 		*offp = off + bitoff;
1087*7fd79137SRobert Mustacchi 	} else {
1088*7fd79137SRobert Mustacchi 		*offp = off + tsz - bitoff - bitsz;
1089*7fd79137SRobert Mustacchi 	}
1090*7fd79137SRobert Mustacchi 
1091*7fd79137SRobert Mustacchi 	return (0);
1092*7fd79137SRobert Mustacchi }
1093*7fd79137SRobert Mustacchi 
1094*7fd79137SRobert Mustacchi /*
1095*7fd79137SRobert Mustacchi  * We need to determine if the member in question is a bitfield. If it is, then
1096*7fd79137SRobert Mustacchi  * we need to go through and create a new type that's based on the actual base
1097*7fd79137SRobert Mustacchi  * type, but has a different size. We also rename the type as a result to help
1098*7fd79137SRobert Mustacchi  * deal with future collisions.
1099*7fd79137SRobert Mustacchi  *
1100*7fd79137SRobert Mustacchi  * Here we need to look and see if we have a DW_AT_bit_size value. If we have a
1101*7fd79137SRobert Mustacchi  * bit size member and it does not equal the byte size member, then we need to
1102*7fd79137SRobert Mustacchi  * create a bitfield type based on this.
1103*7fd79137SRobert Mustacchi  *
1104*7fd79137SRobert Mustacchi  * Note: When we support DWARFv4, there may be a chance that we need to also
1105*7fd79137SRobert Mustacchi  * search for the DW_AT_byte_size if we don't have a DW_AT_bit_size member.
1106*7fd79137SRobert Mustacchi  */
1107*7fd79137SRobert Mustacchi static int
1108*7fd79137SRobert Mustacchi ctf_dwarf_member_bitfield(ctf_cu_t *cup, Dwarf_Die die, ctf_id_t *idp)
1109*7fd79137SRobert Mustacchi {
1110*7fd79137SRobert Mustacchi 	int ret;
1111*7fd79137SRobert Mustacchi 	Dwarf_Unsigned bitsz;
1112*7fd79137SRobert Mustacchi 	ctf_encoding_t e;
1113*7fd79137SRobert Mustacchi 	ctf_dwbitf_t *cdb;
1114*7fd79137SRobert Mustacchi 	ctf_dtdef_t *dtd;
1115*7fd79137SRobert Mustacchi 	ctf_id_t base = *idp;
1116*7fd79137SRobert Mustacchi 	int kind;
1117*7fd79137SRobert Mustacchi 
1118*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_unsigned(cup, die, DW_AT_bit_size, &bitsz)) != 0) {
1119*7fd79137SRobert Mustacchi 		if (ret == ENOENT)
1120*7fd79137SRobert Mustacchi 			return (0);
1121*7fd79137SRobert Mustacchi 		return (ret);
1122*7fd79137SRobert Mustacchi 	}
1123*7fd79137SRobert Mustacchi 
1124*7fd79137SRobert Mustacchi 	ctf_dprintf("Trying to deal with bitfields on %d:%d\n", base, bitsz);
1125*7fd79137SRobert Mustacchi 	/*
1126*7fd79137SRobert Mustacchi 	 * Given that we now have a bitsize, time to go do something about it.
1127*7fd79137SRobert Mustacchi 	 * We're going to create a new type based on the current one, but first
1128*7fd79137SRobert Mustacchi 	 * we need to find the base type. This means we need to traverse any
1129*7fd79137SRobert Mustacchi 	 * typedef's, consts, and volatiles until we get to what should be
1130*7fd79137SRobert Mustacchi 	 * something of type integer or enumeration.
1131*7fd79137SRobert Mustacchi 	 */
1132*7fd79137SRobert Mustacchi 	VERIFY(bitsz < UINT32_MAX);
1133*7fd79137SRobert Mustacchi 	dtd = ctf_dtd_lookup(cup->cu_ctfp, base);
1134*7fd79137SRobert Mustacchi 	VERIFY(dtd != NULL);
1135*7fd79137SRobert Mustacchi 	kind = CTF_INFO_KIND(dtd->dtd_data.ctt_info);
1136*7fd79137SRobert Mustacchi 	while (kind == CTF_K_TYPEDEF || kind == CTF_K_CONST ||
1137*7fd79137SRobert Mustacchi 	    kind == CTF_K_VOLATILE) {
1138*7fd79137SRobert Mustacchi 		dtd = ctf_dtd_lookup(cup->cu_ctfp, dtd->dtd_data.ctt_type);
1139*7fd79137SRobert Mustacchi 		VERIFY(dtd != NULL);
1140*7fd79137SRobert Mustacchi 		kind = CTF_INFO_KIND(dtd->dtd_data.ctt_info);
1141*7fd79137SRobert Mustacchi 	}
1142*7fd79137SRobert Mustacchi 	ctf_dprintf("got kind %d\n", kind);
1143*7fd79137SRobert Mustacchi 	VERIFY(kind == CTF_K_INTEGER || kind == CTF_K_ENUM);
1144*7fd79137SRobert Mustacchi 
1145*7fd79137SRobert Mustacchi 	/*
1146*7fd79137SRobert Mustacchi 	 * As surprising as it may be, it is strictly possible to create a
1147*7fd79137SRobert Mustacchi 	 * bitfield that is based on an enum. Of course, the C standard leaves
1148*7fd79137SRobert Mustacchi 	 * enums sizing as an ABI concern more or less. To that effect, today on
1149*7fd79137SRobert Mustacchi 	 * all illumos platforms the size of an enum is generally that of an
1150*7fd79137SRobert Mustacchi 	 * int as our supported data models and ABIs all agree on that. So what
1151*7fd79137SRobert Mustacchi 	 * we'll do is fake up a CTF encoding here to use. In this case, we'll
1152*7fd79137SRobert Mustacchi 	 * treat it as an unsigned value of whatever size the underlying enum
1153*7fd79137SRobert Mustacchi 	 * currently has (which is in the ctt_size member of its dynamic type
1154*7fd79137SRobert Mustacchi 	 * data).
1155*7fd79137SRobert Mustacchi 	 */
1156*7fd79137SRobert Mustacchi 	if (kind == CTF_K_INTEGER) {
1157*7fd79137SRobert Mustacchi 		e = dtd->dtd_u.dtu_enc;
1158*7fd79137SRobert Mustacchi 	} else {
1159*7fd79137SRobert Mustacchi 		bzero(&e, sizeof (ctf_encoding_t));
1160*7fd79137SRobert Mustacchi 		e.cte_bits = dtd->dtd_data.ctt_size * NBBY;
1161*7fd79137SRobert Mustacchi 	}
1162*7fd79137SRobert Mustacchi 
1163*7fd79137SRobert Mustacchi 	for (cdb = ctf_list_next(&cup->cu_bitfields); cdb != NULL;
1164*7fd79137SRobert Mustacchi 	    cdb = ctf_list_next(cdb)) {
1165*7fd79137SRobert Mustacchi 		if (cdb->cdb_base == base && cdb->cdb_nbits == bitsz)
1166*7fd79137SRobert Mustacchi 			break;
1167*7fd79137SRobert Mustacchi 	}
1168*7fd79137SRobert Mustacchi 
1169*7fd79137SRobert Mustacchi 	/*
1170*7fd79137SRobert Mustacchi 	 * Create a new type if none exists. We name all types in a way that is
1171*7fd79137SRobert Mustacchi 	 * guaranteed not to conflict with the corresponding C type. We do this
1172*7fd79137SRobert Mustacchi 	 * by using the ':' operator.
1173*7fd79137SRobert Mustacchi 	 */
1174*7fd79137SRobert Mustacchi 	if (cdb == NULL) {
1175*7fd79137SRobert Mustacchi 		size_t namesz;
1176*7fd79137SRobert Mustacchi 		char *name;
1177*7fd79137SRobert Mustacchi 
1178*7fd79137SRobert Mustacchi 		e.cte_bits = bitsz;
1179*7fd79137SRobert Mustacchi 		namesz = snprintf(NULL, 0, "%s:%d", dtd->dtd_name,
1180*7fd79137SRobert Mustacchi 		    (uint32_t)bitsz);
1181*7fd79137SRobert Mustacchi 		name = ctf_alloc(namesz + 1);
1182*7fd79137SRobert Mustacchi 		if (name == NULL)
1183*7fd79137SRobert Mustacchi 			return (ENOMEM);
1184*7fd79137SRobert Mustacchi 		cdb = ctf_alloc(sizeof (ctf_dwbitf_t));
1185*7fd79137SRobert Mustacchi 		if (cdb == NULL) {
1186*7fd79137SRobert Mustacchi 			ctf_free(name, namesz + 1);
1187*7fd79137SRobert Mustacchi 			return (ENOMEM);
1188*7fd79137SRobert Mustacchi 		}
1189*7fd79137SRobert Mustacchi 		(void) snprintf(name, namesz + 1, "%s:%d", dtd->dtd_name,
1190*7fd79137SRobert Mustacchi 		    (uint32_t)bitsz);
1191*7fd79137SRobert Mustacchi 
1192*7fd79137SRobert Mustacchi 		cdb->cdb_base = base;
1193*7fd79137SRobert Mustacchi 		cdb->cdb_nbits = bitsz;
1194*7fd79137SRobert Mustacchi 		cdb->cdb_id = ctf_add_integer(cup->cu_ctfp, CTF_ADD_NONROOT,
1195*7fd79137SRobert Mustacchi 		    name, &e);
1196*7fd79137SRobert Mustacchi 		if (cdb->cdb_id == CTF_ERR) {
1197*7fd79137SRobert Mustacchi 			(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
1198*7fd79137SRobert Mustacchi 			    "failed to get add bitfield type %s: %s", name,
1199*7fd79137SRobert Mustacchi 			    ctf_errmsg(ctf_errno(cup->cu_ctfp)));
1200*7fd79137SRobert Mustacchi 			ctf_free(name, namesz + 1);
1201*7fd79137SRobert Mustacchi 			ctf_free(cdb, sizeof (ctf_dwbitf_t));
1202*7fd79137SRobert Mustacchi 			return (ECTF_CONVBKERR);
1203*7fd79137SRobert Mustacchi 		}
1204*7fd79137SRobert Mustacchi 		ctf_free(name, namesz + 1);
1205*7fd79137SRobert Mustacchi 		ctf_list_append(&cup->cu_bitfields, cdb);
1206*7fd79137SRobert Mustacchi 	}
1207*7fd79137SRobert Mustacchi 
1208*7fd79137SRobert Mustacchi 	*idp = cdb->cdb_id;
1209*7fd79137SRobert Mustacchi 
1210*7fd79137SRobert Mustacchi 	return (0);
1211*7fd79137SRobert Mustacchi }
1212*7fd79137SRobert Mustacchi 
1213*7fd79137SRobert Mustacchi static int
1214*7fd79137SRobert Mustacchi ctf_dwarf_fixup_sou(ctf_cu_t *cup, Dwarf_Die die, ctf_id_t base, boolean_t add)
1215*7fd79137SRobert Mustacchi {
1216*7fd79137SRobert Mustacchi 	int ret, kind;
1217*7fd79137SRobert Mustacchi 	Dwarf_Die child, memb;
1218*7fd79137SRobert Mustacchi 	Dwarf_Unsigned size;
1219*7fd79137SRobert Mustacchi 	ulong_t nsz;
1220*7fd79137SRobert Mustacchi 
1221*7fd79137SRobert Mustacchi 	kind = ctf_type_kind(cup->cu_ctfp, base);
1222*7fd79137SRobert Mustacchi 	VERIFY(kind != CTF_ERR);
1223*7fd79137SRobert Mustacchi 	VERIFY(kind == CTF_K_STRUCT || kind == CTF_K_UNION);
1224*7fd79137SRobert Mustacchi 
1225*7fd79137SRobert Mustacchi 	/*
1226*7fd79137SRobert Mustacchi 	 * Members are in children. However, gcc also allows empty ones.
1227*7fd79137SRobert Mustacchi 	 */
1228*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_child(cup, die, &child)) != 0)
1229*7fd79137SRobert Mustacchi 		return (ret);
1230*7fd79137SRobert Mustacchi 	if (child == NULL)
1231*7fd79137SRobert Mustacchi 		return (0);
1232*7fd79137SRobert Mustacchi 
1233*7fd79137SRobert Mustacchi 	memb = child;
1234*7fd79137SRobert Mustacchi 	while (memb != NULL) {
1235*7fd79137SRobert Mustacchi 		Dwarf_Die sib, tdie;
1236*7fd79137SRobert Mustacchi 		Dwarf_Half tag;
1237*7fd79137SRobert Mustacchi 		ctf_id_t mid;
1238*7fd79137SRobert Mustacchi 		char *mname;
1239*7fd79137SRobert Mustacchi 		ulong_t memboff = 0;
1240*7fd79137SRobert Mustacchi 
1241*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_tag(cup, memb, &tag)) != 0)
1242*7fd79137SRobert Mustacchi 			return (ret);
1243*7fd79137SRobert Mustacchi 
1244*7fd79137SRobert Mustacchi 		if (tag != DW_TAG_member)
1245*7fd79137SRobert Mustacchi 			continue;
1246*7fd79137SRobert Mustacchi 
1247*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_refdie(cup, memb, DW_AT_type, &tdie)) != 0)
1248*7fd79137SRobert Mustacchi 			return (ret);
1249*7fd79137SRobert Mustacchi 
1250*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_convert_type(cup, tdie, &mid,
1251*7fd79137SRobert Mustacchi 		    CTF_ADD_NONROOT)) != 0)
1252*7fd79137SRobert Mustacchi 			return (ret);
1253*7fd79137SRobert Mustacchi 		ctf_dprintf("Got back type id: %d\n", mid);
1254*7fd79137SRobert Mustacchi 
1255*7fd79137SRobert Mustacchi 		/*
1256*7fd79137SRobert Mustacchi 		 * If we're not adding a member, just go ahead and return.
1257*7fd79137SRobert Mustacchi 		 */
1258*7fd79137SRobert Mustacchi 		if (add == B_FALSE) {
1259*7fd79137SRobert Mustacchi 			if ((ret = ctf_dwarf_member_bitfield(cup, memb,
1260*7fd79137SRobert Mustacchi 			    &mid)) != 0)
1261*7fd79137SRobert Mustacchi 				return (ret);
1262*7fd79137SRobert Mustacchi 			goto next;
1263*7fd79137SRobert Mustacchi 		}
1264*7fd79137SRobert Mustacchi 
1265*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_string(cup, memb, DW_AT_name,
1266*7fd79137SRobert Mustacchi 		    &mname)) != 0 && ret != ENOENT)
1267*7fd79137SRobert Mustacchi 			return (ret);
1268*7fd79137SRobert Mustacchi 		if (ret == ENOENT)
1269*7fd79137SRobert Mustacchi 			mname = NULL;
1270*7fd79137SRobert Mustacchi 
1271*7fd79137SRobert Mustacchi 		if (kind == CTF_K_UNION) {
1272*7fd79137SRobert Mustacchi 			memboff = 0;
1273*7fd79137SRobert Mustacchi 		} else if ((ret = ctf_dwarf_member_offset(cup, memb, mid,
1274*7fd79137SRobert Mustacchi 		    &memboff)) != 0) {
1275*7fd79137SRobert Mustacchi 			if (mname != NULL)
1276*7fd79137SRobert Mustacchi 				ctf_free(mname, strlen(mname) + 1);
1277*7fd79137SRobert Mustacchi 			return (ret);
1278*7fd79137SRobert Mustacchi 		}
1279*7fd79137SRobert Mustacchi 
1280*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_member_bitfield(cup, memb, &mid)) != 0)
1281*7fd79137SRobert Mustacchi 			return (ret);
1282*7fd79137SRobert Mustacchi 
1283*7fd79137SRobert Mustacchi 		ret = ctf_add_member(cup->cu_ctfp, base, mname, mid, memboff);
1284*7fd79137SRobert Mustacchi 		if (ret == CTF_ERR) {
1285*7fd79137SRobert Mustacchi 			(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
1286*7fd79137SRobert Mustacchi 			    "failed to add member %s: %s",
1287*7fd79137SRobert Mustacchi 			    mname, ctf_errmsg(ctf_errno(cup->cu_ctfp)));
1288*7fd79137SRobert Mustacchi 			if (mname != NULL)
1289*7fd79137SRobert Mustacchi 				ctf_free(mname, strlen(mname) + 1);
1290*7fd79137SRobert Mustacchi 			return (ECTF_CONVBKERR);
1291*7fd79137SRobert Mustacchi 		}
1292*7fd79137SRobert Mustacchi 
1293*7fd79137SRobert Mustacchi 		if (mname != NULL)
1294*7fd79137SRobert Mustacchi 			ctf_free(mname, strlen(mname) + 1);
1295*7fd79137SRobert Mustacchi 
1296*7fd79137SRobert Mustacchi next:
1297*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_sib(cup, memb, &sib)) != 0)
1298*7fd79137SRobert Mustacchi 			return (ret);
1299*7fd79137SRobert Mustacchi 		memb = sib;
1300*7fd79137SRobert Mustacchi 	}
1301*7fd79137SRobert Mustacchi 
1302*7fd79137SRobert Mustacchi 	/*
1303*7fd79137SRobert Mustacchi 	 * If we're not adding members, then we don't know the final size of the
1304*7fd79137SRobert Mustacchi 	 * structure, so end here.
1305*7fd79137SRobert Mustacchi 	 */
1306*7fd79137SRobert Mustacchi 	if (add == B_FALSE)
1307*7fd79137SRobert Mustacchi 		return (0);
1308*7fd79137SRobert Mustacchi 
1309*7fd79137SRobert Mustacchi 	/* Finally set the size of the structure to the actual byte size */
1310*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_unsigned(cup, die, DW_AT_byte_size, &size)) != 0)
1311*7fd79137SRobert Mustacchi 		return (ret);
1312*7fd79137SRobert Mustacchi 	nsz = size;
1313*7fd79137SRobert Mustacchi 	if ((ctf_set_size(cup->cu_ctfp, base, nsz)) == CTF_ERR) {
1314*7fd79137SRobert Mustacchi 		int e = ctf_errno(cup->cu_ctfp);
1315*7fd79137SRobert Mustacchi 		(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
1316*7fd79137SRobert Mustacchi 		    "failed to set type size for %d to 0x%x: %s", base,
1317*7fd79137SRobert Mustacchi 		    (uint32_t)size, ctf_errmsg(e));
1318*7fd79137SRobert Mustacchi 		return (ECTF_CONVBKERR);
1319*7fd79137SRobert Mustacchi 	}
1320*7fd79137SRobert Mustacchi 
1321*7fd79137SRobert Mustacchi 	return (0);
1322*7fd79137SRobert Mustacchi }
1323*7fd79137SRobert Mustacchi 
1324*7fd79137SRobert Mustacchi static int
1325*7fd79137SRobert Mustacchi ctf_dwarf_create_sou(ctf_cu_t *cup, Dwarf_Die die, ctf_id_t *idp,
1326*7fd79137SRobert Mustacchi     int kind, int isroot)
1327*7fd79137SRobert Mustacchi {
1328*7fd79137SRobert Mustacchi 	int ret;
1329*7fd79137SRobert Mustacchi 	char *name;
1330*7fd79137SRobert Mustacchi 	ctf_id_t base;
1331*7fd79137SRobert Mustacchi 	Dwarf_Die child;
1332*7fd79137SRobert Mustacchi 	Dwarf_Bool decl;
1333*7fd79137SRobert Mustacchi 
1334*7fd79137SRobert Mustacchi 	/*
1335*7fd79137SRobert Mustacchi 	 * Deal with the terribly annoying case of anonymous structs and unions.
1336*7fd79137SRobert Mustacchi 	 * If they don't have a name, set the name to the empty string.
1337*7fd79137SRobert Mustacchi 	 */
1338*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_string(cup, die, DW_AT_name, &name)) != 0 &&
1339*7fd79137SRobert Mustacchi 	    ret != ENOENT)
1340*7fd79137SRobert Mustacchi 		return (ret);
1341*7fd79137SRobert Mustacchi 	if (ret == ENOENT)
1342*7fd79137SRobert Mustacchi 		name = NULL;
1343*7fd79137SRobert Mustacchi 
1344*7fd79137SRobert Mustacchi 	/*
1345*7fd79137SRobert Mustacchi 	 * We need to check if we just have a declaration here. If we do, then
1346*7fd79137SRobert Mustacchi 	 * instead of creating an actual structure or union, we're just going to
1347*7fd79137SRobert Mustacchi 	 * go ahead and create a forward. During a dedup or merge, the forward
1348*7fd79137SRobert Mustacchi 	 * will be replaced with the real thing.
1349*7fd79137SRobert Mustacchi 	 */
1350*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_boolean(cup, die, DW_AT_declaration,
1351*7fd79137SRobert Mustacchi 	    &decl)) != 0) {
1352*7fd79137SRobert Mustacchi 		if (ret != ENOENT)
1353*7fd79137SRobert Mustacchi 			return (ret);
1354*7fd79137SRobert Mustacchi 		decl = 0;
1355*7fd79137SRobert Mustacchi 	}
1356*7fd79137SRobert Mustacchi 
1357*7fd79137SRobert Mustacchi 	if (decl != 0) {
1358*7fd79137SRobert Mustacchi 		base = ctf_add_forward(cup->cu_ctfp, isroot, name, kind);
1359*7fd79137SRobert Mustacchi 	} else if (kind == CTF_K_STRUCT) {
1360*7fd79137SRobert Mustacchi 		base = ctf_add_struct(cup->cu_ctfp, isroot, name);
1361*7fd79137SRobert Mustacchi 	} else {
1362*7fd79137SRobert Mustacchi 		base = ctf_add_union(cup->cu_ctfp, isroot, name);
1363*7fd79137SRobert Mustacchi 	}
1364*7fd79137SRobert Mustacchi 	ctf_dprintf("added sou %s (%d) (%d)\n", name, kind, base);
1365*7fd79137SRobert Mustacchi 	if (name != NULL)
1366*7fd79137SRobert Mustacchi 		ctf_free(name, strlen(name) + 1);
1367*7fd79137SRobert Mustacchi 	if (base == CTF_ERR)
1368*7fd79137SRobert Mustacchi 		return (ctf_errno(cup->cu_ctfp));
1369*7fd79137SRobert Mustacchi 	*idp = base;
1370*7fd79137SRobert Mustacchi 
1371*7fd79137SRobert Mustacchi 	/*
1372*7fd79137SRobert Mustacchi 	 * If it's just a declaration, we're not going to mark it for fix up or
1373*7fd79137SRobert Mustacchi 	 * do anything else.
1374*7fd79137SRobert Mustacchi 	 */
1375*7fd79137SRobert Mustacchi 	if (decl == B_TRUE)
1376*7fd79137SRobert Mustacchi 		return (ctf_dwmap_add(cup, base, die, B_FALSE));
1377*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwmap_add(cup, base, die, B_TRUE)) != 0)
1378*7fd79137SRobert Mustacchi 		return (ret);
1379*7fd79137SRobert Mustacchi 
1380*7fd79137SRobert Mustacchi 	/*
1381*7fd79137SRobert Mustacchi 	 * Members are in children. However, gcc also allows empty ones.
1382*7fd79137SRobert Mustacchi 	 */
1383*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_child(cup, die, &child)) != 0)
1384*7fd79137SRobert Mustacchi 		return (ret);
1385*7fd79137SRobert Mustacchi 	if (child == NULL)
1386*7fd79137SRobert Mustacchi 		return (0);
1387*7fd79137SRobert Mustacchi 
1388*7fd79137SRobert Mustacchi 	return (0);
1389*7fd79137SRobert Mustacchi }
1390*7fd79137SRobert Mustacchi 
1391*7fd79137SRobert Mustacchi static int
1392*7fd79137SRobert Mustacchi ctf_dwarf_create_array_range(ctf_cu_t *cup, Dwarf_Die range, ctf_id_t *idp,
1393*7fd79137SRobert Mustacchi     ctf_id_t base, int isroot)
1394*7fd79137SRobert Mustacchi {
1395*7fd79137SRobert Mustacchi 	int ret;
1396*7fd79137SRobert Mustacchi 	Dwarf_Die sib;
1397*7fd79137SRobert Mustacchi 	Dwarf_Unsigned val;
1398*7fd79137SRobert Mustacchi 	Dwarf_Signed sval;
1399*7fd79137SRobert Mustacchi 	ctf_arinfo_t ar;
1400*7fd79137SRobert Mustacchi 
1401*7fd79137SRobert Mustacchi 	ctf_dprintf("creating array range\n");
1402*7fd79137SRobert Mustacchi 
1403*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_sib(cup, range, &sib)) != 0)
1404*7fd79137SRobert Mustacchi 		return (ret);
1405*7fd79137SRobert Mustacchi 	if (sib != NULL) {
1406*7fd79137SRobert Mustacchi 		ctf_id_t id;
1407*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_create_array_range(cup, sib, &id,
1408*7fd79137SRobert Mustacchi 		    base, CTF_ADD_NONROOT)) != 0)
1409*7fd79137SRobert Mustacchi 			return (ret);
1410*7fd79137SRobert Mustacchi 		ar.ctr_contents = id;
1411*7fd79137SRobert Mustacchi 	} else {
1412*7fd79137SRobert Mustacchi 		ar.ctr_contents = base;
1413*7fd79137SRobert Mustacchi 	}
1414*7fd79137SRobert Mustacchi 
1415*7fd79137SRobert Mustacchi 	if ((ar.ctr_index = ctf_dwarf_long(cup)) == CTF_ERR)
1416*7fd79137SRobert Mustacchi 		return (ctf_errno(cup->cu_ctfp));
1417*7fd79137SRobert Mustacchi 
1418*7fd79137SRobert Mustacchi 	/*
1419*7fd79137SRobert Mustacchi 	 * Array bounds can be signed or unsigned, but there are several kinds
1420*7fd79137SRobert Mustacchi 	 * of signless forms (data1, data2, etc) that take their sign from the
1421*7fd79137SRobert Mustacchi 	 * routine that is trying to interpret them.  That is, data1 can be
1422*7fd79137SRobert Mustacchi 	 * either signed or unsigned, depending on whether you use the signed or
1423*7fd79137SRobert Mustacchi 	 * unsigned accessor function.  GCC will use the signless forms to store
1424*7fd79137SRobert Mustacchi 	 * unsigned values which have their high bit set, so we need to try to
1425*7fd79137SRobert Mustacchi 	 * read them first as unsigned to get positive values.  We could also
1426*7fd79137SRobert Mustacchi 	 * try signed first, falling back to unsigned if we got a negative
1427*7fd79137SRobert Mustacchi 	 * value.
1428*7fd79137SRobert Mustacchi 	 */
1429*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_unsigned(cup, range, DW_AT_upper_bound,
1430*7fd79137SRobert Mustacchi 	    &val)) == 0) {
1431*7fd79137SRobert Mustacchi 		ar.ctr_nelems = val + 1;
1432*7fd79137SRobert Mustacchi 	} else if (ret != ENOENT) {
1433*7fd79137SRobert Mustacchi 		return (ret);
1434*7fd79137SRobert Mustacchi 	} else if ((ret = ctf_dwarf_signed(cup, range, DW_AT_upper_bound,
1435*7fd79137SRobert Mustacchi 	    &sval)) == 0) {
1436*7fd79137SRobert Mustacchi 		ar.ctr_nelems = sval + 1;
1437*7fd79137SRobert Mustacchi 	} else if (ret != ENOENT) {
1438*7fd79137SRobert Mustacchi 		return (ret);
1439*7fd79137SRobert Mustacchi 	} else {
1440*7fd79137SRobert Mustacchi 		ar.ctr_nelems = 0;
1441*7fd79137SRobert Mustacchi 	}
1442*7fd79137SRobert Mustacchi 
1443*7fd79137SRobert Mustacchi 	if ((*idp = ctf_add_array(cup->cu_ctfp, isroot, &ar)) == CTF_ERR)
1444*7fd79137SRobert Mustacchi 		return (ctf_errno(cup->cu_ctfp));
1445*7fd79137SRobert Mustacchi 
1446*7fd79137SRobert Mustacchi 	return (0);
1447*7fd79137SRobert Mustacchi }
1448*7fd79137SRobert Mustacchi 
1449*7fd79137SRobert Mustacchi /*
1450*7fd79137SRobert Mustacchi  * Try and create an array type. First, the kind of the array is specified in
1451*7fd79137SRobert Mustacchi  * the DW_AT_type entry. Next, the number of entries is stored in a more
1452*7fd79137SRobert Mustacchi  * complicated form, we should have a child that has the DW_TAG_subrange type.
1453*7fd79137SRobert Mustacchi  */
1454*7fd79137SRobert Mustacchi static int
1455*7fd79137SRobert Mustacchi ctf_dwarf_create_array(ctf_cu_t *cup, Dwarf_Die die, ctf_id_t *idp, int isroot)
1456*7fd79137SRobert Mustacchi {
1457*7fd79137SRobert Mustacchi 	int ret;
1458*7fd79137SRobert Mustacchi 	Dwarf_Die tdie, rdie;
1459*7fd79137SRobert Mustacchi 	ctf_id_t tid;
1460*7fd79137SRobert Mustacchi 	Dwarf_Half rtag;
1461*7fd79137SRobert Mustacchi 
1462*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_refdie(cup, die, DW_AT_type, &tdie)) != 0)
1463*7fd79137SRobert Mustacchi 		return (ret);
1464*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_convert_type(cup, tdie, &tid,
1465*7fd79137SRobert Mustacchi 	    CTF_ADD_NONROOT)) != 0)
1466*7fd79137SRobert Mustacchi 		return (ret);
1467*7fd79137SRobert Mustacchi 
1468*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_child(cup, die, &rdie)) != 0)
1469*7fd79137SRobert Mustacchi 		return (ret);
1470*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_tag(cup, rdie, &rtag)) != 0)
1471*7fd79137SRobert Mustacchi 		return (ret);
1472*7fd79137SRobert Mustacchi 	if (rtag != DW_TAG_subrange_type) {
1473*7fd79137SRobert Mustacchi 		(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
1474*7fd79137SRobert Mustacchi 		    "encountered array without DW_TAG_subrange_type child\n");
1475*7fd79137SRobert Mustacchi 		return (ECTF_CONVBKERR);
1476*7fd79137SRobert Mustacchi 	}
1477*7fd79137SRobert Mustacchi 
1478*7fd79137SRobert Mustacchi 	/*
1479*7fd79137SRobert Mustacchi 	 * The compiler may opt to describe a multi-dimensional array as one
1480*7fd79137SRobert Mustacchi 	 * giant array or it may opt to instead encode it as a series of
1481*7fd79137SRobert Mustacchi 	 * subranges. If it's the latter, then for each subrange we introduce a
1482*7fd79137SRobert Mustacchi 	 * type. We can always use the base type.
1483*7fd79137SRobert Mustacchi 	 */
1484*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_create_array_range(cup, rdie, idp, tid,
1485*7fd79137SRobert Mustacchi 	    isroot)) != 0)
1486*7fd79137SRobert Mustacchi 		return (ret);
1487*7fd79137SRobert Mustacchi 	ctf_dprintf("Got back id %d\n", *idp);
1488*7fd79137SRobert Mustacchi 	return (ctf_dwmap_add(cup, *idp, die, B_FALSE));
1489*7fd79137SRobert Mustacchi }
1490*7fd79137SRobert Mustacchi 
1491*7fd79137SRobert Mustacchi static int
1492*7fd79137SRobert Mustacchi ctf_dwarf_create_reference(ctf_cu_t *cup, Dwarf_Die die, ctf_id_t *idp,
1493*7fd79137SRobert Mustacchi     int kind, int isroot)
1494*7fd79137SRobert Mustacchi {
1495*7fd79137SRobert Mustacchi 	int ret;
1496*7fd79137SRobert Mustacchi 	ctf_id_t id;
1497*7fd79137SRobert Mustacchi 	Dwarf_Die tdie;
1498*7fd79137SRobert Mustacchi 	char *name;
1499*7fd79137SRobert Mustacchi 	size_t namelen;
1500*7fd79137SRobert Mustacchi 
1501*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_string(cup, die, DW_AT_name, &name)) != 0 &&
1502*7fd79137SRobert Mustacchi 	    ret != ENOENT)
1503*7fd79137SRobert Mustacchi 		return (ret);
1504*7fd79137SRobert Mustacchi 	if (ret == ENOENT) {
1505*7fd79137SRobert Mustacchi 		name = NULL;
1506*7fd79137SRobert Mustacchi 		namelen = 0;
1507*7fd79137SRobert Mustacchi 	} else {
1508*7fd79137SRobert Mustacchi 		namelen = strlen(name);
1509*7fd79137SRobert Mustacchi 	}
1510*7fd79137SRobert Mustacchi 
1511*7fd79137SRobert Mustacchi 	ctf_dprintf("reference kind %d %s\n", kind, name != NULL ? name : "<>");
1512*7fd79137SRobert Mustacchi 
1513*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_refdie(cup, die, DW_AT_type, &tdie)) != 0) {
1514*7fd79137SRobert Mustacchi 		if (ret != ENOENT) {
1515*7fd79137SRobert Mustacchi 			ctf_free(name, namelen);
1516*7fd79137SRobert Mustacchi 			return (ret);
1517*7fd79137SRobert Mustacchi 		}
1518*7fd79137SRobert Mustacchi 		if ((id = ctf_dwarf_void(cup)) == CTF_ERR) {
1519*7fd79137SRobert Mustacchi 			ctf_free(name, namelen);
1520*7fd79137SRobert Mustacchi 			return (ctf_errno(cup->cu_ctfp));
1521*7fd79137SRobert Mustacchi 		}
1522*7fd79137SRobert Mustacchi 	} else {
1523*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_convert_type(cup, tdie, &id,
1524*7fd79137SRobert Mustacchi 		    CTF_ADD_NONROOT)) != 0) {
1525*7fd79137SRobert Mustacchi 			ctf_free(name, namelen);
1526*7fd79137SRobert Mustacchi 			return (ret);
1527*7fd79137SRobert Mustacchi 		}
1528*7fd79137SRobert Mustacchi 	}
1529*7fd79137SRobert Mustacchi 
1530*7fd79137SRobert Mustacchi 	if ((*idp = ctf_add_reftype(cup->cu_ctfp, isroot, name, id, kind)) ==
1531*7fd79137SRobert Mustacchi 	    CTF_ERR) {
1532*7fd79137SRobert Mustacchi 		ctf_free(name, namelen);
1533*7fd79137SRobert Mustacchi 		return (ctf_errno(cup->cu_ctfp));
1534*7fd79137SRobert Mustacchi 	}
1535*7fd79137SRobert Mustacchi 
1536*7fd79137SRobert Mustacchi 	ctf_free(name, namelen);
1537*7fd79137SRobert Mustacchi 	return (ctf_dwmap_add(cup, *idp, die, B_FALSE));
1538*7fd79137SRobert Mustacchi }
1539*7fd79137SRobert Mustacchi 
1540*7fd79137SRobert Mustacchi static int
1541*7fd79137SRobert Mustacchi ctf_dwarf_create_enum(ctf_cu_t *cup, Dwarf_Die die, ctf_id_t *idp, int isroot)
1542*7fd79137SRobert Mustacchi {
1543*7fd79137SRobert Mustacchi 	int ret;
1544*7fd79137SRobert Mustacchi 	ctf_id_t id;
1545*7fd79137SRobert Mustacchi 	Dwarf_Die child;
1546*7fd79137SRobert Mustacchi 	char *name;
1547*7fd79137SRobert Mustacchi 
1548*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_string(cup, die, DW_AT_name, &name)) != 0 &&
1549*7fd79137SRobert Mustacchi 	    ret != ENOENT)
1550*7fd79137SRobert Mustacchi 		return (ret);
1551*7fd79137SRobert Mustacchi 	if (ret == ENOENT)
1552*7fd79137SRobert Mustacchi 		name = NULL;
1553*7fd79137SRobert Mustacchi 	id = ctf_add_enum(cup->cu_ctfp, isroot, name);
1554*7fd79137SRobert Mustacchi 	ctf_dprintf("added enum %s (%d)\n", name, id);
1555*7fd79137SRobert Mustacchi 	if (name != NULL)
1556*7fd79137SRobert Mustacchi 		ctf_free(name, strlen(name) + 1);
1557*7fd79137SRobert Mustacchi 	if (id == CTF_ERR)
1558*7fd79137SRobert Mustacchi 		return (ctf_errno(cup->cu_ctfp));
1559*7fd79137SRobert Mustacchi 	*idp = id;
1560*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwmap_add(cup, id, die, B_FALSE)) != 0)
1561*7fd79137SRobert Mustacchi 		return (ret);
1562*7fd79137SRobert Mustacchi 
1563*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_child(cup, die, &child)) != 0) {
1564*7fd79137SRobert Mustacchi 		if (ret == ENOENT)
1565*7fd79137SRobert Mustacchi 			ret = 0;
1566*7fd79137SRobert Mustacchi 		return (ret);
1567*7fd79137SRobert Mustacchi 	}
1568*7fd79137SRobert Mustacchi 
1569*7fd79137SRobert Mustacchi 	while (child != NULL) {
1570*7fd79137SRobert Mustacchi 		Dwarf_Half tag;
1571*7fd79137SRobert Mustacchi 		Dwarf_Signed sval;
1572*7fd79137SRobert Mustacchi 		Dwarf_Unsigned uval;
1573*7fd79137SRobert Mustacchi 		Dwarf_Die arg = child;
1574*7fd79137SRobert Mustacchi 		int eval;
1575*7fd79137SRobert Mustacchi 
1576*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_sib(cup, arg, &child)) != 0)
1577*7fd79137SRobert Mustacchi 			return (ret);
1578*7fd79137SRobert Mustacchi 
1579*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_tag(cup, arg, &tag)) != 0)
1580*7fd79137SRobert Mustacchi 			return (ret);
1581*7fd79137SRobert Mustacchi 
1582*7fd79137SRobert Mustacchi 		if (tag != DW_TAG_enumerator) {
1583*7fd79137SRobert Mustacchi 			if ((ret = ctf_dwarf_convert_type(cup, arg, NULL,
1584*7fd79137SRobert Mustacchi 			    CTF_ADD_NONROOT)) != 0)
1585*7fd79137SRobert Mustacchi 				return (ret);
1586*7fd79137SRobert Mustacchi 			continue;
1587*7fd79137SRobert Mustacchi 		}
1588*7fd79137SRobert Mustacchi 
1589*7fd79137SRobert Mustacchi 		/*
1590*7fd79137SRobert Mustacchi 		 * DWARF v4 section 5.7 tells us we'll always have names.
1591*7fd79137SRobert Mustacchi 		 */
1592*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_string(cup, arg, DW_AT_name, &name)) != 0)
1593*7fd79137SRobert Mustacchi 			return (ret);
1594*7fd79137SRobert Mustacchi 
1595*7fd79137SRobert Mustacchi 		/*
1596*7fd79137SRobert Mustacchi 		 * We have to be careful here: newer GCCs generate DWARF where
1597*7fd79137SRobert Mustacchi 		 * an unsigned value will happily pass ctf_dwarf_signed().
1598*7fd79137SRobert Mustacchi 		 * Since negative values will fail ctf_dwarf_unsigned(), we try
1599*7fd79137SRobert Mustacchi 		 * that first to make sure we get the right value.
1600*7fd79137SRobert Mustacchi 		 */
1601*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_unsigned(cup, arg, DW_AT_const_value,
1602*7fd79137SRobert Mustacchi 		    &uval)) == 0) {
1603*7fd79137SRobert Mustacchi 			eval = (int)uval;
1604*7fd79137SRobert Mustacchi 		} else if ((ret = ctf_dwarf_signed(cup, arg, DW_AT_const_value,
1605*7fd79137SRobert Mustacchi 		    &sval)) == 0) {
1606*7fd79137SRobert Mustacchi 			eval = sval;
1607*7fd79137SRobert Mustacchi 		}
1608*7fd79137SRobert Mustacchi 
1609*7fd79137SRobert Mustacchi 		if (ret != 0) {
1610*7fd79137SRobert Mustacchi 			if (ret != ENOENT)
1611*7fd79137SRobert Mustacchi 				return (ret);
1612*7fd79137SRobert Mustacchi 
1613*7fd79137SRobert Mustacchi 			(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
1614*7fd79137SRobert Mustacchi 			    "encountered enumeration without constant value\n");
1615*7fd79137SRobert Mustacchi 			return (ECTF_CONVBKERR);
1616*7fd79137SRobert Mustacchi 		}
1617*7fd79137SRobert Mustacchi 
1618*7fd79137SRobert Mustacchi 		ret = ctf_add_enumerator(cup->cu_ctfp, id, name, eval);
1619*7fd79137SRobert Mustacchi 		if (ret == CTF_ERR) {
1620*7fd79137SRobert Mustacchi 			(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
1621*7fd79137SRobert Mustacchi 			    "failed to add enumarator %s (%d) to %d\n",
1622*7fd79137SRobert Mustacchi 			    name, eval, id);
1623*7fd79137SRobert Mustacchi 			ctf_free(name, strlen(name) + 1);
1624*7fd79137SRobert Mustacchi 			return (ctf_errno(cup->cu_ctfp));
1625*7fd79137SRobert Mustacchi 		}
1626*7fd79137SRobert Mustacchi 		ctf_free(name, strlen(name) + 1);
1627*7fd79137SRobert Mustacchi 	}
1628*7fd79137SRobert Mustacchi 
1629*7fd79137SRobert Mustacchi 	return (0);
1630*7fd79137SRobert Mustacchi }
1631*7fd79137SRobert Mustacchi 
1632*7fd79137SRobert Mustacchi /*
1633*7fd79137SRobert Mustacchi  * For a function pointer, walk over and process all of its children, unless we
1634*7fd79137SRobert Mustacchi  * encounter one that's just a declaration. In which case, we error on it.
1635*7fd79137SRobert Mustacchi  */
1636*7fd79137SRobert Mustacchi static int
1637*7fd79137SRobert Mustacchi ctf_dwarf_create_fptr(ctf_cu_t *cup, Dwarf_Die die, ctf_id_t *idp, int isroot)
1638*7fd79137SRobert Mustacchi {
1639*7fd79137SRobert Mustacchi 	int ret;
1640*7fd79137SRobert Mustacchi 	Dwarf_Bool b;
1641*7fd79137SRobert Mustacchi 	ctf_funcinfo_t fi;
1642*7fd79137SRobert Mustacchi 	Dwarf_Die retdie;
1643*7fd79137SRobert Mustacchi 	ctf_id_t *argv = NULL;
1644*7fd79137SRobert Mustacchi 
1645*7fd79137SRobert Mustacchi 	bzero(&fi, sizeof (ctf_funcinfo_t));
1646*7fd79137SRobert Mustacchi 
1647*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_boolean(cup, die, DW_AT_declaration, &b)) != 0) {
1648*7fd79137SRobert Mustacchi 		if (ret != ENOENT)
1649*7fd79137SRobert Mustacchi 			return (ret);
1650*7fd79137SRobert Mustacchi 	} else {
1651*7fd79137SRobert Mustacchi 		if (b != 0)
1652*7fd79137SRobert Mustacchi 			return (EPROTOTYPE);
1653*7fd79137SRobert Mustacchi 	}
1654*7fd79137SRobert Mustacchi 
1655*7fd79137SRobert Mustacchi 	/*
1656*7fd79137SRobert Mustacchi 	 * Return type is in DW_AT_type, if none, it returns void.
1657*7fd79137SRobert Mustacchi 	 */
1658*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_refdie(cup, die, DW_AT_type, &retdie)) != 0) {
1659*7fd79137SRobert Mustacchi 		if (ret != ENOENT)
1660*7fd79137SRobert Mustacchi 			return (ret);
1661*7fd79137SRobert Mustacchi 		if ((fi.ctc_return = ctf_dwarf_void(cup)) == CTF_ERR)
1662*7fd79137SRobert Mustacchi 			return (ctf_errno(cup->cu_ctfp));
1663*7fd79137SRobert Mustacchi 	} else {
1664*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_convert_type(cup, retdie, &fi.ctc_return,
1665*7fd79137SRobert Mustacchi 		    CTF_ADD_NONROOT)) != 0)
1666*7fd79137SRobert Mustacchi 			return (ret);
1667*7fd79137SRobert Mustacchi 	}
1668*7fd79137SRobert Mustacchi 
1669*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_function_count(cup, die, &fi, B_TRUE)) != 0) {
1670*7fd79137SRobert Mustacchi 		return (ret);
1671*7fd79137SRobert Mustacchi 	}
1672*7fd79137SRobert Mustacchi 
1673*7fd79137SRobert Mustacchi 	if (fi.ctc_argc != 0) {
1674*7fd79137SRobert Mustacchi 		argv = ctf_alloc(sizeof (ctf_id_t) * fi.ctc_argc);
1675*7fd79137SRobert Mustacchi 		if (argv == NULL)
1676*7fd79137SRobert Mustacchi 			return (ENOMEM);
1677*7fd79137SRobert Mustacchi 
1678*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_convert_fargs(cup, die, &fi, argv)) != 0) {
1679*7fd79137SRobert Mustacchi 			ctf_free(argv, sizeof (ctf_id_t) * fi.ctc_argc);
1680*7fd79137SRobert Mustacchi 			return (ret);
1681*7fd79137SRobert Mustacchi 		}
1682*7fd79137SRobert Mustacchi 	}
1683*7fd79137SRobert Mustacchi 
1684*7fd79137SRobert Mustacchi 	if ((*idp = ctf_add_funcptr(cup->cu_ctfp, isroot, &fi, argv)) ==
1685*7fd79137SRobert Mustacchi 	    CTF_ERR) {
1686*7fd79137SRobert Mustacchi 		ctf_free(argv, sizeof (ctf_id_t) * fi.ctc_argc);
1687*7fd79137SRobert Mustacchi 		return (ctf_errno(cup->cu_ctfp));
1688*7fd79137SRobert Mustacchi 	}
1689*7fd79137SRobert Mustacchi 
1690*7fd79137SRobert Mustacchi 	ctf_free(argv, sizeof (ctf_id_t) * fi.ctc_argc);
1691*7fd79137SRobert Mustacchi 	return (ctf_dwmap_add(cup, *idp, die, B_FALSE));
1692*7fd79137SRobert Mustacchi }
1693*7fd79137SRobert Mustacchi 
1694*7fd79137SRobert Mustacchi static int
1695*7fd79137SRobert Mustacchi ctf_dwarf_convert_type(ctf_cu_t *cup, Dwarf_Die die, ctf_id_t *idp,
1696*7fd79137SRobert Mustacchi     int isroot)
1697*7fd79137SRobert Mustacchi {
1698*7fd79137SRobert Mustacchi 	int ret;
1699*7fd79137SRobert Mustacchi 	Dwarf_Off offset;
1700*7fd79137SRobert Mustacchi 	Dwarf_Half tag;
1701*7fd79137SRobert Mustacchi 	ctf_dwmap_t lookup, *map;
1702*7fd79137SRobert Mustacchi 	ctf_id_t id;
1703*7fd79137SRobert Mustacchi 
1704*7fd79137SRobert Mustacchi 	if (idp == NULL)
1705*7fd79137SRobert Mustacchi 		idp = &id;
1706*7fd79137SRobert Mustacchi 
1707*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_offset(cup, die, &offset)) != 0)
1708*7fd79137SRobert Mustacchi 		return (ret);
1709*7fd79137SRobert Mustacchi 
1710*7fd79137SRobert Mustacchi 	if (offset > cup->cu_maxoff) {
1711*7fd79137SRobert Mustacchi 		(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
1712*7fd79137SRobert Mustacchi 		    "die offset %llu beyond maximum for header %llu\n",
1713*7fd79137SRobert Mustacchi 		    offset, cup->cu_maxoff);
1714*7fd79137SRobert Mustacchi 		return (ECTF_CONVBKERR);
1715*7fd79137SRobert Mustacchi 	}
1716*7fd79137SRobert Mustacchi 
1717*7fd79137SRobert Mustacchi 	/*
1718*7fd79137SRobert Mustacchi 	 * If we've already added an entry for this offset, then we're done.
1719*7fd79137SRobert Mustacchi 	 */
1720*7fd79137SRobert Mustacchi 	lookup.cdm_off = offset;
1721*7fd79137SRobert Mustacchi 	if ((map = avl_find(&cup->cu_map, &lookup, NULL)) != NULL) {
1722*7fd79137SRobert Mustacchi 		*idp = map->cdm_id;
1723*7fd79137SRobert Mustacchi 		return (0);
1724*7fd79137SRobert Mustacchi 	}
1725*7fd79137SRobert Mustacchi 
1726*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_tag(cup, die, &tag)) != 0)
1727*7fd79137SRobert Mustacchi 		return (ret);
1728*7fd79137SRobert Mustacchi 
1729*7fd79137SRobert Mustacchi 	ret = ENOTSUP;
1730*7fd79137SRobert Mustacchi 	switch (tag) {
1731*7fd79137SRobert Mustacchi 	case DW_TAG_base_type:
1732*7fd79137SRobert Mustacchi 		ctf_dprintf("base\n");
1733*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_create_base(cup, die, idp, isroot, offset);
1734*7fd79137SRobert Mustacchi 		break;
1735*7fd79137SRobert Mustacchi 	case DW_TAG_array_type:
1736*7fd79137SRobert Mustacchi 		ctf_dprintf("array\n");
1737*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_create_array(cup, die, idp, isroot);
1738*7fd79137SRobert Mustacchi 		break;
1739*7fd79137SRobert Mustacchi 	case DW_TAG_enumeration_type:
1740*7fd79137SRobert Mustacchi 		ctf_dprintf("enum\n");
1741*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_create_enum(cup, die, idp, isroot);
1742*7fd79137SRobert Mustacchi 		break;
1743*7fd79137SRobert Mustacchi 	case DW_TAG_pointer_type:
1744*7fd79137SRobert Mustacchi 		ctf_dprintf("pointer\n");
1745*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_create_reference(cup, die, idp, CTF_K_POINTER,
1746*7fd79137SRobert Mustacchi 		    isroot);
1747*7fd79137SRobert Mustacchi 		break;
1748*7fd79137SRobert Mustacchi 	case DW_TAG_structure_type:
1749*7fd79137SRobert Mustacchi 		ctf_dprintf("struct\n");
1750*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_create_sou(cup, die, idp, CTF_K_STRUCT,
1751*7fd79137SRobert Mustacchi 		    isroot);
1752*7fd79137SRobert Mustacchi 		break;
1753*7fd79137SRobert Mustacchi 	case DW_TAG_subroutine_type:
1754*7fd79137SRobert Mustacchi 		ctf_dprintf("fptr\n");
1755*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_create_fptr(cup, die, idp, isroot);
1756*7fd79137SRobert Mustacchi 		break;
1757*7fd79137SRobert Mustacchi 	case DW_TAG_typedef:
1758*7fd79137SRobert Mustacchi 		ctf_dprintf("typedef\n");
1759*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_create_reference(cup, die, idp, CTF_K_TYPEDEF,
1760*7fd79137SRobert Mustacchi 		    isroot);
1761*7fd79137SRobert Mustacchi 		break;
1762*7fd79137SRobert Mustacchi 	case DW_TAG_union_type:
1763*7fd79137SRobert Mustacchi 		ctf_dprintf("union\n");
1764*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_create_sou(cup, die, idp, CTF_K_UNION,
1765*7fd79137SRobert Mustacchi 		    isroot);
1766*7fd79137SRobert Mustacchi 		break;
1767*7fd79137SRobert Mustacchi 	case DW_TAG_const_type:
1768*7fd79137SRobert Mustacchi 		ctf_dprintf("const\n");
1769*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_create_reference(cup, die, idp, CTF_K_CONST,
1770*7fd79137SRobert Mustacchi 		    isroot);
1771*7fd79137SRobert Mustacchi 		break;
1772*7fd79137SRobert Mustacchi 	case DW_TAG_volatile_type:
1773*7fd79137SRobert Mustacchi 		ctf_dprintf("volatile\n");
1774*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_create_reference(cup, die, idp, CTF_K_VOLATILE,
1775*7fd79137SRobert Mustacchi 		    isroot);
1776*7fd79137SRobert Mustacchi 		break;
1777*7fd79137SRobert Mustacchi 	case DW_TAG_restrict_type:
1778*7fd79137SRobert Mustacchi 		ctf_dprintf("restrict\n");
1779*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_create_reference(cup, die, idp, CTF_K_RESTRICT,
1780*7fd79137SRobert Mustacchi 		    isroot);
1781*7fd79137SRobert Mustacchi 		break;
1782*7fd79137SRobert Mustacchi 	default:
1783*7fd79137SRobert Mustacchi 		ctf_dprintf("ignoring tag type %x\n", tag);
1784*7fd79137SRobert Mustacchi 		ret = 0;
1785*7fd79137SRobert Mustacchi 		break;
1786*7fd79137SRobert Mustacchi 	}
1787*7fd79137SRobert Mustacchi 	ctf_dprintf("ctf_dwarf_convert_type tag specific handler returned %d\n",
1788*7fd79137SRobert Mustacchi 	    ret);
1789*7fd79137SRobert Mustacchi 
1790*7fd79137SRobert Mustacchi 	return (ret);
1791*7fd79137SRobert Mustacchi }
1792*7fd79137SRobert Mustacchi 
1793*7fd79137SRobert Mustacchi static int
1794*7fd79137SRobert Mustacchi ctf_dwarf_walk_lexical(ctf_cu_t *cup, Dwarf_Die die)
1795*7fd79137SRobert Mustacchi {
1796*7fd79137SRobert Mustacchi 	int ret;
1797*7fd79137SRobert Mustacchi 	Dwarf_Die child;
1798*7fd79137SRobert Mustacchi 
1799*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_child(cup, die, &child)) != 0)
1800*7fd79137SRobert Mustacchi 		return (ret);
1801*7fd79137SRobert Mustacchi 
1802*7fd79137SRobert Mustacchi 	if (child == NULL)
1803*7fd79137SRobert Mustacchi 		return (0);
1804*7fd79137SRobert Mustacchi 
1805*7fd79137SRobert Mustacchi 	return (ctf_dwarf_convert_die(cup, die));
1806*7fd79137SRobert Mustacchi }
1807*7fd79137SRobert Mustacchi 
1808*7fd79137SRobert Mustacchi static int
1809*7fd79137SRobert Mustacchi ctf_dwarf_function_count(ctf_cu_t *cup, Dwarf_Die die, ctf_funcinfo_t *fip,
1810*7fd79137SRobert Mustacchi     boolean_t fptr)
1811*7fd79137SRobert Mustacchi {
1812*7fd79137SRobert Mustacchi 	int ret;
1813*7fd79137SRobert Mustacchi 	Dwarf_Die child, sib, arg;
1814*7fd79137SRobert Mustacchi 
1815*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_child(cup, die, &child)) != 0)
1816*7fd79137SRobert Mustacchi 		return (ret);
1817*7fd79137SRobert Mustacchi 
1818*7fd79137SRobert Mustacchi 	arg = child;
1819*7fd79137SRobert Mustacchi 	while (arg != NULL) {
1820*7fd79137SRobert Mustacchi 		Dwarf_Half tag;
1821*7fd79137SRobert Mustacchi 
1822*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_tag(cup, arg, &tag)) != 0)
1823*7fd79137SRobert Mustacchi 			return (ret);
1824*7fd79137SRobert Mustacchi 
1825*7fd79137SRobert Mustacchi 		/*
1826*7fd79137SRobert Mustacchi 		 * We have to check for a varargs type decleration. This will
1827*7fd79137SRobert Mustacchi 		 * happen in one of two ways. If we have a function pointer
1828*7fd79137SRobert Mustacchi 		 * type, then it'll be done with a tag of type
1829*7fd79137SRobert Mustacchi 		 * DW_TAG_unspecified_parameters. However, it only means we have
1830*7fd79137SRobert Mustacchi 		 * a variable number of arguments, if we have more than one
1831*7fd79137SRobert Mustacchi 		 * argument found so far. Otherwise, when we have a function
1832*7fd79137SRobert Mustacchi 		 * type, it instead uses a formal parameter whose name is '...'
1833*7fd79137SRobert Mustacchi 		 * to indicate a variable arguments member.
1834*7fd79137SRobert Mustacchi 		 *
1835*7fd79137SRobert Mustacchi 		 * Also, if we have a function pointer, then we have to expect
1836*7fd79137SRobert Mustacchi 		 * that we might not get a name at all.
1837*7fd79137SRobert Mustacchi 		 */
1838*7fd79137SRobert Mustacchi 		if (tag == DW_TAG_formal_parameter && fptr == B_FALSE) {
1839*7fd79137SRobert Mustacchi 			char *name;
1840*7fd79137SRobert Mustacchi 			if ((ret = ctf_dwarf_string(cup, die, DW_AT_name,
1841*7fd79137SRobert Mustacchi 			    &name)) != 0)
1842*7fd79137SRobert Mustacchi 				return (ret);
1843*7fd79137SRobert Mustacchi 			if (strcmp(name, DWARF_VARARGS_NAME) == 0)
1844*7fd79137SRobert Mustacchi 				fip->ctc_flags |= CTF_FUNC_VARARG;
1845*7fd79137SRobert Mustacchi 			else
1846*7fd79137SRobert Mustacchi 				fip->ctc_argc++;
1847*7fd79137SRobert Mustacchi 			ctf_free(name, strlen(name) + 1);
1848*7fd79137SRobert Mustacchi 		} else if (tag == DW_TAG_formal_parameter) {
1849*7fd79137SRobert Mustacchi 			fip->ctc_argc++;
1850*7fd79137SRobert Mustacchi 		} else if (tag == DW_TAG_unspecified_parameters &&
1851*7fd79137SRobert Mustacchi 		    fip->ctc_argc > 0) {
1852*7fd79137SRobert Mustacchi 			fip->ctc_flags |= CTF_FUNC_VARARG;
1853*7fd79137SRobert Mustacchi 		}
1854*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_sib(cup, arg, &sib)) != 0)
1855*7fd79137SRobert Mustacchi 			return (ret);
1856*7fd79137SRobert Mustacchi 		arg = sib;
1857*7fd79137SRobert Mustacchi 	}
1858*7fd79137SRobert Mustacchi 
1859*7fd79137SRobert Mustacchi 	return (0);
1860*7fd79137SRobert Mustacchi }
1861*7fd79137SRobert Mustacchi 
1862*7fd79137SRobert Mustacchi static int
1863*7fd79137SRobert Mustacchi ctf_dwarf_convert_fargs(ctf_cu_t *cup, Dwarf_Die die, ctf_funcinfo_t *fip,
1864*7fd79137SRobert Mustacchi     ctf_id_t *argv)
1865*7fd79137SRobert Mustacchi {
1866*7fd79137SRobert Mustacchi 	int ret;
1867*7fd79137SRobert Mustacchi 	int i = 0;
1868*7fd79137SRobert Mustacchi 	Dwarf_Die child, sib, arg;
1869*7fd79137SRobert Mustacchi 
1870*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_child(cup, die, &child)) != 0)
1871*7fd79137SRobert Mustacchi 		return (ret);
1872*7fd79137SRobert Mustacchi 
1873*7fd79137SRobert Mustacchi 	arg = child;
1874*7fd79137SRobert Mustacchi 	while (arg != NULL) {
1875*7fd79137SRobert Mustacchi 		Dwarf_Half tag;
1876*7fd79137SRobert Mustacchi 
1877*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_tag(cup, arg, &tag)) != 0)
1878*7fd79137SRobert Mustacchi 			return (ret);
1879*7fd79137SRobert Mustacchi 		if (tag == DW_TAG_formal_parameter) {
1880*7fd79137SRobert Mustacchi 			Dwarf_Die tdie;
1881*7fd79137SRobert Mustacchi 
1882*7fd79137SRobert Mustacchi 			if ((ret = ctf_dwarf_refdie(cup, arg, DW_AT_type,
1883*7fd79137SRobert Mustacchi 			    &tdie)) != 0)
1884*7fd79137SRobert Mustacchi 				return (ret);
1885*7fd79137SRobert Mustacchi 
1886*7fd79137SRobert Mustacchi 			if ((ret = ctf_dwarf_convert_type(cup, tdie, &argv[i],
1887*7fd79137SRobert Mustacchi 			    CTF_ADD_ROOT)) != 0)
1888*7fd79137SRobert Mustacchi 				return (ret);
1889*7fd79137SRobert Mustacchi 			i++;
1890*7fd79137SRobert Mustacchi 
1891*7fd79137SRobert Mustacchi 			/*
1892*7fd79137SRobert Mustacchi 			 * Once we hit argc entries, we're done. This ensures we
1893*7fd79137SRobert Mustacchi 			 * don't accidentally hit a varargs which should be the
1894*7fd79137SRobert Mustacchi 			 * last entry.
1895*7fd79137SRobert Mustacchi 			 */
1896*7fd79137SRobert Mustacchi 			if (i == fip->ctc_argc)
1897*7fd79137SRobert Mustacchi 				break;
1898*7fd79137SRobert Mustacchi 		}
1899*7fd79137SRobert Mustacchi 
1900*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_sib(cup, arg, &sib)) != 0)
1901*7fd79137SRobert Mustacchi 			return (ret);
1902*7fd79137SRobert Mustacchi 		arg = sib;
1903*7fd79137SRobert Mustacchi 	}
1904*7fd79137SRobert Mustacchi 
1905*7fd79137SRobert Mustacchi 	return (0);
1906*7fd79137SRobert Mustacchi }
1907*7fd79137SRobert Mustacchi 
1908*7fd79137SRobert Mustacchi static int
1909*7fd79137SRobert Mustacchi ctf_dwarf_convert_function(ctf_cu_t *cup, Dwarf_Die die)
1910*7fd79137SRobert Mustacchi {
1911*7fd79137SRobert Mustacchi 	int ret;
1912*7fd79137SRobert Mustacchi 	char *name;
1913*7fd79137SRobert Mustacchi 	ctf_dwfunc_t *cdf;
1914*7fd79137SRobert Mustacchi 	Dwarf_Die tdie;
1915*7fd79137SRobert Mustacchi 
1916*7fd79137SRobert Mustacchi 	/*
1917*7fd79137SRobert Mustacchi 	 * Functions that don't have a name are generally functions that have
1918*7fd79137SRobert Mustacchi 	 * been inlined and thus most information about them has been lost. If
1919*7fd79137SRobert Mustacchi 	 * we can't get a name, then instead of returning ENOENT, we silently
1920*7fd79137SRobert Mustacchi 	 * swallow the error.
1921*7fd79137SRobert Mustacchi 	 */
1922*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_string(cup, die, DW_AT_name, &name)) != 0) {
1923*7fd79137SRobert Mustacchi 		if (ret == ENOENT)
1924*7fd79137SRobert Mustacchi 			return (0);
1925*7fd79137SRobert Mustacchi 		return (ret);
1926*7fd79137SRobert Mustacchi 	}
1927*7fd79137SRobert Mustacchi 
1928*7fd79137SRobert Mustacchi 	ctf_dprintf("beginning work on function %s\n", name);
1929*7fd79137SRobert Mustacchi 	if ((cdf = ctf_alloc(sizeof (ctf_dwfunc_t))) == NULL) {
1930*7fd79137SRobert Mustacchi 		ctf_free(name, strlen(name) + 1);
1931*7fd79137SRobert Mustacchi 		return (ENOMEM);
1932*7fd79137SRobert Mustacchi 	}
1933*7fd79137SRobert Mustacchi 	bzero(cdf, sizeof (ctf_dwfunc_t));
1934*7fd79137SRobert Mustacchi 	cdf->cdf_name = name;
1935*7fd79137SRobert Mustacchi 
1936*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_refdie(cup, die, DW_AT_type, &tdie)) == 0) {
1937*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_convert_type(cup, tdie,
1938*7fd79137SRobert Mustacchi 		    &(cdf->cdf_fip.ctc_return), CTF_ADD_ROOT)) != 0) {
1939*7fd79137SRobert Mustacchi 			ctf_free(name, strlen(name) + 1);
1940*7fd79137SRobert Mustacchi 			ctf_free(cdf, sizeof (ctf_dwfunc_t));
1941*7fd79137SRobert Mustacchi 			return (ret);
1942*7fd79137SRobert Mustacchi 		}
1943*7fd79137SRobert Mustacchi 	} else if (ret != ENOENT) {
1944*7fd79137SRobert Mustacchi 		ctf_free(name, strlen(name) + 1);
1945*7fd79137SRobert Mustacchi 		ctf_free(cdf, sizeof (ctf_dwfunc_t));
1946*7fd79137SRobert Mustacchi 		return (ret);
1947*7fd79137SRobert Mustacchi 	} else {
1948*7fd79137SRobert Mustacchi 		if ((cdf->cdf_fip.ctc_return = ctf_dwarf_void(cup)) ==
1949*7fd79137SRobert Mustacchi 		    CTF_ERR) {
1950*7fd79137SRobert Mustacchi 			ctf_free(name, strlen(name) + 1);
1951*7fd79137SRobert Mustacchi 			ctf_free(cdf, sizeof (ctf_dwfunc_t));
1952*7fd79137SRobert Mustacchi 			return (ctf_errno(cup->cu_ctfp));
1953*7fd79137SRobert Mustacchi 		}
1954*7fd79137SRobert Mustacchi 	}
1955*7fd79137SRobert Mustacchi 
1956*7fd79137SRobert Mustacchi 	/*
1957*7fd79137SRobert Mustacchi 	 * A function has a number of children, some of which may not be ones we
1958*7fd79137SRobert Mustacchi 	 * care about. Children that we care about have a type of
1959*7fd79137SRobert Mustacchi 	 * DW_TAG_formal_parameter. We're going to do two passes, the first to
1960*7fd79137SRobert Mustacchi 	 * count the arguments, the second to process them. Afterwards, we
1961*7fd79137SRobert Mustacchi 	 * should be good to go ahead and add this function.
1962*7fd79137SRobert Mustacchi 	 *
1963*7fd79137SRobert Mustacchi 	 * Note, we already got the return type by going in and grabbing it out
1964*7fd79137SRobert Mustacchi 	 * of the DW_AT_type.
1965*7fd79137SRobert Mustacchi 	 */
1966*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_function_count(cup, die, &cdf->cdf_fip,
1967*7fd79137SRobert Mustacchi 	    B_FALSE)) != 0) {
1968*7fd79137SRobert Mustacchi 		ctf_free(name, strlen(name) + 1);
1969*7fd79137SRobert Mustacchi 		ctf_free(cdf, sizeof (ctf_dwfunc_t));
1970*7fd79137SRobert Mustacchi 		return (ret);
1971*7fd79137SRobert Mustacchi 	}
1972*7fd79137SRobert Mustacchi 
1973*7fd79137SRobert Mustacchi 	ctf_dprintf("beginning to convert function arguments %s\n", name);
1974*7fd79137SRobert Mustacchi 	if (cdf->cdf_fip.ctc_argc != 0) {
1975*7fd79137SRobert Mustacchi 		uint_t argc = cdf->cdf_fip.ctc_argc;
1976*7fd79137SRobert Mustacchi 		cdf->cdf_argv = ctf_alloc(sizeof (ctf_id_t) * argc);
1977*7fd79137SRobert Mustacchi 		if (cdf->cdf_argv == NULL) {
1978*7fd79137SRobert Mustacchi 			ctf_free(name, strlen(name) + 1);
1979*7fd79137SRobert Mustacchi 			ctf_free(cdf, sizeof (ctf_dwfunc_t));
1980*7fd79137SRobert Mustacchi 			return (ENOMEM);
1981*7fd79137SRobert Mustacchi 		}
1982*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_convert_fargs(cup, die,
1983*7fd79137SRobert Mustacchi 		    &cdf->cdf_fip, cdf->cdf_argv)) != 0) {
1984*7fd79137SRobert Mustacchi 			ctf_free(cdf->cdf_argv, sizeof (ctf_id_t) * argc);
1985*7fd79137SRobert Mustacchi 			ctf_free(name, strlen(name) + 1);
1986*7fd79137SRobert Mustacchi 			ctf_free(cdf, sizeof (ctf_dwfunc_t));
1987*7fd79137SRobert Mustacchi 			return (ret);
1988*7fd79137SRobert Mustacchi 		}
1989*7fd79137SRobert Mustacchi 	} else {
1990*7fd79137SRobert Mustacchi 		cdf->cdf_argv = NULL;
1991*7fd79137SRobert Mustacchi 	}
1992*7fd79137SRobert Mustacchi 
1993*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_isglobal(cup, die, &cdf->cdf_global)) != 0) {
1994*7fd79137SRobert Mustacchi 		ctf_free(cdf->cdf_argv, sizeof (ctf_id_t) *
1995*7fd79137SRobert Mustacchi 		    cdf->cdf_fip.ctc_argc);
1996*7fd79137SRobert Mustacchi 		ctf_free(name, strlen(name) + 1);
1997*7fd79137SRobert Mustacchi 		ctf_free(cdf, sizeof (ctf_dwfunc_t));
1998*7fd79137SRobert Mustacchi 		return (ret);
1999*7fd79137SRobert Mustacchi 	}
2000*7fd79137SRobert Mustacchi 
2001*7fd79137SRobert Mustacchi 	ctf_list_append(&cup->cu_funcs, cdf);
2002*7fd79137SRobert Mustacchi 	return (ret);
2003*7fd79137SRobert Mustacchi }
2004*7fd79137SRobert Mustacchi 
2005*7fd79137SRobert Mustacchi /*
2006*7fd79137SRobert Mustacchi  * Convert variables, but only if they're not prototypes and have names.
2007*7fd79137SRobert Mustacchi  */
2008*7fd79137SRobert Mustacchi static int
2009*7fd79137SRobert Mustacchi ctf_dwarf_convert_variable(ctf_cu_t *cup, Dwarf_Die die)
2010*7fd79137SRobert Mustacchi {
2011*7fd79137SRobert Mustacchi 	int ret;
2012*7fd79137SRobert Mustacchi 	char *name;
2013*7fd79137SRobert Mustacchi 	Dwarf_Bool b;
2014*7fd79137SRobert Mustacchi 	Dwarf_Die tdie;
2015*7fd79137SRobert Mustacchi 	ctf_id_t id;
2016*7fd79137SRobert Mustacchi 	ctf_dwvar_t *cdv;
2017*7fd79137SRobert Mustacchi 
2018*7fd79137SRobert Mustacchi 	/* Skip "Non-Defining Declarations" */
2019*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_boolean(cup, die, DW_AT_declaration, &b)) == 0) {
2020*7fd79137SRobert Mustacchi 		if (b != 0)
2021*7fd79137SRobert Mustacchi 			return (0);
2022*7fd79137SRobert Mustacchi 	} else if (ret != ENOENT) {
2023*7fd79137SRobert Mustacchi 		return (ret);
2024*7fd79137SRobert Mustacchi 	}
2025*7fd79137SRobert Mustacchi 
2026*7fd79137SRobert Mustacchi 	/*
2027*7fd79137SRobert Mustacchi 	 * If we find a DIE of "Declarations Completing Non-Defining
2028*7fd79137SRobert Mustacchi 	 * Declarations", we will use the referenced type's DIE.  This isn't
2029*7fd79137SRobert Mustacchi 	 * quite correct, e.g. DW_AT_decl_line will be the forward declaration
2030*7fd79137SRobert Mustacchi 	 * not this site.  It's sufficient for what we need, however: in
2031*7fd79137SRobert Mustacchi 	 * particular, we should find DW_AT_external as needed there.
2032*7fd79137SRobert Mustacchi 	 */
2033*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_refdie(cup, die, DW_AT_specification,
2034*7fd79137SRobert Mustacchi 	    &tdie)) == 0) {
2035*7fd79137SRobert Mustacchi 		Dwarf_Off offset;
2036*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_offset(cup, tdie, &offset)) != 0)
2037*7fd79137SRobert Mustacchi 			return (ret);
2038*7fd79137SRobert Mustacchi 		ctf_dprintf("die 0x%llx DW_AT_specification -> die 0x%llx\n",
2039*7fd79137SRobert Mustacchi 		    ctf_die_offset(die), ctf_die_offset(tdie));
2040*7fd79137SRobert Mustacchi 		die = tdie;
2041*7fd79137SRobert Mustacchi 	} else if (ret != ENOENT) {
2042*7fd79137SRobert Mustacchi 		return (ret);
2043*7fd79137SRobert Mustacchi 	}
2044*7fd79137SRobert Mustacchi 
2045*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_string(cup, die, DW_AT_name, &name)) != 0 &&
2046*7fd79137SRobert Mustacchi 	    ret != ENOENT)
2047*7fd79137SRobert Mustacchi 		return (ret);
2048*7fd79137SRobert Mustacchi 	if (ret == ENOENT)
2049*7fd79137SRobert Mustacchi 		return (0);
2050*7fd79137SRobert Mustacchi 
2051*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_refdie(cup, die, DW_AT_type, &tdie)) != 0) {
2052*7fd79137SRobert Mustacchi 		ctf_free(name, strlen(name) + 1);
2053*7fd79137SRobert Mustacchi 		return (ret);
2054*7fd79137SRobert Mustacchi 	}
2055*7fd79137SRobert Mustacchi 
2056*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_convert_type(cup, tdie, &id,
2057*7fd79137SRobert Mustacchi 	    CTF_ADD_ROOT)) != 0)
2058*7fd79137SRobert Mustacchi 		return (ret);
2059*7fd79137SRobert Mustacchi 
2060*7fd79137SRobert Mustacchi 	if ((cdv = ctf_alloc(sizeof (ctf_dwvar_t))) == NULL) {
2061*7fd79137SRobert Mustacchi 		ctf_free(name, strlen(name) + 1);
2062*7fd79137SRobert Mustacchi 		return (ENOMEM);
2063*7fd79137SRobert Mustacchi 	}
2064*7fd79137SRobert Mustacchi 
2065*7fd79137SRobert Mustacchi 	cdv->cdv_name = name;
2066*7fd79137SRobert Mustacchi 	cdv->cdv_type = id;
2067*7fd79137SRobert Mustacchi 
2068*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_isglobal(cup, die, &cdv->cdv_global)) != 0) {
2069*7fd79137SRobert Mustacchi 		ctf_free(cdv, sizeof (ctf_dwvar_t));
2070*7fd79137SRobert Mustacchi 		ctf_free(name, strlen(name) + 1);
2071*7fd79137SRobert Mustacchi 		return (ret);
2072*7fd79137SRobert Mustacchi 	}
2073*7fd79137SRobert Mustacchi 
2074*7fd79137SRobert Mustacchi 	ctf_list_append(&cup->cu_vars, cdv);
2075*7fd79137SRobert Mustacchi 	return (0);
2076*7fd79137SRobert Mustacchi }
2077*7fd79137SRobert Mustacchi 
2078*7fd79137SRobert Mustacchi /*
2079*7fd79137SRobert Mustacchi  * Walk through our set of top-level types and process them.
2080*7fd79137SRobert Mustacchi  */
2081*7fd79137SRobert Mustacchi static int
2082*7fd79137SRobert Mustacchi ctf_dwarf_walk_toplevel(ctf_cu_t *cup, Dwarf_Die die)
2083*7fd79137SRobert Mustacchi {
2084*7fd79137SRobert Mustacchi 	int ret;
2085*7fd79137SRobert Mustacchi 	Dwarf_Off offset;
2086*7fd79137SRobert Mustacchi 	Dwarf_Half tag;
2087*7fd79137SRobert Mustacchi 
2088*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_offset(cup, die, &offset)) != 0)
2089*7fd79137SRobert Mustacchi 		return (ret);
2090*7fd79137SRobert Mustacchi 
2091*7fd79137SRobert Mustacchi 	if (offset > cup->cu_maxoff) {
2092*7fd79137SRobert Mustacchi 		(void) snprintf(cup->cu_errbuf, cup->cu_errlen,
2093*7fd79137SRobert Mustacchi 		    "die offset %llu beyond maximum for header %llu\n",
2094*7fd79137SRobert Mustacchi 		    offset, cup->cu_maxoff);
2095*7fd79137SRobert Mustacchi 		return (ECTF_CONVBKERR);
2096*7fd79137SRobert Mustacchi 	}
2097*7fd79137SRobert Mustacchi 
2098*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_tag(cup, die, &tag)) != 0)
2099*7fd79137SRobert Mustacchi 		return (ret);
2100*7fd79137SRobert Mustacchi 
2101*7fd79137SRobert Mustacchi 	ret = 0;
2102*7fd79137SRobert Mustacchi 	switch (tag) {
2103*7fd79137SRobert Mustacchi 	case DW_TAG_subprogram:
2104*7fd79137SRobert Mustacchi 		ctf_dprintf("top level func\n");
2105*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_convert_function(cup, die);
2106*7fd79137SRobert Mustacchi 		break;
2107*7fd79137SRobert Mustacchi 	case DW_TAG_variable:
2108*7fd79137SRobert Mustacchi 		ctf_dprintf("top level var\n");
2109*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_convert_variable(cup, die);
2110*7fd79137SRobert Mustacchi 		break;
2111*7fd79137SRobert Mustacchi 	case DW_TAG_lexical_block:
2112*7fd79137SRobert Mustacchi 		ctf_dprintf("top level block\n");
2113*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_walk_lexical(cup, die);
2114*7fd79137SRobert Mustacchi 		break;
2115*7fd79137SRobert Mustacchi 	case DW_TAG_enumeration_type:
2116*7fd79137SRobert Mustacchi 	case DW_TAG_structure_type:
2117*7fd79137SRobert Mustacchi 	case DW_TAG_typedef:
2118*7fd79137SRobert Mustacchi 	case DW_TAG_union_type:
2119*7fd79137SRobert Mustacchi 		ctf_dprintf("top level type\n");
2120*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_convert_type(cup, die, NULL, B_TRUE);
2121*7fd79137SRobert Mustacchi 		break;
2122*7fd79137SRobert Mustacchi 	default:
2123*7fd79137SRobert Mustacchi 		break;
2124*7fd79137SRobert Mustacchi 	}
2125*7fd79137SRobert Mustacchi 
2126*7fd79137SRobert Mustacchi 	return (ret);
2127*7fd79137SRobert Mustacchi }
2128*7fd79137SRobert Mustacchi 
2129*7fd79137SRobert Mustacchi 
2130*7fd79137SRobert Mustacchi /*
2131*7fd79137SRobert Mustacchi  * We're given a node. At this node we need to convert it and then proceed to
2132*7fd79137SRobert Mustacchi  * convert any siblings that are associaed with this die.
2133*7fd79137SRobert Mustacchi  */
2134*7fd79137SRobert Mustacchi static int
2135*7fd79137SRobert Mustacchi ctf_dwarf_convert_die(ctf_cu_t *cup, Dwarf_Die die)
2136*7fd79137SRobert Mustacchi {
2137*7fd79137SRobert Mustacchi 	while (die != NULL) {
2138*7fd79137SRobert Mustacchi 		int ret;
2139*7fd79137SRobert Mustacchi 		Dwarf_Die sib;
2140*7fd79137SRobert Mustacchi 
2141*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_walk_toplevel(cup, die)) != 0)
2142*7fd79137SRobert Mustacchi 			return (ret);
2143*7fd79137SRobert Mustacchi 
2144*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_sib(cup, die, &sib)) != 0)
2145*7fd79137SRobert Mustacchi 			return (ret);
2146*7fd79137SRobert Mustacchi 		die = sib;
2147*7fd79137SRobert Mustacchi 	}
2148*7fd79137SRobert Mustacchi 	return (0);
2149*7fd79137SRobert Mustacchi }
2150*7fd79137SRobert Mustacchi 
2151*7fd79137SRobert Mustacchi static int
2152*7fd79137SRobert Mustacchi ctf_dwarf_fixup_die(ctf_cu_t *cup, boolean_t addpass)
2153*7fd79137SRobert Mustacchi {
2154*7fd79137SRobert Mustacchi 	ctf_dwmap_t *map;
2155*7fd79137SRobert Mustacchi 
2156*7fd79137SRobert Mustacchi 	for (map = avl_first(&cup->cu_map); map != NULL;
2157*7fd79137SRobert Mustacchi 	    map = AVL_NEXT(&cup->cu_map, map)) {
2158*7fd79137SRobert Mustacchi 		int ret;
2159*7fd79137SRobert Mustacchi 		if (map->cdm_fix == B_FALSE)
2160*7fd79137SRobert Mustacchi 			continue;
2161*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_fixup_sou(cup, map->cdm_die, map->cdm_id,
2162*7fd79137SRobert Mustacchi 		    addpass)) != 0)
2163*7fd79137SRobert Mustacchi 			return (ret);
2164*7fd79137SRobert Mustacchi 	}
2165*7fd79137SRobert Mustacchi 
2166*7fd79137SRobert Mustacchi 	return (0);
2167*7fd79137SRobert Mustacchi }
2168*7fd79137SRobert Mustacchi 
2169*7fd79137SRobert Mustacchi static ctf_dwfunc_t *
2170*7fd79137SRobert Mustacchi ctf_dwarf_match_func(ctf_cu_t *cup, const char *file, const char *name,
2171*7fd79137SRobert Mustacchi     int bind)
2172*7fd79137SRobert Mustacchi {
2173*7fd79137SRobert Mustacchi 	ctf_dwfunc_t *cdf;
2174*7fd79137SRobert Mustacchi 
2175*7fd79137SRobert Mustacchi 	if (bind == STB_WEAK)
2176*7fd79137SRobert Mustacchi 		return (NULL);
2177*7fd79137SRobert Mustacchi 
2178*7fd79137SRobert Mustacchi 	/* Nothing we can do if we can't find a name to compare it to. */
2179*7fd79137SRobert Mustacchi 	if (bind == STB_LOCAL && (file == NULL || cup->cu_name == NULL))
2180*7fd79137SRobert Mustacchi 		return (NULL);
2181*7fd79137SRobert Mustacchi 
2182*7fd79137SRobert Mustacchi 	for (cdf = ctf_list_next(&cup->cu_funcs); cdf != NULL;
2183*7fd79137SRobert Mustacchi 	    cdf = ctf_list_next(cdf)) {
2184*7fd79137SRobert Mustacchi 		if (bind == STB_GLOBAL && cdf->cdf_global == B_FALSE)
2185*7fd79137SRobert Mustacchi 			continue;
2186*7fd79137SRobert Mustacchi 		if (bind == STB_LOCAL && cdf->cdf_global == B_TRUE)
2187*7fd79137SRobert Mustacchi 			continue;
2188*7fd79137SRobert Mustacchi 		if (strcmp(name, cdf->cdf_name) != 0)
2189*7fd79137SRobert Mustacchi 			continue;
2190*7fd79137SRobert Mustacchi 		if (bind == STB_LOCAL && strcmp(file, cup->cu_name) != 0)
2191*7fd79137SRobert Mustacchi 			continue;
2192*7fd79137SRobert Mustacchi 		return (cdf);
2193*7fd79137SRobert Mustacchi 	}
2194*7fd79137SRobert Mustacchi 
2195*7fd79137SRobert Mustacchi 	return (NULL);
2196*7fd79137SRobert Mustacchi }
2197*7fd79137SRobert Mustacchi static ctf_dwvar_t *
2198*7fd79137SRobert Mustacchi ctf_dwarf_match_var(ctf_cu_t *cup, const char *file, const char *name,
2199*7fd79137SRobert Mustacchi     int bind)
2200*7fd79137SRobert Mustacchi {
2201*7fd79137SRobert Mustacchi 	ctf_dwvar_t *cdv;
2202*7fd79137SRobert Mustacchi 
2203*7fd79137SRobert Mustacchi 	/* Nothing we can do if we can't find a name to compare it to. */
2204*7fd79137SRobert Mustacchi 	if (bind == STB_LOCAL && (file == NULL || cup->cu_name == NULL))
2205*7fd79137SRobert Mustacchi 		return (NULL);
2206*7fd79137SRobert Mustacchi 	ctf_dprintf("Still considering %s\n", name);
2207*7fd79137SRobert Mustacchi 
2208*7fd79137SRobert Mustacchi 	for (cdv = ctf_list_next(&cup->cu_vars); cdv != NULL;
2209*7fd79137SRobert Mustacchi 	    cdv = ctf_list_next(cdv)) {
2210*7fd79137SRobert Mustacchi 		if (bind == STB_GLOBAL && cdv->cdv_global == B_FALSE)
2211*7fd79137SRobert Mustacchi 			continue;
2212*7fd79137SRobert Mustacchi 		if (bind == STB_LOCAL && cdv->cdv_global == B_TRUE)
2213*7fd79137SRobert Mustacchi 			continue;
2214*7fd79137SRobert Mustacchi 		if (strcmp(name, cdv->cdv_name) != 0)
2215*7fd79137SRobert Mustacchi 			continue;
2216*7fd79137SRobert Mustacchi 		if (bind == STB_LOCAL && strcmp(file, cup->cu_name) != 0)
2217*7fd79137SRobert Mustacchi 			continue;
2218*7fd79137SRobert Mustacchi 		return (cdv);
2219*7fd79137SRobert Mustacchi 	}
2220*7fd79137SRobert Mustacchi 
2221*7fd79137SRobert Mustacchi 	return (NULL);
2222*7fd79137SRobert Mustacchi }
2223*7fd79137SRobert Mustacchi 
2224*7fd79137SRobert Mustacchi static int
2225*7fd79137SRobert Mustacchi ctf_dwarf_symtab_iter(ctf_cu_t *cup, ctf_dwarf_symtab_f *func, void *arg)
2226*7fd79137SRobert Mustacchi {
2227*7fd79137SRobert Mustacchi 	int ret;
2228*7fd79137SRobert Mustacchi 	ulong_t i;
2229*7fd79137SRobert Mustacchi 	ctf_file_t *fp = cup->cu_ctfp;
2230*7fd79137SRobert Mustacchi 	const char *file = NULL;
2231*7fd79137SRobert Mustacchi 	uintptr_t symbase = (uintptr_t)fp->ctf_symtab.cts_data;
2232*7fd79137SRobert Mustacchi 	uintptr_t strbase = (uintptr_t)fp->ctf_strtab.cts_data;
2233*7fd79137SRobert Mustacchi 
2234*7fd79137SRobert Mustacchi 	for (i = 0; i < fp->ctf_nsyms; i++) {
2235*7fd79137SRobert Mustacchi 		const char *name;
2236*7fd79137SRobert Mustacchi 		int type;
2237*7fd79137SRobert Mustacchi 		GElf_Sym gsym;
2238*7fd79137SRobert Mustacchi 		const GElf_Sym *gsymp;
2239*7fd79137SRobert Mustacchi 
2240*7fd79137SRobert Mustacchi 		if (fp->ctf_symtab.cts_entsize == sizeof (Elf32_Sym)) {
2241*7fd79137SRobert Mustacchi 			const Elf32_Sym *symp = (Elf32_Sym *)symbase + i;
2242*7fd79137SRobert Mustacchi 			type = ELF32_ST_TYPE(symp->st_info);
2243*7fd79137SRobert Mustacchi 			if (type == STT_FILE) {
2244*7fd79137SRobert Mustacchi 				file = (char *)(strbase + symp->st_name);
2245*7fd79137SRobert Mustacchi 				continue;
2246*7fd79137SRobert Mustacchi 			}
2247*7fd79137SRobert Mustacchi 			if (type != STT_OBJECT && type != STT_FUNC)
2248*7fd79137SRobert Mustacchi 				continue;
2249*7fd79137SRobert Mustacchi 			if (ctf_sym_valid(strbase, type, symp->st_shndx,
2250*7fd79137SRobert Mustacchi 			    symp->st_value, symp->st_name) == B_FALSE)
2251*7fd79137SRobert Mustacchi 				continue;
2252*7fd79137SRobert Mustacchi 			name = (char *)(strbase + symp->st_name);
2253*7fd79137SRobert Mustacchi 			gsym.st_name = symp->st_name;
2254*7fd79137SRobert Mustacchi 			gsym.st_value = symp->st_value;
2255*7fd79137SRobert Mustacchi 			gsym.st_size = symp->st_size;
2256*7fd79137SRobert Mustacchi 			gsym.st_info = symp->st_info;
2257*7fd79137SRobert Mustacchi 			gsym.st_other = symp->st_other;
2258*7fd79137SRobert Mustacchi 			gsym.st_shndx = symp->st_shndx;
2259*7fd79137SRobert Mustacchi 			gsymp = &gsym;
2260*7fd79137SRobert Mustacchi 		} else {
2261*7fd79137SRobert Mustacchi 			const Elf64_Sym *symp = (Elf64_Sym *)symbase + i;
2262*7fd79137SRobert Mustacchi 			type = ELF64_ST_TYPE(symp->st_info);
2263*7fd79137SRobert Mustacchi 			if (type == STT_FILE) {
2264*7fd79137SRobert Mustacchi 				file = (char *)(strbase + symp->st_name);
2265*7fd79137SRobert Mustacchi 				continue;
2266*7fd79137SRobert Mustacchi 			}
2267*7fd79137SRobert Mustacchi 			if (type != STT_OBJECT && type != STT_FUNC)
2268*7fd79137SRobert Mustacchi 				continue;
2269*7fd79137SRobert Mustacchi 			if (ctf_sym_valid(strbase, type, symp->st_shndx,
2270*7fd79137SRobert Mustacchi 			    symp->st_value, symp->st_name) == B_FALSE)
2271*7fd79137SRobert Mustacchi 				continue;
2272*7fd79137SRobert Mustacchi 			name = (char *)(strbase + symp->st_name);
2273*7fd79137SRobert Mustacchi 			gsymp = symp;
2274*7fd79137SRobert Mustacchi 		}
2275*7fd79137SRobert Mustacchi 
2276*7fd79137SRobert Mustacchi 		ret = func(cup, gsymp, i, file, name, arg);
2277*7fd79137SRobert Mustacchi 		if (ret != 0)
2278*7fd79137SRobert Mustacchi 			return (ret);
2279*7fd79137SRobert Mustacchi 	}
2280*7fd79137SRobert Mustacchi 
2281*7fd79137SRobert Mustacchi 	return (0);
2282*7fd79137SRobert Mustacchi }
2283*7fd79137SRobert Mustacchi 
2284*7fd79137SRobert Mustacchi static int
2285*7fd79137SRobert Mustacchi ctf_dwarf_conv_funcvars_cb(ctf_cu_t *cup, const GElf_Sym *symp, ulong_t idx,
2286*7fd79137SRobert Mustacchi     const char *file, const char *name, void *arg)
2287*7fd79137SRobert Mustacchi {
2288*7fd79137SRobert Mustacchi 	int ret, bind, type;
2289*7fd79137SRobert Mustacchi 
2290*7fd79137SRobert Mustacchi 	bind = GELF_ST_BIND(symp->st_info);
2291*7fd79137SRobert Mustacchi 	type = GELF_ST_TYPE(symp->st_info);
2292*7fd79137SRobert Mustacchi 
2293*7fd79137SRobert Mustacchi 	/*
2294*7fd79137SRobert Mustacchi 	 * Come back to weak symbols in another pass
2295*7fd79137SRobert Mustacchi 	 */
2296*7fd79137SRobert Mustacchi 	if (bind == STB_WEAK)
2297*7fd79137SRobert Mustacchi 		return (0);
2298*7fd79137SRobert Mustacchi 
2299*7fd79137SRobert Mustacchi 	if (type == STT_OBJECT) {
2300*7fd79137SRobert Mustacchi 		ctf_dwvar_t *cdv = ctf_dwarf_match_var(cup, file, name,
2301*7fd79137SRobert Mustacchi 		    bind);
2302*7fd79137SRobert Mustacchi 		ctf_dprintf("match for %s (%d): %p\n", name, idx, cdv);
2303*7fd79137SRobert Mustacchi 		if (cdv == NULL)
2304*7fd79137SRobert Mustacchi 			return (0);
2305*7fd79137SRobert Mustacchi 		ret = ctf_add_object(cup->cu_ctfp, idx, cdv->cdv_type);
2306*7fd79137SRobert Mustacchi 		ctf_dprintf("added object %s\n", name);
2307*7fd79137SRobert Mustacchi 	} else {
2308*7fd79137SRobert Mustacchi 		ctf_dwfunc_t *cdf = ctf_dwarf_match_func(cup, file, name,
2309*7fd79137SRobert Mustacchi 		    bind);
2310*7fd79137SRobert Mustacchi 		if (cdf == NULL)
2311*7fd79137SRobert Mustacchi 			return (0);
2312*7fd79137SRobert Mustacchi 		ret = ctf_add_function(cup->cu_ctfp, idx, &cdf->cdf_fip,
2313*7fd79137SRobert Mustacchi 		    cdf->cdf_argv);
2314*7fd79137SRobert Mustacchi 	}
2315*7fd79137SRobert Mustacchi 
2316*7fd79137SRobert Mustacchi 	if (ret == CTF_ERR) {
2317*7fd79137SRobert Mustacchi 		return (ctf_errno(cup->cu_ctfp));
2318*7fd79137SRobert Mustacchi 	}
2319*7fd79137SRobert Mustacchi 
2320*7fd79137SRobert Mustacchi 	return (0);
2321*7fd79137SRobert Mustacchi }
2322*7fd79137SRobert Mustacchi 
2323*7fd79137SRobert Mustacchi static int
2324*7fd79137SRobert Mustacchi ctf_dwarf_conv_funcvars(ctf_cu_t *cup)
2325*7fd79137SRobert Mustacchi {
2326*7fd79137SRobert Mustacchi 	return (ctf_dwarf_symtab_iter(cup, ctf_dwarf_conv_funcvars_cb, NULL));
2327*7fd79137SRobert Mustacchi }
2328*7fd79137SRobert Mustacchi 
2329*7fd79137SRobert Mustacchi /*
2330*7fd79137SRobert Mustacchi  * If we have a weak symbol, attempt to find the strong symbol it will resolve
2331*7fd79137SRobert Mustacchi  * to.  Note: the code where this actually happens is in sym_process() in
2332*7fd79137SRobert Mustacchi  * cmd/sgs/libld/common/syms.c
2333*7fd79137SRobert Mustacchi  *
2334*7fd79137SRobert Mustacchi  * Finding the matching symbol is unfortunately not trivial.  For a symbol to be
2335*7fd79137SRobert Mustacchi  * a candidate, it must:
2336*7fd79137SRobert Mustacchi  *
2337*7fd79137SRobert Mustacchi  * - have the same type (function, object)
2338*7fd79137SRobert Mustacchi  * - have the same value (address)
2339*7fd79137SRobert Mustacchi  * - have the same size
2340*7fd79137SRobert Mustacchi  * - not be another weak symbol
2341*7fd79137SRobert Mustacchi  * - belong to the same section (checked via section index)
2342*7fd79137SRobert Mustacchi  *
2343*7fd79137SRobert Mustacchi  * To perform this check, we first iterate over the symbol table. For each weak
2344*7fd79137SRobert Mustacchi  * symbol that we encounter, we then do a second walk over the symbol table,
2345*7fd79137SRobert Mustacchi  * calling ctf_dwarf_conv_check_weak(). If a symbol matches the above, then it's
2346*7fd79137SRobert Mustacchi  * either a local or global symbol. If we find a global symbol then we go with
2347*7fd79137SRobert Mustacchi  * it and stop searching for additional matches.
2348*7fd79137SRobert Mustacchi  *
2349*7fd79137SRobert Mustacchi  * If instead, we find a local symbol, things are more complicated. The first
2350*7fd79137SRobert Mustacchi  * thing we do is to try and see if we have file information about both symbols
2351*7fd79137SRobert Mustacchi  * (STT_FILE). If they both have file information and it matches, then we treat
2352*7fd79137SRobert Mustacchi  * that as a good match and stop searching for additional matches.
2353*7fd79137SRobert Mustacchi  *
2354*7fd79137SRobert Mustacchi  * Otherwise, this means we have a non-matching file and a local symbol. We
2355*7fd79137SRobert Mustacchi  * treat this as a candidate and if we find a better match (one of the two cases
2356*7fd79137SRobert Mustacchi  * above), use that instead. There are two different ways this can happen.
2357*7fd79137SRobert Mustacchi  * Either this is a completely different symbol, or it's a once-global symbol
2358*7fd79137SRobert Mustacchi  * that was scoped to local via a mapfile.  In the former case, curfile is
2359*7fd79137SRobert Mustacchi  * likely inaccurate since the linker does not preserve the needed curfile in
2360*7fd79137SRobert Mustacchi  * the order of the symbol table (see the comments about locally scoped symbols
2361*7fd79137SRobert Mustacchi  * in libld's update_osym()).  As we can't tell this case from the former one,
2362*7fd79137SRobert Mustacchi  * we use this symbol iff no other matching symbol is found.
2363*7fd79137SRobert Mustacchi  *
2364*7fd79137SRobert Mustacchi  * What we really need here is a SUNW section containing weak<->strong mappings
2365*7fd79137SRobert Mustacchi  * that we can consume.
2366*7fd79137SRobert Mustacchi  */
2367*7fd79137SRobert Mustacchi typedef struct ctf_dwarf_weak_arg {
2368*7fd79137SRobert Mustacchi 	const GElf_Sym *cweak_symp;
2369*7fd79137SRobert Mustacchi 	const char *cweak_file;
2370*7fd79137SRobert Mustacchi 	boolean_t cweak_candidate;
2371*7fd79137SRobert Mustacchi 	ulong_t cweak_idx;
2372*7fd79137SRobert Mustacchi } ctf_dwarf_weak_arg_t;
2373*7fd79137SRobert Mustacchi 
2374*7fd79137SRobert Mustacchi static int
2375*7fd79137SRobert Mustacchi ctf_dwarf_conv_check_weak(ctf_cu_t *cup, const GElf_Sym *symp,
2376*7fd79137SRobert Mustacchi     ulong_t idx, const char *file, const char *name, void *arg)
2377*7fd79137SRobert Mustacchi {
2378*7fd79137SRobert Mustacchi 	ctf_dwarf_weak_arg_t *cweak = arg;
2379*7fd79137SRobert Mustacchi 	const GElf_Sym *wsymp = cweak->cweak_symp;
2380*7fd79137SRobert Mustacchi 
2381*7fd79137SRobert Mustacchi 	ctf_dprintf("comparing weak to %s\n", name);
2382*7fd79137SRobert Mustacchi 
2383*7fd79137SRobert Mustacchi 	if (GELF_ST_BIND(symp->st_info) == STB_WEAK) {
2384*7fd79137SRobert Mustacchi 		return (0);
2385*7fd79137SRobert Mustacchi 	}
2386*7fd79137SRobert Mustacchi 
2387*7fd79137SRobert Mustacchi 	if (GELF_ST_TYPE(wsymp->st_info) != GELF_ST_TYPE(symp->st_info)) {
2388*7fd79137SRobert Mustacchi 		return (0);
2389*7fd79137SRobert Mustacchi 	}
2390*7fd79137SRobert Mustacchi 
2391*7fd79137SRobert Mustacchi 	if (wsymp->st_value != symp->st_value) {
2392*7fd79137SRobert Mustacchi 		return (0);
2393*7fd79137SRobert Mustacchi 	}
2394*7fd79137SRobert Mustacchi 
2395*7fd79137SRobert Mustacchi 	if (wsymp->st_size != symp->st_size) {
2396*7fd79137SRobert Mustacchi 		return (0);
2397*7fd79137SRobert Mustacchi 	}
2398*7fd79137SRobert Mustacchi 
2399*7fd79137SRobert Mustacchi 	if (wsymp->st_shndx != symp->st_shndx) {
2400*7fd79137SRobert Mustacchi 		return (0);
2401*7fd79137SRobert Mustacchi 	}
2402*7fd79137SRobert Mustacchi 
2403*7fd79137SRobert Mustacchi 	/*
2404*7fd79137SRobert Mustacchi 	 * Check if it's a weak candidate.
2405*7fd79137SRobert Mustacchi 	 */
2406*7fd79137SRobert Mustacchi 	if (GELF_ST_BIND(symp->st_info) == STB_LOCAL &&
2407*7fd79137SRobert Mustacchi 	    (file == NULL || cweak->cweak_file == NULL ||
2408*7fd79137SRobert Mustacchi 	    strcmp(file, cweak->cweak_file) != 0)) {
2409*7fd79137SRobert Mustacchi 		cweak->cweak_candidate = B_TRUE;
2410*7fd79137SRobert Mustacchi 		cweak->cweak_idx = idx;
2411*7fd79137SRobert Mustacchi 		return (0);
2412*7fd79137SRobert Mustacchi 	}
2413*7fd79137SRobert Mustacchi 
2414*7fd79137SRobert Mustacchi 	/*
2415*7fd79137SRobert Mustacchi 	 * Found a match, break.
2416*7fd79137SRobert Mustacchi 	 */
2417*7fd79137SRobert Mustacchi 	cweak->cweak_idx = idx;
2418*7fd79137SRobert Mustacchi 	return (1);
2419*7fd79137SRobert Mustacchi }
2420*7fd79137SRobert Mustacchi 
2421*7fd79137SRobert Mustacchi static int
2422*7fd79137SRobert Mustacchi ctf_dwarf_duplicate_sym(ctf_cu_t *cup, ulong_t idx, ulong_t matchidx)
2423*7fd79137SRobert Mustacchi {
2424*7fd79137SRobert Mustacchi 	ctf_id_t id = ctf_lookup_by_symbol(cup->cu_ctfp, matchidx);
2425*7fd79137SRobert Mustacchi 
2426*7fd79137SRobert Mustacchi 	/*
2427*7fd79137SRobert Mustacchi 	 * If we matched something that for some reason didn't have type data,
2428*7fd79137SRobert Mustacchi 	 * we don't consider that a fatal error and silently swallow it.
2429*7fd79137SRobert Mustacchi 	 */
2430*7fd79137SRobert Mustacchi 	if (id == CTF_ERR) {
2431*7fd79137SRobert Mustacchi 		if (ctf_errno(cup->cu_ctfp) == ECTF_NOTYPEDAT)
2432*7fd79137SRobert Mustacchi 			return (0);
2433*7fd79137SRobert Mustacchi 		else
2434*7fd79137SRobert Mustacchi 			return (ctf_errno(cup->cu_ctfp));
2435*7fd79137SRobert Mustacchi 	}
2436*7fd79137SRobert Mustacchi 
2437*7fd79137SRobert Mustacchi 	if (ctf_add_object(cup->cu_ctfp, idx, id) == CTF_ERR)
2438*7fd79137SRobert Mustacchi 		return (ctf_errno(cup->cu_ctfp));
2439*7fd79137SRobert Mustacchi 
2440*7fd79137SRobert Mustacchi 	return (0);
2441*7fd79137SRobert Mustacchi }
2442*7fd79137SRobert Mustacchi 
2443*7fd79137SRobert Mustacchi static int
2444*7fd79137SRobert Mustacchi ctf_dwarf_duplicate_func(ctf_cu_t *cup, ulong_t idx, ulong_t matchidx)
2445*7fd79137SRobert Mustacchi {
2446*7fd79137SRobert Mustacchi 	int ret;
2447*7fd79137SRobert Mustacchi 	ctf_funcinfo_t fip;
2448*7fd79137SRobert Mustacchi 	ctf_id_t *args = NULL;
2449*7fd79137SRobert Mustacchi 
2450*7fd79137SRobert Mustacchi 	if (ctf_func_info(cup->cu_ctfp, matchidx, &fip) == CTF_ERR) {
2451*7fd79137SRobert Mustacchi 		if (ctf_errno(cup->cu_ctfp) == ECTF_NOFUNCDAT)
2452*7fd79137SRobert Mustacchi 			return (0);
2453*7fd79137SRobert Mustacchi 		else
2454*7fd79137SRobert Mustacchi 			return (ctf_errno(cup->cu_ctfp));
2455*7fd79137SRobert Mustacchi 	}
2456*7fd79137SRobert Mustacchi 
2457*7fd79137SRobert Mustacchi 	if (fip.ctc_argc != 0) {
2458*7fd79137SRobert Mustacchi 		args = ctf_alloc(sizeof (ctf_id_t) * fip.ctc_argc);
2459*7fd79137SRobert Mustacchi 		if (args == NULL)
2460*7fd79137SRobert Mustacchi 			return (ENOMEM);
2461*7fd79137SRobert Mustacchi 
2462*7fd79137SRobert Mustacchi 		if (ctf_func_args(cup->cu_ctfp, matchidx, fip.ctc_argc, args) ==
2463*7fd79137SRobert Mustacchi 		    CTF_ERR) {
2464*7fd79137SRobert Mustacchi 			ctf_free(args, sizeof (ctf_id_t) * fip.ctc_argc);
2465*7fd79137SRobert Mustacchi 			return (ctf_errno(cup->cu_ctfp));
2466*7fd79137SRobert Mustacchi 		}
2467*7fd79137SRobert Mustacchi 	}
2468*7fd79137SRobert Mustacchi 
2469*7fd79137SRobert Mustacchi 	ret = ctf_add_function(cup->cu_ctfp, idx, &fip, args);
2470*7fd79137SRobert Mustacchi 	if (args != NULL)
2471*7fd79137SRobert Mustacchi 		ctf_free(args, sizeof (ctf_id_t) * fip.ctc_argc);
2472*7fd79137SRobert Mustacchi 	if (ret == CTF_ERR)
2473*7fd79137SRobert Mustacchi 		return (ctf_errno(cup->cu_ctfp));
2474*7fd79137SRobert Mustacchi 
2475*7fd79137SRobert Mustacchi 	return (0);
2476*7fd79137SRobert Mustacchi }
2477*7fd79137SRobert Mustacchi 
2478*7fd79137SRobert Mustacchi static int
2479*7fd79137SRobert Mustacchi ctf_dwarf_conv_weaks_cb(ctf_cu_t *cup, const GElf_Sym *symp,
2480*7fd79137SRobert Mustacchi     ulong_t idx, const char *file, const char *name, void *arg)
2481*7fd79137SRobert Mustacchi {
2482*7fd79137SRobert Mustacchi 	int ret, type;
2483*7fd79137SRobert Mustacchi 	ctf_dwarf_weak_arg_t cweak;
2484*7fd79137SRobert Mustacchi 
2485*7fd79137SRobert Mustacchi 	/*
2486*7fd79137SRobert Mustacchi 	 * We only care about weak symbols.
2487*7fd79137SRobert Mustacchi 	 */
2488*7fd79137SRobert Mustacchi 	if (GELF_ST_BIND(symp->st_info) != STB_WEAK)
2489*7fd79137SRobert Mustacchi 		return (0);
2490*7fd79137SRobert Mustacchi 
2491*7fd79137SRobert Mustacchi 	type = GELF_ST_TYPE(symp->st_info);
2492*7fd79137SRobert Mustacchi 	ASSERT(type == STT_OBJECT || type == STT_FUNC);
2493*7fd79137SRobert Mustacchi 
2494*7fd79137SRobert Mustacchi 	/*
2495*7fd79137SRobert Mustacchi 	 * For each weak symbol we encounter, we need to do a second iteration
2496*7fd79137SRobert Mustacchi 	 * to try and find a match. We should probably think about other
2497*7fd79137SRobert Mustacchi 	 * techniques to try and save us time in the future.
2498*7fd79137SRobert Mustacchi 	 */
2499*7fd79137SRobert Mustacchi 	cweak.cweak_symp = symp;
2500*7fd79137SRobert Mustacchi 	cweak.cweak_file = file;
2501*7fd79137SRobert Mustacchi 	cweak.cweak_candidate = B_FALSE;
2502*7fd79137SRobert Mustacchi 	cweak.cweak_idx = 0;
2503*7fd79137SRobert Mustacchi 
2504*7fd79137SRobert Mustacchi 	ctf_dprintf("Trying to find weak equiv for %s\n", name);
2505*7fd79137SRobert Mustacchi 
2506*7fd79137SRobert Mustacchi 	ret = ctf_dwarf_symtab_iter(cup, ctf_dwarf_conv_check_weak, &cweak);
2507*7fd79137SRobert Mustacchi 	VERIFY(ret == 0 || ret == 1);
2508*7fd79137SRobert Mustacchi 
2509*7fd79137SRobert Mustacchi 	/*
2510*7fd79137SRobert Mustacchi 	 * Nothing was ever found, we're not going to add anything for this
2511*7fd79137SRobert Mustacchi 	 * entry.
2512*7fd79137SRobert Mustacchi 	 */
2513*7fd79137SRobert Mustacchi 	if (ret == 0 && cweak.cweak_candidate == B_FALSE) {
2514*7fd79137SRobert Mustacchi 		ctf_dprintf("found no weak match for %s\n", name);
2515*7fd79137SRobert Mustacchi 		return (0);
2516*7fd79137SRobert Mustacchi 	}
2517*7fd79137SRobert Mustacchi 
2518*7fd79137SRobert Mustacchi 	/*
2519*7fd79137SRobert Mustacchi 	 * Now, finally go and add the type based on the match.
2520*7fd79137SRobert Mustacchi 	 */
2521*7fd79137SRobert Mustacchi 	if (type == STT_OBJECT) {
2522*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_duplicate_sym(cup, idx, cweak.cweak_idx);
2523*7fd79137SRobert Mustacchi 	} else {
2524*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_duplicate_func(cup, idx, cweak.cweak_idx);
2525*7fd79137SRobert Mustacchi 	}
2526*7fd79137SRobert Mustacchi 
2527*7fd79137SRobert Mustacchi 	return (ret);
2528*7fd79137SRobert Mustacchi }
2529*7fd79137SRobert Mustacchi 
2530*7fd79137SRobert Mustacchi static int
2531*7fd79137SRobert Mustacchi ctf_dwarf_conv_weaks(ctf_cu_t *cup)
2532*7fd79137SRobert Mustacchi {
2533*7fd79137SRobert Mustacchi 	return (ctf_dwarf_symtab_iter(cup, ctf_dwarf_conv_weaks_cb, NULL));
2534*7fd79137SRobert Mustacchi }
2535*7fd79137SRobert Mustacchi 
2536*7fd79137SRobert Mustacchi /* ARGSUSED */
2537*7fd79137SRobert Mustacchi static int
2538*7fd79137SRobert Mustacchi ctf_dwarf_convert_one(void *arg, void *unused)
2539*7fd79137SRobert Mustacchi {
2540*7fd79137SRobert Mustacchi 	int ret;
2541*7fd79137SRobert Mustacchi 	ctf_file_t *dedup;
2542*7fd79137SRobert Mustacchi 	ctf_cu_t *cup = arg;
2543*7fd79137SRobert Mustacchi 
2544*7fd79137SRobert Mustacchi 	ctf_dprintf("converting die: %s\n", cup->cu_name);
2545*7fd79137SRobert Mustacchi 	ctf_dprintf("max offset: %x\n", cup->cu_maxoff);
2546*7fd79137SRobert Mustacchi 	VERIFY(cup != NULL);
2547*7fd79137SRobert Mustacchi 
2548*7fd79137SRobert Mustacchi 	ret = ctf_dwarf_convert_die(cup, cup->cu_cu);
2549*7fd79137SRobert Mustacchi 	ctf_dprintf("ctf_dwarf_convert_die (%s) returned %d\n", cup->cu_name,
2550*7fd79137SRobert Mustacchi 	    ret);
2551*7fd79137SRobert Mustacchi 	if (ret != 0) {
2552*7fd79137SRobert Mustacchi 		return (ret);
2553*7fd79137SRobert Mustacchi 	}
2554*7fd79137SRobert Mustacchi 	if (ctf_update(cup->cu_ctfp) != 0) {
2555*7fd79137SRobert Mustacchi 		return (ctf_dwarf_error(cup, cup->cu_ctfp, 0,
2556*7fd79137SRobert Mustacchi 		    "failed to update output ctf container"));
2557*7fd79137SRobert Mustacchi 	}
2558*7fd79137SRobert Mustacchi 
2559*7fd79137SRobert Mustacchi 	ret = ctf_dwarf_fixup_die(cup, B_FALSE);
2560*7fd79137SRobert Mustacchi 	ctf_dprintf("ctf_dwarf_fixup_die (%s) returned %d\n", cup->cu_name,
2561*7fd79137SRobert Mustacchi 	    ret);
2562*7fd79137SRobert Mustacchi 	if (ret != 0) {
2563*7fd79137SRobert Mustacchi 		return (ret);
2564*7fd79137SRobert Mustacchi 	}
2565*7fd79137SRobert Mustacchi 	if (ctf_update(cup->cu_ctfp) != 0) {
2566*7fd79137SRobert Mustacchi 		return (ctf_dwarf_error(cup, cup->cu_ctfp, 0,
2567*7fd79137SRobert Mustacchi 		    "failed to update output ctf container"));
2568*7fd79137SRobert Mustacchi 	}
2569*7fd79137SRobert Mustacchi 
2570*7fd79137SRobert Mustacchi 	ret = ctf_dwarf_fixup_die(cup, B_TRUE);
2571*7fd79137SRobert Mustacchi 	ctf_dprintf("ctf_dwarf_fixup_die (%s) returned %d\n", cup->cu_name,
2572*7fd79137SRobert Mustacchi 	    ret);
2573*7fd79137SRobert Mustacchi 	if (ret != 0) {
2574*7fd79137SRobert Mustacchi 		return (ret);
2575*7fd79137SRobert Mustacchi 	}
2576*7fd79137SRobert Mustacchi 	if (ctf_update(cup->cu_ctfp) != 0) {
2577*7fd79137SRobert Mustacchi 		return (ctf_dwarf_error(cup, cup->cu_ctfp, 0,
2578*7fd79137SRobert Mustacchi 		    "failed to update output ctf container"));
2579*7fd79137SRobert Mustacchi 	}
2580*7fd79137SRobert Mustacchi 
2581*7fd79137SRobert Mustacchi 
2582*7fd79137SRobert Mustacchi 	if ((ret = ctf_dwarf_conv_funcvars(cup)) != 0) {
2583*7fd79137SRobert Mustacchi 		return (ctf_dwarf_error(cup, NULL, ret,
2584*7fd79137SRobert Mustacchi 		    "failed to convert strong functions and variables"));
2585*7fd79137SRobert Mustacchi 	}
2586*7fd79137SRobert Mustacchi 
2587*7fd79137SRobert Mustacchi 	if (ctf_update(cup->cu_ctfp) != 0) {
2588*7fd79137SRobert Mustacchi 		return (ctf_dwarf_error(cup, cup->cu_ctfp, 0,
2589*7fd79137SRobert Mustacchi 		    "failed to update output ctf container"));
2590*7fd79137SRobert Mustacchi 	}
2591*7fd79137SRobert Mustacchi 
2592*7fd79137SRobert Mustacchi 	if (cup->cu_doweaks == B_TRUE) {
2593*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_conv_weaks(cup)) != 0) {
2594*7fd79137SRobert Mustacchi 			return (ctf_dwarf_error(cup, NULL, ret,
2595*7fd79137SRobert Mustacchi 			    "failed to convert weak functions and variables"));
2596*7fd79137SRobert Mustacchi 		}
2597*7fd79137SRobert Mustacchi 
2598*7fd79137SRobert Mustacchi 		if (ctf_update(cup->cu_ctfp) != 0) {
2599*7fd79137SRobert Mustacchi 			return (ctf_dwarf_error(cup, cup->cu_ctfp, 0,
2600*7fd79137SRobert Mustacchi 			    "failed to update output ctf container"));
2601*7fd79137SRobert Mustacchi 		}
2602*7fd79137SRobert Mustacchi 	}
2603*7fd79137SRobert Mustacchi 
2604*7fd79137SRobert Mustacchi 	ctf_phase_dump(cup->cu_ctfp, "pre-dedup");
2605*7fd79137SRobert Mustacchi 	ctf_dprintf("adding inputs for dedup\n");
2606*7fd79137SRobert Mustacchi 	if ((ret = ctf_merge_add(cup->cu_cmh, cup->cu_ctfp)) != 0) {
2607*7fd79137SRobert Mustacchi 		return (ctf_dwarf_error(cup, NULL, ret,
2608*7fd79137SRobert Mustacchi 		    "failed to add inputs for merge"));
2609*7fd79137SRobert Mustacchi 	}
2610*7fd79137SRobert Mustacchi 
2611*7fd79137SRobert Mustacchi 	ctf_dprintf("starting merge\n");
2612*7fd79137SRobert Mustacchi 	if ((ret = ctf_merge_dedup(cup->cu_cmh, &dedup)) != 0) {
2613*7fd79137SRobert Mustacchi 		return (ctf_dwarf_error(cup, NULL, ret,
2614*7fd79137SRobert Mustacchi 		    "failed to deduplicate die"));
2615*7fd79137SRobert Mustacchi 	}
2616*7fd79137SRobert Mustacchi 	ctf_close(cup->cu_ctfp);
2617*7fd79137SRobert Mustacchi 	cup->cu_ctfp = dedup;
2618*7fd79137SRobert Mustacchi 
2619*7fd79137SRobert Mustacchi 	return (0);
2620*7fd79137SRobert Mustacchi }
2621*7fd79137SRobert Mustacchi 
2622*7fd79137SRobert Mustacchi /*
2623*7fd79137SRobert Mustacchi  * Note, we expect that if we're returning a ctf_file_t from one of the dies,
2624*7fd79137SRobert Mustacchi  * say in the single node case, it's been saved and the entry here has been set
2625*7fd79137SRobert Mustacchi  * to NULL, which ctf_close happily ignores.
2626*7fd79137SRobert Mustacchi  */
2627*7fd79137SRobert Mustacchi static void
2628*7fd79137SRobert Mustacchi ctf_dwarf_free_die(ctf_cu_t *cup)
2629*7fd79137SRobert Mustacchi {
2630*7fd79137SRobert Mustacchi 	ctf_dwfunc_t *cdf, *ndf;
2631*7fd79137SRobert Mustacchi 	ctf_dwvar_t *cdv, *ndv;
2632*7fd79137SRobert Mustacchi 	ctf_dwbitf_t *cdb, *ndb;
2633*7fd79137SRobert Mustacchi 	ctf_dwmap_t *map;
2634*7fd79137SRobert Mustacchi 	void *cookie;
2635*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
2636*7fd79137SRobert Mustacchi 
2637*7fd79137SRobert Mustacchi 	ctf_dprintf("Beginning to free die: %p\n", cup);
2638*7fd79137SRobert Mustacchi 	cup->cu_elf = NULL;
2639*7fd79137SRobert Mustacchi 	ctf_dprintf("Trying to free name: %p\n", cup->cu_name);
2640*7fd79137SRobert Mustacchi 	if (cup->cu_name != NULL)
2641*7fd79137SRobert Mustacchi 		ctf_free(cup->cu_name, strlen(cup->cu_name) + 1);
2642*7fd79137SRobert Mustacchi 	ctf_dprintf("Trying to free merge handle: %p\n", cup->cu_cmh);
2643*7fd79137SRobert Mustacchi 	if (cup->cu_cmh != NULL) {
2644*7fd79137SRobert Mustacchi 		ctf_merge_fini(cup->cu_cmh);
2645*7fd79137SRobert Mustacchi 		cup->cu_cmh = NULL;
2646*7fd79137SRobert Mustacchi 	}
2647*7fd79137SRobert Mustacchi 
2648*7fd79137SRobert Mustacchi 	ctf_dprintf("Trying to free functions\n");
2649*7fd79137SRobert Mustacchi 	for (cdf = ctf_list_next(&cup->cu_funcs); cdf != NULL; cdf = ndf) {
2650*7fd79137SRobert Mustacchi 		ndf = ctf_list_next(cdf);
2651*7fd79137SRobert Mustacchi 		ctf_free(cdf->cdf_name, strlen(cdf->cdf_name) + 1);
2652*7fd79137SRobert Mustacchi 		if (cdf->cdf_fip.ctc_argc != 0) {
2653*7fd79137SRobert Mustacchi 			ctf_free(cdf->cdf_argv,
2654*7fd79137SRobert Mustacchi 			    sizeof (ctf_id_t) * cdf->cdf_fip.ctc_argc);
2655*7fd79137SRobert Mustacchi 		}
2656*7fd79137SRobert Mustacchi 		ctf_free(cdf, sizeof (ctf_dwfunc_t));
2657*7fd79137SRobert Mustacchi 	}
2658*7fd79137SRobert Mustacchi 
2659*7fd79137SRobert Mustacchi 	ctf_dprintf("Trying to free variables\n");
2660*7fd79137SRobert Mustacchi 	for (cdv = ctf_list_next(&cup->cu_vars); cdv != NULL; cdv = ndv) {
2661*7fd79137SRobert Mustacchi 		ndv = ctf_list_next(cdv);
2662*7fd79137SRobert Mustacchi 		ctf_free(cdv->cdv_name, strlen(cdv->cdv_name) + 1);
2663*7fd79137SRobert Mustacchi 		ctf_free(cdv, sizeof (ctf_dwvar_t));
2664*7fd79137SRobert Mustacchi 	}
2665*7fd79137SRobert Mustacchi 
2666*7fd79137SRobert Mustacchi 	ctf_dprintf("Trying to free bitfields\n");
2667*7fd79137SRobert Mustacchi 	for (cdb = ctf_list_next(&cup->cu_bitfields); cdb != NULL; cdb = ndb) {
2668*7fd79137SRobert Mustacchi 		ndb = ctf_list_next(cdb);
2669*7fd79137SRobert Mustacchi 		ctf_free(cdb, sizeof (ctf_dwbitf_t));
2670*7fd79137SRobert Mustacchi 	}
2671*7fd79137SRobert Mustacchi 
2672*7fd79137SRobert Mustacchi 	ctf_dprintf("Trying to clean up dwarf_t: %p\n", cup->cu_dwarf);
2673*7fd79137SRobert Mustacchi 	(void) dwarf_finish(cup->cu_dwarf, &derr);
2674*7fd79137SRobert Mustacchi 	cup->cu_dwarf = NULL;
2675*7fd79137SRobert Mustacchi 	ctf_close(cup->cu_ctfp);
2676*7fd79137SRobert Mustacchi 
2677*7fd79137SRobert Mustacchi 	cookie = NULL;
2678*7fd79137SRobert Mustacchi 	while ((map = avl_destroy_nodes(&cup->cu_map, &cookie)) != NULL) {
2679*7fd79137SRobert Mustacchi 		ctf_free(map, sizeof (ctf_dwmap_t));
2680*7fd79137SRobert Mustacchi 	}
2681*7fd79137SRobert Mustacchi 	avl_destroy(&cup->cu_map);
2682*7fd79137SRobert Mustacchi 	cup->cu_errbuf = NULL;
2683*7fd79137SRobert Mustacchi }
2684*7fd79137SRobert Mustacchi 
2685*7fd79137SRobert Mustacchi static void
2686*7fd79137SRobert Mustacchi ctf_dwarf_free_dies(ctf_cu_t *cdies, int ndies)
2687*7fd79137SRobert Mustacchi {
2688*7fd79137SRobert Mustacchi 	int i;
2689*7fd79137SRobert Mustacchi 
2690*7fd79137SRobert Mustacchi 	ctf_dprintf("Beginning to free dies\n");
2691*7fd79137SRobert Mustacchi 	for (i = 0; i < ndies; i++) {
2692*7fd79137SRobert Mustacchi 		ctf_dwarf_free_die(&cdies[i]);
2693*7fd79137SRobert Mustacchi 	}
2694*7fd79137SRobert Mustacchi 
2695*7fd79137SRobert Mustacchi 	ctf_free(cdies, sizeof (ctf_cu_t) * ndies);
2696*7fd79137SRobert Mustacchi }
2697*7fd79137SRobert Mustacchi 
2698*7fd79137SRobert Mustacchi static int
2699*7fd79137SRobert Mustacchi ctf_dwarf_count_dies(Dwarf_Debug dw, Dwarf_Error *derr, int *ndies,
2700*7fd79137SRobert Mustacchi     char *errbuf, size_t errlen)
2701*7fd79137SRobert Mustacchi {
2702*7fd79137SRobert Mustacchi 	int ret;
2703*7fd79137SRobert Mustacchi 	Dwarf_Half vers;
2704*7fd79137SRobert Mustacchi 	Dwarf_Unsigned nexthdr;
2705*7fd79137SRobert Mustacchi 
2706*7fd79137SRobert Mustacchi 	while ((ret = dwarf_next_cu_header(dw, NULL, &vers, NULL, NULL,
2707*7fd79137SRobert Mustacchi 	    &nexthdr, derr)) != DW_DLV_NO_ENTRY) {
2708*7fd79137SRobert Mustacchi 		if (ret != DW_DLV_OK) {
2709*7fd79137SRobert Mustacchi 			(void) snprintf(errbuf, errlen,
2710*7fd79137SRobert Mustacchi 			    "file does not contain valid DWARF data: %s\n",
2711*7fd79137SRobert Mustacchi 			    dwarf_errmsg(*derr));
2712*7fd79137SRobert Mustacchi 			return (ECTF_CONVBKERR);
2713*7fd79137SRobert Mustacchi 		}
2714*7fd79137SRobert Mustacchi 
2715*7fd79137SRobert Mustacchi 		if (vers != DWARF_VERSION_TWO) {
2716*7fd79137SRobert Mustacchi 			(void) snprintf(errbuf, errlen,
2717*7fd79137SRobert Mustacchi 			    "unsupported DWARF version: %d\n", vers);
2718*7fd79137SRobert Mustacchi 			return (ECTF_CONVBKERR);
2719*7fd79137SRobert Mustacchi 		}
2720*7fd79137SRobert Mustacchi 		*ndies = *ndies + 1;
2721*7fd79137SRobert Mustacchi 	}
2722*7fd79137SRobert Mustacchi 
2723*7fd79137SRobert Mustacchi 	if (*ndies == 0) {
2724*7fd79137SRobert Mustacchi 		(void) snprintf(errbuf, errlen,
2725*7fd79137SRobert Mustacchi 		    "file does not contain valid DWARF data: %s\n",
2726*7fd79137SRobert Mustacchi 		    dwarf_errmsg(*derr));
2727*7fd79137SRobert Mustacchi 		return (ECTF_CONVBKERR);
2728*7fd79137SRobert Mustacchi 	}
2729*7fd79137SRobert Mustacchi 
2730*7fd79137SRobert Mustacchi 	return (0);
2731*7fd79137SRobert Mustacchi }
2732*7fd79137SRobert Mustacchi 
2733*7fd79137SRobert Mustacchi static int
2734*7fd79137SRobert Mustacchi ctf_dwarf_init_die(int fd, Elf *elf, ctf_cu_t *cup, int ndie, char *errbuf,
2735*7fd79137SRobert Mustacchi     size_t errlen)
2736*7fd79137SRobert Mustacchi {
2737*7fd79137SRobert Mustacchi 	int ret;
2738*7fd79137SRobert Mustacchi 	Dwarf_Unsigned hdrlen, abboff, nexthdr;
2739*7fd79137SRobert Mustacchi 	Dwarf_Half addrsz;
2740*7fd79137SRobert Mustacchi 	Dwarf_Unsigned offset = 0;
2741*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
2742*7fd79137SRobert Mustacchi 
2743*7fd79137SRobert Mustacchi 	while ((ret = dwarf_next_cu_header(cup->cu_dwarf, &hdrlen, NULL,
2744*7fd79137SRobert Mustacchi 	    &abboff, &addrsz, &nexthdr, &derr)) != DW_DLV_NO_ENTRY) {
2745*7fd79137SRobert Mustacchi 		char *name;
2746*7fd79137SRobert Mustacchi 		Dwarf_Die cu, child;
2747*7fd79137SRobert Mustacchi 
2748*7fd79137SRobert Mustacchi 		/* Based on the counting above, we should be good to go */
2749*7fd79137SRobert Mustacchi 		VERIFY(ret == DW_DLV_OK);
2750*7fd79137SRobert Mustacchi 		if (ndie > 0) {
2751*7fd79137SRobert Mustacchi 			ndie--;
2752*7fd79137SRobert Mustacchi 			offset = nexthdr;
2753*7fd79137SRobert Mustacchi 			continue;
2754*7fd79137SRobert Mustacchi 		}
2755*7fd79137SRobert Mustacchi 
2756*7fd79137SRobert Mustacchi 		/*
2757*7fd79137SRobert Mustacchi 		 * Compilers are apparently inconsistent. Some emit no DWARF for
2758*7fd79137SRobert Mustacchi 		 * empty files and others emit empty compilation unit.
2759*7fd79137SRobert Mustacchi 		 */
2760*7fd79137SRobert Mustacchi 		cup->cu_voidtid = CTF_ERR;
2761*7fd79137SRobert Mustacchi 		cup->cu_longtid = CTF_ERR;
2762*7fd79137SRobert Mustacchi 		cup->cu_elf = elf;
2763*7fd79137SRobert Mustacchi 		cup->cu_maxoff = nexthdr - 1;
2764*7fd79137SRobert Mustacchi 		cup->cu_ctfp = ctf_fdcreate(fd, &ret);
2765*7fd79137SRobert Mustacchi 		if (cup->cu_ctfp == NULL) {
2766*7fd79137SRobert Mustacchi 			ctf_free(cup, sizeof (ctf_cu_t));
2767*7fd79137SRobert Mustacchi 			return (ret);
2768*7fd79137SRobert Mustacchi 		}
2769*7fd79137SRobert Mustacchi 		avl_create(&cup->cu_map, ctf_dwmap_comp, sizeof (ctf_dwmap_t),
2770*7fd79137SRobert Mustacchi 		    offsetof(ctf_dwmap_t, cdm_avl));
2771*7fd79137SRobert Mustacchi 		cup->cu_errbuf = errbuf;
2772*7fd79137SRobert Mustacchi 		cup->cu_errlen = errlen;
2773*7fd79137SRobert Mustacchi 		bzero(&cup->cu_vars, sizeof (ctf_list_t));
2774*7fd79137SRobert Mustacchi 		bzero(&cup->cu_funcs, sizeof (ctf_list_t));
2775*7fd79137SRobert Mustacchi 		bzero(&cup->cu_bitfields, sizeof (ctf_list_t));
2776*7fd79137SRobert Mustacchi 
2777*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_die_elfenc(elf, cup, errbuf,
2778*7fd79137SRobert Mustacchi 		    errlen)) != 0) {
2779*7fd79137SRobert Mustacchi 			avl_destroy(&cup->cu_map);
2780*7fd79137SRobert Mustacchi 			ctf_free(cup, sizeof (ctf_cu_t));
2781*7fd79137SRobert Mustacchi 			return (ret);
2782*7fd79137SRobert Mustacchi 		}
2783*7fd79137SRobert Mustacchi 
2784*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_sib(cup, NULL, &cu)) != 0) {
2785*7fd79137SRobert Mustacchi 			avl_destroy(&cup->cu_map);
2786*7fd79137SRobert Mustacchi 			ctf_free(cup, sizeof (ctf_cu_t));
2787*7fd79137SRobert Mustacchi 			return (ret);
2788*7fd79137SRobert Mustacchi 		}
2789*7fd79137SRobert Mustacchi 		if (cu == NULL) {
2790*7fd79137SRobert Mustacchi 			(void) snprintf(errbuf, errlen,
2791*7fd79137SRobert Mustacchi 			    "file does not contain DWARF data\n");
2792*7fd79137SRobert Mustacchi 			avl_destroy(&cup->cu_map);
2793*7fd79137SRobert Mustacchi 			ctf_free(cup, sizeof (ctf_cu_t));
2794*7fd79137SRobert Mustacchi 			return (ECTF_CONVBKERR);
2795*7fd79137SRobert Mustacchi 		}
2796*7fd79137SRobert Mustacchi 
2797*7fd79137SRobert Mustacchi 		if ((ret = ctf_dwarf_child(cup, cu, &child)) != 0) {
2798*7fd79137SRobert Mustacchi 			avl_destroy(&cup->cu_map);
2799*7fd79137SRobert Mustacchi 			ctf_free(cup, sizeof (ctf_cu_t));
2800*7fd79137SRobert Mustacchi 			return (ret);
2801*7fd79137SRobert Mustacchi 		}
2802*7fd79137SRobert Mustacchi 		if (child == NULL) {
2803*7fd79137SRobert Mustacchi 			(void) snprintf(errbuf, errlen,
2804*7fd79137SRobert Mustacchi 			    "file does not contain DWARF data\n");
2805*7fd79137SRobert Mustacchi 			avl_destroy(&cup->cu_map);
2806*7fd79137SRobert Mustacchi 			ctf_free(cup, sizeof (ctf_cu_t));
2807*7fd79137SRobert Mustacchi 			return (ECTF_CONVBKERR);
2808*7fd79137SRobert Mustacchi 		}
2809*7fd79137SRobert Mustacchi 
2810*7fd79137SRobert Mustacchi 		cup->cu_cuoff = offset;
2811*7fd79137SRobert Mustacchi 		cup->cu_cu = child;
2812*7fd79137SRobert Mustacchi 
2813*7fd79137SRobert Mustacchi 		if ((cup->cu_cmh = ctf_merge_init(fd, &ret)) == NULL) {
2814*7fd79137SRobert Mustacchi 			avl_destroy(&cup->cu_map);
2815*7fd79137SRobert Mustacchi 			ctf_free(cup, sizeof (ctf_cu_t));
2816*7fd79137SRobert Mustacchi 			return (ret);
2817*7fd79137SRobert Mustacchi 		}
2818*7fd79137SRobert Mustacchi 
2819*7fd79137SRobert Mustacchi 		if (ctf_dwarf_string(cup, cu, DW_AT_name, &name) == 0) {
2820*7fd79137SRobert Mustacchi 			size_t len = strlen(name) + 1;
2821*7fd79137SRobert Mustacchi 			char *b = basename(name);
2822*7fd79137SRobert Mustacchi 			cup->cu_name = strdup(b);
2823*7fd79137SRobert Mustacchi 			ctf_free(name, len);
2824*7fd79137SRobert Mustacchi 		}
2825*7fd79137SRobert Mustacchi 		break;
2826*7fd79137SRobert Mustacchi 	}
2827*7fd79137SRobert Mustacchi 
2828*7fd79137SRobert Mustacchi 	return (0);
2829*7fd79137SRobert Mustacchi }
2830*7fd79137SRobert Mustacchi 
2831*7fd79137SRobert Mustacchi 
2832*7fd79137SRobert Mustacchi ctf_conv_status_t
2833*7fd79137SRobert Mustacchi ctf_dwarf_convert(int fd, Elf *elf, uint_t nthrs, int *errp, ctf_file_t **fpp,
2834*7fd79137SRobert Mustacchi     char *errmsg, size_t errlen)
2835*7fd79137SRobert Mustacchi {
2836*7fd79137SRobert Mustacchi 	int err, ret, ndies, i;
2837*7fd79137SRobert Mustacchi 	Dwarf_Debug dw;
2838*7fd79137SRobert Mustacchi 	Dwarf_Error derr;
2839*7fd79137SRobert Mustacchi 	ctf_cu_t *cdies = NULL, *cup;
2840*7fd79137SRobert Mustacchi 	workq_t *wqp = NULL;
2841*7fd79137SRobert Mustacchi 
2842*7fd79137SRobert Mustacchi 	if (errp == NULL)
2843*7fd79137SRobert Mustacchi 		errp = &err;
2844*7fd79137SRobert Mustacchi 	*errp = 0;
2845*7fd79137SRobert Mustacchi 	*fpp = NULL;
2846*7fd79137SRobert Mustacchi 
2847*7fd79137SRobert Mustacchi 	ret = dwarf_elf_init(elf, DW_DLC_READ, NULL, NULL, &dw, &derr);
2848*7fd79137SRobert Mustacchi 	if (ret != DW_DLV_OK) {
2849*7fd79137SRobert Mustacchi 		/*
2850*7fd79137SRobert Mustacchi 		 * We may want to expect DWARF data here and fail conversion if
2851*7fd79137SRobert Mustacchi 		 * it's missing. In this case, if we actually have some amount
2852*7fd79137SRobert Mustacchi 		 * of DWARF, but no section, for now, just go ahead and create
2853*7fd79137SRobert Mustacchi 		 * an empty CTF file.
2854*7fd79137SRobert Mustacchi 		 */
2855*7fd79137SRobert Mustacchi 		if (ret == DW_DLV_NO_ENTRY ||
2856*7fd79137SRobert Mustacchi 		    dwarf_errno(derr) == DW_DLE_DEBUG_INFO_NULL) {
2857*7fd79137SRobert Mustacchi 			*fpp = ctf_create(errp);
2858*7fd79137SRobert Mustacchi 			return (*fpp != NULL ? CTF_CONV_SUCCESS :
2859*7fd79137SRobert Mustacchi 			    CTF_CONV_ERROR);
2860*7fd79137SRobert Mustacchi 		}
2861*7fd79137SRobert Mustacchi 		(void) snprintf(errmsg, errlen,
2862*7fd79137SRobert Mustacchi 		    "failed to initialize DWARF: %s\n",
2863*7fd79137SRobert Mustacchi 		    dwarf_errmsg(derr));
2864*7fd79137SRobert Mustacchi 		*errp = ECTF_CONVBKERR;
2865*7fd79137SRobert Mustacchi 		return (CTF_CONV_ERROR);
2866*7fd79137SRobert Mustacchi 	}
2867*7fd79137SRobert Mustacchi 
2868*7fd79137SRobert Mustacchi 	/*
2869*7fd79137SRobert Mustacchi 	 * Iterate over all of the compilation units and create a ctf_cu_t for
2870*7fd79137SRobert Mustacchi 	 * each of them.  This is used to determine if we have zero, one, or
2871*7fd79137SRobert Mustacchi 	 * multiple dies to convert. If we have zero, that's an error. If
2872*7fd79137SRobert Mustacchi 	 * there's only one die, that's the simple case.  No merge needed and
2873*7fd79137SRobert Mustacchi 	 * only a single Dwarf_Debug as well.
2874*7fd79137SRobert Mustacchi 	 */
2875*7fd79137SRobert Mustacchi 	ndies = 0;
2876*7fd79137SRobert Mustacchi 	ret = ctf_dwarf_count_dies(dw, &derr, &ndies, errmsg, errlen);
2877*7fd79137SRobert Mustacchi 	if (ret != 0) {
2878*7fd79137SRobert Mustacchi 		*errp = ret;
2879*7fd79137SRobert Mustacchi 		goto out;
2880*7fd79137SRobert Mustacchi 	}
2881*7fd79137SRobert Mustacchi 
2882*7fd79137SRobert Mustacchi 	(void) dwarf_finish(dw, &derr);
2883*7fd79137SRobert Mustacchi 	cdies = ctf_alloc(sizeof (ctf_cu_t) * ndies);
2884*7fd79137SRobert Mustacchi 	if (cdies == NULL) {
2885*7fd79137SRobert Mustacchi 		*errp = ENOMEM;
2886*7fd79137SRobert Mustacchi 		return (CTF_CONV_ERROR);
2887*7fd79137SRobert Mustacchi 	}
2888*7fd79137SRobert Mustacchi 
2889*7fd79137SRobert Mustacchi 	for (i = 0; i < ndies; i++) {
2890*7fd79137SRobert Mustacchi 		cup = &cdies[i];
2891*7fd79137SRobert Mustacchi 		ret = dwarf_elf_init(elf, DW_DLC_READ, NULL, NULL,
2892*7fd79137SRobert Mustacchi 		    &cup->cu_dwarf, &derr);
2893*7fd79137SRobert Mustacchi 		if (ret != 0) {
2894*7fd79137SRobert Mustacchi 			ctf_free(cdies, sizeof (ctf_cu_t) * ndies);
2895*7fd79137SRobert Mustacchi 			(void) snprintf(errmsg, errlen,
2896*7fd79137SRobert Mustacchi 			    "failed to initialize DWARF: %s\n",
2897*7fd79137SRobert Mustacchi 			    dwarf_errmsg(derr));
2898*7fd79137SRobert Mustacchi 			*errp = ECTF_CONVBKERR;
2899*7fd79137SRobert Mustacchi 			return (CTF_CONV_ERROR);
2900*7fd79137SRobert Mustacchi 		}
2901*7fd79137SRobert Mustacchi 
2902*7fd79137SRobert Mustacchi 		ret = ctf_dwarf_init_die(fd, elf, &cdies[i], i, errmsg, errlen);
2903*7fd79137SRobert Mustacchi 		if (ret != 0) {
2904*7fd79137SRobert Mustacchi 			*errp = ret;
2905*7fd79137SRobert Mustacchi 			goto out;
2906*7fd79137SRobert Mustacchi 		}
2907*7fd79137SRobert Mustacchi 		cup->cu_doweaks = ndies > 1 ? B_FALSE : B_TRUE;
2908*7fd79137SRobert Mustacchi 	}
2909*7fd79137SRobert Mustacchi 
2910*7fd79137SRobert Mustacchi 	ctf_dprintf("found %d DWARF die(s)\n", ndies);
2911*7fd79137SRobert Mustacchi 
2912*7fd79137SRobert Mustacchi 	/*
2913*7fd79137SRobert Mustacchi 	 * If we only have one compilation unit, there's no reason to use
2914*7fd79137SRobert Mustacchi 	 * multiple threads, even if the user requested them. After all, they
2915*7fd79137SRobert Mustacchi 	 * just gave us an upper bound.
2916*7fd79137SRobert Mustacchi 	 */
2917*7fd79137SRobert Mustacchi 	if (ndies == 1)
2918*7fd79137SRobert Mustacchi 		nthrs = 1;
2919*7fd79137SRobert Mustacchi 
2920*7fd79137SRobert Mustacchi 	if (workq_init(&wqp, nthrs) == -1) {
2921*7fd79137SRobert Mustacchi 		*errp = errno;
2922*7fd79137SRobert Mustacchi 		goto out;
2923*7fd79137SRobert Mustacchi 	}
2924*7fd79137SRobert Mustacchi 
2925*7fd79137SRobert Mustacchi 	for (i = 0; i < ndies; i++) {
2926*7fd79137SRobert Mustacchi 		cup = &cdies[i];
2927*7fd79137SRobert Mustacchi 		ctf_dprintf("adding die %s: %p, %x %x\n", cup->cu_name,
2928*7fd79137SRobert Mustacchi 		    cup->cu_cu, cup->cu_cuoff, cup->cu_maxoff);
2929*7fd79137SRobert Mustacchi 		if (workq_add(wqp, cup) == -1) {
2930*7fd79137SRobert Mustacchi 			*errp = errno;
2931*7fd79137SRobert Mustacchi 			goto out;
2932*7fd79137SRobert Mustacchi 		}
2933*7fd79137SRobert Mustacchi 	}
2934*7fd79137SRobert Mustacchi 
2935*7fd79137SRobert Mustacchi 	ret = workq_work(wqp, ctf_dwarf_convert_one, NULL, errp);
2936*7fd79137SRobert Mustacchi 	if (ret == WORKQ_ERROR) {
2937*7fd79137SRobert Mustacchi 		*errp = errno;
2938*7fd79137SRobert Mustacchi 		goto out;
2939*7fd79137SRobert Mustacchi 	} else if (ret == WORKQ_UERROR) {
2940*7fd79137SRobert Mustacchi 		ctf_dprintf("internal convert failed: %s\n",
2941*7fd79137SRobert Mustacchi 		    ctf_errmsg(*errp));
2942*7fd79137SRobert Mustacchi 		goto out;
2943*7fd79137SRobert Mustacchi 	}
2944*7fd79137SRobert Mustacchi 
2945*7fd79137SRobert Mustacchi 	ctf_dprintf("Determining next phase: have %d dies\n", ndies);
2946*7fd79137SRobert Mustacchi 	if (ndies != 1) {
2947*7fd79137SRobert Mustacchi 		ctf_merge_t *cmp;
2948*7fd79137SRobert Mustacchi 
2949*7fd79137SRobert Mustacchi 		cmp = ctf_merge_init(fd, &ret);
2950*7fd79137SRobert Mustacchi 		if (cmp == NULL) {
2951*7fd79137SRobert Mustacchi 			*errp = ret;
2952*7fd79137SRobert Mustacchi 			goto out;
2953*7fd79137SRobert Mustacchi 		}
2954*7fd79137SRobert Mustacchi 
2955*7fd79137SRobert Mustacchi 		ctf_dprintf("setting threads\n");
2956*7fd79137SRobert Mustacchi 		if ((ret = ctf_merge_set_nthreads(cmp, nthrs)) != 0) {
2957*7fd79137SRobert Mustacchi 			ctf_merge_fini(cmp);
2958*7fd79137SRobert Mustacchi 			*errp = ret;
2959*7fd79137SRobert Mustacchi 			goto out;
2960*7fd79137SRobert Mustacchi 		}
2961*7fd79137SRobert Mustacchi 
2962*7fd79137SRobert Mustacchi 		ctf_dprintf("adding dies\n");
2963*7fd79137SRobert Mustacchi 		for (i = 0; i < ndies; i++) {
2964*7fd79137SRobert Mustacchi 			cup = &cdies[i];
2965*7fd79137SRobert Mustacchi 			if ((ret = ctf_merge_add(cmp, cup->cu_ctfp)) != 0) {
2966*7fd79137SRobert Mustacchi 				ctf_merge_fini(cmp);
2967*7fd79137SRobert Mustacchi 				*errp = ret;
2968*7fd79137SRobert Mustacchi 				goto out;
2969*7fd79137SRobert Mustacchi 			}
2970*7fd79137SRobert Mustacchi 		}
2971*7fd79137SRobert Mustacchi 
2972*7fd79137SRobert Mustacchi 		ctf_dprintf("performing merge\n");
2973*7fd79137SRobert Mustacchi 		ret = ctf_merge_merge(cmp, fpp);
2974*7fd79137SRobert Mustacchi 		if (ret != 0) {
2975*7fd79137SRobert Mustacchi 			ctf_dprintf("failed merge!\n");
2976*7fd79137SRobert Mustacchi 			*fpp = NULL;
2977*7fd79137SRobert Mustacchi 			ctf_merge_fini(cmp);
2978*7fd79137SRobert Mustacchi 			*errp = ret;
2979*7fd79137SRobert Mustacchi 			goto out;
2980*7fd79137SRobert Mustacchi 		}
2981*7fd79137SRobert Mustacchi 		ctf_merge_fini(cmp);
2982*7fd79137SRobert Mustacchi 		*errp = 0;
2983*7fd79137SRobert Mustacchi 		ctf_dprintf("successfully converted!\n");
2984*7fd79137SRobert Mustacchi 	} else {
2985*7fd79137SRobert Mustacchi 		*errp = 0;
2986*7fd79137SRobert Mustacchi 		*fpp = cdies->cu_ctfp;
2987*7fd79137SRobert Mustacchi 		cdies->cu_ctfp = NULL;
2988*7fd79137SRobert Mustacchi 		ctf_dprintf("successfully converted!\n");
2989*7fd79137SRobert Mustacchi 	}
2990*7fd79137SRobert Mustacchi 
2991*7fd79137SRobert Mustacchi out:
2992*7fd79137SRobert Mustacchi 	workq_fini(wqp);
2993*7fd79137SRobert Mustacchi 	ctf_dwarf_free_dies(cdies, ndies);
2994*7fd79137SRobert Mustacchi 	return (*fpp != NULL ? CTF_CONV_SUCCESS : CTF_CONV_ERROR);
2995*7fd79137SRobert Mustacchi }
2996