The llvm.x86.subborrow.u64 intrinsic; known as __builtin_ia32_subborrow_u64 in GCC.
See Implementation
The llvm.x86.subborrow.u64 intrinsic; known as __builtin_ia32_subborrow_u64 in GCC.