Changes in src/ControlStruct/ExceptTranslate.cc [1abc5ab:ad0be81]

File:

• src/ControlStruct/ExceptTranslate.cc (modified) (16 diffs)

src/ControlStruct/ExceptTranslate.cc

@@ -10 +10 @@
 // Created On       : Wed Jun 14 16:49:00 2017
 // Last Modified By : Andrew Beach
-// Last Modified On : Thr Jun 29 15:18:00 2017
+// Last Modified On : Fri Jun 30 13:30:00 2017
 // Update Count     : 1
 //
@@ -22 +22 @@
 #include "SynTree/Attribute.h"
 
-namespace ControlFlow {
+namespace ControlStruct {
 
         // This (large) section could probably be moved out of the class
@@ -29 +29 @@
         // Type(Qualifiers &, false, std::list<Attribute *> &)
 
-        // void (*function)()
-        static FunctionType void_func_t(Type::Qualifiers(), false);
+        // void (*function)();
+        static FunctionType try_func_t(Type::Qualifiers(), false);
         // void (*function)(int, exception);
         static FunctionType catch_func_t(Type::Qualifiers(), false);
@@ -37 +37 @@
         // bool (*function)(exception);
         static FunctionType handle_func_t(Type::Qualifiers(), false);
+        // void (*function)(__attribute__((unused)) void *);
+        static FunctionType finally_func_t(Type::Qualifiers(), false);
 
         static void init_func_types() {
@@ -48 +50 @@
                         LinkageSpec::Cforall,
                         /*bitfieldWidth*/ NULL,
-                        new BasicType(emptyQualifiers, BasicType::UnsignedInt),
+                        new BasicType( emptyQualifiers, BasicType::SignedInt ),
                         /*init*/ NULL
-                );
+                        );
                 ObjectDecl exception_obj(
                         "__exception_inst",
@@ -56 +58 @@
                         LinkageSpec::Cforall,
                         /*bitfieldWidth*/ NULL,
-                        new BasicType(emptyQualifiers, BasicType::UnsignedInt),
+                        new PointerType(
+                                emptyQualifiers,
+                                new BasicType( emptyQualifiers, BasicType::SignedInt )
+                                ),
                         /*init*/ NULL
-                );
+                        );
                 ObjectDecl bool_obj(
                         "__ret_bool",
@@ -66 +71 @@
                         new BasicType(emptyQualifiers, BasicType::Bool),
                         /*init*/ NULL
-                );
-
-                catch_func_t.get_parameters().push_back(index_obj.clone());
-                catch_func_t.get_parameters().push_back(exception_obj.clone());
-                match_func_t.get_returnVals().push_back(index_obj.clone());
-                match_func_t.get_parameters().push_back(exception_obj.clone());
-                handle_func_t.get_returnVals().push_back(bool_obj.clone());
-                handle_func_t.get_parameters().push_back(exception_obj.clone());
+                        );
+                ObjectDecl voidptr_obj(
+                        "__hook",
+                        Type::StorageClasses(),
+                        LinkageSpec::Cforall,
+                        NULL,
+                        new PointerType(
+                                emptyQualifiers,
+                                new VoidType(
+                                        emptyQualifiers
+                                        ),
+                                std::list<Attribute *>{new Attribute("unused")}
+                                ),
+                        NULL
+                        );
+
+                catch_func_t.get_parameters().push_back( index_obj.clone() );
+                catch_func_t.get_parameters().push_back( exception_obj.clone() );
+                match_func_t.get_returnVals().push_back( index_obj.clone() );
+                match_func_t.get_parameters().push_back( exception_obj.clone() );
+                handle_func_t.get_returnVals().push_back( bool_obj.clone() );
+                handle_func_t.get_parameters().push_back( exception_obj.clone() );
+                finally_func_t.get_parameters().push_back( voidptr_obj.clone() );
 
                 init_complete = true;
@@ -114 +134 @@
         // ThrowStmt Mutation Helpers
 
