Skip to main content

Module dataflow_solver

cubecl_opt::analyses

Module dataflow_solver 

Source

Modules§

control_flow_uniformity
dead_code
sccp
sparse
value_uniformity

Structs§

DataflowSolver
ReadRef
Read-only ref, can read but not update state.
SolverConfig
WriteRef
Write-only ref, required for soundness in cases where multiple aliasing lattice elements are referenced at the same time. Mutation is only allowed through update_state.

Enums§

ChangeResult
ProgramPoint

Traits§

AnalysisState
DataflowAnalysis
PrintableState

Type Aliases§

SmallPtrVec
SolverWorkItem