int main (int argc, char *argv[])
{
big_pyobj *f, *freevars;
int i;
/**
* test1: simple closure with no free vars
* f = lambda x: x
* decref(list)
*/
pymem_init();
freevars = create_list(inject_int(0));
incref(freevars);
f = create_closure(dummy_function, inject_big(freevars));
incref(f);
assert (freevars->ref_ctr == 2);
decref(f);
assert (freevars->ref_ctr == 1);
decref(freevars);
pymem_print_stats();
pymem_shutdown();
}
/*
* def n(self, x): self.f = x; return None
*/
pyobj D_n(pyobj self, pyobj x) {
set_attr(self, "f", x);
#ifdef TAGGING
return inject_big(0); /* None */
#else
return NULL;
#endif
}
int
main(void)
{
int i;
int n;
int t;
int pygen_0_tagF_temp;
int pygen_1_tagF_temp;
int pygen_0_compF_temp;
int pygen_2_tagF_temp;
int pygen_1_compF_temp;
int pygen_0_projF_temp;
int pygen_1_projF_temp;
int pygen_2_compF_temp;
int pygen_0_injF_temp;
int pygen_1_ifexF_temp;
int pygen_3_tagF_temp;
int pygen_3_compF_temp;
int pygen_2_projF_temp;
int pygen_3_projF_temp;
int pygen_4_compF_temp;
int pygen_1_injF_temp;
int pygen_0_ifexF_temp;
int pygen_4_projF_temp;
int pygen_5_projF_temp;
int pygen_0_callF_temp;
int pygen_2_injF_temp;
int pygen_3_ifexF_temp;
int pygen_4_tagF_temp;
int pygen_5_compF_temp;
int pygen_6_projF_temp;
int pygen_7_projF_temp;
int pygen_6_compF_temp;
int pygen_3_injF_temp;
int pygen_2_ifexF_temp;
int pygen_8_projF_temp;
int pygen_9_projF_temp;
int pygen_7_compF_temp;
int pygen_4_injF_temp;
int pygen_2_let_temp;
int pygen_5_tagF_temp;
int pygen_8_compF_temp;
int pygen_10_projF_temp;
int pygen_9_compF_temp;
int pygen_5_ifexF_temp;
int pygen_6_tagF_temp;
int pygen_10_compF_temp;
int pygen_11_projF_temp;
int pygen_11_compF_temp;
int pygen_4_ifexF_temp;
int pygen_1_callF_temp;
int pygen_7_tagF_temp;
int pygen_12_compF_temp;
int pygen_12_projF_temp;
int pygen_13_projF_temp;
int pygen_0_addF_temp;
int pygen_5_injF_temp;
int pygen_7_ifexF_temp;
int pygen_8_tagF_temp;
int pygen_13_compF_temp;
int pygen_14_projF_temp;
int pygen_15_projF_temp;
int pygen_1_addF_temp;
int pygen_6_injF_temp;
int pygen_6_ifexF_temp;
int pygen_16_projF_temp;
int pygen_17_projF_temp;
int pygen_2_callF_temp;
int pygen_7_injF_temp;
int pygen_18_projF_temp;
int pygen_0_usubF_temp;
int pygen_8_injF_temp;
int pygen_0_let_temp;
int pygen_9_tagF_temp;
int pygen_14_compF_temp;
int pygen_19_projF_temp;
int pygen_20_projF_temp;
int pygen_2_addF_temp;
int pygen_9_injF_temp;
int pygen_9_ifexF_temp;
int pygen_10_tagF_temp;
int pygen_15_compF_temp;
int pygen_21_projF_temp;
int pygen_22_projF_temp;
int pygen_3_addF_temp;
int pygen_10_injF_temp;
int pygen_8_ifexF_temp;
int pygen_23_projF_temp;
int pygen_24_projF_temp;
int pygen_3_callF_temp;
int pygen_11_injF_temp;
int pygen_12_injF_temp;
int pygen_1_let_temp;
int pygen_11_tagF_temp;
int pygen_16_compF_temp;
int pygen_25_projF_temp;
int pygen_26_projF_temp;
int pygen_4_addF_temp;
int pygen_13_injF_temp;
int pygen_11_ifexF_temp;
int pygen_12_tagF_temp;
int pygen_17_compF_temp;
int pygen_27_projF_temp;
int pygen_28_projF_temp;
int pygen_5_addF_temp;
int pygen_14_injF_temp;
int pygen_10_ifexF_temp;
int pygen_29_projF_temp;
int pygen_30_projF_temp;
int pygen_4_callF_temp;
int pygen_15_injF_temp;
i = inject_int(0);
n = input_int();
t = inject_int(0);
pygen_0_tagF_temp = tag(i);
pygen_1_tagF_temp = tag(n);
pygen_0_compF_temp = (pygen_0_tagF_temp == pygen_1_tagF_temp);
if (pygen_0_compF_temp) {
pygen_2_tagF_temp = tag(i);
pygen_1_compF_temp = (pygen_2_tagF_temp == 0);
if (pygen_1_compF_temp) {
pygen_0_projF_temp = project_int(i);
pygen_1_projF_temp = project_int(n);
pygen_2_compF_temp = (pygen_0_projF_temp != pygen_1_projF_temp);
pygen_0_injF_temp = inject_bool(pygen_2_compF_temp);
pygen_1_ifexF_temp = pygen_0_injF_temp;
} else {
pygen_3_tagF_temp = tag(i);
pygen_3_compF_temp = (pygen_3_tagF_temp == 1);
if (pygen_3_compF_temp) {
pygen_2_projF_temp = project_bool(i);
pygen_3_projF_temp = project_bool(n);
pygen_4_compF_temp = (pygen_2_projF_temp != pygen_3_projF_temp);
pygen_1_injF_temp = inject_bool(pygen_4_compF_temp);
pygen_0_ifexF_temp = pygen_1_injF_temp;
} else {
pygen_4_projF_temp = project_big(i);
pygen_5_projF_temp = project_big(n);
pygen_0_callF_temp = not_equal(pygen_4_projF_temp, pygen_5_projF_temp);
pygen_2_injF_temp = inject_bool(pygen_0_callF_temp);
pygen_0_ifexF_temp = pygen_2_injF_temp;
}
pygen_1_ifexF_temp = pygen_0_ifexF_temp;
}
pygen_3_ifexF_temp = pygen_1_ifexF_temp;
} else {
pygen_4_tagF_temp = tag(i);
pygen_5_compF_temp = (pygen_4_tagF_temp == 0);
if (pygen_5_compF_temp) {
pygen_6_projF_temp = project_int(i);
pygen_7_projF_temp = project_bool(n);
pygen_6_compF_temp = (pygen_6_projF_temp != pygen_7_projF_temp);
pygen_3_injF_temp = inject_bool(pygen_6_compF_temp);
pygen_2_ifexF_temp = pygen_3_injF_temp;
} else {
pygen_8_projF_temp = project_bool(i);
pygen_9_projF_temp = project_int(n);
pygen_7_compF_temp = (pygen_8_projF_temp != pygen_9_projF_temp);
pygen_4_injF_temp = inject_bool(pygen_7_compF_temp);
pygen_2_ifexF_temp = pygen_4_injF_temp;
}
pygen_3_ifexF_temp = pygen_2_ifexF_temp;
}
pygen_2_let_temp = pygen_3_ifexF_temp;
pygen_5_tagF_temp = tag(pygen_2_let_temp);
pygen_8_compF_temp = (pygen_5_tagF_temp == 0);
if (pygen_8_compF_temp) {
pygen_10_projF_temp = project_int(pygen_2_let_temp);
pygen_9_compF_temp = (0 != pygen_10_projF_temp);
pygen_5_ifexF_temp = pygen_9_compF_temp;
} else {
pygen_6_tagF_temp = tag(pygen_2_let_temp);
pygen_10_compF_temp = (pygen_6_tagF_temp == 1);
if (pygen_10_compF_temp) {
pygen_11_projF_temp = project_bool(pygen_2_let_temp);
pygen_11_compF_temp = (0 != pygen_11_projF_temp);
pygen_4_ifexF_temp = pygen_11_compF_temp;
} else {
pygen_1_callF_temp = is_true(pygen_2_let_temp);
pygen_4_ifexF_temp = pygen_1_callF_temp;
}
pygen_5_ifexF_temp = pygen_4_ifexF_temp;
}
while (pygen_5_ifexF_temp) {
pygen_7_tagF_temp = tag(t);
pygen_12_compF_temp = (pygen_7_tagF_temp == 0);
if (pygen_12_compF_temp) {
pygen_12_projF_temp = project_int(t);
pygen_13_projF_temp = project_int(i);
pygen_0_addF_temp = (pygen_12_projF_temp + pygen_13_projF_temp);
pygen_5_injF_temp = inject_int(pygen_0_addF_temp);
pygen_7_ifexF_temp = pygen_5_injF_temp;
} else {
pygen_8_tagF_temp = tag(t);
pygen_13_compF_temp = (pygen_8_tagF_temp == 1);
if (pygen_13_compF_temp) {
pygen_14_projF_temp = project_bool(t);
pygen_15_projF_temp = project_bool(i);
pygen_1_addF_temp = (pygen_14_projF_temp + pygen_15_projF_temp);
pygen_6_injF_temp = inject_int(pygen_1_addF_temp);
pygen_6_ifexF_temp = pygen_6_injF_temp;
} else {
pygen_16_projF_temp = project_big(t);
pygen_17_projF_temp = project_big(i);
pygen_2_callF_temp = add(pygen_16_projF_temp, pygen_17_projF_temp);
pygen_7_injF_temp = inject_big(pygen_2_callF_temp);
pygen_6_ifexF_temp = pygen_7_injF_temp;
}
pygen_7_ifexF_temp = pygen_6_ifexF_temp;
}
t = pygen_7_ifexF_temp;
pygen_18_projF_temp = project_int(i);
pygen_0_usubF_temp = -(pygen_18_projF_temp);
pygen_8_injF_temp = inject_int(pygen_0_usubF_temp);
pygen_0_let_temp = pygen_8_injF_temp;
pygen_9_tagF_temp = tag(pygen_0_let_temp);
pygen_14_compF_temp = (pygen_9_tagF_temp == 0);
if (pygen_14_compF_temp) {
pygen_19_projF_temp = project_int(pygen_0_let_temp);
pygen_20_projF_temp = project_int(t);
pygen_2_addF_temp = (pygen_19_projF_temp + pygen_20_projF_temp);
pygen_9_injF_temp = inject_int(pygen_2_addF_temp);
pygen_9_ifexF_temp = pygen_9_injF_temp;
} else {
pygen_10_tagF_temp = tag(pygen_0_let_temp);
pygen_15_compF_temp = (pygen_10_tagF_temp == 1);
if (pygen_15_compF_temp) {
pygen_21_projF_temp = project_bool(pygen_0_let_temp);
pygen_22_projF_temp = project_bool(t);
pygen_3_addF_temp = (pygen_21_projF_temp + pygen_22_projF_temp);
pygen_10_injF_temp = inject_int(pygen_3_addF_temp);
pygen_8_ifexF_temp = pygen_10_injF_temp;
} else {
pygen_23_projF_temp = project_big(pygen_0_let_temp);
pygen_24_projF_temp = project_big(t);
pygen_3_callF_temp = add(pygen_23_projF_temp, pygen_24_projF_temp);
pygen_11_injF_temp = inject_big(pygen_3_callF_temp);
pygen_8_ifexF_temp = pygen_11_injF_temp;
}
pygen_9_ifexF_temp = pygen_8_ifexF_temp;
}
t = pygen_9_ifexF_temp;
pygen_12_injF_temp = inject_int(1);
pygen_1_let_temp = pygen_12_injF_temp;
pygen_11_tagF_temp = tag(i);
pygen_16_compF_temp = (pygen_11_tagF_temp == 0);
if (pygen_16_compF_temp) {
pygen_25_projF_temp = project_int(i);
pygen_26_projF_temp = project_int(pygen_1_let_temp);
pygen_4_addF_temp = (pygen_25_projF_temp + pygen_26_projF_temp);
pygen_13_injF_temp = inject_int(pygen_4_addF_temp);
pygen_11_ifexF_temp = pygen_13_injF_temp;
} else {
pygen_12_tagF_temp = tag(i);
pygen_17_compF_temp = (pygen_12_tagF_temp == 1);
if (pygen_17_compF_temp) {
pygen_27_projF_temp = project_bool(i);
pygen_28_projF_temp = project_bool(pygen_1_let_temp);
pygen_5_addF_temp = (pygen_27_projF_temp + pygen_28_projF_temp);
pygen_14_injF_temp = inject_int(pygen_5_addF_temp);
pygen_10_ifexF_temp = pygen_14_injF_temp;
} else {
pygen_29_projF_temp = project_big(i);
pygen_30_projF_temp = project_big(pygen_1_let_temp);
pygen_4_callF_temp = add(pygen_29_projF_temp, pygen_30_projF_temp);
pygen_15_injF_temp = inject_big(pygen_4_callF_temp);
pygen_10_ifexF_temp = pygen_15_injF_temp;
}
pygen_11_ifexF_temp = pygen_10_ifexF_temp;
}
i = pygen_11_ifexF_temp;
pygen_0_tagF_temp = tag(i);
pygen_1_tagF_temp = tag(n);
pygen_0_compF_temp = (pygen_0_tagF_temp == pygen_1_tagF_temp);
if (pygen_0_compF_temp) {
pygen_2_tagF_temp = tag(i);
pygen_1_compF_temp = (pygen_2_tagF_temp == 0);
if (pygen_1_compF_temp) {
pygen_0_projF_temp = project_int(i);
pygen_1_projF_temp = project_int(n);
pygen_2_compF_temp = (pygen_0_projF_temp != pygen_1_projF_temp);
pygen_0_injF_temp = inject_bool(pygen_2_compF_temp);
pygen_1_ifexF_temp = pygen_0_injF_temp;
} else {
pygen_3_tagF_temp = tag(i);
pygen_3_compF_temp = (pygen_3_tagF_temp == 1);
if (pygen_3_compF_temp) {
pygen_2_projF_temp = project_bool(i);
pygen_3_projF_temp = project_bool(n);
pygen_4_compF_temp = (pygen_2_projF_temp != pygen_3_projF_temp);
pygen_1_injF_temp = inject_bool(pygen_4_compF_temp);
pygen_0_ifexF_temp = pygen_1_injF_temp;
} else {
pygen_4_projF_temp = project_big(i);
pygen_5_projF_temp = project_big(n);
pygen_0_callF_temp = not_equal(pygen_4_projF_temp, pygen_5_projF_temp);
pygen_2_injF_temp = inject_bool(pygen_0_callF_temp);
pygen_0_ifexF_temp = pygen_2_injF_temp;
}
pygen_1_ifexF_temp = pygen_0_ifexF_temp;
}
pygen_3_ifexF_temp = pygen_1_ifexF_temp;
} else {
pygen_4_tagF_temp = tag(i);
pygen_5_compF_temp = (pygen_4_tagF_temp == 0);
if (pygen_5_compF_temp) {
pygen_6_projF_temp = project_int(i);
pygen_7_projF_temp = project_bool(n);
pygen_6_compF_temp = (pygen_6_projF_temp != pygen_7_projF_temp);
pygen_3_injF_temp = inject_bool(pygen_6_compF_temp);
pygen_2_ifexF_temp = pygen_3_injF_temp;
} else {
pygen_8_projF_temp = project_bool(i);
pygen_9_projF_temp = project_int(n);
pygen_7_compF_temp = (pygen_8_projF_temp != pygen_9_projF_temp);
pygen_4_injF_temp = inject_bool(pygen_7_compF_temp);
pygen_2_ifexF_temp = pygen_4_injF_temp;
}
pygen_3_ifexF_temp = pygen_2_ifexF_temp;
}
pygen_2_let_temp = pygen_3_ifexF_temp;
pygen_5_tagF_temp = tag(pygen_2_let_temp);
pygen_8_compF_temp = (pygen_5_tagF_temp == 0);
if (pygen_8_compF_temp) {
pygen_10_projF_temp = project_int(pygen_2_let_temp);
pygen_9_compF_temp = (0 != pygen_10_projF_temp);
pygen_5_ifexF_temp = pygen_9_compF_temp;
} else {
pygen_6_tagF_temp = tag(pygen_2_let_temp);
pygen_10_compF_temp = (pygen_6_tagF_temp == 1);
if (pygen_10_compF_temp) {
pygen_11_projF_temp = project_bool(pygen_2_let_temp);
pygen_11_compF_temp = (0 != pygen_11_projF_temp);
pygen_4_ifexF_temp = pygen_11_compF_temp;
} else {
pygen_1_callF_temp = is_true(pygen_2_let_temp);
pygen_4_ifexF_temp = pygen_1_callF_temp;
}
pygen_5_ifexF_temp = pygen_4_ifexF_temp;
}
}
print_any(t);
}
void decref (big_pyobj *obj) { dec_ref_ctr(inject_big(obj)); }
void incref (big_pyobj *obj) { inc_ref_ctr(inject_big(obj)); }
int main (int argc, char *argv[])
{
big_pyobj *A, *B, *C;
big_pyobj *A_parents, *B_parents, *C_parents;
big_pyobj *list;
int i;
/**
* test1: simple class with no superclasses
* class A:
*/
pymem_init();
A_parents = create_list(inject_int(0));
incref(A_parents);
A = create_class(inject_big(A_parents));
incref(A);
assert (A_parents->ref_ctr == 2);
decref(A);
assert (A_parents->ref_ctr == 1);
decref(A_parents);
pymem_print_stats();
pymem_shutdown();
/**
* test2: class with one superclass
* class A:
* class B(A):
* B -> B_parents -> A -> A_parents
*/
pymem_init();
A_parents = create_list(inject_int(0));
incref(A_parents);
A = create_class(inject_big(A_parents));
incref(A);
assert (A_parents->ref_ctr == 2);
B_parents = create_list(inject_int(1));
incref(B_parents);
set_subscript(inject_big(B_parents), inject_int(0), inject_big(A));
assert (A->ref_ctr == 2);
B = create_class(inject_big(B_parents));
incref(B);
assert (B_parents->ref_ctr == 2);
decref(A_parents);
assert (A_parents->ref_ctr == 1);
decref(A);
assert (A->ref_ctr == 1);
decref(B_parents);
assert (B_parents->ref_ctr == 1);
pymem_print_stats();
decref(B); // everything should go away at this point.
pymem_print_stats();
pymem_shutdown();
/**
* test3: simple class with attribute.
* list = []
* class A:
* a = list
*/
pymem_init();
list = create_list(inject_int(0));
incref(list);
A_parents = create_list(inject_int(0));
incref(A_parents);
A = create_class(inject_big(A_parents));
incref(A);
assert (A_parents->ref_ctr == 2);
set_attr(inject_big(A), "a", inject_big(list));
decref(list); // the list should not go away here.
assert (list->ref_ctr == 1);
decref(A_parents);
assert (A_parents->ref_ctr == 1);
pymem_print_stats();
decref(A); // now everything should be de-allocated.
pymem_print_stats();
pymem_shutdown();
}
int main (int argc, char *argv[])
{
big_pyobj *A_parents;
big_pyobj *A;
big_pyobj *freevars;
big_pyobj *f;
big_pyobj *ubmethod;
int i;
/**
* test1: retrieve unbound method from simple class
* class A:
* f = lambda x: x
* dependencies:
* f -> freevars
* A -> A_parents
* A -> f (via A.f)
* ubmethod -> f
* ubmethod -> A
*/
pymem_init();
freevars = create_list(inject_int(0));
incref(freevars);
f = create_closure(dummy_function, inject_big(freevars));
incref(f);
A_parents = create_list(inject_int(0));
incref(A_parents);
A = create_class(inject_big(A_parents));
incref(A);
assert (A_parents->ref_ctr == 2);
set_attr(inject_big(A), "f", inject_big(f));
assert (f->ref_ctr == 2);
ubmethod = project_big(get_attr(inject_big(A), "f"));
incref(ubmethod);
assert (A->ref_ctr == 2);
assert (f->ref_ctr == 3);
decref(freevars);
assert (freevars->ref_ctr == 1);
decref(f);
assert (f->ref_ctr == 2);
decref(A_parents);
assert(A_parents->ref_ctr == 1);
decref(A);
assert(A->ref_ctr == 1);
// at this point only the unbound method is keeping stuff alive.
pymem_print_stats();
decref(ubmethod);
pymem_print_stats();
pymem_shutdown();
}
int main (int argc, char *argv[])
{
big_pyobj *list, *list2;
int i;
/**
* test1: simple list creation
* list = []
* decref(list)
*/
pymem_init();
list = create_list(inject_int(0));
incref(list);
decref(list);
pymem_print_stats();
pymem_shutdown();
/**
* test2: list with primitive (int) elements
* list = [99,88,77,66,55]
* decref(list)
*/
pymem_init();
list = create_list(inject_int(5));
incref(list);
set_subscript(inject_big(list), inject_int(0), inject_int(99));
set_subscript(inject_big(list), inject_int(1), inject_int(88));
set_subscript(inject_big(list), inject_int(2), inject_int(77));
set_subscript(inject_big(list), inject_int(3), inject_int(66));
set_subscript(inject_big(list), inject_int(4), inject_int(55));
decref(list);
pymem_print_stats();
pymem_shutdown();
/**
* test3: list with another list (int) element
* list = [99]
* list2 = [list] // increments list's ref count by one...
* decref(list2) // decrements list's ref count by one (in addition to list2)
* // list2 should be deallocated completely.
* decref(list) // list should be deallocated completely.
*/
pymem_init();
list = create_list(inject_int(1));
incref(list);
set_subscript(inject_big(list), inject_int(0), inject_int(99));
list2 = create_list(inject_int(1));
incref(list2);
set_subscript(inject_big(list2), inject_int(0), inject_big(list));
assert (list->ref_ctr == 2);
decref(list2);
assert (list->ref_ctr == 1);
decref(list);
pymem_print_stats();
pymem_shutdown();
}