tiny.choir.ir.verify.VerifyOpInterface

Defined in ir.verify.

API (6)

Actions

Public operations.

• entry
• entryFor
• vtableFor

Types and contracts

Public types and contracts.

• VTable

Values and defaults

Public values and defaults.

• id
• interface_name

Source

Source: lib/choir/src/core/verify.zig:478

1pub const VerifyOpInterface = struct {2    pub const interface_name = "ir.interface.verify_op";3    pub const id: interfaces.InterfaceId = interfaces.interfaceId(interface_name);45    pub const VTable = struct {6        verify: *const fn (op_ptr: *const anyopaque) anyerror!void,7    };89    pub fn entry(vtable: *const VTable) interfaces.InterfaceEntry {10        return .{ .id = id, .vtable = vtable };11    }1213    pub fn vtableFor(comptime verify_fn: *const fn (op_ptr: *const anyopaque) anyerror!void) *const VTable {14        return &.{ .verify = verify_fn };15    }1617    pub fn entryFor(comptime verify_fn: *const fn (op_ptr: *const anyopaque) anyerror!void) interfaces.InterfaceEntry {18        return entry(vtableFor(verify_fn));19    }20};

Also reachable as

backends.wasm.emission.module_encoding.common.ir.VerifyOpInterface, backends.wasm.emission.module_encoding.common.ir.verify.VerifyOpInterface, ir.VerifyOpInterface.

Complete caller list for ir.VerifyOpInterface.entryFor

7 direct callers.

• tiny.choir.ir.dialects.opSpec.verifier [function] at lib/choir/src/core/dialects/spec.zig:987
• lib.choir.src.core.dialects.spec.operationInterfaces [function] — private source at lib/choir/src/core/dialects/spec.zig:2901 in nearest public owner lib.choir.src.core.dialects.spec
• lib.choir.src.core.verify.test_isolation_failure_preserves_nested_operation_verifier_precedence [function] — test source at lib/choir/src/core/verify.zig:2310 in nearest public owner tiny.choir.ir.verify
• lib.choir.src.core.verify.test_registered_operation_segments_verify_before_custom_verifiers [function] — test source at lib/choir/src/core/verify.zig:1799 in nearest public owner tiny.choir.ir.verify
• lib.choir.src.core.verify.test_registered_operation_shape_runs_before_custom_verifiers [function] — test source at lib/choir/src/core/verify.zig:1756 in nearest public owner tiny.choir.ir.verify
• lib.choir.src.core.verify.test_registered_required_attributes_verify_before_custom_verifiers [function] — test source at lib/choir/src/core/verify.zig:1885 in nearest public owner tiny.choir.ir.verify
• lib.choir.src.core.verify.test_registered_type_constraints_verify_before_custom_verifiers [function] — test source at lib/choir/src/core/verify.zig:1933 in nearest public owner tiny.choir.ir.verify

Audit