it turns out that when ".with.overflow" intrinsics were added to the X86