[all-commits] [llvm/llvm-project] 35e8cc: [InstSimplify][test] add tests for poison propagat...

[RotateRight via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 35e8cc4979eaa61377c323fc8ff17dd7d09e1f20
      https://github.com/llvm/llvm-project/commit/35e8cc4979eaa61377c323fc8ff17dd7d09e1f20
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2021-07-06 (Tue, 06 Jul 2021)

  Changed paths:
    M llvm/test/Transforms/InstSimplify/call.ll

  Log Message:
  -----------
  [InstSimplify][test] add tests for poison propagation through FP calls; NFC


  Commit: 4ec7c021970d83ce49273ca5623953665720515f
      https://github.com/llvm/llvm-project/commit/4ec7c021970d83ce49273ca5623953665720515f
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2021-07-06 (Tue, 06 Jul 2021)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/call.ll

  Log Message:
  -----------
  [InstSimplify] fix bug in poison propagation for FP ops

If any operand of a math op is poison, that takes
precedence over general undef/NaN.

This should not be visible with binary ops because
it requires 2 constant operands to trigger (and if
both operands of a binop are constant, that should
get handled first in ConstantFolding).


Compare: https://github.com/llvm/llvm-project/compare/8517a26d442f...4ec7c021970d