pub fn needs_sign_extend(def: &ValidatedDef) -> bool
Check if any instruction uses sign_extend transforms.