Changeset 122aecd for doc/generic_types/evaluation/cfa-stack.c

Timestamp:

Apr 7, 2017, 2:32:03 PM (7 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

3a48e283

Parents:

4cfcf41

Message:

Expand benchmarks

File:

• doc/generic_types/evaluation/cfa-stack.c (modified) (2 diffs)

doc/generic_types/evaluation/cfa-stack.c

@@ -8 +8 @@
 
 forall(otype T) void ?{}(stack(T)* s) {
-        ?{}( &s->head, 0 );
+        (&s->head){ 0 };
+}
+
+forall(otype T) void ?{}(stack(T)* s, stack(T) t) {
+        stack_node(T)** crnt = &s->head;
+        stack_node(T)* next = t.head;
+        while ( next ) {
+                *crnt = ((stack_node(T)*)malloc()){ next->value };
+                stack_node(T)* acrnt = *crnt;
+                crnt = &acrnt->next;
+                next = next->next;
+        }
+        *crnt = 0;
+}
+
+forall(otype T) stack(T) ?=?(stack(T)* s, stack(T) t) {
+        if ( s->head == t.head ) return *s;
+        clear(s);
+        s{ t };
+        return *s;
 }
 
 forall(otype T) void ^?{}(stack(T)* s) {
-        stack_node(T)* next = s->head;
-        while ( next ) {
-                stack_node(T)* crnt = next;
-                next = crnt->next;
-                delete(crnt);
-        }
+        clear(s);
 }
 
@@ -35 +49 @@
         return x;
 }
+
+forall(otype T) void clear(stack(T)* s) {
+        stack_node(T)* next = s->head;
+        while ( next ) {
+                stack_node(T)* crnt = next;
+                next = crnt->next;
+                delete(crnt);
+        }
+}