1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mshstk -mkl" } */
       3  
       4  #include <x86gprintrin.h>
       5  
       6  __attribute__((target("no-mmx,no-sse")))
       7  int
       8  foo ()
       9  {
      10    return _get_ssp ();
      11  }