Skip to main content

CircuitCompileProfile

xlog_prob::compilation

Struct CircuitCompileProfile

pub struct CircuitCompileProfile {
    pub cnf_hash_sec: f64,
    pub d4_compile_sec: f64,
    pub verify_sec: f64,
    pub smooth_sec: f64,
    pub cache_store_sec: f64,
    pub free_var_mask_sec: f64,
    pub gpu_cache_hit: bool,
    pub disk_cache_hit: bool,
    pub frontier_items: u32,
}

Expand description

Per-stage compilation timing (populated only when XLOG_WARMUP_PROFILE=1).

Fields§

§cnf_hash_sec: f64§d4_compile_sec: f64§verify_sec: f64§smooth_sec: f64§cache_store_sec: f64§free_var_mask_sec: f64§gpu_cache_hit: bool§disk_cache_hit: bool§frontier_items: u32

BFS frontier item count after frontier_depth expansion steps (0 on cache hits or when profiling is disabled).

Trait Implementations§

impl Clone for CircuitCompileProfile

fn clone(&self) -> CircuitCompileProfile

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Debug for CircuitCompileProfile

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

Formats the value using the given formatter. Read more

impl Default for CircuitCompileProfile

fn default() -> CircuitCompileProfile

Returns the “default value” for a type. Read more

Auto Trait Implementations§

impl Freeze for CircuitCompileProfile

impl RefUnwindSafe for CircuitCompileProfile

impl Send for CircuitCompileProfile

impl Sync for CircuitCompileProfile

impl Unpin for CircuitCompileProfile

impl UnsafeUnpin for CircuitCompileProfile

impl UnwindSafe for CircuitCompileProfile

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

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

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

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

fn into(self) -> U

Calls U::from(self).

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

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

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

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

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

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

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

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

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

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

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,