/**

* @fileoverview A thin wrapper around Binaryen's C-API.

*

* The AssemblyScript compiler utilizes Binaryen's C-API directly. Even

* though it currently imports binaryen.js, none of the JS APIs it

* provides are used.

*

* @license Apache-2.0

*/

import { Target } from "./common";

import * as binaryen from "./glue/binaryen";

export type ModuleRef = usize;

export type FunctionRef = usize;

export type ExpressionRef = usize;

export type GlobalRef = usize;

export type EventRef = usize;

export type ImportRef = usize;

export type ExportRef = usize;

export type RelooperRef = usize;

export type RelooperBlockRef = usize;

export type Index = u32;

// The following constants must be updated by running scripts/update-constants.

// This is necessary because the functions are not yet callable with Binaryen

// compiled to WebAssembly, requiring awaiting the ready promise first. Note

// that this essentially fixes the compiler to specific versions of Binaryen

// sometimes, because these constants can differ between Binaryen versions.

export type NativeType = usize;

export namespace NativeType {

export const None: NativeType = 0 /* _BinaryenTypeNone */;

export const Unreachable: NativeType = 1 /* _BinaryenTypeUnreachable */;

export const I32: NativeType = 2 /* _BinaryenTypeInt32 */;

export const I64: NativeType = 3 /* _BinaryenTypeInt64 */;

export const F32: NativeType = 4 /* _BinaryenTypeFloat32 */;

export const F64: NativeType = 5 /* _BinaryenTypeFloat64 */;

export const V128: NativeType = 6 /* _BinaryenTypeVec128 */;

export const Funcref: NativeType = 7 /* _BinaryenTypeFuncref */;

export const Externref: NativeType = 8 /* _BinaryenTypeExternref */;

export const Nullref: NativeType = 9 /* _BinaryenTypeNullref */;

export const Exnref: NativeType = 10 /* _BinaryenTypeExnref */;

export const Auto: NativeType = -1 /* _BinaryenTypeAuto */;

}

export enum FeatureFlags {

MVP = 0 /* _BinaryenFeatureMVP */,

Atomics = 1 /* _BinaryenFeatureAtomics */,

MutableGloabls = 2 /* _BinaryenFeatureMutableGlobals */,

NontrappingFPToInt = 4 /* _BinaryenFeatureNontrappingFPToInt */,

SIMD128 = 8 /* _BinaryenFeatureSIMD128 */,

BulkMemory = 16 /* _BinaryenFeatureBulkMemory */,

SignExt = 32 /* _BinaryenFeatureSignExt */,

ExceptionHandling = 64 /* _BinaryenFeatureExceptionHandling */,

TailCall = 128 /* _BinaryenFeatureTailCall */,

ReferenceTypes = 256 /* _BinaryenFeatureReferenceTypes */,

MultiValue = 512 /* _BinaryenFeatureMultivalue */,

All = 1023 /* _BinaryenFeatureAll */

}

export enum ExpressionId {

Invalid = 0 /* _BinaryenInvalidId */,

Block = 1 /* _BinaryenBlockId */,

If = 2 /* _BinaryenIfId */,

Loop = 3 /* _BinaryenLoopId */,

Break = 4 /* _BinaryenBreakId */,

Switch = 5 /* _BinaryenSwitchId */,

Call = 6 /* _BinaryenCallId */,

CallIndirect = 7 /* _BinaryenCallIndirectId */,

LocalGet = 8 /* _BinaryenLocalGetId */,

LocalSet = 9 /* _BinaryenLocalSetId */,

GlobalGet = 10 /* _BinaryenGlobalGetId */,

GlobalSet = 11 /* _BinaryenGlobalSetId */,

Load = 12 /* _BinaryenLoadId */,

Store = 13 /* _BinaryenStoreId */,

Const = 14 /* _BinaryenConstId */,

Unary = 15 /* _BinaryenUnaryId */,

Binary = 16 /* _BinaryenBinaryId */,

Select = 17 /* _BinaryenSelectId */,

Drop = 18 /* _BinaryenDropId */,

Return = 19 /* _BinaryenReturnId */,

Host = 20 /* _BinaryenHostId */,

Nop = 21 /* _BinaryenNopId */,

Unreachable = 22 /* _BinaryenUnreachableId */,

AtomicCmpxchg = 24 /* _BinaryenAtomicCmpxchgId */,

AtomicRMW = 23 /* _BinaryenAtomicRMWId */,

AtomicWait = 25 /* _BinaryenAtomicWaitId */,

AtomicNotify = 26 /* _BinaryenAtomicNotifyId */,

AtomicFence = 27 /* _BinaryenAtomicFenceId */,

SIMDExtract = 28 /* _BinaryenSIMDExtractId */,

SIMDReplace = 29 /* _BinaryenSIMDReplaceId */,

SIMDShuffle = 30 /* _BinaryenSIMDShuffleId */,

SIMDTernary = 31 /* _BinaryenSIMDTernaryId */,

SIMDShift = 32 /* _BinaryenSIMDShiftId */,

SIMDLoad = 33 /* _BinaryenSIMDLoadId */,

MemoryInit = 34 /* _BinaryenMemoryInitId */,

DataDrop = 35 /* _BinaryenDataDropId */,

MemoryCopy = 36 /* _BinaryenMemoryCopyId */,

MemoryFill = 37 /* _BinaryenMemoryFillId */,

Pop = 38 /* _BinaryenPopId */,

RefNull = 39 /* _BinaryenRefNullId */,

RefIsNull = 40 /* _BinaryenRefIsNullId */,

RefFunc = 41 /* _BinaryenRefFuncId */,

Try = 42 /* _BinaryenTryId */,

Throw = 43 /* _BinaryenThrowId */,

Rethrow = 44 /* _BinaryenRethrowId */,

BrOnExn = 45 /* _BinaryenBrOnExnId */,

TupleMake = 46 /* _BinaryenTupleMakeId */,

TupleExtract = 47 /* _BinaryenTupleExtractId */

}

