xref: /onnv-gate/usr/src/lib/libdtrace/common/dt_parser.h (revision 5478:d21b1fd9aff6)
10Sstevel@tonic-gate /*
20Sstevel@tonic-gate  * CDDL HEADER START
30Sstevel@tonic-gate  *
40Sstevel@tonic-gate  * The contents of this file are subject to the terms of the
5*5478Sjhaslam  * Common Development and Distribution License (the "License").
6*5478Sjhaslam  * You may not use this file except in compliance with the License.
70Sstevel@tonic-gate  *
80Sstevel@tonic-gate  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
90Sstevel@tonic-gate  * or http://www.opensolaris.org/os/licensing.
100Sstevel@tonic-gate  * See the License for the specific language governing permissions
110Sstevel@tonic-gate  * and limitations under the License.
120Sstevel@tonic-gate  *
130Sstevel@tonic-gate  * When distributing Covered Code, include this CDDL HEADER in each
140Sstevel@tonic-gate  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
150Sstevel@tonic-gate  * If applicable, add the following below this CDDL HEADER, with the
160Sstevel@tonic-gate  * fields enclosed by brackets "[]" replaced with your own identifying
170Sstevel@tonic-gate  * information: Portions Copyright [yyyy] [name of copyright owner]
180Sstevel@tonic-gate  *
190Sstevel@tonic-gate  * CDDL HEADER END
200Sstevel@tonic-gate  */
210Sstevel@tonic-gate /*
22*5478Sjhaslam  * Copyright 2007 Sun Microsystems, Inc.  All rights reserved.
230Sstevel@tonic-gate  * Use is subject to license terms.
240Sstevel@tonic-gate  */
250Sstevel@tonic-gate 
260Sstevel@tonic-gate #ifndef	_DT_PARSER_H
270Sstevel@tonic-gate #define	_DT_PARSER_H
280Sstevel@tonic-gate 
290Sstevel@tonic-gate #pragma ident	"%Z%%M%	%I%	%E% SMI"
300Sstevel@tonic-gate 
310Sstevel@tonic-gate #include <sys/types.h>
320Sstevel@tonic-gate #include <sys/dtrace.h>
330Sstevel@tonic-gate 
340Sstevel@tonic-gate #include <libctf.h>
350Sstevel@tonic-gate #include <stdarg.h>
360Sstevel@tonic-gate #include <stdio.h>
370Sstevel@tonic-gate 
380Sstevel@tonic-gate #ifdef	__cplusplus
390Sstevel@tonic-gate extern "C" {
400Sstevel@tonic-gate #endif
410Sstevel@tonic-gate 
420Sstevel@tonic-gate #include <dt_errtags.h>
430Sstevel@tonic-gate #include <dt_ident.h>
440Sstevel@tonic-gate #include <dt_decl.h>
450Sstevel@tonic-gate #include <dt_xlator.h>
460Sstevel@tonic-gate #include <dt_list.h>
470Sstevel@tonic-gate 
480Sstevel@tonic-gate typedef struct dt_node {
490Sstevel@tonic-gate 	ctf_file_t *dn_ctfp;	/* CTF type container for node's type */
500Sstevel@tonic-gate 	ctf_id_t dn_type;	/* CTF type reference for node's type */
510Sstevel@tonic-gate 	uchar_t dn_kind;	/* node kind (DT_NODE_*, defined below) */
520Sstevel@tonic-gate 	uchar_t dn_flags;	/* node flags (DT_NF_*, defined below) */
530Sstevel@tonic-gate 	ushort_t dn_op;		/* operator (DT_TOK_*, defined by lex) */
540Sstevel@tonic-gate 	int dn_line;		/* line number for error messages */
550Sstevel@tonic-gate 	int dn_reg;		/* register allocated by cg */
560Sstevel@tonic-gate 	dtrace_attribute_t dn_attr; /* node stability attributes */
570Sstevel@tonic-gate 
580Sstevel@tonic-gate 	/*
590Sstevel@tonic-gate 	 * D compiler nodes, as is the usual style, contain a union of the
600Sstevel@tonic-gate 	 * different sub-elements required by the various kinds of nodes.
610Sstevel@tonic-gate 	 * These sub-elements are accessed using the macros defined below.
620Sstevel@tonic-gate 	 */
630Sstevel@tonic-gate 	union {
640Sstevel@tonic-gate 		struct {
650Sstevel@tonic-gate 			uintmax_t _value;	/* integer value */
660Sstevel@tonic-gate 			char *_string;		/* string value */
670Sstevel@tonic-gate 		} _const;
680Sstevel@tonic-gate 
690Sstevel@tonic-gate 		struct {
700Sstevel@tonic-gate 			dt_ident_t *_ident;	/* identifier reference */
710Sstevel@tonic-gate 			struct dt_node *_links[3]; /* child node pointers */
720Sstevel@tonic-gate 		} _nodes;
730Sstevel@tonic-gate 
740Sstevel@tonic-gate 		struct {
750Sstevel@tonic-gate 			struct dt_node *_descs;	/* list of descriptions */
760Sstevel@tonic-gate 			struct dt_node *_pred;	/* predicate expression */
770Sstevel@tonic-gate 			struct dt_node *_acts;	/* action statement list */
780Sstevel@tonic-gate 			dt_idhash_t *_locals;	/* local variable hash */
790Sstevel@tonic-gate 			dtrace_attribute_t _attr; /* context attributes */
800Sstevel@tonic-gate 		} _clause;
810Sstevel@tonic-gate 
820Sstevel@tonic-gate 		struct {
830Sstevel@tonic-gate 			char *_spec;		/* specifier string (if any) */
840Sstevel@tonic-gate 			dtrace_probedesc_t *_desc; /* final probe description */
850Sstevel@tonic-gate 		} _pdesc;
860Sstevel@tonic-gate 
870Sstevel@tonic-gate 		struct {
880Sstevel@tonic-gate 			char *_name;		/* string name of member */
890Sstevel@tonic-gate 			struct dt_node *_expr;	/* expression node pointer */
90265Smws 			dt_xlator_t *_xlator;	/* translator reference */
91265Smws 			uint_t _id;		/* member identifier */
920Sstevel@tonic-gate 		} _member;
930Sstevel@tonic-gate 
940Sstevel@tonic-gate 		struct {
950Sstevel@tonic-gate 			dt_xlator_t *_xlator;	/* translator reference */
96265Smws 			struct dt_node *_xmemb;	/* individual xlator member */
970Sstevel@tonic-gate 			struct dt_node *_membs;	/* list of member nodes */
980Sstevel@tonic-gate 		} _xlator;
990Sstevel@tonic-gate 
1000Sstevel@tonic-gate 		struct {
1010Sstevel@tonic-gate 			char *_name;		/* string name of provider */
1020Sstevel@tonic-gate 			struct dt_provider *_pvp; /* provider references */
1030Sstevel@tonic-gate 			struct dt_node *_probes;  /* list of probe nodes */
1040Sstevel@tonic-gate 			int _redecl;		/* provider redeclared */
1050Sstevel@tonic-gate 		} _provider;
1060Sstevel@tonic-gate 	} dn_u;
1070Sstevel@tonic-gate 
1080Sstevel@tonic-gate 	struct dt_node *dn_list; /* parse tree list link */
1090Sstevel@tonic-gate 	struct dt_node *dn_link; /* allocation list link */
1100Sstevel@tonic-gate } dt_node_t;
1110Sstevel@tonic-gate 
1120Sstevel@tonic-gate #define	dn_value	dn_u._const._value	/* DT_NODE_INT */
1130Sstevel@tonic-gate #define	dn_string	dn_u._const._string	/* STRING, IDENT, TYPE */
1140Sstevel@tonic-gate #define	dn_ident	dn_u._nodes._ident	/* VAR,SYM,FUN,AGG,INL,PROBE */
1150Sstevel@tonic-gate #define	dn_args		dn_u._nodes._links[0]	/* DT_NODE_VAR, FUNC */
1160Sstevel@tonic-gate #define	dn_child	dn_u._nodes._links[0]	/* DT_NODE_OP1 */
1170Sstevel@tonic-gate #define	dn_left		dn_u._nodes._links[0]	/* DT_NODE_OP2, OP3 */
1180Sstevel@tonic-gate #define	dn_right	dn_u._nodes._links[1]	/* DT_NODE_OP2, OP3 */
1190Sstevel@tonic-gate #define	dn_expr		dn_u._nodes._links[2]	/* DT_NODE_OP3, DEXPR */
1200Sstevel@tonic-gate #define	dn_aggfun	dn_u._nodes._links[0]	/* DT_NODE_AGG */
1210Sstevel@tonic-gate #define	dn_aggtup	dn_u._nodes._links[1]	/* DT_NODE_AGG */
1220Sstevel@tonic-gate #define	dn_pdescs	dn_u._clause._descs	/* DT_NODE_CLAUSE */
1230Sstevel@tonic-gate #define	dn_pred		dn_u._clause._pred	/* DT_NODE_CLAUSE */
1240Sstevel@tonic-gate #define	dn_acts		dn_u._clause._acts	/* DT_NODE_CLAUSE */
1250Sstevel@tonic-gate #define	dn_locals	dn_u._clause._locals	/* DT_NODE_CLAUSE */
1260Sstevel@tonic-gate #define	dn_ctxattr	dn_u._clause._attr	/* DT_NODE_CLAUSE */
1270Sstevel@tonic-gate #define	dn_spec		dn_u._pdesc._spec	/* DT_NODE_PDESC */
1280Sstevel@tonic-gate #define	dn_desc		dn_u._pdesc._desc	/* DT_NODE_PDESC */
1290Sstevel@tonic-gate #define	dn_membname	dn_u._member._name	/* DT_NODE_MEMBER */
1300Sstevel@tonic-gate #define	dn_membexpr	dn_u._member._expr	/* DT_NODE_MEMBER */
131265Smws #define	dn_membxlator	dn_u._member._xlator	/* DT_NODE_MEMBER */
132265Smws #define	dn_membid	dn_u._member._id	/* DT_NODE_MEMBER */
1330Sstevel@tonic-gate #define	dn_xlator	dn_u._xlator._xlator	/* DT_NODE_XLATOR */
134265Smws #define	dn_xmember	dn_u._xlator._xmemb	/* DT_NODE_XLATOR */
1350Sstevel@tonic-gate #define	dn_members	dn_u._xlator._membs	/* DT_NODE_XLATOR */
1360Sstevel@tonic-gate #define	dn_provname	dn_u._provider._name	/* DT_NODE_PROVIDER */
1370Sstevel@tonic-gate #define	dn_provider	dn_u._provider._pvp	/* DT_NODE_PROVIDER */
1380Sstevel@tonic-gate #define	dn_provred	dn_u._provider._redecl	/* DT_NODE_PROVIDER */
1390Sstevel@tonic-gate #define	dn_probes	dn_u._provider._probes	/* DT_NODE_PROVIDER */
1400Sstevel@tonic-gate 
1410Sstevel@tonic-gate #define	DT_NODE_FREE	0	/* unused node (waiting to be freed) */
1420Sstevel@tonic-gate #define	DT_NODE_INT	1	/* integer value */
1430Sstevel@tonic-gate #define	DT_NODE_STRING	2	/* string value */
1440Sstevel@tonic-gate #define	DT_NODE_IDENT	3	/* identifier */
1450Sstevel@tonic-gate #define	DT_NODE_VAR	4	/* variable reference */
1460Sstevel@tonic-gate #define	DT_NODE_SYM	5	/* symbol reference */
1470Sstevel@tonic-gate #define	DT_NODE_TYPE	6	/* type reference or formal parameter */
1480Sstevel@tonic-gate #define	DT_NODE_FUNC	7	/* function call */
1490Sstevel@tonic-gate #define	DT_NODE_OP1	8	/* unary operator */
1500Sstevel@tonic-gate #define	DT_NODE_OP2	9	/* binary operator */
1510Sstevel@tonic-gate #define	DT_NODE_OP3	10	/* ternary operator */
1520Sstevel@tonic-gate #define	DT_NODE_DEXPR	11	/* D expression action */
1530Sstevel@tonic-gate #define	DT_NODE_DFUNC	12	/* D function action */
1540Sstevel@tonic-gate #define	DT_NODE_AGG	13	/* aggregation */
1550Sstevel@tonic-gate #define	DT_NODE_PDESC	14	/* probe description */
1560Sstevel@tonic-gate #define	DT_NODE_CLAUSE	15	/* clause definition */
1570Sstevel@tonic-gate #define	DT_NODE_INLINE	16	/* inline definition */
1580Sstevel@tonic-gate #define	DT_NODE_MEMBER	17	/* member definition */
1590Sstevel@tonic-gate #define	DT_NODE_XLATOR	18	/* translator definition */
1600Sstevel@tonic-gate #define	DT_NODE_PROBE	19	/* probe definition */
1610Sstevel@tonic-gate #define	DT_NODE_PROVIDER 20	/* provider definition */
1620Sstevel@tonic-gate #define	DT_NODE_PROG	21	/* program translation unit */
1630Sstevel@tonic-gate 
1640Sstevel@tonic-gate #define	DT_NF_SIGNED	0x01	/* data is a signed quantity (else unsigned) */
1650Sstevel@tonic-gate #define	DT_NF_COOKED	0x02	/* data is a known type (else still cooking) */
1660Sstevel@tonic-gate #define	DT_NF_REF	0x04	/* pass by reference (array, struct, union) */
1670Sstevel@tonic-gate #define	DT_NF_LVALUE	0x08	/* node is an l-value according to ANSI-C */
1680Sstevel@tonic-gate #define	DT_NF_WRITABLE	0x10	/* node is writable (can be modified) */
1690Sstevel@tonic-gate #define	DT_NF_BITFIELD	0x20	/* node is an integer bitfield */
1700Sstevel@tonic-gate #define	DT_NF_USERLAND	0x40	/* data is a userland address */
1710Sstevel@tonic-gate 
1720Sstevel@tonic-gate #define	DT_TYPE_NAMELEN	128	/* reasonable size for ctf_type_name() */
1730Sstevel@tonic-gate 
1740Sstevel@tonic-gate extern int dt_node_is_integer(const dt_node_t *);
1750Sstevel@tonic-gate extern int dt_node_is_float(const dt_node_t *);
1760Sstevel@tonic-gate extern int dt_node_is_scalar(const dt_node_t *);
1770Sstevel@tonic-gate extern int dt_node_is_arith(const dt_node_t *);
1780Sstevel@tonic-gate extern int dt_node_is_vfptr(const dt_node_t *);
1790Sstevel@tonic-gate extern int dt_node_is_dynamic(const dt_node_t *);
180457Sbmc extern int dt_node_is_stack(const dt_node_t *);
181457Sbmc extern int dt_node_is_symaddr(const dt_node_t *);
182457Sbmc extern int dt_node_is_usymaddr(const dt_node_t *);
1830Sstevel@tonic-gate extern int dt_node_is_string(const dt_node_t *);
1840Sstevel@tonic-gate extern int dt_node_is_strcompat(const dt_node_t *);
1850Sstevel@tonic-gate extern int dt_node_is_pointer(const dt_node_t *);
1860Sstevel@tonic-gate extern int dt_node_is_void(const dt_node_t *);
1870Sstevel@tonic-gate extern int dt_node_is_ptrcompat(const dt_node_t *, const dt_node_t *,
1880Sstevel@tonic-gate 	ctf_file_t **, ctf_id_t *);
1890Sstevel@tonic-gate extern int dt_node_is_argcompat(const dt_node_t *, const dt_node_t *);
1900Sstevel@tonic-gate extern int dt_node_is_posconst(const dt_node_t *);
1910Sstevel@tonic-gate extern int dt_node_is_actfunc(const dt_node_t *);
1920Sstevel@tonic-gate 
1930Sstevel@tonic-gate extern dt_node_t *dt_node_int(uintmax_t);
1940Sstevel@tonic-gate extern dt_node_t *dt_node_string(char *);
1950Sstevel@tonic-gate extern dt_node_t *dt_node_ident(char *);
1960Sstevel@tonic-gate extern dt_node_t *dt_node_type(dt_decl_t *);
1970Sstevel@tonic-gate extern dt_node_t *dt_node_vatype(void);
1980Sstevel@tonic-gate extern dt_node_t *dt_node_decl(void);
1990Sstevel@tonic-gate extern dt_node_t *dt_node_func(dt_node_t *, dt_node_t *);
2000Sstevel@tonic-gate extern dt_node_t *dt_node_offsetof(dt_decl_t *, char *);
2010Sstevel@tonic-gate extern dt_node_t *dt_node_op1(int, dt_node_t *);
2020Sstevel@tonic-gate extern dt_node_t *dt_node_op2(int, dt_node_t *, dt_node_t *);
2030Sstevel@tonic-gate extern dt_node_t *dt_node_op3(dt_node_t *, dt_node_t *, dt_node_t *);
2040Sstevel@tonic-gate extern dt_node_t *dt_node_statement(dt_node_t *);
2050Sstevel@tonic-gate extern dt_node_t *dt_node_pdesc_by_name(char *);
2060Sstevel@tonic-gate extern dt_node_t *dt_node_pdesc_by_id(uintmax_t);
2070Sstevel@tonic-gate extern dt_node_t *dt_node_clause(dt_node_t *, dt_node_t *, dt_node_t *);
2080Sstevel@tonic-gate extern dt_node_t *dt_node_inline(dt_node_t *);
2090Sstevel@tonic-gate extern dt_node_t *dt_node_member(dt_decl_t *, char *, dt_node_t *);
2100Sstevel@tonic-gate extern dt_node_t *dt_node_xlator(dt_decl_t *, dt_decl_t *, char *, dt_node_t *);
211265Smws extern dt_node_t *dt_node_probe(char *, int, dt_node_t *, dt_node_t *);
2120Sstevel@tonic-gate extern dt_node_t *dt_node_provider(char *, dt_node_t *);
2130Sstevel@tonic-gate extern dt_node_t *dt_node_program(dt_node_t *);
2140Sstevel@tonic-gate 
2150Sstevel@tonic-gate extern dt_node_t *dt_node_link(dt_node_t *, dt_node_t *);
2160Sstevel@tonic-gate extern dt_node_t *dt_node_cook(dt_node_t *, uint_t);
2170Sstevel@tonic-gate 
2180Sstevel@tonic-gate extern dt_node_t *dt_node_xalloc(dtrace_hdl_t *, int);
2190Sstevel@tonic-gate extern void dt_node_free(dt_node_t *);
2200Sstevel@tonic-gate 
2210Sstevel@tonic-gate extern dtrace_attribute_t dt_node_list_cook(dt_node_t **, uint_t);
2220Sstevel@tonic-gate extern void dt_node_list_free(dt_node_t **);
2230Sstevel@tonic-gate extern void dt_node_link_free(dt_node_t **);
2240Sstevel@tonic-gate 
2250Sstevel@tonic-gate extern void dt_node_attr_assign(dt_node_t *, dtrace_attribute_t);
2260Sstevel@tonic-gate extern void dt_node_type_assign(dt_node_t *, ctf_file_t *, ctf_id_t);
2270Sstevel@tonic-gate extern void dt_node_type_propagate(const dt_node_t *, dt_node_t *);
2280Sstevel@tonic-gate extern const char *dt_node_type_name(const dt_node_t *, char *, size_t);
2290Sstevel@tonic-gate extern size_t dt_node_type_size(const dt_node_t *);
2300Sstevel@tonic-gate 
2310Sstevel@tonic-gate extern dt_ident_t *dt_node_resolve(const dt_node_t *, uint_t);
2320Sstevel@tonic-gate extern size_t dt_node_sizeof(const dt_node_t *);
2330Sstevel@tonic-gate extern void dt_node_promote(dt_node_t *, dt_node_t *, dt_node_t *);
2340Sstevel@tonic-gate 
235265Smws extern void dt_node_diftype(dtrace_hdl_t *,
236265Smws     const dt_node_t *, dtrace_diftype_t *);
2370Sstevel@tonic-gate extern void dt_node_printr(dt_node_t *, FILE *, int);
2380Sstevel@tonic-gate extern const char *dt_node_name(const dt_node_t *, char *, size_t);
2390Sstevel@tonic-gate extern int dt_node_root(dt_node_t *);
2400Sstevel@tonic-gate 
2410Sstevel@tonic-gate struct dtrace_typeinfo;	/* see <dtrace.h> */
2420Sstevel@tonic-gate struct dt_pcb;		/* see <dt_impl.h> */
2430Sstevel@tonic-gate 
2440Sstevel@tonic-gate #define	IS_CHAR(e) \
2450Sstevel@tonic-gate 	(((e).cte_format & (CTF_INT_CHAR | CTF_INT_SIGNED)) == \
2460Sstevel@tonic-gate 	(CTF_INT_CHAR | CTF_INT_SIGNED) && (e).cte_bits == NBBY)
2470Sstevel@tonic-gate 
2480Sstevel@tonic-gate #define	IS_VOID(e) \
2490Sstevel@tonic-gate 	((e).cte_offset == 0 && (e).cte_bits == 0)
2500Sstevel@tonic-gate 
2510Sstevel@tonic-gate extern int dt_type_lookup(const char *, struct dtrace_typeinfo *);
2520Sstevel@tonic-gate extern int dt_type_pointer(struct dtrace_typeinfo *);
2530Sstevel@tonic-gate extern const char *dt_type_name(ctf_file_t *, ctf_id_t, char *, size_t);
2540Sstevel@tonic-gate 
2550Sstevel@tonic-gate typedef enum {
2560Sstevel@tonic-gate 	YYS_CLAUSE,	/* lex/yacc state for finding program clauses */
2570Sstevel@tonic-gate 	YYS_DEFINE,	/* lex/yacc state for parsing persistent definitions */
2580Sstevel@tonic-gate 	YYS_EXPR,	/* lex/yacc state for parsing D expressions */
259*5478Sjhaslam 	YYS_DONE,	/* lex/yacc state for indicating parse tree is done */
260*5478Sjhaslam 	YYS_CONTROL	/* lex/yacc state for parsing control lines */
2610Sstevel@tonic-gate } yystate_t;
2620Sstevel@tonic-gate 
2630Sstevel@tonic-gate extern void dnerror(const dt_node_t *, dt_errtag_t, const char *, ...);
2640Sstevel@tonic-gate extern void dnwarn(const dt_node_t *, dt_errtag_t, const char *, ...);
2650Sstevel@tonic-gate 
2660Sstevel@tonic-gate extern void xyerror(dt_errtag_t, const char *, ...);
2670Sstevel@tonic-gate extern void xywarn(dt_errtag_t, const char *, ...);
2680Sstevel@tonic-gate extern void xyvwarn(dt_errtag_t, const char *, va_list);
2690Sstevel@tonic-gate 
2700Sstevel@tonic-gate extern void yyerror(const char *, ...);
2710Sstevel@tonic-gate extern void yywarn(const char *, ...);
2720Sstevel@tonic-gate extern void yyvwarn(const char *, va_list);
2730Sstevel@tonic-gate 
2740Sstevel@tonic-gate extern void yylabel(const char *);
2750Sstevel@tonic-gate extern void yybegin(yystate_t);
2760Sstevel@tonic-gate extern void yyinit(struct dt_pcb *);
2770Sstevel@tonic-gate 
2780Sstevel@tonic-gate extern int yyparse(void);
2790Sstevel@tonic-gate extern int yyinput(void);
2800Sstevel@tonic-gate 
2810Sstevel@tonic-gate #ifdef	__cplusplus
2820Sstevel@tonic-gate }
2830Sstevel@tonic-gate #endif
2840Sstevel@tonic-gate 
2850Sstevel@tonic-gate #endif	/* _DT_PARSER_H */
286