[PATCH] D79409: [InstCombine] Remove hasNoInfs check for pow(C, y) -> exp2(log2(C)*y)

[Evandro Menezes via Phabricator via llvm-commits]

evandro added a comment.

`pow(x, -∞)` → ∞ if `|x| < 1` or 0 if `|x| > 1`
`pow(x, +∞)` → 0 if `|x| < 1` or ∞ if `|x| > 1`
`exp2(log2(x) * -∞)` → `exp2(±∞)` → ∞ if `x < 2` or 0 if `x > 2`
`exp2(log2(x) * +∞)` → `exp2(±∞)` → 0 if `x < 2` or ∞ if `x > 2`


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D79409/new/

https://reviews.llvm.org/D79409