export enum UnaryOp {

ClzI32 = 0 /* _BinaryenClzInt32 */,

ClzI64 = 1 /* _BinaryenClzInt64 */,

CtzI32 = 2 /* _BinaryenCtzInt32 */,

CtzI64 = 3 /* _BinaryenCtzInt64 */,

PopcntI32 = 4 /* _BinaryenPopcntInt32 */,

PopcntI64 = 5 /* _BinaryenPopcntInt64 */,

NegF32 = 6 /* _BinaryenNegFloat32 */,

NegF64 = 7 /* _BinaryenNegFloat64 */,

AbsF32 = 8 /* _BinaryenAbsFloat32 */,

AbsF64 = 9 /* _BinaryenAbsFloat64 */,

CeilF32 = 10 /* _BinaryenCeilFloat32 */,

CeilF64 = 11 /* _BinaryenCeilFloat64 */,

FloorF32 = 12 /* _BinaryenFloorFloat32 */,

FloorF64 = 13 /* _BinaryenFloorFloat64 */,

TruncF32 = 14 /* _BinaryenTruncFloat32 */,

TruncF64 = 15 /* _BinaryenTruncFloat64 */,

NearestF32 = 16 /* _BinaryenNearestFloat32 */,

NearestF64 = 17 /* _BinaryenNearestFloat64 */,

SqrtF32 = 18 /* _BinaryenSqrtFloat32 */,

SqrtF64 = 19 /* _BinaryenSqrtFloat64 */,

EqzI32 = 20 /* _BinaryenEqZInt32 */,

EqzI64 = 21 /* _BinaryenEqZInt64 */,

ExtendI32 = 22 /* _BinaryenExtendSInt32 */,

ExtendU32 = 23 /* _BinaryenExtendUInt32 */,

WrapI64 = 24 /* _BinaryenWrapInt64 */,

TruncF32ToI32 = 25 /* _BinaryenTruncSFloat32ToInt32 */,

TruncF32ToI64 = 26 /* _BinaryenTruncSFloat32ToInt64 */,

TruncF32ToU32 = 27 /* _BinaryenTruncUFloat32ToInt32 */,

TruncF32ToU64 = 28 /* _BinaryenTruncUFloat32ToInt64 */,

TruncF64ToI32 = 29 /* _BinaryenTruncSFloat64ToInt32 */,

TruncF64ToI64 = 30 /* _BinaryenTruncSFloat64ToInt64 */,

TruncF64ToU32 = 31 /* _BinaryenTruncUFloat64ToInt32 */,

TruncF64ToU64 = 32 /* _BinaryenTruncUFloat64ToInt64 */,

ReinterpretF32 = 33 /* _BinaryenReinterpretFloat32 */,

ReinterpretF64 = 34 /* _BinaryenReinterpretFloat64 */,

ConvertI32ToF32 = 35 /* _BinaryenConvertSInt32ToFloat32 */,

ConvertI32ToF64 = 36 /* _BinaryenConvertSInt32ToFloat64 */,

ConvertU32ToF32 = 37 /* _BinaryenConvertUInt32ToFloat32 */,

ConvertU32ToF64 = 38 /* _BinaryenConvertUInt32ToFloat64 */,

ConvertI64ToF32 = 39 /* _BinaryenConvertSInt64ToFloat32 */,

ConvertI64ToF64 = 40 /* _BinaryenConvertSInt64ToFloat64 */,

ConvertU64ToF32 = 41 /* _BinaryenConvertUInt64ToFloat32 */,

ConvertU64ToF64 = 42 /* _BinaryenConvertUInt64ToFloat64 */,

PromoteF32 = 43 /* _BinaryenPromoteFloat32 */,

DemoteF64 = 44 /* _BinaryenDemoteFloat64 */,

ReinterpretI32 = 45 /* _BinaryenReinterpretInt32 */,

ReinterpretI64 = 46 /* _BinaryenReinterpretInt64 */,

// see: https://github.com/WebAssembly/sign-extension-ops

ExtendI8ToI32 = 47 /* _BinaryenExtendS8Int32 */,

ExtendI16ToI32 = 48 /* _BinaryenExtendS16Int32 */,

ExtendI8ToI64 = 49 /* _BinaryenExtendS8Int64 */,

ExtendI16ToI64 = 50 /* _BinaryenExtendS16Int64 */,

ExtendI32ToI64 = 51 /* _BinaryenExtendS32Int64 */,

// see: https://github.com/WebAssembly/nontrapping-float-to-int-conversions

TruncF32ToI32Sat = 52 /* _BinaryenTruncSatSFloat32ToInt32 */,

TruncF32ToU32Sat = 53 /* _BinaryenTruncSatUFloat32ToInt32 */,

TruncF64ToI32Sat = 54 /* _BinaryenTruncSatSFloat64ToInt32 */,

TruncF64ToU32Sat = 55 /* _BinaryenTruncSatUFloat64ToInt32 */,

TruncF32ToI64Sat = 56 /* _BinaryenTruncSatSFloat32ToInt64 */,

TruncF32ToU64Sat = 57 /* _BinaryenTruncSatUFloat32ToInt64 */,

TruncF64ToI64Sat = 58 /* _BinaryenTruncSatSFloat64ToInt64 */,

TruncF64ToU64Sat = 59 /* _BinaryenTruncSatUFloat64ToInt64 */,

// see: https://github.com/WebAssembly/simd

SplatI8x16 = 60 /* _BinaryenSplatVecI8x16 */,

SplatI16x8 = 61 /* _BinaryenSplatVecI16x8 */,

SplatI32x4 = 62 /* _BinaryenSplatVecI32x4 */,

SplatI64x2 = 63 /* _BinaryenSplatVecI64x2 */,

SplatF32x4 = 64 /* _BinaryenSplatVecF32x4 */,

SplatF64x2 = 65 /* _BinaryenSplatVecF64x2 */,

NotV128 = 66 /* _BinaryenNotVec128 */,

AbsI8x16 = 67 /* __BinaryenAbsVecI8x16 */,

NegI8x16 = 68 /* _BinaryenNegVecI8x16 */,

AnyTrueI8x16 = 69 /* _BinaryenAnyTrueVecI8x16 */,

AllTrueI8x16 = 70 /* _BinaryenAllTrueVecI8x16 */,

BitmaskI8x16 = 71 /* __BinaryenBitmaskVecI8x16 */,

AbsI16x8 = 72 /* __BinaryenAbsVecI16x8 */,

NegI16x8 = 73 /* _BinaryenNegVecI16x8 */,

AnyTrueI16x8 = 74 /* _BinaryenAnyTrueVecI16x8 */,

AllTrueI16x8 = 75 /* _BinaryenAllTrueVecI16x8 */,

BitmaskI16x8 = 76 /* _BinaryenBitmaskVecI16x8 */,

AbsI32x4 = 77 /* _BinaryenAbsVecI32x4 */,

NegI32x4 = 78 /* _BinaryenNegVecI32x4 */,

AnyTrueI32x4 = 79 /* _BinaryenAnyTrueVecI32x4 */,

AllTrueI32x4 = 80 /* _BinaryenAllTrueVecI32x4 */,

BitmaskI32x4 = 81 /* _BinaryenBitmaskVecI32x4 */,

NegI64x2 = 82 /* _BinaryenNegVecI64x2 */,

AnyTrueI64x2 = 83 /* _BinaryenAnyTrueVecI64x2 */,

AllTrueI64x2 = 84 /* _BinaryenAllTrueVecI64x2 */,

AbsF32x4 = 85 /* _BinaryenAbsVecF32x4 */,

NegF32x4 = 86 /* _BinaryenNegVecF32x4 */,

SqrtF32x4 = 87 /* _BinaryenSqrtVecF32x4 */,

CeilF32x4 = 88 /* _BinaryenCeilVecF32x4 */,

FloorF32x4 = 89 /* _BinaryenFloorVecF32x4 */,

TruncF32x4 = 90 /* BinaryenTruncVecF32x4 */,

NearestF32x4 = 91 /* BinaryenNearestVecF32x4 */,

AbsF64x2 = 92 /* _BinaryenAbsVecF64x2 */,

NegF64x2 = 93 /* _BinaryenNegVecF64x2 */,

SqrtF64x2 = 94 /* _BinaryenSqrtVecF64x2 */,

CeilF64x2 = 95 /* _BinaryenCeilVecF64x2 */,

FloorF64x2 = 96 /* _BinaryenFloorVecF64x2 */,

TruncF64x2 = 97 /* BinaryenTruncVecF64x2 */,

NearestF64x2 = 98 /* BinaryenNearestVecF64x2 */,

TruncSatF32x4ToI32x4 = 99 /* _BinaryenTruncSatSVecF32x4ToVecI32x4 */,

TruncSatF32x4ToU32x4 = 100 /* _BinaryenTruncSatUVecF32x4ToVecI32x4 */,

TruncSatF64x2ToI64x2 = 101 /* _BinaryenTruncSatSVecF64x2ToVecI64x2 */,

TruncSatF64x2ToU64x2 = 102 /* _BinaryenTruncSatUVecF64x2ToVecI64x2 */,

ConvertI32x4ToF32x4 = 103 /* _BinaryenConvertSVecI32x4ToVecF32x4 */,

ConvertU32x4ToF32x4 = 104 /* _BinaryenConvertUVecI32x4ToVecF32x4 */,

ConvertI64x2ToF64x2 = 105 /* _BinaryenConvertSVecI64x2ToVecF64x2 */,

ConvertU64x2ToF64x2 = 106 /* _BinaryenConvertUVecI64x2ToVecF64x2 */,

WidenLowI8x16ToI16x8 = 107 /* _BinaryenWidenLowSVecI8x16ToVecI16x8 */,

WidenHighI8x16ToI16x8 = 108 /* _BinaryenWidenHighSVecI8x16ToVecI16x8 */,

WidenLowU8x16ToU16x8 = 109 /* _BinaryenWidenLowUVecI8x16ToVecI16x8 */,

WidenHighU8x16ToU16x8 = 110 /* _BinaryenWidenHighUVecI8x16ToVecI16x8 */,

WidenLowI16x8ToI32x4 = 111 /* _BinaryenWidenLowSVecI16x8ToVecI32x4 */,

WidenHighI16x8ToI32x4 = 112 /* _BinaryenWidenHighSVecI16x8ToVecI32x4 */,

WidenLowU16x8ToU32x4 = 113 /* _BinaryenWidenLowUVecI16x8ToVecI32x4 */,

WidenHighU16x8ToU32x4 = 114 /* _BinaryenWidenHighUVecI16x8ToVecI32x4 */

}

