source: src/ControlStruct/Mutate.cc @ a73d57a

//
// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// Mutate.cc -- 
//
// Author           : Rodolfo G. Esteves
// Created On       : Mon May 18 07:44:20 2015
// Last Modified By : Rob Schluntz
// Last Modified On : Wed Jul 15 14:50:04 2015
// Update Count     : 7
//

#include <algorithm>
#include <iostream>
#include <cassert>
#include <list>

#include "Mutate.h"
#include "ChooseMutator.h"
#include "LabelFixer.h"
#include "MLEMutator.h"
#include "CaseRangeMutator.h"
#include "ForExprMutator.h"
#include "LabelTypeChecker.h"
//#include "ExceptMutator.h"

#include "Common/utility.h"

#include "SynTree/Visitor.h"

using namespace std;

namespace ControlStruct {
        void mutate( std::list< Declaration * > translationUnit ) {
                // hoist initialization out of for statements
                ForExprMutator formut;

                // normalizes label definitions and generates multi-level
                // exit labels
                LabelFixer lfix;

                // transform choose statements into switch statements
                ChooseMutator chmut;

                // expand case ranges and turn fallthru into a null statement
                CaseRangeMutator ranges;  // has to run after ChooseMutator

                //ExceptMutator exc;
                // LabelTypeChecker lbl;

                mutateAll( translationUnit, formut );
                acceptAll( translationUnit, lfix );
                mutateAll( translationUnit, chmut );
                mutateAll( translationUnit, ranges );
                //mutateAll( translationUnit, exc );
                //acceptAll( translationUnit, lbl );
        }
} // namespace CodeGen

// Local Variables: //
// tab-width: 4 //
// mode: c++ //
// compile-command: "make install" //
// End: //