There's a blog entry "next door" that discusses this [url="http://blogs.arm.com/software-enablement/detecting-overflow-from-mul/"]blogs.arm.com/.../url].