[all-commits] [llvm/llvm-project] 58167f: [InstSimplify] add tests for fadd/fsub with inf co...

[Sanjay Patel via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 58167f67dc813e09ebd06e09a79f6ec2b8773ce3
      https://github.com/llvm/llvm-project/commit/58167f67dc813e09ebd06e09a79f6ec2b8773ce3
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-11-10 (Thu, 10 Nov 2022)

  Changed paths:
    M llvm/test/Transforms/InstSimplify/floating-point-arithmetic.ll

  Log Message:
  -----------
  [InstSimplify] add tests for fadd/fsub with inf constant operand; NFC


  Commit: fbc2c8f2fbbb7fbc9a88ad64ac83de888d505d27
      https://github.com/llvm/llvm-project/commit/fbc2c8f2fbbb7fbc9a88ad64ac83de888d505d27
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-11-10 (Thu, 10 Nov 2022)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/floating-point-arithmetic.ll

  Log Message:
  -----------
  [InstSimplify] fold X +nnan Inf

If we exclude NaN (and therefore the opposite Inf),
anything plus Inf is Inf:
https://alive2.llvm.org/ce/z/og3dj9


Compare: https://github.com/llvm/llvm-project/compare/9dcaca706841...fbc2c8f2fbbb