Function assign 

pub fn assign(func: &Func, order: &Order, live: &Live, env: &Env) -> Assignment

Where every value goes, in the order that places the hard ones first and takes a register back when a heavier value wants it.

A function that asks more than BUDGET questions gets the linear scan’s answer instead, and so does one where the linear scan’s answer has the lower cost.