diff options
Diffstat (limited to 'polly/lib/External/isl/python')
| -rw-r--r-- | polly/lib/External/isl/python/isl.py.top | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/polly/lib/External/isl/python/isl.py.top b/polly/lib/External/isl/python/isl.py.top index 5c858c95608a..d041315d4e11 100644 --- a/polly/lib/External/isl/python/isl.py.top +++ b/polly/lib/External/isl/python/isl.py.top @@ -33,5 +33,17 @@ class Context: Context.defaultInstance = Context() return Context.defaultInstance + @CFUNCTYPE(None, py_object) + def free_user(user): + pythonapi.Py_DecRef(py_object(user)) + isl.isl_ctx_alloc.restype = c_void_p isl.isl_ctx_free.argtypes = [Context] +isl.isl_id_alloc.restype = c_void_p +isl.isl_id_alloc.argtypes = [Context, c_char_p, py_object] +isl.isl_id_set_free_user.restype = c_void_p +isl.isl_id_set_free_user.argtypes = [c_void_p, c_void_p] +isl.isl_id_get_free_user.restype = c_void_p +isl.isl_id_get_free_user.argtypes = [c_void_p] +isl.isl_id_get_user.restype = py_object +isl.isl_id_get_user.argtypes = [c_void_p] |