llvm-project

7f09aa9e - [SCEV] Transfer gep nusw and nuw flags

[SCEV] Transfer gep nusw and nuw flags nusw implies nsw offset and nuw base+offset arithmetic if offset is non-negative. nuw implies nuw offset and base+offset arithmetic. As usual, we can only transfer is poison implies UB.