-        Statement * create_terminate_throw( ThrowStmt *throwStmt ) {
-                // __throw_terminate( EXPR );
-                UntypedExpr * call = new UntypedExpr( new NameExpr(
-                        "__cfaehm__throw_termination" ) );
-                call->get_args().push_back( throwStmt->get_expr() );
-                Statement * result = new ExprStmt( throwStmt->get_labels(), call );
+        Statement * create_given_throw(
+                        const char * throwFunc, ThrowStmt * throwStmt ) {
+                // { int NAME = EXPR; throwFunc( &NAME ); }
+                CompoundStmt * result = new CompoundStmt( noLabels );
+                ObjectDecl * local = new ObjectDecl(
+                        "__local_exception_copy",
+                        Type::StorageClasses(),
+                        LinkageSpec::Cforall,
+                        NULL,
+                        new BasicType( emptyQualifiers, BasicType::SignedInt ),
+                        new SingleInit( throwStmt->get_expr() )
+                        );
+                appendDeclStmt( result, local );
+                UntypedExpr * call = new UntypedExpr( new NameExpr( throwFunc ) );
+                call->get_args().push_back( new AddressExpr( nameOf( local ) ) );
+                result->push_back( new ExprStmt( throwStmt->get_labels(), call ) );
                 throwStmt->set_expr( nullptr );
                 delete throwStmt;
                 return result;
+        }
+
+        Statement * create_terminate_throw( ThrowStmt *throwStmt ) {
+                // { int NAME = EXPR; __throw_terminate( &NAME ); }
+                return create_given_throw( "__cfaehm__throw_termination", throwStmt );
         }
         Statement * create_terminate_rethrow( ThrowStmt *throwStmt ) {
@@ -136 +171 @@
         Statement * create_resume_throw( ThrowStmt *throwStmt ) {
                 // __throw_resume( EXPR );
-                UntypedExpr * call = new UntypedExpr( new NameExpr(
-                        "__cfaehm__throw_resumption" ) );
-                call->get_args().push_back( throwStmt->get_expr() );
-                Statement * result = new ExprStmt( throwStmt->get_labels(), call );
-                throwStmt->set_expr( nullptr );
-                delete throwStmt;
-                return result;
+                return create_given_throw( "__cfaehm__throw_resumption", throwStmt );
         }
         Statement * create_resume_rethrow( ThrowStmt *throwStmt ) {
@@ -164 +193 @@
 
                 return new FunctionDecl( "try", Type::StorageClasses(),
-                        LinkageSpec::Cforall, void_func_t.clone(), body );
+                        LinkageSpec::Cforall, try_func_t.clone(), body );
         }
 
@@ -235 +264 @@
                         std::list<Expression *> args;
                         args.push_back( number );
-                        args.push_back( nameOf( except_obj ) );
+
+                        std::list<Expression *> rhs_args;
+                        rhs_args.push_back( nameOf( except_obj ) );
+                        Expression * rhs = new UntypedExpr(
+                                new NameExpr( "*?" ), rhs_args );
+                        args.push_back( rhs );
+
                         cond = new UntypedExpr( new NameExpr( "?==?" /*???*/), args );
                 }
@@ -276 +311 @@
                         *it = nullptr;
                 }
+
+                body->push_back( new ReturnStmt( noLabels, new ConstantExpr(
+                        Constant::from_int( 0 ) ) ) );
 
                 return new FunctionDecl("match", Type::StorageClasses(),
@@ -316 +354 @@
                         }
                         handling_code->push_back( new ReturnStmt( noLabels,
-                                new ConstantExpr( Constant::from_bool( false ) ) ) );
+                                new ConstantExpr( Constant::from_bool( true ) ) ) );
                         handler->set_body( handling_code );
 
@@ -323 +361 @@
                         *it = nullptr;
                 }
+
+                body->push_back( new ReturnStmt( noLabels, new ConstantExpr(
+                        Constant::from_bool( false ) ) ) );
 
                 return new FunctionDecl("handle", Type::StorageClasses(),
@@ -364 +405 @@
                 UntypedExpr *setup = new UntypedExpr( new NameExpr(
                         "__cfaehm__try_resume_setup" ) );
-                setup->get_args().push_back( nameOf( obj ) );
+                setup->get_args().push_back( new AddressExpr( nameOf( obj ) ) );
                 setup->get_args().push_back( nameOf( resume_handler ) );
 
@@ -381 +422 @@
 
                 return new FunctionDecl("finally", Type::StorageClasses(),
-                        LinkageSpec::Cforall, void_func_t.clone(), body);
+                        LinkageSpec::Cforall, finally_func_t.clone(), body);
         }