Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $
You can buy this project and download/modify it how often you want.
META-INF.dirigible.dev-tools.third_party.wasmparser.WasmDis.js Maven / Gradle / Ivy
/* Copyright 2016 Mozilla Foundation
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
import { OperatorCodeNames, bytesToString, NULL_FUNCTION_INDEX } from './WasmParser.js';
const NAME_SECTION_NAME = "name";
const INVALID_NAME_SYMBOLS_REGEX = /[^0-9A-Za-z!#$%&'*+.:<=>?@^_`|~\/\-]/;
const INVALID_NAME_SYMBOLS_REGEX_GLOBAL = new RegExp(INVALID_NAME_SYMBOLS_REGEX.source, "g");
function typeToString(type) {
switch (type) {
case -1 /* i32 */: return 'i32';
case -2 /* i64 */: return 'i64';
case -3 /* f32 */: return 'f32';
case -4 /* f64 */: return 'f64';
case -5 /* v128 */: return 'v128';
case -16 /* anyfunc */: return 'anyfunc';
case -17 /* anyref */: return 'anyref';
default: throw new Error(`Unexpected type ${type}`);
}
}
function formatFloat32(n) {
if (n === 0)
return (1 / n) < 0 ? '-0.0' : '0.0';
if (isFinite(n))
return n.toString();
if (!isNaN(n))
return n < 0 ? '-inf' : 'inf';
var view = new DataView(new ArrayBuffer(8));
view.setFloat32(0, n, true);
var data = view.getInt32(0, true);
var payload = data & 0x7FFFFF;
const canonicalBits = 4194304; // 0x800..0
if (data > 0 && payload === canonicalBits)
return 'nan'; // canonical NaN;
else if (payload === canonicalBits)
return '-nan';
return (data < 0 ? '-' : '+') + 'nan:0x' + payload.toString(16);
}
function formatFloat64(n) {
if (n === 0)
return (1 / n) < 0 ? '-0.0' : '0.0';
if (isFinite(n))
return n.toString();
if (!isNaN(n))
return n < 0 ? '-inf' : 'inf';
var view = new DataView(new ArrayBuffer(8));
view.setFloat64(0, n, true);
var data1 = view.getUint32(0, true);
var data2 = view.getInt32(4, true);
var payload = data1 + (data2 & 0xFFFFF) * 4294967296;
const canonicalBits = 524288 * 4294967296; // 0x800..0
if (data2 > 0 && payload === canonicalBits)
return 'nan'; // canonical NaN;
else if (payload === canonicalBits)
return '-nan';
return (data2 < 0 ? '-' : '+') + 'nan:0x' + payload.toString(16);
}
function formatI32Array(bytes, count) {
var dv = new DataView(bytes.buffer, bytes.byteOffset, bytes.byteLength);
var result = [];
for (var i = 0; i < count; i++)
result.push(`0x${formatHex(dv.getInt32(i << 2, true), 8)}`);
return result.join(' ');
}
function formatI8Array(bytes, count) {
var dv = new DataView(bytes.buffer, bytes.byteOffset, bytes.byteLength);
var result = [];
for (var i = 0; i < count; i++)
result.push(`${dv.getInt8(i)}`);
return result.join(' ');
}
function memoryAddressToString(address, code) {
var defaultAlignFlags;
switch (code) {
case 64768 /* v128_load */:
case 64769 /* v128_store */:
defaultAlignFlags = 4;
break;
case 41 /* i64_load */:
case 55 /* i64_store */:
case 43 /* f64_load */:
case 57 /* f64_store */:
case 65026 /* i64_atomic_wait */:
case 65041 /* i64_atomic_load */:
case 65048 /* i64_atomic_store */:
case 65055 /* i64_atomic_rmw_add */:
case 65062 /* i64_atomic_rmw_sub */:
case 65069 /* i64_atomic_rmw_and */:
case 65076 /* i64_atomic_rmw_or */:
case 65083 /* i64_atomic_rmw_xor */:
case 65090 /* i64_atomic_rmw_xchg */:
case 65097 /* i64_atomic_rmw_cmpxchg */:
defaultAlignFlags = 3;
break;
case 40 /* i32_load */:
case 52 /* i64_load32_s */:
case 53 /* i64_load32_u */:
case 54 /* i32_store */:
case 62 /* i64_store32 */:
case 42 /* f32_load */:
case 56 /* f32_store */:
case 65024 /* atomic_notify */:
case 65025 /* i32_atomic_wait */:
case 65040 /* i32_atomic_load */:
case 65046 /* i64_atomic_load32_u */:
case 65047 /* i32_atomic_store */:
case 65053 /* i64_atomic_store32 */:
case 65054 /* i32_atomic_rmw_add */:
case 65060 /* i64_atomic_rmw32_u_add */:
case 65061 /* i32_atomic_rmw_sub */:
case 65067 /* i64_atomic_rmw32_u_sub */:
case 65068 /* i32_atomic_rmw_and */:
case 65074 /* i64_atomic_rmw32_u_and */:
case 65075 /* i32_atomic_rmw_or */:
case 65081 /* i64_atomic_rmw32_u_or */:
case 65082 /* i32_atomic_rmw_xor */:
case 65088 /* i64_atomic_rmw32_u_xor */:
case 65089 /* i32_atomic_rmw_xchg */:
case 65095 /* i64_atomic_rmw32_u_xchg */:
case 65096 /* i32_atomic_rmw_cmpxchg */:
case 65102 /* i64_atomic_rmw32_u_cmpxchg */:
defaultAlignFlags = 2;
break;
case 46 /* i32_load16_s */:
case 47 /* i32_load16_u */:
case 50 /* i64_load16_s */:
case 51 /* i64_load16_u */:
case 59 /* i32_store16 */:
case 61 /* i64_store16 */:
case 65043 /* i32_atomic_load16_u */:
case 65045 /* i64_atomic_load16_u */:
case 65050 /* i32_atomic_store16 */:
case 65052 /* i64_atomic_store16 */:
case 65057 /* i32_atomic_rmw16_u_add */:
case 65059 /* i64_atomic_rmw16_u_add */:
case 65064 /* i32_atomic_rmw16_u_sub */:
case 65066 /* i64_atomic_rmw16_u_sub */:
case 65071 /* i32_atomic_rmw16_u_and */:
case 65073 /* i64_atomic_rmw16_u_and */:
case 65078 /* i32_atomic_rmw16_u_or */:
case 65080 /* i64_atomic_rmw16_u_or */:
case 65085 /* i32_atomic_rmw16_u_xor */:
case 65087 /* i64_atomic_rmw16_u_xor */:
case 65092 /* i32_atomic_rmw16_u_xchg */:
case 65094 /* i64_atomic_rmw16_u_xchg */:
case 65099 /* i32_atomic_rmw16_u_cmpxchg */:
case 65101 /* i64_atomic_rmw16_u_cmpxchg */:
defaultAlignFlags = 1;
break;
case 44 /* i32_load8_s */:
case 45 /* i32_load8_u */:
case 48 /* i64_load8_s */:
case 49 /* i64_load8_u */:
case 58 /* i32_store8 */:
case 60 /* i64_store8 */:
case 65042 /* i32_atomic_load8_u */:
case 65044 /* i64_atomic_load8_u */:
case 65049 /* i32_atomic_store8 */:
case 65051 /* i64_atomic_store8 */:
case 65056 /* i32_atomic_rmw8_u_add */:
case 65058 /* i64_atomic_rmw8_u_add */:
case 65063 /* i32_atomic_rmw8_u_sub */:
case 65065 /* i64_atomic_rmw8_u_sub */:
case 65070 /* i32_atomic_rmw8_u_and */:
case 65072 /* i64_atomic_rmw8_u_and */:
case 65077 /* i32_atomic_rmw8_u_or */:
case 65079 /* i64_atomic_rmw8_u_or */:
case 65084 /* i32_atomic_rmw8_u_xor */:
case 65086 /* i64_atomic_rmw8_u_xor */:
case 65091 /* i32_atomic_rmw8_u_xchg */:
case 65093 /* i64_atomic_rmw8_u_xchg */:
case 65098 /* i32_atomic_rmw8_u_cmpxchg */:
case 65100 /* i64_atomic_rmw8_u_cmpxchg */:
defaultAlignFlags = 0;
break;
}
if (address.flags == defaultAlignFlags) // hide default flags
return !address.offset ? null : `offset=${address.offset}`;
if (!address.offset) // hide default offset
return `align=${1 << address.flags}`;
return `offset=${address.offset | 0} align=${1 << address.flags}`;
}
function globalTypeToString(type) {
if (!type.mutability)
return typeToString(type.contentType);
return `(mut ${typeToString(type.contentType)})`;
}
function limitsToString(limits) {
return limits.initial + (limits.maximum !== undefined ? ' ' + limits.maximum : '');
}
var paddingCache = ['0', '00', '000'];
function formatHex(n, width) {
var s = (n >>> 0).toString(16).toUpperCase();
if (width === undefined || s.length >= width)
return s;
var paddingIndex = width - s.length - 1;
while (paddingIndex >= paddingCache.length)
paddingCache.push(paddingCache[paddingCache.length - 1] + '0');
return paddingCache[paddingIndex] + s;
}
const IndentIncrement = ' ';
var operatorCodeNamesCache = null;
function getOperatorName(code) {
if (!operatorCodeNamesCache) {
operatorCodeNamesCache = Object.create(null);
Object.keys(OperatorCodeNames).forEach((key) => {
let value = OperatorCodeNames[key];
if (typeof value !== 'string')
return;
operatorCodeNamesCache[key] = value.replace(/^([if](32|64))_/, "$1.").replace(/_([if](32|64))$/, "\/$1");
});
}
return operatorCodeNamesCache[code];
}
function isValidName(name) {
return !INVALID_NAME_SYMBOLS_REGEX.test(name);
}
export class DefaultNameResolver {
getTypeName(index, isRef) {
return '$type' + index;
}
getTableName(index, isRef) {
return '$table' + index;
}
getMemoryName(index, isRef) {
return '$memory' + index;
}
getGlobalName(index, isRef) {
return '$global' + index;
}
getFunctionName(index, isImport, isRef) {
return (isImport ? '$import' : '$func') + index;
}
getVariableName(funcIndex, index, isRef) {
return '$var' + index;
}
getLabel(index) {
return '$label' + index;
}
}
export class DevToolsNameResolver extends DefaultNameResolver {
constructor(functionNames, localNames, memoryNames, tableNames, globalNames) {
super();
this._functionNames = functionNames;
this._localNames = localNames;
this._memoryNames = memoryNames;
this._tableNames = tableNames;
this._globalNames = globalNames;
}
getTableName(index, isRef) {
const name = this._tableNames[index];
if (!name)
return super.getTableName(index, isRef);
return isRef ? `$${name}` : `$${name} (;${index};)`;
}
getMemoryName(index, isRef) {
const name = this._memoryNames[index];
if (!name)
return super.getMemoryName(index, isRef);
return isRef ? `$${name}` : `$${name} (;${index};)`;
}
getGlobalName(index, isRef) {
const name = this._globalNames[index];
if (!name)
return super.getGlobalName(index, isRef);
return isRef ? `$${name}` : `$${name} (;${index};)`;
}
getFunctionName(index, isImport, isRef) {
const name = this._functionNames[index];
if (!name)
return super.getFunctionName(index, isImport, isRef);
return isRef ? `$${name}` : `$${name} (;${index};)`;
}
getVariableName(funcIndex, index, isRef) {
const name = this._localNames[funcIndex] && this._localNames[funcIndex][index];
if (!name)
return super.getVariableName(funcIndex, index, isRef);
return isRef ? `$${name}` : `$${name} (;${index};)`;
}
}
export class NumericNameResolver {
getTypeName(index, isRef) {
return isRef ? '' + index : `(;${index};)`;
}
getTableName(index, isRef) {
return isRef ? '' + index : `(;${index};)`;
}
getMemoryName(index, isRef) {
return isRef ? '' + index : `(;${index};)`;
}
getGlobalName(index, isRef) {
return isRef ? '' + index : `(;${index};)`;
}
getFunctionName(index, isImport, isRef) {
return isRef ? '' + index : `(;${index};)`;
}
getVariableName(funcIndex, index, isRef) {
return isRef ? '' + index : `(;${index};)`;
}
getLabel(index) {
return null;
}
}
export var LabelMode;
(function (LabelMode) {
LabelMode[LabelMode["Depth"] = 0] = "Depth";
LabelMode[LabelMode["WhenUsed"] = 1] = "WhenUsed";
LabelMode[LabelMode["Always"] = 2] = "Always";
})(LabelMode || (LabelMode = {}));
export class WasmDisassembler {
constructor() {
this._lines = [];
this._offsets = [];
this._buffer = '';
this._indent = null;
this._indentLevel = 0;
this._addOffsets = false;
this._done = false;
this._currentPosition = 0;
this._nameResolver = new DefaultNameResolver();
this._labelMode = LabelMode.WhenUsed;
this._reset();
}
_reset() {
this._types = [];
this._funcIndex = 0;
this._funcTypes = [];
this._importCount = 0;
this._globalCount = 0;
this._memoryCount = 0;
this._tableCount = 0;
this._initExpression = [];
this._backrefLabels = null;
this._labelIndex = 0;
this._maxLines = 0;
}
get addOffsets() {
return this._addOffsets;
}
set addOffsets(value) {
if (this._currentPosition)
throw new Error('Cannot switch addOffsets during processing.');
this._addOffsets = value;
}
get labelMode() {
return this._labelMode;
}
set labelMode(value) {
if (this._currentPosition)
throw new Error('Cannot switch labelMode during processing.');
this._labelMode = value;
}
get nameResolver() {
return this._nameResolver;
}
set nameResolver(resolver) {
if (this._currentPosition)
throw new Error('Cannot switch nameResolver during processing.');
this._nameResolver = resolver;
}
set maxLines(value) {
this._maxLines = value;
}
appendBuffer(s) {
this._buffer += s;
}
newLine() {
if (this.addOffsets)
this._offsets.push(this._currentPosition);
this._lines.push(this._buffer);
this._buffer = '';
}
printFuncType(typeIndex) {
var type = this._types[typeIndex];
if (type.form !== -32 /* func */)
throw new Error('NYI other function form');
if (type.params.length > 0) {
this.appendBuffer(' (param');
for (var i = 0; i < type.params.length; i++) {
this.appendBuffer(' ');
this.appendBuffer(typeToString(type.params[i]));
}
this.appendBuffer(')');
}
if (type.returns.length > 0) {
this.appendBuffer(' (result');
for (var i = 0; i < type.returns.length; i++) {
this.appendBuffer(' ');
this.appendBuffer(typeToString(type.returns[i]));
}
this.appendBuffer(')');
}
}
printString(b) {
this.appendBuffer('\"');
for (var i = 0; i < b.length; i++) {
var byte = b[i];
if (byte < 0x20 || byte >= 0x7F ||
byte == /* " */ 0x22 || byte == /* \ */ 0x5c) {
this.appendBuffer('\\' + (byte >> 4).toString(16) + (byte & 15).toString(16));
}
else {
this.appendBuffer(String.fromCharCode(byte));
}
}
this.appendBuffer('\"');
}
useLabel(depth) {
if (!this._backrefLabels) {
return '' + depth;
}
var i = this._backrefLabels.length - depth - 1;
if (i < 0) {
return '' + depth;
}
var backrefLabel = this._backrefLabels[i];
if (!backrefLabel.useLabel) {
backrefLabel.useLabel = true;
backrefLabel.label = this._nameResolver.getLabel(this._labelIndex);
var line = this._lines[backrefLabel.line];
this._lines[backrefLabel.line] = line.substring(0, backrefLabel.position) +
' ' + backrefLabel.label + line.substring(backrefLabel.position);
this._labelIndex++;
}
return backrefLabel.label || '' + depth;
}
printOperator(operator) {
var code = operator.code;
this.appendBuffer(getOperatorName(code));
switch (code) {
case 2 /* block */:
case 3 /* loop */:
case 4 /* if */:
if (this._labelMode !== LabelMode.Depth) {
let backrefLabel = {
line: this._lines.length,
position: this._buffer.length,
useLabel: false,
label: null,
};
if (this._labelMode === LabelMode.Always) {
backrefLabel.useLabel = true;
backrefLabel.label = this._nameResolver.getLabel(this._labelIndex++);
if (backrefLabel.label) {
this.appendBuffer(' ');
this.appendBuffer(backrefLabel.label);
}
}
this._backrefLabels.push(backrefLabel);
}
if (operator.blockType !== -64 /* empty_block_type */) {
this.appendBuffer(' (result ');
this.appendBuffer(typeToString(operator.blockType));
this.appendBuffer(')');
}
break;
case 11 /* end */:
if (this._labelMode === LabelMode.Depth) {
break;
}
let backrefLabel = this._backrefLabels.pop();
if (backrefLabel.label) {
this.appendBuffer(' ');
this.appendBuffer(backrefLabel.label);
}
break;
case 12 /* br */:
case 13 /* br_if */:
this.appendBuffer(' ');
this.appendBuffer(this.useLabel(operator.brDepth));
break;
case 14 /* br_table */:
for (var i = 0; i < operator.brTable.length; i++) {
this.appendBuffer(' ');
this.appendBuffer(this.useLabel(operator.brTable[i]));
}
break;
case 16 /* call */:
var funcName = this._nameResolver.getFunctionName(operator.funcIndex, operator.funcIndex < this._importCount, true);
this.appendBuffer(` ${funcName}`);
break;
case 17 /* call_indirect */:
var typeName = this._nameResolver.getTypeName(operator.typeIndex, true);
this.appendBuffer(` (type ${typeName})`);
break;
case 32 /* get_local */:
case 33 /* set_local */:
case 34 /* tee_local */:
var paramName = this._nameResolver.getVariableName(this._funcIndex, operator.localIndex, true);
this.appendBuffer(` ${paramName}`);
break;
case 35 /* get_global */:
case 36 /* set_global */:
var globalName = this._nameResolver.getGlobalName(operator.globalIndex, true);
this.appendBuffer(` ${globalName}`);
break;
case 40 /* i32_load */:
case 41 /* i64_load */:
case 42 /* f32_load */:
case 43 /* f64_load */:
case 44 /* i32_load8_s */:
case 45 /* i32_load8_u */:
case 46 /* i32_load16_s */:
case 47 /* i32_load16_u */:
case 48 /* i64_load8_s */:
case 49 /* i64_load8_u */:
case 50 /* i64_load16_s */:
case 51 /* i64_load16_u */:
case 52 /* i64_load32_s */:
case 53 /* i64_load32_u */:
case 54 /* i32_store */:
case 55 /* i64_store */:
case 56 /* f32_store */:
case 57 /* f64_store */:
case 58 /* i32_store8 */:
case 59 /* i32_store16 */:
case 60 /* i64_store8 */:
case 61 /* i64_store16 */:
case 62 /* i64_store32 */:
case 65024 /* atomic_notify */:
case 65025 /* i32_atomic_wait */:
case 65026 /* i64_atomic_wait */:
case 65040 /* i32_atomic_load */:
case 65041 /* i64_atomic_load */:
case 65042 /* i32_atomic_load8_u */:
case 65043 /* i32_atomic_load16_u */:
case 65044 /* i64_atomic_load8_u */:
case 65045 /* i64_atomic_load16_u */:
case 65046 /* i64_atomic_load32_u */:
case 65047 /* i32_atomic_store */:
case 65048 /* i64_atomic_store */:
case 65049 /* i32_atomic_store8 */:
case 65050 /* i32_atomic_store16 */:
case 65051 /* i64_atomic_store8 */:
case 65052 /* i64_atomic_store16 */:
case 65053 /* i64_atomic_store32 */:
case 65054 /* i32_atomic_rmw_add */:
case 65055 /* i64_atomic_rmw_add */:
case 65056 /* i32_atomic_rmw8_u_add */:
case 65057 /* i32_atomic_rmw16_u_add */:
case 65058 /* i64_atomic_rmw8_u_add */:
case 65059 /* i64_atomic_rmw16_u_add */:
case 65060 /* i64_atomic_rmw32_u_add */:
case 65061 /* i32_atomic_rmw_sub */:
case 65062 /* i64_atomic_rmw_sub */:
case 65063 /* i32_atomic_rmw8_u_sub */:
case 65064 /* i32_atomic_rmw16_u_sub */:
case 65065 /* i64_atomic_rmw8_u_sub */:
case 65066 /* i64_atomic_rmw16_u_sub */:
case 65067 /* i64_atomic_rmw32_u_sub */:
case 65068 /* i32_atomic_rmw_and */:
case 65069 /* i64_atomic_rmw_and */:
case 65070 /* i32_atomic_rmw8_u_and */:
case 65071 /* i32_atomic_rmw16_u_and */:
case 65072 /* i64_atomic_rmw8_u_and */:
case 65073 /* i64_atomic_rmw16_u_and */:
case 65074 /* i64_atomic_rmw32_u_and */:
case 65075 /* i32_atomic_rmw_or */:
case 65076 /* i64_atomic_rmw_or */:
case 65077 /* i32_atomic_rmw8_u_or */:
case 65078 /* i32_atomic_rmw16_u_or */:
case 65079 /* i64_atomic_rmw8_u_or */:
case 65080 /* i64_atomic_rmw16_u_or */:
case 65081 /* i64_atomic_rmw32_u_or */:
case 65082 /* i32_atomic_rmw_xor */:
case 65083 /* i64_atomic_rmw_xor */:
case 65084 /* i32_atomic_rmw8_u_xor */:
case 65085 /* i32_atomic_rmw16_u_xor */:
case 65086 /* i64_atomic_rmw8_u_xor */:
case 65087 /* i64_atomic_rmw16_u_xor */:
case 65088 /* i64_atomic_rmw32_u_xor */:
case 65089 /* i32_atomic_rmw_xchg */:
case 65090 /* i64_atomic_rmw_xchg */:
case 65091 /* i32_atomic_rmw8_u_xchg */:
case 65092 /* i32_atomic_rmw16_u_xchg */:
case 65093 /* i64_atomic_rmw8_u_xchg */:
case 65094 /* i64_atomic_rmw16_u_xchg */:
case 65095 /* i64_atomic_rmw32_u_xchg */:
case 65096 /* i32_atomic_rmw_cmpxchg */:
case 65097 /* i64_atomic_rmw_cmpxchg */:
case 65098 /* i32_atomic_rmw8_u_cmpxchg */:
case 65099 /* i32_atomic_rmw16_u_cmpxchg */:
case 65100 /* i64_atomic_rmw8_u_cmpxchg */:
case 65101 /* i64_atomic_rmw16_u_cmpxchg */:
case 65102 /* i64_atomic_rmw32_u_cmpxchg */:
case 64768 /* v128_load */:
case 64769 /* v128_store */:
var memoryAddress = memoryAddressToString(operator.memoryAddress, operator.code);
if (memoryAddress !== null) {
this.appendBuffer(' ');
this.appendBuffer(memoryAddress);
}
break;
case 63 /* current_memory */:
case 64 /* grow_memory */:
break;
case 65 /* i32_const */:
this.appendBuffer(` ${operator.literal.toString()}`);
break;
case 66 /* i64_const */:
this.appendBuffer(` ${operator.literal.toString()}`);
break;
case 67 /* f32_const */:
this.appendBuffer(` ${formatFloat32(operator.literal)}`);
break;
case 68 /* f64_const */:
this.appendBuffer(` ${formatFloat64(operator.literal)}`);
break;
case 64770 /* v128_const */:
this.appendBuffer(` i32x4 ${formatI32Array(operator.literal, 4)}`);
break;
case 64771 /* v8x16_shuffle */:
this.appendBuffer(` ${formatI8Array(operator.lines, 16)}`);
break;
case 64773 /* i8x16_extract_lane_s */:
case 64774 /* i8x16_extract_lane_u */:
case 64775 /* i8x16_replace_lane */:
case 64777 /* i16x8_extract_lane_s */:
case 64778 /* i16x8_extract_lane_u */:
case 64779 /* i16x8_replace_lane */:
case 64781 /* i32x4_extract_lane */:
case 64782 /* i32x4_replace_lane */:
case 64787 /* f32x4_extract_lane */:
case 64788 /* f32x4_replace_lane */:
case 64784 /* i64x2_extract_lane */:
case 64785 /* i64x2_replace_lane */:
case 64790 /* f64x2_extract_lane */:
case 64791 /* f64x2_replace_lane */:
this.appendBuffer(` ${operator.lineIndex}`);
break;
case 64520 /* memory_init */:
case 64521 /* data_drop */:
case 64525 /* elem_drop */:
this.appendBuffer(` ${operator.segmentIndex}`);
break;
case 38 /* table_set */:
case 37 /* table_get */:
case 64529 /* table_fill */:
{
let tableName = this._nameResolver.getTableName(operator.tableIndex, true);
this.appendBuffer(` ${tableName}`);
break;
}
case 64526 /* table_copy */:
{
let tableName = this._nameResolver.getTableName(operator.tableIndex, true);
let destinationName = this._nameResolver.getTableName(operator.destinationIndex, true);
this.appendBuffer(` ${destinationName} ${tableName}`);
break;
}
case 64524 /* table_init */:
{
let tableName = this._nameResolver.getTableName(operator.tableIndex, true);
this.appendBuffer(` ${operator.segmentIndex} ${tableName}`);
break;
}
}
}
printImportSource(info) {
this.printString(info.module);
this.appendBuffer(' ');
this.printString(info.field);
}
increaseIndent() {
this._indent += IndentIncrement;
this._indentLevel++;
}
decreaseIndent() {
this._indent = this._indent.slice(0, -IndentIncrement.length);
this._indentLevel--;
}
disassemble(reader) {
let done = this.disassembleChunk(reader);
if (!done)
return null;
let lines = this._lines;
if (this._addOffsets) {
lines = lines.map((line, index) => {
var position = formatHex(this._offsets[index], 4);
return line + ' ;; @' + position;
});
}
lines.push(''); // we need '\n' after last line
let result = lines.join('\n');
this._lines.length = 0;
this._offsets.length = 0;
return result;
}
getResult() {
let linesReady = this._lines.length;
if (this._backrefLabels && this._labelMode === LabelMode.WhenUsed) {
this._backrefLabels.some((backrefLabel) => {
if (backrefLabel.useLabel)
return false;
linesReady = backrefLabel.line;
return true;
});
}
if (linesReady === 0) {
return {
lines: [],
offsets: this._addOffsets ? [] : undefined,
done: this._done,
};
}
if (linesReady === this._lines.length) {
let result = {
lines: this._lines,
offsets: this._addOffsets ? this._offsets : undefined,
done: this._done,
};
this._lines = [];
if (this._addOffsets)
this._offsets = [];
return result;
}
let result = {
lines: this._lines.splice(0, linesReady),
offsets: this._addOffsets ? this._offsets.splice(0, linesReady) : undefined,
done: false,
};
if (this._backrefLabels) {
this._backrefLabels.forEach((backrefLabel) => {
backrefLabel.line -= linesReady;
});
}
return result;
}
disassembleChunk(reader, offsetInModule = 0) {
if (this._done)
throw new Error('Invalid state: disassembly process was already finished.');
while (true) {
if (this._maxLines && this._lines.length >= this._maxLines) {
this.appendBuffer(';; -- text is truncated due to size --');
this.newLine();
return true;
}
this._currentPosition = reader.position + offsetInModule;
if (!reader.read())
return false;
switch (reader.state) {
case 2 /* END_WASM */:
this.appendBuffer(')');
this.newLine();
this._reset();
if (!reader.hasMoreBytes()) {
this._done = true;
return true;
}
break;
case -1 /* ERROR */:
throw reader.error;
case 1 /* BEGIN_WASM */:
this.appendBuffer('(module');
this.newLine();
break;
case 4 /* END_SECTION */:
break;
case 3 /* BEGIN_SECTION */:
var sectionInfo = reader.result;
switch (sectionInfo.id) {
case 1 /* Type */:
case 2 /* Import */:
case 7 /* Export */:
case 6 /* Global */:
case 3 /* Function */:
case 8 /* Start */:
case 10 /* Code */:
case 5 /* Memory */:
case 11 /* Data */:
case 4 /* Table */:
case 9 /* Element */:
break; // reading known section;
default:
reader.skipSection();
break;
}
break;
case 15 /* MEMORY_SECTION_ENTRY */:
var memoryInfo = reader.result;
var memoryName = this._nameResolver.getMemoryName(this._memoryCount++, false);
this.appendBuffer(` (memory ${memoryName} `);
if (memoryInfo.shared) {
this.appendBuffer(`(shared ${limitsToString(memoryInfo.limits)})`);
}
else {
this.appendBuffer(limitsToString(memoryInfo.limits));
}
this.appendBuffer(')');
this.newLine();
break;
case 14 /* TABLE_SECTION_ENTRY */:
var tableInfo = reader.result;
var tableName = this._nameResolver.getTableName(this._tableCount++, false);
this.appendBuffer(` (table ${tableName} ${limitsToString(tableInfo.limits)} ${typeToString(tableInfo.elementType)})`);
this.newLine();
break;
case 17 /* EXPORT_SECTION_ENTRY */:
var exportInfo = reader.result;
this.appendBuffer(' (export ');
this.printString(exportInfo.field);
this.appendBuffer(' ');
switch (exportInfo.kind) {
case 0 /* Function */:
var funcName = this._nameResolver.getFunctionName(exportInfo.index, exportInfo.index < this._importCount, true);
this.appendBuffer(`(func ${funcName})`);
break;
case 1 /* Table */:
var tableName = this._nameResolver.getTableName(exportInfo.index, true);
this.appendBuffer(`(table ${tableName})`);
break;
case 2 /* Memory */:
var memoryName = this._nameResolver.getMemoryName(exportInfo.index, true);
this.appendBuffer(`(memory ${memoryName})`);
break;
case 3 /* Global */:
var globalName = this._nameResolver.getGlobalName(exportInfo.index, true);
this.appendBuffer(`(global ${globalName})`);
break;
default:
throw new Error(`Unsupported export ${exportInfo.kind}`);
}
this.appendBuffer(')');
this.newLine();
break;
case 12 /* IMPORT_SECTION_ENTRY */:
var importInfo = reader.result;
this.appendBuffer(' (import ');
this.printImportSource(importInfo);
switch (importInfo.kind) {
case 0 /* Function */:
this._importCount++;
var funcName = this._nameResolver.getFunctionName(this._funcIndex++, true, false);
this.appendBuffer(` (func ${funcName}`);
this.printFuncType(importInfo.funcTypeIndex);
this.appendBuffer(')');
break;
case 1 /* Table */:
var tableImportInfo = importInfo.type;
var tableName = this._nameResolver.getTableName(this._tableCount++, false);
this.appendBuffer(` (table ${tableName} ${limitsToString(tableImportInfo.limits)} ${typeToString(tableImportInfo.elementType)})`);
break;
case 2 /* Memory */:
var memoryImportInfo = importInfo.type;
var memoryName = this._nameResolver.getMemoryName(this._memoryCount++, false);
this.appendBuffer(` (memory ${memoryName} `);
if (memoryImportInfo.shared) {
this.appendBuffer(`(shared ${limitsToString(memoryImportInfo.limits)})`);
}
else {
this.appendBuffer(limitsToString(memoryImportInfo.limits));
}
this.appendBuffer(')');
break;
case 3 /* Global */:
var globalImportInfo = importInfo.type;
var globalName = this._nameResolver.getGlobalName(this._globalCount++, false);
this.appendBuffer(` (global ${globalName} ${globalTypeToString(globalImportInfo)})`);
break;
default:
throw new Error(`NYI other import types: ${importInfo.kind}`);
}
this.appendBuffer(')');
this.newLine();
break;
case 33 /* BEGIN_ELEMENT_SECTION_ENTRY */:
var elementSegmentInfo = reader.result;
this.appendBuffer(' (elem ');
break;
case 35 /* END_ELEMENT_SECTION_ENTRY */:
this.appendBuffer(')');
this.newLine();
break;
case 34 /* ELEMENT_SECTION_ENTRY_BODY */:
let elementSegmentBody = reader.result;
if (elementSegmentBody.elementType != 0 /* unspecified */) {
let typeName = typeToString(elementSegmentBody.elementType);
this.appendBuffer(` ${typeName}`);
}
elementSegmentBody.elements.forEach(funcIndex => {
if (elementSegmentBody.asElements) {
if (funcIndex == NULL_FUNCTION_INDEX) {
this.appendBuffer(' (ref.null)');
}
else {
let funcName = this._nameResolver.getFunctionName(funcIndex, funcIndex < this._importCount, true);
this.appendBuffer(` (ref.func ${funcName})`);
}
}
else {
let funcName = this._nameResolver.getFunctionName(funcIndex, funcIndex < this._importCount, true);
this.appendBuffer(` ${funcName}`);
}
});
break;
case 39 /* BEGIN_GLOBAL_SECTION_ENTRY */:
var globalInfo = reader.result;
var globalName = this._nameResolver.getGlobalName(this._globalCount++, false);
this.appendBuffer(` (global ${globalName} ${globalTypeToString(globalInfo.type)} `);
break;
case 40 /* END_GLOBAL_SECTION_ENTRY */:
this.appendBuffer(')');
this.newLine();
break;
case 11 /* TYPE_SECTION_ENTRY */:
var funcType = reader.result;
var typeIndex = this._types.length;
this._types.push(funcType);
var typeName = this._nameResolver.getTypeName(typeIndex, false);
this.appendBuffer(` (type ${typeName} (func`);
this.printFuncType(typeIndex);
this.appendBuffer('))');
this.newLine();
break;
case 22 /* START_SECTION_ENTRY */:
var startEntry = reader.result;
var funcName = this._nameResolver.getFunctionName(startEntry.index, startEntry.index < this._importCount, true);
this.appendBuffer(` (start ${funcName})`);
this.newLine();
break;
case 36 /* BEGIN_DATA_SECTION_ENTRY */:
this.appendBuffer(' (data ');
break;
case 37 /* DATA_SECTION_ENTRY_BODY */:
var body = reader.result;
this.newLine();
this.appendBuffer(' ');
this.printString(body.data);
this.newLine();
break;
case 38 /* END_DATA_SECTION_ENTRY */:
this.appendBuffer(' )');
this.newLine();
break;
case 25 /* BEGIN_INIT_EXPRESSION_BODY */:
break;
case 26 /* INIT_EXPRESSION_OPERATOR */:
this._initExpression.push(reader.result);
break;
case 27 /* END_INIT_EXPRESSION_BODY */:
this.appendBuffer('(');
// TODO fix printing when more that one operator is used.
this._initExpression.forEach((op, index) => {
if (op.code === 11 /* end */) {
return; // do not print end
}
if (index > 0) {
this.appendBuffer(' ');
}
this.printOperator(op);
});
this.appendBuffer(')');
this._initExpression.length = 0;
break;
case 13 /* FUNCTION_SECTION_ENTRY */:
this._funcTypes.push(reader.result.typeIndex);
break;
case 28 /* BEGIN_FUNCTION_BODY */:
var func = reader.result;
var type = this._types[this._funcTypes[this._funcIndex - this._importCount]];
this.appendBuffer(' (func ');
this.appendBuffer(this._nameResolver.getFunctionName(this._funcIndex, false, false));
for (var i = 0; i < type.params.length; i++) {
var paramName = this._nameResolver.getVariableName(this._funcIndex, i, false);
this.appendBuffer(` (param ${paramName} ${typeToString(type.params[i])})`);
}
for (var i = 0; i < type.returns.length; i++) {
this.appendBuffer(` (result ${typeToString(type.returns[i])})`);
}
this.newLine();
var localIndex = type.params.length;
if (func.locals.length > 0) {
this.appendBuffer(' ');
for (var l of func.locals) {
for (var i = 0; i < l.count; i++) {
var paramName = this._nameResolver.getVariableName(this._funcIndex, localIndex++, false);
this.appendBuffer(` (local ${paramName} ${typeToString(l.type)})`);
}
}
this.newLine();
}
this._indent = ' ';
this._indentLevel = 0;
this._labelIndex = 0;
this._backrefLabels = this._labelMode === LabelMode.Depth ? null : [];
break;
case 30 /* CODE_OPERATOR */:
var operator = reader.result;
if (operator.code == 11 /* end */ && this._indentLevel == 0) {
// reached of the function, closing function body
this.appendBuffer(` )`);
this.newLine();
break;
}
switch (operator.code) {
case 11 /* end */:
case 5 /* else */:
this.decreaseIndent();
break;
}
this.appendBuffer(this._indent);
this.printOperator(operator);
this.newLine();
switch (operator.code) {
case 4 /* if */:
case 2 /* block */:
case 3 /* loop */:
case 5 /* else */:
this.increaseIndent();
break;
}
break;
case 31 /* END_FUNCTION_BODY */:
this._funcIndex++;
this._backrefLabels = null;
// See case BinaryReaderState.CODE_OPERATOR for closing of body
break;
default:
throw new Error(`Expectected state: ${reader.state}`);
}
}
}
}
const UNKNOWN_FUNCTION_PREFIX = "unknown";
class NameSectionNameResolver extends DefaultNameResolver {
constructor(names, localNames) {
super();
this._names = names;
this._localNames = localNames;
}
getFunctionName(index, isImport, isRef) {
const name = this._names[index];
if (!name)
return `$${UNKNOWN_FUNCTION_PREFIX}${index}`;
return isRef ? `$${name}` : `$${name} (;${index};)`;
}
getVariableName(funcIndex, index, isRef) {
const name = this._localNames[funcIndex] && this._localNames[funcIndex][index];
if (!name)
return super.getVariableName(funcIndex, index, isRef);
return isRef ? `$${name}` : `$${name} (;${index};)`;
}
}
export class NameSectionReader {
constructor() {
this._done = false;
this._functionsCount = 0;
this._functionImportsCount = 0;
this._functionNames = null;
this._functionLocalNames = null;
this._hasNames = false;
}
read(reader) {
if (this._done)
throw new Error('Invalid state: disassembly process was already finished.');
while (true) {
if (!reader.read())
return false;
switch (reader.state) {
case 2 /* END_WASM */:
if (!reader.hasMoreBytes()) {
this._done = true;
return true;
}
break;
case -1 /* ERROR */:
throw reader.error;
case 1 /* BEGIN_WASM */:
this._functionsCount = 0;
this._functionImportsCount = 0;
this._functionNames = [];
this._functionLocalNames = [];
this._hasNames = false;
break;
case 4 /* END_SECTION */:
break;
case 3 /* BEGIN_SECTION */:
var sectionInfo = reader.result;
if (sectionInfo.id === 0 /* Custom */ &&
bytesToString(sectionInfo.name) === NAME_SECTION_NAME) {
break;
}
if (sectionInfo.id === 3 /* Function */ ||
sectionInfo.id === 2 /* Import */) {
break;
}
reader.skipSection();
break;
case 12 /* IMPORT_SECTION_ENTRY */:
var importInfo = reader.result;
if (importInfo.kind === 0 /* Function */)
this._functionImportsCount++;
break;
case 13 /* FUNCTION_SECTION_ENTRY */:
this._functionsCount++;
break;
case 19 /* NAME_SECTION_ENTRY */:
var nameInfo = reader.result;
if (nameInfo.type === 1 /* Function */) {
var functionNameInfo = nameInfo;
functionNameInfo.names.forEach((naming) => {
this._functionNames[naming.index] = bytesToString(naming.name);
});
this._hasNames = true;
}
else if (nameInfo.type === 2 /* Local */) {
var localNameInfo = nameInfo;
localNameInfo.funcs.forEach(localName => {
this._functionLocalNames[localName.index] = [];
localName.locals.forEach((naming) => {
this._functionLocalNames[localName.index][naming.index] = bytesToString(naming.name);
});
});
this._hasNames = true;
}
break;
default:
throw new Error(`Expectected state: ${reader.state}`);
}
}
}
hasValidNames() {
return this._hasNames;
}
getNameResolver() {
if (!this.hasValidNames())
throw new Error("Has no valid name section");
// Fix bad names.
const functionNamesLength = this._functionImportsCount + this._functionsCount;
const functionNames = this._functionNames.slice(0, functionNamesLength);
const usedNameAt = Object.create(null);
for (let i = 0; i < functionNames.length; i++) {
const name = functionNames[i];
if (!name)
continue;
const goodName = !(name in usedNameAt) &&
isValidName(name) &&
name.indexOf(UNKNOWN_FUNCTION_PREFIX) !== 0;
if (!goodName) {
if (usedNameAt[name] >= 0) {
// Remove all non-unique names.
functionNames[usedNameAt[name]] = null;
usedNameAt[name] = -1;
}
functionNames[i] = null;
continue;
}
usedNameAt[name] = i;
}
return new NameSectionNameResolver(functionNames, this._functionLocalNames);
}
}
export class DevToolsNameGenerator {
constructor() {
this._done = false;
this._functionImportsCount = 0;
this._memoryImportsCount = 0;
this._tableImportsCount = 0;
this._globalImportsCount = 0;
this._functionNames = null;
this._functionLocalNames = null;
this._memoryNames = null;
this._tableNames = null;
this._globalNames = null;
}
_generateExportName(field) {
return bytesToString(field).replace(INVALID_NAME_SYMBOLS_REGEX_GLOBAL, '_');
}
_generateImportName(moduleName, field) {
const name = bytesToString(moduleName) + '.' + bytesToString(field);
return name.replace(INVALID_NAME_SYMBOLS_REGEX_GLOBAL, '_');
}
_setName(names, index, name, isNameSectionName) {
if (!isValidName(name))
return;
if (isNameSectionName || !names[index])
names[index] = name;
}
read(reader) {
if (this._done)
throw new Error('Invalid state: disassembly process was already finished.');
while (true) {
if (!reader.read())
return false;
switch (reader.state) {
case 2 /* END_WASM */:
if (!reader.hasMoreBytes()) {
this._done = true;
return true;
}
break;
case -1 /* ERROR */:
throw reader.error;
case 1 /* BEGIN_WASM */:
this._functionImportsCount = 0;
this._memoryImportsCount = 0;
this._tableImportsCount = 0;
this._globalImportsCount = 0;
this._functionNames = [];
this._functionLocalNames = [];
this._memoryNames = [];
this._tableNames = [];
this._globalNames = [];
break;
case 4 /* END_SECTION */:
break;
case 3 /* BEGIN_SECTION */:
var sectionInfo = reader.result;
if (sectionInfo.id === 0 /* Custom */ &&
bytesToString(sectionInfo.name) === NAME_SECTION_NAME) {
break;
}
switch (sectionInfo.id) {
case 2 /* Import */:
case 7 /* Export */:
break; // reading known section;
default:
reader.skipSection();
break;
}
break;
case 12 /* IMPORT_SECTION_ENTRY */:
var importInfo = reader.result;
const importName = this._generateImportName(importInfo.module, importInfo.field);
if (!importName)
continue;
switch (importInfo.kind) {
case 0 /* Function */:
this._setName(this._functionNames, this._functionImportsCount++, importName, false);
break;
case 1 /* Table */:
this._setName(this._tableNames, this._tableImportsCount++, importName, false);
break;
case 2 /* Memory */:
this._setName(this._memoryNames, this._memoryImportsCount++, importName, false);
break;
case 3 /* Global */:
this._setName(this._globalNames, this._globalImportsCount++, importName, false);
break;
default:
throw new Error(`Unsupported export ${importInfo.kind}`);
}
break;
case 19 /* NAME_SECTION_ENTRY */:
var nameInfo = reader.result;
if (nameInfo.type === 1 /* Function */) {
var functionNameInfo = nameInfo;
functionNameInfo.names.forEach((naming) => {
this._setName(this._functionNames, naming.index, bytesToString(naming.name), true);
});
}
else if (nameInfo.type === 2 /* Local */) {
var localNameInfo = nameInfo;
localNameInfo.funcs.forEach(localName => {
this._functionLocalNames[localName.index] = [];
localName.locals.forEach((naming) => {
this._functionLocalNames[localName.index][naming.index] = bytesToString(naming.name);
});
});
}
break;
case 17 /* EXPORT_SECTION_ENTRY */:
var exportInfo = reader.result;
const exportName = this._generateExportName(exportInfo.field);
if (!exportName)
continue;
switch (exportInfo.kind) {
case 0 /* Function */:
this._setName(this._functionNames, exportInfo.index, exportName, false);
break;
case 1 /* Table */:
this._setName(this._tableNames, exportInfo.index, exportName, false);
break;
case 2 /* Memory */:
this._setName(this._memoryNames, exportInfo.index, exportName, false);
break;
case 3 /* Global */:
this._setName(this._globalNames, exportInfo.index, exportName, false);
break;
default:
throw new Error(`Unsupported export ${exportInfo.kind}`);
}
break;
default:
throw new Error(`Expectected state: ${reader.state}`);
}
}
}
getNameResolver() {
return new DevToolsNameResolver(this._functionNames, this._functionLocalNames, this._memoryNames, this._tableNames, this._globalNames);
}
}
//# sourceMappingURL=WasmDis.js.map
