recognize an unsigned add with overflow idiom into uadd.