export enum BinaryOp {

AddI32 = 0 /* _BinaryenAddInt32 */,

SubI32 = 1 /* _BinaryenSubInt32 */,

MulI32 = 2 /* _BinaryenMulInt32 */,

DivI32 = 3 /* _BinaryenDivSInt32 */,

DivU32 = 4 /* _BinaryenDivUInt32 */,

RemI32 = 5 /* _BinaryenRemSInt32 */,

RemU32 = 6 /* _BinaryenRemUInt32 */,

AndI32 = 7 /* _BinaryenAndInt32 */,

OrI32 = 8 /* _BinaryenOrInt32 */,

XorI32 = 9 /* _BinaryenXorInt32 */,

ShlI32 = 10 /* _BinaryenShlInt32 */,

ShrU32 = 11 /* _BinaryenShrUInt32 */,

ShrI32 = 12 /* _BinaryenShrSInt32 */,

RotlI32 = 13 /* _BinaryenRotLInt32 */,

RotrI32 = 14 /* _BinaryenRotRInt32 */,

EqI32 = 15 /* _BinaryenEqInt32 */,

NeI32 = 16 /* _BinaryenNeInt32 */,

LtI32 = 17 /* _BinaryenLtSInt32 */,

LtU32 = 18 /* _BinaryenLtUInt32 */,

LeI32 = 19 /* _BinaryenLeSInt32 */,

LeU32 = 20 /* _BinaryenLeUInt32 */,

GtI32 = 21 /* _BinaryenGtSInt32 */,

GtU32 = 22 /* _BinaryenGtUInt32 */,

GeI32 = 23 /* _BinaryenGeSInt32 */,

GeU32 = 24 /* _BinaryenGeUInt32 */,

AddI64 = 25 /* _BinaryenAddInt64 */,

SubI64 = 26 /* _BinaryenSubInt64 */,

MulI64 = 27 /* _BinaryenMulInt64 */,

DivI64 = 28 /* _BinaryenDivSInt64 */,

DivU64 = 29 /* _BinaryenDivUInt64 */,

RemI64 = 30 /* _BinaryenRemSInt64 */,

RemU64 = 31 /* _BinaryenRemUInt64 */,

AndI64 = 32 /* _BinaryenAndInt64 */,

OrI64 = 33 /* _BinaryenOrInt64 */,

XorI64 = 34 /* _BinaryenXorInt64 */,

ShlI64 = 35 /* _BinaryenShlInt64 */,

ShrU64 = 36 /* _BinaryenShrUInt64 */,

ShrI64 = 37 /* _BinaryenShrSInt64 */,

RotlI64 = 38 /* _BinaryenRotLInt64 */,

RotrI64 = 39 /* _BinaryenRotRInt64 */,

EqI64 = 40 /* _BinaryenEqInt64 */,

NeI64 = 41 /* _BinaryenNeInt64 */,

LtI64 = 42 /* _BinaryenLtSInt64 */,

LtU64 = 43 /* _BinaryenLtUInt64 */,

LeI64 = 44 /* _BinaryenLeSInt64 */,

LeU64 = 45 /* _BinaryenLeUInt64 */,

GtI64 = 46 /* _BinaryenGtSInt64 */,

GtU64 = 47 /* _BinaryenGtUInt64 */,

GeI64 = 48 /* _BinaryenGeSInt64 */,

GeU64 = 49 /* _BinaryenGeUInt64 */,

AddF32 = 50 /* _BinaryenAddFloat32 */,

SubF32 = 51 /* _BinaryenSubFloat32 */,

MulF32 = 52 /* _BinaryenMulFloat32 */,

DivF32 = 53 /* _BinaryenDivFloat32 */,

CopysignF32 = 54 /* _BinaryenCopySignFloat32 */,

MinF32 = 55 /* _BinaryenMinFloat32 */,

MaxF32 = 56 /* _BinaryenMaxFloat32 */,

EqF32 = 57 /* _BinaryenEqFloat32 */,

NeF32 = 58 /* _BinaryenNeFloat32 */,

LtF32 = 59 /* _BinaryenLtFloat32 */,

LeF32 = 60 /* _BinaryenLeFloat32 */,

GtF32 = 61 /* _BinaryenGtFloat32 */,

GeF32 = 62 /* _BinaryenGeFloat32 */,

AddF64 = 63 /* _BinaryenAddFloat64 */,

SubF64 = 64 /* _BinaryenSubFloat64 */,

MulF64 = 65 /* _BinaryenMulFloat64 */,

DivF64 = 66 /* _BinaryenDivFloat64 */,

CopysignF64 = 67 /* _BinaryenCopySignFloat64 */,

MinF64 = 68 /* _BinaryenMinFloat64 */,

MaxF64 = 69 /* _BinaryenMaxFloat64 */,

EqF64 = 70 /* _BinaryenEqFloat64 */,

NeF64 = 71 /* _BinaryenNeFloat64 */,

LtF64 = 72 /* _BinaryenLtFloat64 */,

LeF64 = 73 /* _BinaryenLeFloat64 */,

GtF64 = 74 /* _BinaryenGtFloat64 */,

GeF64 = 75 /* _BinaryenGeFloat64 */,

// see: https://github.com/WebAssembly/simd

EqI8x16 = 76 /* _BinaryenEqVecI8x16 */,

NeI8x16 = 77 /* _BinaryenNeVecI8x16 */,

LtI8x16 = 78 /* _BinaryenLtSVecI8x16 */,

LtU8x16 = 79 /* _BinaryenLtUVecI8x16 */,

GtI8x16 = 80 /* _BinaryenGtSVecI8x16 */,

GtU8x16 = 81 /* _BinaryenGtUVecI8x16 */,

LeI8x16 = 82 /* _BinaryenLeSVecI8x16 */,

LeU8x16 = 83 /* _BinaryenLeUVecI8x16 */,

GeI8x16 = 84 /* _BinaryenGeSVecI8x16 */,

GeU8x16 = 85 /* _BinaryenGeUVecI8x16 */,

EqI16x8 = 86 /* _BinaryenEqVecI16x8 */,

NeI16x8 = 87 /* _BinaryenNeVecI16x8 */,

LtI16x8 = 88 /* _BinaryenLtSVecI16x8 */,

LtU16x8 = 89 /* _BinaryenLtUVecI16x8 */,

GtI16x8 = 90 /* _BinaryenGtSVecI16x8 */,

GtU16x8 = 91 /* _BinaryenGtUVecI16x8 */,

LeI16x8 = 92 /* _BinaryenLeSVecI16x8 */,

LeU16x8 = 93 /* _BinaryenLeUVecI16x8 */,

GeI16x8 = 94 /* _BinaryenGeSVecI16x8 */,

GeU16x8 = 95 /* _BinaryenGeUVecI16x8 */,

EqI32x4 = 96 /* _BinaryenEqVecI32x4 */,

NeI32x4 = 97 /* _BinaryenNeVecI32x4 */,

LtI32x4 = 98 /* _BinaryenLtSVecI32x4 */,

LtU32x4 = 99 /* _BinaryenLtUVecI32x4 */,

GtI32x4 = 100 /* _BinaryenGtSVecI32x4 */,

GtU32x4 = 101 /* _BinaryenGtUVecI32x4 */,

LeI32x4 = 102 /* _BinaryenLeSVecI32x4 */,

LeU32x4 = 103 /* _BinaryenLeUVecI32x4 */,

GeI32x4 = 104 /* _BinaryenGeSVecI32x4 */,

GeU32x4 = 105 /* _BinaryenGeUVecI32x4 */,

EqF32x4 = 106 /* _BinaryenEqVecF32x4 */,

NeF32x4 = 107 /* _BinaryenNeVecF32x4 */,

LtF32x4 = 108 /* _BinaryenLtVecF32x4 */,

GtF32x4 = 109 /* _BinaryenGtVecF32x4 */,

LeF32x4 = 110 /* _BinaryenLeVecF32x4 */,

GeF32x4 = 111 /* _BinaryenGeVecF32x4 */,

EqF64x2 = 112 /* _BinaryenEqVecF64x2 */,

NeF64x2 = 113 /* _BinaryenNeVecF64x2 */,

LtF64x2 = 114 /* _BinaryenLtVecF64x2 */,

GtF64x2 = 115 /* _BinaryenGtVecF64x2 */,

LeF64x2 = 116 /* _BinaryenLeVecF64x2 */,

GeF64x2 = 117 /* _BinaryenGeVecF64x2 */,

AndV128 = 118 /* _BinaryenAndVec128 */,

OrV128 = 119 /* _BinaryenOrVec128 */,

XorV128 = 120 /* _BinaryenXorVec128 */,

AndNotV128 = 121 /* _BinaryenAndNotVec128 */,

AddI8x16 = 122 /* _BinaryenAddVecI8x16 */,

AddSatI8x16 = 123 /* _BinaryenAddSatSVecI8x16 */,

AddSatU8x16 = 124 /* _BinaryenAddSatUVecI8x16 */,

SubI8x16 = 125 /* _BinaryenSubVecI8x16 */,

SubSatI8x16 = 126 /* _BinaryenSubSatSVecI8x16 */,

SubSatU8x16 = 127 /* _BinaryenSubSatUVecI8x16 */,

MulI8x16 = 128 /* _BinaryenMulVecI8x16 */,

MinI8x16 = 129 /* _BinaryenMinSVecI8x16 */,

MinU8x16 = 130 /* _BinaryenMinUVecI8x16 */,

MaxI8x16 = 131 /* _BinaryenMaxSVecI8x16 */,

MaxU8x16 = 132 /* _BinaryenMaxUVecI8x16 */,

AvgrU8x16 = 133 /* _BinaryenAvgrUVecI8x16 */,

AddI16x8 = 134 /* _BinaryenAddVecI16x8 */,

AddSatI16x8 = 135 /* _BinaryenAddSatSVecI16x8 */,

AddSatU16x8 = 136 /* _BinaryenAddSatUVecI16x8 */,

SubI16x8 = 137 /* _BinaryenSubVecI16x8 */,

SubSatI16x8 = 138 /* _BinaryenSubSatSVecI16x8 */,

SubSatU16x8 = 139 /* _BinaryenSubSatUVecI16x8 */,

MulI16x8 = 140 /* _BinaryenMulVecI16x8 */,

MinI16x8 = 141 /* _BinaryenMinSVecI16x8 */,

MinU16x8 = 142 /* _BinaryenMinUVecI16x8 */,

MaxI16x8 = 143 /* _BinaryenMaxSVecI16x8 */,

MaxU16x8 = 144 /* _BinaryenMaxUVecI16x8 */,

AvgrU16x8 = 145 /* _BinaryenAvgrUVecI16x8 */,

AddI32x4 = 146 /* _BinaryenAddVecI32x4 */,

SubI32x4 = 147 /* _BinaryenSubVecI32x4 */,

MulI32x4 = 148 /* _BinaryenMulVecI32x4 */,

MinI32x4 = 149 /* _BinaryenMinSVecI32x4 */,

MinU32x4 = 150 /* _BinaryenMinUVecI32x4 */,

MaxI32x4 = 151 /* _BinaryenMaxSVecI32x4 */,

MaxU32x4 = 152 /* _BinaryenMaxUVecI32x4 */,

DotI16x8 = 153 /* _BinaryenDotSVecI16x8ToVecI32x4 */,

AddI64x2 = 154 /* _BinaryenAddVecI64x2 */,

SubI64x2 = 155 /* _BinaryenSubVecI64x2 */,

AddF32x4 = 157 /* _BinaryenAddVecF32x4 */,

SubF32x4 = 158 /* _BinaryenSubVecF32x4 */,

MulF32x4 = 159 /* _BinaryenMulVecF32x4 */,

DivF32x4 = 160 /* _BinaryenDivVecF32x4 */,

MinF32x4 = 161 /* _BinaryenMinVecF32x4 */,

MaxF32x4 = 162 /* _BinaryenMaxVecF32x4 */,

PminF32x4 = 163 /* _BinaryenPMinVecF32x4 */,

PmaxF32x4 = 164 /* _BinaryenPMaxVecF32x4 */,

AddF64x2 = 165 /* _BinaryenAddVecF64x2 */,

SubF64x2 = 166 /* _BinaryenSubVecF64x2 */,

MulF64x2 = 167 /* _BinaryenMulVecF64x2 */,

DivF64x2 = 168 /* _BinaryenDivVecF64x2 */,

MinF64x2 = 169 /* _BinaryenMinVecF64x2 */,

MaxF64x2 = 170 /* _BinaryenMaxVecF64x2 */,

PminF64x2 = 171 /* _BinaryenPMinVecF64x2 */,

PmaxF64x2 = 172 /* _BinaryenPMaxVecF64x2 */,

NarrowI16x8ToI8x16 = 173 /* _BinaryenNarrowSVecI16x8ToVecI8x16 */,

NarrowU16x8ToU8x16 = 174 /* _BinaryenNarrowUVecI16x8ToVecI8x16 */,

NarrowI32x4ToI16x8 = 175 /* _BinaryenNarrowSVecI32x4ToVecI16x8 */,

NarrowU32x4ToU16x8 = 176 /* _BinaryenNarrowUVecI32x4ToVecI16x8 */,

SwizzleV8x16 = 177 /* _BinaryenSwizzleVec8x16 */

}

