Changeset d2278e9

Timestamp:

Jul 16, 2021, 12:26:04 PM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

fcaa1e4

Parents:

e19fadd

Message:

Some resumption benchmarks were actually testing termination.

Location:

doc/theses/andrew_beach_MMath/code

Files:

• cond-fixup.cfa (modified) (3 diffs)
• resume-empty.cfa (modified) (2 diffs)

doc/theses/andrew_beach_MMath/code/cond-fixup.cfa

@@ -12 +12 @@
 
 void throw_exception() {
-        throw (empty_exception){&empty_vt};
+        throwResume (empty_exception){&empty_vt};
 }
 
@@ -18 +18 @@
         try {
                 throw_exception();
-        } catch (empty_exception * exc ; should_catch) {
+        } catchResume (empty_exception * exc ; should_catch) {
                 // ...
         }
@@ -36 +36 @@
                 try {
                         cond_catch();
-                } catch (empty_exception * exc) {
+                } catchResume (empty_exception * exc) {
                         // ...
                 }

doc/theses/andrew_beach_MMath/code/resume-empty.cfa

@@ -13 +13 @@
                 unwind_empty(frames - 1);
         } else {
-                throw (empty_exception){&empty_vt};
+                throwResume (empty_exception){&empty_vt};
         }
 }
@@ -31 +31 @@
                 try {
                         unwind_empty(total_frames);
-                } catch (empty_exception *) {
+                } catchResume (empty_exception *) {
                         // ...
                 }