cranelift_codegen::ir::jumptable

Struct JumpTableData

Source
pub struct JumpTableData { /* private fields */ }
Expand description

Contents of a jump table.

All jump tables use 0-based indexing and are densely populated.

The default block for the jump table is stored as the first element of the underlying vector. It can be accessed through the default_block and default_block_mut functions. All blocks may be iterated using the all_branches and all_branches_mut functions, which will both iterate over the default block first.

Implementations§

Source§

impl JumpTableData

Source

pub fn new(def: BlockCall, table: &[BlockCall]) -> Self

Create a new jump table with the provided blocks.

Source

pub fn default_block(&self) -> BlockCall

Fetch the default block for this jump table.

Source

pub fn default_block_mut(&mut self) -> &mut BlockCall

Mutable access to the default block of this jump table.

Source

pub fn all_branches(&self) -> &[BlockCall]

The jump table and default block as a single slice. The default block will always be first.

Source

pub fn all_branches_mut(&mut self) -> &mut [BlockCall]

The jump table and default block as a single mutable slice. The default block will always be first.

Source

pub fn as_slice(&self) -> &[BlockCall]

Access the jump table as a slice. This excludes the default block.

Source

pub fn as_mut_slice(&mut self) -> &mut [BlockCall]

Access the jump table as a mutable slice. This excludes the default block.

Source

pub fn iter(&self) -> Iter<'_, BlockCall>

👎Deprecated since 7.0.0: please use .as_slice() instead

Returns an iterator to the jump table, excluding the default block.

Source

pub fn iter_mut(&mut self) -> IterMut<'_, BlockCall>

👎Deprecated since 7.0.0: please use .as_mut_slice() instead

Returns an iterator that allows modifying each value, excluding the default block.

Source

pub fn clear(&mut self)

Clears all entries in this jump table, except for the default block.

Source

pub fn display<'a>(&'a self, pool: &'a ValueListPool) -> DisplayJumpTable<'a>

Return a value that can display the contents of this jump table.

Trait Implementations§

Source§

impl Clone for JumpTableData

Source§

fn clone(&self) -> JumpTableData

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for JumpTableData

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Hash for JumpTableData

Source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

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

Feeds a slice of this type into the given Hasher. Read more
Source§

impl PartialEq for JumpTableData

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

impl StructuralPartialEq for JumpTableData

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.