[all-commits] [llvm/llvm-project] e897b0: [ConstantRange][LVI] Add support for `multiplyWith...

[Antonio Frighetto via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e897b0bbe908ea17188f0b1ed96e6b6c8f8954d8
      https://github.com/llvm/llvm-project/commit/e897b0bbe908ea17188f0b1ed96e6b6c8f8954d8
  Author: Antonio Frighetto <me at antoniofrighetto.com>
  Date:   2024-05-24 (Fri, 24 May 2024)

  Changed paths:
    M llvm/include/llvm/IR/ConstantRange.h
    M llvm/lib/IR/ConstantRange.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/mul.ll
    A llvm/test/Transforms/SCCP/range-mul-nuw-nsw-flags.ll
    M llvm/unittests/IR/ConstantRangeTest.cpp

  Log Message:
  -----------
  [ConstantRange][LVI] Add support for `multiplyWithNoWrap`

Introduce support for computing multiplication ranges when nowrap
flags are known. This is achieved by intersecting the multiplication
range with the saturating one. Note that we may still conservatively
return overdefined when handling non-wrapped/non-sign-wrapped ranges.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications