on master help sign in
Remove unused float and int stacks
d1d2257Sam T
rts/idris_rts.c−8
@@ -20,16 +20,10 @@ VM* init_vm(int stack_size, size_t heap_size,
20 STATS_ENTER_INIT(vm->stats)
20 STATS_ENTER_INIT(vm->stats)
21
21
22 VAL* valstack = malloc(stack_size * sizeof(VAL));
22 VAL* valstack = malloc(stack_size * sizeof(VAL));
23− int* intstack = malloc(stack_size * sizeof(int));
24− double* floatstack = malloc(stack_size*sizeof(double));
25
23
26 vm->valstack = valstack;
24 vm->valstack = valstack;
27 vm->valstack_top = valstack;
25 vm->valstack_top = valstack;
28 vm->valstack_base = valstack;
26 vm->valstack_base = valstack;
29− vm->intstack = intstack;
30− vm->intstack_ptr = intstack;
31− vm->floatstack = floatstack;
32− vm->floatstack_ptr = floatstack;
33 vm->stack_max = valstack + stack_size;
27 vm->stack_max = valstack + stack_size;
34
28
35 alloc_heap(&(vm->heap), heap_size);
29 alloc_heap(&(vm->heap), heap_size);
@@ -70,8 +64,6 @@ Stats terminate(VM* vm) {
70
64
71 free(vm->inbox);
65 free(vm->inbox);
72 free(vm->valstack);
66 free(vm->valstack);
73− free(vm->intstack);
74− free(vm->floatstack);
75 free_heap(&(vm->heap));
67 free_heap(&(vm->heap));
76 free(vm->argv);
68 free(vm->argv);
77
69
rts/idris_rts.h−4
@@ -44,12 +44,8 @@ typedef struct Closure {
44
44
45typedef struct {
45typedef struct {
46 VAL* valstack;
46 VAL* valstack;
47− int* intstack;
48− double* floatstack;
49 VAL* valstack_top;
47 VAL* valstack_top;
50 VAL* valstack_base;
48 VAL* valstack_base;
51− int* intstack_ptr;
52− double* floatstack_ptr;
53 VAL* stack_max;
49 VAL* stack_max;
54
50
55 Heap heap;
51 Heap heap;