Struct ValueRange 

pub struct ValueRange { /* private fields */ }

The results of one instruction: a run of consecutive values.

An instruction defines zero or more values, always with consecutive handles, so the run is stored as a start and a length rather than a list.

Examples

use ir_lang::{Module, Signature, Type, Linkage, MemOrder};

let mut m = Module::new("demo");
let f = m.declare_function("f", &Signature::new(&[Type::Ptr], &[]), Linkage::Export)?;
let mut b = m.build(f)?;
let p = b.param(0)?;
let old = b.iconst(Type::I64, 1)?;
let new = b.iconst(Type::I64, 2)?;
let inst = b.cmpxchg(p, old, new, MemOrder::SeqCst, MemOrder::SeqCst)?;
let results = b.results(inst);
assert_eq!(results.len(), 2);
assert_eq!(results.get(1), Some(results.first().unwrap().next()));

Implementations

impl ValueRange

pub const fn len(self) -> usize

The number of values in the run.

Examples

use ir_lang::ValueRange;

assert_eq!(ValueRange::default().len(), 0);

pub const fn is_empty(self) -> bool

Whether the run is empty (the instruction defines nothing).

Examples

use ir_lang::ValueRange;

assert!(ValueRange::default().is_empty());

pub const fn get(self, i: usize) -> Option<Value>

The i-th value of the run, if there is one.

Examples

use ir_lang::ValueRange;

assert_eq!(ValueRange::default().get(0), None);

pub const fn first(self) -> Option<Value>

The first value of the run, if there is one.

Examples

use ir_lang::ValueRange;

assert_eq!(ValueRange::default().first(), None);

pub const fn contains(self, value: Value) -> bool

Whether value is one of the run’s values.

Examples

use ir_lang::{Value, ValueRange};

assert!(!ValueRange::default().contains(Value::from_u32(0)));

pub fn iter(self) -> impl ExactSizeIterator<Item = Value> + DoubleEndedIterator

Iterates over the run’s values in order.

Examples

use ir_lang::ValueRange;

assert_eq!(ValueRange::default().iter().count(), 0);

Trait Implementations

impl Clone for ValueRange

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ValueRange

impl Debug for ValueRange

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ValueRange

fn default() -> Self

Returns the “default value” for a type.

impl Eq for ValueRange

impl Hash for ValueRange

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 IntoIterator for ValueRange

type Item = Value

The type of the elements being iterated over.

type IntoIter = Map<Range<u32>, fn(u32) -> Value>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl PartialEq for ValueRange

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ValueRange