restyled some optimization and fix 48-bit MADD sign-extension