xir-scf 0.1.4

Simple control flow operations for XIR
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! Simple control flow operations.

use xir::{Block, Context, Operation, Span, Type};

/// An `if` operation.
pub fn r#if<'a>(context: &'a Context<'a>, types: &[Type<'a>], span: Span<'a>) -> Operation<'a> {
    Operation::new(context, "scf.if", &[], types, [], span)
}

/// A `while` operation.
pub fn r#while<'a>(
    context: &'a Context<'a>,
    types: &[Type<'a>],
    before: Block<'a>,
    after: Block<'a>,
    span: Span<'a>,
) -> Operation<'a> {
    Operation::new(context, "scf.while", &[], types, [before, after], span)
}

/// A `yield` operation.
pub fn r#yield<'a>(context: &'a Context<'a>, types: &[Type<'a>], span: Span<'a>) -> Operation<'a> {
    Operation::new(context, "scf.while", &[], types, [], span)
}