gcc/gcc7-rh1512529-5.patch

commit ded495f992254176bd1d08d4f200a7b508a33b9a
Author: law <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Date:   Wed Sep 20 05:35:07 2017 +0000

            * config/i386/i386.c (ix86_adjust_stack_and_probe_stack_clash): New.
            (ix86_expand_prologue): Dump stack clash info as needed.
            Call ix86_adjust_stack_and_probe_stack_clash as needed.
    
            * gcc.dg/stack-check-4.c: New test.
            * gcc.dg/stack-check-5.c: New test.
            * gcc.dg/stack-check-6.c: New test.
            * gcc.dg/stack-check-6a.c: New test.
            * gcc.dg/stack-check-7.c: New test.
            * gcc.dg/stack-check-8.c: New test.
            * gcc.dg/stack-check-9.c: New test.
            * gcc.dg/stack-check-10.c: New test.
            * lib/target-supports.exp
            (check_effective_target_supports_stack_clash_protection): Enable for
            x86 and x86_64 targets.
    
    git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@252998 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index 60bab9a26a6..088dca2001f 100644
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -13270,6 +13270,147 @@ release_scratch_register_on_entry (struct scratch_reg *sr)
 
 #define PROBE_INTERVAL (1 << STACK_CHECK_PROBE_INTERVAL_EXP)
 
+/* Emit code to adjust the stack pointer by SIZE bytes while probing it.
+
+   This differs from the next routine in that it tries hard to prevent
+   attacks that jump the stack guard.  Thus it is never allowed to allocate
+   more than PROBE_INTERVAL bytes of stack space without a suitable
+   probe.  */
+
+static void
+ix86_adjust_stack_and_probe_stack_clash (const HOST_WIDE_INT size)
+{
+  struct machine_function *m = cfun->machine;
+
+  /* If this function does not statically allocate stack space, then
+     no probes are needed.  */
+  if (!size)
+    {
+      dump_stack_clash_frame_info (NO_PROBE_NO_FRAME, false);
+      return;
+    }
+
+  /* If we are a noreturn function, then we have to consider the
+     possibility that we're called via a jump rather than a call.
+
+     Thus we don't have the implicit probe generated by saving the
+     return address into the stack at the call.  Thus, the stack
+     pointer could be anywhere in the guard page.  The safe thing
+     to do is emit a probe now.
+
+     ?!? This should be revamped to work like aarch64 and s390 where
+     we track the offset from the most recent probe.  Normally that
+     offset would be zero.  For a non-return function we would reset
+     it to PROBE_INTERVAL - (STACK_BOUNDARY / BITS_PER_UNIT).   Then
+     we just probe when we cross PROBE_INTERVAL.  */
+  if (TREE_THIS_VOLATILE (cfun->decl))
+    {
+      emit_stack_probe (plus_constant (Pmode, stack_pointer_rtx,
+				       -GET_MODE_SIZE (word_mode)));
+      emit_insn (gen_blockage ());
+    }
+
+  /* If we allocate less than the size of the guard statically,
+     then no probing is necessary, but we do need to allocate
+     the stack.  */
+  if (size < (1 << PARAM_VALUE (PARAM_STACK_CLASH_PROTECTION_GUARD_SIZE)))
+    {
+      pro_epilogue_adjust_stack (stack_pointer_rtx, stack_pointer_rtx,
+			         GEN_INT (-size), -1,
+			         m->fs.cfa_reg == stack_pointer_rtx);
+      dump_stack_clash_frame_info (NO_PROBE_SMALL_FRAME, true);
+      return;
+    }
+
+  /* We're allocating a large enough stack frame that we need to
+     emit probes.  Either emit them inline or in a loop depending
+     on the size.  */
+  HOST_WIDE_INT probe_interval
+    = 1 << PARAM_VALUE (PARAM_STACK_CLASH_PROTECTION_PROBE_INTERVAL);
+  if (size <= 4 * probe_interval)
+    {
+      HOST_WIDE_INT i;
+      for (i = probe_interval; i <= size; i += probe_interval)
+	{
+	  /* Allocate PROBE_INTERVAL bytes.  */
+	  pro_epilogue_adjust_stack (stack_pointer_rtx, stack_pointer_rtx,
+				     GEN_INT (-probe_interval), -1,
+				     m->fs.cfa_reg == stack_pointer_rtx);
+
+	  /* And probe at *sp.  */
+	  emit_stack_probe (stack_pointer_rtx);
+	  emit_insn (gen_blockage ());
+	}
+
+      /* We need to allocate space for the residual, but we do not need
+	 to probe the residual.  */
+      HOST_WIDE_INT residual = (i - probe_interval - size);
+      if (residual)
+	pro_epilogue_adjust_stack (stack_pointer_rtx, stack_pointer_rtx,
+				   GEN_INT (residual), -1,
+				   m->fs.cfa_reg == stack_pointer_rtx);
+      dump_stack_clash_frame_info (PROBE_INLINE, residual != 0);
+    }
+  else
+    {
+      struct scratch_reg sr;
+      get_scratch_register_on_entry (&sr);
+
+      /* Step 1: round SIZE down to a multiple of the interval.  */
+      HOST_WIDE_INT rounded_size = size & -probe_interval;
+
+      /* Step 2: compute final value of the loop counter.  Use lea if
+	 possible.  */
+      rtx addr = plus_constant (Pmode, stack_pointer_rtx, -rounded_size);
+      rtx insn;
+      if (address_no_seg_operand (addr, Pmode))
+	insn = emit_insn (gen_rtx_SET (sr.reg, addr));
+      else
+	{
+	  emit_move_insn (sr.reg, GEN_INT (-rounded_size));
+	  insn = emit_insn (gen_rtx_SET (sr.reg,
+					 gen_rtx_PLUS (Pmode, sr.reg,
+						       stack_pointer_rtx)));
+	}
+      if (m->fs.cfa_reg == stack_pointer_rtx)
+	{
+	  add_reg_note (insn, REG_CFA_DEF_CFA,
+			plus_constant (Pmode, sr.reg,
+				       m->fs.cfa_offset + rounded_size));
+	  RTX_FRAME_RELATED_P (insn) = 1;
+        }
+
+      /* Step 3: the loop.  */
+      rtx size_rtx = GEN_INT (rounded_size);
+      insn = emit_insn (ix86_gen_adjust_stack_and_probe (sr.reg, sr.reg,
+							 size_rtx));
+      if (m->fs.cfa_reg == stack_pointer_rtx)
+	{
+	  m->fs.cfa_offset += rounded_size;
+	  add_reg_note (insn, REG_CFA_DEF_CFA,
+			plus_constant (Pmode, stack_pointer_rtx,
+				       m->fs.cfa_offset));
+	  RTX_FRAME_RELATED_P (insn) = 1;
+        }
+      m->fs.sp_offset += rounded_size;
+      emit_insn (gen_blockage ());
+
+      /* Step 4: adjust SP if we cannot assert at compile-time that SIZE
+	 is equal to ROUNDED_SIZE.  */
+
+      if (size != rounded_size)
+	pro_epilogue_adjust_stack (stack_pointer_rtx, stack_pointer_rtx,
+				   GEN_INT (rounded_size - size), -1,
+				   m->fs.cfa_reg == stack_pointer_rtx);
+      dump_stack_clash_frame_info (PROBE_LOOP, size != rounded_size);
+
+      release_scratch_register_on_entry (&sr);
+    }
+
+  /* Make sure nothing is scheduled before we are done.  */
+  emit_insn (gen_blockage ());
+}
+
 /* Emit code to adjust the stack pointer by SIZE bytes while probing it.  */
 
 static void
@@ -14018,12 +14159,19 @@ ix86_expand_prologue (void)
 
   /* The stack has already been decremented by the instruction calling us
      so probe if the size is non-negative to preserve the protection area.  */
