Match: Optimize log (x) CMP CST and exp (x) CMP CST operations

This patch implements transformations for the following optimizations.

logN(x) CMP CST -> x CMP expN(CST)
expN(x) CMP CST -> x CMP logN(CST)

Where CMP expands to ge and le operations.

For example:

int
foo (float x)
{
  return __builtin_logf (x) <= 0.0f;
}

can just be:

int
foo (float x)
{
  return x <= 1.0f;
}

The patch was bootstrapped and regtested on aarch64-linux-gnu, no regression.
OK for mainline?

Signed-off-by: Soumya AR <soumyaa@nvidia.com>

gcc/ChangeLog:

	* match.pd: Fold logN(x) CMP CST -> x CMP expN(CST)
	and expN(x) CMP CST -> x CMP logN(CST)

gcc/testsuite/ChangeLog:

	* gcc.dg/tree-ssa/log_exp.c: New test.

0 files changed, 0 insertions, 0 deletions