Add D front-end, libphobos library, and D2 testsuite.

ChangeLog:

	* Makefile.def (target_modules): Add libphobos.
	(flags_to_pass): Add GDC, GDCFLAGS, GDC_FOR_TARGET and
	GDCFLAGS_FOR_TARGET.
	(dependencies): Make libphobos depend on libatomic, libbacktrace
	configure, and zlib configure.
	(language): Add language d.
	* Makefile.in: Rebuild.
	* Makefile.tpl (BUILD_EXPORTS): Add GDC and GDCFLAGS.
	(HOST_EXPORTS): Add GDC.
	(POSTSTAGE1_HOST_EXPORTS): Add GDC and GDC_FOR_BUILD.
	(BASE_TARGET_EXPORTS): Add GDC.
	(GDC_FOR_BUILD, GDC, GDCFLAGS): New variables.
	(GDC_FOR_TARGET, GDC_FLAGS_FOR_TARGET): New variables.
	(EXTRA_HOST_FLAGS): Add GDC.
	(STAGE1_FLAGS_TO_PASS): Add GDC.
	(EXTRA_TARGET_FLAGS): Add GDC and GDCFLAGS.
	* config-ml.in: Treat GDC and GDCFLAGS like other compiler/flag
	environment variables.
	* configure: Rebuild.
	* configure.ac: Add target-libphobos to target_libraries.  Set and
	substitute GDC_FOR_BUILD and GDC_FOR_TARGET.

config/ChangeLog:

	* multi.m4: Set GDC.

