Expand description
Core IR (Intermediate Representation) for WAFFLE Wasm analysis framework.
Re-exports§
pub use op_traits::SideEffect;pub use op_traits::op_inputs;pub use op_traits::op_outputs;pub use waffle_entity as entity;pub use wasmparser;pub use wasm_encoder;pub use ir::*;pub use interp::*;
Modules§
- arena_
traits - cfg
- Lightweight CFG analyses.
- interp
- Waffle IR interpreter.
- ir
- op_
traits - Metadata on operators.
- pool
- Pooled list data structure.
- scoped_
map - Scoped hashmap.
- util
Macros§
Structs§
- Block
- Control
Tag - Entity
Vec - Func
- Global
- Ieee32
- An IEEE binary32 immediate floating point value, represented as a u32 containing the bit pattern.
- Ieee64
- An IEEE binary64 immediate floating point value, represented as a u64 containing the bit pattern.
- List
Pool - A “storage pool” backing many
ListRefs of the given type. - ListRef
- A handle to a list stored in a
ListPool. - Local
- Memory
- Memory
Arg - An argument to a memory load or store, specifying which memory, alignment and an optional offset.
- PerEntity
- Vector of state per entity in an index-space that does not define the index-space. In other words, this container will not pass out new indices, it will only allow associating state with existing indices; and it requires a default value for data at an index not yet assigned.
- Signature
- Table
- Value
- With
Mutablility - Something, alsong with whether it can be mutated
- With
Nullable - Something, alsong with whether it can be
null
Enums§
- Frontend
Error - An error that occurs when translating Wasm to IR.
- Handler
- An exception’s handler
- Heap
Type - a
Typethat can be stored on the heap - Operator
- An operator in the IR, consuming arguments and producing results when executed.
- Storage
Type - A storage type
- Type
- Types in waffle’s IR.