aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/LiveVar/BBLiveVar.h
blob: 9ce56a88f63a9b8581d9caee773d1ca88b60fe1d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
/* Title:   BBLiveVar.h                  -*- C++ -*-
   Author:  Ruchira Sasanka
   Date:    Jun 30, 01
   Purpose: This is a wrapper class for BasicBlock which is used by live 
            variable anaysis.
*/

#ifndef LIVE_VAR_BB_H
#define LIVE_VAR_BB_H

#include "LiveVarSet.h"
#include "LiveVarMap.h"

#include "llvm/BasicBlock.h"
#include "llvm/Instruction.h"
#include "llvm/Type.h"
#include "llvm/iOther.h"


class BBLiveVar 
{
  const BasicBlock* BaseBB;     // pointer to BasicBlock
  unsigned int POId;            // Post-Order ID

  LiveVarSet DefSet;            // Def set for LV analysis
  LiveVarSet InSet, OutSet;     // In & Out for LV analysis
  bool InSetChanged, OutSetChanged;   // set if the InSet/OutSet is modified

                                // map that contains phi args->BB they came
                                // set by calcDefUseSets & used by setPropagate
  std::hash_map<const Value *, const BasicBlock *> PhiArgMap;  

  // method to propogate an InSet to OutSet of a predecessor
  bool setPropagate( LiveVarSet *const OutSetOfPred, 
		     const LiveVarSet *const InSetOfThisBB,
		     const BasicBlock *const PredBB);

  // To add an operand which is a def
  void  addDef(const Value *Op); 

  // To add an operand which is a use
  void  addUse(const Value *Op);

 public:

  BBLiveVar( const BasicBlock* baseBB, unsigned int POId);

  inline bool isInSetChanged() const { return InSetChanged; }    
  inline bool isOutSetChanged() const { return OutSetChanged; }

  inline unsigned int getPOId() const { return POId; }

  void calcDefUseSets() ;         // calculates the Def & Use sets for this BB
  bool  applyTransferFunc();      // calcultes the In in terms of Out 

  // calculates Out set using In sets of the predecessors
  bool applyFlowFunc(BBToBBLiveVarMapType LVMap);    

  inline const LiveVarSet* getOutSet()  const { return &OutSet; }
  inline const LiveVarSet*  getInSet() const { return &InSet; }

  void printAllSets() const;      // for printing Def/In/Out sets
  void printInOutSets() const;    // for printing In/Out sets

  ~BBLiveVar() { }                // nothing to do since only composite objects



};







#endif