1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
// Start of backends/c.h
struct futhark_context_config {
int in_use;
int debugging;
int profiling;
int logging;
char *cache_fname;
int num_tuning_params;
int64_t *tuning_params;
const char** tuning_param_names;
const char** tuning_param_vars;
const char** tuning_param_classes;
};
static void backend_context_config_setup(struct futhark_context_config* cfg) {
(void)cfg;
}
static void backend_context_config_teardown(struct futhark_context_config* cfg) {
(void)cfg;
}
int futhark_context_config_set_tuning_param(struct futhark_context_config* cfg, const char *param_name, size_t param_value) {
(void)cfg; (void)param_name; (void)param_value;
return 1;
}
struct futhark_context {
struct futhark_context_config* cfg;
int detail_memory;
int debugging;
int profiling;
int profiling_paused;
int logging;
lock_t lock;
char *error;
lock_t error_lock;
FILE *log;
struct constants *constants;
struct free_list free_list;
struct event_list event_list;
int64_t peak_mem_usage_default;
int64_t cur_mem_usage_default;
struct program* program;
bool program_initialised;
};
int backend_context_setup(struct futhark_context* ctx) {
(void)ctx;
return 0;
}
void backend_context_teardown(struct futhark_context* ctx) {
(void)ctx;
}
int futhark_context_sync(struct futhark_context* ctx) {
(void)ctx;
return 0;
}
// End of backends/c.h
|
