1/* 2 * CDDL HEADER START 3 * 4 * The contents of this file are subject to the terms of the 5 * Common Development and Distribution License, Version 1.0 only 6 * (the "License"). You may not use this file except in compliance 7 * with the License. 8 * 9 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE 10 * or http://www.opensolaris.org/os/licensing. 11 * See the License for the specific language governing permissions 12 * and limitations under the License. 13 * 14 * When distributing Covered Code, include this CDDL HEADER in each 15 * file and include the License file at usr/src/OPENSOLARIS.LICENSE. 16 * If applicable, add the following below this CDDL HEADER, with the 17 * fields enclosed by brackets "[]" replaced with your own identifying 18 * information: Portions Copyright [yyyy] [name of copyright owner] 19 * 20 * CDDL HEADER END 21 */ 22 23/* 24 * Copyright 2005 Sun Microsystems, Inc. All rights reserved. 25 * Use is subject to license terms. 26 */ 27 28/* 29 * Copyright (c) 2012 by Delphix. All rights reserved. 30 */ 31 32#include <strings.h> 33#include <stdio.h> 34 35#include <dt_impl.h> 36#include <dt_ident.h> 37 38/*ARGSUSED*/ 39static void 40dt_dis_log(const dtrace_difo_t *dp, const char *name, dif_instr_t in, FILE *fp) 41{ 42 (void) fprintf(fp, "%-4s %%r%u, %%r%u, %%r%u", name, 43 DIF_INSTR_R1(in), DIF_INSTR_R2(in), DIF_INSTR_RD(in)); 44} 45 46/*ARGSUSED*/ 47static void 48dt_dis_branch(const dtrace_difo_t *dp, const char *name, 49 dif_instr_t in, FILE *fp) 50{ 51 (void) fprintf(fp, "%-4s %u", name, DIF_INSTR_LABEL(in)); 52} 53 54/*ARGSUSED*/ 55static void 56dt_dis_load(const dtrace_difo_t *dp, const char *name, dif_instr_t in, FILE *fp) 57{ 58 (void) fprintf(fp, "%-4s [%%r%u], %%r%u", name, 59 DIF_INSTR_R1(in), DIF_INSTR_RD(in)); 60} 61 62/*ARGSUSED*/ 63static void 64dt_dis_store(const dtrace_difo_t *dp, const char *name, 65 dif_instr_t in, FILE *fp) 66{ 67 (void) fprintf(fp, "%-4s %%r%u, [%%r%u]", name, 68 DIF_INSTR_R1(in), DIF_INSTR_RD(in)); 69} 70 71/*ARGSUSED*/ 72static void 73dt_dis_str(const dtrace_difo_t *dp, const char *name, dif_instr_t in, FILE *fp) 74{ 75 (void) fprintf(fp, "%s", name); 76} 77 78/*ARGSUSED*/ 79static void 80dt_dis_r1rd(const dtrace_difo_t *dp, const char *name, dif_instr_t in, FILE *fp) 81{ 82 (void) fprintf(fp, "%-4s %%r%u, %%r%u", name, 83 DIF_INSTR_R1(in), DIF_INSTR_RD(in)); 84} 85 86/*ARGSUSED*/ 87static void 88dt_dis_cmp(const dtrace_difo_t *dp, const char *name, dif_instr_t in, FILE *fp) 89{ 90 (void) fprintf(fp, "%-4s %%r%u, %%r%u", name, 91 DIF_INSTR_R1(in), DIF_INSTR_R2(in)); 92} 93 94/*ARGSUSED*/ 95static void 96dt_dis_tst(const dtrace_difo_t *dp, const char *name, dif_instr_t in, FILE *fp) 97{ 98 (void) fprintf(fp, "%-4s %%r%u", name, DIF_INSTR_R1(in)); 99} 100 101static const char * 102dt_dis_varname(const dtrace_difo_t *dp, uint_t id, uint_t scope) 103{ 104 const dtrace_difv_t *dvp = dp->dtdo_vartab; 105 uint_t i; 106 107 for (i = 0; i < dp->dtdo_varlen; i++, dvp++) { 108 if (dvp->dtdv_id == id && dvp->dtdv_scope == scope) { 109 if (dvp->dtdv_name < dp->dtdo_strlen) 110 return (dp->dtdo_strtab + dvp->dtdv_name); 111 break; 112 } 113 } 114 115 return (NULL); 116} 117 118static uint_t 119dt_dis_scope(const char *name) 120{ 121 switch (name[2]) { 122 case 'l': return (DIFV_SCOPE_LOCAL); 123 case 't': return (DIFV_SCOPE_THREAD); 124 case 'g': return (DIFV_SCOPE_GLOBAL); 125 default: return (-1u); 126 } 127} 128 129static void 130dt_dis_lda(const dtrace_difo_t *dp, const char *name, dif_instr_t in, FILE *fp) 131{ 132 uint_t var = DIF_INSTR_R1(in); 133 const char *vname; 134 135 (void) fprintf(fp, "%-4s DT_VAR(%u), %%r%u, %%r%u", name, 136 var, DIF_INSTR_R2(in), DIF_INSTR_RD(in)); 137 138 if ((vname = dt_dis_varname(dp, var, dt_dis_scope(name))) != NULL) 139 (void) fprintf(fp, "\t\t! DT_VAR(%u) = \"%s\"", var, vname); 140} 141 142static void 143dt_dis_ldv(const dtrace_difo_t *dp, const char *name, dif_instr_t in, FILE *fp) 144{ 145 uint_t var = DIF_INSTR_VAR(in); 146 const char *vname; 147 148 (void) fprintf(fp, "%-4s DT_VAR(%u), %%r%u", 149 name, var, DIF_INSTR_RD(in)); 150 151 if ((vname = dt_dis_varname(dp, var, dt_dis_scope(name))) != NULL) 152 (void) fprintf(fp, "\t\t! DT_VAR(%u) = \"%s\"", var, vname); 153} 154 155static void 156dt_dis_stv(const dtrace_difo_t *dp, const char *name, dif_instr_t in, FILE *fp) 157{ 158 uint_t var = DIF_INSTR_VAR(in); 159 const char *vname; 160 161 (void) fprintf(fp, "%-4s %%r%u, DT_VAR(%u)", 162 name, DIF_INSTR_RS(in), var); 163 164 if ((vname = dt_dis_varname(dp, var, dt_dis_scope(name))) != NULL) 165 (void) fprintf(fp, "\t\t! DT_VAR(%u) = \"%s\"", var, vname); 166} 167 168static void 169dt_dis_setx(const dtrace_difo_t *dp, const char *name, dif_instr_t in, FILE *fp) 170{ 171 uint_t intptr = DIF_INSTR_INTEGER(in); 172 173 (void) fprintf(fp, "%-4s DT_INTEGER[%u], %%r%u", name, 174 intptr, DIF_INSTR_RD(in)); 175 176 if (intptr < dp->dtdo_intlen) { 177 (void) fprintf(fp, "\t\t! 0x%llx", 178 (u_longlong_t)dp->dtdo_inttab[intptr]); 179 } 180} 181 182static void 183dt_dis_sets(const dtrace_difo_t *dp, const char *name, dif_instr_t in, FILE *fp) 184{ 185 uint_t strptr = DIF_INSTR_STRING(in); 186 187 (void) fprintf(fp, "%-4s DT_STRING[%u], %%r%u", name, 188 strptr, DIF_INSTR_RD(in)); 189 190 if (strptr < dp->dtdo_strlen) 191 (void) fprintf(fp, "\t\t! \"%s\"", dp->dtdo_strtab + strptr); 192} 193 194/*ARGSUSED*/ 195static void 196dt_dis_ret(const dtrace_difo_t *dp, const char *name, dif_instr_t in, FILE *fp) 197{ 198 (void) fprintf(fp, "%-4s %%r%u", name, DIF_INSTR_RD(in)); 199} 200 201/*ARGSUSED*/ 202static void 203dt_dis_call(const dtrace_difo_t *dp, const char *name, dif_instr_t in, FILE *fp) 204{ 205 uint_t subr = DIF_INSTR_SUBR(in); 206 207 (void) fprintf(fp, "%-4s DIF_SUBR(%u), %%r%u\t\t! %s", 208 name, subr, DIF_INSTR_RD(in), dtrace_subrstr(NULL, subr)); 209} 210 211/*ARGSUSED*/ 212static void 213dt_dis_pushts(const dtrace_difo_t *dp, 214 const char *name, dif_instr_t in, FILE *fp) 215{ 216 static const char *const tnames[] = { "D type", "string" }; 217 uint_t type = DIF_INSTR_TYPE(in); 218 const char *pad; 219 220 if (DIF_INSTR_OP(in) == DIF_OP_PUSHTV) { 221 (void) fprintf(fp, "%-4s DT_TYPE(%u), %%r%u", 222 name, type, DIF_INSTR_RS(in)); 223 pad = "\t\t"; 224 } else { 225 (void) fprintf(fp, "%-4s DT_TYPE(%u), %%r%u, %%r%u", 226 name, type, DIF_INSTR_R2(in), DIF_INSTR_RS(in)); 227 pad = "\t"; 228 } 229 230 if (type < sizeof (tnames) / sizeof (tnames[0])) { 231 (void) fprintf(fp, "%s! DT_TYPE(%u) = %s", pad, 232 type, tnames[type]); 233 } 234} 235 236static void 237dt_dis_xlate(const dtrace_difo_t *dp, 238 const char *name, dif_instr_t in, FILE *fp) 239{ 240 uint_t xlr = DIF_INSTR_XLREF(in); 241 242 (void) fprintf(fp, "%-4s DT_XLREF[%u], %%r%u", 243 name, xlr, DIF_INSTR_RD(in)); 244 245 if (xlr < dp->dtdo_xlmlen) { 246 (void) fprintf(fp, "\t\t! DT_XLREF[%u] = %u.%s", xlr, 247 (uint_t)dp->dtdo_xlmtab[xlr]->dn_membexpr->dn_xlator->dx_id, 248 dp->dtdo_xlmtab[xlr]->dn_membname); 249 } 250} 251 252static char * 253dt_dis_typestr(const dtrace_diftype_t *t, char *buf, size_t len) 254{ 255 char kind[16], ckind[16]; 256 257 switch (t->dtdt_kind) { 258 case DIF_TYPE_CTF: 259 (void) strcpy(kind, "D type"); 260 break; 261 case DIF_TYPE_STRING: 262 (void) strcpy(kind, "string"); 263 break; 264 default: 265 (void) snprintf(kind, sizeof (kind), "0x%x", t->dtdt_kind); 266 } 267 268 switch (t->dtdt_ckind) { 269 case CTF_K_UNKNOWN: 270 (void) strcpy(ckind, "unknown"); 271 break; 272 case CTF_K_INTEGER: 273 (void) strcpy(ckind, "integer"); 274 break; 275 case CTF_K_FLOAT: 276 (void) strcpy(ckind, "float"); 277 break; 278 case CTF_K_POINTER: 279 (void) strcpy(ckind, "pointer"); 280 break; 281 case CTF_K_ARRAY: 282 (void) strcpy(ckind, "array"); 283 break; 284 case CTF_K_FUNCTION: 285 (void) strcpy(ckind, "function"); 286 break; 287 case CTF_K_STRUCT: 288 (void) strcpy(ckind, "struct"); 289 break; 290 case CTF_K_UNION: 291 (void) strcpy(ckind, "union"); 292 break; 293 case CTF_K_ENUM: 294 (void) strcpy(ckind, "enum"); 295 break; 296 case CTF_K_FORWARD: 297 (void) strcpy(ckind, "forward"); 298 break; 299 case CTF_K_TYPEDEF: 300 (void) strcpy(ckind, "typedef"); 301 break; 302 case CTF_K_VOLATILE: 303 (void) strcpy(ckind, "volatile"); 304 break; 305 case CTF_K_CONST: 306 (void) strcpy(ckind, "const"); 307 break; 308 case CTF_K_RESTRICT: 309 (void) strcpy(ckind, "restrict"); 310 break; 311 default: 312 (void) snprintf(ckind, sizeof (ckind), "0x%x", t->dtdt_ckind); 313 } 314 315 if (t->dtdt_flags & DIF_TF_BYREF) { 316 (void) snprintf(buf, len, "%s (%s) by ref (size %lu)", 317 kind, ckind, (ulong_t)t->dtdt_size); 318 } else { 319 (void) snprintf(buf, len, "%s (%s) (size %lu)", 320 kind, ckind, (ulong_t)t->dtdt_size); 321 } 322 323 return (buf); 324} 325 326static void 327dt_dis_rtab(const char *rtag, const dtrace_difo_t *dp, FILE *fp, 328 const dof_relodesc_t *rp, uint32_t len) 329{ 330 (void) fprintf(fp, "\n%-4s %-8s %-8s %s\n", 331 rtag, "OFFSET", "DATA", "NAME"); 332 333 for (; len != 0; len--, rp++) { 334 (void) fprintf(fp, "%-4u %-8llu %-8llu %s\n", 335 rp->dofr_type, (u_longlong_t)rp->dofr_offset, 336 (u_longlong_t)rp->dofr_data, 337 &dp->dtdo_strtab[rp->dofr_name]); 338 } 339} 340 341void 342dt_dis(const dtrace_difo_t *dp, FILE *fp) 343{ 344 static const struct opent { 345 const char *op_name; 346 void (*op_func)(const dtrace_difo_t *, const char *, 347 dif_instr_t, FILE *); 348 } optab[] = { 349 { "(illegal opcode)", dt_dis_str }, 350 { "or", dt_dis_log }, /* DIF_OP_OR */ 351 { "xor", dt_dis_log }, /* DIF_OP_XOR */ 352 { "and", dt_dis_log }, /* DIF_OP_AND */ 353 { "sll", dt_dis_log }, /* DIF_OP_SLL */ 354 { "srl", dt_dis_log }, /* DIF_OP_SRL */ 355 { "sub", dt_dis_log }, /* DIF_OP_SUB */ 356 { "add", dt_dis_log }, /* DIF_OP_ADD */ 357 { "mul", dt_dis_log }, /* DIF_OP_MUL */ 358 { "sdiv", dt_dis_log }, /* DIF_OP_SDIV */ 359 { "udiv", dt_dis_log }, /* DIF_OP_UDIV */ 360 { "srem", dt_dis_log }, /* DIF_OP_SREM */ 361 { "urem", dt_dis_log }, /* DIF_OP_UREM */ 362 { "not", dt_dis_r1rd }, /* DIF_OP_NOT */ 363 { "mov", dt_dis_r1rd }, /* DIF_OP_MOV */ 364 { "cmp", dt_dis_cmp }, /* DIF_OP_CMP */ 365 { "tst", dt_dis_tst }, /* DIF_OP_TST */ 366 { "ba", dt_dis_branch }, /* DIF_OP_BA */ 367 { "be", dt_dis_branch }, /* DIF_OP_BE */ 368 { "bne", dt_dis_branch }, /* DIF_OP_BNE */ 369 { "bg", dt_dis_branch }, /* DIF_OP_BG */ 370 { "bgu", dt_dis_branch }, /* DIF_OP_BGU */ 371 { "bge", dt_dis_branch }, /* DIF_OP_BGE */ 372 { "bgeu", dt_dis_branch }, /* DIF_OP_BGEU */ 373 { "bl", dt_dis_branch }, /* DIF_OP_BL */ 374 { "blu", dt_dis_branch }, /* DIF_OP_BLU */ 375 { "ble", dt_dis_branch }, /* DIF_OP_BLE */ 376 { "bleu", dt_dis_branch }, /* DIF_OP_BLEU */ 377 { "ldsb", dt_dis_load }, /* DIF_OP_LDSB */ 378 { "ldsh", dt_dis_load }, /* DIF_OP_LDSH */ 379 { "ldsw", dt_dis_load }, /* DIF_OP_LDSW */ 380 { "ldub", dt_dis_load }, /* DIF_OP_LDUB */ 381 { "lduh", dt_dis_load }, /* DIF_OP_LDUH */ 382 { "lduw", dt_dis_load }, /* DIF_OP_LDUW */ 383 { "ldx", dt_dis_load }, /* DIF_OP_LDX */ 384 { "ret", dt_dis_ret }, /* DIF_OP_RET */ 385 { "nop", dt_dis_str }, /* DIF_OP_NOP */ 386 { "setx", dt_dis_setx }, /* DIF_OP_SETX */ 387 { "sets", dt_dis_sets }, /* DIF_OP_SETS */ 388 { "scmp", dt_dis_cmp }, /* DIF_OP_SCMP */ 389 { "ldga", dt_dis_lda }, /* DIF_OP_LDGA */ 390 { "ldgs", dt_dis_ldv }, /* DIF_OP_LDGS */ 391 { "stgs", dt_dis_stv }, /* DIF_OP_STGS */ 392 { "ldta", dt_dis_lda }, /* DIF_OP_LDTA */ 393 { "ldts", dt_dis_ldv }, /* DIF_OP_LDTS */ 394 { "stts", dt_dis_stv }, /* DIF_OP_STTS */ 395 { "sra", dt_dis_log }, /* DIF_OP_SRA */ 396 { "call", dt_dis_call }, /* DIF_OP_CALL */ 397 { "pushtr", dt_dis_pushts }, /* DIF_OP_PUSHTR */ 398 { "pushtv", dt_dis_pushts }, /* DIF_OP_PUSHTV */ 399 { "popts", dt_dis_str }, /* DIF_OP_POPTS */ 400 { "flushts", dt_dis_str }, /* DIF_OP_FLUSHTS */ 401 { "ldgaa", dt_dis_ldv }, /* DIF_OP_LDGAA */ 402 { "ldtaa", dt_dis_ldv }, /* DIF_OP_LDTAA */ 403 { "stgaa", dt_dis_stv }, /* DIF_OP_STGAA */ 404 { "sttaa", dt_dis_stv }, /* DIF_OP_STTAA */ 405 { "ldls", dt_dis_ldv }, /* DIF_OP_LDLS */ 406 { "stls", dt_dis_stv }, /* DIF_OP_STLS */ 407 { "allocs", dt_dis_r1rd }, /* DIF_OP_ALLOCS */ 408 { "copys", dt_dis_log }, /* DIF_OP_COPYS */ 409 { "stb", dt_dis_store }, /* DIF_OP_STB */ 410 { "sth", dt_dis_store }, /* DIF_OP_STH */ 411 { "stw", dt_dis_store }, /* DIF_OP_STW */ 412 { "stx", dt_dis_store }, /* DIF_OP_STX */ 413 { "uldsb", dt_dis_load }, /* DIF_OP_ULDSB */ 414 { "uldsh", dt_dis_load }, /* DIF_OP_ULDSH */ 415 { "uldsw", dt_dis_load }, /* DIF_OP_ULDSW */ 416 { "uldub", dt_dis_load }, /* DIF_OP_ULDUB */ 417 { "ulduh", dt_dis_load }, /* DIF_OP_ULDUH */ 418 { "ulduw", dt_dis_load }, /* DIF_OP_ULDUW */ 419 { "uldx", dt_dis_load }, /* DIF_OP_ULDX */ 420 { "rldsb", dt_dis_load }, /* DIF_OP_RLDSB */ 421 { "rldsh", dt_dis_load }, /* DIF_OP_RLDSH */ 422 { "rldsw", dt_dis_load }, /* DIF_OP_RLDSW */ 423 { "rldub", dt_dis_load }, /* DIF_OP_RLDUB */ 424 { "rlduh", dt_dis_load }, /* DIF_OP_RLDUH */ 425 { "rlduw", dt_dis_load }, /* DIF_OP_RLDUW */ 426 { "rldx", dt_dis_load }, /* DIF_OP_RLDX */ 427 { "xlate", dt_dis_xlate }, /* DIF_OP_XLATE */ 428 { "xlarg", dt_dis_xlate }, /* DIF_OP_XLARG */ 429 }; 430 431 const struct opent *op; 432 ulong_t i = 0; 433 char type[DT_TYPE_NAMELEN]; 434 435 (void) fprintf(fp, "\nDIFO 0x%p returns %s\n", (void *)dp, 436 dt_dis_typestr(&dp->dtdo_rtype, type, sizeof (type))); 437 438 (void) fprintf(fp, "%-3s %-8s %s\n", 439 "OFF", "OPCODE", "INSTRUCTION"); 440 441 for (i = 0; i < dp->dtdo_len; i++) { 442 dif_instr_t instr = dp->dtdo_buf[i]; 443 dif_instr_t opcode = DIF_INSTR_OP(instr); 444 445 if (opcode >= sizeof (optab) / sizeof (optab[0])) 446 opcode = 0; /* force invalid opcode message */ 447 448 op = &optab[opcode]; 449 (void) fprintf(fp, "%02lu: %08x ", i, instr); 450 op->op_func(dp, op->op_name, instr, fp); 451 (void) fprintf(fp, "\n"); 452 } 453 454 if (dp->dtdo_varlen != 0) { 455 (void) fprintf(fp, "\n%-16s %-4s %-3s %-3s %-4s %s\n", 456 "NAME", "ID", "KND", "SCP", "FLAG", "TYPE"); 457 } 458 459 for (i = 0; i < dp->dtdo_varlen; i++) { 460 dtrace_difv_t *v = &dp->dtdo_vartab[i]; 461 char kind[4], scope[4], flags[16] = { 0 }; 462 463 switch (v->dtdv_kind) { 464 case DIFV_KIND_ARRAY: 465 (void) strcpy(kind, "arr"); 466 break; 467 case DIFV_KIND_SCALAR: 468 (void) strcpy(kind, "scl"); 469 break; 470 default: 471 (void) snprintf(kind, sizeof (kind), 472 "%u", v->dtdv_kind); 473 } 474 475 switch (v->dtdv_scope) { 476 case DIFV_SCOPE_GLOBAL: 477 (void) strcpy(scope, "glb"); 478 break; 479 case DIFV_SCOPE_THREAD: 480 (void) strcpy(scope, "tls"); 481 break; 482 case DIFV_SCOPE_LOCAL: 483 (void) strcpy(scope, "loc"); 484 break; 485 default: 486 (void) snprintf(scope, sizeof (scope), 487 "%u", v->dtdv_scope); 488 } 489 490 if (v->dtdv_flags & ~(DIFV_F_REF | DIFV_F_MOD)) { 491 (void) snprintf(flags, sizeof (flags), "/0x%x", 492 v->dtdv_flags & ~(DIFV_F_REF | DIFV_F_MOD)); 493 } 494 495 if (v->dtdv_flags & DIFV_F_REF) 496 (void) strcat(flags, "/r"); 497 if (v->dtdv_flags & DIFV_F_MOD) 498 (void) strcat(flags, "/w"); 499 500 (void) fprintf(fp, "%-16s %-4x %-3s %-3s %-4s %s\n", 501 &dp->dtdo_strtab[v->dtdv_name], 502 v->dtdv_id, kind, scope, flags + 1, 503 dt_dis_typestr(&v->dtdv_type, type, sizeof (type))); 504 } 505 506 if (dp->dtdo_xlmlen != 0) { 507 (void) fprintf(fp, "\n%-4s %-3s %-12s %s\n", 508 "XLID", "ARG", "MEMBER", "TYPE"); 509 } 510 511 for (i = 0; i < dp->dtdo_xlmlen; i++) { 512 dt_node_t *dnp = dp->dtdo_xlmtab[i]; 513 dt_xlator_t *dxp = dnp->dn_membexpr->dn_xlator; 514 (void) fprintf(fp, "%-4u %-3d %-12s %s\n", 515 (uint_t)dxp->dx_id, dxp->dx_arg, dnp->dn_membname, 516 dt_node_type_name(dnp, type, sizeof (type))); 517 } 518 519 if (dp->dtdo_krelen != 0) 520 dt_dis_rtab("KREL", dp, fp, dp->dtdo_kreltab, dp->dtdo_krelen); 521 522 if (dp->dtdo_urelen != 0) 523 dt_dis_rtab("UREL", dp, fp, dp->dtdo_ureltab, dp->dtdo_urelen); 524} 525