clang/test/Sema/attr-x86-interrupt.c

   1 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu  -fsyntax-only -verify %s
   2 // RUN: %clang_cc1 -triple i386-unknown-linux-gnu  -fsyntax-only -verify %s
   3 // RUN: %clang_cc1 -triple x86_64-pc-win32  -fsyntax-only -verify %s
   4 // RUN: %clang_cc1 -triple i386-pc-win32  -fsyntax-only -verify %s
   5 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnux32  -fsyntax-only -verify %s
   6 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu  -fsyntax-only -verify %s -DNOCALLERSAVE=1
   7
   8 struct a {
   9   int b;
  10 };
  11
  12 struct a test __attribute__((interrupt)); // expected-warning {{'interrupt' attribute only applies to non-K&R-style functions}}
  13
  14 __attribute__((interrupt)) int foo1(void) { return 0; }             // expected-error-re {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a 'void' return type}}
  15 __attribute__((interrupt)) void foo2(void) {}                       // expected-error-re {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have only a pointer parameter optionally followed by an integer parameter}}
  16 __attribute__((interrupt)) void foo3(void *a, unsigned b, int c) {} // expected-error-re {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have only a pointer parameter optionally followed by an integer parameter}}
  17 __attribute__((interrupt)) void foo4(int a) {}                      // expected-error-re {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a pointer as the first parameter}}
  18 #ifdef _LP64
  19 // expected-error-re@+6 {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a 'unsigned long' type as the second parameter}}
  20 #elif defined(__x86_64__)
  21 // expected-error-re@+4 {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a 'unsigned long long' type as the second parameter}}
  22 #else
  23 // expected-error-re@+2 {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a 'unsigned int' type as the second parameter}}
  24 #endif
  25 __attribute__((interrupt)) void foo5(void *a, float b) {}
  26 #ifdef _LP64
  27 // expected-error-re@+6 {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a 'unsigned long' type as the second parameter}}
  28 #elif defined(__x86_64__)
  29 // expected-error-re@+4 {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a 'unsigned long long' type as the second parameter}}
  30 #else
  31 // expected-error-re@+2 {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a 'unsigned int' type as the second parameter}}
  32 #endif
  33 __attribute__((interrupt)) void foo6(float *a, int b) {}
  34
  35 #ifdef _LP64
  36 // expected-error-re@+4 {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a 'unsigned long' type as the second parameter}}
  37 #elif defined(__x86_64__)
  38 // expected-error-re@+2 {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a 'unsigned long long' type as the second parameter}}
  39 #endif
  40 __attribute__((interrupt)) void foo7(int *a, unsigned b) {}
  41 __attribute__((interrupt)) void foo8(int *a) {}
  42
  43 #ifdef _LP64
  44 typedef unsigned long Arg2Type;
  45 #elif defined(__x86_64__)
  46 typedef unsigned long long Arg2Type;
  47 #else
  48 typedef unsigned int Arg2Type;
  49 #endif
  50 #ifndef NOCALLERSAVE
  51 __attribute__((no_caller_saved_registers))
  52 #else
  53 // expected-note@+3 {{'foo9' declared here}}
  54 // expected-warning@+4 {{interrupt service routine should only call a function with attribute 'no_caller_saved_registers'}}
  55 #endif
  56 void foo9(int *a, Arg2Type b) {}
  57 __attribute__((interrupt)) void fooA(int *a, Arg2Type b) {
  58   foo9(a, b);
  59 }
  60 void g(void (*fp)(int *));
  61 int main(int argc, char **argv) {
  62   void *ptr = (void *)&foo7;
  63   g(foo8);
  64
  65   (void)ptr;
  66 #ifndef __x86_64__
  67   // expected-error@+2 {{interrupt service routine cannot be called directly}}
  68 #endif
  69   foo7((int *)argv, argc);
  70   foo8((int *)argv);       // expected-error {{interrupt service routine cannot be called directly}}
  71   return 0;
  72 }
  73