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