structstd.zig.Zir.Inst.SwitchBlockErrUnion[src]

Trailing:

  1. multi_cases_len: u32 // if has_multi_cases
  2. err_capture_inst: u32 // if any_uses_err_capture
  3. non_err_body { info: ProngInfo, inst: Index // for every info.body_len }
  4. else_body { // if has_else info: ProngInfo, inst: Index // for every info.body_len }
  5. scalar_cases: { // for every scalar_cases_len item: Ref, info: ProngInfo, inst: Index // for every info.body_len }
  6. multi_cases: { // for every multi_cases_len items_len: u32, ranges_len: u32, info: ProngInfo, item: Ref // for every items_len ranges: { // for every ranges_len item_first: Ref, item_last: Ref, } inst: Index // for every info.body_len }

When analyzing a case body, the switch instruction itself refers to the captured error, or to the success value in non_err_body. Whether this is captured by reference or by value depends on whether the byref bit is set for the corresponding body. err_capture_inst refers to the error capture outside of the switch, i.e. err in x catch |err| switch (err) { ... }.

Container Types

Fields

operand: Ref
bits: Bits
main_src_node_offset: i32

Source Code

Source code
pub const SwitchBlockErrUnion = struct {
    operand: Ref,
    bits: Bits,
    main_src_node_offset: i32,

    pub const Bits = packed struct(u32) {
        /// If true, one or more prongs have multiple items.
        has_multi_cases: bool,
        /// If true, there is an else prong. This is mutually exclusive with `has_under`.
        has_else: bool,
        any_uses_err_capture: bool,
        payload_is_ref: bool,
        scalar_cases_len: ScalarCasesLen,

        pub const ScalarCasesLen = u28;
    };

    pub const MultiProng = struct {
        items: []const Ref,
        body: []const Index,
    };
}