17c478bd9Sstevel@tonic-gate /* 27c478bd9Sstevel@tonic-gate * CDDL HEADER START 37c478bd9Sstevel@tonic-gate * 47c478bd9Sstevel@tonic-gate * The contents of this file are subject to the terms of the 57c478bd9Sstevel@tonic-gate * Common Development and Distribution License, Version 1.0 only 67c478bd9Sstevel@tonic-gate * (the "License"). You may not use this file except in compliance 77c478bd9Sstevel@tonic-gate * with the License. 87c478bd9Sstevel@tonic-gate * 97c478bd9Sstevel@tonic-gate * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE 107c478bd9Sstevel@tonic-gate * or http://www.opensolaris.org/os/licensing. 117c478bd9Sstevel@tonic-gate * See the License for the specific language governing permissions 127c478bd9Sstevel@tonic-gate * and limitations under the License. 137c478bd9Sstevel@tonic-gate * 147c478bd9Sstevel@tonic-gate * When distributing Covered Code, include this CDDL HEADER in each 157c478bd9Sstevel@tonic-gate * file and include the License file at usr/src/OPENSOLARIS.LICENSE. 167c478bd9Sstevel@tonic-gate * If applicable, add the following below this CDDL HEADER, with the 177c478bd9Sstevel@tonic-gate * fields enclosed by brackets "[]" replaced with your own identifying 187c478bd9Sstevel@tonic-gate * information: Portions Copyright [yyyy] [name of copyright owner] 197c478bd9Sstevel@tonic-gate * 207c478bd9Sstevel@tonic-gate * CDDL HEADER END 217c478bd9Sstevel@tonic-gate */ 227c478bd9Sstevel@tonic-gate /* 237c478bd9Sstevel@tonic-gate * Copyright 2005 Sun Microsystems, Inc. All rights reserved. 247c478bd9Sstevel@tonic-gate * Use is subject to license terms. 257c478bd9Sstevel@tonic-gate */ 267c478bd9Sstevel@tonic-gate 277c478bd9Sstevel@tonic-gate #pragma ident "%Z%%M% %I% %E% SMI" 287c478bd9Sstevel@tonic-gate 297c478bd9Sstevel@tonic-gate /* 307c478bd9Sstevel@tonic-gate * DTrace D Language Compiler 317c478bd9Sstevel@tonic-gate * 327c478bd9Sstevel@tonic-gate * The code in this source file implements the main engine for the D language 337c478bd9Sstevel@tonic-gate * compiler. The driver routine for the compiler is dt_compile(), below. The 347c478bd9Sstevel@tonic-gate * compiler operates on either stdio FILEs or in-memory strings as its input 357c478bd9Sstevel@tonic-gate * and can produce either dtrace_prog_t structures from a D program or a single 367c478bd9Sstevel@tonic-gate * dtrace_difo_t structure from a D expression. Multiple entry points are 377c478bd9Sstevel@tonic-gate * provided as wrappers around dt_compile() for the various input/output pairs. 387c478bd9Sstevel@tonic-gate * The compiler itself is implemented across the following source files: 397c478bd9Sstevel@tonic-gate * 407c478bd9Sstevel@tonic-gate * dt_lex.l - lex scanner 417c478bd9Sstevel@tonic-gate * dt_grammar.y - yacc grammar 427c478bd9Sstevel@tonic-gate * dt_parser.c - parse tree creation and semantic checking 437c478bd9Sstevel@tonic-gate * dt_decl.c - declaration stack processing 447c478bd9Sstevel@tonic-gate * dt_xlator.c - D translator lookup and creation 457c478bd9Sstevel@tonic-gate * dt_ident.c - identifier and symbol table routines 467c478bd9Sstevel@tonic-gate * dt_pragma.c - #pragma processing and D pragmas 477c478bd9Sstevel@tonic-gate * dt_printf.c - D printf() and printa() argument checking and processing 487c478bd9Sstevel@tonic-gate * dt_cc.c - compiler driver and dtrace_prog_t construction 497c478bd9Sstevel@tonic-gate * dt_cg.c - DIF code generator 507c478bd9Sstevel@tonic-gate * dt_as.c - DIF assembler 517c478bd9Sstevel@tonic-gate * dt_dof.c - dtrace_prog_t -> DOF conversion 527c478bd9Sstevel@tonic-gate * 537c478bd9Sstevel@tonic-gate * Several other source files provide collections of utility routines used by 547c478bd9Sstevel@tonic-gate * these major files. The compiler itself is implemented in multiple passes: 557c478bd9Sstevel@tonic-gate * 567c478bd9Sstevel@tonic-gate * (1) The input program is scanned and parsed by dt_lex.l and dt_grammar.y 577c478bd9Sstevel@tonic-gate * and parse tree nodes are constructed using the routines in dt_parser.c. 587c478bd9Sstevel@tonic-gate * This node construction pass is described further in dt_parser.c. 597c478bd9Sstevel@tonic-gate * 607c478bd9Sstevel@tonic-gate * (2) The parse tree is "cooked" by assigning each clause a context (see the 617c478bd9Sstevel@tonic-gate * routine dt_setcontext(), below) based on its probe description and then 627c478bd9Sstevel@tonic-gate * recursively descending the tree performing semantic checking. The cook 637c478bd9Sstevel@tonic-gate * routines are also implemented in dt_parser.c and described there. 647c478bd9Sstevel@tonic-gate * 657c478bd9Sstevel@tonic-gate * (3) For actions that are DIF expression statements, the DIF code generator 667c478bd9Sstevel@tonic-gate * and assembler are invoked to create a finished DIFO for the statement. 677c478bd9Sstevel@tonic-gate * 687c478bd9Sstevel@tonic-gate * (4) The dtrace_prog_t data structures for the program clauses and actions 697c478bd9Sstevel@tonic-gate * are built, containing pointers to any DIFOs created in step (3). 707c478bd9Sstevel@tonic-gate * 717c478bd9Sstevel@tonic-gate * (5) The caller invokes a routine in dt_dof.c to convert the finished program 727c478bd9Sstevel@tonic-gate * into DOF format for use in anonymous tracing or enabling in the kernel. 737c478bd9Sstevel@tonic-gate * 747c478bd9Sstevel@tonic-gate * In the implementation, steps 2-4 are intertwined in that they are performed 757c478bd9Sstevel@tonic-gate * in order for each clause as part of a loop that executes over the clauses. 767c478bd9Sstevel@tonic-gate * 777c478bd9Sstevel@tonic-gate * The D compiler currently implements nearly no optimization. The compiler 787c478bd9Sstevel@tonic-gate * implements integer constant folding as part of pass (1), and a set of very 797c478bd9Sstevel@tonic-gate * simple peephole optimizations as part of pass (3). As with any C compiler, 807c478bd9Sstevel@tonic-gate * a large number of optimizations are possible on both the intermediate data 817c478bd9Sstevel@tonic-gate * structures and the generated DIF code. These possibilities should be 827c478bd9Sstevel@tonic-gate * investigated in the context of whether they will have any substantive effect 837c478bd9Sstevel@tonic-gate * on the overall DTrace probe effect before they are undertaken. 847c478bd9Sstevel@tonic-gate */ 857c478bd9Sstevel@tonic-gate 867c478bd9Sstevel@tonic-gate #include <sys/types.h> 877c478bd9Sstevel@tonic-gate #include <sys/wait.h> 887c478bd9Sstevel@tonic-gate 897c478bd9Sstevel@tonic-gate #include <assert.h> 907c478bd9Sstevel@tonic-gate #include <strings.h> 917c478bd9Sstevel@tonic-gate #include <signal.h> 927c478bd9Sstevel@tonic-gate #include <unistd.h> 937c478bd9Sstevel@tonic-gate #include <stdlib.h> 947c478bd9Sstevel@tonic-gate #include <stdio.h> 957c478bd9Sstevel@tonic-gate #include <errno.h> 967c478bd9Sstevel@tonic-gate #include <ucontext.h> 977c478bd9Sstevel@tonic-gate #include <limits.h> 987c478bd9Sstevel@tonic-gate #include <ctype.h> 997c478bd9Sstevel@tonic-gate #include <dirent.h> 1007c478bd9Sstevel@tonic-gate #include <dt_module.h> 1011a7c1b72Smws #include <dt_program.h> 1027c478bd9Sstevel@tonic-gate #include <dt_provider.h> 1037c478bd9Sstevel@tonic-gate #include <dt_printf.h> 1047c478bd9Sstevel@tonic-gate #include <dt_pid.h> 1057c478bd9Sstevel@tonic-gate #include <dt_grammar.h> 1067c478bd9Sstevel@tonic-gate #include <dt_ident.h> 1077c478bd9Sstevel@tonic-gate #include <dt_string.h> 1087c478bd9Sstevel@tonic-gate #include <dt_impl.h> 1097c478bd9Sstevel@tonic-gate 1107c478bd9Sstevel@tonic-gate static const dtrace_diftype_t dt_void_rtype = { 1117c478bd9Sstevel@tonic-gate DIF_TYPE_CTF, CTF_K_INTEGER, 0, 0, 0 1127c478bd9Sstevel@tonic-gate }; 1137c478bd9Sstevel@tonic-gate 1147c478bd9Sstevel@tonic-gate static const dtrace_diftype_t dt_int_rtype = { 1157c478bd9Sstevel@tonic-gate DIF_TYPE_CTF, CTF_K_INTEGER, 0, 0, sizeof (uint64_t) 1167c478bd9Sstevel@tonic-gate }; 1177c478bd9Sstevel@tonic-gate 1187c478bd9Sstevel@tonic-gate /*ARGSUSED*/ 1197c478bd9Sstevel@tonic-gate static int 1207c478bd9Sstevel@tonic-gate dt_idreset(dt_idhash_t *dhp, dt_ident_t *idp, void *ignored) 1217c478bd9Sstevel@tonic-gate { 1227c478bd9Sstevel@tonic-gate idp->di_flags &= ~(DT_IDFLG_REF | DT_IDFLG_MOD | 1237c478bd9Sstevel@tonic-gate DT_IDFLG_DIFR | DT_IDFLG_DIFW); 1247c478bd9Sstevel@tonic-gate return (0); 1257c478bd9Sstevel@tonic-gate } 1267c478bd9Sstevel@tonic-gate 1277c478bd9Sstevel@tonic-gate /*ARGSUSED*/ 1287c478bd9Sstevel@tonic-gate static int 1297c478bd9Sstevel@tonic-gate dt_idpragma(dt_idhash_t *dhp, dt_ident_t *idp, void *ignored) 1307c478bd9Sstevel@tonic-gate { 1317c478bd9Sstevel@tonic-gate yylineno = idp->di_lineno; 1327c478bd9Sstevel@tonic-gate xyerror(D_PRAGMA_UNUSED, "unused #pragma %s\n", (char *)idp->di_iarg); 1337c478bd9Sstevel@tonic-gate return (0); 1347c478bd9Sstevel@tonic-gate } 1357c478bd9Sstevel@tonic-gate 1367c478bd9Sstevel@tonic-gate static dtrace_stmtdesc_t * 1377c478bd9Sstevel@tonic-gate dt_stmt_create(dtrace_hdl_t *dtp, dtrace_ecbdesc_t *edp, 1387c478bd9Sstevel@tonic-gate dtrace_attribute_t descattr, dtrace_attribute_t stmtattr) 1397c478bd9Sstevel@tonic-gate { 1407c478bd9Sstevel@tonic-gate dtrace_stmtdesc_t *sdp = dtrace_stmt_create(dtp, edp); 1417c478bd9Sstevel@tonic-gate 1427c478bd9Sstevel@tonic-gate if (sdp == NULL) 1437c478bd9Sstevel@tonic-gate longjmp(yypcb->pcb_jmpbuf, EDT_NOMEM); 1447c478bd9Sstevel@tonic-gate 1457c478bd9Sstevel@tonic-gate assert(yypcb->pcb_stmt == NULL); 1467c478bd9Sstevel@tonic-gate yypcb->pcb_stmt = sdp; 1477c478bd9Sstevel@tonic-gate 1487c478bd9Sstevel@tonic-gate sdp->dtsd_descattr = descattr; 1497c478bd9Sstevel@tonic-gate sdp->dtsd_stmtattr = stmtattr; 1507c478bd9Sstevel@tonic-gate 1517c478bd9Sstevel@tonic-gate return (sdp); 1527c478bd9Sstevel@tonic-gate } 1537c478bd9Sstevel@tonic-gate 1547c478bd9Sstevel@tonic-gate static dtrace_actdesc_t * 1557c478bd9Sstevel@tonic-gate dt_stmt_action(dtrace_hdl_t *dtp, dtrace_stmtdesc_t *sdp) 1567c478bd9Sstevel@tonic-gate { 1577c478bd9Sstevel@tonic-gate dtrace_actdesc_t *new; 1587c478bd9Sstevel@tonic-gate 1597c478bd9Sstevel@tonic-gate if ((new = dtrace_stmt_action(dtp, sdp)) == NULL) 1607c478bd9Sstevel@tonic-gate longjmp(yypcb->pcb_jmpbuf, EDT_NOMEM); 1617c478bd9Sstevel@tonic-gate 1627c478bd9Sstevel@tonic-gate return (new); 1637c478bd9Sstevel@tonic-gate } 1647c478bd9Sstevel@tonic-gate 1657c478bd9Sstevel@tonic-gate /* 1667c478bd9Sstevel@tonic-gate * Utility function to determine if a given action description is destructive. 1677c478bd9Sstevel@tonic-gate * The dtdo_destructive bit is set for us by the DIF assembler (see dt_as.c). 1687c478bd9Sstevel@tonic-gate */ 1697c478bd9Sstevel@tonic-gate static int 1707c478bd9Sstevel@tonic-gate dt_action_destructive(const dtrace_actdesc_t *ap) 1717c478bd9Sstevel@tonic-gate { 1727c478bd9Sstevel@tonic-gate return (DTRACEACT_ISDESTRUCTIVE(ap->dtad_kind) || (ap->dtad_kind == 1737c478bd9Sstevel@tonic-gate DTRACEACT_DIFEXPR && ap->dtad_difo->dtdo_destructive)); 1747c478bd9Sstevel@tonic-gate } 1757c478bd9Sstevel@tonic-gate 1767c478bd9Sstevel@tonic-gate static void 1777c478bd9Sstevel@tonic-gate dt_stmt_append(dtrace_stmtdesc_t *sdp, const dt_node_t *dnp) 1787c478bd9Sstevel@tonic-gate { 1797c478bd9Sstevel@tonic-gate dtrace_ecbdesc_t *edp = sdp->dtsd_ecbdesc; 1807c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap, *tap; 1817c478bd9Sstevel@tonic-gate int commit = 0; 1827c478bd9Sstevel@tonic-gate int speculate = 0; 1837c478bd9Sstevel@tonic-gate int datarec = 0; 1847c478bd9Sstevel@tonic-gate 1857c478bd9Sstevel@tonic-gate /* 1867c478bd9Sstevel@tonic-gate * Make sure that the new statement jibes with the rest of the ECB. 1877c478bd9Sstevel@tonic-gate */ 1887c478bd9Sstevel@tonic-gate for (ap = edp->dted_action; ap != NULL; ap = ap->dtad_next) { 1897c478bd9Sstevel@tonic-gate if (ap->dtad_kind == DTRACEACT_COMMIT) { 1907c478bd9Sstevel@tonic-gate if (commit) { 1917c478bd9Sstevel@tonic-gate dnerror(dnp, D_COMM_COMM, "commit( ) may " 1927c478bd9Sstevel@tonic-gate "not follow commit( )\n"); 1937c478bd9Sstevel@tonic-gate } 1947c478bd9Sstevel@tonic-gate 1957c478bd9Sstevel@tonic-gate if (datarec) { 1967c478bd9Sstevel@tonic-gate dnerror(dnp, D_COMM_DREC, "commit( ) may " 1977c478bd9Sstevel@tonic-gate "not follow data-recording action(s)\n"); 1987c478bd9Sstevel@tonic-gate } 1997c478bd9Sstevel@tonic-gate 2007c478bd9Sstevel@tonic-gate for (tap = ap; tap != NULL; tap = tap->dtad_next) { 2017c478bd9Sstevel@tonic-gate if (!DTRACEACT_ISAGG(tap->dtad_kind)) 2027c478bd9Sstevel@tonic-gate continue; 2037c478bd9Sstevel@tonic-gate 2047c478bd9Sstevel@tonic-gate dnerror(dnp, D_AGG_COMM, "aggregating actions " 2057c478bd9Sstevel@tonic-gate "may not follow commit( )\n"); 2067c478bd9Sstevel@tonic-gate } 2077c478bd9Sstevel@tonic-gate 2087c478bd9Sstevel@tonic-gate commit = 1; 2097c478bd9Sstevel@tonic-gate continue; 2107c478bd9Sstevel@tonic-gate } 2117c478bd9Sstevel@tonic-gate 2127c478bd9Sstevel@tonic-gate if (ap->dtad_kind == DTRACEACT_SPECULATE) { 2137c478bd9Sstevel@tonic-gate if (speculate) { 2147c478bd9Sstevel@tonic-gate dnerror(dnp, D_SPEC_SPEC, "speculate( ) may " 2157c478bd9Sstevel@tonic-gate "not follow speculate( )\n"); 2167c478bd9Sstevel@tonic-gate } 2177c478bd9Sstevel@tonic-gate 2187c478bd9Sstevel@tonic-gate if (commit) { 2197c478bd9Sstevel@tonic-gate dnerror(dnp, D_SPEC_COMM, "speculate( ) may " 2207c478bd9Sstevel@tonic-gate "not follow commit( )\n"); 2217c478bd9Sstevel@tonic-gate } 2227c478bd9Sstevel@tonic-gate 2237c478bd9Sstevel@tonic-gate if (datarec) { 2247c478bd9Sstevel@tonic-gate dnerror(dnp, D_SPEC_DREC, "speculate( ) may " 2257c478bd9Sstevel@tonic-gate "not follow data-recording action(s)\n"); 2267c478bd9Sstevel@tonic-gate } 2277c478bd9Sstevel@tonic-gate 2287c478bd9Sstevel@tonic-gate speculate = 1; 2297c478bd9Sstevel@tonic-gate continue; 2307c478bd9Sstevel@tonic-gate } 2317c478bd9Sstevel@tonic-gate 2327c478bd9Sstevel@tonic-gate if (DTRACEACT_ISAGG(ap->dtad_kind)) { 2337c478bd9Sstevel@tonic-gate if (speculate) { 2347c478bd9Sstevel@tonic-gate dnerror(dnp, D_AGG_SPEC, "aggregating actions " 2357c478bd9Sstevel@tonic-gate "may not follow speculate( )\n"); 2367c478bd9Sstevel@tonic-gate } 2377c478bd9Sstevel@tonic-gate 2387c478bd9Sstevel@tonic-gate datarec = 1; 2397c478bd9Sstevel@tonic-gate continue; 2407c478bd9Sstevel@tonic-gate } 2417c478bd9Sstevel@tonic-gate 2427c478bd9Sstevel@tonic-gate if (speculate) { 2437c478bd9Sstevel@tonic-gate if (dt_action_destructive(ap)) { 2447c478bd9Sstevel@tonic-gate dnerror(dnp, D_ACT_SPEC, "destructive actions " 2457c478bd9Sstevel@tonic-gate "may not follow speculate( )\n"); 2467c478bd9Sstevel@tonic-gate } 2477c478bd9Sstevel@tonic-gate 2487c478bd9Sstevel@tonic-gate if (ap->dtad_kind == DTRACEACT_EXIT) { 2497c478bd9Sstevel@tonic-gate dnerror(dnp, D_EXIT_SPEC, "exit( ) may not " 2507c478bd9Sstevel@tonic-gate "follow speculate( )\n"); 2517c478bd9Sstevel@tonic-gate } 2527c478bd9Sstevel@tonic-gate } 2537c478bd9Sstevel@tonic-gate 2547c478bd9Sstevel@tonic-gate /* 2557c478bd9Sstevel@tonic-gate * Exclude all non data-recording actions. 2567c478bd9Sstevel@tonic-gate */ 2577c478bd9Sstevel@tonic-gate if (dt_action_destructive(ap) || 2587c478bd9Sstevel@tonic-gate ap->dtad_kind == DTRACEACT_DISCARD) 2597c478bd9Sstevel@tonic-gate continue; 2607c478bd9Sstevel@tonic-gate 2617c478bd9Sstevel@tonic-gate if (ap->dtad_kind == DTRACEACT_DIFEXPR && 2627c478bd9Sstevel@tonic-gate ap->dtad_difo->dtdo_rtype.dtdt_kind == DIF_TYPE_CTF && 2637c478bd9Sstevel@tonic-gate ap->dtad_difo->dtdo_rtype.dtdt_size == 0) 2647c478bd9Sstevel@tonic-gate continue; 2657c478bd9Sstevel@tonic-gate 2667c478bd9Sstevel@tonic-gate if (commit) { 2677c478bd9Sstevel@tonic-gate dnerror(dnp, D_DREC_COMM, "data-recording actions " 2687c478bd9Sstevel@tonic-gate "may not follow commit( )\n"); 2697c478bd9Sstevel@tonic-gate } 2707c478bd9Sstevel@tonic-gate 2717c478bd9Sstevel@tonic-gate if (!speculate) 2727c478bd9Sstevel@tonic-gate datarec = 1; 2737c478bd9Sstevel@tonic-gate } 2747c478bd9Sstevel@tonic-gate 2757c478bd9Sstevel@tonic-gate if (dtrace_stmt_add(yypcb->pcb_hdl, yypcb->pcb_prog, sdp) != 0) 2767c478bd9Sstevel@tonic-gate longjmp(yypcb->pcb_jmpbuf, dtrace_errno(yypcb->pcb_hdl)); 2777c478bd9Sstevel@tonic-gate 2787c478bd9Sstevel@tonic-gate if (yypcb->pcb_stmt == sdp) 2797c478bd9Sstevel@tonic-gate yypcb->pcb_stmt = NULL; 2807c478bd9Sstevel@tonic-gate } 2817c478bd9Sstevel@tonic-gate 2827c478bd9Sstevel@tonic-gate /* 2837c478bd9Sstevel@tonic-gate * For the first element of an aggregation tuple or for printa(), we create a 2847c478bd9Sstevel@tonic-gate * simple DIF program that simply returns the immediate value that is the ID 2857c478bd9Sstevel@tonic-gate * of the aggregation itself. This could be optimized in the future by 2867c478bd9Sstevel@tonic-gate * creating a new in-kernel dtad_kind that just returns an integer. 2877c478bd9Sstevel@tonic-gate */ 2887c478bd9Sstevel@tonic-gate static void 2897c478bd9Sstevel@tonic-gate dt_action_difconst(dtrace_actdesc_t *ap, uint_t id, dtrace_actkind_t kind) 2907c478bd9Sstevel@tonic-gate { 2911a7c1b72Smws dtrace_hdl_t *dtp = yypcb->pcb_hdl; 2921a7c1b72Smws dtrace_difo_t *dp = dt_zalloc(dtp, sizeof (dtrace_difo_t)); 2937c478bd9Sstevel@tonic-gate 2947c478bd9Sstevel@tonic-gate if (dp == NULL) 2957c478bd9Sstevel@tonic-gate longjmp(yypcb->pcb_jmpbuf, EDT_NOMEM); 2967c478bd9Sstevel@tonic-gate 2971a7c1b72Smws dp->dtdo_buf = dt_alloc(dtp, sizeof (dif_instr_t) * 2); 2981a7c1b72Smws dp->dtdo_inttab = dt_alloc(dtp, sizeof (uint64_t)); 2997c478bd9Sstevel@tonic-gate 3007c478bd9Sstevel@tonic-gate if (dp->dtdo_buf == NULL || dp->dtdo_inttab == NULL) { 3011a7c1b72Smws dt_difo_free(dtp, dp); 3027c478bd9Sstevel@tonic-gate longjmp(yypcb->pcb_jmpbuf, EDT_NOMEM); 3037c478bd9Sstevel@tonic-gate } 3047c478bd9Sstevel@tonic-gate 3057c478bd9Sstevel@tonic-gate dp->dtdo_buf[0] = DIF_INSTR_SETX(0, 1); /* setx DIF_INTEGER[0], %r1 */ 3067c478bd9Sstevel@tonic-gate dp->dtdo_buf[1] = DIF_INSTR_RET(1); /* ret %r1 */ 3077c478bd9Sstevel@tonic-gate dp->dtdo_len = 2; 3087c478bd9Sstevel@tonic-gate dp->dtdo_inttab[0] = id; 3097c478bd9Sstevel@tonic-gate dp->dtdo_intlen = 1; 3107c478bd9Sstevel@tonic-gate dp->dtdo_rtype = dt_int_rtype; 3117c478bd9Sstevel@tonic-gate 3127c478bd9Sstevel@tonic-gate ap->dtad_difo = dp; 3137c478bd9Sstevel@tonic-gate ap->dtad_kind = kind; 3147c478bd9Sstevel@tonic-gate } 3157c478bd9Sstevel@tonic-gate 3167c478bd9Sstevel@tonic-gate static void 3177c478bd9Sstevel@tonic-gate dt_action_clear(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 3187c478bd9Sstevel@tonic-gate { 3197c478bd9Sstevel@tonic-gate dt_ident_t *aid; 3207c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap; 3217c478bd9Sstevel@tonic-gate dt_node_t *anp; 3227c478bd9Sstevel@tonic-gate 3237c478bd9Sstevel@tonic-gate char n[DT_TYPE_NAMELEN]; 3247c478bd9Sstevel@tonic-gate int argc = 0; 3257c478bd9Sstevel@tonic-gate 3267c478bd9Sstevel@tonic-gate for (anp = dnp->dn_args; anp != NULL; anp = anp->dn_list) 3277c478bd9Sstevel@tonic-gate argc++; /* count up arguments for error messages below */ 3287c478bd9Sstevel@tonic-gate 3297c478bd9Sstevel@tonic-gate if (argc != 1) { 3307c478bd9Sstevel@tonic-gate dnerror(dnp, D_CLEAR_PROTO, 3317c478bd9Sstevel@tonic-gate "%s( ) prototype mismatch: %d args passed, 1 expected\n", 3327c478bd9Sstevel@tonic-gate dnp->dn_ident->di_name, argc); 3337c478bd9Sstevel@tonic-gate } 3347c478bd9Sstevel@tonic-gate 3357c478bd9Sstevel@tonic-gate anp = dnp->dn_args; 3367c478bd9Sstevel@tonic-gate assert(anp != NULL); 3377c478bd9Sstevel@tonic-gate 3387c478bd9Sstevel@tonic-gate if (anp->dn_kind != DT_NODE_AGG) { 3397c478bd9Sstevel@tonic-gate dnerror(dnp, D_CLEAR_AGGARG, 3407c478bd9Sstevel@tonic-gate "%s( ) argument #1 is incompatible with prototype:\n" 3417c478bd9Sstevel@tonic-gate "\tprototype: aggregation\n\t argument: %s\n", 3427c478bd9Sstevel@tonic-gate dnp->dn_ident->di_name, 3437c478bd9Sstevel@tonic-gate dt_node_type_name(anp, n, sizeof (n))); 3447c478bd9Sstevel@tonic-gate } 3457c478bd9Sstevel@tonic-gate 3467c478bd9Sstevel@tonic-gate aid = anp->dn_ident; 3477c478bd9Sstevel@tonic-gate 3487c478bd9Sstevel@tonic-gate if (aid->di_gen == dtp->dt_gen && !(aid->di_flags & DT_IDFLG_MOD)) { 3497c478bd9Sstevel@tonic-gate dnerror(dnp, D_CLEAR_AGGBAD, 3507c478bd9Sstevel@tonic-gate "undefined aggregation: @%s\n", aid->di_name); 3517c478bd9Sstevel@tonic-gate } 3527c478bd9Sstevel@tonic-gate 3537c478bd9Sstevel@tonic-gate ap = dt_stmt_action(dtp, sdp); 3547c478bd9Sstevel@tonic-gate dt_action_difconst(ap, anp->dn_ident->di_id, DTRACEACT_LIBACT); 3557c478bd9Sstevel@tonic-gate ap->dtad_arg = DT_ACT_CLEAR; 3567c478bd9Sstevel@tonic-gate } 3577c478bd9Sstevel@tonic-gate 3587c478bd9Sstevel@tonic-gate static void 3597c478bd9Sstevel@tonic-gate dt_action_normalize(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 3607c478bd9Sstevel@tonic-gate { 3617c478bd9Sstevel@tonic-gate dt_ident_t *aid; 3627c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap; 3637c478bd9Sstevel@tonic-gate dt_node_t *anp, *normal; 3647c478bd9Sstevel@tonic-gate int denormal = (strcmp(dnp->dn_ident->di_name, "denormalize") == 0); 3657c478bd9Sstevel@tonic-gate 3667c478bd9Sstevel@tonic-gate char n[DT_TYPE_NAMELEN]; 3677c478bd9Sstevel@tonic-gate int argc = 0; 3687c478bd9Sstevel@tonic-gate 3697c478bd9Sstevel@tonic-gate for (anp = dnp->dn_args; anp != NULL; anp = anp->dn_list) 3707c478bd9Sstevel@tonic-gate argc++; /* count up arguments for error messages below */ 3717c478bd9Sstevel@tonic-gate 3727c478bd9Sstevel@tonic-gate if ((denormal && argc != 1) || (!denormal && argc != 2)) { 3737c478bd9Sstevel@tonic-gate dnerror(dnp, D_NORMALIZE_PROTO, 3747c478bd9Sstevel@tonic-gate "%s( ) prototype mismatch: %d args passed, %d expected\n", 3757c478bd9Sstevel@tonic-gate dnp->dn_ident->di_name, argc, denormal ? 1 : 2); 3767c478bd9Sstevel@tonic-gate } 3777c478bd9Sstevel@tonic-gate 3787c478bd9Sstevel@tonic-gate anp = dnp->dn_args; 3797c478bd9Sstevel@tonic-gate assert(anp != NULL); 3807c478bd9Sstevel@tonic-gate 3817c478bd9Sstevel@tonic-gate if (anp->dn_kind != DT_NODE_AGG) { 3827c478bd9Sstevel@tonic-gate dnerror(dnp, D_NORMALIZE_AGGARG, 3837c478bd9Sstevel@tonic-gate "%s( ) argument #1 is incompatible with prototype:\n" 3847c478bd9Sstevel@tonic-gate "\tprototype: aggregation\n\t argument: %s\n", 3857c478bd9Sstevel@tonic-gate dnp->dn_ident->di_name, 3867c478bd9Sstevel@tonic-gate dt_node_type_name(anp, n, sizeof (n))); 3877c478bd9Sstevel@tonic-gate } 3887c478bd9Sstevel@tonic-gate 3897c478bd9Sstevel@tonic-gate if ((normal = anp->dn_list) != NULL && !dt_node_is_scalar(normal)) { 3907c478bd9Sstevel@tonic-gate dnerror(dnp, D_NORMALIZE_SCALAR, 3917c478bd9Sstevel@tonic-gate "%s( ) argument #2 must be of scalar type\n", 3927c478bd9Sstevel@tonic-gate dnp->dn_ident->di_name); 3937c478bd9Sstevel@tonic-gate } 3947c478bd9Sstevel@tonic-gate 3957c478bd9Sstevel@tonic-gate aid = anp->dn_ident; 3967c478bd9Sstevel@tonic-gate 3977c478bd9Sstevel@tonic-gate if (aid->di_gen == dtp->dt_gen && !(aid->di_flags & DT_IDFLG_MOD)) { 3987c478bd9Sstevel@tonic-gate dnerror(dnp, D_NORMALIZE_AGGBAD, 3997c478bd9Sstevel@tonic-gate "undefined aggregation: @%s\n", aid->di_name); 4007c478bd9Sstevel@tonic-gate } 4017c478bd9Sstevel@tonic-gate 4027c478bd9Sstevel@tonic-gate ap = dt_stmt_action(dtp, sdp); 4037c478bd9Sstevel@tonic-gate dt_action_difconst(ap, anp->dn_ident->di_id, DTRACEACT_LIBACT); 4047c478bd9Sstevel@tonic-gate 4057c478bd9Sstevel@tonic-gate if (denormal) { 4067c478bd9Sstevel@tonic-gate ap->dtad_arg = DT_ACT_DENORMALIZE; 4077c478bd9Sstevel@tonic-gate return; 4087c478bd9Sstevel@tonic-gate } 4097c478bd9Sstevel@tonic-gate 4107c478bd9Sstevel@tonic-gate ap->dtad_arg = DT_ACT_NORMALIZE; 4117c478bd9Sstevel@tonic-gate 4127c478bd9Sstevel@tonic-gate assert(normal != NULL); 4137c478bd9Sstevel@tonic-gate ap = dt_stmt_action(dtp, sdp); 4147c478bd9Sstevel@tonic-gate dt_cg(yypcb, normal); 4157c478bd9Sstevel@tonic-gate 4167c478bd9Sstevel@tonic-gate ap->dtad_difo = dt_as(yypcb); 4177c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_LIBACT; 4187c478bd9Sstevel@tonic-gate ap->dtad_arg = DT_ACT_NORMALIZE; 4197c478bd9Sstevel@tonic-gate } 4207c478bd9Sstevel@tonic-gate 4217c478bd9Sstevel@tonic-gate static void 4227c478bd9Sstevel@tonic-gate dt_action_trunc(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 4237c478bd9Sstevel@tonic-gate { 4247c478bd9Sstevel@tonic-gate dt_ident_t *aid; 4257c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap; 4267c478bd9Sstevel@tonic-gate dt_node_t *anp, *trunc; 4277c478bd9Sstevel@tonic-gate 4287c478bd9Sstevel@tonic-gate char n[DT_TYPE_NAMELEN]; 4297c478bd9Sstevel@tonic-gate int argc = 0; 4307c478bd9Sstevel@tonic-gate 4317c478bd9Sstevel@tonic-gate for (anp = dnp->dn_args; anp != NULL; anp = anp->dn_list) 4327c478bd9Sstevel@tonic-gate argc++; /* count up arguments for error messages below */ 4337c478bd9Sstevel@tonic-gate 4347c478bd9Sstevel@tonic-gate if (argc > 2 || argc < 1) { 4357c478bd9Sstevel@tonic-gate dnerror(dnp, D_TRUNC_PROTO, 4367c478bd9Sstevel@tonic-gate "%s( ) prototype mismatch: %d args passed, %s expected\n", 4377c478bd9Sstevel@tonic-gate dnp->dn_ident->di_name, argc, 4387c478bd9Sstevel@tonic-gate argc < 1 ? "at least 1" : "no more than 2"); 4397c478bd9Sstevel@tonic-gate } 4407c478bd9Sstevel@tonic-gate 4417c478bd9Sstevel@tonic-gate anp = dnp->dn_args; 4427c478bd9Sstevel@tonic-gate assert(anp != NULL); 4437c478bd9Sstevel@tonic-gate trunc = anp->dn_list; 4447c478bd9Sstevel@tonic-gate 4457c478bd9Sstevel@tonic-gate if (anp->dn_kind != DT_NODE_AGG) { 4467c478bd9Sstevel@tonic-gate dnerror(dnp, D_TRUNC_AGGARG, 4477c478bd9Sstevel@tonic-gate "%s( ) argument #1 is incompatible with prototype:\n" 4487c478bd9Sstevel@tonic-gate "\tprototype: aggregation\n\t argument: %s\n", 4497c478bd9Sstevel@tonic-gate dnp->dn_ident->di_name, 4507c478bd9Sstevel@tonic-gate dt_node_type_name(anp, n, sizeof (n))); 4517c478bd9Sstevel@tonic-gate } 4527c478bd9Sstevel@tonic-gate 4537c478bd9Sstevel@tonic-gate if (argc == 2) { 4547c478bd9Sstevel@tonic-gate assert(trunc != NULL); 4557c478bd9Sstevel@tonic-gate if (!dt_node_is_scalar(trunc)) { 4567c478bd9Sstevel@tonic-gate dnerror(dnp, D_TRUNC_SCALAR, 4577c478bd9Sstevel@tonic-gate "%s( ) argument #2 must be of scalar type\n", 4587c478bd9Sstevel@tonic-gate dnp->dn_ident->di_name); 4597c478bd9Sstevel@tonic-gate } 4607c478bd9Sstevel@tonic-gate } 4617c478bd9Sstevel@tonic-gate 4627c478bd9Sstevel@tonic-gate aid = anp->dn_ident; 4637c478bd9Sstevel@tonic-gate 4647c478bd9Sstevel@tonic-gate if (aid->di_gen == dtp->dt_gen && !(aid->di_flags & DT_IDFLG_MOD)) { 4657c478bd9Sstevel@tonic-gate dnerror(dnp, D_TRUNC_AGGBAD, 4667c478bd9Sstevel@tonic-gate "undefined aggregation: @%s\n", aid->di_name); 4677c478bd9Sstevel@tonic-gate } 4687c478bd9Sstevel@tonic-gate 4697c478bd9Sstevel@tonic-gate ap = dt_stmt_action(dtp, sdp); 4707c478bd9Sstevel@tonic-gate dt_action_difconst(ap, anp->dn_ident->di_id, DTRACEACT_LIBACT); 4717c478bd9Sstevel@tonic-gate ap->dtad_arg = DT_ACT_TRUNC; 4727c478bd9Sstevel@tonic-gate 4737c478bd9Sstevel@tonic-gate ap = dt_stmt_action(dtp, sdp); 4747c478bd9Sstevel@tonic-gate 4757c478bd9Sstevel@tonic-gate if (argc == 1) { 4767c478bd9Sstevel@tonic-gate dt_action_difconst(ap, 0, DTRACEACT_LIBACT); 4777c478bd9Sstevel@tonic-gate } else { 4787c478bd9Sstevel@tonic-gate assert(trunc != NULL); 4797c478bd9Sstevel@tonic-gate dt_cg(yypcb, trunc); 4807c478bd9Sstevel@tonic-gate ap->dtad_difo = dt_as(yypcb); 4817c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_LIBACT; 4827c478bd9Sstevel@tonic-gate } 4837c478bd9Sstevel@tonic-gate 4847c478bd9Sstevel@tonic-gate ap->dtad_arg = DT_ACT_TRUNC; 4857c478bd9Sstevel@tonic-gate } 4867c478bd9Sstevel@tonic-gate 4877c478bd9Sstevel@tonic-gate static void 4887c478bd9Sstevel@tonic-gate dt_action_printa(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 4897c478bd9Sstevel@tonic-gate { 4907c478bd9Sstevel@tonic-gate dt_ident_t *aid, *fid; 4917c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap; 4927c478bd9Sstevel@tonic-gate const char *format; 493*30ef842dSbmc dt_node_t *anp, *proto = NULL; 4947c478bd9Sstevel@tonic-gate 4957c478bd9Sstevel@tonic-gate char n[DT_TYPE_NAMELEN]; 4967c478bd9Sstevel@tonic-gate int argc = 0, argr = 0; 4977c478bd9Sstevel@tonic-gate 4987c478bd9Sstevel@tonic-gate for (anp = dnp->dn_args; anp != NULL; anp = anp->dn_list) 4997c478bd9Sstevel@tonic-gate argc++; /* count up arguments for error messages below */ 5007c478bd9Sstevel@tonic-gate 5017c478bd9Sstevel@tonic-gate switch (dnp->dn_args->dn_kind) { 5027c478bd9Sstevel@tonic-gate case DT_NODE_STRING: 5037c478bd9Sstevel@tonic-gate format = dnp->dn_args->dn_string; 5047c478bd9Sstevel@tonic-gate anp = dnp->dn_args->dn_list; 5057c478bd9Sstevel@tonic-gate argr = 2; 5067c478bd9Sstevel@tonic-gate break; 5077c478bd9Sstevel@tonic-gate case DT_NODE_AGG: 5087c478bd9Sstevel@tonic-gate format = NULL; 5097c478bd9Sstevel@tonic-gate anp = dnp->dn_args; 5107c478bd9Sstevel@tonic-gate argr = 1; 5117c478bd9Sstevel@tonic-gate break; 5127c478bd9Sstevel@tonic-gate default: 5137c478bd9Sstevel@tonic-gate format = NULL; 5147c478bd9Sstevel@tonic-gate anp = dnp->dn_args; 5157c478bd9Sstevel@tonic-gate argr = 1; 5167c478bd9Sstevel@tonic-gate } 5177c478bd9Sstevel@tonic-gate 518*30ef842dSbmc if (argc < argr) { 5197c478bd9Sstevel@tonic-gate dnerror(dnp, D_PRINTA_PROTO, 5207c478bd9Sstevel@tonic-gate "%s( ) prototype mismatch: %d args passed, %d expected\n", 5217c478bd9Sstevel@tonic-gate dnp->dn_ident->di_name, argc, argr); 5227c478bd9Sstevel@tonic-gate } 5237c478bd9Sstevel@tonic-gate 524*30ef842dSbmc assert(anp != NULL); 5257c478bd9Sstevel@tonic-gate 526*30ef842dSbmc while (anp != NULL) { 527*30ef842dSbmc if (anp->dn_kind != DT_NODE_AGG) { 528*30ef842dSbmc dnerror(dnp, D_PRINTA_AGGARG, 529*30ef842dSbmc "%s( ) argument #%d is incompatible with " 530*30ef842dSbmc "prototype:\n\tprototype: aggregation\n" 531*30ef842dSbmc "\t argument: %s\n", dnp->dn_ident->di_name, argr, 532*30ef842dSbmc dt_node_type_name(anp, n, sizeof (n))); 533*30ef842dSbmc } 5347c478bd9Sstevel@tonic-gate 535*30ef842dSbmc aid = anp->dn_ident; 536*30ef842dSbmc fid = aid->di_iarg; 5377c478bd9Sstevel@tonic-gate 538*30ef842dSbmc if (aid->di_gen == dtp->dt_gen && 539*30ef842dSbmc !(aid->di_flags & DT_IDFLG_MOD)) { 540*30ef842dSbmc dnerror(dnp, D_PRINTA_AGGBAD, 541*30ef842dSbmc "undefined aggregation: @%s\n", aid->di_name); 542*30ef842dSbmc } 5437c478bd9Sstevel@tonic-gate 544*30ef842dSbmc /* 545*30ef842dSbmc * If we have multiple aggregations, we must be sure that 546*30ef842dSbmc * their key signatures match. 547*30ef842dSbmc */ 548*30ef842dSbmc if (proto != NULL) { 549*30ef842dSbmc dt_printa_validate(proto, anp); 550*30ef842dSbmc } else { 551*30ef842dSbmc proto = anp; 552*30ef842dSbmc } 5537c478bd9Sstevel@tonic-gate 554*30ef842dSbmc if (format != NULL) { 555*30ef842dSbmc yylineno = dnp->dn_line; 556*30ef842dSbmc 557*30ef842dSbmc sdp->dtsd_fmtdata = 558*30ef842dSbmc dt_printf_create(yypcb->pcb_hdl, format); 559*30ef842dSbmc dt_printf_validate(sdp->dtsd_fmtdata, 560*30ef842dSbmc DT_PRINTF_AGGREGATION, dnp->dn_ident, 1, 561*30ef842dSbmc fid->di_id, ((dt_idsig_t *)aid->di_data)->dis_args); 562*30ef842dSbmc format = NULL; 563*30ef842dSbmc } 564*30ef842dSbmc 565*30ef842dSbmc ap = dt_stmt_action(dtp, sdp); 566*30ef842dSbmc dt_action_difconst(ap, anp->dn_ident->di_id, DTRACEACT_PRINTA); 567*30ef842dSbmc 568*30ef842dSbmc anp = anp->dn_list; 569*30ef842dSbmc argr++; 570*30ef842dSbmc } 5717c478bd9Sstevel@tonic-gate } 5727c478bd9Sstevel@tonic-gate 5737c478bd9Sstevel@tonic-gate static void 5747c478bd9Sstevel@tonic-gate dt_action_printflike(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp, 5757c478bd9Sstevel@tonic-gate dtrace_actkind_t kind) 5767c478bd9Sstevel@tonic-gate { 5777c478bd9Sstevel@tonic-gate dt_node_t *anp, *arg1; 5787c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = NULL; 5797c478bd9Sstevel@tonic-gate char n[DT_TYPE_NAMELEN], *str; 5807c478bd9Sstevel@tonic-gate 5817c478bd9Sstevel@tonic-gate assert(DTRACEACT_ISPRINTFLIKE(kind)); 5827c478bd9Sstevel@tonic-gate 5837c478bd9Sstevel@tonic-gate if (dnp->dn_args->dn_kind != DT_NODE_STRING) { 5847c478bd9Sstevel@tonic-gate dnerror(dnp, D_PRINTF_ARG_FMT, 5857c478bd9Sstevel@tonic-gate "%s( ) argument #1 is incompatible with prototype:\n" 5867c478bd9Sstevel@tonic-gate "\tprototype: string constant\n\t argument: %s\n", 5877c478bd9Sstevel@tonic-gate dnp->dn_ident->di_name, 5887c478bd9Sstevel@tonic-gate dt_node_type_name(dnp->dn_args, n, sizeof (n))); 5897c478bd9Sstevel@tonic-gate } 5907c478bd9Sstevel@tonic-gate 5917c478bd9Sstevel@tonic-gate arg1 = dnp->dn_args->dn_list; 5927c478bd9Sstevel@tonic-gate yylineno = dnp->dn_line; 5937c478bd9Sstevel@tonic-gate str = dnp->dn_args->dn_string; 5947c478bd9Sstevel@tonic-gate 5957c478bd9Sstevel@tonic-gate 5967c478bd9Sstevel@tonic-gate /* 5977c478bd9Sstevel@tonic-gate * If this is an freopen(), we use an empty string to denote that 5987c478bd9Sstevel@tonic-gate * stdout should be restored. For other printf()-like actions, an 5997c478bd9Sstevel@tonic-gate * empty format string is illegal: an empty format string would 6007c478bd9Sstevel@tonic-gate * result in malformed DOF, and the compiler thus flags an empty 6017c478bd9Sstevel@tonic-gate * format string as a compile-time error. To avoid propagating the 6027c478bd9Sstevel@tonic-gate * freopen() special case throughout the system, we simply transpose 6037c478bd9Sstevel@tonic-gate * an empty string into a sentinel string (DT_FREOPEN_RESTORE) that 6047c478bd9Sstevel@tonic-gate * denotes that stdout should be restored. 6057c478bd9Sstevel@tonic-gate */ 6067c478bd9Sstevel@tonic-gate if (kind == DTRACEACT_FREOPEN) { 6077c478bd9Sstevel@tonic-gate if (strcmp(str, DT_FREOPEN_RESTORE) == 0) { 6087c478bd9Sstevel@tonic-gate /* 6097c478bd9Sstevel@tonic-gate * Our sentinel is always an invalid argument to 6107c478bd9Sstevel@tonic-gate * freopen(), but if it's been manually specified, we 6117c478bd9Sstevel@tonic-gate * must fail now instead of when the freopen() is 6127c478bd9Sstevel@tonic-gate * actually evaluated. 6137c478bd9Sstevel@tonic-gate */ 6147c478bd9Sstevel@tonic-gate dnerror(dnp, D_FREOPEN_INVALID, 6157c478bd9Sstevel@tonic-gate "%s( ) argument #1 cannot be \"%s\"\n", 6167c478bd9Sstevel@tonic-gate dnp->dn_ident->di_name, DT_FREOPEN_RESTORE); 6177c478bd9Sstevel@tonic-gate } 6187c478bd9Sstevel@tonic-gate 6197c478bd9Sstevel@tonic-gate if (str[0] == '\0') 6207c478bd9Sstevel@tonic-gate str = DT_FREOPEN_RESTORE; 6217c478bd9Sstevel@tonic-gate } 6227c478bd9Sstevel@tonic-gate 6231a7c1b72Smws sdp->dtsd_fmtdata = dt_printf_create(dtp, str); 6247c478bd9Sstevel@tonic-gate 6257c478bd9Sstevel@tonic-gate dt_printf_validate(sdp->dtsd_fmtdata, DT_PRINTF_EXACTLEN, 6267c478bd9Sstevel@tonic-gate dnp->dn_ident, 1, DTRACEACT_AGGREGATION, arg1); 6277c478bd9Sstevel@tonic-gate 6287c478bd9Sstevel@tonic-gate if (arg1 == NULL) { 6297c478bd9Sstevel@tonic-gate dif_instr_t *dbuf; 6307c478bd9Sstevel@tonic-gate dtrace_difo_t *dp; 6317c478bd9Sstevel@tonic-gate 6321a7c1b72Smws if ((dbuf = dt_alloc(dtp, sizeof (dif_instr_t))) == NULL || 6331a7c1b72Smws (dp = dt_zalloc(dtp, sizeof (dtrace_difo_t))) == NULL) { 6341a7c1b72Smws dt_free(dtp, dbuf); 6357c478bd9Sstevel@tonic-gate longjmp(yypcb->pcb_jmpbuf, EDT_NOMEM); 6367c478bd9Sstevel@tonic-gate } 6377c478bd9Sstevel@tonic-gate 6387c478bd9Sstevel@tonic-gate dbuf[0] = DIF_INSTR_RET(DIF_REG_R0); /* ret %r0 */ 6397c478bd9Sstevel@tonic-gate 6407c478bd9Sstevel@tonic-gate dp->dtdo_buf = dbuf; 6417c478bd9Sstevel@tonic-gate dp->dtdo_len = 1; 6427c478bd9Sstevel@tonic-gate dp->dtdo_rtype = dt_int_rtype; 6437c478bd9Sstevel@tonic-gate 6447c478bd9Sstevel@tonic-gate ap = dt_stmt_action(dtp, sdp); 6457c478bd9Sstevel@tonic-gate ap->dtad_difo = dp; 6467c478bd9Sstevel@tonic-gate ap->dtad_kind = kind; 6477c478bd9Sstevel@tonic-gate return; 6487c478bd9Sstevel@tonic-gate } 6497c478bd9Sstevel@tonic-gate 6507c478bd9Sstevel@tonic-gate for (anp = arg1; anp != NULL; anp = anp->dn_list) { 6517c478bd9Sstevel@tonic-gate ap = dt_stmt_action(dtp, sdp); 6527c478bd9Sstevel@tonic-gate dt_cg(yypcb, anp); 6537c478bd9Sstevel@tonic-gate ap->dtad_difo = dt_as(yypcb); 6547c478bd9Sstevel@tonic-gate ap->dtad_kind = kind; 6557c478bd9Sstevel@tonic-gate } 6567c478bd9Sstevel@tonic-gate } 6577c478bd9Sstevel@tonic-gate 6587c478bd9Sstevel@tonic-gate static void 6597c478bd9Sstevel@tonic-gate dt_action_trace(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 6607c478bd9Sstevel@tonic-gate { 6617c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 6627c478bd9Sstevel@tonic-gate 6637c478bd9Sstevel@tonic-gate if (dt_node_is_void(dnp->dn_args)) { 6647c478bd9Sstevel@tonic-gate dnerror(dnp->dn_args, D_TRACE_VOID, 6657c478bd9Sstevel@tonic-gate "trace( ) may not be applied to a void expression\n"); 6667c478bd9Sstevel@tonic-gate } 6677c478bd9Sstevel@tonic-gate 6687c478bd9Sstevel@tonic-gate if (dt_node_is_dynamic(dnp->dn_args)) { 6697c478bd9Sstevel@tonic-gate dnerror(dnp->dn_args, D_TRACE_DYN, 6707c478bd9Sstevel@tonic-gate "trace( ) may not be applied to a dynamic expression\n"); 6717c478bd9Sstevel@tonic-gate } 6727c478bd9Sstevel@tonic-gate 6737c478bd9Sstevel@tonic-gate dt_cg(yypcb, dnp->dn_args); 6747c478bd9Sstevel@tonic-gate ap->dtad_difo = dt_as(yypcb); 6757c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_DIFEXPR; 6767c478bd9Sstevel@tonic-gate } 6777c478bd9Sstevel@tonic-gate 6787c478bd9Sstevel@tonic-gate static void 6797c478bd9Sstevel@tonic-gate dt_action_tracemem(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 6807c478bd9Sstevel@tonic-gate { 6817c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 6827c478bd9Sstevel@tonic-gate 6837c478bd9Sstevel@tonic-gate dt_node_t *addr = dnp->dn_args; 6847c478bd9Sstevel@tonic-gate dt_node_t *size = dnp->dn_args->dn_list; 6857c478bd9Sstevel@tonic-gate 6867c478bd9Sstevel@tonic-gate char n[DT_TYPE_NAMELEN]; 6877c478bd9Sstevel@tonic-gate 6887c478bd9Sstevel@tonic-gate if (dt_node_is_integer(addr) == 0 && dt_node_is_pointer(addr) == 0) { 6897c478bd9Sstevel@tonic-gate dnerror(addr, D_TRACEMEM_ADDR, 6907c478bd9Sstevel@tonic-gate "tracemem( ) argument #1 is incompatible with " 6917c478bd9Sstevel@tonic-gate "prototype:\n\tprototype: pointer or integer\n" 6927c478bd9Sstevel@tonic-gate "\t argument: %s\n", 6937c478bd9Sstevel@tonic-gate dt_node_type_name(addr, n, sizeof (n))); 6947c478bd9Sstevel@tonic-gate } 6957c478bd9Sstevel@tonic-gate 6967c478bd9Sstevel@tonic-gate if (dt_node_is_posconst(size) == 0) { 6977c478bd9Sstevel@tonic-gate dnerror(size, D_TRACEMEM_SIZE, "tracemem( ) argument #2 must " 6987c478bd9Sstevel@tonic-gate "be a non-zero positive integral constant expression\n"); 6997c478bd9Sstevel@tonic-gate } 7007c478bd9Sstevel@tonic-gate 7017c478bd9Sstevel@tonic-gate dt_cg(yypcb, addr); 7027c478bd9Sstevel@tonic-gate ap->dtad_difo = dt_as(yypcb); 7037c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_DIFEXPR; 7047c478bd9Sstevel@tonic-gate 7057c478bd9Sstevel@tonic-gate ap->dtad_difo->dtdo_rtype.dtdt_flags |= DIF_TF_BYREF; 7067c478bd9Sstevel@tonic-gate ap->dtad_difo->dtdo_rtype.dtdt_size = size->dn_value; 7077c478bd9Sstevel@tonic-gate } 7087c478bd9Sstevel@tonic-gate 7097c478bd9Sstevel@tonic-gate static void 7107c478bd9Sstevel@tonic-gate dt_action_stack_args(dtrace_hdl_t *dtp, dtrace_actdesc_t *ap, dt_node_t *arg0) 7117c478bd9Sstevel@tonic-gate { 7127c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_STACK; 7137c478bd9Sstevel@tonic-gate 7147c478bd9Sstevel@tonic-gate if (dtp->dt_options[DTRACEOPT_STACKFRAMES] != DTRACEOPT_UNSET) { 7157c478bd9Sstevel@tonic-gate ap->dtad_arg = dtp->dt_options[DTRACEOPT_STACKFRAMES]; 7167c478bd9Sstevel@tonic-gate } else { 7177c478bd9Sstevel@tonic-gate ap->dtad_arg = 0; 7187c478bd9Sstevel@tonic-gate } 7197c478bd9Sstevel@tonic-gate 7207c478bd9Sstevel@tonic-gate if (arg0 != NULL) { 7217c478bd9Sstevel@tonic-gate if (arg0->dn_list != NULL) { 7227c478bd9Sstevel@tonic-gate dnerror(arg0, D_STACK_PROTO, "stack( ) prototype " 7237c478bd9Sstevel@tonic-gate "mismatch: too many arguments\n"); 7247c478bd9Sstevel@tonic-gate } 7257c478bd9Sstevel@tonic-gate 7267c478bd9Sstevel@tonic-gate if (dt_node_is_posconst(arg0) == 0) { 7277c478bd9Sstevel@tonic-gate dnerror(arg0, D_STACK_SIZE, "stack( ) size must be a " 7287c478bd9Sstevel@tonic-gate "non-zero positive integral constant expression\n"); 7297c478bd9Sstevel@tonic-gate } 7307c478bd9Sstevel@tonic-gate 7317c478bd9Sstevel@tonic-gate ap->dtad_arg = arg0->dn_value; 7327c478bd9Sstevel@tonic-gate } 7337c478bd9Sstevel@tonic-gate } 7347c478bd9Sstevel@tonic-gate 7357c478bd9Sstevel@tonic-gate static void 7367c478bd9Sstevel@tonic-gate dt_action_stack(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 7377c478bd9Sstevel@tonic-gate { 7387c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 7397c478bd9Sstevel@tonic-gate dt_action_stack_args(dtp, ap, dnp->dn_args); 7407c478bd9Sstevel@tonic-gate } 7417c478bd9Sstevel@tonic-gate 7427c478bd9Sstevel@tonic-gate static void 7437c478bd9Sstevel@tonic-gate dt_action_ustack_args(dtrace_hdl_t *dtp, dtrace_actdesc_t *ap, dt_node_t *dnp) 7447c478bd9Sstevel@tonic-gate { 7457c478bd9Sstevel@tonic-gate uint32_t nframes = 0; 7467c478bd9Sstevel@tonic-gate uint32_t strsize = 0; /* default string table size */ 7477c478bd9Sstevel@tonic-gate dt_node_t *arg0 = dnp->dn_args; 7487c478bd9Sstevel@tonic-gate dt_node_t *arg1 = arg0 != NULL ? arg0->dn_list : NULL; 7497c478bd9Sstevel@tonic-gate 7507c478bd9Sstevel@tonic-gate assert(dnp->dn_ident->di_id == DT_ACT_JSTACK || 7517c478bd9Sstevel@tonic-gate dnp->dn_ident->di_id == DT_ACT_USTACK); 7527c478bd9Sstevel@tonic-gate 7537c478bd9Sstevel@tonic-gate if (dnp->dn_ident->di_id == DT_ACT_JSTACK) { 7547c478bd9Sstevel@tonic-gate if (dtp->dt_options[DTRACEOPT_JSTACKFRAMES] != DTRACEOPT_UNSET) 7557c478bd9Sstevel@tonic-gate nframes = dtp->dt_options[DTRACEOPT_JSTACKFRAMES]; 7567c478bd9Sstevel@tonic-gate 7577c478bd9Sstevel@tonic-gate if (dtp->dt_options[DTRACEOPT_JSTACKSTRSIZE] != DTRACEOPT_UNSET) 7587c478bd9Sstevel@tonic-gate strsize = dtp->dt_options[DTRACEOPT_JSTACKSTRSIZE]; 7597c478bd9Sstevel@tonic-gate 7607c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_JSTACK; 7617c478bd9Sstevel@tonic-gate } else { 7627c478bd9Sstevel@tonic-gate assert(dnp->dn_ident->di_id == DT_ACT_USTACK); 7637c478bd9Sstevel@tonic-gate 7647c478bd9Sstevel@tonic-gate if (dtp->dt_options[DTRACEOPT_USTACKFRAMES] != DTRACEOPT_UNSET) 7657c478bd9Sstevel@tonic-gate nframes = dtp->dt_options[DTRACEOPT_USTACKFRAMES]; 7667c478bd9Sstevel@tonic-gate 7677c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_USTACK; 7687c478bd9Sstevel@tonic-gate } 7697c478bd9Sstevel@tonic-gate 7707c478bd9Sstevel@tonic-gate if (arg0 != NULL) { 7717c478bd9Sstevel@tonic-gate if (!dt_node_is_posconst(arg0)) { 7727c478bd9Sstevel@tonic-gate dnerror(arg0, D_USTACK_FRAMES, "ustack( ) argument #1 " 7737c478bd9Sstevel@tonic-gate "must be a non-zero positive integer constant\n"); 7747c478bd9Sstevel@tonic-gate } 7757c478bd9Sstevel@tonic-gate nframes = (uint32_t)arg0->dn_value; 7767c478bd9Sstevel@tonic-gate } 7777c478bd9Sstevel@tonic-gate 7787c478bd9Sstevel@tonic-gate if (arg1 != NULL) { 7797c478bd9Sstevel@tonic-gate if (arg1->dn_kind != DT_NODE_INT || 7807c478bd9Sstevel@tonic-gate ((arg1->dn_flags & DT_NF_SIGNED) && 7817c478bd9Sstevel@tonic-gate (int64_t)arg1->dn_value < 0)) { 7827c478bd9Sstevel@tonic-gate dnerror(arg1, D_USTACK_STRSIZE, "ustack( ) argument #2 " 7837c478bd9Sstevel@tonic-gate "must be a positive integer constant\n"); 7847c478bd9Sstevel@tonic-gate } 7857c478bd9Sstevel@tonic-gate 7867c478bd9Sstevel@tonic-gate if (arg1->dn_list != NULL) { 7877c478bd9Sstevel@tonic-gate dnerror(arg1, D_USTACK_PROTO, "ustack( ) prototype " 7887c478bd9Sstevel@tonic-gate "mismatch: too many arguments\n"); 7897c478bd9Sstevel@tonic-gate } 7907c478bd9Sstevel@tonic-gate 7917c478bd9Sstevel@tonic-gate strsize = (uint32_t)arg1->dn_value; 7927c478bd9Sstevel@tonic-gate } 7937c478bd9Sstevel@tonic-gate 7947c478bd9Sstevel@tonic-gate ap->dtad_arg = DTRACE_USTACK_ARG(nframes, strsize); 7957c478bd9Sstevel@tonic-gate } 7967c478bd9Sstevel@tonic-gate 7977c478bd9Sstevel@tonic-gate static void 7987c478bd9Sstevel@tonic-gate dt_action_ustack(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 7997c478bd9Sstevel@tonic-gate { 8007c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 8017c478bd9Sstevel@tonic-gate dt_action_ustack_args(dtp, ap, dnp); 8027c478bd9Sstevel@tonic-gate } 8037c478bd9Sstevel@tonic-gate 804a1b5e537Sbmc static void 805a1b5e537Sbmc dt_action_setopt(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 806a1b5e537Sbmc { 807a1b5e537Sbmc dtrace_actdesc_t *ap; 808a1b5e537Sbmc dt_node_t *arg0, *arg1; 809a1b5e537Sbmc 810a1b5e537Sbmc /* 811a1b5e537Sbmc * The prototype guarantees that we are called with either one or 812a1b5e537Sbmc * two arguments, and that any arguments that are present are strings. 813a1b5e537Sbmc */ 814a1b5e537Sbmc arg0 = dnp->dn_args; 815a1b5e537Sbmc arg1 = arg0->dn_list; 816a1b5e537Sbmc 817a1b5e537Sbmc ap = dt_stmt_action(dtp, sdp); 818a1b5e537Sbmc dt_cg(yypcb, arg0); 819a1b5e537Sbmc ap->dtad_difo = dt_as(yypcb); 820a1b5e537Sbmc ap->dtad_kind = DTRACEACT_LIBACT; 821a1b5e537Sbmc ap->dtad_arg = DT_ACT_SETOPT; 822a1b5e537Sbmc 823a1b5e537Sbmc ap = dt_stmt_action(dtp, sdp); 824a1b5e537Sbmc 825a1b5e537Sbmc if (arg1 == NULL) { 826a1b5e537Sbmc dt_action_difconst(ap, 0, DTRACEACT_LIBACT); 827a1b5e537Sbmc } else { 828a1b5e537Sbmc dt_cg(yypcb, arg1); 829a1b5e537Sbmc ap->dtad_difo = dt_as(yypcb); 830a1b5e537Sbmc ap->dtad_kind = DTRACEACT_LIBACT; 831a1b5e537Sbmc } 832a1b5e537Sbmc 833a1b5e537Sbmc ap->dtad_arg = DT_ACT_SETOPT; 834a1b5e537Sbmc } 835a1b5e537Sbmc 836a1b5e537Sbmc /*ARGSUSED*/ 837a1b5e537Sbmc static void 838a1b5e537Sbmc dt_action_symmod_args(dtrace_hdl_t *dtp, dtrace_actdesc_t *ap, 839a1b5e537Sbmc dt_node_t *dnp, dtrace_actkind_t kind) 840a1b5e537Sbmc { 841a1b5e537Sbmc assert(kind == DTRACEACT_SYM || kind == DTRACEACT_MOD || 842a1b5e537Sbmc kind == DTRACEACT_USYM || kind == DTRACEACT_UMOD || 843a1b5e537Sbmc kind == DTRACEACT_UADDR); 844a1b5e537Sbmc 845a1b5e537Sbmc dt_cg(yypcb, dnp); 846a1b5e537Sbmc ap->dtad_difo = dt_as(yypcb); 847a1b5e537Sbmc ap->dtad_kind = kind; 848a1b5e537Sbmc ap->dtad_difo->dtdo_rtype.dtdt_size = sizeof (uint64_t); 849a1b5e537Sbmc } 850a1b5e537Sbmc 851a1b5e537Sbmc static void 852a1b5e537Sbmc dt_action_symmod(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp, 853a1b5e537Sbmc dtrace_actkind_t kind) 854a1b5e537Sbmc { 855a1b5e537Sbmc dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 856a1b5e537Sbmc dt_action_symmod_args(dtp, ap, dnp->dn_args, kind); 857a1b5e537Sbmc } 858a1b5e537Sbmc 8597c478bd9Sstevel@tonic-gate /*ARGSUSED*/ 8607c478bd9Sstevel@tonic-gate static void 8617c478bd9Sstevel@tonic-gate dt_action_ftruncate(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 8627c478bd9Sstevel@tonic-gate { 8637c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 8647c478bd9Sstevel@tonic-gate 8657c478bd9Sstevel@tonic-gate /* 8667c478bd9Sstevel@tonic-gate * Library actions need a DIFO that serves as an argument. As 8677c478bd9Sstevel@tonic-gate * ftruncate() doesn't take an argument, we generate the constant 0 8687c478bd9Sstevel@tonic-gate * in a DIFO; this constant will be ignored when the ftruncate() is 8697c478bd9Sstevel@tonic-gate * processed. 8707c478bd9Sstevel@tonic-gate */ 8717c478bd9Sstevel@tonic-gate dt_action_difconst(ap, 0, DTRACEACT_LIBACT); 8727c478bd9Sstevel@tonic-gate ap->dtad_arg = DT_ACT_FTRUNCATE; 8737c478bd9Sstevel@tonic-gate } 8747c478bd9Sstevel@tonic-gate 8757c478bd9Sstevel@tonic-gate /*ARGSUSED*/ 8767c478bd9Sstevel@tonic-gate static void 8777c478bd9Sstevel@tonic-gate dt_action_stop(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 8787c478bd9Sstevel@tonic-gate { 8797c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 8807c478bd9Sstevel@tonic-gate 8817c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_STOP; 8827c478bd9Sstevel@tonic-gate ap->dtad_arg = 0; 8837c478bd9Sstevel@tonic-gate } 8847c478bd9Sstevel@tonic-gate 8857c478bd9Sstevel@tonic-gate /*ARGSUSED*/ 8867c478bd9Sstevel@tonic-gate static void 8877c478bd9Sstevel@tonic-gate dt_action_breakpoint(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 8887c478bd9Sstevel@tonic-gate { 8897c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 8907c478bd9Sstevel@tonic-gate 8917c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_BREAKPOINT; 8927c478bd9Sstevel@tonic-gate ap->dtad_arg = 0; 8937c478bd9Sstevel@tonic-gate } 8947c478bd9Sstevel@tonic-gate 8957c478bd9Sstevel@tonic-gate /*ARGSUSED*/ 8967c478bd9Sstevel@tonic-gate static void 8977c478bd9Sstevel@tonic-gate dt_action_panic(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 8987c478bd9Sstevel@tonic-gate { 8997c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 9007c478bd9Sstevel@tonic-gate 9017c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_PANIC; 9027c478bd9Sstevel@tonic-gate ap->dtad_arg = 0; 9037c478bd9Sstevel@tonic-gate } 9047c478bd9Sstevel@tonic-gate 9057c478bd9Sstevel@tonic-gate static void 9067c478bd9Sstevel@tonic-gate dt_action_chill(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 9077c478bd9Sstevel@tonic-gate { 9087c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 9097c478bd9Sstevel@tonic-gate 9107c478bd9Sstevel@tonic-gate dt_cg(yypcb, dnp->dn_args); 9117c478bd9Sstevel@tonic-gate ap->dtad_difo = dt_as(yypcb); 9127c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_CHILL; 9137c478bd9Sstevel@tonic-gate } 9147c478bd9Sstevel@tonic-gate 9157c478bd9Sstevel@tonic-gate static void 9167c478bd9Sstevel@tonic-gate dt_action_raise(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 9177c478bd9Sstevel@tonic-gate { 9187c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 9197c478bd9Sstevel@tonic-gate 9207c478bd9Sstevel@tonic-gate dt_cg(yypcb, dnp->dn_args); 9217c478bd9Sstevel@tonic-gate ap->dtad_difo = dt_as(yypcb); 9227c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_RAISE; 9237c478bd9Sstevel@tonic-gate } 9247c478bd9Sstevel@tonic-gate 9257c478bd9Sstevel@tonic-gate static void 9267c478bd9Sstevel@tonic-gate dt_action_exit(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 9277c478bd9Sstevel@tonic-gate { 9287c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 9297c478bd9Sstevel@tonic-gate 9307c478bd9Sstevel@tonic-gate dt_cg(yypcb, dnp->dn_args); 9317c478bd9Sstevel@tonic-gate ap->dtad_difo = dt_as(yypcb); 9327c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_EXIT; 9337c478bd9Sstevel@tonic-gate ap->dtad_difo->dtdo_rtype.dtdt_size = sizeof (int); 9347c478bd9Sstevel@tonic-gate } 9357c478bd9Sstevel@tonic-gate 9367c478bd9Sstevel@tonic-gate static void 9377c478bd9Sstevel@tonic-gate dt_action_speculate(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 9387c478bd9Sstevel@tonic-gate { 9397c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 9407c478bd9Sstevel@tonic-gate 9417c478bd9Sstevel@tonic-gate dt_cg(yypcb, dnp->dn_args); 9427c478bd9Sstevel@tonic-gate ap->dtad_difo = dt_as(yypcb); 9437c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_SPECULATE; 9447c478bd9Sstevel@tonic-gate } 9457c478bd9Sstevel@tonic-gate 9467c478bd9Sstevel@tonic-gate static void 9477c478bd9Sstevel@tonic-gate dt_action_commit(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 9487c478bd9Sstevel@tonic-gate { 9497c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 9507c478bd9Sstevel@tonic-gate 9517c478bd9Sstevel@tonic-gate dt_cg(yypcb, dnp->dn_args); 9527c478bd9Sstevel@tonic-gate ap->dtad_difo = dt_as(yypcb); 9537c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_COMMIT; 9547c478bd9Sstevel@tonic-gate } 9557c478bd9Sstevel@tonic-gate 9567c478bd9Sstevel@tonic-gate static void 9577c478bd9Sstevel@tonic-gate dt_action_discard(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 9587c478bd9Sstevel@tonic-gate { 9597c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 9607c478bd9Sstevel@tonic-gate 9617c478bd9Sstevel@tonic-gate dt_cg(yypcb, dnp->dn_args); 9627c478bd9Sstevel@tonic-gate ap->dtad_difo = dt_as(yypcb); 9637c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_DISCARD; 9647c478bd9Sstevel@tonic-gate } 9657c478bd9Sstevel@tonic-gate 9667c478bd9Sstevel@tonic-gate static void 9677c478bd9Sstevel@tonic-gate dt_compile_fun(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 9687c478bd9Sstevel@tonic-gate { 9697c478bd9Sstevel@tonic-gate switch (dnp->dn_expr->dn_ident->di_id) { 9707c478bd9Sstevel@tonic-gate case DT_ACT_BREAKPOINT: 9717c478bd9Sstevel@tonic-gate dt_action_breakpoint(dtp, dnp->dn_expr, sdp); 9727c478bd9Sstevel@tonic-gate break; 9737c478bd9Sstevel@tonic-gate case DT_ACT_CHILL: 9747c478bd9Sstevel@tonic-gate dt_action_chill(dtp, dnp->dn_expr, sdp); 9757c478bd9Sstevel@tonic-gate break; 9767c478bd9Sstevel@tonic-gate case DT_ACT_CLEAR: 9777c478bd9Sstevel@tonic-gate dt_action_clear(dtp, dnp->dn_expr, sdp); 9787c478bd9Sstevel@tonic-gate break; 9797c478bd9Sstevel@tonic-gate case DT_ACT_COMMIT: 9807c478bd9Sstevel@tonic-gate dt_action_commit(dtp, dnp->dn_expr, sdp); 9817c478bd9Sstevel@tonic-gate break; 9827c478bd9Sstevel@tonic-gate case DT_ACT_DENORMALIZE: 9837c478bd9Sstevel@tonic-gate dt_action_normalize(dtp, dnp->dn_expr, sdp); 9847c478bd9Sstevel@tonic-gate break; 9857c478bd9Sstevel@tonic-gate case DT_ACT_DISCARD: 9867c478bd9Sstevel@tonic-gate dt_action_discard(dtp, dnp->dn_expr, sdp); 9877c478bd9Sstevel@tonic-gate break; 9887c478bd9Sstevel@tonic-gate case DT_ACT_EXIT: 9897c478bd9Sstevel@tonic-gate dt_action_exit(dtp, dnp->dn_expr, sdp); 9907c478bd9Sstevel@tonic-gate break; 9917c478bd9Sstevel@tonic-gate case DT_ACT_FREOPEN: 9927c478bd9Sstevel@tonic-gate dt_action_printflike(dtp, dnp->dn_expr, sdp, DTRACEACT_FREOPEN); 9937c478bd9Sstevel@tonic-gate break; 9947c478bd9Sstevel@tonic-gate case DT_ACT_FTRUNCATE: 9957c478bd9Sstevel@tonic-gate dt_action_ftruncate(dtp, dnp->dn_expr, sdp); 9967c478bd9Sstevel@tonic-gate break; 997a1b5e537Sbmc case DT_ACT_MOD: 998a1b5e537Sbmc dt_action_symmod(dtp, dnp->dn_expr, sdp, DTRACEACT_MOD); 999a1b5e537Sbmc break; 10007c478bd9Sstevel@tonic-gate case DT_ACT_NORMALIZE: 10017c478bd9Sstevel@tonic-gate dt_action_normalize(dtp, dnp->dn_expr, sdp); 10027c478bd9Sstevel@tonic-gate break; 10037c478bd9Sstevel@tonic-gate case DT_ACT_PANIC: 10047c478bd9Sstevel@tonic-gate dt_action_panic(dtp, dnp->dn_expr, sdp); 10057c478bd9Sstevel@tonic-gate break; 10067c478bd9Sstevel@tonic-gate case DT_ACT_PRINTA: 10077c478bd9Sstevel@tonic-gate dt_action_printa(dtp, dnp->dn_expr, sdp); 10087c478bd9Sstevel@tonic-gate break; 10097c478bd9Sstevel@tonic-gate case DT_ACT_PRINTF: 10107c478bd9Sstevel@tonic-gate dt_action_printflike(dtp, dnp->dn_expr, sdp, DTRACEACT_PRINTF); 10117c478bd9Sstevel@tonic-gate break; 10127c478bd9Sstevel@tonic-gate case DT_ACT_RAISE: 10137c478bd9Sstevel@tonic-gate dt_action_raise(dtp, dnp->dn_expr, sdp); 10147c478bd9Sstevel@tonic-gate break; 1015a1b5e537Sbmc case DT_ACT_SETOPT: 1016a1b5e537Sbmc dt_action_setopt(dtp, dnp->dn_expr, sdp); 1017a1b5e537Sbmc break; 10187c478bd9Sstevel@tonic-gate case DT_ACT_SPECULATE: 10197c478bd9Sstevel@tonic-gate dt_action_speculate(dtp, dnp->dn_expr, sdp); 10207c478bd9Sstevel@tonic-gate break; 10217c478bd9Sstevel@tonic-gate case DT_ACT_STACK: 10227c478bd9Sstevel@tonic-gate dt_action_stack(dtp, dnp->dn_expr, sdp); 10237c478bd9Sstevel@tonic-gate break; 10247c478bd9Sstevel@tonic-gate case DT_ACT_STOP: 10257c478bd9Sstevel@tonic-gate dt_action_stop(dtp, dnp->dn_expr, sdp); 10267c478bd9Sstevel@tonic-gate break; 1027a1b5e537Sbmc case DT_ACT_SYM: 1028a1b5e537Sbmc dt_action_symmod(dtp, dnp->dn_expr, sdp, DTRACEACT_SYM); 1029a1b5e537Sbmc break; 10307c478bd9Sstevel@tonic-gate case DT_ACT_SYSTEM: 10317c478bd9Sstevel@tonic-gate dt_action_printflike(dtp, dnp->dn_expr, sdp, DTRACEACT_SYSTEM); 10327c478bd9Sstevel@tonic-gate break; 10337c478bd9Sstevel@tonic-gate case DT_ACT_TRACE: 10347c478bd9Sstevel@tonic-gate dt_action_trace(dtp, dnp->dn_expr, sdp); 10357c478bd9Sstevel@tonic-gate break; 10367c478bd9Sstevel@tonic-gate case DT_ACT_TRACEMEM: 10377c478bd9Sstevel@tonic-gate dt_action_tracemem(dtp, dnp->dn_expr, sdp); 10387c478bd9Sstevel@tonic-gate break; 10397c478bd9Sstevel@tonic-gate case DT_ACT_TRUNC: 10407c478bd9Sstevel@tonic-gate dt_action_trunc(dtp, dnp->dn_expr, sdp); 10417c478bd9Sstevel@tonic-gate break; 1042a1b5e537Sbmc case DT_ACT_UADDR: 1043a1b5e537Sbmc dt_action_symmod(dtp, dnp->dn_expr, sdp, DTRACEACT_UADDR); 1044a1b5e537Sbmc break; 1045a1b5e537Sbmc case DT_ACT_UMOD: 1046a1b5e537Sbmc dt_action_symmod(dtp, dnp->dn_expr, sdp, DTRACEACT_UMOD); 1047a1b5e537Sbmc break; 1048a1b5e537Sbmc case DT_ACT_USYM: 1049a1b5e537Sbmc dt_action_symmod(dtp, dnp->dn_expr, sdp, DTRACEACT_USYM); 1050a1b5e537Sbmc break; 10517c478bd9Sstevel@tonic-gate case DT_ACT_USTACK: 10527c478bd9Sstevel@tonic-gate case DT_ACT_JSTACK: 10537c478bd9Sstevel@tonic-gate dt_action_ustack(dtp, dnp->dn_expr, sdp); 10547c478bd9Sstevel@tonic-gate break; 10557c478bd9Sstevel@tonic-gate default: 10567c478bd9Sstevel@tonic-gate dnerror(dnp->dn_expr, D_UNKNOWN, "tracing function %s( ) is " 10577c478bd9Sstevel@tonic-gate "not yet supported\n", dnp->dn_expr->dn_ident->di_name); 10587c478bd9Sstevel@tonic-gate } 10597c478bd9Sstevel@tonic-gate } 10607c478bd9Sstevel@tonic-gate 10617c478bd9Sstevel@tonic-gate static void 10627c478bd9Sstevel@tonic-gate dt_compile_exp(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 10637c478bd9Sstevel@tonic-gate { 10647c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap = dt_stmt_action(dtp, sdp); 10657c478bd9Sstevel@tonic-gate 10667c478bd9Sstevel@tonic-gate dt_cg(yypcb, dnp->dn_expr); 10677c478bd9Sstevel@tonic-gate ap->dtad_difo = dt_as(yypcb); 10687c478bd9Sstevel@tonic-gate ap->dtad_difo->dtdo_rtype = dt_void_rtype; 10697c478bd9Sstevel@tonic-gate ap->dtad_kind = DTRACEACT_DIFEXPR; 10707c478bd9Sstevel@tonic-gate } 10717c478bd9Sstevel@tonic-gate 10727c478bd9Sstevel@tonic-gate static void 10737c478bd9Sstevel@tonic-gate dt_compile_agg(dtrace_hdl_t *dtp, dt_node_t *dnp, dtrace_stmtdesc_t *sdp) 10747c478bd9Sstevel@tonic-gate { 10757c478bd9Sstevel@tonic-gate dt_ident_t *aid, *fid; 1076a1b5e537Sbmc dt_node_t *anp, *incr = NULL; 10777c478bd9Sstevel@tonic-gate dtrace_actdesc_t *ap; 1078a1b5e537Sbmc uint_t n = 1, argmax; 1079a1b5e537Sbmc uint64_t arg = 0; 10807c478bd9Sstevel@tonic-gate 10817c478bd9Sstevel@tonic-gate /* 10827c478bd9Sstevel@tonic-gate * If the aggregation has no aggregating function applied to it, then 10837c478bd9Sstevel@tonic-gate * this statement has no effect. Flag this as a programming error. 10847c478bd9Sstevel@tonic-gate */ 10857c478bd9Sstevel@tonic-gate if (dnp->dn_aggfun == NULL) { 10867c478bd9Sstevel@tonic-gate dnerror(dnp, D_AGG_NULL, "expression has null effect: @%s\n", 10877c478bd9Sstevel@tonic-gate dnp->dn_ident->di_name); 10887c478bd9Sstevel@tonic-gate } 10897c478bd9Sstevel@tonic-gate 10907c478bd9Sstevel@tonic-gate aid = dnp->dn_ident; 10917c478bd9Sstevel@tonic-gate fid = dnp->dn_aggfun->dn_ident; 10927c478bd9Sstevel@tonic-gate 10937c478bd9Sstevel@tonic-gate if (dnp->dn_aggfun->dn_args != NULL && 10947c478bd9Sstevel@tonic-gate dt_node_is_scalar(dnp->dn_aggfun->dn_args) == 0) { 10957c478bd9Sstevel@tonic-gate dnerror(dnp->dn_aggfun, D_AGG_SCALAR, "%s( ) argument #1 must " 10967c478bd9Sstevel@tonic-gate "be of scalar type\n", fid->di_name); 10977c478bd9Sstevel@tonic-gate } 10987c478bd9Sstevel@tonic-gate 10997c478bd9Sstevel@tonic-gate /* 11007c478bd9Sstevel@tonic-gate * The ID of the aggregation itself is implicitly recorded as the first 11017c478bd9Sstevel@tonic-gate * member of each aggregation tuple so we can distinguish them later. 11027c478bd9Sstevel@tonic-gate */ 11037c478bd9Sstevel@tonic-gate ap = dt_stmt_action(dtp, sdp); 11047c478bd9Sstevel@tonic-gate dt_action_difconst(ap, aid->di_id, DTRACEACT_DIFEXPR); 11057c478bd9Sstevel@tonic-gate 11067c478bd9Sstevel@tonic-gate for (anp = dnp->dn_aggtup; anp != NULL; anp = anp->dn_list) { 11077c478bd9Sstevel@tonic-gate ap = dt_stmt_action(dtp, sdp); 11087c478bd9Sstevel@tonic-gate n++; 11097c478bd9Sstevel@tonic-gate 11107c478bd9Sstevel@tonic-gate if (anp->dn_kind == DT_NODE_FUNC) { 11117c478bd9Sstevel@tonic-gate if (anp->dn_ident->di_id == DT_ACT_STACK) { 11127c478bd9Sstevel@tonic-gate dt_action_stack_args(dtp, ap, anp->dn_args); 11137c478bd9Sstevel@tonic-gate continue; 11147c478bd9Sstevel@tonic-gate } 11157c478bd9Sstevel@tonic-gate 11167c478bd9Sstevel@tonic-gate if (anp->dn_ident->di_id == DT_ACT_USTACK || 11177c478bd9Sstevel@tonic-gate anp->dn_ident->di_id == DT_ACT_JSTACK) { 11187c478bd9Sstevel@tonic-gate dt_action_ustack_args(dtp, ap, anp); 11197c478bd9Sstevel@tonic-gate continue; 11207c478bd9Sstevel@tonic-gate } 11217c478bd9Sstevel@tonic-gate 1122a1b5e537Sbmc switch (anp->dn_ident->di_id) { 1123a1b5e537Sbmc case DT_ACT_UADDR: 1124a1b5e537Sbmc dt_action_symmod_args(dtp, ap, 1125a1b5e537Sbmc anp->dn_args, DTRACEACT_UADDR); 1126a1b5e537Sbmc continue; 11277c478bd9Sstevel@tonic-gate 1128a1b5e537Sbmc case DT_ACT_USYM: 1129a1b5e537Sbmc dt_action_symmod_args(dtp, ap, 1130a1b5e537Sbmc anp->dn_args, DTRACEACT_USYM); 1131a1b5e537Sbmc continue; 11327c478bd9Sstevel@tonic-gate 1133a1b5e537Sbmc case DT_ACT_UMOD: 1134a1b5e537Sbmc dt_action_symmod_args(dtp, ap, 1135a1b5e537Sbmc anp->dn_args, DTRACEACT_UMOD); 1136a1b5e537Sbmc continue; 11377c478bd9Sstevel@tonic-gate 1138a1b5e537Sbmc case DT_ACT_SYM: 1139a1b5e537Sbmc dt_action_symmod_args(dtp, ap, 1140a1b5e537Sbmc anp->dn_args, DTRACEACT_SYM); 1141a1b5e537Sbmc continue; 1142a1b5e537Sbmc 1143a1b5e537Sbmc case DT_ACT_MOD: 1144a1b5e537Sbmc dt_action_symmod_args(dtp, ap, 1145a1b5e537Sbmc anp->dn_args, DTRACEACT_MOD); 1146a1b5e537Sbmc continue; 1147a1b5e537Sbmc 1148a1b5e537Sbmc default: 1149a1b5e537Sbmc break; 1150a1b5e537Sbmc } 1151a1b5e537Sbmc } 1152a1b5e537Sbmc 1153a1b5e537Sbmc dt_cg(yypcb, anp); 11547c478bd9Sstevel@tonic-gate ap->dtad_difo = dt_as(yypcb); 1155a1b5e537Sbmc ap->dtad_kind = DTRACEACT_DIFEXPR; 11567c478bd9Sstevel@tonic-gate } 11577c478bd9Sstevel@tonic-gate 11587c478bd9Sstevel@tonic-gate if (fid->di_id == DTRACEAGG_LQUANTIZE) { 11597c478bd9Sstevel@tonic-gate /* 1160a1b5e537Sbmc * For linear quantization, we have between two and four 1161a1b5e537Sbmc * arguments in addition to the expression: 11627c478bd9Sstevel@tonic-gate * 11637c478bd9Sstevel@tonic-gate * arg1 => Base value 11647c478bd9Sstevel@tonic-gate * arg2 => Limit value 11657c478bd9Sstevel@tonic-gate * arg3 => Quantization level step size (defaults to 1) 1166a1b5e537Sbmc * arg4 => Quantization increment value (defaults to 1) 11677c478bd9Sstevel@tonic-gate */ 11687c478bd9Sstevel@tonic-gate dt_node_t *arg1 = dnp->dn_aggfun->dn_args->dn_list; 11697c478bd9Sstevel@tonic-gate dt_node_t *arg2 = arg1->dn_list; 11707c478bd9Sstevel@tonic-gate dt_node_t *arg3 = arg2->dn_list; 1171*30ef842dSbmc dt_idsig_t *isp; 1172*30ef842dSbmc uint64_t nlevels, step = 1, oarg; 11737c478bd9Sstevel@tonic-gate int64_t baseval, limitval; 11747c478bd9Sstevel@tonic-gate 11757c478bd9Sstevel@tonic-gate if (arg1->dn_kind != DT_NODE_INT) { 11767c478bd9Sstevel@tonic-gate dnerror(arg1, D_LQUANT_BASETYPE, "lquantize( ) " 11777c478bd9Sstevel@tonic-gate "argument #1 must be an integer constant\n"); 11787c478bd9Sstevel@tonic-gate } 11797c478bd9Sstevel@tonic-gate 11807c478bd9Sstevel@tonic-gate baseval = (int64_t)arg1->dn_value; 11817c478bd9Sstevel@tonic-gate 11827c478bd9Sstevel@tonic-gate if (baseval < INT32_MIN || baseval > INT32_MAX) { 11837c478bd9Sstevel@tonic-gate dnerror(arg1, D_LQUANT_BASEVAL, "lquantize( ) " 11847c478bd9Sstevel@tonic-gate "argument #1 must be a 32-bit quantity\n"); 11857c478bd9Sstevel@tonic-gate } 11867c478bd9Sstevel@tonic-gate 11877c478bd9Sstevel@tonic-gate if (arg2->dn_kind != DT_NODE_INT) { 11887c478bd9Sstevel@tonic-gate dnerror(arg2, D_LQUANT_LIMTYPE, "lquantize( ) " 11897c478bd9Sstevel@tonic-gate "argument #2 must be an integer constant\n"); 11907c478bd9Sstevel@tonic-gate } 11917c478bd9Sstevel@tonic-gate 11927c478bd9Sstevel@tonic-gate limitval = (int64_t)arg2->dn_value; 11937c478bd9Sstevel@tonic-gate 11947c478bd9Sstevel@tonic-gate if (limitval < INT32_MIN || limitval > INT32_MAX) { 11957c478bd9Sstevel@tonic-gate dnerror(arg2, D_LQUANT_LIMVAL, "lquantize( ) " 11967c478bd9Sstevel@tonic-gate "argument #2 must be a 32-bit quantity\n"); 11977c478bd9Sstevel@tonic-gate } 11987c478bd9Sstevel@tonic-gate 11997c478bd9Sstevel@tonic-gate if (limitval < baseval) { 12007c478bd9Sstevel@tonic-gate dnerror(dnp, D_LQUANT_MISMATCH, 12017c478bd9Sstevel@tonic-gate "lquantize( ) base (argument #1) must be less " 12027c478bd9Sstevel@tonic-gate "than limit (argument #2)\n"); 12037c478bd9Sstevel@tonic-gate } 12047c478bd9Sstevel@tonic-gate 12057c478bd9Sstevel@tonic-gate if (arg3 != NULL) { 12067c478bd9Sstevel@tonic-gate if (!dt_node_is_posconst(arg3)) { 12077c478bd9Sstevel@tonic-gate dnerror(arg3, D_LQUANT_STEPTYPE, "lquantize( ) " 12087c478bd9Sstevel@tonic-gate "argument #3 must be a non-zero positive " 12097c478bd9Sstevel@tonic-gate "integer constant\n"); 12107c478bd9Sstevel@tonic-gate } 12117c478bd9Sstevel@tonic-gate 12127c478bd9Sstevel@tonic-gate if ((step = arg3->dn_value) > UINT16_MAX) { 12137c478bd9Sstevel@tonic-gate dnerror(arg3, D_LQUANT_STEPVAL, "lquantize( ) " 12147c478bd9Sstevel@tonic-gate "argument #3 must be a 16-bit quantity\n"); 12157c478bd9Sstevel@tonic-gate } 12167c478bd9Sstevel@tonic-gate } 12177c478bd9Sstevel@tonic-gate 12187c478bd9Sstevel@tonic-gate nlevels = (limitval - baseval) / step; 12197c478bd9Sstevel@tonic-gate 12207c478bd9Sstevel@tonic-gate if (nlevels == 0) { 12217c478bd9Sstevel@tonic-gate dnerror(dnp, D_LQUANT_STEPLARGE, 12227c478bd9Sstevel@tonic-gate "lquantize( ) step (argument #3) too large: must " 12237c478bd9Sstevel@tonic-gate "have at least one quantization level\n"); 12247c478bd9Sstevel@tonic-gate } 12257c478bd9Sstevel@tonic-gate 12267c478bd9Sstevel@tonic-gate if (nlevels > UINT16_MAX) { 12277c478bd9Sstevel@tonic-gate dnerror(dnp, D_LQUANT_STEPSMALL, "lquantize( ) step " 12287c478bd9Sstevel@tonic-gate "(argument #3) too small: number of quantization " 12297c478bd9Sstevel@tonic-gate "levels must be a 16-bit quantity\n"); 12307c478bd9Sstevel@tonic-gate } 12317c478bd9Sstevel@tonic-gate 1232a1b5e537Sbmc arg = (step << DTRACE_LQUANTIZE_STEPSHIFT) | 12337c478bd9Sstevel@tonic-gate (nlevels << DTRACE_LQUANTIZE_LEVELSHIFT) | 12347c478bd9Sstevel@tonic-gate ((baseval << DTRACE_LQUANTIZE_BASESHIFT) & 12357c478bd9Sstevel@tonic-gate DTRACE_LQUANTIZE_BASEMASK); 1236a1b5e537Sbmc 1237*30ef842dSbmc assert(arg != 0); 1238*30ef842dSbmc 1239*30ef842dSbmc isp = (dt_idsig_t *)aid->di_data; 1240*30ef842dSbmc 1241*30ef842dSbmc if (isp->dis_auxinfo == 0) { 1242*30ef842dSbmc /* 1243*30ef842dSbmc * This is the first time we've seen an lquantize() 1244*30ef842dSbmc * for this aggregation; we'll store our argument 1245*30ef842dSbmc * as the auxiliary signature information. 1246*30ef842dSbmc */ 1247*30ef842dSbmc isp->dis_auxinfo = arg; 1248*30ef842dSbmc } else if ((oarg = isp->dis_auxinfo) != arg) { 1249*30ef842dSbmc /* 1250*30ef842dSbmc * If we have seen this lquantize() before and the 1251*30ef842dSbmc * argument doesn't match the original argument, pick 1252*30ef842dSbmc * the original argument apart to concisely report the 1253*30ef842dSbmc * mismatch. 1254*30ef842dSbmc */ 1255*30ef842dSbmc int obaseval = DTRACE_LQUANTIZE_BASE(oarg); 1256*30ef842dSbmc int onlevels = DTRACE_LQUANTIZE_LEVELS(oarg); 1257*30ef842dSbmc int ostep = DTRACE_LQUANTIZE_STEP(oarg); 1258*30ef842dSbmc 1259*30ef842dSbmc if (obaseval != baseval) { 1260*30ef842dSbmc dnerror(dnp, D_LQUANT_MATCHBASE, "lquantize( ) " 1261*30ef842dSbmc "base (argument #1) doesn't match previous " 1262*30ef842dSbmc "declaration: expected %d, found %d\n", 1263*30ef842dSbmc obaseval, (int)baseval); 1264*30ef842dSbmc } 1265*30ef842dSbmc 1266*30ef842dSbmc if (onlevels * ostep != nlevels * step) { 1267*30ef842dSbmc dnerror(dnp, D_LQUANT_MATCHLIM, "lquantize( ) " 1268*30ef842dSbmc "limit (argument #2) doesn't match previous" 1269*30ef842dSbmc " declaration: expected %d, found %d\n", 1270*30ef842dSbmc obaseval + onlevels * ostep, 1271*30ef842dSbmc (int)baseval + (int)nlevels * (int)step); 1272*30ef842dSbmc } 1273*30ef842dSbmc 1274*30ef842dSbmc if (ostep != step) { 1275*30ef842dSbmc dnerror(dnp, D_LQUANT_MATCHSTEP, "lquantize( ) " 1276*30ef842dSbmc "step (argument #3) doesn't match previous " 1277*30ef842dSbmc "declaration: expected %d, found %d\n", 1278*30ef842dSbmc ostep, (int)step); 1279*30ef842dSbmc } 1280*30ef842dSbmc 1281*30ef842dSbmc /* 1282*30ef842dSbmc * We shouldn't be able to get here -- one of the 1283*30ef842dSbmc * parameters must be mismatched if the arguments 1284*30ef842dSbmc * didn't match. 1285*30ef842dSbmc */ 1286*30ef842dSbmc assert(0); 1287*30ef842dSbmc } 1288*30ef842dSbmc 1289a1b5e537Sbmc incr = arg3 != NULL ? arg3->dn_list : NULL; 1290a1b5e537Sbmc argmax = 5; 1291a1b5e537Sbmc } 1292a1b5e537Sbmc 1293a1b5e537Sbmc if (fid->di_id == DTRACEAGG_QUANTIZE) { 1294a1b5e537Sbmc incr = dnp->dn_aggfun->dn_args->dn_list; 1295a1b5e537Sbmc argmax = 2; 1296a1b5e537Sbmc } 1297a1b5e537Sbmc 1298a1b5e537Sbmc if (incr != NULL) { 1299a1b5e537Sbmc if (!dt_node_is_scalar(incr)) { 1300a1b5e537Sbmc dnerror(dnp, D_PROTO_ARG, "%s( ) increment value " 1301a1b5e537Sbmc "(argument #%d) must be of scalar type\n", 1302a1b5e537Sbmc fid->di_name, argmax); 1303a1b5e537Sbmc } 1304a1b5e537Sbmc 1305a1b5e537Sbmc if ((anp = incr->dn_list) != NULL) { 1306a1b5e537Sbmc int argc = argmax; 1307a1b5e537Sbmc 1308a1b5e537Sbmc for (; anp != NULL; anp = anp->dn_list) 1309a1b5e537Sbmc argc++; 1310a1b5e537Sbmc 1311a1b5e537Sbmc dnerror(incr, D_PROTO_LEN, "%s( ) prototype " 1312a1b5e537Sbmc "mismatch: %d args passed, at most %d expected", 1313a1b5e537Sbmc fid->di_name, argc, argmax); 1314a1b5e537Sbmc } 1315a1b5e537Sbmc 1316a1b5e537Sbmc ap = dt_stmt_action(dtp, sdp); 1317a1b5e537Sbmc n++; 1318a1b5e537Sbmc 1319a1b5e537Sbmc dt_cg(yypcb, incr); 1320a1b5e537Sbmc ap->dtad_difo = dt_as(yypcb); 1321a1b5e537Sbmc ap->dtad_difo->dtdo_rtype = dt_void_rtype; 1322a1b5e537Sbmc ap->dtad_kind = DTRACEACT_DIFEXPR; 1323a1b5e537Sbmc } 1324a1b5e537Sbmc 1325a1b5e537Sbmc assert(sdp->dtsd_aggdata == NULL); 1326a1b5e537Sbmc sdp->dtsd_aggdata = aid; 1327a1b5e537Sbmc 1328a1b5e537Sbmc ap = dt_stmt_action(dtp, sdp); 1329a1b5e537Sbmc assert(fid->di_kind == DT_IDENT_AGGFUNC); 1330a1b5e537Sbmc assert(DTRACEACT_ISAGG(fid->di_id)); 1331a1b5e537Sbmc ap->dtad_kind = fid->di_id; 1332a1b5e537Sbmc ap->dtad_ntuple = n; 1333a1b5e537Sbmc ap->dtad_arg = arg; 1334a1b5e537Sbmc 1335a1b5e537Sbmc if (dnp->dn_aggfun->dn_args != NULL) { 1336a1b5e537Sbmc dt_cg(yypcb, dnp->dn_aggfun->dn_args); 1337a1b5e537Sbmc ap->dtad_difo = dt_as(yypcb); 13387c478bd9Sstevel@tonic-gate } 13397c478bd9Sstevel@tonic-gate } 13407c478bd9Sstevel@tonic-gate 13417c478bd9Sstevel@tonic-gate static void 13427c478bd9Sstevel@tonic-gate dt_compile_one_clause(dtrace_hdl_t *dtp, dt_node_t *cnp, dt_node_t *pnp) 13437c478bd9Sstevel@tonic-gate { 13447c478bd9Sstevel@tonic-gate dtrace_ecbdesc_t *edp; 13457c478bd9Sstevel@tonic-gate dtrace_stmtdesc_t *sdp; 13467c478bd9Sstevel@tonic-gate dt_node_t *dnp; 13477c478bd9Sstevel@tonic-gate 13487c478bd9Sstevel@tonic-gate yylineno = pnp->dn_line; 13497c478bd9Sstevel@tonic-gate dt_setcontext(dtp, pnp->dn_desc); 13507c478bd9Sstevel@tonic-gate (void) dt_node_cook(cnp, DT_IDFLG_REF); 13517c478bd9Sstevel@tonic-gate 13527c478bd9Sstevel@tonic-gate if (DT_TREEDUMP_PASS(dtp, 2)) 13537c478bd9Sstevel@tonic-gate dt_node_printr(cnp, stderr, 0); 13547c478bd9Sstevel@tonic-gate 13551a7c1b72Smws if ((edp = dt_ecbdesc_create(dtp, pnp->dn_desc)) == NULL) 13567c478bd9Sstevel@tonic-gate longjmp(yypcb->pcb_jmpbuf, EDT_NOMEM); 13577c478bd9Sstevel@tonic-gate 13587c478bd9Sstevel@tonic-gate assert(yypcb->pcb_ecbdesc == NULL); 13597c478bd9Sstevel@tonic-gate yypcb->pcb_ecbdesc = edp; 13607c478bd9Sstevel@tonic-gate 13617c478bd9Sstevel@tonic-gate if (cnp->dn_pred != NULL) { 13627c478bd9Sstevel@tonic-gate dt_cg(yypcb, cnp->dn_pred); 13637c478bd9Sstevel@tonic-gate edp->dted_pred.dtpdd_difo = dt_as(yypcb); 13647c478bd9Sstevel@tonic-gate } 13657c478bd9Sstevel@tonic-gate 13667c478bd9Sstevel@tonic-gate if (cnp->dn_acts == NULL) { 13677c478bd9Sstevel@tonic-gate dt_stmt_append(dt_stmt_create(dtp, edp, 13687c478bd9Sstevel@tonic-gate cnp->dn_ctxattr, _dtrace_defattr), cnp); 13697c478bd9Sstevel@tonic-gate } 13707c478bd9Sstevel@tonic-gate 13717c478bd9Sstevel@tonic-gate for (dnp = cnp->dn_acts; dnp != NULL; dnp = dnp->dn_list) { 13727c478bd9Sstevel@tonic-gate assert(yypcb->pcb_stmt == NULL); 13737c478bd9Sstevel@tonic-gate sdp = dt_stmt_create(dtp, edp, cnp->dn_ctxattr, cnp->dn_attr); 13747c478bd9Sstevel@tonic-gate 13757c478bd9Sstevel@tonic-gate switch (dnp->dn_kind) { 13767c478bd9Sstevel@tonic-gate case DT_NODE_DEXPR: 13777c478bd9Sstevel@tonic-gate if (dnp->dn_expr->dn_kind == DT_NODE_AGG) 13787c478bd9Sstevel@tonic-gate dt_compile_agg(dtp, dnp->dn_expr, sdp); 13797c478bd9Sstevel@tonic-gate else 13807c478bd9Sstevel@tonic-gate dt_compile_exp(dtp, dnp, sdp); 13817c478bd9Sstevel@tonic-gate break; 13827c478bd9Sstevel@tonic-gate case DT_NODE_DFUNC: 13837c478bd9Sstevel@tonic-gate dt_compile_fun(dtp, dnp, sdp); 13847c478bd9Sstevel@tonic-gate break; 13857c478bd9Sstevel@tonic-gate case DT_NODE_AGG: 13867c478bd9Sstevel@tonic-gate dt_compile_agg(dtp, dnp, sdp); 13877c478bd9Sstevel@tonic-gate break; 13887c478bd9Sstevel@tonic-gate default: 13897c478bd9Sstevel@tonic-gate dnerror(dnp, D_UNKNOWN, "internal error -- node kind " 13907c478bd9Sstevel@tonic-gate "%u is not a valid statement\n", dnp->dn_kind); 13917c478bd9Sstevel@tonic-gate } 13927c478bd9Sstevel@tonic-gate 13937c478bd9Sstevel@tonic-gate assert(yypcb->pcb_stmt == sdp); 13947c478bd9Sstevel@tonic-gate dt_stmt_append(sdp, dnp); 13957c478bd9Sstevel@tonic-gate } 13967c478bd9Sstevel@tonic-gate 13977c478bd9Sstevel@tonic-gate assert(yypcb->pcb_ecbdesc == edp); 13981a7c1b72Smws dt_ecbdesc_release(dtp, edp); 13997c478bd9Sstevel@tonic-gate dt_endcontext(dtp); 14007c478bd9Sstevel@tonic-gate yypcb->pcb_ecbdesc = NULL; 14017c478bd9Sstevel@tonic-gate } 14027c478bd9Sstevel@tonic-gate 14037c478bd9Sstevel@tonic-gate static void 14047c478bd9Sstevel@tonic-gate dt_compile_clause(dtrace_hdl_t *dtp, dt_node_t *cnp) 14057c478bd9Sstevel@tonic-gate { 14067c478bd9Sstevel@tonic-gate dt_node_t *pnp; 14077c478bd9Sstevel@tonic-gate 14087c478bd9Sstevel@tonic-gate for (pnp = cnp->dn_pdescs; pnp != NULL; pnp = pnp->dn_list) 14097c478bd9Sstevel@tonic-gate dt_compile_one_clause(dtp, cnp, pnp); 14107c478bd9Sstevel@tonic-gate } 14117c478bd9Sstevel@tonic-gate 14121a7c1b72Smws static void 14131a7c1b72Smws dt_compile_xlator(dt_node_t *dnp) 14141a7c1b72Smws { 14151a7c1b72Smws dt_xlator_t *dxp = dnp->dn_xlator; 14161a7c1b72Smws dt_node_t *mnp; 14171a7c1b72Smws 14181a7c1b72Smws for (mnp = dnp->dn_members; mnp != NULL; mnp = mnp->dn_list) { 14191a7c1b72Smws assert(dxp->dx_membdif[mnp->dn_membid] == NULL); 14201a7c1b72Smws dt_cg(yypcb, mnp); 14211a7c1b72Smws dxp->dx_membdif[mnp->dn_membid] = dt_as(yypcb); 14221a7c1b72Smws } 14231a7c1b72Smws } 14241a7c1b72Smws 14257c478bd9Sstevel@tonic-gate void 14267c478bd9Sstevel@tonic-gate dt_setcontext(dtrace_hdl_t *dtp, dtrace_probedesc_t *pdp) 14277c478bd9Sstevel@tonic-gate { 14287c478bd9Sstevel@tonic-gate const dtrace_pattr_t *pap; 14297c478bd9Sstevel@tonic-gate dt_probe_t *prp; 14307c478bd9Sstevel@tonic-gate dt_ident_t *idp; 14317c478bd9Sstevel@tonic-gate char attrstr[8]; 14327c478bd9Sstevel@tonic-gate int err; 14337c478bd9Sstevel@tonic-gate 14347c478bd9Sstevel@tonic-gate /* 14357c478bd9Sstevel@tonic-gate * If the provider name ends with what could be interpreted as a 14367c478bd9Sstevel@tonic-gate * number, we assume that it's a pid and that we may need to 14377c478bd9Sstevel@tonic-gate * dynamically create those probes for that process. 14387c478bd9Sstevel@tonic-gate */ 14397c478bd9Sstevel@tonic-gate if (isdigit(pdp->dtpd_provider[strlen(pdp->dtpd_provider) - 1])) 14407c478bd9Sstevel@tonic-gate dt_pid_create_probes(pdp, dtp); 14417c478bd9Sstevel@tonic-gate 14427c478bd9Sstevel@tonic-gate /* 14437c478bd9Sstevel@tonic-gate * Call dt_probe_info() to get the probe arguments and attributes. If 14447c478bd9Sstevel@tonic-gate * a representative probe is found, set 'pap' to the probe provider's 14457c478bd9Sstevel@tonic-gate * attributes. Otherwise set 'pap' to default Unstable attributes. 14467c478bd9Sstevel@tonic-gate */ 14477c478bd9Sstevel@tonic-gate if ((prp = dt_probe_info(dtp, pdp, &yypcb->pcb_pinfo)) == NULL) { 14487c478bd9Sstevel@tonic-gate pap = &_dtrace_prvdesc; 14497c478bd9Sstevel@tonic-gate err = dtrace_errno(dtp); 14507c478bd9Sstevel@tonic-gate bzero(&yypcb->pcb_pinfo, sizeof (dtrace_probeinfo_t)); 14517c478bd9Sstevel@tonic-gate yypcb->pcb_pinfo.dtp_attr = pap->dtpa_provider; 14527c478bd9Sstevel@tonic-gate yypcb->pcb_pinfo.dtp_arga = pap->dtpa_args; 14537c478bd9Sstevel@tonic-gate } else { 14547c478bd9Sstevel@tonic-gate pap = &prp->pr_pvp->pv_desc.dtvd_attr; 14557c478bd9Sstevel@tonic-gate err = 0; 14567c478bd9Sstevel@tonic-gate } 14577c478bd9Sstevel@tonic-gate 14587c478bd9Sstevel@tonic-gate if (err == EDT_NOPROBE && !(yypcb->pcb_cflags & DTRACE_C_ZDEFS)) { 14597c478bd9Sstevel@tonic-gate xyerror(D_PDESC_ZERO, "probe description %s:%s:%s:%s does not " 14607c478bd9Sstevel@tonic-gate "match any probes\n", pdp->dtpd_provider, pdp->dtpd_mod, 14617c478bd9Sstevel@tonic-gate pdp->dtpd_func, pdp->dtpd_name); 14627c478bd9Sstevel@tonic-gate } 14637c478bd9Sstevel@tonic-gate 14647c478bd9Sstevel@tonic-gate if (err != EDT_NOPROBE && err != EDT_UNSTABLE && err != 0) 14657c478bd9Sstevel@tonic-gate xyerror(D_PDESC_INVAL, "%s\n", dtrace_errmsg(dtp, err)); 14667c478bd9Sstevel@tonic-gate 14677c478bd9Sstevel@tonic-gate dt_dprintf("set context to %s:%s:%s:%s [%u] prp=%p attr=%s argc=%d\n", 14687c478bd9Sstevel@tonic-gate pdp->dtpd_provider, pdp->dtpd_mod, pdp->dtpd_func, pdp->dtpd_name, 14697c478bd9Sstevel@tonic-gate pdp->dtpd_id, (void *)prp, dt_attr_str(yypcb->pcb_pinfo.dtp_attr, 14707c478bd9Sstevel@tonic-gate attrstr, sizeof (attrstr)), yypcb->pcb_pinfo.dtp_argc); 14717c478bd9Sstevel@tonic-gate 14727c478bd9Sstevel@tonic-gate /* 14737c478bd9Sstevel@tonic-gate * Reset the stability attributes of D global variables that vary 14747c478bd9Sstevel@tonic-gate * based on the attributes of the provider and context itself. 14757c478bd9Sstevel@tonic-gate */ 14767c478bd9Sstevel@tonic-gate if ((idp = dt_idhash_lookup(dtp->dt_globals, "probeprov")) != NULL) 14777c478bd9Sstevel@tonic-gate idp->di_attr = pap->dtpa_provider; 14787c478bd9Sstevel@tonic-gate if ((idp = dt_idhash_lookup(dtp->dt_globals, "probemod")) != NULL) 14797c478bd9Sstevel@tonic-gate idp->di_attr = pap->dtpa_mod; 14807c478bd9Sstevel@tonic-gate if ((idp = dt_idhash_lookup(dtp->dt_globals, "probefunc")) != NULL) 14817c478bd9Sstevel@tonic-gate idp->di_attr = pap->dtpa_func; 14827c478bd9Sstevel@tonic-gate if ((idp = dt_idhash_lookup(dtp->dt_globals, "probename")) != NULL) 14837c478bd9Sstevel@tonic-gate idp->di_attr = pap->dtpa_name; 14847c478bd9Sstevel@tonic-gate if ((idp = dt_idhash_lookup(dtp->dt_globals, "args")) != NULL) 14857c478bd9Sstevel@tonic-gate idp->di_attr = pap->dtpa_args; 14867c478bd9Sstevel@tonic-gate 14877c478bd9Sstevel@tonic-gate yypcb->pcb_pdesc = pdp; 14887c478bd9Sstevel@tonic-gate yypcb->pcb_probe = prp; 14897c478bd9Sstevel@tonic-gate } 14907c478bd9Sstevel@tonic-gate 14917c478bd9Sstevel@tonic-gate /* 14927c478bd9Sstevel@tonic-gate * Reset context-dependent variables and state at the end of cooking a D probe 14937c478bd9Sstevel@tonic-gate * definition clause. This ensures that external declarations between clauses 14947c478bd9Sstevel@tonic-gate * do not reference any stale context-dependent data from the previous clause. 14957c478bd9Sstevel@tonic-gate */ 14967c478bd9Sstevel@tonic-gate void 14977c478bd9Sstevel@tonic-gate dt_endcontext(dtrace_hdl_t *dtp) 14987c478bd9Sstevel@tonic-gate { 14997c478bd9Sstevel@tonic-gate static const char *const cvars[] = { 15007c478bd9Sstevel@tonic-gate "probeprov", "probemod", "probefunc", "probename", "args", NULL 15017c478bd9Sstevel@tonic-gate }; 15027c478bd9Sstevel@tonic-gate 15037c478bd9Sstevel@tonic-gate dt_ident_t *idp; 15047c478bd9Sstevel@tonic-gate int i; 15057c478bd9Sstevel@tonic-gate 15067c478bd9Sstevel@tonic-gate for (i = 0; cvars[i] != NULL; i++) { 15077c478bd9Sstevel@tonic-gate if ((idp = dt_idhash_lookup(dtp->dt_globals, cvars[i])) != NULL) 15087c478bd9Sstevel@tonic-gate idp->di_attr = _dtrace_defattr; 15097c478bd9Sstevel@tonic-gate } 15107c478bd9Sstevel@tonic-gate 15117c478bd9Sstevel@tonic-gate yypcb->pcb_pdesc = NULL; 15127c478bd9Sstevel@tonic-gate yypcb->pcb_probe = NULL; 15137c478bd9Sstevel@tonic-gate } 15147c478bd9Sstevel@tonic-gate 15157c478bd9Sstevel@tonic-gate static int 15167c478bd9Sstevel@tonic-gate dt_reduceid(dt_idhash_t *dhp, dt_ident_t *idp, dtrace_hdl_t *dtp) 15177c478bd9Sstevel@tonic-gate { 15187c478bd9Sstevel@tonic-gate if (idp->di_vers != 0 && idp->di_vers > dtp->dt_vmax) 15197c478bd9Sstevel@tonic-gate dt_idhash_delete(dhp, idp); 15207c478bd9Sstevel@tonic-gate 15217c478bd9Sstevel@tonic-gate return (0); 15227c478bd9Sstevel@tonic-gate } 15237c478bd9Sstevel@tonic-gate 15247c478bd9Sstevel@tonic-gate /* 15257c478bd9Sstevel@tonic-gate * When dtrace_setopt() is called for "version", it calls dt_reduce() to remove 15267c478bd9Sstevel@tonic-gate * any identifiers or translators that have been previously defined as bound to 15277c478bd9Sstevel@tonic-gate * a version greater than the specified version. Therefore, in our current 15287c478bd9Sstevel@tonic-gate * version implementation, establishing a binding is a one-way transformation. 15297c478bd9Sstevel@tonic-gate * In addition, no versioning is currently provided for types as our .d library 15307c478bd9Sstevel@tonic-gate * files do not define any types and we reserve prefixes DTRACE_ and dtrace_ 15317c478bd9Sstevel@tonic-gate * for our exclusive use. If required, type versioning will require more work. 15327c478bd9Sstevel@tonic-gate */ 15337c478bd9Sstevel@tonic-gate int 15347c478bd9Sstevel@tonic-gate dt_reduce(dtrace_hdl_t *dtp, dt_version_t v) 15357c478bd9Sstevel@tonic-gate { 15367c478bd9Sstevel@tonic-gate char s[DT_VERSION_STRMAX]; 15377c478bd9Sstevel@tonic-gate dt_xlator_t *dxp, *nxp; 15387c478bd9Sstevel@tonic-gate 15397c478bd9Sstevel@tonic-gate if (v > dtp->dt_vmax) 15407c478bd9Sstevel@tonic-gate return (dt_set_errno(dtp, EDT_VERSREDUCED)); 15417c478bd9Sstevel@tonic-gate else if (v == dtp->dt_vmax) 15427c478bd9Sstevel@tonic-gate return (0); /* no reduction necessary */ 15437c478bd9Sstevel@tonic-gate 15447c478bd9Sstevel@tonic-gate dt_dprintf("reducing api version to %s\n", 15457c478bd9Sstevel@tonic-gate dt_version_num2str(v, s, sizeof (s))); 15467c478bd9Sstevel@tonic-gate 15477c478bd9Sstevel@tonic-gate dtp->dt_vmax = v; 15487c478bd9Sstevel@tonic-gate 15497c478bd9Sstevel@tonic-gate for (dxp = dt_list_next(&dtp->dt_xlators); dxp != NULL; dxp = nxp) { 15507c478bd9Sstevel@tonic-gate nxp = dt_list_next(dxp); 15517c478bd9Sstevel@tonic-gate if ((dxp->dx_souid.di_vers != 0 && dxp->dx_souid.di_vers > v) || 15527c478bd9Sstevel@tonic-gate (dxp->dx_ptrid.di_vers != 0 && dxp->dx_ptrid.di_vers > v)) 15537c478bd9Sstevel@tonic-gate dt_list_delete(&dtp->dt_xlators, dxp); 15547c478bd9Sstevel@tonic-gate } 15557c478bd9Sstevel@tonic-gate 15567c478bd9Sstevel@tonic-gate (void) dt_idhash_iter(dtp->dt_macros, (dt_idhash_f *)dt_reduceid, dtp); 15577c478bd9Sstevel@tonic-gate (void) dt_idhash_iter(dtp->dt_aggs, (dt_idhash_f *)dt_reduceid, dtp); 15587c478bd9Sstevel@tonic-gate (void) dt_idhash_iter(dtp->dt_globals, (dt_idhash_f *)dt_reduceid, dtp); 15597c478bd9Sstevel@tonic-gate (void) dt_idhash_iter(dtp->dt_tls, (dt_idhash_f *)dt_reduceid, dtp); 15607c478bd9Sstevel@tonic-gate 15617c478bd9Sstevel@tonic-gate return (0); 15627c478bd9Sstevel@tonic-gate } 15637c478bd9Sstevel@tonic-gate 15647c478bd9Sstevel@tonic-gate /* 15657c478bd9Sstevel@tonic-gate * Fork and exec the cpp(1) preprocessor to run over the specified input file, 15667c478bd9Sstevel@tonic-gate * and return a FILE handle for the cpp output. We use the /dev/fd filesystem 15677c478bd9Sstevel@tonic-gate * here to simplify the code by leveraging file descriptor inheritance. 15687c478bd9Sstevel@tonic-gate */ 15697c478bd9Sstevel@tonic-gate static FILE * 15707c478bd9Sstevel@tonic-gate dt_preproc(dtrace_hdl_t *dtp, FILE *ifp) 15717c478bd9Sstevel@tonic-gate { 15727c478bd9Sstevel@tonic-gate int argc = dtp->dt_cpp_argc; 15737c478bd9Sstevel@tonic-gate char **argv = malloc(sizeof (char *) * (argc + 5)); 15747c478bd9Sstevel@tonic-gate FILE *ofp = tmpfile(); 15757c478bd9Sstevel@tonic-gate 15767c478bd9Sstevel@tonic-gate char ipath[20], opath[20]; /* big enough for /dev/fd/ + INT_MAX + \0 */ 15777c478bd9Sstevel@tonic-gate char verdef[32]; /* big enough for -D__SUNW_D_VERSION=0x%08x + \0 */ 15787c478bd9Sstevel@tonic-gate 15797c478bd9Sstevel@tonic-gate struct sigaction act, oact; 15807c478bd9Sstevel@tonic-gate sigset_t mask, omask; 15817c478bd9Sstevel@tonic-gate 15827c478bd9Sstevel@tonic-gate int wstat, estat; 15837c478bd9Sstevel@tonic-gate pid_t pid; 15847c478bd9Sstevel@tonic-gate off64_t off; 15857c478bd9Sstevel@tonic-gate int c; 15867c478bd9Sstevel@tonic-gate 15877c478bd9Sstevel@tonic-gate if (argv == NULL || ofp == NULL) { 15887c478bd9Sstevel@tonic-gate (void) dt_set_errno(dtp, errno); 15897c478bd9Sstevel@tonic-gate goto err; 15907c478bd9Sstevel@tonic-gate } 15917c478bd9Sstevel@tonic-gate 15927c478bd9Sstevel@tonic-gate /* 15937c478bd9Sstevel@tonic-gate * If the input is a seekable file, see if it is an interpreter file. 15947c478bd9Sstevel@tonic-gate * If we see #!, seek past the first line because cpp will choke on it. 15957c478bd9Sstevel@tonic-gate * We start cpp just prior to the \n at the end of this line so that 15967c478bd9Sstevel@tonic-gate * it still sees the newline, ensuring that #line values are correct. 15977c478bd9Sstevel@tonic-gate */ 15987c478bd9Sstevel@tonic-gate if (isatty(fileno(ifp)) == 0 && (off = ftello64(ifp)) != -1) { 15997c478bd9Sstevel@tonic-gate if ((c = fgetc(ifp)) == '#' && (c = fgetc(ifp)) == '!') { 16007c478bd9Sstevel@tonic-gate for (off += 2; c != '\n'; off++) { 16017c478bd9Sstevel@tonic-gate if ((c = fgetc(ifp)) == EOF) 16027c478bd9Sstevel@tonic-gate break; 16037c478bd9Sstevel@tonic-gate } 16047c478bd9Sstevel@tonic-gate if (c == '\n') 16057c478bd9Sstevel@tonic-gate off--; /* start cpp just prior to \n */ 16067c478bd9Sstevel@tonic-gate } 16077c478bd9Sstevel@tonic-gate (void) fflush(ifp); 16087c478bd9Sstevel@tonic-gate (void) fseeko64(ifp, off, SEEK_SET); 16097c478bd9Sstevel@tonic-gate } 16107c478bd9Sstevel@tonic-gate 16117c478bd9Sstevel@tonic-gate (void) snprintf(ipath, sizeof (ipath), "/dev/fd/%d", fileno(ifp)); 16127c478bd9Sstevel@tonic-gate (void) snprintf(opath, sizeof (opath), "/dev/fd/%d", fileno(ofp)); 16137c478bd9Sstevel@tonic-gate 16147c478bd9Sstevel@tonic-gate bcopy(dtp->dt_cpp_argv, argv, sizeof (char *) * argc); 16157c478bd9Sstevel@tonic-gate 16167c478bd9Sstevel@tonic-gate (void) snprintf(verdef, sizeof (verdef), 16177c478bd9Sstevel@tonic-gate "-D__SUNW_D_VERSION=0x%08x", dtp->dt_vmax); 16187c478bd9Sstevel@tonic-gate argv[argc++] = verdef; 16197c478bd9Sstevel@tonic-gate 16207c478bd9Sstevel@tonic-gate switch (dtp->dt_stdcmode) { 16217c478bd9Sstevel@tonic-gate case DT_STDC_XA: 16227c478bd9Sstevel@tonic-gate case DT_STDC_XT: 16237c478bd9Sstevel@tonic-gate argv[argc++] = "-D__STDC__=0"; 16247c478bd9Sstevel@tonic-gate break; 16257c478bd9Sstevel@tonic-gate case DT_STDC_XC: 16267c478bd9Sstevel@tonic-gate argv[argc++] = "-D__STDC__=1"; 16277c478bd9Sstevel@tonic-gate break; 16287c478bd9Sstevel@tonic-gate } 16297c478bd9Sstevel@tonic-gate 16307c478bd9Sstevel@tonic-gate argv[argc++] = ipath; 16317c478bd9Sstevel@tonic-gate argv[argc++] = opath; 16327c478bd9Sstevel@tonic-gate argv[argc] = NULL; 16337c478bd9Sstevel@tonic-gate 16347c478bd9Sstevel@tonic-gate /* 16357c478bd9Sstevel@tonic-gate * libdtrace must be able to be embedded in other programs that may 16367c478bd9Sstevel@tonic-gate * include application-specific signal handlers. Therefore, if we 16377c478bd9Sstevel@tonic-gate * need to fork to run cpp(1), we must avoid generating a SIGCHLD 16387c478bd9Sstevel@tonic-gate * that could confuse the containing application. To do this, 16397c478bd9Sstevel@tonic-gate * we block SIGCHLD and reset its disposition to SIG_DFL. 16407c478bd9Sstevel@tonic-gate * We restore our signal state once we are done. 16417c478bd9Sstevel@tonic-gate */ 16427c478bd9Sstevel@tonic-gate (void) sigemptyset(&mask); 16437c478bd9Sstevel@tonic-gate (void) sigaddset(&mask, SIGCHLD); 16447c478bd9Sstevel@tonic-gate (void) sigprocmask(SIG_BLOCK, &mask, &omask); 16457c478bd9Sstevel@tonic-gate 16467c478bd9Sstevel@tonic-gate bzero(&act, sizeof (act)); 16477c478bd9Sstevel@tonic-gate act.sa_handler = SIG_DFL; 16487c478bd9Sstevel@tonic-gate (void) sigaction(SIGCHLD, &act, &oact); 16497c478bd9Sstevel@tonic-gate 16507c478bd9Sstevel@tonic-gate if ((pid = fork1()) == -1) { 16517c478bd9Sstevel@tonic-gate (void) sigaction(SIGCHLD, &oact, NULL); 16527c478bd9Sstevel@tonic-gate (void) sigprocmask(SIG_SETMASK, &omask, NULL); 16537c478bd9Sstevel@tonic-gate (void) dt_set_errno(dtp, EDT_CPPFORK); 16547c478bd9Sstevel@tonic-gate goto err; 16557c478bd9Sstevel@tonic-gate } 16567c478bd9Sstevel@tonic-gate 16577c478bd9Sstevel@tonic-gate if (pid == 0) { 16587c478bd9Sstevel@tonic-gate (void) execvp(dtp->dt_cpp_path, argv); 16597c478bd9Sstevel@tonic-gate _exit(errno == ENOENT ? 127 : 126); 16607c478bd9Sstevel@tonic-gate } 16617c478bd9Sstevel@tonic-gate 16627c478bd9Sstevel@tonic-gate do { 16637c478bd9Sstevel@tonic-gate dt_dprintf("waiting for %s (PID %d)\n", dtp->dt_cpp_path, 16647c478bd9Sstevel@tonic-gate (int)pid); 16657c478bd9Sstevel@tonic-gate } while (waitpid(pid, &wstat, 0) == -1 && errno == EINTR); 16667c478bd9Sstevel@tonic-gate 16677c478bd9Sstevel@tonic-gate (void) sigaction(SIGCHLD, &oact, NULL); 16687c478bd9Sstevel@tonic-gate (void) sigprocmask(SIG_SETMASK, &omask, NULL); 16697c478bd9Sstevel@tonic-gate 16707c478bd9Sstevel@tonic-gate dt_dprintf("%s returned exit status 0x%x\n", dtp->dt_cpp_path, wstat); 16717c478bd9Sstevel@tonic-gate estat = WIFEXITED(wstat) ? WEXITSTATUS(wstat) : -1; 16727c478bd9Sstevel@tonic-gate 16737c478bd9Sstevel@tonic-gate if (estat != 0) { 16747c478bd9Sstevel@tonic-gate switch (estat) { 16757c478bd9Sstevel@tonic-gate case 126: 16767c478bd9Sstevel@tonic-gate (void) dt_set_errno(dtp, EDT_CPPEXEC); 16777c478bd9Sstevel@tonic-gate break; 16787c478bd9Sstevel@tonic-gate case 127: 16797c478bd9Sstevel@tonic-gate (void) dt_set_errno(dtp, EDT_CPPENT); 16807c478bd9Sstevel@tonic-gate break; 16817c478bd9Sstevel@tonic-gate default: 16827c478bd9Sstevel@tonic-gate (void) dt_set_errno(dtp, EDT_CPPERR); 16837c478bd9Sstevel@tonic-gate } 16847c478bd9Sstevel@tonic-gate goto err; 16857c478bd9Sstevel@tonic-gate } 16867c478bd9Sstevel@tonic-gate 16877c478bd9Sstevel@tonic-gate free(argv); 16887c478bd9Sstevel@tonic-gate (void) fflush(ofp); 16897c478bd9Sstevel@tonic-gate (void) fseek(ofp, 0, SEEK_SET); 16907c478bd9Sstevel@tonic-gate return (ofp); 16917c478bd9Sstevel@tonic-gate 16927c478bd9Sstevel@tonic-gate err: 16937c478bd9Sstevel@tonic-gate free(argv); 16947c478bd9Sstevel@tonic-gate (void) fclose(ofp); 16957c478bd9Sstevel@tonic-gate return (NULL); 16967c478bd9Sstevel@tonic-gate } 16977c478bd9Sstevel@tonic-gate 16987c478bd9Sstevel@tonic-gate /* 16997c478bd9Sstevel@tonic-gate * Open all of the .d library files found in the specified directory and try to 17007c478bd9Sstevel@tonic-gate * compile each one in order to cache its inlines and translators, etc. We 17017c478bd9Sstevel@tonic-gate * silently ignore any missing directories and other files found therein. 17027c478bd9Sstevel@tonic-gate * We only fail (and thereby fail dt_load_libs()) if we fail to compile a 17037c478bd9Sstevel@tonic-gate * library and the error is something other than #pragma D depends_on. 17047c478bd9Sstevel@tonic-gate * Dependency errors are silently ignored to permit a library directory to 17057c478bd9Sstevel@tonic-gate * contain libraries which may not be accessible depending on our privileges. 17067c478bd9Sstevel@tonic-gate * 17077c478bd9Sstevel@tonic-gate * Note that at present, no ordering is defined between library files found in 17087c478bd9Sstevel@tonic-gate * the same directory: if cross-library dependencies are eventually required, 17097c478bd9Sstevel@tonic-gate * we will need to extend the #pragma D depends_on directive with an additional 17107c478bd9Sstevel@tonic-gate * class for libraries, and this function will need to create a graph of the 17117c478bd9Sstevel@tonic-gate * various library pathnames and then perform a topological ordering using the 17127c478bd9Sstevel@tonic-gate * dependency information before we attempt to compile any of them. 17137c478bd9Sstevel@tonic-gate */ 17147c478bd9Sstevel@tonic-gate static int 17157c478bd9Sstevel@tonic-gate dt_load_libs_dir(dtrace_hdl_t *dtp, const char *path) 17167c478bd9Sstevel@tonic-gate { 17174bc0a2efScasper struct dirent *dp; 17187c478bd9Sstevel@tonic-gate const char *p; 17197c478bd9Sstevel@tonic-gate DIR *dirp; 17207c478bd9Sstevel@tonic-gate 17217c478bd9Sstevel@tonic-gate char fname[PATH_MAX]; 17227c478bd9Sstevel@tonic-gate dtrace_prog_t *pgp; 17237c478bd9Sstevel@tonic-gate FILE *fp; 17247c478bd9Sstevel@tonic-gate 17257c478bd9Sstevel@tonic-gate if ((dirp = opendir(path)) == NULL) { 17267c478bd9Sstevel@tonic-gate dt_dprintf("skipping lib dir %s: %s\n", path, strerror(errno)); 17277c478bd9Sstevel@tonic-gate return (0); 17287c478bd9Sstevel@tonic-gate } 17297c478bd9Sstevel@tonic-gate 17304bc0a2efScasper while ((dp = readdir(dirp)) != NULL) { 17317c478bd9Sstevel@tonic-gate if ((p = strrchr(dp->d_name, '.')) == NULL || strcmp(p, ".d")) 17327c478bd9Sstevel@tonic-gate continue; /* skip any filename not ending in .d */ 17337c478bd9Sstevel@tonic-gate 17347c478bd9Sstevel@tonic-gate (void) snprintf(fname, sizeof (fname), 17357c478bd9Sstevel@tonic-gate "%s/%s", path, dp->d_name); 17367c478bd9Sstevel@tonic-gate 17377c478bd9Sstevel@tonic-gate if ((fp = fopen(fname, "r")) == NULL) { 17387c478bd9Sstevel@tonic-gate dt_dprintf("skipping library %s: %s\n", 17397c478bd9Sstevel@tonic-gate fname, strerror(errno)); 17407c478bd9Sstevel@tonic-gate continue; 17417c478bd9Sstevel@tonic-gate } 17427c478bd9Sstevel@tonic-gate 17437c478bd9Sstevel@tonic-gate dtp->dt_filetag = fname; 17447c478bd9Sstevel@tonic-gate pgp = dtrace_program_fcompile(dtp, fp, DTRACE_C_EMPTY, 0, NULL); 17457c478bd9Sstevel@tonic-gate (void) fclose(fp); 17467c478bd9Sstevel@tonic-gate dtp->dt_filetag = NULL; 17477c478bd9Sstevel@tonic-gate 17487c478bd9Sstevel@tonic-gate if (pgp == NULL && (dtp->dt_errno != EDT_COMPILER || 17497c478bd9Sstevel@tonic-gate dtp->dt_errtag != dt_errtag(D_PRAGMA_DEPEND))) { 17507c478bd9Sstevel@tonic-gate (void) closedir(dirp); 17517c478bd9Sstevel@tonic-gate return (-1); /* preserve dt_errno */ 17527c478bd9Sstevel@tonic-gate } 17537c478bd9Sstevel@tonic-gate 17547c478bd9Sstevel@tonic-gate if (pgp == NULL) { 17557c478bd9Sstevel@tonic-gate dt_dprintf("skipping library: %s\n", 17567c478bd9Sstevel@tonic-gate dtrace_errmsg(dtp, dtrace_errno(dtp))); 17577c478bd9Sstevel@tonic-gate } else 17581a7c1b72Smws dt_program_destroy(dtp, pgp); 17597c478bd9Sstevel@tonic-gate } 17607c478bd9Sstevel@tonic-gate 17617c478bd9Sstevel@tonic-gate (void) closedir(dirp); 17627c478bd9Sstevel@tonic-gate return (0); 17637c478bd9Sstevel@tonic-gate } 17647c478bd9Sstevel@tonic-gate 17657c478bd9Sstevel@tonic-gate /* 17667c478bd9Sstevel@tonic-gate * Load the contents of any appropriate DTrace .d library files. These files 17677c478bd9Sstevel@tonic-gate * contain inlines and translators that will be cached by the compiler. We 17687c478bd9Sstevel@tonic-gate * defer this activity until the first compile to permit libdtrace clients to 17697c478bd9Sstevel@tonic-gate * add their own library directories and so that we can properly report errors. 17707c478bd9Sstevel@tonic-gate */ 17717c478bd9Sstevel@tonic-gate static int 17727c478bd9Sstevel@tonic-gate dt_load_libs(dtrace_hdl_t *dtp) 17737c478bd9Sstevel@tonic-gate { 17747c478bd9Sstevel@tonic-gate dt_dirpath_t *dirp; 17757c478bd9Sstevel@tonic-gate 17767c478bd9Sstevel@tonic-gate if (dtp->dt_cflags & DTRACE_C_NOLIBS) 17777c478bd9Sstevel@tonic-gate return (0); /* libraries already processed */ 17787c478bd9Sstevel@tonic-gate 17797c478bd9Sstevel@tonic-gate dtp->dt_cflags |= DTRACE_C_NOLIBS; 17807c478bd9Sstevel@tonic-gate 17817c478bd9Sstevel@tonic-gate for (dirp = dt_list_next(&dtp->dt_lib_path); 17827c478bd9Sstevel@tonic-gate dirp != NULL; dirp = dt_list_next(dirp)) { 17837c478bd9Sstevel@tonic-gate if (dt_load_libs_dir(dtp, dirp->dir_path) != 0) { 17847c478bd9Sstevel@tonic-gate dtp->dt_cflags &= ~DTRACE_C_NOLIBS; 17857c478bd9Sstevel@tonic-gate return (-1); /* errno is set for us */ 17867c478bd9Sstevel@tonic-gate } 17877c478bd9Sstevel@tonic-gate } 17887c478bd9Sstevel@tonic-gate 17897c478bd9Sstevel@tonic-gate return (0); 17907c478bd9Sstevel@tonic-gate } 17917c478bd9Sstevel@tonic-gate 17927c478bd9Sstevel@tonic-gate static void * 17937c478bd9Sstevel@tonic-gate dt_compile(dtrace_hdl_t *dtp, int context, dtrace_probespec_t pspec, void *arg, 17947c478bd9Sstevel@tonic-gate uint_t cflags, int argc, char *const argv[], FILE *fp, const char *s) 17957c478bd9Sstevel@tonic-gate { 17967c478bd9Sstevel@tonic-gate dt_node_t *dnp; 17977c478bd9Sstevel@tonic-gate dt_decl_t *ddp; 17987c478bd9Sstevel@tonic-gate dt_pcb_t pcb; 17997c478bd9Sstevel@tonic-gate void *rv; 18007c478bd9Sstevel@tonic-gate int err; 18017c478bd9Sstevel@tonic-gate 18027c478bd9Sstevel@tonic-gate if ((fp == NULL && s == NULL) || (cflags & ~DTRACE_C_MASK) != 0) { 18037c478bd9Sstevel@tonic-gate (void) dt_set_errno(dtp, EINVAL); 18047c478bd9Sstevel@tonic-gate return (NULL); 18057c478bd9Sstevel@tonic-gate } 18067c478bd9Sstevel@tonic-gate 18077c478bd9Sstevel@tonic-gate if (dt_list_next(&dtp->dt_lib_path) != NULL && dt_load_libs(dtp) != 0) 18087c478bd9Sstevel@tonic-gate return (NULL); /* errno is set for us */ 18097c478bd9Sstevel@tonic-gate 18107c478bd9Sstevel@tonic-gate (void) ctf_discard(dtp->dt_cdefs->dm_ctfp); 18117c478bd9Sstevel@tonic-gate (void) ctf_discard(dtp->dt_ddefs->dm_ctfp); 18127c478bd9Sstevel@tonic-gate 18137c478bd9Sstevel@tonic-gate (void) dt_idhash_iter(dtp->dt_globals, dt_idreset, NULL); 18147c478bd9Sstevel@tonic-gate (void) dt_idhash_iter(dtp->dt_tls, dt_idreset, NULL); 18157c478bd9Sstevel@tonic-gate 18167c478bd9Sstevel@tonic-gate if (fp && (cflags & DTRACE_C_CPP) && (fp = dt_preproc(dtp, fp)) == NULL) 18177c478bd9Sstevel@tonic-gate return (NULL); /* errno is set for us */ 18187c478bd9Sstevel@tonic-gate 18197c478bd9Sstevel@tonic-gate dt_pcb_push(dtp, &pcb); 18207c478bd9Sstevel@tonic-gate 18217c478bd9Sstevel@tonic-gate pcb.pcb_fileptr = fp; 18227c478bd9Sstevel@tonic-gate pcb.pcb_string = s; 18237c478bd9Sstevel@tonic-gate pcb.pcb_strptr = s; 18247c478bd9Sstevel@tonic-gate pcb.pcb_strlen = s ? strlen(s) : 0; 18257c478bd9Sstevel@tonic-gate pcb.pcb_sargc = argc; 18267c478bd9Sstevel@tonic-gate pcb.pcb_sargv = argv; 18277c478bd9Sstevel@tonic-gate pcb.pcb_sflagv = argc ? calloc(argc, sizeof (ushort_t)) : NULL; 18287c478bd9Sstevel@tonic-gate pcb.pcb_pspec = pspec; 18297c478bd9Sstevel@tonic-gate pcb.pcb_cflags = dtp->dt_cflags | cflags; 18307c478bd9Sstevel@tonic-gate pcb.pcb_amin = dtp->dt_amin; 18317c478bd9Sstevel@tonic-gate pcb.pcb_yystate = -1; 18327c478bd9Sstevel@tonic-gate pcb.pcb_context = context; 18337c478bd9Sstevel@tonic-gate pcb.pcb_token = context; 18347c478bd9Sstevel@tonic-gate 18357c478bd9Sstevel@tonic-gate if (context == DT_CTX_DPROG) 18367c478bd9Sstevel@tonic-gate yybegin(YYS_CLAUSE); 18377c478bd9Sstevel@tonic-gate else 18387c478bd9Sstevel@tonic-gate yybegin(YYS_EXPR); 18397c478bd9Sstevel@tonic-gate 18407c478bd9Sstevel@tonic-gate if ((err = setjmp(yypcb->pcb_jmpbuf)) != 0) 18417c478bd9Sstevel@tonic-gate goto out; 18427c478bd9Sstevel@tonic-gate 18437c478bd9Sstevel@tonic-gate if (yypcb->pcb_sargc != 0 && yypcb->pcb_sflagv == NULL) 18447c478bd9Sstevel@tonic-gate longjmp(yypcb->pcb_jmpbuf, EDT_NOMEM); 18457c478bd9Sstevel@tonic-gate 18467c478bd9Sstevel@tonic-gate yypcb->pcb_idents = dt_idhash_create("ambiguous", NULL, 0, 0); 18477c478bd9Sstevel@tonic-gate yypcb->pcb_locals = dt_idhash_create("clause local", NULL, 18487c478bd9Sstevel@tonic-gate DIF_VAR_OTHER_UBASE, DIF_VAR_OTHER_MAX); 18497c478bd9Sstevel@tonic-gate 18507c478bd9Sstevel@tonic-gate if (yypcb->pcb_idents == NULL || yypcb->pcb_locals == NULL) 18517c478bd9Sstevel@tonic-gate longjmp(yypcb->pcb_jmpbuf, EDT_NOMEM); 18527c478bd9Sstevel@tonic-gate 18537c478bd9Sstevel@tonic-gate /* 18547c478bd9Sstevel@tonic-gate * Invoke the parser to evaluate the D source code. If any errors 18557c478bd9Sstevel@tonic-gate * occur during parsing, an error function will be called and we 18567c478bd9Sstevel@tonic-gate * will longjmp back to pcb_jmpbuf to abort. If parsing succeeds, 18577c478bd9Sstevel@tonic-gate * we optionally display the parse tree if debugging is enabled. 18587c478bd9Sstevel@tonic-gate */ 18597c478bd9Sstevel@tonic-gate if (yyparse() != 0 || yypcb->pcb_root == NULL) 18607c478bd9Sstevel@tonic-gate xyerror(D_EMPTY, "empty D program translation unit\n"); 18617c478bd9Sstevel@tonic-gate 18627c478bd9Sstevel@tonic-gate yybegin(YYS_DONE); 18637c478bd9Sstevel@tonic-gate 18647c478bd9Sstevel@tonic-gate if (context != DT_CTX_DTYPE && DT_TREEDUMP_PASS(dtp, 1)) 18657c478bd9Sstevel@tonic-gate dt_node_printr(yypcb->pcb_root, stderr, 0); 18667c478bd9Sstevel@tonic-gate 18677c478bd9Sstevel@tonic-gate if (yypcb->pcb_pragmas != NULL) 18687c478bd9Sstevel@tonic-gate (void) dt_idhash_iter(yypcb->pcb_pragmas, dt_idpragma, NULL); 18697c478bd9Sstevel@tonic-gate 18707c478bd9Sstevel@tonic-gate if (argc > 1 && !(yypcb->pcb_cflags & DTRACE_C_ARGREF) && 18717c478bd9Sstevel@tonic-gate !(yypcb->pcb_sflagv[argc - 1] & DT_IDFLG_REF)) { 18727c478bd9Sstevel@tonic-gate xyerror(D_MACRO_UNUSED, "extraneous argument '%s' ($%d is " 18737c478bd9Sstevel@tonic-gate "not referenced)\n", yypcb->pcb_sargv[argc - 1], argc - 1); 18747c478bd9Sstevel@tonic-gate } 18757c478bd9Sstevel@tonic-gate 18767c478bd9Sstevel@tonic-gate /* 18777c478bd9Sstevel@tonic-gate * If we have successfully created a parse tree for a D program, loop 18787c478bd9Sstevel@tonic-gate * over the clauses and actions and instantiate the corresponding 18797c478bd9Sstevel@tonic-gate * libdtrace program. If we are parsing a D expression, then we 18807c478bd9Sstevel@tonic-gate * simply run the code generator and assembler on the resulting tree. 18817c478bd9Sstevel@tonic-gate */ 18827c478bd9Sstevel@tonic-gate switch (context) { 18837c478bd9Sstevel@tonic-gate case DT_CTX_DPROG: 18847c478bd9Sstevel@tonic-gate assert(yypcb->pcb_root->dn_kind == DT_NODE_PROG); 18857c478bd9Sstevel@tonic-gate 18867c478bd9Sstevel@tonic-gate if ((dnp = yypcb->pcb_root->dn_list) == NULL && 18877c478bd9Sstevel@tonic-gate !(yypcb->pcb_cflags & DTRACE_C_EMPTY)) 18887c478bd9Sstevel@tonic-gate xyerror(D_EMPTY, "empty D program translation unit\n"); 18897c478bd9Sstevel@tonic-gate 18901a7c1b72Smws if ((yypcb->pcb_prog = dt_program_create(dtp)) == NULL) 18917c478bd9Sstevel@tonic-gate longjmp(yypcb->pcb_jmpbuf, dtrace_errno(dtp)); 18927c478bd9Sstevel@tonic-gate 18937c478bd9Sstevel@tonic-gate for (; dnp != NULL; dnp = dnp->dn_list) { 18947c478bd9Sstevel@tonic-gate switch (dnp->dn_kind) { 18957c478bd9Sstevel@tonic-gate case DT_NODE_CLAUSE: 18967c478bd9Sstevel@tonic-gate dt_compile_clause(dtp, dnp); 18977c478bd9Sstevel@tonic-gate break; 18981a7c1b72Smws case DT_NODE_XLATOR: 18991a7c1b72Smws if (dtp->dt_xlatemode == DT_XL_DYNAMIC) 19001a7c1b72Smws dt_compile_xlator(dnp); 19011a7c1b72Smws break; 19027c478bd9Sstevel@tonic-gate case DT_NODE_PROVIDER: 19037c478bd9Sstevel@tonic-gate (void) dt_node_cook(dnp, DT_IDFLG_REF); 19047c478bd9Sstevel@tonic-gate break; 19057c478bd9Sstevel@tonic-gate } 19067c478bd9Sstevel@tonic-gate } 19077c478bd9Sstevel@tonic-gate 19081a7c1b72Smws yypcb->pcb_prog->dp_xrefs = yypcb->pcb_asxrefs; 19091a7c1b72Smws yypcb->pcb_prog->dp_xrefslen = yypcb->pcb_asxreflen; 19101a7c1b72Smws yypcb->pcb_asxrefs = NULL; 19111a7c1b72Smws yypcb->pcb_asxreflen = 0; 19121a7c1b72Smws 19131a7c1b72Smws rv = yypcb->pcb_prog; 19147c478bd9Sstevel@tonic-gate break; 19157c478bd9Sstevel@tonic-gate 19167c478bd9Sstevel@tonic-gate case DT_CTX_DEXPR: 19177c478bd9Sstevel@tonic-gate (void) dt_node_cook(yypcb->pcb_root, DT_IDFLG_REF); 19187c478bd9Sstevel@tonic-gate dt_cg(yypcb, yypcb->pcb_root); 19197c478bd9Sstevel@tonic-gate rv = dt_as(yypcb); 19207c478bd9Sstevel@tonic-gate break; 19217c478bd9Sstevel@tonic-gate 19227c478bd9Sstevel@tonic-gate case DT_CTX_DTYPE: 19237c478bd9Sstevel@tonic-gate ddp = (dt_decl_t *)yypcb->pcb_root; /* root is really a decl */ 19247c478bd9Sstevel@tonic-gate err = dt_decl_type(ddp, arg); 19257c478bd9Sstevel@tonic-gate dt_decl_free(ddp); 19267c478bd9Sstevel@tonic-gate 19277c478bd9Sstevel@tonic-gate if (err != 0) 19287c478bd9Sstevel@tonic-gate longjmp(yypcb->pcb_jmpbuf, EDT_COMPILER); 19297c478bd9Sstevel@tonic-gate 19307c478bd9Sstevel@tonic-gate rv = NULL; 19317c478bd9Sstevel@tonic-gate break; 19327c478bd9Sstevel@tonic-gate } 19337c478bd9Sstevel@tonic-gate 19347c478bd9Sstevel@tonic-gate out: 19357c478bd9Sstevel@tonic-gate if (context != DT_CTX_DTYPE && DT_TREEDUMP_PASS(dtp, 3)) 19367c478bd9Sstevel@tonic-gate dt_node_printr(yypcb->pcb_root, stderr, 0); 19377c478bd9Sstevel@tonic-gate 19387c478bd9Sstevel@tonic-gate if (dtp->dt_cdefs_fd != -1 && (ftruncate64(dtp->dt_cdefs_fd, 0) == -1 || 19397c478bd9Sstevel@tonic-gate lseek64(dtp->dt_cdefs_fd, 0, SEEK_SET) == -1 || 19407c478bd9Sstevel@tonic-gate ctf_write(dtp->dt_cdefs->dm_ctfp, dtp->dt_cdefs_fd) == CTF_ERR)) 19417c478bd9Sstevel@tonic-gate dt_dprintf("failed to update CTF cache: %s\n", strerror(errno)); 19427c478bd9Sstevel@tonic-gate 19437c478bd9Sstevel@tonic-gate if (dtp->dt_ddefs_fd != -1 && (ftruncate64(dtp->dt_ddefs_fd, 0) == -1 || 19447c478bd9Sstevel@tonic-gate lseek64(dtp->dt_ddefs_fd, 0, SEEK_SET) == -1 || 19457c478bd9Sstevel@tonic-gate ctf_write(dtp->dt_ddefs->dm_ctfp, dtp->dt_ddefs_fd) == CTF_ERR)) 19467c478bd9Sstevel@tonic-gate dt_dprintf("failed to update CTF cache: %s\n", strerror(errno)); 19477c478bd9Sstevel@tonic-gate 19487c478bd9Sstevel@tonic-gate if (yypcb->pcb_fileptr && (cflags & DTRACE_C_CPP)) 19497c478bd9Sstevel@tonic-gate (void) fclose(yypcb->pcb_fileptr); /* close dt_preproc() file */ 19507c478bd9Sstevel@tonic-gate 19517c478bd9Sstevel@tonic-gate dt_pcb_pop(dtp, err); 19527c478bd9Sstevel@tonic-gate (void) dt_set_errno(dtp, err); 19537c478bd9Sstevel@tonic-gate return (err ? NULL : rv); 19547c478bd9Sstevel@tonic-gate } 19557c478bd9Sstevel@tonic-gate 19567c478bd9Sstevel@tonic-gate dtrace_prog_t * 19577c478bd9Sstevel@tonic-gate dtrace_program_strcompile(dtrace_hdl_t *dtp, const char *s, 19587c478bd9Sstevel@tonic-gate dtrace_probespec_t spec, uint_t cflags, int argc, char *const argv[]) 19597c478bd9Sstevel@tonic-gate { 19607c478bd9Sstevel@tonic-gate return (dt_compile(dtp, DT_CTX_DPROG, 19617c478bd9Sstevel@tonic-gate spec, NULL, cflags, argc, argv, NULL, s)); 19627c478bd9Sstevel@tonic-gate } 19637c478bd9Sstevel@tonic-gate 19647c478bd9Sstevel@tonic-gate dtrace_prog_t * 19657c478bd9Sstevel@tonic-gate dtrace_program_fcompile(dtrace_hdl_t *dtp, FILE *fp, 19667c478bd9Sstevel@tonic-gate uint_t cflags, int argc, char *const argv[]) 19677c478bd9Sstevel@tonic-gate { 19687c478bd9Sstevel@tonic-gate return (dt_compile(dtp, DT_CTX_DPROG, 19697c478bd9Sstevel@tonic-gate DTRACE_PROBESPEC_NAME, NULL, cflags, argc, argv, fp, NULL)); 19707c478bd9Sstevel@tonic-gate } 19717c478bd9Sstevel@tonic-gate 19727c478bd9Sstevel@tonic-gate int 19737c478bd9Sstevel@tonic-gate dtrace_type_strcompile(dtrace_hdl_t *dtp, const char *s, dtrace_typeinfo_t *dtt) 19747c478bd9Sstevel@tonic-gate { 19757c478bd9Sstevel@tonic-gate (void) dt_compile(dtp, DT_CTX_DTYPE, 19767c478bd9Sstevel@tonic-gate DTRACE_PROBESPEC_NONE, dtt, 0, 0, NULL, NULL, s); 19777c478bd9Sstevel@tonic-gate return (dtp->dt_errno ? -1 : 0); 19787c478bd9Sstevel@tonic-gate } 19797c478bd9Sstevel@tonic-gate 19807c478bd9Sstevel@tonic-gate int 19817c478bd9Sstevel@tonic-gate dtrace_type_fcompile(dtrace_hdl_t *dtp, FILE *fp, dtrace_typeinfo_t *dtt) 19827c478bd9Sstevel@tonic-gate { 19837c478bd9Sstevel@tonic-gate (void) dt_compile(dtp, DT_CTX_DTYPE, 19847c478bd9Sstevel@tonic-gate DTRACE_PROBESPEC_NONE, dtt, 0, 0, NULL, fp, NULL); 19857c478bd9Sstevel@tonic-gate return (dtp->dt_errno ? -1 : 0); 19867c478bd9Sstevel@tonic-gate } 1987