[all-commits] [llvm/llvm-project] cd4811: [ValueTracking] Add a basic version of isKnownNonI...

[Benjamin Kramer via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: cd4811360e2a1d23578073c6c99b2ef8ba276289
      https://github.com/llvm/llvm-project/commit/cd4811360e2a1d23578073c6c99b2ef8ba276289
  Author: Benjamin Kramer <benny.kra at googlemail.com>
  Date:   2019-11-19 (Tue, 19 Nov 2019)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstSimplify/known-never-nan.ll

  Log Message:
  -----------
  [ValueTracking] Add a basic version of isKnownNonInfinity and use it to detect more NoNaNs