1 #ifndef MAGIC_CTLAZY_CHECKPOINT_PASS_H
2 #define MAGIC_CTLAZY_CHECKPOINT_PASS_H
4 #include <magic/magic.h>
5 #include <magic/MagicPass.h>
6 #include <magic/support/VariableRefs.h>
12 #define magicCTLazyCheckpointPassLog(M) DEBUG(dbgs() << "MagicCTLazyCheckpointPass: " << M << "\n")
14 class MagicCTLazyCheckpointPass
: public FunctionPass
{
19 MagicCTLazyCheckpointPass();
21 virtual void getAnalysisUsage(AnalysisUsage
&AU
) const;
22 virtual bool runOnFunction(Function
&F
);
27 bool instructionModifiesVar(Module
&M
, Instruction
*inst
, GlobalVariable
* var
);