export enum HostOp {

MemorySize = 0 /* _BinaryenMemorySize */,

MemoryGrow = 1 /* _BinaryenMemoryGrow */,

}

export enum AtomicRMWOp {

Add = 0 /* _BinaryenAtomicRMWAdd */,

Sub = 1 /* _BinaryenAtomicRMWSub */,

And = 2 /* _BinaryenAtomicRMWAnd */,

Or = 3 /* _BinaryenAtomicRMWOr */,

Xor = 4 /* _BinaryenAtomicRMWXor */,

Xchg = 5 /* _BinaryenAtomicRMWXchg */

}

export enum SIMDExtractOp {

ExtractLaneI8x16 = 0 /* _BinaryenExtractLaneSVecI8x16 */,

ExtractLaneU8x16 = 1 /* _BinaryenExtractLaneUVecI8x16 */,

ExtractLaneI16x8 = 2 /* _BinaryenExtractLaneSVecI16x8 */,

ExtractLaneU16x8 = 3 /* _BinaryenExtractLaneUVecI16x8 */,

ExtractLaneI32x4 = 4 /* _BinaryenExtractLaneVecI32x4 */,

ExtractLaneI64x2 = 5 /* _BinaryenExtractLaneVecI64x2 */,

ExtractLaneF32x4 = 6 /* _BinaryenExtractLaneVecF32x4 */,

ExtractLaneF64x2 = 7 /* _BinaryenExtractLaneVecF64x2 */,

}

