Changeset 01f78e0

Timestamp:

Aug 30, 2021, 9:01:51 PM (3 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

2a3f0d9

Parents:

9cb6514

Message:

add code to prevent tail recursion optimization

Location:

doc/theses/andrew_beach_MMath/code

Files:

• resume-fixup-empty-f.cfa (modified) (2 diffs)
• resume-fixup-empty-r.cfa (modified) (1 diff)

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

@@ -4 +4 @@
 #include <stdlib.hfa>                                                                   // strto
 
-void nounwind_fixup(unsigned int frames, void (*raised_rtn)(int &)) {
+int nounwind_fixup(unsigned int frames, void (*raised_rtn)(int &)) {
         if (frames) {
-                nounwind_fixup(frames - 1, raised_rtn);
+                int rtn = nounwind_fixup(frames - 1, raised_rtn);
+                if ( rtn == 42 ) printf( "42" );                                // make non-tail recursive
+                return rtn;
+
         } else {
                 int fixup = 17;
                 raised_rtn(fixup);
+                return fixup;
         }
 }
@@ -25 +29 @@
         void raised(int & fixup) {
                 fixup = total_frames + 42;                                              // use local scope => lexical link
+                if ( total_frames == 42 ) printf( "42" );
         }
 

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

@@ -10 +10 @@
 vtable(fixup_exception) fixup_vt;
 
-void nounwind_empty(unsigned int frames) {
+int nounwind_empty(unsigned int frames) {
         if (frames) {
-                nounwind_empty(frames - 1);
+                int rtn = nounwind_empty(frames - 1);
+                if ( rtn == 42 ) printf( "42" );                                // make non-tail recursive
+                return rtn;
         } else {
                 int fixup = 17;
                 throwResume (fixup_exception){&fixup_vt, fixup}; // change bad fixup
+                return fixup;
         }
 }