gcc/ChangeLog:

	* Makefile.in (tm_d_file_list, tm_d_include_list): New variables.
	(TM_D_H, D_TARGET_DEF, D_TARGET_H, D_TARGET_OBJS): New variables.
	(tm_d.h, cs-tm_d.h, default-d.o): New rules.
	(d/d-target-hooks-def.h, s-d-target-hooks-def-h): New rules.
	(s-tm-texi): Also check timestamp on d-target.def.
	(generated_files): Add TM_D_H and d-target-hooks-def.h.
	(build/genhooks.o): Also depend on D_TARGET_DEF.
	* config.gcc (tm_d_file, d_target_objs, target_has_targetdm): New
	variables.
	* config/aarch64/aarch64-d.c: New file.
	* config/aarch64/aarch64-linux.h (GNU_USER_TARGET_D_CRITSEC_SIZE):
	Define.
	* config/aarch64/aarch64-protos.h (aarch64_d_target_versions): New
	prototype.
	* config/aarch64/aarch64.h (TARGET_D_CPU_VERSIONS): Define.
	* config/aarch64/t-aarch64 (aarch64-d.o): New rule.
	* config/arm/arm-d.c: New file.
	* config/arm/arm-protos.h (arm_d_target_versions): New prototype.
	* config/arm/arm.h (TARGET_D_CPU_VERSIONS): Define.
	* config/arm/linux-eabi.h (EXTRA_TARGET_D_OS_VERSIONS): Define.
	* config/arm/t-arm (arm-d.o): New rule.
	* config/default-d.c: New file.
	* config/glibc-d.c: New file.
	* config/gnu.h (GNU_USER_TARGET_D_OS_VERSIONS): Define.
	* config/i386/i386-d.c: New file.
	* config/i386/i386-protos.h (ix86_d_target_versions): New prototype.
	* config/i386/i386.h (TARGET_D_CPU_VERSIONS): Define.
	* config/i386/linux-common.h (EXTRA_TARGET_D_OS_VERSIONS): Define.
	(GNU_USER_TARGET_D_CRITSEC_SIZE): Define.
	* config/i386/t-i386 (i386-d.o): New rule.
	* config/kfreebsd-gnu.h (GNU_USER_TARGET_D_OS_VERSIONS): Define.
	* config/kopensolaris-gnu.h (GNU_USER_TARGET_D_OS_VERSIONS): Define.
	* config/linux-android.h (ANDROID_TARGET_D_OS_VERSIONS): Define.
	* config/linux.h (GNU_USER_TARGET_D_OS_VERSIONS): Define.
	* config/mips/linux-common.h (EXTRA_TARGET_D_OS_VERSIONS): Define.
	* config/mips/mips-d.c: New file.
	* config/mips/mips-protos.h (mips_d_target_versions): New prototype.
	* config/mips/mips.h (TARGET_D_CPU_VERSIONS): Define.
	* config/mips/t-mips (mips-d.o): New rule.
	* config/powerpcspe/linux.h (GNU_USER_TARGET_D_OS_VERSIONS): Define.
	* config/powerpcspe/linux64.h (GNU_USER_TARGET_D_OS_VERSIONS): Define.
	* config/powerpcspe/powerpcspe-d.c: New file.
	* config/powerpcspe/powerpcspe-protos.h (rs6000_d_target_versions):
	New prototype.
	* config/powerpcspe/powerpcspe.c (rs6000_output_function_epilogue):
	Support GNU D by using 0 as the language type.
	* config/powerpcspe/powerpcspe.h (TARGET_D_CPU_VERSIONS): Define.
	* config/powerpcspe/t-powerpcspe (powerpcspe-d.o): New rule.
	* config/riscv/riscv-d.c: New file.
	* config/riscv/riscv-protos.h (riscv_d_target_versions): New
	prototype.
	* config/riscv/riscv.h (TARGET_D_CPU_VERSIONS): Define.
	* config/riscv/t-riscv (riscv-d.o): New rule.
	* config/rs6000/linux.h (GNU_USER_TARGET_D_OS_VERSIONS): Define.
	* config/rs6000/linux64.h (GNU_USER_TARGET_D_OS_VERSIONS): Define.
	* config/rs6000/rs6000-d.c: New file.
	* config/rs6000/rs6000-protos.h (rs6000_d_target_versions): New
	prototype.
	* config/rs6000/rs6000.c (rs6000_output_function_epilogue):
	Support GNU D by using 0 as the language type.
	* config/rs6000/rs6000.h (TARGET_D_CPU_VERSIONS): Define.
	* config/rs6000/t-rs6000 (rs6000-d.o): New rule.
	* config/s390/s390-d.c: New file.
	* config/s390/s390-protos.h (s390_d_target_versions): New prototype.
	* config/s390/s390.h (TARGET_D_CPU_VERSIONS): Define.
	* config/s390/t-s390 (s390-d.o): New rule.
	* config/sparc/sparc-d.c: New file.
	* config/sparc/sparc-protos.h (sparc_d_target_versions): New
	prototype.
	* config/sparc/sparc.h (TARGET_D_CPU_VERSIONS): Define.
	* config/sparc/t-sparc (sparc-d.o): New rule.
	* config/t-glibc (glibc-d.o): New rule.
	* configure: Regenerated.
	* configure.ac (tm_d_file): New variable.
	(tm_d_file_list, tm_d_include_list, d_target_objs): Add substitutes.
	* doc/contrib.texi (Contributors): Add self for the D frontend.
	* doc/frontends.texi (G++ and GCC): Mention D as a supported language.
	* doc/install.texi (Configuration): Mention libphobos as an option for
	--enable-shared.  Mention d as an option for --enable-languages.
	(Testing): Mention check-d as a target.
	* doc/invoke.texi (Overall Options): Mention .d, .dd, and .di as file
	name suffixes.  Mention d as a -x option.
	* doc/sourcebuild.texi (Top Level): Mention libphobos.
	* doc/standards.texi (Standards): Add section on D language.
	* doc/tm.texi: Regenerated.
	* doc/tm.texi.in: Add @node for D language and ABI, and @hook for
	TARGET_CPU_VERSIONS, TARGET_D_OS_VERSIONS, and TARGET_D_CRITSEC_SIZE.
	* dwarf2out.c (is_dlang): New function.
	(gen_compile_unit_die): Use DW_LANG_D for D.
	(declare_in_namespace): Return module die for D, instead of adding
	extra declarations into the namespace.
	(gen_namespace_die): Generate DW_TAG_module for D.
	(gen_decl_die): Handle CONST_DECLSs for D.
	(dwarf2out_decl): Likewise.
	(prune_unused_types_walk_local_classes): Handle DW_tag_interface_type.
	(prune_unused_types_walk): Handle DW_tag_interface_type same as other
	kinds of aggregates.
	* gcc.c (default_compilers): Add entries for .d, .dd and .di.
	* genhooks.c: Include d/d-target.def.

gcc/po/ChangeLog:

	* EXCLUDES: Add sources from d/dmd.

