Optimize bulk mode for normal_distribution<double> for SSE3.

[thirdparty/gcc.git] / libstdc++-v3 / configure.host

diff --git a/libstdc++-v3/configure.host b/libstdc++-v3/configure.host
index 8b7aae7155bba853cc54b326b0c112deab408f5e..bcc11befbfc07c95661f46323a0b0b2a3269182d 100644 (file)
--- a/libstdc++-v3/configure.host
+++ b/libstdc++-v3/configure.host
@@ -50,9 +50,12 @@
 #   cpu_defines_dir        location of cpu_defines.h
 #                          defaults to generic.
 #
-#   cpu_opt_ext_random     path name of random.h containing CPU-specific
+#   cpu_opt_bits_random    path name of random.h containing CPU-specific
 #                          optimizations
 #
+#   cpu_opt_ext_random     path name of random.h containing CPU-specific
+#                          optimizations for extensions
+#
 #   error_constants_dir    location of error_constants.h
 #                          defaults to os/generic.
 #
@@ -196,6 +199,10 @@ cpu_opt_ext_random=${cpu_opt_dir}/ext/opt_random.h
 test -f ${glibcxx_srcdir}/config/${cpu_opt_ext_random} ||
 cpu_opt_ext_random=cpu/generic/opt/ext/opt_random.h
 
+cpu_opt_bits_random=${cpu_opt_dir}/bits/opt_random.h
+test -f ${glibcxx_srcdir}/config/${cpu_opt_ext_random} ||
+cpu_opt_ext_random=cpu/generic/opt/bits/opt_random.h
+
 
 # Set any OS-dependent bits.
 # Set the os_include_dir.