[a843067] | 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; |
---|
[596bc0a] | 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 | |
---|
[a843067] | 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; |
---|
[3aeaecd] | 1057 | struct __condition_blocked_queue_t _tmp_cp4; |
---|
[a843067] | 1058 | struct __condition_blocked_queue_t _tmp_cp_ret29; |
---|
[3aeaecd] | 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)); |
---|
[a843067] | 1060 | ((void)___destructor__F_R28s__condition_blocked_queue_t_autogen___1((&_tmp_cp_ret29))); |
---|
[3aeaecd] | 1061 | ((void)___destructor__F_R28s__condition_blocked_queue_t_autogen___1((&_tmp_cp4))); |
---|
[a843067] | 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; |
---|
[3aeaecd] | 1157 | struct monitor_desc _tmp_cp5; |
---|
[a843067] | 1158 | struct monitor_desc _tmp_cp_ret31; |
---|
[3aeaecd] | 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)); |
---|
[a843067] | 1160 | ((void)___destructor__F_R13smonitor_desc_autogen___1((&_tmp_cp_ret31))); |
---|
[3aeaecd] | 1161 | ((void)___destructor__F_R13smonitor_desc_autogen___1((&_tmp_cp5))); |
---|
[a843067] | 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 | } |
---|