Struct Divmod 

pub struct Divmod { /* private fields */ }

Combined unsigned integer Euclidean division and remainder (modulo).

Traps on division by zero.

Implementations

impl Divmod

Construction

pub fn create<B: ?Sized + Builder>( builder: &mut B, span: SourceSpan, lhs: ValueRef, rhs: ValueRef, ) -> Result<UnsafeIntrusiveEntityRef<Self>, Report>

Manually construct a new [#op_ident]

It is generally preferable to use [::midenc_hir::Builder::create] instead.

impl Divmod

This impl block contains no items.

User-defined Fields

impl Divmod

This impl block contains no items.

Attributes

impl Divmod

This impl block contains no items.

Symbols

impl Divmod

Operands

pub fn lhs(&self) -> EntityRef<'_, OpOperandImpl>

Get a reference to the lhs operand.

pub fn lhs_mut(&mut self) -> EntityMut<'_, OpOperandImpl>

Get a mutable reference to the lhs operand.

pub fn rhs(&self) -> EntityRef<'_, OpOperandImpl>

Get a reference to the rhs operand.

pub fn rhs_mut(&mut self) -> EntityMut<'_, OpOperandImpl>

Get a mutable reference to the rhs operand.

impl Divmod

Results

pub fn remainder(&self) -> EntityRef<'_, OpResult>

Get a reference to the remainder result.

pub fn remainder_mut(&mut self) -> EntityMut<'_, OpResult>

Get a mutable reference to the remainder result.

pub fn quotient(&self) -> EntityRef<'_, OpResult>

Get a reference to the quotient result.

pub fn quotient_mut(&mut self) -> EntityMut<'_, OpResult>

Get a mutable reference to the quotient result.

impl Divmod

This impl block contains no items.

Regions

impl Divmod

This impl block contains no items.

Successors

Trait Implementations

impl AsMut<Operation> for Divmod

fn as_mut(&mut self) -> &mut Operation

Converts this type into a mutable reference of the (usually inferred) input type.

impl AsRef<Operation> for Divmod

fn as_ref(&self) -> &Operation

Converts this type into a shared reference of the (usually inferred) input type.

impl BuildableOp<(RawEntityRef<dyn Value<Id = ValueId, Use = OpOperandImpl>>, RawEntityRef<dyn Value<Id = ValueId, Use = OpOperandImpl>>)> for Divmod

type Builder<'a, T: ?Sized + Builder + 'a> = DivmodBuilder<'a, T>

fn builder<'b, B>(builder: &'b mut B, span: SourceSpan) -> Self::Builder<'b, B>

where B: ?Sized + Builder + 'b,

impl EffectOpInterface<MemoryEffect> for Divmod

fn has_no_effect(&self) -> bool

Returns true if this operation has no effects

fn effects(&self) -> EffectIterator<MemoryEffect>

Return the set all of the operation’s effects

fn effects_on_value( &self, value: RawEntityRef<dyn Value<Id = ValueId, Use = OpOperandImpl>>, ) -> ValueEffectIterator<T>

Return the set of effect instances that operate on the provided value

fn effects_on_symbol( &self, symbol: RawEntityRef<dyn Symbol<Use = SymbolUse>, IntrusiveLink>, ) -> SymbolEffectIterator<T>

Return the set of effect instances that operate on the provided symbol

fn effects_on_resource<'a, 'b>( &self, resource: &'b (dyn Resource + 'static), ) -> ResourceEffectIterator<'b, T>

where 'b: 'a,

Return the set of effect instances that operate on the provided resource

impl InferTypeOpInterface for Divmod

fn infer_return_types(&mut self, _context: &Context) -> Result<(), Report>

Run type inference for this op’s results, using the current state, and apply any changes.

fn are_compatible_return_types(&self, lhs: &[Type], rhs: &[Type]) -> bool

Return whether the set sets of types are compatible

impl Op for Divmod

fn name(&self) -> OperationName

The name of this operation’s opcode

fn as_operation(&self) -> &Operation

fn as_operation_mut(&mut self) -> &mut Operation

fn print(&self, flags: &OpPrintingFlags) -> Document

fn as_operation_ref(&self) -> RawEntityRef<Operation, IntrusiveLink>

fn set_span(&mut self, span: SourceSpan)

fn parent(&self) -> Option<RawEntityRef<Block, IntrusiveLink>>

fn parent_region(&self) -> Option<RawEntityRef<Region, IntrusiveLink>>

fn parent_op(&self) -> Option<RawEntityRef<Operation, IntrusiveLink>>

fn num_regions(&self) -> usize

fn regions(&self) -> &EntityList<Region>

fn regions_mut(&mut self) -> &mut EntityList<Region>

fn region(&self, index: usize) -> EntityRef<'_, Region>

fn region_mut(&mut self, index: usize) -> EntityMut<'_, Region>

fn has_successors(&self) -> bool

fn num_successors(&self) -> usize

fn has_operands(&self) -> bool

fn num_operands(&self) -> usize

fn operands(&self) -> &EntityStorage<RawEntityRef<OpOperandImpl, IntrusiveLink>>

fn operands_mut( &mut self, ) -> &mut EntityStorage<RawEntityRef<OpOperandImpl, IntrusiveLink>>

fn has_results(&self) -> bool

fn num_results(&self) -> usize

fn results(&self) -> &EntityStorage<RawEntityRef<OpResult>>

fn results_mut(&mut self) -> &mut EntityStorage<RawEntityRef<OpResult>>

fn successors(&self) -> &EntityStorage<SuccessorInfo, 0>

fn successors_mut(&mut self) -> &mut EntityStorage<SuccessorInfo, 0>

impl OpRegistration for Divmod

fn dialect_name() -> Symbol

The name of the dialect this op is declared part of

fn name() -> Symbol

The name of the operation (i.e. its opcode)

fn traits() -> Box<[TraitInfo]>

The set of statically known traits for this op

fn full_name() -> Symbol

The fully-qualified name of the operation (i.e. <dialect>.<opcode>)

impl OpVerifier for Divmod

Generated verifier implementation via #[operation] attribute

Traits verified by this implementation:

• BinaryOp
• SameTypeOperands
• SameOperandsAndResultType
• InferTypeOpInterface
• MemoryEffectOpInterface

Use cargo-expand to view the generated code if you suspect verification is broken.

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

impl Spanned for Divmod

fn span(&self) -> SourceSpan

impl BinaryOp for Divmod

impl SameOperandsAndResultType for Divmod

impl SameTypeOperands for Divmod