pub struct OptimizationStrategyId(/* private fields */);Implementations§
source§impl OptimizationStrategyId
impl OptimizationStrategyId
sourcepub fn apply_strategy(
self,
db: &dyn LoweringGroup,
function: ConcreteFunctionWithBodyId,
lowered: &mut FlatLowered
) -> Maybe<()>
pub fn apply_strategy( self, db: &dyn LoweringGroup, function: ConcreteFunctionWithBodyId, lowered: &mut FlatLowered ) -> Maybe<()>
Applies the optimization strategy phase to the lowering.
Assumes lowered is a a lowering of function.
Trait Implementations§
source§impl Clone for OptimizationStrategyId
impl Clone for OptimizationStrategyId
source§fn clone(&self) -> OptimizationStrategyId
fn clone(&self) -> OptimizationStrategyId
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moresource§impl Debug for OptimizationStrategyId
impl Debug for OptimizationStrategyId
source§impl<T: ?Sized + Upcast<dyn LoweringGroup + 'static>> DebugWithDb<T> for OptimizationStrategyId
impl<T: ?Sized + Upcast<dyn LoweringGroup + 'static>> DebugWithDb<T> for OptimizationStrategyId
source§impl Hash for OptimizationStrategyId
impl Hash for OptimizationStrategyId
source§impl<'a> Intern<'a, dyn LoweringGroup + 'a, OptimizationStrategyId> for OptimizationStrategy
impl<'a> Intern<'a, dyn LoweringGroup + 'a, OptimizationStrategyId> for OptimizationStrategy
fn intern( self, db: &(impl Upcast<dyn LoweringGroup + 'a> + ?Sized) ) -> OptimizationStrategyId
source§impl InternKey for OptimizationStrategyId
impl InternKey for OptimizationStrategyId
source§fn from_intern_id(salsa_id: InternId) -> Self
fn from_intern_id(salsa_id: InternId) -> Self
Create an instance of the intern-key from a
u32 value.source§fn as_intern_id(&self) -> InternId
fn as_intern_id(&self) -> InternId
Extract the
u32 with which the intern-key was created.source§impl<'a> LookupIntern<'a, dyn LoweringGroup + 'a, OptimizationStrategy> for OptimizationStrategyId
impl<'a> LookupIntern<'a, dyn LoweringGroup + 'a, OptimizationStrategy> for OptimizationStrategyId
fn lookup_intern( &self, db: &(impl Upcast<dyn LoweringGroup + 'a> + ?Sized) ) -> OptimizationStrategy
source§impl PartialEq for OptimizationStrategyId
impl PartialEq for OptimizationStrategyId
source§fn eq(&self, other: &OptimizationStrategyId) -> bool
fn eq(&self, other: &OptimizationStrategyId) -> bool
This method tests for
self and other values to be equal, and is used
by ==.impl Copy for OptimizationStrategyId
impl Eq for OptimizationStrategyId
impl StructuralPartialEq for OptimizationStrategyId
Auto Trait Implementations§
impl Freeze for OptimizationStrategyId
impl RefUnwindSafe for OptimizationStrategyId
impl Send for OptimizationStrategyId
impl Sync for OptimizationStrategyId
impl Unpin for OptimizationStrategyId
impl UnwindSafe for OptimizationStrategyId
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more