annotate clang/test/Sema/attr-x86-interrupt.c @ 266:00f31e85ec16 default tip

Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900
parents 2e18cbf3894f
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fsyntax-only -verify %s
anatofuz
parents:
diff changeset
2 // RUN: %clang_cc1 -triple i386-unknown-linux-gnu -fsyntax-only -verify %s
anatofuz
parents:
diff changeset
3 // RUN: %clang_cc1 -triple x86_64-pc-win32 -fsyntax-only -verify %s
anatofuz
parents:
diff changeset
4 // RUN: %clang_cc1 -triple i386-pc-win32 -fsyntax-only -verify %s
anatofuz
parents:
diff changeset
5 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnux32 -fsyntax-only -verify %s
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
6 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fsyntax-only -verify %s -DNOCALLERSAVE=1
150
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 struct a {
anatofuz
parents:
diff changeset
9 int b;
anatofuz
parents:
diff changeset
10 };
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 struct a test __attribute__((interrupt)); // expected-warning {{'interrupt' attribute only applies to non-K&R-style functions}}
anatofuz
parents:
diff changeset
13
anatofuz
parents:
diff changeset
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}}
anatofuz
parents:
diff changeset
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}}
anatofuz
parents:
diff changeset
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}}
anatofuz
parents:
diff changeset
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}}
anatofuz
parents:
diff changeset
18 #ifdef _LP64
anatofuz
parents:
diff changeset
19 // expected-error-re@+6 {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a 'unsigned long' type as the second parameter}}
anatofuz
parents:
diff changeset
20 #elif defined(__x86_64__)
anatofuz
parents:
diff changeset
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}}
anatofuz
parents:
diff changeset
22 #else
anatofuz
parents:
diff changeset
23 // expected-error-re@+2 {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a 'unsigned int' type as the second parameter}}
anatofuz
parents:
diff changeset
24 #endif
anatofuz
parents:
diff changeset
25 __attribute__((interrupt)) void foo5(void *a, float b) {}
anatofuz
parents:
diff changeset
26 #ifdef _LP64
anatofuz
parents:
diff changeset
27 // expected-error-re@+6 {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a 'unsigned long' type as the second parameter}}
anatofuz
parents:
diff changeset
28 #elif defined(__x86_64__)
anatofuz
parents:
diff changeset
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}}
anatofuz
parents:
diff changeset
30 #else
anatofuz
parents:
diff changeset
31 // expected-error-re@+2 {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a 'unsigned int' type as the second parameter}}
anatofuz
parents:
diff changeset
32 #endif
anatofuz
parents:
diff changeset
33 __attribute__((interrupt)) void foo6(float *a, int b) {}
anatofuz
parents:
diff changeset
34
anatofuz
parents:
diff changeset
35 #ifdef _LP64
anatofuz
parents:
diff changeset
36 // expected-error-re@+4 {{{{(x86|x86-64)}} 'interrupt' attribute only applies to functions that have a 'unsigned long' type as the second parameter}}
anatofuz
parents:
diff changeset
37 #elif defined(__x86_64__)
anatofuz
parents:
diff changeset
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}}
anatofuz
parents:
diff changeset
39 #endif
anatofuz
parents:
diff changeset
40 __attribute__((interrupt)) void foo7(int *a, unsigned b) {}
anatofuz
parents:
diff changeset
41 __attribute__((interrupt)) void foo8(int *a) {}
anatofuz
parents:
diff changeset
42
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
43 #ifdef _LP64
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
44 typedef unsigned long Arg2Type;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
45 #elif defined(__x86_64__)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
46 typedef unsigned long long Arg2Type;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
47 #else
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
48 typedef unsigned int Arg2Type;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
49 #endif
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
50 #ifndef NOCALLERSAVE
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
51 __attribute__((no_caller_saved_registers))
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
52 #else
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
53 // expected-note@+3 {{'foo9' declared here}}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
54 // expected-warning@+4 {{interrupt service routine should only call a function with attribute 'no_caller_saved_registers'}}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
55 #endif
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
56 void foo9(int *a, Arg2Type b) {}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
57 __attribute__((interrupt)) void fooA(int *a, Arg2Type b) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
58 foo9(a, b);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
59 }
150
anatofuz
parents:
diff changeset
60 void g(void (*fp)(int *));
anatofuz
parents:
diff changeset
61 int main(int argc, char **argv) {
anatofuz
parents:
diff changeset
62 void *ptr = (void *)&foo7;
anatofuz
parents:
diff changeset
63 g(foo8);
anatofuz
parents:
diff changeset
64
anatofuz
parents:
diff changeset
65 (void)ptr;
anatofuz
parents:
diff changeset
66 #ifndef __x86_64__
anatofuz
parents:
diff changeset
67 // expected-error@+2 {{interrupt service routine cannot be called directly}}
anatofuz
parents:
diff changeset
68 #endif
anatofuz
parents:
diff changeset
69 foo7((int *)argv, argc);
anatofuz
parents:
diff changeset
70 foo8((int *)argv); // expected-error {{interrupt service routine cannot be called directly}}
anatofuz
parents:
diff changeset
71 return 0;
anatofuz
parents:
diff changeset
72 }
anatofuz
parents:
diff changeset
73