[all-commits] [llvm/llvm-project] 869154: [SCCP] Use range metadata for loads and calls

[Nikita Popov via All-commits]

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

  Changed paths:
    M llvm/lib/Transforms/Scalar/SCCP.cpp
    M llvm/test/Transforms/SCCP/metadata.ll

  Log Message:
  -----------
  [SCCP] Use range metadata for loads and calls

When all else fails, use range metadata to constrain the result
of loads and calls. It should also be possible to use !nonnull,
but that would require some general support for inequalities in
SCCP first.

Differential Revision: https://reviews.llvm.org/D83179