Support of OCaml 5.0 (cleaned version) #124
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,57 @@ | ||
| #ifndef _PTHREAD_H | ||
| #define _PTHREAD_H | ||
|
|
||
| #include <stddef.h> | ||
| #include <signal.h> | ||
|
|
||
| typedef unsigned long int pthread_t; | ||
| typedef int cpu_set_t; | ||
|
|
||
| int pthread_getaffinity_np(pthread_t, size_t, cpu_set_t *); | ||
|
|
||
| pthread_t pthread_self(void); | ||
|
|
||
| typedef int pthread_attr_t; | ||
|
|
||
| int pthread_create(pthread_t *, const pthread_attr_t *, void *(*)(void *), void *); | ||
| int pthread_join(pthread_t, void **); | ||
| int pthread_attr_init(pthread_attr_t *); | ||
| void pthread_cleanup_push(void (*)(void *), void *); | ||
| void pthread_cleanup_pop(int); | ||
|
|
||
| typedef int pthread_mutex_t; | ||
| typedef int pthread_cond_t; | ||
|
|
||
| int pthread_mutex_lock(pthread_mutex_t *); | ||
| int pthread_mutex_trylock(pthread_mutex_t *); | ||
| int pthread_mutex_unlock(pthread_mutex_t *); | ||
|
|
||
| #define PTHREAD_MUTEX_INITIALIZER 0 | ||
| #define PTHREAD_COND_INITIALIZER 0 | ||
|
|
||
| int pthread_sigmask(int, const sigset_t *, sigset_t *); | ||
| int pthread_detach(pthread_t); | ||
| int pthread_equal(pthread_t, pthread_t); | ||
|
|
||
| typedef int pthread_mutexattr_t; | ||
|
|
||
| int pthread_mutexattr_init(pthread_mutexattr_t *); | ||
| int pthread_mutexattr_settype(pthread_mutexattr_t *, int); | ||
|
|
||
| #define PTHREAD_MUTEX_ERRORCHECK 0 | ||
|
|
||
| int pthread_mutex_init(pthread_mutex_t *, const pthread_mutexattr_t *); | ||
| int pthread_mutexattr_destroy(pthread_mutexattr_t *); | ||
| int pthread_mutex_destroy(pthread_mutex_t *); | ||
|
|
||
| typedef int pthread_condattr_t; | ||
|
|
||
| int pthread_condattr_init(pthread_condattr_t *); | ||
| int pthread_cond_init(pthread_cond_t *, const pthread_condattr_t *); | ||
|
|
||
| int pthread_cond_wait(pthread_cond_t *, pthread_mutex_t *); | ||
| int pthread_cond_broadcast(pthread_cond_t *); | ||
| int pthread_cond_signal(pthread_cond_t *); | ||
| int pthread_cond_destroy(pthread_cond_t *); | ||
|
|
||
| #endif |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,8 @@ | ||
| #ifndef _SCHED_H | ||
| #define _SCHED_H | ||
|
|
||
| typedef int cpu_set_t; | ||
|
|
||
| #define CPU_ZERO (x) 0 | ||
|
|
||
| #endif |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1 +1,5 @@ | ||
| #include <signal.h> | ||
|
|
||
| void longjmp(int, int) __attribute__ ((__noreturn__)); | ||
|
|
||
| #define setjmp(buf) 0 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,69 @@ | ||
| #ifndef _STDATOMIC_H | ||
| #define _STDATOMIC_H | ||
|
|
||
| // Compatibility with non-clang compilers | ||
| #ifndef __has_builtin | ||
| # define __has_builtin(x) 0 | ||
| #endif | ||
|
|
||
| #define atomic_load_explicit(x, mode) ( *x ) | ||
| #define atomic_load(x) ( *x ) | ||
|
|
||
| extern int memory_order_release; | ||
| extern int memory_order_acquire; | ||
| extern int memory_order_relaxed; | ||
| extern int memory_order_seq_cst; | ||
|
|
||
| #if __has_builtin(__c11_atomic_fetch_add) | ||
| #define atomic_fetch_add(X, Y) __c11_atomic_fetch_add(X, Y, __ATOMIC_SEQ_CST) | ||
| #else | ||
| #define atomic_fetch_add(X, Y) ({ __auto_type tmp = *X; *X = tmp + Y; tmp; }) | ||
| #endif | ||
|
|
||
| #define atomic_fetch_add_explicit(X, Y, MOD) atomic_fetch_add(X, Y) | ||
|
|
||
| #define atomic_thread_fence(MO) do {} while (0) | ||
|
|
||
| typedef unsigned long long atomic_uint_fast64_t; | ||
|
|
||
| #if __has_builtin(__c11_atomic_compare_exchange_strong) | ||
| #define atomic_compare_exchange_strong(OBJ, EXPECTED, DESIRED) \ | ||
| __c11_atomic_compare_exchange_strong(OBJ, EXPECTED, DESIRED, \ | ||
| __ATOMIC_SEQ_CST, __ATOMIC_SEQ_CST) | ||
| #else | ||
| #define atomic_compare_exchange_strong(OBJ, EXPECTED, DESIRED) \ | ||
| ({ int ret = 0; \ | ||
| if (*OBJ == *EXPECTED) { \ | ||
| *OBJ = DESIRED; \ | ||
| ret = 1; \ | ||
| } \ | ||
| ret; \ | ||
| }) | ||
| #endif | ||
|
|
||
| #if __has_builtin(__c11_atomic_exchange) | ||
| #define atomic_exchange(OBJ, DESIRED) \ | ||
| __c11_atomic_exchange(OBJ, DESIRED, __ATOMIC_SEQ_CST) | ||
| #else | ||
| #define atomic_exchange(OBJ, DESIRED) \ | ||
| ({ __auto_type tmp = *OBJ; \ | ||
| *OBJ = DESIRED; \ | ||
| tmp; \ | ||
| }) | ||
| #endif | ||
|
|
||
| #define atomic_store(OBJ, DESIRED) do { *OBJ = DESIRED; } while(0) | ||
| #define atomic_store_explicit(OBJ, DESIRED, ORDER) atomic_store(OBJ, DESIRED) | ||
|
|
||
| #if __has_builtin(__c11_atomic_fetch_or) | ||
| #define atomic_fetch_or(OBJ, ARG) \ | ||
| __c11_atomic_fetch_or(OBJ, ARG, __ATOMIC_SEQ_CST) | ||
| #else | ||
| #define atomic_fetch_or(OBJ, ARG) \ | ||
| ({ __auto_type tmp = *OBJ; \ | ||
| *OBJ = *OBJ | ARG; \ | ||
| tmp; \ | ||
| }) | ||
| #endif | ||
|
|
||
| #endif |
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The dependency on
test-include/sys/is order only.