1 #ifndef MAGIC_LTLAZY_CHECKPOINT_PASS_H
2 #define MAGIC_LTLAZY_CHECKPOINT_PASS_H
4 #include <magic/magic.h>
5 #include <magic/MagicPass.h>
11 #define magicLTLazyCheckpointPassLog(M) DEBUG(dbgs() << "MagicLTLazyCheckpointPass: " << M << "\n")
13 class MagicLTLazyCheckpointPass
: public FunctionPass
{
18 MagicLTLazyCheckpointPass();
20 virtual void getAnalysisUsage(AnalysisUsage
&AU
) const;
21 virtual bool runOnFunction(Function
&F
);