Added tests to ensure link with *_finite aliases from libmvec (BZ #19654 fix).

[BZ #19654]
	* sysdeps/x86_64/fpu/Makefile: Added new tests.
	* sysdeps/x86_64/fpu/test-double-libmvec-alias-avx-main.c: New.
	* sysdeps/x86_64/fpu/test-double-libmvec-alias-avx-mod.c: Likewise.
	* sysdeps/x86_64/fpu/test-double-libmvec-alias-avx.c: Likewise.
	* sysdeps/x86_64/fpu/test-double-libmvec-alias-avx2-main.c: Likewise.
	* sysdeps/x86_64/fpu/test-double-libmvec-alias-avx2-mod.c: Likewise.
	* sysdeps/x86_64/fpu/test-double-libmvec-alias-avx2.c: Likewise.
	* sysdeps/x86_64/fpu/test-double-libmvec-alias-avx512-main.c: Likewise.
	* sysdeps/x86_64/fpu/test-double-libmvec-alias-avx512-mod.c: Likewise.
	* sysdeps/x86_64/fpu/test-double-libmvec-alias-avx512.c: Likewise.
	* sysdeps/x86_64/fpu/test-double-libmvec-alias-main.c: Likewise.
	* sysdeps/x86_64/fpu/test-double-libmvec-alias-mod.c: Likewise.
	* sysdeps/x86_64/fpu/test-double-libmvec-alias.c: Likewise.
	* sysdeps/x86_64/fpu/test-float-libmvec-alias-avx-main.c: Likewise.
	* sysdeps/x86_64/fpu/test-float-libmvec-alias-avx-mod.c: Likewise.
	* sysdeps/x86_64/fpu/test-float-libmvec-alias-avx.c: Likewise.
	* sysdeps/x86_64/fpu/test-float-libmvec-alias-avx2-main.c: Likewise.
	* sysdeps/x86_64/fpu/test-float-libmvec-alias-avx2-mod.c: Likewise.
	* sysdeps/x86_64/fpu/test-float-libmvec-alias-avx2.c: Likewise.
	* sysdeps/x86_64/fpu/test-float-libmvec-alias-avx512-main.c: Likewise.
	* sysdeps/x86_64/fpu/test-float-libmvec-alias-avx512-mod.c: Likewise.
	* sysdeps/x86_64/fpu/test-float-libmvec-alias-avx512.c: Likewise.
	* sysdeps/x86_64/fpu/test-float-libmvec-alias-main.c: Likewise.
	* sysdeps/x86_64/fpu/test-float-libmvec-alias-mod.c: Likewise.
	* sysdeps/x86_64/fpu/test-float-libmvec-alias.c: Likewise.
	* sysdeps/x86_64/fpu/test-libmvec-alias-mod.c: Likewise.

sysdeps/x86_64/fpu/Makefile

@@ -30,9 +30,109 @@ ifeq ($(subdir),math)
 ifeq ($(build-mathvec),yes)
 libmvec-tests += double-vlen2 double-vlen4 double-vlen4-avx2 \
 		 float-vlen4 float-vlen8 float-vlen8-avx2
+tests += test-double-libmvec-alias test-double-libmvec-alias-avx \
+	 test-double-libmvec-alias-avx2 test-double-libmvec-alias-main \
+	 test-double-libmvec-alias-avx-main test-double-libmvec-alias-avx2-main \
+	 test-float-libmvec-alias test-float-libmvec-alias-avx \
+	 test-float-libmvec-alias-avx2 test-float-libmvec-alias-main \
+	 test-float-libmvec-alias-avx-main test-float-libmvec-alias-avx2-main
+
+modules-names += test-double-libmvec-alias-mod \
+		 test-double-libmvec-alias-avx-mod \
+		 test-double-libmvec-alias-avx2-mod \
+		 test-float-libmvec-alias-mod \
+		 test-float-libmvec-alias-avx-mod \
+		 test-float-libmvec-alias-avx2-mod
+
+test-double-libmvec-alias-mod.so-no-z-defs = yes
+test-double-libmvec-alias-avx-mod.so-no-z-defs = yes
+test-double-libmvec-alias-avx2-mod.so-no-z-defs = yes
+test-float-libmvec-alias-mod.so-no-z-defs = yes
+test-float-libmvec-alias-avx-mod.so-no-z-defs = yes
+test-float-libmvec-alias-avx2-mod.so-no-z-defs = yes
+
+$(objpfx)test-double-libmvec-alias: \
+  $(objpfx)test-double-libmvec-alias-mod.so
+$(objpfx)test-double-libmvec-alias-mod.so: \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
+
+$(objpfx)test-double-libmvec-alias-avx: \
+  $(objpfx)test-double-libmvec-alias-avx-mod.so
+$(objpfx)test-double-libmvec-alias-avx-mod.so: \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
+
+$(objpfx)test-double-libmvec-alias-avx2: \
+  $(objpfx)test-double-libmvec-alias-avx2-mod.so
+$(objpfx)test-double-libmvec-alias-avx2-mod.so: \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
+
+$(objpfx)test-double-libmvec-alias-main: \
+  $(objpfx)test-double-libmvec-alias-mod.os \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
+
+$(objpfx)test-double-libmvec-alias-avx-main: \
+  $(objpfx)test-double-libmvec-alias-avx-mod.os \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
+
+$(objpfx)test-double-libmvec-alias-avx2-main: \
+  $(objpfx)test-double-libmvec-alias-avx2-mod.os \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
+
+$(objpfx)test-float-libmvec-alias: \
+  $(objpfx)test-float-libmvec-alias-mod.so
+$(objpfx)test-float-libmvec-alias-mod.so: \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
+
+$(objpfx)test-float-libmvec-alias-avx: \
+  $(objpfx)test-float-libmvec-alias-avx-mod.so
+$(objpfx)test-float-libmvec-alias-avx-mod.so: \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
+
+$(objpfx)test-float-libmvec-alias-avx2: \
+  $(objpfx)test-float-libmvec-alias-avx2-mod.so
+$(objpfx)test-float-libmvec-alias-avx2-mod.so: \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
+
+$(objpfx)test-float-libmvec-alias-main: \
+  $(objpfx)test-float-libmvec-alias-mod.os \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
+
+$(objpfx)test-float-libmvec-alias-avx-main: \
+  $(objpfx)test-float-libmvec-alias-avx-mod.os \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
+
+$(objpfx)test-float-libmvec-alias-avx2-main: \
+  $(objpfx)test-float-libmvec-alias-avx2-mod.os \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
 
 ifeq (yes,$(config-cflags-avx512))
 libmvec-tests += double-vlen8 float-vlen16
+tests += test-double-libmvec-alias-avx512 \
+	 test-float-libmvec-alias-avx512 \
+	 test-double-libmvec-alias-avx512-main \
+	 test-float-libmvec-alias-avx512-main
+modules-names += test-double-libmvec-alias-avx512-mod \
+		 test-float-libmvec-alias-avx512-mod
+test-double-libmvec-alias-avx512-mod.so-no-z-defs = yes
+test-float-libmvec-alias-avx512-mod.so-no-z-defs = yes
+
+$(objpfx)test-double-libmvec-alias-avx512: \
+  $(objpfx)test-double-libmvec-alias-avx512-mod.so
+$(objpfx)test-double-libmvec-alias-avx512-mod.so: \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
+
+$(objpfx)test-double-libmvec-alias-avx512-main: \
+  $(objpfx)test-double-libmvec-alias-avx512-mod.os \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
+
+$(objpfx)test-float-libmvec-alias-avx512: \
+  $(objpfx)test-float-libmvec-alias-avx512-mod.so
+$(objpfx)test-float-libmvec-alias-avx512-mod.so: \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
+
+$(objpfx)test-float-libmvec-alias-avx512-main: \
+  $(objpfx)test-float-libmvec-alias-avx512-mod.os \
+  $(objpfx)../mathvec/libmvec_nonshared.a $(libmvec)
 endif
 
 double-vlen4-arch-ext-cflags = -mavx
@@ -43,6 +143,19 @@ float-vlen8-arch-ext-cflags = -mavx
 float-vlen8-arch-ext2-cflags = -mavx2
 float-vlen16-arch-ext-cflags = -mavx512f
 
+libmvec-alias-cflags = $(libm-test-fast-math-cflags) -fno-inline -fopenmp \
+		       -ffloat-store -Wno-unknown-pragmas -ffinite-math-only
+
+CFLAGS-test-double-libmvec-alias-mod.c = $(libmvec-alias-cflags)
+CFLAGS-test-double-libmvec-alias-avx-mod.c = $(double-vlen4-arch-ext-cflags) $(libmvec-alias-cflags) -DREQUIRE_AVX
+CFLAGS-test-double-libmvec-alias-avx2-mod.c = $(double-vlen4-arch-ext2-cflags) $(libmvec-alias-cflags) -DREQUIRE_AVX2
+CFLAGS-test-double-libmvec-alias-avx512-mod.c = $(double-vlen8-arch-ext-cflags) $(libmvec-alias-cflags) -DREQUIRE_AVX512F
+
+CFLAGS-test-float-libmvec-alias-mod.c = $(libmvec-alias-cflags)
+CFLAGS-test-float-libmvec-alias-avx-mod.c = $(double-vlen4-arch-ext-cflags) $(libmvec-alias-cflags) -DREQUIRE_AVX
+CFLAGS-test-float-libmvec-alias-avx2-mod.c = $(double-vlen4-arch-ext2-cflags) $(libmvec-alias-cflags) -DREQUIRE_AVX2
+CFLAGS-test-float-libmvec-alias-avx512-mod.c = $(double-vlen8-arch-ext-cflags) $(libmvec-alias-cflags) -DREQUIRE_AVX512F
+
 CFLAGS-test-double-vlen4-avx2.c = $(libm-test-vec-cflags)
 CFLAGS-test-double-vlen4-avx2-wrappers.c = $(double-vlen4-arch-ext2-cflags)
 

sysdeps/x86_64/fpu/test-double-libmvec-alias-avx-main.c

@@ -0,0 +1 @@
+#include "test-double-libmvec-alias.c"

sysdeps/x86_64/fpu/test-double-libmvec-alias-avx-mod.c

@@ -0,0 +1 @@
+#include "test-double-libmvec-alias-mod.c"

sysdeps/x86_64/fpu/test-double-libmvec-alias-avx.c

@@ -0,0 +1 @@
+#include "test-double-libmvec-alias.c"

sysdeps/x86_64/fpu/test-double-libmvec-alias-avx2-main.c

@@ -0,0 +1 @@
+#include "test-double-libmvec-alias.c"

sysdeps/x86_64/fpu/test-double-libmvec-alias-avx2-mod.c

@@ -0,0 +1 @@
+#include "test-double-libmvec-alias-mod.c"

sysdeps/x86_64/fpu/test-double-libmvec-alias-avx2.c

@@ -0,0 +1 @@
+#include "test-double-libmvec-alias.c"

sysdeps/x86_64/fpu/test-double-libmvec-alias-avx512-main.c

@@ -0,0 +1 @@
+#include "test-double-libmvec-alias.c"

sysdeps/x86_64/fpu/test-double-libmvec-alias-avx512-mod.c

@@ -0,0 +1 @@
+#include "test-double-libmvec-alias-mod.c"

sysdeps/x86_64/fpu/test-double-libmvec-alias-avx512.c

@@ -0,0 +1 @@
+#include "test-double-libmvec-alias.c"

sysdeps/x86_64/fpu/test-double-libmvec-alias-main.c

@@ -0,0 +1 @@
+#include "test-double-libmvec-alias.c"

sysdeps/x86_64/fpu/test-double-libmvec-alias-mod.c

@@ -0,0 +1,25 @@
+/* Part of test to build shared library to ensure link against
+   *_finite aliases from libmvec.
+   Copyright (C) 2016 Free Software Foundation, Inc.
+   This file is part of the GNU C Library.
+
+   The GNU C Library is free software; you can redistribute it and/or
+   modify it under the terms of the GNU Lesser General Public
+   License as published by the Free Software Foundation; either
+   version 2.1 of the License, or (at your option) any later version.
+
+   The GNU C Library is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public
+   License along with the GNU C Library; if not, see
+   <http://www.gnu.org/licenses/>.  */
+
+#include <math.h>
+#include <stdlib.h>
+#include <math-tests-arch.h>
+
+#include "test-double.h"
+#include "test-libmvec-alias-mod.c"

sysdeps/x86_64/fpu/test-double-libmvec-alias.c

@@ -0,0 +1,28 @@
+/* Part of test to ensure link against *_finite aliases from libmvec.
+   Copyright (C) 2016 Free Software Foundation, Inc.
+   This file is part of the GNU C Library.
+
+   The GNU C Library is free software; you can redistribute it and/or
+   modify it under the terms of the GNU Lesser General Public
+   License as published by the Free Software Foundation; either
+   version 2.1 of the License, or (at your option) any later version.
+
+   The GNU C Library is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public
+   License along with the GNU C Library; if not, see
+   <http://www.gnu.org/licenses/>.  */
+
+extern void
+test_finite_alias (void);
+
+int
+main (void)
+{
+  test_finite_alias ();
+
+  return 0;
+}

sysdeps/x86_64/fpu/test-float-libmvec-alias-avx-main.c

@@ -0,0 +1 @@
+#include "test-float-libmvec-alias.c"

sysdeps/x86_64/fpu/test-float-libmvec-alias-avx-mod.c

@@ -0,0 +1 @@
+#include "test-float-libmvec-alias-mod.c"

sysdeps/x86_64/fpu/test-float-libmvec-alias-avx.c

@@ -0,0 +1 @@
+#include "test-float-libmvec-alias.c"

sysdeps/x86_64/fpu/test-float-libmvec-alias-avx2-main.c

@@ -0,0 +1 @@
+#include "test-float-libmvec-alias.c"

sysdeps/x86_64/fpu/test-float-libmvec-alias-avx2-mod.c

@@ -0,0 +1 @@
+#include "test-float-libmvec-alias-mod.c"

sysdeps/x86_64/fpu/test-float-libmvec-alias-avx2.c

@@ -0,0 +1 @@
+#include "test-float-libmvec-alias.c"

sysdeps/x86_64/fpu/test-float-libmvec-alias-avx512-main.c

@@ -0,0 +1 @@
+#include "test-float-libmvec-alias.c"

sysdeps/x86_64/fpu/test-float-libmvec-alias-avx512-mod.c

@@ -0,0 +1 @@
+#include "test-float-libmvec-alias-mod.c"

sysdeps/x86_64/fpu/test-float-libmvec-alias-avx512.c

@@ -0,0 +1 @@
+#include "test-float-libmvec-alias.c"

sysdeps/x86_64/fpu/test-float-libmvec-alias-main.c

@@ -0,0 +1 @@
+#include "test-float-libmvec-alias.c"

sysdeps/x86_64/fpu/test-float-libmvec-alias-mod.c

@@ -0,0 +1,25 @@
+/* Part of test to build shared library to ensure link against
+   *_finite aliases from libmvec.
+   Copyright (C) 2016 Free Software Foundation, Inc.
+   This file is part of the GNU C Library.
+
+   The GNU C Library is free software; you can redistribute it and/or
+   modify it under the terms of the GNU Lesser General Public
+   License as published by the Free Software Foundation; either
+   version 2.1 of the License, or (at your option) any later version.
+
+   The GNU C Library is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public
+   License along with the GNU C Library; if not, see
+   <http://www.gnu.org/licenses/>.  */
+
+#include <math.h>
+#include <stdlib.h>
+#include <math-tests-arch.h>
+
+#include "test-float.h"
+#include "test-libmvec-alias-mod.c"

sysdeps/x86_64/fpu/test-float-libmvec-alias.c

@@ -0,0 +1,28 @@
+/* Part of test to ensure link against *_finite aliases from libmvec.
+   Copyright (C) 2016 Free Software Foundation, Inc.
+   This file is part of the GNU C Library.
+
+   The GNU C Library is free software; you can redistribute it and/or
+   modify it under the terms of the GNU Lesser General Public
+   License as published by the Free Software Foundation; either
+   version 2.1 of the License, or (at your option) any later version.
+
+   The GNU C Library is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public
+   License along with the GNU C Library; if not, see
+   <http://www.gnu.org/licenses/>.  */
+
+extern void
+test_finite_alias (void);
+
+int
+main (void)
+{
+  test_finite_alias ();
+
+  return 0;
+}

sysdeps/x86_64/fpu/test-libmvec-alias-mod.c

@@ -0,0 +1,59 @@
+/* Part of test to build shared library to ensure link against
+   *_finite aliases from libmvec.
+   Copyright (C) 2016 Free Software Foundation, Inc.
+   This file is part of the GNU C Library.
+
+   The GNU C Library is free software; you can redistribute it and/or
+   modify it under the terms of the GNU Lesser General Public
+   License as published by the Free Software Foundation; either
+   version 2.1 of the License, or (at your option) any later version.
+
+   The GNU C Library is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public
+   License along with the GNU C Library; if not, see
+   <http://www.gnu.org/licenses/>.  */
+
+#define N 4000
+FLOAT log_arg[N];
+FLOAT exp_arg[N];
+FLOAT log_res[N];
+FLOAT exp_res[N];
+FLOAT pow_res[N];
+
+static void
+init_arg (void)
+{
+  int i;
+
+  for (i = 0; i < N; i += 1)
+    {
+      log_arg[i] = 1.0;
+      exp_arg[i] = 0.0;
+    }
+}
+
+void
+test_finite_alias (void)
+{
+  int i;
+
+  CHECK_ARCH_EXT;
+
+  init_arg ();
+
+#pragma omp simd
+  for (i = 0; i < N; i += 1)
+    {
+      log_res[i] = FUNC (log) (log_arg[i]);
+      exp_res[i] = FUNC (exp) (exp_arg[i]);
+      pow_res[i] = FUNC (pow) (log_arg[i], log_arg[i]);
+    }
+
+  if (log_res[0] != 0.0) abort ();
+  if (exp_res[0] != 1.0) abort ();
+  if (pow_res[0] != 1.0) abort ();
+}