Struct BrOp 

pub struct BrOp { /* private fields */ }

Equivalent to LLVM’s Unconditional Branch.

Operands

operand	description
dest_opds	Any number of operands with any LLVM type

Successors:

Successor	description
dest	Any successor

Implementations

impl BrOp

pub fn new( ctx: &mut Context, dest: Ptr<BasicBlock>, dest_opds: Vec<Value>, ) -> Self

Create anew BrOp.

Trait Implementations

impl BranchOpFoldInterface for BrOp

fn check_fold( &self, ctx: &Context, _operands: &[Option<AttrObj>], ) -> Vec<Ptr<BasicBlock>>

Return the list of possible successor blocks given that operands contains Some(attr) for each operand known to be constant, where attr contains the known constant value.

fn fold_in_place( &self, _ctx: &mut Context, _ops: &[Option<AttrObj>], _rw: &mut dyn Rewriter, ) -> IRStatus

Given a slice operand_attrs corresponding to each operand, indicating a known compile time constant value for that operand (if any), attempts to fold the op in place using the provided rewriter. Assumes that rewriter is positioned just before the op to be folded.

impl BranchOpInterface for BrOp

fn successor_operands(&self, ctx: &Context, succ_idx: usize) -> Vec<Value>

Get a list of Values that are forwarded to the target block.

fn add_successor_operand( &self, ctx: &mut Context, succ_idx: usize, operand: Value, ) -> usize

Add a new operand to be forwarded to the given successor. The operand is appended after existing operands for the specified successor. Returns the index of the newly added operand among the operands forwarded to the successor. The returned index can be used to determine the corresponding target block argument index. Panics if succ_idx is invalid.

fn remove_successor_operand( &self, ctx: &mut Context, succ_idx: usize, opd_idx: usize, ) -> Value

Remove and return the operand at opd_idx among the operands forwarded to successor succ_idx. Panics if succ_idx or opd_idx is invalid.

impl Clone for BrOp

fn clone(&self) -> BrOp

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Hash for BrOp

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl NResultsInterface<0> for BrOp

fn get_result_i(&self, ctx: &Context, i: LessThanN<N>) -> Value

Get the i’th result.

fn result_type_i(&self, ctx: &Context, i: LessThanN<N>) -> TypeHandle

Get the type of the i’th result.

impl OneSuccInterface for BrOp

fn get_successor(&self, ctx: &Context) -> Ptr<BasicBlock>

Get the single successor block of this Op.

impl Op for BrOp

fn get_operation(&self) -> Ptr<Operation>

Get the underlying IR Operation

fn get_opid(&self) -> OpId

Get this Op’s OpId

fn get_opid_static() -> OpId

Get this Op’s OpId, without self reference.

fn get_concrete_op_info() -> (fn(Ptr<Operation>) -> OpBox, TypeId)

where Self: Sized,

Get details about the concrete Op type.

fn register(ctx: &mut Context)

where Self: Sized + Parsable<Arg = Vec<(Identifier, Location)>, Parsed = OpBox>,

Register Op in Context and add it to its dialect.

fn loc(&self, ctx: &Context) -> Location

Get Op’s location

impl Parsable for BrOp

type Arg = Vec<(Identifier, Location)>

Type of the argument that must be passed to the parser.

type Parsed = OpBox

The type of the parsed entity.

fn parse<'__pliron_parse>( state_stream: &mut StateStream<'__pliron_parse>, arg: Self::Arg, ) -> ParseResult<'__pliron_parse, Self::Parsed>

Define a parser using existing combinators and call into on [Parser::parse_stream] to get the final ParseResult. Use state_stream.state as necessary.

fn parser<'a>( arg: Self::Arg, ) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, PartialState = (), Output = Self::Parsed> + 'a>

where Self::Parsed: 'a,

Get a parser combinator that can work on StateStream as its input.

impl PartialEq for BrOp

fn eq(&self, other: &BrOp) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Printable for BrOp

fn fmt(&self, ctx: &Context, state: &State, fmt: &mut Formatter<'_>) -> Result

fn disp<'t, 'c>(&'t self, ctx: &'c Context) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and default State.

fn print<'t, 'c>( &'t self, ctx: &'c Context, state: &State, ) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and State.

impl Verify for BrOp

fn verify(&self, _ctx: &Context) -> Result<()>

impl Copy for BrOp

impl Eq for BrOp

impl IsTerminatorInterface for BrOp

impl NSuccsInterface<1> for BrOp

impl StructuralPartialEq for BrOp