export enum SIMDReplaceOp {

ReplaceLaneI8x16 = 0 /* _BinaryenReplaceLaneVecI8x16 */,

ReplaceLaneI16x8 = 1 /* _BinaryenReplaceLaneVecI16x8 */,

ReplaceLaneI32x4 = 2 /* _BinaryenReplaceLaneVecI32x4 */,

ReplaceLaneI64x2 = 3 /* _BinaryenReplaceLaneVecI64x2 */,

ReplaceLaneF32x4 = 4 /* _BinaryenReplaceLaneVecF32x4 */,

ReplaceLaneF64x2 = 5 /* _BinaryenReplaceLaneVecF64x2 */

}

export enum SIMDShiftOp {

ShlI8x16 = 0 /* _BinaryenShlVecI8x16 */,

ShrI8x16 = 1 /* _BinaryenShrSVecI8x16 */,

ShrU8x16 = 2 /* _BinaryenShrUVecI8x16 */,

ShlI16x8 = 3 /* _BinaryenShlVecI16x8 */,

ShrI16x8 = 4 /* _BinaryenShrSVecI16x8 */,

ShrU16x8 = 5 /* _BinaryenShrUVecI16x8 */,

ShlI32x4 = 6 /* _BinaryenShlVecI32x4 */,

ShrI32x4 = 7 /* _BinaryenShrSVecI32x4 */,

ShrU32x4 = 8 /* _BinaryenShrUVecI32x4 */,

ShlI64x2 = 9 /* _BinaryenShlVecI64x2 */,

ShrI64x2 = 10 /* _BinaryenShrSVecI64x2 */,

ShrU64x2 = 11 /* _BinaryenShrUVecI64x2 */

}

