midenc-hir 0.7.2

High-level Intermediate Representation for Miden Assembly
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94

mod block;
mod builder;
mod callable;
pub mod cfg;
mod component;
mod context;
mod dialect;
pub mod dominance;
pub mod effects;
pub mod entity;
mod ident;
mod immediates;
pub mod loops;
mod op;
mod operands;
mod operation;
pub mod parse;
pub mod print;
mod region;
mod successor;
pub(crate) mod symbols;
pub mod traits;
mod types;
mod usable;
mod value;
pub mod verifier;
mod visit;

pub use midenc_hir_symbol as interner;
pub use midenc_session::diagnostics::{Report, SourceSpan, Span, Spanned};

pub use self::{
    block::{
        Block, BlockCursor, BlockCursorMut, BlockId, BlockList, BlockOperand, BlockOperandRef,
        BlockRef, PostOrderBlockIter, PreOrderBlockIter,
    },
    builder::{Builder, BuilderExt, InsertionGuard, Listener, ListenerType, OpBuilder},
    callable::*,
    context::Context,
    dialect::{
        Dialect, DialectAttributeRegistrationInfo, DialectInfo, DialectOpRegistrationInfo,
        DialectRegistration, DialectRegistrationHook, DialectRegistrationHookInfo,
        DialectRegistrationInfo,
    },
    entity::{
        Entity, EntityGroup, EntityId, EntityList, EntityListCursor, EntityListCursorMut,
        EntityListItem, EntityListIter, EntityMap, EntityMapCursor, EntityMapCursorMut,
        EntityMapItem, EntityMapIter, EntityMut, EntityParent, EntityProjection,
        EntityProjectionMut, EntityRange, EntityRangeMut, EntityRef, EntityStorage, EntityWithId,
        EntityWithKey, EntityWithParent, MaybeDefaultEntityListIter, MaybeDefaultEntityMapIter,
        RawEntityRef, StorableEntity, UnsafeEntityRef, UnsafeIntrusiveEntityRef,
        UnsafeIntrusiveMapEntityRef,
    },
    ident::{FunctionIdent, Ident, IdentAttr},
    immediates::{Felt, Immediate, ImmediateAttr},
    op::{BuildableOp, Op, OpExt, OpRegistration},
    operands::{
        OpOperand, OpOperandImpl, OpOperandList, OpOperandRange, OpOperandRangeMut,
        OpOperandStorage,
    },
    operation::{
        AttrInfo, GenericOperationBuilder, OpCursor, OpCursorMut, OpList, Operation,
        OperationBuilder, OperationName, OperationRef, OperationState, PendingSuccessorInfo,
        equivalence,
    },
    parse::{OpAsmParser, OpParser, ParseResult},
    print::{AttrPrinter, OpPrinter, OpPrintingFlags},
    region::{
        InvocationBounds, LoopLikeOpInterface, Region, RegionBranchOpInterface, RegionBranchPoint,
        RegionBranchTerminatorOpInterface, RegionCursor, RegionCursorMut, RegionKind,
        RegionKindInterface, RegionList, RegionRef, RegionSuccessor, RegionSuccessorInfo,
        RegionSuccessorIter, RegionTransformFailed,
    },
    successor::{
        KeyedSuccessor, KeyedSuccessorRange, KeyedSuccessorRangeMut, OpSuccessor, OpSuccessorMut,
        OpSuccessorRange, OpSuccessorRangeMut, OpSuccessorStorage, SuccessorInfo, SuccessorOperand,
        SuccessorOperandRange, SuccessorOperandRangeMut, SuccessorOperands, SuccessorWithKey,
        SuccessorWithKeyMut,
    },
    symbols::*,
    traits::{FoldResult, OpFoldResult},
    types::*,
    usable::Usable,
    value::{
        AsValueRange, BlockArgument, BlockArgumentRange, BlockArgumentRangeMut, BlockArgumentRef,
        OpResult, OpResultRange, OpResultRangeMut, OpResultRef, OpResultStorage, StackOperand,
        Value, ValueId, ValueOrAlias, ValueRange, ValueRef,
    },
    verifier::{OpVerifier, Verify},
    visit::{
        OpVisitor, OperationVisitor, RawWalk, ReverseBlock, Searcher, SymbolVisitor, Visitor, Walk,
        WalkMut, WalkOrder, WalkResult, WalkStage,
    },
};