30 lines
		
	
	
		
			558 B
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			30 lines
		
	
	
		
			558 B
		
	
	
	
		
			C++
		
	
	
	
	
	
#ifndef MAGIC_LTLAZY_CHECKPOINT_PASS_H
 | 
						|
#define MAGIC_LTLAZY_CHECKPOINT_PASS_H
 | 
						|
 | 
						|
#include <magic/magic.h>
 | 
						|
#include <magic/MagicPass.h>
 | 
						|
 | 
						|
using namespace llvm;
 | 
						|
 | 
						|
namespace llvm {
 | 
						|
 | 
						|
#define magicLTLazyCheckpointPassLog(M) DEBUG(dbgs() << "MagicLTLazyCheckpointPass: " << M << "\n")
 | 
						|
 | 
						|
class MagicLTLazyCheckpointPass : public FunctionPass {
 | 
						|
 | 
						|
  public:
 | 
						|
      static char ID;
 | 
						|
 | 
						|
      MagicLTLazyCheckpointPass();
 | 
						|
 | 
						|
      virtual void getAnalysisUsage(AnalysisUsage &AU) const;
 | 
						|
      virtual bool runOnFunction(Function &F);
 | 
						|
 | 
						|
  private:
 | 
						|
      MagicPass *MP;
 | 
						|
};
 | 
						|
 | 
						|
}
 | 
						|
 | 
						|
#endif
 |