[all-commits] [llvm/llvm-project] fbca27: [InstCombine] add tests for fdiv of exp/exp2; NFC

[RotateRight via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fbca27bf2967aff047bb6c2842e0de344b67cf7b
      https://github.com/llvm/llvm-project/commit/fbca27bf2967aff047bb6c2842e0de344b67cf7b
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2021-02-20 (Sat, 20 Feb 2021)

  Changed paths:
    M llvm/test/Transforms/InstCombine/fdiv.ll

  Log Message:
  -----------
  [InstCombine] add tests for fdiv of exp/exp2; NFC


  Commit: e772618f1ee2fe7709a17e6d850623a97e23a8dc
      https://github.com/llvm/llvm-project/commit/e772618f1ee2fe7709a17e6d850623a97e23a8dc
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2021-02-20 (Sat, 20 Feb 2021)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp
    M llvm/test/Transforms/InstCombine/fdiv.ll

  Log Message:
  -----------
  [InstCombine] fold fdiv with exp/exp2 divisor (PR49147)

Follow-up to:
D96648 / b40fde062
...for the special-case base calls.

>From the earlier commit:
This is unusual in the general (non-reciprocal) case because we need
an extra instruction, but that should be better for general FP
reassociation and codegen. We conservatively check for "arcp" FMF
here as we do with existing fdiv folds, but it is not strictly
necessary to have that.


Compare: https://github.com/llvm/llvm-project/compare/b6088f7465a9...e772618f1ee2