aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/log_exp.c
blob: 1c5d967cdf76f947bb8c5086b993c12460d5ffb8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
/* { dg-do link } */
/* { dg-options "-O2 -ffast-math" } */
/* { dg-require-effective-target c99_runtime } */

#include <stdbool.h>

extern void link_error(void);

#define T(FUNC1, FUNC2, CMP, TYPE, C_TY, ID)                       \
void test_##FUNC1##_##FUNC2##_##ID (TYPE x)                        \
{                                                                  \
  TYPE a = 10.0##C_TY;                                             \
  TYPE t1 = __builtin_##FUNC1(x);                                  \
  bool b1 = t1 CMP a;                                              \
  TYPE t2 = __builtin_##FUNC2(a);                                  \
  bool b2 = x CMP t2;                                              \
  if (b1 != b2)                                                    \
    link_error();                                                  \
}

#define TEST(FUNC1, FUNC2, TYPE, C_TY)                             \
  T(FUNC1, FUNC2, <=, TYPE, C_TY, 1)                               \
  T(FUNC1, FUNC2, >=, TYPE, C_TY, 2)                               \

#define TEST_ALL(TYPE, C_TY, F_TY)                                  \
  TEST(exp##F_TY, log##F_TY, TYPE, C_TY)                             \
  TEST(exp2##F_TY, log2##F_TY, TYPE, C_TY)                           \
  TEST(exp10##F_TY, log10##F_TY, TYPE, C_TY)                         \
  TEST(log##F_TY, exp##F_TY, TYPE, C_TY)                             \
  TEST(log2##F_TY, exp2##F_TY, TYPE, C_TY)                           \
  TEST(log10##F_TY, exp10##F_TY, TYPE, C_TY)

TEST_ALL(double, , )
TEST_ALL(float, f, f)
TEST_ALL(long double, L, l)

int main (void)
{
  return 0;
}