// -*- C++ -*- (c) 2016 Vladimír Štill <xstill@fi.muni.cz>
#pragma once

#include <lart/support/meta.h>

#ifndef LART_DIVINE_PASSES_H
#define LART_DIVINE_PASSES_H

namespace lart {
    namespace divine {

        PassMeta interruptPass();
        PassMeta cflInterruptPass();
        PassMeta functionMetaPass();
        PassMeta autotracePass();
        PassMeta makeNativePass();
        PassMeta vaArgPass();
        PassMeta lowering();
        PassMeta lsda();
        PassMeta stubsPass();

        inline std::vector< PassMeta > passes() {
            return { cflInterruptPass(), interruptPass(), functionMetaPass(), autotracePass(),
                     makeNativePass(), vaArgPass(), lowering(), stubsPass(), lsda() };
        }
    }
}

#endif