1 | __attribute__ ((__nothrow__,__leaf__,__malloc__)) extern void *malloc(unsigned long int __size); |
---|
2 | __attribute__ ((__nothrow__,__leaf__)) extern void free(void *__ptr); |
---|
3 | __attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void abort(void); |
---|
4 | __attribute__ ((__nothrow__,__leaf__,__nonnull__(1))) extern signed int atexit(void (*__func)(void)); |
---|
5 | __attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void exit(signed int __status); |
---|
6 | extern signed int printf(const char *__restrict __format, ...); |
---|
7 | __attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void __assert_fail(const char *__assertion, const char *__file, unsigned int __line, const char *__function); |
---|
8 | __attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void __assert_perror_fail(signed int __errnum, const char *__file, unsigned int __line, const char *__function); |
---|
9 | __attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void __assert(const char *__assertion, const char *__file, signed int __line); |
---|
10 | __attribute__ ((noreturn,format(printf, 5, 6))) void __assert_fail_f(const char *assertion, const char *file, unsigned int line, const char *function, const char *fmt, ...); |
---|
11 | struct spinlock { |
---|
12 | volatile signed int lock; |
---|
13 | const char *prev_name; |
---|
14 | void *prev_thrd; |
---|
15 | }; |
---|
16 | static inline void ___constructor__F_R9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1); |
---|
17 | static inline void ___constructor__F_R9sspinlock9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1, struct spinlock ___src__9sspinlock_1); |
---|
18 | static inline void ___destructor__F_R9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1); |
---|
19 | static inline struct spinlock ___operator_assign__F9sspinlock_R9sspinlock9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1, struct spinlock ___src__9sspinlock_1); |
---|
20 | static inline void ___constructor__F_R9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1){ |
---|
21 | ((void)((*((signed int *)(&(*___dst__R9sspinlock_1).lock)))) /* ?{} */); |
---|
22 | ((void)((*___dst__R9sspinlock_1).prev_name) /* ?{} */); |
---|
23 | ((void)((*___dst__R9sspinlock_1).prev_thrd) /* ?{} */); |
---|
24 | } |
---|
25 | static inline void ___constructor__F_R9sspinlock9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1, struct spinlock ___src__9sspinlock_1){ |
---|
26 | ((void)((*((signed int *)(&(*___dst__R9sspinlock_1).lock)))=___src__9sspinlock_1.lock) /* ?{} */); |
---|
27 | ((void)((*___dst__R9sspinlock_1).prev_name=___src__9sspinlock_1.prev_name) /* ?{} */); |
---|
28 | ((void)((*___dst__R9sspinlock_1).prev_thrd=___src__9sspinlock_1.prev_thrd) /* ?{} */); |
---|
29 | } |
---|
30 | static inline void ___destructor__F_R9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1){ |
---|
31 | ((void)((*___dst__R9sspinlock_1).prev_thrd) /* ^?{} */); |
---|
32 | ((void)((*___dst__R9sspinlock_1).prev_name) /* ^?{} */); |
---|
33 | ((void)((*((signed int *)(&(*___dst__R9sspinlock_1).lock)))) /* ^?{} */); |
---|
34 | } |
---|
35 | static inline struct spinlock ___operator_assign__F9sspinlock_R9sspinlock9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1, struct spinlock ___src__9sspinlock_1){ |
---|
36 | struct spinlock ___ret__9sspinlock_1; |
---|
37 | ((void)((*___dst__R9sspinlock_1).lock=___src__9sspinlock_1.lock)); |
---|
38 | ((void)((*___dst__R9sspinlock_1).prev_name=___src__9sspinlock_1.prev_name)); |
---|
39 | ((void)((*___dst__R9sspinlock_1).prev_thrd=___src__9sspinlock_1.prev_thrd)); |
---|
40 | ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&___ret__9sspinlock_1), ___src__9sspinlock_1)); |
---|
41 | return ((struct spinlock )___ret__9sspinlock_1); |
---|
42 | } |
---|
43 | static inline void ___constructor__F_R9sspinlockVi_autogen___1(struct spinlock *___dst__R9sspinlock_1, volatile signed int __lock__Vi_1){ |
---|
44 | ((void)((*((signed int *)(&(*___dst__R9sspinlock_1).lock)))=__lock__Vi_1) /* ?{} */); |
---|
45 | ((void)((*___dst__R9sspinlock_1).prev_name) /* ?{} */); |
---|
46 | ((void)((*___dst__R9sspinlock_1).prev_thrd) /* ?{} */); |
---|
47 | } |
---|
48 | static inline void ___constructor__F_R9sspinlockViPCc_autogen___1(struct spinlock *___dst__R9sspinlock_1, volatile signed int __lock__Vi_1, const char *__prev_name__PCc_1){ |
---|
49 | ((void)((*((signed int *)(&(*___dst__R9sspinlock_1).lock)))=__lock__Vi_1) /* ?{} */); |
---|
50 | ((void)((*___dst__R9sspinlock_1).prev_name=__prev_name__PCc_1) /* ?{} */); |
---|
51 | ((void)((*___dst__R9sspinlock_1).prev_thrd) /* ?{} */); |
---|
52 | } |
---|
53 | static inline void ___constructor__F_R9sspinlockViPCcPv_autogen___1(struct spinlock *___dst__R9sspinlock_1, volatile signed int __lock__Vi_1, const char *__prev_name__PCc_1, void *__prev_thrd__Pv_1){ |
---|
54 | ((void)((*((signed int *)(&(*___dst__R9sspinlock_1).lock)))=__lock__Vi_1) /* ?{} */); |
---|
55 | ((void)((*___dst__R9sspinlock_1).prev_name=__prev_name__PCc_1) /* ?{} */); |
---|
56 | ((void)((*___dst__R9sspinlock_1).prev_thrd=__prev_thrd__Pv_1) /* ?{} */); |
---|
57 | } |
---|
58 | struct __thread_queue_t { |
---|
59 | struct thread_desc *head; |
---|
60 | struct thread_desc **tail; |
---|
61 | }; |
---|
62 | static inline void ___constructor__F_R17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1); |
---|
63 | static inline void ___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1, struct __thread_queue_t ___src__17s__thread_queue_t_1); |
---|
64 | static inline void ___destructor__F_R17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1); |
---|
65 | static inline struct __thread_queue_t ___operator_assign__F17s__thread_queue_t_R17s__thread_queue_t17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1, struct __thread_queue_t ___src__17s__thread_queue_t_1); |
---|
66 | static inline void ___constructor__F_R17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1){ |
---|
67 | ((void)((*___dst__R17s__thread_queue_t_1).head) /* ?{} */); |
---|
68 | ((void)((*___dst__R17s__thread_queue_t_1).tail) /* ?{} */); |
---|
69 | } |
---|
70 | static inline void ___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1, struct __thread_queue_t ___src__17s__thread_queue_t_1){ |
---|
71 | ((void)((*___dst__R17s__thread_queue_t_1).head=___src__17s__thread_queue_t_1.head) /* ?{} */); |
---|
72 | ((void)((*___dst__R17s__thread_queue_t_1).tail=___src__17s__thread_queue_t_1.tail) /* ?{} */); |
---|
73 | } |
---|
74 | static inline void ___destructor__F_R17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1){ |
---|
75 | ((void)((*___dst__R17s__thread_queue_t_1).tail) /* ^?{} */); |
---|
76 | ((void)((*___dst__R17s__thread_queue_t_1).head) /* ^?{} */); |
---|
77 | } |
---|
78 | static inline struct __thread_queue_t ___operator_assign__F17s__thread_queue_t_R17s__thread_queue_t17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1, struct __thread_queue_t ___src__17s__thread_queue_t_1){ |
---|
79 | struct __thread_queue_t ___ret__17s__thread_queue_t_1; |
---|
80 | ((void)((*___dst__R17s__thread_queue_t_1).head=___src__17s__thread_queue_t_1.head)); |
---|
81 | ((void)((*___dst__R17s__thread_queue_t_1).tail=___src__17s__thread_queue_t_1.tail)); |
---|
82 | ((void)___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&___ret__17s__thread_queue_t_1), ___src__17s__thread_queue_t_1)); |
---|
83 | return ((struct __thread_queue_t )___ret__17s__thread_queue_t_1); |
---|
84 | } |
---|
85 | static inline void ___constructor__F_R17s__thread_queue_tP12sthread_desc_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1, struct thread_desc *__head__P12sthread_desc_1){ |
---|
86 | ((void)((*___dst__R17s__thread_queue_t_1).head=__head__P12sthread_desc_1) /* ?{} */); |
---|
87 | ((void)((*___dst__R17s__thread_queue_t_1).tail) /* ?{} */); |
---|
88 | } |
---|
89 | static inline void ___constructor__F_R17s__thread_queue_tP12sthread_descPP12sthread_desc_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1, struct thread_desc *__head__P12sthread_desc_1, struct thread_desc **__tail__PP12sthread_desc_1){ |
---|
90 | ((void)((*___dst__R17s__thread_queue_t_1).head=__head__P12sthread_desc_1) /* ?{} */); |
---|
91 | ((void)((*___dst__R17s__thread_queue_t_1).tail=__tail__PP12sthread_desc_1) /* ?{} */); |
---|
92 | } |
---|
93 | struct __condition_stack_t { |
---|
94 | struct __condition_criterion_t *top; |
---|
95 | }; |
---|
96 | static inline void ___constructor__F_R20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1); |
---|
97 | static inline void ___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1, struct __condition_stack_t ___src__20s__condition_stack_t_1); |
---|
98 | static inline void ___destructor__F_R20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1); |
---|
99 | static inline struct __condition_stack_t ___operator_assign__F20s__condition_stack_t_R20s__condition_stack_t20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1, struct __condition_stack_t ___src__20s__condition_stack_t_1); |
---|
100 | static inline void ___constructor__F_R20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1){ |
---|
101 | ((void)((*___dst__R20s__condition_stack_t_1).top) /* ?{} */); |
---|
102 | } |
---|
103 | static inline void ___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1, struct __condition_stack_t ___src__20s__condition_stack_t_1){ |
---|
104 | ((void)((*___dst__R20s__condition_stack_t_1).top=___src__20s__condition_stack_t_1.top) /* ?{} */); |
---|
105 | } |
---|
106 | static inline void ___destructor__F_R20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1){ |
---|
107 | ((void)((*___dst__R20s__condition_stack_t_1).top) /* ^?{} */); |
---|
108 | } |
---|
109 | static inline struct __condition_stack_t ___operator_assign__F20s__condition_stack_t_R20s__condition_stack_t20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1, struct __condition_stack_t ___src__20s__condition_stack_t_1){ |
---|
110 | struct __condition_stack_t ___ret__20s__condition_stack_t_1; |
---|
111 | ((void)((*___dst__R20s__condition_stack_t_1).top=___src__20s__condition_stack_t_1.top)); |
---|
112 | ((void)___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1((&___ret__20s__condition_stack_t_1), ___src__20s__condition_stack_t_1)); |
---|
113 | return ((struct __condition_stack_t )___ret__20s__condition_stack_t_1); |
---|
114 | } |
---|
115 | static inline void ___constructor__F_R20s__condition_stack_tP24s__condition_criterion_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1, struct __condition_criterion_t *__top__P24s__condition_criterion_t_1){ |
---|
116 | ((void)((*___dst__R20s__condition_stack_t_1).top=__top__P24s__condition_criterion_t_1) /* ?{} */); |
---|
117 | } |
---|
118 | void ___constructor__F_R17s__thread_queue_t__1(struct __thread_queue_t *__anonymous_object0); |
---|
119 | void __append__F_P17s__thread_queue_tP12sthread_desc__1(struct __thread_queue_t *__anonymous_object1, struct thread_desc *__anonymous_object2); |
---|
120 | struct thread_desc *__pop_head__FP12sthread_desc_P17s__thread_queue_t__1(struct __thread_queue_t *__anonymous_object3); |
---|
121 | struct thread_desc *__remove__FP12sthread_desc_P17s__thread_queue_tPP12sthread_desc__1(struct __thread_queue_t *__anonymous_object4, struct thread_desc **__anonymous_object5); |
---|
122 | void ___constructor__F_R20s__condition_stack_t__1(struct __condition_stack_t *__anonymous_object6); |
---|
123 | void __push__F_P20s__condition_stack_tP24s__condition_criterion_t__1(struct __condition_stack_t *__anonymous_object7, struct __condition_criterion_t *__anonymous_object8); |
---|
124 | struct __condition_criterion_t *__pop__FP24s__condition_criterion_t_P20s__condition_stack_t__1(struct __condition_stack_t *__anonymous_object9); |
---|
125 | void ___constructor__F_R9sspinlock__1(struct spinlock *__this__R9sspinlock_1); |
---|
126 | void ___destructor__F_R9sspinlock__1(struct spinlock *__this__R9sspinlock_1); |
---|
127 | struct coStack_t { |
---|
128 | unsigned int size; |
---|
129 | void *storage; |
---|
130 | void *limit; |
---|
131 | void *base; |
---|
132 | void *context; |
---|
133 | void *top; |
---|
134 | _Bool userStack; |
---|
135 | }; |
---|
136 | static inline void ___constructor__F_R10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1); |
---|
137 | static inline void ___constructor__F_R10scoStack_t10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, struct coStack_t ___src__10scoStack_t_1); |
---|
138 | static inline void ___destructor__F_R10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1); |
---|
139 | static inline struct coStack_t ___operator_assign__F10scoStack_t_R10scoStack_t10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, struct coStack_t ___src__10scoStack_t_1); |
---|
140 | static inline void ___constructor__F_R10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1){ |
---|
141 | ((void)((*___dst__R10scoStack_t_1).size) /* ?{} */); |
---|
142 | ((void)((*___dst__R10scoStack_t_1).storage) /* ?{} */); |
---|
143 | ((void)((*___dst__R10scoStack_t_1).limit) /* ?{} */); |
---|
144 | ((void)((*___dst__R10scoStack_t_1).base) /* ?{} */); |
---|
145 | ((void)((*___dst__R10scoStack_t_1).context) /* ?{} */); |
---|
146 | ((void)((*___dst__R10scoStack_t_1).top) /* ?{} */); |
---|
147 | ((void)((*___dst__R10scoStack_t_1).userStack) /* ?{} */); |
---|
148 | } |
---|
149 | static inline void ___constructor__F_R10scoStack_t10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, struct coStack_t ___src__10scoStack_t_1){ |
---|
150 | ((void)((*___dst__R10scoStack_t_1).size=___src__10scoStack_t_1.size) /* ?{} */); |
---|
151 | ((void)((*___dst__R10scoStack_t_1).storage=___src__10scoStack_t_1.storage) /* ?{} */); |
---|
152 | ((void)((*___dst__R10scoStack_t_1).limit=___src__10scoStack_t_1.limit) /* ?{} */); |
---|
153 | ((void)((*___dst__R10scoStack_t_1).base=___src__10scoStack_t_1.base) /* ?{} */); |
---|
154 | ((void)((*___dst__R10scoStack_t_1).context=___src__10scoStack_t_1.context) /* ?{} */); |
---|
155 | ((void)((*___dst__R10scoStack_t_1).top=___src__10scoStack_t_1.top) /* ?{} */); |
---|
156 | ((void)((*___dst__R10scoStack_t_1).userStack=___src__10scoStack_t_1.userStack) /* ?{} */); |
---|
157 | } |
---|
158 | static inline void ___destructor__F_R10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1){ |
---|
159 | ((void)((*___dst__R10scoStack_t_1).userStack) /* ^?{} */); |
---|
160 | ((void)((*___dst__R10scoStack_t_1).top) /* ^?{} */); |
---|
161 | ((void)((*___dst__R10scoStack_t_1).context) /* ^?{} */); |
---|
162 | ((void)((*___dst__R10scoStack_t_1).base) /* ^?{} */); |
---|
163 | ((void)((*___dst__R10scoStack_t_1).limit) /* ^?{} */); |
---|
164 | ((void)((*___dst__R10scoStack_t_1).storage) /* ^?{} */); |
---|
165 | ((void)((*___dst__R10scoStack_t_1).size) /* ^?{} */); |
---|
166 | } |
---|
167 | static inline struct coStack_t ___operator_assign__F10scoStack_t_R10scoStack_t10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, struct coStack_t ___src__10scoStack_t_1){ |
---|
168 | struct coStack_t ___ret__10scoStack_t_1; |
---|
169 | ((void)((*___dst__R10scoStack_t_1).size=___src__10scoStack_t_1.size)); |
---|
170 | ((void)((*___dst__R10scoStack_t_1).storage=___src__10scoStack_t_1.storage)); |
---|
171 | ((void)((*___dst__R10scoStack_t_1).limit=___src__10scoStack_t_1.limit)); |
---|
172 | ((void)((*___dst__R10scoStack_t_1).base=___src__10scoStack_t_1.base)); |
---|
173 | ((void)((*___dst__R10scoStack_t_1).context=___src__10scoStack_t_1.context)); |
---|
174 | ((void)((*___dst__R10scoStack_t_1).top=___src__10scoStack_t_1.top)); |
---|
175 | ((void)((*___dst__R10scoStack_t_1).userStack=___src__10scoStack_t_1.userStack)); |
---|
176 | ((void)___constructor__F_R10scoStack_t10scoStack_t_autogen___1((&___ret__10scoStack_t_1), ___src__10scoStack_t_1)); |
---|
177 | return ((struct coStack_t )___ret__10scoStack_t_1); |
---|
178 | } |
---|
179 | static inline void ___constructor__F_R10scoStack_tUi_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, unsigned int __size__Ui_1){ |
---|
180 | ((void)((*___dst__R10scoStack_t_1).size=__size__Ui_1) /* ?{} */); |
---|
181 | ((void)((*___dst__R10scoStack_t_1).storage) /* ?{} */); |
---|
182 | ((void)((*___dst__R10scoStack_t_1).limit) /* ?{} */); |
---|
183 | ((void)((*___dst__R10scoStack_t_1).base) /* ?{} */); |
---|
184 | ((void)((*___dst__R10scoStack_t_1).context) /* ?{} */); |
---|
185 | ((void)((*___dst__R10scoStack_t_1).top) /* ?{} */); |
---|
186 | ((void)((*___dst__R10scoStack_t_1).userStack) /* ?{} */); |
---|
187 | } |
---|
188 | static inline void ___constructor__F_R10scoStack_tUiPv_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, unsigned int __size__Ui_1, void *__storage__Pv_1){ |
---|
189 | ((void)((*___dst__R10scoStack_t_1).size=__size__Ui_1) /* ?{} */); |
---|
190 | ((void)((*___dst__R10scoStack_t_1).storage=__storage__Pv_1) /* ?{} */); |
---|
191 | ((void)((*___dst__R10scoStack_t_1).limit) /* ?{} */); |
---|
192 | ((void)((*___dst__R10scoStack_t_1).base) /* ?{} */); |
---|
193 | ((void)((*___dst__R10scoStack_t_1).context) /* ?{} */); |
---|
194 | ((void)((*___dst__R10scoStack_t_1).top) /* ?{} */); |
---|
195 | ((void)((*___dst__R10scoStack_t_1).userStack) /* ?{} */); |
---|
196 | } |
---|
197 | static inline void ___constructor__F_R10scoStack_tUiPvPv_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, unsigned int __size__Ui_1, void *__storage__Pv_1, void *__limit__Pv_1){ |
---|
198 | ((void)((*___dst__R10scoStack_t_1).size=__size__Ui_1) /* ?{} */); |
---|
199 | ((void)((*___dst__R10scoStack_t_1).storage=__storage__Pv_1) /* ?{} */); |
---|
200 | ((void)((*___dst__R10scoStack_t_1).limit=__limit__Pv_1) /* ?{} */); |
---|
201 | ((void)((*___dst__R10scoStack_t_1).base) /* ?{} */); |
---|
202 | ((void)((*___dst__R10scoStack_t_1).context) /* ?{} */); |
---|
203 | ((void)((*___dst__R10scoStack_t_1).top) /* ?{} */); |
---|
204 | ((void)((*___dst__R10scoStack_t_1).userStack) /* ?{} */); |
---|
205 | } |
---|
206 | static inline void ___constructor__F_R10scoStack_tUiPvPvPv_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, unsigned int __size__Ui_1, void *__storage__Pv_1, void *__limit__Pv_1, void *__base__Pv_1){ |
---|
207 | ((void)((*___dst__R10scoStack_t_1).size=__size__Ui_1) /* ?{} */); |
---|
208 | ((void)((*___dst__R10scoStack_t_1).storage=__storage__Pv_1) /* ?{} */); |
---|
209 | ((void)((*___dst__R10scoStack_t_1).limit=__limit__Pv_1) /* ?{} */); |
---|
210 | ((void)((*___dst__R10scoStack_t_1).base=__base__Pv_1) /* ?{} */); |
---|
211 | ((void)((*___dst__R10scoStack_t_1).context) /* ?{} */); |
---|
212 | ((void)((*___dst__R10scoStack_t_1).top) /* ?{} */); |
---|
213 | ((void)((*___dst__R10scoStack_t_1).userStack) /* ?{} */); |
---|
214 | } |
---|
215 | static inline void ___constructor__F_R10scoStack_tUiPvPvPvPv_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, unsigned int __size__Ui_1, void *__storage__Pv_1, void *__limit__Pv_1, void *__base__Pv_1, void *__context__Pv_1){ |
---|
216 | ((void)((*___dst__R10scoStack_t_1).size=__size__Ui_1) /* ?{} */); |
---|
217 | ((void)((*___dst__R10scoStack_t_1).storage=__storage__Pv_1) /* ?{} */); |
---|
218 | ((void)((*___dst__R10scoStack_t_1).limit=__limit__Pv_1) /* ?{} */); |
---|
219 | ((void)((*___dst__R10scoStack_t_1).base=__base__Pv_1) /* ?{} */); |
---|
220 | ((void)((*___dst__R10scoStack_t_1).context=__context__Pv_1) /* ?{} */); |
---|
221 | ((void)((*___dst__R10scoStack_t_1).top) /* ?{} */); |
---|
222 | ((void)((*___dst__R10scoStack_t_1).userStack) /* ?{} */); |
---|
223 | } |
---|
224 | static inline void ___constructor__F_R10scoStack_tUiPvPvPvPvPv_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, unsigned int __size__Ui_1, void *__storage__Pv_1, void *__limit__Pv_1, void *__base__Pv_1, void *__context__Pv_1, void *__top__Pv_1){ |
---|
225 | ((void)((*___dst__R10scoStack_t_1).size=__size__Ui_1) /* ?{} */); |
---|
226 | ((void)((*___dst__R10scoStack_t_1).storage=__storage__Pv_1) /* ?{} */); |
---|
227 | ((void)((*___dst__R10scoStack_t_1).limit=__limit__Pv_1) /* ?{} */); |
---|
228 | ((void)((*___dst__R10scoStack_t_1).base=__base__Pv_1) /* ?{} */); |
---|
229 | ((void)((*___dst__R10scoStack_t_1).context=__context__Pv_1) /* ?{} */); |
---|
230 | ((void)((*___dst__R10scoStack_t_1).top=__top__Pv_1) /* ?{} */); |
---|
231 | ((void)((*___dst__R10scoStack_t_1).userStack) /* ?{} */); |
---|
232 | } |
---|
233 | static inline void ___constructor__F_R10scoStack_tUiPvPvPvPvPvb_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, unsigned int __size__Ui_1, void *__storage__Pv_1, void *__limit__Pv_1, void *__base__Pv_1, void *__context__Pv_1, void *__top__Pv_1, _Bool __userStack__b_1){ |
---|
234 | ((void)((*___dst__R10scoStack_t_1).size=__size__Ui_1) /* ?{} */); |
---|
235 | ((void)((*___dst__R10scoStack_t_1).storage=__storage__Pv_1) /* ?{} */); |
---|
236 | ((void)((*___dst__R10scoStack_t_1).limit=__limit__Pv_1) /* ?{} */); |
---|
237 | ((void)((*___dst__R10scoStack_t_1).base=__base__Pv_1) /* ?{} */); |
---|
238 | ((void)((*___dst__R10scoStack_t_1).context=__context__Pv_1) /* ?{} */); |
---|
239 | ((void)((*___dst__R10scoStack_t_1).top=__top__Pv_1) /* ?{} */); |
---|
240 | ((void)((*___dst__R10scoStack_t_1).userStack=__userStack__b_1) /* ?{} */); |
---|
241 | } |
---|
242 | enum coroutine_state { |
---|
243 | Halted, |
---|
244 | Start, |
---|
245 | Inactive, |
---|
246 | Active, |
---|
247 | Primed, |
---|
248 | }; |
---|
249 | struct coroutine_desc { |
---|
250 | struct coStack_t stack; |
---|
251 | const char *name; |
---|
252 | signed int errno_; |
---|
253 | enum coroutine_state state; |
---|
254 | struct coroutine_desc *starter; |
---|
255 | struct coroutine_desc *last; |
---|
256 | }; |
---|
257 | struct __waitfor_mask_t { |
---|
258 | signed short int *accepted; |
---|
259 | struct __acceptable_t *clauses; |
---|
260 | signed short int size; |
---|
261 | }; |
---|
262 | static inline void ___constructor__F_R17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1); |
---|
263 | static inline void ___constructor__F_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1, struct __waitfor_mask_t ___src__17s__waitfor_mask_t_1); |
---|
264 | static inline void ___destructor__F_R17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1); |
---|
265 | static inline struct __waitfor_mask_t ___operator_assign__F17s__waitfor_mask_t_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1, struct __waitfor_mask_t ___src__17s__waitfor_mask_t_1); |
---|
266 | static inline void ___constructor__F_R17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1){ |
---|
267 | ((void)((*___dst__R17s__waitfor_mask_t_1).accepted) /* ?{} */); |
---|
268 | ((void)((*___dst__R17s__waitfor_mask_t_1).clauses) /* ?{} */); |
---|
269 | ((void)((*___dst__R17s__waitfor_mask_t_1).size) /* ?{} */); |
---|
270 | } |
---|
271 | static inline void ___constructor__F_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1, struct __waitfor_mask_t ___src__17s__waitfor_mask_t_1){ |
---|
272 | ((void)((*___dst__R17s__waitfor_mask_t_1).accepted=___src__17s__waitfor_mask_t_1.accepted) /* ?{} */); |
---|
273 | ((void)((*___dst__R17s__waitfor_mask_t_1).clauses=___src__17s__waitfor_mask_t_1.clauses) /* ?{} */); |
---|
274 | ((void)((*___dst__R17s__waitfor_mask_t_1).size=___src__17s__waitfor_mask_t_1.size) /* ?{} */); |
---|
275 | } |
---|
276 | static inline void ___destructor__F_R17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1){ |
---|
277 | ((void)((*___dst__R17s__waitfor_mask_t_1).size) /* ^?{} */); |
---|
278 | ((void)((*___dst__R17s__waitfor_mask_t_1).clauses) /* ^?{} */); |
---|
279 | ((void)((*___dst__R17s__waitfor_mask_t_1).accepted) /* ^?{} */); |
---|
280 | } |
---|
281 | static inline struct __waitfor_mask_t ___operator_assign__F17s__waitfor_mask_t_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1, struct __waitfor_mask_t ___src__17s__waitfor_mask_t_1){ |
---|
282 | struct __waitfor_mask_t ___ret__17s__waitfor_mask_t_1; |
---|
283 | ((void)((*___dst__R17s__waitfor_mask_t_1).accepted=___src__17s__waitfor_mask_t_1.accepted)); |
---|
284 | ((void)((*___dst__R17s__waitfor_mask_t_1).clauses=___src__17s__waitfor_mask_t_1.clauses)); |
---|
285 | ((void)((*___dst__R17s__waitfor_mask_t_1).size=___src__17s__waitfor_mask_t_1.size)); |
---|
286 | ((void)___constructor__F_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1((&___ret__17s__waitfor_mask_t_1), ___src__17s__waitfor_mask_t_1)); |
---|
287 | return ((struct __waitfor_mask_t )___ret__17s__waitfor_mask_t_1); |
---|
288 | } |
---|
289 | static inline void ___constructor__F_R17s__waitfor_mask_tPs_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1, signed short int *__accepted__Ps_1){ |
---|
290 | ((void)((*___dst__R17s__waitfor_mask_t_1).accepted=__accepted__Ps_1) /* ?{} */); |
---|
291 | ((void)((*___dst__R17s__waitfor_mask_t_1).clauses) /* ?{} */); |
---|
292 | ((void)((*___dst__R17s__waitfor_mask_t_1).size) /* ?{} */); |
---|
293 | } |
---|
294 | static inline void ___constructor__F_R17s__waitfor_mask_tPsP15s__acceptable_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1, signed short int *__accepted__Ps_1, struct __acceptable_t *__clauses__P15s__acceptable_t_1){ |
---|
295 | ((void)((*___dst__R17s__waitfor_mask_t_1).accepted=__accepted__Ps_1) /* ?{} */); |
---|
296 | ((void)((*___dst__R17s__waitfor_mask_t_1).clauses=__clauses__P15s__acceptable_t_1) /* ?{} */); |
---|
297 | ((void)((*___dst__R17s__waitfor_mask_t_1).size) /* ?{} */); |
---|
298 | } |
---|
299 | static inline void ___constructor__F_R17s__waitfor_mask_tPsP15s__acceptable_ts_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1, signed short int *__accepted__Ps_1, struct __acceptable_t *__clauses__P15s__acceptable_t_1, signed short int __size__s_1){ |
---|
300 | ((void)((*___dst__R17s__waitfor_mask_t_1).accepted=__accepted__Ps_1) /* ?{} */); |
---|
301 | ((void)((*___dst__R17s__waitfor_mask_t_1).clauses=__clauses__P15s__acceptable_t_1) /* ?{} */); |
---|
302 | ((void)((*___dst__R17s__waitfor_mask_t_1).size=__size__s_1) /* ?{} */); |
---|
303 | } |
---|
304 | struct monitor_desc { |
---|
305 | struct spinlock lock; |
---|
306 | struct thread_desc *owner; |
---|
307 | struct __thread_queue_t entry_queue; |
---|
308 | struct __condition_stack_t signal_stack; |
---|
309 | unsigned int recursion; |
---|
310 | struct __waitfor_mask_t mask; |
---|
311 | }; |
---|
312 | static inline void ___constructor__F_R13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1); |
---|
313 | static inline void ___constructor__F_R13smonitor_desc13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct monitor_desc ___src__13smonitor_desc_1); |
---|
314 | static inline void ___destructor__F_R13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1); |
---|
315 | static inline struct monitor_desc ___operator_assign__F13smonitor_desc_R13smonitor_desc13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct monitor_desc ___src__13smonitor_desc_1); |
---|
316 | static inline void ___constructor__F_R13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1){ |
---|
317 | ((void)___constructor__F_R9sspinlock__1((&(*___dst__R13smonitor_desc_1).lock))); |
---|
318 | ((void)((*___dst__R13smonitor_desc_1).owner) /* ?{} */); |
---|
319 | ((void)___constructor__F_R17s__thread_queue_t__1((&(*___dst__R13smonitor_desc_1).entry_queue))); |
---|
320 | ((void)___constructor__F_R20s__condition_stack_t__1((&(*___dst__R13smonitor_desc_1).signal_stack))); |
---|
321 | ((void)((*___dst__R13smonitor_desc_1).recursion) /* ?{} */); |
---|
322 | ((void)___constructor__F_R17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask))); |
---|
323 | } |
---|
324 | static inline void ___constructor__F_R13smonitor_desc13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct monitor_desc ___src__13smonitor_desc_1){ |
---|
325 | ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), ___src__13smonitor_desc_1.lock)); |
---|
326 | ((void)((*___dst__R13smonitor_desc_1).owner=___src__13smonitor_desc_1.owner) /* ?{} */); |
---|
327 | ((void)___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&(*___dst__R13smonitor_desc_1).entry_queue), ___src__13smonitor_desc_1.entry_queue)); |
---|
328 | ((void)___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1((&(*___dst__R13smonitor_desc_1).signal_stack), ___src__13smonitor_desc_1.signal_stack)); |
---|
329 | ((void)((*___dst__R13smonitor_desc_1).recursion=___src__13smonitor_desc_1.recursion) /* ?{} */); |
---|
330 | ((void)___constructor__F_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask), ___src__13smonitor_desc_1.mask)); |
---|
331 | } |
---|
332 | static inline void ___destructor__F_R13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1){ |
---|
333 | ((void)___destructor__F_R17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask))); |
---|
334 | ((void)((*___dst__R13smonitor_desc_1).recursion) /* ^?{} */); |
---|
335 | ((void)___destructor__F_R20s__condition_stack_t_autogen___1((&(*___dst__R13smonitor_desc_1).signal_stack))); |
---|
336 | ((void)___destructor__F_R17s__thread_queue_t_autogen___1((&(*___dst__R13smonitor_desc_1).entry_queue))); |
---|
337 | ((void)((*___dst__R13smonitor_desc_1).owner) /* ^?{} */); |
---|
338 | ((void)___destructor__F_R9sspinlock__1((&(*___dst__R13smonitor_desc_1).lock))); |
---|
339 | } |
---|
340 | static inline struct monitor_desc ___operator_assign__F13smonitor_desc_R13smonitor_desc13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct monitor_desc ___src__13smonitor_desc_1){ |
---|
341 | struct monitor_desc ___ret__13smonitor_desc_1; |
---|
342 | struct spinlock _tmp_cp0; |
---|
343 | struct spinlock _tmp_cp_ret0; |
---|
344 | ((void)(((void)(_tmp_cp_ret0=___operator_assign__F9sspinlock_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), (((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&_tmp_cp0), ___src__13smonitor_desc_1.lock)) , _tmp_cp0)))) , _tmp_cp_ret0)); |
---|
345 | ((void)___destructor__F_R9sspinlock__1((&_tmp_cp_ret0))); |
---|
346 | ((void)___destructor__F_R9sspinlock__1((&_tmp_cp0))); |
---|
347 | ((void)((*___dst__R13smonitor_desc_1).owner=___src__13smonitor_desc_1.owner)); |
---|
348 | struct __thread_queue_t _tmp_cp1; |
---|
349 | struct __thread_queue_t _tmp_cp_ret1; |
---|
350 | ((void)(((void)(_tmp_cp_ret1=___operator_assign__F17s__thread_queue_t_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&(*___dst__R13smonitor_desc_1).entry_queue), (((void)___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&_tmp_cp1), ___src__13smonitor_desc_1.entry_queue)) , _tmp_cp1)))) , _tmp_cp_ret1)); |
---|
351 | ((void)___destructor__F_R17s__thread_queue_t_autogen___1((&_tmp_cp_ret1))); |
---|
352 | ((void)___destructor__F_R17s__thread_queue_t_autogen___1((&_tmp_cp1))); |
---|
353 | struct __condition_stack_t _tmp_cp2; |
---|
354 | struct __condition_stack_t _tmp_cp_ret2; |
---|
355 | ((void)(((void)(_tmp_cp_ret2=___operator_assign__F20s__condition_stack_t_R20s__condition_stack_t20s__condition_stack_t_autogen___1((&(*___dst__R13smonitor_desc_1).signal_stack), (((void)___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1((&_tmp_cp2), ___src__13smonitor_desc_1.signal_stack)) , _tmp_cp2)))) , _tmp_cp_ret2)); |
---|
356 | ((void)___destructor__F_R20s__condition_stack_t_autogen___1((&_tmp_cp_ret2))); |
---|
357 | ((void)___destructor__F_R20s__condition_stack_t_autogen___1((&_tmp_cp2))); |
---|
358 | ((void)((*___dst__R13smonitor_desc_1).recursion=___src__13smonitor_desc_1.recursion)); |
---|
359 | struct __waitfor_mask_t _tmp_cp3; |
---|
360 | struct __waitfor_mask_t _tmp_cp_ret3; |
---|
361 | ((void)(((void)(_tmp_cp_ret3=___operator_assign__F17s__waitfor_mask_t_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask), (((void)___constructor__F_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1((&_tmp_cp3), ___src__13smonitor_desc_1.mask)) , _tmp_cp3)))) , _tmp_cp_ret3)); |
---|
362 | ((void)___destructor__F_R17s__waitfor_mask_t_autogen___1((&_tmp_cp_ret3))); |
---|
363 | ((void)___destructor__F_R17s__waitfor_mask_t_autogen___1((&_tmp_cp3))); |
---|
364 | ((void)___constructor__F_R13smonitor_desc13smonitor_desc_autogen___1((&___ret__13smonitor_desc_1), ___src__13smonitor_desc_1)); |
---|
365 | return ((struct monitor_desc )___ret__13smonitor_desc_1); |
---|
366 | } |
---|
367 | static inline void ___constructor__F_R13smonitor_desc9sspinlock_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct spinlock __lock__9sspinlock_1){ |
---|
368 | ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), __lock__9sspinlock_1)); |
---|
369 | ((void)((*___dst__R13smonitor_desc_1).owner) /* ?{} */); |
---|
370 | ((void)___constructor__F_R17s__thread_queue_t__1((&(*___dst__R13smonitor_desc_1).entry_queue))); |
---|
371 | ((void)___constructor__F_R20s__condition_stack_t__1((&(*___dst__R13smonitor_desc_1).signal_stack))); |
---|
372 | ((void)((*___dst__R13smonitor_desc_1).recursion) /* ?{} */); |
---|
373 | ((void)___constructor__F_R17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask))); |
---|
374 | } |
---|
375 | static inline void ___constructor__F_R13smonitor_desc9sspinlockP12sthread_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct spinlock __lock__9sspinlock_1, struct thread_desc *__owner__P12sthread_desc_1){ |
---|
376 | ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), __lock__9sspinlock_1)); |
---|
377 | ((void)((*___dst__R13smonitor_desc_1).owner=__owner__P12sthread_desc_1) /* ?{} */); |
---|
378 | ((void)___constructor__F_R17s__thread_queue_t__1((&(*___dst__R13smonitor_desc_1).entry_queue))); |
---|
379 | ((void)___constructor__F_R20s__condition_stack_t__1((&(*___dst__R13smonitor_desc_1).signal_stack))); |
---|
380 | ((void)((*___dst__R13smonitor_desc_1).recursion) /* ?{} */); |
---|
381 | ((void)___constructor__F_R17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask))); |
---|
382 | } |
---|
383 | static inline void ___constructor__F_R13smonitor_desc9sspinlockP12sthread_desc17s__thread_queue_t_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct spinlock __lock__9sspinlock_1, struct thread_desc *__owner__P12sthread_desc_1, struct __thread_queue_t __entry_queue__17s__thread_queue_t_1){ |
---|
384 | ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), __lock__9sspinlock_1)); |
---|
385 | ((void)((*___dst__R13smonitor_desc_1).owner=__owner__P12sthread_desc_1) /* ?{} */); |
---|
386 | ((void)___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&(*___dst__R13smonitor_desc_1).entry_queue), __entry_queue__17s__thread_queue_t_1)); |
---|
387 | ((void)___constructor__F_R20s__condition_stack_t__1((&(*___dst__R13smonitor_desc_1).signal_stack))); |
---|
388 | ((void)((*___dst__R13smonitor_desc_1).recursion) /* ?{} */); |
---|
389 | ((void)___constructor__F_R17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask))); |
---|
390 | } |
---|
391 | static inline void ___constructor__F_R13smonitor_desc9sspinlockP12sthread_desc17s__thread_queue_t20s__condition_stack_t_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct spinlock __lock__9sspinlock_1, struct thread_desc *__owner__P12sthread_desc_1, struct __thread_queue_t __entry_queue__17s__thread_queue_t_1, struct __condition_stack_t __signal_stack__20s__condition_stack_t_1){ |
---|
392 | ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), __lock__9sspinlock_1)); |
---|
393 | ((void)((*___dst__R13smonitor_desc_1).owner=__owner__P12sthread_desc_1) /* ?{} */); |
---|
394 | ((void)___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&(*___dst__R13smonitor_desc_1).entry_queue), __entry_queue__17s__thread_queue_t_1)); |
---|
395 | ((void)___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1((&(*___dst__R13smonitor_desc_1).signal_stack), __signal_stack__20s__condition_stack_t_1)); |
---|
396 | ((void)((*___dst__R13smonitor_desc_1).recursion) /* ?{} */); |
---|
397 | ((void)___constructor__F_R17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask))); |
---|
398 | } |
---|
399 | static inline void ___constructor__F_R13smonitor_desc9sspinlockP12sthread_desc17s__thread_queue_t20s__condition_stack_tUi_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct spinlock __lock__9sspinlock_1, struct thread_desc *__owner__P12sthread_desc_1, struct __thread_queue_t __entry_queue__17s__thread_queue_t_1, struct __condition_stack_t __signal_stack__20s__condition_stack_t_1, unsigned int __recursion__Ui_1){ |
---|
400 | ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), __lock__9sspinlock_1)); |
---|
401 | ((void)((*___dst__R13smonitor_desc_1).owner=__owner__P12sthread_desc_1) /* ?{} */); |
---|
402 | ((void)___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&(*___dst__R13smonitor_desc_1).entry_queue), __entry_queue__17s__thread_queue_t_1)); |
---|
403 | ((void)___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1((&(*___dst__R13smonitor_desc_1).signal_stack), __signal_stack__20s__condition_stack_t_1)); |
---|
404 | ((void)((*___dst__R13smonitor_desc_1).recursion=__recursion__Ui_1) /* ?{} */); |
---|
405 | ((void)___constructor__F_R17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask))); |
---|
406 | } |
---|
407 | static inline void ___constructor__F_R13smonitor_desc9sspinlockP12sthread_desc17s__thread_queue_t20s__condition_stack_tUi17s__waitfor_mask_t_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct spinlock __lock__9sspinlock_1, struct thread_desc *__owner__P12sthread_desc_1, struct __thread_queue_t __entry_queue__17s__thread_queue_t_1, struct __condition_stack_t __signal_stack__20s__condition_stack_t_1, unsigned int __recursion__Ui_1, struct __waitfor_mask_t __mask__17s__waitfor_mask_t_1){ |
---|
408 | ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), __lock__9sspinlock_1)); |
---|
409 | ((void)((*___dst__R13smonitor_desc_1).owner=__owner__P12sthread_desc_1) /* ?{} */); |
---|
410 | ((void)___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&(*___dst__R13smonitor_desc_1).entry_queue), __entry_queue__17s__thread_queue_t_1)); |
---|
411 | ((void)___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1((&(*___dst__R13smonitor_desc_1).signal_stack), __signal_stack__20s__condition_stack_t_1)); |
---|
412 | ((void)((*___dst__R13smonitor_desc_1).recursion=__recursion__Ui_1) /* ?{} */); |
---|
413 | ((void)___constructor__F_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask), __mask__17s__waitfor_mask_t_1)); |
---|
414 | } |
---|
415 | struct __monitor_group_t { |
---|
416 | struct monitor_desc **list; |
---|
417 | signed short int size; |
---|
418 | void (*func)(); |
---|
419 | }; |
---|
420 | static inline void ___constructor__F_R18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1); |
---|
421 | static inline void ___constructor__F_R18s__monitor_group_t18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1, struct __monitor_group_t ___src__18s__monitor_group_t_1); |
---|
422 | static inline void ___destructor__F_R18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1); |
---|
423 | static inline struct __monitor_group_t ___operator_assign__F18s__monitor_group_t_R18s__monitor_group_t18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1, struct __monitor_group_t ___src__18s__monitor_group_t_1); |
---|
424 | static inline void ___constructor__F_R18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1){ |
---|
425 | ((void)((*___dst__R18s__monitor_group_t_1).list) /* ?{} */); |
---|
426 | ((void)((*___dst__R18s__monitor_group_t_1).size) /* ?{} */); |
---|
427 | ((void)((*___dst__R18s__monitor_group_t_1).func) /* ?{} */); |
---|
428 | } |
---|
429 | static inline void ___constructor__F_R18s__monitor_group_t18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1, struct __monitor_group_t ___src__18s__monitor_group_t_1){ |
---|
430 | ((void)((*___dst__R18s__monitor_group_t_1).list=___src__18s__monitor_group_t_1.list) /* ?{} */); |
---|
431 | ((void)((*___dst__R18s__monitor_group_t_1).size=___src__18s__monitor_group_t_1.size) /* ?{} */); |
---|
432 | ((void)((*___dst__R18s__monitor_group_t_1).func=___src__18s__monitor_group_t_1.func) /* ?{} */); |
---|
433 | } |
---|
434 | static inline void ___destructor__F_R18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1){ |
---|
435 | ((void)((*___dst__R18s__monitor_group_t_1).func) /* ^?{} */); |
---|
436 | ((void)((*___dst__R18s__monitor_group_t_1).size) /* ^?{} */); |
---|
437 | ((void)((*___dst__R18s__monitor_group_t_1).list) /* ^?{} */); |
---|
438 | } |
---|
439 | static inline struct __monitor_group_t ___operator_assign__F18s__monitor_group_t_R18s__monitor_group_t18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1, struct __monitor_group_t ___src__18s__monitor_group_t_1){ |
---|
440 | struct __monitor_group_t ___ret__18s__monitor_group_t_1; |
---|
441 | ((void)((*___dst__R18s__monitor_group_t_1).list=___src__18s__monitor_group_t_1.list)); |
---|
442 | ((void)((*___dst__R18s__monitor_group_t_1).size=___src__18s__monitor_group_t_1.size)); |
---|
443 | ((void)((*___dst__R18s__monitor_group_t_1).func=___src__18s__monitor_group_t_1.func)); |
---|
444 | ((void)___constructor__F_R18s__monitor_group_t18s__monitor_group_t_autogen___1((&___ret__18s__monitor_group_t_1), ___src__18s__monitor_group_t_1)); |
---|
445 | return ((struct __monitor_group_t )___ret__18s__monitor_group_t_1); |
---|
446 | } |
---|
447 | static inline void ___constructor__F_R18s__monitor_group_tPP13smonitor_desc_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1, struct monitor_desc **__list__PP13smonitor_desc_1){ |
---|
448 | ((void)((*___dst__R18s__monitor_group_t_1).list=__list__PP13smonitor_desc_1) /* ?{} */); |
---|
449 | ((void)((*___dst__R18s__monitor_group_t_1).size) /* ?{} */); |
---|
450 | ((void)((*___dst__R18s__monitor_group_t_1).func) /* ?{} */); |
---|
451 | } |
---|
452 | static inline void ___constructor__F_R18s__monitor_group_tPP13smonitor_descs_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1, struct monitor_desc **__list__PP13smonitor_desc_1, signed short int __size__s_1){ |
---|
453 | ((void)((*___dst__R18s__monitor_group_t_1).list=__list__PP13smonitor_desc_1) /* ?{} */); |
---|
454 | ((void)((*___dst__R18s__monitor_group_t_1).size=__size__s_1) /* ?{} */); |
---|
455 | ((void)((*___dst__R18s__monitor_group_t_1).func) /* ?{} */); |
---|
456 | } |
---|
457 | static inline void ___constructor__F_R18s__monitor_group_tPP13smonitor_descsPF___autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1, struct monitor_desc **__list__PP13smonitor_desc_1, signed short int __size__s_1, void (*__func__PF___1)()){ |
---|
458 | ((void)((*___dst__R18s__monitor_group_t_1).list=__list__PP13smonitor_desc_1) /* ?{} */); |
---|
459 | ((void)((*___dst__R18s__monitor_group_t_1).size=__size__s_1) /* ?{} */); |
---|
460 | ((void)((*___dst__R18s__monitor_group_t_1).func=__func__PF___1) /* ?{} */); |
---|
461 | } |
---|
462 | struct thread_desc { |
---|
463 | struct coroutine_desc self_cor; |
---|
464 | struct monitor_desc self_mon; |
---|
465 | struct monitor_desc *self_mon_p; |
---|
466 | struct __monitor_group_t monitors; |
---|
467 | struct thread_desc *next; |
---|
468 | }; |
---|
469 | static inline struct monitor_desc *___operator_index__FP13smonitor_desc_RC18s__monitor_group_tl__1(const struct __monitor_group_t *__this__RC18s__monitor_group_t_1, signed long int __index__l_1){ |
---|
470 | __attribute__ ((unused)) struct monitor_desc *___retval__operator_index__P13smonitor_desc_1; |
---|
471 | ((void)(___retval__operator_index__P13smonitor_desc_1=(*__this__RC18s__monitor_group_t_1).list[__index__l_1]) /* ?{} */); |
---|
472 | return ((struct monitor_desc *)___retval__operator_index__P13smonitor_desc_1); |
---|
473 | } |
---|
474 | static inline _Bool ___operator_equal__Fb_RC18s__monitor_group_tRC18s__monitor_group_t__1(const struct __monitor_group_t *__lhs__RC18s__monitor_group_t_1, const struct __monitor_group_t *__rhs__RC18s__monitor_group_t_1){ |
---|
475 | __attribute__ ((unused)) _Bool ___retval__operator_equal__b_1; |
---|
476 | if ( ((signed int )((((*__lhs__RC18s__monitor_group_t_1).list!=((struct monitor_desc **)0))!=((*__rhs__RC18s__monitor_group_t_1).list!=((struct monitor_desc **)0)))!=((signed int )0))) ) { |
---|
477 | ((void)(___retval__operator_equal__b_1=((_Bool )0)) /* ?{} */); |
---|
478 | return ((_Bool )___retval__operator_equal__b_1); |
---|
479 | } |
---|
480 | |
---|
481 | if ( ((signed int )(((*__lhs__RC18s__monitor_group_t_1).size!=(*__rhs__RC18s__monitor_group_t_1).size)!=((signed int )0))) ) { |
---|
482 | ((void)(___retval__operator_equal__b_1=((_Bool )0)) /* ?{} */); |
---|
483 | return ((_Bool )___retval__operator_equal__b_1); |
---|
484 | } |
---|
485 | |
---|
486 | if ( ((signed int )(((*__lhs__RC18s__monitor_group_t_1).func!=(*__rhs__RC18s__monitor_group_t_1).func)!=((signed int )0))) ) { |
---|
487 | ((void)(___retval__operator_equal__b_1=((_Bool )0)) /* ?{} */); |
---|
488 | return ((_Bool )___retval__operator_equal__b_1); |
---|
489 | } |
---|
490 | |
---|
491 | { |
---|
492 | signed int __i__i_3 = ((signed int )0); |
---|
493 | for (;((signed int )((__i__i_3<((signed int )(*__lhs__RC18s__monitor_group_t_1).size))!=((signed int )0)));((void)__i__i_3++)) { |
---|
494 | struct monitor_desc *_tmp_cp_ret4; |
---|
495 | struct monitor_desc *_tmp_cp_ret5; |
---|
496 | if ( ((signed int )(((((void)(_tmp_cp_ret4=___operator_index__FP13smonitor_desc_RC18s__monitor_group_tl__1(__lhs__RC18s__monitor_group_t_1, ((signed long int )__i__i_3)))) , _tmp_cp_ret4)!=(((void)(_tmp_cp_ret5=___operator_index__FP13smonitor_desc_RC18s__monitor_group_tl__1(__rhs__RC18s__monitor_group_t_1, ((signed long int )__i__i_3)))) , _tmp_cp_ret5))!=((signed int )0))) ) { |
---|
497 | ((void)(___retval__operator_equal__b_1=((_Bool )0)) /* ?{} */); |
---|
498 | return ((_Bool )___retval__operator_equal__b_1); |
---|
499 | } |
---|
500 | |
---|
501 | ((void)(_tmp_cp_ret4) /* ^?{} */); |
---|
502 | ((void)(_tmp_cp_ret5) /* ^?{} */); |
---|
503 | } |
---|
504 | |
---|
505 | } |
---|
506 | |
---|
507 | ((void)(___retval__operator_equal__b_1=((_Bool )1)) /* ?{} */); |
---|
508 | return ((_Bool )___retval__operator_equal__b_1); |
---|
509 | } |
---|
510 | static inline void *__malloc__A0_1_0_0__FPd0___1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT){ |
---|
511 | __attribute__ ((unused)) void *___retval_malloc__P2tT_1; |
---|
512 | void *_tmp_cp_ret6; |
---|
513 | ((void)(___retval_malloc__P2tT_1=((void *)((void *)(((void)(_tmp_cp_ret6=malloc(((unsigned long int )_sizeof_2tT)))) , _tmp_cp_ret6)))) /* ?{} */); |
---|
514 | ((void)(_tmp_cp_ret6) /* ^?{} */); |
---|
515 | return ((void *)___retval_malloc__P2tT_1); |
---|
516 | } |
---|
517 | void *calloc(unsigned long int dim, unsigned long int size); |
---|
518 | static inline void *__calloc__A0_1_0_0__FPd0_Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __dim__Ul_1){ |
---|
519 | __attribute__ ((unused)) void *___retval_calloc__P2tT_1; |
---|
520 | void *_tmp_cp_ret7; |
---|
521 | ((void)(___retval_calloc__P2tT_1=((void *)((void *)(((void)(_tmp_cp_ret7=calloc(__dim__Ul_1, _sizeof_2tT))) , _tmp_cp_ret7)))) /* ?{} */); |
---|
522 | ((void)(_tmp_cp_ret7) /* ^?{} */); |
---|
523 | return ((void *)___retval_calloc__P2tT_1); |
---|
524 | } |
---|
525 | void *realloc(void *ptr, unsigned long int size); |
---|
526 | static inline void *__realloc__A0_1_0_0__FPd0_Pd0Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void *__ptr__P2tT_1, unsigned long int __size__Ul_1){ |
---|
527 | __attribute__ ((unused)) void *___retval_realloc__P2tT_1; |
---|
528 | void *_tmp_cp_ret8; |
---|
529 | ((void)(___retval_realloc__P2tT_1=((void *)((void *)(((void)(_tmp_cp_ret8=realloc(((void *)__ptr__P2tT_1), __size__Ul_1))) , _tmp_cp_ret8)))) /* ?{} */); |
---|
530 | ((void)(_tmp_cp_ret8) /* ^?{} */); |
---|
531 | return ((void *)___retval_realloc__P2tT_1); |
---|
532 | } |
---|
533 | void *memalign(unsigned long int align, unsigned long int size); |
---|
534 | static inline void *__memalign__A0_1_0_0__FPd0_Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __align__Ul_1){ |
---|
535 | __attribute__ ((unused)) void *___retval_memalign__P2tT_1; |
---|
536 | void *_tmp_cp_ret9; |
---|
537 | ((void)(___retval_memalign__P2tT_1=((void *)(((void)(_tmp_cp_ret9=memalign(__align__Ul_1, _sizeof_2tT))) , _tmp_cp_ret9))) /* ?{} */); |
---|
538 | ((void)(_tmp_cp_ret9) /* ^?{} */); |
---|
539 | return ((void *)___retval_memalign__P2tT_1); |
---|
540 | } |
---|
541 | static inline void *__aligned_alloc__A0_1_0_0__FPd0_Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __align__Ul_1){ |
---|
542 | __attribute__ ((unused)) void *___retval_aligned_alloc__P2tT_1; |
---|
543 | void *_tmp_cp_ret10; |
---|
544 | ((void)(___retval_aligned_alloc__P2tT_1=((void *)(((void)(_tmp_cp_ret10=memalign(__align__Ul_1, _sizeof_2tT))) , _tmp_cp_ret10))) /* ?{} */); |
---|
545 | ((void)(_tmp_cp_ret10) /* ^?{} */); |
---|
546 | return ((void *)___retval_aligned_alloc__P2tT_1); |
---|
547 | } |
---|
548 | signed int posix_memalign(void **ptr, unsigned long int align, unsigned long int size); |
---|
549 | static inline signed int __posix_memalign__A0_1_0_0__Fi_PPd0Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void **__ptr__PP2tT_1, unsigned long int __align__Ul_1){ |
---|
550 | __attribute__ ((unused)) signed int ___retval_posix_memalign__i_1; |
---|
551 | signed int _tmp_cp_ret11; |
---|
552 | ((void)(___retval_posix_memalign__i_1=(((void)(_tmp_cp_ret11=posix_memalign(((void **)__ptr__PP2tT_1), __align__Ul_1, _sizeof_2tT))) , _tmp_cp_ret11)) /* ?{} */); |
---|
553 | ((void)(_tmp_cp_ret11) /* ^?{} */); |
---|
554 | return ((signed int )___retval_posix_memalign__i_1); |
---|
555 | } |
---|
556 | void *memset(void *dest, signed int c, unsigned long int size); |
---|
557 | static inline void *__alloc__A0_1_0_0__FPd0___1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT){ |
---|
558 | __attribute__ ((unused)) void *___retval_alloc__P2tT_1; |
---|
559 | void *_tmp_cp_ret12; |
---|
560 | ((void)(___retval_alloc__P2tT_1=((void *)((void *)(((void)(_tmp_cp_ret12=malloc(((unsigned long int )_sizeof_2tT)))) , _tmp_cp_ret12)))) /* ?{} */); |
---|
561 | ((void)(_tmp_cp_ret12) /* ^?{} */); |
---|
562 | return ((void *)___retval_alloc__P2tT_1); |
---|
563 | } |
---|
564 | static inline void *__alloc__A0_1_0_0__FPd0_c__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, char __fill__c_1){ |
---|
565 | __attribute__ ((unused)) void *___retval_alloc__P2tT_1; |
---|
566 | void *_tmp_cp_ret13; |
---|
567 | void *__ptr__P2tT_2 = ((void *)((void *)((void *)(((void)(_tmp_cp_ret13=malloc(((unsigned long int )_sizeof_2tT)))) , _tmp_cp_ret13)))); |
---|
568 | ((void)(_tmp_cp_ret13) /* ^?{} */); |
---|
569 | void *_tmp_cp_ret14; |
---|
570 | ((void)(___retval_alloc__P2tT_1=(((void)(_tmp_cp_ret14=memset(((void *)__ptr__P2tT_2), ((signed int )__fill__c_1), _sizeof_2tT))) , _tmp_cp_ret14)) /* ?{} */); |
---|
571 | ((void)(_tmp_cp_ret14) /* ^?{} */); |
---|
572 | return ((void *)___retval_alloc__P2tT_1); |
---|
573 | } |
---|
574 | static inline void *__alloc__A0_1_0_0__FPd0_Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __dim__Ul_1){ |
---|
575 | __attribute__ ((unused)) void *___retval_alloc__P2tT_1; |
---|
576 | void *_tmp_cp_ret15; |
---|
577 | ((void)(___retval_alloc__P2tT_1=((void *)((void *)(((void)(_tmp_cp_ret15=malloc((__dim__Ul_1*((unsigned long int )_sizeof_2tT))))) , _tmp_cp_ret15)))) /* ?{} */); |
---|
578 | ((void)(_tmp_cp_ret15) /* ^?{} */); |
---|
579 | return ((void *)___retval_alloc__P2tT_1); |
---|
580 | } |
---|
581 | static inline void *__alloc__A0_1_0_0__FPd0_Ulc__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __dim__Ul_1, char __fill__c_1){ |
---|
582 | __attribute__ ((unused)) void *___retval_alloc__P2tT_1; |
---|
583 | void *_tmp_cp_ret16; |
---|
584 | void *__ptr__P2tT_2 = ((void *)((void *)((void *)(((void)(_tmp_cp_ret16=malloc((__dim__Ul_1*((unsigned long int )_sizeof_2tT))))) , _tmp_cp_ret16)))); |
---|
585 | ((void)(_tmp_cp_ret16) /* ^?{} */); |
---|
586 | void *_tmp_cp_ret17; |
---|
587 | ((void)(___retval_alloc__P2tT_1=(((void)(_tmp_cp_ret17=memset(((void *)__ptr__P2tT_2), ((signed int )__fill__c_1), (__dim__Ul_1*_sizeof_2tT)))) , _tmp_cp_ret17)) /* ?{} */); |
---|
588 | ((void)(_tmp_cp_ret17) /* ^?{} */); |
---|
589 | return ((void *)___retval_alloc__P2tT_1); |
---|
590 | } |
---|
591 | static inline void *__alloc__A0_1_0_0__FPd0_Pd0Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void *__ptr__P2tT_1, unsigned long int __dim__Ul_1){ |
---|
592 | __attribute__ ((unused)) void *___retval_alloc__P2tT_1; |
---|
593 | void *_tmp_cp_ret18; |
---|
594 | ((void)(___retval_alloc__P2tT_1=((void *)(((void)(_tmp_cp_ret18=realloc(((void *)__ptr__P2tT_1), (__dim__Ul_1*((unsigned long int )_sizeof_2tT))))) , _tmp_cp_ret18))) /* ?{} */); |
---|
595 | ((void)(_tmp_cp_ret18) /* ^?{} */); |
---|
596 | return ((void *)___retval_alloc__P2tT_1); |
---|
597 | } |
---|
598 | void *__alloc__A0_1_0_0__FPd0_Pd0Ulc__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void *__ptr__P2tT_1, unsigned long int __dim__Ul_1, char __fill__c_1); |
---|
599 | static inline void *__align_alloc__A0_1_0_0__FPd0_Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __align__Ul_1){ |
---|
600 | __attribute__ ((unused)) void *___retval_align_alloc__P2tT_1; |
---|
601 | void *_tmp_cp_ret19; |
---|
602 | ((void)(___retval_align_alloc__P2tT_1=((void *)(((void)(_tmp_cp_ret19=memalign(__align__Ul_1, _sizeof_2tT))) , _tmp_cp_ret19))) /* ?{} */); |
---|
603 | ((void)(_tmp_cp_ret19) /* ^?{} */); |
---|
604 | return ((void *)___retval_align_alloc__P2tT_1); |
---|
605 | } |
---|
606 | static inline void *__align_alloc__A0_1_0_0__FPd0_Ulc__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __align__Ul_1, char __fill__c_1){ |
---|
607 | __attribute__ ((unused)) void *___retval_align_alloc__P2tT_1; |
---|
608 | void *_tmp_cp_ret20; |
---|
609 | void *__ptr__P2tT_2 = ((void *)((void *)(((void)(_tmp_cp_ret20=memalign(__align__Ul_1, _sizeof_2tT))) , _tmp_cp_ret20))); |
---|
610 | ((void)(_tmp_cp_ret20) /* ^?{} */); |
---|
611 | void *_tmp_cp_ret21; |
---|
612 | ((void)(___retval_align_alloc__P2tT_1=(((void)(_tmp_cp_ret21=memset(((void *)__ptr__P2tT_2), ((signed int )__fill__c_1), _sizeof_2tT))) , _tmp_cp_ret21)) /* ?{} */); |
---|
613 | ((void)(_tmp_cp_ret21) /* ^?{} */); |
---|
614 | return ((void *)___retval_align_alloc__P2tT_1); |
---|
615 | } |
---|
616 | static inline void *__align_alloc__A0_1_0_0__FPd0_UlUl__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __align__Ul_1, unsigned long int __dim__Ul_1){ |
---|
617 | __attribute__ ((unused)) void *___retval_align_alloc__P2tT_1; |
---|
618 | void *_tmp_cp_ret22; |
---|
619 | ((void)(___retval_align_alloc__P2tT_1=((void *)(((void)(_tmp_cp_ret22=memalign(__align__Ul_1, (__dim__Ul_1*_sizeof_2tT)))) , _tmp_cp_ret22))) /* ?{} */); |
---|
620 | ((void)(_tmp_cp_ret22) /* ^?{} */); |
---|
621 | return ((void *)___retval_align_alloc__P2tT_1); |
---|
622 | } |
---|
623 | static inline void *__align_alloc__A0_1_0_0__FPd0_UlUlc__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __align__Ul_1, unsigned long int __dim__Ul_1, char __fill__c_1){ |
---|
624 | __attribute__ ((unused)) void *___retval_align_alloc__P2tT_1; |
---|
625 | void *_tmp_cp_ret23; |
---|
626 | void *__ptr__P2tT_2 = ((void *)((void *)(((void)(_tmp_cp_ret23=memalign(__align__Ul_1, (__dim__Ul_1*_sizeof_2tT)))) , _tmp_cp_ret23))); |
---|
627 | ((void)(_tmp_cp_ret23) /* ^?{} */); |
---|
628 | void *_tmp_cp_ret24; |
---|
629 | ((void)(___retval_align_alloc__P2tT_1=(((void)(_tmp_cp_ret24=memset(((void *)__ptr__P2tT_2), ((signed int )__fill__c_1), (__dim__Ul_1*_sizeof_2tT)))) , _tmp_cp_ret24)) /* ?{} */); |
---|
630 | ((void)(_tmp_cp_ret24) /* ^?{} */); |
---|
631 | return ((void *)___retval_align_alloc__P2tT_1); |
---|
632 | } |
---|
633 | static inline void *__memset__A0_1_0_0__FPd0_Pd0c__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void *__dest__P2tT_1, char __c__c_1){ |
---|
634 | __attribute__ ((unused)) void *___retval_memset__P2tT_1; |
---|
635 | void *_tmp_cp_ret25; |
---|
636 | ((void)(___retval_memset__P2tT_1=(((void)(_tmp_cp_ret25=memset(((void *)__dest__P2tT_1), ((signed int )__c__c_1), _sizeof_2tT))) , _tmp_cp_ret25)) /* ?{} */); |
---|
637 | ((void)(_tmp_cp_ret25) /* ^?{} */); |
---|
638 | return ((void *)___retval_memset__P2tT_1); |
---|
639 | } |
---|
640 | void *memcpy(void *dest, const void *src, unsigned long int size); |
---|
641 | static inline void *__memcpy__A0_1_0_0__FPd0_Pd0PCd0__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void *__dest__P2tT_1, const void *__src__PC2tT_1){ |
---|
642 | __attribute__ ((unused)) void *___retval_memcpy__P2tT_1; |
---|
643 | void *_tmp_cp_ret26; |
---|
644 | ((void)(___retval_memcpy__P2tT_1=(((void)(_tmp_cp_ret26=memcpy(((void *)__dest__P2tT_1), ((const void *)__src__PC2tT_1), _sizeof_2tT))) , _tmp_cp_ret26)) /* ?{} */); |
---|
645 | ((void)(_tmp_cp_ret26) /* ^?{} */); |
---|
646 | return ((void *)___retval_memcpy__P2tT_1); |
---|
647 | } |
---|
648 | static inline void *__memset__A0_1_0_0__FPd0_Pd0Ulc__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void *__dest__P2tT_1, unsigned long int __dim__Ul_1, char __c__c_1){ |
---|
649 | __attribute__ ((unused)) void *___retval_memset__P2tT_1; |
---|
650 | void *_tmp_cp_ret27; |
---|
651 | ((void)(___retval_memset__P2tT_1=((void *)(((void)(_tmp_cp_ret27=memset(((void *)__dest__P2tT_1), ((signed int )__c__c_1), (__dim__Ul_1*_sizeof_2tT)))) , _tmp_cp_ret27))) /* ?{} */); |
---|
652 | ((void)(_tmp_cp_ret27) /* ^?{} */); |
---|
653 | return ((void *)___retval_memset__P2tT_1); |
---|
654 | } |
---|
655 | static inline void *__memcpy__A0_1_0_0__FPd0_Pd0PCd0Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void *__dest__P2tT_1, const void *__src__PC2tT_1, unsigned long int __dim__Ul_1){ |
---|
656 | __attribute__ ((unused)) void *___retval_memcpy__P2tT_1; |
---|
657 | void *_tmp_cp_ret28; |
---|
658 | ((void)(___retval_memcpy__P2tT_1=((void *)(((void)(_tmp_cp_ret28=memcpy(((void *)__dest__P2tT_1), ((const void *)__src__PC2tT_1), (__dim__Ul_1*_sizeof_2tT)))) , _tmp_cp_ret28))) /* ?{} */); |
---|
659 | ((void)(_tmp_cp_ret28) /* ^?{} */); |
---|
660 | return ((void *)___retval_memcpy__P2tT_1); |
---|
661 | } |
---|
662 | void *__new__A0_1_0_1____constructor__PF_Rd0tVARGS1__FPd0_tVARGS1__1(__attribute__ ((unused)) void (*_adapterF_P2tT7tParams__MP)(void (*__anonymous_object10)(), void *__anonymous_object11, void *__anonymous_object12), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) unsigned long int _sizeof_7tParams, __attribute__ ((unused)) unsigned long int _alignof_7tParams, __attribute__ ((unused)) void (*___constructor__PF_R2tT7tParams__1)(void *__anonymous_object13, void *__anonymous_object14), void *__p__7tParams_1); |
---|
663 | void __delete__A0_1_0_0____destructor__PF_Rd0__F_Pd0__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object15), void *__ptr__P2tT_1); |
---|
664 | void __delete__A0_1_0_1____destructor__PF_Rd0___delete__PF_tVARGS1__F_Pd0tVARGS1__1(__attribute__ ((unused)) void (*_adapterF_7tParams__P)(void (*__anonymous_object16)(), void *__anonymous_object17), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) unsigned long int _sizeof_7tParams, __attribute__ ((unused)) unsigned long int _alignof_7tParams, __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object18), __attribute__ ((unused)) void (*__delete__PF_7tParams__1)(void *__anonymous_object19), void *__ptr__P2tT_1, void *__rest__7tParams_1); |
---|
665 | void *__anew__A0_1_0_1____constructor__PF_Rd0tVARGS1__FPd0_UltVARGS1__1(__attribute__ ((unused)) void (*_adapterF_P2tT7tParams__MP)(void (*__anonymous_object20)(), void *__anonymous_object21, void *__anonymous_object22), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) unsigned long int _sizeof_7tParams, __attribute__ ((unused)) unsigned long int _alignof_7tParams, __attribute__ ((unused)) void (*___constructor__PF_R2tT7tParams__1)(void *__anonymous_object23, void *__anonymous_object24), unsigned long int __dim__Ul_1, void *__p__7tParams_1); |
---|
666 | void __adelete__A0_1_0_0____destructor__PF_Rd0__F_UlPd0__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object25), unsigned long int __dim__Ul_1, void *__arr__P2tT_1); |
---|
667 | void __adelete__A0_1_0_1____destructor__PF_Rd0___adelete__PF_tVARGS1__F_UlPd0tVARGS1__1(__attribute__ ((unused)) void (*_adapterF_7tParams__P)(void (*__anonymous_object26)(), void *__anonymous_object27), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) unsigned long int _sizeof_7tParams, __attribute__ ((unused)) unsigned long int _alignof_7tParams, __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object28), __attribute__ ((unused)) void (*__adelete__PF_7tParams__1)(void *__anonymous_object29), unsigned long int __dim__Ul_1, void *__arr__P2tT_1, void *__rest__7tParams_1); |
---|
668 | signed int __ato__Fi_PCc__1(const char *__ptr__PCc_1); |
---|
669 | unsigned int __ato__FUi_PCc__1(const char *__ptr__PCc_1); |
---|
670 | signed long int __ato__Fl_PCc__1(const char *__ptr__PCc_1); |
---|
671 | unsigned long int __ato__FUl_PCc__1(const char *__ptr__PCc_1); |
---|
672 | signed long long int __ato__Fq_PCc__1(const char *__ptr__PCc_1); |
---|
673 | unsigned long long int __ato__FUq_PCc__1(const char *__ptr__PCc_1); |
---|
674 | float __ato__Ff_PCc__1(const char *__ptr__PCc_1); |
---|
675 | double __ato__Fd_PCc__1(const char *__ptr__PCc_1); |
---|
676 | long double __ato__Fr_PCc__1(const char *__ptr__PCc_1); |
---|
677 | float _Complex __ato__FXf_PCc__1(const char *__ptr__PCc_1); |
---|
678 | double _Complex __ato__FXd_PCc__1(const char *__ptr__PCc_1); |
---|
679 | long double _Complex __ato__FXr_PCc__1(const char *__ptr__PCc_1); |
---|
680 | signed int __strto__Fi_PCcPPci__1(const char *__sptr__PCc_1, char **__eptr__PPc_1, signed int __base__i_1); |
---|
681 | unsigned int __strto__FUi_PCcPPci__1(const char *__sptr__PCc_1, char **__eptr__PPc_1, signed int __base__i_1); |
---|
682 | signed long int __strto__Fl_PCcPPci__1(const char *__sptr__PCc_1, char **__eptr__PPc_1, signed int __base__i_1); |
---|
683 | unsigned long int __strto__FUl_PCcPPci__1(const char *__sptr__PCc_1, char **__eptr__PPc_1, signed int __base__i_1); |
---|
684 | signed long long int __strto__Fq_PCcPPci__1(const char *__sptr__PCc_1, char **__eptr__PPc_1, signed int __base__i_1); |
---|
685 | unsigned long long int __strto__FUq_PCcPPci__1(const char *__sptr__PCc_1, char **__eptr__PPc_1, signed int __base__i_1); |
---|
686 | float __strto__Ff_PCcPPc__1(const char *__sptr__PCc_1, char **__eptr__PPc_1); |
---|
687 | double __strto__Fd_PCcPPc__1(const char *__sptr__PCc_1, char **__eptr__PPc_1); |
---|
688 | long double __strto__Fr_PCcPPc__1(const char *__sptr__PCc_1, char **__eptr__PPc_1); |
---|
689 | float _Complex __strto__FXf_PCcPPc__1(const char *__sptr__PCc_1, char **__eptr__PPc_1); |
---|
690 | double _Complex __strto__FXd_PCcPPc__1(const char *__sptr__PCc_1, char **__eptr__PPc_1); |
---|
691 | long double _Complex __strto__FXr_PCcPPc__1(const char *__sptr__PCc_1, char **__eptr__PPc_1); |
---|
692 | void *__bsearch__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0____operator_less__PFi_t0t0__FPt0_t0PCt0Ul__1(__attribute__ ((unused)) signed int (*_adapterFi_2tT2tT_M_PP)(void (*__anonymous_object30)(), void *__anonymous_object31, void *__anonymous_object32), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object33)(), void *__anonymous_object34, void *__anonymous_object35), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object36)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object37, void *__anonymous_object38), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object39, void *__anonymous_object40), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object41), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object42, void *__anonymous_object43), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object44), __attribute__ ((unused)) signed int (*___operator_less__PFi_2tT2tT__1)(void *__anonymous_object45, void *__anonymous_object46), void *__key__2tT_1, const void *__arr__PC2tT_1, unsigned long int __dim__Ul_1); |
---|
693 | unsigned int __bsearch__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0____operator_less__PFi_t0t0__FUi_t0PCt0Ul__1(__attribute__ ((unused)) signed int (*_adapterFi_2tT2tT_M_PP)(void (*__anonymous_object47)(), void *__anonymous_object48, void *__anonymous_object49), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object50)(), void *__anonymous_object51, void *__anonymous_object52), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object53)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object54, void *__anonymous_object55), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object56, void *__anonymous_object57), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object58), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object59, void *__anonymous_object60), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object61), __attribute__ ((unused)) signed int (*___operator_less__PFi_2tT2tT__1)(void *__anonymous_object62, void *__anonymous_object63), void *__key__2tT_1, const void *__arr__PC2tT_1, unsigned long int __dim__Ul_1); |
---|
694 | void __qsort__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0____operator_less__PFi_t0t0__F_PCt0Ul__1(__attribute__ ((unused)) signed int (*_adapterFi_2tT2tT_M_PP)(void (*__anonymous_object64)(), void *__anonymous_object65, void *__anonymous_object66), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object67)(), void *__anonymous_object68, void *__anonymous_object69), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object70)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object71, void *__anonymous_object72), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object73, void *__anonymous_object74), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object75), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object76, void *__anonymous_object77), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object78), __attribute__ ((unused)) signed int (*___operator_less__PFi_2tT2tT__1)(void *__anonymous_object79, void *__anonymous_object80), const void *__arr__PC2tT_1, unsigned long int __dim__Ul_1); |
---|
695 | struct _tuple2_ { |
---|
696 | }; |
---|
697 | static inline void _layoutof__tuple2_(unsigned long int *_sizeof__tuple2_, unsigned long int *_alignof__tuple2_, unsigned long int *_offsetof__tuple2_, unsigned long int _sizeof_16ttuple_param_2_0, unsigned long int _alignof_16ttuple_param_2_0, unsigned long int _sizeof_16ttuple_param_2_1, unsigned long int _alignof_16ttuple_param_2_1){ |
---|
698 | ((void)((*_sizeof__tuple2_)=0)); |
---|
699 | ((void)((*_alignof__tuple2_)=1)); |
---|
700 | ((void)(_offsetof__tuple2_[0]=(*_sizeof__tuple2_))); |
---|
701 | ((void)((*_sizeof__tuple2_)+=_sizeof_16ttuple_param_2_0)); |
---|
702 | if ( ((*_alignof__tuple2_)<_alignof_16ttuple_param_2_0) ) ((void)((*_alignof__tuple2_)=_alignof_16ttuple_param_2_0)); |
---|
703 | |
---|
704 | if ( ((*_sizeof__tuple2_)&(_alignof_16ttuple_param_2_1-1)) ) ((void)((*_sizeof__tuple2_)+=(_alignof_16ttuple_param_2_1-((*_sizeof__tuple2_)&(_alignof_16ttuple_param_2_1-1))))); |
---|
705 | |
---|
706 | ((void)(_offsetof__tuple2_[1]=(*_sizeof__tuple2_))); |
---|
707 | ((void)((*_sizeof__tuple2_)+=_sizeof_16ttuple_param_2_1)); |
---|
708 | if ( ((*_alignof__tuple2_)<_alignof_16ttuple_param_2_1) ) ((void)((*_alignof__tuple2_)=_alignof_16ttuple_param_2_1)); |
---|
709 | |
---|
710 | if ( ((*_sizeof__tuple2_)&((*_alignof__tuple2_)-1)) ) ((void)((*_sizeof__tuple2_)+=((*_alignof__tuple2_)-((*_sizeof__tuple2_)&((*_alignof__tuple2_)-1))))); |
---|
711 | |
---|
712 | } |
---|
713 | struct _conc__tuple2_0 { |
---|
714 | signed int field_0; |
---|
715 | signed int field_1; |
---|
716 | }; |
---|
717 | struct _conc__tuple2_0 __div__FTii__ii__1(signed int __num__i_1, signed int __denom__i_1); |
---|
718 | struct _conc__tuple2_1 { |
---|
719 | signed long int field_0; |
---|
720 | signed long int field_1; |
---|
721 | }; |
---|
722 | struct _conc__tuple2_1 __div__FTll__ll__1(signed long int __num__l_1, signed long int __denom__l_1); |
---|
723 | struct _conc__tuple2_2 { |
---|
724 | signed long long int field_0; |
---|
725 | signed long long int field_1; |
---|
726 | }; |
---|
727 | struct _conc__tuple2_2 __div__FTqq__qq__1(signed long long int __num__q_1, signed long long int __denom__q_1); |
---|
728 | void __div__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0____operator_divide__PFt0_t0t0____operator_modulus__PFt0_t0t0__FTt0t0__t0t0__1(__attribute__ ((unused)) void (*_adapterF2tT_2tT2tT_P_PP)(void (*__anonymous_object81)(), __attribute__ ((unused)) void *___retval__operator_divide__2tT_1, void *__anonymous_object82, void *__anonymous_object83), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object84)(), void *__anonymous_object85, void *__anonymous_object86), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object87)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object88, void *__anonymous_object89), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object90, void *__anonymous_object91), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object92), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object93, void *__anonymous_object94), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object95), __attribute__ ((unused)) void *(*___operator_divide__PF2tT_2tT2tT__1)(void *__anonymous_object96, void *__anonymous_object97), __attribute__ ((unused)) void *(*___operator_modulus__PF2tT_2tT2tT__1)(void *__anonymous_object98, void *__anonymous_object99), __attribute__ ((unused)) void *___retval_div__T2tT2tT__1, void *__num__2tT_1, void *__demon__2tT_1); |
---|
729 | unsigned char __abs__FUc_Sc__1(signed char __anonymous_object100); |
---|
730 | signed int abs(signed int __anonymous_object101); |
---|
731 | unsigned long int __abs__FUl_l__1(signed long int __anonymous_object102); |
---|
732 | unsigned long long int __abs__FUq_q__1(signed long long int __anonymous_object103); |
---|
733 | float __abs__Ff_f__1(float __anonymous_object104); |
---|
734 | double __abs__Fd_d__1(double __anonymous_object105); |
---|
735 | long double __abs__Fr_r__1(long double __anonymous_object106); |
---|
736 | float __abs__Ff_Xf__1(float _Complex __anonymous_object107); |
---|
737 | double __abs__Fd_Xd__1(double _Complex __anonymous_object108); |
---|
738 | long double __abs__Fr_Xr__1(long double _Complex __anonymous_object109); |
---|
739 | void __abs__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0____constructor__PF_Rt0Z____operator_less__PFi_t0t0____operator_unaryminus__PFt0_t0__Ft0_t0__1(__attribute__ ((unused)) void (*_adapterF2tT_2tT_P_P)(void (*__anonymous_object110)(), __attribute__ ((unused)) void *___retval__operator_unaryminus__2tT_1, void *__anonymous_object111), __attribute__ ((unused)) signed int (*_adapterFi_2tT2tT_M_PP)(void (*__anonymous_object112)(), void *__anonymous_object113, void *__anonymous_object114), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object115)(), void *__anonymous_object116, void *__anonymous_object117), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object118)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object119, void *__anonymous_object120), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object121, void *__anonymous_object122), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object123), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object124, void *__anonymous_object125), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object126), __attribute__ ((unused)) void (*___constructor__PF_R2tTZ__1)(void *__anonymous_object127, long int __anonymous_object128), __attribute__ ((unused)) signed int (*___operator_less__PFi_2tT2tT__1)(void *__anonymous_object129, void *__anonymous_object130), __attribute__ ((unused)) void *(*___operator_unaryminus__PF2tT_2tT__1)(void *__anonymous_object131), __attribute__ ((unused)) void *___retval_abs__2tT_1, void *__anonymous_object132); |
---|
740 | void __rand48seed__F_l__1(signed long int __s__l_1); |
---|
741 | char __rand48__Fc___1(void); |
---|
742 | signed int __rand48__Fi___1(void); |
---|
743 | unsigned int __rand48__FUi___1(void); |
---|
744 | signed long int __rand48__Fl___1(void); |
---|
745 | unsigned long int __rand48__FUl___1(void); |
---|
746 | float __rand48__Ff___1(void); |
---|
747 | double __rand48__Fd___1(void); |
---|
748 | float _Complex __rand48__FXf___1(void); |
---|
749 | double _Complex __rand48__FXd___1(void); |
---|
750 | long double _Complex __rand48__FXr___1(void); |
---|
751 | void __min__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0____operator_less__PFi_t0t0__Ft0_t0t0__1(__attribute__ ((unused)) signed int (*_adapterFi_2tT2tT_M_PP)(void (*__anonymous_object133)(), void *__anonymous_object134, void *__anonymous_object135), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object136)(), void *__anonymous_object137, void *__anonymous_object138), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object139)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object140, void *__anonymous_object141), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object142, void *__anonymous_object143), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object144), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object145, void *__anonymous_object146), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object147), __attribute__ ((unused)) signed int (*___operator_less__PFi_2tT2tT__1)(void *__anonymous_object148, void *__anonymous_object149), __attribute__ ((unused)) void *___retval_min__2tT_1, void *__t1__2tT_1, void *__t2__2tT_1); |
---|
752 | void __max__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0____operator_greater__PFi_t0t0__Ft0_t0t0__1(__attribute__ ((unused)) signed int (*_adapterFi_2tT2tT_M_PP)(void (*__anonymous_object150)(), void *__anonymous_object151, void *__anonymous_object152), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object153)(), void *__anonymous_object154, void *__anonymous_object155), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object156)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object157, void *__anonymous_object158), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object159, void *__anonymous_object160), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object161), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object162, void *__anonymous_object163), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object164), __attribute__ ((unused)) signed int (*___operator_greater__PFi_2tT2tT__1)(void *__anonymous_object165, void *__anonymous_object166), __attribute__ ((unused)) void *___retval_max__2tT_1, void *__t1__2tT_1, void *__t2__2tT_1); |
---|
753 | void __clamp__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0___min__PFt0_t0t0___max__PFt0_t0t0__Ft0_t0t0t0__1(__attribute__ ((unused)) void (*_adapterF2tT_2tT2tT_P_PP)(void (*__anonymous_object167)(), __attribute__ ((unused)) void *___retval_min__2tT_1, void *__anonymous_object168, void *__anonymous_object169), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object170)(), void *__anonymous_object171, void *__anonymous_object172), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object173)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object174, void *__anonymous_object175), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object176, void *__anonymous_object177), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object178), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object179, void *__anonymous_object180), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object181), __attribute__ ((unused)) void *(*__min__PF2tT_2tT2tT__1)(void *__anonymous_object182, void *__anonymous_object183), __attribute__ ((unused)) void *(*__max__PF2tT_2tT2tT__1)(void *__anonymous_object184, void *__anonymous_object185), __attribute__ ((unused)) void *___retval_clamp__2tT_1, void *__value__2tT_1, void *__min_val__2tT_1, void *__max_val__2tT_1); |
---|
754 | void __swap__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0__F_Rt0Rt0__1(__attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object186)(), void *__anonymous_object187, void *__anonymous_object188), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object189)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object190, void *__anonymous_object191), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object192, void *__anonymous_object193), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object194), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object195, void *__anonymous_object196), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object197), void *__t1__R2tT_1, void *__t2__R2tT_1); |
---|
755 | static inline void ___constructor__F_R13smonitor_desc__1(struct monitor_desc *__this__R13smonitor_desc_1){ |
---|
756 | ((void)((*__this__R13smonitor_desc_1).owner) /* ?{} */); |
---|
757 | ((void)((*__this__R13smonitor_desc_1).recursion) /* ?{} */); |
---|
758 | ((void)___constructor__F_R17s__waitfor_mask_t_autogen___1((&(*__this__R13smonitor_desc_1).mask))); |
---|
759 | struct spinlock *_tmp_ctor_expr0; |
---|
760 | ((void)(((void)(_tmp_ctor_expr0=(&(*__this__R13smonitor_desc_1).lock))) , (((void)___constructor__F_R9sspinlock__1(_tmp_ctor_expr0)) , _tmp_ctor_expr0))); |
---|
761 | ((void)((*__this__R13smonitor_desc_1).owner=((void *)0))); |
---|
762 | struct __thread_queue_t *_tmp_ctor_expr1; |
---|
763 | ((void)(((void)(_tmp_ctor_expr1=(&(*__this__R13smonitor_desc_1).entry_queue))) , (((void)___constructor__F_R17s__thread_queue_t__1(_tmp_ctor_expr1)) , _tmp_ctor_expr1))); |
---|
764 | struct __condition_stack_t *_tmp_ctor_expr2; |
---|
765 | ((void)(((void)(_tmp_ctor_expr2=(&(*__this__R13smonitor_desc_1).signal_stack))) , (((void)___constructor__F_R20s__condition_stack_t__1(_tmp_ctor_expr2)) , _tmp_ctor_expr2))); |
---|
766 | ((void)((*__this__R13smonitor_desc_1).recursion=((unsigned int )0))); |
---|
767 | ((void)((*__this__R13smonitor_desc_1).mask.accepted=((void *)0))); |
---|
768 | ((void)((*__this__R13smonitor_desc_1).mask.clauses=((void *)0))); |
---|
769 | ((void)((*__this__R13smonitor_desc_1).mask.size=((signed short int )0))); |
---|
770 | } |
---|
771 | struct monitor_guard_t { |
---|
772 | struct monitor_desc **__m__PP13smonitor_desc_1; |
---|
773 | signed int __count__i_1; |
---|
774 | struct monitor_desc **__prev_mntrs__PP13smonitor_desc_1; |
---|
775 | unsigned short int __prev_count__Us_1; |
---|
776 | void (*__prev_func__PF___1)(); |
---|
777 | }; |
---|
778 | static inline void ___constructor__F_R16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1); |
---|
779 | static inline void ___constructor__F_R16smonitor_guard_t16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_guard_t ___src__16smonitor_guard_t_1); |
---|
780 | static inline void ___destructor__F_R16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1); |
---|
781 | static inline struct monitor_guard_t ___operator_assign__F16smonitor_guard_t_R16smonitor_guard_t16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_guard_t ___src__16smonitor_guard_t_1); |
---|
782 | static inline void ___constructor__F_R16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1){ |
---|
783 | ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1) /* ?{} */); |
---|
784 | ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1) /* ?{} */); |
---|
785 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1) /* ?{} */); |
---|
786 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1) /* ?{} */); |
---|
787 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1) /* ?{} */); |
---|
788 | } |
---|
789 | static inline void ___constructor__F_R16smonitor_guard_t16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_guard_t ___src__16smonitor_guard_t_1){ |
---|
790 | ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1=___src__16smonitor_guard_t_1.__m__PP13smonitor_desc_1) /* ?{} */); |
---|
791 | ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1=___src__16smonitor_guard_t_1.__count__i_1) /* ?{} */); |
---|
792 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1=___src__16smonitor_guard_t_1.__prev_mntrs__PP13smonitor_desc_1) /* ?{} */); |
---|
793 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1=___src__16smonitor_guard_t_1.__prev_count__Us_1) /* ?{} */); |
---|
794 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1=___src__16smonitor_guard_t_1.__prev_func__PF___1) /* ?{} */); |
---|
795 | } |
---|
796 | static inline void ___destructor__F_R16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1){ |
---|
797 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1) /* ^?{} */); |
---|
798 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1) /* ^?{} */); |
---|
799 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1) /* ^?{} */); |
---|
800 | ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1) /* ^?{} */); |
---|
801 | ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1) /* ^?{} */); |
---|
802 | } |
---|
803 | static inline struct monitor_guard_t ___operator_assign__F16smonitor_guard_t_R16smonitor_guard_t16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_guard_t ___src__16smonitor_guard_t_1){ |
---|
804 | struct monitor_guard_t ___ret__16smonitor_guard_t_1; |
---|
805 | ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1=___src__16smonitor_guard_t_1.__m__PP13smonitor_desc_1)); |
---|
806 | ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1=___src__16smonitor_guard_t_1.__count__i_1)); |
---|
807 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1=___src__16smonitor_guard_t_1.__prev_mntrs__PP13smonitor_desc_1)); |
---|
808 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1=___src__16smonitor_guard_t_1.__prev_count__Us_1)); |
---|
809 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1=___src__16smonitor_guard_t_1.__prev_func__PF___1)); |
---|
810 | ((void)___constructor__F_R16smonitor_guard_t16smonitor_guard_t_autogen___1((&___ret__16smonitor_guard_t_1), ___src__16smonitor_guard_t_1)); |
---|
811 | return ((struct monitor_guard_t )___ret__16smonitor_guard_t_1); |
---|
812 | } |
---|
813 | static inline void ___constructor__F_R16smonitor_guard_tPP13smonitor_desc_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_desc **__m__PP13smonitor_desc_1){ |
---|
814 | ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1=__m__PP13smonitor_desc_1) /* ?{} */); |
---|
815 | ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1) /* ?{} */); |
---|
816 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1) /* ?{} */); |
---|
817 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1) /* ?{} */); |
---|
818 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1) /* ?{} */); |
---|
819 | } |
---|
820 | static inline void ___constructor__F_R16smonitor_guard_tPP13smonitor_desci_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_desc **__m__PP13smonitor_desc_1, signed int __count__i_1){ |
---|
821 | ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1=__m__PP13smonitor_desc_1) /* ?{} */); |
---|
822 | ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1=__count__i_1) /* ?{} */); |
---|
823 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1) /* ?{} */); |
---|
824 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1) /* ?{} */); |
---|
825 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1) /* ?{} */); |
---|
826 | } |
---|
827 | static inline void ___constructor__F_R16smonitor_guard_tPP13smonitor_desciPP13smonitor_desc_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_desc **__m__PP13smonitor_desc_1, signed int __count__i_1, struct monitor_desc **__prev_mntrs__PP13smonitor_desc_1){ |
---|
828 | ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1=__m__PP13smonitor_desc_1) /* ?{} */); |
---|
829 | ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1=__count__i_1) /* ?{} */); |
---|
830 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1=__prev_mntrs__PP13smonitor_desc_1) /* ?{} */); |
---|
831 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1) /* ?{} */); |
---|
832 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1) /* ?{} */); |
---|
833 | } |
---|
834 | static inline void ___constructor__F_R16smonitor_guard_tPP13smonitor_desciPP13smonitor_descUs_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_desc **__m__PP13smonitor_desc_1, signed int __count__i_1, struct monitor_desc **__prev_mntrs__PP13smonitor_desc_1, unsigned short int __prev_count__Us_1){ |
---|
835 | ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1=__m__PP13smonitor_desc_1) /* ?{} */); |
---|
836 | ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1=__count__i_1) /* ?{} */); |
---|
837 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1=__prev_mntrs__PP13smonitor_desc_1) /* ?{} */); |
---|
838 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1=__prev_count__Us_1) /* ?{} */); |
---|
839 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1) /* ?{} */); |
---|
840 | } |
---|
841 | static inline void ___constructor__F_R16smonitor_guard_tPP13smonitor_desciPP13smonitor_descUsPF___autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_desc **__m__PP13smonitor_desc_1, signed int __count__i_1, struct monitor_desc **__prev_mntrs__PP13smonitor_desc_1, unsigned short int __prev_count__Us_1, void (*__prev_func__PF___1)()){ |
---|
842 | ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1=__m__PP13smonitor_desc_1) /* ?{} */); |
---|
843 | ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1=__count__i_1) /* ?{} */); |
---|
844 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1=__prev_mntrs__PP13smonitor_desc_1) /* ?{} */); |
---|
845 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1=__prev_count__Us_1) /* ?{} */); |
---|
846 | ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1=__prev_func__PF___1) /* ?{} */); |
---|
847 | } |
---|
848 | static inline signed int ___operator_less__Fi_P13smonitor_descP13smonitor_desc__1(struct monitor_desc *__lhs__P13smonitor_desc_1, struct monitor_desc *__rhs__P13smonitor_desc_1){ |
---|
849 | __attribute__ ((unused)) signed int ___retval__operator_less__i_1; |
---|
850 | ((void)(___retval__operator_less__i_1=(((signed long int )__lhs__P13smonitor_desc_1)<((signed long int )__rhs__P13smonitor_desc_1))) /* ?{} */); |
---|
851 | return ((signed int )___retval__operator_less__i_1); |
---|
852 | } |
---|
853 | void ___constructor__F_R16smonitor_guard_tPP13smonitor_desciPF____1(struct monitor_guard_t *__this__R16smonitor_guard_t_1, struct monitor_desc **__m__PP13smonitor_desc_1, signed int __count__i_1, void (*__func__PF___1)()); |
---|
854 | void ___destructor__F_R16smonitor_guard_t__1(struct monitor_guard_t *__this__R16smonitor_guard_t_1); |
---|
855 | struct __condition_criterion_t { |
---|
856 | _Bool __ready__b_1; |
---|
857 | struct monitor_desc *__target__P13smonitor_desc_1; |
---|
858 | struct __condition_node_t *__owner__P19s__condition_node_t_1; |
---|
859 | struct __condition_criterion_t *__next__P24s__condition_criterion_t_1; |
---|
860 | }; |
---|
861 | static inline void ___constructor__F_R24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1); |
---|
862 | static inline void ___constructor__F_R24s__condition_criterion_t24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, struct __condition_criterion_t ___src__24s__condition_criterion_t_1); |
---|
863 | static inline void ___destructor__F_R24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1); |
---|
864 | static inline struct __condition_criterion_t ___operator_assign__F24s__condition_criterion_t_R24s__condition_criterion_t24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, struct __condition_criterion_t ___src__24s__condition_criterion_t_1); |
---|
865 | static inline void ___constructor__F_R24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1){ |
---|
866 | ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1) /* ?{} */); |
---|
867 | ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1) /* ?{} */); |
---|
868 | ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1) /* ?{} */); |
---|
869 | ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1) /* ?{} */); |
---|
870 | } |
---|
871 | static inline void ___constructor__F_R24s__condition_criterion_t24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, struct __condition_criterion_t ___src__24s__condition_criterion_t_1){ |
---|
872 | ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1=___src__24s__condition_criterion_t_1.__ready__b_1) /* ?{} */); |
---|
873 | ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1=___src__24s__condition_criterion_t_1.__target__P13smonitor_desc_1) /* ?{} */); |
---|
874 | ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1=___src__24s__condition_criterion_t_1.__owner__P19s__condition_node_t_1) /* ?{} */); |
---|
875 | ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1=___src__24s__condition_criterion_t_1.__next__P24s__condition_criterion_t_1) /* ?{} */); |
---|
876 | } |
---|
877 | static inline void ___destructor__F_R24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1){ |
---|
878 | ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1) /* ^?{} */); |
---|
879 | ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1) /* ^?{} */); |
---|
880 | ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1) /* ^?{} */); |
---|
881 | ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1) /* ^?{} */); |
---|
882 | } |
---|
883 | static inline struct __condition_criterion_t ___operator_assign__F24s__condition_criterion_t_R24s__condition_criterion_t24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, struct __condition_criterion_t ___src__24s__condition_criterion_t_1){ |
---|
884 | struct __condition_criterion_t ___ret__24s__condition_criterion_t_1; |
---|
885 | ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1=___src__24s__condition_criterion_t_1.__ready__b_1)); |
---|
886 | ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1=___src__24s__condition_criterion_t_1.__target__P13smonitor_desc_1)); |
---|
887 | ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1=___src__24s__condition_criterion_t_1.__owner__P19s__condition_node_t_1)); |
---|
888 | ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1=___src__24s__condition_criterion_t_1.__next__P24s__condition_criterion_t_1)); |
---|
889 | ((void)___constructor__F_R24s__condition_criterion_t24s__condition_criterion_t_autogen___1((&___ret__24s__condition_criterion_t_1), ___src__24s__condition_criterion_t_1)); |
---|
890 | return ((struct __condition_criterion_t )___ret__24s__condition_criterion_t_1); |
---|
891 | } |
---|
892 | static inline void ___constructor__F_R24s__condition_criterion_tb_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, _Bool __ready__b_1){ |
---|
893 | ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1=__ready__b_1) /* ?{} */); |
---|
894 | ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1) /* ?{} */); |
---|
895 | ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1) /* ?{} */); |
---|
896 | ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1) /* ?{} */); |
---|
897 | } |
---|
898 | static inline void ___constructor__F_R24s__condition_criterion_tbP13smonitor_desc_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, _Bool __ready__b_1, struct monitor_desc *__target__P13smonitor_desc_1){ |
---|
899 | ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1=__ready__b_1) /* ?{} */); |
---|
900 | ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1=__target__P13smonitor_desc_1) /* ?{} */); |
---|
901 | ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1) /* ?{} */); |
---|
902 | ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1) /* ?{} */); |
---|
903 | } |
---|
904 | static inline void ___constructor__F_R24s__condition_criterion_tbP13smonitor_descP19s__condition_node_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, _Bool __ready__b_1, struct monitor_desc *__target__P13smonitor_desc_1, struct __condition_node_t *__owner__P19s__condition_node_t_1){ |
---|
905 | ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1=__ready__b_1) /* ?{} */); |
---|
906 | ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1=__target__P13smonitor_desc_1) /* ?{} */); |
---|
907 | ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1=__owner__P19s__condition_node_t_1) /* ?{} */); |
---|
908 | ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1) /* ?{} */); |
---|
909 | } |
---|
910 | static inline void ___constructor__F_R24s__condition_criterion_tbP13smonitor_descP19s__condition_node_tP24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, _Bool __ready__b_1, struct monitor_desc *__target__P13smonitor_desc_1, struct __condition_node_t *__owner__P19s__condition_node_t_1, struct __condition_criterion_t *__next__P24s__condition_criterion_t_1){ |
---|
911 | ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1=__ready__b_1) /* ?{} */); |
---|
912 | ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1=__target__P13smonitor_desc_1) /* ?{} */); |
---|
913 | ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1=__owner__P19s__condition_node_t_1) /* ?{} */); |
---|
914 | ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1=__next__P24s__condition_criterion_t_1) /* ?{} */); |
---|
915 | } |
---|
916 | struct __condition_node_t { |
---|
917 | struct thread_desc *__waiting_thread__P12sthread_desc_1; |
---|
918 | struct __condition_criterion_t *__criteria__P24s__condition_criterion_t_1; |
---|
919 | unsigned short int __count__Us_1; |
---|
920 | struct __condition_node_t *__next__P19s__condition_node_t_1; |
---|
921 | unsigned long int __user_info__Ul_1; |
---|
922 | }; |
---|
923 | static inline void ___constructor__F_R19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1); |
---|
924 | static inline void ___constructor__F_R19s__condition_node_t19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct __condition_node_t ___src__19s__condition_node_t_1); |
---|
925 | static inline void ___destructor__F_R19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1); |
---|
926 | static inline struct __condition_node_t ___operator_assign__F19s__condition_node_t_R19s__condition_node_t19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct __condition_node_t ___src__19s__condition_node_t_1); |
---|
927 | static inline void ___constructor__F_R19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1){ |
---|
928 | ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1) /* ?{} */); |
---|
929 | ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1) /* ?{} */); |
---|
930 | ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1) /* ?{} */); |
---|
931 | ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1) /* ?{} */); |
---|
932 | ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1) /* ?{} */); |
---|
933 | } |
---|
934 | static inline void ___constructor__F_R19s__condition_node_t19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct __condition_node_t ___src__19s__condition_node_t_1){ |
---|
935 | ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1=___src__19s__condition_node_t_1.__waiting_thread__P12sthread_desc_1) /* ?{} */); |
---|
936 | ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1=___src__19s__condition_node_t_1.__criteria__P24s__condition_criterion_t_1) /* ?{} */); |
---|
937 | ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1=___src__19s__condition_node_t_1.__count__Us_1) /* ?{} */); |
---|
938 | ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1=___src__19s__condition_node_t_1.__next__P19s__condition_node_t_1) /* ?{} */); |
---|
939 | ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1=___src__19s__condition_node_t_1.__user_info__Ul_1) /* ?{} */); |
---|
940 | } |
---|
941 | static inline void ___destructor__F_R19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1){ |
---|
942 | ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1) /* ^?{} */); |
---|
943 | ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1) /* ^?{} */); |
---|
944 | ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1) /* ^?{} */); |
---|
945 | ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1) /* ^?{} */); |
---|
946 | ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1) /* ^?{} */); |
---|
947 | } |
---|
948 | static inline struct __condition_node_t ___operator_assign__F19s__condition_node_t_R19s__condition_node_t19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct __condition_node_t ___src__19s__condition_node_t_1){ |
---|
949 | struct __condition_node_t ___ret__19s__condition_node_t_1; |
---|
950 | ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1=___src__19s__condition_node_t_1.__waiting_thread__P12sthread_desc_1)); |
---|
951 | ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1=___src__19s__condition_node_t_1.__criteria__P24s__condition_criterion_t_1)); |
---|
952 | ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1=___src__19s__condition_node_t_1.__count__Us_1)); |
---|
953 | ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1=___src__19s__condition_node_t_1.__next__P19s__condition_node_t_1)); |
---|
954 | ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1=___src__19s__condition_node_t_1.__user_info__Ul_1)); |
---|
955 | ((void)___constructor__F_R19s__condition_node_t19s__condition_node_t_autogen___1((&___ret__19s__condition_node_t_1), ___src__19s__condition_node_t_1)); |
---|
956 | return ((struct __condition_node_t )___ret__19s__condition_node_t_1); |
---|
957 | } |
---|
958 | static inline void ___constructor__F_R19s__condition_node_tP12sthread_desc_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct thread_desc *__waiting_thread__P12sthread_desc_1){ |
---|
959 | ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1=__waiting_thread__P12sthread_desc_1) /* ?{} */); |
---|
960 | ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1) /* ?{} */); |
---|
961 | ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1) /* ?{} */); |
---|
962 | ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1) /* ?{} */); |
---|
963 | ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1) /* ?{} */); |
---|
964 | } |
---|
965 | static inline void ___constructor__F_R19s__condition_node_tP12sthread_descP24s__condition_criterion_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct thread_desc *__waiting_thread__P12sthread_desc_1, struct __condition_criterion_t *__criteria__P24s__condition_criterion_t_1){ |
---|
966 | ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1=__waiting_thread__P12sthread_desc_1) /* ?{} */); |
---|
967 | ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1=__criteria__P24s__condition_criterion_t_1) /* ?{} */); |
---|
968 | ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1) /* ?{} */); |
---|
969 | ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1) /* ?{} */); |
---|
970 | ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1) /* ?{} */); |
---|
971 | } |
---|
972 | static inline void ___constructor__F_R19s__condition_node_tP12sthread_descP24s__condition_criterion_tUs_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct thread_desc *__waiting_thread__P12sthread_desc_1, struct __condition_criterion_t *__criteria__P24s__condition_criterion_t_1, unsigned short int __count__Us_1){ |
---|
973 | ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1=__waiting_thread__P12sthread_desc_1) /* ?{} */); |
---|
974 | ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1=__criteria__P24s__condition_criterion_t_1) /* ?{} */); |
---|
975 | ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1=__count__Us_1) /* ?{} */); |
---|
976 | ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1) /* ?{} */); |
---|
977 | ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1) /* ?{} */); |
---|
978 | } |
---|
979 | static inline void ___constructor__F_R19s__condition_node_tP12sthread_descP24s__condition_criterion_tUsP19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct thread_desc *__waiting_thread__P12sthread_desc_1, struct __condition_criterion_t *__criteria__P24s__condition_criterion_t_1, unsigned short int __count__Us_1, struct __condition_node_t *__next__P19s__condition_node_t_1){ |
---|
980 | ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1=__waiting_thread__P12sthread_desc_1) /* ?{} */); |
---|
981 | ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1=__criteria__P24s__condition_criterion_t_1) /* ?{} */); |
---|
982 | ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1=__count__Us_1) /* ?{} */); |
---|
983 | ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1=__next__P19s__condition_node_t_1) /* ?{} */); |
---|
984 | ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1) /* ?{} */); |
---|
985 | } |
---|
986 | static inline void ___constructor__F_R19s__condition_node_tP12sthread_descP24s__condition_criterion_tUsP19s__condition_node_tUl_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct thread_desc *__waiting_thread__P12sthread_desc_1, struct __condition_criterion_t *__criteria__P24s__condition_criterion_t_1, unsigned short int __count__Us_1, struct __condition_node_t *__next__P19s__condition_node_t_1, unsigned long int __user_info__Ul_1){ |
---|
987 | ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1=__waiting_thread__P12sthread_desc_1) /* ?{} */); |
---|
988 | ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1=__criteria__P24s__condition_criterion_t_1) /* ?{} */); |
---|
989 | ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1=__count__Us_1) /* ?{} */); |
---|
990 | ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1=__next__P19s__condition_node_t_1) /* ?{} */); |
---|
991 | ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1=__user_info__Ul_1) /* ?{} */); |
---|
992 | } |
---|
993 | struct __condition_blocked_queue_t { |
---|
994 | struct __condition_node_t *__head__P19s__condition_node_t_1; |
---|
995 | struct __condition_node_t **__tail__PP19s__condition_node_t_1; |
---|
996 | }; |
---|
997 | static inline void ___constructor__F_R28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1); |
---|
998 | static inline void ___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1, struct __condition_blocked_queue_t ___src__28s__condition_blocked_queue_t_1); |
---|
999 | static inline void ___destructor__F_R28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1); |
---|
1000 | static inline struct __condition_blocked_queue_t ___operator_assign__F28s__condition_blocked_queue_t_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1, struct __condition_blocked_queue_t ___src__28s__condition_blocked_queue_t_1); |
---|
1001 | static inline void ___constructor__F_R28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1){ |
---|
1002 | ((void)((*___dst__R28s__condition_blocked_queue_t_1).__head__P19s__condition_node_t_1) /* ?{} */); |
---|
1003 | ((void)((*___dst__R28s__condition_blocked_queue_t_1).__tail__PP19s__condition_node_t_1) /* ?{} */); |
---|
1004 | } |
---|
1005 | static inline void ___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1, struct __condition_blocked_queue_t ___src__28s__condition_blocked_queue_t_1){ |
---|
1006 | ((void)((*___dst__R28s__condition_blocked_queue_t_1).__head__P19s__condition_node_t_1=___src__28s__condition_blocked_queue_t_1.__head__P19s__condition_node_t_1) /* ?{} */); |
---|
1007 | ((void)((*___dst__R28s__condition_blocked_queue_t_1).__tail__PP19s__condition_node_t_1=___src__28s__condition_blocked_queue_t_1.__tail__PP19s__condition_node_t_1) /* ?{} */); |
---|
1008 | } |
---|
1009 | static inline void ___destructor__F_R28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1){ |
---|
1010 | ((void)((*___dst__R28s__condition_blocked_queue_t_1).__tail__PP19s__condition_node_t_1) /* ^?{} */); |
---|
1011 | ((void)((*___dst__R28s__condition_blocked_queue_t_1).__head__P19s__condition_node_t_1) /* ^?{} */); |
---|
1012 | } |
---|
1013 | static inline struct __condition_blocked_queue_t ___operator_assign__F28s__condition_blocked_queue_t_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1, struct __condition_blocked_queue_t ___src__28s__condition_blocked_queue_t_1){ |
---|
1014 | struct __condition_blocked_queue_t ___ret__28s__condition_blocked_queue_t_1; |
---|
1015 | ((void)((*___dst__R28s__condition_blocked_queue_t_1).__head__P19s__condition_node_t_1=___src__28s__condition_blocked_queue_t_1.__head__P19s__condition_node_t_1)); |
---|
1016 | ((void)((*___dst__R28s__condition_blocked_queue_t_1).__tail__PP19s__condition_node_t_1=___src__28s__condition_blocked_queue_t_1.__tail__PP19s__condition_node_t_1)); |
---|
1017 | ((void)___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1((&___ret__28s__condition_blocked_queue_t_1), ___src__28s__condition_blocked_queue_t_1)); |
---|
1018 | return ((struct __condition_blocked_queue_t )___ret__28s__condition_blocked_queue_t_1); |
---|
1019 | } |
---|
1020 | static inline void ___constructor__F_R28s__condition_blocked_queue_tP19s__condition_node_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1, struct __condition_node_t *__head__P19s__condition_node_t_1){ |
---|
1021 | ((void)((*___dst__R28s__condition_blocked_queue_t_1).__head__P19s__condition_node_t_1=__head__P19s__condition_node_t_1) /* ?{} */); |
---|
1022 | ((void)((*___dst__R28s__condition_blocked_queue_t_1).__tail__PP19s__condition_node_t_1) /* ?{} */); |
---|
1023 | } |
---|
1024 | static inline void ___constructor__F_R28s__condition_blocked_queue_tP19s__condition_node_tPP19s__condition_node_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1, struct __condition_node_t *__head__P19s__condition_node_t_1, struct __condition_node_t **__tail__PP19s__condition_node_t_1){ |
---|
1025 | ((void)((*___dst__R28s__condition_blocked_queue_t_1).__head__P19s__condition_node_t_1=__head__P19s__condition_node_t_1) /* ?{} */); |
---|
1026 | ((void)((*___dst__R28s__condition_blocked_queue_t_1).__tail__PP19s__condition_node_t_1=__tail__PP19s__condition_node_t_1) /* ?{} */); |
---|
1027 | } |
---|
1028 | void ___constructor__F_R28s__condition_blocked_queue_t__1(struct __condition_blocked_queue_t *__anonymous_object198); |
---|
1029 | void __append__F_P28s__condition_blocked_queue_tP19s__condition_node_t__1(struct __condition_blocked_queue_t *__anonymous_object199, struct __condition_node_t *__anonymous_object200); |
---|
1030 | struct __condition_node_t *__pop_head__FP19s__condition_node_t_P28s__condition_blocked_queue_t__1(struct __condition_blocked_queue_t *__anonymous_object201); |
---|
1031 | struct condition { |
---|
1032 | struct __condition_blocked_queue_t __blocked__28s__condition_blocked_queue_t_1; |
---|
1033 | struct monitor_desc **__monitors__PP13smonitor_desc_1; |
---|
1034 | unsigned short int __monitor_count__Us_1; |
---|
1035 | }; |
---|
1036 | static inline void ___constructor__F_R10scondition_autogen___1(struct condition *___dst__R10scondition_1); |
---|
1037 | static inline void ___constructor__F_R10scondition10scondition_autogen___1(struct condition *___dst__R10scondition_1, struct condition ___src__10scondition_1); |
---|
1038 | static inline void ___destructor__F_R10scondition_autogen___1(struct condition *___dst__R10scondition_1); |
---|
1039 | static inline struct condition ___operator_assign__F10scondition_R10scondition10scondition_autogen___1(struct condition *___dst__R10scondition_1, struct condition ___src__10scondition_1); |
---|
1040 | static inline void ___constructor__F_R10scondition_autogen___1(struct condition *___dst__R10scondition_1){ |
---|
1041 | ((void)___constructor__F_R28s__condition_blocked_queue_t__1((&(*___dst__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1))); |
---|
1042 | ((void)((*___dst__R10scondition_1).__monitors__PP13smonitor_desc_1) /* ?{} */); |
---|
1043 | ((void)((*___dst__R10scondition_1).__monitor_count__Us_1) /* ?{} */); |
---|
1044 | } |
---|
1045 | static inline void ___constructor__F_R10scondition10scondition_autogen___1(struct condition *___dst__R10scondition_1, struct condition ___src__10scondition_1){ |
---|
1046 | ((void)___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1((&(*___dst__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1), ___src__10scondition_1.__blocked__28s__condition_blocked_queue_t_1)); |
---|
1047 | ((void)((*___dst__R10scondition_1).__monitors__PP13smonitor_desc_1=___src__10scondition_1.__monitors__PP13smonitor_desc_1) /* ?{} */); |
---|
1048 | ((void)((*___dst__R10scondition_1).__monitor_count__Us_1=___src__10scondition_1.__monitor_count__Us_1) /* ?{} */); |
---|
1049 | } |
---|
1050 | static inline void ___destructor__F_R10scondition_autogen___1(struct condition *___dst__R10scondition_1){ |
---|
1051 | ((void)((*___dst__R10scondition_1).__monitor_count__Us_1) /* ^?{} */); |
---|
1052 | ((void)((*___dst__R10scondition_1).__monitors__PP13smonitor_desc_1) /* ^?{} */); |
---|
1053 | ((void)___destructor__F_R28s__condition_blocked_queue_t_autogen___1((&(*___dst__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1))); |
---|
1054 | } |
---|
1055 | static inline struct condition ___operator_assign__F10scondition_R10scondition10scondition_autogen___1(struct condition *___dst__R10scondition_1, struct condition ___src__10scondition_1){ |
---|
1056 | struct condition ___ret__10scondition_1; |
---|
1057 | struct __condition_blocked_queue_t _tmp_cp4; |
---|
1058 | struct __condition_blocked_queue_t _tmp_cp_ret29; |
---|
1059 | ((void)(((void)(_tmp_cp_ret29=___operator_assign__F28s__condition_blocked_queue_t_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1((&(*___dst__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1), (((void)___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1((&_tmp_cp4), ___src__10scondition_1.__blocked__28s__condition_blocked_queue_t_1)) , _tmp_cp4)))) , _tmp_cp_ret29)); |
---|
1060 | ((void)___destructor__F_R28s__condition_blocked_queue_t_autogen___1((&_tmp_cp_ret29))); |
---|
1061 | ((void)___destructor__F_R28s__condition_blocked_queue_t_autogen___1((&_tmp_cp4))); |
---|
1062 | ((void)((*___dst__R10scondition_1).__monitors__PP13smonitor_desc_1=___src__10scondition_1.__monitors__PP13smonitor_desc_1)); |
---|
1063 | ((void)((*___dst__R10scondition_1).__monitor_count__Us_1=___src__10scondition_1.__monitor_count__Us_1)); |
---|
1064 | ((void)___constructor__F_R10scondition10scondition_autogen___1((&___ret__10scondition_1), ___src__10scondition_1)); |
---|
1065 | return ((struct condition )___ret__10scondition_1); |
---|
1066 | } |
---|
1067 | static inline void ___constructor__F_R10scondition28s__condition_blocked_queue_t_autogen___1(struct condition *___dst__R10scondition_1, struct __condition_blocked_queue_t __blocked__28s__condition_blocked_queue_t_1){ |
---|
1068 | ((void)___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1((&(*___dst__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1), __blocked__28s__condition_blocked_queue_t_1)); |
---|
1069 | ((void)((*___dst__R10scondition_1).__monitors__PP13smonitor_desc_1) /* ?{} */); |
---|
1070 | ((void)((*___dst__R10scondition_1).__monitor_count__Us_1) /* ?{} */); |
---|
1071 | } |
---|
1072 | static inline void ___constructor__F_R10scondition28s__condition_blocked_queue_tPP13smonitor_desc_autogen___1(struct condition *___dst__R10scondition_1, struct __condition_blocked_queue_t __blocked__28s__condition_blocked_queue_t_1, struct monitor_desc **__monitors__PP13smonitor_desc_1){ |
---|
1073 | ((void)___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1((&(*___dst__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1), __blocked__28s__condition_blocked_queue_t_1)); |
---|
1074 | ((void)((*___dst__R10scondition_1).__monitors__PP13smonitor_desc_1=__monitors__PP13smonitor_desc_1) /* ?{} */); |
---|
1075 | ((void)((*___dst__R10scondition_1).__monitor_count__Us_1) /* ?{} */); |
---|
1076 | } |
---|
1077 | static inline void ___constructor__F_R10scondition28s__condition_blocked_queue_tPP13smonitor_descUs_autogen___1(struct condition *___dst__R10scondition_1, struct __condition_blocked_queue_t __blocked__28s__condition_blocked_queue_t_1, struct monitor_desc **__monitors__PP13smonitor_desc_1, unsigned short int __monitor_count__Us_1){ |
---|
1078 | ((void)___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1((&(*___dst__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1), __blocked__28s__condition_blocked_queue_t_1)); |
---|
1079 | ((void)((*___dst__R10scondition_1).__monitors__PP13smonitor_desc_1=__monitors__PP13smonitor_desc_1) /* ?{} */); |
---|
1080 | ((void)((*___dst__R10scondition_1).__monitor_count__Us_1=__monitor_count__Us_1) /* ?{} */); |
---|
1081 | } |
---|
1082 | static inline void ___constructor__F_R10scondition__1(struct condition *__this__R10scondition_1){ |
---|
1083 | ((void)___constructor__F_R28s__condition_blocked_queue_t__1((&(*__this__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1))); |
---|
1084 | ((void)((*__this__R10scondition_1).__monitors__PP13smonitor_desc_1) /* ?{} */); |
---|
1085 | ((void)((*__this__R10scondition_1).__monitor_count__Us_1) /* ?{} */); |
---|
1086 | ((void)((*__this__R10scondition_1).__monitors__PP13smonitor_desc_1=((void *)0))); |
---|
1087 | ((void)((*__this__R10scondition_1).__monitor_count__Us_1=((unsigned short int )0))); |
---|
1088 | } |
---|
1089 | static inline void ___destructor__F_R10scondition__1(struct condition *__this__R10scondition_1){ |
---|
1090 | ((void)free(((void *)(*__this__R10scondition_1).__monitors__PP13smonitor_desc_1))); |
---|
1091 | ((void)((*__this__R10scondition_1).__monitor_count__Us_1) /* ^?{} */); |
---|
1092 | ((void)((*__this__R10scondition_1).__monitors__PP13smonitor_desc_1) /* ^?{} */); |
---|
1093 | ((void)___destructor__F_R28s__condition_blocked_queue_t_autogen___1((&(*__this__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1))); |
---|
1094 | } |
---|
1095 | void __wait__F_P10sconditionUl__1(struct condition *__this__P10scondition_1, unsigned long int __user_info__Ul_1); |
---|
1096 | _Bool __signal__Fb_P10scondition__1(struct condition *__this__P10scondition_1); |
---|
1097 | _Bool __signal_block__Fb_P10scondition__1(struct condition *__this__P10scondition_1); |
---|
1098 | static inline _Bool __is_empty__Fb_P10scondition__1(struct condition *__this__P10scondition_1){ |
---|
1099 | __attribute__ ((unused)) _Bool ___retval_is_empty__b_1; |
---|
1100 | ((void)(___retval_is_empty__b_1=((_Bool )(!(*__this__P10scondition_1).__blocked__28s__condition_blocked_queue_t_1.__head__P19s__condition_node_t_1))) /* ?{} */); |
---|
1101 | return ((_Bool )___retval_is_empty__b_1); |
---|
1102 | } |
---|
1103 | unsigned long int __front__FUl_P10scondition__1(struct condition *__this__P10scondition_1); |
---|
1104 | struct __acceptable_t { |
---|
1105 | struct __monitor_group_t __anonymous_object202; |
---|
1106 | _Bool __is_dtor__b_1; |
---|
1107 | }; |
---|
1108 | static inline void ___constructor__F_R15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1); |
---|
1109 | static inline void ___constructor__F_R15s__acceptable_t15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1, struct __acceptable_t ___src__15s__acceptable_t_1); |
---|
1110 | static inline void ___destructor__F_R15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1); |
---|
1111 | static inline struct __acceptable_t ___operator_assign__F15s__acceptable_t_R15s__acceptable_t15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1, struct __acceptable_t ___src__15s__acceptable_t_1); |
---|
1112 | static inline void ___constructor__F_R15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1){ |
---|
1113 | ((void)((*___dst__R15s__acceptable_t_1).__is_dtor__b_1) /* ?{} */); |
---|
1114 | } |
---|
1115 | static inline void ___constructor__F_R15s__acceptable_t15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1, struct __acceptable_t ___src__15s__acceptable_t_1){ |
---|
1116 | ((void)((*___dst__R15s__acceptable_t_1).__is_dtor__b_1=___src__15s__acceptable_t_1.__is_dtor__b_1) /* ?{} */); |
---|
1117 | } |
---|
1118 | static inline void ___destructor__F_R15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1){ |
---|
1119 | ((void)((*___dst__R15s__acceptable_t_1).__is_dtor__b_1) /* ^?{} */); |
---|
1120 | } |
---|
1121 | static inline struct __acceptable_t ___operator_assign__F15s__acceptable_t_R15s__acceptable_t15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1, struct __acceptable_t ___src__15s__acceptable_t_1){ |
---|
1122 | struct __acceptable_t ___ret__15s__acceptable_t_1; |
---|
1123 | ((void)((*___dst__R15s__acceptable_t_1).__is_dtor__b_1=___src__15s__acceptable_t_1.__is_dtor__b_1)); |
---|
1124 | ((void)___constructor__F_R15s__acceptable_t15s__acceptable_t_autogen___1((&___ret__15s__acceptable_t_1), ___src__15s__acceptable_t_1)); |
---|
1125 | return ((struct __acceptable_t )___ret__15s__acceptable_t_1); |
---|
1126 | } |
---|
1127 | static inline void ___constructor__F_R15s__acceptable_tb_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1, _Bool __is_dtor__b_1){ |
---|
1128 | ((void)((*___dst__R15s__acceptable_t_1).__is_dtor__b_1=__is_dtor__b_1) /* ?{} */); |
---|
1129 | } |
---|
1130 | void ____waitfor_internal__F_RC17s__waitfor_mask_ti__1(const struct __waitfor_mask_t *__mask__RC17s__waitfor_mask_t_1, signed int __duration__i_1); |
---|
1131 | struct M; |
---|
1132 | static inline struct monitor_desc *__get_monitor__FP13smonitor_desc_R2sM__1(struct M *__this__R2sM_1); |
---|
1133 | struct M { |
---|
1134 | struct monitor_desc ____mon__13smonitor_desc_1; |
---|
1135 | }; |
---|
1136 | static inline void ___constructor__F_R2sM_autogen___1(struct M *___dst__R2sM_1); |
---|
1137 | static inline void ___constructor__F_R2sM2sM_autogen___1(struct M *___dst__R2sM_1, struct M ___src__2sM_1); |
---|
1138 | static inline void ___destructor__F_MR2sM_autogen___1(struct M *___dst__MR2sM_1); |
---|
1139 | static inline struct M ___operator_assign__F2sM_R2sM2sM_autogen___1(struct M *___dst__R2sM_1, struct M ___src__2sM_1); |
---|
1140 | static inline void ___constructor__F_R2sM_autogen___1(struct M *___dst__R2sM_1){ |
---|
1141 | ((void)___constructor__F_R13smonitor_desc__1((&(*___dst__R2sM_1).____mon__13smonitor_desc_1))); |
---|
1142 | } |
---|
1143 | static inline void ___constructor__F_R2sM2sM_autogen___1(struct M *___dst__R2sM_1, struct M ___src__2sM_1){ |
---|
1144 | ((void)___constructor__F_R13smonitor_desc13smonitor_desc_autogen___1((&(*___dst__R2sM_1).____mon__13smonitor_desc_1), ___src__2sM_1.____mon__13smonitor_desc_1)); |
---|
1145 | } |
---|
1146 | static inline void ___destructor__F_MR2sM_autogen___1(struct M *___dst__MR2sM_1){ |
---|
1147 | struct monitor_desc *_tmp_cp_ret30; |
---|
1148 | struct monitor_desc *____monitors__A0P13smonitor_desc_2[((unsigned long int )1)] = { ((struct monitor_desc *)(((void)(_tmp_cp_ret30=__get_monitor__FP13smonitor_desc_R2sM__1(((struct M *)___dst__MR2sM_1)))) , _tmp_cp_ret30)) }; |
---|
1149 | ((void)(_tmp_cp_ret30) /* ^?{} */); |
---|
1150 | struct monitor_guard_t ____guard__16smonitor_guard_t_2; |
---|
1151 | ((void)___constructor__F_R16smonitor_guard_tPP13smonitor_desciPF____1((&____guard__16smonitor_guard_t_2), ____monitors__A0P13smonitor_desc_2, ((signed int )1), ((void (*)())((void (*)())___destructor__F_MR2sM_autogen___1)))); |
---|
1152 | ((void)___destructor__F_R13smonitor_desc_autogen___1((&(*___dst__MR2sM_1).____mon__13smonitor_desc_1))); |
---|
1153 | ((void)___destructor__F_R16smonitor_guard_t__1((&____guard__16smonitor_guard_t_2))); |
---|
1154 | } |
---|
1155 | static inline struct M ___operator_assign__F2sM_R2sM2sM_autogen___1(struct M *___dst__R2sM_1, struct M ___src__2sM_1){ |
---|
1156 | struct M ___ret__2sM_1; |
---|
1157 | struct monitor_desc _tmp_cp5; |
---|
1158 | struct monitor_desc _tmp_cp_ret31; |
---|
1159 | ((void)(((void)(_tmp_cp_ret31=___operator_assign__F13smonitor_desc_R13smonitor_desc13smonitor_desc_autogen___1((&(*___dst__R2sM_1).____mon__13smonitor_desc_1), (((void)___constructor__F_R13smonitor_desc13smonitor_desc_autogen___1((&_tmp_cp5), ___src__2sM_1.____mon__13smonitor_desc_1)) , _tmp_cp5)))) , _tmp_cp_ret31)); |
---|
1160 | ((void)___destructor__F_R13smonitor_desc_autogen___1((&_tmp_cp_ret31))); |
---|
1161 | ((void)___destructor__F_R13smonitor_desc_autogen___1((&_tmp_cp5))); |
---|
1162 | ((void)___constructor__F_R2sM2sM_autogen___1((&___ret__2sM_1), ___src__2sM_1)); |
---|
1163 | return ((struct M )___ret__2sM_1); |
---|
1164 | } |
---|
1165 | static inline void ___constructor__F_R2sM13smonitor_desc_autogen___1(struct M *___dst__R2sM_1, struct monitor_desc ____mon__13smonitor_desc_1){ |
---|
1166 | ((void)___constructor__F_R13smonitor_desc13smonitor_desc_autogen___1((&(*___dst__R2sM_1).____mon__13smonitor_desc_1), ____mon__13smonitor_desc_1)); |
---|
1167 | } |
---|
1168 | static inline struct monitor_desc *__get_monitor__FP13smonitor_desc_R2sM__1(struct M *__this__R2sM_1){ |
---|
1169 | struct monitor_desc *__ret__P13smonitor_desc_1; |
---|
1170 | ((void)(__ret__P13smonitor_desc_1=(&(*__this__R2sM_1).____mon__13smonitor_desc_1)) /* ?{} */); |
---|
1171 | return ((struct monitor_desc *)__ret__P13smonitor_desc_1); |
---|
1172 | } |
---|
1173 | struct M __a__2sM_1; |
---|
1174 | void __f1__F_MR2sM__1(struct M *__a__MR2sM_1); |
---|
1175 | void __f2__F_MR2sM__1(struct M *__a__MR2sM_1); |
---|
1176 | void __f2__F_MR2sMMR2sM__1(struct M *__a__MR2sM_1, struct M *__b__MR2sM_1); |
---|
1177 | void __f3__F_MR2sM__1(struct M *__a__MR2sM_1); |
---|
1178 | void __f3__F_MR2sMMR2sM__1(struct M *__a__MR2sM_1, struct M *__b__MR2sM_1); |
---|
1179 | void __f3__F_MR2sMMR2sMMR2sM__1(struct M *__a__MR2sM_1, struct M *__b__MR2sM_1, struct M *__c__MR2sM_1); |
---|
1180 | void __foo__F___1(){ |
---|
1181 | { |
---|
1182 | struct __acceptable_t __acceptables_0[1]; |
---|
1183 | ((void)__builtin_memset(((void *)__acceptables_0), 0, sizeof(__acceptables_0))); |
---|
1184 | _Bool __do_run_0 = 0; |
---|
1185 | struct monitor_desc *__monitors_0[1] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) }; |
---|
1186 | if ( 1 ) { |
---|
1187 | ((void)(__acceptables_0[((signed long int )0)].__is_dtor__b_1=0)); |
---|
1188 | ((void)(__acceptables_0[((signed long int )0)].__anonymous_object202.func=((void (*)())__f1__F_MR2sM__1))); |
---|
1189 | ((void)(__acceptables_0[((signed long int )0)].__anonymous_object202.list=__monitors_0)); |
---|
1190 | ((void)(__acceptables_0[((signed long int )0)].__anonymous_object202.size=((signed short int )1))); |
---|
1191 | ((void)(__do_run_0=((_Bool )1))); |
---|
1192 | } |
---|
1193 | |
---|
1194 | unsigned long long int __timeout_0 = -1; |
---|
1195 | if ( __do_run_0 ) { |
---|
1196 | signed short int __index_0 = -1; |
---|
1197 | struct __waitfor_mask_t __mask_0 = { (&__index_0), __acceptables_0, 1 }; |
---|
1198 | ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_0), __timeout_0)); |
---|
1199 | switch ( __index_0 ) { |
---|
1200 | case 0: |
---|
1201 | { |
---|
1202 | ((void)1); |
---|
1203 | } |
---|
1204 | break; |
---|
1205 | } |
---|
1206 | |
---|
1207 | } |
---|
1208 | |
---|
1209 | } |
---|
1210 | |
---|
1211 | { |
---|
1212 | struct __acceptable_t __acceptables_1[1]; |
---|
1213 | ((void)__builtin_memset(((void *)__acceptables_1), 0, sizeof(__acceptables_1))); |
---|
1214 | _Bool __do_run_1 = 0; |
---|
1215 | struct monitor_desc *__monitors_1[1] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) }; |
---|
1216 | if ( 1 ) { |
---|
1217 | ((void)(__acceptables_1[((signed long int )0)].__is_dtor__b_1=0)); |
---|
1218 | ((void)(__acceptables_1[((signed long int )0)].__anonymous_object202.func=((void (*)())__f1__F_MR2sM__1))); |
---|
1219 | ((void)(__acceptables_1[((signed long int )0)].__anonymous_object202.list=__monitors_1)); |
---|
1220 | ((void)(__acceptables_1[((signed long int )0)].__anonymous_object202.size=((signed short int )1))); |
---|
1221 | ((void)(__do_run_1=((_Bool )1))); |
---|
1222 | } |
---|
1223 | |
---|
1224 | unsigned long long int __timeout_1 = -1; |
---|
1225 | if ( __do_run_1 ) { |
---|
1226 | signed short int __index_1 = -1; |
---|
1227 | struct __waitfor_mask_t __mask_1 = { (&__index_1), __acceptables_1, 1 }; |
---|
1228 | ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_1), __timeout_1)); |
---|
1229 | switch ( __index_1 ) { |
---|
1230 | case 0: |
---|
1231 | { |
---|
1232 | ((void)2); |
---|
1233 | } |
---|
1234 | break; |
---|
1235 | } |
---|
1236 | |
---|
1237 | } |
---|
1238 | |
---|
1239 | } |
---|
1240 | |
---|
1241 | { |
---|
1242 | struct __acceptable_t __acceptables_2[1]; |
---|
1243 | ((void)__builtin_memset(((void *)__acceptables_2), 0, sizeof(__acceptables_2))); |
---|
1244 | _Bool __do_run_2 = 0; |
---|
1245 | struct monitor_desc *__monitors_2[1] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) }; |
---|
1246 | if ( 1 ) { |
---|
1247 | ((void)(__acceptables_2[((signed long int )0)].__is_dtor__b_1=0)); |
---|
1248 | ((void)(__acceptables_2[((signed long int )0)].__anonymous_object202.func=((void (*)())__f2__F_MR2sM__1))); |
---|
1249 | ((void)(__acceptables_2[((signed long int )0)].__anonymous_object202.list=__monitors_2)); |
---|
1250 | ((void)(__acceptables_2[((signed long int )0)].__anonymous_object202.size=((signed short int )1))); |
---|
1251 | ((void)(__do_run_2=((_Bool )1))); |
---|
1252 | } |
---|
1253 | |
---|
1254 | unsigned long long int __timeout_2 = -1; |
---|
1255 | if ( __do_run_2 ) { |
---|
1256 | signed short int __index_2 = -1; |
---|
1257 | struct __waitfor_mask_t __mask_2 = { (&__index_2), __acceptables_2, 1 }; |
---|
1258 | ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_2), __timeout_2)); |
---|
1259 | switch ( __index_2 ) { |
---|
1260 | case 0: |
---|
1261 | { |
---|
1262 | ((void)3); |
---|
1263 | } |
---|
1264 | break; |
---|
1265 | } |
---|
1266 | |
---|
1267 | } |
---|
1268 | |
---|
1269 | } |
---|
1270 | |
---|
1271 | { |
---|
1272 | struct __acceptable_t __acceptables_3[1]; |
---|
1273 | ((void)__builtin_memset(((void *)__acceptables_3), 0, sizeof(__acceptables_3))); |
---|
1274 | _Bool __do_run_3 = 0; |
---|
1275 | struct monitor_desc *__monitors_3[2] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))), ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) }; |
---|
1276 | if ( ((signed int )((((signed int )1)<3)!=((signed int )0))) ) { |
---|
1277 | ((void)(__acceptables_3[((signed long int )0)].__is_dtor__b_1=0)); |
---|
1278 | ((void)(__acceptables_3[((signed long int )0)].__anonymous_object202.func=((void (*)())__f2__F_MR2sMMR2sM__1))); |
---|
1279 | ((void)(__acceptables_3[((signed long int )0)].__anonymous_object202.list=__monitors_3)); |
---|
1280 | ((void)(__acceptables_3[((signed long int )0)].__anonymous_object202.size=((signed short int )2))); |
---|
1281 | ((void)(__do_run_3=((_Bool )1))); |
---|
1282 | } |
---|
1283 | |
---|
1284 | unsigned long long int __timeout_3 = -1; |
---|
1285 | if ( 1 ) { |
---|
1286 | ((void)(__timeout_3=((unsigned long long int )100))); |
---|
1287 | ((void)(__do_run_3=((_Bool )1))); |
---|
1288 | } |
---|
1289 | |
---|
1290 | if ( __do_run_3 ) { |
---|
1291 | signed short int __index_3 = -1; |
---|
1292 | struct __waitfor_mask_t __mask_3 = { (&__index_3), __acceptables_3, 1 }; |
---|
1293 | ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_3), __timeout_3)); |
---|
1294 | switch ( __index_3 ) { |
---|
1295 | case 0: |
---|
1296 | { |
---|
1297 | ((void)4); |
---|
1298 | } |
---|
1299 | break; |
---|
1300 | case -2: |
---|
1301 | { |
---|
1302 | ((void)5); |
---|
1303 | } |
---|
1304 | break; |
---|
1305 | } |
---|
1306 | |
---|
1307 | } |
---|
1308 | |
---|
1309 | } |
---|
1310 | |
---|
1311 | { |
---|
1312 | struct __acceptable_t __acceptables_4[1]; |
---|
1313 | ((void)__builtin_memset(((void *)__acceptables_4), 0, sizeof(__acceptables_4))); |
---|
1314 | _Bool __do_run_4 = 0; |
---|
1315 | struct monitor_desc *__monitors_4[1] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) }; |
---|
1316 | if ( ((signed int )((2<3)!=((signed int )0))) ) { |
---|
1317 | ((void)(__acceptables_4[((signed long int )0)].__is_dtor__b_1=0)); |
---|
1318 | ((void)(__acceptables_4[((signed long int )0)].__anonymous_object202.func=((void (*)())__f3__F_MR2sM__1))); |
---|
1319 | ((void)(__acceptables_4[((signed long int )0)].__anonymous_object202.list=__monitors_4)); |
---|
1320 | ((void)(__acceptables_4[((signed long int )0)].__anonymous_object202.size=((signed short int )1))); |
---|
1321 | ((void)(__do_run_4=((_Bool )1))); |
---|
1322 | } |
---|
1323 | |
---|
1324 | unsigned long long int __timeout_4 = -1; |
---|
1325 | if ( 1 ) { |
---|
1326 | ((void)(__timeout_4=0)); |
---|
1327 | ((void)(__do_run_4=((_Bool )1))); |
---|
1328 | } |
---|
1329 | |
---|
1330 | if ( __do_run_4 ) { |
---|
1331 | signed short int __index_4 = -1; |
---|
1332 | struct __waitfor_mask_t __mask_4 = { (&__index_4), __acceptables_4, 1 }; |
---|
1333 | ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_4), __timeout_4)); |
---|
1334 | switch ( __index_4 ) { |
---|
1335 | case 0: |
---|
1336 | { |
---|
1337 | ((void)5); |
---|
1338 | } |
---|
1339 | break; |
---|
1340 | case -1: |
---|
1341 | { |
---|
1342 | ((void)6); |
---|
1343 | } |
---|
1344 | break; |
---|
1345 | } |
---|
1346 | |
---|
1347 | } |
---|
1348 | |
---|
1349 | } |
---|
1350 | |
---|
1351 | { |
---|
1352 | struct __acceptable_t __acceptables_5[1]; |
---|
1353 | ((void)__builtin_memset(((void *)__acceptables_5), 0, sizeof(__acceptables_5))); |
---|
1354 | _Bool __do_run_5 = 0; |
---|
1355 | struct monitor_desc *__monitors_5[2] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))), ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) }; |
---|
1356 | if ( ((signed int )((3<3)!=((signed int )0))) ) { |
---|
1357 | ((void)(__acceptables_5[((signed long int )0)].__is_dtor__b_1=0)); |
---|
1358 | ((void)(__acceptables_5[((signed long int )0)].__anonymous_object202.func=((void (*)())__f3__F_MR2sMMR2sM__1))); |
---|
1359 | ((void)(__acceptables_5[((signed long int )0)].__anonymous_object202.list=__monitors_5)); |
---|
1360 | ((void)(__acceptables_5[((signed long int )0)].__anonymous_object202.size=((signed short int )2))); |
---|
1361 | ((void)(__do_run_5=((_Bool )1))); |
---|
1362 | } |
---|
1363 | |
---|
1364 | unsigned long long int __timeout_5 = -1; |
---|
1365 | if ( ((signed int )((4<3)!=((signed int )0))) ) { |
---|
1366 | ((void)(__timeout_5=((unsigned long long int )101))); |
---|
1367 | ((void)(__do_run_5=((_Bool )1))); |
---|
1368 | } |
---|
1369 | |
---|
1370 | if ( ((signed int )((5<3)!=((signed int )0))) ) { |
---|
1371 | ((void)(__timeout_5=0)); |
---|
1372 | ((void)(__do_run_5=((_Bool )1))); |
---|
1373 | } |
---|
1374 | |
---|
1375 | if ( __do_run_5 ) { |
---|
1376 | signed short int __index_5 = -1; |
---|
1377 | struct __waitfor_mask_t __mask_5 = { (&__index_5), __acceptables_5, 1 }; |
---|
1378 | ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_5), __timeout_5)); |
---|
1379 | switch ( __index_5 ) { |
---|
1380 | case 0: |
---|
1381 | { |
---|
1382 | ((void)7); |
---|
1383 | } |
---|
1384 | break; |
---|
1385 | case -2: |
---|
1386 | { |
---|
1387 | ((void)8); |
---|
1388 | } |
---|
1389 | break; |
---|
1390 | case -1: |
---|
1391 | { |
---|
1392 | ((void)9); |
---|
1393 | } |
---|
1394 | break; |
---|
1395 | } |
---|
1396 | |
---|
1397 | } |
---|
1398 | |
---|
1399 | } |
---|
1400 | |
---|
1401 | { |
---|
1402 | struct __acceptable_t __acceptables_6[2]; |
---|
1403 | ((void)__builtin_memset(((void *)__acceptables_6), 0, sizeof(__acceptables_6))); |
---|
1404 | _Bool __do_run_6 = 0; |
---|
1405 | struct monitor_desc *__monitors_6[3] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))), ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))), ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) }; |
---|
1406 | if ( ((signed int )((6<3)!=((signed int )0))) ) { |
---|
1407 | ((void)(__acceptables_6[((signed long int )0)].__is_dtor__b_1=0)); |
---|
1408 | ((void)(__acceptables_6[((signed long int )0)].__anonymous_object202.func=((void (*)())__f3__F_MR2sMMR2sMMR2sM__1))); |
---|
1409 | ((void)(__acceptables_6[((signed long int )0)].__anonymous_object202.list=__monitors_6)); |
---|
1410 | ((void)(__acceptables_6[((signed long int )0)].__anonymous_object202.size=((signed short int )3))); |
---|
1411 | ((void)(__do_run_6=((_Bool )1))); |
---|
1412 | } |
---|
1413 | |
---|
1414 | struct monitor_desc *__monitors_7[1] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) }; |
---|
1415 | if ( ((signed int )((7<3)!=((signed int )0))) ) { |
---|
1416 | ((void)(__acceptables_6[((signed long int )1)].__is_dtor__b_1=0)); |
---|
1417 | ((void)(__acceptables_6[((signed long int )1)].__anonymous_object202.func=((void (*)())__f1__F_MR2sM__1))); |
---|
1418 | ((void)(__acceptables_6[((signed long int )1)].__anonymous_object202.list=__monitors_7)); |
---|
1419 | ((void)(__acceptables_6[((signed long int )1)].__anonymous_object202.size=((signed short int )1))); |
---|
1420 | ((void)(__do_run_6=((_Bool )1))); |
---|
1421 | } |
---|
1422 | |
---|
1423 | unsigned long long int __timeout_6 = -1; |
---|
1424 | if ( 1 ) { |
---|
1425 | ((void)(__timeout_6=0)); |
---|
1426 | ((void)(__do_run_6=((_Bool )1))); |
---|
1427 | } |
---|
1428 | |
---|
1429 | if ( __do_run_6 ) { |
---|
1430 | signed short int __index_6 = -1; |
---|
1431 | struct __waitfor_mask_t __mask_6 = { (&__index_6), __acceptables_6, 2 }; |
---|
1432 | ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_6), __timeout_6)); |
---|
1433 | switch ( __index_6 ) { |
---|
1434 | case 0: |
---|
1435 | { |
---|
1436 | ((void)10); |
---|
1437 | } |
---|
1438 | break; |
---|
1439 | case 1: |
---|
1440 | { |
---|
1441 | ((void)11); |
---|
1442 | } |
---|
1443 | break; |
---|
1444 | case -1: |
---|
1445 | { |
---|
1446 | ((void)12); |
---|
1447 | } |
---|
1448 | break; |
---|
1449 | } |
---|
1450 | |
---|
1451 | } |
---|
1452 | |
---|
1453 | } |
---|
1454 | |
---|
1455 | { |
---|
1456 | struct __acceptable_t __acceptables_7[2]; |
---|
1457 | ((void)__builtin_memset(((void *)__acceptables_7), 0, sizeof(__acceptables_7))); |
---|
1458 | _Bool __do_run_7 = 0; |
---|
1459 | struct monitor_desc *__monitors_8[2] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))), ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) }; |
---|
1460 | if ( ((signed int )((8<3)!=((signed int )0))) ) { |
---|
1461 | ((void)(__acceptables_7[((signed long int )0)].__is_dtor__b_1=0)); |
---|
1462 | ((void)(__acceptables_7[((signed long int )0)].__anonymous_object202.func=((void (*)())__f3__F_MR2sMMR2sM__1))); |
---|
1463 | ((void)(__acceptables_7[((signed long int )0)].__anonymous_object202.list=__monitors_8)); |
---|
1464 | ((void)(__acceptables_7[((signed long int )0)].__anonymous_object202.size=((signed short int )2))); |
---|
1465 | ((void)(__do_run_7=((_Bool )1))); |
---|
1466 | } |
---|
1467 | |
---|
1468 | struct monitor_desc *__monitors_9[1] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) }; |
---|
1469 | if ( 1 ) { |
---|
1470 | ((void)(__acceptables_7[((signed long int )1)].__is_dtor__b_1=0)); |
---|
1471 | ((void)(__acceptables_7[((signed long int )1)].__anonymous_object202.func=((void (*)())__f1__F_MR2sM__1))); |
---|
1472 | ((void)(__acceptables_7[((signed long int )1)].__anonymous_object202.list=__monitors_9)); |
---|
1473 | ((void)(__acceptables_7[((signed long int )1)].__anonymous_object202.size=((signed short int )1))); |
---|
1474 | ((void)(__do_run_7=((_Bool )1))); |
---|
1475 | } |
---|
1476 | |
---|
1477 | unsigned long long int __timeout_7 = -1; |
---|
1478 | if ( ((signed int )((9<3)!=((signed int )0))) ) { |
---|
1479 | ((void)(__timeout_7=((unsigned long long int )102))); |
---|
1480 | ((void)(__do_run_7=((_Bool )1))); |
---|
1481 | } |
---|
1482 | |
---|
1483 | if ( __do_run_7 ) { |
---|
1484 | signed short int __index_7 = -1; |
---|
1485 | struct __waitfor_mask_t __mask_7 = { (&__index_7), __acceptables_7, 2 }; |
---|
1486 | ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_7), __timeout_7)); |
---|
1487 | switch ( __index_7 ) { |
---|
1488 | case 0: |
---|
1489 | { |
---|
1490 | ((void)13); |
---|
1491 | } |
---|
1492 | break; |
---|
1493 | case 1: |
---|
1494 | { |
---|
1495 | ((void)14); |
---|
1496 | } |
---|
1497 | break; |
---|
1498 | case -2: |
---|
1499 | { |
---|
1500 | ((void)15); |
---|
1501 | } |
---|
1502 | break; |
---|
1503 | } |
---|
1504 | |
---|
1505 | } |
---|
1506 | |
---|
1507 | } |
---|
1508 | |
---|
1509 | { |
---|
1510 | struct __acceptable_t __acceptables_8[2]; |
---|
1511 | ((void)__builtin_memset(((void *)__acceptables_8), 0, sizeof(__acceptables_8))); |
---|
1512 | _Bool __do_run_8 = 0; |
---|
1513 | struct monitor_desc *__monitors_10[1] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) }; |
---|
1514 | if ( ((signed int )((10<3)!=((signed int )0))) ) { |
---|
1515 | ((void)(__acceptables_8[((signed long int )0)].__is_dtor__b_1=0)); |
---|
1516 | ((void)(__acceptables_8[((signed long int )0)].__anonymous_object202.func=((void (*)())__f1__F_MR2sM__1))); |
---|
1517 | ((void)(__acceptables_8[((signed long int )0)].__anonymous_object202.list=__monitors_10)); |
---|
1518 | ((void)(__acceptables_8[((signed long int )0)].__anonymous_object202.size=((signed short int )1))); |
---|
1519 | ((void)(__do_run_8=((_Bool )1))); |
---|
1520 | } |
---|
1521 | |
---|
1522 | struct monitor_desc *__monitors_11[2] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))), ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) }; |
---|
1523 | if ( 1 ) { |
---|
1524 | ((void)(__acceptables_8[((signed long int )1)].__is_dtor__b_1=0)); |
---|
1525 | ((void)(__acceptables_8[((signed long int )1)].__anonymous_object202.func=((void (*)())__f2__F_MR2sMMR2sM__1))); |
---|
1526 | ((void)(__acceptables_8[((signed long int )1)].__anonymous_object202.list=__monitors_11)); |
---|
1527 | ((void)(__acceptables_8[((signed long int )1)].__anonymous_object202.size=((signed short int )2))); |
---|
1528 | ((void)(__do_run_8=((_Bool )1))); |
---|
1529 | } |
---|
1530 | |
---|
1531 | unsigned long long int __timeout_8 = -1; |
---|
1532 | if ( 1 ) { |
---|
1533 | ((void)(__timeout_8=((unsigned long long int )103))); |
---|
1534 | ((void)(__do_run_8=((_Bool )1))); |
---|
1535 | } |
---|
1536 | |
---|
1537 | if ( ((signed int )((11<3)!=((signed int )0))) ) { |
---|
1538 | ((void)(__timeout_8=0)); |
---|
1539 | ((void)(__do_run_8=((_Bool )1))); |
---|
1540 | } |
---|
1541 | |
---|
1542 | if ( __do_run_8 ) { |
---|
1543 | signed short int __index_8 = -1; |
---|
1544 | struct __waitfor_mask_t __mask_8 = { (&__index_8), __acceptables_8, 2 }; |
---|
1545 | ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_8), __timeout_8)); |
---|
1546 | switch ( __index_8 ) { |
---|
1547 | case 0: |
---|
1548 | { |
---|
1549 | ((void)16); |
---|
1550 | } |
---|
1551 | break; |
---|
1552 | case 1: |
---|
1553 | { |
---|
1554 | ((void)17); |
---|
1555 | } |
---|
1556 | break; |
---|
1557 | case -2: |
---|
1558 | { |
---|
1559 | ((void)18); |
---|
1560 | } |
---|
1561 | break; |
---|
1562 | case -1: |
---|
1563 | { |
---|
1564 | ((void)19); |
---|
1565 | } |
---|
1566 | break; |
---|
1567 | } |
---|
1568 | |
---|
1569 | } |
---|
1570 | |
---|
1571 | } |
---|
1572 | |
---|
1573 | } |
---|
1574 | signed int __main__Fi___1(){ |
---|
1575 | __attribute__ ((unused)) signed int ___retval_main__i_1; |
---|
1576 | ((void)(___retval_main__i_1=0) /* ?{} */); |
---|
1577 | return ((signed int )___retval_main__i_1); |
---|
1578 | } |
---|
1579 | __attribute__ ((constructor)) static void _init_sched_ext_parse(void){ |
---|
1580 | ((void)___constructor__F_R2sM_autogen___1((&__a__2sM_1))); |
---|
1581 | } |
---|
1582 | __attribute__ ((destructor)) static void _destroy_sched_ext_parse(void){ |
---|
1583 | ((void)___destructor__F_MR2sM_autogen___1((&__a__2sM_1))); |
---|
1584 | } |
---|
1585 | static inline int invoke_main(int argc, char* argv[], char* envp[]) { (void)argc; (void)argv; (void)envp; return __main__Fi___1(); } |
---|
1586 | __attribute__ ((__nothrow__,__leaf__,__malloc__)) extern void *malloc(unsigned long int __size); |
---|
1587 | __attribute__ ((__nothrow__,__leaf__)) extern void free(void *__ptr); |
---|
1588 | __attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void abort(void); |
---|
1589 | __attribute__ ((__nothrow__,__leaf__,__nonnull__(1))) extern signed int atexit(void (*__func)(void)); |
---|
1590 | __attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void exit(signed int __status); |
---|
1591 | extern signed int printf(const char *__restrict __format, ...); |
---|
1592 | static inline signed int invoke_main(signed int argc, char **argv, char **envp); |
---|
1593 | signed int main(signed int __argc__i_1, char **__argv__PPc_1, char **__envp__PPc_1){ |
---|
1594 | __attribute__ ((unused)) signed int ___retval_main__i_1; |
---|
1595 | signed int _tmp_cp_ret0; |
---|
1596 | ((void)(___retval_main__i_1=(((void)(_tmp_cp_ret0=invoke_main(__argc__i_1, __argv__PPc_1, __envp__PPc_1))) , _tmp_cp_ret0)) /* ?{} */); |
---|
1597 | ((void)(_tmp_cp_ret0) /* ^?{} */); |
---|
1598 | return ((signed int )___retval_main__i_1); |
---|
1599 | } |
---|