| [15db1ab] | 1 | #include "gcpointers.h" | 
|---|
|  | 2 |  | 
|---|
| [bee4283] | 3 | // #include "gc.h" | 
|---|
| [e47f529] | 4 | #include "internal/collector.h" | 
|---|
| [c5833e8] | 5 | #include "internal/object_header.h" | 
|---|
| [29ad0ac] | 6 | #include "internal/state.h" | 
|---|
| [15db1ab] | 7 |  | 
|---|
| [385c130] | 8 | void register_ptr(gcpointer_t* this) | 
|---|
|  | 9 | { | 
|---|
|  | 10 | if(gcpointer_null(this)) return; | 
|---|
|  | 11 |  | 
|---|
|  | 12 | if(gc_is_managed(this)) | 
|---|
|  | 13 | { | 
|---|
|  | 14 | gc_object_header* obj = gc_get_object_for_ref(gc_get_state(), (void*)this); | 
|---|
|  | 15 | check(obj); | 
|---|
| [46f1d20] | 16 | check(is_valid(obj)); | 
|---|
|  | 17 | check(gc_is_managed(this) == gc_is_managed(obj->type_chain) || !obj->type_chain); | 
|---|
| [385c130] | 18 | this->next = obj->type_chain; | 
|---|
|  | 19 | obj->type_chain = this; | 
|---|
| [46f1d20] | 20 | check(is_valid(obj)); | 
|---|
| [385c130] | 21 | } | 
|---|
|  | 22 | else | 
|---|
|  | 23 | { | 
|---|
|  | 24 | gc_object_header* obj = gc_get_object_ptr((void*)this->ptr); | 
|---|
|  | 25 | check(obj); | 
|---|
| [46f1d20] | 26 | check(is_valid(obj)); | 
|---|
| [76af36f] | 27 | check(!obj->root_chain || this->ptr == obj->root_chain->ptr); | 
|---|
|  | 28 | check(!obj->root_chain || gc_is_managed(this) == gc_is_managed(obj->root_chain)); | 
|---|
| [385c130] | 29 | this->next = obj->root_chain; | 
|---|
|  | 30 | obj->root_chain = this; | 
|---|
| [46f1d20] | 31 | check(is_valid(obj)); | 
|---|
| [385c130] | 32 | } | 
|---|
|  | 33 | } | 
|---|
|  | 34 |  | 
|---|
|  | 35 | void unregister_ptr(gcpointer_t* this) | 
|---|
|  | 36 | { | 
|---|
|  | 37 | if(gcpointer_null(this)) return; | 
|---|
|  | 38 |  | 
|---|
|  | 39 | gcpointer_t** prev_next_ptr = gc_find_previous_ref(this); | 
|---|
|  | 40 | check((*prev_next_ptr) == this); | 
|---|
|  | 41 |  | 
|---|
|  | 42 | (*prev_next_ptr) = this->next; | 
|---|
|  | 43 | } | 
|---|
|  | 44 |  | 
|---|
| [6643e72] | 45 | void ?{}(gcpointer_t* this) | 
|---|
| [385c130] | 46 | { | 
|---|
|  | 47 | this->ptr = (intptr_t)NULL; | 
|---|
|  | 48 | this->next = NULL; | 
|---|
|  | 49 | } | 
|---|
|  | 50 |  | 
|---|
| [6643e72] | 51 | void ?{}(gcpointer_t* this, void* address) | 
|---|
| [385c130] | 52 | { | 
|---|
|  | 53 | this->ptr = (intptr_t)address; | 
|---|
|  | 54 | this->next = NULL; | 
|---|
|  | 55 |  | 
|---|
|  | 56 | register_ptr(this); | 
|---|
|  | 57 | } | 
|---|
|  | 58 |  | 
|---|
| [6643e72] | 59 | void ?{}(gcpointer_t* this, gcpointer_t other) | 
|---|
| [385c130] | 60 | { | 
|---|
| [6643e72] | 61 | this->ptr = other.ptr; | 
|---|
| [385c130] | 62 | this->next = NULL; | 
|---|
|  | 63 |  | 
|---|
|  | 64 | register_ptr(this); | 
|---|
|  | 65 | } | 
|---|
|  | 66 |  | 
|---|
| [6643e72] | 67 | void ^?{}(gcpointer_t* this) | 
|---|
| [385c130] | 68 | { | 
|---|
|  | 69 | unregister_ptr(this); | 
|---|
|  | 70 | } | 
|---|
|  | 71 |  | 
|---|
| [76af36f] | 72 | gcpointer_t ?=?(gcpointer_t* this, gcpointer_t rhs) | 
|---|
| [385c130] | 73 | { | 
|---|
| [76af36f] | 74 | unregister_ptr(this); | 
|---|
|  | 75 | this->ptr = rhs.ptr; | 
|---|
|  | 76 | register_ptr(this); | 
|---|
| [385c130] | 77 |  | 
|---|
| [76af36f] | 78 | return *this; | 
|---|
| [385c130] | 79 | } | 
|---|
|  | 80 |  | 
|---|
|  | 81 | //Logical operators | 
|---|
| [4c1403c] | 82 | bool gcpointer_equal(const gcpointer_t* this, const gcpointer_t* rhs) | 
|---|
| [385c130] | 83 | { | 
|---|
|  | 84 | return this->ptr == rhs->ptr; | 
|---|
|  | 85 | } | 
|---|
|  | 86 |  | 
|---|
| [4c1403c] | 87 | bool gcpointer_not_equal(const gcpointer_t* this, const gcpointer_t* rhs) | 
|---|
| [385c130] | 88 | { | 
|---|
|  | 89 | return this->ptr != rhs->ptr; | 
|---|
|  | 90 | } | 
|---|
|  | 91 |  | 
|---|
| [4c1403c] | 92 | bool gcpointer_null(const gcpointer_t* this) | 
|---|
| [385c130] | 93 | { | 
|---|
|  | 94 | return this->ptr == (intptr_t)NULL; | 
|---|
|  | 95 | } | 
|---|
| [6643e72] | 96 |  | 
|---|
| [4c1403c] | 97 | #ifndef NDEBUG | 
|---|
|  | 98 | bool is_valid(const gcpointer_t* this) { | 
|---|
|  | 99 | if(gcpointer_null(this)) return true; | 
|---|
|  | 100 |  | 
|---|
|  | 101 | gc_object_header* obj = gc_get_object_ptr((void*)this->ptr); | 
|---|
|  | 102 | check(obj); | 
|---|
|  | 103 | check(is_valid(obj)); | 
|---|
|  | 104 | check(!obj->root_chain || this->ptr == obj->root_chain->ptr); | 
|---|
|  | 105 |  | 
|---|
|  | 106 | if( !gc_is_managed(this)) | 
|---|
|  | 107 | { | 
|---|
|  | 108 | check( !(this->next) || this->ptr == this->next->ptr ); | 
|---|
|  | 109 | } | 
|---|
|  | 110 |  | 
|---|
|  | 111 | return true; | 
|---|
|  | 112 | } | 
|---|
|  | 113 | #endif | 
|---|
|  | 114 |  | 
|---|
| [6643e72] | 115 | forall(otype T) void ?{}(gcpointer(T)* this) { | 
|---|
|  | 116 | (&this->internal) {}; | 
|---|
|  | 117 | } | 
|---|
|  | 118 |  | 
|---|
|  | 119 | forall(otype T) void ?{}(gcpointer(T)* this, void* address) { | 
|---|
|  | 120 | (&this->internal) { address }; | 
|---|
|  | 121 | } | 
|---|
|  | 122 |  | 
|---|
| [76af36f] | 123 | forall(otype T) void ?{}(gcpointer(T)* this, gcpointer(T) other) { | 
|---|
|  | 124 | (&this->internal) { other.internal }; | 
|---|
| [6643e72] | 125 | } | 
|---|
|  | 126 |  | 
|---|
|  | 127 | forall(otype T) void ^?{}(gcpointer(T)* this) { | 
|---|
|  | 128 | ^?{}(&this->internal); | 
|---|
|  | 129 | } | 
|---|
|  | 130 |  | 
|---|
| [76af36f] | 131 | forall(otype T) gcpointer(T) ?=?(gcpointer(T)* this, gcpointer(T) rhs) { | 
|---|
|  | 132 | this->internal = rhs.internal; | 
|---|
|  | 133 | return *this; | 
|---|
|  | 134 | } | 
|---|
| [6643e72] | 135 | // | 
|---|
|  | 136 | // forall(otype T) T *?(gcpointer(T) this); | 
|---|
|  | 137 |  | 
|---|
|  | 138 | forall(otype T) T* get(gcpointer(T)* this) { | 
|---|
|  | 139 | return (T*)this->internal.ptr; | 
|---|
|  | 140 | } | 
|---|
|  | 141 | // | 
|---|
|  | 142 | // //Logical operators | 
|---|
| [46f1d20] | 143 | forall(otype T) int ?!=?(gcpointer(T) this, int zero) { | 
|---|
|  | 144 | return this.internal.ptr != 0; | 
|---|
|  | 145 | } | 
|---|
| [6643e72] | 146 | // forall(otype T) int ?!=?(gcpointer(T) this, gcpointer(T) rhs); | 
|---|
|  | 147 | // forall(otype T) int ?==?(gcpointer(T) this, gcpointer(T) rhs); | 
|---|