The Value type is just an index into something, but I'm not sure why. Can anyone point me to the Vec that holds the actual values? Thanks!
see various methods of DataFlowGraph eg value_def: https://docs.rs/cranelift-codegen/0.63.0/cranelift_codegen/ir/dfg/struct.DataFlowGraph.html
internally Value is a key for a PrimaryMap<Value, ValueData> where ValueData is roughly equivalent to ValueDef but with under-the-covers support for aliasing values to one another
Thanks!
Last updated: Jan 10 2026 at 02:36 UTC