refactor divrem8 lowering; NFCI