Struct CompilationRecording 

pub struct CompilationRecording { /* private fields */ }

A compilation being recorded: the KernelLoader opens one for each kernel it does not hold, the backend tells it what the trip goes through as it lowers the kernel, and the loader closes it with how the artifact was obtained. Every call is a no-op when the environment records nothing, and one dropped unclosed, by a trip that failed, records nothing.

Implementations

impl CompilationRecording

pub fn new(kernel_id: &KernelId) -> Self

Start recording kernel_id’s trip.

pub fn defined(&mut self, definition: &KernelDefinition)

The kernel was defined: keep its IR, at RecordLevel::Full only. The textual IR runs to hundreds of KB per kernel, where the compiled artifact is tens.

pub fn source(&mut self, source: &str)

The backend’s compiler produced source: keep it, at RecordLevel::Full only.

pub fn worked(&mut self, duration: Duration)

The trip did duration more of its work: what the record’s work adds up.

pub fn close(self, outcome: CompilationOutcome, stored: bool)

The trip obtained its artifact by outcome. stored is whether the store took it, as store_compiled answers: a trip whose artifact the store did not take — read from it, or with no store to take it — changed nothing.

Trait Implementations

impl Debug for CompilationRecording

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

Formats the value using the given formatter.