https://github.com/andykaylor commented: This is an awful lot to digest in one review. Can you split out the BinOpOverflowOp and pointer arithmetic? https://github.com/llvm/llvm-project/pull/132420