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
64
|
#include "Halide.h"
#include <atomic>
#include <stdio.h>
using namespace Halide;
// Check that assertion failures free allocations appropriately
std::atomic<int> malloc_count{0};
std::atomic<int> free_count{0};
void *my_malloc(JITUserContext *user_context, size_t x) {
malloc_count++;
void *orig = malloc(x + 32);
void *ptr = (void *)((((size_t)orig + 32) >> 5) << 5);
((void **)ptr)[-1] = orig;
return ptr;
}
void my_free(JITUserContext *user_context, void *ptr) {
free_count++;
free(((void **)ptr)[-1]);
}
bool error_occurred = false;
void my_error_handler(JITUserContext *user_context, const char *) {
error_occurred = true;
}
int main(int argc, char **argv) {
if (get_jit_target_from_environment().arch == Target::WebAssembly) {
printf("[SKIP] WebAssembly JIT does not support custom allocators.\n");
return 0;
}
Func f, g, h;
Var x;
malloc_count = 0;
free_count = 0;
f(x) = x;
f.compute_root();
g(x) = f(x) + 1;
g.compute_root();
h(x) = g(x) + 1;
// This should fail an assertion at runtime after f has been allocated
int g_size = 100000;
g.bound(x, 0, g_size);
h.jit_handlers().custom_malloc = my_malloc;
h.jit_handlers().custom_free = my_free;
h.jit_handlers().custom_error = my_error_handler;
Buffer<int> im = h.realize({g_size + 100});
printf("%d %d\n", (int)malloc_count, (int)free_count);
assert(error_occurred && (int)malloc_count == (int)free_count);
printf("Success!\n");
return 0;
}
|
