1. Recommit "[PatternMatch] Match XOR variant of unsigned-add overflow check." (details)
Commit 7769030b9310c1865fd331edb78dc242a39b109a by flo
Recommit "[PatternMatch] Match XOR variant of unsigned-add overflow check."

This version fixes a buildbot failure cause by picking the wrong insert
point for XORs. We cannot pick the XOR binary operator as insert point,
as it is not guaranteed that both input operands for the overflow
intrinsic are defined before it.

This reverts the revert commit
The file was modifiedllvm/lib/CodeGen/CodeGenPrepare.cpp
The file was modifiedllvm/test/Transforms/CodeGenPrepare/X86/overflow-intrinsics.ll
The file was modifiedllvm/test/Transforms/CodeGenPrepare/AArch64/overflow-intrinsics.ll
The file was modifiedllvm/include/llvm/IR/PatternMatch.h
The file was modifiedllvm/test/CodeGen/AArch64/sat-add.ll
The file was modifiedllvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
The file was modifiedllvm/test/CodeGen/X86/sat-add.ll