Trait Pessimize

Source

pub unsafe trait Pessimize {
    // Required methods
    fn hide(self) -> Self;
    fn assume_read(&self);
    fn assume_accessed(&mut self);
    fn assume_accessed_imut(&self);
}

Expand description

Optimization barriers provided by this crate

This trait is implemented for both value and reference types, which can lead to unexpected method syntax semantics (you expected to call the Pessimize impl of T, and you actually called that of &T). As a result, it is strongly recommended to use the optimization barriers via the free functions provided at the crate root, rather than via method syntax.

Implementing Pessimize requires fairly tricky code. Consider implementing PessimizeCast and BorrowPessimize instead, which is slightly easier, and will lead to an automatic Pessimize implementation.

§Safety

Unsafe code may rely on hide() behaving as an identity function (returning the input value unaltered) and assume_xyz() not altering anything even if the type is internally mutable.

Required Methods§

Source

fn hide(self) -> Self

See pessimize::hide() for documentation

Source

fn assume_read(&self)

See pessimize::assume_read() for documentation

Source

fn assume_accessed(&mut self)

See pessimize::assume_accessed() for documentation

Source

fn assume_accessed_imut(&self)

See pessimize::assume_accessed_imut() for documentation

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Trait PessimizeCopy item path

§Safety

Required Methods§

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

Dyn Compatibility§

Implementations on Foreign Types§

impl Pessimize for f32

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

impl Pessimize for f64

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

impl Pessimize for i8

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

impl Pessimize for i16

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

impl Pessimize for i32

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

impl Pessimize for i64

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

impl Pessimize for isize

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

impl Pessimize for u8

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

impl Pessimize for u16

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

impl Pessimize for u32

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

impl Pessimize for u64

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

impl Pessimize for ()

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

impl Pessimize for usize

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

impl Pessimize for float64x1_t

fn hide(self) -> Self

fn assume_read(&self)

fn assume_accessed(&mut self)

fn assume_accessed_imut(&self)

impl Pessimize for float64x2_t

Trait Pessimize

impl<T: Pointee + ?Sized> Pessimize for *const T
where T::Metadata: Pessimize,