struct SwitchBlock [src]

multi_cases_len: u32 // If has_multi_cases is set. tag_capture_inst: u32 // If any_has_tag_capture is set. Index of instruction prongs use to refer to the inline tag capture. else_body { // If special_prong.hasElse() is set. info: ProngInfo, body member Index for every info.body_len } under_body { // If special_prong.hasUnder() is set. item: Ref, // If special_prong.hasOneAdditionalItem() is set. items_len: u32, // If special_prong.hasManyAdditionalItems() is set. ranges_len: u32, // If special_prong.hasManyAdditionalItems() is set. info: ProngInfo, item: Ref, // for every items_len ranges: { // for every ranges_len item_first: Ref, item_last: Ref, } body member Index for every info.body_len } scalar_cases: { // for every scalar_cases_len item: Ref, info: ProngInfo, body member Index for every info.body_len } 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, } body member Index for every info.body_len } When analyzing a case body, the switch instruction itself refers to the captured payload. Whether this is captured by reference or by value depends on whether the byref bit is set for the corresponding body.

Fields

operand: RefThe operand passed to the switch expression. If this is a switch_block, this is the operand value; if switch_block_ref it is a pointer to the operand. switch_block_ref is always used if any prong has a byref capture.

bits: Bits

Members

Bits (struct)
MultiProng (struct)
ProngInfo (struct)

Source

  pub const SwitchBlock = struct {
    /// The operand passed to the `switch` expression. If this is a
    /// `switch_block`, this is the operand value; if `switch_block_ref` it
    /// is a pointer to the operand. `switch_block_ref` is always used if
    /// any prong has a byref capture.
    operand: Ref,
    bits: Bits,

    /// These are stored in trailing data in `extra` for each prong.
    pub const ProngInfo = packed struct(u32) {
        body_len: u28,
        capture: ProngInfo.Capture,
        is_inline: bool,
        has_tag_capture: bool,

        pub const Capture = enum(u2) {
            none,
            by_val,
            by_ref,
        };
    };

    pub const Bits = packed struct(u32) {
        /// If true, one or more prongs have multiple items.
        has_multi_cases: bool,
        /// Information about the special prong.
        special_prongs: SpecialProngs,
        /// If true, at least one prong has an inline tag capture.
        any_has_tag_capture: bool,
        /// If true, at least one prong has a capture which may not
        /// be comptime-known via `inline`.
        any_non_inline_capture: bool,
        /// If true, at least one prong contains a `continue`.
        has_continue: bool,
        scalar_cases_len: ScalarCasesLen,

        pub const ScalarCasesLen = u25;
    };

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