export enum SIMDTernaryOp {

Bitselect = 0 /* _BinaryenBitselectVec128 */,

QFMAF32x4 = 1 /* _BinaryenQFMAVecF32x4 */,

QFMSF32x4 = 2 /* _BinaryenQFMSVecF32x4 */,

QFMAF64x2 = 3 /* _BinaryenQFMAVecF64x2 */,

QFMSF64x2 = 4 /* _BinaryenQFMSVecF64x2 */

}

export enum SIMDLoadOp {

LoadSplatV8x16 = 0 /* _BinaryenLoadSplatVec8x16 */,

LoadSplatV16x8 = 1 /* _BinaryenLoadSplatVec16x8 */,

LoadSplatV32x4 = 2 /* _BinaryenLoadSplatVec32x4 */,

LoadSplatV64x2 = 3 /* _BinaryenLoadSplatVec64x2 */,

LoadI8ToI16x8 = 4 /* _BinaryenLoadExtSVec8x8ToVecI16x8 */,

LoadU8ToU16x8 = 5 /* _BinaryenLoadExtUVec8x8ToVecI16x8 */,

LoadI16ToI32x4 = 6 /* _BinaryenLoadExtSVec16x4ToVecI32x4 */,

LoadU16ToU32x4 = 7 /* _BinaryenLoadExtUVec16x4ToVecI32x4 */,

LoadI32ToI64x2 = 8 /* _BinaryenLoadExtSVec32x2ToVecI64x2 */,

LoadU32ToU64x2 = 9 /* _BinaryenLoadExtUVec32x2ToVecI64x2 */

}

export enum ExpressionRunnerFlags {

Default = 0 /* _ExpressionRunnerFlagsDefault */,

PreserveSideeffects = 1 /* _ExpressionRunnerFlagsPreserveSideeffects */,

TraverseCalls = 2 /* _ExpressionRunnerFlagsTraverseCalls */

}

export class MemorySegment {

constructor(

/** Segment data. */

public buffer: Uint8Array,

/** Segment offset. */

public offset: i64

) {}

}

