Struct llhd::ir::InstBuilder

pub struct InstBuilder<'a, 'b> { /* fields omitted */ }

A temporary object used to construct a single instruction.

Methods

impl<'a, 'b> InstBuilder<'a, 'b>

pub fn new(builder: &'b mut UnitBuilder<'a>) -> Self

Create a new instruction builder that inserts into builder.

pub fn name(self, name: impl Into<String>) -> Self

Assign a name to the instruction being built.

impl<'a, 'b> InstBuilder<'a, 'b>

pub fn const_zero(&mut self, ty: &Type) -> Value

Construct the zero value for a type.

This is a convenience function that creates the appropriate instruction sequence to generate the given zero value. Note that arrays and structs emit multiple instructions.

pub fn const_int(&mut self, value: impl Into<IntValue>) -> Value

pub fn const_time(&mut self, value: impl Into<TimeValue>) -> Value

pub fn alias(&mut self, x: Value) -> Value

pub fn array_uniform(&mut self, imm: usize, x: Value) -> Value

pub fn array(&mut self, args: Vec<Value>) -> Value

pub fn strukt(&mut self, args: Vec<Value>) -> Value

pub fn not(&mut self, x: Value) -> Value

pub fn neg(&mut self, x: Value) -> Value

pub fn add(&mut self, x: Value, y: Value) -> Value

pub fn sub(&mut self, x: Value, y: Value) -> Value

pub fn and(&mut self, x: Value, y: Value) -> Value

pub fn or(&mut self, x: Value, y: Value) -> Value

pub fn xor(&mut self, x: Value, y: Value) -> Value

pub fn smul(&mut self, x: Value, y: Value) -> Value

pub fn sdiv(&mut self, x: Value, y: Value) -> Value

pub fn smod(&mut self, x: Value, y: Value) -> Value

pub fn srem(&mut self, x: Value, y: Value) -> Value

pub fn umul(&mut self, x: Value, y: Value) -> Value

pub fn udiv(&mut self, x: Value, y: Value) -> Value

pub fn umod(&mut self, x: Value, y: Value) -> Value

pub fn urem(&mut self, x: Value, y: Value) -> Value

pub fn eq(&mut self, x: Value, y: Value) -> Value

pub fn neq(&mut self, x: Value, y: Value) -> Value

pub fn slt(&mut self, x: Value, y: Value) -> Value

pub fn sgt(&mut self, x: Value, y: Value) -> Value

pub fn sle(&mut self, x: Value, y: Value) -> Value

pub fn sge(&mut self, x: Value, y: Value) -> Value

pub fn ult(&mut self, x: Value, y: Value) -> Value

pub fn ugt(&mut self, x: Value, y: Value) -> Value

pub fn ule(&mut self, x: Value, y: Value) -> Value

pub fn uge(&mut self, x: Value, y: Value) -> Value

pub fn shl(&mut self, x: Value, y: Value, z: Value) -> Value

pub fn shr(&mut self, x: Value, y: Value, z: Value) -> Value

pub fn mux(&mut self, x: Value, y: Value) -> Value

pub fn reg(&mut self, x: Value, data: Vec<RegTrigger>) -> Inst

pub fn ins_field(&mut self, x: Value, y: Value, imm: usize) -> Value

pub fn ins_slice(
    &mut self,
    x: Value,
    y: Value,
    imm0: usize,
    imm1: usize
) -> Value

pub fn ext_field(&mut self, x: Value, imm: usize) -> Value

pub fn ext_slice(&mut self, x: Value, imm0: usize, imm1: usize) -> Value

pub fn con(&mut self, x: Value, y: Value) -> Inst

pub fn del(&mut self, target: Value, source: Value, delay: Value) -> Inst

pub fn call(&mut self, unit: ExtUnit, args: Vec<Value>) -> Inst

pub fn inst(
    &mut self,
    unit: ExtUnit,
    inputs: Vec<Value>,
    outputs: Vec<Value>
) -> Inst

pub fn sig(&mut self, x: Value) -> Value

pub fn prb(&mut self, x: Value) -> Value

pub fn drv(&mut self, signal: Value, value: Value, delay: Value) -> Inst

pub fn drv_cond(
    &mut self,
    signal: Value,
    value: Value,
    delay: Value,
    cond: Value
) -> Inst

pub fn var(&mut self, x: Value) -> Value

pub fn ld(&mut self, x: Value) -> Value

pub fn st(&mut self, x: Value, y: Value) -> Inst

pub fn halt(&mut self) -> Inst

pub fn ret(&mut self) -> Inst

pub fn ret_value(&mut self, x: Value) -> Inst

pub fn phi(&mut self, args: Vec<Value>, bbs: Vec<Block>) -> Value

pub fn br(&mut self, bb: Block) -> Inst

pub fn br_cond(&mut self, x: Value, bb0: Block, bb1: Block) -> Inst

pub fn wait(&mut self, bb: Block, args: Vec<Value>) -> Inst

pub fn wait_time(&mut self, bb: Block, time: Value, args: Vec<Value>) -> Inst

impl<'a, 'b> InstBuilder<'a, 'b>

Fundamental convenience forwards to the wrapped builder.

pub fn suffix<'c>(self, value: Value, suffix: impl Into<Cow<'c, str>>) -> Self

Assign another value's name plus a suffix to the instruction being built.

If value has a name, the instruction's name will be <value>.<suffix>. Otherwise it will just be <suffix>.