-  if (allocate >= 0 && flag_stack_check == STATIC_BUILTIN_STACK_CHECK)
+  if (allocate >= 0
+      && (flag_stack_check == STATIC_BUILTIN_STACK_CHECK
+	  || flag_stack_clash_protection))
     {
       /* We expect the registers to be saved when probes are used.  */
       gcc_assert (int_registers_saved);
 
-      if (STACK_CHECK_MOVING_SP)
+      if (flag_stack_clash_protection)
+	{
+	  ix86_adjust_stack_and_probe_stack_clash (allocate);
+	  allocate = 0;
+	}
+      else if (STACK_CHECK_MOVING_SP)
 	{
 	  if (!(crtl->is_leaf && !cfun->calls_alloca
 		&& allocate <= PROBE_INTERVAL))
diff --git a/gcc/testsuite/gcc.dg/stack-check-10.c b/gcc/testsuite/gcc.dg/stack-check-10.c
new file mode 100644
index 00000000000..a86956ad692
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/stack-check-10.c
@@ -0,0 +1,41 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fstack-clash-protection -fdump-rtl-pro_and_epilogue -fno-optimize-sibling-calls --param stack-clash-protection-probe-interval=12 --param stack-clash-protection-guard-size=12" } */
+/* { dg-require-effective-target supports_stack_clash_protection } */
+
+int f (int *);
+
+int
+g (int a)
+{
+  return f (&a);
+}
+
+int f1 (void);
+int f2 (int);
+
+int
+f3 (void)
+{
+  return f2 (f1 ());
+}
+
+
+/* If we have caller implicit probes, then we should not need probes in either callee.
+   Else callees may need probes, particularly if non-leaf functions require a
+   frame/frame pointer.  */
+/* { dg-final { scan-rtl-dump-times "Stack clash no probe" 2 "pro_and_epilogue" { target caller_implicit_probes } } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash inline probe" 1 "pro_and_epilogue" { target { ! caller_implicit_probes } } } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash no probe" 1 "pro_and_epilogue" { target { ! caller_implicit_probes } } } } */
+
+/* Neither of these functions are a nonreturn function.  */
+/* { dg-final { scan-rtl-dump-times "Stack clash not noreturn" 2 "pro_and_epilogue" } } */
+
+/* If the callee realigns the stack or has a mandatory frame, then both functions
+   have a residual allocation.  Else just g() has a residual allocation.  */
+/* { dg-final { scan-rtl-dump-times "Stack clash residual allocation in prologue" 2 "pro_and_epilogue" } } */
+
+
+/* If the target has frame pointers for non-leafs, then both functions will
+   need a frame pointer.  Otherwise neither should.  */
+/* { dg-final { scan-rtl-dump-times "Stack clash no frame pointer needed" 2 "pro_and_epilogue" { target { ! frame_pointer_for_non_leaf } } } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash frame pointer needed" 2 "pro_and_epilogue" { target { frame_pointer_for_non_leaf } } } } */
diff --git a/gcc/testsuite/gcc.dg/stack-check-3.c b/gcc/testsuite/gcc.dg/stack-check-3.c
index 58fb65649ee..f0bf7c71a5b 100644
--- a/gcc/testsuite/gcc.dg/stack-check-3.c
+++ b/gcc/testsuite/gcc.dg/stack-check-3.c
@@ -7,7 +7,7 @@
    residual allocation + probe for f?.  */
 
 /* { dg-do compile } */
-/* { dg-options "-O2 -fstack-clash-protection -fdump-rtl-expand -fno-optimize-sibling-calls --param stack-clash-protection-probe-interval=4096 --param stack-clash-protection-guard-size=4096" } */
+/* { dg-options "-O2 -fstack-clash-protection -fdump-rtl-expand -fno-optimize-sibling-calls --param stack-clash-protection-probe-interval=12 --param stack-clash-protection-guard-size=12" } */
 /* { dg-require-effective-target supports_stack_clash_protection } */
 
 __attribute__((noinline, noclone)) void
diff --git a/gcc/testsuite/gcc.dg/stack-check-4.c b/gcc/testsuite/gcc.dg/stack-check-4.c
new file mode 100644
index 00000000000..b0c5c61972f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/stack-check-4.c
@@ -0,0 +1,42 @@
+/* On targets where the call instruction is an implicit probe of *sp, we
+   elide stack probes as long as the size of the local stack is less than
+   PROBE_INTERVAL.
+
+   But if the caller were to transform a tail call into a direct jump
+   we do not have that implicit probe.  This normally isn't a problem as
+   the caller must not have a local frame for that optimization to apply.
+
+   However, a sufficiently smart compiler could realize that the caller's
+   local stack need not be torn down and thus could transform a call into
+   a jump if the target is a noreturn function, even if the caller has
+   a local frame.
+
+   To guard against that, targets that depend on *sp being probed by the
+   call itself must emit a probe if the target function is a noreturn
+   function, even if they just allocate a small amount of stack space.
+
+   Rather than try to parse RTL or assembly code, we instead require the
+   prologue code to emit information into the dump file that we can
+   scan for.   We scan for both the positive and negative cases.  */
+
+/* { dg-do compile } */
+/* { dg-options "-O2 -fstack-clash-protection -fdump-rtl-pro_and_epilogue -fno-optimize-sibling-calls" } */
+/* { dg-require-effective-target supports_stack_clash_protection } */
+
+extern void arf (char *);
+
+__attribute__ ((noreturn)) void foo1 ()
+{
+  char x[10];
+  while (1)
+    arf (x);
+}
+
+void foo2 ()
+{
+  char x[10];
+  arf (x);
+}
+/* { dg-final { scan-rtl-dump-times "Stack clash noreturn" 1 "pro_and_epilogue" } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash not noreturn" 1 "pro_and_epilogue" } } */
+
diff --git a/gcc/testsuite/gcc.dg/stack-check-5.c b/gcc/testsuite/gcc.dg/stack-check-5.c
new file mode 100644
index 00000000000..2171d9b6c23
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/stack-check-5.c
@@ -0,0 +1,74 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fstack-clash-protection -fdump-rtl-pro_and_epilogue -fno-optimize-sibling-calls --param stack-clash-protection-probe-interval=12 --param stack-clash-protection-guard-size=12" } */
+/* { dg-require-effective-target supports_stack_clash_protection } */
+
+
+extern void foo (char *);
+extern void bar (void);
+
+/* This function allocates no local stack and is a leaf.  It should have no
+   probes on any target and should not require a frame pointer.  */
+int
+f0 (int x, int y)
+{
+  asm volatile ("" : : : "memory");  
+  return x + y;
+}
+
+/* This function allocates no local stack, but is not a leaf.  Ideally it
+   should not need probing and no frame pointer.  */
+int
+f1 (int x, int y)
+{
+  asm volatile ("" : : : "memory");  
+  bar ();
+}
+
+/* This is a leaf with a small frame.  On targets with implicit probes in
+   the caller, this should not need probing.  On targets with no implicit
+   probes in the caller, it may require probes.  Ideally it should need no
+   frame pointer.  */
+void
+f2 (void)
+{
+  char buf[512];
+  asm volatile ("" : : "g" (&buf) : "memory");
+}
+
+/* This is a non-leaf with a small frame.  On targets with implicit probes in
+   the caller, this should not need probing.  On targets with no implicit
+   probes in the caller, it may require probes.  It should need no frame
+   pointer.  */
+void
+f3 (void)
+{
+  char buf[512];
+  foo (buf);
+}
+
+/* If we have caller implicit probes, then we should not need probes.
+   Else callees may need probes, particularly if non-leaf functions require a
+   frame/frame pointer.  */
+/* { dg-final { scan-rtl-dump-times "Stack clash no probe" 4 "pro_and_epilogue" { target caller_implicit_probes } } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash no probe" 2 "pro_and_epilogue" { target { ! caller_implicit_probes } } } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash inline probes " 2 "pro_and_epilogue" { target { ! caller_implicit_probes } } } } */
+
+/* None of these functions are marked with the noreturn attribute.  */
+/* { dg-final { scan-rtl-dump-times "Stack clash not noreturn" 4 "pro_and_epilogue" } } */
+
+/* Two functions are leafs, two are not.  Verify the target identified them
+   appropriately.  */
+/* { dg-final { scan-rtl-dump-times "Stack clash no frame pointer needed" 4 "pro_and_epilogue" { target { ! frame_pointer_for_non_leaf } } } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash no frame pointer needed" 2 "pro_and_epilogue" { target { frame_pointer_for_non_leaf } } } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash frame pointer needed" 2 "pro_and_epilogue" { target { frame_pointer_for_non_leaf } } } } */
+
+
+/* We have selected the size of the array in f2/f3 to be large enough
+   to not live in the red zone on targets that support it.
+
+   That allows simplification of this test considerably.
+   f1() should not require any allocations, thus no residuals.
+   All the rest of the functions require some kind of allocation,
+   either for the saved fp/rp or the array.  */
+/* { dg-final { scan-rtl-dump-times "Stack clash no residual allocation in prologue" 1 "pro_and_epilogue" } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash residual allocation in prologue" 3 "pro_and_epilogue" } } */
diff --git a/gcc/testsuite/gcc.dg/stack-check-6.c b/gcc/testsuite/gcc.dg/stack-check-6.c
new file mode 100644
index 00000000000..ad2021c9037
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/stack-check-6.c
@@ -0,0 +1,55 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fstack-clash-protection -fdump-rtl-pro_and_epilogue -fno-optimize-sibling-calls --param stack-clash-protection-probe-interval=12 --param stack-clash-protection-guard-size=12" } */
+/* { dg-require-effective-target supports_stack_clash_protection } */
+
+
+extern void foo (char *);
+extern void bar (void);
+
+
+/* This is a leaf with a frame that is large enough to require probing with
+   a residual allocation, but small enough to probe inline.  */
+void
+f4 (void)
+{
+  char buf[4096 + 512];
+  asm volatile ("" : : "g" (&buf) : "memory");
+}
+
+
+/* This is a non-leaf with a frame large enough to require probing and
+   a residual allocation, but small enough to probe inline.  */
+void
+f5 (void)
+{
+  char buf[4096 + 512];
+  foo (buf);
+}
+
+/* This is a leaf with a frame that is large enough to require probing with
+   a loop plus a residual allocation.  */
+void
+f6 (void)
+{
+  char buf[4096 * 10 + 512];
+  asm volatile ("" : : "g" (&buf) : "memory");
+}
+
+
+/* This is a non-leaf with a frame large enough to require probing with
+   a loop plus a residual allocation.  */
+void
+f7 (void)
+{
+  char buf[4096 * 10 + 512];
+  foo (buf);
+}
+
+/* { dg-final { scan-rtl-dump-times "Stack clash inline probes" 2 "pro_and_epilogue" } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash probe loop" 2 "pro_and_epilogue" } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash residual allocation in prologue" 4 "pro_and_epilogue" } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash not noreturn" 4 "pro_and_epilogue" } } */
+
+/* { dg-final { scan-rtl-dump-times "Stack clash no frame pointer needed" 4 "pro_and_epilogue" { target { ! frame_pointer_for_non_leaf } } } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash no frame pointer needed" 2 "pro_and_epilogue" { target { frame_pointer_for_non_leaf } } } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash frame pointer needed" 2 "pro_and_epilogue" { target { frame_pointer_for_non_leaf } } } } */
diff --git a/gcc/testsuite/gcc.dg/stack-check-6a.c b/gcc/testsuite/gcc.dg/stack-check-6a.c
new file mode 100644
index 00000000000..6f8e7128921
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/stack-check-6a.c
@@ -0,0 +1,17 @@
+/* The goal here is to verify that increasing the size of the guard allows
+   elimination of all probing on the relevant targets.  */
+   
+/* { dg-do compile  } */
+/* { dg-options "-O2 -fstack-clash-protection -fdump-rtl-pro_and_epilogue -fno-optimize-sibling-calls --param stack-clash-protection-probe-interval=12 --param stack-clash-protection-guard-size=16" } */
+/* { dg-require-effective-target supports_stack_clash_protection  } */
+
+#include "stack-check-6.c"
+
+/* { dg-final { scan-rtl-dump-times "Stack clash inline probes" 0 "pro_and_epilogue" } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash probe loop" 0 "pro_and_epilogue" } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash residual allocation in prologue" 4 "pro_and_epilogue" } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash not noreturn" 4 "pro_and_epilogue" } } */
+
+/* { dg-final { scan-rtl-dump-times "Stack clash no frame pointer needed" 4 "pro_and_epilogue" { target { ! frame_pointer_for_non_leaf } } } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash no frame pointer needed" 2 "pro_and_epilogue" { target { frame_pointer_for_non_leaf } } } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash frame pointer needed" 2 "pro_and_epilogue" { target { frame_pointer_for_non_leaf } } } } */
diff --git a/gcc/testsuite/gcc.dg/stack-check-7.c b/gcc/testsuite/gcc.dg/stack-check-7.c
new file mode 100644
index 00000000000..b963a2881dc
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/stack-check-7.c
@@ -0,0 +1,36 @@
+/* { dg-do run } */
+/* { dg-options "-O2 -fstack-clash-protection -fno-optimize-sibling-calls --param stack-clash-protection-probe-interval=12 --param stack-clash-protection-guard-size=12" } */
+/* { dg-require-effective-target supports_stack_clash_protection } */
+
+/* For further testing, this can be run under valgrind where it's crashed
+   on aarch64 and ppc64le with -fstack-check=specific.  */
+
+
+__attribute__((noinline, noclone)) void
+foo (char *p)
+{
+  asm volatile ("" : : "r" (p) : "memory");
+}
+
+__attribute__((noinline, noclone)) void
+bar (void)
+{
+  char buf[131072];
+  foo (buf);
+}
+
+__attribute__((noinline, noclone)) void
+baz (void)
+{
+  char buf[12000];
+  foo (buf);
+}
+
+int
+main ()
+{
+  bar ();
+  baz ();
+  return 0;
+}
+
diff --git a/gcc/testsuite/gcc.dg/stack-check-8.c b/gcc/testsuite/gcc.dg/stack-check-8.c
new file mode 100644
index 00000000000..84d5adef154
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/stack-check-8.c
@@ -0,0 +1,139 @@
+/* { dg-do run } */
+/* { dg-options "-O2 -fstack-clash-protection -Wno-psabi -fno-optimize-sibling-calls --param stack-clash-protection-probe-interval=12 --param stack-clash-protection-guard-size=12" } */
+/* { dg-require-effective-target supports_stack_clash_protection } */
+
+
+typedef float V __attribute__((vector_size (32)));
+
+__attribute__((noinline, noclone)) void
+foo (char *p)
+{
+  asm volatile ("" : : "r" (p) : "memory");
+}
+
+__attribute__((noinline, noclone)) int
+f0 (int x, int y)
+{
+  asm volatile ("" : : : "memory");  
+  return x + y;
+}
+
+__attribute__((noinline, noclone)) void
+f1 (void)
+{
+  char buf[64];
+  foo (buf);
+}
+
+__attribute__((noinline, noclone)) void
+f2 (void)
+{
+  char buf[12000];
+  foo (buf);
+}
+
+__attribute__((noinline, noclone)) void
+f3 (void)
+{
+  char buf[131072];
+  foo (buf);
+}
+
+__attribute__((noinline, noclone)) void
+f4 (int x)
+{
+  char vla[x];
+  foo (vla);
+}
+
+__attribute__((noinline, noclone)) void
+f5 (int x)
+{
+  char buf[12000];
+  foo (buf);
+  {
+    char vla[x];
+    foo (vla);
+  }
+  {
+    char vla[x];
+    foo (vla);
+  }
+}
+
+V v;
+
+__attribute__((noinline, noclone)) int
+f6 (int x, int y, V a, V b, V c)
+{
+  asm volatile ("" : : : "memory");  
+  v = a + b + c;
+  return x + y;
+}
+
+__attribute__((noinline, noclone)) void
+f7 (V a, V b, V c)
+{
+  char buf[64];
+  foo (buf);
+  v = a + b + c;
+}
+
+__attribute__((noinline, noclone)) void
+f8 (V a, V b, V c)
+{
+  char buf[12000];
+  foo (buf);
+  v = a + b + c;
+}
+
+__attribute__((noinline, noclone)) void
+f9 (V a, V b, V c)
+{
+  char buf[131072];
+  foo (buf);
+  v = a + b + c;
+}
+
+__attribute__((noinline, noclone)) void
+f10 (int x, V a, V b, V c)
+{
+  char vla[x];
+  foo (vla);
+  v = a + b + c;
+}
+
+__attribute__((noinline, noclone)) void
+f11 (int x, V a, V b, V c)
+{
+  char buf[12000];
+  foo (buf);
+  v = a + b + c;
+  {
+    char vla[x];
+    foo (vla);
+  }
+  {
+    char vla[x];
+    foo (vla);
+  }
+}
+
+int
+main ()
+{
+  f0 (2, 3);
+  f1 ();
+  f2 ();
+  f3 ();
+  f4 (12000);
+  f5 (12000);
+  f6 (2, 3, v, v, v);
+  f7 (v, v, v);
+  f8 (v, v, v);
+  f9 (v, v, v);
+  f10 (12000, v, v, v);
+  f11 (12000, v, v, v);
+  return 0;
+}
+
diff --git a/gcc/testsuite/gcc.dg/stack-check-9.c b/gcc/testsuite/gcc.dg/stack-check-9.c
new file mode 100644
index 00000000000..b84075b9b43
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/stack-check-9.c
@@ -0,0 +1,2022 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fstack-clash-protection -fdump-rtl-pro_and_epilogue -fno-optimize-sibling-calls --param stack-clash-protection-probe-interval=12 --param stack-clash-protection-guard-size=12" } */
+/* { dg-require-effective-target supports_stack_clash_protection } */
+
+double f1 (void);
+double f2 (double, double);
+
+double
+f3 (void)
+{
+  double d000 = f1 ();
+  double d001 = f1 ();
+  double d002 = f1 ();
+  double d003 = f1 ();
+  double d004 = f1 ();
+  double d005 = f1 ();
+  double d006 = f1 ();
+  double d007 = f1 ();
+  double d008 = f1 ();
+  double d009 = f1 ();
+  double d010 = f1 ();
+  double d011 = f1 ();
+  double d012 = f1 ();
+  double d013 = f1 ();
+  double d014 = f1 ();
+  double d015 = f1 ();
+  double d016 = f1 ();
+  double d017 = f1 ();
+  double d018 = f1 ();
+  double d019 = f1 ();
+  double d020 = f1 ();
+  double d021 = f1 ();
+  double d022 = f1 ();
+  double d023 = f1 ();
+  double d024 = f1 ();
+  double d025 = f1 ();
+  double d026 = f1 ();
+  double d027 = f1 ();
+  double d028 = f1 ();
+  double d029 = f1 ();
+  double d030 = f1 ();
+  double d031 = f1 ();
+  double d032 = f1 ();
+  double d033 = f1 ();
+  double d034 = f1 ();
+  double d035 = f1 ();
+  double d036 = f1 ();
+  double d037 = f1 ();
+  double d038 = f1 ();
+  double d039 = f1 ();
+  double d040 = f1 ();
+  double d041 = f1 ();
+  double d042 = f1 ();
+  double d043 = f1 ();
+  double d044 = f1 ();
+  double d045 = f1 ();
+  double d046 = f1 ();
+  double d047 = f1 ();
+  double d048 = f1 ();
+  double d049 = f1 ();
+  double d050 = f1 ();
+  double d051 = f1 ();
+  double d052 = f1 ();
+  double d053 = f1 ();
+  double d054 = f1 ();
+  double d055 = f1 ();
+  double d056 = f1 ();
+  double d057 = f1 ();
+  double d058 = f1 ();
+  double d059 = f1 ();
+  double d060 = f1 ();
+  double d061 = f1 ();
+  double d062 = f1 ();
+  double d063 = f1 ();
+  double d064 = f1 ();
+  double d065 = f1 ();
+  double d066 = f1 ();
+  double d067 = f1 ();
+  double d068 = f1 ();
+  double d069 = f1 ();
+  double d070 = f1 ();
+  double d071 = f1 ();
+  double d072 = f1 ();
+  double d073 = f1 ();
+  double d074 = f1 ();
+  double d075 = f1 ();
+  double d076 = f1 ();
+  double d077 = f1 ();
+  double d078 = f1 ();
+  double d079 = f1 ();
+  double d080 = f1 ();
+  double d081 = f1 ();
+  double d082 = f1 ();
+  double d083 = f1 ();
+  double d084 = f1 ();
+  double d085 = f1 ();
+  double d086 = f1 ();
+  double d087 = f1 ();
+  double d088 = f1 ();
+  double d089 = f1 ();
+  double d090 = f1 ();
+  double d091 = f1 ();
+  double d092 = f1 ();
+  double d093 = f1 ();
+  double d094 = f1 ();
+  double d095 = f1 ();
+  double d096 = f1 ();
+  double d097 = f1 ();
+  double d098 = f1 ();
+  double d099 = f1 ();
+  double d100 = f1 ();
+  double d101 = f1 ();
+  double d102 = f1 ();
+  double d103 = f1 ();
+  double d104 = f1 ();
+  double d105 = f1 ();
+  double d106 = f1 ();
+  double d107 = f1 ();
+  double d108 = f1 ();
+  double d109 = f1 ();
+  double d110 = f1 ();
+  double d111 = f1 ();
+  double d112 = f1 ();
+  double d113 = f1 ();
+  double d114 = f1 ();
+  double d115 = f1 ();
+  double d116 = f1 ();
+  double d117 = f1 ();
+  double d118 = f1 ();
+  double d119 = f1 ();
+  double d120 = f1 ();
+  double d121 = f1 ();
+  double d122 = f1 ();
+  double d123 = f1 ();
+  double d124 = f1 ();
+  double d125 = f1 ();
+  double d126 = f1 ();
+  double d127 = f1 ();
+  double d128 = f1 ();
+  double d129 = f1 ();
+  double d130 = f1 ();
+  double d131 = f1 ();
+  double d132 = f1 ();
+  double d133 = f1 ();
+  double d134 = f1 ();
+  double d135 = f1 ();
+  double d136 = f1 ();
+  double d137 = f1 ();
+  double d138 = f1 ();
+  double d139 = f1 ();
+  double d140 = f1 ();
+  double d141 = f1 ();
+  double d142 = f1 ();
+  double d143 = f1 ();
+  double d144 = f1 ();
+  double d145 = f1 ();
+  double d146 = f1 ();
+  double d147 = f1 ();
+  double d148 = f1 ();
+  double d149 = f1 ();
+  double d150 = f1 ();
+  double d151 = f1 ();
+  double d152 = f1 ();
+  double d153 = f1 ();
+  double d154 = f1 ();
+  double d155 = f1 ();
+  double d156 = f1 ();
+  double d157 = f1 ();
+  double d158 = f1 ();
+  double d159 = f1 ();
+  double d160 = f1 ();
+  double d161 = f1 ();
+  double d162 = f1 ();
+  double d163 = f1 ();
+  double d164 = f1 ();
+  double d165 = f1 ();
+  double d166 = f1 ();
+  double d167 = f1 ();
+  double d168 = f1 ();
+  double d169 = f1 ();
+  double d170 = f1 ();
+  double d171 = f1 ();
+  double d172 = f1 ();
+  double d173 = f1 ();
+  double d174 = f1 ();
+  double d175 = f1 ();
+  double d176 = f1 ();
+  double d177 = f1 ();
+  double d178 = f1 ();
+  double d179 = f1 ();
+  double d180 = f1 ();
+  double d181 = f1 ();
+  double d182 = f1 ();
+  double d183 = f1 ();
+  double d184 = f1 ();
+  double d185 = f1 ();
+  double d186 = f1 ();
+  double d187 = f1 ();
+  double d188 = f1 ();
+  double d189 = f1 ();
+  double d190 = f1 ();
+  double d191 = f1 ();
+  double d192 = f1 ();
+  double d193 = f1 ();
+  double d194 = f1 ();
+  double d195 = f1 ();
+  double d196 = f1 ();
+  double d197 = f1 ();
+  double d198 = f1 ();
+  double d199 = f1 ();
+  double d200 = f1 ();
+  double d201 = f1 ();
+  double d202 = f1 ();
+  double d203 = f1 ();
+  double d204 = f1 ();
+  double d205 = f1 ();
+  double d206 = f1 ();
+  double d207 = f1 ();
+  double d208 = f1 ();
+  double d209 = f1 ();
+  double d210 = f1 ();
+  double d211 = f1 ();
+  double d212 = f1 ();
+  double d213 = f1 ();
+  double d214 = f1 ();
+  double d215 = f1 ();
+  double d216 = f1 ();
+  double d217 = f1 ();
+  double d218 = f1 ();
+  double d219 = f1 ();
+  double d220 = f1 ();
+  double d221 = f1 ();
+  double d222 = f1 ();
+  double d223 = f1 ();
+  double d224 = f1 ();
+  double d225 = f1 ();
+  double d226 = f1 ();
+  double d227 = f1 ();
+  double d228 = f1 ();
+  double d229 = f1 ();
+  double d230 = f1 ();
+  double d231 = f1 ();
+  double d232 = f1 ();
+  double d233 = f1 ();
+  double d234 = f1 ();
+  double d235 = f1 ();
+  double d236 = f1 ();
+  double d237 = f1 ();
+  double d238 = f1 ();
+  double d239 = f1 ();
+  double d240 = f1 ();
+  double d241 = f1 ();
+  double d242 = f1 ();
+  double d243 = f1 ();
+  double d244 = f1 ();
+  double d245 = f1 ();
+  double d246 = f1 ();
+  double d247 = f1 ();
+  double d248 = f1 ();
+  double d249 = f1 ();
+  double d250 = f1 ();
+  double d251 = f1 ();
+  double d252 = f1 ();
+  double d253 = f1 ();
+  double d254 = f1 ();
+  double d255 = f1 ();
+  double d256 = f1 ();
+  double d257 = f1 ();
+  double d258 = f1 ();
+  double d259 = f1 ();
+  double d260 = f1 ();
+  double d261 = f1 ();
+  double d262 = f1 ();
+  double d263 = f1 ();
+  double d264 = f1 ();
+  double d265 = f1 ();
+  double d266 = f1 ();
+  double d267 = f1 ();
+  double d268 = f1 ();
+  double d269 = f1 ();
+  double d270 = f1 ();
+  double d271 = f1 ();
+  double d272 = f1 ();
+  double d273 = f1 ();
+  double d274 = f1 ();
+  double d275 = f1 ();
+  double d276 = f1 ();
+  double d277 = f1 ();
+  double d278 = f1 ();
+  double d279 = f1 ();
+  double d280 = f1 ();
+  double d281 = f1 ();
+  double d282 = f1 ();
+  double d283 = f1 ();
+  double d284 = f1 ();
+  double d285 = f1 ();
+  double d286 = f1 ();
+  double d287 = f1 ();
+  double d288 = f1 ();
+  double d289 = f1 ();
+  double d290 = f1 ();
+  double d291 = f1 ();
+  double d292 = f1 ();
+  double d293 = f1 ();
+  double d294 = f1 ();
+  double d295 = f1 ();
+  double d296 = f1 ();
+  double d297 = f1 ();
+  double d298 = f1 ();
+  double d299 = f1 ();
+  double d300 = f1 ();
+  double d301 = f1 ();
+  double d302 = f1 ();
+  double d303 = f1 ();
+  double d304 = f1 ();
+  double d305 = f1 ();
+  double d306 = f1 ();
+  double d307 = f1 ();
+  double d308 = f1 ();
+  double d309 = f1 ();
+  double d310 = f1 ();
+  double d311 = f1 ();
+  double d312 = f1 ();
+  double d313 = f1 ();
+  double d314 = f1 ();
+  double d315 = f1 ();
+  double d316 = f1 ();
+  double d317 = f1 ();
+  double d318 = f1 ();
+  double d319 = f1 ();
+  double d320 = f1 ();
+  double d321 = f1 ();
+  double d322 = f1 ();
+  double d323 = f1 ();
+  double d324 = f1 ();
+  double d325 = f1 ();
+  double d326 = f1 ();
+  double d327 = f1 ();
+  double d328 = f1 ();
+  double d329 = f1 ();
+  double d330 = f1 ();
+  double d331 = f1 ();
+  double d332 = f1 ();
+  double d333 = f1 ();
+  double d334 = f1 ();
+  double d335 = f1 ();
+  double d336 = f1 ();
+  double d337 = f1 ();
+  double d338 = f1 ();
+  double d339 = f1 ();
+  double d340 = f1 ();
+  double d341 = f1 ();
+  double d342 = f1 ();
+  double d343 = f1 ();
+  double d344 = f1 ();
+  double d345 = f1 ();
+  double d346 = f1 ();
+  double d347 = f1 ();
+  double d348 = f1 ();
+  double d349 = f1 ();
+  double d350 = f1 ();
+  double d351 = f1 ();
+  double d352 = f1 ();
+  double d353 = f1 ();
+  double d354 = f1 ();
+  double d355 = f1 ();
+  double d356 = f1 ();
+  double d357 = f1 ();
+  double d358 = f1 ();
+  double d359 = f1 ();
+  double d360 = f1 ();
+  double d361 = f1 ();
+  double d362 = f1 ();
+  double d363 = f1 ();
+  double d364 = f1 ();
+  double d365 = f1 ();
+  double d366 = f1 ();
+  double d367 = f1 ();
+  double d368 = f1 ();
+  double d369 = f1 ();
+  double d370 = f1 ();
+  double d371 = f1 ();
+  double d372 = f1 ();
+  double d373 = f1 ();
+  double d374 = f1 ();
+  double d375 = f1 ();
+  double d376 = f1 ();
+  double d377 = f1 ();
+  double d378 = f1 ();
+  double d379 = f1 ();
+  double d380 = f1 ();
+  double d381 = f1 ();
+  double d382 = f1 ();
+  double d383 = f1 ();
+  double d384 = f1 ();
+  double d385 = f1 ();
+  double d386 = f1 ();
+  double d387 = f1 ();
+  double d388 = f1 ();
+  double d389 = f1 ();
+  double d390 = f1 ();
+  double d391 = f1 ();
+  double d392 = f1 ();
+  double d393 = f1 ();
+  double d394 = f1 ();
+  double d395 = f1 ();
+  double d396 = f1 ();
+  double d397 = f1 ();
+  double d398 = f1 ();
+  double d399 = f1 ();
+  double d400 = f1 ();
+  double d401 = f1 ();
+  double d402 = f1 ();
+  double d403 = f1 ();
+  double d404 = f1 ();
+  double d405 = f1 ();
+  double d406 = f1 ();
+  double d407 = f1 ();
+  double d408 = f1 ();
+  double d409 = f1 ();
+  double d410 = f1 ();
+  double d411 = f1 ();
+  double d412 = f1 ();
+  double d413 = f1 ();
+  double d414 = f1 ();
+  double d415 = f1 ();
+  double d416 = f1 ();
+  double d417 = f1 ();
+  double d418 = f1 ();
+  double d419 = f1 ();
+  double d420 = f1 ();
+  double d421 = f1 ();
+  double d422 = f1 ();
+  double d423 = f1 ();
+  double d424 = f1 ();
+  double d425 = f1 ();
+  double d426 = f1 ();
+  double d427 = f1 ();
+  double d428 = f1 ();
+  double d429 = f1 ();
+  double d430 = f1 ();
+  double d431 = f1 ();
+  double d432 = f1 ();
+  double d433 = f1 ();
+  double d434 = f1 ();
+  double d435 = f1 ();
+  double d436 = f1 ();
+  double d437 = f1 ();
+  double d438 = f1 ();
+  double d439 = f1 ();
+  double d440 = f1 ();
+  double d441 = f1 ();
+  double d442 = f1 ();
+  double d443 = f1 ();
+  double d444 = f1 ();
+  double d445 = f1 ();
+  double d446 = f1 ();
+  double d447 = f1 ();
+  double d448 = f1 ();
+  double d449 = f1 ();
+  double d450 = f1 ();
+  double d451 = f1 ();
+  double d452 = f1 ();
+  double d453 = f1 ();
+  double d454 = f1 ();
+  double d455 = f1 ();
+  double d456 = f1 ();
+  double d457 = f1 ();
+  double d458 = f1 ();
+  double d459 = f1 ();
+  double d460 = f1 ();
+  double d461 = f1 ();
+  double d462 = f1 ();
+  double d463 = f1 ();
+  double d464 = f1 ();
+  double d465 = f1 ();
+  double d466 = f1 ();
+  double d467 = f1 ();
+  double d468 = f1 ();
+  double d469 = f1 ();
+  double d470 = f1 ();
+  double d471 = f1 ();
+  double d472 = f1 ();
+  double d473 = f1 ();
+  double d474 = f1 ();
+  double d475 = f1 ();
+  double d476 = f1 ();
+  double d477 = f1 ();
+  double d478 = f1 ();
+  double d479 = f1 ();
+  double d480 = f1 ();
+  double d481 = f1 ();
+  double d482 = f1 ();
+  double d483 = f1 ();
+  double d484 = f1 ();
+  double d485 = f1 ();
+  double d486 = f1 ();
+  double d487 = f1 ();
+  double d488 = f1 ();
+  double d489 = f1 ();
+  double d490 = f1 ();
+  double d491 = f1 ();
+  double d492 = f1 ();
+  double d493 = f1 ();
+  double d494 = f1 ();
+  double d495 = f1 ();
+  double d496 = f1 ();
+  double d497 = f1 ();
+  double d498 = f1 ();
+  double d499 = f1 ();
+  double d500 = f1 ();
+  double d501 = f1 ();
+  double d502 = f1 ();
+  double d503 = f1 ();
+  double d504 = f1 ();
+  double d505 = f1 ();
+  double d506 = f1 ();
+  double d507 = f1 ();
+  double d508 = f1 ();
+  double d509 = f1 ();
+  double d510 = f1 ();
+  double d511 = f1 ();
+  double d512 = f1 ();
+  double d513 = f1 ();
+  double d514 = f1 ();
+  double d515 = f1 ();
+  double d516 = f1 ();
+  double d517 = f1 ();
+  double d518 = f1 ();
+  double d519 = f1 ();
+  double d520 = f1 ();
+  double d521 = f1 ();
+  double d522 = f1 ();
+  double d523 = f1 ();
+  double d524 = f1 ();
+  double d525 = f1 ();
+  double d526 = f1 ();
+  double d527 = f1 ();
+  double d528 = f1 ();
+  double d529 = f1 ();
+  double d530 = f1 ();
+  double d531 = f1 ();
+  double d532 = f1 ();
+  double d533 = f1 ();
+  double d534 = f1 ();
+  double d535 = f1 ();
+  double d536 = f1 ();
+  double d537 = f1 ();
+  double d538 = f1 ();
+  double d539 = f1 ();
+  double d540 = f1 ();
+  double d541 = f1 ();
+  double d542 = f1 ();
+  double d543 = f1 ();
+  double d544 = f1 ();
+  double d545 = f1 ();
+  double d546 = f1 ();
+  double d547 = f1 ();
+  double d548 = f1 ();
+  double d549 = f1 ();
+  double d550 = f1 ();
+  double d551 = f1 ();
+  double d552 = f1 ();
+  double d553 = f1 ();
+  double d554 = f1 ();
+  double d555 = f1 ();
+  double d556 = f1 ();
+  double d557 = f1 ();
+  double d558 = f1 ();
+  double d559 = f1 ();
+  double d560 = f1 ();
+  double d561 = f1 ();
+  double d562 = f1 ();
+  double d563 = f1 ();
+  double d564 = f1 ();
+  double d565 = f1 ();
+  double d566 = f1 ();
+  double d567 = f1 ();
+  double d568 = f1 ();
+  double d569 = f1 ();
+  double d570 = f1 ();
+  double d571 = f1 ();
+  double d572 = f1 ();
+  double d573 = f1 ();
+  double d574 = f1 ();
+  double d575 = f1 ();
+  double d576 = f1 ();
+  double d577 = f1 ();
+  double d578 = f1 ();
+  double d579 = f1 ();
+  double d580 = f1 ();
+  double d581 = f1 ();
+  double d582 = f1 ();
+  double d583 = f1 ();
+  double d584 = f1 ();
+  double d585 = f1 ();
+  double d586 = f1 ();
+  double d587 = f1 ();
+  double d588 = f1 ();
+  double d589 = f1 ();
+  double d590 = f1 ();
+  double d591 = f1 ();
+  double d592 = f1 ();
+  double d593 = f1 ();
+  double d594 = f1 ();
+  double d595 = f1 ();
+  double d596 = f1 ();
+  double d597 = f1 ();
+  double d598 = f1 ();
+  double d599 = f1 ();
+  double d600 = f1 ();
+  double d601 = f1 ();
+  double d602 = f1 ();
+  double d603 = f1 ();
+  double d604 = f1 ();
+  double d605 = f1 ();
+  double d606 = f1 ();
+  double d607 = f1 ();
+  double d608 = f1 ();
+  double d609 = f1 ();
+  double d610 = f1 ();
+  double d611 = f1 ();
+  double d612 = f1 ();
+  double d613 = f1 ();
+  double d614 = f1 ();
+  double d615 = f1 ();
+  double d616 = f1 ();
+  double d617 = f1 ();
+  double d618 = f1 ();
+  double d619 = f1 ();
+  double d620 = f1 ();
+  double d621 = f1 ();
+  double d622 = f1 ();
+  double d623 = f1 ();
+  double d624 = f1 ();
+  double d625 = f1 ();
+  double d626 = f1 ();
+  double d627 = f1 ();
+  double d628 = f1 ();
+  double d629 = f1 ();
+  double d630 = f1 ();
+  double d631 = f1 ();
+  double d632 = f1 ();
+  double d633 = f1 ();
+  double d634 = f1 ();
+  double d635 = f1 ();
+  double d636 = f1 ();
+  double d637 = f1 ();
+  double d638 = f1 ();
+  double d639 = f1 ();
+  double d640 = f1 ();
+  double d641 = f1 ();
+  double d642 = f1 ();
+  double d643 = f1 ();
+  double d644 = f1 ();
+  double d645 = f1 ();
+  double d646 = f1 ();
+  double d647 = f1 ();
+  double d648 = f1 ();
+  double d649 = f1 ();
+  double d650 = f1 ();
+  double d651 = f1 ();
+  double d652 = f1 ();
+  double d653 = f1 ();
+  double d654 = f1 ();
+  double d655 = f1 ();
+  double d656 = f1 ();
+  double d657 = f1 ();
+  double d658 = f1 ();
+  double d659 = f1 ();
+  double d660 = f1 ();
+  double d661 = f1 ();
+  double d662 = f1 ();
+  double d663 = f1 ();
+  double d664 = f1 ();
+  double d665 = f1 ();
+  double d666 = f1 ();
+  double d667 = f1 ();
+  double d668 = f1 ();
+  double d669 = f1 ();
+  double d670 = f1 ();
+  double d671 = f1 ();
+  double d672 = f1 ();
+  double d673 = f1 ();
+  double d674 = f1 ();
+  double d675 = f1 ();
+  double d676 = f1 ();
+  double d677 = f1 ();
+  double d678 = f1 ();
+  double d679 = f1 ();
+  double d680 = f1 ();
+  double d681 = f1 ();
+  double d682 = f1 ();
+  double d683 = f1 ();
+  double d684 = f1 ();
+  double d685 = f1 ();
+  double d686 = f1 ();
+  double d687 = f1 ();
+  double d688 = f1 ();
+  double d689 = f1 ();
+  double d690 = f1 ();
+  double d691 = f1 ();
+  double d692 = f1 ();
+  double d693 = f1 ();
+  double d694 = f1 ();
+  double d695 = f1 ();
+  double d696 = f1 ();
+  double d697 = f1 ();
+  double d698 = f1 ();
+  double d699 = f1 ();
+  double d700 = f1 ();
+  double d701 = f1 ();
+  double d702 = f1 ();
+  double d703 = f1 ();
+  double d704 = f1 ();
+  double d705 = f1 ();
+  double d706 = f1 ();
+  double d707 = f1 ();
+  double d708 = f1 ();
+  double d709 = f1 ();
+  double d710 = f1 ();
+  double d711 = f1 ();
+  double d712 = f1 ();
+  double d713 = f1 ();
+  double d714 = f1 ();
+  double d715 = f1 ();
+  double d716 = f1 ();
+  double d717 = f1 ();
+  double d718 = f1 ();
+  double d719 = f1 ();
+  double d720 = f1 ();
+  double d721 = f1 ();
+  double d722 = f1 ();
+  double d723 = f1 ();
+  double d724 = f1 ();
+  double d725 = f1 ();
+  double d726 = f1 ();
+  double d727 = f1 ();
+  double d728 = f1 ();
+  double d729 = f1 ();
+  double d730 = f1 ();
+  double d731 = f1 ();
+  double d732 = f1 ();
+  double d733 = f1 ();
+  double d734 = f1 ();
+  double d735 = f1 ();
+  double d736 = f1 ();
+  double d737 = f1 ();
+  double d738 = f1 ();
+  double d739 = f1 ();
+  double d740 = f1 ();
+  double d741 = f1 ();
+  double d742 = f1 ();
+  double d743 = f1 ();
+  double d744 = f1 ();
+  double d745 = f1 ();
+  double d746 = f1 ();
+  double d747 = f1 ();
+  double d748 = f1 ();
+  double d749 = f1 ();
+  double d750 = f1 ();
+  double d751 = f1 ();
+  double d752 = f1 ();
+  double d753 = f1 ();
+  double d754 = f1 ();
+  double d755 = f1 ();
+  double d756 = f1 ();
+  double d757 = f1 ();
+  double d758 = f1 ();
+  double d759 = f1 ();
+  double d760 = f1 ();
+  double d761 = f1 ();
+  double d762 = f1 ();
+  double d763 = f1 ();
+  double d764 = f1 ();
+  double d765 = f1 ();
+  double d766 = f1 ();
+  double d767 = f1 ();
+  double d768 = f1 ();
+  double d769 = f1 ();
+  double d770 = f1 ();
+  double d771 = f1 ();
+  double d772 = f1 ();
+  double d773 = f1 ();
+  double d774 = f1 ();
+  double d775 = f1 ();
+  double d776 = f1 ();
+  double d777 = f1 ();
+  double d778 = f1 ();
+  double d779 = f1 ();
+  double d780 = f1 ();
+  double d781 = f1 ();
+  double d782 = f1 ();
+  double d783 = f1 ();
+  double d784 = f1 ();
+  double d785 = f1 ();
+  double d786 = f1 ();
+  double d787 = f1 ();
+  double d788 = f1 ();
+  double d789 = f1 ();
+  double d790 = f1 ();
+  double d791 = f1 ();
+  double d792 = f1 ();
+  double d793 = f1 ();
+  double d794 = f1 ();
+  double d795 = f1 ();
+  double d796 = f1 ();
+  double d797 = f1 ();
+  double d798 = f1 ();
+  double d799 = f1 ();
+  double d800 = f1 ();
+  double d801 = f1 ();
+  double d802 = f1 ();
+  double d803 = f1 ();
+  double d804 = f1 ();
+  double d805 = f1 ();
+  double d806 = f1 ();
+  double d807 = f1 ();
+  double d808 = f1 ();
+  double d809 = f1 ();
+  double d810 = f1 ();
+  double d811 = f1 ();
+  double d812 = f1 ();
+  double d813 = f1 ();
+  double d814 = f1 ();
+  double d815 = f1 ();
+  double d816 = f1 ();
+  double d817 = f1 ();
+  double d818 = f1 ();
+  double d819 = f1 ();
+  double d820 = f1 ();
+  double d821 = f1 ();
+  double d822 = f1 ();
+  double d823 = f1 ();
+  double d824 = f1 ();
+  double d825 = f1 ();
+  double d826 = f1 ();
+  double d827 = f1 ();
+  double d828 = f1 ();
+  double d829 = f1 ();
+  double d830 = f1 ();
+  double d831 = f1 ();
+  double d832 = f1 ();
+  double d833 = f1 ();
+  double d834 = f1 ();
+  double d835 = f1 ();
+  double d836 = f1 ();
+  double d837 = f1 ();
+  double d838 = f1 ();
+  double d839 = f1 ();
+  double d840 = f1 ();
+  double d841 = f1 ();
+  double d842 = f1 ();
+  double d843 = f1 ();
+  double d844 = f1 ();
+  double d845 = f1 ();
+  double d846 = f1 ();
+  double d847 = f1 ();
+  double d848 = f1 ();
+  double d849 = f1 ();
+  double d850 = f1 ();
+  double d851 = f1 ();
+  double d852 = f1 ();
+  double d853 = f1 ();
+  double d854 = f1 ();
+  double d855 = f1 ();
+  double d856 = f1 ();
+  double d857 = f1 ();
+  double d858 = f1 ();
+  double d859 = f1 ();
+  double d860 = f1 ();
+  double d861 = f1 ();
+  double d862 = f1 ();
+  double d863 = f1 ();
+  double d864 = f1 ();
+  double d865 = f1 ();
+  double d866 = f1 ();
+  double d867 = f1 ();
+  double d868 = f1 ();
+  double d869 = f1 ();
+  double d870 = f1 ();
+  double d871 = f1 ();
+  double d872 = f1 ();
+  double d873 = f1 ();
+  double d874 = f1 ();
+  double d875 = f1 ();
+  double d876 = f1 ();
+  double d877 = f1 ();
+  double d878 = f1 ();
+  double d879 = f1 ();
+  double d880 = f1 ();
+  double d881 = f1 ();
+  double d882 = f1 ();
+  double d883 = f1 ();
+  double d884 = f1 ();
+  double d885 = f1 ();
+  double d886 = f1 ();
+  double d887 = f1 ();
+  double d888 = f1 ();
+  double d889 = f1 ();
+  double d890 = f1 ();
+  double d891 = f1 ();
+  double d892 = f1 ();
+  double d893 = f1 ();
+  double d894 = f1 ();
+  double d895 = f1 ();
+  double d896 = f1 ();
+  double d897 = f1 ();
+  double d898 = f1 ();
+  double d899 = f1 ();
+  double d900 = f1 ();
+  double d901 = f1 ();
+  double d902 = f1 ();
+  double d903 = f1 ();
+  double d904 = f1 ();
+  double d905 = f1 ();
+  double d906 = f1 ();
+  double d907 = f1 ();
+  double d908 = f1 ();
+  double d909 = f1 ();
+  double d910 = f1 ();
+  double d911 = f1 ();
+  double d912 = f1 ();
+  double d913 = f1 ();
+  double d914 = f1 ();
+  double d915 = f1 ();
+  double d916 = f1 ();
+  double d917 = f1 ();
+  double d918 = f1 ();
+  double d919 = f1 ();
+  double d920 = f1 ();
+  double d921 = f1 ();
+  double d922 = f1 ();
+  double d923 = f1 ();
+  double d924 = f1 ();
+  double d925 = f1 ();
+  double d926 = f1 ();
+  double d927 = f1 ();
+  double d928 = f1 ();
+  double d929 = f1 ();
+  double d930 = f1 ();
+  double d931 = f1 ();
+  double d932 = f1 ();
+  double d933 = f1 ();
+  double d934 = f1 ();
+  double d935 = f1 ();
+  double d936 = f1 ();
+  double d937 = f1 ();
+  double d938 = f1 ();
+  double d939 = f1 ();
+  double d940 = f1 ();
+  double d941 = f1 ();
+  double d942 = f1 ();
+  double d943 = f1 ();
+  double d944 = f1 ();
+  double d945 = f1 ();
+  double d946 = f1 ();
+  double d947 = f1 ();
+  double d948 = f1 ();
+  double d949 = f1 ();
+  double d950 = f1 ();
+  double d951 = f1 ();
+  double d952 = f1 ();
+  double d953 = f1 ();
+  double d954 = f1 ();
+  double d955 = f1 ();
+  double d956 = f1 ();
+  double d957 = f1 ();
+  double d958 = f1 ();
+  double d959 = f1 ();
+  double d960 = f1 ();
+  double d961 = f1 ();
+  double d962 = f1 ();
+  double d963 = f1 ();
+  double d964 = f1 ();
+  double d965 = f1 ();
+  double d966 = f1 ();
+  double d967 = f1 ();
+  double d968 = f1 ();
+  double d969 = f1 ();
+  double d970 = f1 ();
+  double d971 = f1 ();
+  double d972 = f1 ();
+  double d973 = f1 ();
+  double d974 = f1 ();
+  double d975 = f1 ();
+  double d976 = f1 ();
+  double d977 = f1 ();
+  double d978 = f1 ();
+  double d979 = f1 ();
+  double d980 = f1 ();
+  double d981 = f1 ();
+  double d982 = f1 ();
+  double d983 = f1 ();
+  double d984 = f1 ();
+  double d985 = f1 ();
+  double d986 = f1 ();
+  double d987 = f1 ();
+  double d988 = f1 ();
+  double d989 = f1 ();
+  double d990 = f1 ();
+  double d991 = f1 ();
+  double d992 = f1 ();
+  double d993 = f1 ();
+  double d994 = f1 ();
+  double d995 = f1 ();
+  double d996 = f1 ();
+  double d997 = f1 ();
+  double d998 = f1 ();
+  double d999 = f1 ();
+
+  double x = 0;
+  x = f2 (x, d000);
+  x = f2 (x, d001);
+  x = f2 (x, d002);
+  x = f2 (x, d003);
+  x = f2 (x, d004);
+  x = f2 (x, d005);
+  x = f2 (x, d006);
+  x = f2 (x, d007);
+  x = f2 (x, d008);
+  x = f2 (x, d009);
+  x = f2 (x, d010);
+  x = f2 (x, d011);
+  x = f2 (x, d012);
+  x = f2 (x, d013);
+  x = f2 (x, d014);
+  x = f2 (x, d015);
+  x = f2 (x, d016);
+  x = f2 (x, d017);
+  x = f2 (x, d018);
+  x = f2 (x, d019);
+  x = f2 (x, d020);
+  x = f2 (x, d021);
+  x = f2 (x, d022);
+  x = f2 (x, d023);
+  x = f2 (x, d024);
+  x = f2 (x, d025);
+  x = f2 (x, d026);
+  x = f2 (x, d027);
+  x = f2 (x, d028);
+  x = f2 (x, d029);
+  x = f2 (x, d030);
+  x = f2 (x, d031);
+  x = f2 (x, d032);
+  x = f2 (x, d033);
+  x = f2 (x, d034);
+  x = f2 (x, d035);
+  x = f2 (x, d036);
+  x = f2 (x, d037);
+  x = f2 (x, d038);
+  x = f2 (x, d039);
+  x = f2 (x, d040);
+  x = f2 (x, d041);
+  x = f2 (x, d042);
+  x = f2 (x, d043);
+  x = f2 (x, d044);
+  x = f2 (x, d045);
+  x = f2 (x, d046);
+  x = f2 (x, d047);
+  x = f2 (x, d048);
+  x = f2 (x, d049);
+  x = f2 (x, d050);
+  x = f2 (x, d051);
+  x = f2 (x, d052);
+  x = f2 (x, d053);
+  x = f2 (x, d054);
+  x = f2 (x, d055);
+  x = f2 (x, d056);
+  x = f2 (x, d057);
+  x = f2 (x, d058);
+  x = f2 (x, d059);
+  x = f2 (x, d060);
+  x = f2 (x, d061);
+  x = f2 (x, d062);
+  x = f2 (x, d063);
+  x = f2 (x, d064);
+  x = f2 (x, d065);
+  x = f2 (x, d066);
+  x = f2 (x, d067);
+  x = f2 (x, d068);
+  x = f2 (x, d069);
+  x = f2 (x, d070);
+  x = f2 (x, d071);
+  x = f2 (x, d072);
+  x = f2 (x, d073);
+  x = f2 (x, d074);
+  x = f2 (x, d075);
+  x = f2 (x, d076);
+  x = f2 (x, d077);
+  x = f2 (x, d078);
+  x = f2 (x, d079);
+  x = f2 (x, d080);
+  x = f2 (x, d081);
+  x = f2 (x, d082);
+  x = f2 (x, d083);
+  x = f2 (x, d084);
+  x = f2 (x, d085);
+  x = f2 (x, d086);
+  x = f2 (x, d087);
+  x = f2 (x, d088);
+  x = f2 (x, d089);
+  x = f2 (x, d090);
+  x = f2 (x, d091);
+  x = f2 (x, d092);
+  x = f2 (x, d093);
+  x = f2 (x, d094);
+  x = f2 (x, d095);
+  x = f2 (x, d096);
+  x = f2 (x, d097);
+  x = f2 (x, d098);
+  x = f2 (x, d099);
+  x = f2 (x, d100);
+  x = f2 (x, d101);
+  x = f2 (x, d102);
+  x = f2 (x, d103);
+  x = f2 (x, d104);
+  x = f2 (x, d105);
+  x = f2 (x, d106);
+  x = f2 (x, d107);
+  x = f2 (x, d108);
+  x = f2 (x, d109);
+  x = f2 (x, d110);
+  x = f2 (x, d111);
+  x = f2 (x, d112);
+  x = f2 (x, d113);
+  x = f2 (x, d114);
+  x = f2 (x, d115);
+  x = f2 (x, d116);
+  x = f2 (x, d117);
+  x = f2 (x, d118);
+  x = f2 (x, d119);
+  x = f2 (x, d120);
+  x = f2 (x, d121);
+  x = f2 (x, d122);
+  x = f2 (x, d123);
+  x = f2 (x, d124);
+  x = f2 (x, d125);
+  x = f2 (x, d126);
+  x = f2 (x, d127);
+  x = f2 (x, d128);
+  x = f2 (x, d129);
+  x = f2 (x, d130);
+  x = f2 (x, d131);
+  x = f2 (x, d132);
+  x = f2 (x, d133);
+  x = f2 (x, d134);
+  x = f2 (x, d135);
+  x = f2 (x, d136);
+  x = f2 (x, d137);
+  x = f2 (x, d138);
+  x = f2 (x, d139);
+  x = f2 (x, d140);
+  x = f2 (x, d141);
+  x = f2 (x, d142);
+  x = f2 (x, d143);
+  x = f2 (x, d144);
+  x = f2 (x, d145);
+  x = f2 (x, d146);
+  x = f2 (x, d147);
+  x = f2 (x, d148);
+  x = f2 (x, d149);
+  x = f2 (x, d150);
+  x = f2 (x, d151);
+  x = f2 (x, d152);
+  x = f2 (x, d153);
+  x = f2 (x, d154);
+  x = f2 (x, d155);
+  x = f2 (x, d156);
+  x = f2 (x, d157);
+  x = f2 (x, d158);
+  x = f2 (x, d159);
+  x = f2 (x, d160);
+  x = f2 (x, d161);
+  x = f2 (x, d162);
+  x = f2 (x, d163);
+  x = f2 (x, d164);
+  x = f2 (x, d165);
+  x = f2 (x, d166);
+  x = f2 (x, d167);
+  x = f2 (x, d168);
+  x = f2 (x, d169);
+  x = f2 (x, d170);
+  x = f2 (x, d171);
+  x = f2 (x, d172);
+  x = f2 (x, d173);
+  x = f2 (x, d174);
+  x = f2 (x, d175);
+  x = f2 (x, d176);
+  x = f2 (x, d177);
+  x = f2 (x, d178);
+  x = f2 (x, d179);
+  x = f2 (x, d180);
+  x = f2 (x, d181);
+  x = f2 (x, d182);
+  x = f2 (x, d183);
+  x = f2 (x, d184);
+  x = f2 (x, d185);
+  x = f2 (x, d186);
+  x = f2 (x, d187);
+  x = f2 (x, d188);
+  x = f2 (x, d189);
+  x = f2 (x, d190);
+  x = f2 (x, d191);
+  x = f2 (x, d192);
+  x = f2 (x, d193);
+  x = f2 (x, d194);
+  x = f2 (x, d195);
+  x = f2 (x, d196);
+  x = f2 (x, d197);
+  x = f2 (x, d198);
+  x = f2 (x, d199);
+  x = f2 (x, d200);
+  x = f2 (x, d201);
+  x = f2 (x, d202);
+  x = f2 (x, d203);
+  x = f2 (x, d204);
+  x = f2 (x, d205);
+  x = f2 (x, d206);
+  x = f2 (x, d207);
+  x = f2 (x, d208);
+  x = f2 (x, d209);
+  x = f2 (x, d210);
+  x = f2 (x, d211);
+  x = f2 (x, d212);
+  x = f2 (x, d213);
+  x = f2 (x, d214);
+  x = f2 (x, d215);
+  x = f2 (x, d216);
+  x = f2 (x, d217);
+  x = f2 (x, d218);
+  x = f2 (x, d219);
+  x = f2 (x, d220);
+  x = f2 (x, d221);
+  x = f2 (x, d222);
+  x = f2 (x, d223);
+  x = f2 (x, d224);
+  x = f2 (x, d225);
+  x = f2 (x, d226);
+  x = f2 (x, d227);
+  x = f2 (x, d228);
+  x = f2 (x, d229);
+  x = f2 (x, d230);
+  x = f2 (x, d231);
+  x = f2 (x, d232);
+  x = f2 (x, d233);
+  x = f2 (x, d234);
+  x = f2 (x, d235);
+  x = f2 (x, d236);
+  x = f2 (x, d237);
+  x = f2 (x, d238);
+  x = f2 (x, d239);
+  x = f2 (x, d240);
+  x = f2 (x, d241);
+  x = f2 (x, d242);
+  x = f2 (x, d243);
+  x = f2 (x, d244);
+  x = f2 (x, d245);
+  x = f2 (x, d246);
+  x = f2 (x, d247);
+  x = f2 (x, d248);
+  x = f2 (x, d249);
+  x = f2 (x, d250);
+  x = f2 (x, d251);
+  x = f2 (x, d252);
+  x = f2 (x, d253);
+  x = f2 (x, d254);
+  x = f2 (x, d255);
+  x = f2 (x, d256);
+  x = f2 (x, d257);
+  x = f2 (x, d258);
+  x = f2 (x, d259);
+  x = f2 (x, d260);
+  x = f2 (x, d261);
+  x = f2 (x, d262);
+  x = f2 (x, d263);
+  x = f2 (x, d264);
+  x = f2 (x, d265);
+  x = f2 (x, d266);
+  x = f2 (x, d267);
+  x = f2 (x, d268);
+  x = f2 (x, d269);
+  x = f2 (x, d270);
+  x = f2 (x, d271);
+  x = f2 (x, d272);
+  x = f2 (x, d273);
+  x = f2 (x, d274);
+  x = f2 (x, d275);
+  x = f2 (x, d276);
+  x = f2 (x, d277);
+  x = f2 (x, d278);
+  x = f2 (x, d279);
+  x = f2 (x, d280);
+  x = f2 (x, d281);
+  x = f2 (x, d282);
+  x = f2 (x, d283);
+  x = f2 (x, d284);
+  x = f2 (x, d285);
+  x = f2 (x, d286);
+  x = f2 (x, d287);
+  x = f2 (x, d288);
+  x = f2 (x, d289);
+  x = f2 (x, d290);
+  x = f2 (x, d291);
+  x = f2 (x, d292);
+  x = f2 (x, d293);
+  x = f2 (x, d294);
+  x = f2 (x, d295);
+  x = f2 (x, d296);
+  x = f2 (x, d297);
+  x = f2 (x, d298);
+  x = f2 (x, d299);
+  x = f2 (x, d300);
+  x = f2 (x, d301);
+  x = f2 (x, d302);
+  x = f2 (x, d303);
+  x = f2 (x, d304);
+  x = f2 (x, d305);
+  x = f2 (x, d306);
+  x = f2 (x, d307);
+  x = f2 (x, d308);
+  x = f2 (x, d309);
+  x = f2 (x, d310);
+  x = f2 (x, d311);
+  x = f2 (x, d312);
+  x = f2 (x, d313);
+  x = f2 (x, d314);
+  x = f2 (x, d315);
+  x = f2 (x, d316);
+  x = f2 (x, d317);
+  x = f2 (x, d318);
+  x = f2 (x, d319);
+  x = f2 (x, d320);
+  x = f2 (x, d321);
+  x = f2 (x, d322);
+  x = f2 (x, d323);
+  x = f2 (x, d324);
+  x = f2 (x, d325);
+  x = f2 (x, d326);
+  x = f2 (x, d327);
+  x = f2 (x, d328);
+  x = f2 (x, d329);
+  x = f2 (x, d330);
+  x = f2 (x, d331);
+  x = f2 (x, d332);
+  x = f2 (x, d333);
+  x = f2 (x, d334);
+  x = f2 (x, d335);
+  x = f2 (x, d336);
+  x = f2 (x, d337);
+  x = f2 (x, d338);
+  x = f2 (x, d339);
+  x = f2 (x, d340);
+  x = f2 (x, d341);
+  x = f2 (x, d342);
+  x = f2 (x, d343);
+  x = f2 (x, d344);
+  x = f2 (x, d345);
+  x = f2 (x, d346);
+  x = f2 (x, d347);
+  x = f2 (x, d348);
+  x = f2 (x, d349);
+  x = f2 (x, d350);
+  x = f2 (x, d351);
+  x = f2 (x, d352);
+  x = f2 (x, d353);
+  x = f2 (x, d354);
+  x = f2 (x, d355);
+  x = f2 (x, d356);
+  x = f2 (x, d357);
+  x = f2 (x, d358);
+  x = f2 (x, d359);
+  x = f2 (x, d360);
+  x = f2 (x, d361);
+  x = f2 (x, d362);
+  x = f2 (x, d363);
+  x = f2 (x, d364);
+  x = f2 (x, d365);
+  x = f2 (x, d366);
+  x = f2 (x, d367);
+  x = f2 (x, d368);
+  x = f2 (x, d369);
+  x = f2 (x, d370);
+  x = f2 (x, d371);
+  x = f2 (x, d372);
+  x = f2 (x, d373);
+  x = f2 (x, d374);
+  x = f2 (x, d375);
+  x = f2 (x, d376);
+  x = f2 (x, d377);
+  x = f2 (x, d378);
+  x = f2 (x, d379);
+  x = f2 (x, d380);
+  x = f2 (x, d381);
+  x = f2 (x, d382);
+  x = f2 (x, d383);
+  x = f2 (x, d384);
+  x = f2 (x, d385);
+  x = f2 (x, d386);
+  x = f2 (x, d387);
+  x = f2 (x, d388);
+  x = f2 (x, d389);
+  x = f2 (x, d390);
+  x = f2 (x, d391);
+  x = f2 (x, d392);
+  x = f2 (x, d393);
+  x = f2 (x, d394);
+  x = f2 (x, d395);
+  x = f2 (x, d396);
+  x = f2 (x, d397);
+  x = f2 (x, d398);
+  x = f2 (x, d399);
+  x = f2 (x, d400);
+  x = f2 (x, d401);
+  x = f2 (x, d402);
+  x = f2 (x, d403);
+  x = f2 (x, d404);
+  x = f2 (x, d405);
+  x = f2 (x, d406);
+  x = f2 (x, d407);
+  x = f2 (x, d408);
+  x = f2 (x, d409);
+  x = f2 (x, d410);
+  x = f2 (x, d411);
+  x = f2 (x, d412);
+  x = f2 (x, d413);
+  x = f2 (x, d414);
+  x = f2 (x, d415);
+  x = f2 (x, d416);
+  x = f2 (x, d417);
+  x = f2 (x, d418);
+  x = f2 (x, d419);
+  x = f2 (x, d420);
+  x = f2 (x, d421);
+  x = f2 (x, d422);
+  x = f2 (x, d423);
+  x = f2 (x, d424);
+  x = f2 (x, d425);
+  x = f2 (x, d426);
+  x = f2 (x, d427);
+  x = f2 (x, d428);
+  x = f2 (x, d429);
+  x = f2 (x, d430);
+  x = f2 (x, d431);
+  x = f2 (x, d432);
+  x = f2 (x, d433);
+  x = f2 (x, d434);
+  x = f2 (x, d435);
+  x = f2 (x, d436);
+  x = f2 (x, d437);
+  x = f2 (x, d438);
+  x = f2 (x, d439);
+  x = f2 (x, d440);
+  x = f2 (x, d441);
+  x = f2 (x, d442);
+  x = f2 (x, d443);
+  x = f2 (x, d444);
+  x = f2 (x, d445);
+  x = f2 (x, d446);
+  x = f2 (x, d447);
+  x = f2 (x, d448);
+  x = f2 (x, d449);
+  x = f2 (x, d450);
+  x = f2 (x, d451);
+  x = f2 (x, d452);
+  x = f2 (x, d453);
+  x = f2 (x, d454);
+  x = f2 (x, d455);
+  x = f2 (x, d456);
+  x = f2 (x, d457);
+  x = f2 (x, d458);
+  x = f2 (x, d459);
+  x = f2 (x, d460);
+  x = f2 (x, d461);
+  x = f2 (x, d462);
+  x = f2 (x, d463);
+  x = f2 (x, d464);
+  x = f2 (x, d465);
+  x = f2 (x, d466);
+  x = f2 (x, d467);
+  x = f2 (x, d468);
+  x = f2 (x, d469);
+  x = f2 (x, d470);
+  x = f2 (x, d471);
+  x = f2 (x, d472);
+  x = f2 (x, d473);
+  x = f2 (x, d474);
+  x = f2 (x, d475);
+  x = f2 (x, d476);
+  x = f2 (x, d477);
+  x = f2 (x, d478);
+  x = f2 (x, d479);
+  x = f2 (x, d480);
+  x = f2 (x, d481);
+  x = f2 (x, d482);
+  x = f2 (x, d483);
+  x = f2 (x, d484);
+  x = f2 (x, d485);
+  x = f2 (x, d486);
+  x = f2 (x, d487);
+  x = f2 (x, d488);
+  x = f2 (x, d489);
+  x = f2 (x, d490);
+  x = f2 (x, d491);
+  x = f2 (x, d492);
+  x = f2 (x, d493);
+  x = f2 (x, d494);
+  x = f2 (x, d495);
+  x = f2 (x, d496);
+  x = f2 (x, d497);
+  x = f2 (x, d498);
+  x = f2 (x, d499);
+  x = f2 (x, d500);
+  x = f2 (x, d501);
+  x = f2 (x, d502);
+  x = f2 (x, d503);
+  x = f2 (x, d504);
+  x = f2 (x, d505);
+  x = f2 (x, d506);
+  x = f2 (x, d507);
+  x = f2 (x, d508);
+  x = f2 (x, d509);
+  x = f2 (x, d510);
+  x = f2 (x, d511);
+  x = f2 (x, d512);
+  x = f2 (x, d513);
+  x = f2 (x, d514);
+  x = f2 (x, d515);
+  x = f2 (x, d516);
+  x = f2 (x, d517);
+  x = f2 (x, d518);
+  x = f2 (x, d519);
+  x = f2 (x, d520);
+  x = f2 (x, d521);
+  x = f2 (x, d522);
+  x = f2 (x, d523);
+  x = f2 (x, d524);
+  x = f2 (x, d525);
+  x = f2 (x, d526);
+  x = f2 (x, d527);
+  x = f2 (x, d528);
+  x = f2 (x, d529);
+  x = f2 (x, d530);
+  x = f2 (x, d531);
+  x = f2 (x, d532);
+  x = f2 (x, d533);
+  x = f2 (x, d534);
+  x = f2 (x, d535);
+  x = f2 (x, d536);
+  x = f2 (x, d537);
+  x = f2 (x, d538);
+  x = f2 (x, d539);
+  x = f2 (x, d540);
+  x = f2 (x, d541);
+  x = f2 (x, d542);
+  x = f2 (x, d543);
+  x = f2 (x, d544);
+  x = f2 (x, d545);
+  x = f2 (x, d546);
+  x = f2 (x, d547);
+  x = f2 (x, d548);
+  x = f2 (x, d549);
+  x = f2 (x, d550);
+  x = f2 (x, d551);
+  x = f2 (x, d552);
+  x = f2 (x, d553);
+  x = f2 (x, d554);
+  x = f2 (x, d555);
+  x = f2 (x, d556);
+  x = f2 (x, d557);
+  x = f2 (x, d558);
+  x = f2 (x, d559);
+  x = f2 (x, d560);
+  x = f2 (x, d561);
+  x = f2 (x, d562);
+  x = f2 (x, d563);
+  x = f2 (x, d564);
+  x = f2 (x, d565);
+  x = f2 (x, d566);
+  x = f2 (x, d567);
+  x = f2 (x, d568);
+  x = f2 (x, d569);
+  x = f2 (x, d570);
+  x = f2 (x, d571);
+  x = f2 (x, d572);
+  x = f2 (x, d573);
+  x = f2 (x, d574);
+  x = f2 (x, d575);
+  x = f2 (x, d576);
+  x = f2 (x, d577);
+  x = f2 (x, d578);
+  x = f2 (x, d579);
+  x = f2 (x, d580);
+  x = f2 (x, d581);
+  x = f2 (x, d582);
+  x = f2 (x, d583);
+  x = f2 (x, d584);
+  x = f2 (x, d585);
+  x = f2 (x, d586);
+  x = f2 (x, d587);
+  x = f2 (x, d588);
+  x = f2 (x, d589);
+  x = f2 (x, d590);
+  x = f2 (x, d591);
+  x = f2 (x, d592);
+  x = f2 (x, d593);
+  x = f2 (x, d594);
+  x = f2 (x, d595);
+  x = f2 (x, d596);
+  x = f2 (x, d597);
+  x = f2 (x, d598);
+  x = f2 (x, d599);
+  x = f2 (x, d600);
+  x = f2 (x, d601);
+  x = f2 (x, d602);
+  x = f2 (x, d603);
+  x = f2 (x, d604);
+  x = f2 (x, d605);
+  x = f2 (x, d606);
+  x = f2 (x, d607);
+  x = f2 (x, d608);
+  x = f2 (x, d609);
+  x = f2 (x, d610);
+  x = f2 (x, d611);
+  x = f2 (x, d612);
+  x = f2 (x, d613);
+  x = f2 (x, d614);
+  x = f2 (x, d615);
+  x = f2 (x, d616);
+  x = f2 (x, d617);
+  x = f2 (x, d618);
+  x = f2 (x, d619);
+  x = f2 (x, d620);
+  x = f2 (x, d621);
+  x = f2 (x, d622);
+  x = f2 (x, d623);
+  x = f2 (x, d624);
+  x = f2 (x, d625);
+  x = f2 (x, d626);
+  x = f2 (x, d627);
+  x = f2 (x, d628);
+  x = f2 (x, d629);
+  x = f2 (x, d630);
+  x = f2 (x, d631);
+  x = f2 (x, d632);
+  x = f2 (x, d633);
+  x = f2 (x, d634);
+  x = f2 (x, d635);
+  x = f2 (x, d636);
+  x = f2 (x, d637);
+  x = f2 (x, d638);
+  x = f2 (x, d639);
+  x = f2 (x, d640);
+  x = f2 (x, d641);
+  x = f2 (x, d642);
+  x = f2 (x, d643);
+  x = f2 (x, d644);
+  x = f2 (x, d645);
+  x = f2 (x, d646);
+  x = f2 (x, d647);
+  x = f2 (x, d648);
+  x = f2 (x, d649);
+  x = f2 (x, d650);
+  x = f2 (x, d651);
+  x = f2 (x, d652);
+  x = f2 (x, d653);
+  x = f2 (x, d654);
+  x = f2 (x, d655);
+  x = f2 (x, d656);
+  x = f2 (x, d657);
+  x = f2 (x, d658);
+  x = f2 (x, d659);
+  x = f2 (x, d660);
+  x = f2 (x, d661);
+  x = f2 (x, d662);
+  x = f2 (x, d663);
+  x = f2 (x, d664);
+  x = f2 (x, d665);
+  x = f2 (x, d666);
+  x = f2 (x, d667);
+  x = f2 (x, d668);
+  x = f2 (x, d669);
+  x = f2 (x, d670);
+  x = f2 (x, d671);
+  x = f2 (x, d672);
+  x = f2 (x, d673);
+  x = f2 (x, d674);
+  x = f2 (x, d675);
+  x = f2 (x, d676);
+  x = f2 (x, d677);
+  x = f2 (x, d678);
+  x = f2 (x, d679);
+  x = f2 (x, d680);
+  x = f2 (x, d681);
+  x = f2 (x, d682);
+  x = f2 (x, d683);
+  x = f2 (x, d684);
+  x = f2 (x, d685);
+  x = f2 (x, d686);
+  x = f2 (x, d687);
+  x = f2 (x, d688);
+  x = f2 (x, d689);
+  x = f2 (x, d690);
+  x = f2 (x, d691);
+  x = f2 (x, d692);
+  x = f2 (x, d693);
+  x = f2 (x, d694);
+  x = f2 (x, d695);
+  x = f2 (x, d696);
+  x = f2 (x, d697);
+  x = f2 (x, d698);
+  x = f2 (x, d699);
+  x = f2 (x, d700);
+  x = f2 (x, d701);
+  x = f2 (x, d702);
+  x = f2 (x, d703);
+  x = f2 (x, d704);
+  x = f2 (x, d705);
+  x = f2 (x, d706);
+  x = f2 (x, d707);
+  x = f2 (x, d708);
+  x = f2 (x, d709);
+  x = f2 (x, d710);
+  x = f2 (x, d711);
+  x = f2 (x, d712);
+  x = f2 (x, d713);
+  x = f2 (x, d714);
+  x = f2 (x, d715);
+  x = f2 (x, d716);
+  x = f2 (x, d717);
+  x = f2 (x, d718);
+  x = f2 (x, d719);
+  x = f2 (x, d720);
+  x = f2 (x, d721);
+  x = f2 (x, d722);
+  x = f2 (x, d723);
+  x = f2 (x, d724);
+  x = f2 (x, d725);
+  x = f2 (x, d726);
+  x = f2 (x, d727);
+  x = f2 (x, d728);
+  x = f2 (x, d729);
+  x = f2 (x, d730);
+  x = f2 (x, d731);
+  x = f2 (x, d732);
+  x = f2 (x, d733);
+  x = f2 (x, d734);
+  x = f2 (x, d735);
+  x = f2 (x, d736);
+  x = f2 (x, d737);
+  x = f2 (x, d738);
+  x = f2 (x, d739);
+  x = f2 (x, d740);
+  x = f2 (x, d741);
+  x = f2 (x, d742);
+  x = f2 (x, d743);
+  x = f2 (x, d744);
+  x = f2 (x, d745);
+  x = f2 (x, d746);
+  x = f2 (x, d747);
+  x = f2 (x, d748);
+  x = f2 (x, d749);
+  x = f2 (x, d750);
+  x = f2 (x, d751);
+  x = f2 (x, d752);
+  x = f2 (x, d753);
+  x = f2 (x, d754);
+  x = f2 (x, d755);
+  x = f2 (x, d756);
+  x = f2 (x, d757);
+  x = f2 (x, d758);
+  x = f2 (x, d759);
+  x = f2 (x, d760);
+  x = f2 (x, d761);
+  x = f2 (x, d762);
+  x = f2 (x, d763);
+  x = f2 (x, d764);
+  x = f2 (x, d765);
+  x = f2 (x, d766);
+  x = f2 (x, d767);
+  x = f2 (x, d768);
+  x = f2 (x, d769);
+  x = f2 (x, d770);
+  x = f2 (x, d771);
+  x = f2 (x, d772);
+  x = f2 (x, d773);
+  x = f2 (x, d774);
+  x = f2 (x, d775);
+  x = f2 (x, d776);
+  x = f2 (x, d777);
+  x = f2 (x, d778);
+  x = f2 (x, d779);
+  x = f2 (x, d780);
+  x = f2 (x, d781);
+  x = f2 (x, d782);
+  x = f2 (x, d783);
+  x = f2 (x, d784);
+  x = f2 (x, d785);
+  x = f2 (x, d786);
+  x = f2 (x, d787);
+  x = f2 (x, d788);
+  x = f2 (x, d789);
+  x = f2 (x, d790);
+  x = f2 (x, d791);
+  x = f2 (x, d792);
+  x = f2 (x, d793);
+  x = f2 (x, d794);
+  x = f2 (x, d795);
+  x = f2 (x, d796);
+  x = f2 (x, d797);
+  x = f2 (x, d798);
+  x = f2 (x, d799);
+  x = f2 (x, d800);
+  x = f2 (x, d801);
+  x = f2 (x, d802);
+  x = f2 (x, d803);
+  x = f2 (x, d804);
+  x = f2 (x, d805);
+  x = f2 (x, d806);
+  x = f2 (x, d807);
+  x = f2 (x, d808);
+  x = f2 (x, d809);
+  x = f2 (x, d810);
+  x = f2 (x, d811);
+  x = f2 (x, d812);
+  x = f2 (x, d813);
+  x = f2 (x, d814);
+  x = f2 (x, d815);
+  x = f2 (x, d816);
+  x = f2 (x, d817);
+  x = f2 (x, d818);
+  x = f2 (x, d819);
+  x = f2 (x, d820);
+  x = f2 (x, d821);
+  x = f2 (x, d822);
+  x = f2 (x, d823);
+  x = f2 (x, d824);
+  x = f2 (x, d825);
+  x = f2 (x, d826);
+  x = f2 (x, d827);
+  x = f2 (x, d828);
+  x = f2 (x, d829);
+  x = f2 (x, d830);
+  x = f2 (x, d831);
+  x = f2 (x, d832);
+  x = f2 (x, d833);
+  x = f2 (x, d834);
+  x = f2 (x, d835);
+  x = f2 (x, d836);
+  x = f2 (x, d837);
+  x = f2 (x, d838);
+  x = f2 (x, d839);
+  x = f2 (x, d840);
+  x = f2 (x, d841);
+  x = f2 (x, d842);
+  x = f2 (x, d843);
+  x = f2 (x, d844);
+  x = f2 (x, d845);
+  x = f2 (x, d846);
+  x = f2 (x, d847);
+  x = f2 (x, d848);
+  x = f2 (x, d849);
+  x = f2 (x, d850);
+  x = f2 (x, d851);
+  x = f2 (x, d852);
+  x = f2 (x, d853);
+  x = f2 (x, d854);
+  x = f2 (x, d855);
+  x = f2 (x, d856);
+  x = f2 (x, d857);
+  x = f2 (x, d858);
+  x = f2 (x, d859);
+  x = f2 (x, d860);
+  x = f2 (x, d861);
+  x = f2 (x, d862);
+  x = f2 (x, d863);
+  x = f2 (x, d864);
+  x = f2 (x, d865);
+  x = f2 (x, d866);
+  x = f2 (x, d867);
+  x = f2 (x, d868);
+  x = f2 (x, d869);
+  x = f2 (x, d870);
+  x = f2 (x, d871);
+  x = f2 (x, d872);
+  x = f2 (x, d873);
+  x = f2 (x, d874);
+  x = f2 (x, d875);
+  x = f2 (x, d876);
+  x = f2 (x, d877);
+  x = f2 (x, d878);
+  x = f2 (x, d879);
+  x = f2 (x, d880);
+  x = f2 (x, d881);
+  x = f2 (x, d882);
+  x = f2 (x, d883);
+  x = f2 (x, d884);
+  x = f2 (x, d885);
+  x = f2 (x, d886);
+  x = f2 (x, d887);
+  x = f2 (x, d888);
+  x = f2 (x, d889);
+  x = f2 (x, d890);
+  x = f2 (x, d891);
+  x = f2 (x, d892);
+  x = f2 (x, d893);
+  x = f2 (x, d894);
+  x = f2 (x, d895);
+  x = f2 (x, d896);
+  x = f2 (x, d897);
+  x = f2 (x, d898);
+  x = f2 (x, d899);
+  x = f2 (x, d900);
+  x = f2 (x, d901);
+  x = f2 (x, d902);
+  x = f2 (x, d903);
+  x = f2 (x, d904);
+  x = f2 (x, d905);
+  x = f2 (x, d906);
+  x = f2 (x, d907);
+  x = f2 (x, d908);
+  x = f2 (x, d909);
+  x = f2 (x, d910);
+  x = f2 (x, d911);
+  x = f2 (x, d912);
+  x = f2 (x, d913);
+  x = f2 (x, d914);
+  x = f2 (x, d915);
+  x = f2 (x, d916);
+  x = f2 (x, d917);
+  x = f2 (x, d918);
+  x = f2 (x, d919);
+  x = f2 (x, d920);
+  x = f2 (x, d921);
+  x = f2 (x, d922);
+  x = f2 (x, d923);
+  x = f2 (x, d924);
+  x = f2 (x, d925);
+  x = f2 (x, d926);
+  x = f2 (x, d927);
+  x = f2 (x, d928);
+  x = f2 (x, d929);
+  x = f2 (x, d930);
+  x = f2 (x, d931);
+  x = f2 (x, d932);
+  x = f2 (x, d933);
+  x = f2 (x, d934);
+  x = f2 (x, d935);
+  x = f2 (x, d936);
+  x = f2 (x, d937);
+  x = f2 (x, d938);
+  x = f2 (x, d939);
+  x = f2 (x, d940);
+  x = f2 (x, d941);
+  x = f2 (x, d942);
+  x = f2 (x, d943);
+  x = f2 (x, d944);
+  x = f2 (x, d945);
+  x = f2 (x, d946);
+  x = f2 (x, d947);
+  x = f2 (x, d948);
+  x = f2 (x, d949);
+  x = f2 (x, d950);
+  x = f2 (x, d951);
+  x = f2 (x, d952);
+  x = f2 (x, d953);
+  x = f2 (x, d954);
+  x = f2 (x, d955);
+  x = f2 (x, d956);
+  x = f2 (x, d957);
+  x = f2 (x, d958);
+  x = f2 (x, d959);
+  x = f2 (x, d960);
+  x = f2 (x, d961);
+  x = f2 (x, d962);
+  x = f2 (x, d963);
+  x = f2 (x, d964);
+  x = f2 (x, d965);
+  x = f2 (x, d966);
+  x = f2 (x, d967);
+  x = f2 (x, d968);
+  x = f2 (x, d969);
+  x = f2 (x, d970);
+  x = f2 (x, d971);
+  x = f2 (x, d972);
+  x = f2 (x, d973);
+  x = f2 (x, d974);
+  x = f2 (x, d975);
+  x = f2 (x, d976);
+  x = f2 (x, d977);
+  x = f2 (x, d978);
+  x = f2 (x, d979);
+  x = f2 (x, d980);
+  x = f2 (x, d981);
+  x = f2 (x, d982);
+  x = f2 (x, d983);
+  x = f2 (x, d984);
+  x = f2 (x, d985);
+  x = f2 (x, d986);
+  x = f2 (x, d987);
+  x = f2 (x, d988);
+  x = f2 (x, d989);
+  x = f2 (x, d990);
+  x = f2 (x, d991);
+  x = f2 (x, d992);
+  x = f2 (x, d993);
+  x = f2 (x, d994);
+  x = f2 (x, d995);
+  x = f2 (x, d996);
+  x = f2 (x, d997);
+  x = f2 (x, d998);
+  x = f2 (x, d999);
+  return x;
+}
+
+/* { dg-final { scan-rtl-dump-times "Stack clash inline probes" 1 "pro_and_epilogue" } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash residual allocation in prologue" 1 "pro_and_epilogue" } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash not noreturn" 1 "pro_and_epilogue" } } */
+
+/* f3 is not a leaf
+/* { dg-final { scan-rtl-dump-times "Stack clash no frame pointer needed" 1 "pro_and_epilogue" { target { ! frame_pointer_for_non_leaf } } } } */
+/* { dg-final { scan-rtl-dump-times "Stack clash frame pointer needed" 1 "pro_and_epilogue" { target { frame_pointer_for_non_leaf } } } } */
diff --git a/gcc/testsuite/lib/target-supports.exp b/gcc/testsuite/lib/target-supports.exp
index 1000f15358b..8dbec663b18 100644
--- a/gcc/testsuite/lib/target-supports.exp
+++ b/gcc/testsuite/lib/target-supports.exp
@@ -8385,11 +8385,15 @@ proc check_effective_target_arm_coproc4_ok { } {
 proc check_effective_target_supports_stack_clash_protection { } {
 
    # Temporary until the target bits are fully ACK'd.
-#  if { [istarget aarch*-*-*] || [istarget x86_64-*-*]
-#       || [istarget i?86-*-*] || [istarget s390*-*-*]
+#  if { [istarget aarch*-*-*]
+#       || [istarget s390*-*-*]
 #       || [istarget powerpc*-*-*] || [istarget rs6000*-*-*] } {
 #	return 1
 #  }
+
+    if { [istarget x86_64-*-*] || [istarget i?86-*-*] } {
+	return 1
+    }
   return 0
 }