helins.wasm.ir — io.helins/wasm 0.0.0-alpha1

Provides helpers for working with the intermediary representation (WASM binaries expressed as Clojure data structures).

Directly relates to the helins.wasm.schema namespace.

Once again, names ending with the ' character relates to "non-terminal" symbols from the WASM binary specification and can be found in the registry :as :wasm/XXX.

For instance, globaltype' can used for creating a map describing a global variable as defined by :wasm/globaltype in the registry.

See README.

-assoc-import clj/s

(-assoc-import ctx k-import-type k-idx hmap)

assoc-data clj/s

(assoc-data ctx data)

Adds a data'XX to the datasec while updating the :wasm/dataidx index.

Those data'XX functions from the namespace refer to the different elem types described in the WASM binary specification, each having an XX flag.

assoc-elem clj/s

(assoc-elem ctx elem)

Adds an elem'XX to the elemsec while updating the :wasm/elemidx index.

Those elem'XX functions from the namespace refer to the different elem types described in the WASM binary specification, each having an XX flag.

assoc-func clj/s

(assoc-func ctx func)

Adds a func to the funcsec while updating the :wasm/funcidx index.

assoc-global clj/s

(assoc-global ctx global)

Adds a global' to the globalsec while updating the :wasm/globalidx index.

assoc-mem clj/s

(assoc-mem ctx mem)

Adds a mem' to the memsec while udpating the :wasm/memidx index.

assoc-table clj/s

(assoc-table ctx table)

Adds a table' to the tablesec while updating the :wasm/tableidx index.

assoc-type clj/s

(assoc-type ctx type-signature)

Adds a type-signature to the typesec while updating the :wasm/typeidx index.

data'00 clj/s

(data'00 hmap expr buffer)

See assoc-data.

data'01 clj/s

(data'01 hmap buffer)

See assoc-data.

data'02 clj/s

(data'02 hmap memidx expr buffer)

See assoc-data.

datacountsec' clj/s

(datacountsec' ctx n-data-seg)

elem'00 clj/s

(elem'00 hmap expr-offset funcidx+)

See assoc-elem.

elem'01 clj/s

(elem'01 hmap _elemkind funcidx+)

See assoc-elem.

elem'02 clj/s

(elem'02 hmap tableidx expr-offset elemkind funcidx+)

See assoc-elem.

elem'03 clj/s

(elem'03 hmap elemkind funcidx+)

See assoc-elem.

elem'04 clj/s

(elem'04 hmap expr-offset expr-elem+)

See assoc-elem.

elem'05 clj/s

(elem'05 hmap reftype expr-elem+)

See assoc-elem.

elem'06 clj/s

(elem'06 hmap tableidx expr-offset reftype expr-elem+)

See assoc-elem.

elem'07 clj/s

(elem'07 hmap reftype expr-elem+)

See assoc-elem.

export' clj/s

(export' hmap buffer-name)

func clj/s

(func hmap typeidx)

Creates a map describing a function for the funcsec.

See [assoc-func].

func' clj/s

(func' hmap local+ expr)

global' clj/s

(global' hmap valtype mutable? expr)

globaltype' clj/s

(globaltype' hmap valtype mutable?)

import' clj/s

(import' hmap buffer-module buffer-name)

Creates a generic map for imports.

Used by other functions such as import-func.

import-func clj/s

(import-func ctx func)

Adds in the importsec the given func.

import-global clj/s

(import-global ctx global)

Adds in the importsec the given global'.

import-mem clj/s

(import-mem ctx mem)

Adds in the importsec the given mem'.

import-table clj/s

(import-table ctx table)

Adds in the importsec the given table'.

limits' clj/s

(limits' hmap limit-min)

(limits' hmap limit-min limit-max)

mem' clj/s

(mem' limits)

See memtype'.

memtype' clj/s

(memtype' limits)

See limits'.

start' clj/s

(start' hmap funcidx)

startsec' clj/s

(startsec' ctx start)

table' clj/s

(table' limits reftype)

tabletype' clj/s

(tabletype' limits reftype)

See limits'.

type-signature clj/s

(type-signature hmap signature)

Create a map describing a type signature for the typesec.

version' clj/s

(version' ctx)

Adds a version to the ctx.

For the time being, on version 1 exists.