[PATCH] D144343: [ConstantRange][SCEV] print unsigned ranges

[Joshua Cao via Phabricator via llvm-commits]

caojoshua created this revision.
Herald added subscribers: javed.absar, hiraditya.
Herald added a project: All.
caojoshua requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Add an option to ConstantRange::print to print underlying APInt as
signed/unsigned number. Teach SCEV to print unsigned ranges. This helps
the human developer understand ranges  without doing mental math of
converting signed ranges to unsigned ranges.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D144343

Files:
  llvm/include/llvm/IR/ConstantRange.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/lib/IR/ConstantRange.cpp
  llvm/test/Analysis/ScalarEvolution/ZeroStep.ll
  llvm/test/Analysis/ScalarEvolution/add-expr-pointer-operand-sorting.ll
  llvm/test/Analysis/ScalarEvolution/add-like-or.ll
  llvm/test/Analysis/ScalarEvolution/addrec-computed-during-addrec-calculation.ll
  llvm/test/Analysis/ScalarEvolution/ashr.ll
  llvm/test/Analysis/ScalarEvolution/exact-exit-count-more-precise.ll
  llvm/test/Analysis/ScalarEvolution/ext_min_max.ll
  llvm/test/Analysis/ScalarEvolution/extract-highbits-sameconstmask.ll
  llvm/test/Analysis/ScalarEvolution/extract-highbits-variablemask.ll
  llvm/test/Analysis/ScalarEvolution/extract-lowbits-sameconstmask.ll
  llvm/test/Analysis/ScalarEvolution/extract-lowbits-variablemask.ll
  llvm/test/Analysis/ScalarEvolution/flags-from-poison-noautogen.ll
  llvm/test/Analysis/ScalarEvolution/flags-from-poison.ll
  llvm/test/Analysis/ScalarEvolution/fold.ll
  llvm/test/Analysis/ScalarEvolution/incorrect-exit-count.ll
  llvm/test/Analysis/ScalarEvolution/increasing-or-decreasing-iv.ll
  llvm/test/Analysis/ScalarEvolution/load.ll
  llvm/test/Analysis/ScalarEvolution/logical-operations.ll
  llvm/test/Analysis/ScalarEvolution/lshr-shl-differentconstmask.ll
  llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info-rewrite-expressions.ll
  llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll
  llvm/test/Analysis/ScalarEvolution/max-be-count-not-constant.ll
  llvm/test/Analysis/ScalarEvolution/max-expr-cache.ll
  llvm/test/Analysis/ScalarEvolution/min-max-exprs.ll
  llvm/test/Analysis/ScalarEvolution/mul.ll
  llvm/test/Analysis/ScalarEvolution/no-wrap-add-exprs.ll
  llvm/test/Analysis/ScalarEvolution/no-wrap-symbolic-becount.ll
  llvm/test/Analysis/ScalarEvolution/nsw-offset-assume.ll
  llvm/test/Analysis/ScalarEvolution/nsw-offset.ll
  llvm/test/Analysis/ScalarEvolution/nsw.ll
  llvm/test/Analysis/ScalarEvolution/outer_phi.ll
  llvm/test/Analysis/ScalarEvolution/pointer-rounding.ll
  llvm/test/Analysis/ScalarEvolution/pr49856.ll
  llvm/test/Analysis/ScalarEvolution/pr58402-large-number-of-zext-exprs.ll
  llvm/test/Analysis/ScalarEvolution/predicated-trip-count.ll
  llvm/test/Analysis/ScalarEvolution/ptrtoint-constantexpr-loop.ll
  llvm/test/Analysis/ScalarEvolution/ptrtoint.ll
  llvm/test/Analysis/ScalarEvolution/range-signedness.ll
  llvm/test/Analysis/ScalarEvolution/range_nw_flag.ll
  llvm/test/Analysis/ScalarEvolution/ranges.ll
  llvm/test/Analysis/ScalarEvolution/scalable-vector.ll
  llvm/test/Analysis/ScalarEvolution/sdiv.ll
  llvm/test/Analysis/ScalarEvolution/sext-mul.ll
  llvm/test/Analysis/ScalarEvolution/sext-to-zext.ll
  llvm/test/Analysis/ScalarEvolution/shift-recurrences.ll
  llvm/test/Analysis/ScalarEvolution/shl-lshr-differentconstmask.ll
  llvm/test/Analysis/ScalarEvolution/solve-quadratic-overflow.ll
  llvm/test/Analysis/ScalarEvolution/srem.ll
  llvm/test/Analysis/ScalarEvolution/trip-count-minmax.ll
  llvm/test/Analysis/ScalarEvolution/trip-count-non-unit-stride.ll
  llvm/test/Analysis/ScalarEvolution/trip-count15.ll
  llvm/test/Analysis/ScalarEvolution/trip-multiple-guard-info.ll
  llvm/test/Analysis/ScalarEvolution/umin-umax-folds.ll
  llvm/test/Analysis/ScalarEvolution/urem-0.ll
  llvm/test/Other/constant-fold-gep.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D144343.498657.patch
Type: text/x-patch
Size: 323623 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230219/129e997f/attachment-0001.bin>