gcc/testsuite/gcc.dg/stack-check-6a.c

   1 /* The goal here is to verify that increasing the size of the guard allows
   2    elimination of all probing on the relevant targets.  */
   3
   4 /* { dg-do compile  } */
   5 /* { 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" } */
   6 /* { dg-require-effective-target supports_stack_clash_protection  } */
   7 /* { dg-skip-if "" { *-*-* } { "-fstack-protector*" } { "" } } */
   8 /* { dg-skip-if "" { aarch64*-*-* } } */
   9
  10
  11 #include "stack-check-6.c"
  12
  13 /* { dg-final { scan-rtl-dump-times "Stack clash inline probes" 0 "pro_and_epilogue" } } */
  14 /* { dg-final { scan-rtl-dump-times "Stack clash probe loop" 0 "pro_and_epilogue" } } */
  15 /* { dg-final { scan-rtl-dump-times "Stack clash residual allocation in prologue" 4 "pro_and_epilogue" } } */
  16 /* { dg-final { scan-rtl-dump-times "Stack clash not noreturn" 4 "pro_and_epilogue" } } */
  17
  18 /* { dg-final { scan-rtl-dump-times "Stack clash no frame pointer needed" 4 "pro_and_epilogue" { target { ! frame_pointer_for_non_leaf } } } } */
  19 /* { dg-final { scan-rtl-dump-times "Stack clash no frame pointer needed" 2 "pro_and_epilogue" { target { frame_pointer_for_non_leaf } } } } */
  20 /* { dg-final { scan-rtl-dump-times "Stack clash frame pointer needed" 2 "pro_and_epilogue" { target { frame_pointer_for_non_leaf } } } } */