gcc/testsuite/ChangeLog:

	* gcc.misc-tests/help.exp: Add D to option descriptions check.
	* gdc.dg/asan/asan.exp: New file.
	* gdc.dg/asan/gdc272.d: New test.
	* gdc.dg/compilable.d: New test.
	* gdc.dg/dg.exp: New file.
	* gdc.dg/gdc254.d: New test.
	* gdc.dg/gdc260.d: New test.
	* gdc.dg/gdc270a.d: New test.
	* gdc.dg/gdc270b.d: New test.
	* gdc.dg/gdc282.d: New test.
	* gdc.dg/gdc283.d: New test.
	* gdc.dg/imports/gdc170.d: New test.
	* gdc.dg/imports/gdc231.d: New test.
	* gdc.dg/imports/gdc239.d: New test.
	* gdc.dg/imports/gdc241a.d: New test.
	* gdc.dg/imports/gdc241b.d: New test.
	* gdc.dg/imports/gdc251a.d: New test.
	* gdc.dg/imports/gdc251b.d: New test.
	* gdc.dg/imports/gdc253.d: New test.
	* gdc.dg/imports/gdc254a.d: New test.
	* gdc.dg/imports/gdc256.d: New test.
	* gdc.dg/imports/gdc27.d: New test.
	* gdc.dg/imports/gdcpkg256/package.d: New test.
	* gdc.dg/imports/runnable.d: New test.
	* gdc.dg/link.d: New test.
	* gdc.dg/lto/lto.exp: New file.
	* gdc.dg/lto/ltotests_0.d: New test.
	* gdc.dg/lto/ltotests_1.d: New test.
	* gdc.dg/runnable.d: New test.
	* gdc.dg/simd.d: New test.
	* gdc.test/gdc-test.exp: New file.
	* lib/gdc-dg.exp: New file.
	* lib/gdc.exp: New file.

libphobos/ChangeLog:

	* Makefile.am: New file.
	* Makefile.in: New file.
	* acinclude.m4: New file.
	* aclocal.m4: New file.
	* config.h.in: New file.
	* configure: New file.
	* configure.ac: New file.
	* d_rules.am: New file.
	* libdruntime/Makefile.am: New file.
	* libdruntime/Makefile.in: New file.
	* libdruntime/__entrypoint.di: New file.
	* libdruntime/__main.di: New file.
	* libdruntime/gcc/attribute.d: New file.
	* libdruntime/gcc/backtrace.d: New file.
	* libdruntime/gcc/builtins.d: New file.
	* libdruntime/gcc/config.d.in: New file.
	* libdruntime/gcc/deh.d: New file.
	* libdruntime/gcc/libbacktrace.d.in: New file.
	* libdruntime/gcc/unwind/arm.d: New file.
	* libdruntime/gcc/unwind/arm_common.d: New file.
	* libdruntime/gcc/unwind/c6x.d: New file.
	* libdruntime/gcc/unwind/generic.d: New file.
	* libdruntime/gcc/unwind/package.d: New file.
	* libdruntime/gcc/unwind/pe.d: New file.
	* m4/autoconf.m4: New file.
	* m4/druntime.m4: New file.
	* m4/druntime/cpu.m4: New file.
	* m4/druntime/libraries.m4: New file.
	* m4/druntime/os.m4: New file.
	* m4/gcc_support.m4: New file.
	* m4/gdc.m4: New file.
	* m4/libtool.m4: New file.
	* src/Makefile.am: New file.
	* src/Makefile.in: New file.
	* src/libgphobos.spec.in: New file.
	* testsuite/Makefile.am: New file.
	* testsuite/Makefile.in: New file.
	* testsuite/config/default.exp: New file.
	* testsuite/lib/libphobos-dg.exp: New file.
	* testsuite/lib/libphobos.exp: New file.
	* testsuite/testsuite_flags.in: New file.

From-SVN: r265573

1 files changed, 503 insertions, 0 deletions

diff --git a/gcc/d/d-spec.cc b/gcc/d/d-spec.cc
new file mode 100644
index 0000000..d0b7844
--- /dev/null
+++ b/gcc/d/d-spec.cc
@@ -0,0 +1,503 @@
+/* d-spec.c -- Specific flags and argument handling of the D front end.
+   Copyright (C) 2006-2018 Free Software Foundation, Inc.
+
+GCC is free software; you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation; either version 3, or (at your option)
+any later version.
+
+GCC 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 General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with GCC; see the file COPYING3.  If not see
+<http://www.gnu.org/licenses/>.  */
+
+#include "config.h"
+#include "system.h"
+#include "coretypes.h"
+#include "opt-suggestions.h"
+#include "gcc.h"
+#include "tm.h"
+#include "opts.h"
+
+/* This bit is set if the arguments is a D source file.  */
+#define DSOURCE		(1<<1)
+/* This bit is set if they did `-lstdc++'.  */
+#define WITHLIBCXX	(1<<2)
+/* Skip this option.  */
+#define SKIPOPT		(1<<3)
+
+#ifndef LIBSTDCXX
+#define LIBSTDCXX "stdc++"
+#endif
+#ifndef LIBSTDCXX_PROFILE
+#define LIBSTDCXX_PROFILE LIBSTDCXX
+#endif
+
+#ifndef LIBPHOBOS
+#define LIBPHOBOS "gphobos"
+#endif
+#ifndef LIBPHOBOS_PROFILE
+#define LIBPHOBOS_PROFILE LIBPHOBOS
+#endif
+
+#ifndef LIBDRUNTIME
+#define LIBDRUNTIME "gdruntime"
+#endif
+#ifndef LIBDRUNTIME_PROFILE
+#define LIBDRUNTIME_PROFILE LIBDRUNTIME
+#endif
+
+/* What do with libgphobos.  */
+enum phobos_action
+{
+  /* libgphobos should not be linked in.  */
+  PHOBOS_NOLINK = -1,
+  /* libgphobos should be linked in if it is needed.  */
+  PHOBOS_DEFAULT = 0,
+  /* libgphobos is needed and should be linked in.  */
+  PHOBOS_LINK,
+  /* libgphobos is needed and should be linked statically.  */
+  PHOBOS_STATIC,
+  /* libgphobos is needed and should be linked dynamically.  */
+  PHOBOS_DYNAMIC,
+};
+
+static phobos_action phobos_library = PHOBOS_DEFAULT;
+
+/* If true, use the standard D runtime library when linking with
+   standard libraries.  */
+static bool need_phobos = true;
+
+void
+lang_specific_driver (cl_decoded_option **in_decoded_options,
+		      unsigned int *in_decoded_options_count,
+		      int *in_added_libraries)
+{
+  unsigned int i, j;
+
+  /* If nonzero, the user gave us the `-p' or `-pg' flag.  */
+  int saw_profile_flag = 0;
+
+  /* If true, the user gave `-g'.  Used by -debuglib.  */
+  bool saw_debug_flag = false;
+
+  /* The new argument list will be contained in this.  */
+  cl_decoded_option *new_decoded_options;
+
+  /* "-lstdc++" if it appears on the command line.  */
+  const cl_decoded_option *saw_libcxx = 0;
+
+  /* Whether we need the C++ STD library.  */
+  bool need_stdcxx = false;
+
+  /* True if we saw -static.  */
+  bool static_link = false;
+
+  /* True if we should add -shared-libgcc to the command-line.  */
+  bool shared_libgcc = true;
+
+  /* What default library to use instead of phobos.  */
+  const char *defaultlib = NULL;
+
+  /* What debug library to use instead of phobos.  */
+  const char *debuglib = NULL;
+
+  /* The total number of arguments with the new stuff.  */
+  unsigned int num_args = 1;
+
+  /* "-fonly" if it appears on the command line.  */
+  const char *only_source_option = 0;
+
+  /* Whether the -o option was used.  */
+  bool saw_opt_o = false;
+
+  /* Whether the -c option was used.  Also used for -E, -fsyntax-only,
+     in general anything which implies only compilation and not linking.  */
+  bool saw_opt_c = false;
+
+  /* Whether the -S option was used.  */
+  bool saw_opt_S = false;
+
+  /* The first input file with an extension of .d.  */
+  const char *first_d_file = NULL;
+
+  /* The total number of arguments with the new stuff.  */
+  unsigned int argc = *in_decoded_options_count;
+
+  /* The argument list.  */
+  cl_decoded_option *decoded_options = *in_decoded_options;
+
+  /* The number of libraries added in.  */
+  int added_libraries = *in_added_libraries;
+
+  /* An array used to flag each argument that needs a bit set for
+     DSOURCE, MATHLIB, WITHTHREAD, WITHLIBC or WITHLIBCXX.  */
+  int *args = XCNEWVEC (int, argc);
+
+  for (i = 1; i < argc; i++)
+    {
+      const char *arg = decoded_options[i].arg;
+
+      switch (decoded_options[i].opt_index)
+	{
+	case OPT_nostdlib:
+	case OPT_nodefaultlibs:
+	  phobos_library = PHOBOS_NOLINK;
+	  break;
+
+	case OPT_nophoboslib:
+	  need_phobos = false;
+	  args[i] |= SKIPOPT;
+	  break;
+
+	case OPT_defaultlib_:
+	  if (defaultlib != NULL)
+	    free (CONST_CAST (char *, defaultlib));
+	  if (arg != NULL)
+	    {
+	      need_phobos = false;
+	      args[i] |= SKIPOPT;
+	      defaultlib = XNEWVEC (char, strlen (arg));
+	      strcpy (CONST_CAST (char *, defaultlib), arg);
+	    }
+	  break;
+
+	case OPT_debuglib_:
+	  if (debuglib != NULL)
+	    free (CONST_CAST (char *, debuglib));
+	  if (arg != NULL)
+	    {
+	      need_phobos = false;
+	      args[i] |= SKIPOPT;
+	      debuglib = XNEWVEC (char, strlen (arg));
+	      strcpy (CONST_CAST (char *, debuglib), arg);
+	    }
+	  break;
+
+	case OPT_l:
+	  if ((strcmp (arg, LIBSTDCXX) == 0)
+	      || (strcmp (arg, LIBSTDCXX_PROFILE) == 0))
+	    {
+	      args[i] |= WITHLIBCXX;
+	      need_stdcxx = false;
+	    }
+	  /* Unrecognized libraries (e.g. -ltango) may require libphobos.  */
+	  else if (phobos_library == PHOBOS_DEFAULT)
+	    phobos_library = PHOBOS_LINK;
+	  break;
+
+	case OPT_pg:
+	case OPT_p:
+	  saw_profile_flag++;
+	  break;
+
+	case OPT_g:
+	  saw_debug_flag = true;
+	  break;
+
+	case OPT_v:
+	  /* If they only gave us `-v', don't try to link in libphobos.  */
+	  if (argc == 2)
+	    phobos_library = PHOBOS_NOLINK;
+	  break;
+
+	case OPT_x:
+	  if (phobos_library == PHOBOS_DEFAULT && (strcmp (arg, "d") == 0))
+	    phobos_library = PHOBOS_LINK;
+	  break;
+
+	case OPT_Xlinker:
+	case OPT_Wl_:
+	  /* Arguments that go directly to the linker might be .o files
+	     or something, and so might cause libphobos to be needed.  */
+	  if (phobos_library == PHOBOS_DEFAULT)
+	    phobos_library = PHOBOS_LINK;
+	  break;
+
+	case OPT_c:
+	case OPT_E:
+	case OPT_M:
+	case OPT_MM:
+	case OPT_fsyntax_only:
+	  /* Don't specify libaries if we won't link, since that would
+	     cause a warning.  */
+	  saw_opt_c = true;
+	  phobos_library = PHOBOS_NOLINK;
+	  break;
+
+	case OPT_S:
+	  saw_opt_S = true;
+	  phobos_library = PHOBOS_NOLINK;
+	  break;
+
+	case OPT_o:
+	  saw_opt_o = true;
+	  break;
+
+	case OPT_static:
+	  static_link = true;
+	  break;
+
+	case OPT_static_libgcc:
+	  shared_libgcc = false;
+	  break;
+
+	case OPT_static_libphobos:
+	  if (phobos_library != PHOBOS_NOLINK)
+	    phobos_library = PHOBOS_STATIC;
+	  args[i] |= SKIPOPT;
+	  break;
+
+	case OPT_shared_libphobos:
+	  if (phobos_library != PHOBOS_NOLINK)
+	    phobos_library = PHOBOS_DYNAMIC;
+	  args[i] |= SKIPOPT;
+	  break;
+
+	case OPT_fonly_:
+	  args[i] |= SKIPOPT;
+	  only_source_option = decoded_options[i].orig_option_with_args_text;
+
+	  if (arg != NULL)
+	    {
+	      const char *suffix = strrchr (only_source_option, '.');
+	      if (suffix == NULL || strcmp (suffix, ".d") != 0)
+		only_source_option = concat (only_source_option, ".d", NULL);
+	    }
+	  break;
+
+	case OPT_SPECIAL_input_file:
+	  {
+	    if (arg[0] == '\0' || arg[1] == '\0')
+	      continue;
+
+	    if (phobos_library == PHOBOS_DEFAULT)
+	      phobos_library = PHOBOS_LINK;
+
+	    /* Record that this is a D source file.  */
+	    const char *suffix = strrchr (arg, '.');
+	    if (suffix != NULL && strcmp (suffix, ".d") == 0)
+	      {
+		if (first_d_file == NULL)
+		  first_d_file = arg;
+
+		args[i] |= DSOURCE;
+	      }
+
+	    /* If this is a C++ source file, we'll need to link
+	       against libstdc++ library.  */
+	    if (suffix != NULL
+		&& (strcmp (suffix, ".cc") == 0
+		    || (strcmp (suffix, ".cpp") == 0)
+		    || (strcmp (suffix, ".c++") == 0)))
+	      need_stdcxx = true;
+
+	    break;
+	  }
+	}
+    }
+
+  /* There's no point adding -shared-libgcc if we don't have a shared
+     libgcc.  */
+#ifndef ENABLE_SHARED_LIBGCC
+  shared_libgcc = false;
+#endif
+
+  /* Make sure to have room for the trailing NULL argument.
+     - needstdcxx might add `-lstdcxx'
+     - libphobos adds `-Bstatic -lphobos -ldruntime -Bdynamic'
+     - only_source adds 1 more arg, also maybe add `-o'.  */
+  num_args = argc + need_stdcxx + shared_libgcc + need_phobos * 4 + 2;
+  new_decoded_options = XNEWVEC (cl_decoded_option, num_args);
+
+  i = 0;
+  j = 0;
+
+  /* Copy the 0th argument, i.e., the name of the program itself.  */
+  new_decoded_options[j++] = decoded_options[i++];
+
+  /* NOTE: We start at 1 now, not 0.  */
+  while (i < argc)
+    {
+      if (args[i] & SKIPOPT)
+	{
+	  ++i;
+	  continue;
+	}
+
+      new_decoded_options[j] = decoded_options[i];
+
+      if (!saw_libcxx && (args[i] & WITHLIBCXX))
+	{
+	  --j;
+	  saw_libcxx = &decoded_options[i];
+	}
+
+      if (args[i] & DSOURCE)
+	{
+	  if (only_source_option)
+	    --j;
+	}
+
+      i++;
+      j++;
+    }
+
+  if (only_source_option)
+    {
+      const char *only_source_arg = only_source_option + 7;
+      generate_option (OPT_fonly_, only_source_arg, 1, CL_DRIVER,
+		       &new_decoded_options[j]);
+      j++;
+
+      generate_option_input_file (only_source_arg,
+				  &new_decoded_options[j++]);
+    }
+
+  /* If no reason to link against libphobos library, then don't add it.  */
+  if (phobos_library == PHOBOS_DEFAULT)
+    phobos_library = PHOBOS_NOLINK;
+
+  /* If we didn't see a -o option, add one.  This is because we need the
+     driver to pass all .d files to the D compiler.  Without a -o option
+     the driver will invoke the compiler separately for each input file.  */
+  if (first_d_file != NULL && !saw_opt_o)
+    {
+      if (saw_opt_c || saw_opt_S)
+	{
+	  const char *base = lbasename (first_d_file);
+	  int baselen = strlen (base) - 2;
+	  char *out = XNEWVEC (char, baselen + 3);
+
+	  memcpy (out, base, baselen);
+	  /* The driver will convert .o to some other suffix if appropriate.  */
+	  out[baselen] = '.';
+	  if (saw_opt_S)
+	    out[baselen + 1] = 's';
+	  else
+	    out[baselen + 1] = 'o';
+	  out[baselen + 2] = '\0';
+	  generate_option (OPT_o, out, 1, CL_DRIVER,
+			   &new_decoded_options[j]);
+	}
+      else
+	{
+	  /* Wouldn't be necessary if the driver converted .out also.  */
+	  const char *out = NULL;
+
+#ifdef TARGET_EXECUTABLE_SUFFIX
+	  if (TARGET_EXECUTABLE_SUFFIX[0] != 0)
+	    out = "a" TARGET_EXECUTABLE_SUFFIX;
+#endif
+	  if (out == NULL)
+	    out = "a.out";
+
+	  generate_option (OPT_o, out, 1, CL_DRIVER,
+			   &new_decoded_options[j]);
+	}
+      j++;
+    }
+
+  /* Add `-lgphobos' if we haven't already done so.  */
+  if (phobos_library != PHOBOS_NOLINK && need_phobos)
+    {
+      /* Default to static linking.  */
+      if (phobos_library != PHOBOS_DYNAMIC)
+	phobos_library = PHOBOS_STATIC;
+
+#ifdef HAVE_LD_STATIC_DYNAMIC
+      if (phobos_library == PHOBOS_DYNAMIC && static_link)
+	{
+	  generate_option (OPT_Wl_, LD_DYNAMIC_OPTION, 1, CL_DRIVER,
+			   &new_decoded_options[j]);
+	  j++;
+	}
+      else if (phobos_library == PHOBOS_STATIC && !static_link)
+	{
+	  generate_option (OPT_Wl_, LD_STATIC_OPTION, 1, CL_DRIVER,
+			   &new_decoded_options[j]);
+	  j++;
+	}
+#endif
+
+      generate_option (OPT_l,
+		       saw_profile_flag ? LIBPHOBOS_PROFILE : LIBPHOBOS, 1,
+		       CL_DRIVER, &new_decoded_options[j]);
+      added_libraries++;
+      j++;
+      generate_option (OPT_l,
+		       saw_profile_flag ? LIBDRUNTIME_PROFILE : LIBDRUNTIME, 1,
+		       CL_DRIVER, &new_decoded_options[j]);
+      added_libraries++;
+      j++;
+
+#ifdef HAVE_LD_STATIC_DYNAMIC
+      if (phobos_library == PHOBOS_DYNAMIC && static_link)
+	{
+	  generate_option (OPT_Wl_, LD_STATIC_OPTION, 1, CL_DRIVER,
+			   &new_decoded_options[j]);
+	  j++;
+	}
+      else if (phobos_library == PHOBOS_STATIC && !static_link)
+	{
+	  generate_option (OPT_Wl_, LD_DYNAMIC_OPTION, 1, CL_DRIVER,
+			   &new_decoded_options[j]);
+	  j++;
+	}
+#endif
+    }
+  else if (saw_debug_flag && debuglib)
+    {
+      generate_option (OPT_l, debuglib, 1, CL_DRIVER,
+		       &new_decoded_options[j++]);
+      added_libraries++;
+    }
+  else if (defaultlib)
+    {
+      generate_option (OPT_l, defaultlib, 1, CL_DRIVER,
+		       &new_decoded_options[j++]);
+      added_libraries++;
+    }
+
+  if (saw_libcxx)
+    new_decoded_options[j++] = *saw_libcxx;
+  else if (need_stdcxx)
+    {
+      generate_option (OPT_l,
+		       (saw_profile_flag
+			? LIBSTDCXX_PROFILE
+			: LIBSTDCXX),
+		       1, CL_DRIVER, &new_decoded_options[j++]);
+      added_libraries++;
+    }
+
+  if (shared_libgcc && !static_link)
+    {
+      generate_option (OPT_shared_libgcc, NULL, 1, CL_DRIVER,
+		       &new_decoded_options[j++]);
+    }
+
+  *in_decoded_options_count = j;
+  *in_decoded_options = new_decoded_options;
+  *in_added_libraries = added_libraries;
+}
+
+/* Called before linking.  Returns 0 on success and -1 on failure.  */
+
+int
+lang_specific_pre_link (void)
+{
+  if (phobos_library != PHOBOS_NOLINK && need_phobos)
+    do_spec ("%:include(libgphobos.spec)");
+
+  return 0;
+}
+
+/* Number of extra output files that lang_specific_pre_link may generate.  */
+
+int lang_specific_extra_outfiles = 0;  /* Not used for D.  */
+