Changeset 41e16b1 for src/ControlStruct/Mutate.h

Timestamp:

May 31, 2018, 10:22:19 PM (6 years ago)

Author:

Alan Kennedy <afakenne@…>

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, with_gc

Children:

00ac42e, 2a08c25, 7de7b52

Parents:

597c34a3 (diff), 518e97d (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

changes

File:

• src/ControlStruct/Mutate.h (modified) (2 diffs)

src/ControlStruct/Mutate.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Mutate.h -- 
+// Mutate.h --
 //
 // Author           : Rodolfo G. Esteves
@@ -20 +20 @@
 class Declaration;
 
+/// Desugars Cforall control structures
 namespace ControlStruct {
-        /// Desugars Cforall control structures
-        void mutate( std::list< Declaration* > translationUnit );
+        /// normalizes label definitions and generates multi-level exit labels
+        void fixLabels( std::list< Declaration * > & translationUnit );
+
+        /// hoist initialization out of for statements
+        void hoistControlDecls( std::list< Declaration * > & translationUnit );
 } // namespace ControlStruct