export class Module {

constructor(

/** Binaryen module reference. */

public ref: ModuleRef

) {

this.lit = binaryen._malloc(binaryen._BinaryenSizeofLiteral());

}

private lit: usize;

static create(): Module {

return new Module(binaryen._BinaryenModuleCreate());

}

static createFrom(buffer: Uint8Array): Module {

var cArr = allocU8Array(buffer);

var module = new Module(binaryen._BinaryenModuleRead(cArr, buffer.length));

binaryen._free(changetype<usize>(cArr));

return module;

}

// constants

i32(value: i32): ExpressionRef {

var out = this.lit;

binaryen._BinaryenLiteralInt32(out, value);

return binaryen._BinaryenConst(this.ref, out);

}

i64(valueLow: i32, valueHigh: i32 = 0): ExpressionRef {

var out = this.lit;

binaryen._BinaryenLiteralInt64(out, valueLow, valueHigh);

return binaryen._BinaryenConst(this.ref, out);

}

f32(value: f32): ExpressionRef {

var out = this.lit;

binaryen._BinaryenLiteralFloat32(out, value);

return binaryen._BinaryenConst(this.ref, out);

}

f64(value: f64): ExpressionRef {

var out = this.lit;

binaryen._BinaryenLiteralFloat64(out, value);

return binaryen._BinaryenConst(this.ref, out);

}

v128(bytes: Uint8Array): ExpressionRef {

assert(bytes.length == 16);

var out = this.lit;

for (let i = 0; i < 16; ++i) {

binaryen.__i32_store8(out + i, bytes[i]);

}

binaryen._BinaryenLiteralVec128(out, out);

return binaryen._BinaryenConst(this.ref, out);

}

ref_null(): ExpressionRef {

return binaryen._BinaryenRefNull(this.ref);

}

// expressions

unary(

op: UnaryOp,

expr: ExpressionRef

): ExpressionRef {

return binaryen._BinaryenUnary(this.ref, op, expr);

}

binary(

op: BinaryOp,

left: ExpressionRef,

right: ExpressionRef

): ExpressionRef {

return binaryen._BinaryenBinary(this.ref, op, left, right);

}

host(

op: HostOp,

name: string | null = null,

operands: ExpressionRef[] | null = null

): ExpressionRef {

var cStr = this.allocStringCached(name);

var cArr = allocPtrArray(operands);

var ret = binaryen._BinaryenHost(

this.ref, op, cStr, cArr, operands ? (<ExpressionRef[]>operands).length : 0

);

binaryen._free(cArr);

return ret;

}

local_get(

index: i32,

type: NativeType

): ExpressionRef {

return binaryen._BinaryenLocalGet(this.ref, index, type);

}

local_tee(

index: i32,

value: ExpressionRef,

type: NativeType = NativeType.Auto

): ExpressionRef {

if (type == NativeType.Auto) type = binaryen._BinaryenExpressionGetType(value);

return binaryen._BinaryenLocalTee(this.ref, index, value, type);

}

global_get(

name: string,

type: NativeType

): ExpressionRef {

var cStr = this.allocStringCached(name);

return binaryen._BinaryenGlobalGet(this.ref, cStr, type);

}

load(

bytes: Index,

signed: bool,

ptr: ExpressionRef,

type: NativeType,

offset: Index = 0,

align: Index = bytes // naturally aligned by default

): ExpressionRef {

return binaryen._BinaryenLoad(this.ref, bytes, signed, offset, align, type, ptr);

}

store(

bytes: Index,

ptr: ExpressionRef,

value: ExpressionRef,

type: NativeType,

offset: Index = 0,

align: Index = bytes // naturally aligned by default

): ExpressionRef {

return binaryen._BinaryenStore(this.ref, bytes, offset, align, ptr, value, type);

}

atomic_load(

bytes: Index,

ptr: ExpressionRef,

type: NativeType,

offset: Index = 0

): ExpressionRef {

return binaryen._BinaryenAtomicLoad(this.ref, bytes, offset, type, ptr);

}

atomic_store(

bytes: Index,

ptr: ExpressionRef,

value: ExpressionRef,

type: NativeType,

offset: Index = 0

): ExpressionRef {

return binaryen._BinaryenAtomicStore(this.ref, bytes, offset, ptr, value, type);

}

atomic_rmw(

op: AtomicRMWOp,

bytes: Index,

offset: Index,

ptr: ExpressionRef,

value: ExpressionRef,

type: NativeType

): ExpressionRef {

return binaryen._BinaryenAtomicRMW(this.ref, op, bytes, offset, ptr, value, type);

}

atomic_cmpxchg(

bytes: Index,

offset: Index,

ptr: ExpressionRef,

expected: ExpressionRef,

replacement: ExpressionRef,

type: NativeType

): ExpressionRef {

return binaryen._BinaryenAtomicCmpxchg(this.ref, bytes, offset, ptr, expected, replacement, type);

}

atomic_wait(

ptr: ExpressionRef,

expected: ExpressionRef,

timeout: ExpressionRef,

expectedType: NativeType

): ExpressionRef {

return binaryen._BinaryenAtomicWait(this.ref, ptr, expected, timeout, expectedType);

}

atomic_notify(

ptr: ExpressionRef,

notifyCount: ExpressionRef

): ExpressionRef {

return binaryen._BinaryenAtomicNotify(this.ref, ptr, notifyCount);

}

atomic_fence(): ExpressionRef {

return binaryen._BinaryenAtomicFence(this.ref);

}

// statements

local_set(

index: Index,

value: ExpressionRef

): ExpressionRef {

return binaryen._BinaryenLocalSet(this.ref, index, value);

}

global_set(

name: string,

value: ExpressionRef

): ExpressionRef {

var cStr = this.allocStringCached(name);

return binaryen._BinaryenGlobalSet(this.ref, cStr, value);

}

block(

label: string | null,

children: ExpressionRef[],

type: NativeType = NativeType.None

): ExpressionRef {

var cStr = this.allocStringCached(label);

var cArr = allocPtrArray(children);

var ret = binaryen._BinaryenBlock(this.ref, cStr, cArr, children.length, type);

binaryen._free(cArr);

return ret;

}

/** Attempts to trivially flatten a series of expressions instead of emitting a block. */

flatten(

stmts: ExpressionRef[],

type: NativeType = NativeType.None

): ExpressionRef {

var length = stmts.length;

if (length == 0) return this.nop(); // usually filtered out again

if (length == 1) {

let single = stmts[0];

switch (getExpressionId(single)) {

case ExpressionId.Return:

case ExpressionId.Throw:

case ExpressionId.Unreachable: {

// type does no matter, terminates anyway

return single;

}

}

let singleType = getExpressionType(single);

assert(singleType == NativeType.Unreachable || singleType == type);

return single;

}

return this.block(null, stmts, type);

}

br(

label: string | null,

condition: ExpressionRef = 0,

value: ExpressionRef = 0

): ExpressionRef {

var cStr = this.allocStringCached(label);

return binaryen._BinaryenBreak(this.ref, cStr, condition, value);

}

drop(

expression: ExpressionRef

): ExpressionRef {

return binaryen._BinaryenDrop(this.ref, expression);

}

maybeDropCondition(condition: ExpressionRef, result: ExpressionRef): ExpressionRef {

// FIXME: This is necessary because Binaryen's ExpressionRunner bails early

// when encountering a local with an unknown value. This helper only drops

// the pre-evaluated condition if it has relevant side effects.

// see WebAssembly/binaryen#1237

if ((getSideEffects(condition) & ~(SideEffects.ReadsLocal | SideEffects.ReadsGlobal)) != 0) {

return this.block(null, [

this.drop(condition),

result

], getExpressionType(result));

}

return result;

}

loop(

label: string | null,

body: ExpressionRef

): ExpressionRef {

var cStr = this.allocStringCached(label);

return binaryen._BinaryenLoop(this.ref, cStr, body);

}

if(

condition: ExpressionRef,

ifTrue: ExpressionRef,

ifFalse: ExpressionRef = 0

): ExpressionRef {

return binaryen._BinaryenIf(this.ref, condition, ifTrue, ifFalse);

}

nop(): ExpressionRef {

return binaryen._BinaryenNop(this.ref);

}

return(

expression: ExpressionRef = 0

): ExpressionRef {

return binaryen._BinaryenReturn(this.ref, expression);

}

select(

ifTrue: ExpressionRef,

ifFalse: ExpressionRef,

condition: ExpressionRef,

type: NativeType = NativeType.Auto

): ExpressionRef {

if (type == NativeType.Auto) {

type = binaryen._BinaryenExpressionGetType(ifTrue);

assert(type == binaryen._BinaryenExpressionGetType(ifFalse));

}

return binaryen._BinaryenSelect(this.ref, condition, ifTrue, ifFalse, type);

}

switch(

names: string[],

defaultName: string | null,

condition: ExpressionRef,

value: ExpressionRef = 0

): ExpressionRef {

var numNames = names.length;

var strs = new Array<usize>(numNames);

for (let i = 0; i < numNames; ++i) {

strs[i] = this.allocStringCached(names[i]);

}

var cArr = allocPtrArray(strs);

var cStr = this.allocStringCached(defaultName);

var ret = binaryen._BinaryenSwitch(this.ref, cArr, numNames, cStr, condition, value);

binaryen._free(cArr);

return ret;

}

call(

target: string,

operands: ExpressionRef[] | null,

returnType: NativeType,

isReturn: bool = false

): ExpressionRef {

var cStr = this.allocStringCached(target);

var cArr = allocPtrArray(operands);

var ret = isReturn

? binaryen._BinaryenReturnCall(

this.ref, cStr, cArr, operands ? operands.length : 0, returnType

)

: binaryen._BinaryenCall(

this.ref, cStr, cArr, operands ? operands.length : 0, returnType

);

binaryen._free(cArr);

return ret;

}

return_call(

target: string,

operands: ExpressionRef[] | null,

returnType: NativeType

): ExpressionRef {

return this.call(target, operands, returnType, true);

}

call_indirect(

index: ExpressionRef,

operands: ExpressionRef[] | null,

params: NativeType,

results: NativeType,

isReturn: bool = false

): ExpressionRef {

var cArr = allocPtrArray(operands);

var ret = isReturn

? binaryen._BinaryenReturnCallIndirect(

this.ref, index, cArr, operands ? operands.length : 0, params, results

)

: binaryen._BinaryenCallIndirect(

this.ref, index, cArr, operands ? operands.length : 0, params, results

);

binaryen._free(cArr);

return ret;

}

return_call_indirect(

index: ExpressionRef,

operands: ExpressionRef[] | null,

params: NativeType,

results: NativeType

): ExpressionRef {

return this.call_indirect(index, operands, params, results, true);

}

unreachable(): ExpressionRef {

return binaryen._BinaryenUnreachable(this.ref);

}

// bulk memory

memory_copy(

dest: ExpressionRef,

source: ExpressionRef,

size: ExpressionRef

): ExpressionRef {

return binaryen._BinaryenMemoryCopy(this.ref, dest, source, size);

}

memory_fill(

dest: ExpressionRef,

value: ExpressionRef,

size: ExpressionRef

): ExpressionRef {

return binaryen._BinaryenMemoryFill(this.ref, dest, value, size);

}

// exception handling

try(

body: ExpressionRef,

catchBody: ExpressionRef

): ExpressionRef {

return binaryen._BinaryenTry(this.ref, body, catchBody);

}

throw(

eventName: string,

operands: ExpressionRef[]

): ExpressionRef {

var cStr = this.allocStringCached(eventName);

var cArr = allocPtrArray(operands);

var ret = binaryen._BinaryenThrow(this.ref, cStr, cArr, operands.length);

binaryen._free(cArr);

return ret;

}

rethrow(

exnref: ExpressionRef

): ExpressionRef {

return binaryen._BinaryenRethrow(this.ref, exnref);

}

br_on_exn(

name: string,

eventName: string,

exnref: ExpressionRef

): ExpressionRef {

var cStr1 = this.allocStringCached(name);

var cStr2 = this.allocStringCached(eventName);

return binaryen._BinaryenBrOnExn(this.ref, cStr1, cStr2, exnref);

}

// multi value (pseudo instructions)

pop(

type: NativeType

): ExpressionRef {

return binaryen._BinaryenPop(this.ref, type);

}

tuple_make(operands: ExpressionRef[]): ExpressionRef {

var cArr = allocPtrArray(operands);

var ret = binaryen._BinaryenTupleMake(this.ref, cArr, operands.length);

binaryen._free(cArr);

return ret;

}

tuple_extract(tuple: ExpressionRef, index: Index): ExpressionRef {

return binaryen._BinaryenTupleExtract(this.ref, tuple, index);

}

// simd

simd_extract(

op: SIMDExtractOp,

vec: ExpressionRef,

idx: u8

): ExpressionRef {

return binaryen._BinaryenSIMDExtract(this.ref, op, vec, idx);

}

simd_replace(

op: SIMDReplaceOp,

vec: ExpressionRef,

idx: u8,

value: ExpressionRef

): ExpressionRef {

return binaryen._BinaryenSIMDReplace(this.ref, op, vec, idx, value);

}

simd_shuffle(

vec1: ExpressionRef,

vec2: ExpressionRef,

mask: Uint8Array

): ExpressionRef {

assert(mask.length == 16);

var cArr = allocU8Array(mask);