[all-commits] [llvm/llvm-project] 9ebeac: [ConstantRange][CVP] Make use of abs poison flag

[Nikita Popov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 9ebeac678855a1bc2492a9630f0300518e2755dc
      https://github.com/llvm/llvm-project/commit/9ebeac678855a1bc2492a9630f0300518e2755dc
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-07-30 (Thu, 30 Jul 2020)

  Changed paths:
    M llvm/lib/IR/ConstantRange.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/minmaxabs.ll

  Log Message:
  -----------
  [ConstantRange][CVP] Make use of abs poison flag

Pass the abs poison flag to the underlying ConstantRange
implementation, allowing CVP to simplify based on it.

Importantly, this recognizes that abs with poison flag is actually
non-negative...