nlopes added a comment. This fixed 9 bugs reports by Alive2:
- Transforms/InstCombine/max-of-nots.ll - Transforms/InstCombine/max_known_bits.ll - Transforms/InstCombine/minmax-fold.ll - Transforms/InstCombine/saturating-add-sub.ll - Transforms/InstCombine/select-pr39595.ll - Transforms/InstCombine/select_meta.ll - Transforms/InstCombine/sext.ll - Transforms/InstCombine/sub.ll - Transforms/InstCombine/with_overflow.ll Thank you! Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D98152/new/ https://reviews.llvm.org/D98152 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits