sem_aux.adb, [...] (Get_Low_Bound): Use Type_Low_Bound.
[gcc.git] / gcc / lto-wrapper.c
index 45ce32157c84382c044d1ff187cefe5ebb867ea8..11bf9ad063913518326eaec429eb236f796024a8 100644 (file)
@@ -1,5 +1,5 @@
 /* Wrapper to call lto.  Used by collect2 and the linker plugin.
-   Copyright (C) 2009-2014 Free Software Foundation, Inc.
+   Copyright (C) 2009-2015 Free Software Foundation, Inc.
 
    Factored out of collect2 by Rafael Espindola <espindola@google.com>
 
@@ -49,6 +49,10 @@ along with GCC; see the file COPYING3.  If not see
 #include "lto-section-names.h"
 #include "collect-utils.h"
 
+/* Environment variable, used for passing the names of offload targets from GCC
+   driver to lto-wrapper.  */
+#define OFFLOAD_TARGET_NAMES_ENV       "OFFLOAD_TARGET_NAMES"
+
 enum lto_mode_d {
   LTO_MODE_NONE,                       /* Not doing LTO.  */
   LTO_MODE_LTO,                                /* Normal LTO.  */
@@ -63,6 +67,8 @@ static char *flto_out;
 static unsigned int nr;
 static char **input_names;
 static char **output_names;
+static char **offload_names;
+static const char *offloadbegin, *offloadend;
 static char *makefile;
 
 const char tool_name[] = "lto-wrapper";
@@ -70,7 +76,7 @@ const char tool_name[] = "lto-wrapper";
 /* Delete tempfiles.  Called from utils_cleanup.  */
 
 void
-tool_cleanup (void)
+tool_cleanup (bool)
 {
   unsigned int i;
 
@@ -91,7 +97,7 @@ tool_cleanup (void)
 static void
 lto_wrapper_cleanup (void)
 {
-  utils_cleanup ();
+  utils_cleanup (false);
 }
 
 /* Unlink a temporary LTRANS file unless requested otherwise.  */
@@ -99,11 +105,11 @@ lto_wrapper_cleanup (void)
 void
 maybe_unlink (const char *file)
 {
-  if (! debug)
+  if (!save_temps)
     {
       if (unlink_if_ordinary (file)
          && errno != ENOENT)
-       fatal_error ("deleting LTRANS file %s: %m", file);
+       fatal_error (input_location, "deleting LTRANS file %s: %m", file);
     }
   else if (verbose)
     fprintf (stderr, "[Leaving LTRANS %s]\n", file);
@@ -140,7 +146,7 @@ get_options_from_collect_gcc_options (const char *collect_gcc,
          do
            {
              if (argv_storage[j] == '\0')
-               fatal_error ("malformed COLLECT_GCC_OPTIONS");
+               fatal_error (input_location, "malformed COLLECT_GCC_OPTIONS");
              else if (strncmp (&argv_storage[j], "'\\''", 4) == 0)
                {
                  argv_storage[k++] = '\'';
@@ -261,14 +267,22 @@ merge_and_complain (struct cl_decoded_option **decoded_options,
            (*decoded_options)[j] = *foption;
          break;
 
+       case OPT_fmath_errno:
+       case OPT_fsigned_zeros:
+       case OPT_ftrapping_math:
        case OPT_fwrapv:
+       case OPT_fopenmp:
+       case OPT_fopenacc:
          /* For selected options we can merge conservatively.  */
          for (j = 0; j < *decoded_options_count; ++j)
            if ((*decoded_options)[j].opt_index == foption->opt_index)
              break;
          if (j == *decoded_options_count)
            append_option (decoded_options, decoded_options_count, foption);
-         /* -fwrapv > -fno-wrapv.  */
+         /* -fmath-errno > -fno-math-errno,
+            -fsigned-zeros > -fno-signed-zeros,
+            -ftrapping-math -> -fno-trapping-math,
+            -fwrapv > -fno-wrapv.  */
          else if (foption->value > (*decoded_options)[j].value)
            (*decoded_options)[j] = *foption;
          break;
@@ -280,7 +294,20 @@ merge_and_complain (struct cl_decoded_option **decoded_options,
            if ((*decoded_options)[j].opt_index == foption->opt_index)
              break;
          if (j == *decoded_options_count)
-           fatal_error ("Option %s not used consistently in all LTO input"
+           fatal_error (input_location,
+                        "Option %s not used consistently in all LTO input"
+                        " files", foption->orig_option_with_args_text);
+         break;
+
+       case OPT_foffload_abi_:
+         for (j = 0; j < *decoded_options_count; ++j)
+           if ((*decoded_options)[j].opt_index == foption->opt_index)
+             break;
+         if (j == *decoded_options_count)
+           append_option (decoded_options, decoded_options_count, foption);
+         else if (foption->value != (*decoded_options)[j].value)
+           fatal_error (input_location,
+                        "Option %s not used consistently in all LTO input"
                         " files", foption->orig_option_with_args_text);
          break;
 
@@ -348,16 +375,499 @@ merge_and_complain (struct cl_decoded_option **decoded_options,
                }
              (*decoded_options)[j].opt_index = OPT_O;
              char *tem;
-             asprintf (&tem, "-O%d", level);
+             tem = xasprintf ("-O%d", level);
              (*decoded_options)[j].arg = &tem[2];
              (*decoded_options)[j].canonical_option[0] = tem;
              (*decoded_options)[j].value = 1;
            }
          break;
+
+       case OPT_foffload_:
+         append_option (decoded_options, decoded_options_count, foption);
+         break;
+       }
+    }
+}
+
+/* Auxiliary function that frees elements of PTR and PTR itself.
+   N is number of elements to be freed.  If PTR is NULL, nothing is freed.
+   If an element is NULL, subsequent elements are not freed.  */
+
+static void **
+free_array_of_ptrs (void **ptr, unsigned n)
+{
+  if (!ptr)
+    return NULL;
+  for (unsigned i = 0; i < n; i++)
+    {
+      if (!ptr[i])
+       break;
+      free (ptr[i]);
+    }
+  free (ptr);
+  return NULL;
+}
+
+/* Parse STR, saving found tokens into PVALUES and return their number.
+   Tokens are assumed to be delimited by ':'.  If APPEND is non-null,
+   append it to every token we find.  */
+
+static unsigned
+parse_env_var (const char *str, char ***pvalues, const char *append)
+{
+  const char *curval, *nextval;
+  char **values;
+  unsigned num = 1, i;
+
+  curval = strchr (str, ':');
+  while (curval)
+    {
+      num++;
+      curval = strchr (curval + 1, ':');
+    }
+
+  values = (char**) xmalloc (num * sizeof (char*));
+  curval = str;
+  nextval = strchr (curval, ':');
+  if (nextval == NULL)
+    nextval = strchr (curval, '\0');
+
+  int append_len = append ? strlen (append) : 0;
+  for (i = 0; i < num; i++)
+    {
+      int l = nextval - curval;
+      values[i] = (char*) xmalloc (l + 1 + append_len);
+      memcpy (values[i], curval, l);
+      values[i][l] = 0;
+      if (append)
+       strcat (values[i], append);
+      curval = nextval + 1;
+      nextval = strchr (curval, ':');
+      if (nextval == NULL)
+       nextval = strchr (curval, '\0');
+    }
+  *pvalues = values;
+  return num;
+}
+
+/* Append options OPTS from lto or offload_lto sections to ARGV_OBSTACK.  */
+
+static void
+append_compiler_options (obstack *argv_obstack, struct cl_decoded_option *opts,
+                        unsigned int count)
+{
+  /* Append compiler driver arguments as far as they were merged.  */
+  for (unsigned int j = 1; j < count; ++j)
+    {
+      struct cl_decoded_option *option = &opts[j];
+
+      /* File options have been properly filtered by lto-opts.c.  */
+      switch (option->opt_index)
+       {
+       /* Drop arguments that we want to take from the link line.  */
+       case OPT_flto_:
+       case OPT_flto:
+       case OPT_flto_partition_:
+         continue;
+
+       default:
+         break;
+       }
+
+      /* For now do what the original LTO option code was doing - pass
+        on any CL_TARGET flag and a few selected others.  */
+      switch (option->opt_index)
+       {
+       case OPT_fPIC:
+       case OPT_fpic:
+       case OPT_fPIE:
+       case OPT_fpie:
+       case OPT_fcommon:
+       case OPT_fexceptions:
+       case OPT_fnon_call_exceptions:
+       case OPT_fgnu_tm:
+       case OPT_freg_struct_return:
+       case OPT_fpcc_struct_return:
+       case OPT_fshort_double:
+       case OPT_ffp_contract_:
+       case OPT_fmath_errno:
+       case OPT_fsigned_zeros:
+       case OPT_ftrapping_math:
+       case OPT_fwrapv:
+       case OPT_fopenmp:
+       case OPT_fopenacc:
+       case OPT_ftrapv:
+       case OPT_fstrict_overflow:
+       case OPT_foffload_abi_:
+       case OPT_O:
+       case OPT_Ofast:
+       case OPT_Og:
+       case OPT_Os:
+         break;
+
+       default:
+         if (!(cl_options[option->opt_index].flags & CL_TARGET))
+           continue;
+       }
+
+      /* Pass the option on.  */
+      for (unsigned int i = 0; i < option->canonical_option_num_elements; ++i)
+       obstack_ptr_grow (argv_obstack, option->canonical_option[i]);
+    }
+}
+
+/* Append linker options OPTS to ARGV_OBSTACK.  */
+
+static void
+append_linker_options (obstack *argv_obstack, struct cl_decoded_option *opts,
+                      unsigned int count)
+{
+  /* Append linker driver arguments.  Compiler options from the linker
+     driver arguments will override / merge with those from the compiler.  */
+  for (unsigned int j = 1; j < count; ++j)
+    {
+      struct cl_decoded_option *option = &opts[j];
+
+      /* Do not pass on frontend specific flags not suitable for lto.  */
+      if (!(cl_options[option->opt_index].flags
+           & (CL_COMMON|CL_TARGET|CL_DRIVER|CL_LTO)))
+       continue;
+
+      switch (option->opt_index)
+       {
+       case OPT_o:
+       case OPT_flto_:
+       case OPT_flto:
+         /* We've handled these LTO options, do not pass them on.  */
+         continue;
+
+       case OPT_freg_struct_return:
+       case OPT_fpcc_struct_return:
+       case OPT_fshort_double:
+         /* Ignore these, they are determined by the input files.
+            ???  We fail to diagnose a possible mismatch here.  */
+         continue;
+
+       default:
+         break;
+       }
+
+      /* Pass the option on.  */
+      for (unsigned int i = 0; i < option->canonical_option_num_elements; ++i)
+       obstack_ptr_grow (argv_obstack, option->canonical_option[i]);
+    }
+}
+
+/* Extract options for TARGET offload compiler from OPTIONS and append
+   them to ARGV_OBSTACK.  */
+
+static void
+append_offload_options (obstack *argv_obstack, const char *target,
+                       struct cl_decoded_option *options,
+                       unsigned int options_count)
+{
+  for (unsigned i = 0; i < options_count; i++)
+    {
+      const char *cur, *next, *opts;
+      char **argv;
+      unsigned argc;
+      struct cl_decoded_option *option = &options[i];
+
+      if (option->opt_index != OPT_foffload_)
+       continue;
+
+      /* If option argument starts with '-' then no target is specified.  That
+        means offload options are specified for all targets, so we need to
+        append them.  */
+      if (option->arg[0] == '-')
+       opts = option->arg;
+      else
+       {
+         opts = strchr (option->arg, '=');
+         if (!opts)
+           continue;
+
+         cur = option->arg;
+
+         while (cur < opts)
+           {
+             next = strchr (cur, ',');
+             if (next == NULL)
+               next = opts;
+             next = (next > opts) ? opts : next;
+
+             if (strlen (target) == (size_t) (next - cur)
+                 && strncmp (target, cur, next - cur) == 0)
+               break;
+
+             cur = next + 1;
+           }
+
+         if (cur >= opts)
+           continue;
+
+         opts++;
        }
+
+      argv = buildargv (opts);
+      for (argc = 0; argv[argc]; argc++)
+       obstack_ptr_grow (argv_obstack, argv[argc]);
     }
 }
 
+/* Check whether NAME can be accessed in MODE.  This is like access,
+   except that it never considers directories to be executable.  */
+
+static int
+access_check (const char *name, int mode)
+{
+  if (mode == X_OK)
+    {
+      struct stat st;
+
+      if (stat (name, &st) < 0
+         || S_ISDIR (st.st_mode))
+       return -1;
+    }
+
+  return access (name, mode);
+}
+
+/* Prepare a target image for offload TARGET, using mkoffload tool from
+   COMPILER_PATH.  Return the name of the resultant object file.  */
+
+static char *
+compile_offload_image (const char *target, const char *compiler_path,
+                      unsigned in_argc, char *in_argv[],
+                      struct cl_decoded_option *compiler_opts,
+                      unsigned int compiler_opt_count,
+                      struct cl_decoded_option *linker_opts,
+                      unsigned int linker_opt_count)
+{
+  char *filename = NULL;
+  char **argv;
+  char *suffix
+    = XALLOCAVEC (char, sizeof ("/accel//mkoffload") + strlen (target));
+  strcpy (suffix, "/accel/");
+  strcat (suffix, target);
+  strcat (suffix, "/mkoffload");
+
+  char **paths = NULL;
+  unsigned n_paths = parse_env_var (compiler_path, &paths, suffix);
+
+  const char *compiler = NULL;
+  for (unsigned i = 0; i < n_paths; i++)
+    if (access_check (paths[i], X_OK) == 0)
+      {
+       compiler = paths[i];
+       break;
+      }
+
+  if (compiler)
+    {
+      /* Generate temporary output file name.  */
+      filename = make_temp_file (".target.o");
+
+      struct obstack argv_obstack;
+      obstack_init (&argv_obstack);
+      obstack_ptr_grow (&argv_obstack, compiler);
+      obstack_ptr_grow (&argv_obstack, "-o");
+      obstack_ptr_grow (&argv_obstack, filename);
+
+      /* Append names of input object files.  */
+      for (unsigned i = 0; i < in_argc; i++)
+       obstack_ptr_grow (&argv_obstack, in_argv[i]);
+
+      /* Append options from offload_lto sections.  */
+      append_compiler_options (&argv_obstack, compiler_opts,
+                              compiler_opt_count);
+
+      /* Append options specified by -foffload last.  In case of conflicting
+        options we expect offload compiler to choose the latest.  */
+      append_offload_options (&argv_obstack, target, compiler_opts,
+                             compiler_opt_count);
+      append_offload_options (&argv_obstack, target, linker_opts,
+                             linker_opt_count);
+
+      obstack_ptr_grow (&argv_obstack, NULL);
+      argv = XOBFINISH (&argv_obstack, char **);
+      fork_execute (argv[0], argv, true);
+      obstack_free (&argv_obstack, NULL);
+    }
+
+  free_array_of_ptrs ((void **) paths, n_paths);
+  return filename;
+}
+
+
+/* The main routine dealing with offloading.
+   The routine builds a target image for each offload target.  IN_ARGC and
+   IN_ARGV specify options and input object files.  As all of them could contain
+   target sections, we pass them all to target compilers.  */
+
+static void
+compile_images_for_offload_targets (unsigned in_argc, char *in_argv[],
+                                   struct cl_decoded_option *compiler_opts,
+                                   unsigned int compiler_opt_count,
+                                   struct cl_decoded_option *linker_opts,
+                                   unsigned int linker_opt_count)
+{
+  char **names = NULL;
+  const char *target_names = getenv (OFFLOAD_TARGET_NAMES_ENV);
+  if (!target_names)
+    return;
+  unsigned num_targets = parse_env_var (target_names, &names, NULL);
+
+  const char *compiler_path = getenv ("COMPILER_PATH");
+  if (!compiler_path)
+    goto out;
+
+  /* Prepare an image for each target and save the name of the resultant object
+     file to the OFFLOAD_NAMES array.  It is terminated by a NULL entry.  */
+  offload_names = XCNEWVEC (char *, num_targets + 1);
+  for (unsigned i = 0; i < num_targets; i++)
+    {
+      offload_names[i]
+       = compile_offload_image (names[i], compiler_path, in_argc, in_argv,
+                                compiler_opts, compiler_opt_count,
+                                linker_opts, linker_opt_count);
+      if (!offload_names[i])
+       fatal_error (input_location,
+                    "problem with building target image for %s\n", names[i]);
+    }
+
+ out:
+  free_array_of_ptrs ((void **) names, num_targets);
+}
+
+/* Copy a file from SRC to DEST.  */
+
+static void
+copy_file (const char *dest, const char *src)
+{
+  FILE *d = fopen (dest, "wb");
+  FILE *s = fopen (src, "rb");
+  char buffer[512];
+  while (!feof (s))
+    {
+      size_t len = fread (buffer, 1, 512, s);
+      if (ferror (s) != 0)
+       fatal_error (input_location, "reading input file");
+      if (len > 0)
+       {
+         fwrite (buffer, 1, len, d);
+         if (ferror (d) != 0)
+           fatal_error (input_location, "writing output file");
+       }
+    }
+}
+
+/* Find the crtoffloadbegin.o and crtoffloadend.o files in LIBRARY_PATH, make
+   copies and store the names of the copies in offloadbegin and offloadend.  */
+
+static void
+find_offloadbeginend (void)
+{
+  char **paths = NULL;
+  const char *library_path = getenv ("LIBRARY_PATH");
+  if (!library_path)
+    return;
+  unsigned n_paths = parse_env_var (library_path, &paths, "/crtoffloadbegin.o");
+
+  unsigned i;
+  for (i = 0; i < n_paths; i++)
+    if (access_check (paths[i], R_OK) == 0)
+      {
+       size_t len = strlen (paths[i]);
+       char *tmp = xstrdup (paths[i]);
+       strcpy (paths[i] + len - strlen ("begin.o"), "end.o");
+       if (access_check (paths[i], R_OK) != 0)
+         fatal_error (input_location,
+                      "installation error, can't find crtoffloadend.o");
+       /* The linker will delete the filenames we give it, so make
+          copies.  */
+       offloadbegin = make_temp_file (".o");
+       offloadend = make_temp_file (".o");
+       copy_file (offloadbegin, tmp);
+       copy_file (offloadend, paths[i]);
+       free (tmp);
+       break;
+      }
+  if (i == n_paths)
+    fatal_error (input_location,
+                "installation error, can't find crtoffloadbegin.o");
+
+  free_array_of_ptrs ((void **) paths, n_paths);
+}
+
+/* A subroutine of run_gcc.  Examine the open file FD for lto sections with
+   name prefix PREFIX, at FILE_OFFSET, and store any options we find in OPTS
+   and OPT_COUNT.  Return true if we found a matchingn section, false
+   otherwise.  COLLECT_GCC holds the value of the environment variable with
+   the same name.  */
+
+static bool
+find_and_merge_options (int fd, off_t file_offset, const char *prefix,
+                       struct cl_decoded_option **opts,
+                       unsigned int *opt_count, const char *collect_gcc)
+{
+  off_t offset, length;
+  char *data;
+  char *fopts;
+  const char *errmsg;
+  int err;
+  struct cl_decoded_option *fdecoded_options = *opts;
+  unsigned int fdecoded_options_count = *opt_count;
+
+  simple_object_read *sobj;
+  sobj = simple_object_start_read (fd, file_offset, "__GNU_LTO",
+                                  &errmsg, &err);
+  if (!sobj)
+    return false;
+
+  char *secname = XALLOCAVEC (char, strlen (prefix) + sizeof (".opts"));
+  strcpy (secname, prefix);
+  strcat (secname, ".opts");
+  if (!simple_object_find_section (sobj, secname, &offset, &length,
+                                  &errmsg, &err))
+    {
+      simple_object_release_read (sobj);
+      return false;
+    }
+
+  lseek (fd, file_offset + offset, SEEK_SET);
+  data = (char *)xmalloc (length);
+  read (fd, data, length);
+  fopts = data;
+  do
+    {
+      struct cl_decoded_option *f2decoded_options;
+      unsigned int f2decoded_options_count;
+      get_options_from_collect_gcc_options (collect_gcc,
+                                           fopts, CL_LANG_ALL,
+                                           &f2decoded_options,
+                                           &f2decoded_options_count);
+      if (!fdecoded_options)
+       {
+        fdecoded_options = f2decoded_options;
+        fdecoded_options_count = f2decoded_options_count;
+       }
+      else
+       merge_and_complain (&fdecoded_options,
+                           &fdecoded_options_count,
+                           f2decoded_options, f2decoded_options_count);
+
+      fopts += strlen (fopts) + 1;
+    }
+  while (fopts - data < length);
+
+  free (data);
+  simple_object_release_read (sobj);
+  *opts = fdecoded_options;
+  *opt_count = fdecoded_options_count;
+  return true;
+}
+
 /* Execute gcc. ARGC is the number of arguments. ARGV contains the arguments. */
 
 static void
@@ -373,39 +883,47 @@ run_gcc (unsigned argc, char *argv[])
   int jobserver = 0;
   bool no_partition = false;
   struct cl_decoded_option *fdecoded_options = NULL;
+  struct cl_decoded_option *offload_fdecoded_options = NULL;
   unsigned int fdecoded_options_count = 0;
+  unsigned int offload_fdecoded_options_count = 0;
   struct cl_decoded_option *decoded_options;
   unsigned int decoded_options_count;
   struct obstack argv_obstack;
   int new_head_argc;
+  bool have_lto = false;
+  bool have_offload = false;
+  unsigned lto_argc = 0, offload_argc = 0;
+  char **lto_argv, **offload_argv;
 
   /* Get the driver and options.  */
   collect_gcc = getenv ("COLLECT_GCC");
   if (!collect_gcc)
-    fatal_error ("environment variable COLLECT_GCC must be set");
+    fatal_error (input_location,
+                "environment variable COLLECT_GCC must be set");
   collect_gcc_options = getenv ("COLLECT_GCC_OPTIONS");
   if (!collect_gcc_options)
-    fatal_error ("environment variable COLLECT_GCC_OPTIONS must be set");
+    fatal_error (input_location,
+                "environment variable COLLECT_GCC_OPTIONS must be set");
   get_options_from_collect_gcc_options (collect_gcc, collect_gcc_options,
                                        CL_LANG_ALL,
                                        &decoded_options,
                                        &decoded_options_count);
 
+  /* Allocate arrays for input object files with LTO or offload IL,
+     and for possible preceding arguments.  */
+  lto_argv = XNEWVEC (char *, argc);
+  offload_argv = XNEWVEC (char *, argc);
+
   /* Look at saved options in the IL files.  */
   for (i = 1; i < argc; ++i)
     {
-      char *data, *p;
-      char *fopts;
+      char *p;
       int fd;
-      const char *errmsg;
-      int err;
-      off_t file_offset = 0, offset, length;
+      off_t file_offset = 0;
       long loffset;
-      simple_object_read *sobj;
       int consumed;
-      struct cl_decoded_option *f2decoded_options;
-      unsigned int f2decoded_options_count;
       char *filename = argv[i];
+
       if ((p = strrchr (argv[i], '@'))
          && p != argv[i] 
          && sscanf (p, "@%li%n", &loffset, &consumed) >= 1
@@ -416,49 +934,29 @@ run_gcc (unsigned argc, char *argv[])
          filename[p - argv[i]] = '\0';
          file_offset = (off_t) loffset;
        }
-      fd = open (argv[i], O_RDONLY);
+      fd = open (filename, O_RDONLY | O_BINARY);
       if (fd == -1)
-       continue;
-      sobj = simple_object_start_read (fd, file_offset, "__GNU_LTO", 
-                                      &errmsg, &err);
-      if (!sobj)
        {
-         close (fd);
+         lto_argv[lto_argc++] = argv[i];
          continue;
        }
-      if (!simple_object_find_section (sobj, LTO_SECTION_NAME_PREFIX "." "opts",
-                                      &offset, &length, &errmsg, &err))
+
+      if (find_and_merge_options (fd, file_offset, LTO_SECTION_NAME_PREFIX,
+                                 &fdecoded_options, &fdecoded_options_count,
+                                 collect_gcc))
        {
-         simple_object_release_read (sobj);
-         close (fd);
-         continue;
+         have_lto = true;
+         lto_argv[lto_argc++] = argv[i];
        }
-      lseek (fd, file_offset + offset, SEEK_SET);
-      data = (char *)xmalloc (length);
-      read (fd, data, length);
-      fopts = data;
-      do
-       {
-         get_options_from_collect_gcc_options (collect_gcc,
-                                               fopts, CL_LANG_ALL,
-                                               &f2decoded_options,
-                                               &f2decoded_options_count);
-         if (!fdecoded_options)
-           {
-             fdecoded_options = f2decoded_options;
-             fdecoded_options_count = f2decoded_options_count;
-           }
-         else
-           merge_and_complain (&fdecoded_options,
-                               &fdecoded_options_count,
-                               f2decoded_options, f2decoded_options_count);
 
-         fopts += strlen (fopts) + 1;
+      if (find_and_merge_options (fd, file_offset, OFFLOAD_SECTION_NAME_PREFIX,
+                                 &offload_fdecoded_options,
+                                 &offload_fdecoded_options_count, collect_gcc))
+       {
+         have_offload = true;
+         offload_argv[offload_argc++] = argv[i];
        }
-      while (fopts - data < length);
 
-      free (data);
-      simple_object_release_read (sobj);
       close (fd);
     }
 
@@ -468,79 +966,22 @@ run_gcc (unsigned argc, char *argv[])
   obstack_ptr_grow (&argv_obstack, "-xlto");
   obstack_ptr_grow (&argv_obstack, "-c");
 
-  /* Append compiler driver arguments as far as they were merged.  */
-  for (j = 1; j < fdecoded_options_count; ++j)
-    {
-      struct cl_decoded_option *option = &fdecoded_options[j];
+  append_compiler_options (&argv_obstack, fdecoded_options,
+                          fdecoded_options_count);
+  append_linker_options (&argv_obstack, decoded_options, decoded_options_count);
 
-      /* File options have been properly filtered by lto-opts.c.  */
-      switch (option->opt_index)
-       {
-         /* Drop arguments that we want to take from the link line.  */
-         case OPT_flto_:
-         case OPT_flto:
-         case OPT_flto_partition_:
-             continue;
-
-         default:
-             break;
-       }
-
-      /* For now do what the original LTO option code was doing - pass
-        on any CL_TARGET flag and a few selected others.  */
-      switch (option->opt_index)
-       {
-       case OPT_fPIC:
-       case OPT_fpic:
-       case OPT_fPIE:
-       case OPT_fpie:
-       case OPT_fcommon:
-       case OPT_fexceptions:
-       case OPT_fnon_call_exceptions:
-       case OPT_fgnu_tm:
-       case OPT_freg_struct_return:
-       case OPT_fpcc_struct_return:
-       case OPT_fshort_double:
-       case OPT_ffp_contract_:
-       case OPT_fwrapv:
-       case OPT_ftrapv:
-       case OPT_fstrict_overflow:
-       case OPT_O:
-       case OPT_Ofast:
-       case OPT_Og:
-       case OPT_Os:
-         break;
-
-       default:
-         if (!(cl_options[option->opt_index].flags & CL_TARGET))
-           continue;
-       }
-
-      /* Pass the option on.  */
-      for (i = 0; i < option->canonical_option_num_elements; ++i)
-       obstack_ptr_grow (&argv_obstack, option->canonical_option[i]);
-    }
-
-  /* Append linker driver arguments.  Compiler options from the linker
-     driver arguments will override / merge with those from the compiler.  */
+  /* Scan linker driver arguments for things that are of relevance to us.  */
   for (j = 1; j < decoded_options_count; ++j)
     {
       struct cl_decoded_option *option = &decoded_options[j];
-
-      /* Do not pass on frontend specific flags not suitable for lto.  */
-      if (!(cl_options[option->opt_index].flags
-           & (CL_COMMON|CL_TARGET|CL_DRIVER|CL_LTO)))
-       continue;
-
       switch (option->opt_index)
        {
        case OPT_o:
          linker_output = option->arg;
-         /* We generate new intermediate output, drop this arg.  */
-         continue;
+         break;
 
        case OPT_save_temps:
-         debug = 1;
+         save_temps = 1;
          break;
 
        case OPT_v:
@@ -568,23 +1009,11 @@ run_gcc (unsigned argc, char *argv[])
 
        case OPT_flto:
          lto_mode = LTO_MODE_WHOPR;
-         /* We've handled these LTO options, do not pass them on.  */
-         continue;
-
-       case OPT_freg_struct_return:
-       case OPT_fpcc_struct_return:
-       case OPT_fshort_double:
-         /* Ignore these, they are determined by the input files.
-            ???  We fail to diagnose a possible mismatch here.  */
-         continue;
+         break;
 
        default:
          break;
        }
-
-      /* Pass the option on.  */
-      for (i = 0; i < option->canonical_option_num_elements; ++i)
-       obstack_ptr_grow (&argv_obstack, option->canonical_option[i]);
     }
 
   if (no_partition)
@@ -624,6 +1053,47 @@ run_gcc (unsigned argc, char *argv[])
   /* Remember at which point we can scrub args to re-use the commons.  */
   new_head_argc = obstack_object_size (&argv_obstack) / sizeof (void *);
 
+  if (have_offload)
+    {
+      compile_images_for_offload_targets (offload_argc, offload_argv,
+                                         offload_fdecoded_options,
+                                         offload_fdecoded_options_count,
+                                         decoded_options,
+                                         decoded_options_count);
+      if (offload_names)
+       {
+         find_offloadbeginend ();
+         for (i = 0; offload_names[i]; i++)
+           printf ("%s\n", offload_names[i]);
+         free_array_of_ptrs ((void **) offload_names, i);
+       }
+    }
+
+  if (offloadbegin)
+    printf ("%s\n", offloadbegin);
+
+  /* If object files contain offload sections, but do not contain LTO sections,
+     then there is no need to perform a link-time recompilation, i.e.
+     lto-wrapper is used only for a compilation of offload images.  */
+  if (have_offload && !have_lto)
+    {
+      for (i = 1; i < argc; ++i)
+       if (strncmp (argv[i], "-fresolution=", sizeof ("-fresolution=") - 1))
+         {
+           char *out_file;
+           /* Can be ".o" or ".so".  */
+           char *ext = strrchr (argv[i], '.');
+           if (ext == NULL)
+             out_file = make_temp_file ("");
+           else
+             out_file = make_temp_file (ext);
+           /* The linker will delete the files we give it, so make copies.  */
+           copy_file (out_file, argv[i]);
+           printf ("%s\n", out_file);
+         }
+      goto finish;
+    }
+
   if (lto_mode == LTO_MODE_LTO)
     {
       flto_out = make_temp_file (".lto.o");
@@ -647,7 +1117,7 @@ run_gcc (unsigned argc, char *argv[])
          obstack_ptr_grow (&argv_obstack, dumpbase);
        }
 
-      if (linker_output && debug)
+      if (linker_output && save_temps)
        {
          ltrans_output_file = (char *) xmalloc (strlen (linker_output)
                                                 + sizeof (".ltrans.out") + 1);
@@ -678,13 +1148,13 @@ run_gcc (unsigned argc, char *argv[])
     }
 
   /* Append the input objects and possible preceding arguments.  */
-  for (i = 1; i < argc; ++i)
-    obstack_ptr_grow (&argv_obstack, argv[i]);
+  for (i = 0; i < lto_argc; ++i)
+    obstack_ptr_grow (&argv_obstack, lto_argv[i]);
   obstack_ptr_grow (&argv_obstack, NULL);
 
   new_argv = XOBFINISH (&argv_obstack, const char **);
   argv_ptr = &new_argv[new_head_argc];
-  fork_execute (CONST_CAST (char **, new_argv));
+  fork_execute (new_argv[0], CONST_CAST (char **, new_argv), true);
 
   if (lto_mode == LTO_MODE_LTO)
     {
@@ -699,7 +1169,7 @@ run_gcc (unsigned argc, char *argv[])
       struct obstack env_obstack;
 
       if (!stream)
-       fatal_error ("fopen: %s: %m", ltrans_output_file);
+       fatal_error (input_location, "fopen: %s: %m", ltrans_output_file);
 
       /* Parse the list of LTRANS inputs from the WPA stage.  */
       obstack_init (&env_obstack);
@@ -785,14 +1255,15 @@ cont:
              /* If we are not preserving the ltrans input files then
                 truncate them as soon as we have processed it.  This
                 reduces temporary disk-space usage.  */
-             if (! debug)
+             if (! save_temps)
                fprintf (mstream, "\t@-touch -r %s %s.tem > /dev/null 2>&1 "
                         "&& mv %s.tem %s\n",
                         input_name, input_name, input_name, input_name); 
            }
          else
            {
-             fork_execute (CONST_CAST (char **, new_argv));
+             fork_execute (new_argv[0], CONST_CAST (char **, new_argv),
+                           true);
              maybe_unlink (input_name);
            }
 
@@ -828,8 +1299,9 @@ cont:
            }
          new_argv[i++] = "all";
          new_argv[i++] = NULL;
-         pex = collect_execute (CONST_CAST (char **, new_argv));
-         collect_wait (new_argv[0], pex);
+         pex = collect_execute (new_argv[0], CONST_CAST (char **, new_argv),
+                                NULL, NULL, PEX_SEARCH, false);
+         do_wait (new_argv[0], pex);
          maybe_unlink (makefile);
          makefile = NULL;
          for (i = 0; i < nr; ++i)
@@ -848,6 +1320,12 @@ cont:
       obstack_free (&env_obstack, NULL);
     }
 
+ finish:
+  if (offloadend)
+    printf ("%s\n", offloadend);
+
+  XDELETE (lto_argv);
+  XDELETE (offload_argv);
   obstack_free (&argv_obstack, NULL);
 }
 
@@ -868,13 +1346,13 @@ main (int argc, char *argv[])
 
   xmalloc_set_program_name (progname);
 
-  if (atexit (lto_wrapper_cleanup) != 0)
-    fatal_error ("atexit failed");
-
   gcc_init_libintl ();
 
   diagnostic_initialize (global_dc, 0);
 
+  if (atexit (lto_wrapper_cleanup) != 0)
+    fatal_error (input_location, "atexit failed");
+
   if (signal (SIGINT, SIG_IGN) != SIG_IGN)
     signal (SIGINT, fatal_signal);
 #ifdef SIGHUP