pub fn integers(func: &mut Func) -> boolExpand description
Puts every integer of a width the machine has no register for into the width that holds it.
Gives back whether it changed anything, which is what a test asks and what tells a caller that a function it is about to hand to the selector is not the one the middle end produced.
The function is left exactly as it was when there is nothing at such a width, and also when something at such a width is reached by an instruction this does not understand, which is the second half of why the answer is a boolean. Leaving it alone is what makes the selector’s refusal the thing a user sees, rather than a rewrite that guessed.