Revert "[SCCP] Use range info to prove AddInst has NUW flag."
authorDouglas Yung <douglas.yung@sony.com>
Wed, 25 Jan 2023 05:19:25 +0000 (21:19 -0800)
committerDouglas Yung <douglas.yung@sony.com>
Wed, 25 Jan 2023 05:23:03 +0000 (21:23 -0800)
commitc9401f2ebe63181e1c27e80181dc48a5c593ed56
tree4dcfe5742bc0ef8b6da2a9301b88062799ba2a31
parentc7575fcb685a15f5384c137c76913e0bb11d1320
Revert "[SCCP] Use range info to prove AddInst has NUW flag."

This reverts commit de122cb920080fd9e24b2777114271fbef932d5e.

This change causes assertion failures in many of our internal tests.
I have filed #60280 for this issue.
14 files changed:
llvm/lib/Transforms/Utils/SCCPSolver.cpp
llvm/test/Transforms/SCCP/add-nuw-nsw-flags.ll
llvm/test/Transforms/SCCP/binaryops-constexprs.ll
llvm/test/Transforms/SCCP/conditions-ranges-with-undef.ll
llvm/test/Transforms/SCCP/conditions-ranges.ll
llvm/test/Transforms/SCCP/ip-add-range-to-call.ll
llvm/test/Transforms/SCCP/ip-constant-ranges.ll
llvm/test/Transforms/SCCP/ip-ranges-binaryops.ll
llvm/test/Transforms/SCCP/ip-ranges-casts.ll
llvm/test/Transforms/SCCP/ip-ranges-phis.ll
llvm/test/Transforms/SCCP/ip-ranges-select.ll
llvm/test/Transforms/SCCP/return-argument.ll
llvm/test/Transforms/SCCP/return-constants.ll
llvm/test/Transforms/SCCP/widening.ll